Searcharxiv⌕ Search

arXiv subjects

Yi Zhang

Publications and source records attributed to Yi Zhang.

At least 1,189 records · Page 66Linked to original sources

Theoretical limitations of Encoder-Decoder GAN architectures

Encoder-decoder GANs architectures (e.g., BiGAN and ALI) seek to add an inference mechanism to the GANs setup, consisting of a small encoder deep net that maps data-points to their succinct encodings. The intuition is that being forced to train an encoder alongside the usual generator forces the system to learn meaningful mappings from the code to the data-point and vice-versa, which should improve the learning of the target distribution and ameliorate mode-collapse. It should also yield meaningful codes that are useful as features for downstream tasks. The current paper shows rigorously that even on real-life distributions of images, the encode-decoder GAN training objectives (a) cannot prevent mode collapse; i.e. the objective can be near-optimal even when the generated distribution has low and finite support (b) cannot prevent learning meaningless codes for data -- essentially white noise. Thus if encoder-decoder GANs do indeed work then it must be due to reasons as yet not understood, since the training objective can be low even for meaningless solutions.

cs.LG↗

Univariate Contraction and Multivariate Desingularization of Ore Ideals

Ore operators with polynomial coefficients form a common algebraic abstraction for representing D-finite functions. They form the Ore ring $K(x)[D_x]$, where $K$ is the constant field. Suppose $K$ is the quotient field of some principal ideal domain $R$. The ring $R[x][D_x]$ consists of elements in $K(x)[D_x]$ without "denominator". Given $L \in K(x)[D_x]$, it generates a left ideal $I$ in $K(x)[D_x]$. We call $I \cap R[x][D_x]$ the univariate contraction of $I$. When $L$ is a linear ordinary differential or difference operator, we design a contraction algorithm for $L$ by using desingularized operators as proposed by Chen, Jaroschek, Kauers and Singer. When $L$ is an ordinary differential operator and $R = K$, our algorithm is more elementary than known algorithms. In other cases, our results are new. We propose the notion of completely desingularized operators, study their properties, and design an algorithm for computing them. Completely desingularized operators have interesting applications such as certifying integer sequences and checking special cases of a conjecture of Krattenthaler. A D-finite system is a finite set of linear homogeneous partial differential equations in several variables, whose solution space is of finite dimension. For such systems, we give the notion of a singularity in terms of the polynomials appearing in them. We show that a point is a singularity of the system unless it admits a basis of power series solutions in which the starting monomials are as small as possible with respect to some term order. Then a singularity is apparent if the system admits a full basis of power series solutions, the starting terms of which are not as small as possible. We prove that apparent singularities in the multivariate case can be removed like in the univariate case by adding suitable additional solutions to the original system.

cs.SC↗

Insight-HXMT observations of the first binary neutron star merger GW170817

Finding the electromagnetic (EM) counterpart of binary compact star merger, especially the binary neutron star (BNS) merger, is critically important for gravitational wave (GW) astronomy, cosmology and fundamental physics. On Aug. 17, 2017, Advanced LIGO and \textit{Fermi}/GBM independently triggered the first BNS merger, GW170817, and its high energy EM counterpart, GRB 170817A, respectively, resulting in a global observation campaign covering gamma-ray, X-ray, UV, optical, IR, radio as well as neutrinos. The High Energy X-ray telescope (HE) onboard \textit{Insight}-HXMT (Hard X-ray Modulation Telescope) is the unique high-energy gamma-ray telescope that monitored the entire GW localization area and especially the optical counterpart (SSS17a/AT2017gfo) with very large collection area ($\sim$1000 cm$^2$) and microsecond time resolution in 0.2-5 MeV. In addition, \textit{Insight}-HXMT quickly implemented a Target of Opportunity (ToO) observation to scan the GW localization area for potential X-ray emission from the GW source. Although it did not detect any significant high energy (0.2-5 MeV) radiation from GW170817, its observation helped to confirm the unexpected weak and soft nature of GRB 170817A. Meanwhile, \textit{Insight}-HXMT/HE provides one of the most stringent constraints (~10$^{-7}$ to 10$^{-6}$ erg/cm$^2$/s) for both GRB170817A and any other possible precursor or extended emissions in 0.2-5 MeV, which help us to better understand the properties of EM radiation from this BNS merger. Therefore the observation of \textit{Insight}-HXMT constitutes an important chapter in the full context of multi-wavelength and multi-messenger observation of this historical GW event.

astro-ph.HE↗

Vertex degree sums for perfect matchings in 3-uniform hypergraphs

We determine the minimum degree sum of two adjacent vertices that ensures a perfect matching in a 3-graph without isolated vertex. More precisely, suppose that $H$ is a 3-uniform hypergraph whose order $n$ is sufficiently large and divisible by $3$. If $H$ contains no isolated vertex and $deg(u)+ deg(v) > \frac{2}{3}n^2-\frac{8}{3}n+2$ for any two vertices $u$ and $v$ that are contained in some edge of $H$, then $H$ contains a perfect matching. This bound is tight.

math.CO↗

Identifying Restaurant Features via Sentiment Analysis on Yelp Reviews

Many people use Yelp to find a good restaurant. Nonetheless, with only an overall rating for each restaurant, Yelp offers not enough information for independently judging its various aspects such as environment, service or flavor. In this paper, we introduced a machine learning based method to characterize such aspects for particular types of restaurants. The main approach used in this paper is to use a support vector machine (SVM) model to decipher the sentiment tendency of each review from word frequency. Word scores generated from the SVM models are further processed into a polarity index indicating the significance of each word for special types of restaurant. Customers overall tend to express more sentiment regarding service. As for the distinction between different cuisines, results that match the common sense are obtained: Japanese cuisines are usually fresh, some French cuisines are overpriced while Italian Restaurants are often famous for their pizzas.

cs.CL↗

Uncertainties of the $B\to D$ transition form factor from the $D$-Meson Leading-Twist Distribution Amplitude

The $B\to D$ transition form factor (TFF) $f^{B\to D}_+(q^2)$ is determined mainly by the $D$-meson leading-twist distribution amplitude (DA) , $ϕ_{2;D}$, if the proper chiral current correlation function is adopted within the light-cone QCD sum rules. It is therefore significant to make a comprehensive study of DA $ϕ_{2;D}$ and its impact on $f^{B\to D}_+(q^2)$. In this paper, we calculate the moments of $ϕ_{2;D}$ with the QCD sum rules under the framework of the background field theory. New sum rules for the leading-twist DA moments $\left<ξ^n\right>_D$ up to fourth order and up to dimension-six condensates are presented. At the scale $μ= 2 \rm GeV$, the values of the first four moments are: $\left<ξ^1\right>_D = -0.418^{+0.021}_{-0.022}$, $\left<ξ^2\right>_D = 0.289^{+0.023}_{-0.022}$, $\left<ξ^3\right>_D = -0.178 \pm 0.010$ and $\left<ξ^4\right>_D = 0.142^{+0.013}_{-0.012}$. Basing on the values of $\left<ξ^n\right>_D(n=1,2,3,4)$, a better model of $ϕ_{2;D}$ is constructed. Applying this model for the TFF $f^{B\to D}_+(q^2)$ under the light cone sum rules, we obtain $f^{B\to D}_+(0) = 0.673^{+0.038}_{-0.041}$ and $f^{B\to D}_+(q^2_{\rm max}) = 1.124^{+0.053}_{-0.058}$. The uncertainty of $f^{B\to D}_+(q^2)$ from $ϕ_{2;D}$ is estimated and we find its impact should be taken into account, especially in low and central energy region. The branching ratio $\mathcal{B}(B\to Dl\barν_l)$ is calculated, which is consistent with experimental data.

hep-ph↗

The Giant Radio Array for Neutrino Detection (GRAND): Present and Perspectives

The Giant Radio Array for Neutrino Detection (GRAND) aims at detecting ultra-high energy extraterrestrial neutrinos via the extensive air showers induced by the decay of tau leptons created in the interaction of neutrinos under the Earth's surface. Consisting of an array of $\sim10^5$ radio antennas deployed over $\sim 2\times10^5\,\rm {km}^2$, GRAND plans to reach, for the first time, an all-flavor sensitivity of $\sim1.5\times10^{-10} \,\rm GeV\, cm^{-2} \,s^{-1}\, sr^{-1}$ above $5\times10^{17}$ eV and a sub-degree angular resolution, beyond the reach of other planned detectors. We describe here preliminary designs and simulation results, plans for the ongoing, staged approach to the construction of GRAND, and the rich research program made possible by GRAND's design sensitivity and angular resolution.

astro-ph.IM↗

Generalization and Equilibrium in Generative Adversarial Nets (GANs)

We show that training of generative adversarial network (GAN) may not have good generalization properties; e.g., training may appear successful but the trained distribution may be far from target distribution in standard metrics. However, generalization does occur for a weaker metric called neural net distance. It is also shown that an approximate pure equilibrium exists in the discriminator/generator game for a special class of generators with natural training objectives when generator capacity and training set sizes are moderate. This existence of equilibrium inspires MIX+GAN protocol, which can be combined with any existing GAN training, and empirically shown to improve some of them.

cs.LG↗

Do GANs actually learn the distribution? An empirical study

Do GANS (Generative Adversarial Nets) actually learn the target distribution? The foundational paper of (Goodfellow et al 2014) suggested they do, if they were given sufficiently large deep nets, sample size, and computation time. A recent theoretical analysis in Arora et al (to appear at ICML 2017) raised doubts whether the same holds when discriminator has finite size. It showed that the training objective can approach its optimum value even if the generated distribution has very low support ---in other words, the training objective is unable to prevent mode collapse. The current note reports experiments suggesting that such problems are not merely theoretical. It presents empirical evidence that well-known GANs approaches do learn distributions of fairly low support, and thus presumably are not learning the target distribution. The main technical contribution is a new proposed test, based upon the famous birthday paradox, for estimating the support size of the generated distribution.

cs.LG↗

Dynamical spacetimes in conformal gravity

The conformal gravity remarkably boosts our prehension of gravity theories. We find a series of dynamical solutions in the $W^2$-conformal gravity, including generalized Schwarzschild-Friedmann-Robertson-Walker (GSFRW), charged generalized Schwarzschild-Friedmann-Robertson-Walker (CGSFRW), especially rotating Friedmann-Robertson-Walker (RFRW), charged rotating Friedmann-Robertson-Walker (CRFRW), and a dynamical cylindrically symmetric solutions. The RFRW, CRFRW and the dynamical cylindrically symmetric solutions are never found in the Einstein gravity and modified gravities. The GSFRW and CGSFRW solutions take different forms from the corresponding solutions in the Einstein gravity.

gr-qc↗

Low-Dose CT with a Residual Encoder-Decoder Convolutional Neural Network (RED-CNN)

Given the potential X-ray radiation risk to the patient, low-dose CT has attracted a considerable interest in the medical imaging field. The current main stream low-dose CT methods include vendor-specific sinogram domain filtration and iterative reconstruction, but they need to access original raw data whose formats are not transparent to most users. Due to the difficulty of modeling the statistical characteristics in the image domain, the existing methods for directly processing reconstructed images cannot eliminate image noise very well while keeping structural details. Inspired by the idea of deep learning, here we combine the autoencoder, the deconvolution network, and shortcut connections into the residual encoder-decoder convolutional neural network (RED-CNN) for low-dose CT imaging. After patch-based training, the proposed RED-CNN achieves a competitive performance relative to the-state-of-art methods in both simulated and clinical cases. Especially, our method has been favorably evaluated in terms of noise suppression, structural preservation and lesion detection.

physics.med-ph↗

Towards Understanding the Invertibility of Convolutional Neural Networks

Several recent works have empirically observed that Convolutional Neural Nets (CNNs) are (approximately) invertible. To understand this approximate invertibility phenomenon and how to leverage it more effectively, we focus on a theoretical explanation and develop a mathematical model of sparse signal recovery that is consistent with CNNs with random weights. We give an exact connection to a particular model of model-based compressive sensing (and its recovery algorithms) and random-weight CNNs. We show empirically that several learned networks are consistent with our mathematical analysis and then demonstrate that with such a simple theoretical framework, we can obtain reasonable re- construction results on real images. We also discuss gaps between our model assumptions and the CNN trained for classification in practical scenarios.

stat.ML↗

A pedestrian hopping model and traffic light scheduling for pedestrian-vehicle mixed-flow networks

This paper presents a pedestrian hopping model and a traffic signal scheduling strategy with consideration of both pedestrians and vehicles in the urban traffic system. Firstly, a novel mathematical model consisting of several logic constraints is proposed to describe the pedestrian flow in the urban traffic network and its dynamics are captured by the hopping rule, which depicts the changing capacity of each time interval from one waiting zone to another. Based on the hopping mechanism, the pedestrian traffic light scheduling problems are formulated by two different performance standards: pedestrian delay and pedestrian unhappiness. Then the mathematical technique and the meta-heuristic approach are both adopted to solve the scheduling problem: Mixed integer linear programming (MILP) formulation for pedestrian delay model and discrete harmony search algorithm (DHS) for both pedestrian delay model and unhappiness model. Secondly, a mathematical model about the vehicle traffic network, which captures drivers psychological responses to the traffic light signals, is introduced. Thirdly, a traffic light scheduling strategy to minimize the trade-off of the delays between pedestrians and vehicles is proposed. Finally, we translate this traffic signal scheduling problem for both pedestrians and vehicles into a MILP problem which can be solved by several existing tools, e.g., GUROBI. Numerical simulation results are provided to illustrate the effectiveness of our real-time traffic light scheduling for pedestrian movement and the potential impact to the vehicle traffic flows by the pedestrian movement.

math.OC↗

Modelling and Traffic Signal Control of Heterogeneous Traffic Systems

An urban traffic system is a heterogeneous system, which consists of different types of intersections and dynamics. In this paper, we focus on one type of heterogeneous traffic network, which consists of signalized junctions and non-signalized ones, where in the latter case vehicles usually follow the first-in-first-out principle. We propose a novel model describing the dynamic behaviors of such a system and validate it via simulations in VISSIM. Upon such a new model, a signal control problem for a heterogeneous traffic network is formulated as a mixed integer programming problem, which is solved by a Lagrangian multiplier based hierarchical distributed approach. Comparisons between a homogeneous traffic system and a heterogeneous one are provided, which leaves the door open for developing a systematic planning approach on deciding what traffic junctions require signal control to ensure a good traffic control performance, thus, have a great social and economic potentials, considering that it is rather expensive to have signal control in an urban area.

math.OC↗

Apparent Singularities of D-finite Systems

We generalize the notions of singularities and ordinary points from linear ordinary differential equations to D-finite systems. Ordinary points of a D-finite system are characterized in terms of its formal power series solutions. We also show that apparent singularities can be removed like in the univariate case by adding suitable additional solutions to the system at hand. Several algorithms are presented for removing and detecting apparent singularities. In addition, an algorithm is given for computing formal power series solutions of a D-finite system at apparent singularities.

cs.SC↗

Spectrum Monitoring for Radar Bands using Deep Convolutional Neural Networks

In this paper, we present a spectrum monitoring framework for the detection of radar signals in spectrum sharing scenarios. The core of our framework is a deep convolutional neural network (CNN) model that enables Measurement Capable Devices to identify the presence of radar signals in the radio spectrum, even when these signals are overlapped with other sources of interference, such as commercial LTE and WLAN. We collected a large dataset of RF measurements, which include the transmissions of multiple radar pulse waveforms, downlink LTE, WLAN, and thermal noise. We propose a pre-processing data representation that leverages the amplitude and phase shifts of the collected samples. This representation allows our CNN model to achieve a classification accuracy of 99.6% on our testing dataset. The trained CNN model is then tested under various SNR values, outperforming other models, such as spectrogram-based CNN models.

cs.NI↗

A note on the initial conditions within the effective field theory approach of cosmic acceleration

By using the effective field theory approach, we investigate the role of initial condition for the dark energy or modified gravity models. In details, we consider the constant and linear parametrization of the effective Newton constant models. Firstly, under the adiabatic assumption, the correction from the extra scalar degree of freedom in the beyond $Λ$CDM model is found to be negligible. The dominant ingredient in this setup is the primordial curvature perturbation originated from inflation mechanism, and the energy budget of the matter components is not very crucial. Secondly, the iso-curvature perturbation sourced by the extra scalar field is studied. For the constant and linear model of the effective Newton constant, there is no such kind of scalar mode exist. For the quadratic model, there is a non-trivial one. However, the amplitude of the scalar field is damped away very fast on all scales. Consequently, it could not support a reasonable structure formation. Finally, we study the importance of the setup of the scalar field starting time. By setting different turn-on time, namely $a=10^{-2} $ and $a=10^{-7} $, we compare the cosmic microwave background radiation temperature, lensing deflection angle auto-correlation function as well as the matter power spectrum in the constant and linear model. We find there is an order of $\mathcal{O}(1\%)$ difference in the observable spectra for constant model, while for the linear model, it is smaller than $\mathcal{O}(0.1\%)$.

astro-ph.CO↗

Zero-sum continuous-time Markov pure jump game over a fixed duration

This paper considers a two-person zero-sum continuous-time Markov pure jump game in Borel state and action spaces over a fixed finite horizon. The main assumption on the model is the existence of a drift function, which bounds the reward rate. Under some regularity conditions, we show that the game has a value, and both of the players have their optimal policies.

math.OC↗