arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Senping Luo

31 papers · 2016–2026

2016: 72017: 12018: 02019: 12020: 12021: 32022: 22023: 22024: 22025: 32026: 9
2016peak 9 in 20262026

Frequent co-authors

Papers

showing 1–25 of 31 RSS

The existence, uniqueness and nonexistence of the ground state to the <i>N</i> -coupled Schrödinger systems in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mstyle> <mml:msup> <mml:mrow> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> </mml:mrow> <mml:mi>n</mml:mi> </mml:msup> <mml:mo>(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>⩽</mml:mo> <mml:mn>4</mml:mn> <mml:mo>)</mml:mo> </mml:mstyle> </mml:math> *

Yuxia Guo, Senping Luo, Wenming Zou

Mathematical Physics · Nonlinearity · · cited 12× · DOI ↗ · more like this ·

Abstract Consider the following Schrödinger system: where either <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <mml:mstyle displaystyle="false"> <mml:mo mathvariant="normal">Ω</mml:mo> <mml:mo>=</mml:mo> <mml:msup> <mml:mrow> <mml:mi mathvariant="double-struck">R</mml:mi> </mml:mrow> <mml:mi>n</mml:mi> </mml:msup> <mml:mo stretchy="false">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>=</mml:mo> <mml:mn>2</mml:mn> <mml:mo>,</mml:mo> <mml:mn>3</mml:mn> <mml:mo>,</mml:mo> <mml:mn>4</mml:mn> <mml:mo stretchy="false">)</mml:mo> </mml:mstyle> </mml:math> or <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" overflow="scroll"> <mml:mstyle displaystyle="false"> <mml:mo mathvariant="normal">Ω</mml:mo> <mml:mo>⊂</mml:mo> <mml:msup> <mml:mrow> <mml:mi mathvariant="double-struck">R</mml:mi> </mml:mrow> <mml:mn>4</mml:mn> </mml:msup> </mml:mstyle> </mml:math> is a smooth…

On a transcendental equation involving quotients of Gamma functions

Senping Luo, Juncheng Wei, Wenming Zou

Applied Mathematics · Proceedings of the American Mathematical Society · · cited 10× · DOI ↗ · more like this ·

This note is aimed at giving a complete characterization of the following equation in $p$: \[ \displaystyle p\frac {\Gamma (\frac {n}{2}-\frac {s}{p-1})\Gamma (s+\frac {s}{p-1})}{\Gamma (\frac {s}{p-1})\Gamma (\frac {n-2s}{2}-\frac {s}{p-1})} =\Big (\frac {\Gamma (\frac {n+2s}{4})}{\Gamma (\frac {n-2s}{4})}\Big )^2.\] The method is based on some key transformations and the properties of the Gamma function. Applications to fractional nonlinear Lane-Emden equations will be given.

Monotonicity Formula and Classification of Stable Solutions to Polyharmonic Lane–Emden Equations

Senping Luo, Juncheng Wei, Wenming Zou

Applied Mathematics · International Mathematics Research Notices · · cited 8× · DOI ↗ · more like this ·

Abstract In this paper, we consider polyharmonic Lane–Emden equations $$ \begin{equation*} (-\Delta )^m u=|u|^{p-1}u, \ \ \ \mbox{in} \ \ \ {\mathbb R}^n, \end{equation*}$$where $m\geq 3$. We classify the stable or stable outside a compact set solutions when $m=3$ or $4$ for any dimensions and when $m\geq 5$ for large dimensions. In the process, we exhibit the general Joseph–Lundgren exponent (including both local and nonlocal cases) in a concise form and prove related properties. The key ingredient of the proof of the classification is a monotonicity formula for general polyharmonic equations, which may have application in regularity theory for higher-order elliptic equations.

On the triharmonic Lane-Emden equation

Senping Luo, Juncheng Wei, Wenming Zou

math.AP · · cited 8× · arXiv ↗ · more like this ·

We derive a monotonicity formula and classify finite Morse index solutions (positive or sign-changing, radial or not) to the following triharmonic Lane-Emden equation: \begin{equation}\nonumber (-Δ)^3 u=|u|^{p-1}u \hbox{ in } \mathbb{R}^n, \end{equation} where $p$ is below the Joseph-Lundgren exponent. As a byproduct we also obtain a new monotonicity formula for the triharmonic maps.

Liouville theorems for integral systems related to fractional Lane-Emden systems in $\mathbb{R}^N_+$

Senping Luo, Wenming Zou

Applied Mathematics · Differential and Integral Equations · · cited 7× · DOI ↗ · more like this ·

In this paper, we consider some integral systems in the half space $\mathbb R^N_+$ and obtain Liouville type theorems about the positive solutions. By moving plane method in terms of the integral form, we shall see that the positive solution $(u(x_1,...,x_N), v(x_1,...,x_N))$ of the integral systems must be independent of the first $(N-1)$-variables, i.e., $u=u(x_N),v=v(x_N)$. Then, combine with the order estimates about $x_N$, we reduce the problem to a sequence of algebraic systems. Furthermore, we discuss the relationship between the integral system and the fractional differential system related to the fractional Lane-Emden equations. By this way, we obtain two non-existence theorems for the fractional differential system.

On minima of sum of theta functions and Mueller-Ho Conjecture

Senping Luo, Juncheng Wei

math.AP · · cited 5× · arXiv ↗ · more like this ·

Let $z=x+iy \in \mathbb{H}:=\{z= x+ i y\in\mathbb{C}: y>0\}$ and $ θ(s;z)=\sum_{(m,n)\in\mathbb{Z}^2 } e^{-s \frac{π}{y }|mz+n|^2}$ be the theta function associated with the lattice $Λ={\mathbb Z}\oplus z{\mathbb Z}$. In this paper we consider the following pair of minimization problems $$ \min_{ \mathbb{H} } θ(2;\frac{z+1}{2})+ρθ(1;z),\;\;ρ\in[0,\infty),$$ $$ \min_{ \mathbb{H} } θ(1; \frac{z+1}{2})+ρθ(2; z),\;\;ρ\in[0,\infty),$$ where the parameter $ρ\in[0,\infty)$ represents the competition of two intertwining lattices. We find that as $ρ$ varies the optimal lattices admit a novel pattern: they move from rectangular (the ratio of long and short side changes from $\sqrt3$ to 1), square, rhombus (the angle changes from $π/2$ to $π/3$) to hexagonal; furthermore, there exists a closed interval of $ρ$ such that the optimal lattices is always square lattice. This is in sharp contrast to…

On lattice hexagonal crystallization for non-monotone potentials

Senping Luo, Juncheng Wei

math.AP · · cited 4× · arXiv ↗ · more like this ·

Let $L =\sqrt{\frac{1}{\Im(z)}}\Big({\mathbb Z}\oplus z{\mathbb Z}\Big)$ where $z \in \mathbb{H}=\{z= x+ i y\;\hbox{or}\;(x,y)\in\mathbb{C}: y>0\}$ be the two dimensional lattices with unit density. Assuming that $α\geq1$, we prove that \begin{equation}\aligned\nonumber \min_{L}\sum_{\mathbb{P}\in L, |L|=1}|\mathbb{P}|^2 e^{- πα|\mathbb{P}|^2} \endaligned\end{equation} is achieved at hexagonal lattice. More generally we prove that for $α\geq 1$ \begin{equation}\aligned\nonumber \min_{L}\sum_{\mathbb{P}\in L, |L|=1}(|\mathbb{P}|^2-\frac{b}α) e^{- πα|\mathbb{P}|^2} \endaligned\end{equation} is achieved at hexagonal lattice for $b\leq\frac{1}{2π}$ and does not exist for $b>\frac{1}{2π}$. As a consequence, we provide two classes of non-monotone potentials which lead to hexagonal crystallization among lattices. Our results partially answer some questions raised in \cite{Oreport, Bet2016…

Decomposition of polyharmonic operator and classification of homogeneous stable solutions

Senping Luo, Juncheng Wei, Wenming Zou

Mathematical Physics · Proceedings of the American Mathematical Society · · cited 4× · DOI ↗ · more like this ·

In this paper, we provide a unified framework to classify homogeneous stable solutions of arbitrary order polyharmonic Lane-Emden equations. The key idea is the spherical decomposition of polyharmonic operator into differential operators.

On finite Morse index solutions to the quadharmonic Lane-Emden equation

Senping Luo, Juncheng Wei, Wenming Zou

math.AP · · cited 3× · arXiv ↗ · more like this ·

In this paper, we compute the Joseph-Lundgren exponent for the quadharmonic Lane-Emden equation, derive a monotonicity formula and classify the finite Morse index solution to the following quadharmonic Lane-Emden equation: \noindent \begin{equation}\nonumber Δ^4 u=|u|^{p-1}u\;\;\;\;\hbox{in}\;\;\;\;\; \R^n. \end{equation} As a byproduct, we also get a monotonicity formula for the quadharmonic maps $ Δ^4 u=0$.

Existence, nonexistence, symmetry and uniqueness of ground state for critical Schrödinger system involving Hardy term

Senping Luo, Wenming Zou

math.AP · · cited 3× · arXiv ↗ · more like this ·

We study the following elliptic system with critical exponent: \begin{displaymath} \begin{cases}-Δu_j-\frac{λ_j}{|x|^2}u_j=u_j^{2^*-1}+\sum\limits_{k\neq j}β_{jk}α_{jk}u_j^{α_{jk}-1}u_k^{α_{kj}},\;\;x\in\R^N, u_j\in D^{1,2}(\R^N),\quad u_j>0 \;\; \hbox{in} \quad \R^N\setminus \{0\},\quad j=1,...,r.\end{cases}\end{displaymath} Here $N\geq 3, r\geq2, 2^*=\frac{2N}{N-2}, λ_j\in (0, \frac{(N-2)^2}{4})$ for all $ j=1,...,r $; $β_{jk}=β_{kj}$; \; $α_{jk}>1, α_{kj}>1,$ satisfying $α_{jk}+α_{kj}=2^* $ for all $k\neq j$. Note that the nonlinearities $u_j^{2^*-1}$ and the coupling terms all are critical in arbitrary dimension $N\geq3 $. The signs of the coupling constants $\bb_{ij}$'s are decisive for the existence of the ground state solutions. We show that the critical system with $r\geq 3$ has a positive least energy solution for all $β_{jk}>0$. However, there is no ground state solutions if…

On minima of differences of Epstein zeta functions and exact solutions to Lennard–Jones lattice energy

Senping Luo, Juncheng Wei

Algebra and Number Theory · Journal of the European Mathematical Society · · cited 2× · DOI ↗ · more like this ·

Assume that s_{1}\in[5,7] and s_{2}, s\in[2,4] . Let \zeta and \theta be the Epstein zeta and theta functions, respectively, associated with a two-dimensional lattice, and let z be a general parameter associated with a 2d lattice. We completely classify the minimizers of \zeta(s_{1},z)-b\zeta(s_{2},z)-a\zeta(s,z) and \zeta(s_{1},z)-b\zeta(s_{2},z)-a\theta(1,z) for a,b\geq0 . A global picture of the geometric and algebraic aspects of energy minimization problems is presented, highlighting a distinct pattern that contrasts with the celebrated theorem by Montgomery (1988). As a consequence, we give a complete classification of the lattice minimization problem with the widely used Lennard–Jones potential ({\sigma}/{r})^{12}- ({\sigma}/{r})^{6} . Our results settle down several open problems/conjectures proposed in multiple directions. We completely resolve the conjecture by Bétermin (2018)…

On sharp stability of the BCC quantizer

Senping Luo, Bingbing Xie

math.AP · · cited 1× · arXiv ↗ · more like this ·

We prove sharp nonlinear stability estimates for the squared-distance quantization energy of the body-centered cubic lattice. The reference Hessian has optimal coercivity constant \(1/96\) relative to nearest-neighbor displacement differences, uniformly over all finite-index periods. We classify all equality modes and prove cubic cancellation on their span. This yields nonlinear stability in a neighborhood independent of the period, including volume-preserving strain. The loss in the sharp energy coefficient is at most quadratic for each fixed period and exactly linear when all periods are allowed. We also determine the transition between these regimes. Finally, we prove global optimality and uniqueness of BCC, up to rigid motions, among two-site configurations with rectangular period cells of fixed volume.

On minima of theta and Epstein zeta functions in dimension four

Senping Luo, Juncheng Wei

math.NT · · cited 1× · arXiv ↗ · more like this ·

Let the theta and Epstein zeta functions be $Θ(α,L)=\sum_{v\in L}e^{-πα|v|^2}$ for $α>0$ and $E(L,s)=\sum_{v\in L\setminus\{0\}}{|v|^{-2s}}$ for $s>2$, respectively. We consider full-rank lattices $L\subset\mathbb R^4$. Let the covolume of $L$ be one, and let $\mathcal D_4=2^{-1/4}D_4$ be the root lattice $D_4$ rescaled to covolume one. We prove that, up to orthogonal transformations, \begin{equation}\nonumber arg\,min_{covol(L)=1}Θ(α,L)=\mathcal D_4 \qquad\text{if}\quad α>0, \end{equation} and this implies that \begin{equation}\nonumber arg\,min_{covol(L)=1}E(L,s)=\mathcal D_4 \qquad\text{if}\quad s>2. \end{equation} This proves that the root lattice minimizes the theta and Epstein zeta functions among all lattices in dimension four, as conjectured by Sarnak-Strömbergsson (\cite{SS}, 2006), who established the local minimality of $\mathcal D_4$. Thereby, this resolves the…

On Minima of Difference of Epstein Zeta Functions and Exact Solutions to Lennard-Jones Lattice Energy

Senping Luo, Juncheng Wei

math.AP · · cited 1× · arXiv ↗ · more like this ·

Let $ζ(s,z)=\sum_{(m,n)\in\mathbb{Z}^2\backslash\{0\}}\frac{(\Im(z))^s}{|mz+n|^{2s}}$ be the Eisenstein series/Epstein Zeta function. Motivated by widely used Lennard-Jones potential \begin{equation}\aligned\nonumber \mathcal{V}(|\cdot|^2):=4\varepsilon\Big( (\fracσ{|\cdot|})^{12}-(\fracσ{|\cdot|})^{6} \Big), \endaligned\end{equation} in physics, in this paper, we consider the following lattice minimization problem \begin{equation}\aligned\nonumber \min_{z\in\mathbb{H}}\Big(ζ(6,z)-bζ(3,z)\Big), \;\;b=\frac{1}{σ^6} \endaligned\end{equation} and completely classify the minimizers for all $b\in \R$. Our results resolve an open problem in Blanc-Lewin \cite{Bla2015}, and a conjecture by Bétermin \cite{Bet2018}. Furthermore, our method of proofs works for general minimization problem \begin{equation}\aligned\nonumber \min_{z\in\mathbb{H}}\Big(ζ(s_1,z)-bζ(s_2,z)\Big), \;\;s_1>s_2>1…

On universally optimal lattice phase transitions and energy minimizers of completely monotone potentials

Senping Luo, Juncheng Wei, Wenming Zou

math.CA · · cited 1× · arXiv ↗ · more like this ·

We consider the minimizing problem for energy functionals with two types of competing particles and completely monotone potential on a lattice. We prove that the minima of sum of two completely monotone functions among lattices is located exactly on a special curve which is part of the boundary of the fundamental region. We also establish a universal result for square lattice being the optimal in certain interval, which is surprising. Our result establishes the hexagonal-rhombic-square-rectangular transition lattice shapes in many physical and biological system (such as Bose-Einstein condensates and two-component Ginzburg-Landau systems). It turns out, our results also apply to locating the minimizers of sum of two Eisenstein series, which is new in number theory.

On the equation $p \frac{Γ(\frac{n}{2}-\frac{s}{p-1})Γ(s+\frac{s}{p-1})}{Γ(\frac{s}{p-1})Γ(\frac{n-2s}{2}-\frac{s}{p-1})} =\frac{Γ(\frac{n+2s}{4})^2}{Γ(\frac{n-2s}{4})^2}$

Senping Luo, Juncheng Wei, Wenming Zou

math.AP · · cited 1× · arXiv ↗ · more like this ·

The note is aimed at giving a complete characterization of the following equation: $$\displaystyle p\frac{Γ(\frac{n}{2}-\frac{s}{p-1})Γ(s+\frac{s}{p-1})}{Γ(\frac{s}{p-1})Γ(\frac{n-2s}{2}-\frac{s}{p-1})} =\frac{Γ(\frac{n+2s}{4})^2}{Γ(\frac{n-2s}{4})^2}.$$ The method is based on some key transformation and the properties of the Gamma function. Applications to fractional nonlinear Lane-Emden equations will be given.

The role of density in phase transitions and new perspectives on theta functions

Kaixin Deng, Senping Luo

math.AP · · cited 0× · arXiv ↗ · more like this ·

Let $z\in \mathbb{H}:=\{z\in\mathbb{C}:\Im(z)>0\}$ and $Λ:=\frac{1}{\sqrt{\Im(z)}}\big({\mathbb Z}\oplus z{\mathbb Z}\big)$, and set $ θ(α;z):=θ(α;Λ)=\sum_{(m,n)\in\mathbb{Z}^2}e^{-πα\frac{|m+nz|^2}{\Im(z)}}. $ We study the minimization of the functional $θ(α;z)-bθ(2α;z)$ and establish a complete phase diagram for all $α>0$ and $b\in(0,\sqrt{2})$. For $0<b<\sqrt{2}$, an explicit threshold $b_1=0.0767767081\cdots\in(0,1/10)$ separates two distinct types of phase transitions. Type I: $0<b<b_1$: it admits a type of ``hexagonal--rhombic--square--rectangular'' phase transition. Type II: $b_1\le b<\sqrt{2}$: it admits a type of ``hexagonal--square--rectangular'' phase transition, without passing through the rhombic lattices. These phase transitions contrast with Montgomery's theorem \cite{Mon1988}, where the hexagonal lattice minimizes the single theta function at all scales, and the recent…

On exact solutions to three-dimensional Yukawa lattice model and BCC to FCC phase transitions

Senping Luo, Juncheng Wei

math.AP · · cited 0× · arXiv ↗ · more like this ·

We determine the global minimizers of the three-dimensional Yukawa lattice energy at every fixed density. At unit covolume, BCC is the unique minimizer below a transition parameter $κ_*\approx1.7179218684699$, FCC is the unique minimizer above it, and exactly these two lattice classes minimize at the transition. Mathematically, denote the Yukawa potential and the energy per particle under this potential by \[ v_κ(r)=\frac{e^{-κr}}r,\qquad E_κ(L)=\frac12\sum_{v\in L\setminus\{0\}} \frac{e^{-κ|v|}}{|v|}. \] Then, \[ \arg\min_{|L|=1}E_κ(L)= \begin{cases} \hbox{BCC lattice},&0<κ<κ_*, \hbox{BCC or FCC lattice},&κ=κ_*, \hbox{FCC lattice},&κ>κ_*. \end{cases} \] As a consequence, the zero-screening comparison recovers the unique BCC minimum for the renormalized Coulomb energy.

A Complete Proof of Mueller--Ho Conjecture

Senping Luo, Juncheng Wei

math.AP · · cited 0× · arXiv ↗ · more like this ·

For $s>0$, and $z\in\mathbb H=\{z=x+iy:y>0\}$, define $θ(s;z)=\sum_{m,n\in\mathbb Z}e^{-πs\big(m^2y+\frac{(mx-n)^2}{y}\big)}$ and $ J(z;a,b)=\sum_{m,n\in\mathbb Z}e^{-π\big(m^2y+\frac{(mx-n)^2}{y}\big)} \cos\bigl(2π(ma+nb)\bigr)$ for the classical and shifted theta functions (Gaussian lattice sums), respectively. We prove that, up to the modular group, there exist three thresholds $0<α_a<α_b<α_c<1$ such that \begin{equation}\aligned\nonumber \Minima_{z\in\mathbb H,\,(a,b)\in\mathbb R^2}\Big(θ(1;z)+αJ(z;a,b)\Big)= \begin{cases} \;\big(e^{iπ/{3}};1/3,1/3\big), &\hbox{if}\;\; α\in[0,α_a),\\ \;\big(e^{iπ/{3}};1/3,1/3\big)\;\hbox{or}\;\big(e^{i{φ_{α_a}}};1/2,1/2\big), &\hbox{if}\;\; α=α_a,\\ \;\big(e^{i{φ_α}};1/2,1/2\big),\;φ_α\in(φ_{α_a},\fracπ{2}),\;\; &\hbox{if}\;\; α\in(α_a,α_b),\\ \;\big(i;1/2,1/2\big),\; &\hbox{if}\;\; α\in[α_b,α_c],\\ \;\big(iy_α;1/2,1/2\big),\…

On Sarnak--Strömbergsson conjecture

Senping Luo, Juncheng Wei

math.NT · · cited 0× · arXiv ↗ · more like this ·

Let $\Th(α,L)=\sum_{v\in L}e^{-πα|v|^2}$ for $α>0$ and $E(L,s)=\sum_{v\in L\setminus\{0\}}|v|^{-2s}$ for $s>3/2$ be the theta and Epstein zeta functions associated to the lattice $L$, respectively. We are particularly interested in physically relevant dimension three. Fix the covolume of the lattice $L$ to $1$. Up to an orthogonal transformation, we prove that \begin{equation}\nonumber \argmin_{|L|=1}\Th(α,L)= \begin{cases} \boldsymbol{\mathrm{FCC}}\;\;\mathrm{lattice},\;\;\;\;\;\;\;\;\; \;\;\;\;\;\;&\text{if}\;\; α>1, \boldsymbol{\mathrm{BCC}}\;\;\mathrm{lattice}, \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;&\text{if}\;\; α<1, \boldsymbol{\mathrm{FCC}}\;\;\mathrm{or}\;\; \boldsymbol{\mathrm{BCC}}\;\;\mathrm{lattice},\;\;&\text{if}\;\;α=1, \end{cases} \end{equation} and \begin{equation}\nonumber \argmin_{|L|=1}E(L,s)= \boldsymbol{\mathrm{FCC}}\;\;\mathrm{lattice},\;\;\;\;\;\;\;\;\…

On non-Gaussian potentials having triangular lattice as minimizer at any fixed density

Senping Luo, Juncheng Wei

Numerical Analysis · Journal of Mathematical Physics · · cited 0× · DOI ↗ · more like this ·

A fundamental problem in the crystallization conjecture and lattice energy is whether the triangular lattice can be a minimizer of lattice energy at any fixed density for non-Gaussian potentials. By numerical computations, Bétermin-Petrache observed that there exists a positive, decreasing, and convex function such that the answer is positive. In this paper, we rigorously confirm this observation and provide a mathematical justification by constructing two global minimality results on classical theta functions and their derivatives. Furthermore we provide a broad class of functions with this property.

A note on mean field type equations

K. Deng, Senping Luo

Applied Mathematics · Demonstratio Mathematica · · cited 0× · DOI ↗ · more like this ·

Abstract In this article, we provide a note on rigidity results for mean field-type equations with multiple exponential terms, including sinh-Gordon and Tzitzeica equations, on closed two-dimensional manifolds with positive Ricci curvature bounds. It is based on two nonlinear transformations and a geometric identity developed by Dolbeault et al.

On minima of difference of theta functions and application to hexagonal crystallization

Senping Luo, Juncheng Wei

math.CA · · cited 0× · arXiv ↗ · more like this ·

Let $z=x+iy \in \mathbb{H}:=\{z= x+ i y\in\mathbb{C}: y>0\}$ and $ θ(α;z)=\sum_{(m,n)\in\mathbb{Z}^2 } e^{-α\frac{π}{y }|mz+n|^2}$ be the theta function associated with the lattice $L ={\mathbb Z}\oplus z{\mathbb Z}$. In this paper we consider the following minimization problem of difference of two theta functions \begin{equation}\aligned\nonumber \min_{ \mathbb{H} } \Big(θ(α; z)-βθ(2α; z)\Big) \endaligned\end{equation} where $α\geq 1$ and $ β\in (-\infty, +\infty)$. We prove that there is a critical value $β_c=\sqrt2$ (independent of $α$) such that if $β\leqβ_c$, the minimizer is $\frac{1}{2}+i\frac{\sqrt3}{2}$ (up to translation and rotation) which corresponds to the hexagonal lattice, and if $β>β_c$, the minimizer does not exist. Our result partially answers some questions raised in \cite{Bet2016, Bet2018, Bet2020, Bet2019AMP} and gives a new proof in the crystallization of hexagonal…