Showing 1–50 of 119 results for author: Wu, Q

Sampling from the Continuous Random Energy Model in Total Variation Distance

Authors: Holden Lee, Qiang Wu

Abstract: The continuous random energy model (CREM) is a toy model of spin glasses on $\{0,1\}^N$ that, in the limit, exhibits an infinitely hierarchical correlation structure. We give two polynomial-time algorithms to approximately sample from the Gibbs distribution of the CREM in the high-temperature regime, based on a Markov chain and a sequential sampler. The running time depends algebraically on the de… ▽ More The continuous random energy model (CREM) is a toy model of spin glasses on $\{0,1\}^N$ that, in the limit, exhibits an infinitely hierarchical correlation structure. We give two polynomial-time algorithms to approximately sample from the Gibbs distribution of the CREM in the high-temperature regime, based on a Markov chain and a sequential sampler. The running time depends algebraically on the desired TV distance and failure probability and exponentially in $(1/g')^{O(1)}$, where $g'$ is the gap to a certain inverse temperature threshold; this contrasts with previous results which only attain $o(N)$ accuracy in KL divergence. If the covariance function $A$ of the CREM is concave, the algorithms work up to the critical threshold $β_c$, which is the static phase transition point; moreover, for certain $A$, the algorithms work up to the known algorithmic threshold $β_G$ proposed in Addario-Berry and Maillard (2020) for non-trivial sampling guarantees. Our result depends on quantitative bounds for the fluctuation of the partition function and a new contiguity result of the ``tilted" CREM obtained from sampling, which is of independent interest. We also show that the spectral gap is exponentially small with high probability, suggesting that the algebraic dependence is unavoidable with a Markov chain approach. △ Less

Submitted 30 June, 2024; originally announced July 2024.

Joint parameter estimations for spin glasses

Authors: Wei-Kuo Chen, Arnab Sen, Qiang Wu

Abstract: Spin glass models with quadratic-type Hamiltonians are disordered statistical physics systems with competing ferromagnetic and anti-ferromagnetic spin interactions. The corresponding Gibbs measures belong to the exponential family parametrized by (inverse) temperature $β>0$ and external field $h\in\mathbb{R}$. Given a sample from these Gibbs measures, a statistically fundamental question is to inf… ▽ More Spin glass models with quadratic-type Hamiltonians are disordered statistical physics systems with competing ferromagnetic and anti-ferromagnetic spin interactions. The corresponding Gibbs measures belong to the exponential family parametrized by (inverse) temperature $β>0$ and external field $h\in\mathbb{R}$. Given a sample from these Gibbs measures, a statistically fundamental question is to infer the temperature and external field parameters. In 2007, Chatterjee (Ann. Statist. 35 (2007), no.5, 1931-1946) first proved that in the absence of external field $h=0$, the maximum pseudolikelihood estimator for $β$ is $\sqrt{N}$-consistent under some mild assumptions on the disorder matrices. It was left open whether the same method can be used to estimate the temperature and external field simultaneously. In this paper, under some easily verifiable conditions, we prove that the bivariate maximum pseudolikelihood estimator is indeed jointly $\sqrt{N}$-consistent for the temperature and external field parameters. The examples cover the classical Sherrington-Kirkpatrick model and its diluted variants. △ Less

Submitted 15 June, 2024; originally announced June 2024.

Comments: 29 pages, 1 figure

MSC Class: 62F12; 62F10; 82B44

Flag-like singular integrals and associated Hardy spaces on a kind of nilpotent Lie groups of step two

Authors: Wei Wang, Qingyan Wu

Abstract: The Cauchy-Szegö singular integral is a fundamental tool in the study of holomorphic $H^p$ Hardy space. But for a kind of Siegel domains, the Cauchy-Szegö kernels are neither product ones nor flag ones on the Shilov boundaries, which have the structure of nilpotent Lie groups $\mathscr N $ of step two. We use the lifting method to investigate flag-like singular integrals on $\mathscr N $, which in… ▽ More The Cauchy-Szegö singular integral is a fundamental tool in the study of holomorphic $H^p$ Hardy space. But for a kind of Siegel domains, the Cauchy-Szegö kernels are neither product ones nor flag ones on the Shilov boundaries, which have the structure of nilpotent Lie groups $\mathscr N $ of step two. We use the lifting method to investigate flag-like singular integrals on $\mathscr N $, which includes these Cauchy-Szegö ones as a special case. The lifting group is the product $\tilde {\mathscr N }$ of three Heisenberg groups, and naturally geometric or analytical objects on $\mathscr N $ are the projection of those on $\tilde {\mathscr N } $. As in the flag case, we introduce various notions on $\mathscr N $ adapted to geometric feature of these kernels, such as tubes, nontangential regions, tube maximal functions, Littlewood-Paley functions, tents, shards and atoms etc. They have the feature of tri-parameters, although the second step of the group $\mathscr N$ is only $2$-dimensional, i.e. there exists a hidden parameter as in the flag case. We also establish the corresponding Calderón reproducing formula, characterization of $ L ^p (\mathscr N)$ by Littlewood-Paley functions, $ L ^p $-boundedness of tube maximal functions and flag-like singular integrals and atomic decomposition of $H^1$ Hardy space on $ {\mathscr N } $. △ Less

Submitted 3 June, 2024; originally announced June 2024.

Comments: 39 pages, 2 figures

Pinning and dipole asymptotics of locally deformed striped phases

Authors: Arnd Scheel, Qiliang Wu

Abstract: We investigate the effect of spatial inhomogeneity on perfectly periodic, self-organized striped patterns in spatially extended systems. We demonstrate that inhomogeneities select a specific translate of the striped patterns and induce algebraically decaying, dipole-type farfield deformations. Phase shifts and leading order terms are determined by effective moments of the spatial inhomogeneity. Fa… ▽ More We investigate the effect of spatial inhomogeneity on perfectly periodic, self-organized striped patterns in spatially extended systems. We demonstrate that inhomogeneities select a specific translate of the striped patterns and induce algebraically decaying, dipole-type farfield deformations. Phase shifts and leading order terms are determined by effective moments of the spatial inhomogeneity. Farfield decay is proportional to the derivatives of the Green's function of an effective Laplacian. Technically, we use mode filters and conjugacies to an effective Laplacian to establish Fredholm properties of the linearization in Kondratiev spaces. Spatial localization in a contraction argument is gained through the use of an explicit deformation ansatz and a subtle cancellation in Bloch wave space. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: 30p

An efficient optimization model and tabu search-based global optimization approach for continuous p-dispersion problem

Authors: Xiang**g Lai, Zhenheng Lin, **-Kao Hao, Qinghua Wu

Abstract: Continuous p-dispersion problems with and without boundary constraints are NP-hard optimization problems with numerous real-world applications, notably in facility location and circle packing, which are widely studied in mathematics and operations research. In this work, we concentrate on general cases with a non-convex multiply-connected region that are rarely studied in the literature due to the… ▽ More Continuous p-dispersion problems with and without boundary constraints are NP-hard optimization problems with numerous real-world applications, notably in facility location and circle packing, which are widely studied in mathematics and operations research. In this work, we concentrate on general cases with a non-convex multiply-connected region that are rarely studied in the literature due to their intractability and the absence of an efficient optimization model. Using the penalty function approach, we design a unified and almost everywhere differentiable optimization model for these complex problems and propose a tabu search-based global optimization (TSGO) algorithm for solving them. Computational results over a variety of benchmark instances show that the proposed model works very well, allowing popular local optimization methods (e.g., the quasi-Newton methods and the conjugate gradient methods) to reach high-precision solutions due to the differentiability of the model. These results further demonstrate that the proposed TSGO algorithm is very efficient and significantly outperforms several popular global optimization algorithms in the literature, improving the best-known solutions for several existing instances in a short computational time. Experimental analyses are conducted to show the influence of several key ingredients of the algorithm on computational performance. △ Less

Submitted 26 May, 2024; originally announced May 2024.

On monogenic functions and the Dirac complex of two vector variables

Authors: Yun Shi, Wei Wang, Qingyan Wu

Abstract: A monogenic function of two vector variables is a function annihilated by the operator consisting of two Dirac operators, which are associated to two variables, respectively. We give the explicit form of differential operators in the Dirac complex resolving this operator and prove its ellipticity directly. This open the door to apply the method of several complex variables to investigate this kind… ▽ More A monogenic function of two vector variables is a function annihilated by the operator consisting of two Dirac operators, which are associated to two variables, respectively. We give the explicit form of differential operators in the Dirac complex resolving this operator and prove its ellipticity directly. This open the door to apply the method of several complex variables to investigate this kind of monogenic functions. We prove the Poincaré lemma for this complex, i.e. the non-homogeneous equations are solvable under the compatibility condition by solving the associated Hodge Laplacian equations of fourth order. As corollaries, we establish the Bochner--Martinelli integral representation formula for this differential operator and the Hartogs' extension phenomenon for monogenic functions. We also apply abstract duality theorem to the Dirac complex to obtain the generalization of Malgrange's vanishing theorem and establish the Hartogs--Bochner extension phenomenon for monogenic functions under the moment condition. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 21 pages

Max-stability under first-order stochastic dominance

Authors: Christopher Chambers, Alan Miller, Ruodu Wang, Qinyu Wu

Abstract: Max-stability is the property that taking a maximum between two inputs results in a maximum between two outputs. We investigate max-stability with respect to first-order stochastic dominance, the most fundamental notion of stochastic dominance in decision theory. Under two additional standard axioms of monotonicity and lower semicontinuity, we establish a representation theorem for functionals sat… ▽ More Max-stability is the property that taking a maximum between two inputs results in a maximum between two outputs. We investigate max-stability with respect to first-order stochastic dominance, the most fundamental notion of stochastic dominance in decision theory. Under two additional standard axioms of monotonicity and lower semicontinuity, we establish a representation theorem for functionals satisfying max-stability, which turns out to be represented by the supremum of a bivariate function. Our characterized functionals encompass special classes of functionals in the literature of risk measures, such as benchmark-loss Value at Risk (VaR) and $Λ$-quantile. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Central Limit Theorem of Overlap for the Mean Field Ghatak-Sherrington model

Authors: Yueqi Sheng, Qiang Wu

Abstract: The Ghatak-Sherrington (GS) spin glass model is a random probability measure defined on the configuration space $\{0,\pm1,\pm2,\ldots, \pm \mathcal{S} \}^N$ with system size $N$ and $\mathcal{S}\ge1$ finite. This generalizes the classical Sherrington-Kirkpatrick (SK) model on the boolean cube $\{-1,+1\}^N$ in order to capture more complex behaviors, including the spontaneous inverse freezing pheno… ▽ More The Ghatak-Sherrington (GS) spin glass model is a random probability measure defined on the configuration space $\{0,\pm1,\pm2,\ldots, \pm \mathcal{S} \}^N$ with system size $N$ and $\mathcal{S}\ge1$ finite. This generalizes the classical Sherrington-Kirkpatrick (SK) model on the boolean cube $\{-1,+1\}^N$ in order to capture more complex behaviors, including the spontaneous inverse freezing phenomenon. Although many results on the physics side have been established to understand the GS model, mathematical exploration of the model remains scarce. Overlap, the normalized inner product of two configurations, acts as the system order parameter to understand the phase transition of mean-field spin glass models. In this paper, we use moment method combined with the cavity approach to rigorously establish a quantitative joint central limit theorem for the overlap and self-overlap array. The results hold at high temperatures under arbitrary crystal and external fields. Compared to the SK model, the main challenge comes from the non-trivial self-overlap terms which also correlated with the standard overlap terms. △ Less

Submitted 1 April, 2024; v1 submitted 25 December, 2023; originally announced December 2023.

Comments: Minor corrections, acknowledgement added

MSC Class: 82B26; 82B44; 60F05

Spectrum Sharing between UAV-based Wireless Mesh Networks and Ground Networks

Authors: Zhiqing Wei, Zijun Guo, Zhiyong Feng, Jialin Zhu, Caijun Zhong, Qihui Wu, Huici Wu

Abstract: The unmanned aerial vehicle (UAV)-based wireless mesh networks can economically provide wireless services for the areas with disasters. However, the capacity of air-to-air communications is limited due to the multi-hop transmissions. In this paper, the spectrum sharing between UAV-based wireless mesh networks and ground networks is studied to improve the capacity of the UAV networks. Considering t… ▽ More The unmanned aerial vehicle (UAV)-based wireless mesh networks can economically provide wireless services for the areas with disasters. However, the capacity of air-to-air communications is limited due to the multi-hop transmissions. In this paper, the spectrum sharing between UAV-based wireless mesh networks and ground networks is studied to improve the capacity of the UAV networks. Considering the distribution of UAVs as a three-dimensional (3D) homogeneous Poisson point process (PPP) within a vertical range, the stochastic geometry is applied to analyze the impact of the height of UAVs, the transmit power of UAVs, the density of UAVs and the vertical range, etc., on the coverage probability of ground network user and UAV network user, respectively. The optimal height of UAVs is numerically achieved in maximizing the capacity of UAV networks with the constraint of the coverage probability of ground network user. This paper provides a basic guideline for the deployment of UAV-based wireless mesh networks. △ Less

Submitted 25 November, 2023; originally announced November 2023.

Comments: 6 pages, 6 figures

Weak Diffusive Stability of Roll Solutions at the Zigzag Boundary

Authors: Abhijit Chowdhary, Mason Haberle, William Ofori-atta, Qiliang Wu

Abstract: Roll solutions at the zigzag boundary, typically selected by patterns and defects in numerical simulations, are shown to be nonlinearly stable. This result also serves as an example that linear decay weaker than the classical diffusive decay, together with quadratic nonlinearity, still gives nonlinear stability of spatially periodic patterns. Linear analysis reveals that, instead of the classical… ▽ More Roll solutions at the zigzag boundary, typically selected by patterns and defects in numerical simulations, are shown to be nonlinearly stable. This result also serves as an example that linear decay weaker than the classical diffusive decay, together with quadratic nonlinearity, still gives nonlinear stability of spatially periodic patterns. Linear analysis reveals that, instead of the classical $t^{-1}$ diffusive decay rate, small perturbations of roll solutions at the zigzag boundary decay with a $t^{-3/4}$ rate along with time, due to the degeneracy of the quadratic term of the continuation of the translational mode of the linearized operator in the Bloch-Fourier spaces. The nonlinear stability proof is based on a decomposition of the neutral translational mode and the faster decaying modes in the Bloch-Fourier space, and a fixed-point argument, demonstrating the irrelevancy of the nonlinear terms. △ Less

Submitted 22 January, 2024; v1 submitted 18 October, 2023; originally announced October 2023.

Comments: 54 pages, 1 figure

MSC Class: 35B10; 35B35; 35B36; 35B40

Normalized solutions for p-Laplacian equations with potential

Authors: Shengbing Deng, Qiaoran Wu

Abstract: In this paper, we consider the existence of normalized solutions for the following $p$-Laplacian equation \begin{equation*} \left\{\begin{array}{ll} -Δ_{p}u-V(x)\lvert u\rvert^{p-2}u+λ\lvert u\rvert^{p-2}u=\lvert u\rvert^{q-2}u&\mbox{in}\ \mathbb{R}^N, \int_{\mathbb{R}^N}\lvert u\rvert^pdx=a^p, \end{array}\right. \end{equation*} where $N\geqslant 1$, $p>1$,… ▽ More In this paper, we consider the existence of normalized solutions for the following $p$-Laplacian equation \begin{equation*} \left\{\begin{array}{ll} -Δ_{p}u-V(x)\lvert u\rvert^{p-2}u+λ\lvert u\rvert^{p-2}u=\lvert u\rvert^{q-2}u&\mbox{in}\ \mathbb{R}^N, \int_{\mathbb{R}^N}\lvert u\rvert^pdx=a^p, \end{array}\right. \end{equation*} where $N\geqslant 1$, $p>1$, $p+\frac{p^2}{N}<q<p^*=\frac{Np}{N-p}$(if $N\leqslant p$, then $p^*=+\infty$), $a>0$ and $λ\in\mathbb{R}$ is a Lagrange multiplier which appears due to the mass constraint. Firstly, under some smallness assumptions on $V$, but no any assumptions on $a$, we obtain a mountain pass solution with positive energy, while no solution with negative energy. Secondly, assuming that the mass $a$ has an upper bound depending on $V$, we obtain two solutions, one is a local minimizer with negative energy, the other is a mountain pass solution with positive energy. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Risk Aversion and Insurance Propensity

Authors: Fabio Maccheroni, Massimo Marinacci, Ruodu Wang, Qinyu Wu

Abstract: We provide a new foundation of risk aversion by showing that the propension to exploit insurance opportunities fully describes this attitude. Our foundation, which applies to any probabilistically sophisticated preference, well accords with the commonly held prudential interpretation of risk aversion that dates back to the seminal works of Arrow (1963) and Pratt (1964). In our main results, we f… ▽ More We provide a new foundation of risk aversion by showing that the propension to exploit insurance opportunities fully describes this attitude. Our foundation, which applies to any probabilistically sophisticated preference, well accords with the commonly held prudential interpretation of risk aversion that dates back to the seminal works of Arrow (1963) and Pratt (1964). In our main results, we first characterize the Arrow-Pratt risk aversion in terms of propension to full insurance and the stronger notion of risk aversion of Rothschild and Stiglitz (1970) in terms of propension to partial insurance. We then extend the analysis to comparative risk aversion by showing that the notion of Yaari (1969) corresponds to comparative propension to full insurance, while the stronger notion of Ross (1981) corresponds to comparative propension to partial insurance. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Optimal lifting of Levi-degenerate hypersurfaces and applications to the Cauchy--Szegö projection

Authors: Der-Chen Chang, Ji Li, Alessandro Ottazzi, Qingyan Wu

Abstract: We consider a family of Levi-degenerate finite type hypersurfaces in $\mathbb C^2$, where in general there is no group structure. We lift these domains to stratified Lie groups via a constructive proof, which optimizes the well-known lifting procedure to free Lie groups of general manifolds defined by Rothschild and Stein. This yields an explicit version of the Taylor expansion with respect to the… ▽ More We consider a family of Levi-degenerate finite type hypersurfaces in $\mathbb C^2$, where in general there is no group structure. We lift these domains to stratified Lie groups via a constructive proof, which optimizes the well-known lifting procedure to free Lie groups of general manifolds defined by Rothschild and Stein. This yields an explicit version of the Taylor expansion with respect to the horizontal vector fields induced by the sub-Riemannian structure on these hypersurfaces. Hence, as an application, we establish the Schatten class estimates for the commutator of the Cauchy--Szegö projection with respect to a suitable quasi-metric defined on the hypersurface. △ Less

Submitted 5 September, 2023; v1 submitted 1 September, 2023; originally announced September 2023.

Thouless-Anderson-Palmer equations for the Multi-species Sherrington-Kirkpatrick model

Authors: Qiang Wu

Abstract: We prove the Thouless-Anderson-Palmer (TAP) equations for the local magnetization in the multi-species Sherrington-Kirkpatrick (MSK) spin glass model. One of the key ingredients is based on concentration results established in~\cite{arXiv:2012.13381}. The equations hold at high temperature for general MSK model without positive semi-definite assumption on the variance profile matrix $\mathbfΔ^2$. We prove the Thouless-Anderson-Palmer (TAP) equations for the local magnetization in the multi-species Sherrington-Kirkpatrick (MSK) spin glass model. One of the key ingredients is based on concentration results established in~\cite{arXiv:2012.13381}. The equations hold at high temperature for general MSK model without positive semi-definite assumption on the variance profile matrix $\mathbfΔ^2$. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Comments: 13 pages

MSC Class: 82B05; 82B44; 60F25

The lowest discriminant ideal of a Cayley-Hamilton Hopf algebra

Authors: Zhongkai Mi, Quanshui Wu, Milen Yakimov

Abstract: Discriminant ideals of noncommutative algebras $A$, which are module finite over a central sublagebra $C$, are key invariants that carry important information about $A$, such as the sum of the squares of the dimensions of its irreducible modules with a given central character. There has been substantial research on the computation of discriminants, but very little is known about the computation of… ▽ More Discriminant ideals of noncommutative algebras $A$, which are module finite over a central sublagebra $C$, are key invariants that carry important information about $A$, such as the sum of the squares of the dimensions of its irreducible modules with a given central character. There has been substantial research on the computation of discriminants, but very little is known about the computation of discriminant ideals. In this paper we carry out a detailed investigation of the lowest discriminant ideals of Cayley-Hamilton Hopf algebras in the sense of De Concini, Reshetikhin, Rosso and Procesi, whose identity fiber algebras are basic. The lowest discriminant ideals are the most complicated ones, because they capture the most degenerate behaviour of the fibers in the exact opposite spectrum of the picture from the Azumaya locus. We provide a description of the zero sets of the lowest discriminant ideals of Cayley-Hamilton Hopf algebras in terms of maximally stable modules of Hopf algebras, irreducible modules that are stable under tensoring with the maximal possible number of irreducible modules with trivial central character. In important situations, this is shown to be governed by the actions of the winding automorphism groups. The results are illustrated with applications to the group algebras of central extensions of abelian groups, big quantum Borel subalgebras at roots of unity and quantum coordinate rings at roots of unity. △ Less

Submitted 3 November, 2023; v1 submitted 28 July, 2023; originally announced July 2023.

Comments: 33 pages

MSC Class: Primary 16G30; Secondary 16T05; 17B37; 16D60; 16W20; 16E10

Normalized solutions for $p$-Laplacian equation with critical Sobolev exponent and mixed nonlinearities

Authors: Shengbing Deng, Qiaoran Wu

Abstract: In this paper, we consider the existence and multiplicity of normalized solutions for the following $p$-Laplacian critical equation \begin{align*} \left\{\begin{array}{ll} -Δ_{p}u=λ\lvert u\rvert^{p-2}u+μ\lvert u\rvert^{q-2}u+\lvert u\rvert^{p^*-1}u&\mbox{in}\ \mathbb{R}^N, \int_{\mathbb{R}^N}\lvert u\rvert^pdx=a^p, \end{array}\right. \end{align*} where $1<p<N$,… ▽ More In this paper, we consider the existence and multiplicity of normalized solutions for the following $p$-Laplacian critical equation \begin{align*} \left\{\begin{array}{ll} -Δ_{p}u=λ\lvert u\rvert^{p-2}u+μ\lvert u\rvert^{q-2}u+\lvert u\rvert^{p^*-1}u&\mbox{in}\ \mathbb{R}^N, \int_{\mathbb{R}^N}\lvert u\rvert^pdx=a^p, \end{array}\right. \end{align*} where $1<p<N$, $2<q<p^*=\frac{Np}{N-p}$, $a>0$, $μ\in\mathbb{R}$ and $λ\in\mathbb{R}$ is a Lagrange multiplier. Using concentration compactness lemma, Schwarz rearrangement, Ekeland variational principle and mini-max theorems, we obtain several existence results under $μ>0$ and other assumptions. We also analyze the asymptotic behavior of there solutions as $μ\rightarrow 0$ and $μ$ goes to its upper bound. Moreover, we show the nonexistence result for $μ<0$ and get that the $p$-Laplacian equation has infinitely solutions by genus theory when $p<q<p+\frac{p^2}{N}$. △ Less

Submitted 11 June, 2023; originally announced June 2023.

The characterizations of dense-pseudocompact and dense-connected spaces

Authors: Fucai Lin, Qiyun Wu

Abstract: Assume that $\mathcal{P}$ is a topological property of a space $X$, then we say that $X$ is {\it dense-$\mathcal{P}$} if each dense subset of $X$ has the property $\mathcal{P}$. In this paper, we mainly discuss dense subsets of a space $X$, and we prove that: (1) if $X$ is Tychonoff space, then $X$ is dense-pseudocompact iff the range of each continuous real-valued function $f$ on $X$ is finite,… ▽ More Assume that $\mathcal{P}$ is a topological property of a space $X$, then we say that $X$ is {\it dense-$\mathcal{P}$} if each dense subset of $X$ has the property $\mathcal{P}$. In this paper, we mainly discuss dense subsets of a space $X$, and we prove that: (1) if $X$ is Tychonoff space, then $X$ is dense-pseudocompact iff the range of each continuous real-valued function $f$ on $X$ is finite, iff $X$ is finite, iff $X$ is hereditarily pseudocompact; (2) $X$ is dense-connected iff $\overline{U}=X$ for any non-empty open subset $U$ of $X$; (3) $X$ is dense-ultraconnected iff for point $x\in X$, we have $\overline{\{x\}}=X$ or $\{x\}\cup (X\setminus\overline{\{x\}})$ is the unique open neighborhood of $x$ in $\{x\}\cup (X\setminus\overline{\{x\}})$, iff for any two points $x$ and $y$ in $X$, we have $x\in \overline{\{y\}}$ or $y\in \overline{\{x\}}$. Moreover, we give a characterization of a topological group (resp., paratopological group, quasi-topological group) $G$ such that $G$ is dense-connected. △ Less

Submitted 6 April, 2023; originally announced April 2023.

Comments: 11 pages

MSC Class: 22A05; 54B05; 54C30; 54D05; 54H11

Some dynamical properties related to polynomials

Authors: Qinqi Wu

Abstract: Let $d\in\mathbb{Z}$ and $p_i$ be an integral polynomial with $p_i(0)=0,1\leq i\leq d$. It is shown that if $S$ is thickly syndetic in $\mathbb{Z}$, then $\{(m,n)\in\mathbb{Z}^2:m+p_i(n),m+p_2(n),\ldots,m+p_d(n)\in S\}$ is thickly syndetic in $\mathbb{Z}^2$. Meanwhile, we construct a transitive, strong mixing and non-minimal topological dynamical system $(X,T)$, such that the set… ▽ More Let $d\in\mathbb{Z}$ and $p_i$ be an integral polynomial with $p_i(0)=0,1\leq i\leq d$. It is shown that if $S$ is thickly syndetic in $\mathbb{Z}$, then $\{(m,n)\in\mathbb{Z}^2:m+p_i(n),m+p_2(n),\ldots,m+p_d(n)\in S\}$ is thickly syndetic in $\mathbb{Z}^2$. Meanwhile, we construct a transitive, strong mixing and non-minimal topological dynamical system $(X,T)$, such that the set $\{x\in X:\forall\ \text{open}\ U\ni x,\exists\ n\in\mathbb{Z} \ \text{s.t.}\ T^{n}x\in U,T^{2n}x\in U\}$ is not dense in $X$. △ Less

Submitted 6 April, 2023; originally announced April 2023.

Comments: 14 pages

MSC Class: 37B05; 37B20

Multi-Attribute Utility Preference Robust Optimization: A Continuous Piecewise Linear Approximation Approach

Authors: Qiong Wu, Sainan Zhang, Wei Wang, Huifu Xu

Abstract: In this paper, we consider a multi-attribute decision making problem where the decision maker's (DM's) objective is to maximize the expected utility of outcomes but the true utility function which captures the DM's risk preference is ambiguous. We propose a maximin multi-attribute utility preference robust optimization (UPRO) model where the optimal decision is based on the worst-case utility func… ▽ More In this paper, we consider a multi-attribute decision making problem where the decision maker's (DM's) objective is to maximize the expected utility of outcomes but the true utility function which captures the DM's risk preference is ambiguous. We propose a maximin multi-attribute utility preference robust optimization (UPRO) model where the optimal decision is based on the worst-case utility function in an ambiguity set of plausible utility functions constructed using partially available information such as the DM's specific preferences between some lotteries. Specifically, we consider a UPRO model with two attributes, where the DM's risk attitude is multivariate risk-averse and the ambiguity set is defined by a linear system of inequalities represented by the Lebesgue-Stieltjes (LS) integrals of the DM's utility functions. To solve the maximin problem, we propose an explicit piecewise linear approximation (EPLA) scheme to approximate the DM's true unknown utility so that the inner minimization problem reduces to a linear program, and we solve the approximate maximin problem by a derivative-free (Dfree) method. Moreover, by introducing binary variables to locate the position of the reward function in a family of simplices, we propose an implicit piecewise linear approximation (IPLA) representation of the approximate UPRO and solve it using the Dfree method. Such IPLA technique prompts us to reformulate the approximate UPRO as a single mixed-integer program (MIP) and extend the tractability of the approximate UPRO to the multi-attribute case. Furthermore, we extend the model to the expected utility maximization problem with expected utility constraints where the worst-case utility functions in the objective and constraints are considered simultaneously. Finally, we report the numerical results about performances of the proposed models. △ Less

Submitted 28 March, 2023; originally announced March 2023.

Comments: 50 pages,18 figures

MSC Class: 90C17; 90C29; 90C31; 90B16

Unsupervised Deep Probabilistic Approach for Partial Point Cloud Registration

Authors: Guofeng Mei, Hao Tang, Xiaoshui Huang, Weijie Wang, Juan Liu, Jian Zhang, Luc Van Gool, Qiang Wu

Abstract: Deep point cloud registration methods face challenges to partial overlaps and rely on labeled data. To address these issues, we propose UDPReg, an unsupervised deep probabilistic registration framework for point clouds with partial overlaps. Specifically, we first adopt a network to learn posterior probability distributions of Gaussian mixture models (GMMs) from point clouds. To handle partial poi… ▽ More Deep point cloud registration methods face challenges to partial overlaps and rely on labeled data. To address these issues, we propose UDPReg, an unsupervised deep probabilistic registration framework for point clouds with partial overlaps. Specifically, we first adopt a network to learn posterior probability distributions of Gaussian mixture models (GMMs) from point clouds. To handle partial point cloud registration, we apply the Sinkhorn algorithm to predict the distribution-level correspondences under the constraint of the mixing weights of GMMs. To enable unsupervised learning, we design three distribution consistency-based losses: self-consistency, cross-consistency, and local contrastive. The self-consistency loss is formulated by encouraging GMMs in Euclidean and feature spaces to share identical posterior distributions. The cross-consistency loss derives from the fact that the points of two partially overlap** point clouds belonging to the same clusters share the cluster centroids. The cross-consistency loss allows the network to flexibly learn a transformation-invariant posterior distribution of two aligned point clouds. The local contrastive loss facilitates the network to extract discriminative local features. Our UDPReg achieves competitive performance on the 3DMatch/3DLoMatch and ModelNet/ModelLoNet benchmarks. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: CVPR 2023

Railway Virtual Coupling: A Survey of Emerging Control Techniques

Authors: Qing Wu, Xiaohua Ge, Qing-Long Han, Yafei Liu

Abstract: This paper provides a systematic review of emerging control techniques used for railway Virtual Coupling (VC) studies. Train motion models are first reviewed, including model formulations and the force elements involved. Control objectives and typical design constraints are then elaborated. Next, the existing VC control techniques are surveyed and classified into five groups: consensus-based contr… ▽ More This paper provides a systematic review of emerging control techniques used for railway Virtual Coupling (VC) studies. Train motion models are first reviewed, including model formulations and the force elements involved. Control objectives and typical design constraints are then elaborated. Next, the existing VC control techniques are surveyed and classified into five groups: consensus-based control, model prediction control, sliding mode control, machine learning-based control, and constraints-following control. Their advantages and disadvantages for VC applications are also discussed in detail. Furthermore, several future studies for achieving better controller development and implementation, respectively, are presented. The purposes of this survey are to help researchers to achieve a better systematic understanding regarding VC control, to spark more research into VC and to further speed-up the realization of this emerging technology in railway and other relevant fields such as road vehicles. △ Less

Submitted 19 February, 2023; originally announced February 2023.

Comments: Submitted to IEEE Transactions on Intelligent Vehicles on 16-Jan-2023

Journal ref: IEEE Transactions on Intelligent Vehicles 2023

Poincare Duality For Smooth Poisson Algebras And BV Structure On Poisson Cohomology

Authors: J. Luo, S. -Q. Wang, Q. -S. Wu

Abstract: Similar to the modular vector fields in Poisson geometry, modular derivations are defined for smooth Poisson algebras with trivial canonical bundle. By twisting Poisson module with the modular derivation, the Poisson cochain complex with values in any Poisson module is proved to be isomorphic to the Poisson chain complex with values in the corresponding twisted Poisson module. Then a version of tw… ▽ More Similar to the modular vector fields in Poisson geometry, modular derivations are defined for smooth Poisson algebras with trivial canonical bundle. By twisting Poisson module with the modular derivation, the Poisson cochain complex with values in any Poisson module is proved to be isomorphic to the Poisson chain complex with values in the corresponding twisted Poisson module. Then a version of twisted Poincaré duality is proved between the Poisson homologies and cohomologies. Furthermore, a notion of pseudo-unimodular Poisson structure is defined. It is proved that the Poisson cohomology as a Gerstenhaber algebra admits a Batalin-Vilkovisky operator inherited from some one of its Poisson cochain complex if and only if the Poisson structure is pseudo-unimodular. This generalizes the geometric version due to P. Xu. The modular derivation and Batalin-Vilkovisky operator are also described by using the dual basis of the Kähler differential module. △ Less

Submitted 16 February, 2023; originally announced February 2023.

Local derivations and local automorphisms on the super Virasoro algebras

Authors: Qingyan Wu, Shoulan Gao, Dong Liu, Chang Ye

Abstract: This paper aims to study the local derivations, 2-local automorphisms and local automorphisms on the super-Virasoro algebras. The primary focus is to establish that every local derivation of the super-Virasoro algebras is indeed a derivation, and to demonstrate that every local or 2-local automorphism of the super-Virasoro algebras is an automorphism. This paper aims to study the local derivations, 2-local automorphisms and local automorphisms on the super-Virasoro algebras. The primary focus is to establish that every local derivation of the super-Virasoro algebras is indeed a derivation, and to demonstrate that every local or 2-local automorphism of the super-Virasoro algebras is an automorphism. △ Less

Submitted 10 January, 2024; v1 submitted 11 February, 2023; originally announced February 2023.

Comments: Commun Alg. 2024

Decomposition theorems for Hardy spaces on products of Siegel upper half spaces and bi-parameter Hardy spaces

Authors: Wei Wang, Qingyan Wu

Abstract: Products of Siegel upper half spaces are Siegel domains, whose Silov boundaries have the structure of products $\mathscr H_1\times\mathscr H_2$ of Heisenberg groups. By the reproducing formula of bi-parameter heat kernel associated to sub-Laplacians, we show that a function in holomorphic Hardy space $H^1$ on such a domain has boundary value belonging to bi-parameter Hardy space… ▽ More Products of Siegel upper half spaces are Siegel domains, whose Silov boundaries have the structure of products $\mathscr H_1\times\mathscr H_2$ of Heisenberg groups. By the reproducing formula of bi-parameter heat kernel associated to sub-Laplacians, we show that a function in holomorphic Hardy space $H^1$ on such a domain has boundary value belonging to bi-parameter Hardy space $ H^1 (\mathscr H_1\times \mathscr H_2)$. With the help of atomic decomposition of $ H^1 (\mathscr H_1\times \mathscr H_2)$ and bi-paramete rharmonic analysis, we show that the Cauchy-Szeg\H o projection is a bounded operator from $ H^1 (\mathscr H_1\times \mathscr H_2)$ to holomorphic Hardy space $H^1$, and any holomorphic $H^1$ function can be decomposed as a sum of holomorphic atoms. Bi-parameter atoms on $\mathscr H_1\times\mathscr H_2$ are more complicated than $1$-parameter ones, and so are holomorphic atoms. △ Less

Submitted 1 February, 2023; originally announced February 2023.

Comments: 26 pages

MSC Class: 32A35; 32A40; 42B30; 43A85

Conditional generalized quantiles based on expected utility model and equivalent characterization of properties

Authors: Qinyu Wu, Fan Yang, ** Zhang

Abstract: As a counterpart to the (static) risk measures of generalized quantiles and motivated by Bellini et al. (2018), we propose a new kind of conditional risk measure called conditional generalized quantiles. We first show their well-definedness and they can be equivalently characterised by a conditional first order condition. We also discuss their main properties, and, especially, We give the characte… ▽ More As a counterpart to the (static) risk measures of generalized quantiles and motivated by Bellini et al. (2018), we propose a new kind of conditional risk measure called conditional generalized quantiles. We first show their well-definedness and they can be equivalently characterised by a conditional first order condition. We also discuss their main properties, and, especially, We give the characterization of coherency/convexity. For potential applications as a dynamic risk measure, we study their time consistency properties, and establish their equivalent characterizations among conditional generalized quantiles. △ Less

Submitted 29 January, 2023; originally announced January 2023.

Hypergraph Counting and Mixed $p$-Spin Glass Models under Replica Symmetry

Authors: Partha S. Dey, Qiang Wu

Abstract: In this paper, we study the fluctuation problems at high temperature in the general mixed $p$-spin glass models under the weak external field assumption: $h= ρN^{-α}, ρ>0, α\in [1/4,\infty]$. By extending the cluster expansion approach to this generic setting, we convert the fluctuation problem as a hypergraph counting problem and thus obtain a new multiple-transition phenomenon. A by-product of o… ▽ More In this paper, we study the fluctuation problems at high temperature in the general mixed $p$-spin glass models under the weak external field assumption: $h= ρN^{-α}, ρ>0, α\in [1/4,\infty]$. By extending the cluster expansion approach to this generic setting, we convert the fluctuation problem as a hypergraph counting problem and thus obtain a new multiple-transition phenomenon. A by-product of our results is an explicit characterization of the critical inverse temperature for general spin glass models. In particular, all our fluctuation results hold up to the threshold. Combining with multivariate Stein's method, we also obtain an explicit convergence rate under proper moment assumptions on the general symmetric disorder. Our results have several further implications. First, our approach works for both even and odd pure $p$-spin models. The leading cluster structures in the odd $p$ case are different and more involved than in the even $p$ case. This combinatorially explains the folklore that odd $p$-spin is more complicated than even $p$. Second, in the mixed $p$-spin setting, the cluster structures differ depending on the relation between the minimum effective even and odd $p$-spins: $p_e$ and $p_o$. As an example, at $h=0$, there are three sub-regimes: $p_e<p_o, p_o<p_e<2p_o, p_e\ge 2p_o$, wherein the first and third ones, the mixed model behaves essentially like a pure $p$-spin model, and only in the second regime, it is more like a mixture. This gives another criterion for classifying mean-field spin glass models compared to the work of Auffinger and Ben Arous (Ann.~Probab.~41 (2013), no.~6, 4214--4247), where the idea is based on complexity computations for spherical models. Third, our framework naturally implies a multi-scale fluctuation phenomenon conjectured in the work of Bovier and Schertzer (arXiv:2205.15080), . △ Less

Submitted 30 December, 2022; originally announced December 2022.

Comments: 60 pages, 7 figures. First draft, comments welcome

MSC Class: 82B26; 82B44; 60F05

On Generalization and Regularization via Wasserstein Distributionally Robust Optimization

Authors: Qinyu Wu, Jonathan Yu-Meng Li, Tiantian Mao

Abstract: Wasserstein distributionally robust optimization (DRO) has found success in operations research and machine learning applications as a powerful means to obtain solutions with favourable out-of-sample performances. Two compelling explanations for the success are the generalization bounds derived from Wasserstein DRO and the equivalency between Wasserstein DRO and the regularization scheme commonly… ▽ More Wasserstein distributionally robust optimization (DRO) has found success in operations research and machine learning applications as a powerful means to obtain solutions with favourable out-of-sample performances. Two compelling explanations for the success are the generalization bounds derived from Wasserstein DRO and the equivalency between Wasserstein DRO and the regularization scheme commonly applied in machine learning. Existing results on generalization bounds and the equivalency to regularization are largely limited to the setting where the Wasserstein ball is of a certain type and the decision criterion takes certain forms of an expected function. In this paper, we show that by focusing on Wasserstein DRO problems with affine decision rules, it is possible to obtain generalization bounds and the equivalency to regularization in a significantly broader setting where the Wasserstein ball can be of a general type and the decision criterion can be a general measure of risk, i.e., nonlinear in distributions. This allows for accommodating many important classification, regression, and risk minimization applications that have not been addressed to date using Wasserstein DRO. Our results are strong in that the generalization bounds do not suffer from the curse of dimensionality and the equivalency to regularization is exact. As a byproduct, our regularization results broaden considerably the class of Wasserstein DRO models that can be solved efficiently via regularization formulations. △ Less

Submitted 12 December, 2022; originally announced December 2022.

Ergodicity and stability of hybrid systems with piecewise constant type state-dependent switching

Authors: **ghai Shao, Lingdi Wang, Qiong Wu

Abstract: To deal with stochastic hybrid systems with general state-dependent switching, we propose an approximation method by a sequence of stochastic hybrid systems with piecewise constant type switching. The convergence rate in the Wasserstein distance is estimated in terms of the difference between transition rate matrices. Our method is based on an elaborate construction of coupling processes in terms… ▽ More To deal with stochastic hybrid systems with general state-dependent switching, we propose an approximation method by a sequence of stochastic hybrid systems with piecewise constant type switching. The convergence rate in the Wasserstein distance is estimated in terms of the difference between transition rate matrices. Our method is based on an elaborate construction of coupling processes in terms of Skorokhod's representation theorem for jum** processes. Moreover, we establish explicit criteria on the ergodicity and stability for stochastic hybrid systems with piecewise constant type switching. Some examples are given to illustrate the sharpness of these criteria. △ Less

Submitted 15 May, 2023; v1 submitted 7 December, 2022; originally announced December 2022.

Comments: 26 pages

MSC Class: 60A10; 60J60; 60J10

The Kohn-Laplacian and Cauchy-Szegö projection on Model Domains

Authors: Der-Chen Chang, Ji Li, **gzhi Tie, Qingyan Wu

Abstract: We study the Kohn-Laplacian and its fundamental solution on some model domains in $\mathbb C^{n+1}$, and further discuss the explicit kernel of the Cauchy-Szegö projections on these model domains using the real analysis method. We further show that these Cauchy-Szegö kernels are Calderón-Zygmund kernels under the suitable quasi-metric. We study the Kohn-Laplacian and its fundamental solution on some model domains in $\mathbb C^{n+1}$, and further discuss the explicit kernel of the Cauchy-Szegö projections on these model domains using the real analysis method. We further show that these Cauchy-Szegö kernels are Calderón-Zygmund kernels under the suitable quasi-metric. △ Less

Submitted 27 November, 2022; originally announced November 2022.

Dense-separable groups and its applications in $d$-independence

Authors: Fucai Lin, Qiyun Wu, Chuan Liu

Abstract: A topological space is called {\it dense-separable} if each dense subset of its is separable. Therefore, each dense-separable space is separable. We establish some basic properties of dense-separable topological groups. We prove that each separable space with a countable tightness is dense-separable, and give a dense-separable topological group which is not hereditarily separable. We also prove th… ▽ More A topological space is called {\it dense-separable} if each dense subset of its is separable. Therefore, each dense-separable space is separable. We establish some basic properties of dense-separable topological groups. We prove that each separable space with a countable tightness is dense-separable, and give a dense-separable topological group which is not hereditarily separable. We also prove that, for a Hausdorff locally compact group , it is locally dense-separable iff it is metrizable. Moreover, we study dense-subgroup-separable topological groups. We prove that, for each compact torsion (or divisible, or torsion-free, or totally disconnected) abelian group, it is dense-subgroup-separable iff it is dense-separable iff it is metrizable. Finally, we discuss some applications in $d$-independent topological groups and related structures. We prove that each regular dense-subgroup-separable abelian semitopological group with $r_{0}(G)\geq\mathfrak{c}$ is $d$-independent. We also prove that, for each regular dense-subgroup-separable bounded paratopological abelian group $G$ with $|G|>1$, it is $d$-independent iff it is a nontrivial $M$-group iff each nontrivial primary component $G_{p}$ of $G$ is $d$-independent. Apply this result, we prove that a separable metrizable almost torsion-free paratopological abelian group $G$ with $|G|=\mathfrak{c}$ is $d$-independent. Further, we prove that each dense-subgroup-separable MAP abelian group with a nontrivial connected component is also $d$-independent. △ Less

Submitted 24 December, 2022; v1 submitted 26 November, 2022; originally announced November 2022.

Comments: 19 pages

MSC Class: Primary 54D65; Secondary 22A05; 20K25; 20K45; 54B05; 54H11

Convergence of fractional Fourier series on the torus and applications

Authors: Zunwei Fu, Xianming Hou, Qingyan Wu

Abstract: In this paper, we introduce the fractional Fourier series on the fractional torus and study some basic facts of fractional Fourier series, such as fractional convolution and fractional approximation. Meanwhile, fractional Fourier inversion and Poisson summation formula are also given. We further discuss the relationship between the decay of fractional Fourier coefficients and the smoothness of a f… ▽ More In this paper, we introduce the fractional Fourier series on the fractional torus and study some basic facts of fractional Fourier series, such as fractional convolution and fractional approximation. Meanwhile, fractional Fourier inversion and Poisson summation formula are also given. We further discuss the relationship between the decay of fractional Fourier coefficients and the smoothness of a function. Using the properties of fractional Fejer kernel, the pointwise convergence of fractional Fourier series can be established. Finally, we present the applications of fractional Fourier series to fractional partial differential equations with periodic boundary condition. Moreover, we apply approximation methods on the fractional torus to recover the non-stationary signals. △ Less

Submitted 28 October, 2022; v1 submitted 26 October, 2022; originally announced October 2022.

MSC Class: 42A20; 41A35

Local derivations on the Lie algebra $W(2,2)$

Authors: Qingyan Wu, Shoulan Gao, Dong Liu

Abstract: The present paper is devoted to studying local derivations on the Lie algebra $W(2,2)$ which has some outer derivations. Using some linear algebra methods in \cite{CZZ} and a key construction for $W(2,2)$ we prove that every local derivation on $W(2, 2)$ is a derivation. As an application, we determine all local derivations on the deformed $\mathfrak{bms}_3$ algebra. The present paper is devoted to studying local derivations on the Lie algebra $W(2,2)$ which has some outer derivations. Using some linear algebra methods in \cite{CZZ} and a key construction for $W(2,2)$ we prove that every local derivation on $W(2, 2)$ is a derivation. As an application, we determine all local derivations on the deformed $\mathfrak{bms}_3$ algebra. △ Less

Submitted 26 October, 2022; originally announced October 2022.

Comments: Latex, 12 page, to appear in Linear Multilinear Algebra

MSC Class: 15A06; 17A36; 17B40

Journal ref: Linear and Multilinear Algebra, 2024, 72(4), 631-643

Higher-order accurate two-sample network inference and network hashing

Authors: Meijia Shao, Dong Xia, Yuan Zhang, Qiong Wu, Shuo Chen

Abstract: Two-sample hypothesis testing for network comparison presents many significant challenges, including: leveraging repeated network observations and known node registration, but without requiring them to operate; relaxing strong structural assumptions; achieving finite-sample higher-order accuracy; handling different network sizes and sparsity levels; fast computation and memory parsimony; controlli… ▽ More Two-sample hypothesis testing for network comparison presents many significant challenges, including: leveraging repeated network observations and known node registration, but without requiring them to operate; relaxing strong structural assumptions; achieving finite-sample higher-order accuracy; handling different network sizes and sparsity levels; fast computation and memory parsimony; controlling false discovery rate (FDR) in multiple testing; and theoretical understandings, particularly regarding finite-sample accuracy and minimax optimality. In this paper, we develop a comprehensive toolbox, featuring a novel main method and its variants, all accompanied by strong theoretical guarantees, to address these challenges. Our method outperforms existing tools in speed and accuracy, and it is proved power-optimal. Our algorithms are user-friendly and versatile in handling various data structures (single or repeated network observations; known or unknown node registration). We also develop an innovative framework for offline hashing and fast querying as a very useful tool for large network databases. We showcase the effectiveness of our method through comprehensive simulations and applications to two real-world datasets, which revealed intriguing new structures. △ Less

Submitted 2 February, 2024; v1 submitted 16 August, 2022; originally announced August 2022.

Preference Robust Modified Optimized Certainty Equivalent

Authors: Qiong Wu, Huifu Xu

Abstract: Ben-Tal and Teboulle \cite{BTT86} introduce the concept of optimized certainty equivalent (OCE) of an uncertain outcome as the maximum present value of a combination of the cash to be taken out from the uncertain income at present and the expected utility value of the remaining uncertain income. In this paper, we consider two variations of the OCE. First, we introduce a modified OCE by maximizing… ▽ More Ben-Tal and Teboulle \cite{BTT86} introduce the concept of optimized certainty equivalent (OCE) of an uncertain outcome as the maximum present value of a combination of the cash to be taken out from the uncertain income at present and the expected utility value of the remaining uncertain income. In this paper, we consider two variations of the OCE. First, we introduce a modified OCE by maximizing the combination of the utility of the cash and the expected utility of the remaining uncertain income so that the combined quantity is in a unified utility value. Second, we consider a situation where the true utility function is unknown but it is possible to use partially available information to construct a set of plausible utility functions. To mitigate the risk arising from the ambiguity, we introduce a robust model where the modified OCE is based on the worst-case utility function from the ambiguity set. In the case when the ambiguity set of utility functions is constructed by a Kantorovich ball centered at a nominal utility function, we show how the modified OCE and the corresponding worst case utility function can be identified by solving two linear programs alternatively. We also show the robust modified OCE is statistically robust in a data-driven environment where the underlying data are potentially contaminated. Some preliminary numerical results are reported to demonstrate the performance of the modified OCE and the robust modified OCE model. △ Less

Submitted 21 March, 2022; originally announced March 2022.

Comments: 35 pages, 5 figures, 3 Tables

Yoneda Ext-algebras of Takeuchi smash products

Authors: Quanshui Wu, Ruipeng Zhu

Abstract: We prove that the Yoneda Ext-algebra of a Takeuchi smash product is the graded Takeuchi smash product of the Yoneda Ext-algebras of the two algebras or modules involved. As an application, we prove that graded Takeuchi smash products preserve Artin-Schelter regularity, and describe the Nakayama automorphism of the product. We prove that the Yoneda Ext-algebra of a Takeuchi smash product is the graded Takeuchi smash product of the Yoneda Ext-algebras of the two algebras or modules involved. As an application, we prove that graded Takeuchi smash products preserve Artin-Schelter regularity, and describe the Nakayama automorphism of the product. △ Less

Submitted 1 March, 2022; originally announced March 2022.

Comments: 16 pages, comments welcome

MSC Class: 16E30; 16E45; 16S40; 16E65

Generalized Koszul Algebra and Koszul Duality

Authors: Haonan Li, Quanshui Wu

Abstract: We define generalized Koszul modules and rings and develop a generalized Koszul theory for $\mathbb{N}$-graded rings with the degree zero part noetherian semiperfect. This theory specializes to the classical Koszul theory for graded rings with degree zero part artinian semisimple developed by Beilinson-Ginzburg-Soergel and the ungraded Koszul theory for noetherian semiperfect rings developed by Gr… ▽ More We define generalized Koszul modules and rings and develop a generalized Koszul theory for $\mathbb{N}$-graded rings with the degree zero part noetherian semiperfect. This theory specializes to the classical Koszul theory for graded rings with degree zero part artinian semisimple developed by Beilinson-Ginzburg-Soergel and the ungraded Koszul theory for noetherian semiperfect rings developed by Green and Martin{é}z-Villa. Let $A$ be a left finite $\mathbb{N}$-graded ring generated in degree $1$ with $A_0$ noetherian semiperfect, $J$ be its graded Jacobson radical and $S=A/J$. By the Koszul dual of $A$ we mean the Yoneda Ext ring $\underline{\text{Ext}}_A^\bullet(S,S)$. If $A$ is a generalized Koszul ring and $M$ is a generalized Koszul module, then it is proved that the Koszul dual of the Koszul dual of $A$ is $\text{Gr}_J A$ and the Koszul dual of the Koszul dual of $M$ is $\text{Gr}_J M$. If $A$ is a locally finite algebra, then the following statements are proved to be equivalent: $A$ is generalized Koszul; the Koszul dual $\underline{\text{Ext}}_A^\bullet(S,S)$ of $A$ is (classically) Koszul; $\text{Gr}_J A$ is (classically) Koszul; the opposite ring $A^{op}$ of $A$ is generalized Koszul. It is also proved that if $A$ is generalized Koszul with finite global dimension then $A$ is generalized AS regular if and only if the Koszul dual of $A$ is self-injective. △ Less

Submitted 11 November, 2022; v1 submitted 22 February, 2022; originally announced February 2022.

Unsupervised Learning on 3D Point Clouds by Clustering and Contrasting

Authors: Guofeng Mei, Litao Yu, Qiang Wu, Jian Zhang, Mohammed Bennamoun

Abstract: Learning from unlabeled or partially labeled data to alleviate human labeling remains a challenging research topic in 3D modeling. Along this line, unsupervised representation learning is a promising direction to auto-extract features without human intervention. This paper proposes a general unsupervised approach, named \textbf{ConClu}, to perform the learning of point-wise and global features by… ▽ More Learning from unlabeled or partially labeled data to alleviate human labeling remains a challenging research topic in 3D modeling. Along this line, unsupervised representation learning is a promising direction to auto-extract features without human intervention. This paper proposes a general unsupervised approach, named \textbf{ConClu}, to perform the learning of point-wise and global features by jointly leveraging point-level clustering and instance-level contrasting. Specifically, for one thing, we design an Expectation-Maximization (EM) like soft clustering algorithm that provides local supervision to extract discriminating local features based on optimal transport. We show that this criterion extends standard cross-entropy minimization to an optimal transport problem, which we solve efficiently using a fast variant of the Sinkhorn-Knopp algorithm. For another, we provide an instance-level contrasting method to learn the global geometry, which is formulated by maximizing the similarity between two augmentations of one point cloud. Experimental evaluations on downstream applications such as 3D object classification and semantic segmentation demonstrate the effectiveness of our framework and show that it can outperform state-of-the-art techniques. △ Less

Submitted 14 February, 2022; v1 submitted 5 February, 2022; originally announced February 2022.

On structure theorems and non-saturated examples

Authors: Qinqi Wu, Hui Xu, Xiangdong Ye

Abstract: For any minimal system $(X,T)$ and $d\geq 1$ there is an associated minimal system $(N_{d}(X), \mathcal{G}_{d}(T))$, where $\mathcal{G}_{d}(T)$ is the group generated by $T\times\cdots\times T$ and $T\times T^2\times\cdots\times T^{d}$ and $N_{d}(X)$ is the orbit closure of the diagonal under $\mathcal{G}_{d}(T)$. It is known that the maximal $d$-step pro-nilfactor of $N_d(X)$ is $N_d(X_d)$, where… ▽ More For any minimal system $(X,T)$ and $d\geq 1$ there is an associated minimal system $(N_{d}(X), \mathcal{G}_{d}(T))$, where $\mathcal{G}_{d}(T)$ is the group generated by $T\times\cdots\times T$ and $T\times T^2\times\cdots\times T^{d}$ and $N_{d}(X)$ is the orbit closure of the diagonal under $\mathcal{G}_{d}(T)$. It is known that the maximal $d$-step pro-nilfactor of $N_d(X)$ is $N_d(X_d)$, where $X_d$ is the maximal $d$-step pro-nilfactor of $X$. In this paper, we further study the structure of $N_d(X)$. We show that the maximal distal factor of $N_d(X)$ is $N_d(X_{dis})$ with $X_{dis}$ being the maximal distal factor of $X$, and prove that as minimal systems $(N_{d}(X), \mathcal{G}_{d}(T))$ has the same structure theorem as $(X,T)$. In addition, a non-saturated metric example $(X,T)$ is constructed, which is not $T\times T^2$-saturated and is a Toeplitz minimal system. △ Less

Submitted 1 January, 2022; originally announced January 2022.

MSC Class: 37B05; 54H20

Mean Field Spin Glass Models under Weak External Field

Authors: Partha S. Dey, Qiang Wu

Abstract: We study the fluctuation and limiting distribution of free energy in mean-field spin glass models with Ising spins under weak external fields. We prove that at high temperature, there are three sub-regimes concerning the strength of external field $h \approx ρN^{-α}$ with $ρ,α\in (0,\infty)$. In the super-critical regime $α< 1/4$, the variance of the log-partition function is $\approx N^{1-4α}$. I… ▽ More We study the fluctuation and limiting distribution of free energy in mean-field spin glass models with Ising spins under weak external fields. We prove that at high temperature, there are three sub-regimes concerning the strength of external field $h \approx ρN^{-α}$ with $ρ,α\in (0,\infty)$. In the super-critical regime $α< 1/4$, the variance of the log-partition function is $\approx N^{1-4α}$. In the critical regime $α= 1/4$, the fluctuation is of constant order but depends on $ρ$. Whereas, in the sub-critical regime $α>1/4$, the variance is $Θ(1)$ and does not depend on $ρ$. We explicitly express the asymptotic mean and variance in all three regimes and prove Gaussian central limit theorems. Our proofs mainly follow two approaches. One utilizes quadratic coupling and Guerra's interpolation scheme for Gaussian disorder, extending to many other spin glass models. However, this approach can prove the CLT only at very high temperatures. The other one is a cluster-based approach for general symmetric disorders, first used in the seminal work of Aizenman, Lebowitz, and Ruelle~(Comm.~Math.~Phys.~112 (1987), no.~1, 3--20) for the zero external field case. It was believed that this approach does not work if the external field is present. We show that if the external field is present but not too strong, it still works with a new cluster structure. In particular, we prove the CLT up to the critical temperature in the Sherrington-Kirkpatrick (SK) model when $α\ge 1/4$. We further address the generality of this cluster-based approach. Specifically, we give similar results for the multi-species SK model and diluted SK model. △ Less

Submitted 9 May, 2022; v1 submitted 21 December, 2021; originally announced December 2021.

Comments: Introduction and abstract expanded, 48 Pages

MSC Class: 82B26; 82B44; 60F05

Journal ref: Commun. Math. Phys. 2023

Resilient expansion planning of virtual energy plant with an integrated energy system -- reliability criteria of lines and towers

Authors: Sambeet Mishra, Henri Manninen, Qiuwei Wu, Chiara Bordin

Abstract: Virtual power plants, while being virtual, rely on a physical network for operations. The portfolio of the virtual power plants is flexible in facilitating a wide range of resources including the local heat pumps. The power transmission network has the responsibility to ensure the security of supply, reliability of operation, planning, and expansion. The power transmission network and apparatus in… ▽ More Virtual power plants, while being virtual, rely on a physical network for operations. The portfolio of the virtual power plants is flexible in facilitating a wide range of resources including the local heat pumps. The power transmission network has the responsibility to ensure the security of supply, reliability of operation, planning, and expansion. The power transmission network and apparatus including lines and towers are also aging with time. Furthermore, the transmission network covers a large geographical area which is expensive to maintain. The objective of this paper is to investigate the effect of power network conditions on power network expansion planning. The condition of the power network is determined by the maintenance cost of lines and a health index and a risk factor associated with the tower. The investigation begins with answering how the inclusion of heat pump impacts the decisions on network interventions. Thereafter, the condition network is factored into the decision-making by better understanding the impact of the network condition on the overall expansion planning. Furthermore, many sensitivity analyses are conducted to evaluate the trade-offs between decision variables such as cost of heat pump, coefficient of performance of heat pump, risk factors, and line and tower costs. △ Less

Submitted 9 November, 2021; originally announced November 2021.

Comments: 40 pages, 14 figures

Fundamental properties of Cauchy--Szegő projection on quaternionic Siegel upper half space and applications

Authors: Der-Chen Chang, Xuan Thinh Duong, Ji Li, Wei Wang, Qingyan Wu

Abstract: We investigate the Cauchy--Szegő projection for quaternionic Siegel upper half space to obtain the pointwise (higher order) regularity estimates for Cauchy--Szegő kernel and prove that the Cauchy--Szegő kernel is non-zero everywhere, which further yields a non-degenerated pointwise lower bound. As applications, we prove the uniform boundedness of Cauchy--Szegő projection on every atom on the quate… ▽ More We investigate the Cauchy--Szegő projection for quaternionic Siegel upper half space to obtain the pointwise (higher order) regularity estimates for Cauchy--Szegő kernel and prove that the Cauchy--Szegő kernel is non-zero everywhere, which further yields a non-degenerated pointwise lower bound. As applications, we prove the uniform boundedness of Cauchy--Szegő projection on every atom on the quaternionic Heisenberg group, which is used to give an atomic decomposition of regular Hardy space $ H^p$ on quaternionic Siegel upper half space for $2/3<p\leq1$. Moreover, we establish the characterisation of singular values of the commutator of Cauchy--Szegő projection based on the kernel estimates and on the recent new approach by Fan--Lacey--Li. The quaternionic structure (lack of commutativity) is encoded in the symmetry groups of regular functions and the associated partial differential equations. △ Less

Submitted 23 October, 2021; originally announced October 2021.

The rank of a signed graph in terms of girth

Authors: Yong Lu, Qi Wu

Abstract: Let $Γ=(G,σ)$ be a signed graph and $A(G,σ)$ be its adjacency matrix. Denote by $gr(G)$ the girth of $G$, which is the length of the shortest cycle in $G$. Let $r(G,σ)$ be the rank of $(G,σ)$. In this paper, we will prove that $r(G,σ)\geq gr(G)-2$ for a signed graph $(G,σ)$. Moreover, we characterize all extremal graphs which satisfy the equalities $r(G,σ)=gr(G)-2$ and $r(G,σ)=gr(G)$. Let $Γ=(G,σ)$ be a signed graph and $A(G,σ)$ be its adjacency matrix. Denote by $gr(G)$ the girth of $G$, which is the length of the shortest cycle in $G$. Let $r(G,σ)$ be the rank of $(G,σ)$. In this paper, we will prove that $r(G,σ)\geq gr(G)-2$ for a signed graph $(G,σ)$. Moreover, we characterize all extremal graphs which satisfy the equalities $r(G,σ)=gr(G)-2$ and $r(G,σ)=gr(G)$. △ Less

Submitted 6 September, 2021; originally announced September 2021.

Comments: 13 pages, 1 figure

Approximation algorithms for the random-field Ising model

Authors: Tyler Helmuth, Holden Lee, Will Perkins, Mohan Ravichandran, Qiang Wu

Abstract: Approximating the partition function of the ferromagnetic Ising model with general external fields is known to be #BIS-hard in the worst case, even for bounded-degree graphs, and it is widely believed that no polynomial-time approximation scheme exists. This motivates an average-case question: are there classes of instances for which polynomial-time approximation schemes exist? We investigate this… ▽ More Approximating the partition function of the ferromagnetic Ising model with general external fields is known to be #BIS-hard in the worst case, even for bounded-degree graphs, and it is widely believed that no polynomial-time approximation scheme exists. This motivates an average-case question: are there classes of instances for which polynomial-time approximation schemes exist? We investigate this question for the random field Ising model on graphs with maximum degree $Δ$. We establish the existence of fully polynomial-time approximation schemes and samplers with high probability over the random fields if the external fields are IID Gaussians with variance larger than a constant depending only on the inverse temperature and $Δ$. The main challenge comes from the positive density of vertices at which the external field is small. These regions, which may have connected components of size $Θ(\log n)$, are a barrier to algorithms based on establishing a zero-free region, and cause worst-case analyses of Glauber dynamics to fail. The analysis of our algorithm is based on percolation on a self-avoiding walk tree. △ Less

Submitted 26 August, 2021; originally announced August 2021.

Comments: 20 pages

Inertia indices of a complex unit gain graph in terms of matching number

Authors: Yong Lu, Qi Wu

Abstract: A complex unit gain graph is a triple $\varphi=(G, \mathbb{T}, \varphi)$ (or $G^{\varphi}$ for short) consisting of a simple graph $G$, as the underlying graph of $G^{\varphi}$, the set of unit complex numbers $\mathbb{T}={z\in \mathbb{C}: |z| = 1}$ and a gain function $\varphi: \overrightarrow{E}\rightarrow \mathbb{T}$ such that $\varphi(e_{i,j})=\varphi(e_{j,i}) ^{-1}$. Let $A(G^{\varphi})$ be a… ▽ More A complex unit gain graph is a triple $\varphi=(G, \mathbb{T}, \varphi)$ (or $G^{\varphi}$ for short) consisting of a simple graph $G$, as the underlying graph of $G^{\varphi}$, the set of unit complex numbers $\mathbb{T}={z\in \mathbb{C}: |z| = 1}$ and a gain function $\varphi: \overrightarrow{E}\rightarrow \mathbb{T}$ such that $\varphi(e_{i,j})=\varphi(e_{j,i}) ^{-1}$. Let $A(G^{\varphi})$ be adjacency matrix of $G^{\varphi}$. In this paper, we prove that $$m(G)-c(G)\leq p(G^{\varphi})\leq m(G)+c(G),$$ $$m(G)-c(G)\leq n(G^{\varphi})\leq m(G)+c(G),$$ where $p(G^{\varphi})$, $n(G^{\varphi})$, $m(G)$ and $c(G)$ are the number of positive eigenvalues of $A(G^{\varphi})$, the number of negative eigenvalues of $A(G^{\varphi})$, the matching number and the cyclomatic number of $G$, respectively. Furthermore, we characterize the graphs which attain the upper bounds and the lower bounds, respectively. △ Less

Submitted 31 July, 2021; originally announced August 2021.

Comments: 17 pages. arXiv admin note: text overlap with arXiv:1909.07555 by other authors

Orbital Stability of the sum of Smooth solitons in the Degasperis-Procesi Equation

Authors: Ji Li, Yue Liu, Qiliang Wu

Abstract: The Degasperis-Procesi (DP) equation is an integrable Camassa-Holm-type model as an asymptotic approximation for the unidirectional propagation of shallow water waves. This work is to establish the $L^2\cap L^\infty$ orbital stability of a wave train containing $N$ smooth solitons which are well separated. The main difficulties stem from the subtle nonlocal structure of the DP equation. One conseq… ▽ More The Degasperis-Procesi (DP) equation is an integrable Camassa-Holm-type model as an asymptotic approximation for the unidirectional propagation of shallow water waves. This work is to establish the $L^2\cap L^\infty$ orbital stability of a wave train containing $N$ smooth solitons which are well separated. The main difficulties stem from the subtle nonlocal structure of the DP equation. One consequence is that the energy space of the DE equation based on the conserved quantity induced by the translation symmetry is only equivalent to the $L^2$-norm, which by itself can not bound the higher-order nonlinear terms in the Lagrangian. Our remedy is to introduce \textit{a priori } estimates based on certain smooth initial conditions. Moreover, another consequence is that the nonlocal structure of the DP equation significantly complicates the verification of the monotonicity of local momentum and the positive definiteness of a refined quadratic form of the orthogonalized perturbation. △ Less

Submitted 31 July, 2021; v1 submitted 29 July, 2021; originally announced July 2021.

MSC Class: 35Q35; 35Q51

Derived equivalences for a class of PI algebras

Authors: Quanshui Wu, Ruipeng Zhu

Abstract: A description of tilting complexes is given for a class of PI algebras whose prime spectrum is canonically homeomorphic to the prime spectrum of its center. Some Sklyanin algebras are the kind of algebras considered. As an application, it is proved that any algebra derived equivalent to such kind of algebra, is Morita equivalent to it. A description of tilting complexes is given for a class of PI algebras whose prime spectrum is canonically homeomorphic to the prime spectrum of its center. Some Sklyanin algebras are the kind of algebras considered. As an application, it is proved that any algebra derived equivalent to such kind of algebra, is Morita equivalent to it. △ Less

Submitted 23 November, 2021; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: 8 pages

MSC Class: 16D90; 16E35; 18E30

Resilient Control of Platooning Networked Robotic Systems via Dynamic Watermarking

Authors: Matthew Porter, Arnav Joshi, Sidhartha Dey, Qirui Wu, Pedro Hespanhol, Anil Aswani, Matthew Johnson-Roberson, Ram Vasudevan

Abstract: Networked robotic systems, such as connected vehicle platoons, can improve the safety and efficiency of transportation networks by allowing for high-speed coordination. To enable such coordination, these systems rely on networked communications. This can make them susceptible to cyber attacks. Though security methods such as encryption or specially designed network topologies can increase the diff… ▽ More Networked robotic systems, such as connected vehicle platoons, can improve the safety and efficiency of transportation networks by allowing for high-speed coordination. To enable such coordination, these systems rely on networked communications. This can make them susceptible to cyber attacks. Though security methods such as encryption or specially designed network topologies can increase the difficulty of successfully executing such an attack, these techniques are unable to guarantee secure communication against an attacker. More troublingly, these security methods are unable to ensure that individual agents are able to detect attacks that alter the content of specific messages. To ensure resilient behavior under such attacks, this paper formulates a networked linear time-varying version of dynamic watermarking in which each agent generates and adds a private excitation to the input of its corresponding robotic subsystem. This paper demonstrates that such a method can enable each agent in a networked robotic system to detect cyber attacks. By altering measurements sent between vehicles, this paper illustrates that an attacker can create unstable behavior within a platoon. By utilizing the dynamic watermarking method proposed in this paper, the attack is detected, allowing the vehicles in the platoon to gracefully degrade to a non-communicative control strategy that maintains safety across a variety of scenarios. △ Less

Submitted 14 June, 2021; originally announced June 2021.

Comments: 19 pages, 7 figures

A Biased Deep Tensor Factorization Network For Tensor Completion

Authors: Qianxi Wu, An-Bao Xu

Abstract: Tensor decomposition is a popular technique for tensor completion, However most of the existing methods are based on linear or shallow model, when the data tensor becomes large and the observation data is very small, it is prone to over fitting and the performance decreases significantly. To address this problem, the completion method for a tensor based on a Biased Deep Tensor Factorization Networ… ▽ More Tensor decomposition is a popular technique for tensor completion, However most of the existing methods are based on linear or shallow model, when the data tensor becomes large and the observation data is very small, it is prone to over fitting and the performance decreases significantly. To address this problem, the completion method for a tensor based on a Biased Deep Tensor Factorization Network (BDTFN) is proposed. This method can not only overcome the shortcomings of traditional tensor factorization, but also deal with complex non-linear data. Firstly, the horizontal and lateral tensors corresponding to the observed values of the input tensors are used as inputs and projected to obtain their horizontal (lateral) potential feature tensors. Secondly, the horizontal (lateral) potential feature tensors are respectively constructed into a multilayer perceptron network. Finally, the horizontal and lateral output tensors are fused by constructing a bilinear pooling layer. Tensor forward-propagation is composed of those three step, and its parameters are updated by tensor back-propagation using the multivariable chain rule. In this paper, we consider the large-scale 5-minute traffic speed data set and use it to address the missing data imputation problem for large-scale spatiotemporal traffic data. In addition, we compare the numerical performance of the proposed algorithm with those for state-of-the-art approaches on video recovery and color image recovery. Numerical experimental results illustrate that our approach is not only much more accurate than those state-of-the-art methods, but it also has high speed. △ Less

Submitted 20 May, 2021; originally announced May 2021.

Comments: 18 pages, 12 figures. arXiv admin note: text overlap with arXiv:2008.03194 by other authors

Undulated Bilayer Interfaces in the Planar Functionalized Cahn-Hilliard Equation

Authors: Keith Promislow, Qiliang Wu

Abstract: Experiments with diblock co-polymer melts display undulated bilayers that emanate from defects such as triple junctions and endcaps, \cite{batesjain_2004}. Undulated bilayers are characterized by oscillatory perturbations of the bilayer width, which decay on a spatial length scale that is long compared to the bilayer width. We mimic defects within the functionalized Cahn-Hillard free energy by int… ▽ More Experiments with diblock co-polymer melts display undulated bilayers that emanate from defects such as triple junctions and endcaps, \cite{batesjain_2004}. Undulated bilayers are characterized by oscillatory perturbations of the bilayer width, which decay on a spatial length scale that is long compared to the bilayer width. We mimic defects within the functionalized Cahn-Hillard free energy by introducing spatially localized inhomogeneities within its parameters. For length parameter $\varepsilon\ll1$, we show that this induces undulated bilayer solutions whose width perturbations decay on an $O\!\left(\varepsilon^{-1/2}\right)$ inner length scale that is long in comparison to the $O(1)$ scale that characterizes the bilayer width. △ Less

Submitted 13 January, 2022; v1 submitted 13 April, 2021; originally announced April 2021.

A Construction of $C^r$ Conforming Finite Element Spaces in Any Dimension

Authors: Jun Hu, Ting Lin, Qingyu Wu

Abstract: This paper proposes a construction of $C^r$ conforming finite element spaces with arbitrary $r$ in any dimension. It is shown that if $k \ge 2^{d}r+1$ the space $\mathcal P_k$ of polynomials of degree $\le k$ can be taken as the shape function space of $C^r$ finite element spaces in $d$ dimensions. This is the first work on constructing such $C^r$ conforming finite elements in any dimension in a u… ▽ More This paper proposes a construction of $C^r$ conforming finite element spaces with arbitrary $r$ in any dimension. It is shown that if $k \ge 2^{d}r+1$ the space $\mathcal P_k$ of polynomials of degree $\le k$ can be taken as the shape function space of $C^r$ finite element spaces in $d$ dimensions. This is the first work on constructing such $C^r$ conforming finite elements in any dimension in a unified way. It solves a long-standing open problem in finite element methods. △ Less

Submitted 18 March, 2023; v1 submitted 27 March, 2021; originally announced March 2021.

Comments: 25 pages, 5 figures

MSC Class: 65N30