arXiv subjects

Qiang Wang

Publications and source records attributed to Qiang Wang.

At least 235 records · Page 13Linked to original sources

arXiv2021

Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles

Providing safety guarantees for Autonomous Vehicle (AV) systems with machine-learning-based controllers remains a challenging issue. In this work, we propose Simplex-Drive, a framework that can achieve runtime safety assurance for machine-learning enabled controllers of AVs. The proposed Simplex-Drive consists of an unverified Deep Reinforcement Learning (DRL)-based advanced controller (AC) that achieves desirable performance in complex scenarios, a Velocity-Obstacle (VO) based baseline safe controller (BC) with provably safety guarantees, and a verified mode management unit that monitors the operation status and switches the control authority between AC and BC based on safety-related conditions. We provide a formal correctness proof of Simplex-Drive and conduct a lane-changing case study in dense traffic scenarios. The simulation experiment results demonstrate that Simplex-Drive can always ensure operation safety without sacrificing control performance, even if the DRL policy may lead to deviations from the safe status.

cs.RO↗

arXiv2021

Coset-wise affine functions and cycle types of complete mappings

Let $K$ be a finite field of characteristic $p$. We study a certain class of functions $K\rightarrow K$ that agree with an $\mathbb{F}_p$-affine function $K\rightarrow K$ on each coset of a given additive subgroup $W$ of $K$ - we call them $W$-coset-wise $\mathbb{F}_p$-affine functions of $K$. We show that these functions form a permutation group on $K$ with the structure of an imprimitive wreath product and characterize which of them are complete mappings of $K$. As a consequence, we are able to provide various new examples of cycle types of complete mappings of $K$, including that $K$ has a complete mapping moving all elements of $K$ in one cycle if $p>2$.

math.NT↗

arXiv2021

Counting irreducible polynomials with prescribed coefficients over a finite field

We continue our study on counting irreducible polynomials over a finite field with prescribed coefficients. We set up a general combinatorial framework using generating functions with coefficients from a group algebra which is generated by equivalent classes of polynomials with prescribed coefficients. Simplified expressions are derived for some special cases. Our results extend some earlier results.

math.CO↗

arXiv2021

Double-bowl State in photonic Dirac nodal line semimetal

The past decade has seen a proliferation of topological materials for both insulators and semimetals in electronic systems and classical waves. Topological semimetals exhibit topologically protected band degeneracies, such as nodal points and nodal lines. Dirac nodal line semimetals (DNLS), which own four-fold line degeneracy, have drawn particular attention. DNLSs have been studied in electronic systems but there is no photonic DNLS. Here in this work, we provide a new mechanism which is unique for photonic systems to investigate a stringent photonic DNLS. When truncated, the photonic DNLS exhibits double-bowl states (DBS), which comprises two sets of perpendicularly polarized surface states. In sharp contrast to nondegenerate surface states in other photonic systems, here the two sets of surface states are almost degenerate over the whole spectrum range. The DBS and the bulk Dirac nodal ring (DNR) dispersion along the relevant directions, are experimentally resolved.

physics.optics↗

arXiv2021

Generation and Tunability of Supermodes in Tamm Plasmon Topological Superlattices

In this study, we propose and experimentally demonstrate a novel kind of Tamm plasmon topological superlattice (TTS) by engineering Tamm photonic crystals (TPCs) belonging to a different class of topology. Utilizing specifically designed double-layer metasurfaces etching on planar multilayered photonic structures, the TPC that supports the Tamm plasmon photonic bandgap is realized in the visible regime. Through the coupling of topological interface states existing between different TPCs, hybrid topological interface states of Tamm plasmon, called supermodes, are obtained that can be fully described by a tight-binding model. Meanwhile, we can achieve a tunable bandwidth of supermodes via varying the etching depth difference between double-layer metasurfaces. We show that the bandwidth decreases with the increase of etching depth difference, resulting in a nearly flat dispersion of supermodes with strong localization regardless of excitation angles. All the results are experimentally verified by measuring angular-resolved reflectance spectra. The TTS and supermodes proposed here open a new pathway for the manipulation of Tamm plasmons, based on which various promising applications such as integrated photonic devices, optical sensing, and enhancing light-matter interactions can be realized.

physics.optics↗

arXiv2021

Spin-to-Orbital Angular Momentum Conversion via Light Intensity Gradient

Besides a linear momentum, optical fields carry an angular momentum (AM), which have two intrinsic components: one is spin angular momentum (SAM) related to the polarization state of the field, and the other is orbital angular momentum (OAM) caused by the helical phase due to the existence of topological azimuthal charge. The two AM components of the optical field may not be independent of each other, and the Spin-to-Orbital AM conversion (STOC) under focusing will create a spin-dependent optical vortex in the longitudinal filed. Here we demonstrate a new mechanism (or novel way, new way, specific process) for the STOC based on a radial intensity gradient. The radial phase provides an effective way to control the local AM density, which induce counterintuitive orbital motion of isotropic particles in optical tweezers without intrinsic OAM. Our work not only provides fundamental insights into the spin-orbit interaction of light, but also push towards possible applications in optical micro-manipulation.

physics.optics↗

arXiv2021

New Successor Rules to Efficiently Produce Exponentially Many Binary de Bruijn Sequences

We put forward new general criteria to design successor rules that generate binary de Bruijn sequences. Prior fast algorithms based on successor rules in the literature are then shown to be special instances. We implemented the criteria to join the cycles generated by a number of simple feedback shift registers (FSRs) of order $n$. These include the pure cycling register (PCR) and the pure summing register (PSR). For the PCR, we define a transitive relation on its cycles, based on their weights. We also extend the choices of conjugate states by using shift operations. For the PSR, we define three distinct transitive relations on its cycles, namely a run order, a necklace order, and a mixed order. Using the new orders, we propose numerous classes of successor rules. Each class efficiently generates a number, exponential in $n$, of binary de Bruijn sequences. Producing the next bit in each such sequence takes $O(n)$ memory and $O(n)$ time. We implemented computational routines to confirm the claims.

cs.IT↗

arXiv2021

Probing rotated Weyl physics on nonlinear lithium niobate-on-insulator chips

Topological photonics, featured by stable topological edge states resistant to perturbations, has been utilized to design robust integrated devices. Here, we present a study exploring the intriguing topological rotated Weyl physics in a 3D parameter space based on quaternary waveguide arrays on lithium niobate-on-insulator (LNOI) chips. Unlike previous works that focus on the Fermi arc surface states of a single Weyl structure, we can experimentally construct arbitrary interfaces between two Weyl structures whose orientations can be freely rotated in the synthetic parameter space. This intriguing system was difficult to realize in usual 3D Weyl semimetals due to lattice mismatch. We found whether the interface can host gapless topological interface states (TISs) or not, is determined by the relative rotational directions of the two Weyl structures. In the experiment, we have probed the local characteristics of the TISs through linear optical transmission and nonlinear second harmonic generation. Our study introduces a novel path to explore topological photonics on LNOI chips and various applications in integrated nonlinear and quantum optics.

physics.optics↗

arXiv2021

Scale-Consistent Fusion: from Heterogeneous Local Sampling to Global Immersive Rendering

Image-based geometric modeling and novel view synthesis based on sparse, large-baseline samplings are challenging but important tasks for emerging multimedia applications such as virtual reality and immersive telepresence. Existing methods fail to produce satisfactory results due to the limitation on inferring reliable depth information over such challenging reference conditions. With the popularization of commercial light field (LF) cameras, capturing LF images (LFIs) is as convenient as taking regular photos, and geometry information can be reliably inferred. This inspires us to use a sparse set of LF captures to render high-quality novel views globally. However, fusion of LF captures from multiple angles is challenging due to the scale inconsistency caused by various capture settings. To overcome this challenge, we propose a novel scale-consistent volume rescaling algorithm that robustly aligns the disparity probability volumes (DPV) among different captures for scale-consistent global geometry fusion. Based on the fused DPV projected to the target camera frustum, novel learning-based modules have been proposed (i.e., the attention-guided multi-scale residual fusion module, and the disparity field guided deep re-regularization module) which comprehensively regularize noisy observations from heterogeneous captures for high-quality rendering of novel LFIs. Both quantitative and qualitative experiments over the Stanford Lytro Multi-view LF dataset show that the proposed method outperforms state-of-the-art methods significantly under different experiment settings for disparity inference and LF synthesis.

cs.CV↗

arXiv2021

A Graph Joining Greedy Approach to Binary de Bruijn Sequences

Using greedy algorithms to generate de Bruijn sequences is a classical approach that has produced numerous interesting theoretical results. This paper investigates an algorithm which we call the Generalized Prefer-Opposite (GPO). It includes all prior greedy algorithms, with the exception of the Fleury Algorithm applied on the de Bruijn graph, as specific instances. The GPO Algorithm can produce any binary periodic sequences with nonlinear complexity at least two on input a pair of suitable feedback function and initial state. In particular, a sufficient and necessary condition for the GPO Algorithm to generate binary de Bruijn sequences is established. This requires the use of feedback functions with a unique cycle or loop in their respective state graphs. Moreover, we discuss modifications to the GPO Algorithm to handle more families of feedback functions whose state graphs have multiple cycles or loops. These culminate in a graph joining method. Several large classes of feedback functions are subsequently used to illustrate how the GPO Algorithm and its modification into the Graph Joining Prefer-Opposite (GJPO) Algorithm work in practice.

cs.IT↗

arXiv2021

Observation of Weyl point pair annihilation in a gyromagnetic photonic crystal

Weyl semimetals are gapless three-dimensional (3D) phases whose bandstructures contain Weyl point (WP) degeneracies. WPs carry topological charge and can only be eliminated by mutual annihilation, a process that generates the various topologically distinct 3D insulators. Time reversal (T) symmetric Weyl phases, containing a minimum of four WPs, have been extensively studied in real materials, photonic metamaterials, and other systems. Weyl phases with a single WP pair - the simplest configuration of WPs - are more elusive as they require T-breaking. Here, we implement a microwave-scale gyromagnetic 3D photonic crystal, and use field-mapping experiments to track a single pair of ideal WPs whose momentum space locations depend strongly on the biasing magnetic field. By continuously varying the field strength, we observe the annihilation of the WPs, and the formation of a 3D Chern insulator, a previously unrealised member of the family of 3D topological insulators (TIs). Surface measurements show, in unprecedented detail, how the Fermi arc states connecting the WPs evolve into TI surface states.

cond-mat.mes-hall↗

arXiv2021

A framework of constructing placement delivery arrays for centralized coded caching

In caching system, it is desirable to design a coded caching scheme with the transmission load $R$ and subpacketization $F$ as small as possible, in order to improve efficiency of transmission in the peak traffic times and to decrease implementation complexity. Yan et al. reformulated the centralized coded caching scheme as designing a corresponding $F\times K$ array called placement delivery array (PDA), where $F$ is the subpacketization and $K$ is the number of users. Motivated by several constructions of PDAs, we introduce a framework for constructing PDAs, where each row is indexed by a row vector of some matrix called row index matrix and each column's index is labelled by an element of a direct product set. Using this framework, a new scheme is obtained, which can be regarded as a generalization of some previously known schemes. When $K$ is equal to ${m\choose t}q^t$ for positive integers $m$, $t$ with $t<m$ and $q\geq 2$, we show that the row index matrix must be an orthogonal array if all the users have the same memory size. Furthermore, the row index matrix must be a covering array if the coded gain is ${m\choose t}$, which is the maximal coded gain under our framework. Consequently the lower bounds on the transmission load and subpacketization of the schemes are derived under our framework. Finally, using orthogonal arrays as the row index matrix, we obtain two more explicit classes of schemes which have significantly advantages on the subpacketization while the transmission load is equal or close to that of the schemes constructed by Shangguan et al. (IEEE Trans. Inf. Theory, 64, 5755-5766, 2018) for the same number of users and memory size.

cs.IT↗

arXiv2021

On the enumeration of polynomials with prescribed factorization pattern

We use generating functions over group rings to count polynomials over finite fields with the first few coefficients prescribed and a factorization pattern prescribed. In particular, we obtain different exact formulas for the number of monic $n$-smooth polynomial of degree $m$ over a finite field, as well as the number of monic $n$-smooth polynomial of degree $m$ with the prescribed trace coefficient.

math.NT↗

arXiv2021

Observation of dislocation-induced topological modes in a three-dimensional acoustic topological insulator

The interplay between real-space topological lattice defects and the reciprocal-space topology of energy bands can give rise to novel phenomena, such as one-dimensional topological modes bound to screw dislocations in three-dimensional topological insulators. We obtain direct experimental observations of dislocation-induced helical modes in an acoustic analog of a weak three-dimensional topological insulator. The spatial distribution of the helical modes is found through spin-resolved field mapping, and verified numerically by tight-binding and finite-element calculations. These one-dimensional helical channels can serve as robust waveguides in three-dimensional media. Our experiment paves the way to studying novel physical modes and functionalities enabled by topological lattice defects in three-dimensional classical topological materials.

cond-mat.mes-hall↗

arXiv2021

The additive index of polynomials over finite fields

In this paper we introduce the additive analogue of the index of a polynomial over finite fields. We study several problems in the theory of polynomials over finite fields in terms of their additive indices, such as value set sizes, bounds on multiplicative character sums, and characterizations of permutation polynomials.

math.NT↗

arXiv2021

Cycle types of complete mappings of finite fields

We derive several existence results concerning cycle types and, more generally, the "mapping behavior" of complete mappings. Our focus is on so-called first-order cyclotomic mappings, which are functions on a finite field $\mathbb{F}_q$ that fix $0$ and restrict to the multiplication $x\mapsto a_ix$ by a fixed element $a_i\in\mathbb{F}_q$ on each coset $C_i$ of a given subgroup $C$ of $\mathbb{F}_q^{\ast}$. The gist of two of our main results is that as long as $q$ is large enough relative to the index $|\mathbb{F}_q^{\ast}:C|$, all cycle types of first-order cyclotomic permutations with only long cycles on $\mathbb{F}_q^{\ast}$ can be achieved through a complete mapping, as can all permutations of the cosets of $C$. Our third main result provides new examples of complete mappings $f$ such that both $f$ and its associated orthomorphism $f+\operatorname{id}$ permute the nonzero field elements in one cycle.

math.NT↗

arXiv2021

A comparative study of neural network techniques for automatic software vulnerability detection

Software vulnerabilities are usually caused by design flaws or implementation errors, which could be exploited to cause damage to the security of the system. At present, the most commonly used method for detecting software vulnerabilities is static analysis. Most of the related technologies work based on rules or code similarity (source code level) and rely on manually defined vulnerability features. However, these rules and vulnerability features are difficult to be defined and designed accurately, which makes static analysis face many challenges in practical applications. To alleviate this problem, some researchers have proposed to use neural networks that have the ability of automatic feature extraction to improve the intelligence of detection. However, there are many types of neural networks, and different data preprocessing methods will have a significant impact on model performance. It is a great challenge for engineers and researchers to choose a proper neural network and data preprocessing method for a given problem. To solve this problem, we have conducted extensive experiments to test the performance of the two most typical neural networks (i.e., Bi-LSTM and RVFL) with the two most classical data preprocessing methods (i.e., the vector representation and the program symbolization methods) on software vulnerability detection problems and obtained a series of interesting research conclusions, which can provide valuable guidelines for researchers and engineers. Specifically, we found that 1) the training speed of RVFL is always faster than BiLSTM, but the prediction accuracy of Bi-LSTM model is higher than RVFL; 2) using doc2vec for vector representation can make the model have faster training speed and generalization ability than using word2vec; and 3) multi-level symbolization is helpful to improve the precision of neural network models.

cs.SE↗

arXiv2021

Permutation polynomials from a linearized decomposition

In this paper we discuss the permutational property of polynomials of the form $f(L(x))+k(L(x))\cdot M(x)\in \mathbb F_{q^n}[x]$ over the finite field $\mathbb F_{q^n}$, where $L, M\in \mathbb F_q[x]$ are $q$-linearized polynomials. The restriction $L, M\in \mathbb F_q[x]$ implies a nice correspondence between the pair $(L, M)$ and the pair $(g, h)$ of conventional $q$-associates over $\mathbb F_q$ of degree at most $n-1$. In particular, by using the AGW criterion, permutational properties of our class of polynomials translates to some arithmetic properties of polynomials over $\mathbb F_q$, like coprimality. This relates the problem of constructing PPs of $\mathbb F_{q^n}$ to the problem of factorizing $x^n-1$ in $\mathbb F_q[x]$. We then specialize to the case where $L(x)$ is the trace polynomial from $\mathbb F_{q^n}$ over $\mathbb F_q$, providing results on the construction of permutation and complete permutation polynomials, and their inverses. We further demonstrate that the latter can be extended to more general linearized polynomials of degree $q^{n-1}$.

math.NT↗