• The eigenvector empirical spectral distribution (VESD) is a useful tool in studying the limiting behavior of eigenvalues and eigenvectors of covariance matrices. In this paper, we study the convergence rate of the VESD of sample covariance matrices to the deformed Mar\v{c}enko-Pastur (MP) distribution. Consider sample covariance matrices of the form $\Sigma^{1/2} X X^* \Sigma^{1/2}$, where $X=(x_{ij})$ is an $M\times N$ random matrix whose entries are independent random variables with mean zero and variance $N^{-1}$, and $\Sigma$ is a deterministic positive-definite matrix. We prove that the Kolmogorov distance between the expected VESD and the deformed MP distribution is bounded by $N^{-1+\epsilon}$ for any fixed $\epsilon>0$, provided that the entries $\sqrt{N}x_{ij}$ have uniformly bounded 6th moments and $|N/M-1|\ge \tau$ for some constant $\tau>0$. This result improves the previous one obtained in \cite{XYZ2013}, which gave the convergence rate $O(N^{-1/2})$ assuming $i.i.d.$ $X$ entries, bounded 10th moment, $\Sigma=I$ and $M<N$. Moreover, we also prove that under the finite $8$th moment assumption, the convergence rate of the VESD is $O(N^{-1/2+\epsilon})$ almost surely for any fixed $\epsilon>0$, which improves the previous bound $N^{-1/4+\epsilon}$ in \cite{XYZ2013}.
  • In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in (Kontinen and Vaananen 2013) and (Hannula 2015). We prove a characterization theorem for negatable formulas in independence logic and negatable sentences in dependence logic, and identify an interesting class of formulas that are negatable in independence logic. Dependence and independence atoms, first-order formulas belong to this class. We also demonstrate our extended system of independence logic by giving explicit derivations for Armstrong's Axioms and the Geiger-Paz-Pearl axioms of dependence and independence atoms.
  • We consider the problem of isotonic regression, where the underlying signal $x$ is assumed to satisfy a monotonicity constraint, that is, $x$ lies in the cone $\{ x\in\mathbb{R}^n : x_1 \leq \dots \leq x_n\}$. We study the isotonic projection operator (projection to this cone), and find a necessary and sufficient condition characterizing all norms with respect to which this projection is contractive. This enables a simple and non-asymptotic analysis of the convergence properties of isotonic regression, yielding uniform confidence bands that adapt to the local Lipschitz properties of the signal.
  • We prove an estimate on the smallest singular value of a multiplicatively and additively deformed random rectangular matrix. Suppose $n\le N \le M \le \Lambda N$ for some constant $\Lambda \ge 1$. Let $X$ be an $M\times n$ random matrix with independent and identically distributed entries, which have zero mean, unit variance and arbitrarily high moments. Let $T$ be an $N\times M$ deterministic matrix with comparable singular values $c\le s_{N}(T) \le s_{1}(T) \le c^{-1}$ for some constant $c>0$. Let $A$ be an $N\times n$ deterministic matrix with $\|A\|=O(\sqrt{N})$. Then we prove that for any $\epsilon>0$, the smallest singular value of $TX-A$ is larger than $N^{-\epsilon}(\sqrt{N}-\sqrt{n-1})$ with high probability. If we assume further the entries of $X$ have subgaussian decay, then the smallest singular value of $TX-A$ is at least of the order $\sqrt{N}-\sqrt{n-1}$ with high probability, which is an essentially optimal estimate.
  • We proved that Schr\"odinger operators with unbounded potentials $(H_{\alpha,\theta}u)_n=u_{n+1}+u_{n-1}+ \frac{g(\theta+n\alpha)}{f(\theta+n\alpha)} u_n$ have purely singular continuous spectrum on the set $\{E: 0<L(E)<\delta{(\alpha,\theta;f,g)}\}$, where $\delta$ is an explicit function and $L$ is the Lyapunov exponent. We only require $f,g$ are H\"older continuous functions and $f$ has finitely many zeros with weak non-degenerate assumptions. Moreover, we show that for generic $\alpha$ and a.e. $\theta$, the spectral measure of $H_{\alpha,\theta}$ has full spectral/packing dimension.
  • We report measurements of vibrational mode shapes of mechanical resonators made from ultrathin carbon nanomembranes (CNMs) with a thickness of approximately 1 nm. CNMs are prepared from electron irradiation induced cross-linking of aromatic self-assembled monolayers (SAMs) and the variation of membrane thickness and/or density can be achieved by varying the precursor molecule. Single- and triple-layer freestanding CNMs were made by transferring them onto Si substrates with square/rectangular orifices. The vibration of the membrane was actuated by applying a sinusoidal voltage to a piezoelectric disk on which the sample was glued. The vibrational mode shapes were visualized with an imaging Mirau interferometer using a stroboscopic light source. Several mode shapes of a square membrane can be readily identified and their dynamic behavior can be well described by linear response theory of a membrane with negligible bending rigidity. Applying Fourier transformations to the time-dependent surface profiles, the dispersion relation of the transverse membrane waves can be obtained and its linear behavior confirms the membrane model. Comparing the dispersion relation to an analytical model, the static stress of the membranes was determined and found to be caused by the fabrication process.
  • We model the newly synthesized magic-angle twisted bilayer-graphene superconductor with two $p_{x,y}$-like Wannier orbitals on the superstructure honeycomb lattice, where the hopping integrals are constructed via the Slater-Koster formulism. The characteristics exhibited in this simple model are well consistent with both the rigorous calculations and experiment observations. Then, with repulsive Hubbard interactions turning on, we performed random-phase-approximation (RPA) based calculations to identify the electron instabilities. As a result, we find chiral $d+id$ topological superconductivity bordering the correlated insulating state near half-filling, identified as noncoplanar chiral spin-density wave (SDW) ordered state, featuring quantum anomalous Hall effect. The phase-diagram obtained in our approach is qualitatively consistent with experiments.
  • We study fractal dimension properties of singular Jacobi operators. We prove quantitative lower spectral/quantum dynamical bounds for general operators with strong repetition properties and controlled singularities. For analytic quasiperiodic Jacobi operators in the positive Lyapunov exponent regime, we obtain a sharp arithmetic criterion of full spectral dimensionality. The applications include the extended Harper's model where we obtain arithmetic results on spectral dimensions and quantum dynamical exponents.
  • Multi-Object Tracking (MOT) is a challenging task in the complex scene such as surveillance and autonomous driving. In this paper, we propose a novel tracklet processing method to cleave and re-connect tracklets on crowd or long-term occlusion by Siamese Bi-Gated Recurrent Unit (GRU). The tracklet generation utilizes object features extracted by CNN and RNN to create the high-confidence tracklet candidates in sparse scenario. Due to mis-tracking in the generation process, the tracklets from different objects are split into several sub-tracklets by a bidirectional GRU. After that, a Siamese GRU based tracklet re-connection method is applied to link the sub-tracklets which belong to the same object to form a whole trajectory. In addition, we extract the tracklet images from existing MOT datasets and propose a novel dataset to train our networks. The proposed dataset contains more than 95160 pedestrian images. It has 793 different persons in it. On average, there are 120 images for each person with positions and sizes. Experimental results demonstrate the advantages of our model over the state-of-the-art methods on MOT16.
  • Simulation of metasurfaces usually requires many computational resources and is time-consuming. This paper proposes using susceptibility-modeled metasurface in place of physical metasurface to accelerate metasurface design, because susceptibility is a homogenized parameter which can uniquely characterize physical particles. The susceptibilities of physical particles are calculated from reflection coefficients based on Generalized Sheet Transition Conditions (GSTCs). After this, the susceptibility-modeled metasurface is simulated in FDTD in a form of surface polarization currents. The results of our method agrees well with HFSS in a wide range of frequencies.
  • Deep neural networks (DNNs) had great success on NLP tasks such as language modeling, machine translation and certain question answering (QA) tasks. However, the success is limited at more knowledge intensive tasks such as QA from a big corpus. Existing end-to-end deep QA models (Miller et al., 2016; Weston et al., 2014) need to read the entire text after observing the question, and therefore their complexity in responding a question is linear in the text size. This is prohibitive for practical tasks such as QA from Wikipedia, a novel, or the Web. We propose to solve this scalability issue by using symbolic meaning representations, which can be indexed and retrieved efficiently with complexity that is independent of the text size. More specifically, we use sequence-to-sequence models to encode knowledge symbolically and generate programs to answer questions from the encoded knowledge. We apply our approach, called the N-Gram Machine (NGM), to the bAbI tasks (Weston et al., 2015) and a special version of them ("life-long bAbI") which has stories of up to 10 million sentences. Our experiments show that NGM can successfully solve both of these tasks accurately and efficiently. Unlike fully differentiable memory models, NGM's time complexity and answering quality are not affected by the story length. The whole system of NGM is trained end-to-end with REINFORCE (Williams, 1992). To avoid high variance in gradient estimation, which is typical in discrete latent variable models, we use beam search instead of sampling. To tackle the exponentially large search space, we use a stabilized auto-encoding objective and a structure tweak procedure to iteratively reduce and refine the search space.
  • In this paper, we strive to answer two questions: What is the current state of 3D hand pose estimation from depth images? And, what are the next challenges that need to be tackled? Following the successful Hands In the Million Challenge (HIM2017), we investigate the top 10 state-of-the-art methods on three tasks: single frame 3D pose estimation, 3D hand tracking, and hand pose estimation during object interaction. We analyze the performance of different CNN structures with regard to hand shape, joint visibility, view point and articulation distributions. Our findings include: (1) isolated 3D hand pose estimation achieves low mean errors (10 mm) in the view point range of [70, 120] degrees, but it is far from being solved for extreme view points; (2) 3D volumetric representations outperform 2D CNNs, better capturing the spatial structure of the depth data; (3) Discriminative methods still generalize poorly to unseen hand shapes; (4) While joint occlusions pose a challenge for most methods, explicit modeling of structure constraints can significantly narrow the gap between errors on visible and occluded joints.
  • One-dimensional Majorana modes are predicated to form in Josephson junctions based on three-dimensional topological insulators (TIs). While observations of supercurrents in Josephson junctions made on bulk-insulating TI samples are recently reported, the Fraunhofer patters observed in such topological Josephson junctions, which sometimes present anomalous features, are still not well understood. Here we report our study of highly gate-tunable topological Josephson junctions made of one of the most bulk-insulating TI materials, BiSbTeSe2, and Al. The Fermi level can be tuned by gating across the Dirac point, and the high transparency of the Al/BiSbTeSe2 interface is evinced by a high characteristic voltage and multiple Andreev reflections with peak indices reaching n = 12. Anomalous Fraunhofer patterns with missing lobes were observed in the entire range of gate voltage. We found that, by employing an advanced fitting procedure to use the maximum entropy method in a Monte Carlo algorithm, the anomalous Fraunhofer patterns are explained as a result of inhomogeneous supercurrent distributions on the TI surface in the junction. Besides establishing a highly promising fabrication technology, this work clarifies one of the important open issues regarding topological Josephson junctions.
  • We present the observed H$\alpha$ flux and derived star formation rates (SFRs) for a fall sample of low$-$surface$-$brightness galaxies (LSBGs). The sample is selected from the fall sky region of the 40$\%$ ALFALFA {\ion{H}{1}} survey $-$ SDSS DR7 photometric data, and all the $H\alpha$ images were obtained using the 2.16 m telescope, operated by the National Astronomy Observatories, Chinese Academy of Sciences. A total of 111 LSBGs were observed and $H\alpha$ flux was measured in 92 of them. Though almost all the LSBGs in our sample are {\ion{H}{1}}$-$rich, their SFRs derived from the extinction and filter$-$transmission$-$corrected $H\alpha$ flux, are less than 1$M_{\sun}$$yr^{-1}$. LSBGs and star forming galaxies have similar {\ion{H}{1}} surface densities, but LSBGs have much lower SFRs and SFR surface densities than star$-$forming galaxies. Our results show that LSBGs deviate from the Kennicutt-Schmidt law significantly, which indicate that they have low star formation efficiency. The SFRs of LSBGs are close to average SFRs in Hubble time and support the previous arguments that most of the LSBGs are stable systems and they tend to seldom contain strong interactions or major mergers during their star formation histories.
  • In some randomized clinical trials, patients may die before the measurements of their outcomes. Even though randomization generates comparable treatment and control groups, the remaining survivors often differ significantly in background variables that are prognostic to the outcomes. This is called the truncation by death problem. Under the potential outcomes framework, the only well-defined causal effect on the outcome is within the subgroup of patients who would always survive under both treatment and control. Because the definition of the subgroup depends on the potential values of the survival status that could not be observed jointly, without making strong parametric assumptions, we cannot identify the causal effect of interest and consequently can only obtain bounds of it. Unfortunately, however, many bounds are too wide to be useful. We propose to use detailed survival information before and after the measurements of the outcomes to sharpen the bounds of the subgroup causal effect. Because survival times contain useful information about the final outcome, carefully utilizing them could improve statistical inference without imposing strong parametric assumptions. Moreover, we propose to use a copula model to relax the commonly-invoked but often doubtful monotonicity assumption that the treatment extends the survival time for all patients.
  • The unconventional superconductivity in Sr$_2$RuO$_4$ continues to attract considerable interest. While many measurements can be interpreted on the basis of chiral $p$-wave pairing with intriguing topological character, a number of exceptions hinder an unambiguous verification of such pairing. The pairing mechanism also remains under debate. In this paper, with effects of the sizable spin-orbit coupling accounted for, we reexamine the superconducting instabilities in Sr$_2$RuO$_4$ through systematic microscopic analysis within random phase approximation. Our calculations show that the odd-parity $p$-wave pairing is favored in the regime of extremely weak interactions, but that highly anisotropic even-parity pairings become most leading over a broad range of stronger interactions. These results could shed light on the nature of the enigmatic superconductivity in Sr$_2$RuO$_4$.
  • Light-to-Camera Communication (LCC) has emerged as a new wireless communication technology with great potential to benefit a broad range of applications. However, the existing LCC systems either require the camera directly facing to the lights or can only communicate over a single link, resulting in low throughputs and being fragile to ambient illuminant interference. We present HYCACO, a novel LCC system, which enables multiple light emitting diodes (LEDs) with an unaltered camera to communicate via the non-line-of-sight (NLoS) links. Different from other NLoS LCC systems, the proposed scheme is resilient to the complex indoor luminous environment. HYCACO can decode the messages by exploring the mixed reflected optical signals transmitted from multiple LEDs. By further exploiting the rolling shutter mechanism, we present the optimal optical frequencies and camera exposure duration selection strategy to achieve the best performance. We built a hardware prototype to demonstrate the efficiency of the proposed scheme under different application scenarios. The experimental results show that the system throughput reaches 4.5 Kbps on iPhone 6s. With the robustness, improved system throughput and ease of use, HYCACO has great potentials to be used in a wide range of applications such as advertising, tagging objects, and device certifications.
  • We design a driven superconducting box with four spins-1/2 (qubits) such that coupled devices can give insight on the occurrence of quantum spin liquids and many-body Majorana states. Within one box or island, we introduce a generalized nuclear magnetic resonance protocol and study numerically the dynamics in time, as well as dissipation effects on spins, to probe Majorana braiding and to detect the gauge fields. Coupling boxes allow to realize quantum spin liquid phases of Kitaev Z2 spin models in various geometries with applications in the toric code. We further present an implementation of the Sachdev-Ye-Kitaev model in coupled ladder systems.
  • We model the newly predicted high-$T_c$ superconducting candidates constructed by corner-shared trigonal bipyramidal complexes with an effective three-orbital tight-banding Hamiltonian and investigate the pairing symmetry of their superconducting states driven by electron-electron interactions. Our combined weak and strong coupling based calculations consistently identify the chiral $d+id$ superconductivity as the leading pairing symmetry in a wide doping range with realistic interaction parameters. This pairing state has nontrivial topological Chern-number and can host gapless chiral edge modes, and the vortex cores under magnetic field can carry Majorana zero modes.
  • Recent observations of two nodeless gaps in superconducting CeCu$_2$Si$_2$ have raised intensive debates on its exact gap symmetry, while a satisfactory theoretical basis is still lacking. Here we propose a phenomenological approch to calculate the superconducting gap functions, taking into consideration both the realistic Fermi surface topology and the intra and inter-band quantum critical scatterings. Our calculations yield a nodeless $s^\pm$-wave solution in the presence of strong inter-band pairing interaction, in good agreement with experiments. This provides a possible basis for understanding the superconducting gap symmetry of CeCu$_2$Si$_2$ at ambient pressure, and indicates the potential importance of multiple Fermi surfaces and inter-band pairing interaction in understanding heavy fermion superconductivity.
  • The remarkable $s\pm$ superconductivity (SC) is well known in the iron-based superconductors, which are of multi-orbital characteristic. Here we propose a single-orbital realization of this intriguing pairing state with high superconducting critical temperature $T_c$ in the square-octagon lattice, which is hosted by a few real materials. Owing to the perfect Fermi surface nesting at half-filling, arbitrarily weak Hubbard-interaction drives long-range spin-density wave (SDW) with Neel antiferromagnetic order. Such SDW order persists into the doped regime for finite Hubbard-$U$, but with its wave-vector shifting linearly with doping concentration, leading into incommensurate SDW state. When such SDW order is killed by further doping or parameter-tuning, strong short-ranged spin fluctuations mediate unconventional SC with rich pairing phase-diagram. The largest portion of the phase-diagram is occupied by the $s\pm$-SC, with high $T_c$. Finally, we propose realization of our results in relevant materials.
  • The bianisotropic susceptibility Generalized Sheet Transition Conditions (GSTCs) synthesis method is extended from planar to spherical metasurfaces. Properties specific to the non-zero intrinsic curvature of the spherical shape are highlighted and different types of corresponding transformations are described. Finally, the susceptibility-GSTC method and exotic properties of spherical metasurfaces are validated and illustrated with three examples: illusion transformation, ring focusing and birefringence.
  • Multi-event detection and recognition in real time is of challenge for a modern grid as its feature is usually non-identifiable. Based on factor model, this paper porposes a data-driven method as an alternative solution under the framework of random matrix theory. This method maps the raw data into a high-dimensional space with two parts: 1) the principal components (factors, mapping event signals); and 2) time series residuals (bulk, mapping white/non-Gaussian noises). The spatial information is extracted form factors, and the termporal infromation from residuals. Taking both spatial-tempral correlation into account, this method is able to reveal the multi-event: its components and their respective details, e.g., occurring time. Case studies based on the standard IEEE 118-bus system validate the proposed method.
  • The distance between two point light sources is difficult to estimate if that distance is below the diffraction (Rayleigh's) resolution limit of the imaging device. A recently proposed technique enhances the precision of this estimation by exploiting the source-separation-dependent coupling of light into higher-order $\rm{TEM}$ modes, particularly the $\rm{TEM}_{01}$ mode of the image. We theoretically analyze the estimation of the source separation by means of homodyne or heterodyne detection with a local oscillator in the $\rm{TEM}_{01}$ mode, which is maximally sensitive to the separation in the sub-Rayleigh regime. We calculate the per-photon Fisher information associated with this estimation and compare it with direct imaging. For thermal sources, the per-photon Fisher information depends on the average photon number per thermal mode of the image; it surpasses the Fisher information for direct imaging (in the interesting sub-Rayleigh regime) when the average photon number exceeds two for homodyne detection and four for heterodyne detection.
  • We study a randomized algorithm for graph domination, by which, according to a uniformly chosen permutation, vertices are revealed and added to the dominating set if not already dominated. We determine the expected size of the dominating set produced by the algorithm for the path graph $P_n$ and use this to derive the expected size for some related families of graphs. We then provide a much-refined analysis of the worst and best cases of this algorithm on $P_n$ and enumerate the permutations for which the algorithm has the worst-possible performance and best-possible performance. The case of dominating the path graph has connections to previous work of Bouwer and Star, and of Gessel on greedily coloring the path.