• Active vision is inherently attention-driven: The agent actively selects views to attend in order to fast achieve the vision task while improving its internal representation of the scene being observed. Inspired by the recent success of attention-based models in 2D vision tasks based on single RGB images, we propose to address the multi-view depth-based active object recognition using attention mechanism, through developing an end-to-end recurrent 3D attentional network. The architecture takes advantage of a recurrent neural network (RNN) to store and update an internal representation. Our model, trained with 3D shape datasets, is able to iteratively attend to the best views targeting an object of interest for recognizing it. To realize 3D view selection, we derive a 3D spatial transformer network which is differentiable for training with backpropagation, achieving much faster convergence than the reinforcement learning employed by most existing attention-based models. Experiments show that our method, with only depth input, achieves state-of-the-art next-best-view performance in time efficiency and recognition accuracy.
  • D-finite Numbers (1611.05901)

    May 26, 2018 cs.SC, math.NT
    D-finite functions and P-recursive sequences are defined in terms of linear differential and recurrence equations with polynomial coefficients. In this paper, we introduce a class of numbers closely related to D-finite functions and P-recursive sequences. It consists of the limits of convergent P-recursive sequences. Typically, this class contains many well-known mathematical constants in addition to the algebraic numbers. Our definition of the class of D-finite numbers depends on two subrings of the field of complex numbers. We investigate how different choices of these two subrings affect the class. Moreover, we show that D-finite numbers are essentially limits of D-finite functions at the point one, and evaluating D-finite functions at non-singular algebraic points typically yields D-finite numbers. This result makes it easier to recognize certain numbers to be D-finite.
  • The real world exhibits an abundance of non-stationary textures. Examples include textures with large-scale structures, as well as spatially variant and inhomogeneous textures. While existing example-based texture synthesis methods can cope well with stationary textures, non-stationary textures still pose a considerable challenge, which remains unresolved. In this paper, we propose a new approach for example-based non-stationary texture synthesis. Our approach uses a generative adversarial network (GAN), trained to double the spatial extent of texture blocks extracted from a specific texture exemplar. Once trained, the fully convolutional generator is able to expand the size of the entire exemplar, as well as of any of its sub-blocks. We demonstrate that this conceptually simple approach is highly effective for capturing large-scale structures, as well as other non-stationary attributes of the input exemplar. As a result, it can cope with challenging textures, which, to our knowledge, no other existing method can handle.
  • Numerous techniques have been proposed for reconstructing 3D models for opaque objects in past decades. However, none of them can be directly applied to transparent objects. This paper presents a fully automatic approach for reconstructing complete 3D shapes of transparent objects. Through positioning an object on a turntable, its silhouettes and light refraction paths under different viewing directions are captured. Then, starting from an initial rough model generated from space carving, our algorithm progressively optimizes the model under three constraints: surface and refraction normal consistency, surface projection and silhouette consistency, and surface smoothness. Experimental results on both synthetic and real objects demonstrate that our method can successfully recover the complex shapes of transparent objects and faithfully reproduce their light refraction properties.
  • We introduce P2P-NET, a general-purpose deep neural network which learns geometric transformations between point-based shape representations from two domains, e.g., meso-skeletons and surfaces, partial and complete scans, etc. The architecture of the P2P-NET is that of a bi-directional point displacement network, which transforms a source point set to a target point set with the same cardinality, and vice versa, by applying point-wise displacement vectors learned from data. P2P-NET is trained on paired shapes from the source and target domains, but without relying on point-to-point correspondences between the source and target point sets. The training loss combines two uni-directional geometric losses, each enforcing a shape-wise similarity between the predicted and the target point sets, and a cross-regularization term to encourage consistency between displacement vectors going in opposite directions. We develop and present several different applications enabled by our general-purpose bidirectional P2P-NET to highlight the effectiveness, versatility, and potential of our network in solving a variety of point-based shape transformation problems.
  • We devise and study a random particle blob method for approximating the Vlasov-Poisson-Fokkker-Planck (VPFP) equations by a $N$-particle system subject to the Brownian motion in $\mathbb{R}^3$ space. More precisely, we show that maximal distance between the exact microscopic and the mean-field trajectories is bounded by $N^{-\frac{1}{3}+\varepsilon}$ ($\frac{1}{63}\leq\varepsilon<\frac{1}{36}$) for a system with blob size $N^{-\delta}$ ($\frac{1}{3}\leq\delta<\frac{19}{54}-\frac{2\varepsilon}{3}$) up to a probability $1-N^{-\alpha}$ for any $\alpha>0$, which improves the cut-off in [10]. Our result thus leads to a derivation of VPFP equations from the microscopic $N$-particle system. In particular we prove the convergence rate between the empirical measure associated to the particle system and the solution of the VPFP equations. The technical novelty of this paper is that our estimates crucially rely on the randomness coming from the initial data and from the Brownian motion.
  • In this paper we rigorously justify the propagation of chaos for the parabolic-elliptic Keller-Segel equation over bounded convex domains. The boundary condition under consideration is the no-flux condition. As intermediate steps, we establish the well-posedness of the associated stochastic equation as well as the well-posedness of the Keller-Segel equation for bounded weak solutions.
  • In this article, we study the parameter estimation of interacting particle systems subject to the Newtonian aggregation. Specifically, we construct an estimator $\widehat{\nu}$ with partial observed data to approximate the diffusion parameter $\nu$, and the estimation error is achieved. Furthermore, we extend this result to general aggregation equations with a bounded Lipschitz interaction field.
  • We analyze sunspots rotation and magnetic transients in NOAA AR 11429 during two X-class (X5.4 and X1.3) flares using the data from the Helioseismic and Magnetic Imager on board the \emph{Solar Dynamics Observatory}. A large leading sunspot with positive magnetic polarity rotated counterclockwise. As expected, the rotation was significantly affected by the two flares. The magnetic transients induced by the flares were clearly evident in the sunspots with negative polarity. They were moving across the sunspots with speed of order $3-7\ \rm km \ s^{-1}$. Furthermore, the trend of magnetic flux evolution of these sunspots exhibited changes associated with the flares. These results may shed light on the understanding of the evolution of sunspots.
  • The problem to decide whether a given multivariate (quasi-)rational function has only positive coefficients in its power series expansion has a long history. It dates back to Szego in 1933 who showed certain quasi-rational function to be positive, in the sense that all the series coefficients are positive, using an involved theory of special functions. In contrast to the simplicity of the statement, the method was surprisingly difficult. This dependency motivated further research for positivity of (quasi-)rational functions. More and more (quasi-)rational functions have been proven to be positive, and some of the proofs are even quite simple. However, there are also others whose positivity are still open conjectures. In this talk, we focus on a less difficult but also interesting question to decide whether the diagonal of a given quasi-rational function is ultimately positive, especially for the one conjectured to be positive by Kauers in 2007. To solve this question, it suffices to compute the asymptotics of the diagonal coefficients, which can be done by the multivariate singularity analysis developed by Baryshnikov, Pemantle and Wilson. Note that the ultimate positivity is a necessary condition for the positivity, and therefore can be used to either exclude the nonpositive cases or further support the conjectural positivity.
  • Based on a modified version of Abramov-Petkov\v{s}ek reduction, a new algorithm to compute minimal telescopers for bivariate hypergeometric terms was developed last year. We investigate further in this paper and present a new argument for the termination of this algorithm, which provides an independent proof of the existence of telescopers and even enables us to derive lower as well as upper bounds for the order of telescopers for hypergeometric terms. Compared to the known bounds in the literature, our bounds are sometimes better, and never worse than the known ones.
  • The Abramov-Petkovsek reduction computes an additive decomposition of a hypergeometric term, which extends the functionality of the Gosper algorithm for indefinite hypergeometric summation. We modify the Abramov-Petkovsek reduction so as to decompose a hypergeometric term as the sum of a summable term and a non-summable one. The outputs of the Abramov-Petkovsek reduction and our modified version share the same required properties. The modified reduction does not solve any auxiliary linear difference equation explicitly. It is also more efficient than the original reduction according to computational experiments. Based on this reduction, we design a new algorithm to compute minimal telescopers for bivariate hypergeometric terms. The new algorithm can avoid the costly computation of certificates.
  • We investigate the effects of a low frequency (acoustic) phonon bath on the dynamics of a quantum dot modelled as a cascade three-level system. We show that the phonon bath appears to the upper transition of the cascade system as a broadband reservoir of inverted rather than conventional harmonic oscillators. The action of the annihilation and creation operators of the inverted oscillator are interchanges relative to those of the usual harmonic oscillator that it serves as a linear amplifier to the system, and thereby gives rise to unusual features in the dynamics of the quantum dot. We find that the phonon bath, although being in a thermal state, affects the quantum dot as a correlated-type reservoir which results in the decay of the system to a correlated two-photon state with the population distribution no longer obeying a Boltzmann distribution. It is particularly interesting that even for a zero temperature phonon reservoir the steady state is a correlated state which under appropriate conditions on the Rabi frequencies and the damping rates can reduce to a strongly correlated pure state. It is shown that the two-photon correlations result in a significant squeezing and strong two-photon correlations in the radiation field emitted by the quantum dot. The presence of the correlations in the system is manifest in the presence of quantum beats in the time evolution of the populations and the radiation intensity. The effect of the ordinary spontaneous emission on the features induced by the phonon bath is also discussed.
  • Much recent attention has been devoted to gradient descent algorithms where the steepest descent step size is replaced by a similar one from a previous iteration or gets updated only once every second step, thus forming a {\em faster gradient descent method}. For unconstrained convex quadratic optimization these methods can converge much faster than steepest descent. But the context of interest here is application to certain ill-posed inverse problems, where the steepest descent method is known to have a smoothing, regularizing effect, and where a strict optimization solution is not necessary. Specifically, in this paper we examine the effect of replacing steepest descent by a faster gradient descent algorithm in the practical context of image deblurring and denoising tasks. We also propose several highly efficient schemes for carrying out these tasks independently of the step size selection, as well as a scheme for the case where both blur and significant noise are present. In the above context there are situations where many steepest descent steps are required, thus building slowness into the solution procedure. Our general conclusion regarding gradient descent methods is that in such cases the faster gradient descent methods offer substantial advantages. In other situations where no such slowness buildup arises the steepest descent method can still be very effective.