Showing 1–50 of 152 results for author: Yu, S

Lower bounds for trace estimation via Block Krylov and other methods

Authors: Shi Jie Yu

Abstract: This paper studies theoretical lower bounds for estimating the trace of a matrix function, $\text{tr}(f(A))$, focusing on methods that use Hutchinson's method along with Block Krylov techniques. These methods work by approximating matrix-vector products like $f(A)V$ using a Block Krylov subspace. This is closely related to approximating functions with polynomials. We derive theoretical upper bound… ▽ More This paper studies theoretical lower bounds for estimating the trace of a matrix function, $\text{tr}(f(A))$, focusing on methods that use Hutchinson's method along with Block Krylov techniques. These methods work by approximating matrix-vector products like $f(A)V$ using a Block Krylov subspace. This is closely related to approximating functions with polynomials. We derive theoretical upper bounds on how many Krylov steps are needed for functions such as $A^{-1/2}$ and $A^{-1}$ by analyzing the upper bounds from the polynomial approximation of their scalar equivalent. In addition, we also develop lower limits on the number of queries needed for trace estimation, specifically for $\text{tr}(W^{-p})$ where $W$ is a Wishart matrix. Our study clarifies the connection between the number of steps in Block Krylov methods and the degree of the polynomial used for approximation. This links the total cost of trace estimation to basic limits in polynomial approximation and how much information is needed for the computation. △ Less

Submitted 27 June, 2025; originally announced June 2025.

Normalized solutions for the NLS equation with mixed fractional Laplacians and combined nonlinearities

Authors: Shubin Yu, Chen Yang, Chun-Lei Tang

Abstract: We look for normalized solutions to the nonlinear Schrödinger equation with mixed fractional Laplacians and combined nonlinearities $$ \left\{\begin{array}{ll} (-Δ)^{s_{1}} u+(-Δ)^{s_{2}} u=λu+μ|u|^{q-2}u+|u|^{p-2}u \ \text{in}\;{\mathbb{R}^{N}}, \\[0.1cm] \int_{\mathbb{R}^{N}}|u|^2\mathrm dx=a^2, \end{array} \right. $$ where $N\geq 2,\;0<s_2<s_1<1, μ>0$ and $λ\in\mathbb R$ appears as an unknown L… ▽ More We look for normalized solutions to the nonlinear Schrödinger equation with mixed fractional Laplacians and combined nonlinearities $$ \left\{\begin{array}{ll} (-Δ)^{s_{1}} u+(-Δ)^{s_{2}} u=λu+μ|u|^{q-2}u+|u|^{p-2}u \ \text{in}\;{\mathbb{R}^{N}}, \\[0.1cm] \int_{\mathbb{R}^{N}}|u|^2\mathrm dx=a^2, \end{array} \right. $$ where $N\geq 2,\;0<s_2<s_1<1, μ>0$ and $λ\in\mathbb R$ appears as an unknown Lagrange multiplier. We mainly focus on some special cases, including fractional Sobolev subcritical or critical exponent. More precisely, for $2<q<2+\frac{4s_2}{N}<2+\frac{4s_1}{N}<p<2_{s_1}^{\ast}:=\frac{2N}{N-2s_1}$, we prove that the above problem has at least two solutions: a ground state with negative energy and a solution of mountain pass type with positive energy. For $2<q<2+\frac{4s_2}{N}$ and $p=2_{s_1}^{\ast}$, we also obtain the existence of ground states. Our results extend some previous ones of Chergui et al. (Calc. Var. Partial Differ. Equ., 2023) and Luo et al. (Adv. Nonlinear Stud., 2022). △ Less

Submitted 25 June, 2025; originally announced June 2025.

MSC Class: 35R11; 35A15; 35B33; 35J60

Decentralized Nonconvex Optimization under Heavy-Tailed Noise: Normalization and Optimal Convergence

Authors: Shuhua Yu, Dusan Jakovetic, Soummya Kar

Abstract: Heavy-tailed noise in nonconvex stochastic optimization has garnered increasing research interest, as empirical studies, including those on training attention models, suggest it is a more realistic gradient noise condition. This paper studies first-order nonconvex stochastic optimization under heavy-tailed gradient noise in a decentralized setup, where each node can only communicate with its direc… ▽ More Heavy-tailed noise in nonconvex stochastic optimization has garnered increasing research interest, as empirical studies, including those on training attention models, suggest it is a more realistic gradient noise condition. This paper studies first-order nonconvex stochastic optimization under heavy-tailed gradient noise in a decentralized setup, where each node can only communicate with its direct neighbors in a predefined graph. Specifically, we consider a class of heavy-tailed gradient noise that is zero-mean and has only $p$-th moment for $p \in (1, 2]$. We propose GT-NSGDm, Gradient Tracking based Normalized Stochastic Gradient Descent with momentum, that utilizes normalization, in conjunction with gradient tracking and momentum, to cope with heavy-tailed noise on distributed nodes. We show that, when the communication graph admits primitive and doubly stochastic weights, GT-NSGDm guarantees, for the \textit{first} time in the literature, that the expected gradient norm converges at an optimal non-asymptotic rate $O\big(1/T^{(p-1)/(3p-2)}\big)$, which matches the lower bound in the centralized setup. When tail index $p$ is unknown, GT-NSGDm attains a non-asymptotic rate $O\big( 1/T^{(p-1)/(2p)} \big)$ that is, for $p < 2$, topology independent and has a speedup factor $n^{1-1/p}$ in terms of the number of nodes $n$. Finally, experiments on nonconvex linear regression with tokenized synthetic data and decentralized training of language models on a real-world corpus demonstrate that GT-NSGDm is more robust and efficient than baselines. △ Less

Submitted 6 May, 2025; originally announced May 2025.

Internally-disjoint Directed Pendant Steiner Trees in Digraphs

Authors: Shanshan Yu, Yuefang Sun

Abstract: For a digraph $D=(V(D),A(D))$ and a set $S\subseteq V(D)$ with $|S|\geq 2$ and $r\in S$, a directed pendant $(S,r)$-Steiner tree (or, simply, a pendant $(S,r)$-tree) is an out-tree $T$ rooted at $r$ such that $S\subseteq V(T)$ and each vertex of $S$ has degree one in $T$. Two pendant $(S,r)$-trees are called internally-disjoint if they are arc-disjoint and their common vertex set is exactly $S$. T… ▽ More For a digraph $D=(V(D),A(D))$ and a set $S\subseteq V(D)$ with $|S|\geq 2$ and $r\in S$, a directed pendant $(S,r)$-Steiner tree (or, simply, a pendant $(S,r)$-tree) is an out-tree $T$ rooted at $r$ such that $S\subseteq V(T)$ and each vertex of $S$ has degree one in $T$. Two pendant $(S,r)$-trees are called internally-disjoint if they are arc-disjoint and their common vertex set is exactly $S$. The goal of the {\sc Internally-disjoint Directed Pendant Steiner Tree Packing (IDPSTP)} problem is to find a largest collection of pairwise internally-disjoint pendant $(S,r)$-trees in $D$. We use $τ_{S,r}(D)$ to denote the maximum number of pairwise internally-disjoint pendant $(S,r)$-trees in $D$ and define the directed pendant-tree $k$-connectivity of $D$ as \begin{align*} τ_{k}(D)=\min\{τ_{S,r}(D)\mid S\subseteq V(D),|S|=k,r\in S\}. \end{align*} IDPSTP is a restriction of the {\sc Internally-disjoint Directed Steiner Tree Packing} problem studied by Cheriyan and Salavatipour [Algorithmica, 2006] and Sun and Yeo [JGT, 2023]. The directed pendant-tree $k$-connectivity extends the concept of pendant-tree $k$-connectivity in undirected graphs studied by Hager [JCTB, 1985] and could be seen as a generalization of classical vertex-connectivity of digraphs. In this paper, we completely determine the computational complexity for the parameter $τ_{S,r}(D)$ on Eulerian digraphs and symmetric digraphs. We also give sharp bounds and values for the parameter $τ_{k}(D)$. △ Less

Submitted 1 May, 2025; originally announced May 2025.

Remodeling Conjecture with Descendants

Authors: Bohan Fang, Chiu-Chu Melissa Liu, Song Yu, Zhengyu Zong

Abstract: We formulate and prove the Remodeling Conjecture with descendants, which is a version of all-genus equivariant descendant mirror symmetry for semi-projective toric Calabi-Yau 3-orbifolds. We consider the $K$-group of equivariant coherent sheaves on the toric Calabi-Yau 3-orbifold with support bounded in a direction, and prove that it is isomorphic to a certain integral relative first homology grou… ▽ More We formulate and prove the Remodeling Conjecture with descendants, which is a version of all-genus equivariant descendant mirror symmetry for semi-projective toric Calabi-Yau 3-orbifolds. We consider the $K$-group of equivariant coherent sheaves on the toric Calabi-Yau 3-orbifold with support bounded in a direction, and prove that it is isomorphic to a certain integral relative first homology group of the equivariant mirror curve. We establish a correspondence between all-genus equivariant descendant Gromov-Witten invariants with $K$-theoretic framings and oscillatory integrals (Laplace transforms) of the Chekhov-Eynard-Orantin topological recursion invariants along relative 1-cycles on the equivariant mirror curve. Our genus-zero correspondence is an equivariant Hodge-theoretic mirror symmetry with integral structures. In the non-equivariant setting, we prove a conjecture of Hosono which equates central charges of compactly supported coherent sheaves with period integrals of integral 3-cycles on the Hori-Vafa mirror 3-fold. △ Less

Submitted 22 April, 2025; originally announced April 2025.

Comments: 71 pages, 4 figures

MSC Class: 14N35; 14J33

Mass concentration of minimizers for $L^2$-subcritical Kirchhoff energy functional in bounded domains

Authors: Chen Yang, Shubin Yu, Chun-Lei Tang

Abstract: We are concerned with $L^2$-constraint minimizers for the Kirchhoff functional $$ E_b(u)=\int_Ω|\nabla u|^2\mathrm{d}x+\frac{b}{2}\left(\int_Ω|\nabla u|^2\mathrm{d}x\right)^2+\int_ΩV(x)u^2\mathrm{d}x-\fracβ{2}\int_Ω|u|^4\mathrm{d}x, $$ where $b>0$, $β>0$ and $V(x)$ is a trapping potential in a bounded domain $Ω$ of $\mathbb R^2$. As is well known that minimizers exist for any $b>0$ and $β>0$, whil… ▽ More We are concerned with $L^2$-constraint minimizers for the Kirchhoff functional $$ E_b(u)=\int_Ω|\nabla u|^2\mathrm{d}x+\frac{b}{2}\left(\int_Ω|\nabla u|^2\mathrm{d}x\right)^2+\int_ΩV(x)u^2\mathrm{d}x-\fracβ{2}\int_Ω|u|^4\mathrm{d}x, $$ where $b>0$, $β>0$ and $V(x)$ is a trapping potential in a bounded domain $Ω$ of $\mathbb R^2$. As is well known that minimizers exist for any $b>0$ and $β>0$, while the minimizers do not exist for $b=0$ and $β\geqβ^*$, where $β^*=\int_{\mathbb R^2}|Q|^2\mathrm{d}x$ and $Q$ is the unique positive solution of $-Δu+u-u^3=0$ in $\mathbb R^2$. In this paper, we show that for $β=β^*$, the energy converges to 0, but for $β>β^*$, the minimal energy will diverge to $-\infty$ as $b\searrow0$. Further, we give the refined limit behaviors and energy estimates of minimizers as $b\searrow0$ for $β=β^*$ or $β>β^*$. For both cases, we obtain that the mass of minimizers concentrates either at an inner point or near the boundary of $Ω$, depending on whether $V(x)$ attains its flattest global minimum at an inner point of $Ω$ or not. Meanwhile, we find an interesting phenomenon that the blow-up rate when the minimizers concentrate near the boundary of $Ω$ is faster than concentration at an interior point if $β=β^*$, but the blow-up rates remain consistent if $β>β^*$. △ Less

Submitted 26 March, 2025; originally announced March 2025.

MSC Class: 35J60; 35B40

Achieving constant regret for dynamic matching via state-independent policies

Authors: Süleyman Kerimov, Mingwei Yang, Sophie H. Yu

Abstract: We study a centralized discrete-time dynamic two-way matching model with finitely many agent types. Agents arrive stochastically over time and join their type-dedicated queues waiting to be matched. We focus on state-independent greedy policies that achieve constant regret at all times by making matching decisions based solely on agent availability across types, rather than requiring complete queu… ▽ More We study a centralized discrete-time dynamic two-way matching model with finitely many agent types. Agents arrive stochastically over time and join their type-dedicated queues waiting to be matched. We focus on state-independent greedy policies that achieve constant regret at all times by making matching decisions based solely on agent availability across types, rather than requiring complete queue-length information. Such policies are particularly appealing for life-saving applications such as kidney exchange, as they require less information and provide more transparency compared to state-dependent policies. First, for acyclic matching networks, we analyze a deterministic priority policy proposed by Kerimov et al. [2023] that follows a static priority order over matches. We derive the first explicit regret bound in terms of the general position gap (GPG) parameter $ε$, which measures the distance of the fluid relaxation from degeneracy. Second, for general two-way matching networks, we design a randomized state-independent greedy policy that achieves constant regret with optimal scaling $O(ε^{-1})$, matching the existing lower bound established by Kerimov et al. [2024]. △ Less

Submitted 12 March, 2025; originally announced March 2025.

On the full subcomplexes of Bier spheres and their applications to real toric spaces

Authors: Suyoung Choi, Younghan Yoon, Seonghyeon Yu

Abstract: A Bier sphere is a simplicial sphere obtained as the deleted join of a simplicial complex and its combinatorial Alexander dual. We focus on particular classes of full subcomplexes of Bier spheres, and determine their topological types. As applications, we explicitly describe the cohomology of real toric spaces associated with Bier spheres. A Bier sphere is a simplicial sphere obtained as the deleted join of a simplicial complex and its combinatorial Alexander dual. We focus on particular classes of full subcomplexes of Bier spheres, and determine their topological types. As applications, we explicitly describe the cohomology of real toric spaces associated with Bier spheres. △ Less

Submitted 7 March, 2025; originally announced March 2025.

Comments: 12 pages, 2 figures

MSC Class: 05E45; 55U10; 57S12; 57N65; 55N10

New results of Bollobás-type theorem for affine subspaces and projective subspaces

Authors: Shuhui Yu, Xin Wang

Abstract: Bollobás-type theorem has received a lot of attention due to its application in graph theory. In 2015, Gábor Heged{ü}s gave an upper bound of bollobás-type affine subspace families for $q\neq 2$, and constructed an almost sharp affine subspaces pair families. In this note, we prove a new upper bound for bollobás-type affine subspaces without the requirement of $q\neq 2$, and construct a pair of fa… ▽ More Bollobás-type theorem has received a lot of attention due to its application in graph theory. In 2015, Gábor Heged{ü}s gave an upper bound of bollobás-type affine subspace families for $q\neq 2$, and constructed an almost sharp affine subspaces pair families. In this note, we prove a new upper bound for bollobás-type affine subspaces without the requirement of $q\neq 2$, and construct a pair of families of affine subspaces, which shows that our upper bound is sharp. We also give an upper bound for bollobás-type projective subspaces, and prove that the Heged{ü}s's conjecture holds when $q=2$. △ Less

Submitted 15 January, 2025; originally announced January 2025.

Comments: 6 pages

Provably Convergent Plug-and-play Proximal Block Coordinate Descent Method for Hyperspectral Anomaly Detection

Authors: Xiaoxia Liu, Shijie YU

Abstract: Hyperspectral anomaly detection refers to identifying pixels in the hyperspectral images that have spectral characteristics significantly different from the background. In this paper, we introduce a novel model that represents the background information using a low-rank representation. We integrate an implicit proximal denoiser prior, associated with a deep learning based denoiser, within a plug-a… ▽ More Hyperspectral anomaly detection refers to identifying pixels in the hyperspectral images that have spectral characteristics significantly different from the background. In this paper, we introduce a novel model that represents the background information using a low-rank representation. We integrate an implicit proximal denoiser prior, associated with a deep learning based denoiser, within a plug-and-play (PnP) framework to effectively remove noise from the eigenimages linked to the low-rank representation. Anomalies are characterized using a generalized group sparsity measure, denoted as $\|\cdot\|_{2,ψ}$. To solve the resulting orthogonal constrained nonconvex nonsmooth optimization problem, we develop a PnP-proximal block coordinate descent (PnP-PBCD) method, where the eigenimages are updated using a proximal denoiser within the PnP framework. We prove that any accumulation point of the sequence generated by the PnP-PBCD method is a stationary point. We evaluate the effectiveness of the PnP-PBCD method on hyperspectral anomaly detection in scenarios with and without Gaussian noise contamination. The results demonstrate that the proposed method can effectively detect anomalous objects, outperforming the competing methods that may mistakenly identify noise as anomalies or misidentify the anomalous objects due to noise interference. △ Less

Submitted 22 December, 2024; v1 submitted 19 December, 2024; originally announced December 2024.

Existence and asymptotic properties of standing waves for dipolar Bose-Einstein condensate with rotation

Authors: Meng-Hui Wu, Shubin Yu, Chun-Lei Tang

Abstract: In this article, we study the existence and asymptotic properties of prescribed mass standing waves for the rotating dipolar Gross-Pitaevskii equation with a harmonic potential in the unstable regime. This equation arises as an effective model describing Bose-Einstein condensate of trapped dipolar quantum gases rotating at the speed $Ω$. To be precise, we mainly focus on the two cases: the rotatio… ▽ More In this article, we study the existence and asymptotic properties of prescribed mass standing waves for the rotating dipolar Gross-Pitaevskii equation with a harmonic potential in the unstable regime. This equation arises as an effective model describing Bose-Einstein condensate of trapped dipolar quantum gases rotating at the speed $Ω$. To be precise, we mainly focus on the two cases: the rotational speed $0<Ω<Ω^{*}$ and $Ω=Ω^{*}$, where $Ω^{*}$ is called a critical rotational speed. For the first case, we obtain two different standing waves, one of which is a local minimizer and can be determined as the ground state, and the other is mountain pass type. For the critical case, we rewrite the original problem as a dipole Gross-Pitaevskii equation with a constant magnetic field and partial harmonic confinement. Under this setting, a local minimizer can also be obtained, which seems to be the optimal result. Particularly, in both cases, we establish the mass collapse behavior of the local minimizers. Our results extend the work of Dinh (Lett. Math. Phys., 2022) and Luo et al. (J. Differ. Equ., 2021) to the non-axially symmetric harmonic potential, and answer the open question proposed by Dinh. △ Less

Submitted 13 December, 2024; originally announced December 2024.

MSC Class: 35A15; 35B40; 35Q40; 35Q55

$s$-almost $t$-intersecting families for vector spaces

Authors: Shuhui Yu, Lijun Ji

Abstract: Let $\mathcal{F}$ be a family of $k$-dimensional subspaces of an $n$-dimensional vector space. Write $\mathcal{D}_{\mathcal{F}}(H;t)=\{F\in \mathcal{F}\colon \dim(F\cap H)\leq t \}$ for a subspace $H$. The family $\mathcal{F}$ is called $s$-almost $t$-intersecting if $|\mathcal{D}_{\mathcal{F}}(F;t)|\leq s$ for each $F\in \mathcal{F}$. In this note, we prove that $s$-almost $t$-intersecting famili… ▽ More Let $\mathcal{F}$ be a family of $k$-dimensional subspaces of an $n$-dimensional vector space. Write $\mathcal{D}_{\mathcal{F}}(H;t)=\{F\in \mathcal{F}\colon \dim(F\cap H)\leq t \}$ for a subspace $H$. The family $\mathcal{F}$ is called $s$-almost $t$-intersecting if $|\mathcal{D}_{\mathcal{F}}(F;t)|\leq s$ for each $F\in \mathcal{F}$. In this note, we prove that $s$-almost $t$-intersecting families with maximum size are $t$-intersecting. △ Less

Submitted 17 December, 2024; v1 submitted 1 December, 2024; originally announced December 2024.

Comments: This manuscript has been improved joint with Dehai Liu, Kaishun Wang and Tian Yao; see arXiv:2406.05840v3

Low-Regularity Local Well-Posedness for the Elastic Wave System

Authors: Xinliang An, Haoyang Chen, Sifan Yu

Abstract: We study the elastic wave system in three spatial dimensions. For admissible harmonic elastic materials, we prove a desired low-regularity local well-posedness result for the corresponding elastic wave equations. For such materials, we can split the dynamics into the divergence-part and the curl-part, and each part satisfies a distinct coupled quasilinear wave system with respect to different acou… ▽ More We study the elastic wave system in three spatial dimensions. For admissible harmonic elastic materials, we prove a desired low-regularity local well-posedness result for the corresponding elastic wave equations. For such materials, we can split the dynamics into the divergence-part and the curl-part, and each part satisfies a distinct coupled quasilinear wave system with respect to different acoustical metrics. Our main result is that the Sobolev norm $H^{3+}$ of the divergence-part (the faster-wave part) and the $H^{4+}$ of the curl-part (the slower-wave part) can be controlled in terms of initial data for short times. We note that the Sobolev norm assumption $H^{3+}$ is optimal for the divergence-part. This marks the first favorable low-regularity local well-posedness result for a wave system with multiple wave speeds. △ Less

Submitted 24 November, 2024; originally announced November 2024.

Comments: 110 pages

Solving Multi-Group Neutron Diffusion Eigenvalue Problem with Decoupling Residual Loss Function

Authors: Shupei Yu, Qiaolin He, Shiquan Zhang, Qihong Yang, Yu Yang, Helin Gong

Abstract: In the midst of the neural network's success in solving partial differential equations, tackling eigenvalue problems using neural networks remains a challenging task. However, the Physics Constrained-General Inverse Power Method Neural Network (PC-GIPMNN) approach was proposed and successfully applied to solve the single-group critical problems in reactor physics. This paper aims to solve critical… ▽ More In the midst of the neural network's success in solving partial differential equations, tackling eigenvalue problems using neural networks remains a challenging task. However, the Physics Constrained-General Inverse Power Method Neural Network (PC-GIPMNN) approach was proposed and successfully applied to solve the single-group critical problems in reactor physics. This paper aims to solve critical problems in multi-group scenarios and in more complex geometries. Hence, inspired by the merits of traditional source iterative method, which can overcome the ill-condition of the right side of the equations effectively and solve the multi-group problem effectively, we propose two residual loss function called Decoupling Residual loss function and Direct Iterative loss function. Our loss function can deal with multi-group eigenvalue problem, and also single-group eigenvalue problem. Using the new residual loss functions, our study solves one-dimensional, two-dimensional, and three-dimensional multi-group problems in nuclear reactor physics without prior data. In numerical experiments, our approach demonstrates superior generalization capabilities compared to previous work. △ Less

Submitted 23 November, 2024; originally announced November 2024.

Existence of magic rectangle sets over finite abelian groups

Authors: Shikang Yu, Tao Feng, Hengrui Liu

Abstract: Let $a$, $b$ and $c$ be positive integers. Let $(G,+)$ be a finite abelian group of order $abc$. A $G$-magic rectangle set MRS$_G(a,b;c)$ is a collection of $c$ arrays of size $a\times b$ whose entries are elements of a group $G$, each appearing exactly once, such that the sum of each row in every array equals a constant $γ\in G$ and the sum of each column in every array equals a constant… ▽ More Let $a$, $b$ and $c$ be positive integers. Let $(G,+)$ be a finite abelian group of order $abc$. A $G$-magic rectangle set MRS$_G(a,b;c)$ is a collection of $c$ arrays of size $a\times b$ whose entries are elements of a group $G$, each appearing exactly once, such that the sum of each row in every array equals a constant $γ\in G$ and the sum of each column in every array equals a constant $δ\in G$. This paper establishes the necessary and sufficient conditions for the existence of an MRS$_G(a,b;c)$ for any finite abelian group $G$, thereby confirming a conjecture presented by Cichacz and Hinc. △ Less

Submitted 31 October, 2024; originally announced October 2024.

Comments: 14 pages

Large Deviation Upper Bounds and Improved MSE Rates of Nonlinear SGD: Heavy-tailed Noise and Power of Symmetry

Authors: Aleksandar Armacki, Shuhua Yu, Dragana Bajovic, Dusan Jakovetic, Soummya Kar

Abstract: We study large deviation upper bounds and mean-squared error (MSE) guarantees of a general framework of nonlinear stochastic gradient methods in the online setting, in the presence of heavy-tailed noise. Unlike existing works that rely on the closed form of a nonlinearity (typically clipping), our framework treats the nonlinearity in a black-box manner, allowing us to provide unified guarantees fo… ▽ More We study large deviation upper bounds and mean-squared error (MSE) guarantees of a general framework of nonlinear stochastic gradient methods in the online setting, in the presence of heavy-tailed noise. Unlike existing works that rely on the closed form of a nonlinearity (typically clipping), our framework treats the nonlinearity in a black-box manner, allowing us to provide unified guarantees for a broad class of bounded nonlinearities, including many popular ones, like sign, quantization, normalization, as well as component-wise and joint clipping. We provide several strong results for a broad range of step-sizes in the presence of heavy-tailed noise with symmetric probability density function, positive in a neighbourhood of zero and potentially unbounded moments. In particular, for non-convex costs we provide a large deviation upper bound for the minimum norm-squared of gradients, showing an asymptotic tail decay on an exponential scale, at a rate $\sqrt{t} / \log(t)$. We establish the accompanying rate function, showing an explicit dependence on the choice of step-size, nonlinearity, noise and problem parameters. Next, for non-convex costs and the minimum norm-squared of gradients, we derive the optimal MSE rate $\widetilde{\mathcal{O}}(t^{-1/2})$. Moreover, for strongly convex costs and the last iterate, we provide an MSE rate that can be made arbitrarily close to the optimal rate $\mathcal{O}(t^{-1})$, improving on the state-of-the-art results in the presence of heavy-tailed noise. Finally, we establish almost sure convergence of the minimum norm-squared of gradients, providing an explicit rate, which can be made arbitrarily close to $o(t^{-1/4})$. △ Less

Submitted 21 March, 2025; v1 submitted 21 October, 2024; originally announced October 2024.

Comments: 35 pages. arXiv admin note: text overlap with arXiv:2410.13954

Nonlinear Stochastic Gradient Descent and Heavy-tailed Noise: A Unified Framework and High-probability Guarantees

Authors: Aleksandar Armacki, Shuhua Yu, Pranay Sharma, Gauri Joshi, Dragana Bajovic, Dusan Jakovetic, Soummya Kar

Abstract: We study high-probability convergence in online learning, in the presence of heavy-tailed noise. To combat the heavy tails, a general framework of nonlinear SGD methods is considered, subsuming several popular nonlinearities like sign, quantization, component-wise and joint clipping. In our work the nonlinearity is treated in a black-box manner, allowing us to establish unified guarantees for a br… ▽ More We study high-probability convergence in online learning, in the presence of heavy-tailed noise. To combat the heavy tails, a general framework of nonlinear SGD methods is considered, subsuming several popular nonlinearities like sign, quantization, component-wise and joint clipping. In our work the nonlinearity is treated in a black-box manner, allowing us to establish unified guarantees for a broad range of nonlinear methods. For symmetric noise and non-convex costs we establish convergence of gradient norm-squared, at a rate $\widetilde{\mathcal{O}}(t^{-1/4})$, while for the last iterate of strongly convex costs we establish convergence to the population optima, at a rate $\mathcal{O}(t^{-ζ})$, where $ζ\in (0,1)$ depends on noise and problem parameters. Further, if the noise is a (biased) mixture of symmetric and non-symmetric components, we show convergence to a neighbourhood of stationarity, whose size depends on the mixture coefficient, nonlinearity and noise. Compared to state-of-the-art, who only consider clipping and require unbiased noise with bounded $p$-th moments, $p \in (1,2]$, we provide guarantees for a broad class of nonlinearities, without any assumptions on noise moments. While the rate exponents in state-of-the-art depend on noise moments and vanish as $p \rightarrow 1$, our exponents are constant and strictly better whenever $p < 6/5$ for non-convex and $p < 8/7$ for strongly convex costs. Experiments validate our theory, showing that clipping is not always the optimal nonlinearity, further underlining the value of a general framework. △ Less

Submitted 20 March, 2025; v1 submitted 17 October, 2024; originally announced October 2024.

Comments: 40 pages, 6 figures

Asymptotic estimates of large gaps between directions in certain planar quasicrystals

Authors: Gustav Hammarhjelm, Andreas Strömbergsson, Shucheng Yu

Abstract: For quasicrystals of cut-and-project type in $\mathbb{R}^d$, it was proved by Marklof and Strömbergsson that the limit local statistical properties of the directions to the points in the set are described by certain $\operatorname{SL}_d(\mathbb{R})$-invariant point processes. In the present paper we make a detailed study of the tail asymptotics of the limiting gap statistics of the directions, for… ▽ More For quasicrystals of cut-and-project type in $\mathbb{R}^d$, it was proved by Marklof and Strömbergsson that the limit local statistical properties of the directions to the points in the set are described by certain $\operatorname{SL}_d(\mathbb{R})$-invariant point processes. In the present paper we make a detailed study of the tail asymptotics of the limiting gap statistics of the directions, for certain specific classes of planar quasicrystals. △ Less

Submitted 7 May, 2025; v1 submitted 28 September, 2024; originally announced September 2024.

Comments: 44 pages

Local classical solutions to Navier-Stokes equations with degenerate viscosities and vacuum

Authors: Yachun Li, Shaojun Yu

Abstract: We consider the 3D isentropic compressible Navier-Stokes equations with degenerate viscousities and vacuum. The degenerate viscosities $μ(ρ)$ and $λ(ρ)$ are proportional to some power of density, while the powers of density in $μ(ρ)$ and $λ(ρ)$ are different(i.e., $δ_1\neq δ_2$). The local well-posedness of classical solution is established by introducing a ``quasi-symmetric hyperbolic''--``degene… ▽ More We consider the 3D isentropic compressible Navier-Stokes equations with degenerate viscousities and vacuum. The degenerate viscosities $μ(ρ)$ and $λ(ρ)$ are proportional to some power of density, while the powers of density in $μ(ρ)$ and $λ(ρ)$ are different(i.e., $δ_1\neq δ_2$). The local well-posedness of classical solution is established by introducing a ``quasi-symmetric hyperbolic''--``degenerate elliptic'' coupled structure to control the behavior of the velocity of the fluid near the vacuum and give some uniform estimates. In particular, the initial data allows vacuum in an open set and we do not need any initial compatibility conditions. △ Less

Submitted 12 September, 2024; originally announced September 2024.

Concentration behavior of normalized ground states for mass critical Kirchhoff equations in bounded domains

Authors: Shubin Yu, Chen Yang, Chun-Lei Tang

Abstract: In present paper, we study the limit behavior of normalized ground states for the following mass critical Kirchhoff equation $$ \left\{\begin{array}{ll} -(a+b\int_Ω|\nabla u|^2\mathrm{d}x)Δu+V(x)u=μu+β^*|u|^{\frac{8}{3}}u &\mbox{in}\ Ω, \\[0.1cm] u=0&\mbox{on}\ {\partialΩ}, \\[0.1cm] \int_Ω|u|^2\mathrm{d}x=1, \\[0.1cm] \end{array} \right. $$ where $a\geq0$, $b>0$, the function $V(x)$ is a trappi… ▽ More In present paper, we study the limit behavior of normalized ground states for the following mass critical Kirchhoff equation $$ \left\{\begin{array}{ll} -(a+b\int_Ω|\nabla u|^2\mathrm{d}x)Δu+V(x)u=μu+β^*|u|^{\frac{8}{3}}u &\mbox{in}\ Ω, \\[0.1cm] u=0&\mbox{on}\ {\partialΩ}, \\[0.1cm] \int_Ω|u|^2\mathrm{d}x=1, \\[0.1cm] \end{array} \right. $$ where $a\geq0$, $b>0$, the function $V(x)$ is a trapping potential in a bounded domain $Ω\subset\mathbb R^3$, $β^*:=\frac{b}{2}|Q|_2^{\frac{8}{3}}$ and $Q$ is the unique positive radially symmetric solution of equation $-2Δu+\frac{1}{3}u-|u|^{\frac{8}{3}}u=0.$ We consider the existence of constraint minimizers for the associated energy functional involving the parameter $a$. The minimizer corresponds to the normalized ground state of above problem, and it exists if and only if $a>0$. Moreover, when $V(x)$ attains its flattest global minimum at an inner point or only at the boundary of $Ω$, we analyze the fine limit profiles of the minimizers as $a\searrow 0$, including mass concentration at an inner point or near the boundary of $Ω$. In particular, we further establish the local uniqueness of the minimizer if it is concentrated at a unique inner point. △ Less

Submitted 8 September, 2024; originally announced September 2024.

Global Existence and Asymptotic Behavior of Large Strong Solutions to the 3D Full Compressible Navier-Stokes Equations with Density-dependent Viscosities

Authors: Yachun Li, Peng Lu, Zhaoyang Shang, Shaojun Yu

Abstract: The purpose of this work is to investigate the Cauchy problem of global-in-time existence of large strong solutions to the Navier-Stokes equations for compressible viscous and heat conducting fluids. A class of density-dependent viscosity is considered. By introducing the modified effective viscous flux and using the bootstrap argument, we establish the global existence of large strong solution wh… ▽ More The purpose of this work is to investigate the Cauchy problem of global-in-time existence of large strong solutions to the Navier-Stokes equations for compressible viscous and heat conducting fluids. A class of density-dependent viscosity is considered. By introducing the modified effective viscous flux and using the bootstrap argument, we establish the global existence of large strong solution when the initial density is linearly equivalent to a large constant state. It is worthy of mentioning that, different from the work of Matsumura and Nishida (J. Math. Kyoto Univ., 1980) with small initial perturbation and the work of Huang and Li (Arch. Ration. Mech. Anal., 2018) with small energy but possibly large oscillations, our global large strong solution is uniform-in-time in $H^2$ Sobolev space and the uniform-in-time bounds of both density and temperature are obtained without any restrictions on the size of initial velocity and initial temperature. In addition, when the initial data belongs to $L^{p_0}\cap H^2$ with $p_0\in[1,2]$, we establish the convergence of the solution to its associated equilibrium with an explicit decay rate whether the initial data close to or far away from the equilibrium in the whole space. As a result, we give a specific large strong solution in Sobolev space satisfying the global existence assumptions proposed by Villani (Mem. Amer. Math. Soc., 2009), He, Huang, and Wang (Arch. Ration. Mech. Anal., 2019), Zhang and Zi (Ann. Inst. H. Poincare Anal. Non Lineaire, 2020) in studying the asymptotic behavior of solution, and extend the second above result to the nonisentropic case. This paper considers for the first time the application of Fourier splitting method to Navier-Stokes equations with variable viscosity. △ Less

Submitted 3 December, 2024; v1 submitted 9 August, 2024; originally announced August 2024.

Local existence of classical solutions to the 3D isentropic compressible Navier-Stokes-Poisson equations with degenerate viscosities and vacuum

Authors: Peng Lu, Shaojun Yu

Abstract: We consider the isentropic compressible Navier-Stokes-Poisson equations with degenerate viscousities and vacuum in a three-dimensional torus. The local well-posedness of classical solution is established by introducing a "quasi-symmetric hyperbolic"-"degenerate elliptic" coupled structure to control the behavior of the velocity of the fluid near the vacuum and give some uniform estimates. In parti… ▽ More We consider the isentropic compressible Navier-Stokes-Poisson equations with degenerate viscousities and vacuum in a three-dimensional torus. The local well-posedness of classical solution is established by introducing a "quasi-symmetric hyperbolic"-"degenerate elliptic" coupled structure to control the behavior of the velocity of the fluid near the vacuum and give some uniform estimates. In particular, the initial data allows vacuum in an open set and we do not need any initial compatibility conditions. △ Less

Submitted 22 July, 2024; originally announced July 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:1808.09605 by other authors

Orthogonal Constrained Minimization with Tensor $\ell_{2,p}$ Regularization for HSI Denoising and Destriping

Authors: Xiaoxia Liu, Shijie Yu, Jian Lu, Xiaojun Chen

Abstract: Hyperspectral images (HSIs) are often contaminated by a mixture of noises such as Gaussian noise, dead lines, stripes, and so on. In this paper, we propose a novel approach for HSI denoising and destriping, called NLTL2p, which consists of an orthogonal constrained minimization model and an iterative algorithm with convergence guarantees. The model of the proposed NLTL2p approach is built based on… ▽ More Hyperspectral images (HSIs) are often contaminated by a mixture of noises such as Gaussian noise, dead lines, stripes, and so on. In this paper, we propose a novel approach for HSI denoising and destriping, called NLTL2p, which consists of an orthogonal constrained minimization model and an iterative algorithm with convergence guarantees. The model of the proposed NLTL2p approach is built based on a new sparsity-enhanced Nonlocal Low-rank Tensor regularization and a tensor $\ell_{2,p}$ norm with $p\in(0,1)$. The low-rank constraints for HSI denoising utilize the spatial nonlocal self-similarity and spectral correlation of HSIs and are formulated based on independent higher-order singular value decomposition with sparsity enhancement on its core tensor to prompt more low-rankness. The tensor $\ell_{2,p}$ norm for HSI destriping is extended from the matrix $\ell_{2,p}$ norm. A proximal block coordinate descent algorithm is proposed in the NLTL2p approach to solve the resulting nonconvex nonsmooth minimization with orthogonal constraints. We show any accumulation point of the sequence generated by the proposed algorithm converges to a first-order stationary point, which is defined using three equalities of substationarity, symmetry, and feasibility for orthogonal constraints. In the numerical experiments, we compare the proposed method with state-of-the-art methods including a deep learning based method, and test the methods on both simulated and real HSI datasets. Our proposed NLTL2p method demonstrates outperformance in terms of metrics such as mean peak signal-to-noise ratio as well as visual quality. △ Less

Submitted 16 March, 2025; v1 submitted 3 July, 2024; originally announced July 2024.

MSC Class: 68U10; 90C26; 15A18; 65F22

Yang-Baxter equations and relative Rota-Baxter operators for left-Alia algebras associated to invariant theory

Authors: Kang Chuangchuang, Liu Guilai, Shizhuo Yu

Abstract: Left-Alia algebras are a class of algebras with symmetric Jacobi identities. They contain several typical types of algebras as subclasses, and are closely related to the invariant theory. In this paper, we study the construction theory of left-Alia bialgebras. We introduce the notion of the left-Alia Yang-Baxter equation. We show that an antisymmetric solution of the left-Alia Yang-Baxter equation… ▽ More Left-Alia algebras are a class of algebras with symmetric Jacobi identities. They contain several typical types of algebras as subclasses, and are closely related to the invariant theory. In this paper, we study the construction theory of left-Alia bialgebras. We introduce the notion of the left-Alia Yang-Baxter equation. We show that an antisymmetric solution of the left-Alia Yang-Baxter equation gives rise to a left-Alia bialgebra that we call triangular. The notions of relative Rota-Baxter operators of left-Alia algebras and pre-left-Alia algebras are introduced to provide antisymmetric solutions of the left-Alia Yang-Baxter equation. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Comments: arXiv admin note: text overlap with arXiv:2403.05339

MSC Class: 17A30; 17A36; 17B38; 17B60; 17B62; 16W22

$s$-almost $t$-intersecting families for vector spaces

Authors: Lijun Ji, Dehai Liu, Kaishun Wang, Tian Yao, Shuhui Yu

Abstract: Let $V$ be a finite dimensional vector space over a finite field, and $\mathcal{F}$ a family consisting of $k$-subspaces of $V$. The family $\mathcal{F}$ is called $t$-intersecting if $\dim(F_{1}\cap F_{2})\geq t$ for any $F_{1}, F_{2}\in \mathcal{F}$. We say $\mathcal{F}$ is $s$-almost $t$-intersecting if for each $F\in \mathcal{F}$ there are at most $s$ members $F^{\prime}$ of $\mathcal{F}$ such… ▽ More Let $V$ be a finite dimensional vector space over a finite field, and $\mathcal{F}$ a family consisting of $k$-subspaces of $V$. The family $\mathcal{F}$ is called $t$-intersecting if $\dim(F_{1}\cap F_{2})\geq t$ for any $F_{1}, F_{2}\in \mathcal{F}$. We say $\mathcal{F}$ is $s$-almost $t$-intersecting if for each $F\in \mathcal{F}$ there are at most $s$ members $F^{\prime}$ of $\mathcal{F}$ such that $\dim(F\cap F^{\prime})<t$. In this paper, we prove that $s$-almost $t$-intersecting families with maximum size are $t$-intersecting. We also consider $s$-almost $t$-intersecting families which are not $t$-intersecting, and characterize such families with maximum size for $(s,t)\neq(1,1)$. The result for $1$-almost $1$-intersecting families provided by Shan and Zhou is generalized. △ Less

Submitted 17 December, 2024; v1 submitted 9 June, 2024; originally announced June 2024.

MSC Class: 05D05; 05A30

Floorplanning with I/O assignment via feasibility-seeking and superiorization methods

Authors: Shan Yu, Yair Censor, Guojie Luo

Abstract: The feasibility-seeking approach offers a systematic framework for managing and resolving intricate constraints in continuous problems, making it a promising avenue to explore in the context of floorplanning problems with increasingly heterogeneous constraints. The classic legality constraints can be expressed as the union of convex sets. In implementation, we introduce a resetting strategy aimed… ▽ More The feasibility-seeking approach offers a systematic framework for managing and resolving intricate constraints in continuous problems, making it a promising avenue to explore in the context of floorplanning problems with increasingly heterogeneous constraints. The classic legality constraints can be expressed as the union of convex sets. In implementation, we introduce a resetting strategy aimed at effectively reducing the problem of algorithmic divergence in the projection-based method used for the feasibility-seeking formulation. Furthermore, we introduce the novel application of the superiorization method (SM) to floorplanning, which bridges the gap between feasibility-seeking and constrained optimization. The SM employs perturbations to steer the iterations of the feasibility-seeking algorithm towards feasible solutions with reduced (not necessarily minimal) total wirelength. To evaluate the performance of Per-RMAP, we conduct comprehensive experiments on the MCNC benchmarks and GSRC benchmarks. The results demonstrate that we can obtain legal floorplanning results 166 times faster than the branch-and-bound (B&B) method while incurring only a 5% wirelength increase compared to the optimal results. Furthermore, we evaluate the effectiveness of the algorithmic flow that considers the I/O assignment constraints, which achieves an 6% improvement in wirelength. Besides, considering the soft modules with a larger feasible solution space, we obtain 15% improved runtime compared with PeF, the state-of-the-art analytical method. Moreover, we compared our method with Parquet-4 and Fast-SA on GSRC benchmarks which include larger-scale instances. The results highlight the ability of our approach to maintain a balance between floorplanning quality and efficiency. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Journal ref: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2024)

On blow-up to the one-dimensional Navier-Stokes equations with degenerate viscosity and vacuum

Authors: Yue Cao, Yachun Li, Shaojun Yu

Abstract: In this paper, we consider the Cauchy problem of the isentropic compressible Navier-Stokes equations with degenerate viscosity and vacuum in $\mathbb{R}$, where the viscosity depends on the density in a super-linear power law(i.e., $μ(ρ)=ρ^δ, δ>1$). We first obtain the local existence of the regular solution, then show that the regular solution will blow-up in finite time if initial data has an is… ▽ More In this paper, we consider the Cauchy problem of the isentropic compressible Navier-Stokes equations with degenerate viscosity and vacuum in $\mathbb{R}$, where the viscosity depends on the density in a super-linear power law(i.e., $μ(ρ)=ρ^δ, δ>1$). We first obtain the local existence of the regular solution, then show that the regular solution will blow-up in finite time if initial data has an isolated mass group, no matter how small and smooth the initial data are. It is worth mentioning that based on the transport structure of some intrinsic variables, we obtain the $L^\infty$ bound of the density, which helps to remove the restriction $δ\leq γ$ in Li-Pan-Zhu[21] and Huang-Wang-Zhu[13]. △ Less

Submitted 16 March, 2024; v1 submitted 31 January, 2024; originally announced January 2024.

An Enhanced Modelling Approach for Warehouse Sharing Platform System Designing Problem

Authors: Zeren Xing, Yuehui Wu, Shuangyuan Yu

Abstract: With the increasing importance of sustainability, warehouse sharing arises as a possible way to improve the efficiency of the existing logistics system. This paper studied the warehouse sharing platform systems (WSPS) and investigated its supply chain network, including factories, warehouses, and customers. We proposed an enhanced modelling approach for the warehouse sharing platform system design… ▽ More With the increasing importance of sustainability, warehouse sharing arises as a possible way to improve the efficiency of the existing logistics system. This paper studied the warehouse sharing platform systems (WSPS) and investigated its supply chain network, including factories, warehouses, and customers. We proposed an enhanced modelling approach for the warehouse sharing platform system design problem (WSPSDP) using the multi-allocation hub location routing problem framework. New elements such as inter-warehouse transportation and multiple-allocation scheme were added compared to the existing WSPS model. Then an adaptive large neighbourhood decomposition search heuristic was applied to solve our problem. Computational experiments were conducted on different-sized instances for comparison with the WSPS model without inter-warehouse transportation and the WSPS model with single-allocation scheme. The results suggested that our proposed WSPSDP model is more cost-efficient than the existing WSPS models, and it has the potential to promote the utilisation of existing cheap idle warehouses. △ Less

Submitted 27 January, 2024; originally announced January 2024.

Multi-agent Modeling and Optimal Pumping Control of Magnetic Artificial Cilia

Authors: Shuangshuang Yu, Zheng Ning, Ge Chen

Abstract: Tiny cilia drive the flow of surrounding fluids through asymmetric jumping, which is one of the main ways for biological organisms to control fluid transport at the micro-scale. Due to its huge application prospects in medical and environmental treatment fields, artificial cilia have attracted widespread research interest in recent years. However, how to model and optimize artificial cilia is curr… ▽ More Tiny cilia drive the flow of surrounding fluids through asymmetric jumping, which is one of the main ways for biological organisms to control fluid transport at the micro-scale. Due to its huge application prospects in medical and environmental treatment fields, artificial cilia have attracted widespread research interest in recent years. However, how to model and optimize artificial cilia is currently a common challenge faced by scholars. We model a single artificial cilium driven by a magnetic field as a multi-agent system, where each agent is a magnetic bead, and the interactions between beads are influenced by the magnetic field. Our system is driven by controlling the magnetic field input to achieve fluid transport at low Reynolds number. In order to quantify the flow conveying capacity, we introduce the pumping performance and propose an optimal control problem for pumping performance, and then give its numerical solution. The calculation results indicate that our model and optimal control algorithm can significantly improve the pumping performance of a single cilia. △ Less

Submitted 3 January, 2024; originally announced January 2024.

Open WDVV Equations and Frobenius Structures for Toric Calabi-Yau 3-Folds

Authors: Song Yu, Zhengyu Zong

Abstract: Let $X$ be a toric Calabi-Yau 3-fold and let $L\subset X$ be an Aganagic-Vafa outer brane. We prove two versions of open WDVV equations for the open Gromov-Witten theory of $(X,L)$. The first version of the open WDVV equation leads to the construction of a semi-simple (formal) Frobenius manifold and the second version leads to the construction of a flat (formal) $F$-manifold. Let $X$ be a toric Calabi-Yau 3-fold and let $L\subset X$ be an Aganagic-Vafa outer brane. We prove two versions of open WDVV equations for the open Gromov-Witten theory of $(X,L)$. The first version of the open WDVV equation leads to the construction of a semi-simple (formal) Frobenius manifold and the second version leads to the construction of a flat (formal) $F$-manifold. △ Less

Submitted 22 April, 2025; v1 submitted 11 December, 2023; originally announced December 2023.

Comments: 26 pages

MSC Class: 14N35; 53D45

Journal ref: Forum of Mathematics, Sigma 13 (2025) e76

Contact action functional, calculus of variation and canonical generating function of Legendrian submanifolds

Authors: Yong-Geun Oh, Seungook Yu

Abstract: In the present paper, we formulate a contact analogue on the one-jet bundle $J^1B$ of Weinstein's observation which reads the classical action functional on the cotangent bundle is a generating function of any Hamiltonian isotope of the zero section. We do this by identifying the correct action functional which is defined on the space of Hamiltonian-translated (piecewise smooth) horizontal curves… ▽ More In the present paper, we formulate a contact analogue on the one-jet bundle $J^1B$ of Weinstein's observation which reads the classical action functional on the cotangent bundle is a generating function of any Hamiltonian isotope of the zero section. We do this by identifying the correct action functional which is defined on the space of Hamiltonian-translated (piecewise smooth) horizontal curves of the contact distribution, which we call the Carnot path space. Then we give a canonical construction of the Legendrian generating function which is the Legendrian counterpart of Laudenbach-Sikorav's canonical construction of the generating function of Hamiltonian isotope of the zero section on the cotangent bundle which utilizes a finite dimensional approximation of the action functional. Motivated by this construction, we develop a Floer theoretic construction of spectral invariants for the Legendrian submanifolds in the sequel [OY] which is the contact analog to the construction given in [Oh97, Oh99] for the Lagrangian submanifolds in the cotangent bundle. △ Less

Submitted 14 December, 2023; v1 submitted 30 November, 2023; originally announced November 2023.

Comments: 41 pages, comments welcome; v2) title changed, presentation improved, typos corrected

MSC Class: 53D42; 58J32

Towards the classification of finite-dimensional diagonally graded commutative algebras

Authors: Yunnan Li, Shi Yu

Abstract: Any finite-dimensional commutative (associative) graded algebra with all nonzero homogeneous subspaces one-dimensional is defined by a symmetric coefficient matrix. This algebraic structure gives a basic kind of $A$-graded algebras originally studied by Arnold. In this paper, we call them diagonally graded commutative algebras (DGCAs) and verify that the isomorphism classes of DGCAs of dimension… ▽ More Any finite-dimensional commutative (associative) graded algebra with all nonzero homogeneous subspaces one-dimensional is defined by a symmetric coefficient matrix. This algebraic structure gives a basic kind of $A$-graded algebras originally studied by Arnold. In this paper, we call them diagonally graded commutative algebras (DGCAs) and verify that the isomorphism classes of DGCAs of dimension $\leq 7$ over an arbitrary field are in bijection with the equivalence classes consisting of coefficient matrices with the same distribution of nonzero entries, while dramatically there may be infinitely many isomorphism classes of dimension $n$ corresponding to one equivalence class of coefficient matrices when $n\geq 8$. Furthermore, we adopt the Skjelbred-Sund method of central extensions to study the isomorphism classes of DGCAs, and associate any DGCA with a undirected simple graph to explicitly describe its corresponding second (graded) commutative cohomology group as an affine variety. △ Less

Submitted 14 May, 2024; v1 submitted 27 November, 2023; originally announced November 2023.

Comments: 19 pages

MSC Class: 13A02; 13E10; 14L30

Perfect codes in 2-valent Cayley digraphs on abelian groups

Authors: Shilong Yu, Yuefeng Yang, Yushuang Fan, Xuanlong Ma

Abstract: For a digraph $Γ$, a subset $C$ of $V(Γ)$ is a perfect code if $C$ is a dominating set such that every vertex of $Γ$ is dominated by exactly one vertex in $C$. In this paper, we classify strongly connected 2-valent Cayley digraphs on abelian groups admitting a perfect code, and determine completely all perfect codes of such digraphs. For a digraph $Γ$, a subset $C$ of $V(Γ)$ is a perfect code if $C$ is a dominating set such that every vertex of $Γ$ is dominated by exactly one vertex in $C$. In this paper, we classify strongly connected 2-valent Cayley digraphs on abelian groups admitting a perfect code, and determine completely all perfect codes of such digraphs. △ Less

Submitted 16 June, 2024; v1 submitted 29 October, 2023; originally announced October 2023.

Comments: arXiv admin note: text overlap with arXiv:2207.06743

Smoothed Gradient Clipping and Error Feedback for Decentralized Optimization under Symmetric Heavy-Tailed Noise

Authors: Shuhua Yu, Dusan Jakovetic, Soummya Kar

Abstract: Motivated by understanding and analysis of large-scale machine learning under heavy-tailed gradient noise, we study decentralized optimization with gradient clipping, i.e., in which certain clipping operators are applied to the gradients or gradient estimates computed from local nodes prior to further processing. While vanilla gradient clipping has proven effective in mitigating the impact of heav… ▽ More Motivated by understanding and analysis of large-scale machine learning under heavy-tailed gradient noise, we study decentralized optimization with gradient clipping, i.e., in which certain clipping operators are applied to the gradients or gradient estimates computed from local nodes prior to further processing. While vanilla gradient clipping has proven effective in mitigating the impact of heavy-tailed gradient noise in non-distributed setups, it incurs bias that causes convergence issues in heterogeneous distributed settings. To address the inherent bias introduced by gradient clipping, we develop a smoothed clipping operator, and propose a decentralized gradient method equipped with an error feedback mechanism, i.e., the clipping operator is applied on the difference between some local gradient estimator and local stochastic gradient. We consider strongly convex and smooth local functions under symmetric heavy-tailed gradient noise that may not have finite moments of order greater than one. We show that the proposed decentralized gradient clipping method achieves a mean-square error (MSE) convergence rate of $O(1/t^δ)$, $δ\in (0, 2/5)$, where the exponent $δ$ is independent of the existence of higher order gradient noise moments $α> 1$ and lower bounded by some constant dependent on condition number. To the best of our knowledge, this is the first MSE convergence result for decentralized gradient clipping under heavy-tailed noise without assuming bounded gradient. Numerical experiments validate our theoretical findings. △ Less

Submitted 10 November, 2024; v1 submitted 25 October, 2023; originally announced October 2023.

Comments: 24 pages, 5 figures. This version generalizes to decentralized networks

Optimal Local Measurements in Single-Parameter Quantum Metrology

Authors: Jia-Xuan Liu, Jing Yang, Hai-Long Shi, Sixia Yu

Abstract: Quantum measurement plays a crucial role in quantum metrology. Due to the limitations of experimental capabilities, collectively measuring multiple copies of probing systems can present significant challenges. Therefore, the concept of locality in quantum measurements must be considered. In this work, we investigate the possibility of achieving the Quantum Cramér-Rao Bound (QCRB) through local mea… ▽ More Quantum measurement plays a crucial role in quantum metrology. Due to the limitations of experimental capabilities, collectively measuring multiple copies of probing systems can present significant challenges. Therefore, the concept of locality in quantum measurements must be considered. In this work, we investigate the possibility of achieving the Quantum Cramér-Rao Bound (QCRB) through local measurements (LM). We first demonstrate that if there exists a LM to saturate the QCRB for qubit systems, then we can construct another rank-1 local projective measurement to saturate the QCRB. In this sense, rank-1 local projective measurements are sufficient to analyze the problem of saturating the QCRB. For pure qubits, we propose two necessary and sufficient methods to determine whether and how a given parameter estimation model can achieve QCRB through LM. The first method, dubbed iterative matrix partition method (IMP) and based on unitary transformations that render the diagonal entries of a tracless matrix vanish, elucidates the underlying mathematical structure of LM as well as the local measurements with classical communications (LMCC), generalizing the result by [Zhou et al Quantum Sci. Technol. 5, 025005 (2020)], which only holds for the later case. We clarify that the saturation of QCRB through LM for the GHZ-encoded states is actually due to the self-similar structure in this approach. The second method, dubbed hierarchy of orthogonality conditions (HOC) and based on the parametrization of rank-1 measurements for qubit systems, allows us to construct several examples of saturating QCRB, including the three-qubit W states and $N$-qubit W states ($N \geq 3$). Our findings offer insights into achieving optimal performance in quantum metrology when measurement resources are limited. △ Less

Submitted 20 February, 2025; v1 submitted 30 September, 2023; originally announced October 2023.

Comments: 10 pages, 1 figure. Close to the published version

Journal ref: Phys. Rev. A 111, 022436 (2025)

Unipotent Representations of Complex Groups and Extended Sommers Duality

Authors: Lucas Mason-Brown, Dmytro Matvieievskyi, Shilin Yu

Abstract: Let $G$ be a complex reductive algebraic group. In arXiv:2108.03453, we have defined a finite set of irreducible admissible representations of $G$ called `unipotent representations', generalizing the special unipotent representations of Arthur and Barbasch-Vogan. These representations are defined in terms of filtered quantizations of symplectic singularities and are expected to form the building b… ▽ More Let $G$ be a complex reductive algebraic group. In arXiv:2108.03453, we have defined a finite set of irreducible admissible representations of $G$ called `unipotent representations', generalizing the special unipotent representations of Arthur and Barbasch-Vogan. These representations are defined in terms of filtered quantizations of symplectic singularities and are expected to form the building blocks of the unitary dual of $G$. In this paper, we provide a description of these representations in terms of the Langlands dual group $G^{\vee}$. To this end, we construct a duality map $D$ from the set of pairs $(\mathbb{O}^{\vee},\bar{C})$ consisting of a nilpotent orbit $\mathbb{O}^{\vee} \subset \mathfrak{g}^{\vee}$ and a conjugacy class $\bar{C}$ in Lusztig's canonical quotient $\bar{A}(\mathbb{O}^{\vee})$ to the set of finite covers of nilpotent orbits in $\mathfrak{g}^*$. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: comments welcome!

MSC Class: 17B35; 17B08; 22E46

On Harish-Chandra modules over quantizations of nilpotent orbits

Authors: Ivan Losev, Shilin Yu

Abstract: Let $G$ be a semisimple algebraic group over the complex numbers and $K$ be a connected reductive group mapping to $G$ so that the Lie algebra of $K$ gets identified with a symmetric subalgebra of $\mathfrak{g}$. So we can talk about Harish-Chandra $(\mathfrak{g},K)$-modules, where $\mathfrak{g}$ is the Lie algebra of $G$. The goal of this paper is to give a geometric classification of irreducible… ▽ More Let $G$ be a semisimple algebraic group over the complex numbers and $K$ be a connected reductive group mapping to $G$ so that the Lie algebra of $K$ gets identified with a symmetric subalgebra of $\mathfrak{g}$. So we can talk about Harish-Chandra $(\mathfrak{g},K)$-modules, where $\mathfrak{g}$ is the Lie algebra of $G$. The goal of this paper is to give a geometric classification of irreducible Harish-Chandra modules with full support over the filtered quantizations of the algebras of the form $\mathbb{C}[\mathbb{O}]$, where $\mathbb{O}$ is a nilpotent orbit in $\mathfrak{g}$ with codimension of the boundary at least $4$. Namely, we embed the set of isomorphism classes of irreducible Harish-Chandra modules into the set of isomorphism classes of irreducible $K$-equivariant suitably twisted local systems on $\mathbb{O}\cap \mathfrak{k}^\perp$. We show that under certain conditions, for example when $K\subset G$ or when $\mathfrak{g}\cong \mathfrak{so}_n,\mathfrak{sp}_{2n}$, this embedding is in fact a bijection. On the other hand, for $\mathfrak{g}=\mathfrak{sl}_n$ and $K=\operatorname{Spin}_n$, the embedding is not bijective and we give a description of the image. Finally, we perform a partial classification for exceptional Lie algebras. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 80 pages

MSC Class: 17B10; 17B35

Traceability of Water Pollution: An Inversion Scheme Via Dynamic Complex Geometrical Optics Solutions

Authors: Lingyun Qiu, Zhongjing Wang, Hui Yu, Shenwen Yu

Abstract: We investigate the identification of the time-dependent source term in the diffusion equation using boundary measurements. This facilitates tracing back the origins of environmental pollutants. Employing the concept of dynamic complex geometrical optics (CGO) solutions, a variational formulation of the inverse source problem is analyzed, leading to a proof of uniqueness result. Our proposed two-st… ▽ More We investigate the identification of the time-dependent source term in the diffusion equation using boundary measurements. This facilitates tracing back the origins of environmental pollutants. Employing the concept of dynamic complex geometrical optics (CGO) solutions, a variational formulation of the inverse source problem is analyzed, leading to a proof of uniqueness result. Our proposed two-step reconstruction algorithm first determines the point source locations and subsequently reconstructs the Fourier components of the emission concentration functions. Numerical experiments on simulated data are conducted. The results demonstrate that the proposed two-step reconstruction algorithm can reliably reconstruct multiple point sources and accurately reconstruct the emission concentration functions. Additionally, by partitioning the algorithm into online and offline computations, and concentrating computational demand offline, real-time pollutant traceability becomes feasible. This method, applicable in various fields - especially those related to water pollution, can identify the source of a contaminant in the environment, thus serving as a valuable tool in environmental protection. △ Less

Submitted 17 November, 2023; v1 submitted 11 August, 2023; originally announced August 2023.

Manin triples associated to $n$-Lie bialgebras

Authors: Ying Chen, Chuangchuang Kang, Jiafeng Lü, Shizhuo Yu

Abstract: In this paper, we study the Manin triples associated to $n$-Lie bialgebras. We introduce the concept of operad matrices for $n$-Lie bialgebras. In particular, by studying a special case of operad matrices, it leads to the notion of local cocycle $n$-Lie bialgebras. Furthermore, we establish a one-to-one correspondence between the double of $n$-Lie bialgebras and Manin triples of $n$-Lie algebras. In this paper, we study the Manin triples associated to $n$-Lie bialgebras. We introduce the concept of operad matrices for $n$-Lie bialgebras. In particular, by studying a special case of operad matrices, it leads to the notion of local cocycle $n$-Lie bialgebras. Furthermore, we establish a one-to-one correspondence between the double of $n$-Lie bialgebras and Manin triples of $n$-Lie algebras. △ Less

Submitted 8 March, 2024; v1 submitted 14 July, 2023; originally announced July 2023.

MSC Class: 17B62; 17A42; 17B37; 17B60

Open/Closed BPS Correspondence and Integrality

Authors: Song Yu

Abstract: We prove the integrality and finiteness of open BPS invariants of toric Calabi-Yau 3-folds relative to Aganagic-Vafa outer branes, defined from open Gromov-Witten invariants by the Labastida-Mariño-Ooguri-Vafa formula. Specializing to disk invariants, we extend the open/closed correspondence of Gromov-Witten invariants to BPS invariants and prove the integrality of a class of genus-zero BPS invari… ▽ More We prove the integrality and finiteness of open BPS invariants of toric Calabi-Yau 3-folds relative to Aganagic-Vafa outer branes, defined from open Gromov-Witten invariants by the Labastida-Mariño-Ooguri-Vafa formula. Specializing to disk invariants, we extend the open/closed correspondence of Gromov-Witten invariants to BPS invariants and prove the integrality of a class of genus-zero BPS invariants of toric Calabi-Yau 4-folds, thereby providing additional examples for the conjecture of Klemm-Pandharipande. △ Less

Submitted 22 July, 2024; v1 submitted 25 July, 2023; originally announced July 2023.

Comments: 29 pages, 2 figures

MSC Class: 14N35

New constructions of cyclic subspace codes

Authors: Shuhui Yu, Lijun Ji

Abstract: A subspace of a finite field is called a Sidon space if the product of any two of its nonzero elements is unique up to a scalar multiplier from the base field. Sidon spaces, introduced by Roth et al. (IEEE Trans Inf Theory 64(6): 4412-4422, 2018), have a close connection with optimal full-length orbit codes. In this paper, we present two constructions of Sidon spaces. The union of Sidon spaces fro… ▽ More A subspace of a finite field is called a Sidon space if the product of any two of its nonzero elements is unique up to a scalar multiplier from the base field. Sidon spaces, introduced by Roth et al. (IEEE Trans Inf Theory 64(6): 4412-4422, 2018), have a close connection with optimal full-length orbit codes. In this paper, we present two constructions of Sidon spaces. The union of Sidon spaces from the first construction yields cyclic subspace codes in $\mathcal{G}_{q}(n,k)$ with minimum distance $2k-2$ and size $r(\lceil \frac{n}{2rk} \rceil -1)((q^{k}-1)^{r}(q^{n}-1)+\frac{(q^{k}-1)^{r-1}(q^{n}-1)}{q-1})$, where $k|n$, $r\geq 2$ and $n\geq (2r+1)k$, $\mathcal{G}_{q}(n,k)$ is the set of all $k$-dimensional subspaces of $\mathbb{F}_{q}^{n}$. The union of Sidon spaces from the second construction gives cyclic subspace codes in $\mathcal{G}_{q}(n,k)$ with minimum distance $2k-2$ and size $\lfloor \frac{(r-1)(q^{k}-2)(q^{k}-1)^{r-1}(q^{n}-1)}{2}\rfloor$ where $n= 2rk$ and $r\geq 2$. Our cyclic subspace codes have larger sizes than those in the literature, in particular, in the case of $n=4k$, the size of our resulting code is within a factor of $\frac{1}{2}+o_{k}(1)$ of the sphere-packing bound as $k$ goes to infinity. △ Less

Submitted 24 May, 2023; originally announced May 2023.

The Betti numbers of real toric varieties associated to Weyl chambers of types E7 and E8

Authors: Suyoung Choi, Younghan Yoon, Seonghyeon Yu

Abstract: We compute the rational Betti numbers of the real toric varieties associated to Weyl chambers of types $E_7$ and $E_8$, completing the computations for all types of root systems. We compute the rational Betti numbers of the real toric varieties associated to Weyl chambers of types $E_7$ and $E_8$, completing the computations for all types of root systems. △ Less

Submitted 15 April, 2023; originally announced April 2023.

Comments: 7 pages

MSC Class: 57S12; 14M25; 55U10; 57N65

Journal ref: Osaka J. Math. 61(3): 409-417 (July 2024)

Per-RMAP: Feasibility-Seeking and Superiorization Methods for Floorplanning with I/O Assignment

Authors: Shan Yu, Yair Censor, Ming Jiang, Guojie Luo

Abstract: The feasibility-seeking approach provides a systematic scheme to manage and solve complex constraints for continuous problems, and we explore it for the floorplanning problems with increasingly heterogeneous constraints. The classic legality constraints can be formulated as the union of convex sets. However, the convergence of conventional projection-based algorithms is not guaranteed as the const… ▽ More The feasibility-seeking approach provides a systematic scheme to manage and solve complex constraints for continuous problems, and we explore it for the floorplanning problems with increasingly heterogeneous constraints. The classic legality constraints can be formulated as the union of convex sets. However, the convergence of conventional projection-based algorithms is not guaranteed as the constrain sets are non-convex. In this work, we propose a resetting strategy to greatly eliminate the the divergence issue of the projection-based algorithm for the feasibility-seeking formulation. Furthermore, the superiorization methodology (SM), which lies between feasibility-seeking and constrained optimization, is firstly applied to floorplanning. The SM uses perturbations to steer the feasibility-seeking algorithm to a feasible solution with shorter total wirelength. The proposed flow is extendable to tackle various constraints and variants of floorplanning problems, e.g., floorplanning with I/O assignment problems. We have evaluated the proposed algorithm on the MCNC benchmarks. We can obtain legal floorplans only two times slower than the branch-and-bound method in its current prototype using MATLAB, with only 3% wirelength inferior to the optimal results. We evaluate the effectiveness of the flow by considering the constraints of I/O assignment, and our algorithm achieve 8% improvement on wirelength. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Comments: Accepted for presentation at the International Symposium of EDA (Electronics Design Automation) ISEDA-2023, Nanjing, China, May 8-11, 2023

Higher-order Organization in the Human Brain from Matrix-Based Rényi's Entropy

Authors: Qiang Li, Shujian Yu, Kristoffer H Madsen, Vince D Calhoun, Armin Iraji

Abstract: Pairwise metrics are often employed to estimate statistical dependencies between brain regions, however they do not capture higher-order information interactions. It is critical to explore higher-order interactions that go beyond paired brain areas in order to better understand information processing in the human brain. To address this problem, we applied multivariate mutual information, specifica… ▽ More Pairwise metrics are often employed to estimate statistical dependencies between brain regions, however they do not capture higher-order information interactions. It is critical to explore higher-order interactions that go beyond paired brain areas in order to better understand information processing in the human brain. To address this problem, we applied multivariate mutual information, specifically, Total Correlation and Dual Total Correlation to reveal higher-order information in the brain. In this paper, we estimate these metrics using matrix-based Rényi's entropy, which offers a direct and easily interpretable approach that is not limited by direct assumptions about probability distribution functions of multivariate time series. We applied these metrics to resting-state fMRI data in order to examine higher-order interactions in the brain. Our results showed that the higher-order information interactions captured increase gradually as the interaction order increases. Furthermore, we observed a gradual increase in the correlation between the Total Correlation and Dual Total Correlation as the interaction order increased. In addition, the significance of Dual Total Correlation values compared to Total Correlation values also indicate that the human brain exhibits synergy dominance during the resting state. △ Less

Submitted 25 April, 2023; v1 submitted 21 March, 2023; originally announced March 2023.

Comments: 5 pages, 3 figures; Accepted to Data Science and Learning Workshop: Unraveling the Brain. A satellite workshop of ICASSP 2023

Journal ref: 2023 IEEE International Conference on Acoustics, Speech, and Signal Processing Workshops (ICASSPW)

Quantization of the minimal nilpotent orbits and the quantum Hikita conjecture

Authors: Xiaojun Chen, Weiqiang He, Sirui Yu

Abstract: We show that the specialized quantum D-module of the equivariant quantum cohomology ring of the minimal resolution of an ADE singularity is isomorphic to the D-module of graded traces on the minimal nilpotent orbit in the Lie algebra of the same type. This generalizes a recent result of Shlykov [Hikita conjecture for the minimal nilpotent orbit, to appear in Proc. AMS, https://doi.org/10.1090/proc… ▽ More We show that the specialized quantum D-module of the equivariant quantum cohomology ring of the minimal resolution of an ADE singularity is isomorphic to the D-module of graded traces on the minimal nilpotent orbit in the Lie algebra of the same type. This generalizes a recent result of Shlykov [Hikita conjecture for the minimal nilpotent orbit, to appear in Proc. AMS, https://doi.org/10.1090/proc/15281] and hence verifies in this case the quantum version of Hikita's conjecture, proposed by Kamnitzer, McBreen and Proudfoot [The quantum Hikita conjecture, Advances in Mathematics 390 (2021) 107947]. We also show analogous isomorphisms for singularities of BCFG type. △ Less

Submitted 25 February, 2024; v1 submitted 26 February, 2023; originally announced February 2023.

Negative Moment Bounds for Sample Autocovariance Matrices of Stationary Processes Driven by Conditional Heteroscedastic Errors and Their Applications

Authors: Hsueh-Han Huang, Shu-Hui Yu, Ching-Kang Ing

Abstract: We establish a negative moment bound for the sample autocovariance matrix of a stationary process driven by conditional heteroscedastic errors. This moment bound enables us to asymptotically express the mean squared prediction error (MSPE) of the least squares predictor as the sum of three terms related to model complexity, model misspecification, and conditional heteroscedasticity. A direct appli… ▽ More We establish a negative moment bound for the sample autocovariance matrix of a stationary process driven by conditional heteroscedastic errors. This moment bound enables us to asymptotically express the mean squared prediction error (MSPE) of the least squares predictor as the sum of three terms related to model complexity, model misspecification, and conditional heteroscedasticity. A direct application of this expression is the development of a model selection criterion that can asymptotically identify the best (in the sense of MSPE) subset AR model in the presence of misspecification and conditional heteroscedasticity. Finally, numerical simulations are conducted to confirm our theoretical results. △ Less

Submitted 1 June, 2025; v1 submitted 18 January, 2023; originally announced January 2023.

Comments: This work is being withdrawn due to significant revisions

Legendrian contact instanton cohomology and its spectral invariants on the one-jet bundle

Authors: Yong-Geun Oh, Seungook Yu

Abstract: In the present paper, we develop the Floer-style elliptic Morse theory for the Hamiltonian-perturbed contact action functional attached to the Legendrian links. Motivated by the present authors' construction [OY2] of the a perturbed action functional defined on the Carnot path space introduced in [OY2] as the canonical generating function, we apply a Floer-type theory to the aforementioned functio… ▽ More In the present paper, we develop the Floer-style elliptic Morse theory for the Hamiltonian-perturbed contact action functional attached to the Legendrian links. Motivated by the present authors' construction [OY2] of the a perturbed action functional defined on the Carnot path space introduced in [OY2] as the canonical generating function, we apply a Floer-type theory to the aforementioned functional and associate the Legendrian contact instanton cohomology, denote by $HI^*(J^1B,H;R)$, to each Legendrian submanifold contact isotopic to the zero section of one-jet bundle. Then we give a Floer theoretic construction of Legendrian spectral invariants and establish their basic properties. This theory subsumes the Lagrangian intersection theory and spectral invariants on the cotangent bundle previously developed by the first-named author in [Oh1,Oh2]. The main ingredient for the study is the interplay between the geometric analysis of the Hamiltonian-perturbed contact instantons and the calculus of contact Hamiltonian geometry. △ Less

Submitted 14 December, 2023; v1 submitted 17 January, 2023; originally announced January 2023.

Comments: 49 pages, comments welcome; v2) 55 pages, presentation improved, minor typos corrected, references updated

MSC Class: 53D42; 58J32

Contact instantons with Legendrian boundary condition: a priori estimates, asymptotic convergence and index formula

Authors: Yong-Geun Oh, Seungook Yu

Abstract: In Part I, we establish nonlinear ellipticity of the equation of contact instantons with Legendrian boundary condition on punctured Riemann surfaces by proving the a priori elliptic coercive estimates for the contact instantons with Legendrian boundary condition, and prove an asymptotic exponential $C^\infty$-convergence result at a puncture under the uniform $C^1$ bound. We prove that the asympto… ▽ More In Part I, we establish nonlinear ellipticity of the equation of contact instantons with Legendrian boundary condition on punctured Riemann surfaces by proving the a priori elliptic coercive estimates for the contact instantons with Legendrian boundary condition, and prove an asymptotic exponential $C^\infty$-convergence result at a puncture under the uniform $C^1$ bound. We prove that the asymptotic charge of contact instantons at the punctures under the Legendrian boundary condition vanishes. This eliminates the phenomenon of the appearance of spiraling cusp instanton along a Reeb core, which removes the only remaining obstacle towards the compactification and the Fredholm theory of the moduli space of contact instantons in the open string case, which plagues the closed string case. In Part II, we derive an index formula which computes the virtual dimension of the moduli space. These results are the analytic basis for the sequels [Oh21a]-[Oh22b] and [OYb] containing applications to contact topology and contact Hamiltonian dynamics. △ Less

Submitted 15 January, 2023; originally announced January 2023.

Comments: 44 pages, Part I extracted from the first-named author's earlier posting arXiv:2103.15390 with corrections of minor mistakes, more details in alternating boot-strap and improved presentation

MSC Class: 53D42; 58J32

A Selberg Trace Formula for $\text{GL}_{3}(\mathbb{F}_p)\backslash \text{GL}_{3}(\mathbb{F}_q)/K$

Authors: Daksh Aggarwal, Asghar Ghorbanpour, Masoud Khalkhali, Jiyuan Lu, Balázs Németh, C Shijia Yu

Abstract: In this paper, we prove a discrete analog of the Selberg Trace Formula for the group $\text{GL}_{3}(\mathbb{F}_q).$ By considering a cubic extension of the finite field $\mathbb{F}_q$, we define an analog of the upper half space and an action of $\text{GL}_{3}(\mathbb{F}_q)$ on it. To compute the orbital sums we explicitly identify the double coset spaces and fundamental domains in our upper half… ▽ More In this paper, we prove a discrete analog of the Selberg Trace Formula for the group $\text{GL}_{3}(\mathbb{F}_q).$ By considering a cubic extension of the finite field $\mathbb{F}_q$, we define an analog of the upper half space and an action of $\text{GL}_{3}(\mathbb{F}_q)$ on it. To compute the orbital sums we explicitly identify the double coset spaces and fundamental domains in our upper half space. To understand the spectral side of the trace formula we decompose the induced representation $ρ= \text{Ind}_Γ^{G} 1$ for $G= \text{GL}_{3}(\mathbb{F}_q) $ and $ Γ= \text{GL}_{3}(\mathbb{F}_p).$ △ Less

Submitted 5 January, 2023; v1 submitted 4 January, 2023; originally announced January 2023.

Comments: 29 pages. Comments are welcome. Same as the first version. In the new version the title and abstract displays better in the arXiv

MSC Class: 11F72

Second moment of the light-cone Siegel transform and applications

Authors: Dubi Kelmer, Shucheng Yu

Abstract: We study the light-cone Siegel transform, transforming functions on the light cone of a rational indefinite quadratic form $Q$ to a function on the homogenous space $\text{SO}^+_Q(\mathbb{Z})\backslash \text{SO}^+_Q(\mathbb{R})$. In particular, we prove a second moment formula for this transform for forms of signature $(n+1,1)$, and show how it can be used for various applications for counting int… ▽ More We study the light-cone Siegel transform, transforming functions on the light cone of a rational indefinite quadratic form $Q$ to a function on the homogenous space $\text{SO}^+_Q(\mathbb{Z})\backslash \text{SO}^+_Q(\mathbb{R})$. In particular, we prove a second moment formula for this transform for forms of signature $(n+1,1)$, and show how it can be used for various applications for counting integer points on the light cone. In particular, we prove some new results on intrinsic Diophantine approximations on ellipsoids as well as on the distribution of values of random linear and quadratic forms on the light cone. △ Less

Submitted 8 August, 2023; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: 50 pages