title: Decomposition theorems for involutive solutions to the Yang-Baxter equation

abstract: Motivated by the proof of Rump of a conjecture of Gateva-Ivanova on the decomposability of square-free solutions to the Yang-Baxter equation, we present several other decomposability theorems based on the cycle structure of a certain permutation associated with the solution.


title: Lesion2Vec: Deep Metric Learning for Few-Shot Multiple Lesions Recognition in Wireless Capsule Endoscopy Video

abstract: Effective and rapid detection of lesions in the Gastrointestinal tract is critical to gastroenterologist's response to some life-threatening diseases. Wireless Capsule Endoscopy (WCE) has revolutionized traditional endoscopy procedure by allowing gastroenterologists visualize the entire GI tract non-invasively. Once the tiny capsule is swallowed, it sequentially capture images of the GI tract at about 2 to 6 frames per second (fps). A single video can last up to 8 hours producing between 30,000 to 100,000 images. Automating the detection of frames containing specific lesion in WCE video would relieve gastroenterologists the arduous task of reviewing the entire video before making diagnosis. While the WCE produces large volume of images, only about 5\% of the frames contain lesions that aid the diagnosis process. Convolutional Neural Network (CNN) based models have been very successful in various image classification tasks. However, they suffer excessive parameters, are sample inefficient and rely on very large amount of training data. Deploying a CNN classifier for lesion detection task will require time-to-time fine-tuning to generalize to any unforeseen category. In this paper, we propose a metric-based learning framework followed by a few-shot lesion recognition in WCE data. Metric-based learning is a meta-learning framework designed to establish similarity or dissimilarity between concepts while few-shot learning (FSL) aims to identify new concepts from only a small number of examples. We train a feature extractor to learn a representation for different small bowel lesions using metric-based learning. At the testing stage, the category of an unseen sample is predicted from only a few support examples, thereby allowing the model to generalize to a new category that has never been seen before. We demonstrated the efficacy of this method on real patient capsule endoscopy data.


title: On the Development of Effective Field Theory

abstract: This is a lightly edited version of the talk given on September 30, 2020 to inaugurate the international seminar series {\it All Things EFT}. It reviews some of the early history of effective field theories, and concludes with a discussion of the implications of effective field theory for future discovery.


title: Maximizing the Expected Value of a Lottery Ticket: How to Sell and When to Buy

abstract: Unusually large prize pools in lotteries like Mega Millions and Powerball attract additional bettors, which increases the likelihood that multiple winners will have to share the pool. Thus, the expected value of a lottery ticket decreases as the probability of collisions (two or more bettors with identical winning tickets) increase. We propose a way to increase the expected value of lottery tickets by minimizing collisions, while preserving the independent generation necessary in a distributed point-of-sales environment. Our approach involves partitioning the ticket space among different vendors and pairing them off to ensure no collisions among pairs. Our analysis demonstrates that this approach increases the expected value each ticket, without increasing the size of the prize pool. We also analyze when ticket sales have maximal expected value, and show that they provide positive returns when the jackpot is between \$775.2 million and \$1.67 billion dollars.


title: A Convergence Theory Towards Practical Over-parameterized Deep Neural Networks

abstract: Deep neural networks' remarkable ability to correctly fit training data when optimized by gradient-based algorithms is yet to be fully understood. Recent theoretical results explain the convergence for ReLU networks that are wider than those used in practice by orders of magnitude. In this work, we take a step towards closing the gap between theory and practice by significantly improving the known theoretical bounds on both the network width and the convergence time. We show that convergence to a global minimum is guaranteed for networks with widths quadratic in the sample size and linear in their depth at a time logarithmic in both. Our analysis and convergence bounds are derived via the construction of a surrogate network with fixed activation patterns that can be transformed at any time to an equivalent ReLU network of a reasonable size. This construction can be viewed as a novel technique to accelerate training, while its tight finite-width equivalence to Neural Tangent Kernel (NTK) suggests it can be utilized to study generalization as well.


title: Multi-Perspective Trust Management Framework for Crowdsourced IoT Services

abstract: We propose a novel generic trust management framework for crowdsourced IoT services. The framework exploits a multi-perspective trust model that captures the inherent characteristics of crowdsourced IoT services. Each perspective is defined by a set of attributes that contribute to the perspective's influence on trust. The attributes are fed into a machine-learning-based algorithm to generate a trust model for crowdsourced services in IoT environments. We demonstrate the effectiveness of our approach by conducting experiments on real-world datasets.


title: NGTS-13b: A hot 4.8 Jupiter-mass planet transiting a subgiant star

abstract: We report the discovery of the massive hot Jupiter NGTS-13b by the Next Generation Transit Survey (NGTS). The V = 12.7 host star is likely in the subgiant evolutionary phase with log g$_{*}$ = 4.04 $\pm$ 0.05, T$_{eff}$ = 5819 $\pm$ 73 K, M$_{*}$ = 1.30$^{+0.11}_{-0.18}$ M$_{\odot}$, and R$_{*}$ = 1.79 $\pm$ 0.06 R$_{\odot}$. NGTS detected a transiting planet with a period of P = 4.12 days around the star, which was later validated with the Transiting Exoplanet Survey Satellite (TESS; TIC 454069765). We confirm the planet using radial velocities from the CORALIE spectrograph. Using NGTS and TESS full-frame image photometry combined with CORALIE radial velocities we determine NGTS-13b to have a radius of R$_{P}$ = 1.142 $\pm$ 0.046 R$_{Jup}$, mass of M$_{P}$ = 4.84 $\pm$ 0.44 M$_{Jup}$ and eccentricity e = 0.086 $\pm$ 0.034. Some previous studies suggest that $\sim$4 M$_{Jup}$ may be a border between two separate formation scenarios (e.g., core accretion and disk instability) and that massive giant planets share similar formation mechanisms as lower-mass brown dwarfs. NGTS-13b is just above 4 M$_{Jup}$ making it an important addition to the statistical sample needed to understand the differences between various classes of substellar companions. The high metallicity, [Fe/H] = 0.25 $\pm$ 0.17, of NGTS-13 does not support previous suggestions that massive giants are found preferentially around lower metallicity host stars, but NGTS-13b does support findings that more massive and evolved hosts may have a higher occurrence of close-in massive planets than lower-mass unevolved stars.


title: Stochastic integrals and Brownian motion on abstract nilpotent Lie groups

abstract: We construct a class of iterated stochastic integrals with respect to Brownian motion on an abstract Wiener space which allows for the definition of Brownian motions on a general class of infinite-dimensional nilpotent Lie groups based on abstract Wiener spaces. We then prove that a Cameron--Martin type quasi-invariance result holds for the associated heat kernel measures in the non-degenerate case, and give estimates on the associated Radon--Nikodym derivative. We also prove that a log Sobolev estimate holds in this setting.


title: Cold ion beam in a storage ring as a platform for large-scale quantum computers and simulators: challenges and directions for research and development

abstract: The purpose of this paper is to evaluate the possibility of constructing a large-scale storage-ring-type ion-trap system capable of storing, cooling, and controlling a large number of ions as a platform for scalable quantum computing (QC) and quantum simulations (QS). In such a trap, the ions form a crystalline beam moving along a circular path with a constant velocity determined by the frequency and intensity of the cooling lasers. In this paper we consider a large leap forward in terms of the number of qubits, from fewer than 100 available in state-of-the-art linear ion-trap devices today to an order of 105 crystallized ions in the storage-ring setup. This new trap design unifies two different concepts: the storage rings of charged particles and the linear ion traps used for QC and mass spectrometry. In this paper we use the language of particle accelerators to discuss the ion state and dynamics. We outline the differences between the above concepts, analyze challenges of the large ring with a revolving beam of ions, and propose goals for the research and development required to enable future quantum computers with 1000 times more qubits than available today. The challenge of creating such a large-scale quantum system while maintaining the necessary coherence of the qubits and the high fidelity of quantum logic operations is significant. Performing analog quantum simulations may be an achievable initial goal for such a device. Quantum simulations of complex quantum systems will move forward both the fundamental science and the applied research. Nuclear and particle physics, many-body quantum systems, lattice gauge theories, and nuclear structure calculations are just a few examples in which a large-scale quantum simulation system would be a very powerful tool to move forward our understanding of nature.


title: Photo2CAD: Automated 3D solid reconstruction from 2D drawings using OpenCV

abstract: This study showcases the utilisation of OpenCV for extracting features from photos of 2D engineering drawings. These features are then employed to reconstruct 3D CAD models in SCAD format and generate 3D point cloud data similar to LIDAR scans. Many historical mechanical, aerospace, and civil engineering designs exist only as drawings, lacking software-generated CAD or BIM models. While 2D to 3D conversion itself is not novel, the novelty of this work is in the usage of simple photos rather than scans or electronic documentation of 2D drawings. The method can also use scanned drawing data. While the approach is effective for simple shapes, it currently does not address hidden lines in CAD drawings. The Python Jupyter notebook codes developed for this purpose are accessible through GitHub.


title: Two beams are better than one: Enabling reliable and high throughput mmWave links

abstract: Millimeter-wave communication with high throughput and high reliability is poised to be a gamechanger for V2X and VR applications. However, mmWave links are notorious for low reliability since they suffer from frequent outages due to blockage and user mobility. We build mmReliable, a reliable mmWave system that implements multi-beamforming and user tracking to handle environmental vulnerabilities. It creates constructive multi-beam patterns and optimizes their angle, phase, and amplitude to maximize the signal strength at the receiver. Multi-beam links are reliable since they are resilient to occasional blockages of few constituent beams compared to a single-beam system. We implement mmReliable on a 28 GHz testbed with 400 MHz bandwidth, and a 64 element phased array supporting 5G NR waveforms. Rigorous indoor and outdoor experiments demonstrate that mmReliable achieves close to 100\% reliability providing 2.3x improvement in the throughput-reliability product than single-beam systems. This is an extended version of a paper published in Sigcomm'21.


title: Estimating the probability that a given vector is in the convex hull of a random sample

abstract: For a $d$-dimensional random vector $X$, let $p_{n, X}(\theta)$ be the probability that the convex hull of $n$ independent copies of $X$ contains a given point $\theta$. We provide several sharp inequalities regarding $p_{n, X}(\theta)$ and $N_X(\theta)$ denoting the smallest $n$ for which $p_{n, X}(\theta)\ge1/2$. As a main result, we derive the totally general inequality $1/2 \le \alpha_X(\theta)N_X(\theta)\le 3d + 1$, where $\alpha_X(\theta)$ (a.k.a. the Tukey depth) is the minimum probability that $X$ is in a fixed closed halfspace containing the point $\theta$. We also show several applications of our general results: one is a moment-based bound on $N_X(\mathbb{E}[X])$, which is an important quantity in randomized approaches to cubature construction or measure reduction problem. Another application is the determination of the canonical convex body included in a random convex polytope given by independent copies of $X$, where our combinatorial approach allows us to generalize existing results in random matrix community significantly.


title: Vis Ex Machina: An Analysis of Trust in Human versus Algorithmically Generated Visualization Recommendations

abstract: More visualization systems are simplifying the data analysis process by automatically suggesting relevant visualizations. However, little work has been done to understand if users trust these automated recommendations. In this paper, we present the results of a crowd-sourced study exploring preferences and perceived quality of recommendations that have been positioned as either human-curated or algorithmically generated. We observe that while participants initially prefer human recommenders, their actions suggest an indifference for recommendation source when evaluating visualization recommendations. The relevance of presented information (e.g., the presence of certain data fields) was the most critical factor, followed by a belief in the recommender's ability to create accurate visualizations. Our findings suggest a general indifference towards the provenance of recommendations, and point to idiosyncratic definitions of visualization quality and trustworthiness that may not be captured by simple measures. We suggest that recommendation systems should be tailored to the information-foraging strategies of specific users.


title: A consistent and conservative model and its scheme for $N$-phase-$M$-component incompressible flows

abstract: In the present work, we propose a consistent and conservative model for multiphase and multicomponent incompressible flows, where there can be arbitrary numbers of phases and components. Each phase has a background fluid called the pure phase, each pair of phases is immiscible, and components are dissolvable in some specific phases. The model is developed based on the multiphase Phase-Field model including the contact angle boundary condition, the diffuse domain approach, and the analyses on the proposed consistency conditions for multiphase and multicomponent flows. The model conserves the mass of individual pure phases, the amount of each component in its dissolvable region, and thus the mass of the fluid mixture, and the momentum of the flow. It ensures that no fictitious phases or components can be generated and that the summation of the volume fractions from the Phase-Field model is unity everywhere so that there is no local void or overfilling. It satisfies a physical energy law and it is Galilean invariant. A corresponding numerical scheme is developed for the proposed model, whose formal accuracy is 2nd-order in both time and space. It is shown to be consistent and conservative and its solution is demonstrated to preserve the Galilean invariance and energy law. Numerical tests indicate that the proposed model and scheme are effective and robust to study various challenging multiphase and multicomponent flows.

categories: physics.comp-ph cs.NA math.NA physics.flu-dyn


title: Evaluation of Logistic Regression Applied to Respondent-Driven Samples: Simulated and Real Data

abstract: Objective: To investigate the impact of different logistic regression estimators applied to RDS samples obtained by simulation and real data. Methods: Four simulated populations were created combining different connectivity models, levels of clusterization and infection processes. Each subject in the population received two attributes, only one of them related to the infection process. From each population, RDS samples with different sizes were obtained. Similarly, RDS samples were obtained from a real-world dataset. Three logistic regression estimators were applied to assess the association between the attributes and the infection status, and subsequently the observed coverage of each was measured. Results: The type of connectivity had more impact on estimators performance than the clusterization level. In simulated datasets, unweighted logistic regression estimators emerged as the best option, although all estimators showed a fairly good performance. In the real dataset, the performance of weighted estimators presented some instabilities, making them a risky option. Conclusion: An unweighted logistic regression estimator is a reliable option to be applied to RDS samples, with similar performance to random samples and, therefore, should be the preferred option.


title: Nonhomogeneous $T(1)$ Theorem on Product Quasimetric Spaces

abstract: In this paper, we provide a non-homogeneous $T(1)$ theorem on product spaces $(X_1 \times X_2, \rho_1 \times \rho_2, \mu_1 \times \mu_2)$ equipped with a quasimetric $\rho_1 \times \rho_2$ and a Borel measure $\mu_1 \times \mu_2$, which, need not be doubling but satisfies an upper control on the size of quasiballs.


title: Quantum Mathematics in Artificial Intelligence

abstract: In the decade since 2010, successes in artificial intelligence have been at the forefront of computer science and technology, and vector space models have solidified a position at the forefront of artificial intelligence. At the same time, quantum computers have become much more powerful, and announcements of major advances are frequently in the news. The mathematical techniques underlying both these areas have more in common than is sometimes realized. Vector spaces took a position at the axiomatic heart of quantum mechanics in the 1930s, and this adoption was a key motivation for the derivation of logic and probability from the linear geometry of vector spaces. Quantum interactions between particles are modelled using the tensor product, which is also used to express objects and operations in artificial neural networks. This paper describes some of these common mathematical areas, including examples of how they are used in artificial intelligence (AI), particularly in automated reasoning and natural language processing (NLP). Techniques discussed include vector spaces, scalar products, subspaces and implication, orthogonal projection and negation, dual vectors, density matrices, positive operators, and tensor products. Application areas include information retrieval, categorization and implication, modelling word-senses and disambiguation, inference in knowledge bases, and semantic composition. Some of these approaches can potentially be implemented on quantum hardware. Many of the practical steps in this implementation are in early stages, and some are already realized. Explaining some of the common mathematical tools can help researchers in both AI and quantum computing further exploit these overlaps, recognizing and exploring new directions along the way.


title: A new parameterized entanglement monotone

abstract: Entanglement concurrence has been widely used for featuring entanglement in quantum experiments. As an entanglement monotone it is related to specific quantum Tsallis entropy. Our goal in this paper is to propose a new parameterized bipartite entanglement monotone which is named as $q$-concurrence inspired by general Tsallis entropy. We derive an analytical lower bound for the $q$-concurrence of any bipartite quantum entanglement state by employing positive partial transposition criterion and realignment criterion, which shows an interesting relationship to the strong separability criteria. The new entanglement monotone is used to characterize bipartite isotropic states. Finally, we provide a computational method to estimate the $q$-concurrence for any entanglement by superposing two bipartite pure states. It shows that the superposition operations can at most increase one ebit for the $q$-concurrence in the case that the two states being superposed are bi-orthogonal or one-sided orthogonal. These results reveal a series of new phenomena about the entanglement, which may be interesting in quantum communication and quantum information processing.


title: Transforming Multi-Conditioned Generation from Meaning Representation

abstract: In task-oriented conversation systems, natural language generation systems that generate sentences with specific information related to conversation flow are useful. Our study focuses on language generation by considering various information representing the meaning of utterances as multiple conditions of generation. NLG from meaning representations, the conditions for sentence meaning, generally goes through two steps: sentence planning and surface realization. However, we propose a simple one-stage framework to generate utterances directly from MR (Meaning Representation). Our model is based on GPT2 and generates utterances with flat conditions on slot and value pairs, which does not need to determine the structure of the sentence. We evaluate several systems in the E2E dataset with 6 automatic metrics. Our system is a simple method, but it demonstrates comparable performance to previous systems in automated metrics. In addition, using only 10\% of the data set without any other techniques, our model achieves comparable performance, and shows the possibility of performing zero-shot generation and expanding to other datasets.


title: Independent sets in hypergraphs omitting an intersection

abstract: A $k$-uniform hypergraph with $n$ vertices is an $(n,k,\ell)$-omitting system if it does not contain two edges whose intersection has size exactly $\ell$. If in addition it does not contain two edges whose intersection has size greater than $\ell$, then it is an $(n,k,\ell)$-system. R\"{o}dl and \v{S}i\v{n}ajov\'{a} proved a lower bound for the independence number of $(n,k,\ell)$-systems that is sharp in order of magnitude for fixed $2 \le \ell \le k-1$. We consider the same question for the larger class of $(n,k,\ell)$-omitting systems. For $k\le 2\ell+1$, we believe that the behavior is similar to the case of $(n,k,\ell)$-systems and prove a nontrivial lower bound for the first open case $\ell=k-2$. For $k>2\ell+1$ we give new lower and upper bounds which show that the minimum independence number of $(n,k,\ell)$-omitting systems has a very different behavior than for $(n,k,\ell)$-systems. Our lower bound for $\ell=k-2$ uses some adaptations of the random greedy independent set algorithm, and our upper bounds (constructions) for $k> 2\ell+1$ are obtained from some pseudorandom graphs. We also prove some related results where we forbid more than two edges with a prescribed common intersection size and this leads to some applications in Ramsey theory. For example, we obtain good bounds for the Ramsey number $r_{k}(F^{k},t)$, where $F^{k}$ is the $k$-uniform Fan. Here the behavior is quite different than the case $k=2$ which reduces to the classical graph Ramsey number $r(3,t)$.


title: Scanning SQUID characterization of extremely overdoped $La_{2-x}Sr_{x}CuO_{4}$

abstract: Recently, advances in film synthesis methods have enabled a study of extremely overdoped $La_{2-x}Sr_{x}CuO_{4}$. This has revealed a surprising behavior of the superfluid density as a function of doping and temperature, the explanation of which is vividly debated. One popular class of models posits electronic phase separation, where the superconducting phase fraction decreases with doping, while some competing phase (e.g. ferromagnetic) progressively takes over. A problem with this scenario is that all the way up to the dome edge the superconducting transition remains sharp, according to mutual inductance measurements. However, the physically relevant scale is the Pearl penetration depth, $\Lambda_{P}$, and this technique probes the sample on a length scale $L$ that is much larger than $\Lambda_{P}$. In the present paper, we use local scanning SQUID measurements that probe the susceptibility of the sample on the scale $L << \Lambda_{P}$. Our SQUID maps show uniform landscapes of susceptibility and excellent overall agreement of the local penetration depth data with the bulk measurements. These results contribute an important piece to the puzzle of how high-temperature superconductivity vanishes on the overdoped side of the cuprates phase diagram.


title: Scattering of ultracold neutrons from rough surfaces of metal foils

abstract: The transparency of metal foils for ultracold neutrons (UCNs) plays an important role in the design of future high-density UCN sources, which will feed a number of fundamental physics experiments. In this work, we describe and discuss the measured transmission of a collimated beam of very slow neutrons (UCNs and very cold neutrons) through foils of Al, Cu, and Zr of various thicknesses at room temperature. Our goal was to separate scattering and absorption in the sample bulk from surface scattering, and to quantify the contribution of the surface. We were able to demonstrate that the surface roughness of these foils caused a significant fraction of UCN scattering. The surface roughness parameter $b$ extracted from UCN measurements was shown to be of the same order of magnitude as the surface parameter determined by atomic-force microscopy. They lie in the order of several hundreds of angstroms. Using the formalism developed here, transmission data from previous neutron-optical experiments were re-analyzed and their surface roughness parameter $b$ was extracted.


title: NxTF: An API and Compiler for Deep Spiking Neural Networks on Intel Loihi

abstract: Spiking Neural Networks (SNNs) are a promising paradigm for efficient event-driven processing of spatio-temporally sparse data streams. SNNs have inspired the design and can take advantage of the emerging class of neuromorphic processors like Intel Loihi. These novel hardware architectures expose a variety of constraints that affect firmware, compiler and algorithm development alike. To enable rapid and flexible development of SNN algorithms on Loihi, we developed NxTF: a programming interface derived from Keras and compiler optimized for mapping deep convolutional SNNs to the multi-core Intel Loihi architecture. We evaluate NxTF on DNNs trained directly on spikes as well as models converted from traditional DNNs, processing both sparse event-based and dense frame-based data sets. Further, we assess the effectiveness of the compiler to distribute models across a large number of cores and to compress models by exploiting Loihi's weight sharing features. Finally, we evaluate model accuracy, energy and time to solution compared to other architectures. The compiler achieves near optimal resource utilization of 80% across 16 Loihi chips for a 28-layer, 4M parameter MobileNet model with input size 128x128. In addition, we report the lowest error rate of 8.52% for the CIFAR-10 dataset on neuromorphic hardware, using an off-the-shelf MobileNet.


title: Clutter Slices Approach for Identification-on-the-fly of Indoor Spaces

abstract: Construction spaces are constantly evolving, dynamic environments in need of continuous surveying, inspection, and assessment. Traditional manual inspection of such spaces proves to be an arduous and time-consuming activity. Automation using robotic agents can be an effective solution. Robots, with perception capabilities can autonomously classify and survey indoor construction spaces. In this paper, we present a novel identification-on-the-fly approach for coarse classification of indoor spaces using the unique signature of clutter. Using the context granted by clutter, we recognize common indoor spaces such as corridors, staircases, shared spaces, and restrooms. The proposed clutter slices pipeline achieves a maximum accuracy of 93.6% on the presented clutter slices dataset. This sensor independent approach can be generalized to various domains to equip intelligent autonomous agents in better perceiving their environment.


title: Weighted Approach for Estimating Effects in Principal Strata with Missing Data for a Categorical Post-Baseline Variable in Randomized Controlled Trials

abstract: This research was motivated by studying anti-drug antibody (ADA) formation and its potential impact on long-term benefit of a biologic treatment in a randomized controlled trial, in which ADA status was not only unobserved in the control arm but also in a subset of patients from the experimental treatment arm. Recent literature considers the principal stratum estimand strategy to estimate treatment effect in groups of patients defined by an intercurrent status, i.e. in groups defined by a post-randomization variable only observed in one arm and potentially associated with the outcome. However, status information might be missing even for a non-negligible number of patients in the experimental arm. For this setting, a novel weighted principal stratum approach is presented: Data from patients with missing intercurrent event status were re-weighted based on baseline covariates and additional longitudinal information. A theoretical justification of the proposed approach is provided for different types of outcomes, and assumptions allowing for causal conclusions on treatment effect are specified and investigated. Simulations demonstrated that the proposed method yielded valid inference and was robust against certain violations of assumptions. The method was shown to perform well in a clinical study with ADA status as an intercurrent event.


title: HighAir: A Hierarchical Graph Neural Network-Based Air Quality Forecasting Method

abstract: Accurately forecasting air quality is critical to protecting general public from lung and heart diseases. This is a challenging task due to the complicated interactions among distinct pollution sources and various other influencing factors. Existing air quality forecasting methods cannot effectively model the diffusion processes of air pollutants between cities and monitoring stations, which may suddenly deteriorate the air quality of a region. In this paper, we propose HighAir, i.e., a hierarchical graph neural network-based air quality forecasting method, which adopts an encoder-decoder architecture and considers complex air quality influencing factors, e.g., weather and land usage. Specifically, we construct a city-level graph and station-level graphs from a hierarchical perspective, which can consider city-level and station-level patterns, respectively. We design two strategies, i.e., upper delivery and lower updating, to implement the inter-level interactions, and introduce message passing mechanism to implement the intra-level interactions. We dynamically adjust edge weights based on wind direction to model the correlations between dynamic factors and air quality. We compare HighAir with the state-of-the-art air quality forecasting methods on the dataset of Yangtze River Delta city group, which covers 10 major cities within 61,500 km2. The experimental results show that HighAir significantly outperforms other methods.


title: Finite permutation groups containing a regular dihedral subgroup

abstract: We present a characterization of finite permutation groups which contain a transitive dihedral subgroup.


title: CleftNet: Augmented Deep Learning for Synaptic Cleft Detection from Brain Electron Microscopy

abstract: Detecting synaptic clefts is a crucial step to investigate the biological function of synapses. The volume electron microscopy (EM) allows the identification of synaptic clefts by photoing EM images with high resolution and fine details. Machine learning approaches have been employed to automatically predict synaptic clefts from EM images. In this work, we propose a novel and augmented deep learning model, known as CleftNet, for improving synaptic cleft detection from brain EM images. We first propose two novel network components, known as the feature augmentor and the label augmentor, for augmenting features and labels to improve cleft representations. The feature augmentor can fuse global information from inputs and learn common morphological patterns in clefts, leading to augmented cleft features. In addition, it can generate outputs with varying dimensions, making it flexible to be integrated in any deep network. The proposed label augmentor augments the label of each voxel from a value to a vector, which contains both the segmentation label and boundary label. This allows the network to learn important shape information and to produce more informative cleft representations. Based on the proposed feature augmentor and label augmentor, We build the CleftNet as a U-Net like network. The effectiveness of our methods is evaluated on both online and offline tasks. Our CleftNet currently ranks \#1 on the online task of the CREMI open challenge. In addition, both quantitative and qualitative results in the offline tasks show that our method outperforms the baseline approaches significantly.


title: Quantum Control in Open and Periodically Driven Systems

abstract: Quantum technology resorts to efficient utilization of quantum resources to realize technique innovation. The systems are controlled such that their states follow the desired manners to realize different quantum protocols. However, the decoherence caused by the system-environment interactions causes the states deviating from the desired manners. How to protect quantum resources under the coexistence of active control and passive decoherence is of significance. Recent studies have revealed that the decoherence is determined by the feature of the system-environment energy spectrum: Accompanying the formation of bound states in the energy spectrum, the decoherence can be suppressed. It supplies a guideline to control decoherence. Such idea can be generalized to systems under periodic driving. By virtue of manipulating Floquet bound states in the quasienergy spectrum, coherent control via periodic driving dubbed as Floquet engineering has become a versatile tool not only in controlling decoherence, but also in artificially synthesizing exotic topological phases. We will review the progress on quantum control in open and periodically driven systems. Special attention will be paid to the distinguished role played by the bound states and their controllability via periodic driving in suppressing decoherence and generating novel topological phases.


title: Quarkonium propagation in the quark gluon plasma

abstract: In relativistic heavy ion collisions at RHIC and the LHC, a quark gluon plasma (QGP) is created for a short duration of about 10fm/c. Quarkonia (bound states of $c\bar{c}$ and $b\bar{b}$) are sensitive probes of this phase on length scales comparable to the size of the bound states which are less than 1fm. Observations of quarkonia in these collisions provide us with a lot of information about how the presence of a QGP affects various quarkonium states. This has motivated the development of the theory of heavy quarks and their bound states in a thermal medium, and its application to the phenomenology of quarkonia in heavy ion collisions. We review some of these developments here.


title: Pneumonia Detection on Chest X-ray using Radiomic Features and Contrastive Learning

abstract: Chest X-ray becomes one of the most common medical diagnoses due to its noninvasiveness. The number of chest X-ray images has skyrocketed, but reading chest X-rays still have been manually performed by radiologists, which creates huge burnouts and delays. Traditionally, radiomics, as a subfield of radiology that can extract a large number of quantitative features from medical images, demonstrates its potential to facilitate medical imaging diagnosis before the deep learning era. With the rise of deep learning, the explainability of deep neural networks on chest X-ray diagnosis remains opaque. In this study, we proposed a novel framework that leverages radiomics features and contrastive learning to detect pneumonia in chest X-ray. Experiments on the RSNA Pneumonia Detection Challenge dataset show that our model achieves superior results to several state-of-the-art models (> 10% in F1-score) and increases the model's interpretability.


title: Arc transitive circulants

abstract: This short paper presents characterisations of normal arc-transitive circulants and arc-transitive normal circulants, that is, for a connected arc-transitive circulant $\Gamma=\Cay(C,S)$, it is shown that 1. Aut(C,S) is transitive on S if and only if each element of S has order n; 2. $Aut\Gamma\rhd C$ if and only if S does not contain a coset of any subgroup. This completes the classification of arc-transitive circulants given by Li-Xia-Zhou.


title: What Do We Mean by "Accessibility Research"? A Literature Survey of Accessibility Papers in CHI and ASSETS from 1994 to 2019

abstract: Accessibility research has grown substantially in the past few decades, yet there has been no literature review of the field. To understand current and historical trends, we created and analyzed a dataset of accessibility papers appearing at CHI and ASSETS since ASSETS' founding in 1994. We qualitatively coded areas of focus and methodological decisions for the past 10 years (2010-2019, N=506 papers), and analyzed paper counts and keywords over the full 26 years (N=836 papers). Our findings highlight areas that have received disproportionate attention and those that are underserved--for example, over 43% of papers in the past 10 years are on accessibility for blind and low vision people. We also capture common study characteristics, such as the roles of disabled and nondisabled participants as well as sample sizes (e.g., a median of 13 for participant groups with disabilities and older adults). We close by critically reflecting on gaps in the literature and offering guidance for future work in the field.


title: Arboreal models and their stability

abstract: This is the first in a series of papers by the authors on the arborealization program. The main goal of the paper is the proof of uniqueness of arboreal models, defined as the closure of the class of smooth germs of Lagrangian submanifolds under the operation of taking iterated transverse Liouville cones. The parametric version of the stability result implies that the space of germs of symplectomorphisms that preserve a canonical model is weakly homotopy equivalent to the space of automorphisms of the corresponding signed rooted tree. Hence the local symplectic topology around a canonical model reduces to combinatorics, even parametrically.


title: Expressivity of Quantum Neural Networks

abstract: In this work, we address the question whether a sufficiently deep quantum neural network can approximate a target function as accurate as possible. We start with simple but typical physical situations that the target functions are physical observables, and then we extend our discussion to situations that the learning targets are not directly physical observables, but can be expressed as physical observables in an enlarged Hilbert space with multiple replicas, such as the Loshimidt echo and the Renyi entropy. The main finding is that an accurate approximation is possible only when the input wave functions in the dataset do not exhaust the entire Hilbert space that the quantum circuit acts on, and more precisely, the Hilbert space dimension of the former has to be less than half of the Hilbert space dimension of the latter. In some cases, this requirement can be satisfied automatically because of the intrinsic properties of the dataset, for instance, when the input wave function has to be symmetric between different replicas. And if this requirement cannot be satisfied by the dataset, we show that the expressivity capabilities can be restored by adding one ancillary qubit where the wave function is always fixed at input. Our studies point toward establishing a quantum neural network analogy of the universal approximation theorem that lays the foundation for expressivity of classical neural networks.


title: alfonso: Matlab package for nonsymmetric conic optimization

abstract: We present alfonso, an open-source Matlab package for solving conic optimization problems over nonsymmetric convex cones. The implementation is based on the authors' corrected analysis of a primal-dual interior-point method of Skajaa and Ye. This method enables optimization over any convex cone as long as a logarithmically homogeneous self-concordant barrier is available for the cone or its dual. This includes many nonsymmetric cones, for example, hyperbolicity cones and their duals (such as sum-of-squares cones), semidefinite and second-order cone representable cones, power cones, and the exponential cone. Besides enabling the solution of problems which cannot be cast as optimization problems over a symmetric cone, it also offers performance advantages for problems whose symmetric cone programming representation requires a large number of auxiliary variables or has a special structure that can be exploited in the barrier computation. The worst-case iteration complexity of alfonso is the best known for non-symmetric cone optimization: $O(\sqrt{\nu}\log(1/\epsilon))$ iterations to reach an $\epsilon$-optimal solution, where $\nu$ is the barrier parameter of the barrier function used in the optimization. alfonso can be interfaced with a Matlab function (supplied by the user) that computes the Hessian of a barrier function for the cone. For convenience, a simplified interface is also available to optimize over the direct product of cones for which a barrier function has already been built into the software. This interface can be easily extended to include new cones. Both interfaces are illustrated by solving linear programs. The oracle interface and the efficiency of alfonso are also demonstrated using a design of experiments problem in which the tailored barrier computation greatly decreases the solution time compared to using state-of-the-art conic optimization software.


title: Spectral Deconvolution Analysis on Olivine-Orthopyroxene Mixtures with Simulated Space Weathering Modifications

abstract: Olivine and pyroxene are important mineral end-members for studying the sur-face material compositions of mafic bodies. The profiles of visible and near-infraredspectra of olivine-orthopyroxene mixtures systematically varied with their compositionratios. In our experiments, we combine the RELAB spectral database with a new spec-tral data obtained from some assembled olivine-orthopyroxene mixtures. We found thatthe commonly-used band area ratio (BAR, Cloutis et al. 1986) does not work well onour newly obtained spectral data. To investigate this issue, an empirical procedure basedon fitted results by modified Gaussian model is proposed to analyze the spectral curves.Following the new empirical procedure, the end-member abundances can be estimatedwith a 15% accuracy with some prior mineral absorption features. In addition, the mix-ture samples configured in our experiments are also irradiated by pulsed lasers to simulateand investigate the space weathering effects. Spectral deconvolution results confirm thatlow-content olivine on celestial bodies are difficult to measure and estimate. Therefore,the olivine abundance of space weathered materials may be underestimated from remotesensing data. This study may be used to quantify the spectral relationship of olivine-orthopyroxene mixtures and further reveal their correlation between the spectra of ordi-nary chondrites and silicate asteroids.


title: High-Dimensional Low-Rank Tensor Autoregressive Time Series Modeling

abstract: Modern technological advances have enabled an unprecedented amount of structured data with complex temporal dependence, urging the need for new methods to efficiently model and forecast high-dimensional tensor-valued time series. This paper provides a new modeling framework to accomplish this task via autoregression (AR). By considering a low-rank Tucker decomposition for the transition tensor, the proposed tensor AR can flexibly capture the underlying low-dimensional tensor dynamics, providing both substantial dimension reduction and meaningful multi-dimensional dynamic factor interpretations. For this model, we first study several nuclear-norm-regularized estimation methods and derive their non-asymptotic properties under the approximate low-rank setting. In particular, by leveraging the special balanced structure of the transition tensor, a novel convex regularization approach based on the sum of nuclear norms of square matricizations is proposed to efficiently encourage low-rankness of the coefficient tensor. To further improve the estimation efficiency under exact low-rankness, a non-convex estimator is proposed with a gradient descent algorithm, and its computational and statistical convergence guarantees are established. Simulation studies and an empirical analysis of tensor-valued time series data from multi-category import-export networks demonstrate the advantages of the proposed approach.


title: Diameter and Ricci curvature estimates for long-time solutions of the Kahler-Ricci flow

abstract: It is well known that the K\"ahler-Ricci flow on a K\"ahler manifold $X$ admits a long-time solution if and only if $X$ is a minimal model, i.e., the canonical line bundle $K_X$ is nef. The abundance conjecture in algebraic geometry predicts that $K_X$ must be semi-ample when $X$ is a projective minimal model. We prove that if $K_X$ is semi-ample, then the diameter is uniformly bounded for long-time solutions of the normalized K\"ahler-Ricci flow. Our diameter estimate combined with the scalar curvature estimate in [34] for long-time solutions of the K\"ahler-Ricci flow are natural extensions of Perelman's diameter and scalar curvature estimates for short-time solutions on Fano manifolds. We further prove that along the normalized K\"ahler-Ricci flow, the Ricci curvature is uniformly bounded away from singular fibres of $X$ over its unique algebraic canonical model $X_{can}$ if the Kodaira dimension of $X$ is one. As an application, the normalized K\"ahler-Ricci flow on a minimal threefold $X$ always converges sequentially in Gromov-Hausdorff topology to a compact metric space homeomorphic to its canonical model $X_{can}$, with uniformly bounded Ricci curvature away from the critical set of the pluricanonical map from $X$ to $X_{can}$.


title: A HaloSat Analysis of the Cygnus Superbubble

abstract: The Cygnus Superbubble (CSB) is a region of soft X-ray emission approximately 13 degrees wide in the direction of the local spiral arm. Such a large region might be the result of strong stellar winds and supernovae from nearby stellar nurseries, or it could be the result of a single event - a hypernova. HaloSat observed 4 non-overlapping 10 degree diameter fields in the CSB region over the 0.4-7 keV band. The CSB absorption and temperature was found to be consistent over all 4 fields, with a weighted average of 6.1x10^21 cm^-2 and 0.190 keV, respectively. These observations suggest that the CSB is a cohesive object with a singular origin. The total thermal energy for the CSB is estimated at 4x10^52 erg, based upon a shell-like physical model of the CSB. Absorption and distance estimates to Cyg OB associations are examined. The CSB absorption is found to be most consistent with the absorption seen in Cyg OB1, implying that the CSB lies at a similar distance of 1.1-1.4 kpc.


title: Enhanced Information Fusion Network for Crowd Counting

abstract: In recent years, crowd counting, a technique for predicting the number of people in an image, becomes a challenging task in computer vision. In this paper, we propose a cross-column feature fusion network to solve the problem of information redundancy in columns. We introduce the Information Fusion Module (IFM) which provides a channel for information flow to help different columns to obtain significant information from another column. Through this channel, different columns exchange information with each other and extract useful features from the other column to enhance key information. Hence, there is no need for columns to pay attention to all areas in the image. Each column can be responsible for different regions, thereby reducing the burden of each column. In experiments, the generalizability of our model is more robust and the results of transferring between different datasets acheive the comparable results with the state-of-the-art models.


title: Quantum option pricing using Wick rotated imaginary time evolution

abstract: In this paper we reformulate the problem of pricing options in a quantum setting. Our proposed algorithm involves preparing an initial state, representing the option price, and then evolving it using existing imaginary time simulation algorithms. This way of pricing options boils down to mapping an initial option price to a quantum state and then simulating the time dependence in Wick's imaginary time space. We numerically verify our algorithm for European options using a particular imaginary time evolution algorithm as proof of concept and show how it can be extended to path dependent options like Asian options. As the proposed method uses a hybrid variational algorithm, it is bound to be relevant for near-term quantum computers.


title: Temporally Guided Articulated Hand Pose Tracking in Surgical Videos

abstract: Articulated hand pose tracking is an under-explored problem that carries the potential for use in an extensive number of applications, especially in the medical domain. With a robust and accurate tracking system on in-vivo surgical videos, the motion dynamics and movement patterns of the hands can be captured and analyzed for many rich tasks. In this work, we propose a novel hand pose estimation model, Res152-CondPose, which improves detection and tracking accuracy by incorporating a hand pose prior into its pose prediction. We show improvements over state-of-the-art methods which provide frame-wise independent predictions, by following a temporally guided approach that effectively leverages past predictions. Additionally, we collect the first dataset, Surgical Hands, that provides multi-instance articulated hand pose annotations for in-vivo videos. Our dataset contains 76 video clips from 28 publicly available surgical videos and over 8.1k annotated hand pose instances. We provide bounding boxes, articulated hand pose annotations, and tracking IDs to enable multi-instance area-based and articulated tracking. When evaluated on Surgical Hands, we show our method outperforms the state-of-the-art method using mean Average Precision (mAP), to measure pose estimation accuracy, and Multiple Object Tracking Accuracy (MOTA), to assess pose tracking performance. Both the code and dataset are available at https://github.com/MichiganCOG/Surgical_ Hands_RELEASE.


title: Controllable non-reciprocal transmission of single photon in Mobius structure

abstract: We propose a controllable non-reciprocal transmission model. The model consists of a Mobius ring, which is connected with two one-dimensional semi-infinite chains, and with a two-level atom located inside one of the cavities of the Mobius ring. We use the method of Green function to study the transmittance of a single photon through the model. The results show that the non-reciprocal transmission can be achieved in this model and the two-level atom can behave as a quantum switch for the non-reciprocal transport of the single photon. This controllable non-reciprocal transmission model may inspire new quantum non-reciprocal devices.


title: A Brief Survey of Associations Between Meta-Learning and General AI

abstract: This paper briefly reviews the history of meta-learning and describes its contribution to general AI. Meta-learning improves model generalization capacity and devises general algorithms applicable to both in-distribution and out-of-distribution tasks potentially. General AI replaces task-specific models with general algorithmic systems introducing higher level of automation in solving diverse tasks using AI. We summarize main contributions of meta-learning to the developments in general AI, including memory module, meta-learner, coevolution, curiosity, forgetting and AI-generating algorithm. We present connections between meta-learning and general AI and discuss how meta-learning can be used to formulate general AI algorithms.


title: Dihedral and cyclic symmetric maps on surfaces

abstract: If the face\mbox{-}cycles at all the vertices in a map are of the same type, then the map is said to be a semi-equivelar map. Automorphism (symmetry) of a map can be thought of as a permutation of the vertices which preserves the vertex\mbox{-}edge\mbox{-}face incidences in the embedding. The set of all symmetries forms the symmetry group. In this article, we discuss the maps' symmetric groups on higher genus surfaces. In particular, we show that there are at least $39$ types of the semi-equivelar maps on the surface with Euler char. $-2m, m \ge 2$ and the symmetry groups of the maps are isomorphic to the dihedral group or cyclic group. Further, we prove that these $39$ types of semi-equivelar maps are the only types on the surface with Euler char. $-2$. Moreover, we know the complete list of semi-equivelar maps (up to isomorphism) for a few types. We extend this list to one more type and can classify others similarly. We skip this part in this article.


title: Explainable Deep Behavioral Sequence Clustering for Transaction Fraud Detection

abstract: In e-commerce industry, user behavior sequence data has been widely used in many business units such as search and merchandising to improve their products. However, it is rarely used in financial services not only due to its 3V characteristics - i.e. Volume, Velocity and Variety - but also due to its unstructured nature. In this paper, we propose a Financial Service scenario Deep learning based Behavior data representation method for Clustering (FinDeepBehaviorCluster) to detect fraudulent transactions. To utilize the behavior sequence data, we treat click stream data as event sequence, use time attention based Bi-LSTM to learn the sequence embedding in an unsupervised fashion, and combine them with intuitive features generated by risk experts to form a hybrid feature representation. We also propose a GPU powered HDBSCAN (pHDBSCAN) algorithm, which is an engineering optimization for the original HDBSCAN algorithm based on FAISS project, so that clustering can be carried out on hundreds of millions of transactions within a few minutes. The computation efficiency of the algorithm has increased 500 times compared with the original implementation, which makes flash fraud pattern detection feasible. Our experimental results show that the proposed FinDeepBehaviorCluster framework is able to catch missed fraudulent transactions with considerable business values. In addition, rule extraction method is applied to extract patterns from risky clusters using intuitive features, so that narrative descriptions can be attached to the risky clusters for case investigation, and unknown risk patterns can be mined for real-time fraud detection. In summary, FinDeepBehaviorCluster as a complementary risk management strategy to the existing real-time fraud detection engine, can further increase our fraud detection and proactive risk defense capabilities.


title: Hierarchical Quark and Lepton Masses with Sequential U(1) Gauge Symmetry

abstract: Instead of right-handed neutrino singlets, the standard model is extended to include lepton triplets $(\Sigma^+, \Sigma^0, \Sigma^-)$. Each quark and lepton family may now transform under an anomaly-free $U(1)_X$ gauge symmetry, known already for many years. A new sequential application is presented, using just the one Higgs doublet of the standard model, together with two $U(1)_X$ Higgs singlets. The resulting structure has hierarchical quark and lepton masses, as well as a viable seesaw neutrino mass matrix.


title: 3D-ANAS: 3D Asymmetric Neural Architecture Search for Fast Hyperspectral Image Classification

abstract: Hyperspectral images involve abundant spectral and spatial information, playing an irreplaceable role in land-cover classification. Recently, based on deep learning technologies, an increasing number of HSI classification approaches have been proposed, which demonstrate promising performance. However, previous studies suffer from two major drawbacks: 1) the architecture of most deep learning models is manually designed, relies on specialized knowledge, and is relatively tedious. Moreover, in HSI classifications, datasets captured by different sensors have different physical properties. Correspondingly, different models need to be designed for different datasets, which further increases the workload of designing architectures; 2) the mainstream framework is a patch-to-pixel framework. The overlap regions of patches of adjacent pixels are calculated repeatedly, which increases computational cost and time cost. Besides, the classification accuracy is sensitive to the patch size, which is artificially set based on extensive investigation experiments. To overcome the issues mentioned above, we firstly propose a 3D asymmetric neural network search algorithm and leverage it to automatically search for efficient architectures for HSI classifications. By analysing the characteristics of HSIs, we specifically build a 3D asymmetric decomposition search space, where spectral and spatial information are processed with different decomposition convolutions. Furthermore, we propose a new fast classification framework, i,e., pixel-to-pixel classification framework, which has no repetitive operations and reduces the overall cost. Experiments on three public HSI datasets captured by different sensors demonstrate the networks designed by our 3D-ANAS achieve competitive performance compared to several state-of-the-art methods, while having a much faster inference speed.


title: High Dimensional Mode Hunting Using Pettiest Components Analysis

abstract: Principal components analysis has been used to reduce the dimensionality of datasets for a long time. In this paper, we will demonstrate that in mode detection the components of smallest variance, the pettiest components, are more important. We prove that for a multivariate normal or Laplace distribution, we obtain boxes of optimal volume by implementing "pettiest component analysis", in the sense that their volume is minimal over all possible boxes with the same number of dimensions and fixed probability. This reduction in volume produces an information gain that is measured using active information. We illustrate our results with a simulation and a search for modal patterns of digitized images of hand-written numbers using the famous MNIST database; in both cases pettiest components work better than their competitors. In fact, we show that modes obtained with pettiest components generate better written digits for MNIST than principal components.


title: Analysis of Anisotropic Nonlocal Diffusion Models: Well-posedness of Fractional Problems for Anomalous Transport

abstract: We analyze the well-posedness of an anisotropic, nonlocal diffusion equation. Establishing an equivalence between weighted and unweighted anisotropic nonlocal diffusion operators in the vein of unified nonlocal vector calculus, we apply our analysis to a class of fractional-order operators and present rigorous estimates for the solution of the corresponding anisotropic anomalous diffusion equation. Furthermore, we extend our analysis to the anisotropic diffusion-advection equation and prove well-posedness for fractional orders s in [0.5,1). We also present an application of the advection-diffusion equation to anomalous transport of solutes.


title: Correction to the photometric colors of the Gaia Data Release 2 with the stellar color regression method

abstract: The second Gaia data release (DR2) delivers accurate and homogeneous photometry data of the whole sky to an exquisite quality, reaching down to the unprecedented milli-magnitude (mmag) level for the G, GRP, and GBP passbands. However, the presence of magnitude-dependent systematic effects at the 10 mmag level limits its power in scientific exploitation. In this work, using about half-million stars in common with the LAMOST DR5, we apply the spectroscopy-based stellar color regression method to calibrate the Gaia G-GRP and GBP-GRP colors. With an unprecedented precision of about 1 mmag, systematic trends with G magnitude are revealed for both colors in great detail, reflecting changes in instrument configurations. Color dependent trends are found for the GBP-GRP color and for stars brighter than G~11.5 mag. The calibration is up to 20 mmag in general and varies a few mmag/mag. A revised color-color diagram of Gaia DR2 is given, and some applications are briefly discussed.


title: Vanishing dissipation limit to the planar rarefaction wave for the three-dimensional compressible Navier-Stokes-Fourier equations

abstract: We study the vanishing dissipation limit of the three-dimensional (3D) compressible Navier-Stokes-Fourier equations to the corresponding 3D full Euler equations. Our results are twofold. First, we prove that the 3D compressible Navier-Stokes-Fourier equations admit a family of smooth solutions that converge to the planar rarefaction wave solution of the 3D compressible Euler equations with arbitrary strength. Second, we obtain a uniform convergence rate in terms of the viscosity and heat-conductivity coefficients. For this multi-dimensional problem, we first need to introduce the hyperbolic wave to recover the physical dissipations of the inviscid rarefaction wave profile as in our previous work [29] on the two-dimensional (2D) case. However, due to the 3D setting that makes the analysis significantly more challenging than the 2D problem, the hyperbolic scaled variables for the space and time could not be used to normalize the dissipation coefficients as in the 2D case. Instead, the analysis of the 3D case is carried out in the original non-scaled variables, and consequently the dissipation terms are more singular compared with the 2D scaled case. Novel ideas and techniques are developed to establish the uniform estimates. In particular, more accurate {\it a priori} assumptions with respect to the dissipation coefficients are crucially needed for the stability analysis, and some new observations on the cancellations of the physical structures for the flux terms are essentially used to justify the 3D limit. Moreover, we find that the decay rate with respect to the dissipation coefficients is determined by the nonlinear flux terms in the original variables for the 3D limit in this paper, but fully determined by the error terms in the scaled variables for the 2D case in [29].


title: Trace Ratio Optimization with an Application to Multi-view Learning

abstract: A trace ratio optimization problem over the Stiefel manifold is investigated from the perspectives of both theory and numerical computations. At least three special cases of the problem have arisen from Fisher linear discriminant analysis, canonical correlation analysis, and unbalanced Procrustes problem, respectively. Necessary conditions in the form of nonlinear eigenvalue problem with eigenvector dependency are established and a numerical method based on the self-consistent field (SCF) iteration is designed and proved to be always convergent. As an application to multi-view subspace learning, a new framework and its instantiated concrete models are proposed and demonstrated on real world data sets. Numerical results show that the efficiency of the proposed numerical methods and effectiveness of the new multi-view subspace learning models.


title: Estimating Galactic Distances From Images Using Self-supervised Representation Learning

abstract: We use a contrastive self-supervised learning framework to estimate distances to galaxies from their photometric images. We incorporate data augmentations from computer vision as well as an application-specific augmentation accounting for galactic dust. We find that the resulting visual representations of galaxy images are semantically useful and allow for fast similarity searches, and can be successfully fine-tuned for the task of redshift estimation. We show that (1) pretraining on a large corpus of unlabeled data followed by fine-tuning on some labels can attain the accuracy of a fully-supervised model which requires 2-4x more labeled data, and (2) that by fine-tuning our self-supervised representations using all available data labels in the Main Galaxy Sample of the Sloan Digital Sky Survey (SDSS), we outperform the state-of-the-art supervised learning method.


title: Atmospheric turbulence profiling with multi-aperture scintillation of a Shack-Hartmann sensor

abstract: Adaptive optics (AO) systems using tomographic estimation of three-dimensional structure of atmospheric turbulence requires vertical atmospheric turbulence profile, which describes turbulence strength as a function of altitude as a prior information. We propose a novel method to reconstruct the profile by applying Multi Aperture Scintillation Sensor (MASS) method to scintillation data obtained by a Shack-Hartmann wavefront sensor (SH-WFS). Compared to the traditional MASS, which uses atmospheric scintillation within 4 concentric annular apertures, the new method utilizes scintillation in several hundreds of spatial patterns, which are created by combinations of SH-WFS subapertures. Accuracy of the turbulence profile reconstruction is evaluated with Bayesian inference, and it is confirmed that turbulence profile with more than 10 layers can be reconstructed thanks to the large number of constraints. We demonstrate the new method with a SH-WFS attached to the 50 cm telescope at Tohoku university and confirm that general characteristics of atmospheric turbulence profile is reproduced.


title: Characterization of VUV4 SiPM for Liquid Argon Detector

abstract: Particle detectors based on liquid argon are now recognised as an attractive technology for dark matter direct detection and coherent elastic neutrino-nucleus scattering measurement. A program using a dual-phase liquid argon detector with a fiducial mass of 200~kg to detect coherent elastic neutrino-nucleus scattering at Taishan Nuclear Power Plant has been proposed. SiPMs will be used as the photon sensor because of their high radio-purity and high photon detection efficiency. S13370-6050CN SiPM, made by Hamamatsu, is a candidate for the detector. In this paper, the characterisation of S13370-6050CN SiPM, including the cross talk and after pulse probabilities at liquid argon temperature and the temperature dependence of break down voltage, dark counting rate and relative quantum efficiency were presented.


title: Fits and Starts: Enterprise Use of AutoML and the Role of Humans in the Loop

abstract: AutoML systems can speed up routine data science work and make machine learning available to those without expertise in statistics and computer science. These systems have gained traction in enterprise settings where pools of skilled data workers are limited. In this study, we conduct interviews with 29 individuals from organizations of different sizes to characterize how they currently use, or intend to use, AutoML systems in their data science work. Our investigation also captures how data visualization is used in conjunction with AutoML systems. Our findings identify three usage scenarios for AutoML that resulted in a framework summarizing the level of automation desired by data workers with different levels of expertise. We surfaced the tension between speed and human oversight and found that data visualization can do a poor job balancing the two. Our findings have implications for the design and implementation of human-in-the-loop visual analytics approaches.


title: Gate-tunable chiral phonons in low-buckled group-IVA monolayers

abstract: We investigate the electric response of chiral phonons on the low-buckled group-IVA monolayers by performing first-principles calculations. The vertical electric field breaks the degeneracy of phonon modes at high-symmetry $\pm K$ points of the phonon Brillouin zone, and the size of the phononic gap is proportional to the strength of the electric field. The gapped phonon modes at $\pm K$ possess chiralities with considerable phonon circular polarizations and discrete phonon pseudoangular momenta. The chiralities of phonons are robust against the variation of the field strength, but reversed by changing the field direction. Electric control of chiral phonons adds a new dimension to the study of chiral phonons, which has potential use in the design of phononic and valley devices.


title: Weighted Sylvester sums on the Frobenius set in more variables

abstract: Let $a_1,a_2,\dots,a_k$ be positive integers with $\gcd(a_1,a_2,\dots,a_k)=1$. Let ${\rm NR}={\rm NR}(a_1,a_2,\dots,a_k)$ denote the set of positive integers nonrepresentable in terms of $a_1,a_2,\dots,a_k$. The largest nonrepresentable integer $\max{\rm NR}$, the number of nonrepresentable positive integers $\sum_{n\in{\rm NR}}1$ and the sum of nonrepresentable positive integers $\sum_{n\in{\rm NR}}n$ have been widely studied for a long time as related to the famous Frobenius problem. In this paper by using Eulerian numbers, we give formulas for the weighted sum $\sum_{n\in{\rm NR}}\lambda^{n}n^\mu$, where $\mu$ is a nonnegative integer and $\lambda$ is a complex number. We also examine power sums of nonrepresentable numbers and some formulae for three variables. Several examples illustrate and support our results.


title: Estimation of transmitted wavefronts at defocused positions in a broad bandwidth range

abstract: Wavefront aberrations can reflect the imaging quality of high-performance optical systems better than geometric aberrations. Although laser interferometers have emerged as the main tool for measurement of transmitted wavefronts, their application is greatly limited, as they are typically designed for operation at specific wavelengths. In a previous study, we proposed a method for determining the wavefront transmitted by an optical system at any wavelength in a certain band. Although this method works well for most monochromatic systems, where the image plane is at the focal point for the transmission wavelength, for general multi-color systems, it is more practical to measure the wavefront at the defocused image plane. Hence, in this paper, we have developed a complete method for determining transmitted wavefronts in a broad bandwidth at any defocused position, enabling wavefront measurements for multi-color systems. Here, we assume that in small ranges, the Zernike coefficients have a linear relationship with position, such that Zernike coefficients at defocused positions can be derived from measurements performed at the focal point. We conducted experiments to verify these assumptions, validating the new method. The experimental setup has been improved so that it can handle multi-color systems, and a detailed experimental process is summarized. With this technique, application of broadband transmission wavefront measurement can be extended to most general optical systems, which is of great significance for characterization of achromatic and apochromatic optical lenses.


title: Emergent behaviors of high-dimensional Kuramoto models on Stiefel manifolds

abstract: We study emergent asymptotic dynamics for the first and second-order high-dimensional Kuramoto models on Stiefel manifolds which extend the previous consensus models on Riemannian manifolds including several matrix Lie groups. For the first-order consensus model on the Stiefel manifold proposed in [Markdahl et al, 2018], we show that the homogeneous ensemble relaxes the complete consensus state exponentially fast. On the other hand for a heterogeneous ensemble, we provide a sufficient condition leading to the phase-locked state in which relative distances between two states converge to definite values in a large coupling strength regime. We also propose a second-order extension of the first-order one by adding an inertial effect, and study emergent behaviors using Lyapunov functionals such as an energy functional and an averaged distance functional.


title: Tailoring anisotropic absorption in borophene-based structure via critical coupling

abstract: The research of two-dimensional (2D) materials with atomic-scale thicknesses and unique optical properties has become a frontier in photonics and electronics. Borophene, a newly reported 2D material provides a novel building block for nanoscale materials and devices. We present a simple borophene-based absorption structure to boost the light-borophene interaction via critical coupling in the visible wavelengths. The proposed structure consists of borophene monolayer deposited on a photonic crystal slab backed with a metallic mirror. The numerical simulations and theoretical analysis show that the light absorption of the structure can be remarkably enhanced as high as 99.80% via critical coupling mechanism with guided resonance, and the polarization-dependent absorption behaviors are demonstrated due to the strong anisotropy of borophene. We also examine the tunability of the absorption behaviors by adjusting carrier density and lifetime of borophene, air hole radius in the slab, the incident angle and polarization angle. The proposed absorption structure provides novel access to the flexible and effective manipulation of light-borophene interactions in the visible, and shows a good prospect for the future borophene-based electronic and photonic devices.


title: Short-time existence for the network flow

abstract: This paper contains a new proof of the short-time existence for the flow by curvature of a network of curves in the plane. Appearing initially in metallurgy and as a model for the evolution of grain boundaries, this flow was later treated by Brakke \cite{Br} using varifold methods. There is good reason to treat this problem by a direct PDE approach, but doing so requires one to deal with the singular nature of the PDE at the vertices of the network. This was handled in cases of increasing generality by Bronsard-Reitich \cite{BrRe}, Mantegazza-Novaga-Tortorelli \cite{MNT} and eventually, in the most general case of irregular networks by Ilmanen-Neves-Schulze \cite{INS}. Although the present paper proves a result similar to the one in \cite{INS}, the method here provides substantially more detailed information about how an irregular network `resolves' into a regular one. Either approach relies on the existence of self-similar expanding solutions found in \cite{MS}. As a precursor to and illustration of the main theorem, we also prove an unexpected regularity result for the mixed Cauchy-Dirichlet boundary problem for the linear heat equation on a manifold with boundary.


title: A Robotic System for Implant Modification in Single-stage Cranioplasty

abstract: Craniomaxillofacial reconstruction with patient-specific customized craniofacial implants (CCIs) is most commonly performed for large-sized skeletal defects. Because the exact size of skull resection may not be known prior to the surgery, in the single-stage cranioplasty, a large CCI is prefabricated and resized intraoperatively with a manual-cutting process provided by a surgeon. The manual resizing, however, may be inaccurate and significantly add to the operating time. This paper introduces a fast and non-contact approach for intraoperatively determining the exact contour of the skull resection and automatically resizing the implant to fit the resection area. Our approach includes four steps: First, a patient's defect information is acquired by a 3D scanner. Second, the scanned defect is aligned to the CCI by registering the scanned defect to the reconstructed CT model. Third, a cutting toolpath is generated from the contour of the scanned defect. Lastly, the large CCI is resized by a cutting robot to fit the resection area according to the given toolpath. To evaluate the resizing performance of our method, six different resection shapes were used in the cutting experiments. We compared the performance of our method to the performances of surgeon's manual resizing and an existing technique which collects the defect contour with an optical tracking system and projects the contour on the CCI to guide the manual modification. The results show that our proposed method improves the resizing accuracy by 56% compared to the surgeon's manual modification and 42% compared to the projection method.


title: Dynamic Jet Charge

abstract: We propose a modified definition of the jet charge, the "dynamic jet charge", where the constant jet momentum fraction weighting parameter, $\kappa$, in the standard jet charge definition is generalized to be a function of a dynamical property of the jet or the individual jet constituents. The dynamic jet charge can complement analyses based on the standard definition and give improved discrimination between quark and gluon initiated jets and between jets initiated by different quark flavors. We focus on the specific scenario where each hadron in the jet contributes to the dynamic jet charge with a $\kappa$-value dynamically determined by its jet momentum fraction. The corresponding dynamic jet charge distributions have qualitatively distinct features and are typically characterized by a multiple peak structure. For proton-proton collisions, compared to the standard jet charge, the dynamic jet charge gives significantly improved discrimination between quark and gluon initiated jets and comparable discrimination between $u$- and $d$-quark initiated jets. In Pythia simulations of heavy ion collisions, the dynamic jet charge is found to have higher jet discrimination power compared to the standard jet charge, remaining robust against the increased contamination from underlying event. We also present phenomenological applications of the dynamic jet charge to probe nuclear flavor structure.


title: Remarks on the hidden symmetry of the asymmetric quantum Rabi model

abstract: The symmetric quantum Rabi model (QRM) is integrable due to a discrete $\mathbb{Z}_2$-symmetry of the Hamiltonian. This symmetry is generated by a known involution operator, measuring the parity of the eigenfunctions. An experimentally relevant modification of the QRM, the asymmetric (or biased) quantum Rabi model (AQRM) is no longer invariant under this operator, but shows nevertheless characteristic degeneracies of its spectrum for half-integer values of $\epsilon$, the parameter governing the asymmetry. In an interesting recent work (arXiv:2010.02496), an operator has been identified which commutes with the Hamiltonian $H_{\epsilon}$ of the asymmetric quantum Rabi model for $\epsilon=\frac{\ell}{2} \, (\ell\in \mathbb{Z})$ and appears to be the analogue of the parity in the symmetric case. We prove several important properties of this operator, notably, that it is algebraically independent of the Hamiltonian $H_{\epsilon}$ and that it essentially generates the commutant of $H_{\epsilon}$. Then, the expected $\mathbb{Z}_2$-symmetry manifests the fact that the commuting operator can be captured in the two-fold cover of the algebra generated by $H_{\epsilon}$, that is, the polynomial ring in $H_{\epsilon}$.


title: Multi-Robot Gaussian Process Estimation and Coverage: A Deterministic Sequencing Algorithm and Regret Analysis

abstract: We study the problem of distributed multi-robot coverage over an unknown, nonuniform sensory field. Modeling the sensory field as a realization of a Gaussian Process and using Bayesian techniques, we devise a policy which aims to balance the tradeoff between learning the sensory function and covering the environment. We propose an adaptive coverage algorithm called Deterministic Sequencing of Learning and Coverage (DSLC) that schedules learning and coverage epochs such that its emphasis gradually shifts from exploration to exploitation while never fully ceasing to learn. Using a novel definition of coverage regret which characterizes overall coverage performance of a multi-robot team over a time horizon $T$, we analyze DSLC to provide an upper bound on expected cumulative coverage regret. Finally, we illustrate the empirical performance of the algorithm through simulations of the coverage task over an unknown distribution of wildfires.


title: LLA: Loss-aware Label Assignment for Dense Pedestrian Detection

abstract: Label assignment has been widely studied in general object detection because of its great impact on detectors' performance. However, none of these works focus on label assignment in dense pedestrian detection. In this paper, we propose a simple yet effective assigning strategy called Loss-aware Label Assignment (LLA) to boost the performance of pedestrian detectors in crowd scenarios. LLA first calculates classification (cls) and regression (reg) losses between each anchor and ground-truth (GT) pair. A joint loss is then defined as the weighted summation of cls and reg losses as the assigning indicator. Finally, anchors with top K minimum joint losses for a certain GT box are assigned as its positive anchors. Anchors that are not assigned to any GT box are considered negative. Loss-aware label assignment is based on an observation that anchors with lower joint loss usually contain richer semantic information and thus can better represent their corresponding GT boxes. Experiments on CrowdHuman and CityPersons show that such a simple label assigning strategy can boost MR by 9.53% and 5.47% on two famous one-stage detectors - RetinaNet and FCOS, respectively, demonstrating the effectiveness of LLA.


title: Short Rate Dynamics: A Fed Funds and SOFR perspective

abstract: The Secured Overnight Funding Rate (SOFR) is becoming the main Risk-Free Rate benchmark in US dollars, thus interest rate term structure models need to be updated to reflect the key features exhibited by the dynamics of SOFR and the forward rates implied by SOFR futures. Historically, interest rate term structure modelling has been based on rates of substantially longer time to maturity than overnight, but with SOFR the overnight rate now is the primary market observable. This means that the empirical idiosyncrasies of the overnight rate cannot be ignored when constructing interest rate models in a SOFR-based world. As a rate reflecting transactions in the Treasury overnight repurchase market, the dynamics of SOFR are closely linked to the dynamics of the Effective Federal Funds Rate (EFFR), which is the interest rate most directly impacted by US monetary policy target rate decisions. Therefore, these rates feature jumps at known times (Federal Open Market Committee meeting dates), and market expectations of these jumps are reflected in prices for futures written on these rates. On the other hand, forward rates implied by Fed Funds and SOFR futures continue to evolve diffusively. The model presented in this paper reflects the key empirical features of SOFR dynamics and is calibrated to futures prices. In particular, the model reconciles diffusive forward rate dynamics with piecewise constant paths of the target short rate.


title: Dark-state sideband cooling in an atomic ensemble

abstract: We utilize the dark state in a {\Lambda}-type three-level system to cool an ensemble of 85Rb atoms in an optical lattice [Morigi et al., Phys. Rev. Lett. 85, 4458 (2000)]. The common suppression of the carrier transition of atoms with different vibrational frequencies allows them to reach a subrecoil temperature of 100 nK after being released from the optical lattice. A nearly zero vibrational quantum number is determined from the time-of-flight measurements and adiabatic expansion process. The features of sideband cooling are examined in various parameter spaces. Our results show that dark-state sideband cooling is a simple and compelling method for preparing a large ensemble of atoms into their vibrational ground state of a harmonic potential and can be generalized to different species of atoms and molecules for studying ultracold physics that demands recoil temperature and below.


title: Intrinsic Donor-Bound Excitons in Ultraclean Monolayer Semiconductors

abstract: The monolayer transition metal dichalcogenides are an emergent semiconductor platform exhibiting rich excitonic physics with coupled spin-valley degree of freedom and optical addressability. Here, we report a new series of low energy excitonic emission lines in the photoluminescence spectrum of ultraclean monolayer WSe2. These excitonic satellites are composed of three major peaks with energy separations matching known phonons, and appear only with electron doping. They possess homogenous spatial and spectral distribution, strong power saturation, and anomalously long population (> 6 ${\mu}$s) and polarization lifetimes (> 100 ns). Resonant excitation of the free inter- and intra-valley bright trions leads to opposite optical orientation of the satellites, while excitation of the free dark trion resonance suppresses the satellites photoluminescence. Defect-controlled crystal synthesis and scanning tunneling microscopy measurements provide corroboration that these features are dark excitons bound to dilute donors, along with associated phonon replicas. Our work opens opportunities to engineer homogenous single emitters and explore collective quantum optical phenomena using intrinsic donor-bound excitons in ultraclean 2D semiconductors.


title: Non-volatile reconfigurable spin logic device: parallel operations

abstract: A new proposal is given for designing a non-volatile, completely spin logic device, that can be reprogrammed for different functional classical logical operations. We use the concept of bias driven spin dependent circular current and current induced magnetic field in a quantum ring under asymmetric ring-to-electrode interface configuration to implement all the Boolean operations. We extend our idea to build two kinds of parallel computing architectures for getting parallelized operations, all at a particular time. For one case, different kinds of parallel operations are performed in a single device, whereas in the other type all the possible inputs of a logic gate are processed in parallel and all the outputs are read simultaneously. The performance and reliability are investigated in terms of power, delay and power-delay-product and finally the system temperature. We find that both the individual and simultaneous logic operations studied here are much superior compared to the operations performed in different conventional logic families like complementary metal oxide semiconductor logic, transistor-transistor logic, etc. The key advantage is that we can perform several logic operations, as many as we wish, repeating the same or different logic gates using a single setup, which indeed reduces wiring in the circuits and hence consumes much less power. Our analysis can be utilized to design optimized logic circuits at nano-scale level.


title: The spaces of rational curves on del Pezzo threefolds of degree one

abstract: We prove the irreducibility of moduli spaces of rational curves on a general del Pezzo threefold of Picard rank $1$ and degree $1$. As corollaries, we confirm Geometric Manin's conjecture and enumerativity of certain Gromov-Witten invariants for these threefolds.


title: On finite subnormal Cayley graphs

abstract: In this paper we introduce and study a type of Cayley graph -- subnormal Cayley graph. We prove that a subnormal 2-arc transitive Cayley graph is a normal Cayley graph or a normal cover of a complete bipartite graph $K_{p^d,p^d}$ with $p$ prime. Then we obtain a generic method for constructing half-symmetric (namely edge transitive but not arc transitive) Cayley graphs.


title: Angular Distributions in Rare $b$ Decays

abstract: We give a brief overview of phenomenological developments in the analysis of angular observables for exclusive decay modes of $B$ mesons and $\Lambda_b$ baryons, with focus on recent results and some important aspects related to the theoretical background (which mostly concern the treatment of hadronic uncertainties).


title: Neural Network-based Virtual Microphone Estimator

abstract: Developing microphone array technologies for a small number of microphones is important due to the constraints of many devices. One direction to address this situation consists of virtually augmenting the number of microphone signals, e.g., based on several physical model assumptions. However, such assumptions are not necessarily met in realistic conditions. In this paper, as an alternative approach, we propose a neural network-based virtual microphone estimator (NN-VME). The NN-VME estimates virtual microphone signals directly in the time domain, by utilizing the precise estimation capability of the recent time-domain neural networks. We adopt a fully supervised learning framework that uses actual observations at the locations of the virtual microphones at training time. Consequently, the NN-VME can be trained using only multi-channel observations and thus directly on real recordings, avoiding the need for unrealistic physical model-based assumptions. Experiments on the CHiME-4 corpus show that the proposed NN-VME achieves high virtual microphone estimation performance even for real recordings and that a beamformer augmented with the NN-VME improves both the speech enhancement and recognition performance.


title: Non-volatile reconfigurable integrated photonics enabled by broadband low-loss phase change material

abstract: Phase change materials (PCMs) have long been used as a storage medium in rewritable compact disk and later in random access memory. In recent years, the integration of PCMs with nanophotonic structures has introduced a new paradigm for non-volatile reconfigurable optics. However, the high loss of the archetypal PCM Ge2Sb2Te5 in both visible and telecommunication wavelengths has fundamentally limited its applications. Sb2S3 has recently emerged as a wide-bandgap PCM with transparency windows ranging from 610nm to near-IR. In this paper, the strong optical phase modulation and low optical loss of Sb2S3 are experimentally demonstrated for the first time in integrated photonic platforms at both 750nm and 1550nm. As opposed to silicon, the thermo-optic coefficient of Sb2S3 is shown to be negative, making the Sb2S3-Si hybrid platform less sensitive to thermal fluctuation. Finally, a Sb2S3 integrated non-volatile microring switch is demonstrated which can be tuned electrically between a high and low transmission state with a contrast over 30dB. Our work experimentally verified the prominent phase modification and low loss of Sb2S3 in wavelength ranges relevant for both solid-state quantum emitter and telecommunication, enabling potential applications such as optical field programmable gate array, post-fabrication trimming, and large-scale integrated quantum photonic network.


title: Complementary local-global approach for phonon mode connectivities

abstract: Sorting and assigning phonon branches (e.g., longitudinal acoustic) of phonon modes is important for characterizing the phonon bands of a crystal and the determination of phonon properties such as the Gr\"uneisan parameter and group velocity. To do this, the phonon band indices (including the longitudinal and transverse acoustic) have to be assigned correctly to all phonon modes across a path or paths in the Brillouin zone. As our solution to this challenging problem, we propose a computationally efficient and robust two-stage hybrid method that combines two approaches with their own merits. The first is the perturbative approach in which we connect the modes using degenerate perturbation theory. In the second approach, we use numerical fitting based on least-squares fits to circumvent local connectivity errors at or near exact degenerate modes. The method can be easily generalized to other condensed matter problems involving Hermitian matrix operators such as electronic bands in tight-binding Hamiltonians or in a standard density-functional calculation, and photonic bands in photonic crystals.


title: A Multimodal Eye Movement Dataset and a Multimodal Eye Movement Segmentation Analysis

abstract: We present a new dataset with annotated eye movements. The dataset consists of over 800,000 gaze points recorded during a car ride in the real world and in the simulator. In total, the eye movements of 19 subjects were annotated. In this dataset there are several data sources such as the eyelid closure, the pupil center, the optical vector, and a vector into the pupil center starting from the center of the eye corners. These different data sources are analyzed and evaluated individually as well as in combination with respect to their goodness of fit for eye movement classification. These results will help developers of real-time systems and algorithms to find the best data sources for their application. Also, new algorithms can be trained and evaluated on this data set. The data and the Matlab code can be downloaded here https://atreus.informatik.uni-tuebingen.de/seafile/d/8e2ab8c3fdd444e1a135/?p=%2FA%20Multimodal%20Eye%20Movement%20Dataset%20and%20...&mode=list


title: DeepiSign: Invisible Fragile Watermark to Protect the Integrityand Authenticity of CNN

abstract: Convolutional Neural Networks (CNNs) deployed in real-life applications such as autonomous vehicles have shown to be vulnerable to manipulation attacks, such as poisoning attacks and fine-tuning. Hence, it is essential to ensure the integrity and authenticity of CNNs because compromised models can produce incorrect outputs and behave maliciously. In this paper, we propose a self-contained tamper-proofing method, called DeepiSign, to ensure the integrity and authenticity of CNN models against such manipulation attacks. DeepiSign applies the idea of fragile invisible watermarking to securely embed a secret and its hash value into a CNN model. To verify the integrity and authenticity of the model, we retrieve the secret from the model, compute the hash value of the secret, and compare it with the embedded hash value. To minimize the effects of the embedded secret on the CNN model, we use a wavelet-based technique to transform weights into the frequency domain and embed the secret into less significant coefficients. Our theoretical analysis shows that DeepiSign can hide up to 1KB secret in each layer with minimal loss of the model's accuracy. To evaluate the security and performance of DeepiSign, we performed experiments on four pre-trained models (ResNet18, VGG16, AlexNet, and MobileNet) using three datasets (MNIST, CIFAR-10, and Imagenet) against three types of manipulation attacks (targeted input poisoning, output poisoning, and fine-tuning). The results demonstrate that DeepiSign is verifiable without degrading the classification accuracy, and robust against representative CNN manipulation attacks.


title: Quantum criticality in the nonunitary dynamics of $(2+1)$-dimensional free fermions

abstract: We explore the nonunitary dynamics of $(2+1)$-dimensional free fermions and show that the obtained steady state is critical regardless the strength of the nonunitary evolution. Numerical results indicate that the entanglement entropy has a logarithmic violation of the area-law and the mutual information between two distant regions decays as a power-law function. In particular, we provide an interpretation of these scaling behaviors in terms of a simple quasiparticle pair picture. In addition, we study the dynamics of the correlation function and demonstrate that this system has dynamical exponent $z=1$. We further demonstrate the dynamics of the correlation function can be well captured by a classical nonlinear master equation. Our method opens a door to a vast number of nonunitary random dynamics in free fermions and can be generalized to any dimensions.


title: Random Transformation of Image Brightness for Adversarial Attack

abstract: Deep neural networks are vulnerable to adversarial examples, which are crafted by adding small, human-imperceptible perturbations to the original images, but make the model output inaccurate predictions. Before deep neural networks are deployed, adversarial attacks can thus be an important method to evaluate and select robust models in safety-critical applications. However, under the challenging black-box setting, the attack success rate, i.e., the transferability of adversarial examples, still needs to be improved. Based on image augmentation methods, we found that random transformation of image brightness can eliminate overfitting in the generation of adversarial examples and improve their transferability. To this end, we propose an adversarial example generation method based on this phenomenon, which can be integrated with Fast Gradient Sign Method (FGSM)-related methods to build a more robust gradient-based attack and generate adversarial examples with better transferability. Extensive experiments on the ImageNet dataset demonstrate the method's effectiveness. Whether on normally or adversarially trained networks, our method has a higher success rate for black-box attacks than other attack methods based on data augmentation. We hope that this method can help to evaluate and improve the robustness of models.


title: General corner charge formula in two-dimensional C_n-symmetric higher-order topological insulators

abstract: In this paper, we derive a general formula for the quantized fractional corner charge in two-dimensional C_n-symmetric higher-order topological insulators. We assume that the electronic states can be described by the Wannier functions and that the edges are charge neutral, but we do not assume vanishing bulk electric polarization. We expand the scope of the corner charge formula obtained in previous works by considering more general surface conditions, such as surfaces with higher Miller index and surfaces with surface reconstruction. Our theory is applicable even when the electronic states are largely modulated near system boundaries. It also applies to insulators with non-vanishing bulk polarization, and we find that in such cases the value of the corner charge depends on the surface termination even for the same bulk crystal with C_3 or C_4 symmetry, via a difference in the Wyckoff position of the center of the C_n-symmetric crystal.