arXiv subjects

Na Xu

Publications and source records attributed to Na Xu.

13 recordsLinked to original sources

arXiv2025

Defects and their Time Scales in Quantum and Classical Annealing of the Two-Dimensional Ising Model

We investigate defects in the two-dimensional transverse-field Ising ferromagnet on periodic $L\times L$ lattices after quantum annealing from high to vanishing field. With exact numerical solutions for $L \le 6$, we observe the expected critical Kibble-Zurek (KZ) time scale $\propto L^{z+1/\nu}$ (with $z=1$ and $1/\nu \approx 1.59$) at the quantum phase transition. We also observe KZ scaling of the ground-state fidelity at the end of the process. The excitations evolve by coarsening dynamics of confined defects, with a time scale $\propto L^2$, and interface fluctuations of system-spanning defects, with life time $\propto L^3$. We build on analogies with classical simulated annealing, where we characterize system-spanning defects in detail and find differences in the dynamic scales of domain walls with winding numbers $W=(1,0)/(0,1)$ (horizontal/vertical) and $W=(1,1)$ (diagonal). They decay on time scales $\propto L^3$ (which applies also to system-spanning domains in systems with open boundaries) and $\propto L^{3.4}$, respectively, when imposed in the ordered phase. As a consequence of $L^{3.4}$ exceeding the classical KZ scale $L^{z+1/\nu}=L^{3.17}$ the probability of $W=(1,1)$ domains in SA scales with the KZ exponent even in the final $T=0$ state. In QA, also the $W=(1,0)/(0,1)$ domains are controlled by the KZ time scale $L^{2.59}$. The $L^3$ scale can nevertheless be detected in the excited states, using a method that we develop that should also be applicable in QA experiments.

quant-ph↗

arXiv2022

Normalized solutions for the Choquard equation with mass supercritical nonlinearity

We consider the nonlinear Choquard equation $$\begin{cases} & - \Delta u = (I_\alpha \ast F(u))F'(u) -\mu u \ \text{in}\ \mathbb{R}^N, & u \in \ H^1(\mathbb{R}^N), \ \int_{\mathbb{R}^N} |u|^2 dx=m, \end{cases} $$ where $\alpha\in(0,N)$, $m>0$ is prescribed, $\mu \in \mathbb{R}$ is a Lagarange multiplier, and $I_\alpha$ is the Riesz potential. Under general assumptions on the nonlinearity $F,$ we prove the existence and multiplicity of normalized solutions.

math.AP↗

arXiv2022

Multi-kink brane in Gauss-Bonnet gravity and its stability

Einstein-Gauss-Bonnet gravity in high dimensional spacetime is intriguing. Here, the properties of thick branes generated by a bulk scalar field in the five-dimensional Einstein-Gauss-Bonnet gravity were studied. With the help of the superpotential method, we obtain a series of multi-kink brane solutions. We also analyze the linear stability of the brane system under tensor perturbations and prove that they are stable. The massless graviton is shown to be localized near the brane and hence the four-dimensional Newtonian potential can be recovered. By comparing the properties of these thick branes under different superpotentials we find with some specific choice of superpotential the Gauss-Bonnet term can determine the scalar field are multi-kink or single kink.

hep-th↗

arXiv2021

A New Sequential Optimality Condition of Cardinality-Constrained Optimization Problems and Application

In this paper, we consider the cardinality-constrained optimization problems and propose a new sequential optimality condition for the continuous relaxation reformulation which is popular recently. It is stronger than the existing results and is still a first-order necessity condition for the cardinality constraint problems without any additional assumptions. Meanwhile, we provide a problem-tailored weaker constraint qualification, which can guarantee that new sequential conditions are Mordukhovich-type stationary points. On the other hand, we improve the theoretical results of the augmented Lagrangian algorithm. Under the same condition as the existing results, we prove that any feasible accumulation point of the iterative sequence generated by the algorithm satisfies the new sequence optimality condition. Furthermore, the algorithm can converge to the Mordukhovich-type (essentially strong) stationary point if the problem-tailored constraint qualification is satisfied.

math.OC↗

arXiv2021

Lightweight Dual-channel Target Speaker Separation for Mobile Voice Communication

Nowadays, there is a strong need to deploy the target speaker separation (TSS) model on mobile devices with a limitation of the model size and computational complexity. To better perform TSS for mobile voice communication, we first make a dual-channel dataset based on a specific scenario, LibriPhone. Specifically, to better mimic the real-case scenario, instead of simulating from the single-channel dataset, LibriPhone is made by simultaneously replaying pairs of utterances from LibriSpeech by two professional artificial heads and recording by two built-in microphones of the mobile. Then, we propose a lightweight time-frequency domain separation model, LSTM-Former, which is based on the LSTM framework with source-to-noise ratio (SI-SNR) loss. For the experiments on Libri-Phone, we explore the dual-channel LSTMFormer model and a single-channel version by a random single channel of Libri-Phone. Experimental result shows that the dual-channel LSTM-Former outperforms the single-channel LSTMFormer with relative 25% improvement. This work provides a feasible solution for the TSS task on mobile devices, playing back and recording multiple data sources in real application scenarios for getting dual-channel real data can assist the lightweight model to achieve higher performance.

cs.SD↗

arXiv2021

Isoparametric hypersurfaces induced by navigation in Lorentz Finsler geometry

Using a navigation process with the datum $(F,V)$, in which $F$ is a Finsler metric and the smooth tangent vector field $V$ satisfies $F(-V(x))>1$ everywhere, a Lorentz Finsler metric $\tilde{F}$ can be induced. Isoparametric functions and isoparametric hypersurfaces with or without involving a smooth measure can be defined for $\tilde{F}$. When the vector field $V$ in the navigation datum is homothetic, we prove the local correspondences between isoparametric functions and isoparametric hypersurfaces before and after this navigation process. Using these correspondences, we provide some examples of isoparametric functions and isoparametric hypersurfaces on a Funk space of Lorentz Randers type.

math.DG↗

arXiv2019

Separable Reversible Data Hiding Based on Integer Mapping and Multi-MSB Prediction for Encrypted 3D Mesh Models

Reversible data hiding in encrypted domain (RDH-ED) has received tremendous attention from the research community because data can be embedded into cover media without exposing it to the third party data hider and the cover media can be losslessly recovered after the extraction of the embedded data. Although, in recent years, extensive studies have been carried out about images based RDH-ED, little attention is paid to RDH-ED in 3D meshes due to its complex data structure and irregular geometry. In this paper, we propose a separable RDH-ED method for 3D meshes based on integer mapping and Multi-MSB (multiplication most significant bit) prediction. The proposed method divides all the vertices of the mesh into the "embedded" set and "reference" set, and maps decimals of the vertex into integers. Then, we calculate the Multi-MSB prediction errors for the vertices of the "embedded" set and a bit-stream encryption technique will be executed. Finally, additional data is embedded by replacing the Multi-MSB of the encrypted vertex coordinates. According to different permissions, recipient can obtain the original plaintext meshes, additional data or both. Experimental results show that the proposed method has higher embedding capacity and higher quality of the recovered meshes compared to the state-of-art methods.

cs.MM↗

arXiv2018

Dynamic scaling of topological ordering in classical systems

We analyze scaling behaviors of simulated annealing carried out on various classical systems with topological order, obtained as appropriate limits of the toric code in two and three dimensions. We first consider the three-dimensional $\mathbb{Z}_2$ (Ising) lattice gauge model, which exhibits a continuous topological phase transition at finite temperature. We show that a generalized Kibble-Zurek scaling ansatz applies to this transition, in spite of the absence of a local order parameter. We find perimeter-law scaling of the magnitude of a non-local order parameter (defined using Wilson loops) and a dynamic exponent $z=2.70 \pm 0.03$, the latter in good agreement with previous results for the equilibrium dynamics (autocorrelations). We then study systems where (topological) order forms only at zero temperature---the Ising chain, the two-dimensional $\mathbb{Z}_2$ gauge model, and a three-dimensional star model (another variant of the $\mathbb{Z}_2$ gauge model). In these systems the correlation length diverges exponentially, in a way that is non-smooth as a finite-size system approaches the zero temperature state. We show that the Kibble-Zurek theory does not apply in any of these systems. Instead, the dynamics can be understood in terms of diffusion and annihilation of topological defects, which we use to formulate a scaling theory in good agreement with our simulation results. We also discuss the effect of open boundaries where defect annihilation competes with a faster process of evaporation at the surface.

cond-mat.stat-mech↗

arXiv2017

Dynamic scaling in the 2D Ising spin glass with Gaussian couplings

We carry out simulated annealing and employ a generalized Kibble-Zurek scaling hypothesis to study the 2D Ising spin glass with normal-distributed couplings. The system has an equilibrium glass transition at temperature $T=0$. From a scaling analysis when $T\rightarrow 0$ at different annealing velocities, we extract the dynamic critical exponent $z$, i.e., the exponent relating the relaxation time $τ$ to the system length $L$; $τ\sim L^z$. We find $z=13.6 \pm 0.4$ for both the Edwards-Anderson spin-glass order parameter and the excess energy. This is different from a previous study of the system with bimodal couplings [S. J. Rubin, N. Xu, and A. W. Sandvik, Phys. Rev. E {\bf 95}, 052133 (2017)] where the dynamics is faster and the above two quantities relax with different exponents (and that of the energy is larger). We here argue that the different behaviors arise as a consequence of the different low-energy landscapes---for normal-distributed couplings the ground state is unique (up to a spin reflection) while the system with bimodal couplings is massively degenerate. Our results reinforce the conclusion of anomalous entropy-driven relaxation behavior in the bimodal Ising glass. In the case of a continuous coupling distribution, our results presented here indicate that, although Kibble-Zurek scaling holds, the perturbative behavior normally applying in the slow limit breaks down, likely due to quasi-degenerate states, and the scaling function takes a different form.

cond-mat.stat-mech↗

arXiv2017

Modulated phases in a three-dimensional Maier-Saupe model with competing interactions

This work is dedicated to the study of the discrete version of the Maier-Saupe model in the presence of competing interactions. The competition between interactions favoring different orientational ordering produces a rich phase diagram including modulated phases. Using a mean-field approach and Monte Carlo simulations, we show that the proposed model exhibits isotropic and nematic phases and also a series of modulated phases that meet at a multicritical point, a Lifshitz point. Though the Monte Carlo and mean-field phase diagrams show some quantitative disagreements, the Monte Carlo simulations corroborate the general behavior found within the mean-field approximation.

cond-mat.stat-mech↗

arXiv2017

Dual time scales in simulated annealing of a two-dimensional Ising spin glass

We apply a generalized Kibble-Zurek out-of-equilibrium scaling ansatz to simulated annealing when approaching the spin-glass transition at temperature $T=0$ of the two-dimensional Ising model with random $J= \pm 1$ couplings. Analyzing the spin-glass order parameter and the excess energy as functions of the system size and the annealing velocity in Monte Carlo simulations with Metropolis dynamics, we find scaling where the energy relaxes slower than the spin-glass order parameter, i.e., there are two different dynamic exponents. The values of the exponents relating the relaxation time scales to the system length, $τ\sim L^z$, are $z=8.28 \pm 0.03$ for the relaxation of the order parameter and $z=10.31 \pm 0.04$ for the energy relaxation. We argue that the behavior with dual time scales arises as a consequence of the entropy-driven ordering mechanism within droplet theory. We point out that the dynamic exponents found here for $T \to 0$ simulated annealing are different from the temperature-dependent equilibrium dynamic exponent $z_{\rm eq}(T)$, for which previous studies have found a divergent behavior; $z_{\rm eq}(T\to 0) \to \infty$. Thus, our study shows that, within Metropolis dynamics, it is easier to relax the system to one of its degenerate ground states than to migrate at low temperatures between regions of the configuration space surrounding different ground states. In a more general context of optimization, our study provides an example of robust dense-region solutions for which the excess energy (the conventional cost function) may not be the best measure of success.

cond-mat.stat-mech↗

arXiv2015

Exploring genetic variation in the tomato (Solanum section Lycopersicon) clade by whole-genome sequencing

Genetic variation in the tomato clade was explored by sequencing a selection of 84 tomato accessions and related wild species representative for the Lycopersicon, Arcanum, Eriopersicon, and Neolycopersicon groups. We present a reconstruction of three new reference genomes in support of our comparative genome analyses. Sequence diversity in commercial breeding lines appears extremely low, indicating the dramatic genetic erosion of crop tomatoes. This is reflected by the SNP count in wild species which can exceed 10 million i.e. 20 fold higher than in crop accessions. Comparative sequence alignment reveals group, species, and accession specific polymorphisms, which explain characteristic fruit traits and growth habits in tomato accessions. Using gene models from the annotated Heinz reference genome, we observe a bias in dN/dS ratio in fruit and growth diversification genes compared to a random set of genes, which probably is the result of a positive selection. We detected highly divergent segments in wild S. lycopersicum species, and footprints of introgressions in crop accessions originating from a common donor accession. Phylogenetic relationships of fruit diversification and growth specific genes from crop accessions show incomplete resolution and are dependent on the introgression donor. In contrast, whole genome SNP information has sufficient power to resolve the phylogenetic placement of each accession in the four main groups in the Lycopersicon clade using Maximum Likelihood analyses. Phylogenetic relationships appear correlated with habitat and mating type and point to the occurrence of geographical races within these groups and thus are of practical importance for introgressive hybridization breeding. Our study illustrates the need for multiple reference genomes in support of tomato comparative genomics and Solanum genome evolution studies.

q-bio.GN↗

arXiv2013

$L^p$ $(p\geq 1)$ solutions of multidimensional BSDEs with monotone generators in general time intervals

In this paper, we are interested in solving general time interval multidimensional backward stochastic differential equations in $L^p$ $(p\geq 1)$. We first study the existence and uniqueness for $L^p$ $(p>1)$ solutions by the method of convolution and weak convergence when the generator is monotonic in $y$ and Lipschitz continuous in $z$ both non-uniformly with respect to $t$. Then we obtain the existence and uniqueness for $L^1$ solutions with an additional assumption that the generator has a sublinear growth in $z$ non-uniformly with respect to $t$.

math.PR↗