-
Balanced clique subdivisions and cycles lengths in $K_{s, t}$-free graphs
Authors:
Jianfeng Hou,
Yindong **,
Donglei Yang,
Fan Yang
Abstract:
Let $ t\ge s\ge2$ be integers. Confirming a conjecture of Mader, Liu and Montgomery [J. Lond. Math. Soc., 2017] showed that every $K_{s, t}$-free graph with average degree $d$ contains a subdivision of a clique with at least $Ω(d^{\frac{s}{2(s-1)}})$ vertices. We give an improvement by showing that such a graph contains a balanced subdivision of a clique with the same order, where a balanced subdi…
▽ More
Let $ t\ge s\ge2$ be integers. Confirming a conjecture of Mader, Liu and Montgomery [J. Lond. Math. Soc., 2017] showed that every $K_{s, t}$-free graph with average degree $d$ contains a subdivision of a clique with at least $Ω(d^{\frac{s}{2(s-1)}})$ vertices. We give an improvement by showing that such a graph contains a balanced subdivision of a clique with the same order, where a balanced subdivision is a subdivision in which each edge is subdivided the same number of times.
In 1975, Erdős asked whether the sum of the reciprocals of the cycle lengths in a graph with infinite average degree $d$ is necessarily infinite. Recently, Liu and Montgomery [J. Amer. Math. Soc., 2023] confirmed the asymptotically correct lower bound on the reciprocals of the cycle lengths, and provided a lower bound of at least $(\frac{1}{2} -o_d(1)) \log d$. In this paper, we improve this low bound to $\left(\frac{s}{2(s-1)} -o_d(1)\right) \log d$ for $K_{s, t}$-free graphs.
Both proofs of our results use the graph sublinear expansion property as well as some novel structural techniques.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
Embedding clique subdivisions via crux
Authors:
Donglei Yang,
Fan Yang
Abstract:
For a graph $G$ and a constant $α>0$, we denote by $C_α(G)$ the minimum order of a subgraph $H\subseteq G$ with $d(H)\ge αd(G)$. Liu and Montgomery conjectured that every graph $G$ contains $K_{Ω(t)}$ as a subdivision for $t=\min \{d(G), \sqrt{\tfrac{C_α(G)}{\log C_α(G)}}\}$. In the paper, we prove this conjecture.
For a graph $G$ and a constant $α>0$, we denote by $C_α(G)$ the minimum order of a subgraph $H\subseteq G$ with $d(H)\ge αd(G)$. Liu and Montgomery conjectured that every graph $G$ contains $K_{Ω(t)}$ as a subdivision for $t=\min \{d(G), \sqrt{\tfrac{C_α(G)}{\log C_α(G)}}\}$. In the paper, we prove this conjecture.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Eigenvector distributions and optimal shrinkage estimators for large covariance and precision matrices
Authors:
Xiucai Ding,
Yun Li,
Fan Yang
Abstract:
This paper focuses on investigating Stein's invariant shrinkage estimators for large sample covariance matrices and precision matrices in high-dimensional settings. We consider models that have nearly arbitrary population covariance matrices, including those with potential spikes. By imposing mild technical assumptions, we establish the asymptotic limits of the shrinkers for a wide range of loss f…
▽ More
This paper focuses on investigating Stein's invariant shrinkage estimators for large sample covariance matrices and precision matrices in high-dimensional settings. We consider models that have nearly arbitrary population covariance matrices, including those with potential spikes. By imposing mild technical assumptions, we establish the asymptotic limits of the shrinkers for a wide range of loss functions. A key contribution of this work, enabling the derivation of the limits of the shrinkers, is a novel result concerning the asymptotic distributions of the non-spiked eigenvectors of the sample covariance matrices, which can be of independent interest.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Superconvergence error estimates for the div least-squares finite element method on elliptic problems
Authors:
Gang Chen,
Fanyi Yang,
Zheyuan Zhang
Abstract:
In this paper we discuss the error estimations for the div least-squares finite element method on elliptic problems. Compared with the previous work, we present a complete error analysis, which improves the current \emph{state-of-the-art} results. The error estimations for both the scalar and the flux variables are established by dual arguments, and in most cases, only an $H^{1+\varepsilon}$ regul…
▽ More
In this paper we discuss the error estimations for the div least-squares finite element method on elliptic problems. Compared with the previous work, we present a complete error analysis, which improves the current \emph{state-of-the-art} results. The error estimations for both the scalar and the flux variables are established by dual arguments, and in most cases, only an $H^{1+\varepsilon}$ regularity is used. Numerical experiments strongly confirm our analysis.
△ Less
Submitted 7 April, 2024;
originally announced April 2024.
-
Long Time Propagation of Chaos in Total Variation Distance for Mean Field Interacting Particle System
Authors:
Xing Huang,
Fen-Fen Yang,
Chenggui Yuan
Abstract:
In this paper, a general result on the long time quantitative propagation of chaos in total variation distance for mean field interacting particle system driven by general Lévy noise is derived. Moreover, by using the method of coupling, the general result is applied to mean field interacting particle system driven by Brownian motion and $α(α>1)$-stable noise respectively, where the non-interactin…
▽ More
In this paper, a general result on the long time quantitative propagation of chaos in total variation distance for mean field interacting particle system driven by general Lévy noise is derived. Moreover, by using the method of coupling, the general result is applied to mean field interacting particle system driven by Brownian motion and $α(α>1)$-stable noise respectively, where the non-interacting drift is assumed to be dissipative in long distance and the initial distribution of interacting particle system converges to that of the limit equation in $L^1$-Wasserstein distance.
△ Less
Submitted 22 May, 2024; v1 submitted 2 April, 2024;
originally announced April 2024.
-
Schatten Properties of Calderón--Zygmund Singular Integral Commutator on stratified Lie groups
Authors:
Ji Li,
Xiao Xiong,
Fulin Yang
Abstract:
We provide full characterisation of the Schatten properties of $[M_b,T]$, the commutator of Calderón--Zygmund singular integral $T$ with symbol $b$ $(M_bf(x):=b(x)f(x))$ on stratified Lie groups $\mathbb{G}$. We show that, when $p$ is larger than the homogeneous dimension $\mathbb{Q}$ of $\mathbb{G}$, the Schatten $\mathcal{L}_p$ norm of the commutator is equivalent to the Besov semi-norm…
▽ More
We provide full characterisation of the Schatten properties of $[M_b,T]$, the commutator of Calderón--Zygmund singular integral $T$ with symbol $b$ $(M_bf(x):=b(x)f(x))$ on stratified Lie groups $\mathbb{G}$. We show that, when $p$ is larger than the homogeneous dimension $\mathbb{Q}$ of $\mathbb{G}$, the Schatten $\mathcal{L}_p$ norm of the commutator is equivalent to the Besov semi-norm $B_{p}^{\frac{\mathbb{Q}}{p}}$ of the function $b$; but when $p\leq \mathbb{Q}$, the commutator belongs to $\mathcal{L}_p$ if and only if $b$ is a constant. For the endpoint case at the critical index $p=\mathbb{Q}$, we further show that the Schatten $\mathcal{L}_{\mathbb{Q},\infty}$ norm of the commutator is equivalent to the Sobolev norm $W^{1,\mathbb{Q}}$ of $b$. Our method at the endpoint case differs from existing methods of Fourier transforms or trace formula for Euclidean spaces or Heisenberg groups, respectively, and hence can be applied to various settings beyond.
△ Less
Submitted 16 March, 2024;
originally announced March 2024.
-
Extremal density for subdivisions with length or sparsity constraints
Authors:
Jaehoon Kim,
Hong Liu,
Yantao Tang,
Guanghui Wang,
Donglei Yang,
Fan Yang
Abstract:
Given a graph $H$, a balanced subdivision of $H$ is obtained by replacing all edges of $H$ with internally disjoint paths of the same length. In this paper, we prove that for any graph $H$, a linear-in-$e(H)$ bound on average degree guarantees a balanced $H$-subdivision. This strengthens an old result of Bollobás and Thomason, and resolves a question of Gil-Fernández, Hyde, Liu, Pikhurko and Wu.…
▽ More
Given a graph $H$, a balanced subdivision of $H$ is obtained by replacing all edges of $H$ with internally disjoint paths of the same length. In this paper, we prove that for any graph $H$, a linear-in-$e(H)$ bound on average degree guarantees a balanced $H$-subdivision. This strengthens an old result of Bollobás and Thomason, and resolves a question of Gil-Fernández, Hyde, Liu, Pikhurko and Wu.
We observe that this linear bound on average degree is best possible whenever $H$ is logarithmically dense. We further show that this logarithmic density is the critical threshold: for many graphs $H$ below this density, its subdivisions are forcible by a sublinear bound in $e(H)$ on average degree. We provide such examples by proving that the subdivisions of any almost bipartite graph $H$ with sublogarithmic density are forcible by a sublinear-in-$e(H)$ bound on average degree, provided that $H$ satisfies some additional separability condition.
△ Less
Submitted 27 January, 2024;
originally announced January 2024.
-
On the spectrum of magnetic Laplacian on the Lieb lattice
Authors:
Moises Gomez Solis,
Dylan Spedale,
Fan Yang
Abstract:
We study the magnetic Laplacian on the Lieb lattice, and prove Cantor spectrum for arbitrary irrational magnetic flux. We also provide a complete spectral analysis for the reduced one-dimensional Hamiltonian, proving Cantor spectra for all irrational frequencies, and sharp arithmetic phase transitions. Part of our analysis reveals a novel coexistence phenomenon of point spectrum and absolutely/sin…
▽ More
We study the magnetic Laplacian on the Lieb lattice, and prove Cantor spectrum for arbitrary irrational magnetic flux. We also provide a complete spectral analysis for the reduced one-dimensional Hamiltonian, proving Cantor spectra for all irrational frequencies, and sharp arithmetic phase transitions. Part of our analysis reveals a novel coexistence phenomenon of point spectrum and absolutely/singular continuous spectrum.
△ Less
Submitted 21 January, 2024;
originally announced January 2024.
-
Free Space Optical Integrated Sensing and Communication Based on DCO-OFDM: Performance Metrics and Resource Allocation
Authors:
Yunfeng Wen,
Fang Yang,
Jian Song,
Zhu Han
Abstract:
As one of the six usage scenarios of the sixth generation (6G) mobile communication system, integrated sensing and communication (ISAC) has garnered considerable attention, and numerous studies have been conducted on radio-frequency (RF)-ISAC. Benefitting from the communication and sensing capabilities of an optical system, free space optical (FSO)-ISAC becomes a potential complement to RF-ISAC. I…
▽ More
As one of the six usage scenarios of the sixth generation (6G) mobile communication system, integrated sensing and communication (ISAC) has garnered considerable attention, and numerous studies have been conducted on radio-frequency (RF)-ISAC. Benefitting from the communication and sensing capabilities of an optical system, free space optical (FSO)-ISAC becomes a potential complement to RF-ISAC. In this paper, a direct-current-biased optical orthogonal frequency division multiplexing (DCO-OFDM) scheme is proposed for FSO-ISAC. To derive the spectral efficiency for communication and the Fisher information for sensing as performance metrics, we model the clip** noise of DCO-OFDM as additive colored Gaussian noise to obtain the expression of the signal-to-noise ratio. Based on the derived performance metrics, joint power allocation problems are formulated for both communication-centric and sensing-centric scenarios. In addition, the non-convex joint optimization problems are decomposed into sub-problems for DC bias and subcarriers, which can be solved by block coordinate descent algorithms. Furthermore, numerical simulations demonstrate the proposed algorithms and reveal the trade-off between communication and sensing functionalities of the OFDM-based FSO-ISAC system.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
Capture components of cubic Siegel polynomials
Authors:
Xiaoguang Wang,
Fei Yang
Abstract:
Let $θ$ be an irrational number of bounded type. We prove that all capture components in the parameter space of cubic polynomials $f_a(z)=e^{2πiθ}z+a z^2+z^3$, where $a\in\mathbb{C}$, are Jordan domains.
Let $θ$ be an irrational number of bounded type. We prove that all capture components in the parameter space of cubic polynomials $f_a(z)=e^{2πiθ}z+a z^2+z^3$, where $a\in\mathbb{C}$, are Jordan domains.
△ Less
Submitted 17 December, 2023;
originally announced December 2023.
-
A random matrix model towards the quantum chaos transition conjecture
Authors:
Bertrand Stone,
Fan Yang,
Jun Yin
Abstract:
Consider $D$ random systems that are modeled by independent $N\times N$ complex Hermitian Wigner matrices. Suppose they are lying on a circle and the neighboring systems interact with each other through a deterministic matrix $A$. We prove that in the asymptotic limit $N\to \infty$, the whole system exhibits a quantum chaos transition when the interaction strength $\|A\|_{HS}$ varies. Specifically…
▽ More
Consider $D$ random systems that are modeled by independent $N\times N$ complex Hermitian Wigner matrices. Suppose they are lying on a circle and the neighboring systems interact with each other through a deterministic matrix $A$. We prove that in the asymptotic limit $N\to \infty$, the whole system exhibits a quantum chaos transition when the interaction strength $\|A\|_{HS}$ varies. Specifically, when $\|A\|_{HS}\ge N^{\varepsilon}$, we prove that the bulk eigenvalue statistics match those of a $DN\times DN$ GUE asymptotically and each bulk eigenvector is approximately equally distributed among the $D$ subsystems with probability $1-o(1)$. These phenomena indicate quantum chaos of the whole system. In contrast, when $\|A\|_{HS}\le N^{-\varepsilon}$, we show that the system is integrable: the bulk eigenvalue statistics behave like $D$ independent copies of GUE statistics asymptotically and each bulk eigenvector is localized on only one subsystem. In particular, if we take $D\to \infty$ after the $N\to \infty$ limit, the bulk statistics converge to a Poisson point process under the $DN$ scaling.
△ Less
Submitted 25 February, 2024; v1 submitted 12 December, 2023;
originally announced December 2023.
-
Axiomatizing modal inclusion logic and its variants
Authors:
Aleksi Anttila,
Matilda Häggblom,
Fan Yang
Abstract:
We provide a complete axiomatization of modal inclusion logic - team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof system, and use the normal form to prove completeness of the axiomatization. Complete axiomatizations are also provided for two other extensions of modal logic wi…
▽ More
We provide a complete axiomatization of modal inclusion logic - team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof system, and use the normal form to prove completeness of the axiomatization. Complete axiomatizations are also provided for two other extensions of modal logic with the same expressive power as modal inclusion logic: one augmented with a might operator and the other with a single-world variant of the might operator.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
The edge-girth-regularity of Wenger graphs
Authors:
Fuyuan Yang,
Qiang Sun,
Chao Zhang
Abstract:
Let $n\ge 1$ be an integer and $\mathbb{F}_q$ be a finite field of characteristic $p$ with $q$ elements. In this paper, it is proved that the Wenger graph $W_n(q)$ and linearized Wenger graph $L_m(q)$ are edge-girth-regular $(v,k,g,λ)$-graphs, and the parameter $λ$ of graphs $W_n(q)$ and $L_m(q)$ is completely determined. Here, an edge-girth-regular graph $egr(v,k,g,λ)$ means a $k$-regular graph o…
▽ More
Let $n\ge 1$ be an integer and $\mathbb{F}_q$ be a finite field of characteristic $p$ with $q$ elements. In this paper, it is proved that the Wenger graph $W_n(q)$ and linearized Wenger graph $L_m(q)$ are edge-girth-regular $(v,k,g,λ)$-graphs, and the parameter $λ$ of graphs $W_n(q)$ and $L_m(q)$ is completely determined. Here, an edge-girth-regular graph $egr(v,k,g,λ)$ means a $k$-regular graph of order $v$ and girth $g$ satisfying that any edge is contained in $λ$ distinct $g$-cycles. As a direct corollary, we obtain the number of girth cycles of graph $W_n(q)$, and the lower bounds on the generalized Turán numbers $ex(n, C_{6}, \mathscr{C}_{5})$ and $ex(n, C_{8}, \mathscr{C}_{7})$, where $C_k$ is the cycle of length $k$ and $\mathscr{C}_k = \{C_3, C_4, \dots , C_k\}$.Moreover, there exist a family of $egr(2q^3,q,8,(q-1)^3(q-2))$-graphs for $q$ odd, and the order of graph $W_2(q)$ and extremal $egr(v,q,8,(q-1)^3(q-2))$-graph have same asymptotic order for $q$ odd.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
The extremal process of branching Brownian motion with absorption
Authors:
Fan Yang,
Ya** Zhu
Abstract:
In this paper, we study branching Brownian motion with absorption, in which particles undergo Brownian motions with drift and are killed upon reaching the origin. We prove that the extremal process of this branching Brownian motion with absorption converges to a random shifted decorated Poisson point process. Furthermore, we show that the law of the right-most particle converges to the law of a ra…
▽ More
In this paper, we study branching Brownian motion with absorption, in which particles undergo Brownian motions with drift and are killed upon reaching the origin. We prove that the extremal process of this branching Brownian motion with absorption converges to a random shifted decorated Poisson point process. Furthermore, we show that the law of the right-most particle converges to the law of a random shifted Gumbel random variable.
△ Less
Submitted 7 October, 2023;
originally announced October 2023.
-
Motivic cluster multiplication formulas in 2-Calabi-Yau categories
Authors:
Jie Xiao,
Fan Xu,
Fang Yang
Abstract:
We introduce a notion of motivic cluster characters via virtual Poincaré polynomials, and prove a motivic version of multiplication formulas obtained by Chen-Xiao-Xu for weighted quantum cluster characters associated to a 2-Calabi-Yau triangulated category $\mathcal{C}$ with a cluster tilting object. Furthermore, a refined form of this formula is also given. When $\mathcal{C}$ is the cluster categ…
▽ More
We introduce a notion of motivic cluster characters via virtual Poincaré polynomials, and prove a motivic version of multiplication formulas obtained by Chen-Xiao-Xu for weighted quantum cluster characters associated to a 2-Calabi-Yau triangulated category $\mathcal{C}$ with a cluster tilting object. Furthermore, a refined form of this formula is also given. When $\mathcal{C}$ is the cluster category of an acyclic quiver, our certain refined multiplication formula is a motivic version of the multiplication formula in [International Mathematics Research Notices, rnad172(2023)].
△ Less
Submitted 22 January, 2024; v1 submitted 7 October, 2023;
originally announced October 2023.
-
Renormalizations of rational maps and stable multicurves
Authors:
Guizhen Cui,
Fei Yang,
Luxian Yang
Abstract:
For post-critically finite rational maps, we give a sufficient condition for the existence of disjoint type renormalizations by using multicurves. We also give examples satisfying the condition.
For post-critically finite rational maps, we give a sufficient condition for the existence of disjoint type renormalizations by using multicurves. We also give examples satisfying the condition.
△ Less
Submitted 24 December, 2023; v1 submitted 6 September, 2023;
originally announced September 2023.
-
Debiased Regression Adjustment in Completely Randomized Experiments with Moderately High-dimensional Covariates
Authors:
Xin Lu,
Fan Yang,
Yuhao Wang
Abstract:
Completely randomized experiment is the gold standard for causal inference. When the covariate information for each experimental candidate is available, one typical way is to include them in covariate adjustments for more accurate treatment effect estimation. In this paper, we investigate this problem under the randomization-based framework, i.e., that the covariates and potential outcomes of all…
▽ More
Completely randomized experiment is the gold standard for causal inference. When the covariate information for each experimental candidate is available, one typical way is to include them in covariate adjustments for more accurate treatment effect estimation. In this paper, we investigate this problem under the randomization-based framework, i.e., that the covariates and potential outcomes of all experimental candidates are assumed as deterministic quantities and the randomness comes solely from the treatment assignment mechanism. Under this framework, to achieve asymptotically valid inference, existing estimators usually require either (i) that the dimension of covariates $p$ grows at a rate no faster than $O(n^{2 / 3})$ as sample size $n \to \infty$; or (ii) certain sparsity constraints on the linear representations of potential outcomes constructed via possibly high-dimensional covariates. In this paper, we consider the moderately high-dimensional regime where $p$ is allowed to be in the same order of magnitude as $n$. We develop a novel debiased estimator with a corresponding inference procedure and establish its asymptotic normality under mild assumptions. Our estimator is model-free and does not require any sparsity constraint on potential outcome's linear representations. We also discuss its asymptotic efficiency improvements over the unadjusted treatment effect estimator under different dimensionality constraints. Numerical analysis confirms that compared to other regression adjustment based treatment effect estimators, our debiased estimator performs well in moderately high dimensions.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Modular representations of strange classical Lie superalgebras and the first super Kac-Weisfeiler conjecture
Authors:
Ye Ren,
Bin Shu,
Fanlei Yang,
An Zhang
Abstract:
Suppose $\mathfrak{g}=\mathfrak{g}_{\bar 0}+\mathfrak{g}_{\bar 1} is a Lie superalgebra of queer type or periplectic type over an algebraically closed field $\textbf{k}$ of characteristic $p>2…
▽ More
Suppose $\mathfrak{g}=\mathfrak{g}_{\bar 0}+\mathfrak{g}_{\bar 1} is a Lie superalgebra of queer type or periplectic type over an algebraically closed field $\textbf{k}$ of characteristic $p>2$. In this article, we initiate preliminarily to investigate modular representations of periplectic Lie superalgebras
and then verify the first super Kac-Weisfeiler conjecture on the maximal dimensions of irreducible modules for $\mathfrak{g}$ proposed by the second-named author in [Shu] where the conjecture is targeted at all finite-dimensional restricted Lie superalgebras over $\bk$, and already proved to be true for basic classical Lie superalgebras and completely solvable restricted Lie superalgebras.
△ Less
Submitted 2 July, 2023;
originally announced July 2023.
-
Preconditioned NonSymmetric/Symmetric Discontinuous Galerkin Method for Elliptic Problem with Reconstructed Discontinuous Approximation
Authors:
Ruo Li,
Qicheng Liu,
Fanyi Yang
Abstract:
In this paper, we propose and analyze an efficient preconditioning method for the elliptic problem based on the reconstructed discontinuous approximation method. We reconstruct a high-order piecewise polynomial space that arbitrary order can be achieved with one degree of freedom per element. This space can be directly used with the symmetric/nonsymmetric interior penalty discontinuous Galerkin me…
▽ More
In this paper, we propose and analyze an efficient preconditioning method for the elliptic problem based on the reconstructed discontinuous approximation method. We reconstruct a high-order piecewise polynomial space that arbitrary order can be achieved with one degree of freedom per element. This space can be directly used with the symmetric/nonsymmetric interior penalty discontinuous Galerkin method. Compared with the standard DG method, we can enjoy the advantage on the efficiency of the approximation. Besides, we establish an norm equivalence result between the reconstructed high-order space and the piecewise constant space. This property further allows us to construct an optimal preconditioner from the piecewise constant space. The upper bound of the condition number to the preconditioned symmetric/nonsymmetric system is shown to be independent of the mesh size. Numerical experiments are provided to demonstrate the validity of the theory and the efficiency of the proposed method.
△ Less
Submitted 27 June, 2023;
originally announced June 2023.
-
The Least Squares Finite Element Method for Elasticity Interface Problem on Unfitted Mesh
Authors:
Fanyi Yang
Abstract:
In this paper, we propose and analyze the least squares finite element methods for the linear elasticity interface problem in the stress-displacement system on unfitted meshes. We consider the cases that the interface is $C^2$ or polygonal, and the exact solution $(σ,u)$ belongs to $H^s(div; Ω_0 \cup Ω_1) \times $H^{1+s}(Ω_0 \cup Ω_1)$ with $s > 1/2…
▽ More
In this paper, we propose and analyze the least squares finite element methods for the linear elasticity interface problem in the stress-displacement system on unfitted meshes. We consider the cases that the interface is $C^2$ or polygonal, and the exact solution $(σ,u)$ belongs to $H^s(div; Ω_0 \cup Ω_1) \times $H^{1+s}(Ω_0 \cup Ω_1)$ with $s > 1/2$. Two types of least squares functionals are defined to seek the numerical solution. The first is defined by simply applying the $L^2$ norm least squares principle, and requires the condition $s \geq 1$. The second is defined with a discrete minus norm, which is related to the inner product in $H^{-1/2}(Γ)$. The use of this discrete minus norm results in a method of optimal convergence rates and allows the exact solution has the regularity of any $s > 1/2$. The stability near the interface for both methods is guaranteed by the ghost penalty bilinear forms and we can derive the robust condition number estimates. The convergence rates under $L^2$ norm and the energy norm are derived for both methods. We illustrate the accuracy and the robustness of the proposed methods by a series of numerical experiments for test problems in two and three dimensions.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
Pearcey universality at cusps of polygonal lozenge tiling
Authors:
Jiaoyang Huang,
Fan Yang,
Lingfu Zhang
Abstract:
We study uniformly random lozenge tilings of general simply connected polygons. Under a technical assumption that is presumably generic with respect to polygon shapes, we show that the local statistics around a cusp point of the arctic curve converge to the Pearcey process. This verifies the widely predicted universality of edge statistics in the cusp case. Together with the smooth and tangent cas…
▽ More
We study uniformly random lozenge tilings of general simply connected polygons. Under a technical assumption that is presumably generic with respect to polygon shapes, we show that the local statistics around a cusp point of the arctic curve converge to the Pearcey process. This verifies the widely predicted universality of edge statistics in the cusp case. Together with the smooth and tangent cases proved in Aggarwal-Huang and Aggarwal-Gorin, these are believed to be the three types of edge statistics that can arise in a generic polygon. Our proof is via a local coupling of the random tiling with non-intersecting Bernoulli random walks (NBRW). To leverage this coupling, we establish an optimal concentration estimate for the tiling height function around the cusp. As another step and also a result of potential independent interest, we show that the local statistics of NBRW around a cusp converge to the Pearcey process when the initial configuration consists of two parts with proper density growth, via careful asymptotic analysis of the determinantal formula.
△ Less
Submitted 14 August, 2023; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Mating Siegel and parabolic quadratic polynomials
Authors:
Yuming Fu,
Fei Yang
Abstract:
Let $f_θ(z)=e^{2πiθ}z+z^2$ be the quadratic polynomial having an indifferent fixed point at the origin. For any bounded type irrational number $θ\in\mathbb{R}\setminus\mathbb{Q}$ and any rational number $ν\in\mathbb{Q}$, we prove that $f_θ$ and $f_ν$ are conformally mateable, and that the mating is unique up to conjugacy by a Möbius map. This gives an affirmative (partial) answer to a question rai…
▽ More
Let $f_θ(z)=e^{2πiθ}z+z^2$ be the quadratic polynomial having an indifferent fixed point at the origin. For any bounded type irrational number $θ\in\mathbb{R}\setminus\mathbb{Q}$ and any rational number $ν\in\mathbb{Q}$, we prove that $f_θ$ and $f_ν$ are conformally mateable, and that the mating is unique up to conjugacy by a Möbius map. This gives an affirmative (partial) answer to a question raised by Milnor in 2004.
A crucial ingredient in the proof relies on an expansive property when iterating certain rational maps near Siegel disk boundaries. Combining this with the expanding property in repelling petals of parabolic points, we also prove that the Julia sets of a class of Siegel rational maps with parabolic points are locally connected.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
State-based Modal Logics for Free Choice
Authors:
Maria Aloni,
Aleksi Anttila,
Fan Yang
Abstract:
We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used to account for free choice inferences and related linguistic phenomena. This logic extends classical modal logic with a nonemptiness atom which is true in a state if and only if the state is nonempty. We introduce two ex…
▽ More
We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used to account for free choice inferences and related linguistic phenomena. This logic extends classical modal logic with a nonemptiness atom which is true in a state if and only if the state is nonempty. We introduce two extensions of BSML and show that the extensions are expressively complete, and develop natural deduction axiomatizations for the three logics.
△ Less
Submitted 11 May, 2024; v1 submitted 19 May, 2023;
originally announced May 2023.
-
Provably Feedback-Efficient Reinforcement Learning via Active Reward Learning
Authors:
Dingwen Kong,
Lin F. Yang
Abstract:
An appropriate reward function is of paramount importance in specifying a task in reinforcement learning (RL). Yet, it is known to be extremely challenging in practice to design a correct reward function for even simple tasks. Human-in-the-loop (HiL) RL allows humans to communicate complex goals to the RL agent by providing various types of feedback. However, despite achieving great empirical succ…
▽ More
An appropriate reward function is of paramount importance in specifying a task in reinforcement learning (RL). Yet, it is known to be extremely challenging in practice to design a correct reward function for even simple tasks. Human-in-the-loop (HiL) RL allows humans to communicate complex goals to the RL agent by providing various types of feedback. However, despite achieving great empirical successes, HiL RL usually requires too much feedback from a human teacher and also suffers from insufficient theoretical understanding. In this paper, we focus on addressing this issue from a theoretical perspective, aiming to provide provably feedback-efficient algorithmic frameworks that take human-in-the-loop to specify rewards of given tasks. We provide an active-learning-based RL algorithm that first explores the environment without specifying a reward function and then asks a human teacher for only a few queries about the rewards of a task at some state-action pairs. After that, the algorithm guarantees to provide a nearly optimal policy for the task with high probability. We show that, even with the presence of random noise in the feedback, the algorithm only takes $\widetilde{O}(H{{\dim_{R}^2}})$ queries on the reward function to provide an $ε$-optimal policy for any $ε> 0$. Here $H$ is the horizon of the RL environment, and $\dim_{R}$ specifies the complexity of the function class representing the reward function. In contrast, standard RL algorithms require to query the reward function for at least $Ω(\operatorname{poly}(d, 1/ε))$ state-action pairs where $d$ depends on the complexity of the environmental transition.
△ Less
Submitted 18 April, 2023;
originally announced April 2023.
-
Shub's example revisited
Authors:
Chao Liang,
Radu Saghin,
Fan Yang,
Jiagang Yang
Abstract:
For a class of robustly transitive diffeomorphisms on $\mathbb T^4$ introduced by Shub in [24], satisfying an additional bunching condition, we show that there exits a $C^2$ open and $C^r$ dense subset $\mathcal U^r$, $2\leq r\leq\infty$, such that any two hyperbolic points of $g\in \mathcal U^r$ with stable index $2$ are homoclinically related. As a consequence, every $g\in \mathcal U^r$ admits a…
▽ More
For a class of robustly transitive diffeomorphisms on $\mathbb T^4$ introduced by Shub in [24], satisfying an additional bunching condition, we show that there exits a $C^2$ open and $C^r$ dense subset $\mathcal U^r$, $2\leq r\leq\infty$, such that any two hyperbolic points of $g\in \mathcal U^r$ with stable index $2$ are homoclinically related. As a consequence, every $g\in \mathcal U^r$ admits a unique homoclinic class associated to the hyperbolic periodic points with index $2$, and this homoclinic class coincides to the whole ambient manifold. Moreover, every $g\in \mathcal U^r$ admits at most one measure with maximal entropy, and every $g\in\mathcal U^{\infty}$ admits a unique measure of maximal entropy.
△ Less
Submitted 30 March, 2023;
originally announced March 2023.
-
An example derived from Lorenz attractor
Authors:
Ming Li,
Fan Yang,
Jiagang Yang,
Rusong Zheng
Abstract:
We consider a DA-type surgery of the famous Lorenz attractor in dimension 4. This kind of surgeries have been firstly used by Smale [S] and Mañé [M1] to give important examples in the study of partially hyperbolic systems. Our construction gives the first example of a singular chain recurrence class which is Lyapunov stable, away from homoclinic tangencies and exhibits robustly heterodimensional c…
▽ More
We consider a DA-type surgery of the famous Lorenz attractor in dimension 4. This kind of surgeries have been firstly used by Smale [S] and Mañé [M1] to give important examples in the study of partially hyperbolic systems. Our construction gives the first example of a singular chain recurrence class which is Lyapunov stable, away from homoclinic tangencies and exhibits robustly heterodimensional cycles. Moreover, the chain recurrence class has the following interesting property: there exists robustly a 2-dimensional sectionally expanding subbundle (containing the flow direction) of the tangent bundle such that it is properly included in a subbundle of the finest dominated splitting for the tangent flow.
△ Less
Submitted 18 December, 2023; v1 submitted 4 February, 2023;
originally announced February 2023.
-
Conditional generalized quantiles based on expected utility model and equivalent characterization of properties
Authors:
Qinyu Wu,
Fan Yang,
** Zhang
Abstract:
As a counterpart to the (static) risk measures of generalized quantiles and motivated by Bellini et al. (2018), we propose a new kind of conditional risk measure called conditional generalized quantiles. We first show their well-definedness and they can be equivalently characterised by a conditional first order condition. We also discuss their main properties, and, especially, We give the characte…
▽ More
As a counterpart to the (static) risk measures of generalized quantiles and motivated by Bellini et al. (2018), we propose a new kind of conditional risk measure called conditional generalized quantiles. We first show their well-definedness and they can be equivalently characterised by a conditional first order condition. We also discuss their main properties, and, especially, We give the characterization of coherency/convexity. For potential applications as a dynamic risk measure, we study their time consistency properties, and establish their equivalent characterizations among conditional generalized quantiles.
△ Less
Submitted 29 January, 2023;
originally announced January 2023.
-
Variable Fofana's Spaces and their Pre-dual
Authors:
Fan Yang,
Jiang Zhou
Abstract:
In this paper, we introduce the variable Fofana's spaces $(L^{p(\cdot)},L^q)^α(\mathbb{R}^n)$ where $1< p(\cdot)<\infty$ and $1\leq q,α\leq\infty$, then show some properties and establish the pre-dual of those spaces which are contributed to prove the necessary conditions of fractional integral commutators' boundedness. As applications, the characterization of fractional integral operators and com…
▽ More
In this paper, we introduce the variable Fofana's spaces $(L^{p(\cdot)},L^q)^α(\mathbb{R}^n)$ where $1< p(\cdot)<\infty$ and $1\leq q,α\leq\infty$, then show some properties and establish the pre-dual of those spaces which are contributed to prove the necessary conditions of fractional integral commutators' boundedness. As applications, the characterization of fractional integral operators and commutators on variable Fofana's spaces are discussed, which are new result even for the classical Fofana's spaces.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
Semi-infinite construction for the double Yangian of type $A_1^{(1)}$
Authors:
Marijana Butorac,
Naihuan **g,
Slaven Kožić,
Fan Yang
Abstract:
We consider certain infinite dimensional modules of level 1 for the double Yangian $\text{DY}(\mathfrak{gl}_2)$ which are based on the Iohara-Kohno realization. We show that they possess topological bases of Feigin-Stoyanovsky-type, i.e. the bases expressed in terms of semi-infinite monomials of certain integrable operators which stabilize and satisfy the difference two condition. Finally, we give…
▽ More
We consider certain infinite dimensional modules of level 1 for the double Yangian $\text{DY}(\mathfrak{gl}_2)$ which are based on the Iohara-Kohno realization. We show that they possess topological bases of Feigin-Stoyanovsky-type, i.e. the bases expressed in terms of semi-infinite monomials of certain integrable operators which stabilize and satisfy the difference two condition. Finally, we give some applications of these bases to the representation theory of the corresponding quantum affine vertex algebra.
△ Less
Submitted 11 January, 2023;
originally announced January 2023.
-
An empirical process framework for covariate balance in causal inference
Authors:
Efrén Cruz Cortés,
Kevin Josey,
Fan Yang,
Debashis Ghosh
Abstract:
We propose a new perspective for the evaluation of matching procedures by considering the complexity of the function class they belong to. Under this perspective we provide theoretical guarantees on post-matching covariate balance through a finite sample concentration inequality. We apply this framework to coarsened exact matching as well as matching using the propensity score and suggest how to a…
▽ More
We propose a new perspective for the evaluation of matching procedures by considering the complexity of the function class they belong to. Under this perspective we provide theoretical guarantees on post-matching covariate balance through a finite sample concentration inequality. We apply this framework to coarsened exact matching as well as matching using the propensity score and suggest how to apply it to other algorithms. Simulation studies are used to evaluate the procedures.
△ Less
Submitted 2 January, 2023;
originally announced January 2023.
-
Extending structures for noncommutative Poisson bialgebras
Authors:
Tao Zhang,
Fang Yang
Abstract:
We introduce the concept of braided noncommutative Poisson bialgebras. The theory of cocycle bicrossproducts for noncommutative Poisson bialgebras is developed. As an application, we solve the extending problem by using some non-abelian cohomology theory.
We introduce the concept of braided noncommutative Poisson bialgebras. The theory of cocycle bicrossproducts for noncommutative Poisson bialgebras is developed. As an application, we solve the extending problem by using some non-abelian cohomology theory.
△ Less
Submitted 16 May, 2023; v1 submitted 27 November, 2022;
originally announced January 2023.
-
Maximal transverse measures of expanding foliations
Authors:
Raul Ures,
Marcelo Viana,
Fan Yang,
Jiagang Yang
Abstract:
For an expanding (unstable) foliation of a diffeomorphism, we use a natural dynamical averaging to construct transverse measures, which we call \emph{maximal}, describing the statistics of how the iterates of a given leaf intersect the cross-sections to the foliation. For a suitable class of diffeomorphisms, we prove that this averaging converges, even exponentially fast, and the limit measures ha…
▽ More
For an expanding (unstable) foliation of a diffeomorphism, we use a natural dynamical averaging to construct transverse measures, which we call \emph{maximal}, describing the statistics of how the iterates of a given leaf intersect the cross-sections to the foliation. For a suitable class of diffeomorphisms, we prove that this averaging converges, even exponentially fast, and the limit measures have finite ergodic decompositions. These results are obtained through relating the maximal transverse measures to the maximal $u$-entropy measures of the diffeomorphism.
△ Less
Submitted 18 April, 2024; v1 submitted 9 December, 2022;
originally announced December 2022.
-
$4$-choosability of planar graphs with $4$-cycles far apart via the Combinatorial Nullstellensatz
Authors:
Fan Yang,
Yue Wang,
Jian-liang Wu
Abstract:
By a well-known theorem of Thomassen and a planar graph depicted by Voigt, we know that every planar graph is $5$-choosable, and the bound is tight. In 1999, Lam, Xu and Liu reduced $5$ to $4$ on $C_4$-free planar graphs. In the paper, by applying the famous Combinatorial Nullstellensatz, we design an effective algorithm to deal with list coloring problems. At the same time, we prove that a planar…
▽ More
By a well-known theorem of Thomassen and a planar graph depicted by Voigt, we know that every planar graph is $5$-choosable, and the bound is tight. In 1999, Lam, Xu and Liu reduced $5$ to $4$ on $C_4$-free planar graphs. In the paper, by applying the famous Combinatorial Nullstellensatz, we design an effective algorithm to deal with list coloring problems. At the same time, we prove that a planar graph $G$ is $4$-choosable if any two $4$-cycles having distance at least $5$ in $G$, which extends the result of Lam et al.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
SIMPLE-RC: Group Network Inference with Non-Sharp Nulls and Weak Signals
Authors:
Jianqing Fan,
Yingying Fan,
**chi Lv,
Fan Yang
Abstract:
Large-scale network inference with uncertainty quantification has important applications in natural, social, and medical sciences. The recent work of Fan, Fan, Han and Lv (2022) introduced a general framework of statistical inference on membership profiles in large networks (SIMPLE) for testing the sharp null hypothesis that a pair of given nodes share the same membership profiles. In real applica…
▽ More
Large-scale network inference with uncertainty quantification has important applications in natural, social, and medical sciences. The recent work of Fan, Fan, Han and Lv (2022) introduced a general framework of statistical inference on membership profiles in large networks (SIMPLE) for testing the sharp null hypothesis that a pair of given nodes share the same membership profiles. In real applications, there are often groups of nodes under investigation that may share similar membership profiles at the presence of relatively weaker signals than the setting considered in SIMPLE. To address these practical challenges, in this paper we propose a SIMPLE method with random coupling (SIMPLE-RC) for testing the non-sharp null hypothesis that a group of given nodes share similar (not necessarily identical) membership profiles under weaker signals. Utilizing the idea of random coupling, we construct our test as the maximum of the SIMPLE tests for subsampled node pairs from the group. Such technique reduces significantly the correlation among individual SIMPLE tests while largely maintaining the power, enabling delicate analysis on the asymptotic distributions of the SIMPLE-RC test. Our method and theory cover both the cases with and without node degree heterogeneity. These new theoretical developments are empowered by a second-order expansion of spiked eigenvectors under the $\ell_\infty$-norm, built upon our work for random matrices with weak spikes. Our theoretical results and the practical advantages of the newly suggested method are demonstrated through several simulation and real data examples.
△ Less
Submitted 31 October, 2022;
originally announced November 2022.
-
Equilibrium states for the classical Lorenz attractor and sectional-hyperbolic attractors in higher dimensions
Authors:
Maria Jose Pacifico,
Fan Yang,
Jiagang Yang
Abstract:
It has long been conjectured that the classical Lorenz attractor supports a unique measure of maximal entropy. In this article, we give a positive answer to this conjecture and its higher-dimensional counterpart by considering the uniqueness of equilibrium states for Hölder continuous functions on a sectional-hyperbolic attractor $Λ$. We prove that in a $C^1$-open and dense family of vector fields…
▽ More
It has long been conjectured that the classical Lorenz attractor supports a unique measure of maximal entropy. In this article, we give a positive answer to this conjecture and its higher-dimensional counterpart by considering the uniqueness of equilibrium states for Hölder continuous functions on a sectional-hyperbolic attractor $Λ$. We prove that in a $C^1$-open and dense family of vector fields (including the classical Lorenz attractor), if the point masses at singularities are not equilibrium states, then there exists a unique equilibrium state supported on $Λ$. In particular, there exists a unique measure of maximal entropy for the flow $X|_Λ$.
△ Less
Submitted 14 February, 2023; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Intermediate logics in the setting of team semantics
Authors:
Nick Bezhanishvili,
Fan Yang
Abstract:
Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tIPC with axioms written with two different versions of disjunction in the logic, a local one and global one. We prove a characterization theorem in the first approach and we intr…
▽ More
Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tIPC with axioms written with two different versions of disjunction in the logic, a local one and global one. We prove a characterization theorem in the first approach and we introduce a generalized team semantics in the second one.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
A note on the edge choosability of $K_{5}$-minor free graphs
Authors:
Jieru Feng,
Jianliang Wu,
Fan Yang
Abstract:
For a planar graph $G$, Borodin stated that $G$ is $(Δ+1)$-edge-choosable if $Δ\geq9$ and later Bonamy showed that $G$ is $9$-edge-choosable if $Δ=8$. At the same time, Borodin et al. proved that $G$ is $Δ$-edge-choosable if $Δ\geq12$. In the paper, we extend these results to $K_5$-minor free graphs.
For a planar graph $G$, Borodin stated that $G$ is $(Δ+1)$-edge-choosable if $Δ\geq9$ and later Bonamy showed that $G$ is $9$-edge-choosable if $Δ=8$. At the same time, Borodin et al. proved that $G$ is $Δ$-edge-choosable if $Δ\geq12$. In the paper, we extend these results to $K_5$-minor free graphs.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Extending structures for alternative bialgebras
Authors:
Tao Zhang,
Fang Yang
Abstract:
We introduce the concept of braided alternative bialgebra. The theory of cocycle bicrossproducts for alternative bialgebras is developed. As an application, the extending problem for alternative bialgebra is solved by using some non-abelian cohomology theory.
We introduce the concept of braided alternative bialgebra. The theory of cocycle bicrossproducts for alternative bialgebras is developed. As an application, the extending problem for alternative bialgebra is solved by using some non-abelian cohomology theory.
△ Less
Submitted 23 August, 2023; v1 submitted 6 August, 2022;
originally announced August 2022.
-
Bulk universality and quantum unique ergodicity for random band matrices in high dimensions
Authors:
Changji Xu,
Fan Yang,
Horng-Tzer Yau,
Jun Yin
Abstract:
We consider Hermitian random band matrices $H=(h_{xy})$ on the $d$-dimensional lattice $(\mathbb Z/L \mathbb Z)^d$, where the entries $h_{xy}=\overline h_{yx}$ are independent centered complex Gaussian random variables with variances $s_{xy}=\mathbb E|h_{xy}|^2$. The variance matrix $S=(s_{xy})$ has a banded profile so that $s_{xy}$ is negligible if $|x-y|$ exceeds the band width $W$. For dimensio…
▽ More
We consider Hermitian random band matrices $H=(h_{xy})$ on the $d$-dimensional lattice $(\mathbb Z/L \mathbb Z)^d$, where the entries $h_{xy}=\overline h_{yx}$ are independent centered complex Gaussian random variables with variances $s_{xy}=\mathbb E|h_{xy}|^2$. The variance matrix $S=(s_{xy})$ has a banded profile so that $s_{xy}$ is negligible if $|x-y|$ exceeds the band width $W$. For dimensions $d\ge 7$, we prove the bulk eigenvalue universality of $H$ under the condition $W \gg L^{95/(d+95)}$. Assuming that $W\geq L^ε$ for a small constant $ε>0$, we also prove the quantum unique ergodicity for the bulk eigenvectors of $H$ and a sharp local law for the Green's function $G(z)=(H-z)^{-1}$ up to ${\mathrm{Im}} \, z \gg W^{-5}L^{5-d}$. The local law implies that the bulk eigenvector entries of $H$ are of order ${\mathrm{O}}(W^{-5/2}L^{-d/2+5/2})$ with high probability.
△ Less
Submitted 24 October, 2023; v1 submitted 29 July, 2022;
originally announced July 2022.
-
Rational maps with smooth degenerate Herman rings
Authors:
Fei Yang
Abstract:
We prove the existence of rational maps having smooth degenerate Herman rings. This answers a question of Eremenko affirmatively. The proof is based on the construction of smooth Siegel disks by Avila, Buff and Chéritat as well as the classical Siegel-to-Herman quasiconformal surgery. A crucial ingredient in the proof is the surgery's continuity, which relies on the control of the loss of the area…
▽ More
We prove the existence of rational maps having smooth degenerate Herman rings. This answers a question of Eremenko affirmatively. The proof is based on the construction of smooth Siegel disks by Avila, Buff and Chéritat as well as the classical Siegel-to-Herman quasiconformal surgery. A crucial ingredient in the proof is the surgery's continuity, which relies on the control of the loss of the area of quadratic filled-in Julia sets by Buff and Chéritat.
As a by-product, we prove the existence of rational maps having a nowhere dense Julia set of positive area for which these maps have no irrationally indifferent periodic points, no Herman rings, and are not renormalizable.
△ Less
Submitted 2 November, 2023; v1 submitted 14 July, 2022;
originally announced July 2022.
-
An unfitted finite element method with direct extension stabilization for time-harmonic Maxwell problems on smooth domains
Authors:
Fanyi Yang,
Abstract:
We propose an unfitted finite element method for numerically solving the time-harmonic Maxwell equations on a smooth domain. The model problem involves a Lagrangian multiplier to relax the divergence constraint of the vector unknown. The embedded boundary of the domain is allowed to cut through the background mesh arbitrarily. The unfitted scheme is based on a mixed interior penalty formulation, w…
▽ More
We propose an unfitted finite element method for numerically solving the time-harmonic Maxwell equations on a smooth domain. The model problem involves a Lagrangian multiplier to relax the divergence constraint of the vector unknown. The embedded boundary of the domain is allowed to cut through the background mesh arbitrarily. The unfitted scheme is based on a mixed interior penalty formulation, where Nitsche penalty method is applied to enforce the boundary condition in a weak sense, and a penalty stabilization technique is adopted based on a local direct extension operator to ensure the stability for cut elements. We prove the inf-sup stability and obtain optimal convergence rates under the energy norm and the $L^2$ norm for both the vector unknown and the Lagrangian multiplier. Numerical examples in both two and three dimensions are presented to illustrate the accuracy of the method.
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
Quantum cluster algebras associated to weighted projective lines
Authors:
Fan Xu,
Fang Yang
Abstract:
Let $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ be a weighted projective line. We define the quantum cluster algebra of $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ and realize its specialized version as the subquotient of the Hall algebra of $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ via the quantum cluster character map. Inspired by \cite{Chen2021}, we prove an analogue cluster multiplication formu…
▽ More
Let $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ be a weighted projective line. We define the quantum cluster algebra of $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ and realize its specialized version as the subquotient of the Hall algebra of $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ via the quantum cluster character map. Inspired by \cite{Chen2021}, we prove an analogue cluster multiplication formula between quantum cluster characters. As an application, we obtain the polynomial property of the cardinalities of Grassmannian varieties of exceptional coherent sheaves on $\mathbb{X}_{\boldsymbol{p},\boldsymbolλ}$ . In the end, we construct several bar-invariant $\mathbb{Z}[ν^{\pm}]$-bases for the quantum cluster algebra of the projective line $\mathbb{P}^1$ and show how it coincides with the quantum cluster algebra of the Kronecker quiver.
△ Less
Submitted 7 July, 2022; v1 submitted 6 July, 2022;
originally announced July 2022.
-
Anti-resonances and sharp analysis of Maryland localization for all parameters
Authors:
Rui Han,
Svetlana Jitomirskaya,
Fan Yang
Abstract:
We develop the technique to prove localization through the analysis of eigenfunctions in presence of both exponential frequency resonances and exponential phase barriers (anti-resonances) and use it to prove localization for the Maryland model for all parameters.
We develop the technique to prove localization through the analysis of eigenfunctions in presence of both exponential frequency resonances and exponential phase barriers (anti-resonances) and use it to prove localization for the Maryland model for all parameters.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
On sufficient conditions for planar graphs to be 5-flexible
Authors:
Fan Yang
Abstract:
In this paper, we study the flexibility of two planar graph classes $\mathcal{H}_1$, $\mathcal{H}_2$, where $\mathcal{H}_1$, $\mathcal{H}_2$ denote the set of all hopper-free planar graphs and house-free planar graphs, respectively. Let $G$ be a planar graph with a list assignment $L$. Suppose a preferred color is given for some of the vertices. We prove that if $G\in \mathcal{H}_1$ or…
▽ More
In this paper, we study the flexibility of two planar graph classes $\mathcal{H}_1$, $\mathcal{H}_2$, where $\mathcal{H}_1$, $\mathcal{H}_2$ denote the set of all hopper-free planar graphs and house-free planar graphs, respectively. Let $G$ be a planar graph with a list assignment $L$. Suppose a preferred color is given for some of the vertices. We prove that if $G\in \mathcal{H}_1$ or $G\in \mathcal{H}_2$ such that all lists have size at least $5$, then there exists an $L$-coloring respecting at least a constant fraction of the preferences.
△ Less
Submitted 25 February, 2022;
originally announced February 2022.
-
Branching Brownian motion in a periodic environment and uniqueness of pulsating travelling waves
Authors:
Yan-Xia Ren,
Renming Song,
Fan Yang
Abstract:
Using one-dimensional branching Brownian motion in a periodic environment, we give probabilistic proofs of the asymptotics and uniqueness of pulsating travelling waves of the F-KPP equation in a periodic environment. This paper is a sequel to [Ren et al. Branching Brownian motion in a periodic environment and existence of pulsating travelling waves], in which we proved the existence of the pulsati…
▽ More
Using one-dimensional branching Brownian motion in a periodic environment, we give probabilistic proofs of the asymptotics and uniqueness of pulsating travelling waves of the F-KPP equation in a periodic environment. This paper is a sequel to [Ren et al. Branching Brownian motion in a periodic environment and existence of pulsating travelling waves], in which we proved the existence of the pulsating travelling waves in the supercritical and critical cases using the limits of the additive and derivative martingales of branching Brownian motion in a periodic environment.
△ Less
Submitted 22 February, 2022;
originally announced February 2022.
-
Branching Brownian motion in a periodic environment and existence of pulsating travelling waves
Authors:
Yan-Xia Ren,
Renming Song,
Fan Yang
Abstract:
We study the limits of the additive and derivative martingales of one-dimensional branching Brownian motion in a periodic environment. Then we prove the existence of pulsating travelling wave solutions of the corresponding F-KPP equation in the supercritical and critical cases by representing the solutions probabilistically in terms of the limits of the additive and derivative martingales. We also…
▽ More
We study the limits of the additive and derivative martingales of one-dimensional branching Brownian motion in a periodic environment. Then we prove the existence of pulsating travelling wave solutions of the corresponding F-KPP equation in the supercritical and critical cases by representing the solutions probabilistically in terms of the limits of the additive and derivative martingales. We also prove that there is no pulsating travelling wave solution in the subcritical case. Our main tools are the spine decomposition and martingale change of measures.
△ Less
Submitted 22 February, 2022;
originally announced February 2022.
-
Characterizing counterfactuals and dependencies over causal and generalized causal teams
Authors:
Fausto Barbero,
Fan Yang
Abstract:
We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we i…
▽ More
We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.
△ Less
Submitted 21 January, 2022;
originally announced January 2022.
-
Applications of spherical twist functors to Lie algebras associated to root categories of preprojective algebras
Authors:
Fan Xu,
Fang Yang
Abstract:
Let $Λ_Q$ be the preprojective algebra of a finite acyclic quiver $Q$ of non-Dynkin type and $D^b(\mathrm{rep}^n Λ_Q)$ be the bounded derived category of finite dimensional nilpotent $Λ_Q$-modules. We define spherical twist functors over the root category $\mathcal{R}_{Λ_Q}$ of $D^b(\mathrm{rep}^n Λ_Q)$ and then realize the Weyl group associated to $Q$ as certain subquotient of the automorphism gr…
▽ More
Let $Λ_Q$ be the preprojective algebra of a finite acyclic quiver $Q$ of non-Dynkin type and $D^b(\mathrm{rep}^n Λ_Q)$ be the bounded derived category of finite dimensional nilpotent $Λ_Q$-modules. We define spherical twist functors over the root category $\mathcal{R}_{Λ_Q}$ of $D^b(\mathrm{rep}^n Λ_Q)$ and then realize the Weyl group associated to $Q$ as certain subquotient of the automorphism group of the Ringel-Hall Lie algebra $\mathfrak{g}(\mathcal{R}_{Λ_Q})$ of $\mathcal{R}_{Λ_Q}$ induced by spherical twist functors. We also present a conjectural relation between certain Lie subalgebras of $\mathfrak{g}(\mathcal{R}_{Λ_Q})$ and $\mathfrak{g}(\mathcal{R}_Q)$, where $\mathfrak{g}(\mathcal{R}_Q)$ is the Ringe-Hall Lie algebra associated to the root category $\mathcal{R}_Q$ of $Q$.
△ Less
Submitted 29 August, 2022; v1 submitted 19 January, 2022;
originally announced January 2022.
-
Uniqueness of equilibrium states for Lorenz attractors in any dimension
Authors:
Maria Jose Pacifico,
Fan Yang,
Jiagang Yang
Abstract:
In this note, we consider the thermodynamic formalism for Lorenz attractors of flows in any dimension. Under a mild condition on the Hölder continuous potential function $φ$, we prove that for an open and dense subset of $C^1$ vector fields, every Lorenz attractor supports a unique equilibrium state. In particular, we obtain the uniqueness for the measure of maximal entropy.
In this note, we consider the thermodynamic formalism for Lorenz attractors of flows in any dimension. Under a mild condition on the Hölder continuous potential function $φ$, we prove that for an open and dense subset of $C^1$ vector fields, every Lorenz attractor supports a unique equilibrium state. In particular, we obtain the uniqueness for the measure of maximal entropy.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
Existence and uniqueness of equilibrium states for systems with specification at a fixed scale
Authors:
Maria Jose Pacifico,
Fan Yang,
Jiagang Yang
Abstract:
We consider the uniqueness of equilibrium states for dynamical systems that satisfy certain weak, non-uniform versions of specification, expansivity, and the Bowen property at a fixed scale. Following Climenhaga-Thompson's approach which was originally due to Bowen and Franco, we prove that equilibrium states are unique even when the weak specification assumption only holds on a small collection o…
▽ More
We consider the uniqueness of equilibrium states for dynamical systems that satisfy certain weak, non-uniform versions of specification, expansivity, and the Bowen property at a fixed scale. Following Climenhaga-Thompson's approach which was originally due to Bowen and Franco, we prove that equilibrium states are unique even when the weak specification assumption only holds on a small collection of orbit segments.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.