-
The spectral radius and the distance spectral radius of complements of block graphs
Authors:
Xu Chen,
Dongjun Fan,
Rongxiao Shao,
Guoping Wang
Abstract:
In this paper, we determine the graphs whose spectral radius and distance spectral radius attain maximum and minimum among all complements of clique trees. Furthermore, we also determine the graphs whose spectral radius and distance spectral radius attain minimum and maximum among all complements of block graphs, respectively.
In this paper, we determine the graphs whose spectral radius and distance spectral radius attain maximum and minimum among all complements of clique trees. Furthermore, we also determine the graphs whose spectral radius and distance spectral radius attain minimum and maximum among all complements of block graphs, respectively.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Spectral expansion properties of pseudorandom bipartite graphs
Authors:
Dandan Fan,
Xiaofeng Gu,
Huiqiu Lin
Abstract:
An $(a,b)$-biregular bipartite graph is a bipartite graph with bipartition $(X, Y)$ such that each vertex in $X$ has degree $a$ and each vertex in $Y$ has degree $b$. By the bipartite expander mixing lemma, biregular bipartite graphs have nice pseudorandom and expansion properties when the second largest adjacency eigenvalue is not large. In this paper, we prove several explicit properties of bire…
▽ More
An $(a,b)$-biregular bipartite graph is a bipartite graph with bipartition $(X, Y)$ such that each vertex in $X$ has degree $a$ and each vertex in $Y$ has degree $b$. By the bipartite expander mixing lemma, biregular bipartite graphs have nice pseudorandom and expansion properties when the second largest adjacency eigenvalue is not large. In this paper, we prove several explicit properties of biregular bipartite graphs from spectral perspectives. In particular, we show that for any $(a,b)$-biregular bipartite graph $G$, if the spectral gap is greater than $\frac{2(k-1)}{\sqrt{(a+1)(b+1)}}$, then $G$ is $k$-edge-connected; and if the spectral gap is at least $\frac{2k}{\sqrt{(a+1)(b+1)}}$, then $G$ has at least $k$ edge-disjoint spanning trees. We also prove that if the spectral gap is at least $\frac{(k-1)\max\{a,b\}}{2\sqrt{ab - (k-1)\max\{a,b\}}}$, then $G$ is $k$-connected for $k\ge 2$; and if the spectral gap is at least $\frac{6k+2\max\{a,b\}}{\sqrt{(a-1)(b-1)}}$, then $G$ has at least $k$ edge-disjoint spanning 2-connected subgraphs. We have stronger results in the paper.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Low Frequency Sampling in Model Predictive Path Integral Control
Authors:
Bogdan Vlahov,
Jason Gibson,
David D. Fan,
Patrick Spieler,
Ali-akbar Agha-mohammadi,
Evangelos A. Theodorou
Abstract:
Sampling-based model-predictive controllers have become a powerful optimization tool for planning and control problems in various challenging environments. In this paper, we show how the default choice of uncorrelated Gaussian distributions can be improved upon with the use of a colored noise distribution. Our choice of distribution allows for the emphasis on low frequency control signals, which c…
▽ More
Sampling-based model-predictive controllers have become a powerful optimization tool for planning and control problems in various challenging environments. In this paper, we show how the default choice of uncorrelated Gaussian distributions can be improved upon with the use of a colored noise distribution. Our choice of distribution allows for the emphasis on low frequency control signals, which can result in smoother and more exploratory samples. We use this frequency-based sampling distribution with Model Predictive Path Integral (MPPI) in both hardware and simulation experiments to show better or equal performance on systems with various speeds of input response.
△ Less
Submitted 18 April, 2024; v1 submitted 3 April, 2024;
originally announced April 2024.
-
A maximal oscillatory operator on compact manifolds
Authors:
Ziyao Liu,
Jiecheng Chen,
Dashan Fan
Abstract:
This is a continuation of our previous research about an oscillatory integral operator $T_{α, β}$ on compact manifolds $\mathbb{M}$. We prove the sharp $H^{p}$-$L^{p,\infty}$ boundedness on the maximal operator $T^{*}_{α, β}$ for all $0<p<1$. As applications, we first prove the sharp $H^{p}$-$L^{p,\infty}$ boundedness on the maximal operator corresponding to the Riesz means…
▽ More
This is a continuation of our previous research about an oscillatory integral operator $T_{α, β}$ on compact manifolds $\mathbb{M}$. We prove the sharp $H^{p}$-$L^{p,\infty}$ boundedness on the maximal operator $T^{*}_{α, β}$ for all $0<p<1$. As applications, we first prove the sharp $H^{p}$-$L^{p,\infty}$ boundedness on the maximal operator corresponding to the Riesz means $I_{k,α}(|\mathcal{L}|)$ associated with the Schrödinger type group $e^{is\mathcal{L}^{α/2}}$ and obtain the almost everywhere convergence of $I_{k,α}(|\mathcal{L}|)f(x,t)\to f(x)$ for all $f\in H^{p}$. Also, we are able to obtain the convergence speed of a combination operator from the solutions of the Cauchy problem of fractional Schrödinger equations. All results are even new on the n-torus $T^{n}$.
△ Less
Submitted 11 March, 2024; v1 submitted 7 March, 2024;
originally announced March 2024.
-
Eigenvalues and factors: a survey
Authors:
Dandan Fan,
Huiqiu Lin,
Hongliang Lu,
Suil O
Abstract:
A factor of a graph is a spanning subgraph satisfying some given conditions. An earlier survey of factors can be traced back to the Akiyama and Kano [J. Graph Theory, 1985, 9: 1-42] in which they described the characterization of factors in (bipartite) graphs and digraphs, respectively. Soon after, Kouider and Vestergaard summarized the findings related to connected factors [Graphs Combin., 2005,…
▽ More
A factor of a graph is a spanning subgraph satisfying some given conditions. An earlier survey of factors can be traced back to the Akiyama and Kano [J. Graph Theory, 1985, 9: 1-42] in which they described the characterization of factors in (bipartite) graphs and digraphs, respectively. Soon after, Kouider and Vestergaard summarized the findings related to connected factors [Graphs Combin., 2005, 21(1): 1-26]. Plummer extended the aforementioned research by providing a comprehensive overview of progress made in the study of graph factors and factorization from 1985 to 2003 [Discrete Math., 2007, 7-8: 791-821]. In this paper, we aim to summarize the relevant results regarding factors from the perspective of eigenvalues.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
Toughness and spectral radius in graphs
Authors:
Yuanyuan Chen,
Dandan Fan,
Huiqiu Lin
Abstract:
The Brouwer's toughness conjecture states that every $d$-regular connected graph always has $t(G)>\frac{d}λ-1$ where $λ$ is the second largest absolute eigenvalue of the adjacency matrix. In 1988, Enomoto introduced a variation of toughness $τ(G)$ of a graph $G$. By incorporating the variation of toughness and spectral conditions, we provide spectral conditions for a graph to be $τ$-tough (…
▽ More
The Brouwer's toughness conjecture states that every $d$-regular connected graph always has $t(G)>\frac{d}λ-1$ where $λ$ is the second largest absolute eigenvalue of the adjacency matrix. In 1988, Enomoto introduced a variation of toughness $τ(G)$ of a graph $G$. By incorporating the variation of toughness and spectral conditions, we provide spectral conditions for a graph to be $τ$-tough ($τ\geq 2$ is an integer) and to be $τ$-tough ($\frac{1}τ$ is a positive integer) with minimum degree $δ$, respectively. Additionally, we also investigate a analogous problem concerning balanced bipartite graphs.
△ Less
Submitted 14 October, 2023;
originally announced October 2023.
-
l-connectivity, l-edge-connectivity and spectral radius of graphs
Authors:
Dandan Fan,
Xiaofeng Gu,
Huiqiu Lin
Abstract:
Let G be a connected graph. The toughness of G is defined as t(G)=min{\frac{|S|}{c(G-S)}}, in which the minimum is taken over all proper subsets S\subset V(G) such that c(G-S)\geq 2 where c(G-S) denotes the number of components of G-S. Confirming a conjecture of Brouwer, Gu [SIAM J. Discrete Math. 35 (2021) 948--952] proved a tight lower bound on toughness of regular graphs in terms of the second…
▽ More
Let G be a connected graph. The toughness of G is defined as t(G)=min{\frac{|S|}{c(G-S)}}, in which the minimum is taken over all proper subsets S\subset V(G) such that c(G-S)\geq 2 where c(G-S) denotes the number of components of G-S. Confirming a conjecture of Brouwer, Gu [SIAM J. Discrete Math. 35 (2021) 948--952] proved a tight lower bound on toughness of regular graphs in terms of the second largest absolute eigenvalue. Fan, Lin and Lu [European J. Combin. 110 (2023) 103701] then studied the toughness of simple graphs from the spectral radius perspective. While the toughness is an important concept in graph theory, it is also very interesting to study |S| for which c(G-S)\geq l for a given integer l\geq 2. This leads to the concept of the l-connectivity, which is defined to be the minimum number of vertices of G whose removal produces a disconnected graph with at least l components or a graph with fewer than l vertices. Gu [European J. Combin. 92 (2021) 103255] discovered a lower bound on the l-connectivity of regular graphs via the second largest absolute eigenvalue. As a counterpart, we discover the connection between the l-connectivity of simple graphs and the spectral radius. We also study similar problems for digraphs and an edge version.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
Commutators for the maximal and sharp functions with weighted Lipschitz functions on weighted Morrey spaces
Authors:
Pu Zhang,
Di Fan
Abstract:
We study the boundedness of commutators of the Hardy-Littlewood maximal function and the sharp maximal function on weighted Morrey spaces when the symbols of the commutators belong to weighted Lipschitz spaces. Some new characterizations for weighted Lipschitz functions are obtained in term of the boundedness of the commutators.
We study the boundedness of commutators of the Hardy-Littlewood maximal function and the sharp maximal function on weighted Morrey spaces when the symbols of the commutators belong to weighted Lipschitz spaces. Some new characterizations for weighted Lipschitz functions are obtained in term of the boundedness of the commutators.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Spectral conditions for $k$-extendability and $k$-factors of bipartite graphs
Authors:
Dandan Fan,
Huiqiu Lin
Abstract:
Let $G$ be a connected graph. If $G$ contains a matching of size $k$, and every matching of size $k$ is contained in a perfect matching of $G$, then $G$ is said to be \emph{$k$-extendable}. A $k$-regular spanning subgraph of $G$ is called a \textit{$k$-factor}. In this paper, we provide spectral conditions for a (balanced bipartite) graph with minimum degree $δ$ to be $k$-extendable, and for the e…
▽ More
Let $G$ be a connected graph. If $G$ contains a matching of size $k$, and every matching of size $k$ is contained in a perfect matching of $G$, then $G$ is said to be \emph{$k$-extendable}. A $k$-regular spanning subgraph of $G$ is called a \textit{$k$-factor}. In this paper, we provide spectral conditions for a (balanced bipartite) graph with minimum degree $δ$ to be $k$-extendable, and for the existence of a $k$-factor in a balanced bipartite graph, respectively. Our results generalize some previous results on perfect matchings of graphs, and extend the results in \cite{D.F} and \cite{W.L} to $k$-extendable graphs. Furthermore, our results generalize the result of Lu, Liu and Tian \cite{Lu-Liu} to general regular factors. Additionally, using the equivalence of $k$ edge-disjoint perfect matchings and $k$-factors in balanced bipartite graphs, our results can derive a spectral condition for the existence of $k$ edge-disjoint perfect matchings in balanced bipartite graphs.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Spectral radius and edge-disjoint spanning trees
Authors:
Dandan Fan,
Xiaofeng Gu,
Huiqiu Lin
Abstract:
The spanning tree packing number of a graph $G$, denoted by $τ(G)$, is the maximum number of edge-disjoint spanning trees contained in $G$. The study of $τ(G)$ is one of the classic problems in graph theory. Cioabă and Wong initiated to investigate $τ(G)$ from spectral perspectives in 2012 and since then, $τ(G)$ has been well studied using the second largest eigenvalue of the adjacency matrix in t…
▽ More
The spanning tree packing number of a graph $G$, denoted by $τ(G)$, is the maximum number of edge-disjoint spanning trees contained in $G$. The study of $τ(G)$ is one of the classic problems in graph theory. Cioabă and Wong initiated to investigate $τ(G)$ from spectral perspectives in 2012 and since then, $τ(G)$ has been well studied using the second largest eigenvalue of the adjacency matrix in the past decade. In this paper, we further extend the results in terms of the number of edges and the spectral radius, respectively; and prove tight sufficient conditions to guarantee $τ(G)\geq k$ with extremal graphs characterized. Moreover, we confirm a conjecture of Ning, Lu and Wang on characterizing graphs with the maximum spectral radius among all graphs with a given order as well as fixed minimum degree and fixed edge connectivity. Our results have important applications in rigidity and nowhere-zero flows. We conclude with some open problems in the end.
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
Spectral radius and (globally) rigidity of graphs in $R^2$
Authors:
Dandan Fan,
Xueyi Huang,
Huiqiu Lin
Abstract:
Over the past half century, the rigidity of graphs in $R^2$ has aroused a great deal of interest. Lovász and Yemini (1982) proved that every $6$-connected graph is rigid in $R^2$. Jackson and Jordán (2005) provided a similar vertex-connectivity condition for the globally rigidity of graphs in $R^2$. These results imply that a graph $G$ with algebraic connectivity $μ(G)>5$ is (globally) rigid in…
▽ More
Over the past half century, the rigidity of graphs in $R^2$ has aroused a great deal of interest. Lovász and Yemini (1982) proved that every $6$-connected graph is rigid in $R^2$. Jackson and Jordán (2005) provided a similar vertex-connectivity condition for the globally rigidity of graphs in $R^2$. These results imply that a graph $G$ with algebraic connectivity $μ(G)>5$ is (globally) rigid in $R^2$. Cioabă, Dewar and Gu (2021) improved this bound, and proved that a graph $G$ with minimum degree $δ\geq 6$ is rigid in $R^2$ if $μ(G)>2+\frac{1}{δ-1}$, and is globally rigid in $R^2$ if $μ(G)>2+\frac{2}{δ-1}$. In this paper, we study the (globally) rigidity of graphs in $R^2$ from the viewpoint of adjacency eigenvalues. Specifically, we provide sufficient conditions for a 2-connected (resp. 3-connected) graph with given minimum degree to be rigid (resp. globally rigid) in terms of the spectral radius. Furthermore, we determine the unique graph attaining the maximum spectral radius among all minimally rigid graphs of order $n$.
△ Less
Submitted 26 May, 2022;
originally announced May 2022.
-
Toughness, hamiltonicity and spectral radius in graphs
Authors:
Dandan Fan,
Huiqiu Lin,
Hongliang Lu
Abstract:
The study of the existence of hamiltonian cycles in a graph is a classic problem in graph theory. By incorporating toughness and spectral conditions, we can consider Chvátal's conjecture from another perspective: what is the spectral condition to guarantee the existence of a hamiltonian cycle among $t$-tough graphs? We first give the answer to $1$-tough graphs, i.e. if $ρ(G)\geqρ(M_{n})$, then…
▽ More
The study of the existence of hamiltonian cycles in a graph is a classic problem in graph theory. By incorporating toughness and spectral conditions, we can consider Chvátal's conjecture from another perspective: what is the spectral condition to guarantee the existence of a hamiltonian cycle among $t$-tough graphs? We first give the answer to $1$-tough graphs, i.e. if $ρ(G)\geqρ(M_{n})$, then $G$ contains a hamiltonian cycle, unless $G\cong M_{n}$, where $M_{n}=K_{1}\nabla K_{n-4}^{+3}$ and $K_{n-4}^{+3}$ is the graph obtained from $3K_{1}\cup K_{n-4}$ by adding three independent edges between $3K_{1}$ and $K_{n-4}$. The Brouwer's toughness theorem states that every $d$-regular connected graph always has $t(G)>\frac{d}λ-1$ where $λ$ is the second largest absolute eigenvalue of the adjacency matrix. In this paper, we extend the result in terms of its spectral radius, i.e. we provide a spectral condition for a graph to be 1-tough with minimum degree $δ$ and to be $t$-tough, respectively.
△ Less
Submitted 5 April, 2022;
originally announced April 2022.
-
Spectral radius and $[a,b]$-factors in graphs
Authors:
Dandan Fan,
Huiqiu Lin,
Hongliang Lu
Abstract:
An $[a,b]$-factor of a graph $G$ is a spanning subgraph $H$ such that $a\leq d_{H}(v)\leq b$ for each $v\in V(G)$. In this paper, we provide spectral conditions for the existence of an odd $[1,b]$-factor in a connected graph with minimum degree $δ$ and the existence of an $[a,b]$-factor in a graph, respectively. Our results generalize and improve some previous results on perfect matchings of graph…
▽ More
An $[a,b]$-factor of a graph $G$ is a spanning subgraph $H$ such that $a\leq d_{H}(v)\leq b$ for each $v\in V(G)$. In this paper, we provide spectral conditions for the existence of an odd $[1,b]$-factor in a connected graph with minimum degree $δ$ and the existence of an $[a,b]$-factor in a graph, respectively. Our results generalize and improve some previous results on perfect matchings of graphs. For $a=1$, we extend the result of O\cite{S.O} to obtain an odd $[1,b]$-factor and further improve the result of Liu, Liu and Feng\cite{W.L} for $a=b=1$. For $n\geq 3a+b-1$, we confirm the conjecture of Cho, Hyun, O and Park\cite{E.C}. We conclude some open problems in the end.
△ Less
Submitted 2 November, 2021;
originally announced November 2021.
-
The spanning $k$-trees, perfect matchings and spectral radius of graphs
Authors:
Dandan Fan,
Sergey Goryainov,
Xueyi Huang,
Huiqiu Lin
Abstract:
A $k$-tree is a spanning tree in which every vertex has degree at most $k$. In this paper, we provide a sufficient condition for the existence of a $k$-tree in a connected graph with fixed order in terms of the adjacency spectral radius and the signless Laplacian spectral radius, respectively. Also, we give a similar condition for the existence of a perfect matching in a balanced bipartite graph w…
▽ More
A $k$-tree is a spanning tree in which every vertex has degree at most $k$. In this paper, we provide a sufficient condition for the existence of a $k$-tree in a connected graph with fixed order in terms of the adjacency spectral radius and the signless Laplacian spectral radius, respectively. Also, we give a similar condition for the existence of a perfect matching in a balanced bipartite graph with fixed order and minimum degree.
△ Less
Submitted 21 April, 2023; v1 submitted 26 March, 2021;
originally announced March 2021.
-
Characterization of boundedness on weighted modulation spaces of $τ$-Wigner distributions
Authors:
Weichao Guo,
Jiecheng Chen,
Dashan Fan,
Guoping Zhao
Abstract:
This paper is devoted to give several characterizations on a more general level for the boundedness of $τ$-Wigner distributions acting from weighted modulation spaces to weighted modulation and Wiener amalgam spaces. As applications, sharp exponents are obtained for the boundedness of $τ$-Wigner distributions on modulation spaces with power weights. We also recapture the main theorems of Wigner di…
▽ More
This paper is devoted to give several characterizations on a more general level for the boundedness of $τ$-Wigner distributions acting from weighted modulation spaces to weighted modulation and Wiener amalgam spaces. As applications, sharp exponents are obtained for the boundedness of $τ$-Wigner distributions on modulation spaces with power weights. We also recapture the main theorems of Wigner distribution obtained in \cite{CorderoNicola2018IMRNI,Cordero2020a}. As consequences, the characterizations of the boundedness on weighted modulation spaces of several types of pseudodifferential operators are established. In particular, we give the sharp exponents for the boundedness of pseudodifferential operators with symbols in Sjöstrand's class and the corresponding Wiener amalgam spaces.
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
Dynamics of A Single Population Model with Memory Effect and Spatial Heterogeneity
Authors:
Yujia Wang,
Chuncheng Wang,
Dejun Fan
Abstract:
In this paper, a single population model with memory effect and the heterogeneity of the environment, equipped with the Neumann boundary, is considered. The global existence of a spatial nonhomogeneous steady state is proved by the method of upper and lower solutions, which is asymptotically stable for relatively small memorized diffusion. However, after the memorized diffusion rate exceeding a cr…
▽ More
In this paper, a single population model with memory effect and the heterogeneity of the environment, equipped with the Neumann boundary, is considered. The global existence of a spatial nonhomogeneous steady state is proved by the method of upper and lower solutions, which is asymptotically stable for relatively small memorized diffusion. However, after the memorized diffusion rate exceeding a critical value, spatial inhomogeneous periodic solution can be generated through Hopf bifurcation, if the integral of intrinsic growth rate over the domain is negative. Such phenomenon will never happen, if only memorized diffusion or spatially heterogeneity is presented, and therefore must be induced by their joint effects. This indicates that the memorized diffusion will bring about spatial-temporal patterns in the overall hostile environment. When the integral of intrinsic growth rate over the domain is positive, it turns out that the steady state is still asymptotically stable. Finally, the possible dynamics of the model is also discussed, if the boundary condition is replaced by Dirichlet condition.
△ Less
Submitted 21 May, 2020;
originally announced May 2020.
-
Deep Learning Tubes for Tube MPC
Authors:
David D. Fan,
Ali-akbar Agha-mohammadi,
Evangelos A. Theodorou
Abstract:
Learning-based control aims to construct models of a system to use for planning or trajectory optimization, e.g. in model-based reinforcement learning. In order to obtain guarantees of safety in this context, uncertainty must be accurately quantified. This uncertainty may come from errors in learning (due to a lack of data, for example), or may be inherent to the system. Propagating uncertainty fo…
▽ More
Learning-based control aims to construct models of a system to use for planning or trajectory optimization, e.g. in model-based reinforcement learning. In order to obtain guarantees of safety in this context, uncertainty must be accurately quantified. This uncertainty may come from errors in learning (due to a lack of data, for example), or may be inherent to the system. Propagating uncertainty forward in learned dynamics models is a difficult problem. In this work we use deep learning to obtain expressive and flexible models of how distributions of trajectories behave, which we then use for nonlinear Model Predictive Control (MPC). We introduce a deep quantile regression framework for control that enforces probabilistic quantile bounds and quantifies epistemic uncertainty. Using our method we explore three different approaches for learning tubes that contain the possible trajectories of the system, and demonstrate how to use each of them in a Tube MPC scheme. We prove these schemes are recursively feasible and satisfy constraints with a desired margin of probability. We present experiments in simulation on a nonlinear quadrotor system, demonstrating the practical efficacy of these ideas.
△ Less
Submitted 4 June, 2020; v1 submitted 4 February, 2020;
originally announced February 2020.
-
The effect of a graft transformation on distance signless Laplacian spectral radius of the graphs
Authors:
Dandan Fan,
Guoping Wang,
Yinfeng Zhu
Abstract:
Suppose that the vertex set of a connected graph $G$ is $V(G)=\{v_1,\cdots,v_n\}$. Then we denote by $Tr_{G}(v_i)$ the sum of distances between $v_i$ and all other vertices of $G$. Let $Tr(G)$ be the $n\times n$ diagonal matrix with its $(i,i)$-entry equal to $Tr_{G}(v_{i})$ and $D(G)$ be the distance matrix of $G$. Then $Q_{D}(G)=Tr(G)+D(G)$ is the distance signless Laplacian matrix of $G$. The l…
▽ More
Suppose that the vertex set of a connected graph $G$ is $V(G)=\{v_1,\cdots,v_n\}$. Then we denote by $Tr_{G}(v_i)$ the sum of distances between $v_i$ and all other vertices of $G$. Let $Tr(G)$ be the $n\times n$ diagonal matrix with its $(i,i)$-entry equal to $Tr_{G}(v_{i})$ and $D(G)$ be the distance matrix of $G$. Then $Q_{D}(G)=Tr(G)+D(G)$ is the distance signless Laplacian matrix of $G$. The largest eigenvalues of $Q_D(G)$ is called distance signless Laplacian spectral radius of $G$. In this paper we give some graft transformations on distance signless Laplacian spectral radius of the graphs and use them to characterize the graphs with the minimum and maximal distance signless Laplacian spectral radius among non-starlike and non-caterpillar trees.
△ Less
Submitted 10 July, 2019;
originally announced July 2019.
-
Some graft transformations and their applications on distance (signless) Laplacian spectra of graphs
Authors:
Dandy Fan,
Guoping Wang
Abstract:
Suppose that the vertex set of a connected graph $G$ is $V(G)=\{v_1,\cdots,v_n\}$. Then we denote by $Tr_{G}(v_i)$ the sum of distances between $v_i$ and all other vertices of $G$. Let $Tr(G)$ be the $n\times n$ diagonal matrix with its $(i,i)$-entry equal to $Tr_{G}(v_{i})$ and $D(G)$ be the distance matrix of $G$. Then $Q_{D}(G)=Tr(G)+D(G)$ and $L_{D}(G)=Tr(G)-D(G)$ are respectively the distance…
▽ More
Suppose that the vertex set of a connected graph $G$ is $V(G)=\{v_1,\cdots,v_n\}$. Then we denote by $Tr_{G}(v_i)$ the sum of distances between $v_i$ and all other vertices of $G$. Let $Tr(G)$ be the $n\times n$ diagonal matrix with its $(i,i)$-entry equal to $Tr_{G}(v_{i})$ and $D(G)$ be the distance matrix of $G$. Then $Q_{D}(G)=Tr(G)+D(G)$ and $L_{D}(G)=Tr(G)-D(G)$ are respectively the distance signless Laplacian matrix and distance Laplacian matrix of $G$. The largest eigenvalues $ρ_{Q}(G)$ and $ρ_{L}(G)$ of $Q_D(G)$ and $L_D(G)$ are respectively called distance signless Laplacian spectral radius and distance Laplacian spectral radius of $G$. In this paper we give some graft transformations and use them to characterize the tree $T$ such that $ρ_{Q}(T)$ and $ρ_{L}(T)$ attain the maximum among all trees of order $n$ with given number of pendant vertices.
△ Less
Submitted 3 July, 2019;
originally announced July 2019.
-
Boundedness of iterated spherical average on modulation spaces
Authors:
Qiang Huang,
Dashan Fan
Abstract:
The spherical average $A_{1}(f)$ and its iteration $(A_{1})^{N}$ are important operators in harmonic analysis and probability theory. Also $Δ(A_{1})^{N}$ is used to study the $K$ functional in approximation theory, where $Δ$ is the Laplace operator. In this paper, we obtain the sufficient and necessary conditions to ensure the boundedness of $Δ(A_{1})^{N}$ from the modulation space…
▽ More
The spherical average $A_{1}(f)$ and its iteration $(A_{1})^{N}$ are important operators in harmonic analysis and probability theory. Also $Δ(A_{1})^{N}$ is used to study the $K$ functional in approximation theory, where $Δ$ is the Laplace operator. In this paper, we obtain the sufficient and necessary conditions to ensure the boundedness of $Δ(A_{1})^{N}$ from the modulation space $M_{p_{1},q_{1}}^{s_{1}}$ to the modulation space $M_{p_{2},q_{2}}^{s_{2}}$ for $1\leq p_{1},p_{2},q_{1},q_{2}\leq \infty $ and $s_{1},s_{2}\in \mathbb{R}$.
△ Less
Submitted 15 January, 2019;
originally announced January 2019.
-
Schrödinger Approach to Optimal Control of Large-Size Populations
Authors:
Kaivalya Bakshi,
David D. Fan,
Evangelos A. Theodorou
Abstract:
Large-size populations consisting of a continuum of identical and non-cooperative agents with stochastic dynamics are useful in modeling various biological and engineered systems. This paper addresses the stochastic control problem of designing optimal state-feedback controllers which guarantee the closed-loop stability of the stationary density of such agents with nonlinear Langevin dynamics, und…
▽ More
Large-size populations consisting of a continuum of identical and non-cooperative agents with stochastic dynamics are useful in modeling various biological and engineered systems. This paper addresses the stochastic control problem of designing optimal state-feedback controllers which guarantee the closed-loop stability of the stationary density of such agents with nonlinear Langevin dynamics, under the action of their individual steady state controls. We represent the corresponding coupled forward-backward PDEs as decoupled Schrödinger equations, by applying two variable transforms. Spectral properties of the linear Schrödinger operator which underlie the stability analysis are used to obtain explicit control design constraints. Our interpretation of the Schrödinger potential as the cost function of a closely related optimal control problem motivates a quadrature based algorithm to compute the finite-time optimal control.
△ Less
Submitted 28 March, 2020; v1 submitted 14 October, 2018;
originally announced October 2018.
-
Almost everywhere divergence of spherical harmonic expansions and equivalence of summation methods
Authors:
Xianghong Chen,
Dashan Fan,
Juan Zhang
Abstract:
We show that there exists an integrable function on the $n$-sphere $(n\ge 2)$, whose Cesàro (C,$\frac{n-1}{2}$) means with respect to the spherical harmonic expansion diverge unboundedly almost everywhere. By studying equivalence theorems, we also obtain the corresponding results for Riesz and Bochner-Riesz means. This extends results of Stein (1961) for flat tori and complements the work of Taibl…
▽ More
We show that there exists an integrable function on the $n$-sphere $(n\ge 2)$, whose Cesàro (C,$\frac{n-1}{2}$) means with respect to the spherical harmonic expansion diverge unboundedly almost everywhere. By studying equivalence theorems, we also obtain the corresponding results for Riesz and Bochner-Riesz means. This extends results of Stein (1961) for flat tori and complements the work of Taibleson (1985) for spheres.
△ Less
Submitted 10 June, 2018;
originally announced June 2018.
-
Weighted Morrey estimates for Hausdorff operator and its commutator on the Heisenberg group
Authors:
Jianmiao Ruan,
Dashan Fan,
Qingyan Wu
Abstract:
In this paper, we study the high-dimensional Hausdorff operators, defined via a general linear mapping $A$, and their commutators on the weighted Morrey spaces in the setting of the Heisenberg group. Particularly, under some assumption on the mapping $A$, we establish their sharp boundedness on the power weighted Morrey spaces.
In this paper, we study the high-dimensional Hausdorff operators, defined via a general linear mapping $A$, and their commutators on the weighted Morrey spaces in the setting of the Heisenberg group. Particularly, under some assumption on the mapping $A$, we establish their sharp boundedness on the power weighted Morrey spaces.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
Hausdorff operators on modulation and Wiener amalgam spaces
Authors:
Guoping Zhao,
Dashan Fan,
Weichao Guo
Abstract:
We give the sharp conditions for boundedness of Hausdorff operators on certain modulation and Wiener amalgam spaces.
We give the sharp conditions for boundedness of Hausdorff operators on certain modulation and Wiener amalgam spaces.
△ Less
Submitted 24 September, 2017;
originally announced September 2017.
-
Restriction of the Fourier transform to some oscillating curves
Authors:
Xianghong Chen,
Dashan Fan,
Lifeng Wang
Abstract:
Let $φ$ be a smooth function on a compact interval $I$. Let $$γ(t)=\left (t,t^2,\cdots,t^{n-1},φ(t)\right).$$ In this paper, we show that $$\left(\int_I \big|\hat f(γ(t))\big|^q \big|φ^{(n)}(t)\big|^{\frac{2}{n(n+1)}} dt\right)^{1/q}\le C\|f\|_{L^p(\mathbb R^n)}$$ holds in the range $$1\le p<\frac{n^2+n+2}{n^2+n},\quad 1\le q<\frac{2}{n^2+n}p'.$$ This generalizes an affine restriction theorem of S…
▽ More
Let $φ$ be a smooth function on a compact interval $I$. Let $$γ(t)=\left (t,t^2,\cdots,t^{n-1},φ(t)\right).$$ In this paper, we show that $$\left(\int_I \big|\hat f(γ(t))\big|^q \big|φ^{(n)}(t)\big|^{\frac{2}{n(n+1)}} dt\right)^{1/q}\le C\|f\|_{L^p(\mathbb R^n)}$$ holds in the range $$1\le p<\frac{n^2+n+2}{n^2+n},\quad 1\le q<\frac{2}{n^2+n}p'.$$ This generalizes an affine restriction theorem of Sjölin (1974) for $n=2$. Our proof relies on ideas of Sjölin (1974) and Drury (1985), and more recently Bak-Oberlin-Seeger (2008) and Stovall (2016), as well as a variation bound for smooth functions.
△ Less
Submitted 2 January, 2017;
originally announced January 2017.
-
Almost everywhere convergence of Bochner-Riesz means on some Sobolev type spaces
Authors:
Dashan Fan,
Fayou Zhao
Abstract:
In this paper, we investigate the convergence of the Bochner-Riesz means on some Sobolev type spaces including $L^p$-Sobolev spaces $(p\geq 1)$ and $H^q$-Sobolev spaces $(0<q<1)$. The relation between the smoothness imposed on functions and the rate of almost everywhere convergence of the generalized Bochner-Riesz means is given.
In this paper, we investigate the convergence of the Bochner-Riesz means on some Sobolev type spaces including $L^p$-Sobolev spaces $(p\geq 1)$ and $H^q$-Sobolev spaces $(0<q<1)$. The relation between the smoothness imposed on functions and the rate of almost everywhere convergence of the generalized Bochner-Riesz means is given.
△ Less
Submitted 4 August, 2016;
originally announced August 2016.
-
Output Observability of Systems Over Finite Alphabets with Linear Internal Dynamics
Authors:
Donglei Fan,
Danielle C. Tarraf
Abstract:
We consider a class of systems over finite alphabets with linear internal dynamics, finite-valued control inputs and finitely quantized outputs. We motivate the need for a new notion of observability and propose three new notions of output observability, thereby shifting our attention to the problem of state estimation for output prediction. We derive necessary and sufficient conditions for a syst…
▽ More
We consider a class of systems over finite alphabets with linear internal dynamics, finite-valued control inputs and finitely quantized outputs. We motivate the need for a new notion of observability and propose three new notions of output observability, thereby shifting our attention to the problem of state estimation for output prediction. We derive necessary and sufficient conditions for a system to be output observable, algorithmic procedures to verify these conditions, and a construction of finite memory output observers when certain conditions are met. We conclude with simple illustrative examples.
△ Less
Submitted 11 July, 2016;
originally announced July 2016.
-
Full Characterization of embedding relations between alpha modulation spaces
Authors:
Weichao Guo,
Dashan Fan,
Huoxiong Wu,
Guoping Zhao
Abstract:
In this paper, we consider the embedding relations between any two $α$% -modulation spaces. Based on an observation that the $α$-modulation space with smaller $α$ can be regarded as a corresponding $α$% -modulation space with larger $α$, we give a complete characterization of the Fourier multipliers between $α$-modulation spaces with different $α$. Then we establish a full version of optimal embed…
▽ More
In this paper, we consider the embedding relations between any two $α$% -modulation spaces. Based on an observation that the $α$-modulation space with smaller $α$ can be regarded as a corresponding $α$% -modulation space with larger $α$, we give a complete characterization of the Fourier multipliers between $α$-modulation spaces with different $α$. Then we establish a full version of optimal embedding relations between $α$-modulation spaces. As an application, we determine that the bounded operators commuting with translations between $α$-modulation spaces are of convolution type.
△ Less
Submitted 21 July, 2016; v1 submitted 4 June, 2016;
originally announced June 2016.
-
Characterization of Some Properties on Weighted Modulation Spaces
Authors:
Weichao Guo,
Jiecheng Chen,
Dashan Fan,
Guoping Zhao
Abstract:
In this paper, some properties on weighted modulation and Wiener amalgam spaces are characterized by the corresponding properties on weighted Lebesgue spaces. As applications, sharp conditions for product inequalities, convolution inequalities and embedding on weighted modulation and Wiener amalgam spaces are obtained. These applications improve and extend many known results.
In this paper, some properties on weighted modulation and Wiener amalgam spaces are characterized by the corresponding properties on weighted Lebesgue spaces. As applications, sharp conditions for product inequalities, convolution inequalities and embedding on weighted modulation and Wiener amalgam spaces are obtained. These applications improve and extend many known results.
△ Less
Submitted 9 February, 2016;
originally announced February 2016.
-
Sharp Weighted Convolution Inequalities and Some Applications
Authors:
Weichao Guo,
Dashan Fan,
Huoxiong Wu,
Guoping Zhao
Abstract:
In this paper, the index groups for which the weighted Young's inequalities hold in both continuous case and discrete case are characterized. As applications, the index groups for the product inequalities on modulation spaces are characterized, we also obtain the weakest conditions for the boundedness of bilinear Fourier multipliers on modulation spaces in some sense. For the fractional integral o…
▽ More
In this paper, the index groups for which the weighted Young's inequalities hold in both continuous case and discrete case are characterized. As applications, the index groups for the product inequalities on modulation spaces are characterized, we also obtain the weakest conditions for the boundedness of bilinear Fourier multipliers on modulation spaces in some sense. For the fractional integral operator, the sharp conditions for the boundedness of power weighted Lp-Lq estimates in both continuous case and discrete case are obtained. By a quite different approach from others, our theorems optimize some previous results which are committed to finding sharp conditions for some classical convolution inequalities.
△ Less
Submitted 6 September, 2017; v1 submitted 8 February, 2016;
originally announced February 2016.
-
On almost everywhere divergence of Bochner-Riesz means on compact Lie groups
Authors:
Xianghong Chen,
Dashan Fan
Abstract:
Let $G$ be a connected, simply connected, compact semisimple Lie group of dimension $n$. It has been shown by Clerc \cite{Clerc1974} that, for any $f\in L^1(G)$, the Bochner-Riesz mean $S_R^δ(f)$ converges almost everywhere to $f$, provided $δ>(n-1)/2$. In this paper, we show that, at the critical index $δ=(n-1)/2$, there exists an $f\in L^1(G)$ such that…
▽ More
Let $G$ be a connected, simply connected, compact semisimple Lie group of dimension $n$. It has been shown by Clerc \cite{Clerc1974} that, for any $f\in L^1(G)$, the Bochner-Riesz mean $S_R^δ(f)$ converges almost everywhere to $f$, provided $δ>(n-1)/2$. In this paper, we show that, at the critical index $δ=(n-1)/2$, there exists an $f\in L^1(G)$ such that $$\limsup_{R\rightarrow\infty} \big|S_{R}^{(n-1)/2}(f)(x)\big|=\infty, \ \text{a.e.}\ x\in G.$$ This is an analogue of a well-known result of Kolmogorov \cite{Kolmogoroff1923} for Fourier series on the circle, and a result of Stein \cite{Stein1961} for Bochner-Riesz means on the tori $\mathbb T^{n}, n\geq 2$. We also study localization properties of the Bochner-Riesz mean $S_{R}^{(n-1)/2}(f)$ for $f\in L^1(G)$.
△ Less
Submitted 24 October, 2016; v1 submitted 23 January, 2016;
originally announced January 2016.
-
Finite Uniform Bisimulations for Linear Systems with Finite Input Alphabets
Authors:
Donglei Fan,
Danielle C. Tarraf
Abstract:
We consider a class of systems over finite alphabets, namely discrete-time systems with linear dynamics and a finite input alphabet. We formulate a notion of finite uniform bisimulation, and motivate and propose a notion of regular finite uniform bisimulation. We derive sufficient conditions for the existence of finite uniform bisimulations, and propose and analyze algorithms to compute finite uni…
▽ More
We consider a class of systems over finite alphabets, namely discrete-time systems with linear dynamics and a finite input alphabet. We formulate a notion of finite uniform bisimulation, and motivate and propose a notion of regular finite uniform bisimulation. We derive sufficient conditions for the existence of finite uniform bisimulations, and propose and analyze algorithms to compute finite uniform bisimulations when the sufficient conditions are satisfied. We investigate the necessary conditions, and conclude with a set of illustrative examples.
△ Less
Submitted 14 October, 2015;
originally announced October 2015.
-
A bilinear oscillatory integral along parabolas
Authors:
Dashan Fan,
Xiaochun Li
Abstract:
We establish an $L^\infty\times L^2 \to L^2$ norm estimate for a bilinear oscillatory integral along parabolas incorporating oscillatory factors $e^{i|t|^{-β}}$.
We establish an $L^\infty\times L^2 \to L^2$ norm estimate for a bilinear oscillatory integral along parabolas incorporating oscillatory factors $e^{i|t|^{-β}}$.
△ Less
Submitted 10 July, 2008; v1 submitted 18 September, 2007;
originally announced September 2007.
-
Convex Hypersurfaces and $L^p$ Estimates for Schrödinger Equations
Authors:
Quan Zheng,
Xiaohua Yao,
Da Fan
Abstract:
This paper is concerned with Schrödinger equations whose principal operators are homogeneous elliptic. When the corresponding level hypersurface is convex, we show the $L^p$-$L^q$ estimate of solution operator in free case. This estimate, combining with the results of fractionally integrated groups, allows us to further obtain the $L^p$ estimate of solutions for the initial data belonging to a d…
▽ More
This paper is concerned with Schrödinger equations whose principal operators are homogeneous elliptic. When the corresponding level hypersurface is convex, we show the $L^p$-$L^q$ estimate of solution operator in free case. This estimate, combining with the results of fractionally integrated groups, allows us to further obtain the $L^p$ estimate of solutions for the initial data belonging to a dense subset of $L^p$ in the case of integrable potentials.
△ Less
Submitted 27 April, 2004; v1 submitted 19 March, 2004;
originally announced March 2004.