-
Switching Controller Synthesis for Hybrid Systems Against STL Formulas
Authors:
Han Su,
Shenghua Feng,
Sinong Zhan,
Naijun Zhan
Abstract:
Switching controllers play a pivotal role in directing hybrid systems (HSs) towards the desired objective, embodying a ``correct-by-construction'' approach to HS design. Identifying these objectives is thus crucial for the synthesis of effective switching controllers. While most of existing works focus on safety and liveness, few of them consider timing constraints. In this paper, we delves into t…
▽ More
Switching controllers play a pivotal role in directing hybrid systems (HSs) towards the desired objective, embodying a ``correct-by-construction'' approach to HS design. Identifying these objectives is thus crucial for the synthesis of effective switching controllers. While most of existing works focus on safety and liveness, few of them consider timing constraints. In this paper, we delves into the synthesis of switching controllers for HSs that meet system objectives given by a fragment of STL, which essentially corresponds to a reach-avoid problem with timing constraints. Our approach involves iteratively computing the state sets that can be driven to satisfy the reach-avoid specification with timing constraints. This technique supports to create switching controllers for both constant and non-constant HSs. We validate our method's soundness, and confirm its relative completeness for a certain subclass of HSs. Experiment results affirms the efficacy of our approach.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
BEVSpread: Spread Voxel Pooling for Bird's-Eye-View Representation in Vision-based Roadside 3D Object Detection
Authors:
Wenjie Wang,
Yehao Lu,
Guangcong Zheng,
Shuigen Zhan,
Xiaoqing Ye,
Zichang Tan,
Jingdong Wang,
Gaoang Wang,
Xi Li
Abstract:
Vision-based roadside 3D object detection has attracted rising attention in autonomous driving domain, since it encompasses inherent advantages in reducing blind spots and expanding perception range. While previous work mainly focuses on accurately estimating depth or height for 2D-to-3D mapping, ignoring the position approximation error in the voxel pooling process. Inspired by this insight, we p…
▽ More
Vision-based roadside 3D object detection has attracted rising attention in autonomous driving domain, since it encompasses inherent advantages in reducing blind spots and expanding perception range. While previous work mainly focuses on accurately estimating depth or height for 2D-to-3D mapping, ignoring the position approximation error in the voxel pooling process. Inspired by this insight, we propose a novel voxel pooling strategy to reduce such error, dubbed BEVSpread. Specifically, instead of bringing the image features contained in a frustum point to a single BEV grid, BEVSpread considers each frustum point as a source and spreads the image features to the surrounding BEV grids with adaptive weights. To achieve superior propagation performance, a specific weight function is designed to dynamically control the decay speed of the weights according to distance and depth. Aided by customized CUDA parallel acceleration, BEVSpread achieves comparable inference time as the original voxel pooling. Extensive experiments on two large-scale roadside benchmarks demonstrate that, as a plug-in, BEVSpread can significantly improve the performance of existing frustum-based BEV methods by a large margin of (1.12, 5.26, 3.01) AP in vehicle, pedestrian and cyclist.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
Variational Delayed Policy Optimization
Authors:
Qingyuan Wu,
Simon Sinong Zhan,
Yixuan Wang,
Yuhui Wang,
Chung-Wei Lin,
Chen Lv,
Qi Zhu,
Chao Huang
Abstract:
In environments with delayed observation, state augmentation by including actions within the delay window is adopted to retrieve Markovian property to enable reinforcement learning (RL). However, state-of-the-art (SOTA) RL techniques with Temporal-Difference (TD) learning frameworks often suffer from learning inefficiency, due to the significant expansion of the augmented state space with the dela…
▽ More
In environments with delayed observation, state augmentation by including actions within the delay window is adopted to retrieve Markovian property to enable reinforcement learning (RL). However, state-of-the-art (SOTA) RL techniques with Temporal-Difference (TD) learning frameworks often suffer from learning inefficiency, due to the significant expansion of the augmented state space with the delay. To improve learning efficiency without sacrificing performance, this work introduces a novel framework called Variational Delayed Policy Optimization (VDPO), which reformulates delayed RL as a variational inference problem. This problem is further modelled as a two-step iterative optimization problem, where the first step is TD learning in the delay-free environment with a small state space, and the second step is behaviour cloning which can be addressed much more efficiently than TD learning. We not only provide a theoretical analysis of VDPO in terms of sample complexity and performance, but also empirically demonstrate that VDPO can achieve consistent performance with SOTA methods, with a significant enhancement of sample efficiency (approximately 50\% less amount of samples) in the MuJoCo benchmark.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Stable Distributed Online Feedback Optimization for Distribution System Voltage Regulation
Authors:
Sen Zhan,
Nikolaos G. Paterakis,
Wouter van den Akker,
Anne van der Molen,
Johan Morren,
J. G. Slootweg
Abstract:
We investigate the distributed voltage regulation problem in distribution systems employing online feedback optimization and short-range communication between physical neighbours. We show that a two-metric approach can be unstable. As a remedy, we propose a nested feedback optimization strategy. Simulation results reveal that while the two-metric approach fails to regulate voltages, the proposed a…
▽ More
We investigate the distributed voltage regulation problem in distribution systems employing online feedback optimization and short-range communication between physical neighbours. We show that a two-metric approach can be unstable. As a remedy, we propose a nested feedback optimization strategy. Simulation results reveal that while the two-metric approach fails to regulate voltages, the proposed approach achieves even less voltage limit violations than its centralized counterpart.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems
Authors:
Jianglin Lan,
Siyuan Zhan,
Ron Patton,
Xianxian Zhao
Abstract:
There is an emerging trend in applying deep learning methods to control complex nonlinear systems. This paper considers enhancing the runtime safety of nonlinear systems controlled by neural networks in the presence of disturbance and measurement noise. A robustly stable interval observer is designed to generate sound and precise lower and upper bounds for the neural network, nonlinear function, a…
▽ More
There is an emerging trend in applying deep learning methods to control complex nonlinear systems. This paper considers enhancing the runtime safety of nonlinear systems controlled by neural networks in the presence of disturbance and measurement noise. A robustly stable interval observer is designed to generate sound and precise lower and upper bounds for the neural network, nonlinear function, and system state. The obtained interval is utilised to monitor the real-time system safety and detect faults in the system outputs or actuators. An adaptive cruise control vehicular system is simulated to demonstrate effectiveness of the proposed design.
△ Less
Submitted 24 March, 2024;
originally announced March 2024.
-
Boosting Reinforcement Learning with Strongly Delayed Feedback Through Auxiliary Short Delays
Authors:
Qingyuan Wu,
Simon Sinong Zhan,
Yixuan Wang,
Yuhui Wang,
Chung-Wei Lin,
Chen Lv,
Qi Zhu,
Jürgen Schmidhuber,
Chao Huang
Abstract:
Reinforcement learning (RL) is challenging in the common case of delays between events and their sensory perceptions. State-of-the-art (SOTA) state augmentation techniques either suffer from state space explosion or performance degeneration in stochastic environments. To address these challenges, we present a novel Auxiliary-Delayed Reinforcement Learning (AD-RL) method that leverages auxiliary ta…
▽ More
Reinforcement learning (RL) is challenging in the common case of delays between events and their sensory perceptions. State-of-the-art (SOTA) state augmentation techniques either suffer from state space explosion or performance degeneration in stochastic environments. To address these challenges, we present a novel Auxiliary-Delayed Reinforcement Learning (AD-RL) method that leverages auxiliary tasks involving short delays to accelerate RL with long delays, without compromising performance in stochastic environments. Specifically, AD-RL learns a value function for short delays and uses bootstrapping and policy improvement techniques to adjust it for long delays. We theoretically show that this can greatly reduce the sample complexity. On deterministic and stochastic benchmarks, our method significantly outperforms the SOTAs in both sample efficiency and policy performance. Code is available at https://github.com/QingyuanWuNothing/AD-RL.
△ Less
Submitted 5 June, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Empowering Autonomous Driving with Large Language Models: A Safety Perspective
Authors:
Yixuan Wang,
Ruochen Jiao,
Sinong Simon Zhan,
Chengtian Lang,
Chao Huang,
Zhaoran Wang,
Zhuoran Yang,
Qi Zhu
Abstract:
Autonomous Driving (AD) encounters significant safety hurdles in long-tail unforeseen driving scenarios, largely stemming from the non-interpretability and poor generalization of the deep neural networks within the AD system, particularly in out-of-distribution and uncertain data. To this end, this paper explores the integration of Large Language Models (LLMs) into AD systems, leveraging their rob…
▽ More
Autonomous Driving (AD) encounters significant safety hurdles in long-tail unforeseen driving scenarios, largely stemming from the non-interpretability and poor generalization of the deep neural networks within the AD system, particularly in out-of-distribution and uncertain data. To this end, this paper explores the integration of Large Language Models (LLMs) into AD systems, leveraging their robust common-sense knowledge and reasoning abilities. The proposed methodologies employ LLMs as intelligent decision-makers in behavioral planning, augmented with a safety verifier shield for contextual safety learning, for enhancing driving performance and safety. We present two key studies in a simulated environment: an adaptive LLM-conditioned Model Predictive Control (MPC) and an LLM-enabled interactive behavior planning scheme with a state machine. Demonstrating superior performance and safety metrics compared to state-of-the-art approaches, our approach shows the promising potential for using LLMs for autonomous vehicles.
△ Less
Submitted 22 March, 2024; v1 submitted 27 November, 2023;
originally announced December 2023.
-
State-Wise Safe Reinforcement Learning With Pixel Observations
Authors:
Simon Sinong Zhan,
Yixuan Wang,
Qingyuan Wu,
Ruochen Jiao,
Chao Huang,
Qi Zhu
Abstract:
In the context of safe exploration, Reinforcement Learning (RL) has long grappled with the challenges of balancing the tradeoff between maximizing rewards and minimizing safety violations, particularly in complex environments with contact-rich or non-smooth dynamics, and when dealing with high-dimensional pixel observations. Furthermore, incorporating state-wise safety constraints in the explorati…
▽ More
In the context of safe exploration, Reinforcement Learning (RL) has long grappled with the challenges of balancing the tradeoff between maximizing rewards and minimizing safety violations, particularly in complex environments with contact-rich or non-smooth dynamics, and when dealing with high-dimensional pixel observations. Furthermore, incorporating state-wise safety constraints in the exploration and learning process, where the agent must avoid unsafe regions without prior knowledge, adds another layer of complexity. In this paper, we propose a novel pixel-observation safe RL algorithm that efficiently encodes state-wise safety constraints with unknown hazard regions through a newly introduced latent barrier-like function learning mechanism. As a joint learning framework, our approach begins by constructing a latent dynamics model with low-dimensional latent spaces derived from pixel observations. We then build and learn a latent barrier-like function on top of the latent dynamics and conduct policy optimization simultaneously, thereby improving both safety and the total expected return. Experimental evaluations on the safety-gym benchmark suite demonstrate that our proposed method significantly reduces safety violations throughout the training process, and demonstrates faster safety convergence compared to existing methods while achieving competitive results in reward return.
△ Less
Submitted 11 December, 2023; v1 submitted 3 November, 2023;
originally announced November 2023.
-
From Plastic Waste to Treasure: Selective Upcycling through Catalytic Technologies
Authors:
Shuai Yue,
Pengfei Wang,
Bingnan Yu,
Tao Zhang,
Zhiyong Zhao,
Yi Li,
Sihui Zhan
Abstract:
The huge amount of plastic wastes has become a pressing global environmental problem, leading to severe environmental pollution and resource depletion through conventional downcycling technologies like incineration and landfilling. In contrast, selective upcycling of various plastics offers a promising solution for converting waste plastics into valuable products. This review provides a comprehens…
▽ More
The huge amount of plastic wastes has become a pressing global environmental problem, leading to severe environmental pollution and resource depletion through conventional downcycling technologies like incineration and landfilling. In contrast, selective upcycling of various plastics offers a promising solution for converting waste plastics into valuable products. This review provides a comprehensive overview of the recent advancements in innovative catalytic technologies, including thermocatalysis, electrocatalysis, and photocatalysis. Special emphasis is placed on elucidating the reaction mechanisms, activating designated chemical bonds for high selectivity, and elaborating the above techniques in terms of reaction conditions and products. Finally, the application prospects and future development trends in plastic catalysis are discussed, providing valuable insights for realizing a sustainable circular plastic economy.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
A Dual-Zone Diffusion Model for High Energy Emissions of the Cygnus Cocoon
Authors:
Shihong Zhan,
Wei Wang
Abstract:
As one of the brightest galactic $γ$-ray sources, the Cygnus Cocoon superbubble has been observed by many detectors, such as $Fermi$-LAT, ARGO, HAWC, and LHAASO. However, the origin of $γ$-ray emission for the Cygnus Cocoon and the possible contribution to PeV cosmic rays are still under debate. The recent ultrahigh-energy $γ$-ray observations by LHAASO up to 1.4 PeV towards the direction of the C…
▽ More
As one of the brightest galactic $γ$-ray sources, the Cygnus Cocoon superbubble has been observed by many detectors, such as $Fermi$-LAT, ARGO, HAWC, and LHAASO. However, the origin of $γ$-ray emission for the Cygnus Cocoon and the possible contribution to PeV cosmic rays are still under debate. The recent ultrahigh-energy $γ$-ray observations by LHAASO up to 1.4 PeV towards the direction of the Cygnus Cocoon, as well as the neutrino event report of IceCube-201120A coming from the same direction, suggest that the Cygnus Cocoon may be one of the sources of high-energy cosmic rays in the Galaxy. In this work, we propose a dual-zone diffusion model for the Cygnus Cocoon: the cocoon region and surrounding interstellar medium (ISM). This scenario can account for the $γ$-ray data from GeV to $\sim$ 50 TeV and agree with the one sub-PeV neutrino event result from IceCube so far. Moreover, it predict a non-negligible contribution $γ$-ray emission at hundreds TeV from the ISM surrounding the Cygnus Cocoon. This possible diffuse TeV-PeV gamma-ray features can be resolved by the future LHAASO observations.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Waring Problem for Matrices over Finite Fields
Authors:
Krishna Kishore,
Adrian Vasiu,
Sailun Zhan
Abstract:
We prove that for all integers $k \geq 1$, $q\ge (k-1)^4+ 6k$, and $m \geq 1$, every matrix in $ M_m(\mathbb F_q)$ is a sum of two kth powers: $M_m(\mathbb F_q)=\{A^k+B^k|A,B\in M_m(\mathbb F_q)\}$. We further generalize and refine this result in the cases when both $B$ and $C$ can be chosen to be invertible, cyclic, or split semisimple, when $k$ is coprime to $p$, or when $m$ is sufficiently larg…
▽ More
We prove that for all integers $k \geq 1$, $q\ge (k-1)^4+ 6k$, and $m \geq 1$, every matrix in $ M_m(\mathbb F_q)$ is a sum of two kth powers: $M_m(\mathbb F_q)=\{A^k+B^k|A,B\in M_m(\mathbb F_q)\}$. We further generalize and refine this result in the cases when both $B$ and $C$ can be chosen to be invertible, cyclic, or split semisimple, when $k$ is coprime to $p$, or when $m$ is sufficiently large. We also give a criterion for the Waring problem in terms of stabilizers.
△ Less
Submitted 13 March, 2024; v1 submitted 11 June, 2023;
originally announced June 2023.
-
FACE: Evaluating Natural Language Generation with Fourier Analysis of Cross-Entropy
Authors:
Zuhao Yang,
Yingfang Yuan,
Yang Xu,
Shuo Zhan,
Huajun Bai,
Kefan Chen
Abstract:
Measuring the distance between machine-produced and human language is a critical open problem. Inspired by empirical findings from psycholinguistics on the periodicity of entropy in language, we propose FACE, a set of metrics based on Fourier Analysis of the estimated Cross-Entropy of language, for measuring the similarity between model-generated and human-written languages. Based on an open-ended…
▽ More
Measuring the distance between machine-produced and human language is a critical open problem. Inspired by empirical findings from psycholinguistics on the periodicity of entropy in language, we propose FACE, a set of metrics based on Fourier Analysis of the estimated Cross-Entropy of language, for measuring the similarity between model-generated and human-written languages. Based on an open-ended generation task and the experimental data from previous studies, we find that FACE can effectively identify the human-model gap, scales with model size, reflects the outcomes of different sampling methods for decoding, correlates well with other evaluation metrics and with human judgment scores.
△ Less
Submitted 25 October, 2023; v1 submitted 17 May, 2023;
originally announced May 2023.
-
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments
Authors:
Yixuan Wang,
Simon Sinong Zhan,
Ruochen Jiao,
Zhilu Wang,
Wanxin Jin,
Zhuoran Yang,
Zhaoran Wang,
Chao Huang,
Qi Zhu
Abstract:
It is quite challenging to ensure the safety of reinforcement learning (RL) agents in an unknown and stochastic environment under hard constraints that require the system state not to reach certain specified unsafe regions. Many popular safe RL methods such as those based on the Constrained Markov Decision Process (CMDP) paradigm formulate safety violations in a cost function and try to constrain…
▽ More
It is quite challenging to ensure the safety of reinforcement learning (RL) agents in an unknown and stochastic environment under hard constraints that require the system state not to reach certain specified unsafe regions. Many popular safe RL methods such as those based on the Constrained Markov Decision Process (CMDP) paradigm formulate safety violations in a cost function and try to constrain the expectation of cumulative cost under a threshold. However, it is often difficult to effectively capture and enforce hard reachability-based safety constraints indirectly with such constraints on safety violation costs. In this work, we leverage the notion of barrier function to explicitly encode the hard safety constraints, and given that the environment is unknown, relax them to our design of \emph{generative-model-based soft barrier functions}. Based on such soft barriers, we propose a safe RL approach that can jointly learn the environment and optimize the control policy, while effectively avoiding unsafe regions with safety probability optimization. Experiments on a set of examples demonstrate that our approach can effectively enforce hard safety constraints and significantly outperform CMDP-based baseline methods in system safe rate measured via simulations.
△ Less
Submitted 13 June, 2023; v1 submitted 29 September, 2022;
originally announced September 2022.
-
PCDNF: Revisiting Learning-based Point Cloud Denoising via Joint Normal Filtering
Authors:
Zheng Liu,
Yaowu Zhao,
Sijing Zhan,
Yuanyuan Liu,
Renjie Chen,
Ying He
Abstract:
Recovering high quality surfaces from noisy point clouds, known as point cloud denoising, is a fundamental yet challenging problem in geometry processing. Most of the existing methods either directly denoise the noisy input or filter raw normals followed by updating point positions. Motivated by the essential interplay between point cloud denoising and normal filtering, we revisit point cloud deno…
▽ More
Recovering high quality surfaces from noisy point clouds, known as point cloud denoising, is a fundamental yet challenging problem in geometry processing. Most of the existing methods either directly denoise the noisy input or filter raw normals followed by updating point positions. Motivated by the essential interplay between point cloud denoising and normal filtering, we revisit point cloud denoising from a multitask perspective, and propose an end-to-end network, named PCDNF, to denoise point clouds via joint normal filtering. In particular, we introduce an auxiliary normal filtering task to help the overall network remove noise more effectively while preserving geometric features more accurately. In addition to the overall architecture, our network has two novel modules. On one hand, to improve noise removal performance, we design a shape-aware selector to construct the latent tangent space representation of the specific point by comprehensively considering the learned point and normal features and geometry priors. On the other hand, point features are more suitable for describing geometric details, and normal features are more conducive for representing geometric structures (e.g., sharp edges and corners). Combining point and normal features allows us to overcome their weaknesses. Thus, we design a feature refinement module to fuse point and normal features for better recovering geometric information. Extensive evaluations, comparisons, and ablation studies demonstrate that the proposed method outperforms state-of-the-arts for both point cloud denoising and normal filtering.
△ Less
Submitted 3 July, 2023; v1 submitted 1 September, 2022;
originally announced September 2022.
-
Punctual Hilbert schemes of points of $\mathbb{A}^3$ in the Grothendieck group of varieties
Authors:
Sailun Zhan
Abstract:
We give an explicit stratification of the punctual Hilbert schemes of $n$ points of $\mathbb{A}^{m+1}$ with respect to $m$-dimensional partitions in the Grothendieck group of varieties. As an application, we calculate the classes of the punctual Hilbert schemes of $n$ points of $\mathbb{A}^3$ and the classes of the Hilbert schemes of $n$ points of $\mathbb{A}^3$ in the Grothendieck of varieties fo…
▽ More
We give an explicit stratification of the punctual Hilbert schemes of $n$ points of $\mathbb{A}^{m+1}$ with respect to $m$-dimensional partitions in the Grothendieck group of varieties. As an application, we calculate the classes of the punctual Hilbert schemes of $n$ points of $\mathbb{A}^3$ and the classes of the Hilbert schemes of $n$ points of $\mathbb{A}^3$ in the Grothendieck of varieties for $n\leq 5$.
△ Less
Submitted 10 September, 2022; v1 submitted 3 August, 2022;
originally announced August 2022.
-
An Asymmetrical Model for High Energy Radiation of Cassiopeia A
Authors:
Shihong Zhan,
Wei Wang,
Guobin Mou,
Zhuo Li
Abstract:
Cassiopeia A (Cas A) supernova remnant shows strong radiation from radio to gamma-ray bands. The mechanism of gamma-ray radiation in Cas A and its possible contribution to PeV cosmic rays are still under debate. The X-ray imaging reveals an asymmetric profile of Cas A, suggesting the existence of a jet-like structure. In this work, we propose an asymmetrical model for Cas A, consisting of a fast m…
▽ More
Cassiopeia A (Cas A) supernova remnant shows strong radiation from radio to gamma-ray bands. The mechanism of gamma-ray radiation in Cas A and its possible contribution to PeV cosmic rays are still under debate. The X-ray imaging reveals an asymmetric profile of Cas A, suggesting the existence of a jet-like structure. In this work, we propose an asymmetrical model for Cas A, consisting of a fast moving jet-like structure and a slowly expanding isotropic shell. This model can account for the multi-wavelength spectra of Cas A, especially for the power-law hard X-ray spectrum from $\sim$ 60 to 220 keV. The GeV to TeV emission from Cas A should be contributed by both hadronic and leptonic processes. Moreover, the jet-like structure may produce a gamma-ray flux of $\sim 10^{-13}\rm erg\ cm^{-2}\ s^{-1}$ at $\sim 100$ TeV, to be examined by LHAASO and CTA.
△ Less
Submitted 6 April, 2022;
originally announced April 2022.
-
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning
Authors:
Yixuan Wang,
Simon Zhan,
Zhilu Wang,
Chao Huang,
Zhaoran Wang,
Zhuoran Yang,
Qi Zhu
Abstract:
In model-based reinforcement learning for safety-critical control systems, it is important to formally certify system properties (e.g., safety, stability) under the learned controller. However, as existing methods typically apply formal verification \emph{after} the controller has been learned, it is sometimes difficult to obtain any certificate, even after many iterations between learning and ver…
▽ More
In model-based reinforcement learning for safety-critical control systems, it is important to formally certify system properties (e.g., safety, stability) under the learned controller. However, as existing methods typically apply formal verification \emph{after} the controller has been learned, it is sometimes difficult to obtain any certificate, even after many iterations between learning and verification. To address this challenge, we propose a framework that jointly conducts reinforcement learning and formal verification by formulating and solving a novel bilevel optimization problem, which is differentiable by the gradients from the value function and certificates. Experiments on a variety of examples demonstrate the significant advantages of our framework over the model-based stochastic value gradient (SVG) method and the model-free proximal policy optimization (PPO) method in finding feasible controllers with barrier functions and Lyapunov functions that ensure system safety and stability.
△ Less
Submitted 21 March, 2023; v1 submitted 28 January, 2022;
originally announced January 2022.
-
Hilbert schemes of points on smooth projective surfaces and generalized Kummer varieties with finite group actions
Authors:
Sailun Zhan
Abstract:
Göttsche and Soergel gave formulas for the Hodge numbers of Hilbert schemes of points on a smooth algebraic surface and the Hodge numbers of generalized Kummer varieties. When a smooth projective surface $S$ admits an action by a finite group $G$, we describe the action of $G$ on the Hodge pieces via point counting. Each element of $G$ gives a trace on…
▽ More
Göttsche and Soergel gave formulas for the Hodge numbers of Hilbert schemes of points on a smooth algebraic surface and the Hodge numbers of generalized Kummer varieties. When a smooth projective surface $S$ admits an action by a finite group $G$, we describe the action of $G$ on the Hodge pieces via point counting. Each element of $G$ gives a trace on $\sum_{n=0}^{\infty}\sum_{i=0}^{\infty}(-1)^{i}H^{i}(S^{[n]},\mathbb{C})q^{n}$. In the case that $S$ is a K3 surface or an abelian surface, the resulting generating functions give some interesting modular forms when $G$ acts faithfully and symplectically on $S$.
△ Less
Submitted 23 January, 2022;
originally announced January 2022.
-
Distributionally Robust Chance-Constrained Flexibility Planning for Integrated Energy System
Authors:
Sen Zhan,
Peng Hou,
Guangya Yang
Abstract:
Inflexible combined heat and power (CHP) plants and uncertain wind power production result in excess power in distribution networks, which leads to inverse power flow challenging grid operations. Power-to-X facilities such as electrolysers and electric boilers can offer extra flexibility to the integrated energy system. In this regard, we aim to jointly determine the optimal Power-to-X facility si…
▽ More
Inflexible combined heat and power (CHP) plants and uncertain wind power production result in excess power in distribution networks, which leads to inverse power flow challenging grid operations. Power-to-X facilities such as electrolysers and electric boilers can offer extra flexibility to the integrated energy system. In this regard, we aim to jointly determine the optimal Power-to-X facility sizing and integrated energy system operations in this study. To account for wind power uncertainties, a distributionally robust chance-constrained model is developed to characterize wind power uncertainties using ambiguity sets. Linear decision rules are applied to analytically express real-time recourse actions when uncertainties are exposed, which allows the propagation of wind power uncertainties to gas and heat systems. Accordingly, the developed three-stage distributionally robust chance-constrained model is converted into a computationally tractable single-stage mixed-integer conic model. A case study validates the effectiveness of introducing the electrolyser and electric boiler into the integrated energy system, with respect to the decreased system cost, expanded CHP plant flexibility and reduced inverse power flow. The developed distributionally robust optimization model exhibits better effectiveness and robustness compared to a chance-constrained optimization model assuming wind forecast errors follow Gaussian distribution. Detailed profit analysis reveals that although the overall system cost is minimized, the profit is distributed unevenly across various stakeholders in the system.
△ Less
Submitted 17 May, 2021;
originally announced May 2021.
-
Optimal Real-time Coordination of Distributed Energy Resources in Low-voltage Grids
Authors:
Sen Zhan,
Johan Morren,
Wouter van den Akker,
Anne van der Molen,
Han Slootweg
Abstract:
This study proposes a real-time distributed energy resource (DER) coordination model that can exploit flexibility from the DERs to solve voltage and overloading issues using both active and reactive power. The model considers time-coupling devices including electric vehicles and heat pumps by deviating as little as possible from their original schedules while prioritizing DERs with the most urgent…
▽ More
This study proposes a real-time distributed energy resource (DER) coordination model that can exploit flexibility from the DERs to solve voltage and overloading issues using both active and reactive power. The model considers time-coupling devices including electric vehicles and heat pumps by deviating as little as possible from their original schedules while prioritizing DERs with the most urgent demand using dynamic cost terms. The model does not require a multi-period setting or a multi-period-ahead forecast, which enables the model to alleviate the computational difficulty and enhance its applicability for DSOs to manage the grids in real time. A case study using a Dutch low-voltage grid assuming a 100% penetration scenario of electric vehicles, heat pumps, and photovoltaics (PVs) in the households validates that the proposed model can resolve the network issues while not affecting user comfort.
△ Less
Submitted 6 May, 2021; v1 submitted 4 May, 2021;
originally announced May 2021.
-
Technoeconomic Supplement of P2G Clusters with Hydrogen Pipeline for Coordinated Renewable Energy and HVDC Systems
Authors:
Jiarong Li,
Jin Lin,
Yonghua Song,
Jinyu Xiao,
Feng Liu,
Yuxuan Zhao,
Sen Zhan
Abstract:
Under the downward tendency of prices of renewable energy generators and upward trend of hydrogen demand, this paper studies the technoeconomic supplement of P2G clusters with hydrogen pipeline for HVDC to jointly consume renewable energy. First, the planning and operation constraints of large-capacity P2G clusters is established. On this basis, the multistage coordinated planning model of renewab…
▽ More
Under the downward tendency of prices of renewable energy generators and upward trend of hydrogen demand, this paper studies the technoeconomic supplement of P2G clusters with hydrogen pipeline for HVDC to jointly consume renewable energy. First, the planning and operation constraints of large-capacity P2G clusters is established. On this basis, the multistage coordinated planning model of renewable energy, HVDCs, P2Gs and hydrogen pipelines is proposed considering both variability and uncertainty, rendering a distributionally robust chance-constrained (DRCC) program. Then this model is applied in the case study based on the real Inner Mongolia-Shandong system. Compared with energy transmission via HVDC only, P2G can provide operation supplement with its operational flexibility and long term economic supplement with increasing demand in high-valued transportation sector, which stimulates an extra 24 GW renewable energy exploration. Sensitivity analysis for both technical and economic factors further verifies the advantages of P2G in the presence of high variability due to renewable energy and downward tendency of prices of renewable energy generators. However, since the additional levelized cost of the P2G (0.04 RMB/kWh) is approximately twice the HVDC (0.02 RMB/kWh), P2G is more sensitive to uncertainty from both renewable energy and hydrogen demand.
△ Less
Submitted 1 February, 2021;
originally announced February 2021.
-
Shimura Varieties, Kummer Varieties, and Rational Curves
Authors:
Bo-Hae Im,
Michael Larsen,
Sailun Zhan
Abstract:
For a very general product $A$ of seven or more elliptic curves, every rational curve on the Kummer variety of $A$ projects trivially onto the Kummer variety of at least one of its factors. As a consequence, a very general member of certain families of abelian varieties parametrized by connected Shimura varieties of unitary type has the property that its Kummer variety has no rational curves.
For a very general product $A$ of seven or more elliptic curves, every rational curve on the Kummer variety of $A$ projects trivially onto the Kummer variety of at least one of its factors. As a consequence, a very general member of certain families of abelian varieties parametrized by connected Shimura varieties of unitary type has the property that its Kummer variety has no rational curves.
△ Less
Submitted 2 September, 2020;
originally announced September 2020.
-
Monodromy of rational curves on K3 surfaces of low genus
Authors:
Sailun Zhan
Abstract:
In many situations, the monodromy group of enumerative problems will be the full symmetric group. In this paper, we study a similar phenomenon on the rational curves in $|\mathcal{O}(1)|$ on a generic K3 surface of fixed genus over $\mathbb{C}$ as the K3 surface varies. We prove that when the K3 surface has genus $g$, $1\leq g\leq 3$, the monodromy group is the full symmetric group.
In many situations, the monodromy group of enumerative problems will be the full symmetric group. In this paper, we study a similar phenomenon on the rational curves in $|\mathcal{O}(1)|$ on a generic K3 surface of fixed genus over $\mathbb{C}$ as the K3 surface varies. We prove that when the K3 surface has genus $g$, $1\leq g\leq 3$, the monodromy group is the full symmetric group.
△ Less
Submitted 30 January, 2022; v1 submitted 18 April, 2020;
originally announced April 2020.
-
Ensemble emotion recognizing with multiple modal physiological signals
Authors:
Jing Zhang,
Yong Zhang,
Suhua Zhan,
Cheng Cheng
Abstract:
Physiological signals that provide the objective repression of human affective states are attracted increasing attention in the emotion recognition field. However, the single signal is difficult to obtain completely and accurately description for emotion. Multiple physiological signals fusing models, building the uniform classification model by means of consistent and complementary information fro…
▽ More
Physiological signals that provide the objective repression of human affective states are attracted increasing attention in the emotion recognition field. However, the single signal is difficult to obtain completely and accurately description for emotion. Multiple physiological signals fusing models, building the uniform classification model by means of consistent and complementary information from different emotions to improve recognition performance. Original fusing models usually choose the particular classification method to recognition, which is ignoring different distribution of multiple signals. Aiming above problems, in this work, we propose an emotion classification model through multiple modal physiological signals for different emotions. Features are extracted from EEG, EMG, EOG signals for characterizing emotional state on valence and arousal levels. For characterization, four bands filtering theta, beta, alpha, gamma for signal preprocessing are adopted and three Hjorth parameters are computing as features. To improve classification performance, an ensemble classifier is built. Experiments are conducted on the benchmark DEAP datasets. For the two-class task, the best result on arousal is 94.42\%, the best result on valence is 94.02\%, respectively. For the four-class task, the highest average classification accuracy is 90.74, and it shows good stability. The influence of different peripheral physiological signals for results is also analyzed in this paper.
△ Less
Submitted 1 January, 2020;
originally announced January 2020.
-
SAGE: A Proposal for a Space Atomic Gravity Explorer
Authors:
G. M. Tino,
A. Bassi,
G. Bianco,
K. Bongs,
P. Bouyer,
L. Cacciapuoti,
S. Capozziello,
X. Chen,
M. L. Chiofalo,
A. Derevianko,
W. Ertmer,
N. Gaaloul,
P. Gill,
P. W. Graham,
J. M. Hogan,
L. Iess,
M. A. Kasevich,
H. Katori,
C. Klempt,
X. Lu,
L. -S. Ma,
H. Müller,
N. R. Newbury,
C. Oates,
A. Peters
, et al. (22 additional authors not shown)
Abstract:
The proposed mission "Space Atomic Gravity Explorer" (SAGE) has the scientific objective to investigate gravitational waves, dark matter, and other fundamental aspects of gravity as well as the connection between gravitational physics and quantum physics using new quantum sensors, namely, optical atomic clocks and atom interferometers based on ultracold strontium atoms.
The proposed mission "Space Atomic Gravity Explorer" (SAGE) has the scientific objective to investigate gravitational waves, dark matter, and other fundamental aspects of gravity as well as the connection between gravitational physics and quantum physics using new quantum sensors, namely, optical atomic clocks and atom interferometers based on ultracold strontium atoms.
△ Less
Submitted 18 November, 2019; v1 submitted 8 July, 2019;
originally announced July 2019.
-
Counting rational curves on K3 surfaces with finite group actions
Authors:
Sailun Zhan
Abstract:
Göttsche gave a formula for the dimension of the cohomology of Hilbert schemes of points on a smooth projective surface $S$. When $S$ admits an action by a finite group $G$, we describe the action of $G$ on the Hodge structure. In the case that $S$ is a K3 surface, each element of $G$ gives a trace on $\sum_{n=0}^{\infty}\sum_{i=0}^{\infty}(-1)^{i}H^{i}(S^{[n]},\mathbb{C})q^{n}$. When $G$ acts fai…
▽ More
Göttsche gave a formula for the dimension of the cohomology of Hilbert schemes of points on a smooth projective surface $S$. When $S$ admits an action by a finite group $G$, we describe the action of $G$ on the Hodge structure. In the case that $S$ is a K3 surface, each element of $G$ gives a trace on $\sum_{n=0}^{\infty}\sum_{i=0}^{\infty}(-1)^{i}H^{i}(S^{[n]},\mathbb{C})q^{n}$. When $G$ acts faithfully and symplectically on $S$, the resulting generating function is of the form $q/f(q)$, where $f(q)$ is a cusp form. We relate the Hodge structure of Hilbert schemes of points to the Hodge structure of the compactified Jacobian of the tautological family of curves over an integral linear system on a K3 surface as $G$-representations. Finally, we give a sufficient condition for a $G$-orbit of curves with nodal singularities not to contribute to the representation.
△ Less
Submitted 9 January, 2022; v1 submitted 7 July, 2019;
originally announced July 2019.
-
Physics and astrophysics of strong magnetic field systems with eXTP
Authors:
Andrea Santangelo,
Silvia Zane,
Hua Feng,
RenXin Xu,
Victor Doroshenko,
Enrico Bozzo,
Ilaria Caiazzo,
Francesco Coti Zelati,
Paolo Esposito,
Denis González-Caniulef,
Jeremy Heyl,
Daniela Huppenkothen,
Gianluca Israel,
ZhaoSheng Li,
Lin Lin,
Roberto Mignani,
Nanda Rea,
Mauro Orlandini,
Roberto Taverna,
Hao Tong,
Roberto Turolla,
Cristina Baglio,
Federico Bernardini,
Niccoló Bucciantini,
Marco Feroci
, et al. (16 additional authors not shown)
Abstract:
In this paper we present the science potential of the enhanced X-ray Timing and Polarimetry (eXTP) mission for studies of strongly magnetized objects. We will focus on the physics and astrophysics of strongly magnetized objects, namely magnetars, accreting X-ray pulsars, and rotation powered pulsars. We also discuss the science potential of eXTP for QED studies. Developed by an international Conso…
▽ More
In this paper we present the science potential of the enhanced X-ray Timing and Polarimetry (eXTP) mission for studies of strongly magnetized objects. We will focus on the physics and astrophysics of strongly magnetized objects, namely magnetars, accreting X-ray pulsars, and rotation powered pulsars. We also discuss the science potential of eXTP for QED studies. Developed by an international Consortium led by the Institute of High Energy Physics of the Chinese Academy of Sciences, the eXTP mission is expected to be launched in the mid 2020s.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
Measuring the gravitational acceleration with precision matter-wave velocimetry
Authors:
G. D'Amico,
L. Cacciapuoti,
M. Jain,
S. Zhan,
G. Rosi
Abstract:
One of the major limitations of atomic gravimeters is represented by the vibration noise of the measurement platform, which cannot be distinguished from the relevant acceleration signal. We demonstrate a new method to perform an atom interferometry measurement of the gravitational acceleration without any need for a vibration isolation system or post-corrections based on seismometer data monitorin…
▽ More
One of the major limitations of atomic gravimeters is represented by the vibration noise of the measurement platform, which cannot be distinguished from the relevant acceleration signal. We demonstrate a new method to perform an atom interferometry measurement of the gravitational acceleration without any need for a vibration isolation system or post-corrections based on seismometer data monitoring the residual accelerations at the sensor head. With two subsequent Ramsey interferometers, we measure the velocity variation of freely falling cold atom samples, thus determining the gravitational acceleration experienced by them. Our instrument has a fractional stability of $ 9 \times 10^{-6}$ at 1 s of integration time, one order of magnitude better than a standard Mach-Zehnder interferometer when operated without any vibration isolation or applied post-correction. Using this technique, we measure the gravitational acceleration in our laboratory, which is found in good agreement with a previous determination obtained with a FG5 mechanical gravimeter.
△ Less
Submitted 30 March, 2018;
originally announced March 2018.
-
Entangling two atoms of different isotopes via Rydberg blockade
Authors:
Y. Zeng,
P. Xu,
X. D. He,
Y. Y. Liu,
M. Liu,
J. Wang,
D. J. Papoular,
G. V. Shlyapnikov,
M. S. Zhan
Abstract:
Quantum entanglement is crucial for simulating and understanding exotic physics of strongly correlated many-body systems, such as high--temperature superconductors, or fractional quantum Hall states. The entanglement of non-identical particles exhibits richer physics of strong many-body correlations and offers more opportunities for quantum computation, especially with neutral atoms where in contr…
▽ More
Quantum entanglement is crucial for simulating and understanding exotic physics of strongly correlated many-body systems, such as high--temperature superconductors, or fractional quantum Hall states. The entanglement of non-identical particles exhibits richer physics of strong many-body correlations and offers more opportunities for quantum computation, especially with neutral atoms where in contrast to ions the interparticle interaction is widely tunable by Feshbach resonances. Moreover, the inter-species entanglement forms a basis for the properties of various compound systems, ranging from Bose-Bose mixtures to photosynthetic light-harvesting complexes. So far, the inter-species entanglement has only been obtained for trapped ions. Here we report on the experimental realization of entanglement of two neutral atoms of different isotopes. A ${}^{87}\mathrm{Rb}$ atom and a ${}^{85}\mathrm{Rb}$ atom are confined in two single--atom optical traps separated by 3.8 $μ$m. Creating a strong Rydberg blockade, we demonstrate a heteronuclear controlled--NOT (C--NOT) quantum gate and generate a heteronuclear entangled state, with raw fidelities $0.73 \pm 0.01$ and $0.59 \pm 0.03$, respectively. Our work, together with the technologies of single--qubit gate and C--NOT gate developed for identical atoms, can be used for simulating any many--body system with multi-species interactions. It also has applications in quantum computing and quantum metrology, since heteronuclear systems exhibit advantages in low crosstalk and in memory protection.
△ Less
Submitted 1 February, 2017;
originally announced February 2017.
-
Rabi oscillation induced $π$-phase flip in an unbalanced Ramsey atom interferometer
Authors:
R. B. Li,
Z. W. Yao,
K. Wang,
S. B. Lu,
L. Cao,
J. Wang,
M. S. Zhan
Abstract:
We present an observation of zero to $π$ phase flips induced by Rabi oscillation in an unbalanced Ramsey atom interferometer. The phase shift and visibility are experimentally investigated by modulating either the polarization or duration of Raman lasers, and they are well explained by a theoretical model. In an atom interferometer, the $π$-phase flips are caused not only by the sign of Rabi frequ…
▽ More
We present an observation of zero to $π$ phase flips induced by Rabi oscillation in an unbalanced Ramsey atom interferometer. The phase shift and visibility are experimentally investigated by modulating either the polarization or duration of Raman lasers, and they are well explained by a theoretical model. In an atom interferometer, the $π$-phase flips are caused not only by the sign of Rabi frequency but also by the Rabi oscillation. Considering the $π$-phase flips, we propose the composite-light-pulse sequences for realizing the large-momentum-transfer beam splitter and mirror, which have the high immunity to the external phase noise in building the cold atom interferometer.
△ Less
Submitted 4 July, 2016; v1 submitted 6 April, 2016;
originally announced April 2016.
-
PCS: Predictive Component-level Scheduling for Reducing Tail Latency in Cloud Online Services
Authors:
Rui Han,
Junwei Wang,
Siguang Huang,
Chenrong Shao,
Shulin Zhan,
Jianfeng Zhan,
Jose Luis Vazquez-Poletti
Abstract:
Modern latency-critical online services often rely on composing results from a large number of server components. Hence the tail latency (e.g. the 99th percentile of response time), rather than the average, of these components determines the overall service performance. When hosted on a cloud environment, the components of a service typically co-locate with short batch jobs to increase machine uti…
▽ More
Modern latency-critical online services often rely on composing results from a large number of server components. Hence the tail latency (e.g. the 99th percentile of response time), rather than the average, of these components determines the overall service performance. When hosted on a cloud environment, the components of a service typically co-locate with short batch jobs to increase machine utilizations, and share and contend resources such as caches and I/O bandwidths with them. The highly dynamic nature of batch jobs in terms of their workload types and input sizes causes continuously changing performance interference to individual components, hence leading to their latency variability and high tail latency. However, existing techniques either ignore such fine-grained component latency variability when managing service performance, or rely on executing redundant requests to reduce the tail latency, which adversely deteriorate the service performance when load gets heavier. In this paper, we propose PCS, a predictive and component-level scheduling framework to reduce tail latency for large-scale, parallel online services. It uses an analytical performance model to simultaneously predict the component latency and the overall service performance on different nodes. Based on the predicted performance, the scheduler identifies straggling components and conducts near-optimal component-node allocations to adapt to the changing performance interferences from batch jobs. We demonstrate that, using realistic workloads, the proposed scheduler reduces the component tail latency by an average of 67.05\% and the average overall service latency by 64.16\% compared with the state-of-the-art techniques on reducing tail latency.
△ Less
Submitted 9 November, 2015;
originally announced November 2015.
-
BigDataBench-MT: A Benchmark Tool for Generating Realistic Mixed Data Center Workloads
Authors:
Rui Han,
Shulin Zhan,
Chenrong Shao,
Junwei Wang,
Lizy K. John,
Jiangtao Xu,
Gang Lu,
Lei Wang
Abstract:
Long-running service workloads (e.g. web search engine) and short-term data analysis workloads (e.g. Hadoop MapReduce jobs) co-locate in today's data centers. Developing realistic benchmarks to reflect such practical scenario of mixed workload is a key problem to produce trustworthy results when evaluating and comparing data center systems. This requires using actual workloads as well as guarantee…
▽ More
Long-running service workloads (e.g. web search engine) and short-term data analysis workloads (e.g. Hadoop MapReduce jobs) co-locate in today's data centers. Developing realistic benchmarks to reflect such practical scenario of mixed workload is a key problem to produce trustworthy results when evaluating and comparing data center systems. This requires using actual workloads as well as guaranteeing their submissions to follow patterns hidden in real-world traces. However, existing benchmarks either generate actual workloads based on probability models, or replay real-world workload traces using basic I/O operations. To fill this gap, we propose a benchmark tool that is a first step towards generating a mix of actual service and data analysis workloads on the basis of real workload traces. Our tool includes a combiner that enables the replaying of actual workloads according to the workload traces, and a multi-tenant generator that flexibly scales the workloads up and down according to users' requirements. Based on this, our demo illustrates the workload customization and generation process using a visual interface. The proposed tool, called BigDataBench-MT, is a multi-tenant version of our comprehensive benchmark suite BigDataBench and it is publicly available from http://prof.ict.ac.cn/BigDataBench/multi-tenancyversion/.
△ Less
Submitted 4 December, 2015; v1 submitted 9 April, 2015;
originally announced April 2015.
-
Random Birth-and-Death Networks
Authors:
Xiaojun Zhang,
Suoyue Zhan,
Lez Rayman-Bacchus
Abstract:
In this paper, a baseline model termed as random birth-and-death network model (RBDN) is considered, in which at each time step, a new node is added into the network with probability p (0<p <1) connect it with m old nodes uniformly, or an existing node is deleted from the network with probability q=1-p. This model allows for fluctuations in size, which may reach many different disciplines in physi…
▽ More
In this paper, a baseline model termed as random birth-and-death network model (RBDN) is considered, in which at each time step, a new node is added into the network with probability p (0<p <1) connect it with m old nodes uniformly, or an existing node is deleted from the network with probability q=1-p. This model allows for fluctuations in size, which may reach many different disciplines in physics, ecology and economics. The purpose of this study is to develop the RBDN model and explore its basic statistical properties. For different p, we first discuss the network size of RBDN. And then combining the stochastic process rules (SPR) based Markov chain method and the probability generating function method, we provide the exact solutions of the degree distributions. Finally, the characteristics of the tail of the degree distributions are explored after simulation verification. Our results show that the tail of the degree distribution for RBDN exhibits a Poisson tail in the case of 0<p<=1/2 and an exponential tail as p approaches to 1.
△ Less
Submitted 4 August, 2015; v1 submitted 3 March, 2015;
originally announced March 2015.
-
Collective excitation of a short-range charge ordering in $θ$-$\mbox{(BEDT-TTF)}_2\mbox{CsZn(SCN)}_4$
Authors:
K. Hashimoto,
S. C. Zhan,
R. Kobayashi,
S. Iguchi,
N. Yoneyama,
T. Moriwaki,
Y. Ikemoto,
T. Sasaki
Abstract:
We find a characteristic low-energy peak structure located in the range of 100-300 cm$^{-1}$ in the optical conductivity spectra of a quasi-two-dimensional organic compound with a triangular lattice, $θ$-$\mbox{(BEDT-TTF)}_2\mbox{CsZn(SCN)}_4$, in which two different types of short-range charge orderings (COs) coexist. Upon lowering the temperature, the low-energy peak becomes significant and shif…
▽ More
We find a characteristic low-energy peak structure located in the range of 100-300 cm$^{-1}$ in the optical conductivity spectra of a quasi-two-dimensional organic compound with a triangular lattice, $θ$-$\mbox{(BEDT-TTF)}_2\mbox{CsZn(SCN)}_4$, in which two different types of short-range charge orderings (COs) coexist. Upon lowering the temperature, the low-energy peak becomes significant and shifts to much lower frequencies only for the polarization of ${E \parallel a}$, in contrast to the other broad electronic bands in the mid-infrared region. On introducing disorder, the low-energy peak is strongly suppressed in comparison with the broad electronic bands. This result indicates that the low-energy peak is attributed to a collective excitation that originates from the short-range CO with a relatively long-period $3\times3$ pattern. The present results shed light on the understanding of the low-energy excitation in the glassy electronic state, where the charge degrees of freedom remain at low temperatures.
△ Less
Submitted 28 January, 2014;
originally announced January 2014.
-
Solar-cycle related variation of solar differential rotation
Authors:
K. J. Li,
X. J. Shi,
J. L. Xie,
P. X. Gao,
H. F. Liang,
L. S. Zhan,
W. Feng
Abstract:
Solar-cycle related variation of differential rotation is investigated through analyzing the rotation rates of magnetic fields, distributed along latitudes and varying with time at the time interval of August 1976 to April 2008. More pronounced differentiation of rotation rates is found to appear at the ascending part of a Schwabe cycle than at the descending part on an average. The coefficient…
▽ More
Solar-cycle related variation of differential rotation is investigated through analyzing the rotation rates of magnetic fields, distributed along latitudes and varying with time at the time interval of August 1976 to April 2008. More pronounced differentiation of rotation rates is found to appear at the ascending part of a Schwabe cycle than at the descending part on an average. The coefficient $B$ in the standard form of differential rotation, which represents the latitudinal gradient of rotation, may be divided into three parts within a Schwabe cycle. Part one spans from the start to the $4^{th}$ year of a Schwabe cycle, within which the absolute $B$ is approximately a constant or slightly fluctuates. Part two spans from the $4^{th}$ to the $7^{th}$ year, within which the absolute $B$ decreases. Part three spans from the $7^{th}$ year to the end, within which the absolute $B$ increases. Strong magnetic fields repress differentiation of rotation rates, so that rotation rates show less pronounced differentiation, but weak magnetic fields seem to just reflect differentiation of rotation rates. The solar-cycle related variation of solar differential rotation is inferred to the result of both the latitudinal migration of the surface torsional pattern and the repression of strong magnetic activity to differentiation of rotation rates.
△ Less
Submitted 16 May, 2013;
originally announced May 2013.
-
Why isn't the solar constant a constant?
Authors:
K. J. Li,
W. Feng,
J. C. Xu,
P. X. Gao,
L. H. Yang,
H. F. Liang,
L. S. Zhan
Abstract:
In order to probe the mechanism of variations of the Solar Constant on the inter-solar-cycle scale, total solar irradiance (TSI, the so-called Solar Constant) in the time interval of 7 November 1978 to 20 September 2010 is decomposed into three components through the empirical mode decomposition and time-frequency analyses. The first component is the rotation signal, counting up to 42.31% of the t…
▽ More
In order to probe the mechanism of variations of the Solar Constant on the inter-solar-cycle scale, total solar irradiance (TSI, the so-called Solar Constant) in the time interval of 7 November 1978 to 20 September 2010 is decomposed into three components through the empirical mode decomposition and time-frequency analyses. The first component is the rotation signal, counting up to 42.31% of the total variation of TSI, which is understood to be mainly caused by large magnetic structures, including sunspot groups. The second is an annual-variation signal, counting up to 15.17% of the total variation, the origin of which is not known at this point in time. Finally, the third is the inter-solar-cycle signal, counting up to 42.52%, which are inferred to be caused by the network magnetic elements in quiet regions, whose magnetic flux ranges from $(4.27-38.01)\times10^{19}$ Mx.
△ Less
Submitted 3 January, 2012;
originally announced January 2012.
-
From quantum to classical description of intense laser-atom physics with Bohmian trajectories
Authors:
X. Y. Lai,
Qing-yu Cai,
M. S. Zhan
Abstract:
In this paper, Bohmian mechanics is introduced to the intense laser-atom physics. The motion of atomic electron in intense laser field is obtained from the Bohm-Newton equation. We find the quantum potential that dominates the quantum effect of a physical system becomes negligible as the electron is driven far away from the parent ion by the intense laser field, i.e. the behavior of the electron…
▽ More
In this paper, Bohmian mechanics is introduced to the intense laser-atom physics. The motion of atomic electron in intense laser field is obtained from the Bohm-Newton equation. We find the quantum potential that dominates the quantum effect of a physical system becomes negligible as the electron is driven far away from the parent ion by the intense laser field, i.e. the behavior of the electron smoothly trends to be classical soon after the electron was ionized. Our numerical calculations present a direct positive evidence for the semiclassical trajectory methods in the intense laser-atom physics where the motion of the ionized electron is treated by the classical mechanics, while quantum mechanics is needed before the ionization.
△ Less
Submitted 20 December, 2009;
originally announced December 2009.
-
Bohmian mechanics to high-order harmonic generation
Authors:
X. Y. Lai,
Q. Y. Cai,
M. S. Zhan
Abstract:
This paper introduces Bohmian mechanics (BM) into the intense laser-atom physics to study high-order harmonic generation. In BM, the trajectories of atomic electrons in intense laser field can be obtained with the Bohm-Newton equation. The power spectrum with the trajectory of an atomic electron is calculated, which is found to be irregular. Next, the power spectrum associated with an atom ensem…
▽ More
This paper introduces Bohmian mechanics (BM) into the intense laser-atom physics to study high-order harmonic generation. In BM, the trajectories of atomic electrons in intense laser field can be obtained with the Bohm-Newton equation. The power spectrum with the trajectory of an atomic electron is calculated, which is found to be irregular. Next, the power spectrum associated with an atom ensemble from BM is considered, where the power spectrum becomes regular and consistent with that from quantum mechanics. Finally, the reason of the generation of the irregular spectrum is discussed.
△ Less
Submitted 8 November, 2009;
originally announced November 2009.
-
Above-threshold ionization photoelectron spectrum from quantum trajectory
Authors:
X. Y. Lai,
Q. Y. Cai,
M. S. Zhan
Abstract:
Many nonlinear quantum phenomena of intense laser-atom physics can be intuitively explained with the concept of trajectory. In this paper, Bohmian mechanics (BM) is introduced to study a multiphoton process of atoms interacting with the intense laser field: above-threshold ionization (ATI). Quantum trajectory of an atomic electron in intense laser field is obtained from the Bohm-Newton equation…
▽ More
Many nonlinear quantum phenomena of intense laser-atom physics can be intuitively explained with the concept of trajectory. In this paper, Bohmian mechanics (BM) is introduced to study a multiphoton process of atoms interacting with the intense laser field: above-threshold ionization (ATI). Quantum trajectory of an atomic electron in intense laser field is obtained from the Bohm-Newton equation first and then the energy of the photoelectron is gained from its trajectory. With energies of an ensemble of photoelectrons, we obtain the ATI spectrum which is consistent with the previous theoretical and experimental results. Comparing BM with the classical trajectory Monte-Carlo method, we conclude that quantum potential may play a key role to reproduce the spectrum of ATI. Our work may present a new approach to understanding quantum phenomena in intense laser-atom physics with the image of trajectory.
△ Less
Submitted 17 June, 2009;
originally announced June 2009.
-
Hidden Messenger Revealed in Hawking Radiation: a Resolution to the Paradox of Black Hole Information Loss
Authors:
Baocheng Zhang,
Qing-yu Cai,
Li You,
M S Zhan
Abstract:
Using standard statistical method, we discover the existence of correlations among Hawking radiations (of tunneled particles) from a black hole. The information carried by such correlations is quantified by mutual information between sequential emissions. Through a careful counting of the entropy taken out by the emitted particles, we show that the black hole radiation as tunneling is an entropy…
▽ More
Using standard statistical method, we discover the existence of correlations among Hawking radiations (of tunneled particles) from a black hole. The information carried by such correlations is quantified by mutual information between sequential emissions. Through a careful counting of the entropy taken out by the emitted particles, we show that the black hole radiation as tunneling is an entropy conservation process. While information is leaked out through the radiation, the total entropy is conserved. Thus, we conclude the black hole evaporation process is unitary.
△ Less
Submitted 4 March, 2009;
originally announced March 2009.
-
Quantum mechanical NMR implementation of DNA algorithm for satisfiability problem
Authors:
T. T. Ren,
M. Feng,
W. -L. Chang,
J. Luo,
M. S. Zhan
Abstract:
DNA computation could in principle solve the satisfiability (SAT) problem due to the operations in parallel on extremely large numbers of strands. We demonstrate some quantum gates corresponding to the DNA ones, based on which an implementation of DNA algorithm for SAT problem is available by quantum mechanical way. Since quantum computation owns the favorable feature of operations in parallel o…
▽ More
DNA computation could in principle solve the satisfiability (SAT) problem due to the operations in parallel on extremely large numbers of strands. We demonstrate some quantum gates corresponding to the DNA ones, based on which an implementation of DNA algorithm for SAT problem is available by quantum mechanical way. Since quantum computation owns the favorable feature of operations in parallel on 2$^{n}$ states by using only n qubits, instead of 2$^{n}$ strands in DNA computation, computational complexity is much reduced in treating the SAT problem quantum mechanically. We take a three-clause SAT problem with two variables as an example, and carry out a NMR experiment for solving a one-variable SAT problem.
△ Less
Submitted 1 February, 2008;
originally announced February 2008.
-
Electromagnetically induced transparency in multi-level cascade scheme of cold rubidium atoms
Authors:
J. Wang,
L. B. Kong,
K. J. Jiang,
K. Li,
X. H. Tu,
H. W. Xiong,
Yifu Zhu,
M. S. Zhan
Abstract:
We report an experimental investigation of electromagnetically induced transparency in a multi-level cascade system of cold atoms. The absorption spectral profiles of the probe light in the multi-level cascade system were observed in cold Rb-85 atoms confined in a magneto-optical trap, and the dependence of the spectral profile on the intensity of the coupling laser was investigated. The experim…
▽ More
We report an experimental investigation of electromagnetically induced transparency in a multi-level cascade system of cold atoms. The absorption spectral profiles of the probe light in the multi-level cascade system were observed in cold Rb-85 atoms confined in a magneto-optical trap, and the dependence of the spectral profile on the intensity of the coupling laser was investigated. The experimental measurements agree with the theoretical calculations based on the density matrix equations of the rubidium cascade system.
△ Less
Submitted 11 February, 2004;
originally announced February 2004.
-
Bichromatic electromagnetically induced transparency in cold rubidium atoms
Authors:
J. Wang,
Yifu Zhu,
K. J. Jiang,
M. S. Zhan
Abstract:
In a three-level atomic system coupled by two equal-amplitude laser fields with a frequency separation 2$δ$, a weak probe field exhibits a multiple-peaked absorption spectrum with a constant peak separation $δ$. The corresponding probe dispersion exhibits steep normal dispersion near the minimum absorption between the multiple absorption peaks, which leads to simultaneous slow group velocities f…
▽ More
In a three-level atomic system coupled by two equal-amplitude laser fields with a frequency separation 2$δ$, a weak probe field exhibits a multiple-peaked absorption spectrum with a constant peak separation $δ$. The corresponding probe dispersion exhibits steep normal dispersion near the minimum absorption between the multiple absorption peaks, which leads to simultaneous slow group velocities for probe photons at multiple frequencies separated by $δ$. We report an experimental study in such a bichromatically coupled three-level $Λ$ system in cold $^{87}$Rb atoms. The multiple-peaked probe absorption spectra under various experimental conditions have been observed and compared with the theoretical calculations.
△ Less
Submitted 24 December, 2003;
originally announced December 2003.
-
Two Qubit Quantum Computing in a Projected Subspace
Authors:
Bi Qiao,
H. E. Ruda,
M. S. Zhan
Abstract:
A formulation for performing quantum computing in a projected subspace is presented, based on the subdynamical kinetic equation (SKE) for an open quantum system. The eigenvectors of the kinetic equation are shown to remain invariant before and after interaction with the environment. However, the eigenvalues in the projected subspace exhibit a type of phase shift to the evolutionary states. This…
▽ More
A formulation for performing quantum computing in a projected subspace is presented, based on the subdynamical kinetic equation (SKE) for an open quantum system. The eigenvectors of the kinetic equation are shown to remain invariant before and after interaction with the environment. However, the eigenvalues in the projected subspace exhibit a type of phase shift to the evolutionary states. This phase shift does not destroy the decoherence-free (DF) property of the subspace because the associated fidelity is 1. This permits a universal formalism to be presented - the eigenprojectors of the free part of the Hamiltonian for the system and bath may be used to construct a DF projected subspace based on the SKE. To eliminate possible phase or unitary errors induced by the change in the eigenvalues, a cancellation technique is proposed, using the adjustment of the coupling time, and applied to a two qubit computing system. A general criteria for constructing a DF projected subspace from the SKE is discussed. Finally, a proposal for using triangulation to realize a decoherence-free subsystem based on SKE is presented. The concrete formulation for a two-qubit model is given exactly. Our approach is novel and general, and appears applicable to any type of decoherence. Key Words: Quantum Computing, Decoherence, Subspace, Open System PACS number: 03.67.Lx,33.25.+k,.76.60.-k
△ Less
Submitted 5 February, 2002; v1 submitted 4 October, 2001;
originally announced October 2001.
-
A Practical Scheme for Entanglement Concentration
Authors:
Zhi Zhao,
Jian-Wei Pan,
M. S. Zhan
Abstract:
We present a realistic purification scheme for pure non-maximally entangled states. In the scheme, Alice and Bob at two distant parties first start with two shared but less entangled photon pairs to produce a conditional four-photon GHZ state, then perform a 45-degree polarization measurement onto one of the two photons at each party such that the remaining two photons are projected onto a maxim…
▽ More
We present a realistic purification scheme for pure non-maximally entangled states. In the scheme, Alice and Bob at two distant parties first start with two shared but less entangled photon pairs to produce a conditional four-photon GHZ state, then perform a 45-degree polarization measurement onto one of the two photons at each party such that the remaining two photons are projected onto a maximally entangled state.
△ Less
Submitted 9 April, 2001;
originally announced April 2001.