arXiv Science⌕ Search

arXiv subjects

Xiao Li

Publications and source records attributed to Xiao Li.

At least 325 records · Page 18Linked to original sources
arXiv2023

Quorum Subsumption for Heterogeneous Quorum Systems

Byzantine quorum systems provide higher throughput than proof-of-work and incur modest energy consumption. Further, their modern incarnations incorporate personalized and heterogeneous trust. Thus, they are emerging as an appealing candidate for global financial infrastructure. However, since their quorums are not uniform across processes anymore, the properties that they should maintain to support abstractions such as reliable broadcast and consensus are not well-understood. It has been shown that the two properties quorum intersection and availability are necessary. In this paper, we prove that they are not sufficient. We then define the notion of quorum subsumption, and show that the three conditions together are sufficient: we present reliable broadcast and consensus protocols, and prove their correctness for quorum systems that provide the three properties.

cs.DC↗
arXiv2023

Thin On-Sensor Nanophotonic Array Cameras

Today's commodity camera systems rely on compound optics to map light originating from the scene to positions on the sensor where it gets recorded as an image. To record images without optical aberrations, i.e., deviations from Gauss' linear model of optics, typical lens systems introduce increasingly complex stacks of optical elements which are responsible for the height of existing commodity cameras. In this work, we investigate flat nanophotonic computational cameras as an alternative that employs an array of skewed lenslets and a learned reconstruction approach. The optical array is embedded on a metasurface that, at 700~nm height, is flat and sits on the sensor cover glass at 2.5~mm focal distance from the sensor. To tackle the highly chromatic response of a metasurface and design the array over the entire sensor, we propose a differentiable optimization method that continuously samples over the visible spectrum and factorizes the optical modulation for different incident fields into individual lenses. We reconstruct a megapixel image from our flat imager with a learned probabilistic reconstruction method that employs a generative diffusion model to sample an implicit prior. To tackle scene-dependent aberrations in broadband, we propose a method for acquiring paired captured training data in varying illumination conditions. We assess the proposed flat camera design in simulation and with an experimental prototype, validating that the method is capable of recovering images from diverse scenes in broadband with a single nanophotonic layer.

physics.optics↗
arXiv2023

The sum of root-leaf distance interdiction problem with cardinality constraint by upgrading edges on trees

A network for the transportation of supplies can be described as a rooted tree with a weight of a degree of congestion for each edge. We take the sum of root-leaf distance (SRD) on a rooted tree as the whole degree of congestion of the tree. Hence, we consider the SRD interdiction problem on trees with cardinality constraint by upgrading edges (denoted by (SDIPTC) in brief). It aims to maximize the SRD by upgrading the weights of $N$ critical edges such that the total upgrade cost under some measurement is upper-bounded by a given value. The relevant minimum cost problem (MCSDIPTC) aims to minimize the total upgrade cost on the premise that the SRD is lower-bounded by a given value. We develop two different norms including weighted $l_\infty$ norm and weighted bottleneck Hamming distance to measure the upgrade cost. We propose two binary search algorithms within O($n\log n$) time for the problems (SDIPTC) under the two norms, respectively. For problems (MCSDIPTC),we propose two binary search algorithms within O($N n^2$) and O($n \log n$) under weighted $l_\infty$ norm and weighted bottleneck Hamming distance, respectively. These problems are solved through their subproblems (SDIPT) and (MCSDIPT), in which we ignore the cardinality constraint on the number of upgraded edges. Finally, we design numerical experiments to show the effectiveness of these algorithms.

math.OC↗
arXiv2023

Spatio-Temporal Calibration for Omni-Directional Vehicle-Mounted Event Cameras

We present a solution to the problem of spatio-temporal calibration for event cameras mounted on an onmi-directional vehicle. Different from traditional methods that typically determine the camera's pose with respect to the vehicle's body frame using alignment of trajectories, our approach leverages the kinematic correlation of two sets of linear velocity estimates from event data and wheel odometers, respectively. The overall calibration task consists of estimating the underlying temporal offset between the two heterogeneous sensors, and furthermore, recovering the extrinsic rotation that defines the linear relationship between the two sets of velocity estimates. The first sub-problem is formulated as an optimization one, which looks for the optimal temporal offset that maximizes a correlation measurement invariant to arbitrary linear transformation. Once the temporal offset is compensated, the extrinsic rotation can be worked out with an iterative closed-form solver that incrementally registers associated linear velocity estimates. The proposed algorithm is proved effective on both synthetic data and real data, outperforming traditional methods based on alignment of trajectories.

cs.RO↗
arXiv2023

Joint Beam Management and SLAM for mmWave Communication Systems

The millimeter-wave (mmWave) communication technology, which employs large-scale antenna arrays, enables inherent sensing capabilities. Simultaneous localization and mapping (SLAM) can utilize channel multipath angle estimates to realize integrated sensing and communication design in 6G communication systems. However, existing works have ignored the significant overhead required by the mmWave beam management when implementing SLAM with angle estimates. This study proposes a joint beam management and SLAM design that utilizes the strong coupling between the radio map and channel multipath for simultaneous beam management, localization, and mapping. In this approach, we first propose a hierarchical sweeping and sensing service design. The path angles are estimated in the hierarchical sweeping, enabling angle-based SLAM with the aid of an inertial measurement unit (IMU) to realize sensing service. Then, feature-aided tracking is proposed that utilizes prior angle information generated from the radio map and IMU. Finally, a switching module is introduced to enable flexible switching between hierarchical sweeping and feature-aided tracking. Simulations show that the proposed joint design can achieve sub-meter level localization and mapping accuracy (with an error < 0.5 m). Moreover, the beam management overhead can be reduced by approximately 40% in different wireless environments.

cs.IT↗
arXiv2023

Magnetically and electrically controllable valley splittings in MXene monolayers

The modulation of the valley structure in two-dimensional valley materials is vital in the field of valleytronics. The multiferroicity provides possibility for multiple modulations of the valley, including the magnetic and electric means. Based on the first-principle calculations, we study the valley properties and associated manipulations of multiferroic Co$_2$CF$_2$ monolayers with different stacking patterns. Our calculations show that the Co$_2$CF$_2$ monolayer in the H$^{\prime}$ phase is a ferrovalley material, with sizable valley splittings. By rotating the magnetization direction, the valley splittings can be tuned for both the magnitude and sign. The electric field, driving the reversal of the electric polarization, can also change the magnitude of the valley splittings. Besides, a metastable T$^{\prime}$ phase exhibits valley splittings as well, of which the magnitude and sign can be simultaneously controlled by applied magnetic and electric fields. These findings offer a practical way for realizing highly tunable valleys by multiferroic couplings.

cond-mat.mtrl-sci↗
arXiv2023

Nonlinear current response of two-dimensional systems under in-plane magnetic field

We theoretically investigate the nonlinear response current of a two-dimensional system under an in-plane magnetic field. Based on the extended semiclassical theory, we develop a unified theory including both longitudinal and transverse currents and classify contributions according to their scaling with the relaxation time. Besides time-reversal-even contributions, we reveal a previously unknown time-reversal-odd contribution to the Hall current, which occurs in magnetic systems, exhibits band geometric origin, and is linear in relaxation time. We show that the different contributions exhibit different symmetry characters, especially in their angular dependence on the field orientation, which can be used to distinguish them in experiment. The theory is explicitly demonstrated in the study of the Rashba model. Our work presents a deepened understanding of nonlinear planar transport, proposes approaches to distinguish different contributions, and sheds light on possible routes to enhance the effect in practice.

cond-mat.mes-hall↗
arXiv2023

The space cold atom interferometer for testing the equivalence principle in the China Space Station

The precision of the weak equivalence principle (WEP) test using atom interferometers (AIs) is expected to be extremely high in microgravity environment. The microgravity scientific laboratory cabinet (MSLC) in the China Space Station (CSS) can provide a higher-level microgravity than the CSS itself, which provides a good experimental environment for scientific experiments that require high microgravity. We designed and realized a payload of a dual-species cold rubidium atom interferometer. The payload is highly integrated and has a size of 460 mm * 330 mm * 260 mm. It will be installed in the MSLC to carry out high-precision WEP test experiment. In this article, we introduce the constraints and guidelines of the payload design, the compositions and functions of the scientific payload, the expected test precision in space, and some results of the ground test experiments

physics.atom-ph↗
arXiv2023

Statistics of noninteracting many-body fermionic states: The question of a many-body mobility edge

In this work, we study the statistics of a generic noninteracting many-body fermionic system whose single-particle counterpart has a single-particle mobility edge (SPME). We first prove that the spectrum and the extensive conserved quantities follow the multivariate normal distribution with a vanishing standard deviation $\sim O(1/\sqrt L)$ in the thermodynamic limit, regardless of SPME. Consequently, the theorem rules out an infinite-temperature or high-temperature many-body mobility edge (MBME) for generic noninteracting fermionic systems. Further, we also prove that the spectrum of a fermionic many-body system with short-range interactions is qualitatively similar to that of a noninteracting many-body system up to the third-order moment. These results partially explain why neither short-range [1] nor long-range interacting systems exhibit an infinite-temperature MBME.

cond-mat.dis-nn↗
arXiv2023

Interaction-enhanced many body localization in a generalized Aubry-Andre model

We study the many-body localization (MBL) transition in a generalized Aubry-Andre model (also known as the GPD model) introduced in Phys. Rev. Lett. 114, 146601 (2015). In contrast to MBL in other disordered or quasiperiodic models, the interaction seems to unexpectedly enhance MBL in the GPD model in some parameter ranges. To understand this counter-intuitive result, we demonstrate that the highest-energy single-particle band in the GPD model is unstable against even infinitesimal disorder, which leads to this surprising MBL phenomenon in the interacting model. We develop a mean-field theory description to understand the coupling between extended and localized states, which we validate using extensive exact diagonalization and DMRG-X numerical results.

cond-mat.dis-nn↗
arXiv2023

Fooling thermal infrared pedestrian detectors in real world using small bulbs

Thermal infrared detection systems play an important role in many areas such as night security, autonomous driving, and body temperature detection. They have the unique advantages of passive imaging, temperature sensitivity and penetration. But the security of these systems themselves has not been fully explored, which poses risks in applying these systems. We propose a physical attack method with small bulbs on a board against the state of-the-art pedestrian detectors. Our goal is to make infrared pedestrian detectors unable to detect real-world pedestrians. Towards this goal, we first showed that it is possible to use two kinds of patches to attack the infrared pedestrian detector based on YOLOv3. The average precision (AP) dropped by 64.12% in the digital world, while a blank board with the same size caused the AP to drop by 29.69% only. After that, we designed and manufactured a physical board and successfully attacked YOLOv3 in the real world. In recorded videos, the physical board caused AP of the target detector to drop by 34.48%, while a blank board with the same size caused the AP to drop by 14.91% only. With the ensemble attack techniques, the designed physical board had good transferability to unseen detectors. We also proposed the first physical multispectral (infrared and visible) attack. By using a combination method, we successfully hide from the visible light and infrared object detection systems at the same time.

cs.CV↗
arXiv2023

A Solvable Model for Discrete Time Crystal Enforced by Nonsymmorphic Dynamical Symmetry

Discrete time crystal is a class of nonequilibrium quantum systems exhibiting subharmonic responses to external periodic driving. Here we propose a class of discrete time crystals enforced by nonsymmorphic dynamical symmetry. We start with a system with nonsymmorphic dynamical symmetry, in which the instantaneous eigenstates become Möbius twisted, hence doubling the period of the instantaneous state. The exact solution of the time-dependent Schrödinger equation shows that the system spontaneously exhibits a period extension without undergoing quantum superposition states for a series of specifc evolution frequencies or in the limit of long evolution period. Moreover, in such case the system gains a π Berry phase after two periods' evolution. Finally, we show that the subharmonic response is stable even when many-body interactions are introduced, indicating a DTC phase in the thermodynamic limit.

quant-ph↗
arXiv2023

Multi-Abstractive Neural Controller: An Efficient Hierarchical Control Architecture for Interactive Driving

As learning-based methods make their way from perception systems to planning/control stacks, robot control systems have started to enjoy the benefits that data-driven methods provide. Because control systems directly affect the motion of the robot, data-driven methods, especially black box approaches, need to be used with caution considering aspects such as stability and interpretability. In this paper, we describe a differentiable and hierarchical control architecture. The proposed representation, called \textit{multi-abstractive neural controller}, uses the input image to control the transitions within a novel discrete behavior planner (referred to as the visual automaton generative network, or \textit{vAGN}). The output of a vAGN controls the parameters of a set of dynamic movement primitives which provides the system controls. We train this neural controller with real-world driving data via behavior cloning and show improved explainability, sample efficiency, and similarity to human driving.

cs.RO↗
arXiv2023

Engineering subharmonic responses beyond prethermalization via Floquet scar states

In this work we propose a new scheme to engineer subharmonic responses via scar states in a generalized PXP model. We first show that the generalized PXP model also possesses a band of scar states like the pristine PXP model does. In addition, we reveal that a generalized forward scattering approximation (FSA) still works for these scar states. We further argue that the FSA subspace exhibits an $SO(3)$ symmetry, which enables an $SO(3)$-FSA approach for the scar states. When such a model is placed under periodic driving, nontrivial Floquet scar states emerge in the quasienergy spectrum. One appealing feature of such Floquet scar states is that they can support subharmonic responses akin to the discrete time crystalline phase. In particular, such subharmonic responses can exist beyond the conventional prethermalization regime, where either large frequencies or large driving amplitudes are required.

cond-mat.stat-mech↗
arXiv2023

Multi-Scenario Broadband Channel Measurement and Modeling for Sub-6 GHz RIS-Assisted Wireless Communication Systems

Reconfigurable intelligent surface (RIS)-empowered communication, has been considered widely as one of the revolutionary technologies for next generation networks. However, due to the novel propagation characteristics of RISs, underlying RIS channel modeling and measurement research is still in its infancy and not fully investigated. In this paper, we conduct multi-scenario broadband channel measurements and modeling for RIS-assisted communications at the sub-6 GHz band. The measurements are carried out in three scenarios covering outdoor, indoor, and outdoor-to-indoor (O2I) environments, which suffer from non-line-of-sight (NLOS) propagation inherently. Three propagation modes including intelligent reflection with RIS, specular reflection with RIS and the mode without RIS, are taken into account in each scenario. In addition, considering the cascaded characteristics of RIS-assisted channel by nature, two modified empirical models including floating-intercept (FI) and close-in (CI) are proposed, which cover distance and angle domains. The measurement results rooted in 2096 channel acquisitions verify the prediction accuracy of these proposed models. Moreover, the propagation characteristics for RIS-assisted channels, including path loss (PL) gain, PL exponent, spatial consistency, time dispersion, frequency stationarity, etc., are compared and analyzed comprehensively. These channel measurement and modeling results may lay the groundwork for future applications of RIS-assisted communication systems in practice.

cs.IT↗
arXiv2023

Case Weighted Adaptive Power Priors for Hybrid Control Analyses with Time-to-Event Data

We develop a method for hybrid analyses that uses external controls to augment internal control arms in randomized controlled trials (RCT) where the degree of borrowing is determined based on similarity between RCT and external control patients to account for systematic differences (e.g. unmeasured confounders). The method represents a novel extension of the power prior where discounting weights are computed separately for each external control based on compatibility with the randomized control data. The discounting weights are determined using the predictive distribution for the external controls derived via the posterior distribution for time-to-event parameters estimated from the RCT. This method is applied using a proportional hazards regression model with piecewise constant baseline hazard. A simulation study and a real-data example are presented based on a completed trial in non-small cell lung cancer. It is shown that the case weighted adaptive power prior provides robust inference under various forms of incompatibility between the external controls and RCT population.

stat.ME↗
arXiv2023

Multi-timescale Channel Customization for Transmission Design in RIS-assisted MIMO Systems

The performance of transmission schemes is heavily influenced by the wireless channel, which is typically considered an uncontrollable factor. However, the introduction of reconfigurable intelligent surfaces (RISs) to wireless communications enables the customization of a preferred channel for adopted transmissions by reshaping electromagnetic waves. In this study, we propose multi-timescale channel customization for RIS-assisted multiple-input multiple-output systems to facilitate transmission design. Specifically, we customize a high-rank channel for spatial multiplexing (SM) transmission and a highly correlated rank-1 channel for beamforming (BF) transmission by designing the phase shifters of the RIS with statistical channel state information in the angle-coherent time to improve spectral efficiency (SE). We derive closed-form expressions for the approximation and upper bound of the ergodic SE and compare them to investigate the relative SE performance of SM and BF transmissions. In terms of reliability enhancement, we customize a fast-changing channel in the symbol timescale to achieve more diversity gain for SM and BF transmissions. Extensive numerical results demonstrate that flexible customization of channel characteristics for a specific transmission scheme can achieve a tradeoff between SE and bit error ratio performance.

cs.IT↗
arXiv2023

Channel Customization for Limited Feedback in RIS-assisted FDD Systems

Reconfigurable intelligent surfaces (RISs) represent a pioneering technology to realize smart electromagnetic environments by reshaping the wireless channel. \textcolor[rgb]{0,0,0}{Jointly designing the transceiver and RIS relies on the channel state information (CSI), whose feedback has not been investigated in multi-RIS-assisted frequency division duplexing systems.} In this study, the limited feedback of the RIS-assisted wireless channel is examined by capitalizing on the ability of the RIS in channel customization. \textcolor[rgb]{0,0,0}{By configuring the phase shifters of the surfaces using statistical CSI, we customize a sparse channel in rich-scattering environments, which significantly reduces the feedback overhead in designing the transceiver and RISs. Since the channel is customized in terms of singular value decomposition (SVD) with full-rank, the optimal SVD transceiver can be approached without a matrix decomposition and feeding back the complete channel parameters. The theoretical spectral efficiency (SE) loss of the proposed transceiver and RIS design is derived by considering the limited CSI quantization. To minimize the SE loss, a bit partitioning algorithm that splits the limited number of bits to quantize the CSI is developed.} Extensive numerical results show that the channel customization-based transceiver with reduced CSI can achieve satisfactory performance compared with the optimal transceiver with full CSI. Given the limited number of feedback bits, the bit partitioning algorithm can minimize the SE loss by adaptively allocating bits to quantize the channel parameters.

cs.IT↗