Search

Many-body quantum chaos has immense potential as a tool to accelerate the preparation of entangled states and overcome challenges due to decoherence and technical noise. Here, we study how chaos in the paradigmatic Dicke model, which describes the uniform coupling of an ensemble of qubits to a common bosonic mode, can enable the rapid generation of non-Gaussian entangled spin-boson states without fine tuning of system parameters or initial conditions. However, the complexity of these states means that unlocking their utility for quantum-enhanced sensing with standard protocols would require the measurement of complex or typically inaccessible observables. To address this challenge, we develop a sensing scheme based on interaction-based readout that enable us to implement near-optimal quantum-enhanced metrology of global spin rotations or bosonic dipslacements using only spin measurements. We show that our approach is robust to technical noise and imperfections and thus opens new opportunities to exploit complex entangled states generated by chaotic dynamics in current quantum science platforms such as trapped-ion and cavity-QED experiments., Comment: 14 pages, 9 figures

We introduce a general approximate method for calculating the one-body correlations and the momentum distributions of one-dimensional Bose gases at finite interaction strengths and temperatures trapped in smooth confining potentials. Our method combines asymptotic techniques for the long-distance behavior of the gas (similar to Luttinger liquid theory) with known short-distance expansions. We derive analytical results for the limiting cases of strong and weak interactions, and provide a general procedure for calculating one-body correlations at any interaction strength. A step-by-step explanation of the numerical method used to compute Green's functions (needed as input to our theory) is included. We benchmark our method against exact numerical calculations and compare its predictions to recent experimental results., Comment: 16 pages; 11 figures

Cyber-Physical Systems (CPS) consist of software interacting with the physical world, such as robots, vehicles, and industrial processes. CPS are frequently responsible for the safety of lives, property, or the environment, and so software correctness must be determined with a high degree of certainty. To that end, simply testing a CPS is insufficient, as its interactions with the physical world may be difficult to predict, and unsafe conditions may not be immediately obvious. Formal verification can provide stronger safety guarantees but relies on the accuracy of the verified system in representing the real system. Bringing together verification and implementation can be challenging, as languages that are typically used to implement CPS are not easy to formally verify, and languages that lend themselves well to verification often abstract away low-level implementation details. Translation between verification and implementation languages is possible, but requires additional assurances in the translation process and increases software complexity; having both in a single language is desirable. This paper presents a formalization of MARVeLus, a CPS language which combines verification and implementation. We develop a metatheory for its synchronous refinement type system and demonstrate verified synchronous programs executing on real systems.

We study the quantum evolution of 1D Bose gases immediately after several variants of high-energy quenches, both experimentally and theoretically. Using the advantages conveyed by the relative simplicity of these nearly integrable many-body systems, we are able to differentiate the behavior of two distinct but often temporally overlapping processes, hydrodynamization and local prethermalization. There is a universal character to our findings, which can be applied to the short-time behavior of any interacting many-body quantum system after a sudden high-energy quench. We specifically discuss its potential relevance to heavy-ion collisions., Comment: 17 pages, 18 figures

High-speed interconnects, such as NVLink, are integral to modern multi-GPU systems, acting as a vital link between CPUs and GPUs. This study highlights the vulnerability of multi-GPU systems to covert and side channel attacks due to congestion on interconnects. An adversary can infer private information about a victim's activities by monitoring NVLink congestion without needing special permissions. Leveraging this insight, we develop a covert channel attack across two GPUs with a bandwidth of 45.5 kbps and a low error rate, and introduce a side channel attack enabling attackers to fingerprint applications through the shared NVLink interconnect., Comment: Accepted to SEED 2024

Aircraft landing time (ALT) prediction is crucial for air traffic management, especially for arrival aircraft sequencing on the runway. In this study, a trajectory image-based deep learning method is proposed to predict ALTs for the aircraft entering the research airspace that covers the Terminal Maneuvering Area (TMA). Specifically, the trajectories of all airborne arrival aircraft within the temporal capture window are used to generate an image with the target aircraft trajectory labeled as red and all background aircraft trajectory labeled as blue. The trajectory images contain various information, including the aircraft position, speed, heading, relative distances, and arrival traffic flows. It enables us to use state-of-the-art deep convolution neural networks for ALT modeling. We also use real-time runway usage obtained from the trajectory data and the external information such as aircraft types and weather conditions as additional inputs. Moreover, a convolution neural network (CNN) based module is designed for automatic holding-related featurizing, which takes the trajectory images, the leading aircraft holding status, and their time and speed gap at the research airspace boundary as its inputs. Its output is further fed into the final end-to-end ALT prediction. The proposed ALT prediction approach is applied to Singapore Changi Airport (ICAO Code: WSSS) using one-month Automatic Dependent Surveillance-Broadcast (ADS-B) data from November 1 to November 30, 2022. Experimental results show that by integrating the holding featurization, we can reduce the mean absolute error (MAE) from 82.23 seconds to 43.96 seconds, and achieve an average accuracy of 96.1\%, with 79.4\% of the predictions errors being less than 60 seconds., Comment: In 2023 13th SESAR Innovation Days (SIDS2023)

We calculate the typical bipartite entanglement entropy $\langle S_A\rangle_N$ in systems containing indistinguishable particles of any kind as a function of the total particle number $N$, the volume $V$, and the subsystem fraction $f=V_A/V$, where $V_A$ is the volume of the subsystem. We expand our result as a power series $\langle S_A\rangle_N=a f V+b\sqrt{V}+c+o(1)$, and find that $c$ is universal (i.e., independent of the system type), while $a$ and $b$ can be obtained from a generating function characterizing the local Hilbert space dimension. We illustrate the generality of our findings by studying a wide range of different systems, e.g., bosons, fermions, spins, and mixtures thereof. We provide evidence that our analytical results describe the entanglement entropy of highly excited eigenstates of quantum-chaotic spin and boson systems, which is distinct from that of integrable counterparts., Comment: 22+6 pages, 8+1 figures

Quantum many-body scars are notable as nonthermal states that exist at high energies. Here, we use attractively interacting dysprosium gases to create scar states that are stable enough be driven into a strongly nonlinear regime while retaining their character. We uncover an emergent nonlinear many-body phenomenon, the effective transmutation of attractive interactions into repulsive interactions. We measure how the kinetic and total energies evolve after quenching the confining potential. Although the bare interactions are attractive, the low-energy degrees of freedom evolve as if they repel each other: Thus, their kinetic energy paradoxically decreases as the gas is compressed. The missing ``phantom'' energy is quantified by benchmarking our experimental results against generalized hydrodynamics calculations. We present evidence that the missing kinetic energy is stored in very high-momentum modes., Comment: 6 pages, 4 figures with 15-page supplement including 9 figures

Augmented Reality (AR) is expected to become a pervasive component in enabling shared virtual experiences. In order to facilitate collaboration among multiple users, it is crucial for multi-user AR applications to establish a consensus on the "shared state" of the virtual world and its augmentations, through which they interact within augmented reality spaces. Current methods to create and access shared state collect sensor data from devices (e.g., camera images), process them, and integrate them into the shared state. However, this process introduces new vulnerabilities and opportunities for attacks. Maliciously writing false data to "poison" the shared state is a major concern for the security of the downstream victims that depend on it. Another type of vulnerability arises when reading the shared state; by providing false inputs, an attacker can view hologram augmentations at locations they are not allowed to access. In this work, we demonstrate a series of novel attacks on multiple AR frameworks with shared states, focusing on three publicly-accessible frameworks. We show that these frameworks, while using different underlying implementations, scopes, and mechanisms to read from and write to the shared state, have shared vulnerability to a unified threat model. Our evaluation of these state-of-art AR applications demonstrates reliable attacks both on updating and accessing shared state across the different systems. To defend against such threats, we discuss a number of potential mitigation strategies that can help enhance the security of multi-user AR applications., Comment: Accepted by USENIX Security 2024

This paper aims at distributed algorithms for solving a system of linear algebraic equations. Different from most existing formulations for this problem, we assume that the local data at each node is not accurately measured but subject to some disturbances. To be specific, the local measurement consists of two parts: a nominal value and a multiple sinusoidal disturbance. By introducing an identifier-enhanced observer to estimate the disturbance, we present a novel distributed least squares solver for the linear equations using noisy measurements. The proposed solver is proven to be able to recover the least squares solution to the linear equations associated with the nominal values irrespective of any multi-sinusoidal disturbance even with unknown frequencies. We also show the robustness of the distributed solvers under standard conditions against unstructured perturbations. The effectiveness of our design is verified by a numerical example., Comment: 8 pages, 4 figures

Boundary modes localized on the boundaries of a finite-size lattice experience a finite size effect (FSE) that could result in unwanted couplings, crosstalks and formation of gaps even in topological boundary modes. It is commonly believed that the FSE decays exponentially with the size of the system and thus requires many lattices before eventually becoming negligibly small. Here we identify a special type of FSE of some boundary modes that apparently vanishes at some particular wave vectors along the boundary. Meanwhile, the number of wave vectors where the FSE vanishes equals the number of lattices across the strip. We analytically prove this type of FSE in a simple model and prove this peculiar feature. We also provide a physical system consisting of a plasmonic sphere array where this FSE is present. Our work points to the possibility of almost arbitrarily tunning of the FSE, which facilitates unprecedented manipulation of the coupling strength between modes or channels such as the integration of multiple waveguides and photonic non-abelian braiding., Comment: 22 pages, 8 figures

A collaboration framework is a distributed system that serves as the data layer for a collaborative app. Conflict-free Replicated Data Types (CRDTs) are a promising theoretical technique for implementing collaboration frameworks. However, existing frameworks are inflexible: they are often one-off implementations of research papers or only permit a restricted set of CRDT semantics, and they do not allow app-specific optimizations. Until now, there was no general framework that lets programmers mix, match, and modify CRDTs. We solve this with Collabs, a CRDT-based collaboration framework that lets programmers implement their own CRDTs, either from-scratch or by composing existing building blocks. Collabs prioritizes both semantic flexibility and performance flexibility: it allows arbitrary app-specific CRDT behaviors and optimizations, while still providing strong eventual consistency. We demonstrate Collabs's capabilities and programming model with example apps and CRDT implementations. We then show that a collaborative rich-text editor using Collabs's built-in CRDTs can scale to over 100 simultaneous users, unlike existing CRDT frameworks and Google Docs. Collabs also has lower end-to-end latency and server CPU usage than a popular Operational Transformation framework, with acceptable CRDT metadata overhead., Comment: 18 pages, 19 figures

We explore the effect of tunable integrability breaking dipole-dipole interactions in the equilibrium states of highly magnetic 1D Bose gases of dysprosium at low temperatures. We experimentally observe that in the strongly correlated Tonks-Girardeau regime, rapidity and momentum distributions are nearly unaffected by the dipolar interactions. By contrast, we also observe that significant changes of these distributions occur when decreasing the strength of the contact interactions. We show that the main experimental observations are captured by modeling the system as an array of 1D gases with only contact interactions, dressed by the contribution of the short-range part of the dipolar interactions. Improvements to theory-experiment correspondence will require new tools tailored to near-integrable models possessing both short and long-range interactions., Comment: 5 pages, 4 figures plus supplement, as published

Hydrodynamics accurately describes relativistic heavy-ion collision experiments well before local thermal equilibrium is established. This unexpectedly rapid onset of hydrodynamics -- which takes place on the fastest available timescale -- is called hydrodynamization. It occurs when an interacting quantum system is quenched with an energy density that is much greater than its initial energy density. During hydrodynamization, energy gets redistributed across very different energy scales. Hydrodynamization precedes local equilibration among momentum modes, which is local prethermalization to a generalized Gibbs ensemble in nearly integrable systems or local thermalization in non-integrable systems. Many theories of quantum dynamics postulate local (pre)thermalization, but the associated timescale has not been quantitatively studied. Here we use an array of 1D Bose gases to directly observe both hydrodynamization and local prethermalization. After we apply a Bragg scattering pulse, hydrodynamization is evident in the fast redistribution of energy among distant momentum modes, which occurs on timescales associated with the Bragg peak energies. Local prethermalization can be seen in the slower redistribution of occupation among nearby momentum modes. We find that the time scale for local prethermalization in our system is inversely proportional to the momenta involved. During hydrodynamization and local prethermalization, existing theories cannot quantitatively model our experiment. Exact theoretical calculations in the Tonks-Girardeau limit show qualitatively similar features., Comment: 28 pages, 4 main figures, 8 extended data figures

Accurate long series forecasting of traffic information is critical for the development of intelligent traffic systems. We may benefit from the rapid growth of neural network analysis technology to better understand the underlying functioning patterns of traffic networks as a result of this progress. Due to the fact that traffic data and facility utilization circumstances are sequentially dependent on past and present situations, several related neural network techniques based on temporal dependency extraction models have been developed to solve the problem. The complicated topological road structure, on the other hand, amplifies the effect of spatial interdependence, which cannot be captured by pure temporal extraction approaches. Additionally, the typical Deep Recurrent Neural Network (RNN) topology has a constraint on global information extraction, which is required for comprehensive long-term prediction. This study proposes a new spatial-temporal neural network architecture, called Spatial-Temporal Graph-Informer (STGIN), to handle the long-term traffic parameters forecasting issue by merging the Informer and Graph Attention Network (GAT) layers for spatial and temporal relationships extraction. The attention mechanism potentially guarantees long-term prediction performance without significant information loss from distant inputs. On two real-world traffic datasets with varying horizons, experimental findings validate the long sequence prediction abilities, and further interpretation is provided., Comment: 12 pages, 18 figures and 2 tables

Accurate vehicle type classification serves a significant role in the intelligent transportation system. It is critical for ruler to understand the road conditions and usually contributive for the traffic light control system to response correspondingly to alleviate traffic congestion. New technologies and comprehensive data sources, such as aerial photos and remote sensing data, provide richer and high-dimensional information. Also, due to the rapid development of deep neural network technology, image based vehicle classification methods can better extract underlying objective features when processing data. Recently, several deep learning models have been proposed to solve the problem. However, traditional pure convolutional based approaches have constraints on global information extraction, and the complex environment, such as bad weather, seriously limits the recognition capability. To improve the vehicle type classification capability under complex environment, this study proposes a novel Densely Connected Convolutional Transformer in Transformer Neural Network (Dense-TNT) framework for the vehicle type classification by stacking Densely Connected Convolutional Network (DenseNet) and Transformer in Transformer (TNT) layers. Three-region vehicle data and four different weather conditions are deployed for recognition capability evaluation. Experimental findings validate the recognition ability of our proposed vehicle classification model with little decay, even under the heavy foggy weather condition., Comment: 10 pages, 8 figures, 5 tables

In modern cities, the number of Electric vehicles (EV) is increasing rapidly for their low emission and better dynamic performance, leading to increasing demand for EV charging. However, due to the limited number of EV charging facilities, catering to the huge demand for time-consuming EV charging becomes a critical problem. It is quite a challenge to dispatch EVs in the dynamic traffic environment and coordinate interaction among agents. To better serve further research on various related Deep Reinforcment Learning (DRL) EV dispatching algorithms, an efficient simulation environment is necessary to ensure success. As simulator Simulation Urban Mobility (SUMO) is one of the most widely used open-source simulators, it has great significance in creating an environment that satisfies research requirements on SUMO. We aim to improve the efficiency of EV charging station usage and save time for EV users in further work. As a result, we design an EV navigation system on the basis of the traffic simulator SUMO using Jurong Area, Singapore in this paper. Various state-of-the-art DRL algorithms are deployed on the designed testbed to validate the feasibility of the framework in terms of EV charging dispatching problems. Besides EV dispatching problems, the environment can also serve for other reinforcement learning (RL) traffic control problems

Electric Vehicle (EV) charging demand and charging station availability forecasting is one of the challenges in the intelligent transportation system. With the accurate EV station situation prediction, suitable charging behaviors could be scheduled in advance to relieve range anxiety. Many existing deep learning methods are proposed to address this issue, however, due to the complex road network structure and comprehensive external factors, such as point of interests (POIs) and weather effects, many commonly used algorithms could just extract the historical usage information without considering comprehensive influence of external factors. To enhance the prediction accuracy and interpretability, the Attribute-Augmented Spatial-Temporal Graph Informer (AST-GIN) structure is proposed in this study by combining the Graph Convolutional Network (GCN) layer and the Informer layer to extract both external and internal spatial-temporal dependence of relevant transportation data. And the external factors are modeled as dynamic attributes by the attribute-augmented encoder for training. AST-GIN model is tested on the data collected in Dundee City and experimental results show the effectiveness of our model considering external factors influence over various horizon settings compared with other baselines., Comment: 10 pages; 17 figures; Under review for IEEE Transaction on Vehicular Technology

Due to the lack of a method to efficiently represent the multimodal information of a protein, including its structure and sequence information, predicting compound-protein binding affinity (CPA) still suffers from low accuracy when applying machine learning methods. To overcome this limitation, in a novel end-to-end architecture (named FeatNN), we develop a coevolutionary strategy to jointly represent the structure and sequence features of proteins and ultimately optimize the mathematical models for predicting CPA. Furthermore, from the perspective of data-driven approach, we proposed a rational method that can utilize both high- and low-quality databases to optimize the accuracy and generalization ability of FeatNN in CPA prediction tasks. Notably, we visually interpret the feature interaction process between sequence and structure in the rationally designed architecture. As a result, FeatNN considerably outperforms the state-of-the-art (SOTA) baseline in virtual drug screening tasks, indicating the feasibility of this approach for practical use. FeatNN provides an outstanding method for higher CPA prediction accuracy and better generalization ability by efficiently representing multimodal information of proteins via a coevolutionary strategy., Comment: 53 pages, 14 figures, 3 tables

We study the statistical properties of the off-diagonal matrix elements of observables in the energy eigenstates of integrable quantum systems. They have been found to be dense in the spin-1/2 XXZ chain, while they are sparse in noninteracting systems. We focus on the quasimomentum occupation of hard-core bosons in one dimension, and show that the distributions of the off-diagonal matrix elements are well described by generalized Gamma distributions, in both the presence and absence of translational invariance but not in the presence of localization. We also show that the results obtained for the off-diagonal matrix elements of observables in the spin-1/2 XXZ model are well described by a generalized Gamma distribution., Comment: 16 pages, 15 figures, as published

We study the matrix elements of local and nonlocal operators in the single-particle eigenstates of two paradigmatic quantum-chaotic quadratic Hamiltonians; the quadratic Sachdev-Ye-Kitaev (SYK2) model and the three-dimensional Anderson model below the localization transition. We show that they display eigenstate thermalization for normalized observables. Specifically, we show that the diagonal matrix elements exhibit vanishing eigenstate-to-eigenstate fluctuations, and a variance proportional to the inverse Hilbert space dimension. We also demonstrate that the ratio between the variance of the diagonal and the off-diagonal matrix elements is $2$, as predicted by the random matrix theory. We study distributions of matrix elements of observables and establish that they need not be Gaussian. We identify the class of observables for which the distributions are Gaussian.

Generalized thermalization is a process that occurs in integrable systems in which unitary dynamics, e.g., following a quantum quench, results in states in which observables after equilibration are described by generalized Gibbs ensembles (GGEs). Here we discuss an emergent eigenstate construction that allows one to built emergent local Hamiltonians of which one eigenstate captures the entire generalized thermalization process following a global quantum quench. Specifically, we study the emergent eigenstate that describes the quantum dynamics of hard-core bosons in one dimension (1D) for which the initial state is a density wave and they evolve under a homogeneous Hamiltonian., Comment: 7 pages, 4 figures

The dynamics of strongly interacting many-body quantum systems are notoriously complex and difficult to simulate. A new theory, generalized hydrodynamics (GHD), promises to efficiently accomplish such simulations for nearly-integrable systems. It predicts the evolution of the distribution of rapidities, which are the momenta of the quasiparticles in integrable systems. GHD was recently tested experimentally for weakly interacting atoms, but its applicability to strongly interacting systems has not been experimentally established. Here we test GHD with bundles of one-dimensional (1D) Bose gases by performing large trap quenches in both the strong and intermediate coupling regimes. We measure the evolving distribution of rapidities, and find that theory and experiment agree well over dozens of trap oscillations, for average dimensionless coupling strengths that range from 0.3 to 9.3. By also measuring momentum distributions, we gain experimental access to the interaction energy and thus to how the quasiparticles themselves evolve. The accuracy of GHD demonstrated here confirms its wide applicability to the simulation of nearly-integrable quantum dynamical systems. Future experimental studies are needed to explore GHD in spin chains, as well as the crossover between GHD and regular hydrodynamics in the presence of stronger integrability breaking perturbations., Comment: 21 pages, 4 main text figures, 10 extended data figures

A macroscopic model is proposed to depict the traffic dynamics involved in urban traffic systems. The link dynamics are described based on the cell-transmission model and bounded by the link capacities, while the flow dynamics are proposed based on the discharge headways and saturation flow at intersections. To fulfill the requirement of a closed-loop traffic light control strategy, an approach to estimate the branching ratios at intersections is proposed and simulations show that the convergence would be achieved under constant cyclic flow profiles. Furthermore, a system partitioning approach is proposed based congestion level identification, which is achieved via a machine learning method and a hybrid traffic network control strategy is proposed to integrate different traffic light control schemes together., Comment: This is a brief summary of the talk presented during the IEEE ITSS Young Professionals Workshop affiliated with IEEE Intelligent Transportation Systems Conference 2019 at Auckland, New Zealand

We observe dynamical fermionization, where the momentum distribution of a Tonks-Girardeau (T-G) gas of strongly interacting bosons in 1D evolves from bosonic to fermionic after its axial confinement is removed. The asymptotic momentum distribution after expansion in 1D is the distribution of rapidities, which are the conserved quantities associated with many-body integrable systems. Rapidities have not previously been measured in any interacting many-body quantum system. Our measurements agree well with T-G gas theory. We also study momentum evolution after the trap depth is suddenly changed to a new non-zero value. We observe the predicted bosonic-fermionic oscillations and see deviations from the theory outside of the T-G gas limit.

We study ground-state quantum entanglement in the one-dimensional Bose-Hubbard model in the presence of a harmonic trap. We focus on two transitions that occur upon increasing the characteristic particle density: the formation of a Mott-insulating domain with site occupation one at the center of the trap (lower transition) and the emergence of a superfluid domain at the center of the Mott-insulating one (upper transition). These transitions generate discontinuities in derivatives of the total energy and have been characterized by local (nonextensive) order parameters, so we refer to them as local quantum phase transitions. We show that a second derivative of the total energy is continuous with a kink at the lower transition, and that it is discontinuous at the upper transition. We also show that bipartite entanglement entropies are order parameters for those local quantum phase transitions. We use the density-matrix renormalization group and show that the transition points extracted from entanglement measures agree with the predictions of the local density approximation in the thermodynamic limit. We discuss how to determine the transition points from results in small systems, such as the ones realized in recent optical lattice experiments that measured the second-order Renyi entanglement entropy., Comment: 9 pages, 7 figures, as published

We study quantum quench dynamics in the Fermi-Hubbard model, and its SU($N$) generalizations, in one-dimensional lattices in the limit of infinite onsite repulsion between all flavors. We consider families of initial states with generalized Neel order, namely, initial state in which there is a periodic $N$-spin pattern with consecutive fermions carrying distinct spin flavors. We introduce an exact approach to describe the quantum evolution of those systems, and study two unique transient phenomena that occur during expansion dynamics in finite lattices. The first one is the dynamical emergence of Gaussian one-body correlations during the melting of sharp (generalized) Neel domain walls. Those correlations resemble the ones in the ground state of the SU($N$) model constrained to the same spin configurations. This is explained using an emergent eigenstate solution to the quantum dynamics. The second phenomenon is the transformation of the quasimomentum distribution of the expanding strongly interacting SU($N$) gas into the rapidity distribution after long times. Finally, we study equilibration in SU($N$) gasses and show that observables after equilibration are described by a generalized Gibbs ensemble. Our approach can be used to benchmark analytical and numerical calculations of dynamics of strongly correlated SU($N$) fermions at large $U$., Comment: 16 pages, 12 figures, as published

We study SU(N) fermions in the limit of infinite on-site repulsion between all species. We focus on states in which every pair of consecutive fermions carries a different spin flavor. Since the particle order cannot be changed (because of the infinite on-site repulsion) and contiguous fermions have a different spin flavor, we refer to the corresponding constrained model as the model of distinguishable quantum particles. We introduce an exact numerical method to calculate equilibrium one-body correlations of distinguishable quantum particles based on a mapping onto noninteracting spinless fermions. In contrast to most many-body systems in one dimension, which usually exhibit either power-law or exponential decay of off-diagonal one-body correlations with distance, distinguishable quantum particles exhibit a Gaussian decay of one-body correlations in the ground state, while finite-temperature correlations are well described by stretched exponential decay., Comment: 13 pages, 13 figures

We use quantum information measures to study the local quantum phase transition that occurs for trapped spinless fermions in one-dimensional lattices. We focus on the case of a harmonic confinement. The transition occurs upon increasing the characteristic density and results in the formation of a band-insulating domain in the center of the trap. We show that the ground-state bipartite entanglement entropy can be used as an order parameter to characterize this local quantum phase transition. We also study excited eigenstates by calculating the average von Neumann and second Renyi eigenstate entanglement entropies, and compare the results with the thermodynamic entropy and the mutual information of thermal states at the same energy density. While at low temperatures we observe a linear increase of the thermodynamic entropy with temperature at all characteristic densities, the average eigenstate entanglement entropies exhibit a strikingly different behavior as functions of temperature below and above the transition. They are linear in temperature below the transition but exhibit activated behavior above it. Hence, at nonvanishing energy densities above the ground state, the average eigenstate entanglement entropies carry fingerprints of the local quantum phase transition., Comment: 11 pages, 10 figures, Editor's Suggestion

As a major type of transportation equipments, bicycles, including electrical bicycles, are distributed almost everywhere in China. The accidents caused by bicycles have become a serious threat to the public safety. So bicycle detection is one major task of traffic video surveillance systems in China. In this paper, a method based on multi-feature and multi-frame fusion is presented for bicycle detection in low-resolution traffic videos. It first extracts some geometric features of objects from each frame image, then concatenate multiple features into a feature vector and use linear support vector machine (SVM) to learn a classifier, or put these features into a cascade classifier, to yield a preliminary detection result regarding whether an object is a bicycle. It further fuses these preliminary detection results from multiple frames to provide a more reliable detection decision, together with a confidence level of that decision. Experimental results show that this method based on multi-feature and multi-frame fusion can identify bicycles with high accuracy and low computational complexity. It is, therefore, applicable for real-time traffic video surveillance systems.

This paper presents a pedestrian hopping model and a traffic signal scheduling strategy with consideration of both pedestrians and vehicles in the urban traffic system. Firstly, a novel mathematical model consisting of several logic constraints is proposed to describe the pedestrian flow in the urban traffic network and its dynamics are captured by the hopping rule, which depicts the changing capacity of each time interval from one waiting zone to another. Based on the hopping mechanism, the pedestrian traffic light scheduling problems are formulated by two different performance standards: pedestrian delay and pedestrian unhappiness. Then the mathematical technique and the meta-heuristic approach are both adopted to solve the scheduling problem: Mixed integer linear programming (MILP) formulation for pedestrian delay model and discrete harmony search algorithm (DHS) for both pedestrian delay model and unhappiness model. Secondly, a mathematical model about the vehicle traffic network, which captures drivers psychological responses to the traffic light signals, is introduced. Thirdly, a traffic light scheduling strategy to minimize the trade-off of the delays between pedestrians and vehicles is proposed. Finally, we translate this traffic signal scheduling problem for both pedestrians and vehicles into a MILP problem which can be solved by several existing tools, e.g., GUROBI. Numerical simulation results are provided to illustrate the effectiveness of our real-time traffic light scheduling for pedestrian movement and the potential impact to the vehicle traffic flows by the pedestrian movement., Comment: 14 pages, 7 figures

An urban traffic system is a heterogeneous system, which consists of different types of intersections and dynamics. In this paper, we focus on one type of heterogeneous traffic network, which consists of signalized junctions and non-signalized ones, where in the latter case vehicles usually follow the first-in-first-out principle. We propose a novel model describing the dynamic behaviors of such a system and validate it via simulations in VISSIM. Upon such a new model, a signal control problem for a heterogeneous traffic network is formulated as a mixed integer programming problem, which is solved by a Lagrangian multiplier based hierarchical distributed approach. Comparisons between a homogeneous traffic system and a heterogeneous one are provided, which leaves the door open for developing a systematic planning approach on deciding what traffic junctions require signal control to ensure a good traffic control performance, thus, have a great social and economic potentials, considering that it is rather expensive to have signal control in an urban area.