title: PMSSC: Parallelizable multi-subset based self-expressive model for subspace clustering

abstract: Subspace clustering methods which embrace a self-expressive model that represents each data point as a linear combination of other data points in the dataset provide powerful unsupervised learning techniques. However, when dealing with large datasets, representation of each data point by referring to all data points via a dictionary suffers from high computational complexity. To alleviate this issue, we introduce a parallelizable multi-subset based self-expressive model (PMS) which represents each data point by combining multiple subsets, with each consisting of only a small proportion of the samples. The adoption of PMS in subspace clustering (PMSSC) leads to computational advantages because the optimization problems decomposed over each subset are small, and can be solved efficiently in parallel. Furthermore, PMSSC is able to combine multiple self-expressive coefficient vectors obtained from subsets, which contributes to an improvement in self-expressiveness. Extensive experiments on synthetic and real-world datasets show the efficiency and effectiveness of our approach in comparison to other methods.


title: Scaling Up Vision-Language Pre-training for Image Captioning

abstract: In recent years, we have witnessed significant performance boost in the image captioning task based on vision-language pre-training (VLP). Scale is believed to be an important factor for this advance. However, most existing work only focuses on pre-training transformers with moderate sizes (e.g., 12 or 24 layers) on roughly 4 million images. In this paper, we present LEMON, a LargE-scale iMage captiONer, and provide the first empirical study on the scaling behavior of VLP for image captioning. We use the state-of-the-art VinVL model as our reference model, which consists of an image feature extractor and a transformer model, and scale the transformer both up and down, with model sizes ranging from 13 to 675 million parameters. In terms of data, we conduct experiments with up to 200 million image-text pairs which are automatically collected from web based on the alt attribute of the image (dubbed as ALT200M). Extensive analysis helps to characterize the performance trend as the model size and the pre-training data size increase. We also compare different training recipes, especially for training on large-scale noisy data. As a result, LEMON achieves new state of the arts on several major image captioning benchmarks, including COCO Caption, nocaps, and Conceptual Captions. We also show LEMON can generate captions with long-tail visual concepts when used in a zero-shot manner.


title: Atomistic View of Homogeneous Nucleation of Water into Polymorphic Ices

abstract: Water is one of the most abundant substances on Earth, and ice, i.e., solid water, has more than 18 known phases. Normally ice in nature exists only as Ice Ih, Ice Ic, or a stacking disordered mixture of both. Although many theoretical efforts have been devoted to understanding the thermodynamics of different ice phases at ambient temperature and pressure, there still remains many puzzles. We simulated the reversible transitions between water and different ice phases by performing full atom molecular dynamics simulations. Using the enhanced sampling method MetaITS with the two selected X-ray diffraction peak intensities as collective variables, the ternary phase diagrams of liquid water, ice Ih, ice Ic at multiple were obtained. We also present a simple physical model which successfully explains the thermodynamic stability of ice. Our results agree with experiments and leads to a deeper understanding of the ice nucleation mechanism.


title: Global well-posedness for 2D fractional inhomogeneous Navier-Stokes equations with rough density

abstract: The paper concerns with the global well-posedness issue of the 2D incompressible inhomogeneous Navier-Stokes (INS) equations with fractional dissipation and rough density. We first establish the $L^q_t(L^p)$-maximal regularity estimate for the generalized Stokes system with fractional dissipation, and then we employ it to obtain the global existence of solution for the 2D fractional INS equations with large velocity field, provided that the $L^2\cap L^\infty$-norm of density minus constant 1 is small enough. Moreover, by additionally assuming that the density minus 1 is sufficiently small in the norm of some multiplier spaces, we prove the uniqueness of the constructed solution by using the Lagrangian coordinates approach. We also consider the density patch problem for the 2D fractional INS equations, and show the global persistence of $C^{1,\gamma}$-regularity of the density patch boundary when the piecewise jump of density is small enough.


title: Optimizing the Human Learnability of Abstract Network Representations

abstract: Precisely how humans process relational patterns of information in knowledge, language, music, and society is not well understood. Prior work in the field of statistical learning has demonstrated that humans process such information by building internal models of the underlying network structure. However, these mental maps are often inaccurate due to limitations in human information processing. The existence of such limitations raises clear questions: Given a target network that one wishes for a human to learn, what network should one present to the human? Should one simply present the target network as-is, or should one emphasize certain parts of the network to proactively mitigate expected errors in learning? To answer these questions, we study the optimization of network learnability. Evaluating an array of synthetic and real-world networks, we find that learnability is enhanced by reinforcing connections within modules or clusters. In contrast, when networks contain significant core-periphery structure we find that learnability is best optimized by reinforcing peripheral edges between low-degree nodes. Overall, our findings suggest that the accuracy of human network learning can be systematically enhanced by targeted emphasis and de-emphasis of prescribed sectors of information.


title: A Game Theoretic Analysis of Liquidity Events in Convertible Instruments

abstract: Convertible instruments are contracts, used in venture financing, which give investors the right to receive shares in the venture in certain circumstances. In liquidity events, investors may have the option to either receive back their principal investment, or to receive a proportional payment after conversion of the contract to a shareholding. In each case, the value of the payment may depend on the choices made by other investors who hold such convertible contracts. A liquidity event therefore sets up a game theoretic optimization problem. The paper defines a general model for such games, which is shown to cover all instances of the Y Combinator Simple Agreement for Future Equity (SAFE) contracts, a type of convertible instrument that is commonly used to finance startup ventures. The paper shows that, in general, pure strategy Nash equilibria do not necessarily exist in this model, and there may not exist an optimum pure strategy Nash equilibrium in cases where pure strategy Nash equilibria do exist. However, it is shown when all contracts are uniformly one of the SAFE contract types, an optimum pure strategy Nash equilibrium exists. Polynomial time algorithms for computing (optimum) pure strategy Nash equilibria in these cases are developed.


title: Composing Loop-carried Dependence with Other Loops

abstract: Sparse fusion is a compile-time loop transformation and runtime scheduling implemented as a domain-specific code generator. Sparse fusion generates efficient parallel code for the combination of two sparse matrix kernels where at least one of the kernels has loop-carried dependencies. Available implementations optimize individual sparse kernels. When optimized separately, the irregular dependence patterns of sparse kernels create synchronization overheads and load imbalance, and their irregular memory access patterns result in inefficient cache usage, which reduces parallel efficiency. Sparse fusion uses a novel inspection strategy with code transformations to generate parallel fused code for sparse kernel combinations that is optimized for data locality and load balance. Code generated by Sparse fusion outperforms the existing implementations ParSy and MKL on average 1.6X and 5.1X respectively and outperforms the LBC and DAGP coarsening strategies applied to a fused data dependence graph on average 5.1X and 7.2X respectively for various kernel combinations.


title: Harmonic Centrality in Some Graph Families

abstract: One of the more recent measures of centrality in social network analysis is the normalized harmonic centrality. A variant of the closeness centrality, harmonic centrality sums the inverse of the geodesic distances of each node to other nodes where it is 0 if there is no path from one node to another. It is then normalized by dividing it by m-1, where m is the number of nodes of the graph. In this paper, we present notions regarding the harmonic centrality of some important classes of graphs.


title: Upper Bounds for Positive Semidefinite Propagation Time

abstract: The tight upper bound $\operatorname{pt}_+(G) \leq \left\lceil \frac{\left\vert \operatorname{V}(G) \right\vert - \operatorname{Z}_+(G)}{2} \right\rceil$ is established for the positive semidefinite propagation time of a graph in terms of its positive semidefinite zero forcing number. To prove this bound, two methods of transforming one positive semidefinite zero forcing set into another and algorithms implementing these methods are presented. Consequences of the bound, including a tight Nordhaus-Gaddum sum upper bound on positive semidefinite propagation time, are established.


title: Hierarchical Federated Learning based Anomaly Detection using Digital Twins for Smart Healthcare

abstract: Internet of Medical Things (IoMT) is becoming ubiquitous with a proliferation of smart medical devices and applications used in smart hospitals, smart-home based care, and nursing homes. It utilizes smart medical devices and cloud computing services along with core Internet of Things (IoT) technologies to sense patients' vital body parameters, monitor health conditions and generate multivariate data to support just-in-time health services. Mostly, this large amount of data is analyzed in centralized servers. Anomaly Detection (AD) in a centralized healthcare ecosystem is often plagued by significant delays in response time with high performance overhead. Moreover, there are inherent privacy issues associated with sending patients' personal health data to a centralized server, which may also introduce several security threats to the AD model, such as possibility of data poisoning. To overcome these issues with centralized AD models, here we propose a Federated Learning (FL) based AD model which utilizes edge cloudlets to run AD models locally without sharing patients' data. Since existing FL approaches perform aggregation on a single server which restricts the scope of FL, in this paper, we introduce a hierarchical FL that allows aggregation at different levels enabling multi-party collaboration. We introduce a novel disease-based grouping mechanism where different AD models are grouped based on specific types of diseases. Furthermore, we develop a new Federated Time Distributed (FedTimeDis) Long Short-Term Memory (LSTM) approach to train the AD model. We present a Remote Patient Monitoring (RPM) use case to demonstrate our model, and illustrate a proof-of-concept implementation using Digital Twin (DT) and edge cloudlets.


title: PU-Transformer: Point Cloud Upsampling Transformer

abstract: Given the rapid development of 3D scanners, point clouds are becoming popular in AI-driven machines. However, point cloud data is inherently sparse and irregular, causing significant difficulties for machine perception. In this work, we focus on the point cloud upsampling task that intends to generate dense high-fidelity point clouds from sparse input data. Specifically, to activate the transformer's strong capability in representing features, we develop a new variant of a multi-head self-attention structure to enhance both point-wise and channel-wise relations of the feature map. In addition, we leverage a positional fusion block to comprehensively capture the local context of point cloud data, providing more position-related information about the scattered points. As the first transformer model introduced for point cloud upsampling, we demonstrate the outstanding performance of our approach by comparing with the state-of-the-art CNN-based methods on different benchmarks quantitatively and qualitatively.


title: Vectorizing Sparse Matrix Codes with Dependency Driven Trace Analysis

abstract: Sparse computations frequently appear in scientific simulations and the performance of these simulations rely heavily on the optimization of the sparse codes. The compact data structures and irregular computation patterns in sparse matrix computations introduce challenges to vectorizing these codes. Available approaches primarily vectorize regular regions of computations in the sparse code. They also reorganize data and computations, at a cost, to increase the number of regular regions. In this work, we propose a novel polyhedral model, called the partially strided codelets (PSC), that enables the vectorization of computation regions with irregular data access patterns. PSCs also improve data locality in sparse computation. Our DDF inspector-executor framework efficiently mines the memory accesses in the sparse computation, using an access function differentiation approach, to find PSC codelets. It generates vectorized code for the sparse matrix multiplication kernel (SpMV), a kernel with parallel outer loops, and for kernels with carried dependence, specifically the sparse triangular solver (SpTRSV). We demonstrate the performance of the DDF-generated code on a set of 60 large and small matrices (0.05-130M nonzeros). DDF outperforms the highly specialized library MKL with an average speedup of 1.93 and 4.5X for SpMV and SpTRSV, respectively. For the same matrices, DDF outperforms the state-of-the-art inspector-executor framework Sympiler [1] for the SpTRSV kernel by up to 11X and the work by Augustine et. al [2] for the SpMV kernel by up to 12X.


title: A Unified Decision Framework for Phase I Dose-Finding Designs

abstract: The purpose of a phase I dose-finding clinical trial is to investigate the toxicity profiles of various doses for a new drug and identify the maximum tolerated dose. Over the past three decades, various dose-finding designs have been proposed and discussed, including conventional model-based designs, new model-based designs using toxicity probability intervals, and rule-based designs. We present a simple decision framework that can generate several popular designs as special cases. We show that these designs share common elements under the framework, such as the same likelihood function, the use of loss functions, and the nature of the optimal decisions as Bayes rules. They differ mostly in the choice of the prior distributions. We present theoretical results on the decision framework and its link to specific and popular designs like mTPI, BOIN, and CRM. These results provide useful insights into the designs and their underlying assumptions, and convey information to help practitioners select an appropriate design.


title: A strain-engineered graphene qubit in a nanobubble

abstract: We propose a controllable qubit in a graphene nanobubble with emergent two-level systems induced by pseudo-magnetic fields. We found that double quantum dots can be created by the strain-induced pseudo-magnetic fields of a nanobubble, and that their quantum states can be manipulated by either local gate potentials or the pseudo-magnetic fields. Graphene qubits clearly exhibit an avoided crossing behavior via electrical detuning, with energy splittings of about a few meV. We also show a remarkable tunability of our device design that allows for the fine control of the Landau--Zener transition probability through strain engineering of the nanobubble, showing half-and-half splitting at the avoided crossing point. Further, we demonstrate that the two-level systems in the nanobubble exhibit Rabi oscillations near the avoided crossing point, resulting in very fast Rabi cycles of a few ps.


title: Fine properties of branch point singularities: stationary two-valued graphs and stable minimal hypersurfaces near points of density $< 3$

abstract: We study (higher order) asymptotic behaviour near branch points of stationary $n$-dimensional two-valued $C^{1, \mu}$ graphs in an open subset of ${\mathbb R}^{n+m}$. Specifically, if $M$ is the graph of a two-valued $C^{1, \mu}$ function $u$ on an open subset $\Omega \subset {\mathbb R}^{n}$ taking values in the space of un-ordered pairs of points in ${\mathbb R}^{m}$, and if the integral varifold $V = (M, \theta),$ where the multiplicity function $\theta \, : \, M \rightarrow \{1, 2\}$ is such that $\theta =2$ on the set where the two values of $u$ agree and $\theta =1$ otherwise, is stationary in $\Omega \times {\mathbb R}^{m}$ with respect to the mass functional, we show that at ${\mathcal H}^{n-2}$-a.e.\ point $Z$ along its branch locus $u$ decays asymptotically, modulo its single valued average, to a unique non-zero two-valued cylindrical harmonic tangent function $\varphi^{(Z)}$ which is homogeneous of some degree $\geq 3/2$. As a corollary, we obtain that the branch locus of $u$ is countably $(n-2)$-rectifiable, and near points $Z$ where the degree of homogeneity of $\varphi^{(Z)}$ is equal to $3/2$, the branch locus is an embedded real analytic submanifold of dimension $n-2$. These results, combined with the recent works \cite{M} and \cite{MW}, imply a stratification theorem for the (relatively open) set of density $< 3$ points of a stationary codimension 1 integral $n$-varifold with stable regular part and no triple junction singularities.


title: Spin Hall response at finite wave vector in ferromagnets

abstract: Spin Hall effect at finite wave vector in a ferromagnetic conductor is theoretically studied by calculating the spin density as the linear response to an applied electric field. The cases of a spin-orbit interaction due to random impurities and a localized Rashba interaction are considered. It is shown that the spin Hall effect has a broad response for the wave vector $q\lesssim 2\kf$ where $\kf $ is the Fermi wave vector. This fact confirms the local nature of the spin-charge conversion effects.


title: Non-asymptotic estimation of risk measures using stochastic gradient Langevin dynamics

abstract: In this paper we will study the approximation of arbitrary law invariant risk measures. As a starting point, we approximate the average value at risk using stochastic gradient Langevin dynamics, which can be seen as a variant of the stochastic gradient descent algorithm. Further, the Kusuoka's spectral representation allows us to bootstrap the estimation of the average value at risk to extend the algorithm to general law invariant risk measures. We will present both theoretical, non-asymptotic convergence rates of the approximation algorithm and numerical simulations.


title: On-chip unidirectional waveguiding for surface acoustic waves along a defect line in a triangular lattice

abstract: The latest advances in topological physics have yielded a rich toolset to design highly robust wave transfer systems, for overcoming issues like beam steering and lateral diffraction in surface acoustic waves (SAWs). However, presently used designs for topologically protected SAWs have been largely limited to spin or valley-polarized phases, which rely on non-zero Berry curvature effects. Here we propose and experimentally demonstrate a highly robust SAW waveguide on lithium niobate (LiNbO3), based on a line defect within a true triangular phononic lattice, which instead employs an intrinsic chirality of phase vortices and maintains a zero Berry curvature. The guided SAW mode spans a wide bandwidth and shows confinement in the lateral direction with 3 dB attenuation within half of the unit-cell length. SAW routing around sharp bends has been demonstrated in such waveguide, with less than ~4% reflection per bend. The waveguide has also been found robust for defect lines with different configurations. The fully on-chip system permits unidirectional SAW modes that are tightly bound to the waveguide, which provides a compact footprint ideal for miniaturization of practical applications and offers insight into the possibility of manipulating highly focused SAW propagation.


title: Analysis of Fr\"ohlich bipolarons

abstract: Following a resurgence of interest in dilute superconductivity in polar semiconductors, we perform a variational calculation to probe the existence of Fr{\"o}hlich bipolarons in these materials. Our solution is capable of interpolating between the weak- and strong-coupling limits of the electron-phonon interaction. We predict bipolaron formation in solely the strong-coupling regime, and we are not aware of any existing materials at these parameter values. However, imposing an extrinsic electron size constraint to mimic confinement on the sub-micron scale produces binding in new parts of the phase diagram, including at weak coupling, within reach of the near-ferroelectric perovskites.


title: Multiple super-resolution imaging from Mikaelian lens to generalized Maxwell's fish-eye lens

abstract: Super-resolution imaging is vital for optical applications, such as high capacity information transmission, real-time bio-molecular imaging and nanolithography. Technology and method of super-resolution imaging have attracted much attention. In recent years, different kinds of novel lens, from the superlens to the super-oscillatory lens, has been designed and fabricated to break out the diffraction limit. However, the effect of the super-resolution imaging in these lenses is not satisfactory due to intrinsic loss, aberration, bigger sidebands and single super-resolution imaging. In this research, we introduce the solid immersion mechanism to Mikaelian lens (ML) for multiple super-resolution imaging.


title: An Efficient Semismooth Newton Method for Adaptive Sparse Signal Recovery Problems

abstract: We know that compressive sensing can establish stable sparse recovery results from highly undersampled data under a restricted isometry property condition. In reality, however, numerous problems are coherent, and vast majority conventional methods might work not so well. Recently, it was shown that using the difference between $\ell_1$- and $\ell_2$-norm as a regularization always has superior performance. In this paper, we propose an adaptive $\ell_p$-$\ell_{1-2}$ model where the $\ell_p$-norm with $p\geq 1$ measures the data fidelity and the $\ell_{1-2}$-term measures the sparsity. This proposed model has the ability to deal with different types of noises and extract the sparse property even under high coherent condition. We use a proximal majorization-minimization technique to handle the nonconvex regularization term and then employ a semismooth Newton method to solve the corresponding convex relaxation subproblem. We prove that the sequence generated by the semismooth Newton method admits fast local convergence rate to the subproblem under some technical assumptions. Finally, we do some numerical experiments to demonstrate the superiority of the proposed model and the progressiveness of the proposed algorithm.


title: Third-party Service Dependencies and Centralization Around the World

abstract: There is a growing concern about consolidation trends in Internet services, with, for instance, a large fraction of popular websites depending on a handful of third-party service providers. In this paper, we report on a large-scale study of third-party dependencies around the world, using vantage points from 50 countries, from all inhabited continents, and regional top-500 popular websites.This broad perspective shows that dependencies vary widely around the world. We find that between 15% and as much as 80% of websites, across all countries, depend on a DNS, CDN or CA third-party provider.Sites critical dependencies, while lower, are equally spread ranging from 9% and 61% (CDN and DNS in China, respectively).Despite this high variability, our results suggest a highly concentrated market of third-party providers: three third-party providers across all countries serve an average of 91.2% and Google, by itself, serves an average of 72% of the surveyed websites. We explore various factors that may help explain the differences and similarities in degrees of third-party dependency across countries, including economic conditions, Internet development, language, and economic trading partners.


title: Emergence of dynamic properties in network hyper-motifs

abstract: Networks are fundamental for our understanding of complex systems. Interactions between individual nodes in networks generate network motifs - small recurrent patterns that can be considered the network's building-block components, providing certain dynamical properties. However, it remains unclear how network motifs are arranged within networks and what properties emerge from interactions between network motifs. Here we develop a framework to explore the mesoscale-level behavior of complex networks. Considering network motifs as hyper-nodes, we define the rules for their interaction at the network's next level of organization. We infer the favorable arrangements of interactions between network motifs into hyper-motifs from real evolved and designed networks data including biological, neuronal, social, linguistic and electronic networks. We mathematically explore the emergent properties of these higher-order circuits and their relations to the properties of the individual minimal circuit components they combine. This framework provides a basis for exploring the mesoscale structure and behavior of complex systems where it can be used to reveal intermediate patterns in complex networks and to identify specific nodes and links in the network that are the key drivers of the network's emergent properties.


title: A Family of Independent Variable Eddington Factor Methods with Efficient Preconditioned Iterative Solvers

abstract: We present a family of discretizations for the Variable Eddington Factor (VEF) equations that have high-order accuracy on curved meshes and efficient preconditioned iterative solvers. The VEF discretizations are combined with a high-order Discontinuous Galerkin transport discretization to form an effective high-order, linear transport method. The VEF discretizations are derived by extending the unified analysis of Discontinuous Galerkin methods for elliptic problems to the VEF equations. This framework is used to define analogs of the interior penalty, second method of Bassi and Rebay, minimal dissipation local Discontinuous Galerkin, and continuous finite element methods. The analysis of subspace correction preconditioners, which use a continuous operator to iteratively precondition the discontinuous discretization, is extended to the case of the non-symmetric VEF system. Numerical results demonstrate that the VEF discretizations have arbitrary-order accuracy on curved meshes, preserve the thick diffusion limit, and are effective on a proxy problem from thermal radiative transfer in both outer transport iterations and inner preconditioned linear solver iterations. In addition, a parallel weak scaling study of the interior penalty VEF discretization demonstrates the scalability of the method out to 1152 processors.


title: ACD-EDMD: Analytical Construction for Dictionaries of Lifting Functions in Koopman Operator-based Nonlinear Robotic Systems

abstract: Koopman operator theory has been gaining momentum for model extraction, planning, and control of data-driven robotic systems. The Koopman operator's ability to extract dynamics from data depends heavily on the selection of an appropriate dictionary of lifting functions. In this paper we propose ACD-EDMD, a new method for Analytical Construction of Dictionaries of appropriate lifting functions for a range of data-driven Koopman operator based nonlinear robotic systems. The key insight of this work is that information about fundamental topological spaces of the nonlinear system (such as its configuration space and workspace) can be exploited to steer the construction of Hermite polynomial-based lifting functions. We show that the proposed method leads to dictionaries that are simple to implement while enjoying provable completeness and convergence guarantees when observables are weighted bounded. We evaluate ACD-EDMD using a range of diverse nonlinear robotic systems in both simulated and physical hardware experimentation (a wheeled mobile robot, a two-revolute-joint robotic arm, and a soft robotic leg). Results reveal that our method leads to dictionaries that enable high-accuracy prediction and that can generalize to diverse validation sets. The associated GitHub repository of our algorithm can be accessed at \url{https://github.com/UCR-Robotics/ACD-EDMD}.


title: Post-Quantum Zero Knowledge, Revisited (or: How to Do Quantum Rewinding Undetectably)

abstract: A major difficulty in quantum rewinding is the fact that measurement is destructive: extracting information from a quantum state irreversibly changes it. This is especially problematic in the context of zero-knowledge simulation, where preserving the adversary's state is essential. In this work, we develop new techniques for quantum rewinding in the context of extraction and zero-knowledge simulation: (1) We show how to extract information from a quantum adversary by rewinding it without disturbing its internal state. We use this technique to prove that important interactive protocols, such as the Goldreich-Micali-Wigderson protocol for graph non-isomorphism and the Feige-Shamir protocol for NP, are zero-knowledge against quantum adversaries. (2) We prove that the Goldreich-Kahan protocol for NP is post-quantum zero knowledge using a simulator that can be seen as a natural quantum extension of the classical simulator. Our results achieve (constant-round) black-box zero-knowledge with negligible simulation error, appearing to contradict a recent impossibility result due to Chia-Chung-Liu-Yamakawa (FOCS 2021). This brings us to our final contribution: (3) We introduce coherent-runtime expected quantum polynomial time, a computational model that (a) captures all of our zero-knowledge simulators, (b) cannot break any polynomial hardness assumptions, and (c) is not subject to the CCLY impossibility. In light of our positive results and the CCLY negative results, we propose coherent-runtime simulation to be the right quantum analogue of classical expected polynomial-time simulation.


title: On Recoding Ordered Treatments as Binary Indicators

abstract: Researchers using instrumental variables to investigate ordered treatments often recode treatment into an indicator for any exposure. We investigate this estimand under the assumption that the instruments shift compliers from no treatment to some but not from some treatment to more. We show that when there are extensive margin compliers only (EMCO) this estimand captures a weighted average of treatment effects that can be partially unbundled into each complier group's potential outcome means. We also establish an equivalence between EMCO and a two-factor selection model and apply our results to study treatment heterogeneity in the Oregon Health Insurance Experiment.


title: A note on Dirichlet spectrum

abstract: We prove a result related to Dirichlet spectrum for simultaneous approximation to two real numbers in Euclidean norm and badly or very well approximability.


title: Federated Dynamic Neural Network for Deep MIMO Detection

abstract: In this paper, we develop a dynamic detection network (DDNet) based detector for multiple-input multiple-output (MIMO) systems. By constructing an improved DetNet (IDetNet) detector and the OAMPNet detector as two independent network branches, the DDNet detector performs sample-wise dynamic routing to adaptively select a better one between the IDetNet and the OAMPNet detectors for every samples under different system conditions. To avoid the prohibitive transmission overhead of dataset collection in centralized learning (CL), we propose the federated averaging (FedAve)-DDNet detector, where all raw data are kept at local clients and only locally trained model parameters are transmitted to the central server for aggregation. To further reduce the transmission overhead, we develop the federated gradient sparsification (FedGS)-DDNet detector by randomly sampling gradients with elaborately calculated probability when uploading gradients to the central server. Based on simulation results, the proposed DDNet detector consistently outperforms other detectors under all system conditions thanks to the sample-wise dynamic routing. Moreover, the federated DDNet detectors, especially the FedGS-DDNet detector, can reduce the transmission overhead by at least 25.7\% while maintaining satisfactory detection accuracy.


title: Metric dimension and edge metric dimension of unicyclic graphs

abstract: The metric (resp. edge metric) dimension of a simple connected graph $G$, denoted by dim$(G)$ (resp. edim$(G)$), is the cardinality of a smallest vertex subset $S\subseteq V(G)$ for which every two distinct vertices (resp. edges) in $G$ have distinct distances to a vertex of $S$. It is an interesting topic to discuss the relation between dim$(G)$ and edim$(G)$ for some class of graphs $G$. In this paper, we settle two open problems on this topic for a widely studied class of graphs, called unicyclic graphs. Specifically, we introduce four classes of subgraphs to characterize the structure of a unicyclic graph whose metric (resp . edge metric) dimension is equal to the lower bound on this invariant for unicyclic graphs. Based on this, we determine the exact values of dim$(G)$ and edim$(G)$ for all unicyclic graphs $G$.


title: Reinforcement Learning based Path Exploration for Sequential Explainable Recommendation

abstract: Recent advances in path-based explainable recommendation systems have attracted increasing attention thanks to the rich information provided by knowledge graphs. Most existing explainable recommendations only utilize static knowledge graphs and ignore the dynamic user-item evolutions, leading to less convincing and inaccurate explanations. Although there are some works that realize that modelling user's temporal sequential behaviour could boost the performance and explainability of the recommender systems, most of them either only focus on modelling user's sequential interactions within a path or independently and separately of the recommendation mechanism. In this paper, we propose a novel Temporal Meta-path Guided Explainable Recommendation leveraging Reinforcement Learning (TMER-RL), which utilizes reinforcement item-item path modelling between consecutive items with attention mechanisms to sequentially model dynamic user-item evolutions on dynamic knowledge graph for explainable recommendation. Compared with existing works that use heavy recurrent neural networks to model temporal information, we propose simple but effective neural networks to capture users' historical item features and path-based context to characterize the next purchased item. Extensive evaluations of TMER on two real-world datasets show state-of-the-art performance compared against recent strong baselines.


title: APANet: Adaptive Prototypes Alignment Network for Few-Shot Semantic Segmentation

abstract: Few-shot semantic segmentation aims to segment novel-class objects in a given query image with only a few labeled support images. Most advanced solutions exploit a metric learning framework that performs segmentation through matching each query feature to a learned class-specific prototype. However, this framework suffers from biased classification due to incomplete feature comparisons. To address this issue, we present an adaptive prototype representation by introducing class-specific and class-agnostic prototypes and thus construct complete sample pairs for learning semantic alignment with query features. The complementary features learning manner effectively enriches feature comparison and helps yield an unbiased segmentation model in the few-shot setting. It is implemented with a two-branch end-to-end network (i.e., a class-specific branch and a class-agnostic branch), which generates prototypes and then combines query features to perform comparisons. In addition, the proposed class-agnostic branch is simple yet effective. In practice, it can adaptively generate multiple class-agnostic prototypes for query images and learn feature alignment in a self-contrastive manner. Extensive experiments on PASCAL-5$^i$ and COCO-20$^i$ demonstrate the superiority of our method. At no expense of inference efficiency, our model achieves state-of-the-art results in both 1-shot and 5-shot settings for semantic segmentation.


title: Pixel-wise Energy-biased Abstention Learning for Anomaly Segmentation on Complex Urban Driving Scenes

abstract: State-of-the-art (SOTA) anomaly segmentation approaches on complex urban driving scenes explore pixel-wise classification uncertainty learned from outlier exposure, or external reconstruction models. However, previous uncertainty approaches that directly associate high uncertainty to anomaly may sometimes lead to incorrect anomaly predictions, and external reconstruction models tend to be too inefficient for real-time self-driving embedded systems. In this paper, we propose a new anomaly segmentation method, named pixel-wise energy-biased abstention learning (PEBAL), that explores pixel-wise abstention learning (AL) with a model that learns an adaptive pixel-level anomaly class, and an energy-based model (EBM) that learns inlier pixel distribution. More specifically, PEBAL is based on a non-trivial joint training of EBM and AL, where EBM is trained to output high-energy for anomaly pixels (from outlier exposure) and AL is trained such that these high-energy pixels receive adaptive low penalty for being included to the anomaly class. We extensively evaluate PEBAL against the SOTA and show that it achieves the best performance across four benchmarks. Code is available at https://github.com/tianyu0207/PEBAL.


title: Distribution Estimation to Automate Transformation Policies for Self-Supervision

abstract: In recent visual self-supervision works, an imitated classification objective, called pretext task, is established by assigning labels to transformed or augmented input images. The goal of pretext can be predicting what transformations are applied to the image. However, it is observed that image transformations already present in the dataset might be less effective in learning such self-supervised representations. Building on this observation, we propose a framework based on generative adversarial network to automatically find the transformations which are not present in the input dataset and thus effective for the self-supervised learning. This automated policy allows to estimate the transformation distribution of a dataset and also construct its complementary distribution from which training pairs are sampled for the pretext task. We evaluated our framework using several visual recognition datasets to show the efficacy of our automated transformation policy.


title: Noise Enhanced Neural Networks for Analytic Continuation

abstract: Analytic continuation maps imaginary-time Green's functions obtained by various theoretical/numerical methods to real-time response functions that can be directly compared with experiments. Analytic continuation is an important bridge between many-body theories and experiments but is also a challenging problem because such mappings are ill-conditioned. In this work, we develop a neural network-based method for this problem. The training data is generated either using synthetic Gaussian-type spectral functions or from exactly solvable models where the analytic continuation can be obtained analytically. Then, we applied the trained neural network to the testing data, either with synthetic noise or intrinsic noise in Monte Carlo simulations. We conclude that the best performance is always achieved when a proper amount of noise is added to the training data. Moreover, our method can successfully capture multi-peak structure in the resulting response function for the cases with the best performance. The method can be combined with Monte Carlo simulations to compare with experiments on real-time dynamics.


title: The Practical Scope of the Central Limit Theorem

abstract: The \textit{Central Limit Theorem (CLT)} is at the heart of a great deal of applied problem-solving in statistics and data science, but the theorem is silent on an important implementation issue: \textit{how much data do you need for the CLT to give accurate answers to practical questions?} Here we examine several approaches to addressing this issue -- along the way reviewing the history of this problem over the last 290 years -- and we illustrate the calculations with case-studies from finite-population sampling and gambling. A variety of surprises emerge.


title: Localization state induced superconductivity, pseudogap and strange metal

abstract: The emergence of superconductivity in unconventional superconductors usually accompanies the normal-state phases of pseudogap, strange metal and Fermi liquid. It indicates these phases are strongly related to the superconducting state and should be dominated by yet unclear mechanism of superconductivity. Here, we propose a microscopic theory that, according to the coupling between localized and extended states, the pairing electrons which leap on and off a localized state result in superconducting instability. Two distinguishable pairing gaps are observed in these states, one dominates the superconducting temperature and another the temperature of a coherent pair confined at localized area. The pairing correlation between these states results in four phases. Their characteristics are manifested in universal Planckian-like resistivity and unusual carrier distribution, as observed in recent experiments.


title: The plasma suppression effect can be ignored in realistic FRB models invoking bunched coherent radio emission

abstract: One widely discussed mechanism to produce highly coherent radio emission of fast radio bursts (FRBs) is coherent emission by bunches, either via curvature radiation or inverse Compton scattering (ICS). It has been suggested that the plasma oscillation effect can significantly suppress coherent emission power by bunches. We examine this criticism in this paper. The suppression factor formalism was derived within the context of radio pulsars in which radio waves are in the low-amplitude, linear regime and cannot directly be applied to the large-amplitude, non-linear regime relevant for FRBs. Even if one applies this linear treatment, plasma suppression is not important for two physical reasons. First, for an efficient radiation mechanism such as ICS, the required plasma density is not high so that a high-density plasma may not exist. Second, both bunched coherent mechanisms demand that a large global parallel electric field ($E_\parallel$) must exist in the emission region in order to continuously inject energy to the bunches to power an FRB. In order to produce typical FRB duration via coherent curvature or ICS radiation, a parallel electric field must be present to balance the acceleration and radiation back-reaction. The plasma suppression factor should be modified with the existence of $E_\parallel$. We show that the correction factor for curvature radiation, $f_{\rm cur}$, increases with $E_\parallel$ and becomes 1 when $E_\parallel$ reaches the radiation-reaction-limited regime. We conclude that the plasma suppression effect can be ignored for realistic FRB emission models invoking bunched coherent radio emission.


title: The stellar system HIP 101227: is it a binary, a triple or a quadruple system?

abstract: In this paper, we present the analysis of the stellar system HIP 101227 to determine the actual number of components in the system, and their properties. We use dynamical modeling and complex spectrophotometric (involving atmospheric modeling) techniques with recent data, to determine the physical properties and orbital solution for the system, respectively, with better accuracy than past studies. Based on our analysis, we found that the system is more consistent with being a quadruple rather than a binary, or a triple system as that suggested by previous studies. The total mass of the system determined from our SED analysis is 3.42 $\pm$ 0.20 $M_{\odot}$, which are distributed almost equally between the four stars. The stars are found to be zero-age main sequence stars; i.e., at the last stage of pre-main sequence,with age less than 200 Myr and spectral types K0. All four stars have very similar physical characteristics, suggesting that fragmentation process is the most likely theory for the formation and evolution of the system.


title: Spin dynamics simulation of the $Z_2$-vortex fluctuations

abstract: Motivated by the recent quasi-elastic neutron scattering experiment, we extend the spin-dynamics simulation on the triangular-lattice Heisenberg antiferromagnet, to observe a sharp central peak of its energy width $\sim 0.001J$ ($J$ the exchange coupling) of the $Z_2$-vortex origin, consistently with the experiment.


title: Causal Analysis and Prediction of Human Mobility in the U.S. during the COVID-19 Pandemic

abstract: Since the increasing outspread of COVID-19 in the U.S., with the highest number of confirmed cases and deaths in the world as of September 2020, most states in the country have enforced travel restrictions resulting in sharp reductions in mobility. However, the overall impact and long-term implications of this crisis to travel and mobility remain uncertain. To this end, this study develops an analytical framework that determines and analyzes the most dominant factors impacting human mobility and travel in the U.S. during this pandemic. In particular, the study uses Granger causality to determine the important predictors influencing daily vehicle miles traveled and utilize linear regularization algorithms, including Ridge and LASSO techniques, to model and predict mobility. State-level time-series data were obtained from various open-access sources for the period starting from March 1, 2020 through June 13, 2020 and the entire data set was divided into two parts for training and testing purposes. The variables selected by Granger causality were used to train the three different reduced order models by ordinary least square regression, Ridge regression, and LASSO regression algorithms. Finally, the prediction accuracy of the developed models was examined on the test data. The results indicate that the factors including the number of new COVID cases, social distancing index, population staying at home, percent of out of county trips, trips to different destinations, socioeconomic status, percent of people working from home, and statewide closure, among others, were the most important factors influencing daily VMT. Also, among all the modeling techniques, Ridge regression provides the most superior performance with the least error, while LASSO regression also performed better than the ordinary least square model.


title: Sharpness-aware Quantization for Deep Neural Networks

abstract: Network quantization is a dominant paradigm of model compression. However, the abrupt changes in quantized weights during training often lead to severe loss fluctuations and result in a sharp loss landscape, making the gradients unstable and thus degrading the performance. Recently, Sharpness-Aware Minimization (SAM) has been proposed to smooth the loss landscape and improve the generalization performance of the models. Nevertheless, directly applying SAM to the quantized models can lead to perturbation mismatch or diminishment issues, resulting in suboptimal performance. In this paper, we propose a novel method, dubbed Sharpness-Aware Quantization (SAQ), to explore the effect of SAM in model compression, particularly quantization for the first time. Specifically, we first provide a unified view of quantization and SAM by treating them as introducing quantization noises and adversarial perturbations to the model weights, respectively. According to whether the noise and perturbation terms depend on each other, SAQ can be formulated into three cases, which are analyzed and compared comprehensively. Furthermore, by introducing an efficient training strategy, SAQ only incurs a little additional training overhead compared with the default optimizer (e.g., SGD or AdamW). Extensive experiments on both convolutional neural networks and Transformers across various datasets (i.e., ImageNet, CIFAR-10/100, Oxford Flowers-102, Oxford-IIIT Pets) show that SAQ improves the generalization performance of the quantized models, yielding the SOTA results in uniform quantization. For example, on ImageNet, SAQ outperforms AdamW by 1.2% on the Top-1 accuracy for 4-bit ViT-B/16. Our 4-bit ResNet-50 surpasses the previous SOTA method by 0.9% on the Top-1 accuracy.


title: Formalization of Bond Graph using Higher-order-logic Theorem Proving

abstract: Bond graph is a unified graphical approach for describing the dynamics of complex engineering and physical systems and is widely adopted in a variety of domains, such as, electrical, mechanical, medical, thermal and fluid mechanics. Traditionally, these dynamics are analyzed using paper-and-pencil proof methods and computer-based techniques. However, both of these techniques suffer from their inherent limitations, such as human-error proneness, approximations of results and enormous computational requirements. Thus, these techniques cannot be trusted for performing the bond graph based dynamical analysis of systems from the safety-critical domains like robotics and medicine. Formal methods, in particular, higher-order-logic theorem proving, can overcome the shortcomings of these traditional methods and provide an accurate analysis of these systems. It has been widely used for analyzing the dynamics of engineering and physical systems. In this paper, we propose to use higher-order-logic theorem proving for performing the bond graph based analysis of the physical systems. In particular, we provide formalization of bond graph, which mainly includes functions that allow conversion of a bond graph to its corresponding mathematical model (state-space model) and the verification of its various properties, such as, stability. To illustrate the practical effectiveness of our proposed approach, we present the formal stability analysis of a prosthetic mechatronic hand using HOL Light theorem prover. Moreover, to help non-experts in HOL, we encode our formally verified stability theorems in MATLAB to perform the stability analysis of an anthropomorphic prosthetic mechatronic hand.


title: Theoretical analysis of the inverse Edelstein effect at the LaAlO$_3$ / SrTiO$_3$ interface with an effective tight-binding model: Important role of the second $d_{xy}$ subband

abstract: The two-dimensional electron gas formed at interfaces between SrTiO$_3$ and other materials has attracted much attention since extremely efficient spin-to-charge current conversion has been recently observed at these interfaces. This has been attributed to their complicated quantized multi-orbital structures with a topological feature. However, there are few reports quantitatively comparing the conversion efficiency values between experiments and theoretical calculations at these interfaces. In this study, we theoretically explain the experimental temperature dependence of the spin-to-charge current conversion efficiency using an 8x8 effective tight-binding model considering the second $d_{xy}$ subband, revealing the vital role of the quantization of the multi-band structure.


title: Utilizing Resource-Rich Language Datasets for End-to-End Scene Text Recognition in Resource-Poor Languages

abstract: This paper presents a novel training method for end-to-end scene text recognition. End-to-end scene text recognition offers high recognition accuracy, especially when using the encoder-decoder model based on Transformer. To train a highly accurate end-to-end model, we need to prepare a large image-to-text paired dataset for the target language. However, it is difficult to collect this data, especially for resource-poor languages. To overcome this difficulty, our proposed method utilizes well-prepared large datasets in resource-rich languages such as English, to train the resource-poor encoder-decoder model. Our key idea is to build a model in which the encoder reflects knowledge of multiple languages while the decoder specializes in knowledge of just the resource-poor language. To this end, the proposed method pre-trains the encoder by using a multilingual dataset that combines the resource-poor language's dataset and the resource-rich language's dataset to learn language-invariant knowledge for scene text recognition. The proposed method also pre-trains the decoder by using the resource-poor language's dataset to make the decoder better suited to the resource-poor language. Experiments on Japanese scene text recognition using a small, publicly available dataset demonstrate the effectiveness of the proposed method.


title: One-shot Voice Conversion For Style Transfer Based On Speaker Adaptation

abstract: One-shot style transfer is a challenging task, since training on one utterance makes model extremely easy to over-fit to training data and causes low speaker similarity and lack of expressiveness. In this paper, we build on the recognition-synthesis framework and propose a one-shot voice conversion approach for style transfer based on speaker adaptation. First, a speaker normalization module is adopted to remove speaker-related information in bottleneck features extracted by ASR. Second, we adopt weight regularization in the adaptation process to prevent over-fitting caused by using only one utterance from target speaker as training data. Finally, to comprehensively decouple the speech factors, i.e., content, speaker, style, and transfer source style to the target, a prosody module is used to extract prosody representation. Experiments show that our approach is superior to the state-of-the-art one-shot VC systems in terms of style and speaker similarity; additionally, our approach also maintains good speech quality.


title: An efficient estimation of nested expectations without conditional sampling

abstract: Estimating nested expectations is an important task in computational mathematics and statistics. In this paper we propose a new Monte Carlo method using post-stratification to estimate nested expectations efficiently without taking samples of the inner random variable from the conditional distribution given the outer random variable. This property provides the advantage over many existing methods that it enables us to estimate nested expectations only with a dataset on the pair of the inner and outer variables drawn from the joint distribution. We show an upper bound on the mean squared error of the proposed method under some assumptions. Numerical experiments are conducted to compare our proposed method with several existing methods (nested Monte Carlo method, multilevel Monte Carlo method, and regression-based method), and we see that our proposed method is superior to the compared methods in terms of efficiency and applicability.


title: Optimal Scheme for Quantum Metrology

abstract: Quantum metrology can achieve far better precision than classical metrology, and is one of the most important applications of quantum technologies in the real world. To attain the highest precision promised by quantum metrology, all steps of the schemes need to be optimized, which include the state preparation, parametrization, and measurement. Here the recent progresses on the optimization of these steps, which are essential for the identification and achievement of the ultimate precision limit in quantum metrology, are reviewed. It is hoped this provides a useful reference for the researchers in quantum metrology and related fields.


title: Mutual coherent structures for heat and angular momentum transport in turbulent Taylor-Couette flows

abstract: In this study we report numerical results of turbulent transport of heat $Nu$ and angular momentum $\nu_{t}/\nu$ in Taylor-Couette (TC) flows subjected to a radial temperature gradient. Direct numerical simulations are performed in a TC cell with a radius ratio $\eta=0.5$ and an aspect ratio $\Gamma=8$ for two Rayleigh numbers ($Ra=10^5$, $10^6$) and two Prandtl numbers ($Pr=0.7$, $4.38$), while the Reynolds number $Re$ varies in the range of $0 \le Re \le 15000$. With increasing $Re$, the flows undergo two distinct transitions: the first transition being from the convection-dominated regime to the transitional regime, with the large-scale meridional circulation evolving into spiral vortices; the second transition occurring in the rotation-dominated regime when Taylor vortices turn from a weakly non-linear state into a turbulent state. In particular, when the flows are governed by turbulent Taylor vortices, we find that both transport processes exhibit power-law scaling: $Nu\sim Re^{0.619\pm0.015}$ for $Pr=4.38$, $Nu\sim Re^{0.590\pm0.025}$ for $Pr=0.7$ and $\nu_{t}/\nu\sim Re^{0.588\pm0.036}$ for both $Pr$.These scaling exponents suggest an analogous mechanism for the radial transport of heat and angular momentum, which is further evidenced by the fact that the ratio of turbulent viscosity to diffusivity is independent of $Re$. To illustrate the underlying mechanism of turbulent transport, we extract the coherent structures by analyzing the spatial distributions of heat and momentum flux densities. Our results reveal mutual turbulent structures through which both heat and angular momentum are transported efficiently.


title: Locality-based Graph Reordering for Processing Speed-Ups and Impact of Diameter

abstract: Graph analysis involves a high number of random memory access patterns. Earlier research has shownthat the cache miss latency is responsible for more than half of the graph processing time, with the CPU execution having the smaller share. There has been significant study on decreasing the CPU computing time for example, by employing better cache prefetching and replacement policies. In thispaper, we study the various methods that do so by attempting to decrease the CPU cache miss ratio.Graph Reordering attempts to exploit the power-law distribution of graphs -- few sparsely-populated vertices in the graph have high number of connections -- to keep the frequently accessed vertices together locally and hence decrease the cache misses. However, reordering the graph by keeping the hot vertices together may affect the spatial locality of the graph, and thus add to the total CPU compute time.Also, we also need to have a control over the total reordering time and its inverse relation with thefinal CPU execution timeIn order to exploit this trade-off between reordering as per vertex hotness and spatial locality, we introduce the light-weight Community-based Reordering. We attempt to maintain the community-structureof the graph by storing the hot-members in the community locally together. The implementation also takes into consideration the impact of graph diameter on the execution time. We compare our implementation with other reordering implementations and find a significantly better result on five graph processing algorithms: BFS, CC, CCSV, PR and BC. Lorder achieved speed-up of upto 7x and an average speed-up of 1.2x as compared to other reordering algorithms


title: Extending binary linear codes to self-orthogonal codes

abstract: Kim et al. (2021) gave a method to embed a given binary $[n,k]$ code $\mathcal{C}$ $(k = 3, 4)$ into a self-orthogonal code of the shortest length which has the same dimension $k$ and minimum distance $d' \ge d(\mathcal{C})$. We extend this result by proposing a new method related to a special matrix, called the self-orthogonality matrix $SO_k$, obtained by shortening a Reed-Muller code $\mathcal R(2,k)$. Using this approach, we can extend binary linear codes to many optimal self-orthogonal codes of dimensions $5$ and $6$. Furthermore, we partially disprove the conjecture (Kim et al. (2021)) by showing that if $31 \le n \le 256$ and $n\equiv 14,22,29 \pmod{31}$, then there exist optimal $[n,5]$ codes which are self-orthogonal. We also construct optimal self-orthogonal $[n,6]$ codes when $41 \le n \le 256$ satisfies $n \ne 46, 54, 61$ and $n \not\equiv 7, 14, 22, 29, 38, 45, 53, 60 \pmod{63}$.


title: Coexchangeable process modelling for uncertainty quantification in joint climate reconstruction

abstract: Any experiment with climate models relies on a potentially large set of spatio-temporal boundary conditions. These can represent both the initial state of the system and/or forcings driving the model output throughout the experiment. Whilst these boundary conditions are typically fixed using available reconstructions in climate modelling studies, they are highly uncertain, that uncertainty is unquantified, and the effect on the output of the experiment can be considerable. We develop efficient quantification of these uncertainties that combines relevant data from multiple models and observations. Starting from the coexchangeability model, we develop a coexchangable process model to capture multiple correlated spatio-temporal fields of variables. We demonstrate that further exchangeability judgements over the parameters within this representation lead to a Bayes linear analogy of a hierarchical model. We use the framework to provide a joint reconstruction of sea-surface temperature and sea-ice concentration boundary conditions at the last glacial maximum (19-23 ka) and use it to force an ensemble of ice-sheet simulations using the FAMOUS-Ice coupled atmosphere and ice-sheet model. We demonstrate that existing boundary conditions typically used in these experiments are implausible given our uncertainties and demonstrate the impact of using more plausible boundary conditions on ice-sheet simulation.


title: A Self-Supervised Automatic Post-Editing Data Generation Tool

abstract: Data building for automatic post-editing (APE) requires extensive and expert-level human effort, as it contains an elaborate process that involves identifying errors in sentences and providing suitable revisions. Hence, we develop a self-supervised data generation tool, deployable as a web application, that minimizes human supervision and constructs personalized APE data from a parallel corpus for several language pairs with English as the target language. Data-centric APE research can be conducted using this tool, involving many language pairs that have not been studied thus far owing to the lack of suitable data.


title: Synchronization gauge field, standing waves and one-way-speed of light

abstract: The absolute nature of many fundamental predictions of the theory of special relativity, including the relativity of simultaneity, has been questioned in the literature owing to the choice of distant clock synchronization process in the theory. Here we discuss the consequences of Anderson-Vetharaniam-Stedman (AVS) conventionality synchronization gauge, which reflects the choice of synchronization convention, on the standing wave observable. We found that although the position of the node(s) is gauge invariant and remain the same as in the standard case of the stationary wave formation following the Einstein synchronization, the anti-node(s) becomes a gauge dependent (conventional) element and the resulting wave travels between two nodes, contrary to the experimental observation. The experimental detection of standing wave substantiates that the one-way velocity is equal to the round-trip velocity implying the uniqueness of the Einstein synchronization convention. The present analysis thus eliminates the (unphysical) synchronization gauge freedom of special relativity.


title: Searching for $H^\pm\to W^{\pm} + 4\gamma$ signals in the 2HDM Type-I at the LHC

abstract: We analyze a new signature of a charged Higgs boson in the Type-I realization of the 2-Higgs Doublet Model (2HDM), where the mass of the charged Higgs boson satisfies the condition $M_{H^{\pm}}<M_{t}+M_{b}$ and the theoretical parameter space is consistent with the latest experimental constraints from Large Hadron Collider (LHC) and other direct as well as indirect searches. In the surviving regions, it is found that the bosonic decay mode of a charged Higgs boson is dominated by $H^{\pm} \rightarrow W^{\pm*}h$. At the same time, the light neutral Higgs boson $h$ dominantly decays into two photons. We thus find that the production process $pp \rightarrow H^{\pm}h \rightarrow W^{\pm*}h h \rightarrow l^{\pm}\nu +4\gamma$ is almost background free. Since the $W^{\pm}$ could be either off-shell or on-shell, furthering a previous phenomenological analysis, we examine closely detector effects onto the above signature and demonstrate that it is indeed promising to study it at the LHC with both $\sqrt{s}= 13$ TeV and $\sqrt{s} = 14$ TeV, assuming an integrated luminosity of 300 $fb^{-1}$.


title: Discussion on phase ambiguity and multiple beam generation in coherent beam combining system

abstract: There exists the phase ambiguity problem in the coherent beam combining (CBC) system with centrosymmetric arrays, which means that multiple different piston aberrations may generate the same far-field image. This will cause that the far-field image can not correctly reflect the phase information, resulting in the performance degradation of image-based intelligent algorithms. In this paper, we make a theoretical analysis on phase ambiguity. To the best of our knowledge, we give the number and descriptions of all solutions of the phase ambiguity problem in above system for the first time. A method to solve phase ambiguity is proposed, which requires no additional optical devices. We designed simulations to verify our conclusions and methods. We believe that our work solves the phase ambiguity problem in theory and is conducive to improving the performance of image-based algorithms. In addition, we designed a two-stage algorithm to generate Bi-beam, which have valuables application in laser propagation.


title: Stable determination of an elastic medium scatterer by a single far-field measurement and beyond

abstract: We are concerned with the time-harmonic elastic scattering due to an inhomogeneous elastic material inclusion located inside a uniformly homogeneous isotropic medium. We establish a sharp stability estimate of logarithmic type in determining the support of the elastic scatterer, independent of its material content, by a single far-field measurement when the support is a convex polyhedral domain in $\mathbb{R}^n$, $n=2,3$. Our argument in establishing the stability result is localized around a corner of the medium scatterer. This enables us to further establish a byproduct result by proving that if a generic medium scatterer, not necessary to be a polyhedral shape, possesses a corner, then there exists a positive lower bound of the scattered far-field patterns. The latter result indicates that if an elastic material object possesses a corner on its support, then it scatters every incident wave stably and invisibility phenomenon does not occur.


title: Real-time smart vehicle surveillance system

abstract: Over the last decade, there has been a spike in criminal activity all around the globe. According to the Indian police department, vehicle theft is one of the least solved offenses, and almost 19% of all recorded cases are related to motor vehicle theft. To overcome these adversaries, we propose a real-time vehicle surveillance system, which detects and tracks the suspect vehicle using the CCTV video feed. The proposed system extracts various attributes of the vehicle such as Make, Model, Color, License plate number, and type of the license plate. Various image processing and deep learning algorithms are employed to meet the objectives of the proposed system. The extracted features can be used as evidence to report violations of law. Although the system uses more parameters, it is still able to make real time predictions with minimal latency and accuracy loss.


title: Attention-based Dual-stream Vision Transformer for Radar Gait Recognition

abstract: Radar gait recognition is robust to light variations and less infringement on privacy. Previous studies often utilize either spectrograms or cadence velocity diagrams. While the former shows the time-frequency patterns, the latter encodes the repetitive frequency patterns. In this work, a dual-stream neural network with attention-based fusion is proposed to fully aggregate the discriminant information from these two representations. The both streams are designed based on the Vision Transformer, which well captures the gait characteristics embedded in these representations. The proposed method is validated on a large benchmark dataset for radar gait recognition, which shows that it significantly outperforms state-of-the-art solutions.


title: Spin-orbit-entangled nature of magnetic moments and Kitaev magnetism in layered halides $\alpha$-RuX$_3$ (X = Cl, Br, I)

abstract: $\alpha$-RuCl$_3$ has been extensively studied recently because of potential bond-dependent Kitaev magnetic exchange interactions and the resulting quantum spin liquid phase that can be realized therein. It has been known that the covalency between Ru 4$d$- and Cl $p$-orbitals is crucial to induce large Kitaev interactions in this compound, therefore replacing Cl into heavier halogen elements such as Br or I can be a promising way to promote the Kitaev interaction even further. In a timely manner, there have been reports on synthesis of $\alpha$-RuBr$_3$ and $\alpha$-RuI$_3$, which are expected to host the same spin-orbit-entangled orbitals and Kitaev exchange interactions with $\alpha$-RuCl$_3$. Here in this work we investigate electronic structures of $\alpha$-RuCl$_3$, $\alpha$-RuBr$_3$, and $\alpha$-RuI$_3$ in a comparative fashion, focusing on the cooperation of the spin-orbit coupling and on-site Coulomb repulsions to realize the spin-orbit-entangled pseudospin-1/2 at Ru sites. We further estimate magnetic exchange interactions of all three compounds, showing that $\alpha$-RuBr$_3$ can be promising candidates to realize Kitaev spin liquid phases in solid-state systems.


title: Improved Fine-Tuning by Better Leveraging Pre-Training Data

abstract: As a dominant paradigm, fine-tuning a pre-trained model on the target data is widely used in many deep learning applications, especially for small data sets. However, recent studies have empirically shown that training from scratch has the final performance that is no worse than this pre-training strategy once the number of training samples is increased in some vision tasks. In this work, we revisit this phenomenon from the perspective of generalization analysis by using excess risk bound which is popular in learning theory. The result reveals that the excess risk bound may have a weak dependency on the pre-trained model. The observation inspires us to leverage pre-training data for fine-tuning, since this data is also available for fine-tuning. The generalization result of using pre-training data shows that the excess risk bound on a target task can be improved when the appropriate pre-training data is included in fine-tuning. With the theoretical motivation, we propose a novel selection strategy to select a subset from pre-training data to help improve the generalization on the target task. Extensive experimental results for image classification tasks on 8 benchmark data sets verify the effectiveness of the proposed data selection based fine-tuning pipeline.


title: PTQ4ViT: Post-training quantization for vision transformers with twin uniform quantization

abstract: Quantization is one of the most effective methods to compress neural networks, which has achieved great success on convolutional neural networks (CNNs). Recently, vision transformers have demonstrated great potential in computer vision. However, previous post-training quantization methods performed not well on vision transformer, resulting in more than 1% accuracy drop even in 8-bit quantization. Therefore, we analyze the problems of quantization on vision transformers. We observe the distributions of activation values after softmax and GELU functions are quite different from the Gaussian distribution. We also observe that common quantization metrics, such as MSE and cosine distance, are inaccurate to determine the optimal scaling factor. In this paper, we propose the twin uniform quantization method to reduce the quantization error on these activation values. And we propose to use a Hessian guided metric to evaluate different scaling factors, which improves the accuracy of calibration at a small cost. To enable the fast quantization of vision transformers, we develop an efficient framework, PTQ4ViT. Experiments show the quantized vision transformers achieve near-lossless prediction accuracy (less than 0.5% drop at 8-bit quantization) on the ImageNet classification task.


title: An Image Patch is a Wave: Phase-Aware Vision MLP

abstract: In the field of computer vision, recent works show that a pure MLP architecture mainly stacked by fully-connected layers can achieve competing performance with CNN and transformer. An input image of vision MLP is usually split into multiple tokens (patches), while the existing MLP models directly aggregate them with fixed weights, neglecting the varying semantic information of tokens from different images. To dynamically aggregate tokens, we propose to represent each token as a wave function with two parts, amplitude and phase. Amplitude is the original feature and the phase term is a complex value changing according to the semantic contents of input images. Introducing the phase term can dynamically modulate the relationship between tokens and fixed weights in MLP. Based on the wave-like token representation, we establish a novel Wave-MLP architecture for vision tasks. Extensive experiments demonstrate that the proposed Wave-MLP is superior to the state-of-the-art MLP architectures on various vision tasks such as image classification, object detection and semantic segmentation. The source code is available at https://github.com/huawei-noah/CV-Backbones/tree/master/wavemlp_pytorch and https://gitee.com/mindspore/models/tree/master/research/cv/wave_mlp.


title: Animal behavior classification via deep learning on embedded systems

abstract: We develop an end-to-end deep-neural-network-based algorithm for classifying animal behavior using accelerometry data on the embedded system of an artificial intelligence of things (AIoT) device installed in a wearable collar tag. The proposed algorithm jointly performs feature extraction and classification utilizing a set of infinite-impulse-response (IIR) and finite-impulse-response (FIR) filters together with a multilayer perceptron. The utilized IIR and FIR filters can be viewed as specific types of recurrent and convolutional neural network layers, respectively. We evaluate the performance of the proposed algorithm via two real-world datasets collected from total eighteen grazing beef cattle using collar tags. The results show that the proposed algorithm offers good intra- and inter-dataset classification accuracy and outperforms its closest contenders including two state-of-the-art convolutional-neural-network-based time-series classification algorithms, which are significantly more complex. We implement the proposed algorithm on the embedded system of the utilized collar tags' AIoT device to perform in-situ classification of animal behavior. We achieve real-time in-situ behavior inference from accelerometry data without imposing any strain on the available computational, memory, or energy resources of the embedded system.


title: Spatial-context-aware deep neural network for multi-class image classification

abstract: Multi-label image classification is a fundamental but challenging task in computer vision. Over the past few decades, solutions exploring relationships between semantic labels have made great progress. However, the underlying spatial-contextual information of labels is under-exploited. To tackle this problem, a spatial-context-aware deep neural network is proposed to predict labels taking into account both semantic and spatial information. This proposed framework is evaluated on Microsoft COCO and PASCAL VOC, two widely used benchmark datasets for image multi-labelling. The results show that the proposed approach is superior to the state-of-the-art solutions on dealing with the multi-label image classification problem.


title: Transport probe of nonadiabatic transition caused by Majorana moving

abstract: We propose a transport probe scheme to detect the nonadiabatic transition caused by Majornana moving, which is relevant to the braiding operations in topological quantum computation. The scheme is largely based on a time dependent single-electron-wavefunction approach to quantum transport. Applying the Kitaev model, we simulate the time dependent Andreev-reflection current and examine the feasibility of using the current to infer the nonadiabatic transition. We design a scheme to determine the Landau-Zener tunneling ratio in the context of transport, and compare it with the result obtained from the isolated quantum wire. Desirable agreements are demonstrated for the proposed scheme.


title: Efficient Dual ADMMs for Sparse Compressive Sensing MRI Reconstruction

abstract: Magnetic Resonance Imaging (MRI) is a kind of medical imaging technology used for diagnostic imaging of diseases, but its image quality may be suffered by the long acquisition time. The compressive sensing (CS) based strategy may decrease the reconstruction time greatly, but it needs efficient reconstruction algorithms to produce high-quality and reliable images. This paper focuses on the algorithmic improvement for the sparse reconstruction of CS-MRI, especially considering a non-smooth convex minimization problem which is composed of the sum of a total variation regularization term and a $\ell_1$-norm term of the wavelet transformation. The partly motivation of targeting the dual problem is that the dual variables are involved in relatively low-dimensional subspace. Instead of solving the primal model as usual, we turn our attention to its associated dual model composed of three variable blocks and two separable non-smooth function blocks. However, the directly extended alternating direction method of multipliers (ADMM) must be avoided because it may be divergent, although it usually performs well numerically. In order to solve the problem, we employ a symmetric Gauss-Seidel (sGS) technique based ADMM. Compared with the directly extended ADMM, this method only needs one additional iteration, but its convergence can be guaranteed theoretically. Besides, we also propose a generalized variant of ADMM because this method has been illustrated to be efficient for solving semidefinite programming in the past few years. Finally, we do extensive experiments on MRI reconstruction using some simulated and real MRI images under different sampling patterns and ratios. The numerical results demonstrate that the proposed algorithms significantly achieve high reconstruction accuracies with fast computational speed.


title: EH-DNAS: End-to-End Hardware-aware Differentiable Neural Architecture Search

abstract: In hardware-aware Differentiable Neural Architecture Search (DNAS), it is challenging to compute gradients of hardware metrics to perform architecture search. Existing works rely on linear approximations with limited support to customized hardware accelerators. In this work, we propose End-to-end Hardware-aware DNAS (EH-DNAS), a seamless integration of end-to-end hardware benchmarking, and fully automated DNAS to deliver hardware-efficient deep neural networks on various platforms, including Edge GPUs, Edge TPUs, Mobile CPUs, and customized accelerators. Given a desired hardware platform, we propose to learn a differentiable model predicting the end-to-end hardware performance of neural network architectures for DNAS. We also introduce E2E-Perf, an end-to-end hardware benchmarking tool for customized accelerators. Experiments on CIFAR10 and ImageNet show that EH-DNAS improves the hardware performance by an average of $1.4\times$ on customized accelerators and $1.6\times$ on existing hardware processors while maintaining the classification accuracy.


title: Is Szilard Engine Really Broken?

abstract: In the Second Law of Thermodynamics which is a macroscopic physical law that states that in any isolated system, entropy can only increase and order, or organization, can only decrease. This means that in the long run, energy will always dissipate and systems will always become less organized. James Maxwell proposed the idea of Maxwell demon through his renowned thought experiment. Leo Szilard, on the other hand, demonstrated this idea with another thought experiment using a theoretical model of an information engine integrating Maxwell demon and a simplified one-particle engine. This demonstration satisfactorily resolved the contradiction of the second law of thermodynamics. Landauer established the relation between the theory of information and thermodynamics, and proved that information is physical. However, recent publication contradicts the operation of such engine based on the principle of considering a piston without internal structure. In the present work, it is studied with the more fundamental idea of Vanderwalls surface energy principle to substantiate the workability of such engine and has been observed that the engine can work with a similar established piston under defined conditions.


title: Two-stage Rule-induction Visual Reasoning on RPMs with an Application to Video Prediction

abstract: Raven's Progressive Matrices (RPMs) are frequently used in evaluating human's visual reasoning ability. Researchers have made considerable efforts in developing systems to automatically solve the RPM problem, often through a black-box end-to-end convolutional neural network for both visual recognition and logical reasoning tasks. Based on the two intrinsic natures of RPM problem, visual recognition and logical reasoning, we propose a Two-stage Rule-Induction Visual Reasoner (TRIVR), which consists of a perception module and a reasoning module, to tackle the challenges of real-world visual recognition and subsequent logical reasoning tasks, respectively. For the reasoning module, we further propose a "2+1" formulation that models human's thinking in solving RPMs and significantly reduces the model complexity. It derives a reasoning rule from each RPM sample, which is not feasible for existing methods. As a result, the proposed reasoning module is capable of yielding a set of reasoning rules modeling human in solving the RPM problems. To validate the proposed method on real-world applications, an RPM-like Video Prediction (RVP) dataset is constructed, where visual reasoning is conducted on RPMs constructed using real-world video frames. Experimental results on various RPM-like datasets demonstrate that the proposed TRIVR achieves a significant and consistent performance gain compared with the state-of-the-art models.


title: Hysteresis and return point memory in the random field Blume Capel model

abstract: We study the zero temperature steady state of the random field Blume Capel model with spin-flip Glauber dynamics on a random regular graph. The magnetization m as a function of the external field H is observed to have double hysteresis loops with a return point memory. We also solve the model on a Bethe lattice in the approximation that the spin relaxation dynamics is abelian and find good agreement between simulations on random regular graphs and Bethe lattice calculations for negative values of H.


title: The Long--Moody construction and twisted Alexander invariants

abstract: In 1994, Long and Moody introduced a method to construct a new representation of the braid group from the representation of the braid group or the semidirect product of the braid group and the free group. In this paper, we show that its matrix presentation is written using the Fox derivation, and also a relation with twisted Alexander invariants.


title: Positron Position Operators. I. A Natural Option

abstract: By ``position operators,'' I mean here a POVM (positive-operator-valued measure) on a suitable configuration space acting on a suitable Hilbert space that serves as defining the position observable of a quantum theory, and by ``positron position operators,'' I mean a joint treatment of positrons and electrons. I consider the standard free second-quantized Dirac field in Minkowski space-time or in a box. On the associated Fock space (i.e., the tensor product of the positron Fock space and the electron Fock space), there acts an obvious POVM P_obv, but I propose a different one that I call the natural POVM, P_nat. In fact, it is a PVM (projection-valued measure); it captures the sense of locality corresponding to the field operators Psi_s(x) and to the algebra of local observables. The existence of P_nat depends on a mathematical conjecture which at present I can neither prove nor disprove; here I explore consequences of the conjecture. I put up for consideration the possibility that P_nat, and not P_obv, is the physically correct position observable and defines the Born rule for the joint distribution of electron and positron positions. I describe properties of P_nat, including a strict no-superluminal-signaling property, and how it avoids the Hegerfeldt-Malament no-go theorem. I also point out how to define Bohmian trajectories that fit together with P_nat, and how to generalize P_nat to curved space-time.


title: Thundernna: a white box adversarial attack

abstract: The existing work shows that the neural network trained by naive gradient-based optimization method is prone to adversarial attacks, adds small malicious on the ordinary input is enough to make the neural network wrong. At the same time, the attack against a neural network is the key to improving its robustness. The training against adversarial examples can make neural networks resist some kinds of adversarial attacks. At the same time, the adversarial attack against a neural network can also reveal some characteristics of the neural network, a complex high-dimensional non-linear function, as discussed in previous work. In This project, we develop a first-order method to attack the neural network. Compare with other first-order attacks, our method has a much higher success rate. Furthermore, it is much faster than second-order attacks and multi-steps first-order attacks.


title: Efficient and Optimal Algorithms for Contextual Dueling Bandits under Realizability

abstract: We study the $K$-armed contextual dueling bandit problem, a sequential decision making setting in which the learner uses contextual information to make two decisions, but only observes \emph{preference-based feedback} suggesting that one decision was better than the other. We focus on the regret minimization problem under realizability, where the feedback is generated by a pairwise preference matrix that is well-specified by a given function class $\mathcal F$. We provide a new algorithm that achieves the optimal regret rate for a new notion of best response regret, which is a strictly stronger performance measure than those considered in prior works. The algorithm is also computationally efficient, running in polynomial time assuming access to an online oracle for square loss regression over $\mathcal F$. This resolves an open problem of Dud\'ik et al. [2015] on oracle efficient, regret-optimal algorithms for contextual dueling bandits.


title: Subprocesses $\rho(770,1450)\to K\bar{K}$ for the three-body hadronic $D$ meson decays

abstract: We construct the theoretical framework for quasi-two-body $D$ meson decays with the help of pion and kaon electromagnetic form factors, and with which we study the contributions of the subprocesses $\rho(770,1450)\to K\bar{K}$ for the three-body $D$ decays within the flavour $SU(3)$ symmetry. Because of the limitations imposed by phase space and strong coupling, the contributions for kaon pair from the virtual bound state $\rho(770)$ are channel-dependent and generally small for the concerned three-body $D$ decays. But some quasi-two-body processes could still be observed in the Dalitz plot analyses for related decays, such as $D^0 \to K^-\rho(770)^+ \to K^- K^+K_S^0$ and $D^+ \to K_S^0\rho(770)^+ \to K_S^0 K^+K_S^0$, they are predicted to have the branching fractions $\mathcal{B}=(0.82\pm0.04)\times 10^{-4}$ and $\mathcal{B}=0.47^{+0.05}_{-0.03}\times 10^{-4}$, which are $(1.86\pm0.16)\%$ and $(1.84^{+0.21}_{-0.16})\%$, respectively, of the total branching fractions for the corresponding three-body $D$ decays. We find in this work that the normal subprocesses like $\rho(1450)^+\to \pi^+\pi^0$ or $\rho(1450)^+\to K^+\bar{K}^0$, which are bound by the masses of decaying initial states, will provide virtual contributions in some special decays.


title: Natural Negative-Refractive-Index Materials

abstract: Our calculation shows that negative refractive index (NRI), which was known to exist only in metamaterials in the past, can be found in Dirac semimetals (DSM). Electrons in DSM have zero effective mass and hence the system carries no nominal energy scale. Therefore, unlike those of ordinary materials, the electromagnetic responses of the electrons in DSM will not be overwhelmed by the physical effects related to electron mass. NRI is induced by the combination of the quantum effect of vacuum polarization and its finite temperature correction which is proportional to $T^4$ at low temperature. It is a phenomenon of resonance between the incident light and the unique structure of Dirac cones, which allows numerous states to participate in electron-hole pair production excited by the incident light with similar dispersion relation to that of Dirac cones. NRI phenomenon of DSM manifests in an extensive range of photon frequency and wave number and can be observed around giga Hertz range at temperature slightly higher than room temperature.


title: RegionCL: Can Simple Region Swapping Contribute to Contrastive Learning?

abstract: Self-supervised methods (SSL) have achieved significant success via maximizing the mutual information between two augmented views, where cropping is a popular augmentation technique. Cropped regions are widely used to construct positive pairs, while the left regions after cropping have rarely been explored in existing methods, although they together constitute the same image instance and both contribute to the description of the category. In this paper, we make the first attempt to demonstrate the importance of both regions in cropping from a complete perspective and propose a simple yet effective pretext task called Region Contrastive Learning (RegionCL). Specifically, given two different images, we randomly crop a region (called the paste view) from each image with the same size and swap them to compose two new images together with the left regions (called the canvas view), respectively. Then, contrastive pairs can be efficiently constructed according to the following simple criteria, i.e., each view is (1) positive with views augmented from the same original image and (2) negative with views augmented from other images. With minor modifications to popular SSL methods, RegionCL exploits those abundant pairs and helps the model distinguish the regions features from both canvas and paste views, therefore learning better visual representations. Experiments on ImageNet, MS COCO, and Cityscapes demonstrate that RegionCL improves MoCo v2, DenseCL, and SimSiam by large margins and achieves state-of-the-art performance on classification, detection, and segmentation tasks. The code will be available at https://github.com/Annbless/RegionCL.git.


title: Intrinsic Pulsed Magnetic Gradiometer in Earth's Field

abstract: We describe a novel pulsed magnetic gradiometer based on the optical interference of sidebands generated using two spatially separated alkali vapor cells. The sidebands are produced with high efficiency using parametric frequency conversion of a probe beam interacting with $^{87}$Rb atoms in a coherent superposition of magnetically sensitive hyperfine ground states. Interference between the sidebands generates a low-frequency beat note whose frequency is determined by the magnetic field gradient between the two vapor cells. In contrast to traditional magnetic gradiometers, our approach provides a direct readout of the gradient field without the intermediate step of subtracting the outputs of two spacially separated magnetometers. The technique is expected to provide effective common-mode magnetic field cancellation at frequencies far greater than the bandwidth of the gradiometer. Using this technique, we developed a compact magnetic gradiometer sensor head with integrated optics with a sensitivity of $25 \ fT/cm/\sqrt{Hz}$ with a $4.4$ cm baseline, while operating in a noisy laboratory environment unshielded from Earth's field. We also outline a theoretical framework that accurately models sideband generation using a density matrix formalism.


title: Origin of Jumping Oscillons in an Excitable Reaction-Diffusion System

abstract: Oscillons, i.e., immobile spatially localized but temporally oscillating structures, are the subject of intense study since their discovery in Faraday wave experiments. However, oscillons can also disappear and reappear at a shifted spatial location, becoming jumping oscillons (JOs). We explain here the origin of this behavior in a three-variable reaction-diffusion system via numerical continuation and bifurcation theory, and show that JOs are created via a modulational instability of excitable traveling pulses (TPs). We also reveal the presence of bound states of JOs and TPs and patches of such states (including jumping periodic patterns) and determine their stability. This rich multiplicity of spatiotemporal states lends itself to information and storage handling.


title: Lossy Compression of General Random Variables

abstract: This paper is concerned with the lossy compression of general random variables, specifically with rate-distortion theory and quantization of random variables taking values in general measurable spaces such as, e.g., manifolds and fractal sets. Manifold structures are prevalent in data science, e.g., in compressed sensing, machine learning, image processing, and handwritten digit recognition. Fractal sets find application in image compression and in the modeling of Ethernet traffic. Our main contributions are bounds on the rate-distortion function and the quantization error. These bounds are very general and essentially only require the existence of reference measures satisfying certain regularity conditions in terms of small ball probabilities. To illustrate the wide applicability of our results, we particularize them to random variables taking values in i) manifolds, namely, hyperspheres and Grassmannians, and ii) self-similar sets characterized by iterated function systems satisfying the weak separation property.


title: Explicit solution of divide-and-conquer dividing by a half recurrences with polynomial independent term

abstract: Divide-and-conquer dividing by a half recurrences, of the form $x_n =a\cdot x_{\left\lceil{n}/{2}\right\rceil}+a\cdot x_{\left\lfloor{n}/{2}\right\rfloor}+p(n)$, $n\geq 2$, appear in many areas of applied mathematics, from the analysis of algorithms to the optimization of phylogenetic balance indices. The Master Theorems that solve these equations do not provide the solution's explicit expression, only its big-$\Theta$ order of growth. In this paper we give an explicit expression (in terms of the binary decomposition of $n$) for the solution $x_n$ of a recurrence of this form, with given initial condition $x_1$, when the independent term $p(n)$ is a polynomial in $\lceil{n}/{2}\rceil$ and $\lfloor{n}/{2}\rfloor$.


title: Ultrafast energy exchange between two single Rydberg atoms on the nanosecond timescale

abstract: Rydberg atoms, with their giant electronic orbitals, exhibit dipole-dipole interaction reaching the GHz range at a distance of a micron, making them a prominent contender for realizing quantum operations well within their coherence time. However, such strong interactions have never been harnessed so far, mainly because of the stringent requirements on the fluctuation of the atom positions and the necessary excitation strength. Here, using atoms trapped in the motional ground-state of optical tweezers and excited to a Rydberg state with picosecond pulsed lasers, we observe an interaction-driven energy exchange, i.e., a F\"orster oscilation, occuring in a timescale of nanoseconds, two orders of magnitude faster than in any previous work with Rydberg atoms. This ultrafast coherent dynamics gives rise to a conditional phase which is the key resource for an ultrafast controlled-$Z$ gate. This opens the path for quantum simulation and computation operating at the speed-limit set by dipole-dipole interactions with this ultrafast Rydberg platform.


title: Dynamic Texture Recognition using PDV Hashing and Dictionary Learning on Multi-scale Volume Local Binary Pattern

abstract: Spatial-temporal local binary pattern (STLBP) has been widely used in dynamic texture recognition. STLBP often encounters the high-dimension problem as its dimension increases exponentially, so that STLBP could only utilize a small neighborhood. To tackle this problem, we propose a method for dynamic texture recognition using PDV hashing and dictionary learning on multi-scale volume local binary pattern (PHD-MVLBP). Instead of forming very high-dimensional LBP histogram features, it first uses hash functions to map the pixel difference vectors (PDVs) to binary vectors, then forms a dictionary using the derived binary vector, and encodes them using the derived dictionary. In such a way, the PDVs are mapped to feature vectors of the size of dictionary, instead of LBP histograms of very high dimension. Such an encoding scheme could extract the discriminant information from videos in a much larger neighborhood effectively. The experimental results on two widely-used dynamic textures datasets, DynTex++ and UCLA, show the superiority performance of the proposed approach over the state-of-the-art methods.