title: Sufficient reasons for classifier decisions in the presence of constraints

abstract: Recent work has unveiled a theory for reasoning about the decisions made by binary classifiers: a classifier describes a Boolean function, and the reasons behind an instance being classified as positive are the prime-implicants of the function that are satisfied by the instance. One drawback of these works is that they do not explicitly treat scenarios where the underlying data is known to be constrained, e.g., certain combinations of features may not exist, may not be observable, or may be required to be disregarded. We propose a more general theory, also based on prime-implicants, tailored to taking constraints into account. The main idea is to view classifiers in the presence of constraints as describing partial Boolean functions, i.e., that are undefined on instances that do not satisfy the constraints. We prove that this simple idea results in reasons that are no less (and sometimes more) succinct. That is, not taking constraints into account (e.g., ignored, or taken as negative instances) results in reasons that are subsumed by reasons that do take constraints into account. We illustrate this improved parsimony on synthetic classifiers and classifiers learned from real data.


title: Lightweight compression of neural network feature tensors for collaborative intelligence

abstract: In collaborative intelligence applications, part of a deep neural network (DNN) is deployed on a relatively low-complexity device such as a mobile phone or edge device, and the remainder of the DNN is processed where more computing resources are available, such as in the cloud. This paper presents a novel lightweight compression technique designed specifically to code the activations of a split DNN layer, while having a low complexity suitable for edge devices and not requiring any retraining. We also present a modified entropy-constrained quantizer design algorithm optimized for clipped activations. When applied to popular object-detection and classification DNNs, we were able to compress the 32-bit floating point activations down to 0.6 to 0.8 bits, while keeping the loss in accuracy to less than 1%. When compared to HEVC, we found that the lightweight codec consistently provided better inference accuracy, by up to 1.3%. The performance and simplicity of this lightweight compression technique makes it an attractive option for coding a layer's activations in split neural networks for edge/cloud applications.


title: Reference to Global State and Social Contagion Dynamics

abstract: The network-based model of social contagion has revolved around information on local interactions; its central focus has been on network topological properties shaping the local interactions and, ultimately, social contagion outcomes. We extend this approach by introducing information on the global state, or global information, into the network-based model and analyzing how it alters social contagion dynamics in six different classes of networks: a two-dimensional square lattice, small-world networks, Erd\H{o}s-R\'{e}nyi networks, regular random networks, Holme-Kim networks, and Barab\'{a}si-Albert networks. We find that there is an optimal amount of global information that minimizes the time to reach global cascades in highly clustered networks. We also find that global information prolongs the time to hit the tipping point but substantially compresses the time to reach global cascades after then, so that the overall time to reach global cascades can even be shortened under certain conditions. Finally, we show that random links substitute for global information in regulating the social contagion dynamics.


title: Communication-Efficient LDPC Code Design for Data Availability Oracle in Side Blockchains

abstract: A popular method of improving the throughput of blockchain systems is by running smaller side blockchains that push the hashes of their blocks onto a trusted blockchain. Side blockchains are vulnerable to stalling attacks where a side blockchain node pushes the hash of a block to the trusted blockchain but makes the block unavailable to other side blockchain nodes. Recently, Sheng et al. proposed a data availability oracle based on LDPC codes and a data dispersal protocol as a solution to the above problem. While showing improvements, the codes and dispersal protocol were designed disjointly which may not be optimal in terms of the communication cost associated with the oracle. In this paper, we provide a tailored dispersal protocol and specialized LDPC code construction based on the Progressive Edge Growth (PEG) algorithm, called the dispersal-efficient PEG (DE-PEG) algorithm, aimed to reduce the communication cost associated with the new dispersal protocol. Our new code construction reduces the communication cost and, additionally, is less restrictive in terms of system design.


title: Data-Driven Strategies for Hierarchical Predictive Control in Unknown Environments

abstract: This article proposes a hierarchical learning architecture for safe data-driven control in unknown environments. We consider a constrained nonlinear dynamical system and assume the availability of state-input trajectories solving control tasks in different environments. In addition to task-invariant system state and input constraints, a parameterized environment model generates task-specific state constraints, which are satisfied by the stored trajectories. Our goal is to use these trajectories to find a safe and high-performing policy for a new task in a new, unknown environment. We propose using the stored data to learn generalizable control strategies. At each time step, based on a local forecast of the new task environment, the learned strategy consists of a target region in the state space and input constraints to guide the system evolution to the target region. These target regions are used as terminal sets by a low-level model predictive controller. We show how to i) design the target sets from past data and then ii) incorporate them into a model predictive control scheme with shifting horizon that ensures safety of the closed-loop system when performing the new task. We prove the feasibility of the resulting control policy, and apply the proposed method to robotic path planning, racing, and computer game applications.


title: The hybrid radio/X-ray correlation of the black hole transient MAXI J1348-630

abstract: Black hole low mass X-ray binaries in their hard spectral state are found to display two different correlations between the radio emission from the compact jets and the X-ray emission from the inner accretion flow. Here, we present a large data set of quasi-simultaneous radio and X-ray observations of the recently discovered accreting black hole MAXI J1348-630 during its 2019/2020 outburst. Our results span almost six orders of magnitude in X-ray luminosity, allowing us to probe the accretion-ejection coupling from the brightest to the faintest phases of the outburst. We find that MAXI J1348-630 belongs to the growing population of outliers at the highest observed luminosities. Interestingly, MAXI J1348-630 deviates from the outlier track at $L_{\rm X} \lesssim 7 \times 10^{35} (D / 2.2 \ {\rm kpc})^2$ erg s$^{-1}$ and ultimately rejoins the standard track at $L_{\rm X} \simeq 10^{33} (D / 2.2 \ {\rm kpc})^2$ erg s$^{-1}$, displaying a hybrid radio/X-ray correlation, observed only in a handful of sources. However, for MAXI J1348-630 these transitions happen at luminosities much lower than what observed for similar sources (at least an order of magnitude). We discuss the behaviour of MAXI J1348-630 in light of the currently proposed scenarios and we highlight the importance of future deep monitorings of hybrid correlation sources, especially close to the transitions and in the low luminosity regime.


title: Far-from-equilibrium hydrodynamic simulations of ultrarelativistic nuclear collisions

abstract: We develop a far-from-equilibrium hydrodynamic model to evolve ultrarelativistic heavy-ion collisions in event-by-event simulations. Anisotropic hydrodynamics is designed to better handle the strong and highly anisotropic expansion during the early stages of the collision. The large gradients cause conventional second-order viscous hydrodynamic approaches to break down at early times. Anisotropic hydrodynamics evolves the large pressure anisotropies present in the quark-gluon plasma non-perturbatively, which prevents negative longitudinal pressures from developing even under extreme conditions. This increased stability allows us to start anisotropic hydrodynamics already at a very early longitudinal proper time to evolve the pre-hydrodynamic stage. In current pre-hydrodynamic models, the equation of state is not consistent with the QCD equation of state used in the subsequent fluid dynamic stage. Since our approach avoids this inconsistency, we are able to achieve a smooth transition to non-conformal viscous hydrodynamics as the gradients decrease over time. For our first phenomenological application, we apply our new simulation to model fluctuating Pb+Pb collisions at LHC energies ($\sqrt{s_\text{NN}} = 2.76$ TeV) and find that our preliminary calculations for the hadronic observables are in excellent agreement with the experimental data.


title: Automated Dynamic Mechanism Design

abstract: We study Bayesian automated mechanism design in unstructured dynamic environments, where a principal repeatedly interacts with an agent, and takes actions based on the strategic agent's report of the current state of the world. Both the principal and the agent can have arbitrary and potentially different valuations for the actions taken, possibly also depending on the actual state of the world. Moreover, at any time, the state of the world may evolve arbitrarily depending on the action taken by the principal. The goal is to compute an optimal mechanism which maximizes the principal's utility in the face of the self-interested strategic agent. We give an efficient algorithm for computing optimal mechanisms, with or without payments, under different individual-rationality constraints, when the time horizon is constant. Our algorithm is based on a sophisticated linear program formulation, which can be customized in various ways to accommodate richer constraints. For environments with large time horizons, we show that the principal's optimal utility is hard to approximate within a certain constant factor, complementing our algorithmic result. We further consider a special case of the problem where the agent is myopic, and give a refined efficient algorithm whose time complexity scales linearly in the time horizon. Moreover, we show that memoryless mechanisms do not provide a good solution for our problem, in terms of both optimality and computational tractability. These results paint a relatively complete picture for automated dynamic mechanism design in unstructured environments. Finally, we present experimental results where our algorithms are applied to synthetic dynamic environments with different characteristics, which not only serve as a proof of concept for our algorithms, but also exhibit intriguing phenomena in dynamic mechanism design.


title: Verification of the Incremental Merkle Tree Algorithm with Dafny

abstract: The Deposit Smart Contract (DSC) is an instrumental component of the Ethereum 2.0 Phase 0 infrastructure. We have developed the first machine-checkable version of the incremental Merkle tree algorithm used in the DSC. We present our new and original correctness proof of the algorithm along with the Dafny machine-checkable version. The main results are: 1) a new proof of total correctness; 2) a software artefact with the proof in the form of the complete Dafny code base and 3) new provably correct optimisations of the algorithm.


title: Ultra-compact nonvolatile phase shifter based on electrically reprogrammable transparent phase change materials

abstract: Energy-efficient programmable photonic integrated circuits (PICs) are the cornerstone of on-chip classical and quantum optical technologies. Optical phase shifters constitute the fundamental building blocks which enable these programmable PICs. Thus far, carrier modulation and thermo-optical effect are the chosen phenomena for ultrafast and low-loss phase shifters, respectively; however, the state and information they carry are lost once the power is turned off-they are volatile. The volatility not only compromises energy efficiency due to their demand for constant power supply, but also precludes them from emerging applications such as in-memory computing. To circumvent this limitation, we introduce a novel phase shifting mechanism that exploits the nonvolatile refractive index modulation upon structural phase transition of Sb$_{2}$Se$_{3}$, a bi-stable transparent phase change material. A zero-static power and electrically-driven phase shifter was realized on a foundry-processed silicon-on-insulator platform, featuring record phase modulation up to 0.09 $\pi$/$\mu$m and a low insertion loss of 0.3 dB/$\pi$, which can be further improved upon streamlined design. We also pioneered a one-step partial amorphization scheme to enhance the speed and energy efficiency of PCM devices. A diverse cohort of programmable photonic devices were demonstrated based on the ultra-compact PCM phase shifter.


title: Edge Augmentation with Controllability Constraints in Directed Laplacian Networks

abstract: In this paper, we study the maximum edge augmentation problem in directed Laplacian networks to improve their robustness while preserving lower bounds on their strong structural controllability (SSC). Since adding edges could adversely impact network controllability, the main objective is to maximally densify a given network by selectively adding missing edges while ensuring that SSC of the network does not deteriorate beyond certain levels specified by the SSC bounds. We consider two widely used bounds: first is based on the notion of zero forcing (ZF), and the second relies on the distances between nodes in a graph. We provide an edge augmentation algorithm that adds the maximum number of edges in a graph while preserving the ZF-based SSC bound, and also derive a closed-form expression for the exact number of edges added to the graph. Then, we examine the edge augmentation problem while preserving the distance-based bound and present a randomized algorithm that guarantees an approximate solution with high probability. Finally, we numerically evaluate and compare these edge augmentation solutions.


title: Topological error correction with a Gaussian cluster state

abstract: Topological error correction provides an effective method to correct errors in quantum computation. It allows quantum computation to be implemented with higher error threshold and high tolerating loss rates. We present a topological a error correction scheme with continuous variables based on an eight-partite Gaussian cluster state. We show that topological quantum correlation between two modes can be protected against a single quadrature phase displacement error occurring on any mode and some of two errors occurring on two modes. More interestingly, some cases of errors occurring on three modes can also be recognised and corrected, which is different from the topological error correction with discrete variables. We show that the final error rate after correction can be further reduced if the modes are subjected to identical errors occurring on all modes with equal probability. The presented results provide a feasible scheme for topological error correction with continuous variables and it can be experimentally demonstrated with a Gaussian cluster state.


title: Algorithms for Finding Almost Irreducible and Almost Primitive Trinomials

abstract: Consider polynomials over ${\rm GF}(2)$. We describe efficient algorithms for finding trinomials with large irreducible (and possibly primitive) factors, and give examples of trinomials having a primitive factor of degree $r$ for all Mersenne exponents $r = \pm 3 \bmod 8$ in the range $5 < r < 10^7$, although there is no irreducible trinomial of degree $r$. We also give trinomials with a primitive factor of degree $r = 2^k$ for $3 \le k \le 12$. These trinomials enable efficient representations of the finite field ${\rm GF}(2^r)$. We show how trinomials with large primitive factors can be used efficiently in applications where primitive trinomials would normally be used.


title: WALLABY Pilot Survey: First Look at the Hydra I Cluster and Ram Pressure Stripping of ESO 501-G075

abstract: We present results from neutral atomic hydrogen (HI) observations of Hydra I, the first cluster observed by the Widefield ASKAP L-band Legacy All-sky Blind Survey (WALLABY) on the Australian Square Kilometre Array Pathfinder. For the first time we show that WALLABY can reach its final survey sensitivity. Leveraging the sensitivity, spatial resolution and wide field of view of WALLABY, we identify a galaxy, ESO 501-G075, that lies near the virial radius of Hydra I and displays an HI tail. ESO 501-G075 shows a similar level of morphological asymmetry as another cluster member, which lies near the cluster centre and shows signs of experiencing ram pressure. We investigate possible environmental processes that could be responsible for producing the observed disturbance in the HI morphology of ESO 501-G075. We rule out tidal interactions, as ESO 501-G075 has no nearby neighbours within $\sim0.34$Mpc. We use a simple model to determine that ram pressure can remove gas from the disc at radii $r\gtrsim25$kpc. We conclude that, as ESO 501-G075 has a typical HI mass compared to similar galaxies in the field and its morphology is compatible with a ram pressure scenario, ESO 501-G075 is likely recently infalling into the cluster and in the early stages of experiencing ram pressure.


title: Why Does Multi-Epoch Training Help?

abstract: Stochastic gradient descent (SGD) has become the most attractive optimization method in training large-scale deep neural networks due to its simplicity, low computational cost in each updating step, and good performance. Standard excess risk bounds show that SGD only needs to take one pass over the training data and more passes could not help to improve the performance. Empirically, it has been observed that SGD taking more than one pass over the training data (multi-pass SGD) has much better excess risk bound performance than the SGD only taking one pass over the training data (one-pass SGD). However, it is not very clear that how to explain this phenomenon in theory. In this paper, we provide some theoretical evidences for explaining why multiple passes over the training data can help improve performance under certain circumstance. Specifically, we consider smooth risk minimization problems whose objective function is non-convex least squared loss. Under Polyak-Lojasiewicz (PL) condition, we establish faster convergence rate of excess risk bound for multi-pass SGD than that for one-pass SGD.


title: Automated Discovery of Process Models with True Concurrency and Inclusive Choices

abstract: Enterprise information systems allow companies to maintain detailed records of their business process executions. These records can be extracted in the form of event logs, which capture the execution of activities across multiple instances of a business process. Event logs may be used to analyze business processes at a fine level of detail using process mining techniques. Among other things, process mining techniques allow us to discover a process model from an event log -- an operation known as automated process discovery. Despite a rich body of research in the field, existing automated process discovery techniques do not fully capture the concurrency inherent in a business process. Specifically, the bulk of these techniques treat two activities A and B as concurrent if sometimes A completes before B and other times B completes before A. Typically though, activities in a business process are executed in a true concurrency setting, meaning that two or more activity executions overlap temporally. This paper addresses this gap by presenting a refined version of an automated process discovery technique, namely Split Miner, that discovers true concurrency relations from event logs containing start and end timestamps for each activity. The proposed technique is also able to differentiate between exclusive and inclusive choices. We evaluate the proposed technique relative to existing baselines using 11 real-life logs drawn from different industries.


title: Do City Borders Constrain Ethnic Diversity?

abstract: U.S. metropolitan areas, particularly in the industrial Midwest and Northeast, are well-known for high levels of racial segregation. This is especially true where core cities end and suburbs begin; often crossing the street can lead to physically similar, but much less ethnically diverse, suburban neighborhood. While these differences are often visually or "intuitively" apparent, this study seeks to quantify them using Geographic Information Systems and a variety of statistical methods. 2016 Census block group data are used to calculate an ethnic Herfindahl index for a set of two dozen large U.S. cities and their contiguous suburbs. Then, a mathematical method is developed to calculate a block-group-level "Border Disparity Index" (BDI), which is shown to vary by MSA and by specific suburbs. Its values can be compared across the sample to examine which cities are more likely to have borders that separate more-diverse block groups from less-diverse ones. The index can also be used to see which core cities are relatively more or less diverse than their suburbs, and which individual suburbs have the largest disparities vis-\`a-vis their core city. Atlanta and Detroit have particularly diverse suburbs, while Milwaukee's are not. Regression analysis shows that income differences and suburban shares of Black residents play significant roles in explaining variation across suburbs.


title: Robust Dynamic Multi-Modal Data Fusion: A Model Uncertainty Perspective

abstract: This paper is concerned with multi-modal data fusion (MMDF) under unexpected modality failures in nonlinear non-Gaussian dynamic processes. An efficient framework to tackle this problem is proposed. In particular, a notion termed modality "\emph{usefulness}", which takes a value of 1 or 0, is used for indicating whether the observation of this modality is useful or not. For $n$ modalities involved, $2^n$ combinations of their "\emph{usefulness}" values exist. Each combination defines one hypothetical model of the true data generative process. Then the problem of concern is formalized as a task of nonlinear non-Gaussian state filtering under model uncertainty, which is addressed by a dynamic model averaging (DMA) based particle filter (PF) algorithm. This DMA algorithm employs $2^n$ models, while all models share the same state-transition function and a unique set of particle values. That makes its computational complexity only slightly larger than a single model based PF algorithm, especially for scenarios in which $n$ is small. Experimental results show that the proposed solution outperforms remarkably state-of-the-art methods. Code and data are available at https://github.com/robinlau1981/fusion.


title: Investigating a (3+1)D Topological $\theta$-Term in the Hamiltonian Formulation of Lattice Gauge Theories for Quantum and Classical Simulations

abstract: Quantum technologies offer the prospect to efficiently simulate sign-problem afflicted regimes in lattice field theory, such as the presence of topological terms, chemical potentials, and out-of-equilibrium dynamics. In this work, we derive the (3+1)D topological $\theta$-term for Abelian and non-Abelian lattice gauge theories in the Hamiltonian formulation, paving the way towards Hamiltonian-based simulations of such terms on quantum and classical computers. We further study numerically the zero-temperature phase structure of a (3+1)D U(1) lattice gauge theory with the $\theta$-term via exact diagonalization for a single periodic cube. In the strong coupling regime, our results suggest the occurrence of a phase transition at constant values of $\theta$, as indicated by an avoided level-crossing and abrupt changes in the plaquette expectation value, the electric energy density, and the topological charge density. These results could in principle be cross-checked by the recently developed (3+1)D tensor network methods and quantum simulations, once sufficient resources become available.


title: Are Larger Pretrained Language Models Uniformly Better? Comparing Performance at the Instance Level

abstract: Larger language models have higher accuracy on average, but are they better on every single instance (datapoint)? Some work suggests larger models have higher out-of-distribution robustness, while other work suggests they have lower accuracy on rare subgroups. To understand these differences, we investigate these models at the level of individual instances. However, one major challenge is that individual predictions are highly sensitive to noise in the randomness in training. We develop statistically rigorous methods to address this, and after accounting for pretraining and finetuning noise, we find that our BERT-Large is worse than BERT-Mini on at least 1-4% of instances across MNLI, SST-2, and QQP, compared to the overall accuracy improvement of 2-10%. We also find that finetuning noise increases with model size and that instance-level accuracy has momentum: improvement from BERT-Mini to BERT-Medium correlates with improvement from BERT-Medium to BERT-Large. Our findings suggest that instance-level predictions provide a rich source of information; we therefore, recommend that researchers supplement model weights with model predictions.


title: How Unique is Milwaukee's 53206? An Examination of Disaggregated Socioeconomic Characteristics Across the City and Beyond

abstract: Milwaukee's 53206 ZIP code, located on the city's near North Side, has drawn considerable attention for its poverty and incarceration rates, as well as for its large proportion of vacant properties. As a result, it has benefited from targeted policies at the city level. Keeping in mind that ZIP codes are often not the most effective unit of geographic analysis, this study investigates Milwaukee's socioeconomic conditions at the block group level. These smaller areas' statistics are then compared with those of their corresponding ZIP codes. The 53206 ZIP code is compared against others in Milwaukee for eight socioeconomic variables and is found to be near the extreme end of most rankings. This ZIP code would also be among Chicago's most extreme areas, but would lie near the middle of the rankings if located in Detroit. Parts of other ZIP codes, which are often adjacent, are statistically similar to 53206, however--suggesting that a focus solely on ZIP codes, while a convenient shorthand, might overlook neighborhoods that have similar need for investment. A multivariate index created for this study performs similarly to a standard multivariate index of economic deprivation if spatial correlation is taken into account, confirming that poverty and other socioeconomic stresses are clustered, both in the 53206 ZIP code and across Milwaukee.


title: Principled Exploration via Optimistic Bootstrapping and Backward Induction

abstract: One principled approach for provably efficient exploration is incorporating the upper confidence bound (UCB) into the value function as a bonus. However, UCB is specified to deal with linear and tabular settings and is incompatible with Deep Reinforcement Learning (DRL). In this paper, we propose a principled exploration method for DRL through Optimistic Bootstrapping and Backward Induction (OB2I). OB2I constructs a general-purpose UCB-bonus through non-parametric bootstrap in DRL. The UCB-bonus estimates the epistemic uncertainty of state-action pairs for optimistic exploration. We build theoretical connections between the proposed UCB-bonus and the LSVI-UCB in a linear setting. We propagate future uncertainty in a time-consistent manner through episodic backward update, which exploits the theoretical advantage and empirically improves the sample-efficiency. Our experiments in the MNIST maze and Atari suite suggest that OB2I outperforms several state-of-the-art exploration approaches.


title: Robust Beamforming for Enhancing Security in Multibeam Satellite Systems

abstract: This paper proposes a robust beamforming (BF) scheme to enhance physical layer security (PLS) of the downlink of a multibeam satellite system in the presence of either uncoordinated or coordinated eavesdroppers (Eves). Specifically, with knowing only the approximate locations of the Eves, we aim at maximizing the worst-case achievable secrecy rate (ASR) of the legitimate user (LU), subject to the constraints of per-antenna transmit power and quality of service (QoS) requirement of the LU. Since the optimization problem is non-convex, we first adopt the discretization method to deal with the unknown regions of the Eves and then exploit the log-sum-exp function to approximate the objective function. Afterwards, a BF method joint alternating direction method of multipliers (ADMM) with Dinkelbach iteration is presented to solve this non-convex problem. Finally, simulation results verify that our robust BF algorithm can effectively improve the security of multibeam satellite systems.


title: Type-Based Termination for Futures

abstract: In sequential functional languages, sized types enable termination checking of programs with complex patterns of recursion in the presence of mixed inductive-coinductive types. In this paper, we adapt sized types and their metatheory to the concurrent setting. We extend the semi-axiomatic sequent calculus, a subsuming paradigm for futures-based functional concurrency, and its underlying operational semantics with recursion and arithmetic refinements. The latter enables a new and highly general sized type scheme we call sized type refinements. As a widely applicable technical device, we type recursive programs with infinitely deep typing derivations that unfold all recursive calls. Then, we observe that certain such derivations can be made infinitely wide but finitely deep. The resulting trees serve as the induction target of our termination result, which we develop via a novel logical relations argument.


title: Machine-learning-based investigation on classifying binary and multiclass behavior outcomes of children with PIMD/SMID

abstract: Recently, the importance of weather parameters and location information to better understand the context of the communication of children with profound intellectual and multiple disabilities (PIMD) or severe motor and intellectual disorders (SMID) has been proposed. However, an investigation on whether these data can be used to classify their behavior for system optimization aimed for predicting their behavior for independent communication and mobility has not been done. Thus, this study investigates whether recalibrating the datasets including either minor or major behavior categories or both, combining location and weather data and feature selection method training (Boruta) would allow more accurate classification of behavior discriminated to binary and multiclass classification outcomes using eXtreme Gradient Boosting (XGB), support vector machine (SVM), random forest (RF), and neural network (NN) classifiers. Multiple single-subject face-to-face and video-recorded sessions were conducted among 20 purposively sampled 8 to 10 -year old children diagnosed with PIMD/SMID or severe or profound intellectual disabilities and their caregivers.


title: SM gauge fields localized on non-Abelian vortices in 6 dimensions

abstract: A brane-world $SU(5)$ GUT model with global non-Abelian vortices is constructed in six-dimensional spacetime. We find a solution with a vortex associated to $SU(3)$ separated from another vortex associated to $SU(2)$. This $3-2$ split configuration achieves a geometric Higgs mechanism for $SU(5)\to SU(3)\times SU(2)\times U(1)$ symmetry breaking. A simple deformation potential induces a domain wall between non-Abelian vortices, leading to a linear confining potential. The confinement stabilizes the vortex separation moduli, and assures the vorticity of $SU(3)$ group and of $SU(2)$ group to be identical. This dictates the equality of the numbers of fermion zero modes in the fundamental representation of $SU(3)$ (quarks) and of $SU(2)$ (leptons), leading to quark-lepton generations. The standard model massless gauge fields are localized on the non-Abelian vortices thanks to a field-dependent gauge kinetic function. We perform fluctuation analysis with an appropriate gauge fixing and obtain a four-dimensional effective Lagrangian of unbroken and broken gauge fields at quadratic order. We find that $SU(3) \times SU(2) \times U(1)$ gauge fields are localized on the vortices and exactly massless. Complications in analyzing the spectra of gauge fields with the nontrivial gauge kinetic function are neatly worked out by a vector-analysis like method.


title: Towards Human-Free Automatic Quality Evaluation of German Summarization

abstract: Evaluating large summarization corpora using humans has proven to be expensive from both the organizational and the financial perspective. Therefore, many automatic evaluation metrics have been developed to measure the summarization quality in a fast and reproducible way. However, most of the metrics still rely on humans and need gold standard summaries generated by linguistic experts. Since BLANC does not require golden summaries and supposedly can use any underlying language model, we consider its application to the evaluation of summarization in German. This work demonstrates how to adjust the BLANC metric to a language other than English. We compare BLANC scores with the crowd and expert ratings, as well as with commonly used automatic metrics on a German summarization data set. Our results show that BLANC in German is especially good in evaluating informativeness.


title: Metal-insulator-like transition, superconducting dome and topological electronic structure in Ga-doped Re$_{3}$Ge$_{7}$

abstract: Superconductivity frequently appears by doping compounds that show a collective phase transition. So far, however, this has not been observed in topological materials. Here we report the discovery of superconductivity induced by Ga doping in orthorhombic Re$_{3}$Ge$_{7}$, which undergoes a second-order metal-insulator-like transition at $\sim$58 K and is predicted to have a nontrivial band topology. It is found that the substitution of Ga for Ge leads to hole doping in Re$_{3}$Ge$_{7-x}$Ga$_{x}$. As a consequence, the phase transition is gradually suppressed and disappears above $x$ = 0.2. At this $x$ value, superconductivity emerges and $T_{\rm c}$ exhibits a dome-like doping dependence with a maximum value of 3.37 K at $x$ = 0.25. First-principles calculations suggest that the phase transition in Re$_{3}$Ge$_{7}$ is associated with an electronic instability driven by Fermi surface nesting and the nontrival band topology is preserved after Ga doping. Our results indicate that Ga-doped Re$_{3}$Ge$_{7}$ provides a rare opportunity to study the interplay between superconductivity and competing electronic states in a topologically nontrivial system.


title: Optimal Uniform OPE and Model-based Offline Reinforcement Learning in Time-Homogeneous, Reward-Free and Task-Agnostic Settings

abstract: This work studies the statistical limits of uniform convergence for offline policy evaluation (OPE) problems with model-based methods (for episodic MDP) and provides a unified framework towards optimal learning for several well-motivated offline tasks. Uniform OPE $\sup_\Pi|Q^\pi-\hat{Q}^\pi|<\epsilon$ is a stronger measure than the point-wise OPE and ensures offline learning when $\Pi$ contains all policies (the global class). In this paper, we establish an $\Omega(H^2 S/d_m\epsilon^2)$ lower bound (over model-based family) for the global uniform OPE and our main result establishes an upper bound of $\tilde{O}(H^2/d_m\epsilon^2)$ for the \emph{local} uniform convergence that applies to all \emph{near-empirically optimal} policies for the MDPs with \emph{stationary} transition. Here $d_m$ is the minimal marginal state-action probability. Critically, the highlight in achieving the optimal rate $\tilde{O}(H^2/d_m\epsilon^2)$ is our design of \emph{singleton absorbing MDP}, which is a new sharp analysis tool that works with the model-based approach. We generalize such a model-based framework to the new settings: offline task-agnostic and the offline reward-free with optimal complexity $\tilde{O}(H^2\log(K)/d_m\epsilon^2)$ ($K$ is the number of tasks) and $\tilde{O}(H^2S/d_m\epsilon^2)$ respectively. These results provide a unified solution for simultaneously solving different offline RL problems.


title: Changeable Sweep Coverage Problem

abstract: Sweep coverage is to realize the periodic coverage of targets by planning the periodic sweeping paths of mobile sensors. It is difficult for sensors to reduce energy consumption by reducing the moving distances. Therefore, charging technology is the best way to extend the lifetime of the sweep coverage network. This paper studies the sweep coverage of rechargeable sensors: the sensors are rechargeable, constantly sweep between the target points and the charging stations not only tp meet the periodic coverage requirement of the target points, but also need to return to the charging stations during the charging period to avoid running out of energy. This paper proposes the general definition of Chargeable Sweep Coverage (CSC) problem for the first time, and studies the complexity of the CSC problem by analyzing CSC problems under different constraints, and then proposes two kinds of CSC problems under special constraints: 1) The sensors need to return to their original charging stations for charging; 2) The sensors can go to different charging stations for charging, and the number of charging stations is 2. Both of these problems are NP-hard. In this paper, these two problems are modeled as the maximum set coverage problem, and the approximation algorithms are obtained by reducing the number of candidate paths to polynomials. The validity and scalability of the proposed algorithms is proved by theoretical proof and experimental simulation.


title: Joint Community Detection and Rotational Synchronization via Semidefinite Programming

abstract: In the presence of heterogeneous data, where randomly rotated objects fall into multiple underlying categories, it is challenging to simultaneously classify them into clusters and synchronize them based on pairwise relations. This gives rise to the joint problem of community detection and synchronization. We propose a series of semidefinite relaxations, and prove their exact recovery when extending the celebrated stochastic block model to this new setting where both rotations and cluster identities are to be determined. Numerical experiments demonstrate the efficacy of our proposed algorithms and confirm our theoretical result which indicates a sharp phase transition for exact recovery.


title: Focus the electromagnetic field to $10^{-6} \lambda$ for ultra-high enhancement of field-matter interaction

abstract: Focusing electromagnetic field to enhance the interaction with matter has been promoting researches and applications of nano electronics and photonics. Usually, the evanescent-wave coupling is adopted in various nano structures and materials to confine the electromagnetic field into a subwavelength space. Here, based on the direct coupling with confined electron oscillations in a nanowire, we demonstrate an extreme localization of microwave field down to 10$^{-6}\lambda$. A hybrid nanowire-bowtie antenna is further designed to focus the free-space microwave to this deep-subwavelength space. Detected by the nitrogen vacancy center in diamond, the field intensity and microwave-spin interaction strength are enhanced by 2.0$\times$10$^{8}$ and 1.4$\times$10$^{4}$ times, respectively. Such an extreme concentration of microwave field will further promote integrated quantum information processing, sensing and microwave photonics in a nanoscale system.


title: Extreme Face Inpainting with Sketch-Guided Conditional GAN

abstract: Recovering badly damaged face images is a useful yet challenging task, especially in extreme cases where the masked or damaged region is very large. One of the major challenges is the ability of the system to generalize on faces outside the training dataset. We propose to tackle this extreme inpainting task with a conditional Generative Adversarial Network (GAN) that utilizes structural information, such as edges, as a prior condition. Edge information can be obtained from the partially masked image and a structurally similar image or a hand drawing. In our proposed conditional GAN, we pass the conditional input in every layer of the encoder while maintaining consistency in the distributions between the learned weights and the incoming conditional input. We demonstrate the effectiveness of our method with badly damaged face examples.


title: Interlayer coupling and ultrafast hot electron transfer dynamics in metallic VSe2/graphene van der Waals heterostructures

abstract: Atomically thin vanadium diselenide (VSe2 ) is a two-dimensional transition metal dichalcogenide exhibiting attractive properties due to its metallic 1T-phase. With the recent development of methods to manufacture high-quality monolayer VSe 2 on van der Waals materials, the outstanding properties of VSe2 -based heterostructures have been widely studied for diverse applications. Dimensional reduction and interlayer coupling with a van der Waals substrate lead to its distinguishable characteristics from its bulk counterparts. However, only a few fundamental studies have investigated the interlayer coupling effects and hot electron transfer dynamics in VSe2 heterostructures. In this work, we reveal ultrafast and efficient interlayer hot electron transfer and interlayer coupling effects in VSe2 /graphene heterostructures. Femtosecond time-resolved reflectivity measurements showed that hot electrons in VSe 2 were transferred to graphene within a 100-fs timescale with high efficiency. Besides, coherent acoustic phonon dynamics indicated interlayer coupling in VSe2 /graphene heterostructures and efficient thermal energy transfer to three-dimensional substrates. Our results provide valuable insights into the intriguing properties of metallic transition metal dichalcogenide heterostructures and motivate designing optoelectronic and photonic devices with tailored properties.


title: GIPA: General Information Propagation Algorithm for Graph Learning

abstract: Graph neural networks (GNNs) have been popularly used in analyzing graph-structured data, showing promising results in various applications such as node classification, link prediction and network recommendation. In this paper, we present a new graph attention neural network, namely GIPA, for attributed graph data learning. GIPA consists of three key components: attention, feature propagation and aggregation. Specifically, the attention component introduces a new multi-layer perceptron based multi-head to generate better non-linear feature mapping and representation than conventional implementations such as dot-product. The propagation component considers not only node features but also edge features, which differs from existing GNNs that merely consider node features. The aggregation component uses a residual connection to generate the final embedding. We evaluate the performance of GIPA using the Open Graph Benchmark proteins (ogbn-proteins for short) dataset. The experimental results reveal that GIPA can beat the state-of-the-art models in terms of prediction accuracy, e.g., GIPA achieves an average test ROC-AUC of $0.8700\pm 0.0010$ and outperforms all the previous methods listed in the ogbn-proteins leaderboard.


title: Calibration of a SEIR-SEI epidemic model to describe the Zika virus outbreak in Brazil

abstract: Multiple instances of Zika virus epidemic have been reported around the world in the last two decades, turning the related illness into an international concern. In this context the use of mathematical models for epidemics is of great importance, since they are useful tools to study the underlying outbreak numbers and allow one to test the effectiveness of different strategies used to combat the associated diseases. This work deals with the development and calibration of an epidemic model to describe the 2016 outbreak of Zika virus in Brazil. A system of 8 differential equations with 8 parameters is employed to model the evolution of the infection through two populations. Nominal values for the model parameters are estimated from the literature. An inverse problem is formulated and solved by comparing the system response to real data from the outbreak. The calibrated results presents realistic parameters and returns reasonable descriptions, with the curve shape similar to the outbreak evolution and peak value close to the highest number of infected people during 2016. Considerations about the lack of data for some initial conditions are also made through an analysis over the response behavior according to their change in value.

categories: q-bio.PE cs.NA math.DS math.NA math.OC stat.CO


title: Heisenberg-Limited Waveform Estimation with Solid-State Spins in Diamond

abstract: The newly established Heisenberg limit in arbitrary waveform estimation is quite different with parameter estimation and shows a unique characteristic of a future quantum version of oscilloscope. However, it is still a non-trivial challenge to generate a large number of exotic quantum entangled states to achieve this quantum limit. Here, by employing the time-domain quantum difference detection method, we demonstrate Heisenberg-limited waveform quantum estimation with diamond spins under ambient condition in the experiment. Periodic dynamical decoupling is applied to enhance both the dynamic range and sensitivity by one order of magnitude. Using this quantum-enhanced estimation scheme, the estimation error of an unknown waveform is reduced by more than $5$ dB below the standard quantum limit with $N\sim{\text{2}} \times {\text{1}}{{\text{0}}^3}$ resources, where more than ${1 \times {\text{1}}{{\text{0}}^5}}$ resources would be required to achieve a similar error level using classical detection. This work provides an essential step towards realizing quantum-enhanced structure recognition in a continuous space and time.


title: More than Meets the Tie: Examining the Role of Interpersonal Relationships in Social Networks

abstract: Topics in conversations depend in part on the type of interpersonal relationship between speakers, such as friendship, kinship, or romance. Identifying these relationships can provide a rich description of how individuals communicate and reveal how relationships influence the way people share information. Using a dataset of more than 9.6M dyads of Twitter users, we show how relationship types influence language use, topic diversity, communication frequencies, and diurnal patterns of conversations. These differences can be used to predict the relationship between two users, with the best predictive model achieving a macro F1 score of 0.70. We also demonstrate how relationship types influence communication dynamics through the task of predicting future retweets. Adding relationships as a feature to a strong baseline model increases the F1 and recall by 1% and 2%. The results of this study suggest relationship types have the potential to provide new insights into how communication and information diffusion occur in social networks.


title: Knot Categorification from Mirror Symmetry, Part II: Lagrangians

abstract: I provide two solutions to the problem of categorifying quantum link invariants, which work uniformly for all gauge groups and originate in geometry and string theory. The first is based on a category of equivariant B-type branes on ${\cal X}$ which is a moduli space of singular $G$-monopoles on ${\mathbb R}^3$. In this paper, I give the second approach, which is based on a category of equivariant A-type branes on $Y$ with potential $W$. The first and the second approaches are related by equivariant homological mirror symmetry: $Y$ is homological mirror to $X$, a core locus of ${\cal X}$ preserved by an equivariant action related to $\mathfrak{q}$. The theory of equivariant A-branes on $Y$ is the same as the derived category of modules of an algebra $A$, which is a cousin of the algebra considered by Khovanov, Lauda, Rouquier and Webster, but simpler. The result is a new, geometric formulation of Khovanov homology, which generalizes to all groups. In part III, I will explain the string theory origin of the two approaches, and the relation to an approach being developed by Witten. The three parts may be read independently.


title: Status of ILD new 250 GeV common MC sample production

abstract: We are producing high statistics 250 GeV common MC samples for the ILD physics study using the latest generator, simulation, and reconstruction packages. In the production, we utilize ILCDirac distributed computing environment. The estimated resource requirements, the current status and prospects of the production are presented.


title: HyKnow: End-to-End Task-Oriented Dialog Modeling with Hybrid Knowledge Management

abstract: Task-oriented dialog (TOD) systems typically manage structured knowledge (e.g. ontologies and databases) to guide the goal-oriented conversations. However, they fall short of handling dialog turns grounded on unstructured knowledge (e.g. reviews and documents). In this paper, we formulate a task of modeling TOD grounded on both structured and unstructured knowledge. To address this task, we propose a TOD system with hybrid knowledge management, HyKnow. It extends the belief state to manage both structured and unstructured knowledge, and is the first end-to-end model that jointly optimizes dialog modeling grounded on these two kinds of knowledge. We conduct experiments on the modified version of MultiWOZ 2.1 dataset, where dialogs are grounded on hybrid knowledge. Experimental results show that HyKnow has strong end-to-end performance compared to existing TOD systems. It also outperforms the pipeline knowledge management schemes, with higher unstructured knowledge retrieval accuracy.


title: Thresholds for Particle Clumping by the Streaming Instability

abstract: The streaming instability (SI) is a mechanism to aerodynamically concentrate solids in protoplanetary disks and trigger the formation of planetesimals. The SI produces strong particle clumping if the ratio of solid to gas surface density -- an effective metallicity -- exceeds a critical value. This critical value depends on particle sizes and disk conditions such as radial drift-inducing pressure gradients and levels of turbulence. To quantify these thresholds, we perform a suite of vertically-stratified SI simulations over a range of dust sizes and metallicities. We find a critical metallicity as low as 0.4% for the optimum particle sizes and standard radial pressure gradients (normalized value of $\Pi = 0.05$). This sub-Solar metallicity is lower than previous results due to improved numerical methods and computational effort. We discover a sharp increase in the critical metallicity for small solids, when the dimensionless stopping time (Stokes number) is $\leq 0.01$. We provide simple fits to the size-dependent SI clumping threshold, including generalizations to different disk models and levels of turbulence. We also find that linear, unstratified SI growth rates are a surprisingly poor predictor of particle clumping in non-linear, stratified simulations, especially when the finite resolution of simulations is considered. Our results widen the parameter space for the SI to trigger planetesimal formation.


title: A Decomposition Theorem of Varadhan Type for Co-local Forms on Large Scale Interacting Systems

abstract: In our previous article with Yukio Kametani, we investigated the geometric structure underlying a large scale interacting system on infinite graphs, via constructing a suitable cohomology theory called uniformly local cohomology, which reflects the geometric property of the microscopic model, using a class of functions called the uniformly local functions. In this article, we introduce the co-local functions on the geometric structure associated to a large scale interacting system. We may similarly define the notion of uniformly local functions for co-local functions. However, contrary to the functions appearing in our previous article, the co-local functions reflect the stochastic property of the model, namely the probability measure on the configuration space. We then prove a decomposition theorem of Varadhan type for closed co-local forms. The space of co-local functions and forms contain the space of $L^2$-functions and forms. In the last section, we state a conjecture concerning the decomposition theorem for the $L^2$-case.


title: Investigation of Experimental Observables in Search of the Chiral Magnetic Effect in Heavy-ion Collisions in the STAR experiment

abstract: The chiral magnetic effect (CME) is a novel transport phenomenon, arising from the interplay between quantum anomalies and strong magnetic fields in chiral systems. In high-energy nuclear collisions, the CME may survive the expansion of the quark-gluon plasma fireball and be detected in experiments. Over the past decade, the experimental searches for the CME have aroused extensive interest at the Relativistic Heavy Ion Collider (RHIC) and the Large Hadron Collider (LHC). The main goal of this article is to investigate three pertinent experimental approaches: the $\gamma$ correlator, the $R$ correlator and the signed balance functions. We will exploit both simple Monte Carlo simulations and a realistic event generator (EBE-AVFD) to verify the equivalence in the kernel-component observables among these methods and to ascertain their sensitivities to the CME signal for the isobaric collisions at RHIC.


title: Imaging through random media using coherent averaging

abstract: We propose and demonstrate a new phase retrieval method for imaging through random media. Although methods to recover the Fourier amplitude through random distortions are well established, recovery of the Fourier phase has been a more difficult problem and is still a very active research area. Here, we show that by simply ensemble averaging shift-corrected images, the Fourier phase of an object obscured by random distortions can be accurately retrieved up to the diffraction limit. The method is simple, fast, does not have any optimization parameters, and does not require prior knowledge or assumptions about the sample. We demonstrate the feasibility and robustness of our method by realizing all computational diffraction-limited imaging through atmospheric turbulence as well as imaging through multiple scattering media.


title: Circumnuclear Multi-phase Gas in Circinus Galaxy IV: absorption owing to high-$J$ CO rotational transitions

abstract: We studied the absorption features of CO lines against the continuum originating from the heated dust in the obscuring tori around active galactic nuclei (AGNs). We investigated the formation of absorption lines corresponding to the CO rotational transitions using three-dimensional non-LTE line transfer simulations considering the dust thermal emission. As in Papers I--III of this series, we performed post-processed radiative transfer calculations using the "radiation-driven fountain model" (wada2016}, which yields a geometrically thick obscuring structure around the nucleus. This model is consistent with the spectral energy distribution of the nearest type-2 Seyfert galaxy, the Circinus galaxy. We found that the continuum-subtracted channel maps of $J = 4-3$ and higher transitions show absorption regions along the disk mid-plane for an edge-on viewing angle. The spectra consist of multiple absorption and emission features, reflecting the internal inhomogeneous and turbulent structure of the torus. The deepest absorption feature is caused by the gas on the near-side of the torus between $r =10$ and 15 pc, which is located in front of the AGN-heated dust inside $r \simeq 5$ pc. We also found that a spatial resolution of 0.5--1.0 pc is necessary to resolve the absorption features. Moreover, the inclination angle must be close to the edge-on angle (i.e., $\sim 85^\circ$) to observe the absorption features. The findings of the present study imply that combining our radiation-hydrodynamic model with high-resolution observations of CO (7-6) by ALMA can provide new information about the internal structure of the molecular tori in nearby AGNs.


title: Compatibility-aware Heterogeneous Visual Search

abstract: We tackle the problem of visual search under resource constraints. Existing systems use the same embedding model to compute representations (embeddings) for the query and gallery images. Such systems inherently face a hard accuracy-efficiency trade-off: the embedding model needs to be large enough to ensure high accuracy, yet small enough to enable query-embedding computation on resource-constrained platforms. This trade-off could be mitigated if gallery embeddings are generated from a large model and query embeddings are extracted using a compact model. The key to building such a system is to ensure representation compatibility between the query and gallery models. In this paper, we address two forms of compatibility: One enforced by modifying the parameters of each model that computes the embeddings. The other by modifying the architectures that compute the embeddings, leading to compatibility-aware neural architecture search (CMP-NAS). We test CMP-NAS on challenging retrieval tasks for fashion images (DeepFashion2), and face images (IJB-C). Compared to ordinary (homogeneous) visual search using the largest embedding model (paragon), CMP-NAS achieves 80-fold and 23-fold cost reduction while maintaining accuracy within 0.3% and 1.6% of the paragon on DeepFashion2 and IJB-C respectively.


title: Evolution of Berry curvature and reentrant quantum anomalous Hall effect in an intrinsic magnetic topological insulator

abstract: Recently, the magnetic topological insulator MnBi$_2$Te$_4$ emerged as a competitive platform to realize quantum anomalous Hall (QAH) states. We report a Berry-curvature splitting mechanism to realize the QAH effect in the disordered magnetic TI multilayers when switching from an antiferromagnetic order to a ferromagnetic order. We reveal that the splitting of spin-resolved Berry curvature, originating from the separation of the mobility edge during the magnetic switching, can give rise to a QAH insulator even \emph{without} closing the band gap. We present a global phase diagram, and also provide a phenomenological picture to elucidate the Berry curvature splitting mechanism by the evolution of topological charges. At last, we predict that the Berry curvature splitting mechanism will lead to a reentrant QAH effect, which can be detected by tuning gate voltage. Our theory will be instructive for the studies of the QAH effect in MnBi$_2$Te$_4$ in future experiments.


title: TopoTxR: A Topological Biomarker for Predicting Treatment Response in Breast Cancer

abstract: Characterization of breast parenchyma on dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI) is a challenging task owing to the complexity of underlying tissue structures. Current quantitative approaches, including radiomics and deep learning models, do not explicitly capture the complex and subtle parenchymal structures, such as fibroglandular tissue. In this paper, we propose a novel method to direct a neural network's attention to a dedicated set of voxels surrounding biologically relevant tissue structures. By extracting multi-dimensional topological structures with high saliency, we build a topology-derived biomarker, TopoTxR. We demonstrate the efficacy of TopoTxR in predicting response to neoadjuvant chemotherapy in breast cancer. Our qualitative and quantitative results suggest differential topological behavior of breast tissue on treatment-na\"ive imaging, in patients who respond favorably to therapy versus those who do not.


title: Models of Computing as a Service and IoT: an analysis of the current scenario with applications using LPWAN

abstract: This work provides the basis to understand and select Cloud Computing models applied for the development of IoT solutions using Low-Power Wide Area Network (LPWAN). Cloud Computing paradigm has transformed how the industry implement solution, through the commoditization of shared IT infrastructures. The advent of massive Internet of Things (IoT) and related workloads brings new challenges to this scenario demanding malleable configurations where the resources are distributed closer to data sources. We introduce an analysis of existing solution architectures, along with an illustrative case from where we derive the lessons, challenges, and opportunities of combining these technologies for a new generation of Cloud-native solutions.


title: Formation of rims around chondrules via porous aggregate accretion

abstract: Chondrules are often surrounded by fine-grained rims or igneous rims. The properties of these rims reflect their formation histories. While the formation of fine-grained rims is modeled by the accretion of dust grains onto chondrules, the accretion should be followed by the growth of dust grains due to the shorter growth timescale than the accretion. In this paper, we investigate the formation of rims, taking into account the growth of porous dust aggregates. We estimate the rim thickness as a function of the chondrule fraction at a time when dust aggregate accretion onto chondrules is switched to collisions between these chondrules. Our estimations are consistent with the measured thicknesses of fine-grained rims in ordinary chondrites. However, those of igneous rims are thicker than our estimations. The thickness of igneous rims would be enlarged in remelting events.


title: Model Pruning Based on Quantified Similarity of Feature Maps

abstract: Convolutional Neural Networks (CNNs) has been applied in numerous Internet of Things (IoT) devices for multifarious downstream tasks. However, with the increasing amount of data on edge devices, CNNs can hardly complete some tasks in time with limited computing and storage resources. Recently, filter pruning has been regarded as an effective technique to compress and accelerate CNNs, but existing methods rarely prune CNNs from the perspective of compressing high-dimensional tensors. In this paper, we propose a novel theory to find redundant information in three-dimensional tensors, namely Quantified Similarity between Feature Maps (QSFM), and utilize this theory to guide the filter pruning procedure. We perform QSFM on datasets (CIFAR-10, CIFAR-100 and ILSVRC-12) and edge devices, demonstrate that the proposed method can find the redundant information in the neural networks effectively with comparable compression and tolerable drop of accuracy. Without any fine-tuning operation, QSFM can compress ResNet-56 on CIFAR-10 significantly (48.7% FLOPs and 57.9% parameters are reduced) with only a loss of 0.54% in the top-1 accuracy. For the practical application of edge devices, QSFM can accelerate MobileNet-V2 inference speed by 1.53 times with only a loss of 1.23% in the ILSVRC-12 top-1 accuracy.


title: A Hybrid Wired/Wireless Deterministic Network for Smart Grid

abstract: With the rapid growth of time-critical applications in smart grid, robotics, autonomous vehicles, and industrial automation, demand for high reliability, low latency and strictly bounded jitter is sharply increasing. High-precision time synchronization communications, such as Time Triggered Ethernet (TTE), have been successfully developed for wired networks. However, the high cost of deploying additional equipment and extra wiring limits the scalability of these networks. Therefore, in this paper, a hybrid wired/wireless high-precision time synchronization network based on a combination of high-speed TTE and 5G Ultra-Reliable and Low-Latency Communications (URLLC) is proposed. The main motivation is to comply with the low latency, low jitter, and high reliability requirements of time critical applications, such as smart grid synchrophasor communications. Therefore, in the proposed hybrid network architecture, a high-speed TTE is considered as the main bus (i.e., backbone network), whereas a Precision Time Protocol (PTP) aided 5G-URLLC-based wireless access is used as a sub-network. The main challenge is to achieve interoperability between the PTP aided URLLC and the TTE, while ensuring high precision timing and synchronization. The simulation results demonstrate the impact of the PTP-aided URLLC in maintaining network reliability, latency, and jitter in full coordination with the TTE-network.


title: Conservation-law-based global bounds to quantum optimal control

abstract: Active control of quantum systems enables diverse applications ranging from quantum computation to manipulation of molecular processes. Maximum speeds and related bounds have been identified from uncertainty principles and related inequalities, but such bounds utilize only coarse system information, and loosen significantly in the presence of constraints and complex interaction dynamics. We show that an integral-equation-based formulation of conservation laws in quantum dynamics leads to a systematic framework for identifying fundamental limits to any quantum control scenario. We demonstrate the utility of our bounds in three scenarios -- three-level driving, decoherence suppression, and maximum-fidelity gate implementations -- and show that in each case our bounds are tight or nearly so. Global bounds complement local-optimization-based designs, illuminating performance levels that may be possible as well as those that cannot be surpassed.


title: A general and fast convolution-based method for peridynamics: applications to elasticity and brittle fracture

abstract: We introduce a general and fast convolution-based method (FCBM) for peridynamics (PD). Expressing the PD integrals in terms of convolutions and computing them by fast Fourier transform (FFT), we reduce the computational complexity of PD models from O(N^2) to O(Nlog_2 N), with N being the total number of discretization nodes. Initial neighbor identification and storing neighbor information is not required, and, as a consequence, memory allocation scales with O(N) instead of O(N^2), common for existing methods. The method is applicable to bounded domains with arbitrary shapes and boundary conditions via an embedded constraint (EC) approach. We explain the FCBM-EC formulation for certain bond-based and state-based, linear and nonlinear PD models of elasticity and dynamic brittle fracture, as applications. We solve a 3D elastostatic problem and show that the FCBM reduces the computational time from days to hours and from years to days, compared with the original meshfree discretization for PD models. Large-scale computations of PD models are feasible with the new method, and we demonstrate its versatility by simulating, with ease, the difficult problem of multiple crack branching in a brittle plate.


title: VPP-ART: An Efficient Implementation of Fixed-Size-Candidate-Set Adaptive Random Testing using Vantage Point Partitioning

abstract: Adaptive Random Testing (ART) is an enhancement of Random Testing (RT), and aims to improve the RT failure-detection effectiveness by distributing test cases more evenly in the input domain. Many ART algorithms have been proposed, with Fixed-Size-Candidate-Set ART (FSCS-ART) being one of the most effective and popular. FSCS-ART ensures high failure-detection effectiveness by selecting the next test case as the candidate farthest from previously-executed test cases. Although FSCS-ART has good failure-detection effectiveness, it also faces some challenges, including heavy computational overheads. In this paper, we propose an enhanced version of FSCS-ART, Vantage Point Partitioning ART (VPP-ART). VPP-ART addresses the FSCS-ART computational overhead problem using vantage point partitioning, while maintaining the failure-detection effectiveness. VPP-ART partitions the input domain space using a modified Vantage Point tree (VP-tree) and finds the approximate nearest executed test cases of a candidate test case in the partitioned sub-domains -- thereby significantly reducing the time overheads compared with the searches required for FSCS-ART. To enable the FSCS-ART dynamic insertion process, we modify the traditional VP-tree to support dynamic data. The simulation results show that VPP-ART has a much lower time overhead compared to FSCS-ART, but also delivers similar (or better) failure-detection effectiveness, especially in the higher dimensional input domains. According to statistical analyses, VPP-ART can improve on the FSCS-ART failure-detection effectiveness by approximately 50% to 58%. VPP-ART also compares favorably with the KDFC-ART algorithms (a series of enhanced ART algorithms based on the KD-tree). Our experiments also show that VPP-ART is more cost-effective than FSCS-ART and KDFC-ART.


title: Dynamical Origin for Winner-Take-All Competition in A Biological Network of The Hippocampal Dentate Gyrus

abstract: We consider a biological network of the hippocampal dentate gyrus (DG). The DG is a pre-processor for pattern separation which facilitates pattern storage and retrieval in the CA3 area of the hippocampus. The main encoding cells in the DG are the granule cells (GCs) which receive the input from the entorhinal cortex (EC) and send their output to the CA3. The activation degree of GCs is so low (~ 5%). This sparsity has been thought to enhance the pattern separation. We investigate the dynamical origin for winner-take-all (WTA) competition which leads to sparse activation of the GCs. The whole GCs are grouped into lamellar clusters. In each GC cluster, there is one inhibitory (I) basket cell (BC) along with excitatory (E) GCs. There are three kinds of external inputs into the GCs; the direct excitatory EC input, the indirect inhibitory EC input, mediated by the HIPP (hilar perforant path-associated) cells, and the excitatory input from the hilar mossy cells (MCs). The firing activities of the GCs are determined via competition between the external E and I inputs. The E-I conductance ratio ${\cal{R}}_{\rm E-I}^{\rm (con)*}$ (given by the time average of the external E to I conductances) may represents well the degree of such external E-I input competition. GCs become active when their $\cal{R}_{\rm E-I}^{\rm (con)*}$ is larger than a threshold ${\cal{R}}_{th}^*$, and then the mean firing rates of the active GCs are strongly correlated with $\cal{R}_{\rm E-I}^{\rm (con)*}$. In each GC cluster, the feedback inhibition of the BC may select the winner GCs. GCs with larger $\cal{R}_{\rm E-I}^{\rm (con)*}$ than the threshold ${\cal{R}}_{th}^*$ survive, and they become winners; all the other GCs with smaller $\cal{R}_{\rm E-I}^{\rm (con)*}$ become silent. The WTA competition occurs via competition between the firing activity of the GCs and the feedback inhibition from the BC in each GC cluster.


title: DataExposer: Exposing Disconnect between Data and Systems

abstract: As data is a central component of many modern systems, the cause of a system malfunction may reside in the data, and, specifically, particular properties of the data. For example, a health-monitoring system that is designed under the assumption that weight is reported in imperial units (lbs) will malfunction when encountering weight reported in metric units (kilograms). Similar to software debugging, which aims to find bugs in the mechanism (source code or runtime conditions), our goal is to debug the data to identify potential sources of disconnect between the assumptions about the data and the systems that operate on that data. Specifically, we seek which properties of the data cause a data-driven system to malfunction. We propose DataExposer, a framework to identify data properties, called profiles, that are the root causes of performance degradation or failure of a system that operates on the data. Such identification is necessary to repair the system and resolve the disconnect between data and system. Our technique is based on causal reasoning through interventions: when a system malfunctions for a dataset, DataExposer alters the data profiles and observes changes in the system's behavior due to the alteration. Unlike statistical observational analysis that reports mere correlations, DataExposer reports causally verified root causes, in terms of data profiles, of the system malfunction. We empirically evaluate DataExposer on three real-world and several synthetic data-driven systems that fail on datasets due to a diverse set of reasons. In all cases, DataExposer identifies the root causes precisely while requiring orders of magnitude fewer interventions than prior techniques.


title: Enhanced tunability of two-dimensional electron gas on SrTiO3 through heterostructuring

abstract: Two-dimensional electron gases (2DEGs) on the SrTiO3 (STO) surface or in STO-based heterostructures have exhibited many intriguing phenomena, which are strongly dependent on the 2DEG-carrier density. We report that the tunability of the 2DEG-carrier density is significantly enhanced by adding a monolayer LaTiO3 (LTO) onto the STO. Ultraviolet (UV) irradiation induced maximum carrier density of the 2DEG in LTO/STO is increased by a factor of ~4 times, compared to that of the bare STO. By oxygen gas exposure, it becomes 10 times smaller than that of the bare STO. This enhanced tunability is attributed to the drastic surface property change of a polar LTO layer by UV irradiation and O2 exposure. This indicates that the 2DEG controllability in LTO/STO is more reliable than that on the bare STO driven by defects, such an oxygen vacancy.


title: House Price Prediction using Satellite Imagery

abstract: In this paper we show how using satellite images can improve the accuracy of housing price estimation models. Using Los Angeles County's property assessment dataset, by transferring learning from an Inception-v3 model pretrained on ImageNet, we could achieve an improvement of ~10% in R-squared score compared to two baseline models that only use non-image features of the house.


title: In situ investigation of conducting interface formation in LaAlO3/SrTiO3 heterostructure

abstract: The high-mobility conducting interface (CI) between LaAlO_{3}(LAO) and SrTiO_{3}(STO) has revealed many fascinating phenomena, including exotic magnetism and superconductivity. But, the formation mechanism of the CI has not been conclusively explained. Here, using in situ angle-resolved photoemission spectroscopy, we elucidated the mechanisms for the CI formation. In as-grown samples, we observed a built-in potential (V_{bi}) proportional to the polar LAO thickness starting from the first unit cell (UC) with CI formation appearing above 3 UCs. However, we found that the V bi is removed by synchrotron ultraviolet (UV)-irradiation; The built-in potential is recovered by oxygen gas (O_{2}(g))-exposure. Furthermore, after UV-irradiation, the CI appears even below 3UC of LAO. Our results demonstrate not only the V_{bi}-driven CI formation in asgrown LAO/STO, but also a new route to control of the interface state by UV lithographic patterning or other surface modification.


title: Performance of Superconducting Quantum Computing Chips under Different Architecture Design

abstract: Existing and near-term quantum computers can only perform two-qubit gates between physically connected qubits. Research has been done on compilers to rewrite quantum programs to match hardware constraints. However, the quantum processor architecture, in particular the qubit connectivity and topology, still lacks enough discussion, while it potentially has a huge impact on the performance of the quantum algorithms. We perform a quantitative and comprehensive study on the quantum processor performance under different qubit connectivity and topology. We select ten representative design models with different connectivities and topologies from quantum architecture design space and benchmark their performance by running a set of standard quantum algorithms. It is shown that a high-performance architecture almost always comes with a design with a large connectivity, while the topology shows a weak influence on the performance in our experiment. Different quantum algorithms show different dependence on quantum chip connectivity and topologies. This work provides quantum computing researchers with a systematic approach to evaluating their processor design.


title: Enhanced passive thermal stealth properties of VO$_2$ thin films via gradient W doping

abstract: Thermal stealth and camouflage have been intensively studied for blending objects with their surroundings against remote thermal image detection. Adaptive control of infrared emissivity has been explored extensively as a promising way of thermal stealth, but it still requires an additional feedback control. Passive modulation of emissivity, however, has been remained as a great challenge which requires a precise engineering of emissivity over wide temperature range. Here, we report a drastic improvement of passive camouflage thin films capable of concealing thermal objects at near room temperature without any feedback control, which consists of a vanadium dioxide (VO2) layer with gradient tungsten (W) concentration. The gradient W-doping widens the metal-insulator transition width, accomplishing self-adaptive thermal stealth with a smooth change of emissivity. Our simple approach, applicable to other similar thermal camouflage materials for improving their passive cloaking, will find wide applications, such as passive thermal camouflage, urban energy-saving smart windows, and improved infrared sensors.


title: Low Complexity Secure State Estimation Design for Linear System with Non-derogatory Dynamics

abstract: We consider the problem of estimating the state of a linear Gaussian system in the presence of integrity attacks. The attacker can compromise $p$ out of $m$ sensors, the set of which is fixed and unknown to the system operator, and manipulate the measurements arbitrarily. Under the assumption that all the eigenvalues of system matrix $A$ have geometric multiplicity $1$ ($A$ is non-derogatory), we propose a secure estimation scheme that is resilient to integrity attack as long as the system is $2p$-sparse observable. In the absence of attack, the proposed estimation coincides with Kalman estimation with a certain probability that can be adjusted. Furthermore, our proposed estimator is computational efficient during the security condition checking in the designing phase and during the estimation computing in the online operating phase. A numerical example is provided to corroborate the results and illustrate the performance of the proposed estimator.


title: Sudden death and revival of Gaussian Einstein-Podolsky-Rosen steering in noisy channels

abstract: Einstein-Podolsky-Rosen (EPR) steering is a useful resource for secure quantum information tasks. It is crucial to investigate the effect of inevitable loss and noise in quantum channels on EPR steering. We analyze and experimentally demonstrate the influence of purity of quantum states and excess noise on Gaussian EPR steering by distributing a two-mode squeezed state through lossy and noisy channels, respectively. We show that the impurity of state never leads to sudden death of Gaussian EPR steering, but the noise in quantum channel can. Then we revive the disappeared Gaussian EPR steering by establishing a correlated noisy channel. Different from entanglement, the sudden death and revival of Gaussian EPR steering are directional. Our result confirms that EPR steering criteria proposed by Reid and I. Kogias et al. are equivalent in our case. The presented results pave way for asymmetric quantum information processing exploiting Gaussian EPR steering in noisy environment.


title: Two Flavor Baryon Number Susceptibilities of Non-equilibrium State

abstract: In this paper, to be closer to the realities of the relativistic heavy ion collisions than the thermal equilibrium assumption often used in the calculations of baryon number susceptibilities, the creatures of the collisions are treated as isotropic systems with temperature gradient. In addition, the quarks are thought as the quasi-particles with thermal masses. By doing these and according to Boltzmann transport equation, we get our results of the experimental observables $S\sigma$ and $\kappa\sigma^2$. We found that the results show a gap in value and a centrality dependence, which might indicate the relation between the baryon number susceptibilities and the temperature gradient in QGP.


title: Causal Intervention for Leveraging Popularity Bias in Recommendation

abstract: Recommender system usually faces popularity bias issues: from the data perspective, items exhibit uneven (long-tail) distribution on the interaction frequency; from the method perspective, collaborative filtering methods are prone to amplify the bias by over-recommending popular items. It is undoubtedly critical to consider popularity bias in recommender systems, and existing work mainly eliminates the bias effect. However, we argue that not all biases in the data are bad -- some items demonstrate higher popularity because of their better intrinsic quality. Blindly pursuing unbiased learning may remove the beneficial patterns in the data, degrading the recommendation accuracy and user satisfaction. This work studies an unexplored problem in recommendation -- how to leverage popularity bias to improve the recommendation accuracy. The key lies in two aspects: how to remove the bad impact of popularity bias during training, and how to inject the desired popularity bias in the inference stage that generates top-K recommendations. This questions the causal mechanism of the recommendation generation process. Along this line, we find that item popularity plays the role of confounder between the exposed items and the observed interactions, causing the bad effect of bias amplification. To achieve our goal, we propose a new training and inference paradigm for recommendation named Popularity-bias Deconfounding and Adjusting (PDA). It removes the confounding popularity bias in model training and adjusts the recommendation score with desired popularity bias via causal intervention. We demonstrate the new paradigm on latent factor model and perform extensive experiments on three real-world datasets. Empirical studies validate that the deconfounded training is helpful to discover user real interests and the inference adjustment with popularity bias could further improve the recommendation accuracy.


title: On Sparsity Awareness in Distributed Computations

abstract: We extract a core principle underlying seemingly different fundamental distributed settings, showing sparsity awareness may induce faster algorithms for problems in these settings. To leverage this, we establish a new framework by developing an intermediate auxiliary model weak enough to be simulated in the CONGEST model given low mixing time, as well as in the recently introduced HYBRID model. We prove that despite imposing harsh restrictions, this artificial model allows balancing massive data transfers with high bandwidth utilization. We exemplify the power of our methods, by deriving shortest-paths algorithms improving upon the state-of-the-art. Specifically, we show the following for graphs of $n$ nodes: A $(3+\epsilon)$ approximation for weighted APSP in $(n^{1/2}+n/\delta)\tau_{mix}\cdot 2^{O(\sqrt\log n)}$ rounds in the CONGEST model, where $\delta$ is the minimum degree of the graph and $\tau_{mix}$ is its mixing time. For graphs with $\delta=\tau_{mix}\cdot 2^{\omega(\sqrt\log n)}$, this takes $o(n)$ rounds, despite the $\Omega(n)$ lower bound for general graphs [Nanongkai, STOC'14]. An $(n^{7/6}/m^{1/2}+n^2/m)\cdot\tau_{mix}\cdot 2^{O(\sqrt\log n)}$-round exact SSSP algorithm in the CONGNEST model, for graphs with $m$ edges and a mixing time of $\tau_{mix}$. This improves upon the algorithm of [Chechik and Mukhtar, PODC'20] for significant ranges of values of $m$ and $\tau_{mix}$. A CONGESTED CLIQUE simulation in the CONGEST model improving upon the state-of-the-art simulation of [Ghaffari, Kuhn, and SU, PODC'17] by a factor proportional to the average degree in the graph. An $\tilde O(n^{5/17}/\epsilon^9)$-round algorithm for a $(1+\epsilon)$ approximation for SSSP in the HYBRID model. The only previous $o(n^{1/3})$ round algorithm for distance approximations in this model is for a much larger factor [Augustine, Hinnenthal, Kuhn, Scheideler, Schneider, SODA'20].


title: Detection Landscape in the Deci-Hertz Gravitational-Wave Spectrum

abstract: Direct observations of gravitational waves at frequencies around deci-Hertz will play a crucial role in fully exploiting the potential of multi-messenger astronomy. In this chapter, we discuss the detection landscape for the next several decades of the deci-Hertz gravitational-wave spectrum. We provide an overview of the experimental frontiers being considered to probe this challenging regime and the astrophysics and fundamental goals accessible towards them. This includes interferometric observatories in space with heliocentric and geocentric satellites, cubesats, lunar-based experiments and atom intereferometry. A major focus of this chapter is towards the technology behind DECi-hertz Interferometer Gravitational wave Observatory (DECIGO) and its scientific pathfinder mission concept B-DECIGO.


title: GAN Prior Embedded Network for Blind Face Restoration in the Wild

abstract: Blind face restoration (BFR) from severely degraded face images in the wild is a very challenging problem. Due to the high illness of the problem and the complex unknown degradation, directly training a deep neural network (DNN) usually cannot lead to acceptable results. Existing generative adversarial network (GAN) based methods can produce better results but tend to generate over-smoothed restorations. In this work, we propose a new method by first learning a GAN for high-quality face image generation and embedding it into a U-shaped DNN as a prior decoder, then fine-tuning the GAN prior embedded DNN with a set of synthesized low-quality face images. The GAN blocks are designed to ensure that the latent code and noise input to the GAN can be respectively generated from the deep and shallow features of the DNN, controlling the global face structure, local face details and background of the reconstructed image. The proposed GAN prior embedded network (GPEN) is easy-to-implement, and it can generate visually photo-realistic results. Our experiments demonstrated that the proposed GPEN achieves significantly superior results to state-of-the-art BFR methods both quantitatively and qualitatively, especially for the restoration of severely degraded face images in the wild. The source code and models can be found at https://github.com/yangxy/GPEN.


title: Semi-Supervised Variational Reasoning for Medical Dialogue Generation

abstract: Medical dialogue generation aims to provide automatic and accurate responses to assist physicians to obtain diagnosis and treatment suggestions in an efficient manner. In medical dialogues two key characteristics are relevant for response generation: patient states (such as symptoms, medication) and physician actions (such as diagnosis, treatments). In medical scenarios large-scale human annotations are usually not available, due to the high costs and privacy requirements. Hence, current approaches to medical dialogue generation typically do not explicitly account for patient states and physician actions, and focus on implicit representation instead. We propose an end-to-end variational reasoning approach to medical dialogue generation. To be able to deal with a limited amount of labeled data, we introduce both patient state and physician action as latent variables with categorical priors for explicit patient state tracking and physician policy learning, respectively. We propose a variational Bayesian generative approach to approximate posterior distributions over patient states and physician actions. We use an efficient stochastic gradient variational Bayes estimator to optimize the derived evidence lower bound, where a 2-stage collapsed inference method is proposed to reduce the bias during model training. A physician policy network composed of an action-classifier and two reasoning detectors is proposed for augmented reasoning ability. We conduct experiments on three datasets collected from medical platforms. Our experimental results show that the proposed method outperforms state-of-the-art baselines in terms of objective and subjective evaluation metrics. Our experiments also indicate that our proposed semi-supervised reasoning method achieves a comparable performance as state-of-the-art fully supervised learning baselines for physician policy learning.


title: Leveraging Non-uniformity in First-order Non-convex Optimization

abstract: Classical global convergence results for first-order methods rely on uniform smoothness and the \L{}ojasiewicz inequality. Motivated by properties of objective functions that arise in machine learning, we propose a non-uniform refinement of these notions, leading to \emph{Non-uniform Smoothness} (NS) and \emph{Non-uniform \L{}ojasiewicz inequality} (N\L{}). The new definitions inspire new geometry-aware first-order methods that are able to converge to global optimality faster than the classical $\Omega(1/t^2)$ lower bounds. To illustrate the power of these geometry-aware methods and their corresponding non-uniform analysis, we consider two important problems in machine learning: policy gradient optimization in reinforcement learning (PG), and generalized linear model training in supervised learning (GLM). For PG, we find that normalizing the gradient ascent method can accelerate convergence to $O(e^{-t})$ while incurring less overhead than existing algorithms. For GLM, we show that geometry-aware normalized gradient descent can also achieve a linear convergence rate, which significantly improves the best known results. We additionally show that the proposed geometry-aware descent methods escape landscape plateaus faster than standard gradient descent. Experimental results are used to illustrate and complement the theoretical findings.


title: Good and Bad Optimization Models: Insights from Rockafellians

abstract: A basic requirement for a mathematical model is often that its solution (output) shouldn't change much if the model's parameters (input) are perturbed. This is important because the exact values of parameters may not be known and one would like to avoid being mislead by an output obtained using incorrect values. Thus, it's rarely enough to address an application by formulating a model, solving the resulting optimization problem and presenting the solution as the answer. One would need to confirm that the model is suitable, i.e., "good," and this can, at least in part, be achieved by considering a family of optimization problems constructed by perturbing parameters of concern. The resulting sensitivity analysis uncovers troubling situations with unstable solutions, which we referred to as "bad" models, and indicates better model formulations. Embedding an actual problem of interest within a family of problems is also a primary path to optimality conditions as well as computationally attractive, alternative problems, which under ideal circumstances, and when properly tuned, may even furnish the minimum value of the actual problem. The tuning of these alternative problems turns out to be intimately tied to finding multipliers in optimality conditions and thus emerges as a main component of several optimization algorithms. In fact, the tuning amounts to solving certain dual optimization problems. In this tutorial, we'll discuss the opportunities and insights afforded by this broad perspective.


title: Quantum Instruction Set Design for Performance

abstract: A quantum instruction set is where quantum hardware and software meet. We develop new characterization and compilation techniques for non-Clifford gates to accurately evaluate different quantum instruction set designs. We specifically apply them to our fluxonium processor that supports mainstream instruction $\mathrm{iSWAP}$ by calibrating and characterizing its square root $\mathrm{SQiSW}$. We measure a gate fidelity of up to $99.72\%$ with an average of $99.31\%$ and realize Haar random two-qubit gates using $\mathrm{SQiSW}$ with an average fidelity of $96.38\%$. This is an average error reduction of $41\%$ for the former and a $50\%$ reduction for the latter compared to using $\mathrm{iSWAP}$ on the same processor. This shows designing the quantum instruction set consisting of $\mathrm{SQiSW}$ and single-qubit gates on such platforms leads to a performance boost at almost no cost.


title: The Availability-Accountability Dilemma and its Resolution via Accountability Gadgets

abstract: For applications of Byzantine fault tolerant (BFT) consensus protocols where the participants are economic agents, recent works highlighted the importance of accountability: the ability to identify participants who provably violate the protocol. At the same time, being able to reach consensus under dynamic levels of participation is desirable for censorship resistance. We identify an availability-accountability dilemma: in an environment with dynamic participation, no protocol can simultaneously be accountably-safe and live. We provide a resolution to this dilemma by constructing a provably secure optimally-resilient accountability gadget to checkpoint a longest chain protocol, such that the full ledger is live under dynamic participation and the checkpointed prefix ledger is accountable. Our accountability gadget construction is black-box and can use any BFT protocol which is accountable under static participation. Using HotStuff as the black box, we implemented our construction as a protocol for the Ethereum 2.0 beacon chain, and our Internet-scale experiments with more than 4000 nodes show that the protocol achieves the required scalability and has better latency than the current solution Gasper, which was shown insecure by recent attacks.


title: New general lower and upper bounds under minimum-error quantum state discrimination

abstract: For the optimal success probability under minimum-error discrimination between $r\geq2$ arbitrary quantum states prepared with any a priori probabilities, we find new general analytical lower and upper bounds and specify the relations between these new general bounds and the general bounds known in the literature. We also present the example where the new general analytical bounds, lower and upper, on the optimal success probability are tighter than most of the general analytical bounds known in the literature. The new upper bound on the optimal success probability explicitly generalizes to $r>2$ the form of the Helstrom bound. For $r=2$, each of our new bounds, lower and upper, reduces to the Helstrom bound.


title: Baryon Number Fluctuations in Two Flavor NJL Model

abstract: Baryon number fluctuations are believed to be good signatures of the QCD phase transition and its CP. Since the fluctuations are proportional to the various order baryon-number susceptibilities and the quark-number density is related to the dressed quark propagator, then by the two flavor NJL model we can calculate the moments of the up and down quarks. By comparing the two flavor NJL model results with the experimental data of $S\sigma$ and $\kappa\sigma^2$ for the net-proton distributions of Au+Au collisions by STAR, we found that the NJL results fit the experiments better at large collision energies and show an obvious fluctuation at small energies. And this fluctuation reflect that the two flavor NJL model is sensitive to the parameters of temperature $T$ and quark chemical potential $\mu$ at small collision energies.


title: General Tail Bounds for Random Tensors Summation: Majorization Approach

abstract: In recent years, tensors have been applied to different applications in science and engineering fields. In order to establish theory about tail bounds of the tensors summation behavior, this work extends previous work by considering the tensors summation tail behavior of the top $k$-largest singular values of a function of the tensors summation, instead of the largest/smallest singular value of the tensors summation directly (identity function) explored in Shih Yu's work: Convenient tail bounds for sums of random tensors. Majorization and antisymmetric tensor product tools are main techniques utilized to establish inequalities for unitarily norms of multivariate tensors. The Laplace transform method is integrated with these inequalities for unitarily norms of multivariate tensors to give us tail bounds estimation for Ky Fan $k$-norm for a function of the tensors summation. By restricting different random tensor conditions, we obtain generalized tensor Chernoff and Bernstein inequalities.


title: Finite element algorithms for nonlocal minimal graphs

abstract: We discuss computational and qualitative aspects of the fractional Plateau and the prescribed fractional mean curvature problems on bounded domains subject to exterior data being a subgraph. We recast these problems in terms of energy minimization, and we discretize the latter with piecewise linear finite elements. For the computation of the discrete solutions, we propose and study a gradient flow and a Newton scheme, and we quantify the effect of Dirichlet data truncation. We also present a wide variety of numerical experiments that illustrate qualitative and quantitative features of fractional minimal graphs and the associated discrete problems.