title: SMART: A Heterogeneous Scratchpad Memory Architecture for Superconductor SFQ-based Systolic CNN Accelerators

abstract: Ultra-fast \& low-power superconductor single-flux-quantum (SFQ)-based CNN systolic accelerators are built to enhance the CNN inference throughput. However, shift-register (SHIFT)-based scratchpad memory (SPM) arrays prevent a SFQ CNN accelerator from exceeding 40\% of its peak throughput, due to the lack of random access capability. This paper first documents our study of a variety of cryogenic memory technologies, including Vortex Transition Memory (VTM), Josephson-CMOS SRAM, MRAM, and Superconducting Nanowire Memory, during which we found that none of the aforementioned technologies made a SFQ CNN accelerator achieve high throughput, small area, and low power simultaneously. Second, we present a heterogeneous SPM architecture, SMART, composed of SHIFT arrays and a random access array to improve the inference throughput of a SFQ CNN systolic accelerator. Third, we propose a fast, low-power and dense pipelined random access CMOS-SFQ array by building SFQ passive-transmission-line-based H-Trees that connect CMOS sub-banks. Finally, we create an ILP-based compiler to deploy CNN models on SMART. Experimental results show that, with the same chip area overhead, compared to the latest SHIFT-based SFQ CNN accelerator, SMART improves the inference throughput by $3.9\times$ ($2.2\times$), and reduces the inference energy by $86\%$ ($71\%$) when inferring a single image (a batch of images).


title: Dynamics of light hypernuclei in collisions of $^{197}$Au+$^{197}$Au at GeV energies

abstract: The dynamics of light hypernuclei and nuclear clusters produced in $^{197}$Au+$^{197}$Au collisions has been investigated thoroughly with a microscopic transport model. All possible channels of hyperon production and transportation of hyperons in nuclear medium are implemented into the model. The light complex fragments are recognized with the Wigner density approach at the stage of freeze out in nuclear collisions. The isospin diffusion in the collisions is responsible for the neutron-rich cluster formation. The collective flows of nuclear clusters are consistent with the experimental data from FOPI collaboration. It is found that the influence of the hyperon-nucleon potential on the free hyperons is negligible, but available for the light hypernuclide formation. The directed and elliptic flows of $^{3}_{\Lambda}$H and $^{4}_{\Lambda}$H at incident energies of 2, 2.5, 3, 3.5 and 4 GeV/nucleon are investigated thoroughly and manifest the same structure with the nuclear clusters. The hypernuclear yields are produced in a wide rapidity and momentum regime with increasing the beam energy.


title: A Review and Collation of Graphical Perception Knowledge for Visualization Recommendation

abstract: Selecting appropriate visual encodings is critical to designing effective visualization recommendation systems, yet few findings from graphical perception are typically applied within these systems. We observe two significant limitations in translating graphical perception knowledge into actionable visualization recommendation rules/constraints: inconsistent reporting of findings and a lack of shared data across studies. How can we translate the graphical perception literature into a knowledge base for visualization recommendation? We present a review of 59 papers that study user perception and performance across ten visual analysis tasks. Through this study, we contribute a JSON dataset that collates existing theoretical and experimental knowledge and summarizes key study outcomes in graphical perception. We illustrate how this dataset can inform automated encoding decisions with three representative visualization recommendation systems. Based on our findings, we highlight open challenges and opportunities for the community in collating graphical perception knowledge for a range of visualization recommendation scenarios.


title: $\textit{omg}$ Blueprint for trapped ion quantum computing with metastable states

abstract: Quantum computers, much like their classical counterparts, will likely benefit from flexible qubit encodings that can be matched to different tasks. For trapped ion quantum processors, a common way to access multiple encodings is to use multiple, co-trapped atomic species. Here, we outline an alternative approach that allows flexible encoding capabilities in single-species systems through the use of long-lived metastable states as an effective, programmable second species. We describe the set of additional trapped ion primitives needed to enable this protocol and show that they are compatible with large-scale systems that are already in operation.


title: Second order McKean-Vlasov SDEs and kinetic Fokker-Planck-Kolmogorov equations

abstract: In this paper we study second order stochastic differential equations with measurable and density-distribution dependent coefficients. Through establishing a maximum principle for kinetic Fokker-Planck-Kolmogorov equations with distribution-valued inhomogeneous term, we show the existence of weak solutions under mild assumptions. Moreover, by using the H\"older regularity estimate obtained recently in \cite{GIMV19}, we also show the well-posedness of generalized martingale problems when diffusion coefficients only depend on the position variable (not necessarily continuous). Even in the non density-distribution dependent case, it seems that this is the first result about the well-posedness of SDEs with measurable diffusion coefficients.


title: UserBERT: Contrastive User Model Pre-training

abstract: User modeling is critical for personalized web applications. Existing user modeling methods usually train user models from user behaviors with task-specific labeled data. However, labeled data in a target task may be insufficient for training accurate user models. Fortunately, there are usually rich unlabeled user behavior data which encode rich information of user characteristics and interests. Thus, pre-training user models on unlabeled user behavior data has the potential to improve user modeling for many downstream tasks. In this paper, we propose a contrastive user model pre-training method named UserBERT. Two self-supervision tasks are incorporated in UserBERT for user model pre-training on unlabeled user behavior data to empower user modeling. The first one is masked behavior prediction, which aims to model the relatedness between user behaviors. The second one is behavior sequence matching, which aims to capture the inherent user interests that are consistent in different periods. In addition, we propose a medium-hard negative sampling framework to select informative negative samples for better contrastive pre-training. We maintain a synchronously updated candidate behavior pool and an asynchronously updated candidate behavior sequence pool to select the locally hardest negative behaviors and behavior sequences in an efficient way. Extensive experiments on two real-world datasets in different tasks show that UserBERT can effectively improve various user models.


title: A Synergetic Attack against Neural Network Classifiers combining Backdoor and Adversarial Examples

abstract: In this work, we show how to jointly exploit adversarial perturbation and model poisoning vulnerabilities to practically launch a new stealthy attack, dubbed AdvTrojan. AdvTrojan is stealthy because it can be activated only when: 1) a carefully crafted adversarial perturbation is injected into the input examples during inference, and 2) a Trojan backdoor is implanted during the training process of the model. We leverage adversarial noise in the input space to move Trojan-infected examples across the model decision boundary, making it difficult to detect. The stealthiness behavior of AdvTrojan fools the users into accidentally trust the infected model as a robust classifier against adversarial examples. AdvTrojan can be implemented by only poisoning the training data similar to conventional Trojan backdoor attacks. Our thorough analysis and extensive experiments on several benchmark datasets show that AdvTrojan can bypass existing defenses with a success rate close to 100% in most of our experimental scenarios and can be extended to attack federated learning tasks as well.


title: Searching for TeV Candidates in 4LAC High-synchrotron-peaked Frequency BL Lac Objects

abstract: The next generation of TeV detectors is expected to have a significantly enhanced performance. It is therefore constructive to search for new TeV candidates for observation. This paper focuses on TeV candidates among the high-synchrotron-peaked BL Lacertae objects (HBLs) reported in the fourth catalog of active galactic nuclei detected by the Fermi's Large Area Telescope, i.e., 4LAC. By cross-matching the Fermi data with radio and optical observations, we collected the multiwavelength features of 180 HBLs with known redshift. The data set contains 39 confirmed TeV sources and 141 objects whose TeV detection has not yet been reported (either not yet observed, or observed but not detected). Using two kinds of supervised machine-learning (SML) methods, we searched for new possible TeV candidates (PTCs) among the nondetected objects by assessing the similarity of their multi-wavelength properties to existing TeV-detected objects. The classification results of the two SML classifiers were combined and the 24 highest-confidence PTCs were proposed as the best candidates. We calculate, here, the 12 year averaged Fermi spectra of these PTCs and estimate their detectability by extrapolating the Fermi spectrum and including the extragalactic background light attenuation. Four candidates are suggested to have a high likelihood of being detected by the Large High Altitude Air Shower Observatory and 24 are candidates for the Cerenkov Telescope Array observations.


title: Erd\H{o}s-Gy\'{a}rf\'{a}s Conjecture for $P_8$-free graphs

abstract: A graph is $P_8$-free if it contains no induced subgraph isomorphic to the path $P_8$ on eight vertices. In 1995, Erd\H{o}s and Gy\'{a}rf\'{a}s conjectured that every graph of minimum degree at least three contains a cycle whose length is a power of two. In this paper, we confirm the conjecture for $P_8$-free graphs by showing that there exists a cycle of length four or eight in every $P_8$-free graph with minimum degree at least three.


title: Ionic transport in electrostatic Janus Membranes. An explicit solvent molecular dynamic simulation

abstract: Janus --or two-sided, charged membranes offer promise as ionic current rectifiers. In such systems, pores consisting of two regions of opposite charge can be used to generate a current from a gradient in salinity. The efficiency of \textcolor{black}{nanoscale} Janus pores increases dramatically as their diameter becomes smaller. However, little is known about the underlying transport processes\textcolor{black}{, particularly under experimentally accessible conditions}. In this work, we examine the molecular basis for rectification in Janus nanopores using an applied electric field. Molecular simulations with explicit water and ions are used to examine the structure and dynamics of all molecular species in aqueous electrolyte solutions. \textcolor{black}{For several macroscopic observables, the results of such simulations are consistent with experimental observations on asymmetric membranes. Our analysis reveals a number of previously unknown features, including a pronounced local re-orientation of water molecules in the pores, and a segregation of ionic species that has not been anticipated by previously reported continuum analyses of Janus pores. Using these insights, a model is proposed for ionic current rectification in which electric leakage at pore entrance controls net transport.


title: The mean field approach for populations of spiking neurons

abstract: Mean field theory is a device to analyze the collective behavior of a dynamical system comprising many interacting particles. The theory allows to reduce the behavior of the system to the properties of a handful of parameters. In neural circuits, these parameters are typically the firing rates of distinct, homogeneous subgroups of neurons. Knowledge of the firing rates under conditions of interest can reveal essential information on both the dynamics of neural circuits and the way they can subserve brain function. The goal of this chapter is to provide an elementary introduction to the mean field approach for populations of spiking neurons. We introduce the general idea in networks of binary neurons, starting from the most basic results and then generalizing to more relevant situations. This allows to derive the mean field equations in a simplified setting. We then derive the mean field equations for populations of integrate-and-fire neurons. An effort is made to derive the main equations of the theory using only elementary methods from calculus and probability theory. The chapter ends with a discussion of the assumptions of the theory and some of the consequences of violating those assumptions. This discussion includes an introduction to balanced and metastable networks, and a brief catalogue of successful applications of the mean field approach to the study of neural circuits.


title: A continuum of bright and dark pulse states in a photonic-crystal resonator

abstract: Nonlinearity is a powerful determinant of physical systems. Controlling nonlinearity leads to interesting states of matter and new applications. In optics, diverse families of continuous and discrete states arise from balance of nonlinearity and group-velocity dispersion (GVD). Moreover, the dichotomy of states with locally enhanced or diminished field intensity depends critically on the relative sign of nonlinearity and either anomalous or normal GVD. Here, we introduce a resonator with unconditionally normal GVD and a single defect mode that supports both dark, reduced-intensity states and bright, enhanced-intensity states. We access and explore this dark-to-bright pulse continuum by phase-matching for soliton generation with a photonic-crystal resonator, which mediates the competition of nonlinearity and normal GVD. These stationary temporal states are coherent frequency combs, featuring highly designable spectra and ultralow noise repetition-frequency and intensity characteristics. The dark-to-bright continuum illuminates physical roles of Kerr nonlinearity, GVD, and laser propagation in a gapped nanophotonic medium.


title: Symbol Emergence and The Solutions to Any Task

abstract: The following defines intent, an arbitrary task and its solutions, and then argues that an agent which always constructs what is called an Intensional Solution would qualify as artificial general intelligence. We then explain how natural language may emerge and be acquired by such an agent, conferring the ability to model the intent of other individuals labouring under similar compulsions, because an abstract symbol system and the solution to a task are one and the same.


title: Bergman-Calabi diastasis and K\"ahler metric of constant holomorphic sectional curvature

abstract: We prove that for a bounded domain in $\mathbb C^n$ with the Bergman metric of constant holomorphic sectional curvature being biholomorphic to a ball is equivalent to the hyperconvexity or the exhaustiveness of the Bergman-Calabi diastasis. By finding its connection with the Bergman representative coordinate, we give explicit formulas of the Bergman-Calabi diastasis and show that it has bounded gradient. In particular, we prove that any bounded domain whose Bergman metric has constant holomorphic sectional curvature is Lu Qi-Keng. We also extend a theorem of Lu towards the incomplete situation and characterize pseudoconvex domains that are biholomorphic to a ball possibly less a relatively closed pluripolar set.


title: Retraction: Improved Approximation Schemes for Dominating Set Problems in Unit Disk Graphs

abstract: Retraction note: After posting the manuscript on arXiv, we were informed by Erik Jan van Leeuwen that both results were known and they appeared in his thesis[vL09]. A PTAS for MDS is at Theorem 6.3.21 on page 79 and A PTAS for MCDS is at Theorem 6.3.31 on page 82. The techniques used are very similar. He noted that the idea for dealing with the connected version using a constant number of extra layers in the shifting technique not only appeared Zhang et al.[ZGWD09] but also in his 2005 paper [vL05]. Finally, van Leeuwen also informed us that the open problem that we posted has been resolved by Marx~[Mar06, Mar07] who showed that an efficient PTAS for MDS does not exist [Mar06] and under ETH, the running time of $n^{O(1/\epsilon)}$ is best possible [Mar07]. We thank Erik Jan van Leeuwen for the information and we regret that we made this mistake. Abstract before retraction: We present two (exponentially) faster PTAS's for dominating set problems in unit disk graphs. Given a geometric representation of a unit disk graph, our PTAS's that find $(1+\epsilon)$-approximate solutions to the Minimum Dominating Set (MDS) and the Minimum Connected Dominating Set (MCDS) of the input graph run in time $n^{O(1/\epsilon)}$. This can be compared to the best known $n^{O(1/\epsilon \log {1/\epsilon})}$-time PTAS by Nieberg and Hurink~[WAOA'05] for MDS that only uses graph structures and an $n^{O(1/\epsilon^2)}$-time PTAS for MCDS by Zhang, Gao, Wu, and Du~[J Glob Optim'09]. Our key ingredients are improved dynamic programming algorithms that depend exponentially on more essential 1-dimensional "widths" of the problems.


title: Effective Debye Screening Mass in an Anisotropic Quark Gluon Plasma

abstract: Due to the rapid longitudinal expansion of the quark-gluon plasma created in heavy-ion collisions, large local-rest-frame momentum-space anisotropies are generated during the system's evolution. These momentum-space anisotropies complicate the modeling of heavy-quarkonium dynamics in the quark-gluon plasma due to the fact that the resulting inter-quark potentials are spatially anisotropic, requiring real-time solution of the 3D Schr\"odinger equation. Herein, we introduce a method for reducing anisotropic heavy-quark potentials to isotropic ones by introducing an effective screening mass that depends on the quantum numbers $l$ and $m$ of a given state. We demonstrate that, using the resulting effective Debye screening masses, one can solve a 1D Schr\"odinger equation and reproduce the full 3D results for the energies and binding energies of low-lying heavy-quarkonium bound states to relatively high accuracy. The resulting effective isotropic potential models could provide an efficient method for including momentum-anisotropy effects in open quantum system simulations of heavy-quarkonium dynamics in the quark-gluon plasma.


title: Augmentations and sheaves for links

abstract: We study the relation between augmentations and sheaves in the context of framed oriented links. In this set up, we find slightly more sheaves than augmentations. After removing the sporadic sheaves, we construct a bijective correspondence between augmentations of the framed cord algebra and simple sheaves that are micro-supported along the conormal bundle of the link.


title: High Order Hermite Finite Difference Method for Euler/Navier-Stokes Equations in 2D Unstructured Meshes

abstract: A high order finite difference method is proposed for unstructured meshes to simulate compressible inviscid/viscous flows with/without discontinuities. In this method, based on the strong form equation, the divergence of the flux on each vertex is computed directly from fluxes nearby by means of high order least-square. In order to capture discontinuities, numerical flux of high order accuracy is calculated on each edge and serves as supporting data of the least-square computation of the divergence. The high accuracy of the numerical flux depends on the high order WENO interpolation on each edge. To reduce the computing cost and complexity, a curvlinear stencil is assembled for each edge so that the economical one-dimensional WENO interpolation can be applied. With the derivatives introduced, two-dimensional Hermite interpolation on a curvilinear stencil is applied to keep the stencil compact and avoids using many supporting points. In smooth region, the Hermite least-square 2D interpolation of 5 nodes is adopted directly to achieve the fifth order accuracy. Near a discontinuity, three values obtained by means of least-square 2D interpolation of 3 nodes, are weighted to obtain one value of the second order accuracy. After obtaining the flow states on both sides of the middle point of an edge, numerical flux of high order accuracy along the edge can be calculated. For inviscid flux, analytical flux on vertices and numerical flux along edges are used to compute the divergence. While for viscous flux, only analytical viscous flux on vertices are used. The divergence of the fluxes and their derivatives on each vertex are used to update the conservative variables and their derivatives with an explicit Runger-Kutta time scheme. Several canonical numerical cases were solved to test the accuracy and the capability of shock capturing of this method.


title: Spectrum Learning-Aided Reconfigurable Intelligent Surfaces for 'Green' 6G Networks

abstract: In the sixth-generation (6G) era, emerging large-scale computing based applications (for example processing enormous amounts of images in real-time in autonomous driving) tend to lead to excessive energy consumption for the end users, whose devices are usually energy-constrained. In this context, energy-efficiency becomes a critical challenge to be solved for harnessing these promising applications to realize 'green' 6G networks. As a remedy, reconfigurable intelligent surfaces (RIS) have been proposed for improving the energy efficiency by beneficially reconfiguring the wireless propagation environment. In conventional RIS solutions, however, the received signal-to-interference-plus-noise ratio (SINR) sometimes may even become degraded. This is because the signals impinging upon an RIS are typically contaminated by interfering signals which are usually dynamic and unknown. To address this issue, `learning' the properties of the surrounding spectral environment is a promising solution, motivating the convergence of artificial intelligence and spectrum sensing, termed here as spectrum learning (SL). Inspired by this, we develop an SL-aided RIS framework for intelligently exploiting the inherent characteristics of the radio frequency (RF) spectrum for green 6G networks. Given the proposed framework, the RIS controller becomes capable of intelligently `{think-and-decide}' whether to reflect or not the incident signals. Therefore, the received SINR can be improved by dynamically configuring the binary ON-OFF status of the RIS elements. The energy-efficiency benefits attained are validated with the aid of a specific case study. Finally, we conclude with a list of promising future research directions.


title: Iterative Imitation Policy Improvement for Interactive Autonomous Driving

abstract: We propose an imitation learning system for autonomous driving in urban traffic with interactions. We train a Behavioral Cloning~(BC) policy to imitate driving behavior collected from the real urban traffic, and apply the data aggregation algorithm to improve its performance iteratively. Applying data aggregation in this setting comes with two challenges. The first challenge is that it is expensive and dangerous to collect online rollout data in the real urban traffic. Creating similar traffic scenarios in simulator like CARLA for online rollout collection can also be difficult. Instead, we propose to create a weak simulator from the training dataset, in which all the surrounding vehicles follow the data trajectory provided by the dataset. We find that the collected online data in such a simulator can still be used to improve BC policy's performance. The second challenge is the tedious and time-consuming process of human labelling process during online rollout. To solve this problem, we use an A$^*$ planner as a pseudo-expert to provide expert-like demonstration. We validate our proposed imitation learning system in the real urban traffic scenarios. The experimental results show that our system can significantly improve the performance of baseline BC policy.


title: Domains of Convergence for Polyhedral Packings

abstract: Polyhedral circle packings are generalizations of the Apollonian packing. We develop the theory of the Apollonian group, Descartes quadratic form, and related objects for all polyhedral packings. We use these tools to determine the domain of absolute convergence of a generating function that can be associated to any polyhedral packing. This domain of convergence is the Tits cone for an infinite root system.


title: Recursive Periodicity Shifting for Semi-Persistent Scheduling of Time-Sensitive Communication in 5G

abstract: Various legacy and emerging industrial control applications create the requirement of periodic and time-sensitive communication (TSC) for 5G/6G networks. State-of-the-art semi-persistent scheduling (SPS) techniques fall short of meeting the requirements of this type of critical traffic due to periodicity misalignment between assignments and arriving packets that lead to significant waiting delays. To tackle this challenge, we develop a novel recursive periodicity shifting (RPS)-SPS scheme that provides an optimal scheduling policy by recursively aligning the period of assignments until the timing mismatch is minimized. RPS can be realized in 5G wireless networks with minimal modifications to the scheduling framework. Performance evaluation shows the effectiveness of the proposed scheme in terms of minimizing misalignment delay with arbitrary traffic periodicity.


title: LATFormer: Locality-Aware Point-View Fusion Transformer for 3D Shape Recognition

abstract: Recently, 3D shape understanding has achieved significant progress due to the advances of deep learning models on various data formats like images, voxels, and point clouds. Among them, point clouds and multi-view images are two complementary modalities of 3D objects and learning representations by fusing both of them has been proven to be fairly effective. While prior works typically focus on exploiting global features of the two modalities, herein we argue that more discriminative features can be derived by modeling ``where to fuse''. To investigate this, we propose a novel Locality-Aware Point-View Fusion Transformer (LATFormer) for 3D shape retrieval and classification. The core component of LATFormer is a module named Locality-Aware Fusion (LAF) which integrates the local features of correlated regions across the two modalities based on the co-occurrence scores. We further propose to filter out scores with low values to obtain salient local co-occurring regions, which reduces redundancy for the fusion process. In our LATFormer, we utilize the LAF module to fuse the multi-scale features of the two modalities both bidirectionally and hierarchically to obtain more informative features. Comprehensive experiments on four popular 3D shape benchmarks covering 3D object retrieval and classification validate its effectiveness.


title: Investigation of nonlocal data-driven methods for subgrid-scale stress modelling in large eddy simulation

abstract: A nonlocal subgrid-scale stress (SGS) model is developed based on the convolution neural network (CNN), a powerful supervised data-driven approach. The CNN is an ideal approach to naturally consider nonlocal spatial information in prediction due to its wide receptive field. The CNN-based models used here only take primitive flow variables as input, then the flow features are automatically extracted without any $priori$ guidance. The nonlocal models trained by direct numerical simulation (DNS) data of a turbulent channel flow at $Re_{\tau}=178$ are accessed in both the $priori$ and $posteriori$ test, providing physically reasonable flow statistics (like mean velocity and velocity fluctuations) closing to the DNS results even when extrapolating to a higher Reynolds number $Re_{\tau}=600$. In our model, the backscatter is also predicted well and the numerical simulation is stable. The nonlocal models outperform local data-driven models like artificial neural network and some SGS models, e.g. the Smagorinsky model in actual large eddy simulation (LES). The model is also robust since stable solutions can be obtained when examining the grid resolution from one-half to double of the spatial resolution used in training. We also investigate the influence of receptive fields and suggest using the two-point correlation analysis as a quantitative method to guide the design of nonlocal physical models. To facilitate the combination of machine learning (ML) algorithms to computational fluid dynamics (CFD), a novel heterogeneous ML-CFD framework is proposed. The present study provides the effective data-driven nonlocal methods for SGS modelling in the LES of complex anisotropic turbulent flows.


title: An Open-Source Dataset and A Multi-Task Model for Malay Named Entity Recognition

abstract: Named entity recognition (NER) is a fundamental task of natural language processing (NLP). However, most state-of-the-art research is mainly oriented to high-resource languages such as English and has not been widely applied to low-resource languages. In Malay language, relevant NER resources are limited. In this work, we propose a dataset construction framework, which is based on labeled datasets of homologous languages and iterative optimization, to build a Malay NER dataset (MYNER) comprising 28,991 sentences (over 384 thousand tokens). Additionally, to better integrate boundary information for NER, we propose a multi-task (MT) model with a bidirectional revision (Bi-revision) mechanism for Malay NER task. Specifically, an auxiliary task, boundary detection, is introduced to improve NER training in both explicit and implicit ways. Furthermore, a gated ignoring mechanism is proposed to conduct conditional label transfer and alleviate error propagation by the auxiliary task. Experimental results demonstrate that our model achieves comparable results over baselines on MYNER. The dataset and the model in this paper would be publicly released as a benchmark dataset.


title: Measurement-device-independent quantum key distribution for nonstandalone networks

abstract: Untrusted node networks initially implemented by measurement-device-independent quantum key distribution (MDI-QKD) protocol are a crucial step on the roadmap of the quantum Internet. Considering extensive QKD implementations of trusted node networks, a workable upgrading tactic of existing networks toward MDI networks needs to be explicit. Here, referring to the nonstandalone (NSA) network of 5G, we propose an NSA-MDI scheme as an evolutionary selection for existing phase-encoding BB84 networks. Our solution can upgrade the BB84 networks and terminals that employ various phase-encoding schemes to immediately support MDI without hardware changes. This cost-effective upgrade effectively promotes the deployment of MDI networks as a step of untrusted node networks while taking full advantage of existing networks. In addition, the diversified demands on security and bandwidth are satisfied, and network survivability is improved.


title: Information Symmetry Matters: A Modal-Alternating Propagation Network for Few-Shot Learning

abstract: Semantic information provides intra-class consistency and inter-class discriminability beyond visual concepts, which has been employed in Few-Shot Learning (FSL) to achieve further gains. However, semantic information is only available for labeled samples but absent for unlabeled samples, in which the embeddings are rectified unilaterally by guiding the few labeled samples with semantics. Therefore, it is inevitable to bring a cross-modal bias between semantic-guided samples and nonsemantic-guided samples, which results in an information asymmetry problem. To address this problem, we propose a Modal-Alternating Propagation Network (MAP-Net) to supplement the absent semantic information of unlabeled samples, which builds information symmetry among all samples in both visual and semantic modalities. Specifically, the MAP-Net transfers the neighbor information by the graph propagation to generate the pseudo-semantics for unlabeled samples guided by the completed visual relationships and rectify the feature embeddings. In addition, due to the large discrepancy between visual and semantic modalities, we design a Relation Guidance (RG) strategy to guide the visual relation vectors via semantics so that the propagated information is more beneficial. Extensive experimental results on three semantic-labeled datasets, i.e., Caltech-UCSD-Birds 200-2011, SUN Attribute Database, and Oxford 102 Flower, have demonstrated that our proposed method achieves promising performance and outperforms the state-of-the-art approaches, which indicates the necessity of information symmetry.


title: In-pixel automatic threshold calibration for the CMS Endcap Timing Layer readout chip

abstract: We present the implementation and verification of an in-pixel automatic threshold calibration circuit for the CMS Endcap Timing Layer (ETL) in the High-Luminosity LHC upgrade. The discriminator threshold of the ETL readout chip (ETROC) needs to be calibrated regularly to mitigate the circuit baseline change. Traditional methods need a lot of communication through a slow control system hence are time-consuming. This paper describes an in-pixel automatic scheme with improvements in operating time and usability. In this scheme, a sample-accumulation circuit is used to measure the average discriminator output. A binary successive approximation and linear combination scan are applied to find the equivalent baseline. The actual calibration procedure has been first implemented in FPGA firmware and tested with the ETROC front-end prototype chip (ETROC0). The calibration circuit has been implemented with Triple Modular Redundancy (TMR) and verified with Single Event Effects (SEEs) simulation. A complete calibration process lasts 35 ms with a 40 MHz clock. In the worst case, the dynamic and static power consumption are estimated to be 300 uW and 10.4 uW, respectively. The circuit design, implemented in a 65 CMOS technology, will be integrated into ETROC2, the next iteration of the ETROC with a 16x16 pixel matrix.


title: New Model for the Kreutz Sungrazer System: Contact-Binary Parent and Upgraded Classification of Discrete Fragment Populations

abstract: The structure of the Kreutz system of sungrazing comets is shown to be much more complex than formerly believed. Marsden's (1989) division into three subgroups (I, II, IIa) is now greatly expanded, as new evidence is being offered on nine populations of fragments -- I, Ia, II, IIa, III, Pre-I, Pe (side branch of I), IIIa, and IV, incorporating carefully screened data sets from a collection of gravitational orbits for 1500 SOHO/STEREO dwarf Kreutz comets. Tight correlations between the nominal perihelion latitude and nominal longitude of the ascending node are the result of ignored effects of an outgassing-driven acceleration on the orbital motion. The average width of a gap between adjacent populations in the corrected nodal longitude is near 9 deg; the overall range equals 66 deg. A self-consistent model postulates (i) an initial breakup, in general proximity of aphelion, of a contact-binary parent (progenitor) into its two lobes and the neck (originally linking the lobes), giving birth to, respectively, Population I (Lobe I; the main residual mass C/1843 D1), Population II (Lobe II; C/1882 R1), and Population Ia (the neck); followed by (ii) progressive fragmentation of the lobes (primarily Lobe II), mostly (but not exclusively) far from perihelion, giving successively rise to the other populations and clusters of naked-eye Kreutz sungrazers and their debris. The separation velocities were a few meters per second. Massive fragments of Populations Pre-I, IIIa, and IV are yet to be discovered. Relations among the products of cascading fragmentation are depicted in a pedigree chart. The age of the Kreutz system is estimated at two millennia and a mean orbital period of Lobe I and its main residual mass at ~740 yr. The status is reviewed of the possible historical Kreutz comets seen in AD 1106, AD 363, and 372 BC.


title: Theoretical analysis of glide-Z_2 magnetic topological photonic crystals

abstract: Gapped systems with glide symmetry can be characterized by a Z_2 topological invariant. We study the magnetic photonic crystal with a gap between the second and third lowest bands, which is characterized by the nontrivial glide-Z_2 topological invariant that can be determined by symmetry-based indicators. We show that under the space group No. 230 (Ia-3d), the topological invariant is equal to half of the number of photonic bands below the gap, and therefore, the band gap between the second and third lowest bands is always topologically nontrivial, and to realize the topological phase, we need to open a gap for the Dirac point at the P point by breaking time-reversal symmetry. With staggered magnetization, the photonic bands are gapped, and the photonic crystal becomes topological, whereas with uniform magnetization, a gap does not open, which can be attributed to the minimal band connectivity exceeding two in this case. By introducing the notion of Wyckoff positions, we show how the topological characteristics are determined from the structure of the photonic crystals.


title: Studying Both the Universe and Neutrinos Themselves Using Cosmic and Astrophysical Neutrinos

abstract: With neutrino astronomy just beginning to burgeon, and the prospects of detecting the cosmic neutrino background closer than ever, we live in an era with the unique opportunity not only to investigate the universe with this novel probe, but conversely to utilise the cosmos as a laboratory to study neutrinos themselves. This thesis aims to expound on some of the ways to seize this opportunity, using corollaries of our standard model, gravitational lensing, inverse beta decay, and the neutrino's spin to achieve our goals. Theoretically, these tools prove insightful and impressive, but difficulties in experimental precision and a low rate of certain astrophysical events hinder the capabilities of these mechanisms. Regardless, the future of neutrino astronomy is certainly bright.


title: How to Inject Backdoors with Better Consistency: Logit Anchoring on Clean Data

abstract: Since training a large-scale backdoored model from scratch requires a large training dataset, several recent attacks have considered to inject backdoors into a trained clean model without altering model behaviors on the clean data. Previous work finds that backdoors can be injected into a trained clean model with Adversarial Weight Perturbation (AWP). Here AWPs refers to the variations of parameters that are small in backdoor learning. In this work, we observe an interesting phenomenon that the variations of parameters are always AWPs when tuning the trained clean model to inject backdoors. We further provide theoretical analysis to explain this phenomenon. We formulate the behavior of maintaining accuracy on clean data as the consistency of backdoored models, which includes both global consistency and instance-wise consistency. We extensively analyze the effects of AWPs on the consistency of backdoored models. In order to achieve better consistency, we propose a novel anchoring loss to anchor or freeze the model behaviors on the clean data, with a theoretical guarantee. Both the analytical and the empirical results validate the effectiveness of the anchoring loss in improving the consistency, especially the instance-wise consistency.


title: Photo-induced plasmon-phonon coupling in PbTe

abstract: We report the observation of photo-induced plasmon-phonon coupled modes in the group IV-VI semiconductor PbTe using Fourier-transform inelastic X-ray scattering at the Linac Coherent Light Source (LCLS). We measure the near-zone-center dispersion of the heavily screened longitudinal optical (LO) phonon branch as extracted from differential changes in x-ray diffuse scattering intensity following above band gap photoexcitation.


title: Self-Taught Cross-Domain Few-Shot Learning with Weakly Supervised Object Localization and Task-Decomposition

abstract: The domain shift between the source and target domain is the main challenge in Cross-Domain Few-Shot Learning (CD-FSL). However, the target domain is absolutely unknown during the training on the source domain, which results in lacking directed guidance for target tasks. We observe that since there are similar backgrounds in target domains, it can apply self-labeled samples as prior tasks to transfer knowledge onto target tasks. To this end, we propose a task-expansion-decomposition framework for CD-FSL, called Self-Taught (ST) approach, which alleviates the problem of non-target guidance by constructing task-oriented metric spaces. Specifically, Weakly Supervised Object Localization (WSOL) and self-supervised technologies are employed to enrich task-oriented samples by exchanging and rotating the discriminative regions, which generates a more abundant task set. Then these tasks are decomposed into several tasks to finish the task of few-shot recognition and rotation classification. It helps to transfer the source knowledge onto the target tasks and focus on discriminative regions. We conduct extensive experiments under the cross-domain setting including 8 target domains: CUB, Cars, Places, Plantae, CropDieases, EuroSAT, ISIC, and ChestX. Experimental results demonstrate that the proposed ST approach is applicable to various metric-based models, and provides promising improvements in CD-FSL.


title: Self-supervised Pseudo Multi-class Pre-training for Unsupervised Anomaly Detection and Segmentation in Medical Images

abstract: Unsupervised anomaly detection (UAD) methods are trained with normal (or healthy) images only, but during testing, they are able to classify normal and abnormal (or disease) images. UAD is an important medical image analysis (MIA) method to be applied in disease screening problems because the training sets available for those problems usually contain only normal images. However, the exclusive reliance on normal images may result in the learning of ineffective low-dimensional image representations that are not sensitive enough to detect and segment unseen abnormal lesions of varying size, appearance, and shape. Pre-training UAD methods with self-supervised learning, based on computer vision techniques, can mitigate this challenge, but they are sub-optimal because they do not explore domain knowledge for designing the pretext tasks, and their contrastive learning losses do not try to cluster the normal training images, which may result in a sparse distribution of normal images that is ineffective for anomaly detection. In this paper, we propose a new self-supervised pre-training method for MIA UAD applications, named Pseudo Multi-class Strong Augmentation via Contrastive Learning (PMSACL). PMSACL consists of a novel optimisation method that contrasts a normal image class from multiple pseudo classes of synthesised abnormal images, with each class enforced to form a dense cluster in the feature space. In the experiments, we show that our PMSACL pre-training improves the accuracy of SOTA UAD methods on many MIA benchmarks using colonoscopy, fundus screening and Covid-19 Chest X-ray datasets. The code is made publicly available via https://github.com/tianyu0207/PMSACL.


title: Low exposure long-baseline neutrino oscillation sensitivity of the DUNE experiment

abstract: The Deep Underground Neutrino Experiment (DUNE) will produce world-leading neutrino oscillation measurements over the lifetime of the experiment. In this work, we explore DUNE's sensitivity to observe charge-parity violation (CPV) in the neutrino sector, and to resolve the mass ordering, for exposures of up to 100 kiloton-megawatt-years (kt-MW-yr). The analysis includes detailed uncertainties on the flux prediction, the neutrino interaction model, and detector effects. We demonstrate that DUNE will be able to unambiguously resolve the neutrino mass ordering at a 3$\sigma$ (5$\sigma$) level, with a 66 (100) kt-MW-yr far detector exposure, and has the ability to make strong statements at significantly shorter exposures depending on the true value of other oscillation parameters. We also show that DUNE has the potential to make a robust measurement of CPV at a 3$\sigma$ level with a 100 kt-MW-yr exposure for the maximally CP-violating values $\delta_{\rm CP}} = \pm\pi/2$. Additionally, the dependence of DUNE's sensitivity on the exposure taken in neutrino-enhanced and antineutrino-enhanced running is discussed. An equal fraction of exposure taken in each beam mode is found to be close to optimal when considered over the entire space of interest.


title: Video Pose Distillation for Few-Shot, Fine-Grained Sports Action Recognition

abstract: Human pose is a useful feature for fine-grained sports action understanding. However, pose estimators are often unreliable when run on sports video due to domain shift and factors such as motion blur and occlusions. This leads to poor accuracy when downstream tasks, such as action recognition, depend on pose. End-to-end learning circumvents pose, but requires more labels to generalize. We introduce Video Pose Distillation (VPD), a weakly-supervised technique to learn features for new video domains, such as individual sports that challenge pose estimation. Under VPD, a student network learns to extract robust pose features from RGB frames in the sports video, such that, whenever pose is considered reliable, the features match the output of a pretrained teacher pose detector. Our strategy retains the best of both pose and end-to-end worlds, exploiting the rich visual patterns in raw video frames, while learning features that agree with the athletes' pose and motion in the target video domain to avoid over-fitting to patterns unrelated to athletes' motion. VPD features improve performance on few-shot, fine-grained action recognition, retrieval, and detection tasks in four real-world sports video datasets, without requiring additional ground-truth pose annotations.


title: J-Score: A Robust Measure of Clustering Accuracy

abstract: Background. Clustering analysis discovers hidden structures in a data set by partitioning them into disjoint clusters. Robust accuracy measures that evaluate the goodness of clustering results are critical for algorithm development and model diagnosis. Common problems of current clustering accuracy measures include overlooking unmatched clusters, biases towards excessive clusters, unstable baselines, and difficult interpretation. In this study, we presented a novel accuracy measure, J-score, that addresses these issues. Methods. Given a data set with known class labels, J-score quantifies how well the hypothetical clusters produced by clustering analysis recover the true classes. It starts with bidirectional set matching to identify the correspondence between true classes and hypothetical clusters based on Jaccard index. It then computes two weighted sums of Jaccard indices measuring the reconciliation from classes to clusters and vice versa. The final J-score is the harmonic mean of the two weighted sums. Results. Via simulation studies, we evaluated the performance of J-score and compared with existing measures. Our results show that J-score is effective in distinguishing partition structures that differ only by unmatched clusters, rewarding correct inference of class numbers, addressing biases towards excessive clusters, and having a relatively stable baseline. The simplicity of its calculation makes the interpretation straightforward. It is a valuable tool complementary to other accuracy measures. We released an R/jScore package implementing the algorithm.


title: Mini-disk accretion onto spinning black hole binaries: quasi-periodicities and outflows

abstract: We perform a full 3D general relativistic magnetohydrodynamical (GRMHD) simulation of an equal-mass, spinning, binary black hole approaching merger, surrounded by a circumbinary disk and with mini-disks around each black hole. For this purpose, we evolve the ideal GRMHD equations on top of an approximated spacetime for the binary that is valid in every position of space, including the black hole horizons, during the inspiral regime. We use relaxed initial data for the circumbinary disk from a previous long-term simulation, where the accretion is dominated by an $m=1$ overdensity called the lump. We compare our new spinning simulation with a previous non-spinning run, studying how spin influences the mini-disk properties. We analyze the accretion from the inner edge of the lump to the black hole, focusing on the angular momentum budget of the fluid around the mini-disks. We find that mini-disks in the spinning case have more mass over a cycle than the non-spinning case. However, in both cases, we find most of the mass received by the black holes is delivered by the direct plunging of material from the lump. We also analyze the morphology and variability of the electromagnetic fluxes and we find they share the same periodicities of the accretion rate. In the spinning case, we find that the outflows are $8$ times stronger than the non-spinning case. Our results will be useful to understand and produce realistic synthetic light curves and spectra, which can be used in future observations.


title: Strictly Proper Contract Functions Can Be Arbitrage-Free

abstract: We consider mechanisms for truthfully eliciting probabilistic predictions from a group of experts. The standard approach -- using a proper scoring rule to separately reward each expert -- is not robust to collusion: experts may collude to misreport their beliefs in a way that guarantees them a larger total reward no matter the eventual outcome. Chun and Shachter (2011) termed any such collusion "arbitrage" and asked whether there is any truthful elicitation mechanism that makes arbitrage impossible. We resolve this question positively, exhibiting a class of strictly proper arbitrage-free contract functions. These contract functions have two parts: one ensures that the total reward of a coalition of experts depends only on the average of their reports; the other ensures that changing this average report hurts the experts under at least one outcome.


title: Unsupervised multi-latent space reinforcement learning framework for video summarization in ultrasound imaging

abstract: The COVID-19 pandemic has highlighted the need for a tool to speed up triage in ultrasound scans and provide clinicians with fast access to relevant information. The proposed video-summarization technique is a step in this direction that provides clinicians access to relevant key-frames from a given ultrasound scan (such as lung ultrasound) while reducing resource, storage and bandwidth requirements. We propose a new unsupervised reinforcement learning (RL) framework with novel rewards that facilitates unsupervised learning avoiding tedious and impractical manual labelling for summarizing ultrasound videos to enhance its utility as a triage tool in the emergency department (ED) and for use in telemedicine. Using an attention ensemble of encoders, the high dimensional image is projected into a low dimensional latent space in terms of: a) reduced distance with a normal or abnormal class (classifier encoder), b) following a topology of landmarks (segmentation encoder), and c) the distance or topology agnostic latent representation (convolutional autoencoders). The decoder is implemented using a bi-directional long-short term memory (Bi-LSTM) which utilizes the latent space representation from the encoder. Our new paradigm for video summarization is capable of delivering classification labels and segmentation of key landmarks for each of the summarized keyframes. Validation is performed on lung ultrasound (LUS) dataset, that typically represent potential use cases in telemedicine and ED triage acquired from different medical centers across geographies (India, Spain and Canada).


title: Induced subgraphs and tree decompositions III. Three-path-configurations and logarithmic treewidth

abstract: A theta is a graph consisting of two non-adjacent vertices and three internally disjoint paths between them, each of length at least two. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. We prove a conjecture of Sintiari and Trotignon, that there exists an absolute constant $c$ for which every (theta, triangle)-free graph $G$ has treewidth at most $c\log (|V(G)|)$. A construction by Sintiari and Trotignon shows that this bound is asymptotically best possible, and (theta, triangle)-free graphs comprise the first known hereditary class of graphs with arbitrarily large yet logarithmic treewidth. Our main result is in fact a generalization of the above conjecture, that treewidth is at most logarithmic in $|V(G)|$ for every graph $G$ excluding the so-called three-path-configurations as well as a fixed complete graph. It follows that several NP-hard problems such as Stable Set, Vertex Cover, Dominating Set and Coloring admit polynomial time algorithms in graphs excluding the three-path-configurations and a fixed complete graph.


title: Bipartite-ness under smooth conditions

abstract: Given a family $\mathcal{F}$ of bipartite graphs, the {\it Zarankiewicz number} $z(m,n,\mathcal{F})$ is the maximum number of edges in an $m$ by $n$ bipartite graph $G$ that does not contain any member of $\mathcal{F}$ as a subgraph (such $G$ is called {\it $\mathcal{F}$-free}). For $1\leq \beta<\alpha<2$, a family $\mathcal{F}$ of bipartite graphs is $(\alpha,\beta)$-{\it smooth} if for some $\rho>0$ and every $m\leq n$, $z(m,n,\mathcal{F})=\rho m n^{\alpha-1}+O(n^\beta)$. Motivated by their work on a conjecture of Erd\H{o}s and Simonovits on compactness and a classic result of Andr\'asfai, Erd\H{o}s and S\'os, in \cite{AKSV} Allen, Keevash, Sudakov and Verstra\"ete proved that for any $(\alpha,\beta)$-smooth family $\mathcal{F}$, there exists $k_0$ such that for all odd $k\geq k_0$ and sufficiently large $n$, any $n$-vertex $\mathcal{F}\cup\{C_k\}$-free graph with minimum degree at least $\rho(\frac{2n}{5}+o(n))^{\alpha-1}$ is bipartite. In this paper, we strengthen their result by showing that for every real $\delta>0$, there exists $k_0$ such that for all odd $k\geq k_0$ and sufficiently large $n$, any $n$-vertex $\mathcal{F}\cup\{C_k\}$-free graph with minimum degree at least $\delta n^{\alpha-1}$ is bipartite. Furthermore, our result holds under a more relaxed notion of smoothness, which include the families $\mathcal{F}$ consisting of the single graph $K_{s,t}$ when $t\gg s$. We also prove an analogous result for $C_{2\ell}$-free graphs for every $\ell\geq 2$, which complements a result of Keevash, Sudakov and Verstra\"ete in \cite{KSV}.


title: Frequency shift of light emitted from growing and shrinking black holes

abstract: In this paper we present a method to study the frequency shift of signals sent from near a Schwarzschild black hole that grows or shrinks through accretion. We construct the numerical solution of Einstein's equations sourced by a spherical shell of scalar field, with positive energy density to simulate the growth and with negative energy density to simulate the shrink of the black hole horizon. We launch a distribution of null rays at various time slices during the accretion and estimate their energy along their own trajectories. Spatially the bundles of photons are distributed according to the distribution of dust, whose dynamics obeys Euler equations in the test field limit during the evolution of the black hole. With these elements, we construct the frequency shift of photons during the accretion process of growth or contraction of the hole, which shows a variability that depends on the thickness of the scalar field shell or equivalently the time scale of the accretion.


title: Characterization and Prediction of Deep Learning Workloads in Large-Scale GPU Datacenters

abstract: Modern GPU datacenters are critical for delivering Deep Learning (DL) models and services in both the research community and industry. When operating a datacenter, optimization of resource scheduling and management can bring significant financial benefits. Achieving this goal requires a deep understanding of the job features and user behaviors. We present a comprehensive study about the characteristics of DL jobs and resource management. First, we perform a large-scale analysis of real-world job traces from SenseTime. We uncover some interesting conclusions from the perspectives of clusters, jobs and users, which can facilitate the cluster system designs. Second, we introduce a general-purpose framework, which manages resources based on historical data. As case studies, we design: a Quasi-Shortest-Service-First scheduling service, which can minimize the cluster-wide average job completion time by up to 6.5x; and a Cluster Energy Saving service, which improves overall cluster utilization by up to 13%.


title: Global Well-Posedness of 2D Second Grade Fluid Equations in Exterior Domain

abstract: In this article, we consider 2D second grade fluid equations in exterior domain with Dirichlet boundary conditions. For initial data $\boldsymbol{u}_0 \in \boldsymbol{H}^3(\Omega)$, the system is shown to be global well-posed. Furthermore, for arbitrary $T > 0$ and $s \geq 3$, we prove that the solution belongs to $L^\infty([0, T]; \boldsymbol{H}^s(\Omega))$ provided that $\boldsymbol{u}_0$ is in $\boldsymbol{H}^s(\Omega)$.


title: Closed $ EP $ and Hypo-$ EP $ Operators on Hilbert Spaces

abstract: A bounded linear operator $ A$ on a Hilbert space $ \mathcal H $ is said to be an $ EP $ (hypo-$ EP $) operator if ranges of $ A $ and $ A^* $ are equal (range of $ A $ is contained in range of $ A^* $) and $ A $ has a closed range. In this paper, we define $EP$ and hypo-$EP$ operators for densely defined closed linear operators on Hilbert spaces and extend results from bounded operator settings to (possibly unbounded) closed operator settings.


title: Semantic Segmentation on VSPW Dataset through Aggregation of Transformer Models

abstract: Semantic segmentation is an important task in computer vision, from which some important usage scenarios are derived, such as autonomous driving, scene parsing, etc. Due to the emphasis on the task of video semantic segmentation, we participated in this competition. In this report, we briefly introduce the solutions of team 'BetterThing' for the ICCV2021 - Video Scene Parsing in the Wild Challenge. Transformer is used as the backbone for extracting video frame features, and the final result is the aggregation of the output of two Transformer models, SWIN and VOLO. This solution achieves 57.3% mIoU, which is ranked 3rd place in the Video Scene Parsing in the Wild Challenge.


title: A Tsallis-like effective exponential delay discounting model and its implications

abstract: We propose an effective exponential model of delay discounting considering fluctuation in impulsivity. This model is seen to be dual to the two-parameter Tsallis model of delay discounting proposed by Takahashi in 2007. We demonstrate that the parameters of the model can be related to the mean and the variance of impulsivity. Our findings provide an intuitive way to explore the origin of the Tsallis distribution in a social system.


title: A Quantum Algorithm to Calculate Band Structure at the EOM Level of Theory

abstract: Band structure is a cornerstone to understand electronic properties of materials. Accurate band structure calculations using a high-level quantum-chemistry theory can be computationally very expensive. It is promising to speed up such calculations with a quantum computer. In this study, we present a quantum algorithm for band structure calculation based on the equation-of-motion (EOM) theory. First, we introduce a new variational quantum eigensolver algorithm named ADAPT-C for ground-state quantum simulation of solids, where the wave function is built adaptively from a complete set of anti-Hermitian operators. Then, on top of the ADAPT-C ground state, quasiparticle energies and the band structure can be calculated using the EOM theory in a quantum-subspace-expansion (QSE) style, where the projected excitation operators guarantee that the killer condition is satisfied. As a proof of principle, such an EOM-ADAPT-C protocol is used to calculate the band structures of silicon and diamond using a quantum computer simulator.


title: Extremal Cubic Inequalities of Three Variables

abstract: Let $\mathcal{H}_{3,d}$ be the vector space of homogeneous three variable polynomials of degree $d$, and $\mathcal{P}_{3,d}^+$ be the set of all elements $f \in \mathcal{H}_{3,d}$ such that$f(x,y,z) \geq 0$ for all $x \geq 0$, $y \geq 0$, $z \geq 0$. In this article, we determine all extremal elements of $\mathcal{P}_{3,3}^+$. We prove that if $f \in \mathcal{P}_{3,3}^+$ is an irreducible extremal element, then the zero locus $V_{\mathbb{C}}(f)$ in $\mathbb{P}_{\mathbb{C}}^2$ is a rational curve whose singularity is an acnode in the interior of $\mathbb{P}_+^2$ or a cusp on an edge of $\mathbb{P}_+^2$. We also prove that if $f \in \mathcal{P}_{3,3}^+$ is an extremal element, then $f(x^2,y^2,z^2)$ is an extremal element of $\mathcal{P}_{3,6}$, where $\mathcal{P}_{3,d}$ is the set of all the elements $f \in \mathcal{H}_{3,d}$ such that $f(x,y,z) \geq 0$ for all $x$, $y$, $z \in \mathbb{R}$. A notion of infinitely near zeros of an inequality is introduced, and plays an important role.


title: BMO and Hankel operators on Bergman space of the Siegel upper half-space

abstract: On the setting of the Siegel upper half-space we study the spaces of bounded and vanishing mean oscillations which are defined in terms of the Berezin transform, and we use them to characterize bounded and compact Hankel operators on Bergman space.


title: Indexing Context-Sensitive Reachability

abstract: Many context-sensitive data flow analyses can be formulated as a variant of the all-pairs Dyck-CFL reachability problem, which, in general, is of sub-cubic time complexity and quadratic space complexity. Such high complexity significantly limits the scalability of context-sensitive data flow analysis and is not affordable for analyzing large-scale software. This paper presents \textsc{Flare}, a reduction from the CFL reachability problem to the conventional graph reachability problem for context-sensitive data flow analysis. This reduction allows us to benefit from recent advances in reachability indexing schemes, which often consume almost linear space for answering reachability queries in almost constant time. We have applied our reduction to a context-sensitive alias analysis and a context-sensitive information-flow analysis for C/C++ programs. Experimental results on standard benchmarks and open-source software demonstrate that we can achieve orders of magnitude speedup at the cost of only moderate space to store the indexes. The implementation of our approach is publicly available.


title: Black Holes Hint Towards De Sitter-Matrix Theory

abstract: De Sitter black holes and other non-perturbative configurations can be used to probe the holographic degrees of freedom of de Sitter space. For small black holes evidence was first given in seminal work of Banks, Fiol, and Morrise; and followups by Banks and Fischler; showing that dS is described by a form of matrix theory. For large black holes the evidence given here is new: Gravitational calculations and matrix theory calculations of the rates of exponentially rare fluctuations match one another in surprising detail. The occurrence of the Nariai geometry and the "inside-out" transition are especially interesting examples which I explain.


title: Observability of the superkick effect within a quantum-field-theoretical approach

abstract: An atom placed in an optical vortex close to the axis may, upon absorbing a photon, acquire a transverse momentum much larger than the transverse momentum of any plane-wave component of the vortex lightfield. This surprising phenomenon dubbed superkick has been clarified previously in terms of the atom wave packet evolution in the field of an optical vortex treated classically. Here, we study this effect within the quantum field theoretical (QFT) framework. We consider collision of a Bessel twisted wave with a compact Gaussian beam focused to a small focal spot $\sigma$ located at distance $b$ from the twisted beam axis. Through a qualitative discussion supported by exact analytical and numerical calculations, we recover the superkick phenomenon for $\sigma \ll b$ and explore its limits when $\sigma$ becomes comparable to $b$. On the way to the final result within the QFT treatment, we encountered and resolved apparent paradoxes related to subtle issues of the formalism. These results open a way to a detailed QFT exploration of other superkick-related effects recently suggested to exist in high-energy collisions.


title: Forest formulas of discrete Green's functions

abstract: The discrete Green's functions are the pseudoinverse (or the inverse) of the Laplacian (or its variations) of a graph. In this paper, we will give combinatorial interpretations of Green's functions in terms of enumerating trees and forests in a graph that will be used to derive further formulas for several graph invariants. For example, we show that the trace of the Green's function $\mathbf{G}$ associated with the combinatorial Laplacian of a connected simple graph $\Gamma$ on $n$ vertices satisfies $\text{Tr}(\mathbf{G})=\sum_{\lambda_i \neq 0} \frac 1 {\lambda_i}= \frac{1}{n\tau}|\mathbb{F}^*_2|$, where $\lambda_i$ denotes the eigenvalues of the combinatorial Laplacian, $\tau$ denotes the number of spanning trees and $\mathbb{F}^*_2$ denotes the set of rooted spanning $2$-forests in $\Gamma$. We will prove forest formulas for discrete Green's functions for directed and weighted graphs and apply them to study random walks on graphs and digraphs. We derive a forest expression of the hitting time for digraphs, which gives combinatorial proofs to old and new results about hitting times, traces of discrete Green's functions, and other related quantities.


title: Non-Hermitian topological phase transitions in superlattices and the optical Dirac equation

abstract: Optical superlattices with sublattice symmetry subjected to a synthetic imaginary gauge field undergo a topological phase transition in the Bloch energy spectrum, characterized by the change of a spectral winding number. For a narrow gap, the phase transition is of universal form and described by a non-Hermitian Dirac equation with Lorentz-symmetry violation. A simple photonic system displaying such a phase transition is discussed, which is based on light coupling in co-propagating gratings.


title: Statistical Estimation and Inference via Local SGD in Federated Learning

abstract: Federated Learning (FL) makes a large amount of edge computing devices (e.g., mobile phones) jointly learn a global model without data sharing. In FL, data are generated in a decentralized manner with high heterogeneity. This paper studies how to perform statistical estimation and inference in the federated setting. We analyze the so-called Local SGD, a multi-round estimation procedure that uses intermittent communication to improve communication efficiency. We first establish a {\it functional central limit theorem} that shows the averaged iterates of Local SGD weakly converge to a rescaled Brownian motion. We next provide two iterative inference methods: the {\it plug-in} and the {\it random scaling}. Random scaling constructs an asymptotically pivotal statistic for inference by using the information along the whole Local SGD path. Both the methods are communication efficient and applicable to online data. Our theoretical and empirical results show that Local SGD simultaneously achieves both statistical efficiency and communication efficiency.


title: Search for Majoron-emitting modes of $^{136}$Xe double beta decay with the complete EXO-200 dataset

abstract: A search for Majoron-emitting modes of the neutrinoless double-beta decay of $^{136}$Xe is performed with the full EXO-200 dataset. This dataset consists of a total $^{136}$Xe exposure of 234.1 kg$\cdot$yr, and includes data with detector upgrades that have improved the energy threshold relative to previous searches. A lower limit of T$_{1/2}^{\rm{^{136}Xe}}>$4.3$\cdot$10$^{24}$ yr at 90\% C.L. on the half-life of the spectral index $n=1$ Majoron decay was obtained, a factor of 3.6 more stringent than the previous limit from EXO-200, corresponding to a constraint on the Majoron-neutrino coupling constant of $|\langle g_{ee}^{M}\rangle|$$<(0.4$-$0.9)\cdot10^{-5}$. The lower threshold and the additional data taken resulted in a factor 8.4 improvement for the $n=7$ mode compared to the previous EXO search. This search provides the most stringent limits to-date on the Majoron-emitting decays of $^{136}$Xe with spectral indices $n=1,2,3,$ and 7.


title: Non-Hermitian skin effect beyond the tight-binding models

abstract: The energy bands of non-Hermitian systems exhibit nontrivial topological features that arise from the complex nature of the energy spectrum. Under periodic boundary conditions (PBC), the energy spectrum describes rather generally closed loops in complex plane, characterized by integer nonzero winding numbers. Such nontrivial winding provides the topological signature of the non-Hermitian skin effect (NHSE), i.e. the macroscopic condensation of bulk states at the lattice edges under open boundary conditions (OBC). In spite of the great relevance of band winding in the non-Hermitian topological band theory and the related NHSE, most of current results rely on tight-binding models of non-Hermitian systems, while exact Bloch wave function analysis of the NHSE and related topological band theory is still lacking. While tight-binding models can correctly describe narrow-band electronic states with a relatively weak degree non-Hermiticity, they are not suited to describe high-energy wide-band electronic states and/or regimes corresponding to strong non-Hermiticity. Here we consider the single-particle continuous Schr\"odinger equation in a periodic potential, in which non-Hermiticity is introduced by an imaginary vector potential in the equation, and show that the NHSE is ubiquitous under OBC and characterized by a non-vanishing integer winding number, even thought the energy spectrum under PBC always comprises an open curve, corresponding to high-energy electronic states. We also show that the interior of the PBC energy spectrum corresponds to the complex eigenenergies sustaining localized (edge) states under semi-infinite boundary conditions.


title: Achieving near native runtime performance and cross-platform performance portability for random number generation through SYCL interoperability

abstract: High-performance computing (HPC) is a major driver accelerating scientific research and discovery, from quantum simulations to medical therapeutics. While the increasing availability of HPC resources is in many cases pivotal to successful science, even the largest collaborations lack the computational expertise required for maximal exploitation of current hardware capabilities. The need to maintain multiple platform-specific codebases further complicates matters, potentially adding constraints on machines that can be utilized. Fortunately, numerous programming models are under development that aim to facilitate portable codes for heterogeneous computing. One in particular is SYCL, an open standard, C++-based single-source programming paradigm. Among SYCL's features is interoperability, a mechanism through which applications and third-party libraries coordinate sharing data and execute collaboratively. In this paper, we leverage the SYCL programming model to demonstrate cross-platform performance portability across heterogeneous resources. We detail our NVIDIA and AMD random number generator extensions to the oneMKL open-source interfaces library. Performance portability is measured relative to platform-specific baseline applications executed on four major hardware platforms using two different compilers supporting SYCL. The utility of our extensions are exemplified in a real-world setting via a high-energy physics simulation application. We show the performance of implementations that capitalize on SYCL interoperability are at par with native implementations, attesting to the cross-platform performance portability of a SYCL-based approach to scientific codes.


title: Detecting Speaker Personas from Conversational Texts

abstract: Personas are useful for dialogue response prediction. However, the personas used in current studies are pre-defined and hard to obtain before a conversation. To tackle this issue, we study a new task, named Speaker Persona Detection (SPD), which aims to detect speaker personas based on the plain conversational text. In this task, a best-matched persona is searched out from candidates given the conversational text. This is a many-to-many semantic matching task because both contexts and personas in SPD are composed of multiple sentences. The long-term dependency and the dynamic redundancy among these sentences increase the difficulty of this task. We build a dataset for SPD, dubbed as Persona Match on Persona-Chat (PMPC). Furthermore, we evaluate several baseline models and propose utterance-to-profile (U2P) matching networks for this task. The U2P models operate at a fine granularity which treat both contexts and personas as sets of multiple sequences. Then, each sequence pair is scored and an interpretable overall score is obtained for a context-persona pair through aggregation. Evaluation results show that the U2P models outperform their baseline counterparts significantly.


title: Ergodic convergence rates for time-changed symmetric L\'{e}vy processes in dimension one

abstract: We obtain the lower bounds for ergodic convergence rates, including spectral gaps and convergence rates in strong ergodicity for time-changed symmetric L\'{e}vy processes by using harmonic function and reversible measure. As direct applications, explicit sufficient conditions for exponential and strong ergodicity are given. Some examples are also presented.


title: Access Control Using Spatially Invariant Permutation of Feature Maps for Semantic Segmentation Models

abstract: In this paper, we propose an access control method that uses the spatially invariant permutation of feature maps with a secret key for protecting semantic segmentation models. Segmentation models are trained and tested by permuting selected feature maps with a secret key. The proposed method allows rightful users with the correct key not only to access a model to full capacity but also to degrade the performance for unauthorized users. Conventional access control methods have focused only on image classification tasks, and these methods have never been applied to semantic segmentation tasks. In an experiment, the protected models were demonstrated to allow rightful users to obtain almost the same performance as that of non-protected models but also to be robust against access by unauthorized users without a key. In addition, a conventional method with block-wise transformations was also verified to have degraded performance under semantic segmentation models.


title: Revisit the isospin violating decays of $X(3872)$

abstract: In this work, we revisit the isospin violating decays of $X(3872)$ in a coupled-channel effective field theory. In the molecular scheme, the $X(3872)$ is interpreted as the bound state of $\bar{D}^{*0}D^0/\bar{D}^0D^{*0}$ and $D^{*-}D^+/D^-D^{*+}$ channels. In a cutoff-independent formalism, we relate the coupling constants of $X(3872)$ with the two channels to the molecular wave function. The isospin violating decays of $X(3872)$ are obtained by two equivalent approaches, which amend some deficiencies about this issue in literature. In the quantum field theory approach, the isospin violating decays arise from the coupling constants of $X(3872)$ to two di-meson channels. In the quantum mechanics approach, the isospin violating is attributed to wave functions at the origin. We illustrate that how to cure the insufficient results in literature. Within the comprehensive analysis, we bridge the isospin violating decays of $X(3872)$ to its inner structure. Our results show that the proportion of the neutral channel in $X(3872)$ is over $80\%$. As a by-product, we calculate the strong decay width of $X(3872)\to \bar{D}^0 D^0\pi^0$ and radiative one $X(3872)\to \bar{D}^0 D^0\gamma$. The strong decay width and radiative decay width are about 30 keV and 10 keV, respectively, for the binding energy from $-300$ keV to $-50$ keV.


title: Measurement of the lifetimes of promptly produced $\Omega^{0}_{c}$ and $\Xi^{0}_{c}$ baryons

abstract: A measurement of the lifetimes of the $\Omega^{0}_{c}$ and $\Xi^{0}_{c}$ baryons is reported using proton-proton collision data at a centre-of-mass energy of $13\text{ TeV}$, corresponding to an integrated luminosity of $5.4\text{ fb}^{-1}$ collected by the LHCb experiment. The $\Omega^{0}_{c}$ and $\Xi^{0}_{c}$ baryons are produced directly from proton interactions and reconstructed in the $pK^{-}K^{-}\pi^{+}$ final state. The $\Omega^{0}_{c}$ lifetime is measured to be $276.5\pm13.4\pm4.4\pm0.7\text{ fs}$, and the $\Xi^{0}_{c}$ lifetime is measured to be $148.0\pm2.3\pm2.2\pm0.2\text{ fs}$, where the first uncertainty is statistical, the second systematic, and the third due to the uncertainty on the $D^{0}$ lifetime. These results confirm previous LHCb measurements based on semileptonic beauty-hadron decays, which disagree with earlier results of a four times shorter $\Omega^{0}_{c}$ lifetime, and provide the single most precise measurement of the $\Omega^{0}_{c}$ lifetime.


title: Low-Latency and Secure Computation Offloading Assisted by Hybrid Relay-Reflecting Intelligent Surface

abstract: Recently, the hybrid relay-reflecting intelligent surface (HRRIS) has been introduced as a spectral- and energy-efficient architecture to assist wireless communication systems. In the HRRIS, a single or few active relay elements are deployed along with a large number of passive reflecting elements, allowing it to not only reflect but also amplify the incident signals. In this work, we investigate the potential of the HRRIS in aiding the computation offloading in a single-user mobile edge computing system. The objective is to minimize the offloading latency while ensuring the secrecy of user data against a malicious eavesdropper. We develop efficient solutions to this latency minimization problem based on alternating optimization. Through numerical results, we show that the deployment of the HRRIS can result in a considerable reduction in latency. Furthermore, the latency reduction gain offered by the HRRIS is much more significant than that of the conventional reconfigurable intelligent surface (RIS).


title: Spin-Triplet Superconductivity in K2Cr3As3

abstract: A spin-triplet superconductor can harbor Majorana bound states that can be used in topological quantum computing. Recently, K2Cr3As3 and its variants with critical temperature Tc as high as 8 K have emerged as a new class of superconductors with ferromagnetic spin fluctuations. Here we report a discovery in K2Cr3As3 single crystal that, the spin susceptibility measured by 75As Knight shift below Tc is unchanged with the magnetic field H0 applied in the ab plane, but vanishes toward zero temperature when H0 is along the c axis, which unambiguously establishes this compound as a spin-triplet superconductor described by a vector order-parameter d parallel to the c axis. Combining with points-nodal gap we show that K2Cr3As3 is a new platform for the study of topological superconductivity and its possible technical application.


title: Bidirectional optical non-reciprocity in a multi-mode cavity optomechanical system

abstract: Optical non-reciprocity, a phenomenon that allows unidirectional flow of optical field is pivoted on the time reversal symmetry breaking. The symmetry breaking happens in the cavity optomechanical system (COS) due to non uniform radiation pressure as a result of light-matter interaction, and is crucial in building non-reciprocal optical devices. In our proposed COS, we study the non-reciprocal transport of optical signals across two ports via three optical modes optomechanically coupled to the mechanical excitations of two nano-mechanical resonators (NMRs) under the influence of strong classical drive fields and weak probe fields. By tuning different system parameters, we discover the conversion of reciprocal to non-reciprocal signal transmission. We reveal perfect nonreciprocal transmission of output fields when the effective cavity detuning parameters are near resonant to the NMRs' frequencies. The unidirectional non-reciprocal signal transport is robust to the optomechanical coupling parameters at resonance conditions. Moreover, the cavities' photon loss rates play an inevitable role in the unidirectional flow of signal across the two ports. Bidirectional transmission can be fully controlled by the phase changes associated with the incoming probe and drive fields via two ports. Our scheme may provide a foundation for the compact non-reciprocal communication and quantum information processing, thus enabling new devices that route photons in unconventional ways such as all-optical diodes, optical transistors and optical switches.


title: Cooperative Target Capture using Predefined-time Consensus over Fixed and Switching Networks

abstract: We propose predefined-time consensus-based cooperative guidance laws for a swarm of interceptors to simultaneously capture a target capable of executing various kinds of motions. Unlike leader-follower cooperative guidance techniques, the swarm of interceptors has no leader and each interceptor executes its own guidance command in a distributive fashion, thus obviating the residency of the mission over a single interceptor. We first design cooperative guidance commands subject to target's mobility, followed by the same when the target is stationary, and also account for interceptors' changing topologies. We further show through rigorous analysis that the proposed cooperative guidance laws guarantee consensus in the interceptors' time-to-go values within a predefined-time. The proposed design allows a feasible time of consensus in time-to-go to be set arbitrarily at will during the design regardless of the interceptors' initial time-to-go values, thereby ensuring a simultaneous target interception. We also demonstrate the efficacy of the proposed design via simulations for interceptors connected over static and dynamic networks.


title: Ligand-induced protein dynamics differences correlate with protein-ligand binding affinities: An unsupervised deep learning approach

abstract: Prediction of protein-ligand binding affinity is a major goal in drug discovery. Generally, free energy gap is calculated between two states (e.g., ligand binding and unbinding). The energy gap implicitly includes the effects of changes in protein dynamics induced by the binding ligand. However, the relationship between protein dynamics and binding affinity remains unclear. Here, we propose a novel method that represents protein behavioral change upon ligand binding with a simple feature that can be used to predict protein-ligand affinity. From unbiased molecular simulation data, an unsupervised deep learning method measures the differences in protein dynamics at a ligand-binding site depending on the bound ligands. A dimension-reduction method extracts a dynamic feature that is strongly correlated to the binding affinities. Moreover, the residues that play important roles in protein-ligand interactions are specified based on their contribution to the differences. These results indicate the potential for dynamics-based drug discovery.


title: Entanglement Breaking Channels, Stochastic Matrices, and Primitivity

abstract: We consider the important class of quantum operations (completely positive trace-preserving maps) called entanglement breaking channels. We show how every such channel induces stochastic matrix representations that have the same non-zero spectrum as the channel. We then use this to investigate when entanglement breaking channels are primitive, and prove this depends on primitivity of the matrix representations. This in turn leads to tight bounds on the primitivity index of entanglement breaking channels in terms of the primitivity index of the associated stochastic matrices. We also present examples and discuss open problems generated by the work.


title: Density fluctuations and border forces direct leader cell plasticity during collective epithelial migrations

abstract: Epithelial cell monolayers expand on substrates by forming finger-like protrusions, created by leader cells, in the monolayer boundary. Information transmission and communication between individual entities in the cohesive collective lead to long-range order, vortical structures, and disorder to ordered phase transitions. We ask the following questions: what makes a leader? What is the role of followers in leader cell formation? We used a particle-based model to simulate epithelial cell migrations on substrates of 9.4 kPa, 21 kPa and 33 kPa stiffness. The dynamics of cellular motion in the ensemble are governed by orientational Vicsek and inter-cellular interactions between neighboring particles. The model also includes bending, curvature-based motility, and acto-myosin contractile cable forces on the contour, in addition to density dependent noise and cell proliferations. We show that border forces are essential in the leader cell formation and the overall areal expansions of epithelial monolayers on substrates. Radial velocities and areal expansions of the monolayer agree with experiments reported for epithelial cells on substrates of varied stiffness. Ordering in follower cells within a specific region of the monolayer was apparent on substrates of higher stiffness and occurred prior to the emergence of leader cells. We demonstrate that regions of increased cell density occur behind the leader cell edge on all three substrates. Finally, we assessed the role of cell divisions on the ordering of velocities in the monolayer. These results demonstrate that monolayer heterogeneities, caused by density instabilities in the interior regions, correlate with leader cell formation during epithelial migrations.


title: Circuit Lower Bounds for the p-Spin Optimization Problem

abstract: We consider the problem of finding a near ground state of a $p$-spin model with Rademacher couplings by means of a low-depth circuit. As a direct extension of the authors' recent work [Gamarnik, Jagannath, Wein 2020], we establish that any poly-size $n$-output circuit that produces a spin assignment with objective value within a certain constant factor of optimality, must have depth at least $\log n/(2\log\log n)$ as $n$ grows. This is stronger than the known state of the art bounds of the form $\Omega(\log n/(k(n)\log\log n))$ for similar combinatorial optimization problems, where $k(n)$ depends on the optimality value. For example, for the largest clique problem $k(n)$ corresponds to the square of the size of the clique [Rossman 2010]. At the same time our results are not quite comparable since in our case the circuits are required to produce a solution itself rather than solving the associated decision problem. As in our earlier work, the approach is based on the overlap gap property (OGP) exhibited by random $p$-spin models, but the derivation of the circuit lower bound relies further on standard facts from Fourier analysis on the Boolean cube, in particular the Linial-Mansour-Nisan Theorem. To the best of our knowledge, this is the first instance when methods from spin glass theory have ramifications for circuit complexity.


title: On the similarities between Control Barrier Functions (CBFs) and Behavior Control Lyapunov Functions (BCLFs)

abstract: Control Barrier Functions (CBFs) is an important tool used to address situations with multiple concurrent control objectives, such as safety and goal convergence. In this paper we investigate the similarities between CBFs and so-called Behavior Control Lyapunov Functions (BCLFs) that have been proposed to address the same type of problems in the aeronautics domain. The key results of both CBFs and BCLFs is the description of the set of controls that render a given set invariant. We compare the corresponding theorems, and show that if we restrict the general class K function in CBFs to be the general linear function of BCLFs, and restrict the number of objectives as well as the number of priority levels to be just one in BCLFs, the results in terms of admissible control sets are equivalent. Furthermore, both papers show that the invariant set is made asymptotically stable.


title: Reconstruction of the Electron-Phonon Interaction Function for Superconductors Using Inhomogeneous Point-Contacts and Background Correction in Yanson Spectra

abstract: The application of inhomogeneous niobium point-contacts in the superconducting stata for reconstructing the electron-phonon interaction function is considered. The method is based on the use of the nonlinearity of current-voltage curve, which is due to the inelastic processes of suppressing excess point contact current when nonequilibrium phonons are scattered from the electrons undergoing Andreev reflection. A new model of background occurrence in point-contact Yanson spectra and some ways to correct this background are proposed.


title: A note on uncertainty relations of arbitrary N quantum channels

abstract: Uncertainty principle plays a vital role in quantum physics. The Wigner-Yanase skew information characterizes the uncertainty of an observable with respect to the measured state. We generalize the uncertainty relations for two quantum channels to arbitrary N quantum channels based on Wigner-Yanase skew information. We illustrate that these uncertainty inequalities are tighter than the existing ones by detailed examples. Especially, we also discuss the uncertainty relations for N unitary channels, which could be regarded as variance-based sum uncertainty relations with respect to any pure state.


title: Selection and cloning of optical patterns with a cold Rydberg atomic gas

abstract: We show that optical patterns formed in a cold Rydberg atomic gas working at the condition of electromagnetically induced transparency (EIT) can be selected by using a weakly modulated control laser field. We also show that the (hexagonal, stripe, square, etc.) patterns prepared in one probe laser field can be cloned onto another one with a high fidelity via a double EIT.


title: Account for Neuronal Representations from the Perspective of Neurons

abstract: Mounting evidence in neuroscience suggests the possibility of neuronal representations that individual neurons serve as the substrates of different mental representations in a point-to-point way. Combined with associationism, it can potentially address a range of theoretical problems and provide a straightforward explanation for our cognition. However, this idea is merely a hypothesis with many questions unsolved. In this paper, I will bring up a new framework to defend the idea of neuronal representations. The strategy is from micro- to macro-level. Specifically, in the micro-level, I first propose that our brain' prefers and preserves more active neurons. Yet as total chance of discharge, neurons must take strategies to fire more strongly and frequently. Then I describe how they take synaptic plasticity, inhibition, and synchronization as their strategies and demonstrate how the execution of these strategies during turn them into specialized neurons that selectively but strongly respond to familiar entities. In the macro-level, I further discuss how these specialized neurons underlie various cognitive functions and phenomena. Significantly, this paper, through defending neuronal representation, introduces a novel way to understand the relationship between brain and cognition.


title: Ground-Assisted Federated Learning in LEO Satellite Constellations

abstract: In Low Earth Orbit (LEO) mega constellations, there are relevant use cases, such as inference based on satellite imaging, in which a large number of satellites collaboratively train a machine learning model without sharing their local datasets. To address this problem, we propose a new set of algorithms based on Federated learning (FL), including a novel asynchronous FL procedure based on FedAvg that exhibits better robustness against heterogeneous scenarios than the state-of-the-art. Extensive numerical evaluations based on MNIST and CIFAR-10 datasets highlight the fast convergence speed and excellent asymptotic test accuracy of the proposed method.


title: Dual-Camera Super-Resolution with Aligned Attention Modules

abstract: We present a novel approach to reference-based super-resolution (RefSR) with the focus on dual-camera super-resolution (DCSR), which utilizes reference images for high-quality and high-fidelity results. Our proposed method generalizes the standard patch-based feature matching with spatial alignment operations. We further explore the dual-camera super-resolution that is one promising application of RefSR, and build a dataset that consists of 146 image pairs from the main and telephoto cameras in a smartphone. To bridge the domain gaps between real-world images and the training images, we propose a self-supervised domain adaptation strategy for real-world images. Extensive experiments on our dataset and a public benchmark demonstrate clear improvement achieved by our method over state of the art in both quantitative evaluation and visual comparisons.


title: Spatially varying white balancing for mixed and non-uniform illuminants

abstract: In this paper, we propose a novel white balance adjustment, called "spatially varying white balancing," for single, mixed, and non-uniform illuminants. By using n diagonal matrices along with a weight, the proposed method can reduce lighting effects on all spatially varying colors in an image under such illumination conditions. In contrast, conventional white balance adjustments do not consider the correcting of all colors except under a single illuminant. Also, multi-color balance adjustments can map multiple colors into corresponding ground truth colors, although they may cause the rank deficiency problem to occur as a non-diagonal matrix is used, unlike white balancing. In an experiment, the effectiveness of the proposed method is shown under mixed and non-uniform illuminants, compared with conventional white and multi-color balancing. Moreover, under a single illuminant, the proposed method has almost the same performance as the conventional white balancing.


title: MitoVis: A Visually-guided Interactive Intelligent System for Neuronal Mitochondria Analysis

abstract: Neurons have a polarized structure, including dendrites and axons, and compartment-specific functions can be affected by dwelling mitochondria. It is known that the morphology of mitochondria is closely related to the functions of neurons and neurodegenerative diseases. Even though several deep learning methods have been developed to automatically analyze the morphology of mitochondria, the application of existing methods to actual analysis still encounters several difficulties. Since the performance of pre-trained deep learning model may vary depending on the target data, re-training of the model is often required. Besides, even though deep learning has shown superior performance under a constrained setup, there are always errors that need to be corrected by humans in real analysis. To address these issues, we introduce MitoVis, a novel visualization system for end-to-end data processing and interactive analysis of the morphology of neuronal mitochondria. MitoVis enables interactive fine-tuning of a pre-trained neural network model without the domain knowledge of machine learning, which allows neuroscientists to easily leverage deep learning in their research. MitoVis also provides novel visual guides and interactive proofreading functions so that the users can quickly identify and correct errors in the result with minimal effort. We demonstrate the usefulness and efficacy of the system via a case study conducted by a neuroscientist on a real analysis scenario. The result shows that MitoVis allows up to 15x faster analysis with similar accuracy compared to the fully manual analysis method.


title: Betwixt Turing and Kleene

abstract: Turing's famous 'machine' model constitutes the first intuitively convincing framework for computing with real numbers. Kleene's computation schemes S1-S9 extend Turing's approach and provide a framework for computing with objects of any finite type. Various research programs have been proposed in which higher-order objects, like functions on the real numbers, are represented/coded as real numbers, so as to make them amenable to the Turing framework. It is then a natural question whether there is any significant difference between the Kleene approach or the Turing-approach-via-codes. Continuous functions being well-studied in this context, we study functions of bounded variation, which have at most countably many points of discontinuity. A central result is the Jordan decomposition theorem that a function of bounded variation on $[0, 1]$ equals the difference of two monotone functions. We show that for this theorem and related results, the difference between the Kleene approach and the Turing-approach-via-codes is huge, in that full second-order arithmetic readily comes to the fore in Kleenes approach, in the guise of Kleene's quantifier $\exists^3$.