arXiv Science⌕ Search

arXiv subjects

Ye Tian

Publications and source records attributed to Ye Tian.

At least 253 records · Page 14Linked to original sources

Horizontal non-vanishing of Heegner points and toric periods

Let $F/\mathbb{Q}$ be a totally real field and $A$ a modular $\GL_2$-type abelian variety over $F$. Let $K/F$ be a CM quadratic extension. Let $χ$ be a class group character over $K$ such that the Rankin-Selberg convolution $L(s,A,χ)$ is self-dual with root number $-1$. We show that the number of class group characters $χ$ with bounded ramification such that $L'(1, A, χ) \neq 0$ increases with the absolute value of the discriminant of $K$. We also consider a rather general rank zero situation. Let $π$ be a cuspidal cohomological automorphic representation over $\GL_{2}(\BA_{F})$. Let $χ$ be a Hecke character over $K$ such that the Rankin-Selberg convolution $L(s,π,χ)$ is self-dual with root number $1$. We show that the number of Hecke characters $χ$ with fixed $\infty$-type and bounded ramification such that $L(1/2, π, χ) \neq 0$ increases with the absolute value of the discriminant of $K$. The Gross-Zagier formula and the Waldspurger formula relate the question to horizontal non-vanishing of Heegner points and toric periods, respectively. For both situations, the strategy is geometric relying on the Zariski density of CM points on self-products of a quaternionic Shimura variety. The recent result \cite{Ts, YZ, AGHP} on the André-Oort conjecture is accordingly fundamental to the approach.

math.NT↗

A Unified Contraction Analysis of a Class of Distributed Algorithms for Composite Optimization

We study distributed composite optimization over networks: agents minimize the sum of a smooth (strongly) convex function, the agents' sum-utility, plus a non-smooth (extended-valued) convex one. We propose a general algorithmic framework for such a class of problems and provide a unified convergence analysis leveraging the theory of operator splitting. Our results unify several approaches proposed in the literature of distributed optimization for special instances of our formulation. Distinguishing features of our scheme are: (i) when the agents' functions are strongly convex, the algorithm converges at a linear rate, whose dependencies on the agents' functions and the network topology are decoupled, matching the typical rates of centralized optimization; (ii) the step-size does not depend on the network parameters but only on the optimization ones; and (iii) the algorithm can adjust the ratio between the number of communications and computations to achieve the same rate of the centralized proximal gradient scheme (in terms of computations). This is the first time that a distributed algorithm applicable to composite optimization enjoys such properties.

math.OC↗

Achieving Linear Convergence in Distributed Asynchronous Multi-agent Optimization

This papers studies multi-agent (convex and \emph{nonconvex}) optimization over static digraphs. We propose a general distributed \emph{asynchronous} algorithmic framework whereby i) agents can update their local variables as well as communicate with their neighbors at any time, without any form of coordination; and ii) they can perform their local computations using (possibly) delayed, out-of-sync information from the other agents. Delays need not be known to the agent or obey any specific profile, and can also be time-varying (but bounded). The algorithm builds on a tracking mechanism that is robust against asynchrony (in the above sense), whose goal is to estimate locally the average of agents' gradients. When applied to strongly convex functions, we prove that it converges at an R-linear (geometric) rate as long as the step-size is {sufficiently small}. A sublinear convergence rate is proved, when nonconvex problems and/or diminishing, {\it uncoordinated} step-sizes are considered. To the best of our knowledge, this is the first distributed algorithm with provable geometric convergence rate in such a general asynchronous setting. Preliminary numerical results demonstrate the efficacy of the proposed algorithm and validate our theoretical findings.

math.OC↗

Computer-aided Detection of Squamous Carcinoma of the Cervix in Whole Slide Images

Goal: Squamous cell carcinoma of cervix is one of the most prevalent cancer worldwide in females. Traditionally, the most indispensable diagnosis of cervix squamous carcinoma is histopathological assessment which is achieved under microscope by pathologist. However, human evaluation of pathology slide is highly depending on the experience of pathologist, thus big inter- and intra-observer variability exists. Digital pathology, in combination with deep learning provides an opportunity to improve the objectivity and efficiency of histopathologic slide analysis. Methods: In this study, we obtained 800 haematoxylin and eosin stained slides from 300 patients suffered from cervix squamous carcinoma. Based on information from morphological heterogeneity in the tumor and its adjacent area, we established deep learning models using popular convolution neural network architectures (inception-v3, InceptionResnet-v2 and Resnet50). Then random forest was introduced to feature extractions and slide-based classification. Results: The overall performance of our proposed models on slide-based tumor discrimination were outstanding with an AUC scores > 0.94. While, location identifications of lesions in whole slide images were mediocre (FROC scores > 0.52) duo to the extreme complexity of tumor tissues. Conclusion: For the first time, our analysis workflow highlighted a quantitative visual-based slide analysis of cervix squamous carcinoma. Significance: This study demonstrates a pathway to assist pathologist and accelerate the diagnosis of patients by utilizing new computational approaches.

cs.CV↗

Lingvo: a Modular and Scalable Framework for Sequence-to-Sequence Modeling

Lingvo is a Tensorflow framework offering a complete solution for collaborative deep learning research, with a particular focus towards sequence-to-sequence models. Lingvo models are composed of modular building blocks that are flexible and easily extensible, and experiment configurations are centralized and highly customizable. Distributed training and quantized inference are supported directly within the framework, and it contains existing implementations of a large number of utilities, helper functions, and the newest research ideas. Lingvo has been used in collaboration by dozens of researchers in more than 20 papers over the last two years. This document outlines the underlying design of Lingvo and serves as an introduction to the various pieces of the framework, while also offering examples of advanced features that showcase the capabilities of the framework.

cs.LG↗

Machine Learning Allows Calibration Models to Predict Trace Element Concentration in Soil with Generalized LIBS Spectra

Calibration models have been developed for determination of trace elements, silver for instance, in soil using laser-induced breakdown spectroscopy (LIBS). The major concern is the matrix effect. Although it affects the accuracy of LIBS measurements in a general way, the effect appears accentuated for soil because of large variation of chemical and physical properties among different soils. The purpose is to reduce its influence in such way an accurate and soil-independent calibration model can be constructed. At the same time, the developed model should efficiently reduce experimental fluctuations affecting measurement precision. A univariate model first reveals obvious influence of matrix effect and important experimental fluctuation. A multivariate model has been then developed. A key point is the introduction of generalized spectrum where variables representing the soil type are explicitly included. Machine learning has been used to develop the model. After a necessary pretreatment where a feature selection process reduces the dimension of raw spectrum accordingly to the number of available spectra, the data have been fed in to a back-propagation neuronal networks (BPNN) to train and validate the model. The resulted soilindependent calibration model allows average relative error of calibration (REC) and average relative error of prediction (REP) within the range of 5-6%.

physics.chem-ph↗

Social power evolution in influence networks with stubborn individuals

This paper studies the evolution of social power in influence networks with stubborn individuals. Based on the Friedkin-Johnsen opinion dynamics and the reflected appraisal mechanism, two models are proposed over issue sequences and over a single issue, respectively. These models generalize the original DeGroot-Friedkin (DF) model by including stubbornness. To the best of our knowledge, this paper is the first attempt to investigate the social power evolution of stubborn individuals basing on the reflected appraisal mechanism. Properties of equilibria and convergence are provided. We show that the models have same equilibrium social power and convergence property, where the equilibrium social power depends only upon interpersonal influence and individuals' stubbornness. Roughly speaking, more stubborn individual has more equilibrium social power. Moreover, unlike the DF model without stubbornness, we prove that for the models with stubbornness, autocracy can never be achieved, while democracy can be achieved under any network topology.

eess.SY↗

THORS: An Efficient Approach for Making Classifiers Cost-sensitive

In this paper, we propose an effective THresholding method based on ORder Statistic, called THORS, to convert an arbitrary scoring-type classifier, which can induce a continuous cumulative distribution function of the score, into a cost-sensitive one. The procedure, uses order statistic to find an optimal threshold for classification, requiring almost no knowledge of classifiers itself. Unlike common data-driven methods, we analytically show that THORS has theoretical guaranteed performance, theoretical bounds for the costs and lower time complexity. Coupled with empirical results on several real-world data sets, we argue that THORS is the preferred cost-sensitive technique.

stat.ML↗

ClusterNet: 3D Instance Segmentation in RGB-D Images

We propose a method for instance-level segmentation that uses RGB-D data as input and provides detailed information about the location, geometry and number of individual objects in the scene. This level of understanding is fundamental for autonomous robots. It enables safe and robust decision-making under the large uncertainty of the real-world. In our model, we propose to use the first and second order moments of the object occupancy function to represent an object instance. We train an hourglass Deep Neural Network (DNN) where each pixel in the output votes for the 3D position of the corresponding object center and for the object's size and pose. The final instance segmentation is achieved through clustering in the space of moments. The object-centric training loss is defined on the output of the clustering. Our method outperforms the state-of-the-art instance segmentation method on our synthesized dataset. We show that our method generalizes well on real-world data achieving visually better segmentation results.

cs.RO↗

Horizontal variation of Tate--Shafarevich groups

Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $p$ be an odd prime and $ι: \overline{\mathbb{Q}}\hookrightarrow \mathbb{C}_p$ an embedding. Let $K$ be an imaginary quadratic field and $H_{K}$ the corresponding Hilbert class field. For a class group character $χ$ over $K$, let $\mathbb{Q}(χ)$ be the field generated by the image of $χ$ and $\mathfrak{p}_χ$ the prime of $\mathbb{Q}(χ)$ above $p$ determined via $ι_p$. Under mild hypotheses, we show that the number of class group characters $χ$ such that the $χ$-isotypic Tate--Shafarevich group of $E$ over $H_{K}$ is finite with trivial $\mathfrak{p}_χ$-part increases with the absolute value of the discriminant of $K$.

math.NT↗

Opinion dynamics in social networks with stubborn agents: an issue-based perspective

Classic models on opinion dynamics usually focus on a group of agents forming their opinions interactively over single issue. Yet generally consensus can not be achieved over single issue when agents are not completely open to interpersonal influence. In this paper, opinion consensus in social networks with stubborn agents is considered over issue sequences. The social network with stubborn agents is described by the Friedkin-Johnsen (F-J) model where agents are stubborn to their initial opinions. Firstly, we propose some sufficient and necessary conditions both in terms of network topology and system matrix for convergence of the F-J model over single issue. Secondly, opinion consensus of the F-J model is investigated over issue sequences. Our analysis establishes connections between the interpersonal influence network and the network describing the relationship of agents' initial opinions for successive issues. Taking advantage of these connections, we derive the sufficient and necessary condition for the F-J model to achieve opinion consensus over issue sequences. Finally, we consider a more general scenario where each agent has bounded confidence in forming its initial opinion for every issue. By analyzing the evolution of agents' ultimate opinions for each issue over issue sequences, we prove that the connectivity of the state-dependent network is preserved in this setting. Then the conditions for agents to achieve opinion consensus over issue sequences are proposed. Simulation examples are provided to illustrate the effectiveness of our theoretical results.

eess.SY↗

A Statistical Framework for Improved Automatic Flaw Detection in Nondestructive Evaluation Images

Nondestructive evaluation (NDE) techniques are widely used to detect flaws in critical components of systems like aircraft engines, nuclear power plants and oil pipelines in order to prevent catastrophic events. Many modern NDE systems generate image data. In some applications an experienced inspector performs the tedious task of visually examining every image to provide accurate conclusions about the existence of flaws. This approach is labor-intensive and can cause misses due to operator ennui. Automated evaluation methods seek to eliminate human-factors variability and improve throughput. Simple methods based on peak amplitude in an image are sometimes employed and a trained-operator-controlled refinement that uses a dynamic threshold based on signal-to-noise ratio (SNR) has also been implemented. We develop an automated and optimized detection procedure that mimics these operations. The primary goal of our methodology is to reduce the number of images requiring expert visual evaluation by filtering out images that are overwhelmingly definitive on the existence or absence of a flaw. We use an appropriate model for the observed values of the SNR-detection criterion to estimate the probability of detection. Our methodology outperforms current methods in terms of its ability to detect flaws.

stat.ME↗

PlatEMO: A MATLAB Platform for Evolutionary Multi-Objective Optimization

Over the last three decades, a large number of evolutionary algorithms have been developed for solving multiobjective optimization problems. However, there lacks an up-to-date and comprehensive software platform for researchers to properly benchmark existing algorithms and for practitioners to apply selected algorithms to solve their real-world problems. The demand of such a common tool becomes even more urgent, when the source code of many proposed algorithms has not been made publicly available. To address these issues, we have developed a MATLAB platform for evolutionary multi-objective optimization in this paper, called PlatEMO, which includes more than 50 multi-objective evolutionary algorithms and more than 100 multi-objective test problems, along with several widely used performance indicators. With a user-friendly graphical user interface, PlatEMO enables users to easily compare several evolutionary algorithms at one time and collect statistical results in Excel or LaTeX files. More importantly, PlatEMO is completely open source, such that users are able to develop new algorithms on the basis of it. This paper introduces the main features of PlatEMO and illustrates how to use it for performing comparative experiments, embedding new algorithms, creating new test problems, and developing performance indicators. Source code of PlatEMO is now available at: http://bimk.ahu.edu.cn/index.php?s=/Index/Software/index.html.

cs.NE↗

Full reconstruction of a 14-qubit state within four hours

Full quantum state tomography (FQST) plays a unique role in the estimation of the state of a quantum system without \emph{a priori} knowledge or assumptions. Unfortunately, since FQST requires informationally (over)complete measurements, both the number of measurement bases and the computational complexity of data processing suffer an exponential growth with the size of the quantum system. A 14-qubit entangled state has already been experimentally prepared in an ion trap, and the data processing capability for FQST of a 14-qubit state seems to be far away from practical applications. In this paper, the computational capability of FQST is pushed forward to reconstruct a 14-qubit state with a run time of only 3.35 hours using the linear regression estimation (LRE) algorithm, even when informationally overcomplete Pauli measurements are employed. The computational complexity of the LRE algorithm is first reduced from $O(10^{19})$ to $O(10^{15})$ for a 14-qubit state, by dropping all the zero elements, and its computational efficiency is further sped up by fully exploiting the parallelism of the LRE algorithm with parallel Graphic Processing Unit (GPU) programming. Our result can play an important role in quantum information technologies with large quantum systems.

quant-ph↗

Snowfall induced by corona discharge

We demonstrated for the first time the condensation and precipitation (or snowfall) induced by a corona discharge inside a cloud chamber. Ionic wind was found to have played a more significant role than ions as extra Cloud Condensation Nuclei (CCN). 2.25 g of net snow enhancement was measured after applying a 30 kV corona discharge for 25 min. In comparison with another newly emerging femtosecond laser filamentation method, the snow precipitation induced by the corona discharge has about 4 orders of magnitude higher wall-plug efficiency under similar conditions.

physics.gen-ph↗

Setup of a photomultiplier tube test bench for use at LHAASO-KM2A

To fulfill the requirements for testing the photomultiplier tubes (PMTs) of the electromagnetic detec- tor at the Large High Altitude Air Shower Observatory (LHAASO), a multi-functional PMT test bench with a two dimensional scanning system has been developed. With this 2D scanning system, 16 PMTs can be scanned simultaneously for characteristics tests, including uniformity, cathode transit time difference, single photo-electron spectrum, gain vs. high voltage, linear behavior and dark noise. The programmable hardware and intelligent software of the test bench make it convenient to use and provide reliable results. The test methods are described in detail and primary results are presented.

physics.ins-det↗

Coherent population transfer between weakly-coupled states in a ladder-type superconducting qutrit

Stimulated Raman adiabatic passage (STIRAP) offers significant advantages for coherent population transfer between un- or weakly-coupled states and has the potential of realizing efficient quantum gate, qubit entanglement, and quantum information transfer. Here we report on the realization of STIRAP in a superconducting phase qutrit - a ladder-type system in which the ground state population is coherently transferred to the second-excited state via the dark state subspace. The result agrees well with the numerical simulation of the master equation, which further demonstrates that with the state-of-the-art superconducting qutrits the transfer efficiency readily exceeds $99\%$ while keeping the population in the first-excited state below $1\%$. We show that population transfer via STIRAP is significantly more robust against variations of the experimental parameters compared to that via the conventional resonant $π$ pulse method. Our work opens up a new venue for exploring STIRAP for quantum information processing using the superconducting artificial atoms.

quant-ph↗