-
Connectedness of the Gromov boundary of fine curve graphs
Authors:
Yusen Long,
Dong Tan
Abstract:
In this paper, we study the topological properties of the Gromov boundary of the fine curve graph of an orientable finite-type surface of genus at least 2. This graph consisting of topological curves has much richer dynamics than the classical curve graph. Using the techniques introduced by Wright [Wri23], we show that this boundary is (path) connected and that the spheres in non-separating fine c…
▽ More
In this paper, we study the topological properties of the Gromov boundary of the fine curve graph of an orientable finite-type surface of genus at least 2. This graph consisting of topological curves has much richer dynamics than the classical curve graph. Using the techniques introduced by Wright [Wri23], we show that this boundary is (path) connected and that the spheres in non-separating fine curve graph are connected.
△ Less
Submitted 28 February, 2024; v1 submitted 27 January, 2024;
originally announced January 2024.
-
Three closed characteristics on non-degenerate star-shaped hypersurfaces in $\mathbf{R}^{6}$
Authors:
Huagui Duan,
Hui Liu,
Yiming Long,
Zihao Qi,
Wei Wang
Abstract:
In this paper, we prove that for every non-degenerate $C^3$ compact star-shaped hypersurface $Σ$ in $\mathbf{R}^{6}$ which carries no prime closed characteristic of Maslov-type index $0$ or no prime closed characteristic of Maslov-type index $-1$, there exist at least three prime closed characteristics on $Σ$.
In this paper, we prove that for every non-degenerate $C^3$ compact star-shaped hypersurface $Σ$ in $\mathbf{R}^{6}$ which carries no prime closed characteristic of Maslov-type index $0$ or no prime closed characteristic of Maslov-type index $-1$, there exist at least three prime closed characteristics on $Σ$.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
A Fast and Provable Algorithm for Sparse Phase Retrieval
Authors:
Jian-Feng Cai,
Yu Long,
Ruixue Wen,
Jiaxi Ying
Abstract:
We study the sparse phase retrieval problem, which seeks to recover a sparse signal from a limited set of magnitude-only measurements. In contrast to prevalent sparse phase retrieval algorithms that primarily use first-order methods, we propose an innovative second-order algorithm that employs a Newton-type method with hard thresholding. This algorithm overcomes the linear convergence limitations…
▽ More
We study the sparse phase retrieval problem, which seeks to recover a sparse signal from a limited set of magnitude-only measurements. In contrast to prevalent sparse phase retrieval algorithms that primarily use first-order methods, we propose an innovative second-order algorithm that employs a Newton-type method with hard thresholding. This algorithm overcomes the linear convergence limitations of first-order methods while preserving their hallmark per-iteration computational efficiency. We provide theoretical guarantees that our algorithm converges to the $s$-sparse ground truth signal $\mathbf{x}^{\natural} \in \mathbb{R}^n$ (up to a global sign) at a quadratic convergence rate after at most $O(\log (\Vert\mathbf{x}^{\natural} \Vert /x_{\min}^{\natural}))$ iterations, using $Ω(s^2\log n)$ Gaussian random samples. Numerical experiments show that our algorithm achieves a significantly faster convergence rate than state-of-the-art methods.
△ Less
Submitted 19 March, 2024; v1 submitted 5 September, 2023;
originally announced September 2023.
-
Big map** class groups are not extremely amenable
Authors:
Yusen Long
Abstract:
This paper uses the renowned Kechris-Pestov-Todorčević machinery to show that (big) map** class groups are not extremely amenable unless the underlying surface is a sphere or a once-punctured sphere, or equivalently when the map** class group is trivial. The same techniques also show that the pure map** class groups, as well as compactly supported map** class groups, of a surface with genu…
▽ More
This paper uses the renowned Kechris-Pestov-Todorčević machinery to show that (big) map** class groups are not extremely amenable unless the underlying surface is a sphere or a once-punctured sphere, or equivalently when the map** class group is trivial. The same techniques also show that the pure map** class groups, as well as compactly supported map** class groups, of a surface with genus at least one can never be extremely amenable.
△ Less
Submitted 14 September, 2023; v1 submitted 23 July, 2023;
originally announced July 2023.
-
Hyperbolic embedding of infinite-dimensional convex bodies
Authors:
Yusen Long
Abstract:
In this article, we use the second intrinsic volume to define a metric on the space of homothetic classes of Gaussian bounded convex bodies in a separable real Hilbert space. Using kernels of hyperbolic type, we can deduce that this space is isometrically embedded into an infinite-dimensional real hyperbolic space. Applying Malliavin calculus, it is possible to adapt integral geometry for convex b…
▽ More
In this article, we use the second intrinsic volume to define a metric on the space of homothetic classes of Gaussian bounded convex bodies in a separable real Hilbert space. Using kernels of hyperbolic type, we can deduce that this space is isometrically embedded into an infinite-dimensional real hyperbolic space. Applying Malliavin calculus, it is possible to adapt integral geometry for convex bodies in infinite dimensions. Moreover, we give a new formula for computing second intrinsic volumes of convex bodies and offer a description of the completion for the hyperbolic embedding of Gaussian bounded convex bodies with dimension at least two and thus answer a question asked by Debin and Fillastre [DF22].
△ Less
Submitted 30 May, 2023; v1 submitted 22 May, 2023;
originally announced May 2023.
-
Generalized common index jump theorem with applications to closed characteristics on star-shaped hypersurfaces and beyond
Authors:
Huagui Duan,
Hui Liu,
Yiming Long,
Wei Wang
Abstract:
In this paper, we first generalize the common index jump theorem of Long-Zhu in 2002 and Duan-Long-Wang in 2016 to the case where the mean indices of symplectic paths are not required to be all positive. As applications, we study closed characteristics on compact star-shaped hypersurfaces in ${\bf R}^{2n}$, when both positive and negative mean indices may appear simultaneously. Specially we establ…
▽ More
In this paper, we first generalize the common index jump theorem of Long-Zhu in 2002 and Duan-Long-Wang in 2016 to the case where the mean indices of symplectic paths are not required to be all positive. As applications, we study closed characteristics on compact star-shaped hypersurfaces in ${\bf R}^{2n}$, when both positive and negative mean indices may appear simultaneously. Specially we establish the existence of at least $n$ geometrically distinct closed characteristics on every compact non-degenerate perfect star-shaped hypersurface $Σ$ in ${\bf R}^{2n}$ provided that every prime closed characteristic possesses nonzero mean index. Furthermore, in the case of ${\bf R}^6$ we remove the nonzero mean index condition by showing that the existence of only finitely many geometrically distinct closed characteristics implies that each of them must possess nonzero mean index. We also generalize the above results about closed characteristics on non-degenerate star-shaped hypersurfaces to closed Reeb orbits of non-degenerate contact forms on a broad class of prequantization bundles.
△ Less
Submitted 22 February, 2024; v1 submitted 14 May, 2022;
originally announced May 2022.
-
ICLR 2021 Challenge for Computational Geometry & Topology: Design and Results
Authors:
Nina Miolane,
Matteo Caorsi,
Umberto Lupo,
Marius Guerard,
Nicolas Guigui,
Johan Mathe,
Yann Cabanes,
Wojciech Reise,
Thomas Davies,
António Leitão,
Somesh Mohapatra,
Saiteja Utpala,
Shailja Shailja,
Gabriele Corso,
Guoxi Liu,
Federico Iuricich,
Andrei Manolache,
Mihaela Nistor,
Matei Bejan,
Armand Mihai Nicolicioiu,
Bogdan-Alexandru Luchian,
Mihai-Sorin Stupariu,
Florent Michel,
Khanh Dao Duc,
Bilal Abdulrahman
, et al. (8 additional authors not shown)
Abstract:
This paper presents the computational challenge on differential geometry and topology that happened within the ICLR 2021 workshop "Geometric and Topological Representation Learning". The competition asked participants to provide creative contributions to the fields of computational geometry and topology through the open-source repositories Geomstats and Giotto-TDA. The challenge attracted 16 teams…
▽ More
This paper presents the computational challenge on differential geometry and topology that happened within the ICLR 2021 workshop "Geometric and Topological Representation Learning". The competition asked participants to provide creative contributions to the fields of computational geometry and topology through the open-source repositories Geomstats and Giotto-TDA. The challenge attracted 16 teams in its two month duration. This paper describes the design of the challenge and summarizes its main findings.
△ Less
Submitted 25 August, 2021; v1 submitted 22 August, 2021;
originally announced August 2021.
-
Exact-$2$-Relation Graphs
Authors:
Yang**g Long,
Peter F. Stadler
Abstract:
Pairwise compatibility graphs (PCGs) with non-negative integer edge weights recently have been used to describe rare evolutionary events and scenarios with horizontal gene transfer. Here we consider the case that vertices are separated by exactly two discrete events: Given a tree $T$ with leaf set $L$ and edge-weights $λ: E(T)\to\mathbb{N}_0$, the non-negative integer pairwise compatibility graph…
▽ More
Pairwise compatibility graphs (PCGs) with non-negative integer edge weights recently have been used to describe rare evolutionary events and scenarios with horizontal gene transfer. Here we consider the case that vertices are separated by exactly two discrete events: Given a tree $T$ with leaf set $L$ and edge-weights $λ: E(T)\to\mathbb{N}_0$, the non-negative integer pairwise compatibility graph $\textrm{nniPCG}(T,λ,2,2)$ has vertex set $L$ and $xy$ is an edge whenever the sum of the non-negative integer weights along the unique path from $x$ to $y$ in $T$ equals $2$. A graph $G$ has a representation as $\textrm{nniPCG}(T,λ,2,2)$ if and only if its point-determining quotient $G/\!\rthin$ is a block graph, where two vertices are in relation $\rthin$ if they have the same neighborhood in $G$. If $G$ is of this type, a labeled tree $(T,λ)$ explaining $G$ can be constructed efficiently. In addition, we consider an oriented version of this class of graphs.
△ Less
Submitted 24 May, 2020;
originally announced May 2020.
-
Linear stability of the elliptic relative equilibrium with $(1 +n)$-gon central configurations in planar $n$-body problem
Authors:
Xijun Hu,
Yiming Long,
Yuwei Ou
Abstract:
We study the linear stability of $(1+n)$-gon elliptic relative equilibrium (ERE for short), that is the Kepler homographic solution with the $(1+n)$-gon central configurations. We show that for $n\geq 8$ and any eccentricity $e\in[0,1)$, the $(1+n)$-gon ERE is stable when the central mass $m$ is large enough. Some linear instability results are given when $m$ is small.
We study the linear stability of $(1+n)$-gon elliptic relative equilibrium (ERE for short), that is the Kepler homographic solution with the $(1+n)$-gon central configurations. We show that for $n\geq 8$ and any eccentricity $e\in[0,1)$, the $(1+n)$-gon ERE is stable when the central mass $m$ is large enough. Some linear instability results are given when $m$ is small.
△ Less
Submitted 25 March, 2019;
originally announced March 2019.
-
Unrooted non-binary tree-based phylogenetic networks
Authors:
Mareike Fischer,
Michelle Galla,
Lina Herbst,
Yang**g Long,
Kristina Wicke
Abstract:
Phylogenetic networks are a generalization of phylogenetic trees allowing for the representation of non-treelike evolutionary events such as hybridization. Typically, such networks have been analyzed based on their `level', i.e. based on the complexity of their 2-edge-connected components. However, recently the question of how `treelike' a phylogenetic network is has become the center of attention…
▽ More
Phylogenetic networks are a generalization of phylogenetic trees allowing for the representation of non-treelike evolutionary events such as hybridization. Typically, such networks have been analyzed based on their `level', i.e. based on the complexity of their 2-edge-connected components. However, recently the question of how `treelike' a phylogenetic network is has become the center of attention in various studies. This led to the introduction of \emph{tree-based networks}, i.e. networks that can be constructed from a phylogenetic tree, called the \emph{base tree}, by adding additional edges. While the concept of tree-basedness was originally introduced for rooted phylogenetic networks, it has recently also been considered for unrooted networks. In the present study, we compare and contrast findings obtained for unrooted \emph{binary} tree-based networks to unrooted \emph{non-binary} networks. In particular, while it is known that up to level 4 all unrooted binary networks are tree-based, we show that in the case of non-binary networks, this result only holds up to level 3.
△ Less
Submitted 7 May, 2020; v1 submitted 16 October, 2018;
originally announced October 2018.
-
Classes of treebased networks
Authors:
Mareike Fischer,
Michelle Galla,
Lina Herbst,
Yang**g Long,
Kristina Wicke
Abstract:
Recently, so-called treebased phylogenetic networks have gained considerable interest in the literature, where a treebased network is a network that can be constructed from a phylogenetic tree, called the base tree, by adding additional edges. The main aim of this manuscript is to provide some sufficient criteria for treebasedness by reducing phylogenetic networks to related graph structures. Whil…
▽ More
Recently, so-called treebased phylogenetic networks have gained considerable interest in the literature, where a treebased network is a network that can be constructed from a phylogenetic tree, called the base tree, by adding additional edges. The main aim of this manuscript is to provide some sufficient criteria for treebasedness by reducing phylogenetic networks to related graph structures. While it is generally known that deciding whether a network is treebased is NP-complete, one of these criteria, namely edgebasedness, can be verified in linear time. Surprisingly, the class of edgebased networks is closely related to a well-known family of graphs, namely the class of generalized series parallel graphs, and we will explore this relationship in full detail. Additionally, we introduce further classes of treebased networks and analyze their relationships.
△ Less
Submitted 27 November, 2019; v1 submitted 16 October, 2018;
originally announced October 2018.
-
Concentrated steady vorticities of the Euler equation on 2-d domains and their linear stability
Authors:
Yiming Long,
Yuchen Wang,
Chongchun Zeng
Abstract:
We consider concentrated vorticities for the Euler equation on a smooth domain $Ω\subset \mathbf{R}^2$ in the form of \[ ω= \sum_{j=1}^N ω_j χ_{Ω_j}, \quad |Ω_j| = πr_j^2, \quad \int_{Ω_j} ω_j dμ=μ_j \ne 0, \] supported on well-separated vortical domains $Ω_j$, $j=1, \ldots, N$, of small diameters $O(r_j)$. A conformal map** framework is set up to study this free boundary problem with $Ω_j$ bein…
▽ More
We consider concentrated vorticities for the Euler equation on a smooth domain $Ω\subset \mathbf{R}^2$ in the form of \[ ω= \sum_{j=1}^N ω_j χ_{Ω_j}, \quad |Ω_j| = πr_j^2, \quad \int_{Ω_j} ω_j dμ=μ_j \ne 0, \] supported on well-separated vortical domains $Ω_j$, $j=1, \ldots, N$, of small diameters $O(r_j)$. A conformal map** framework is set up to study this free boundary problem with $Ω_j$ being part of unknowns. For any given vorticities $μ_1, \ldots, μ_N$ and small $r_1, \ldots, r_N\in \mathbf{R}^+$, through a perturbation approach, we obtain such piecewise constant steady vortex patches as well as piecewise smooth Lipschitz steady vorticities, both concentrated near non-degenerate critical configurations of the Kirchhoff-Routh Hamiltonian function. When vortex patch evolution is considered as the boundary dynamics of $\partial Ω_j$, through an invariant subspace decomposition, it is also proved that the spectral/linear stability of such steady vortex patches is largely determined by that of the $2N$-dimensional linearized point vortex dynamics, while the motion is highly oscillatory in the $2N$-codim directions corresponding to the vortical domain shapes.
△ Less
Submitted 22 February, 2019; v1 submitted 17 September, 2018;
originally announced September 2018.
-
SPULTRA: Low-Dose CT Image Reconstruction with Joint Statistical and Learned Image Models
Authors:
Siqi Ye,
Saiprasad Ravishankar,
Yong Long,
Jeffrey A. Fessler
Abstract:
Low-dose CT image reconstruction has been a popular research topic in recent years. A typical reconstruction method based on post-log measurements is called penalized weighted-least squares (PWLS). Due to the underlying limitations of the post-log statistical model, the PWLS reconstruction quality is often degraded in low-dose scans. This paper investigates a shifted-Poisson (SP) model based likel…
▽ More
Low-dose CT image reconstruction has been a popular research topic in recent years. A typical reconstruction method based on post-log measurements is called penalized weighted-least squares (PWLS). Due to the underlying limitations of the post-log statistical model, the PWLS reconstruction quality is often degraded in low-dose scans. This paper investigates a shifted-Poisson (SP) model based likelihood function that uses the pre-log raw measurements that better represents the measurement statistics, together with a data-driven regularizer exploiting a Union of Learned TRAnsforms (SPULTRA). Both the SP induced data-fidelity term and the regularizer in the proposed framework are nonconvex. The proposed SPULTRA algorithm uses quadratic surrogate functions for the SP induced data-fidelity term. Each iteration involves a quadratic subproblem for updating the image, and a sparse coding and clustering subproblem that has a closed-form solution. The SPULTRA algorithm has a similar computational cost per iteration as its recent counterpart PWLS-ULTRA that uses post-log measurements, and it provides better image reconstruction quality than PWLS-ULTRA, especially in low-dose scans.
△ Less
Submitted 12 August, 2019; v1 submitted 27 August, 2018;
originally announced August 2018.
-
Statistical Image Reconstruction Using Mixed Poisson-Gaussian Noise Model for X-Ray CT
Authors:
Qiaoqiao Ding,
Yong Long,
Xiaoqun Zhang,
Jeffrey A. Fessler
Abstract:
Statistical image reconstruction (SIR) methods for X-ray CT produce high-quality and accurate images, while greatly reducing patient exposure to radiation. When further reducing X-ray dose to an ultra-low level by lowering the tube current, photon starvation happens and electronic noise starts to dominate, which introduces negative or zero values into the raw measurements. These non-positive value…
▽ More
Statistical image reconstruction (SIR) methods for X-ray CT produce high-quality and accurate images, while greatly reducing patient exposure to radiation. When further reducing X-ray dose to an ultra-low level by lowering the tube current, photon starvation happens and electronic noise starts to dominate, which introduces negative or zero values into the raw measurements. These non-positive values pose challenges to post-log SIR methods that require taking the logarithm of the raw data, and causes artifacts in the reconstructed images if simple correction methods are used to process these non-positive raw measurements. The raw data at ultra-low dose deviates significantly from Poisson or shifted Poisson statistics for pre-log data and from Gaussian statistics for post-log data. This paper proposes a novel SIR method called MPG (mixed Poisson-Gaussian). MPG models the raw noisy measurements using a mixed Poisson-Gaussian distribution that accounts for both the quantum noise and electronic noise. MPG is able to directly use the negative and zero values in raw data without any pre-processing. MPG cost function contains a reweighted least square data-fit term, an edge preserving regularization term and a non-negativity constraint term. We use Alternating Direction Method of Multipliers (ADMM) to separate the MPG optimization problem into several sub-problems that are easier to solve. Our results on 3D simulated cone-beam data set and synthetic helical data set generated from clinical data indicate that the proposed MPG method reduces noise and decreases bias in the reconstructed images, comparing with the conventional filtered back projection (FBP), penalized weighted least-square (PWLS) and shift Poisson (SP) method for ultra-low dose CT (ULDCT) imaging.
△ Less
Submitted 19 January, 2018;
originally announced January 2018.
-
Phylogenetic trees and homomorphisms
Authors:
Yang**g Long
Abstract:
In Chapter 1 we fully characterise pairs of finite graphs which form a gap in the full homomorphism order. This leads to a simple proof of the existence of generalised duality pairs. We also discuss how such results can be carried to relational structures with unary and binary relations. In Chapter 2 we show a very simple and versatile argument based on divisibility which immediately yields the un…
▽ More
In Chapter 1 we fully characterise pairs of finite graphs which form a gap in the full homomorphism order. This leads to a simple proof of the existence of generalised duality pairs. We also discuss how such results can be carried to relational structures with unary and binary relations. In Chapter 2 we show a very simple and versatile argument based on divisibility which immediately yields the universality of the homomorphism order of directed graphs and discuss three applications. In chapter 3, we show that every interval in the homomorphism order of finite undirected graphs is either universal or a gap. Together with density and universality this "fractal" property contributes to the spectacular properties of the homomorphism order. In Chapter 4 we analyze the phylogenetic information content from a combinatorial point of view by considering the binary relation on the set of taxa defined by the existence of a single event separating two taxa. We show that the graph-representation of this relation must be a tree. Moreover, we characterize completely the relationship between the tree of such relations and the underlying phylogenetic tree.
△ Less
Submitted 2 January, 2018;
originally announced January 2018.
-
A Short Note on Undirected Fitch Graphs
Authors:
Manuela Geiß,
Marc Hellmuth,
Yang**g Long,
Peter F. Stadler
Abstract:
The symmetric version of Fitch's xenology relation coincides with class of complete multipartite graph and thus cannot convey any non-trivial phylogenetic information.
The symmetric version of Fitch's xenology relation coincides with class of complete multipartite graph and thus cannot convey any non-trivial phylogenetic information.
△ Less
Submitted 5 December, 2017;
originally announced December 2017.
-
Minimal Input Selection for Robust Control
Authors:
Zhipeng Liu,
Yao Long,
Andrew Clark,
Phillip Lee,
Linda Bushnell,
Daniel Kirschen,
Radha Poovendran
Abstract:
This paper studies the problem of selecting a minimum-size set of input nodes to guarantee stability of a networked system in the presence of uncertainties and time delays. Current approaches to input selection in networked dynamical systems focus on nominal systems with known parameter values in the absence of delays. We derive sufficient conditions for existence of a stabilizing controller for a…
▽ More
This paper studies the problem of selecting a minimum-size set of input nodes to guarantee stability of a networked system in the presence of uncertainties and time delays. Current approaches to input selection in networked dynamical systems focus on nominal systems with known parameter values in the absence of delays. We derive sufficient conditions for existence of a stabilizing controller for an uncertain system that are based on a subset of system modes lying within the controllability subspace induced by the set of inputs. We then formulate the minimum input selection problem and prove that it is equivalent to a discrete optimization problem with bounded submodularity ratio, leading to polynomial-time algorithms with provable optimality bounds. We show that our approach is applicable to different types of uncertainties, including additive and multiplicative uncertainties in the system matrices as well as uncertain time delays. We demonstrate our approach in a numerical case study on the IEEE 39-bus test power system.
△ Less
Submitted 11 December, 2017; v1 submitted 4 December, 2017;
originally announced December 2017.
-
On bifurcation of eigenvalues along convex symplectic paths
Authors:
Yinshan Chang,
Yiming Long,
Jian Wang
Abstract:
We consider a continuously differentiable curve $t\mapsto γ(t)$ in the space of $2n\times 2n$ real symplectic matrices, which is the solution of the following ODE:
$\frac{\mathrm{d}γ}{\mathrm{d}t}(t)=J_{2n}A(t)γ(t), γ(0)\in\operatorname{Sp}(2n,\mathbb{R})$,
where $J=J_{2n}\overset{\text{def}}{=}\begin{bmatrix}0 & \operatorname{Id}_n\\-\operatorname{Id}_n & 0\end{bmatrix}$ and…
▽ More
We consider a continuously differentiable curve $t\mapsto γ(t)$ in the space of $2n\times 2n$ real symplectic matrices, which is the solution of the following ODE:
$\frac{\mathrm{d}γ}{\mathrm{d}t}(t)=J_{2n}A(t)γ(t), γ(0)\in\operatorname{Sp}(2n,\mathbb{R})$,
where $J=J_{2n}\overset{\text{def}}{=}\begin{bmatrix}0 & \operatorname{Id}_n\\-\operatorname{Id}_n & 0\end{bmatrix}$ and $A:t\mapsto A(t)$ is a continuous in the space of $2n\times2n$ real matrices which are symmetric. Under certain convexity assumption (which includes the particular case that $A(t)$ is strictly positive definite for all $t\in\mathbb{R}$), we investigate the dynamics of the eigenvalues of $γ(t)$ when $t$ varies, which are closely related to the stability of such Hamiltonian dynamical systems. We rigorously prove the qualitative behavior of the branching of eigenvalues and explicitly give the first order asymptotics of the eigenvalues. This generalizes classical Krein-Lyubarskii theorem on the analytic bifurcation of the Floquet multipliers under a linear perturbation of the Hamiltonian. As a corollary, we give a rigorous proof of the following statement of Ekeland: $\{t\in\mathbb{R}:γ(t)\text{ has a Krein indefinite eigenvalue of modulus }1\}$ is a discrete set.
△ Less
Submitted 27 October, 2017; v1 submitted 22 October, 2017;
originally announced October 2017.
-
Image-domain multi-material decomposition for dual-energy CT based on correlation and sparsity of material images
Authors:
Qiaoqiao Ding,
Tianye Niu,
Xiaoqun Zhang,
Yong Long
Abstract:
Dual energy CT (DECT) enhances tissue characterization because it can produce images of basis materials such as soft-tissue and bone. DECT is of great interest in applications to medical imaging, security inspection and nondestructive testing. Theoretically, two materials with different linear attenuation coefficients can be accurately reconstructed using DECT technique. However, the ability to re…
▽ More
Dual energy CT (DECT) enhances tissue characterization because it can produce images of basis materials such as soft-tissue and bone. DECT is of great interest in applications to medical imaging, security inspection and nondestructive testing. Theoretically, two materials with different linear attenuation coefficients can be accurately reconstructed using DECT technique. However, the ability to reconstruct three or more basis materials is clinically and industrially important. Under the assumption that there are at most three materials in each pixel, there are a few methods that estimate multiple material images from DECT measurements by enforcing sum-to-one and a box constraint ([0 1]) derived from both the volume and mass conservation assumption. The recently proposed image-domain multi-material decomposition (MMD) method introduces edge-preserving regularization for each material image which neglects the relations among material images, and enforced the assumption that there are at most three materials in each pixel using a time-consuming loop over all possible material-triplet in each iteration of optimizing its cost function. We propose a new image-domain MMD method for DECT that considers the prior information that different material images have common edges and encourages sparsity of material composition in each pixel using regularization.
△ Less
Submitted 19 October, 2017;
originally announced October 2017.
-
Word-representability of split graphs
Authors:
Sergey Kitaev,
Yang**g Long,
Jun Ma,
Hehui Wu
Abstract:
Letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word $xyxy\cdots$ (of even or odd length) or a word $yxyx\cdots$ (of even or odd length). A graph $G=(V,E)$ is word-representable if and only if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$. It is…
▽ More
Letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word $xyxy\cdots$ (of even or odd length) or a word $yxyx\cdots$ (of even or odd length). A graph $G=(V,E)$ is word-representable if and only if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$. It is known that a graph is word-representable if and only if it admits a certain orientation called semi-transitive orientation.
Word-representable graphs generalize several important classes of graphs such as $3$-colorable graphs, circle graphs, and comparability graphs. There is a long line of research in the literature dedicated to word-representable graphs. However, almost nothing is known on word-representability of split graphs, that is, graphs in which the vertices can be partitioned into a clique and an independent set. In this paper, we shed a light to this direction. In particular, we characterize in terms of forbidden subgraphs word-representable split graphs in which vertices in the independent set are of degree at most 2, or the size of the clique is 4. Moreover, we give necessary and sufficient conditions for an orientation of a split graph to be semi-transitive.
△ Less
Submitted 27 September, 2017;
originally announced September 2017.
-
The existence of two non-contractible closed geodesics on every bumpy Finsler compact space form
Authors:
Hui Liu,
Yiming Long,
Yuming Xiao
Abstract:
Let $M=S^n/ Γ$ and $h$ be a nontrivial element of finite order $p$ in $π_1(M)$, where the integer $n\geq2$, $Γ$ is a finite group which acts freely and isometrically on the $n$-sphere and therefore $M$ is diffeomorphic to a compact space form. In this paper, we establish first the resonance identity for non-contractible homologically visible minimal closed geodesics of the class $[h]$ on every Fin…
▽ More
Let $M=S^n/ Γ$ and $h$ be a nontrivial element of finite order $p$ in $π_1(M)$, where the integer $n\geq2$, $Γ$ is a finite group which acts freely and isometrically on the $n$-sphere and therefore $M$ is diffeomorphic to a compact space form. In this paper, we establish first the resonance identity for non-contractible homologically visible minimal closed geodesics of the class $[h]$ on every Finsler compact space form $(M, F)$ when there exist only finitely many distinct non-contractible closed geodesics of the class $[h]$ on $(M, F)$. Then as an application of this resonance identity, we prove the existence of at least two distinct non-contractible closed geodesics of the class $[h]$ on $(M, F)$ with a bumpy Finsler metric, which improves a result of Taimanov in [Taimanov 2016] by removing some additional conditions. Also our results extend the resonance identity and multiplicity results on $\mathcal{R}P^n$ in [arXiv:1607.02746] to general compact space forms.
△ Less
Submitted 1 August, 2017;
originally announced August 2017.
-
Gaps in full homomorphism order
Authors:
Jiří Fiala,
Jan Hubička,
Yang**g Long
Abstract:
We characterise gaps in the full homomorphism order of graphs.
We characterise gaps in the full homomorphism order of graphs.
△ Less
Submitted 7 May, 2017;
originally announced May 2017.
-
Reconstructing unrooted phylogenetic trees from symbolic ternary metrics
Authors:
Stefan Grünewald,
Yang**g Long,
Yaokun Wu
Abstract:
In 1998, Böcker and Dress gave a 1-to-1 correspondence between symbolically dated rooted trees and symbolic ultrametrics. We consider the corresponding problem for unrooted trees. More precisely, given a tree $T$ with leaf set $X$ and a proper vertex colouring of its interior vertices, we can map every triple of three different leaves to the colour of its median vertex. We characterise all ternary…
▽ More
In 1998, Böcker and Dress gave a 1-to-1 correspondence between symbolically dated rooted trees and symbolic ultrametrics. We consider the corresponding problem for unrooted trees. More precisely, given a tree $T$ with leaf set $X$ and a proper vertex colouring of its interior vertices, we can map every triple of three different leaves to the colour of its median vertex. We characterise all ternary maps that can be obtained in this way in terms of 4- and 5-point conditions, and we show that the corresponding tree and its colouring can be reconstructed from a ternary map that satisfies those conditions. Further, we give an additional condition that characterises whether the tree is binary, and we describe an algorithm that reconstructs general trees in a bottom-up fashion.
△ Less
Submitted 17 January, 2018; v1 submitted 1 February, 2017;
originally announced February 2017.
-
Fractal property of the graph homomorphism order
Authors:
Jiří Fiala,
Jan Hubička,
Yang**g Long,
Jaroslav Nešetřil
Abstract:
We show that every interval in the homomorphism order of finite undirected graphs is either universal or a gap. Together with density and universality this "fractal" property contributes to the spectacular properties of the homomorphism order.
We first show the fractal property by using Sparse Incomparability Lemma and then by more involved elementary argument.
We show that every interval in the homomorphism order of finite undirected graphs is either universal or a gap. Together with density and universality this "fractal" property contributes to the spectacular properties of the homomorphism order.
We first show the fractal property by using Sparse Incomparability Lemma and then by more involved elementary argument.
△ Less
Submitted 16 May, 2017; v1 submitted 25 June, 2016;
originally announced June 2016.
-
The reduction on the linear stability of elliptic Euler-Moulton solutions of the n-body problem to those of 3-body problems
Authors:
Qinglong Zhou,
Yiming Long
Abstract:
In this paper, we consider the elliptic collinear solutions of the classical $n$-body problem, where the $n$ bodies always stay on a straight line, and each of them moves on its own elliptic orbit with the same eccentricity. Such a motion is called an elliptic Euler-Moulton collinear solution. Here we prove that the corresponding linearized Hamiltonian system at such an elliptic Euler-Moulton coll…
▽ More
In this paper, we consider the elliptic collinear solutions of the classical $n$-body problem, where the $n$ bodies always stay on a straight line, and each of them moves on its own elliptic orbit with the same eccentricity. Such a motion is called an elliptic Euler-Moulton collinear solution. Here we prove that the corresponding linearized Hamiltonian system at such an elliptic Euler-Moulton collinear solution of $n$-bodies splits into $(n-1)$ independent linear Hamiltonian systems, the first one is the linearized Hamiltonian system of the Kepler $2$-body problem at Kepler elliptic orbit, and each of the other $(n-2)$ systems is the essential part of the linearized Hamiltonian system at an elliptic Euler collinear solution of a $3$-body problem whose mass parameter is modified. Then the linear stability of such a solution in the $n$-body problem is reduced to those of the corresponding elliptic Euler collinear solutions of the $3$-body problems, which for example then can be further understood using numerical results of Martinéz, Samà and Simó in \cite{MSS1} and \cite{MSS2} on $3$-body Euler solutions in 2004-2006. As an example, we carry out the detailed derivation of the linear stability for an elliptic Euler-Moulton solution of the $4$-body problem with two small masses in the middle.
△ Less
Submitted 5 July, 2016; v1 submitted 31 October, 2015;
originally announced November 2015.
-
A New Class of Problems in the Calculus of Variations
Authors:
Ivar Ekeland,
Yiming Long,
Qinglong Zhou
Abstract:
This paper investigates an infinite-horizon problems in the one-dimensional calculus of variations, arising from the Ramsey model of endogeneous economic growth. Following Chichilnisky, we introduce an additional term, which models concern for the well-being of future generations. We show that there are no optimal solutions, but that there are equilibrium strateges, i.e. Nash equilibria of the lea…
▽ More
This paper investigates an infinite-horizon problems in the one-dimensional calculus of variations, arising from the Ramsey model of endogeneous economic growth. Following Chichilnisky, we introduce an additional term, which models concern for the well-being of future generations. We show that there are no optimal solutions, but that there are equilibrium strateges, i.e. Nash equilibria of the leader-follower game between successive generations. To solve the problem, we approximate the Chichilnisky criterion by a biexponential criterion, we characterize its equilibria by a pair of coupled differential equations of HJB type, and we go to the limit. We find all the equilibrium strategies for the Chichilnisky criterion. The mathematical analysis is difficult because one has to solve an implicit differential equation in the sense of Thom. Our analysis extends earlier work by Ekeland and Lazrak. It is shown that optimal solutions a class of problems raising from time inconsistency problems in the framework of the neoclassical one-sector model of economic growth, and contains new results in environment economics. Without exogenous commitment mechanism, a notion of the equilibrium strategies instead of the optimal strategies is introduced. We characterized the equilibrium strategies by an integro-differential equation system. For two special criteria, the bi-exponential criteria and the Chichilnisky criteria, we established the existence of the equilibrium strategies.
△ Less
Submitted 30 October, 2015;
originally announced November 2015.
-
Non-hyperbolic closed characteristics on non-degenerate star-shaped hypersurfaces in ${\bf R}^{2n}$
Authors:
Huagui Duan,
Hui Liu,
Yiming Long,
Wei Wang
Abstract:
In this paper, we prove that for every index perfect non-degenerate compact star-shaped hypersurface $Σ\subset{\bf R}^{2n}$, there exist at least $n$ non-hyperbolic closed characteristics with even Maslov-type indices on $Σ$ when $n$ is even. When $n$ is odd, there exist at least $n$ closed characteristics with odd Maslov-type indices on $Σ$ and at least $(n-1)$ of them are non-hyperbolic. Here we…
▽ More
In this paper, we prove that for every index perfect non-degenerate compact star-shaped hypersurface $Σ\subset{\bf R}^{2n}$, there exist at least $n$ non-hyperbolic closed characteristics with even Maslov-type indices on $Σ$ when $n$ is even. When $n$ is odd, there exist at least $n$ closed characteristics with odd Maslov-type indices on $Σ$ and at least $(n-1)$ of them are non-hyperbolic. Here we call a compact star-shaped hypersurface $Σ\subset {\bf R}^{2n}$ {\rm index perfect} if it carries only finitely many geometrically distinct prime closed characteristics, and every prime closed characteristic $(τ,y)$ on $Σ$ possesses positive mean index and whose Maslov-type index $i(y, m)$ of its $m$-th iterate satisfies $i(y, m)\not= -1$ when $n$ is even, and $i(y, m)\not\in \{-2,-1,0\}$ when $n$ is odd for all $m\in {\bf N}$.
△ Less
Submitted 1 November, 2015; v1 submitted 29 October, 2015;
originally announced October 2015.
-
Maslov-type indices and linear stability of elliptic Euler solutions of the three-body problem
Authors:
Qinglong Zhou,
Yiming Long
Abstract:
In this paper, we use the central configuration coordinate decomposition to study the linearized Hamiltonian system near the elliptic Euler solutions. Then using the Maslov-type ω-index theory of symplectic paths and the theory of linear operators we compute the ω-indices and obtain certain properties of linear stability of the Euler elliptic solutions of the classical three-body problem.
In this paper, we use the central configuration coordinate decomposition to study the linearized Hamiltonian system near the elliptic Euler solutions. Then using the Maslov-type ω-index theory of symplectic paths and the theory of linear operators we compute the ω-indices and obtain certain properties of linear stability of the Euler elliptic solutions of the classical three-body problem.
△ Less
Submitted 6 September, 2016; v1 submitted 23 October, 2015;
originally announced October 2015.
-
Equivalence of linear stabilities of elliptic triangle solutions of the planar charged and classical three-body problems
Authors:
Qinglong Zhou,
Yiming Long
Abstract:
In this paper, we prove that the linearized system of elliptic triangle homographic solution of planar charged three-body problem can be transformed to that of the elliptic equilateral triangle solution of the planar classical three-body problem. Consequently, the results of Martínez, Samà and Simó ([15] in J. Diff. Equa.) of 2006 and results of Hu, Long and Sun ([6] in Arch. Ration. Mech.Anal.) o…
▽ More
In this paper, we prove that the linearized system of elliptic triangle homographic solution of planar charged three-body problem can be transformed to that of the elliptic equilateral triangle solution of the planar classical three-body problem. Consequently, the results of Martínez, Samà and Simó ([15] in J. Diff. Equa.) of 2006 and results of Hu, Long and Sun ([6] in Arch. Ration. Mech.Anal.) of 2014 can be applied to these solutions of the charged three-body problem to get their linear stability.
△ Less
Submitted 23 October, 2015;
originally announced October 2015.
-
The enhanced common index jump theorem for symplectic paths and non-hyperbolic closed geodesics on Finsler manifolds
Authors:
Huagui Duan,
Yiming Long,
Wei Wang
Abstract:
In this paper, we first generalize the common index jump theorem for symplectic matrix paths proved in 2002 by Long and Zhu in [LoZ], and get an enhanced version of it. As its applications, we further prove that for a compact simply-connected manifold $(M,F)$ with a bumpy, irreversible Finsler metric $F$ and $H^*(M;{\bf Q})\cong T_{d,n+1}(x)$ for some even integer $d\ge 2$ and integer $n\ge 1$, th…
▽ More
In this paper, we first generalize the common index jump theorem for symplectic matrix paths proved in 2002 by Long and Zhu in [LoZ], and get an enhanced version of it. As its applications, we further prove that for a compact simply-connected manifold $(M,F)$ with a bumpy, irreversible Finsler metric $F$ and $H^*(M;{\bf Q})\cong T_{d,n+1}(x)$ for some even integer $d\ge 2$ and integer $n\ge 1$, there exist at least $\frac{dn(n+1)}{2}$ distinct non-hyperbolic closed geodesics with odd Morse indices, provided the number of distinct prime closed geodesics is finite and every prime closed geodesic satisfies $i(c)>0$. Note that the last non-zero index condition is satisfied if the flag curvature $K$ satisfies $K\ge 0$. For an odd-dimensional bumpy Finsler sphere $(S^d,F)$, there exist at least $(d+1)$ distinct prime closed geodesics with even Morse indices, and at least $(d-1)$ of which are non-hyperbolic, provided the number of distinct prime closed geodesics is finite and every prime closed geodesic $c$ satisfies $i(c)\ge 2$. Note that the last index condition $i(c)\ge 2$ is satisfied if the reversibility $λ$ and the flag curvature $K$ of $(M,F)$ satisfy $\frac{λ^2}{(1+λ)^2}<K\le 1$. Note that the first two in the above three lower bound estimates are sharp due to Katok's examples. In addition, we also prove that either there exists at least one non-hyperbolic closed geodesic, or there exist infinitely many distinct closed geodesics on a compact simply connected bumpy Finsler $(M,F)$ satisfying the above cohomological condition with some even integer $d\ge 2$ and integer $n\ge 1$.
△ Less
Submitted 6 January, 2016; v1 submitted 10 October, 2015;
originally announced October 2015.
-
Topological structure of non-contractible loop space and closed geodesics on real projective spaces with odd dimensions
Authors:
Yuming Xiao,
Yiming Long
Abstract:
In this paper, we use Chas-Sullivan theory on loop homology and Leray-Serre spectral sequence to investigate the topological structure of the non-contractible component of the free loop space on the real projective spaces with odd dimensions. Then we apply the result to get the resonance identity of non-contractible homologically visible prime closed geodesics on such spaces provided the total num…
▽ More
In this paper, we use Chas-Sullivan theory on loop homology and Leray-Serre spectral sequence to investigate the topological structure of the non-contractible component of the free loop space on the real projective spaces with odd dimensions. Then we apply the result to get the resonance identity of non-contractible homologically visible prime closed geodesics on such spaces provided the total number of distinct prime closed geodesics is finite.
△ Less
Submitted 24 March, 2015;
originally announced March 2015.
-
Resonance identities and stability of symmetric closed characteristics on symmetric compact star-shaped hypersurfaces
Authors:
Hui Liu,
Yiming Long
Abstract:
So far, it is still unknown whether all the closed characteristics on a symmetric compact star-shaped hypersurface $Σ$ in ${\bf R}^{2n}$ are symmetric. In order to understand behaviors of such orbits, in this paper we establish first two new resonance identities for symmetric closed characteristics on symmetric compact star-shaped hypersurface $Σ$ in ${\bf R}^{2n}$ when there exist only finitely m…
▽ More
So far, it is still unknown whether all the closed characteristics on a symmetric compact star-shaped hypersurface $Σ$ in ${\bf R}^{2n}$ are symmetric. In order to understand behaviors of such orbits, in this paper we establish first two new resonance identities for symmetric closed characteristics on symmetric compact star-shaped hypersurface $Σ$ in ${\bf R}^{2n}$ when there exist only finitely many geometrically distinct symmetric closed characteristics on $Σ$, which extend the identity established by Liu and Long in \cite{LLo1} of 2013 for symmetric strictly convex hypersurfaces. Then as an application of these identities and the identities established by Liu, Long and Wang recently in \cite{LLW1} for all closed characteristics on the same hypersurface, we prove that if there exist exactly two geometrically distinct closed characteristics on a symmetric compact star-shaped hypersuface in ${\bf R}^4$, then both of them must be elliptic.
△ Less
Submitted 25 August, 2015; v1 submitted 22 May, 2014;
originally announced May 2014.
-
Graph Relations and Constrained Homomorphism Partial Orders
Authors:
Yang**g Long
Abstract:
We consider constrained variants of graph homomorphisms such as embeddings, monomorphisms, full homomorphisms, surjective homomorpshims, and locally constrained homomorphisms. We also introduce a new variation on this theme which derives from relations between graphs and is related to multihomomorphisms. This gives a generalization of surjective homomorphisms and naturally leads to notions of R-re…
▽ More
We consider constrained variants of graph homomorphisms such as embeddings, monomorphisms, full homomorphisms, surjective homomorpshims, and locally constrained homomorphisms. We also introduce a new variation on this theme which derives from relations between graphs and is related to multihomomorphisms. This gives a generalization of surjective homomorphisms and naturally leads to notions of R-retractions, R-cores, and R-cocores of graphs. Both R-cores and R-cocores of graphs are unique up to isomorphism and can be computed in polynomial time.
The theory of the graph homomorphism order is well developed, and from it we consider analogous notions defined for orders induced by constrained homomorphisms. We identify corresponding cores, prove or disprove universality, characterize gaps and dualities. We give a new and significantly easier proof of the universality of the homomorphism order by showing that even the class of oriented cycles is universal. We provide a systematic approach to simplify the proofs of several earlier results in this area. We explore in greater detail locally injective homomorphisms on connected graphs, characterize gaps and show universality. We also prove that for every $d\geq 3$ the homomorphism order on the class of line graphs of graphs with maximum degree $d$ is universal.
△ Less
Submitted 21 April, 2014;
originally announced April 2014.
-
Universality of intervals of line graph order
Authors:
Jiří Fiala,
Jan Hubička,
Yang**g Long
Abstract:
We prove that for every $d\geq 3$ the homomorphism order of the class of line graphs of finite graphs with maximal degree $d$ is universal. This means that every finite or countably infinite partially ordered set may be represented by line graphs of graphs with maximal degree $d$ ordered by the existence of a homomorphism.
We prove that for every $d\geq 3$ the homomorphism order of the class of line graphs of finite graphs with maximal degree $d$ is universal. This means that every finite or countably infinite partially ordered set may be represented by line graphs of graphs with maximal degree $d$ ordered by the existence of a homomorphism.
△ Less
Submitted 18 April, 2014; v1 submitted 15 February, 2014;
originally announced February 2014.
-
The existence of two closed characteristics on every compact star-shaped hypersurface in ${\bf R}^4$
Authors:
Hui Liu,
Yiming Long
Abstract:
Recently, Cristofaro-Gardiner and Hutchings proved that there exist at least two closed characteristics on every compact star-shaped hypersuface in ${\bf R}^4$. Then Ginzburg, Hein, Hryniewicz, and Macarini gave this result a second proof. In this paper, we give it a third proof by using index iteration theory, resonance identities of closed characteristics and a remarkable theorem of Ginzburg et…
▽ More
Recently, Cristofaro-Gardiner and Hutchings proved that there exist at least two closed characteristics on every compact star-shaped hypersuface in ${\bf R}^4$. Then Ginzburg, Hein, Hryniewicz, and Macarini gave this result a second proof. In this paper, we give it a third proof by using index iteration theory, resonance identities of closed characteristics and a remarkable theorem of Ginzburg et al.
△ Less
Submitted 2 July, 2014; v1 submitted 18 August, 2013;
originally announced August 2013.
-
Resonance Identities for Closed Characteristics on Compact Star-shaped Hypersurfaces in ${\bf R}^{2n}$
Authors:
Hui Liu,
Yiming Long,
Wei Wang
Abstract:
Resonance relations among periodic orbits on given energy hypersurfaces are very important for getting deeper understanding of the dynamics of the corresponding Hamiltonian systems. In this paper, we establish two new resonance identities for closed characteristics on every compact star-shaped hypersurface $Σ$ in ${\bf R}^{2n}$ when the number of geometrically distinct closed characteristics on…
▽ More
Resonance relations among periodic orbits on given energy hypersurfaces are very important for getting deeper understanding of the dynamics of the corresponding Hamiltonian systems. In this paper, we establish two new resonance identities for closed characteristics on every compact star-shaped hypersurface $Σ$ in ${\bf R}^{2n}$ when the number of geometrically distinct closed characteristics on $Σ$ is finite, which extend those identities established by C. Viterbo in 1989 for star-shaped hypersurfaces assuming in addition that all the closed characteristics and their iterates are non-degenerate, and that by W. Wang, X. Hu and Y. Long in 2007 for strictly convex hypersurfaces in ${\bf R}^{2n}$.
△ Less
Submitted 14 March, 2014; v1 submitted 15 August, 2013;
originally announced August 2013.
-
Linear stability of elliptic Lagrangian solutions of the planar three-body problem via index theory
Authors:
Xijun Hu,
Yiming Long,
Shanzhong Sun
Abstract:
It is well known that the linear stability of Lagrangian elliptic equilateral triangle homographic solutions in the classical planar three-body problem depends on the mass parameter $\bb=27(m_1m_2+m_2m_3+m_3m_1)/(m_1+m_2+m_3)^2\in [0,9]$ and the eccentricity $e\in [0,1)$. We are not aware of any existing analytical method which relates the linear stability of these solutions to the two parameters…
▽ More
It is well known that the linear stability of Lagrangian elliptic equilateral triangle homographic solutions in the classical planar three-body problem depends on the mass parameter $\bb=27(m_1m_2+m_2m_3+m_3m_1)/(m_1+m_2+m_3)^2\in [0,9]$ and the eccentricity $e\in [0,1)$. We are not aware of any existing analytical method which relates the linear stability of these solutions to the two parameters directly in the full rectangle $[0,9]\times [0,1)$, besides perturbation methods for $e>0$ small enough, blow-up techniques for $e$ sufficiently close to 1, and numerical studies. In this paper, we introduce a new rigorous analytical method to study the linear stability of these solutions in terms of the two parameters in the full $(\bb,e)$ range $[0,9]\times [0,1)$ via the $\om$-index theory of symplectic paths for $\om$ belonging to the unit circle of the complex plane, and the theory of linear operators. After establishing the $\om$-index decreasing property of the solutions in $\bb$ for fixed $e\in [0,1)$, we prove the existence of three curves located from left to right in the rectangle $[0,9]\times [0,1)$, among which two are -1 degeneracy curves and the third one is the right envelop curve of the $\om$-degeneracy curves for $\om\not=1$, and show that the linear stability pattern of such elliptic Lagrangian solutions changes if and only if the parameter $(\bb,e)$ passes through each of these three curves. Interesting symmetries of these curves are also observed. The singular case when the eccentricity $e$ approaches to 1 is also analyzed in details concerning the linear stability.
△ Less
Submitted 26 January, 2014; v1 submitted 26 June, 2012;
originally announced June 2012.
-
Relations Between Graphs
Authors:
Jan Hubicka,
Jürgen Jost,
Yang**g Long,
Peter F. Stadler,
Ling Yang
Abstract:
Given two graphs G and H, we ask under which conditions there is a relation R that generates the edges of H given the structure of graph G. This construction can be seen as a form of multihomomorphism. It generalizes surjective homomorphisms of graphs and naturally leads to notions of R-retractions, R-cores, and R-cocores of graphs. Both R-cores and R-cocores of graphs are unique up to isomorphism…
▽ More
Given two graphs G and H, we ask under which conditions there is a relation R that generates the edges of H given the structure of graph G. This construction can be seen as a form of multihomomorphism. It generalizes surjective homomorphisms of graphs and naturally leads to notions of R-retractions, R-cores, and R-cocores of graphs. Both R-cores and R-cocores of graphs are unique up to isomorphism and can be computed in polynomial time.
△ Less
Submitted 16 October, 2012; v1 submitted 17 May, 2012;
originally announced May 2012.
-
A power law of order 1/4 for critical mean-field Swendsen-Wang dynamics
Authors:
Yun Long,
Asaf Nachmias,
Weiyang Ning,
Yuval Peres
Abstract:
The Swendsen-Wang dynamics is a Markov chain widely used by physicists to sample from the Boltzmann-Gibbs distribution of the Ising model. Cooper, Dyer, Frieze and Rue proved that on the complete graph K_n the mixing time of the chain is at most O(n^{1/2}) for all non-critical temperatures. In this paper we show that the mixing time is Theta(1) in high temperatures, Theta(log n) in low temperature…
▽ More
The Swendsen-Wang dynamics is a Markov chain widely used by physicists to sample from the Boltzmann-Gibbs distribution of the Ising model. Cooper, Dyer, Frieze and Rue proved that on the complete graph K_n the mixing time of the chain is at most O(n^{1/2}) for all non-critical temperatures. In this paper we show that the mixing time is Theta(1) in high temperatures, Theta(log n) in low temperatures and Theta(n^{1/4}) at criticality. We also provide an upper bound of O(log n) for Swendsen-Wang dynamics for the q-state ferromagnetic Potts model on any tree with n vertices.
△ Less
Submitted 14 July, 2011;
originally announced July 2011.
-
The index quasi-periodicity and multiplicity of closed geodesics
Authors:
Huagui Duan,
Yiming Long
Abstract:
In this paper, we prove the existence of at least two distinct closed geodesics on every compact simply connected irreversible or reversible Finsler (including Riemannian) manifold of dimension not less than 2.
In this paper, we prove the existence of at least two distinct closed geodesics on every compact simply connected irreversible or reversible Finsler (including Riemannian) manifold of dimension not less than 2.
△ Less
Submitted 22 August, 2010; v1 submitted 9 August, 2010;
originally announced August 2010.
-
The index growth and multiplicity of closed geodesics
Authors:
Huagui Duan,
Yiming Long
Abstract:
In the recent paper \cite{LoD1}, we classified closed geodesics on Finsler manifolds into rational and irrational two families, and gave a complete understanding on the index growth properties of iterates of rational closed geodesics. This study yields that a rational closed geodesic can not be the only closed geodesic on every irreversible or reversible (including Riemannian) Finsler sphere, and…
▽ More
In the recent paper \cite{LoD1}, we classified closed geodesics on Finsler manifolds into rational and irrational two families, and gave a complete understanding on the index growth properties of iterates of rational closed geodesics. This study yields that a rational closed geodesic can not be the only closed geodesic on every irreversible or reversible (including Riemannian) Finsler sphere, and that there exist at least two distinct closed geodesics on every compact simply connected irreversible or reversible (including Riemannian) Finsler 3-dimensional manifold. In this paper, we study the index growth properties of irrational closed geodesics on Finsler manifolds. This study allows us to extend results in \cite{LoD1} on rational and in \cite{DuL1}, \cite{Rad4} and \cite{Rad5} on completely non-degenerate closed geodesics on spheres and $\CP^2$ to every compact simply connected Finsler manifold. Then we prove the existence of at least two distinct closed geodesics on every compact simply connected irreversible or reversible (including Riemannian) Finsler 4-dimensional manifold.
△ Less
Submitted 12 May, 2010; v1 submitted 18 March, 2010;
originally announced March 2010.
-
The existence of two closed geodesics on every Finsler 2-sphere
Authors:
Victor Bangert,
Yiming Long
Abstract:
In this paper, we prove that for every Finsler metric on the 2-dimensional sphere there exist at least two distinct prime closed geodesics. For the case of the two-sphere, this solves an open problem posed by D. V. Anosov in 1974.
In this paper, we prove that for every Finsler metric on the 2-dimensional sphere there exist at least two distinct prime closed geodesics. For the case of the two-sphere, this solves an open problem posed by D. V. Anosov in 1974.
△ Less
Submitted 26 September, 2007; v1 submitted 8 September, 2007;
originally announced September 2007.
-
Multiple closed geodesics on bumpy Finsler $n$-spheres
Authors:
Huagui Duan,
Yiming Long
Abstract:
In this paper we prove that for every bumpy Finsler metric $F$ on every rationally homological $n$-dimensional sphere $S^n$ with $n\ge 2$, there exist always at least two distinct prime closed geodesics.
In this paper we prove that for every bumpy Finsler metric $F$ on every rationally homological $n$-dimensional sphere $S^n$ with $n\ge 2$, there exist always at least two distinct prime closed geodesics.
△ Less
Submitted 29 May, 2007;
originally announced May 2007.
-
Multiplicity and stability of closed geodesics on bumpy Finsler 3-spheres
Authors:
Huagui Duan,
Yiming Long
Abstract:
We prove that for every $\Q$-homological Finsler 3-sphere $(M,F)$ with a bumpy and irreversible metric $F$, either there exist two non-hyperbolic prime closed geodesics, or there exist at least three prime closed geodesics.
We prove that for every $\Q$-homological Finsler 3-sphere $(M,F)$ with a bumpy and irreversible metric $F$, either there exist two non-hyperbolic prime closed geodesics, or there exist at least three prime closed geodesics.
△ Less
Submitted 19 June, 2007; v1 submitted 29 May, 2007;
originally announced May 2007.
-
Resonance identity, stability and multiplicity of closed characteristics on compact convex hypersurfaces
Authors:
Wei Wang,
Xijun Hu,
Yiming Long
Abstract:
There is a long standing conjecture in Hamiltonian analysis which claims that there exist at least $n$ geometrically distinct closed characteristics on every compact convex hypersurface in $\R^{2n}$ with $n\ge 2$. Besides many partial results, this conjecture has been only completely solved for $n=2$. In this paper, we give a confirmed answer to this conjecture for $n=3$. In order to prove this…
▽ More
There is a long standing conjecture in Hamiltonian analysis which claims that there exist at least $n$ geometrically distinct closed characteristics on every compact convex hypersurface in $\R^{2n}$ with $n\ge 2$. Besides many partial results, this conjecture has been only completely solved for $n=2$. In this paper, we give a confirmed answer to this conjecture for $n=3$. In order to prove this result, we establish first a new resonance identity for closed characteristics on every compact convex hypersurface $\Sg$ in $\R^{2n}$ when the number of geometrically distinct closed characteristics on $\Sg$ is finite. Then using this identity and earlier techniques of the index iteration theory, we prove the mentioned multiplicity result for $\R^6$. If there are exactly two geometrically distinct closed characteristics on a compact convex hypersuface in $\R^4$, we prove that both of them must be irrationally elliptic.
△ Less
Submitted 24 January, 2007; v1 submitted 22 January, 2007;
originally announced January 2007.
-
Index iteration theory for symplectic paths with applications to nonlinear Hamiltonian systems
Authors:
Yiming Long
Abstract:
In recent years, we have established the iteration theory of the index for symplectic matrix paths and applied it to periodic solution problems of nonlinear Hamiltonian systems. This paper is a survey on these results.
In recent years, we have established the iteration theory of the index for symplectic matrix paths and applied it to periodic solution problems of nonlinear Hamiltonian systems. This paper is a survey on these results.
△ Less
Submitted 18 April, 2003;
originally announced April 2003.
-
Multiplicity of closed characteristics on symmetric convex hypersurfaces in $\R^{2n}$
Authors:
Chun-gen Liu,
Yiming Long,
Chaofeng Zhu
Abstract:
Let $Σ$ be a compact $C^2$ hypersurface in $\R^{2n}$ bounding a convex set with non-empty interior. In this paper it is proved that there always exist at least $n$ geometrically distinct closed characteristics on $Σ$ if $Σ$ is symmetric with respect to the origin.
Let $Σ$ be a compact $C^2$ hypersurface in $\R^{2n}$ bounding a convex set with non-empty interior. In this paper it is proved that there always exist at least $n$ geometrically distinct closed characteristics on $Σ$ if $Σ$ is symmetric with respect to the origin.
△ Less
Submitted 23 September, 2001;
originally announced September 2001.
-
Closed characteristics on compact convex hypersurfaces in $\R^{2n}$
Authors:
Yiming Long,
Chaofeng Zhu
Abstract:
For any given compact C^2 hypersurface Σin {\bf R}^{2n} bounding a strictly convex set with nonempty interior, in this paper an invariant \varrho_n(Σ) is defined and satisfies \varrho_n(Σ)\ge [n/2]+1, where [a] denotes the greatest integer which is not greater than a\in {\bf R}. The following results are proved in this paper. There always exist at least ρ_n(Σ) geometrically distinct closed chara…
▽ More
For any given compact C^2 hypersurface Σin {\bf R}^{2n} bounding a strictly convex set with nonempty interior, in this paper an invariant \varrho_n(Σ) is defined and satisfies \varrho_n(Σ)\ge [n/2]+1, where [a] denotes the greatest integer which is not greater than a\in {\bf R}. The following results are proved in this paper. There always exist at least ρ_n(Σ) geometrically distinct closed characteristics on Σ. If all the geometrically distinct closed characteristics on Σare nondegenerate, then \varrho_n(Σ)\ge n. If the total number of geometrically distinct closed characteristics on Σis finite, there exists at least an elliptic one among them, and there exist at least \varrho_n(Σ)-1 of them possessing irrational mean indices. If this total number is at most 2\varrho_n(Σ) -2, there exist at least two elliptic ones among them.
△ Less
Submitted 25 May, 2004; v1 submitted 18 September, 2001;
originally announced September 2001.