arXiv subjects
Publications and source records attributed to Yingying Zhang.
Comparing the bounded derived categories of an algebra and of the endomorphism algebra of a given support τ-tilting module, we find a relation between the derived dimensions of an algebra and of the endomorphism algebra of a given τ-tilting module.
This paper presents an approach to more efficient partial order reduction for model checking concurrent systems. This approach utilizes a compositional reachability analysis to generate over-approximate local state transition models for all processes in a concurrent system where an independence relation and other useful information can be extracted. The extracted independence relation, compared to what can be obtained by statically analyzing the system descriptions, is more precise and refined, therefore leads to more efficient partial order reduction. This approach is demonstrated on a set of concurrent system examples. Significantly higher reduction in state space has been observed in several cases compared to what can be obtained using SPIN.
We study analytic properties of harmonic maps from Riemannian polyhedra into CAT($κ$) spaces for $κ\in\{0,1\}$. Locally, on each top-dimensional face of the domain, this amounts to studying harmonic maps from smooth domains into CAT($κ$) spaces. We compute a target variation formula that captures the curvature bound in the target, and use it to prove an $L^p$ Liouville-type theorem for harmonic maps from admissible polyhedra into convex CAT($κ$) spaces. Another consequence we derive from the target variation formula is the Eells-Sampson Bochner formula for CAT(1) targets.
We obtain a residue formula for an obstruction to the existence of coupled Kähler-Einstein metrics described by Futaki-Zhang. We apply it to an example studied separately by Futaki and Hultgren which is a toric Fano manifold with reductive automorphism, does not admit a Kähler-Einstein metric but still admits coupled Kähler-Einstein metrics.
Motivated by the study of coupled Kähler-Einstein metrics by Hultgren and Witt Nyström and coupled Kähler-Ricci solitons by Hultgren, we study in this paper coupled Sasaki-Einstein metrics and coupled Sasaki-Ricci solitons. We first show an isomorphism between the Lie algebra of all transverse holomorphic vector fields and certain space of coupled basic functions related to coupled twisted Laplacians for basic functions, and obtain extensions of the well-known obstructions to the existence of Kähler-Einstein metrics to this coupled case. These results are reduced to coupled Kähler-Einstein metrics when the Sasaki structure is regular. Secondly we show the existence of toric coupled Sasaki-Einstein metrics when the basic first Chern class is positive extending the work of Hultgren.
Person re-identification (ReID) aims to match people across multiple non-overlapping video cameras deployed at different locations. To address this challenging problem, many metric learning approaches have been proposed, among which triplet loss is one of the state-of-the-arts. In this work, we explore the margin between positive and negative pairs of triplets and prove that large margin is beneficial. In particular, we propose a novel multi-stage training strategy which learns incremental triplet margin and improves triplet loss effectively. Multiple levels of feature maps are exploited to make the learned features more discriminative. Besides, we introduce global hard identity searching method to sample hard identities when generating a training batch. Extensive experiments on Market-1501, CUHK03, and DukeMTMCreID show that our approach yields a performance boost and outperforms most existing state-of-the-art methods.
In this paper, we introduce the notion of excellent extension of rings. Let $Γ$ be an excellent extension of an artin algebra $Λ$, we prove that $Λ$ satisfies the Gorenstein symmetry conjecture (resp. finitistic dimension conjecture, Auslander-Gorenstein conjecture, Nakayama conjecture) if and only if so does $Γ$. As a special case of excellent extensions, if $G$ is a finite group whose order is invertible in $Λ$ acting on $Λ$ and $Λ$ is $G$-stable, we prove that if the skew group algebras $ΛG$ satisfies strong Nakayama conjecture (resp. generalized Nakayama conjecture), then so does $Λ$.
Deep region-based object detector consists of a region proposal step and a deep object recognition step. In this paper, we make significant improvements on both of the two steps. For region proposal we propose a novel lightweight cascade structure which can effectively improve RPN proposal quality. For object recognition we re-implement global context modeling with a few modications and obtain a performance boost (4.2% mAP gain on the ILSVRC 2016 validation set). Besides, we apply the idea of pre-training extensively and show its importance in both steps. Together with common training and testing tricks, we improve Faster R-CNN baseline by a large margin. In particular, we obtain 87.9% mAP on the PASCAL VOC 2012 test set, 65.3% on the ILSVRC 2016 test set and 36.8% on the COCO test-std set.
A path in a vertex-colored graph is called \emph{conflict free} if there is a color used on exactly one of its vertices. A vertex-colored graph is said to be \emph{conflict-free vertex-connected} if any two vertices of the graph are connected by a conflict-free path. This paper investigates the question: For a connected graph $G$, what is the smallest number of colors needed in a vertex-coloring of $G$ in order to make $G$ conflict-free vertex-connected. As a result, we get that the answer is easy for $2$-connected graphs, and very difficult for connected graphs with more cut-vertices, including trees.
A path in a vertex-colored graph is a {\it vertex-proper path} if any two internal adjacent vertices differ in color. A vertex-colored graph is {\it proper vertex $k$-connected} if any two vertices of the graph are connected by $k$ disjoint vertex-proper paths of the graph. For a $k$-connected graph $G$, the {\it proper vertex $k$-connection number} of $G$, denoted by $pvc_{k}(G)$, is defined as the smallest number of colors required to make $G$ proper vertex $k$-connected. A vertex-colored graph is {\it strong proper vertex-connected}, if for any two vertices $u,v$ of the graph, there exists a vertex-proper $u$-$v$ geodesic. For a connected graph $G$, the {\it strong proper vertex-connection number} of $G$, denoted by $spvc(G)$, is the smallest number of colors required to make $G$ strong proper vertex-connected. In this paper, we study the proper vertex $k$-connection number and the strong proper vertex-connection number on the join of two graphs, the Cartesian, lexicographic, strong and direct product, and present exact values or upper bounds for these operations of graphs.
A graph is said to be {\it total-colored} if all the edges and vertices of the graph are colored. A path in a total-colored graph is a {\it total proper path} if $(i)$ any two adjacent edges on the path differ in color, $(ii)$ any two internal adjacent vertices on the path differ in color, and $(iii)$ any internal vertex of the path differs in color from its incident edges on the path. A total-colored graph is called {\it total-proper connected} if any two vertices of the graph are connected by a total proper path of the graph. For a connected graph $G$, the {\it total proper connection number} of $G$, denoted by $tpc(G)$, is defined as the smallest number of colors required to make $G$ total-proper connected. In this paper, we study the total proper connection number for the graph operations. We find that $3$ is the total proper connection number for the join, the lexicographic product and the strong product of nearly all graphs. Besides, we study three kinds of graphs with one factor to be traceable for the Cartesian product as well as the permutation graphs of the star and traceable graphs. The values of the total proper connection number for these graphs are all $3$.
Let $φ\in C^0 \cap W^{1,2}(Σ, X)$ where $Σ$ is a compact Riemann surface, $X$ is a compact locally CAT(1) space, and $W^{1,2}(Σ,X)$ is defined as in Korevaar-Schoen. We use the technique of harmonic replacement to prove that either there exists a harmonic map $u:Σ\to X$ homotopic to $φ$ or there exists a conformal harmonic map $v:\mathbb S^2 \to X$. To complete the argument, we prove compactness for energy minimizers and a removable singularity theorem for conformal harmonic maps.
A graph is said to be {\it total-colored} if all the edges and the vertices of the graph are colored. A total-coloring of a graph is a {\it total monochromatically-connecting coloring} ({\it TMC-coloring}, for short) if any two vertices of the graph are connected by a path whose edges and internal vertices have the same color. For a connected graph $G$, the {\it total monochromatic connection number}, denoted by $tmc(G)$, is defined as the maximum number of colors used in a TMC-coloring of $G$. In this paper, we study two kinds of Erdős-Gallai-type problems for $tmc(G)$ and completely solve them.
The acoustic mismatch model and the diffuse mismatch model have been widely used to predict the thermal interface conductance. However, the acoustic mismatch model (diffuse mismatch model) is based on the hypothesis of a perfectly smooth (completely disordered) interface. Here, we present a new modified model, named as the mixed mismatch model, which considers the roughness/bonding at the interface. By taking partially specular and partially diffuse transmissions into account, the mixed mismatch model can predict the thermal interface conductance with arbitrary roughness. The proportions of specular and diffuse transmission are determined by the interface roughness which is described by the interfacial density of states. It shows that the predicted results of the mixed mismatch model match well with the values of molecular dynamics simulation and experimental data.
We determine regularity results for energy minimizing maps from an $n$-dimensional Riemannian polyhedral complex $X$ into a CAT(1) space. Provided that the metric on $X$ is Lipschitz regular, we prove Hölder regularity with Hölder constant and exponent dependent on the total energy of the map and the metric on the domain. Moreover, at points away from the $(n-2)$-skeleton, we improve the regularity to locally Lipschitz. Finally, for points $x \in X^{(k)}$ with $k \leq n-2$, we demonstrate that the Hölder exponent depends on geometric and combinatorial data of the link of $x \in X$.
Motivated by $τ$-tilting theory developed by Adachi, Iyama and Reiten, for a finite-dimensional algebra $Λ$ with action by a finite group $G$, we introduce the notion of $G$-stable support $τ$-tilting modules. Then we establish bijections among $G$-stable support $τ$-tilting modules over $Λ$, $G$-stable two-term silting complexes in the homotopy category of bounded complexes of finitely generated projective $Λ$-modules, and $G$-stable functorially finite torsion classes in the category of finitely generated left $Λ$-modules. In the case when $Λ$ is the endomorphism of a $G$-stable cluster-tilting object $T$ over a Hom-finite 2-Calabi-Yau triangulated category $\mathcal{C}$ with a $G$-action, these are also in bijection with $G$-stable cluster-tilting objects in $\mathcal{C}$. Moreover, we investigate the relationship between stable support $τ$-tilitng modules over $Λ$ and the skew group algebra $ΛG$.
Mutation of τ-tilting modules is a basic operation to construct a new support τ-tilting module from a given one by replacing a direct summand. The aim of this paper is to give a positive answer to the question posed in [AIR, Question 2.31] about mutation of τ-tilting modules.
A graph is said to be {\it total-colored} if all the edges and the vertices of the graph are colored. A total-coloring of a graph is a {\it total monochromatically-connecting coloring} ({\it TMC-coloring}, for short) if any two vertices of the graph are connected by a path whose edges and internal vertices on the path have the same color. For a connected graph $G$, the {\it total monochromatic connection number}, denoted by $tmc(G)$, is defined as the maximum number of colors used in a TMC-coloring of $G$. Note that a TMC-coloring does not exist if $G$ is not connected, in which case we simply let $tmc(G)=0$. In this paper, we first characterize all graphs of order $n$ and size $m$ with $tmc(G)=3,4,5,6,m+n-2,m+n-3$ and $m+n-4$, respectively. Then we determine the threshold function for a random graph to have $tmc(G)\geq f(n)$, where $f(n)$ is a function satisfying $1\leq f(n)<\frac{1}{2}n(n-1)+n$. Finally, we show that for a given connected graph $G$, and a positive integer $L$ with $L\leq m+n$, it is NP-complete to decide whether $tmc(G)\geq L$.