title: First observation of unbound $^{11}$O, the mirror of the halo nucleus $^{11}$Li

abstract: The structure of the extremely proton-rich nucleus $^{11}_{~8}$O$_3$, the mirror of the two-neutron halo nucleus $^{11}_{~3}$Li$_8$, has been studied experimentally for the first time. Following two-neutron knockout reactions with a $^{13}$O beam, the $^{11}$O decay products were detected after two-proton emission and used to construct an invariant-mass spectrum. A broad peak of width $\sim$3\,MeV was observed. Within the Gamow coupled-channel approach, it was concluded that this peak is a multiplet with contributions from the four-lowest $^{11}$O resonant states: $J^{\pi}$=3/2$^-_1$, 3/2$^-_2$, 5/2$^+_1$, and 5/2$^+_2$. The widths and configurations of these states show strong, non-monotonic dependencies on the depth of the $p$-$^9$C potential. This unusual behavior is due to the presence of a broad threshold resonant state in $^{10}$N, which is an analog of the virtual state in $^{10}$Li in the presence of the Coulomb potential. After optimizing the model to the data, only a moderate isospin asymmetry between ground states of $^{11}$O and $^{11}$Li was found.


title: Using First Hitting Times to Find Sets that Maximize the Convergence Rate to Consensus

abstract: In a model of communication in a social network described by a simple consensus model, we pose the problem of finding a subset of nodes with given cardinality and fixed consensus values that enable the fastest convergence rate to equilibrium of the values of the remaining nodes. Given a network topology and a subset, called the stubborn nodes, the equilibrium exists and is a convex sum of the initial values of the stubborn nodes. The value at a non-stubborn node converges to its consensus value exponentially with a rate constant determined by the expected first hitting time of a random walker starting at the node and ending at the first stubborn node it visits. In this paper, we will use the sum of the expected first hitting times to the stubborn nodes as an objective function for a minimization problem. Its solution is a set with the fastest convergence rate. We present a polynomial time method for obtaining approximate solutions of the optimization problem for fixed cardinality less than that of a reference vertex cover. Under the assumption that the transition matrix for the random walk is irreducible and reversible, we also obtain an upper bound for the expected first hitting time and therefore an upper bound on the rate of convergence to consensus, using results from the mixing theory of Markov chains


title: An Optical Flow-Based Approach for Minimally-Divergent Velocimetry Data Interpolation

abstract: Three-dimensional (3D) biomedical image sets are often acquired with in-plane pixel spacings that are far less than the out-of-plane spacings between images. The resultant anisotropy, which can be detrimental in many applications, can be decreased using image interpolation. Optical flow and/or other registration-based interpolators have proven useful in such interpolation roles in the past. When acquired images are comprised of signals that describe the flow velocity of fluids, additional information is available to guide the interpolation process. In this paper, we present an optical-flow based framework for image interpolation that also minimizes resultant divergence in the interpolated data.


title: Calibrating Multivariate L\'evy Processes with Neural Networks

abstract: Calibrating a L\'evy process usually requires characterizing its jump distribution. Traditionally this problem can be solved with nonparametric estimation using the empirical characteristic functions (ECF), assuming certain regularity, and results to date are mostly in 1D. For multivariate L\'evy processes and less smooth L\'evy densities, the problem becomes challenging as ECFs decay slowly and have large uncertainty because of limited observations. We solve this problem by approximating the L\'evy density with a parametrized functional form; the characteristic function is then estimated using numerical integration. In our benchmarks, we used deep neural networks and found that they are robust and can capture sharp transitions in the L\'evy density. They perform favorably compared to piecewise linear functions and radial basis functions. The methods and techniques developed here apply to many other problems that involve nonparametric estimation of functions embedded in a system model.


title: Non-local Spin-charge Conversion via Rashba Spin-Orbit Interaction

abstract: We show theoretically that conversion between spin and charge by spin-orbit interaction in metals occurs even in a non-local setup where magnetization and spin-orbit interaction are spatially separated if electron diffusion is taken into account. Calculation is carried out for the Rashba spin-orbit interaction treating the coupling with a ferromagnet perturbatively. The results indicate the validity of the concept of effective spin gauge field (spin motive force) in the non-local configuration. The inverse Rashba-Edelstein effect observed for a trilayer of a ferromagnet, a normal metal and a heavy metal can be explained in terms of the non-local effective spin gauge field.


title: Invariants of Spatial Graphs

abstract: This is a short review article on invariants of spatial graphs, written for "A Concise Encyclopedia of Knot Theory" (ed. Adams et. al.). The emphasis is on combinatorial and polynomial invariants of spatial graphs, including the Alexander polynomial, the fundamental quandle of a graph, and the Yamada polynomial.


title: Extreme matter in electromagnetic fields and rotation

abstract: We look over recent developments on our understanding about relativistic matter under external electromagnetic fields and mechanical rotation. I review various calculational approaches for concrete physics problems, putting my special emphasis on generality of the method and the consequence, rather than going into phenomenological applications in a specific field of physics. The topics covered in this article include static problems with magnetic fields, dynamical problems with electromagnetic fields, and phenomena induced by rotation.


title: Towards Neutron Capture on Exotic Nuclei: Demonstrating $(d,p\gamma)$ as a Surrogate Reaction for $(n,\gamma)$

abstract: The neutron-capture reaction plays a critical role in the synthesis of the elements in stars and is important for societal applications including nuclear power generation and stockpile-stewardship science. However, it is difficult - if not impossible - to directly measure neutron capture cross sections for the exotic, short-lived nuclei that participate in these processes. In this Letter we demonstrate a new technique which can be used to indirectly determine neutron-capture cross sections for exotic systems. This technique makes use of the $(d,p)$ transfer reaction, which has long been used as a tool to study the structure of nuclei. Recent advances in reaction theory, together with data collected using this reaction, enable the determination of neutron-capture cross sections for short-lived nuclei. A benchmark study of the $^{95}$Mo$(d,p)$ reaction is presented, which illustrates the approach and provides guidance for future applications of the method with short-lived isotopes produced at rare isotope accelerators.


title: Defect-free SnTe topological crystalline insulator nanowires grown by molecular beam epitaxy on graphene

abstract: SnTe topological crystalline insulator nanowires have been grown by molecular beam epitaxy on graphene/SiC substrates. The nanowires have cubic rock-salt structure, they grow along [001] crystallographic direction and have four sidewalls consisting of {100} crystal planes known to host metallic surface states with Dirac dispersion. Thorough high resolution transmission electron microscopy investigations show that the nanowires grow on graphene in the van der Walls epitaxy mode induced when the catalyzing Au nanoparticle mixes with Sn delivered from SnTe flux, providing liquid Au-Sn alloy. The nanowires are totally free from structural defects, but their {001} sidewalls are prone to oxidation, which points out on necessity of depositing protective capping in view of exploiting the magneto-electric transport phenomena involving charge carriers occupying topologically protected states.


title: PHENIX results on system size dependence of J/$\psi$ nuclear modification in $p$,$~d$, $^{3}$He+A collisions at $\sqrt{s_{NN}}$=200 GeV

abstract: The dissociation of quarkonia in the medium created in heavy ion collisions is still one of the most debated topics in the heavy ion community. Progress in understanding the effect relies on a broad range of measurements in collisions with different nuclear sizes, covering a broad rapidity range. This presentation will report the $J/\psi$ measurements performed by the PHENIX collaboration at forward and backward rapidities of 1.2 $< |y| <$ 2.2 in $p$+Al, $p$+Au, and $^3$He+Au collisions at $\sqrt{s_{NN}}$ = 200 GeV, and the corresponding nuclear modification factors.


title: The symmetries of octupolar tensors

abstract: Octupolar tensors are third order, completely symmetric and traceless tensors. Whereas in 2D an octupolar tensor has the same symmetries as an equilateral triangle and can ultimately be identified with a vector in the plane, the symmetries that it enjoys in 3D are quite different, and only exceptionally reduce to those of a regular tetrahedron. By use of the octupolar potential that is, the cubic form associated on the unit sphere with an octupolar tensor, we shall classify all inequivalent octupolar symmetries. This is a mathematical study which also reviews and incorporates some previous, less systematic attempts.


title: Cluster validity index based on Jeffrey divergence

abstract: Cluster validity indexes are very important tools designed for two purposes: comparing the performance of clustering algorithms and determining the number of clusters that best fits the data. These indexes are in general constructed by combining a measure of compactness and a measure of separation. A classical measure of compactness is the variance. As for separation, the distance between cluster centers is used. However, such a distance does not always reflect the quality of the partition between clusters and sometimes gives misleading results. In this paper, we propose a new cluster validity index for which Jeffrey divergence is used to measure separation between clusters. Experimental results are conducted using different types of data and comparison with widely used cluster validity indexes demonstrates the outperformance of the proposed index.


title: The impact of black hole seeding in cosmological simulations

abstract: Most cosmological simulations of galaxy evolution include active galactic nucleus (AGN) feedback, typically seeding black holes with masses of $\geq 10^5\, h^{-1}\, \rm{M}_{\odot}$ when the dark matter halo exceeds a given threshold mass. Taylor & Kobayashi (2014) introduced a new model, which seeds black holes at $10^3\, h^{-1}\, \rm{M}_{\odot}$ based on gas properties alone, and motivated by the channel of black hole formation due to the collapse of the most massive first stars in the Universe. We compare the black hole mass when the dark matter halo mass is $10^{10}\, h^{-1}\, \rm{M}_{\odot}$ between the different seeding methods. We find that seeding based upon gas properties gives a distribution of black hole masses with $\langle \log M_{\rm{BH}} {/ \rm{M}_{\odot}} \rangle = (5.18 \pm 0.54)$ when dark matter halo mass is $10^{10}\, h^{-1}\, \rm{M}_{\odot}$, consistent with the {seeding criteria} used in other simulations. However, the evolution of individual galaxies can be strongly affected by the different seeding mechanisms. We also find that the mean value of the distribution of black hole masses at a given halo mass evolves over time, with higher masses at higher redshifts, indicative of downsizing. Our results can inform more physically motivated black hole and AGN feedback models in cosmological simulations and semi-analytic models.


title: Relatively hyperbolic groups with free abelian second cohomology

abstract: Suppose $G$ is a 1-ended finitely presented group that is hyperbolic relative to $\mathcal P$ a finite collection of 1-ended finitely presented proper subgroups of $G$. Our main theorem states that if the boundary $\partial (G,{\mathcal P})$ is locally connected and the second cohomology group $H^2(P,\mathbb ZP)$ is free abelian for each $P\in \mathcal P$, then $H^2(G,\mathbb ZG)$ is free abelian. When $G$ is 1-ended it is conjectured that $\partial (G,\mathcal P)$ is always locally connected. Under mild conditions on $G$ and the members of $\mathcal P$ the 1-ended and local connectivity hypotheses can be eliminated and the same conclusion is obtained. When $G$ and each member of $\mathcal P$ is 1-ended and $\partial (G,\mathcal P)$ is locally connected, we prove that the "Cusped Space" for this pair has semistable fundamental group at $\infty$. This provides a starting point in our proof of the main theorem.


title: On the Entropy of Parabolic Allen-Cahn Equation

abstract: We define a (mean curvature flow) entropy for Radon measures in $\mathbb{R}^n$ or in a compact manifold. Moreover, we prove a monotonicity formula of the entropy of the measures associated with the parabolic Allen-Cahn equations. If the ambient manifold is a compact manifold with non-negative sectional curvature and parallel Ricci curvature, this is a consequence of a new monotonicity formula for the parabolic Allen-Cahn equation. As an application, we show that when the entropy of the initial data is small enough (less than twice of the energy of the one-dimensional standing wave), the limit measure of the parabolic Allen-Cahn equation has unit density for all future time.


title: Vibrational Spectroscopy at Atomic Resolution with Electron Impact Scattering

abstract: Atomic vibrations control all thermally activated processes in materials including diffusion, heat transport, phase transformations, and surface chemistry. Recent developments in monochromated, aberration-corrected scanning transmission electron microscopy (STEM) have enabled nanoscale probing of vibrational modes using a focused electron beam. However, to date, no experimental atomic resolution vibrational spectroscopy has been reported. Here we demonstrate atomic resolution by exploiting localized impact excitations of vibrational modes in materials. We show that the impact signal yields high spatial resolution in both covalent and ionic materials, and atomic resolution is available from both optical and acoustic vibrational modes. We achieve a spatial resolution of better than 2 {\AA} which is an order of magnitude improvement compared to previous work. Our approach represents an important technical advance that can be used to provide new insights into the relationship between the thermal, elastic and kinetic properties of materials and atomic structural heterogeneities.


title: Second-order Topological Superconductors with Mixed Pairing

abstract: We show that a two-dimensional semiconductor with Rashba spin-orbit coupling could be driven into the second-order topological superconducting phase when a mixed-pairing state is introduced. The superconducting order we consider involves only even-parity components and meanwhile breaks time-reversal symmetry. As a result, each corner of a square-shaped Rashba semiconductor would host one single Majorana zero mode in the second-order nontrivial phase. Starting from edge physics, we are able to determine the phase boundaries accurately. A simple criterion for the second-order phase is further established, which concerns the relative position between Fermi surfaces and nodal points of the superconducting order parameter. In the end, we propose two setups that may bring this mixed-pairing state into the Rashba semiconductor, followed by a brief discussion on the experimental feasibility of the two platforms.


title: On strongly harmonic and Gelfand modules

abstract: We introduce the notions of Strongly harmonic and Gelfand module, as a generalization of the well-known ring theoretic case. We prove some properties of these modules and we give a characterization via their lattice of submodules and their space of maximal submodules. It is also observed that, under some assumptions, the space of maximal submodules of a strongly harmonic module constitutes a compact Hausdorff space whose frame of open sets is isomorphic to the frame $\Psi(M)$ defined in [arXiv:1612.07407]. Finally, we mention some open questions that arose during this investigation.


title: Capacity Scaling of Massive MIMO in Strong Spatial Correlation Regimes

abstract: This paper investigates the capacity scaling of multicell massive MIMO systems in the presence of spatially correlated fading. In particular, we focus on the strong spatial correlation regimes where the covariance matrix of each user channel vector has a rank that scales sublinearly with the number of base station antennas, as the latter grows to infinity. We also consider the case where the covariance eigenvectors corresponding to the non-zero eigenvalues span randomly selected subspaces. For this channel model, referred to as the "random sparse angular support" model, we characterize the asymptotic capacity scaling law in the limit of large number of antennas. To achieve the asymptotic capacity results, statistical spatial despreading based on the second-order channel statistics plays a pivotal role in terms of pilot decontamination and interference suppression. A remarkable result is that even when the number of users scales linearly with base station antennas, a linear growth of the capacity with respect to the number of antennas is achievable under the sparse angular support model. We note that the achievable rate lower bound based on massive MIMO "channel hardening", widely used in the massive MIMO literature, yields rather loose results in the strong spatial correlation regimes and may significantly underestimate the achievable rate of massive MIMO. This work therefore considers an alternative bounding technique which is better suited to the strong correlation regimes. In fading channels with sparse angular support, it is further shown that spatial despreading (spreading) in uplink (downlink) has a more prominent impact on the performance of massive MIMO than channel hardening.


title: Restriction on Dirac's Conjecture

abstract: First class constraints in a canonical formalism of a gauge theory might generate transformations which map a state to its physically equivalent state. This is called Dirac's conjecture. There are two examples which may be candidates of counter-example of the conjecture. One is the toy model found by Cawley, and another is the bilocal model proposed by the author. A quantum analysis of the bilocal model shows that the model has the critical dimension of spacetime, which is surprisingly equal to four. The derivation, however, is based on the assumption that true symmetry of the system is generated by the first class constraints, which holds if Dirac's conjecture is satisfied. In the present paper we give detailed and mathematically rigorous analysis of Dirac's conjecture in general gauge theories, which involves new concept like semi-gauge invariance. We find the condition for the conjecture to hold. This is a set of equations for the generating function of the transformation, expressed in terms of Poisson brackets and M-brackets introduced in the paper. The above condition reduces the range of gauge theories where Dirac's conjecture holds. Along with the general prescription described in the paper we find that the bilocal model satisfies the above condition with some exceptions. Some examples are used to illustrate our method.


title: M\"obius-Frobenius maps on irreducible polynomials

abstract: Let $n$ be a positive integer and let $\mathbb F_{q^n}$ be the finite field with $q^n$ elements, where $q$ is a power of a prime. This paper introduces a natural action of the Projective Semilinear Group $\text{P}\Gamma \text{L}(2, q^n)=\text{PGL}(2, q^n)\rtimes \text{Gal}(\mathbb{F}_{q^n}/\mathbb{F}_q)$ on the set of monic irreducible polynomials over the finite field $\mathbb{F}_{q^n}$. Our main results provide information on the characterization and number of fixed points.


title: Software Reliability Growth Models Predict Autonomous Vehicle Disengagement Events

abstract: The acceptance of autonomous vehicles is dependent on the rigorous assessment of their safety. Furthermore, the commercial viability of AV programs depends on the ability to estimate the time and resources required to achieve desired safety levels. Naive approaches to estimating the reliability and safety levels of autonomous vehicles under development are will require infeasible amounts of testing of a static vehicle configuration. To permit both the estimation of current safety, and make predictions about the reliability of future systems, I propose the use of a standard tool for modelling the reliability of evolving software systems, software reliability growth models (SRGMs). Publicly available data from Californian public-road testing of two autonomous vehicle systems is modelled using two of the best-known SRGMs. The ability of the models to accurately estimate current reliability, as well as for current testing data to predict reliability in the future after additional testing, is evaluated. One of the models, the Musa-Okumoto model, appears to be a good estimator and a reasonable predictor.


title: Resilient Distributed Parameter Estimation with Heterogeneous Data

abstract: This paper studies resilient distributed estimation under measurement attacks. A set of agents each makes successive local, linear, noisy measurements of an unknown vector field collected in a vector parameter. The local measurement models are heterogeneous across agents and may be locally unobservable for the unknown parameter. An adversary compromises some of the measurement streams and changes their values arbitrarily. The agents' goal is to cooperate over a peer-to-peer communication network to process their (possibly compromised) local measurements and estimate the value of the unknown vector parameter. We present SAGE, the Saturating Adaptive Gain Estimator, a distributed, recursive, consensus+innovations estimator that is resilient to measurement attacks. We demonstrate that, as long as the number of compromised measurement streams is below a particular bound, then, SAGE guarantees that all of the agents' local estimates converge almost surely to the value of the parameter. The resilience of the estimator -- i.e., the number of compromised measurement streams it can tolerate -- does not depend on the topology of the inter-agent communication network. Finally, we illustrate the performance of SAGE through numerical examples.


title: Reconstructing directed graphs from generalised gauge actions on their Toeplitz algebras

abstract: We show how to reconstruct a finite directed graph E from its Toeplitz algebra, its gauge action, and the canonical finite-dimensional abelian subalgebra generated by the vertex projections. We also show that if E has no sinks, then we can recover E from its Toeplitz algebra and the generalised gauge action that has, for each vertex, an independent copy of the circle acting on the generators corresponding to edges emanating from that vertex. We show by example that it is not possible to recover E from its Toeplitz algebra and gauge action alone.


title: Pre-training with Non-expert Human Demonstration for Deep Reinforcement Learning

abstract: Deep reinforcement learning (deep RL) has achieved superior performance in complex sequential tasks by using deep neural networks as function approximators to learn directly from raw input images. However, learning directly from raw images is data inefficient. The agent must learn feature representation of complex states in addition to learning a policy. As a result, deep RL typically suffers from slow learning speeds and often requires a prohibitively large amount of training time and data to reach reasonable performance, making it inapplicable to real-world settings where data is expensive. In this work, we improve data efficiency in deep RL by addressing one of the two learning goals, feature learning. We leverage supervised learning to pre-train on a small set of non-expert human demonstrations and empirically evaluate our approach using the asynchronous advantage actor-critic algorithms (A3C) in the Atari domain. Our results show significant improvements in learning speed, even when the provided demonstration is noisy and of low quality.


title: Spatio-spectral limiting on hypercubes: eigenspaces

abstract: The operator that first truncates to a neighborhood of the origin in the spectral domain then truncates to a neighborhood of the origin in the spatial domain is investigated in the case of Boolean cubes. This operator is self adjoint on a space of bandlimited signals. The eigenspaces of this iterated projection operator are studied and are shown to depend fundamentally on the neighborhood structure of the cube when regarded as a metric graph with path distance equal to Hamming distance.


title: The effect of the neutron and proton numbers ratio in colliding nuclei at formation of the evaporation residues in the $^{34}$S+$^{208}$Pb and $^{36}$S+$^{206}$Pb reactions

abstract: The difference between observed cross sections of the evaporation residues (ER) of the $^{34}$S+$^{208}$Pb and $^{36}$S+$^{206}$Pb reactions formed in the 2n and 3n channels has been explained by two reasons related with the entrance channel characteristics of these reactions. The first reason is that the capture cross section of the latter reaction is larger than the one of the $^{34}$S+$^{208}$Pb reaction since the nucleus-nucleus potential is more attractive in the $^{36}$S+$^{206}$Pb reaction due to two more neutrons in isotope $^{36}$S. The second reason is the difference in the heights of the intrinsic fusion barrier $B^*_{\rm fus}$ appearing on the fusion trajectory by nucleon transfer between nuclei of the DNS formed after the capture. The value of $B^*_{\rm fus}$ calculated for the $^{34}$S+$^{208}$Pb reaction is higher than the one obtained for the $^{36}$S+$^{206}$Pb reaction. This fact has been caused by the difference between the $N/Z$-ratios in the light fragments of the DNS formed during the capture in these reactions. The $N/Z$-ratio has been found by solution of the transport master equations for the proton and neutron distributions between fragments of the DNS formed at capture with the different initial neutron numbers $N=18$ and $N=20$ for the reactions with the $^{34}$S and $^{36}$S, respectively.


title: Stress-stabilized sub-isostatic fiber networks in a rope-like limit

abstract: The mechanics of disordered fibrous networks such as those that make up the extracellular matrix are strongly dependent on the local connectivity or coordination number. For biopolymer networks this coordination number is typically between three and four. Such networks are sub-isostatic and linearly unstable to deformation with only central force interactions, but exhibit a mechanical phase transition between floppy and rigid states under strain. Introducing weak bending interactions stabilizes these networks and suppresses the critical signatures of this transition. We show that applying external stress can also stabilize sub-isostatic networks with only tensile central force interactions, i.e., a rope-like potential. Moreover, we find that the linear shear modulus shows a power law scaling with the external normal stress, with a non-mean-field exponent. For networks with finite bending rigidity, we find that the critical stain shifts to lower values under prestress.


title: Ultrathin film of 3D topological insulators by vapor-phase epitaxy: Surface dominant transport in wide temperature revealed by Seebeck measurement

abstract: Realization of intrinsic surface dominant transport in a wide temperature region for a topological insulators (TIs) is an important frontier research in order to promote the progresses of TIs towards the future electronics. We report here systematic measurements of longitudinal electrical transport, Shubnikov-de-Haas (SdH) quantum oscillations, Hall coefficient (R_H^2D), and Seebeck coefficient as a function of film thickness (d) and temperature using high quality Bi2-xSbxTe3-ySey (BSTS) single crystal thin films grown by physical vapor-phase deposition. The thickness dependence of sheet conductance and Seebeck coefficient clearly show the suppression of semiconducting hole carriers of bulk states by reducing film thickness, reaching to the surface dominant transport at below dc=14 nm. Quantitative arguments are made as to how the contribution of itinerant carrier number (n) can be suppressed, using both R_H^2D (n_Hall^2D) and SdH (n_SdH). Intriguingly, the value of n_Hall^2D approaches to be twice of n_SdH below dc. While R_H^2D shows a negative sign in whole temperature region, a change from negative to positive polarity is clearly observed for S at high temperatures when d is thick. We point out that this inconsistency observed between R_H^2D and S is intrinsic in 3D-TIs and its origin is the large difference in carrier mobility between the bulk and the topological surface. We propose that Seebeck coefficient can become a convenient and powerful tool to evaluate the intrinsic carrier concentration for the topological surface in 3D-TIs even in the absence of magnetic field.


title: Doppler Effect Assisted Wireless Communication for Interference Mitigation

abstract: Doppler effect is a fundamental phenomenon that appears in wave propagation, where a moving observer experiences dilation or contraction of wavelength of a wave. It also appears in radio frequency (RF) wireless communication when there exists a relative movement between the transmitter and the receiver, and is widely considered as a major impairment for reliable wireless communication. The current paper proposes Doppler Assisted Wireless Communication that exploits Doppler effect for co-channel interference mitigation. The proposed system also exploits the propagation environment and the network topology, and consists of an access point with a rotating thin drum antenna. The rotating drum receive antenna is designed in such a way that it shifts the interference signals away from the desired signal band. This paper includes a detailed system model, and the results show that under favourable fading conditions, co-channel interference can be significantly reduced. Therefore, it is anticipated that more sophisticated wireless systems and networks can be designed by extending the basic system proposed herein.


title: Constraining nuclear matter parameters with GW170817

abstract: The tidal measurement of gravitational waves from the binary neutron star merger event GW170817 allows us to probe nuclear physics that suffers less from astrophysical systematics compared to neutron star radius measurements with electromagnetic wave observations. A recent work found strong correlation among neutron-star tidal deformabilities and certain combinations of nuclear parameters associated with the equation of state. These relations were then used to derive bounds on such parameters from GW170817 assuming that the relations and neutron star masses are known exactly. Here, we expand on this important work by taking into account a few new considerations: (1) a broader class of equations of state; (2) correlations with the mass-weighted tidal deformability that was directly measured with GW170817; (3) how the relations depend on the binary mass ratio; (4) the uncertainty from equation of state variation in the correlation relations; (5) adopting the updated tidal deformability measurement from GW170817. Upon these new considerations, we find GW170817 bounds on nuclear parameters (the incompressibility $K_0$, its slope $M_0$ and the curvature of symmetry energy $K_{\mathrm{sym},0}$ at nuclear saturation density) to be 81 MeV $\leq K_0 \leq$ 362 MeV, 1556 MeV $\leq M_0 \leq$ 4971 MeV, and -254 MeV $\leq K_\mathrm{sym,0} \leq$ 27 MeV, which are more conservative than previously found with systematic errors more properly taken into account.


title: Deep Learning and Glaucoma Specialists: The Relative Importance of Optic Disc Features to Predict Glaucoma Referral in Fundus Photos

abstract: Glaucoma is the leading cause of preventable, irreversible blindness world-wide. The disease can remain asymptomatic until severe, and an estimated 50%-90% of people with glaucoma remain undiagnosed. Glaucoma screening is recommended for early detection and treatment. A cost-effective tool to detect glaucoma could expand screening access to a much larger patient population, but such a tool is currently unavailable. We trained a deep learning algorithm using a retrospective dataset of 86,618 images, assessed for glaucomatous optic nerve head features and referable glaucomatous optic neuropathy (GON). The algorithm was validated using 3 datasets. For referable GON, the algorithm had an AUC of 0.945 (95% CI, 0.929-0.960) in dataset A (1205 images, 1 image/patient; 18.1% referable), images adjudicated by panels of Glaucoma Specialists (GSs); 0.855 (95% CI, 0.841-0.870) in dataset B (9642 images, 1 image/patient; 9.2% referable), images from Atlanta Veterans Affairs Eye Clinic diabetic teleretinal screening program; and 0.881 (95% CI, 0.838-0.918) in dataset C (346 images, 1 image/patient; 81.7% referable), images from Dr. Shroff's Charity Eye Hospital's glaucoma clinic. The algorithm showed significantly higher sensitivity than 7 of 10 graders not involved in determining the reference standard, including 2 of 3 GSs, and showed higher specificity than 3 graders, while remaining comparable to others. For both GSs and the algorithm, the most crucial features related to referable GON were: presence of vertical cup-to-disc ratio of 0.7 or more, neuroretinal rim notching, retinal nerve fiber layer defect, and bared circumlinear vessels. An algorithm trained on fundus images alone can detect referable GON with higher sensitivity than and comparable specificity to eye care providers. The algorithm maintained good performance on an independent dataset with diagnoses based on a full glaucoma workup.


title: A Possibility of Lorentz Violation in the Higgs Sector

abstract: In string theory, a scalar field often appears as a moduli of a geometrical configuration of D-branes in higher dimensional space. In the low energy effective theory on D-branes, the distance between D-branes is translated into the energy scale of the gauge symmetry breaking. In this paper, we study a phenomenological consequence of a possibility that the Higgs field is such a moduli field and the D-brane configuration is stabilized by a stationary motion, in particular, revolution of D-branes on which we live. Then, due to the Coriolis force, Higgs mode is mixed with the angular fluctuation of branes and the Lorentz symmetry is violated in the dispersion relation of the Higgs boson. The Higgs boson mass measurements at LHC experiments give an upper bound $\sim {\cal O}(0.1)$ GeV for the angular frequency of the revolution of D-branes.


title: Internal migration and education: A cross-national comparison

abstract: Migration the main process shaping patterns of human settlement within and between countries. It is widely acknowledged to be integral to the process of human development as it plays a significant role in enhancing educational outcomes. At regional and national levels, internal migration underpins the efficient functioning of the economy by bringing knowledge and skills to the locations where they are needed. It is the multi-dimensional nature of migration that underlines its significance in the process of human development. Human mobility extends in the spatial domain from local travel to international migration, and in the temporal dimension from short-term stays to permanent relocations. Classification and measurement of such phenomena is inevitably complex, which has severely hindered progress in comparative research, with very few large-scale cross-national comparisons of migration. The linkages between migration and education have been explored in a separate line of inquiry that has predominantly focused on country-specific analyses as to the ways in which migration affects educational outcomes and how educational attainment affects migration behaviour. A recurrent theme has been the educational selectivity of migrants, which in turn leads to an increase of human capital in some regions, primarily cities, at the expense of others. Questions have long been raised as to the links between education and migration in response to educational expansion, but have not yet been fully answered because of the absence, until recently, of adequate data for comparative analysis of migration. In this paper, we bring these two separate strands of research together to systematically explore links between internal migration and education across a global sample of 57 countries at various stages of development, using data drawn from the IPUMS database.


title: Multi-Domain Processing via Hybrid Denoising Networks for Speech Enhancement

abstract: We present a hybrid framework that leverages the trade-off between temporal and frequency precision in audio representations to improve the performance of speech enhancement task. We first show that conventional approaches using specific representations such as raw-audio and spectrograms are each effective at targeting different types of noise. By integrating both approaches, our model can learn multi-scale and multi-domain features, effectively removing noise existing on different regions on the time-frequency space in a complementary way. Experimental results show that the proposed hybrid model yields better performance and robustness than using each model individually.


title: Efficient Misalignment-Robust Multi-Focus Microscopical Images Fusion

abstract: In this paper we propose a very efficient method to fuse the unregistered multi-focus microscopical images based on the speed-up robust features (SURF). Our method follows the pipeline of first registration and then fusion. However, instead of treating the registration and fusion as two completely independent stage, we propose to reuse the determinant of the approximate Hessian generated in SURF detection stage as the corresponding salient response for the final image fusion, thus it enables nearly cost-free saliency map generation. In addition, due to the adoption of SURF scale space representation, our method can generate scale-invariant saliency map which is desired for scale-invariant image fusion. We present an extensive evaluation on the dataset consisting of several groups of unregistered multi-focus 4K ultra HD microscopic images with size of 4112 x 3008. Compared with the state-of-the-art multi-focus image fusion methods, our method is much faster and achieve better results in the visual performance. Our method provides a flexible and efficient way to integrate complementary and redundant information from multiple multi-focus ultra HD unregistered images into a fused image that contains better description than any of the individual input images. Code is available at https://github.com/yiqingmy/JointRF.


title: Autoregressive Models for Matrix-Valued Time Series

abstract: In finance, economics and many other fields, observations in a matrix form are often generated over time. For example, a set of key economic indicators are regularly reported in different countries every quarter. The observations at each quarter neatly form a matrix and are observed over many consecutive quarters. Dynamic transport networks with observations generated on the edges can be formed as a matrix observed over time. Although it is natural to turn the matrix observations into a long vector, and then use the standard vector time series models for analysis, it is often the case that the columns and rows of the matrix represent different types of structures that are closely interplayed. In this paper we follow the autoregressive structure for modeling time series and propose a novel matrix autoregressive model in a bilinear form that maintains and utilizes the matrix structure to achieve a greater dimensional reduction, as well as more interpretable results. Probabilistic properties of the models are investigated. Estimation procedures with their theoretical properties are presented and demonstrated with simulated and real examples.


title: On the efficiency of the evaluation of the primary cosmic ray composition using lateral distributions of air shower electromagnetic component

abstract: New analysis of lateral distributions (LD) of electrons, muons and charged particles in extensive air showers generated by $10^{15}-10^{19}$ eV cosmic rays has been made with respect to the scaling formalism for LD and air shower universality paradigm. It is found that lateral distributions of electrons and muons, when considered separately, are well described by one-parametric scaling functions, while for the charged particles mixture distributions the scaling description is not accurate in radial distance range where electrons and muons give a comparable contribution to the local particle densities. The use of scaling formalism enables enhancing the electron/muon separation capabilities and, when combined with theoretically motivated air shower universality concept, provides robust mass composition estimates. The proposed approach could be implemented for the present and future (multi-) hybrid air shower observations, especially in realizing the potential of Auger and Telescope Array observatories upgrades, as well as for re-analysis and cross-calibration of the data collected from different air shower arrays in a broad primary energy range.


title: Computational RAM to Accelerate String Matching at Scale

abstract: Traditional Von Neumann computing is falling apart in the era of exploding data volumes as the overhead of data transfer becomes forbidding. Instead, it is more energy-efficient to fuse compute capability with memory where the data reside. This is particularly critical for pattern matching, a key computational step in large-scale data analytics, which involves repetitive search over very large databases residing in memory. Emerging spintronic technologies show remarkable versatility for the tight integration of logic and memory. In this paper, we introduce CRAM-PM, a novel high-density, reconfigurable spintronic in-memory compute substrate for pattern matching.


title: Slow dynamics coupled with cluster formation in ultrasoft-potential glasses

abstract: We numerically investigate slow dynamics of a binary mixture of ultrasoft particles interacting with the generalized Hertzian potential. If the softness parameter, $\alpha$, is small, the particles at high densities start penetrating each other, form clusters, and eventually undergo the glass transition. We find multiple cluster-glass phases characterized by different number of particles per cluster, whose boundary lines are sharply separated by the cluster size. Anomalous logarithmic slow relaxation of the density correlation functions is observed in the vicinity of these glass-glass phase boundaries, which hints the existence of the higher-order dynamical singularities predicted by the mode-coupling theory. Deeply in the cluster glass phases, it is found that the dynamics of a single particle is decoupled from that of the collective fluctuations.


title: Polarimetric and photometric investigation of a dark globule LDN 1225: distance, extinction law, and magnetic fields

abstract: We present the results based on the optical $R$-band polarization observations of 280 stars distributed towards the dark globule LDN\,1225. {\it Gaia} data release 2 parallaxes along with the polarization data of $\sim$200 stars have been used to (a) constrain the distance of LDN\,1225 as 830$\pm$83~pc, (b) determine the contribution of interstellar polarization (ISP), and (c) characterize the dust properties and delineate the magnetic field (B-field) morphology of LDN\,1225. We find that B-fields are more organized and exhibit a small dispersion of 12$\degr$. Using the $^{12}$CO molecular line data from the Purple Mountain Observatory (PMO), along with the column density, dispersion in B-fields, we estimate B-field strength to be $\sim$56\,$\pm$\,10\,$\mu$G, magnetic to turbulence pressure to be $\sim$3\,$\pm$\,2, and the mass-to-magnetic flux ratio (in units of critical value) to be~$<$\,1. These results indicate the dominant role of B-fields in comparison to turbulence and gravity in rendering the cloud support. B-fields are aligned parallel to the low-density parts (traced by $^{12}$CO map) of the cloud, in contrast they are neither parallel nor perpendicular to the high-density core structures (traced by $^{13}$CO and C$^{18}$O maps). LDN\,1225 hosts two 70\,$\mu$m sources which seem to be of low-mass Class 0 sources. The total-to-selective extinction derived using optical and near-infrared photometric data is found to be anomalous ($R_{V}$~$=$~3.4), suggesting dust grain growth in LDN\,1225. Polarization efficiency of dust grains follows a power-law index of $-$0.7 inferring that optical polarimetry traces B-fields in the outer parts of the cloud.


title: Scalar quasinormal modes of Kerr-AdS$\mathbf{_5}$

abstract: An analytic expression for the scalar quasinormal modes of the generic, spinning Kerr-$\mathrm{AdS_5}$ black holes was previously proposed by the authors in ref. 1, in terms of transcendental equations involving the Painlev\'e VI (PVI) $\tau$ function. In this work, we carry out a numerical investigation of the modes for generic rotation parameters, comparing implementations of expansions for the PVI $\tau$ function both in terms of conformal blocks (Nekrasov functions) and Fredholm determinants. We compare the results with standard numerical methods for the subcase of Schwarzschild black holes. We then derive asymptotic formulas for the angular eigenvalues and the quasinormal modes in the small black hole limit for generic scalar mass and discuss, both numerically and analytically, the appearance of superradiant modes.


title: Programming Curvature using Origami Tessellations

abstract: Origami describes rules for creating folded structures from patterns on a flat sheet, but does not prescribe how patterns can be designed to fit target shapes. Here, starting from the simplest periodic origami pattern that yields one degree-of-freedom collapsible structures, we show that scale-independent elementary geometric constructions and constrained optimization algorithms can be used to determine spatially modulated patterns that yield approximations to given surfaces of constant or varying curvature. Paper models confirm the feasibility of our calculations. We also assess the difficulty of realizing these geometric structures by quantifying the energetic barrier that separates the metastable flat and folded states. Moreover, we characterize the trade-off between the accuracy to which the pattern conforms to the target surface, and the effort associated with creating finer folds. Our approach enables the tailoring of origami patterns to drape complex surfaces independent of absolute scale, and quantify the energetic and material cost of doing so.


title: Algebraic entropy of a multi-term recurrence of the Hietarinta-Viallet type

abstract: We introduce a family of extensions of the Hietarinta-Viallet equation to a multi-term recurrence relation via a reduction from the coprimeness-preserving extension to the discrete KdV equation. The recurrence satisfies the irreducibility and the coprimeness property although it is nonintegrable in terms of an exponential degree growth. We derive the algebraic entropy of the recurrence by an elementary method of calculating the degree growth. The result includes the entropy of the original Hietarinta-Viallet equation.


title: Multinomial Goodness-of-Fit Based on U-Statistics: High-Dimensional Asymptotic and Minimax Optimality

abstract: We consider multinomial goodness-of-fit tests in the high-dimensional regime where the number of bins increases with the sample size. In this regime, Pearson's chi-squared test can suffer from low power due to the substantial bias as well as high variance of its statistic. To resolve these issues, we introduce a family of U-statistic for multinomial goodness-of-fit and study their asymptotic behaviors in high-dimensions. Specifically, we establish conditions under which the considered U-statistic is asymptotically Poisson or Gaussian, and investigate its power function under each asymptotic regime. Furthermore, we introduce a class of weights for the U-statistic that results in minimax rate optimal tests.


title: A generalization of Picard-Lindelof theorem/ the method of characteristics to systems of PDE

abstract: We generalize Picard-Lindelof theorem/ the method of characteristics to the following system of PDE: $C_{il}(x,y) {\partial y_i / \partial x_l} + {\partial y_i / \partial x_m} = D_i(x,y)$. With a Lipschitz or $C^r$ $C_{il},D_i: [-a, a]^{m} \times [-b, b]^{n} \rightarrow \mathbb{R}$ and initial condition $I_i: [-\bar{a}, \bar{a}]^{m-1} \rightarrow (-b,b)$, $\bar{a} \leq a$, we obtain a local unique Lipschitz or $C^r$ solution $f$, respectively that satisfies the initial condition, $f_i (v, 0 ) = I_i(v)$, $v \in [-\bar{a}, \bar{a}]^{m-1}$. To construct the solution we set bounds on the value of the solution by discretizing the domain of the solution along the direction perpendicular to the initial condition hyperplane. As the number of discretization hyperplanes is taken to infinity the upper and lower bounds of the solution approach each other, hence this gives a unique function for the solution ($Ufs$). A locality condition is derived based on the constants of the problem. The dependence of $C_{il}$, $D_i$ and $I_i$ on parameters, the generalization to nonlinear systems of PDE and the application to hyperbolic quasilinear systems of first order PDE in two independent variables is discussed.


title: A controllable two-membrane-in-the-middle cavity optomechanical system

abstract: We report an optomechanical system with two dielectric membranes inside a Fabry-Perot cavity. The cavity resonant frequencies are measured in such a two-membrane-in-the-middle system, which show an interesting band-structure-like diagram. This system exhibits great controllability on the parameters of the system. The positions and angles of each membrane can be manipulated on demand by placing two membranes inside the cavity separately. The eigenfrequencies of the vibrational modes of the membranes can also be tuned individually with piezoelectricity. This scheme could be straightforwardly extended to multiple-membrane-in-the-middle systems, where more than two membranes are involved. Such a well controllable multiple membrane optomechanical system provides a promising platform for studying nonlinear and quantum dynamical phenomena in multimode optomechanics with distinct mechanical oscillators.


title: Global and Local Two-Sample Tests via Regression

abstract: Two-sample testing is a fundamental problem in statistics. Despite its long history, there has been renewed interest in this problem with the advent of high-dimensional and complex data. Specifically, in the machine learning literature, there have been recent methodological developments such as classification accuracy tests. The goal of this work is to present a regression approach to comparing multivariate distributions of complex data. Depending on the chosen regression model, our framework can efficiently handle different types of variables and various structures in the data, with competitive power under many practical scenarios. Whereas previous work has been largely limited to global tests which conceal much of the local information, our approach naturally leads to a local two-sample testing framework in which we identify local differences between multivariate distributions with statistical confidence. We demonstrate the efficacy of our approach both theoretically and empirically, under some well-known parametric and nonparametric regression methods. Our proposed methods are applied to simulated data as well as a challenging astronomy data set to assess their practical usefulness.


title: Slimmable Neural Networks

abstract: We present a simple and general method to train a single neural network executable at different widths (number of channels in a layer), permitting instant and adaptive accuracy-efficiency trade-offs at runtime. Instead of training individual networks with different width configurations, we train a shared network with switchable batch normalization. At runtime, the network can adjust its width on the fly according to on-device benchmarks and resource constraints, rather than downloading and offloading different models. Our trained networks, named slimmable neural networks, achieve similar (and in many cases better) ImageNet classification accuracy than individually trained models of MobileNet v1, MobileNet v2, ShuffleNet and ResNet-50 at different widths respectively. We also demonstrate better performance of slimmable models compared with individual ones across a wide range of applications including COCO bounding-box object detection, instance segmentation and person keypoint detection without tuning hyper-parameters. Lastly we visualize and discuss the learned features of slimmable networks. Code and models are available at: https://github.com/JiahuiYu/slimmable_networks


title: Active Control of Mode Crossover and Mode Hopping of Spin Waves in a Ferromagnetic Antidot Lattice

abstract: Active control of spin-wave dynamics is demonstrated using broadband ferromagnetic resonance in two-dimensional Ni80Fe20 antidot lattices arranged in hexagonal lattice with fixed lattice constant but varying antidot diameter. A strong modification in the spin-wave spectra is obtained with the variation in the antidot diameter as well as with the strength and orientation of the bias magnetic field. A broad band of modes is observed for the lattice with higher antidot diameter which decreases systematically as the antidot diameter is reduced. A crossover between the higher frequency branches is achieved in lattices with higher antidot diameter. In addition, the spin-wave modes in all lattices show a strong six-fold anisotropic behaviour due to the variation of internal field distribution as a function of the bias-field orientation. A mode hopping-like behavior is observed in the angular dispersions of spin-wave spectra for samples having intermediate hole diameters. Micromagnetic simulations qualitatively reproduce the experimentally observed spin-wave modes and the simulated mode profiles reveal the presence of extended and quantized standing spin-wave modes in these lattices. These observations are significant for large tunability and anisotropic propagation of spin waves in GHz frequency magnetic devices.


title: A Reidemeister type theorem for petal diagrams of knots

abstract: We study petal diagrams of knots, which provide a method of describing knots in terms of permutations in a symmetric group $S_{2n+1}$. We define two classes of moves on such permutations, called trivial petal additions and crossing exchanges, which do not change the isotopy class of the underlying knot. We prove that any two permutations which represent isotopic knots can be related by a sequence of these moves and their inverses.


title: Band Modulation for Silicene and Graphene Quantum Dots: A First-Principles Calculation

abstract: The band modulation of the silicene and graphene quantum dots is investigated by a first-principles method. This study includes the ordinary silicene and graphene quantum dots and the embedded quantum dots in the hydrogenated silicene and graphene. The shapes and sizes of quantum dots are recognized as important factors for the electronic properties. We studied several types of quantum dots: triangular, parallelogram, rectangular, hexagonal dots. It demonstrates the energy gap of the quantum dot can be tuned by the dot size, the larger of the dot the smaller the energy gap. Moreover, the shapes affect the magnetism of the quantum dots. The triangular dot exhibits as magnetic semiconductor; the parallelogram dot shows antiferromagnetic characteristics; while the hexagonal dot is non-magnetic. Control the size and shape of a silicene or graphene quantum dot can manipulate its magnetism and electronic properties.


title: Further results on the least Q-eigenvalue of a graph with fixed domination number

abstract: In this paper, we proceed on determining the minimum $q_{min}$ among the connected nonbipartite graphs on $n\geq 5$ vertices and with domination number $\frac{n+1}{3}<\gamma\leq \frac{n-1}{2}$. Further results obtained are as follows: $\mathrm{(i)}$ among all nonbipartite connected graph of order $n\geq 5$ and with domination number $\frac{n-1}{2}$, the minimum $q_{min}$ is completely determined; $\mathrm{(ii)}$ among all nonbipartite graphs of order $n\geq 5$, with odd-girth $g_{o}\leq5$ and domination number at least $\frac{n+1}{3}<\gamma\leq \frac{n-2}{2}$, the minimum $q_{min}$ is completely determined.


title: Neural Diffusion Model for Microscopic Cascade Prediction

abstract: The prediction of information diffusion or cascade has attracted much attention over the last decade. Most cascade prediction works target on predicting cascade-level macroscopic properties such as the final size of a cascade. Existing microscopic cascade prediction models which focus on user-level modeling either make strong assumptions on how a user gets infected by a cascade or limit themselves to a specific scenario where "who infected whom" information is explicitly labeled. The strong assumptions oversimplify the complex diffusion mechanism and prevent these models from better fitting real-world cascade data. Also, the methods which focus on specific scenarios cannot be generalized to a general setting where the diffusion graph is unobserved. To overcome the drawbacks of previous works, we propose a Neural Diffusion Model (NDM) for general microscopic cascade prediction. NDM makes relaxed assumptions and employs deep learning techniques including attention mechanism and convolutional network for cascade modeling. Both advantages enable our model to go beyond the limitations of previous methods, better fit the diffusion data and generalize to unseen cascades. Experimental results on diffusion prediction task over four realistic cascade datasets show that our model can achieve a relative improvement up to 26% against the best performing baseline in terms of F1 score.


title: ChamNet: Towards Efficient Network Design through Platform-Aware Model Adaptation

abstract: This paper proposes an efficient neural network (NN) architecture design methodology called Chameleon that honors given resource constraints. Instead of developing new building blocks or using computationally-intensive reinforcement learning algorithms, our approach leverages existing efficient network building blocks and focuses on exploiting hardware traits and adapting computation resources to fit target latency and/or energy constraints. We formulate platform-aware NN architecture search in an optimization framework and propose a novel algorithm to search for optimal architectures aided by efficient accuracy and resource (latency and/or energy) predictors. At the core of our algorithm lies an accuracy predictor built atop Gaussian Process with Bayesian optimization for iterative sampling. With a one-time building cost for the predictors, our algorithm produces state-of-the-art model architectures on different platforms under given constraints in just minutes. Our results show that adapting computation resources to building blocks is critical to model performance. Without the addition of any bells and whistles, our models achieve significant accuracy improvements against state-of-the-art hand-crafted and automatically designed architectures. We achieve 73.8% and 75.3% top-1 accuracy on ImageNet at 20ms latency on a mobile CPU and DSP. At reduced latency, our models achieve up to 8.5% (4.8%) and 6.6% (9.3%) absolute top-1 accuracy improvements compared to MobileNetV2 and MnasNet, respectively, on a mobile CPU (DSP), and 2.7% (4.6%) and 5.6% (2.6%) accuracy gains over ResNet-101 and ResNet-152, respectively, on an Nvidia GPU (Intel CPU).


title: Probing strain modulation in a gate-defined one dimensional electron system

abstract: Gate patterning on semiconductors is routinely used to electrostatically restrict electron movement into reduced dimensions. At cryogenic temperatures, where most studies are carried out, differential thermal contraction between the patterned gate and the semiconductor often lead to an appreciable strain modulation. The impact of such modulated strain to the conductive channel buried in a semiconductor has long been recognized, but measuring its magnitude and variation is rather challenging. Here we present a way to measure that modulation in a gate-defined GaAs-based one-dimensional channel by applying resistively-detected NMR (RDNMR) with in-situ electrons coupled to quadrupole nuclei. The detected strain magnitude, deduced from the quadrupole-split resonance, varies spatially on the order of $10^{-4}$, which is consistent with the predicted variation based on an elastic strain model. We estimate the initial lateral strain $\epsilon_{xx}$ developed at the interface to be about $3.5 \times 10^{-3}$.


title: Two-Dimensional Photonic Crystals for Engineering Atom-Light Interactions

abstract: We present a two-dimensional (2D) photonic crystal system for interacting with cold cesium (Cs) atoms. The band structures of the 2D photonic crystals are predicted to produce unconventional atom-light interaction behaviors, including anisotropic emission, suppressed spontaneous decay and photon mediated atom-atom interactions controlled by the position of the atomic array relative to the photonic crystal. An optical conveyor technique is presented for continuously loading atoms into the desired trapping positions with optimal coupling to the photonic crystal. The device configuration also enables application of optical tweezers for controlled placement of atoms. Devices can be fabricated reliably from a 200nm silicon nitride device layer using a lithography-based process, producing predicted optical properties in transmission and reflection measurements. These 2D photonic crystal devices can be readily deployed to experiments for many-body physics with neutral atoms, and engineering of exotic quantum matter.


title: Generic absence of strong singularities and geodesic completeness in modified loop quantum cosmologies

abstract: Different regularizations of the Hamiltonian constraint in loop quantum cosmology yield modified loop quantum cosmologies, namely mLQC-I and mLQC-II, which lead to qualitatively different Planck scale physics. We perform a comprehensive analysis of resolution of various singularities in these modified loop cosmologies using effective spacetime description and compare with earlier results in standard loop quantum cosmology. We show that the volume remains non-zero and finite in finite time evolution for all considered loop cosmological models. Interestingly, even though expansion scalar and energy density are bounded due to quantum geometry, curvature invariants can still potentially diverge due to pressure singularities at a finite volume. These divergences are shown to be harmless since geodesic evolution does not break down and no strong singularities are present in the effective spacetimes of loop cosmologies. Using a phenomenological matter model, various types of exotic strong and weak singularities, including big rip, sudden, big freeze and type-IV singularities, are studied. We show that as in standard loop quantum cosmology, big rip and big freeze singularities are resolved in mLQC-I and mLQC-II, but quantum geometric effects do not resolve sudden and type-IV singularities.


title: Quantum simulation of long range $XY$ quantum spin glass with strong area-law violation using trapped ions

abstract: Ground states of local Hamiltonians are known to obey the entanglement entropy area law. While area law violation of a mild kind (logarithmic) is commonly encountered, strong area-law violation (more than logarithmic) is rare. In this paper, we study the long range quantum spin glass in one dimension whose couplings are disordered and fall off with distance as a power-law. We show that this system exhibits more than logarithmic area law violation in its ground state. Strikingly this feature is found to be true even in the short range regime in sharp contrast to the spinless long range disordered fermionic model. This necessitates the study of large systems for the quantum $XY$ spin glass model which is challenging since these numerical methods depend on the validity of the area law. This situation lends itself naturally for the exploration of a quantum simulation approach. We present a proof-of-principle implementation of this non-trivially interacting spin model using trapped ions and provide a detailed study of experimentally realistic parameters.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.str-el physics.atom-ph quant-ph


title: Problems and Solutions of Continuous Deployment: A Systematic Review

abstract: Context: The software industry needs to adapt itself to a rapidly changing market. Continuous practices (Continuous Integration, Continuous Delivery and Continuous Deployment), commonly found in Agile development processes, it is possible to deliver new features more frequently to clients, integrating of smaller features is less likely to cause conflicts than the more traditional approach of merging big features less frequently all at once. However, Continuous Deployment is no clear way on the best approaches for their implementation. Objective: The goal of this paper is to identify the challenges and the solutions related to Continuous Deployment, and then see which of those solutions can be applied to which challenges. Method: This paper is a systematic literature review of the problems and the solutions found when implementing the continuous deployment practice inside an organization. It also presents which solution can be applied to which problem. Thirty-one articles published after 2015 were analyzed for this SLR. Results: 22 problems were grouped inside the categories Human and Organizational, Process, Tools, Infrastructure, Application Architecture and Testing. The 19 solutions found were grouped inside the categories Human and Organizational, Architecture, Process and Tools. Solutions have been found for 14 problems and some questions have been identified for future research. Conclusion: this article is to serve as a reference for the practitioner who wants to find how to solve a specific challenge when implementing the continuous deployment practice.


title: Offline timed pattern matching under uncertainty

abstract: Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always followed by another action before a given deadline". This problem has strong connections with monitoring real-time systems. We address here timed pattern matching in presence of an uncertain specification, i.e., that may contain timing parameters (e.g., the deadline can be uncertain or unknown). That is, we want to know for which start and end dates, and for what values of the deadline, this property holds. Or what is the minimum or maximum deadline (together with the corresponding start and end dates) for which this property holds. We propose here a framework for timed pattern matching based on parametric timed model checking. In contrast to most parametric timed problems, the solution is effectively computable, and we perform experiments using IMITATOR to show the applicability of our approach.


title: The two-loop five-point amplitude in $\mathcal{N} =4$ super-Yang-Mills theory

abstract: We compute the symbol of the two-loop five-point scattering amplitude in $\mathcal{N}$ = 4 super-Yang-Mills theory, including its full color dependence. This requires constructing the symbol of all two-loop five-point nonplanar massless master integrals, for which we give explicit results.


title: Nearly-Linear Time Spectral Graph Reduction for Scalable Graph Partitioning and Data Visualization

abstract: This paper proposes a scalable algorithmic framework for spectral reduction of large undirected graphs. The proposed method allows computing much smaller graphs while preserving the key spectral (structural) properties of the original graph. Our framework is built upon the following two key components: a spectrum-preserving node aggregation (reduction) scheme, as well as a spectral graph sparsification framework with iterative edge weight scaling. We show that the resulting spectrally-reduced graphs can robustly preserve the first few nontrivial eigenvalues and eigenvectors of the original graph Laplacian. In addition, the spectral graph reduction method has been leveraged to develop much faster algorithms for multilevel spectral graph partitioning as well as t-distributed Stochastic Neighbor Embedding (t-SNE) of large data sets. We conducted extensive experiments using a variety of large graphs and data sets, and obtained very promising results. For instance, we are able to reduce the "coPapersCiteseer" graph with 0.43 million nodes and 16 million edges to a much smaller graph with only 13K (32X fewer) nodes and 17K (950X fewer) edges in about 16 seconds; the spectrally-reduced graphs also allow us to achieve up to 1100X speedup for spectral graph partitioning and up to 60X speedup for t-SNE visualization of large data sets.


title: Free boundary minimal surfaces and overdetermined boundary value problems

abstract: In this paper we establish a connection between free boundary minimal surfaces in a ball in $\mathbb{R}^3$ and free boundary cones arising in a one-phase problem. We prove that a doubly connected minimal surface with free boundary in a ball is a catenoid.


title: Isotonic Regression in Multi-Dimensional Spaces and Graphs

abstract: In this paper we study minimax and adaptation rates in general isotonic regression. For uniform deterministic and random designs in $[0,1]^d$ with $d\ge 2$ and $N(0,1)$ noise, the minimax rate for the $\ell_2$ risk is known to be bounded from below by $n^{-1/d}$ when the unknown mean function $f$ is nondecreasing and its range is bounded by a constant, while the least squares estimator (LSE) is known to nearly achieve the minimax rate up to a factor $(\log n)^\gamma$ where $n$ is sample size, $\gamma = 4$ in the lattice design and $\gamma = \max\{9/2, (d^2+d+1)/2 \}$ in the random design. Moreover, the LSE is known to achieve the adaptation rate $(K/n)^{-2/d}\{1\vee \log(n/K)\}^{2\gamma}$ when $f$ is piecewise constant on $K$ hyperrectangles in a partition of $[0,1]^d$. Due to the minimax theorem, the LSE is identical on every design point to both the max-min and min-max estimators over all upper and lower sets containing the design point. This motivates our consideration of estimators which lie in-between the max-min and min-max estimators over possibly smaller classes of upper and lower sets, including a subclass of block estimators. Under a $q$-th moment condition on the noise, we develop $\ell_q$ risk bounds for such general estimators for isotonic regression on graphs. For uniform deterministic and random designs in $[0,1]^d$ with $d\ge 3$, our $\ell_2$ risk bound for the block estimator matches the minimax rate $n^{-1/d}$ when the range of $f$ is bounded and achieves the near parametric adaptation rate $(K/n)\{1\vee\log(n/K)\}^{d}$ when $f$ is $K$-piecewise constant. Furthermore, the block estimator possesses the following oracle property in variable selection: When $f$ depends on only a subset $S$ of variables, the $\ell_2$ risk of the block estimator automatically achieves up to a poly-logarithmic factor the minimax rate based on the oracular knowledge of $S$.


title: Top-down fabrication of high-uniformity nanodiamonds by self-assembled block copolymer masks

abstract: Nanodiamonds hosting colour centres are a promising material platform for various quantum technologies. The fabrication of non-aggregated and uniformly-sized nanodiamonds with systematic integration of single quantum emitters has so far been lacking. Here, we present a top-down fabrication method to produce 30.0$\pm$5.4 nm uniformly-sized single-crystal nanodiamonds by block copolymer self-assembled nanomask patterning together with directional and isotropic reactive ion etching. We show detected emission from bright single nitrogen vacancy centres hosted in the fabricated nanodiamonds. The lithographically precise patterning of large areas of diamond by self-assembled masks and their release into uniformly sized nanodiamonds open up new possibilities for quantum information processing and sensing.


title: Lectures on 4d N=1 dynamics and related topics

abstract: This lecture series consists of mostly independent three parts: Part 1: a tour of basic 4d N=1 supersymmetric dynamics, covering the pure super Yang-Mills, the Seiberg duality for classical groups, the supersymmetric index on S^3, and the a-maximization. Part 2: a brief look at 2d N=(2,2) and N=(0,2) dynamics, covering the Landau-Ginzburg and Calabi-Yau models, the elliptic genera on T^2, and the triality of Gadde-Gukov-Putrov. Appendix: a review of basic properties of supersymmetries in various dimensions. Part of the content is based on an unpublished collaboration with F. Yagi and another with K. Kikuchi.


title: Enhancing Person-Job Fit for Talent Recruitment: An Ability-aware Neural Network Approach

abstract: The wide spread use of online recruitment services has led to information explosion in the job market. As a result, the recruiters have to seek the intelligent ways for Person Job Fit, which is the bridge for adapting the right job seekers to the right positions. Existing studies on Person Job Fit have a focus on measuring the matching degree between the talent qualification and the job requirements mainly based on the manual inspection of human resource experts despite of the subjective, incomplete, and inefficient nature of the human judgement. To this end, in this paper, we propose a novel end to end Ability aware Person Job Fit Neural Network model, which has a goal of reducing the dependence on manual labour and can provide better interpretation about the fitting results. The key idea is to exploit the rich information available at abundant historical job application data. Specifically, we propose a word level semantic representation for both job requirements and job seekers' experiences based on Recurrent Neural Network. Along this line, four hierarchical ability aware attention strategies are designed to measure the different importance of job requirements for semantic representation, as well as measuring the different contribution of each job experience to a specific ability requirement. Finally, extensive experiments on a large scale real world data set clearly validate the effectiveness and interpretability of the APJFNN framework compared with several baselines.


title: The language preservation problem is undecidable for parametric event-recording automata

abstract: Parametric timed automata (PTA) extend timed automata with unknown constants ("parameters"), at the price of undecidability of most interesting problems. The (untimed) language preservation problem ("given a parameter valuation, can we find at least one other valuation with the same untimed language?") is undecidable for PTAs. We prove that this problem remains undecidable for parametric event-recording automata (PERAs), a subclass of PTAs that considerably restrains the way the language can be used; we also show it remains undecidable even for slightly different definitions of the language, i.e., finite sequences of actions ending in or passing infinitely often through accepting locations, or just all finite untimed words (without accepting locations).


title: Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking

abstract: The election of a leader in a network is a challenging task, especially when the processes are asynchronous, i.e., execute an algorithm with time-varying periods. Thales developed an industrial election algorithm with an arbitrary number of processes, that can possibly fail. In this work, we prove the correctness of a variant of this industrial algorithm. We use a method combining abstraction, the SafeProver solver, and a parametric timed model-checker. This allows us to prove the correctness of the algorithm for a large number p of processes (p=5000).


title: Electric field tuning of the anomalous Hall effect at oxide interfaces

abstract: We show that the anomalous Hall effect (AHE) at a magnetic interface with strong spin-orbit coupling can be tuned with an external electric field. By altering the strength of the inversion symmetry breaking, the electric field changes the Rashba interaction, which in turn modifies the magnitude of the Berry curvature, the central quantity in determining the anomalous Hall conductivity (AHC). The effect is illustrated with a square lattice model, which yields a quadratic dependence of the AHC for small electric fields. Explicit density-functional calculations were performed for the recently grown iridate interface, viz., the (SrIrO$_3$)$_1$/(SrMnO$_3$)$_1$ (001) structure, both with and without an electric field. The effect may be potentially useful in spintronics applications.


title: Analysis Methods in Neural Language Processing: A Survey

abstract: The field of natural language processing has seen impressive progress in recent years, with neural network models replacing many of the traditional systems. A plethora of new models have been proposed, many of which are thought to be opaque compared to their feature-rich counterparts. This has led researchers to analyze, interpret, and evaluate neural networks in novel and more fine-grained ways. In this survey paper, we review analysis methods in neural language processing, categorize them according to prominent research trends, highlight existing limitations, and point to potential directions for future work.


title: Orbital-Free DFT Correctly Models Quantum Dots When Asymptotics, Nonlocality and Nonhomogeneity Are Accounted For

abstract: Million-atom quantum simulations are in principle feasible with Orbital-Free Density Functional Theory (OF-DFT) because the algorithms only require simple functional minimizations with respect to the electron density function. In this context, OF-DFT has been useful for simulations of warm dense matter, plasma, cold metals and alloys. Unfortunately, systems as important as quantum dots and clusters (having highly inhomogeneous electron densities) still fall outside OF-DFT's range of applicability. In this work, we address this century old problem by devising and implementing an accurate, transferable and universal family of nonlocal Kinetic Energy density functionals that feature correct asymptotics and can handle highly inhomogenous electron densities. For the first time to date, we show that OF-DFT achieves close to chemical accuracy for the electronic energy and reproduces the electron density to about 5\% of the benchmark for semiconductor quantum dots and metal clusters. Therefore, this work demonstrates that OF-DFT is no longer limited to simulations of systems with nearly homogeneous electron density but it can venture into simulations of clusters and quantum dots with applicability to rational design of novel materials.


title: Dusty Superwind from a Galaxy with a Compact Obscured Nucleus: Optical Spectroscopic Study of NGC 4418

abstract: We report our optical spectroscopic study of the nucleus and its surrounding region of a nearby luminous infrared galaxy NGC 4418. This galaxy has been known to host a compact obscured nucleus, showing distinct characteristics such as a very compact ($\sim 20$ pc) sub-mm and mid-infrared core and dusty circumnuclear region with massive molecular gas concentration. We detected dusty superwind outflow at $\gtrsim 1$ kpc scale along the disk semiminor axis in both shock-heated emission lines and enhanced interstellar Na D absorption. This superwind shows basic characteristics similar to those of the prototypical superwind in the starburst galaxy M82, such as a kpc-scale extended structure of gas and dust along the disk minor axis, outflowing components (multiphase gas and dust), physical conditions of the ionized gas, and monotonically blueshifting radial velocity field with increasing distance from the nucleus on the front side of the superwind. We also detected a moderately extinct starburst population in the SDSS nuclear spectrum with the burst age of $\simeq 10$ Myr and stellar mass of $\simeq 1\times 10^7\ M_\mathrm{\odot}$. It is powerful enough to drive the superwind within the dynamical age of the superwind ($\simeq 10$ Myr). On the basis of comparison between this starburst--superwind scenario and the observations in terms of the burst age, stellar mass, infrared luminosity, and obscuration in the optical bands, we argue that this superwind-driving starburst is separate from the sub-mm core even if the core is a very young star cluster. Therefore, this galaxy hosts both the enshrouded compact core and the superwind-driving circumnuclear starburst.


title: Primal path algorithm for compositional data analysis

abstract: Compositional data have two unique characteristics compared to typical multivariate data: the observed values are nonnegative and their summand is exactly one. To reflect these characteristics, a specific regularized regression model with linear constraints is commonly used. However, linear constraints incur additional computational time, which becomes severe in high-dimensional cases. As such, we propose an efficient solution path algorithm for a $l_1$ regularized regression with compositional data. The algorithm is then extended to a classification model with compositional predictors. We also compare its computational speed with that of previously developed algorithms and apply the proposed algorithm to analyze human gut microbiome data.


title: Observation of wall-vortex composite defects in a spinor Bose-Einstein condensate

abstract: We report the observation of spin domain walls bounded by half-quantum vortices (HQVs) in a spin-1 Bose-Einstein condensate with antiferromagnetic interactions. A spinor condensate is initially prepared in the easy-plane polar phase, and then, suddenly quenched into the easy-axis polar phase. Domain walls are created via the spontaneous $\mathbb{Z}_2$ symmetry breaking in the phase transition and the walls dynamically split into composite defects due to snake instability. The end points of the defects are identified as HQVs for the polar order parameter and the mass supercurrent in their proximity is demonstrated using Bragg scattering. In a strong quench regime, we observe that singly charged quantum vortices are formed with the relaxation of free wall-vortex composite defects. Our results demonstrate a nucleation mechanism for composite defects via phase transition dynamics.


title: Topological phase and lattice structures in spin chain models

abstract: Finding new topological materials and understanding the physical essence of topology are crucial problems for researchers. We studied the topological property based on several proposed Su-Schrieffer-Heeger (SSH) related models. We show that the topologically non-trivial phase (TNP) in the SSH model can exist in other model conditions and can even be caused by anisotropy; its origin has a close relation with the even-bond dimerization. Further study shows that the TNP is not determined by the periodicity of the system, but the parity of the two kinds of bonds plays a significant role for the formation of the TNP. This finding reveals the topological invariant of the system and might supply potential extended topological materials for both theoretical and experimental researches.


title: On the Relative Expressiveness of Bayesian and Neural Networks

abstract: A neural network computes a function. A central property of neural networks is that they are "universal approximators:" for a given continuous function, there exists a neural network that can approximate it arbitrarily well, given enough neurons (and some additional assumptions). In contrast, a Bayesian network is a model, but each of its queries can be viewed as computing a function. In this paper, we identify some key distinctions between the functions computed by neural networks and those by marginal Bayesian network queries, showing that the former are more expressive than the latter. Moreover, we propose a simple augmentation to Bayesian networks (a testing operator), which enables their marginal queries to become "universal approximators."


title: Expander Decomposition and Pruning: Faster, Stronger, and Simpler

abstract: We study the problem of graph clustering where the goal is to partition a graph into clusters, i.e. disjoint subsets of vertices, such that each cluster is well connected internally while sparsely connected to the rest of the graph. In particular, we use a natural bicriteria notion motivated by Kannan, Vempala, and Vetta which we refer to as {\em expander decomposition}. Expander decomposition has become one of the building blocks in the design of fast graph algorithms, most notably in the nearly linear time Laplacian solver by Spielman and Teng, and it also has wide applications in practice. We design algorithm for the parametrized version of expander decomposition, where given a graph $G$ of $m$ edges and a parameter $\phi$, our algorithm finds a partition of the vertices into clusters such that each cluster induces a subgraph of conductance at least $\phi$ (i.e. a $\phi$ expander), and only a $\widetilde{O}(\phi)$ fraction of the edges in $G$ have endpoints across different clusters. Our algorithm runs in $\widetilde{O}(m/\phi)$ time, and is the first nearly linear time algorithm when $\phi$ is at least $1/\log^{O(1)} m$, which is the case in most practical settings and theoretical applications. Previous results either take $\Omega(m^{1+o(1)})$ time, or attain nearly linear time but with a weaker expansion guarantee where each output cluster is guaranteed to be contained inside some unknown $\phi$ expander. Our result achieve both nearly linear running time and the strong expander guarantee for clusters. Moreover, a main technique we develop for our result can be applied to obtain a much better \emph{expander pruning} algorithm, which is the key tool for maintaining an expander decomposition on dynamic graphs. Finally, we note that our algorithm is developed from first principles based on relatively simple and basic techniques, thus making it very likely to be practical.


title: On stability of Euler flows on closed surfaces of positive genus

abstract: Incompressible flows of an ideal two-dimensional fluid on a closed orientable surface of positive genus are considered. Linear stability of harmonic, i.e. irrotational and incompressible, solutions to the Euler equations is shown using the Hodge-Helmholtz decomposition. We also demonstrate that any surface Euler flow is stable with respect to harmonic velocity perturbations.


title: Lifelong Testing of Smart Autonomous Systems by Shepherding a Swarm of Watchdog Artificial Intelligence Agents

abstract: Artificial Intelligence (AI) technologies could be broadly categorised into Analytics and Autonomy. Analytics focuses on algorithms offering perception, comprehension, and projection of knowledge gleaned from sensorial data. Autonomy revolves around decision making, and influencing and shaping the environment through action production. A smart autonomous system (SAS) combines analytics and autonomy to understand, learn, decide and act autonomously. To be useful, SAS must be trusted and that requires testing. Lifelong learning of a SAS compounds the testing process. In the remote chance that it is possible to fully test and certify the system pre-release, which is theoretically an undecidable problem, it is near impossible to predict the future behaviours that these systems, alone or collectively, will exhibit. While it may be feasible to severely restrict such systems\textquoteright \ learning abilities to limit the potential unpredictability of their behaviours, an undesirable consequence may be severely limiting their utility. In this paper, we propose the architecture for a watchdog AI (WAI) agent dedicated to lifelong functional testing of SAS. We further propose system specifications including a level of abstraction whereby humans shepherd a swarm of WAI agents to oversee an ecosystem made of humans and SAS. The discussion extends to the challenges, pros, and cons of the proposed concept.


title: Controlling the Interferometers of Zero-Line Modes in Graphene by Pseudomagnetic field

abstract: Networks of graphene-based topological domain walls function as nano-scale interferometers of zero-line modes, with magnetic field and(or) scalar potential as the controlling parameters. In the absence of externally applied magnetic or electrical field, strain induces pseudomagnetic field and scalar potential in graphene, which could control the interferometers more efficiently. Two types of strains are considered: (i) Horizontally bending the graphene nanoribbon into circular arc induces nearly uniform pseudomagnetic field; (ii) Helicoidal graphene nanoribbon exhibit nonuniform pseudomagnetic field. Both types of strain induce small scalar potential due to dilatation. The interferometers are studied by transport calculation of the tight binding model. The transmission rates through the interferometer depend on the strain parameters. An interferometer with three loops is designed, which could completely switch the transmitting current from one export to the other.


title: Self-dual gravity via Hitchin's equations

abstract: In this work half-flat metrics are obtained from Hitchin's equations. The SU$(\infty)$ Hitchin's equations are obtained and as a consequence of them, the Husain-Park equation is found. Considering that the gauge group is SU$(2)$, some solutions associated to Liouville, sinh-Gordon and Painlev\'e III equations are taken and, through Moyal deformations, solutions of the SU$(\infty)$ Hitchin's equations are obtained. From these solutions, hamiltonian vector fields are determined, which in turn are used to construct the half-flat metrics. Following an approach of Dunajski, Mason and Woodhouse, it is also possible to construct half-flat metrics on ${\cal M} \times\mathbb{CP}^{1}$.


title: Spherical inversion for a small $K$-type on the split real Lie group of type $G_2$

abstract: We give an explicit formula for the Harish-Chandra $c$-function for a small $K$-type on a split real Lie group of type $G_2$. As an application we give an explicit formula for spherical inversion for this small $K$-type.


title: Sparse Sensing, Communication, and Actuation via Self-Triggered Control Algorithms

abstract: We propose a self-triggered control algorithm to reduce onboard processor usage, communication bandwidth, and energy consumption across a linear time-invariant networked control system. We formulate an optimal control problem by penalizing the l0-measures of the feedback gain and the vector of control inputs and maximizing the dwell time between the consecutive triggering times. It is shown that the corresponding l1-relaxation of the optimal control problem is feasible and results in a stabilizing feedback control law with guaranteed performance bounds, while providing a sparse schedule for collecting samples from sensors, communication with other subsystems, and activating the input actuators.


title: The FDR-Linking Theorem

abstract: This paper introduces the \texttt{FDR-linking} theorem, a novel technique for understanding \textit{non-asymptotic} FDR control of the Benjamini--Hochberg (BH) procedure under arbitrary dependence of the $p$-values. This theorem offers a principled and flexible approach to linking all $p$-values and the null $p$-values from the FDR control perspective, suggesting a profound implication that, to a large extent, the FDR of the BH procedure relies mostly on the null $p$-values. To illustrate the use of this theorem, we propose a new type of dependence only concerning the null $p$-values, which, while strictly \textit{relaxing} the state-of-the-art PRDS dependence (Benjamini and Yekutieli, 2001), ensures the FDR of the BH procedure below a level that is independent of the number of hypotheses. This level is, furthermore, shown to be optimal under this new dependence structure. Next, we present a concept referred to as \textit{FDR consistency} that is weaker but more amenable than FDR control, and the \texttt{FDR-linking} theorem shows that FDR consistency is completely determined by the joint distribution of the null $p$-values, thereby reducing the analysis of this new concept to the global null case. Finally, this theorem is used to obtain a sharp FDR bound under arbitrary dependence, which improves the $\log$-correction FDR bound (Benjamini and Yekutieli, 2001) in certain regimes.


title: Spectral Analysis of the Growth of Translational Superfluid Flow in a Bose Liquid

abstract: Spectral analysis of the translational superfluid flow of a Bose liquid is attempted. When cooling a dissipative flow of liquid helium 4 through a capillary at the lambda temperature,a superfluid flow abruptly appears at the lambda temperature. By a thought experiment in which the pressure difference between two ends of a capillary slowly oscillates, the spectrum of fluidity (the reciprocal of kinematic viscosity) just above the lambda temperature ($2.17 K<T<2.18 K$) is examined using a sum rule that incorporates the result of linear response theory and fluid mechanics. According to Feynman's picture on the many-body wave function of bosons, as the condensate grows in the flow, the transverse motion in the flow becomes suppressed by the emergence of a gap, originating from the Bose statistics, in the excitation spectrum. This statistical gap induces a continuous change in the fluidity spectrum just above the lambda temperature, which demonstrates the growth of a superfluid flow. For this mechanism, the size distribution of the coherent wave function plays an important role. As a byproduct, a new interpretation of the critical velocity is proposed.


title: Densely Semantically Aligned Person Re-Identification

abstract: We propose a densely semantically aligned person re-identification framework. It fundamentally addresses the body misalignment problem caused by pose/viewpoint variations, imperfect person detection, occlusion, etc. By leveraging the estimation of the dense semantics of a person image, we construct a set of densely semantically aligned part images (DSAP-images), where the same spatial positions have the same semantics across different images. We design a two-stream network that consists of a main full image stream (MF-Stream) and a densely semantically-aligned guiding stream (DSAG-Stream). The DSAG-Stream, with the DSAP-images as input, acts as a regulator to guide the MF-Stream to learn densely semantically aligned features from the original image. In the inference, the DSAG-Stream is discarded and only the MF-Stream is needed, which makes the inference system computationally efficient and robust. To the best of our knowledge, we are the first to make use of fine grained semantics to address the misalignment problems for re-ID. Our method achieves rank-1 accuracy of 78.9% (new protocol) on the CUHK03 dataset, 90.4% on the CUHK01 dataset, and 95.7% on the Market1501 dataset, outperforming state-of-the-art methods.


title: Construct holomorphic invariants in \v{C}ech cohomology by a combinatorial formula

abstract: In this paper, we give a combinatorial formula for the \v{C}ech cocycles representing the power sums of the Chern roots of a holomorphic vector bundle over a complex manifold. By an observation motivation by author's previous paper, we also construct some new holomorphic invariants refining the Chern classes. Firstly, we define the refined first $T$ invariants for all holomorphic vector bundles (or $\mathcal Q$-flat classes in the line bundle case) and give a criterion for determining whether a manifold has a line bundle whose $\mathcal Q$-flat class is strictly finer than its first Chern class in the Dolbeault cohomology. Then, we define the refined higher $T$ invariants for holomorphic vector bundles with a full flag structure. At last, we generalize the notion of the $T$ invariants (or equivalently the Chern classes) and the refined $T$ invariants for the locally free sheaves of schemes over general fields.


title: Particle dynamics subject to impenetrable boundaries: existence and uniqueness of mild solutions

abstract: We consider the dynamics of particle systems where the particles are confined by impenetrable barriers to a bounded, possibly non-convex domain $\Omega$. When particles hit the boundary, we consider an instant change in velocity, which turns the systems describing the particle dynamics into an ODE with discontinuous right-hand side. Other than the typical approach to analyse such a system by using weak solutions to ODEs with multi-valued right-hand sides (i.e., applying the theory introduced by Filippov in 1988), we establish the existence of mild solutions instead. This solution concept is easier to work with than weak solutions; e.g., proving uniqueness of mild solutions is straight-forward, and mild solutions provide a solid structure for proving many-particle limits. We supplement our theory of mild solutions with an application to gradient flows of interacting particle energies with a singular interaction potential, and illustrate its features by means of numerical simulations on various choices for the (non-convex) domain $\Omega$.