title: Sparse Representation of 3D Images for Piecewise Dimensionality Reduction with High Quality Reconstruction

abstract: Sparse representation of 3D images is considered within the context of data reduction. The goal is to produce high quality approximations of 3D images using fewer elementary components than the number of intensity points in the 3D array. This is achieved by means of a highly redundant dictionary and a dedicated pursuit strategy especially designed for low memory requirements. The benefit of the proposed framework is illustrated in the first instance by demonstrating the gain in dimensionality reduction obtained when approximating true color images as very thin 3D arrays, instead of performing an independent channel by channel approximation. The full power of the approach is further exemplified by producing high quality approximations of hyper-spectral images with a reduction of up to 371 times the number of data points in the representation.


title: Percolation for level-sets of Gaussian free fields on metric graphs

abstract: We study level-set percolation for Gaussian free fields on metric graphs. In two dimensions, we give an upper bound on the chemical distance between the two boundaries of a macroscopic annulus. Our bound holds with high probability conditioned on connectivity and the bound is sharp up to a poly-logarithmic factor with an exponent of one-quarter. This substantially improves a previous result by Li and the first author. In three dimensions and higher, we provide rather sharp estimates of percolation probabilities in different regimes which altogether describe a sharp phase transition.


title: Spin Thermal Hall Conductivity of a Kagom\'e Antiferromagnet

abstract: A clear thermal Hall signal ($\kappa_{xy}$) was observed in the spin liquid phase of the $S=1/2$ kagom\'e antiferromagnet Ca kapellasite (CaCu$_3$(OH)$_6$Cl$_2\cdot 0.6$H$_2$O). We found that $\kappa_{xy}$ is well reproduced, both qualitatively and quantitatively, using the Schwinger-boson mean-field theory with the Dzyaloshinskii--Moriya interaction of $D/J \sim 0.1$. In particular, $\kappa_{xy}$ values of Ca kapellasite and those of another kagom\'e antiferromagnet, volborthite, converge to one single curve in simulations modeled using Schwinger bosons, indicating a common temperature dependence of $\kappa_{xy}$ for the spins of a kagom\'e antiferromagnet.


title: Frequency shifts in noble-gas magnetometers

abstract: Polarized nuclei are a powerful tool in nuclear spin studies and in searches for beyond-the-standard model physics. Noble-gas comagnetometer systems, which compare two nuclear species, have thus far been limited by anomalous frequency variations of unknown origin. We studied the self-interactions in a $^3$He-$^{129}$Xe system by independently addressing, controlling and measuring the influence of each component of the nuclear spin polarization. Our results directly rule out prior explanations of the shifts, and demonstrate experimentally that they can be explained by species dependent self-interactions. We also report the first gas phase frequency shift induced by $^{129}$Xe on $^3$He.


title: Persistent cohomology for data with multicomponent heterogeneous information

abstract: Persistent homology is a powerful tool for characterizing the topology of a data set at various geometric scales. When applied to the description of molecular structures, persistent homology can capture the multiscale geometric features and reveal certain interaction patterns in terms of topological invariants. However, in addition to the geometric information, there is a wide variety of non-geometric information of molecular structures, such as element types, atomic partial charges, atomic pairwise interactions, and electrostatic potential function, that is not described by persistent homology. Although element specific homology and electrostatic persistent homology can encode some non-geometric information into geometry based topological invariants, it is desirable to have a mathematical framework to systematically embed both geometric and non-geometric information, i.e., multicomponent heterogeneous information, into unified topological descriptions. To this end, we propose a mathematical framework based on persistent cohomology. In our framework, non-geometric information can be either distributed globally or resided locally on the datasets in the geometric sense and can be properly defined on topological spaces, i.e., simplicial complexes. Using the proposed persistent cohomology based framework, enriched barcodes are extracted from datasets to represent heterogeneous information. We consider a variety of datasets to validate the present formulation and illustrate the usefulness of the proposed persistent cohomology. It is found that the proposed framework using cohomology boosts the performance of persistent homology based methods in the protein-ligand binding affinity prediction on massive biomolecular datasets.


title: Neural Mesh: Introducing a Notion of Space and Conservation of Energy to Neural Networks

abstract: Neural networks are based on a simplified model of the brain. In this project, we wanted to relax the simplifying assumptions of a traditional neural network by making a model that more closely emulates the low level interactions of neurons. Like in an RNN, our model has a state that persists between time steps, so that the energies of neurons persist. However, unlike an RNN, our state consists of a 2 dimensional matrix, rather than a 1 dimensional vector, thereby introducing a concept of distance to other neurons within the state. In our model, neurons can only fire to adjacent neurons, as in the brain. Like in the brain, we only allow neurons to fire in a time step if they contain enough energy, or excitement. We also enforce a notion of conservation of energy, so that a neuron cannot excite its neighbors more than the excitement it already contained at that time step. Taken together, these two features allow signals in the form of activations to flow around in our network over time, making our neural mesh more closely model signals traveling through the brain the brain. Although our main goal is to design an architecture to more closely emulate the brain in the hope of having a correct internal representation of information by the time we know how to properly train a general intelligence, we did benchmark our neural mash on a specific task. We found that by increasing the runtime of the mesh, we were able to increase its accuracy without increasing the number of parameters.


title: Story Understanding in Video Advertisements

abstract: In order to resonate with the viewers, many video advertisements explore creative narrative techniques such as "Freytag's pyramid" where a story begins with exposition, followed by rising action, then climax, concluding with denouement. In the dramatic structure of ads in particular, climax depends on changes in sentiment. We dedicate our study to understand the dynamic structure of video ads automatically. To achieve this, we first crowdsource climax annotations on 1,149 videos from the Video Ads Dataset, which already provides sentiment annotations. We then use both unsupervised and supervised methods to predict the climax. Based on the predicted peak, the low-level visual and audio cues, and semantically meaningful context features, we build a sentiment prediction model that outperforms the current state-of-the-art model of sentiment prediction in video ads by 25%. In our ablation study, we show that using our context features, and modeling dynamics with an LSTM, are both crucial factors for improved performance.


title: The Effects of Visual and Control Latency on Piloting a Quadcopter using a Head-Mounted Display

abstract: Recent research has proposed teleoperation of robotic and aerial vehicles using head motion tracked by a head-mounted display (HMD). First-person views of the vehicles are usually captured by onboard cameras and presented to users through the display panels of HMDs. This provides users with a direct, immersive and intuitive interface for viewing and control. However, a typically overlooked factor in such designs is the latency introduced by the vehicle dynamics. As head motion is coupled with visual updates in such applications, visual and control latency always exists between the issue of control commands by head movements and the visual feedback received at the completion of the attitude adjustment. This causes a discrepancy between the intended motion, the vestibular cue and the visual cue and may potentially result in simulator sickness. No research has been conducted on how various levels of visual and control latency introduced by dynamics in robots or aerial vehicles affect users' performance and the degree of simulator sickness elicited. Thus, it is uncertain how much performance is degraded by latency and whether such designs are comfortable from the perspective of users. To address these issues, we studied a prototyped scenario of a head motion controlled quadcopter using an HMD. We present a virtual reality (VR) paradigm to systematically assess the effects of visual and control latency in simulated drone control scenarios.


title: The Heat Conduction Renaissance

abstract: Some of the most exciting recent advancements in heat conduction physics have been motivated, enabled, or achieved by the thermal management community that ITherm serves so effectively. In this paper we highlight the resulting renaissance in basic heat conduction research, which is linked to cooling challenges from power transistors to portables. Examples include phonon transport and scattering in nanotransistors, engineered high-conductivity composites, modulated conductivity through phase transitions, as well as the surprising transport properties of low-dimensional (1D and 2D) nanomaterials. This work benefits strongly from decades of collaboration and leadership from the semiconductor industry.


title: Microsoft Dialogue Challenge: Building End-to-End Task-Completion Dialogue Systems

abstract: This proposal introduces a Dialogue Challenge for building end-to-end task-completion dialogue systems, with the goal of encouraging the dialogue research community to collaborate and benchmark on standard datasets and unified experimental environment. In this special session, we will release human-annotated conversational data in three domains (movie-ticket booking, restaurant reservation, and taxi booking), as well as an experiment platform with built-in simulators in each domain, for training and evaluation purposes. The final submitted systems will be evaluated both in simulated setting and by human judges.


title: Gelfand-Tsetlin degeneration of shift of argument subalgebras in types B and C

abstract: The universal enveloping algebra of any semisimple Lie algebra $\mathfrak{g}$ contains a family of maximal commutative subalgebras, called shift of argument subalgebras, parametrized by regular Cartan elements of $\mathfrak{g}$. For $\mathfrak{g}=\mathfrak{gl}_n$ the Gelfand-Tsetlin commutative subalgebra in $U(\mathfrak{g})$ arises as some limit of subalgebras from this family. We study the analogous limit of shift of argument subalgebras for the Lie algebras $\mathfrak{g}=\mathfrak{sp}_{2n}$ and $\mathfrak{g}=\mathfrak{so}_{2n+1}$. The limit subalgebra is described explicitly in terms of Bethe subalgebras in twisted Yangians $Y^-(2)$ and $Y^+(2)$, respectively. We index the eigenbasis of such limit subalgebra in any irreducible finite-dimensional representation of $\mathfrak{g}$ by Gelfand-Tsetlin patterns of the corresponding type, and conjecture that this indexing is, in appropriate sense, natural. According to arXiv:1708.05105 such eigenbasis has a natural $\mathfrak{g}$-crystal structure. We conjecture that this crystal structure coincides with that on Gelfand-Tsetlin patterns defined by Littelmann in https://doi.org/10.1007/BF01236431 .


title: Random Lattices, Punctured Tori and the Teichm\"uller distribution

abstract: The moduli space of lattices of $\mathbb{C}$ is a Riemann surface of finite hyperbolic area with the square lattice as an origin. We select a lattice from the induced uniform distribution and calculate the statistics of the Teichm\"uller distance to the origin. This in turn identifies distribution of the distance in Teichm\"uller space to the central "square" punctured torus in the moduli space of punctured tori. There are singularities in this p.d.f. arising from the topology of the moduli space. We also consider the statistics of the distance in Teichm\"uller space to the rectangular punctured tori and the p.d.f and expected distortion of the extremal quasiconformal mappings.


title: On p-adic vanishing cycles of log smooth families

abstract: In this paper, we will show that the sheaf of p-adic vanishing cycles of a log smooth family over a DVR of mixed characteristic is generated by Milnor symboles. A key ingredient is a computation (due to K. Kato) on the graded quotients of a multi-indexed filtration on the sheaf concerned, which has been used in several papers of the first author.


title: Expected Yields of Planet discoveries from the TESS primary and extended missions

abstract: We present a prediction of the transiting exoplanet yield of the TESS primary mission, in order to guide follow-up observations and science projects utilizing TESS discoveries. Our new simulations differ from previous work by using (1) an updated photometric noise model that accounts for the nominal pointing jitter estimated through simulation prior to launch, (2) improved stellar parameters based on Gaia mission Data Release 2, (3) improved empirically-based simulation of multi-planet systems, (4) a realistic method of selecting targets for 2-minute exposures, and (5) a more realistic geometric distortion model to determine the sky region that falls on TESS CCDs. We also present simulations of the planet yield for three suggested observing strategies of the TESS extended mission. We report ~$10^4$ planets to be discovered by the TESS primary mission, as well as an additional $\sim 2000$ planets for each year of the three extended mission scenarios we explored. We predict that in the primary mission, TESS will discover about 3500 planets with Neptune size and smaller, half of which will orbit stars with TESS magnitudes brighter than 12. Specifically, we proposed a new extended mission scenario that centers Camera 3 on the ecliptic pole (C3PO), which will yield more long period planets as well as moderately irradiated planets that orbit F, G, and K stars.


title: Geo-Supervised Visual Depth Prediction

abstract: We propose using global orientation from inertial measurements, and the bias it induces on the shape of objects populating the scene, to inform visual 3D reconstruction. We test the effect of using the resulting prior in depth prediction from a single image, where the normal vectors to surfaces of objects of certain classes tend to align with gravity or be orthogonal to it. Adding such a prior to baseline methods for monocular depth prediction yields improvements beyond the state-of-the-art and illustrates the power of gravity as a supervisory signal.


title: Nodal-line semimetal superlattices

abstract: Spatial modulations, such as multilayers, to realize topological materials have recently been studied in theoretical and experimental works. In this paper, we investigate properties of the multilayers of the nodal-line semimetal (NLS) and the normal insulator. We consider two types of multilayers, with the stacking direction being perpendicular or parallel to the plane where the nodal line lies. In particular, we show that when the stacking direction is parallel to the plane, the nodal lines remain but they change their shapes because of the folding of the Brillouin zone. We also study the multilayers with magnetization. One can expect that the quantum anomalous Hall (QAH) phase emerges in some cases, depending on the direction of the magnetization. If the magnetization is along the $C_2$-invariant axis, the multilayer becomes the Weyl semimetal phase if the $C_2$-invariant axis intersects the nodal lines, and otherwise it becomes the QAH phases.


title: KMT-2016-BLG-2052L: Microlensing Binary Composed of M Dwarfs Revealed from a Very Long Time-scale Event

abstract: We present the analysis of a binary microlensing event KMT-2016-BLG-2052, for which the lensing-induced brightening of the source star lasted for 2 seasons. We determine the lens mass from the combined measurements of the microlens parallax $\pie$ and angular Einstein radius $\thetae$. The measured mass indicates that the lens is a binary composed of M dwarfs with masses of $M_1\sim 0.34~M_\odot$ and $M_2\sim 0.17~M_\odot$. The measured relative lens-source proper motion of $\mu\sim 3.9~{\rm mas}~{\rm yr}^{-1}$ is smaller than $\sim 5~{\rm mas}~{\rm yr}^{-1}$ of typical Galactic lensing events, while the estimated angular Einstein radius of $\thetae\sim 1.2~{\rm mas}$ is substantially greater than the typical value of $\sim 0.5~{\rm mas}$. Therefore, it turns out that the long time scale of the event is caused by the combination of the slow $\mu$ and large $\thetae$ rather than the heavy mass of the lens. From the simulation of Galactic lensing events with very long time scales ($t_{\rm E}\gtrsim 100$ days), we find that the probabilities that long time-scale events are produced by lenses with masses $\geq 1.0~M_\odot$ and $\geq 3.0~M_\odot$ are $\sim 19\%$ and 2.6\%, respectively, indicating that events produced by heavy lenses comprise a minor fraction of long time-scale events. The results indicate that it is essential to determine lens masses by measuring both $\pie$ and $\thetae$ in order to firmly identify heavy stellar remnants such as neutron stars and black holes.


title: Cr-invariants for surfaces in 4-space

abstract: We establish cross-ratio invariants for surfaces in 4-space in an analogous way to Uribe-Vargas's work for surfaces in 3-space. We study the geometric locii of local and multi-local singularities of ortogonal projections of the surface. The cross-ratio invariants at $P_3(c)$-points are used to recover two moduli in the 4-jet of the projective parametrization of the surface and show the stable configurations of asymptotic curves.


title: Faithful irreducible representations of modular Lie algebras

abstract: Let L be a finite-dimensional Lie algebra over a field of non-zero characteristic. By a theorem of Jacobson, L has a finite-dimensional faithful module which is completely reducible. We show that if the field is not algebraically closed, then L has an irreducible such module. We also give a necessary and sufficient condition for a finite-dimensional Lie algebra over an algebraically closed field of non-zero characteristic to have a faithful irreducible module.


title: A Hybrid Quantum-Classical Paradigm to Mitigate Embedding Costs in Quantum Annealing---Abridged Version

abstract: Quantum annealing has shown significant potential as an approach to near-term quantum computing. Despite promising progress towards obtaining a quantum speedup, quantum annealers are limited by the need to embed problem instances within the (often highly restricted) connectivity graph of the annealer. This embedding can be costly to perform and may destroy any computational speedup. Here we present a hybrid quantum-classical paradigm to help mitigate this limitation, and show how a raw speedup that is negated by the embedding time can nonetheless be exploited in certain circumstances. We illustrate this approach with initial results on a proof-of-concept implementation of an algorithm for the dynamically weighted maximum independent set problem.


title: Nanocalorimetric Evidence for Nematic Superconductivity in the Doped Topological Insulator Sr$_{0.1}$Bi$_{2}$Se$_{3}$

abstract: Spontaneous rotational-symmetry breaking in the superconducting state of doped $\mathrm{Bi}_2\mathrm{Se}_3$ has attracted significant attention as an indicator for topological superconductivity. In this paper, high-resolution calorimetry of the single-crystal $\mathrm{Sr}_{0.1}\mathrm{Bi}_2\mathrm{Se}_3$ provides unequivocal evidence of a two-fold rotational symmetry in the superconducting gap by a \emph{bulk thermodynamic} probe, a fingerprint of nematic superconductivity. The extremely small specific heat anomaly resolved with our high-sensitivity technique is consistent with the material's low carrier concentration proving bulk superconductivity. The large basal-plane anisotropy of $H_{c2}$ is attributed to a nematic phase of a two-component topological gap structure $\vec{\eta} = (\eta_{1}, \eta_{2})$ and caused by a symmetry-breaking energy term $\delta (|\eta_{1}|^{2} - |\eta_{2}|^{2}) T_{c}$. A quantitative analysis of our data excludes more conventional sources of this two-fold anisotropy and provides the first estimate for the symmetry-breaking strength $\delta \approx 0.1$, a value that points to an onset transition of the second order parameter component below 2K.


title: An Atemporal Model of Physical Complexity

abstract: We present the finite first-order theory (FFOT) machine, which provides an atemporal description of computation. We then develop a concept of complexity for the FFOT machine, and prove that the class of problems decidable by a FFOT machine with polynomial resources is NP intersect co-NP.


title: Audio segmentation based on melodic style with hand-crafted features and with convolutional neural networks

abstract: We investigate methods for the automatic labeling of the taan section, a prominent structural component of the Hindustani Khayal vocal concert. The taan contains improvised raga-based melody rendered in the highly distinctive style of rapid pitch and energy modulations of the voice. We propose computational features that capture these specific high-level characteristics of the singing voice in the polyphonic context. The extracted local features are used to achieve classification at the frame level via a trained multilayer perceptron (MLP) network, followed by grouping and segmentation based on novelty detection. We report high accuracies with reference to musician annotated taan sections across artists and concerts. We also compare the performance obtained by the compact specialized features with frame-level classification via a convolutional neural network (CNN) operating directly on audio spectrogram patches for the same task. While the relatively simple architecture we experiment with does not quite attain the classification accuracy of the hand-crafted features, it provides for a performance well above chance with interesting insights about the ability of the network to learn discriminative features effectively from labeled data.


title: Causal Modeling with Probabilistic Simulation Models

abstract: Recent authors have proposed analyzing conditional reasoning through a notion of intervention on a simulation program, and have found a sound and complete axiomatization of the logic of conditionals in this setting. Here we extend this setting to the case of probabilistic simulation models. We give a natural definition of probability on formulas of the conditional language, allowing for the expression of counterfactuals, and prove foundational results about this definition. We also find an axiomatization for reasoning about linear inequalities involving probabilities in this setting. We prove soundness, completeness, and NP-completeness of the satisfiability problem for this logic.


title: Algorithms And Programming On The Minimal Combinations Of Weights Of Projective Hypersurfaces

abstract: This paper designs an alogrithm to compute the minimal combinations of finite sets in Euclidean spaces, and applys the algorithm of study the moment maps and geometric invariant stability of hypersurfaces. The classical example of cubic curves is repeated by the algorithm. Furhtermore the alogrithm works for cubic surfaces. For given affinely indepdent subsets of monomials, the algorithm can output the unique unstable points of the Morse strata if it exists. Also there is a discussion on the affinely dependent sets of monomials.


title: KB4Rec: A Dataset for Linking Knowledge Bases with Recommender Systems

abstract: To develop a knowledge-aware recommender system, a key data problem is how we can obtain rich and structured knowledge information for recommender system (RS) items. Existing datasets or methods either use side information from original recommender systems (containing very few kinds of useful information) or utilize private knowledge base (KB). In this paper, we present the first public linked KB dataset for recommender systems, named KB4Rec v1.0, which has linked three widely used RS datasets with the popular KB Freebase. Based on our linked dataset, we first preform some interesting qualitative analysis experiments, in which we discuss the effect of two important factors (i.e. popularity and recency) on whether a RS item can be linked to a KB entity. Finally, we present the comparison of several knowledge-aware recommendation algorithms on our linked dataset.


title: Development of new radon monitoring systems in the Kamioka mine

abstract: Radioactivity from radon is a major threat for high-precision low energy physics experiments like the ones in the Kamioka Mine. We developed a new high sensitive radon monitoring system and conducted systematic radon concentration measurements for the first time in Kamioka. The system consists of portable radon detectors with a capacity of 1 L and new electronics based on Raspberry Pi. These radon detectors measure the radon in air with electro-static collection and a PIN photodiode. We measured the absolute humidity dependence of the 1-L radon detector for air to be $C_{F} (A_{H}) = (12.86 \pm 0.40) - (1.66 \pm 0.19) \sqrt{A_{H}}$ $\mathrm{(counts/day)/(Bq/m^3)}$. The background level of the 1-L radon detector is $0.65\pm0.15$ (stat.) count/day. This corresponds to a detection limit of $\sim0.4$ Bq/m$^3$ in a one-day measurement. Data was collected for a period of more than one year with twenty one 1-L radon detectors in the Kamioka mine. They indicate seasonal and day-night variations in radon concentration within the mine. These results also allow us to confirm the stability of the new Raspberry Pi electronics.


title: ARM: Augment-REINFORCE-Merge Gradient for Stochastic Binary Networks

abstract: To backpropagate the gradients through stochastic binary layers, we propose the augment-REINFORCE-merge (ARM) estimator that is unbiased, exhibits low variance, and has low computational complexity. Exploiting variable augmentation, REINFORCE, and reparameterization, the ARM estimator achieves adaptive variance reduction for Monte Carlo integration by merging two expectations via common random numbers. The variance-reduction mechanism of the ARM estimator can also be attributed to either antithetic sampling in an augmented space, or the use of an optimal anti-symmetric "self-control" baseline function together with the REINFORCE estimator in that augmented space. Experimental results show the ARM estimator provides state-of-the-art performance in auto-encoding variational inference and maximum likelihood estimation, for discrete latent variable models with one or multiple stochastic binary layers. Python code for reproducible research is publicly available.


title: Extending the Predictive Power of Perturbative QCD

abstract: The predictive power of perturbative QCD (pQCD) depends on two important issues: (1) how to eliminate the renormalization scheme-and-scale ambiguities at fixed order, and (2) how to reliably estimate the contributions of unknown higher-order terms using information from the known pQCD series. The Principle of Maximum Conformality (PMC) satisfies all of the principles of the renormalization group and eliminates the scheme-and-scale ambiguities by the recursive use of the renormalization group equation to determine the scale of the QCD running coupling $\alpha_s$ at each order. Moreover, the resulting PMC predictions are independent of the choice of the renormalization scheme, satisfying the key principle of renormalization group invariance. In this letter, we show that by using the conformal series derived using the PMC single-scale procedure, in combination with the Pad\'e Approximation Approach (PAA), one can achieve quantitatively useful estimates for the unknown higher-order terms from the known perturbative series. We illustrate this procedure for three hadronic observables $R_{e^+e^-}$, $R_{\tau}$, and $\Gamma(H \to b \bar{b})$ which are each known to 4 loops in pQCD. We show that if the PMC prediction for the conformal series for an observable (of leading order $\alpha_s^p$) has been determined at order $\alpha^n_s$, then the $[N/M]=[0/n-p]$ Pad\'e series provides quantitatively useful predictions for the higher-order terms. We also show that the PMC + PAA predictions agree at all orders with the fundamental, scheme-independent Generalized Crewther relations which connect observables, such as deep inelastic neutrino-nucleon scattering, to hadronic $e^+e^-$ annihilation. Thus, by using the combination of the PMC series and the Pad\'e method, the predictive power of pQCD theory can be greatly improved.


title: Optical Emission and Particle Acceleration in a Quasi-Stationary Component in the Jet of OJ~287

abstract: We analyze the linear polarization of the relativistic jet in BL Lacertae object OJ~287 as revealed by multi-epoch Very Long Baseline Array (VLBA) images at 43 GHz and monitoring observations at optical bands. The electric-vector position angle (EVPA) of the optical polarization matches that at 43 GHz at locations that are often in the compact millimeter-wave "core" or, at other epochs, coincident with a bright, quasi-stationary emission feature $\sim0.2$~milliarcsec ($\sim$0.9~pc projected on the sky) downstream from the core. This implies that electrons with high enough energies to emit optical synchrotron and $\gamma$-ray inverse Compton radiation are accelerated both in the core and at the downstream feature, the latter of which lies $\geq10$~pc from the central engine. The polarization vector in the stationary feature is nearly parallel to the jet axis, as expected for a conical standing shock capable of accelerating electrons to GeV energies.


title: $^{39}$Ar dating with small samples resolves ocean ventilation

abstract: Ocean ventilation is the integrated effect of various processes that propagate surface properties to the ocean interior. Its precise understanding is the prerequisite for addressing essential questions such as oxygen supply, the storage of anthropogenic carbon and the heat budget of the ocean. Currently employed observational methods to infer ventilation utilise transient tracers, i.e. tritium, SF$_6$, CFCs and the radioisotope $^{14}$C. However, their dating ranges are not suitable to resolve the dynamics of the deep ocean. The noble gas isotope $^{39}$Ar with a half-life of 269 years fills this gap. Its broad application has previously been hindered by its very low abundance, requiring at least 1000 litres of water for dating. Here we report on successful $^{39}$Ar dating with only 5 litres of water based on the atom-optical technique Atom Trap Trace Analysis. Our data reveal previously not quantifiable ventilation patterns in the Eastern Tropical North Atlantic, where we find that advection is more important for the ventilation of the intermediate depth range than previously assumed. This result implies faster ventilation than estimated in other studies and thus a significantly higher anthropogenic CO$_2$-storage. The demonstrated analytical capabilities now allow for a global collection of $^{39}$Ar data, which will have significant impact on our understanding of ocean ventilation.

categories: physics.ao-ph physics.app-ph physics.atom-ph physics.ins-det


title: Occluded Joints Recovery in 3D Human Pose Estimation based on Distance Matrix

abstract: Albeit the recent progress in single image 3D human pose estimation due to the convolutional neural network, it is still challenging to handle real scenarios such as highly occluded scenes. In this paper, we propose to address the problem of single image 3D human pose estimation with occluded measurements by exploiting the Euclidean distance matrix (EDM). Specifically, we present two approaches based on EDM, which could effectively handle occluded joints in 2D images. The first approach is based on 2D-to-2D distance matrix regression achieved by a simple CNN architecture. The second approach is based on sparse coding along with a learned over-complete dictionary. Experiments on the Human3.6M dataset show the excellent performance of these two approaches in recovering occluded observations and demonstrate the improvements in accuracy for 3D human pose estimation with occluded joints.


title: Isomonodromic deformations of logarithmic connections and stable parabolic vector bundles

abstract: We consider irreducible logarithmic connections $(E,\,\delta)$ over compact Riemann surfaces $X$ of genus at least two. The underlying vector bundle $E$ inherits a natural parabolic structure over the singular locus of the connection $\delta$; the parabolic structure is given by the residues of $\delta$. We prove that for the universal isomonodromic deformation of the triple $(X,\,E,\,\delta)$, the parabolic vector bundle corresponding to a generic parameter in the Teichm\"uller space is parabolically stable. In the case of parabolic vector bundles of rank two, the general parabolic vector bundle is even parabolically very stable.


title: To Ship or Not to (Function) Ship (Extended version)

abstract: Sampling is often used to reduce query latency for interactive big data analytics. The established parallel data processing paradigm relies on function shipping, where a coordinator dispatches queries to worker nodes and then collects the results. The commoditization of high-performance networking makes data shipping possible, where the coordinator directly reads data in the workers' memory using RDMA while workers process other queries. In this work, we explore when to use function shipping or data shipping for interactive query processing with sampling. Whether function shipping or data shipping should be preferred depends on the amount of data transferred, the current CPU utilization, the sampling method and the number of queries executed over the data set. The results show that data shipping is up to 6.5x faster when performing clustered sampling with heavily-utilized workers.


title: Learning to Interrupt: A Hierarchical Deep Reinforcement Learning Framework for Efficient Exploration

abstract: To achieve scenario intelligence, humans must transfer knowledge to robots by developing goal-oriented algorithms, which are sometimes insensitive to dynamically changing environments. While deep reinforcement learning achieves significant success recently, it is still extremely difficult to be deployed in real robots directly. In this paper, we propose a hybrid structure named Option-Interruption in which human knowledge is embedded into a hierarchical reinforcement learning framework. Our architecture has two key components: options, represented by existing human-designed methods, can significantly speed up the training process and interruption mechanism, based on learnable termination functions, enables our system to quickly respond to the external environment. To implement this architecture, we derive a set of update rules based on policy gradient methods and present a complete training process. In the experiment part, our method is evaluated in Four-room navigation and exploration task, which shows the efficiency and flexibility of our framework.


title: Photoproduction of $f_0(980)$ and $f_0(1500)$ resonances off a proton target

abstract: We study the $\gamma p \to p f_0$ [$f_0(980)$ and $f_0(1500)$] reaction close to threshold within an effective Lagrangian approach. The production process is described by $s$-channel nucleon pole or $t$-channel $\rho$ and $\omega$ exchange. The $K^0 \bar{K}^0$ invariant mass distributions of the $\gamma p\to f_0(980)p \to K^0 \bar{K}^0$ and $\gamma p\to f_0(1500)p \to K^0 \bar{K}^0 p$ reactions are investigated, where the two kaons have been separated in $S$ wave decaying from $f_0(980)$ and $f_0(1500)$. It is shown that the $s$-channel process is favored for the production of $f_0(980)$, while for the $f_0(1500)$ production, the experimental measurements can be described quite well by the $t$-channel process. It is expected that the theoretical results can be tested by further experiments at CLAS.


title: Pose Guided Human Video Generation

abstract: Due to the emergence of Generative Adversarial Networks, video synthesis has witnessed exceptional breakthroughs. However, existing methods lack a proper representation to explicitly control the dynamics in videos. Human pose, on the other hand, can represent motion patterns intrinsically and interpretably, and impose the geometric constraints regardless of appearance. In this paper, we propose a pose guided method to synthesize human videos in a disentangled way: plausible motion prediction and coherent appearance generation. In the first stage, a Pose Sequence Generative Adversarial Network (PSGAN) learns in an adversarial manner to yield pose sequences conditioned on the class label. In the second stage, a Semantic Consistent Generative Adversarial Network (SCGAN) generates video frames from the poses while preserving coherent appearances in the input image. By enforcing semantic consistency between the generated and ground-truth poses at a high feature level, our SCGAN is robust to noisy or abnormal poses. Extensive experiments on both human action and human face datasets manifest the superiority of the proposed method over other state-of-the-arts.


title: Deformation spaces and normal forms around transversals

abstract: Given a manifold M with a submanifold N, the deformation space D(M,N) is a manifold with a submersion to R whose zero fiber is the normal bundle, and all other fibers are equal to M. This article uses deformation spaces to study the local behavior of various geometric structures associated with singular foliations, with N a submanifold transverse to the foliation. New examples include L_\infty-algebroids, Courant algebroids, and Lie bialgebroids. In each case, we obtain a normal form theorem around N, in terms of a model structure over the normal bundle.


title: HARMONIC: A Multimodal Dataset of Assistive Human-Robot Collaboration

abstract: We present the Human And Robot Multimodal Observations of Natural Interactive Collaboration (HARMONIC) data set. This is a large multimodal data set of human interactions with a robotic arm in a shared autonomy setting designed to imitate assistive eating. The data set provides human, robot, and environmental data views of twenty-four different people engaged in an assistive eating task with a 6 degree-of-freedom (DOF) robot arm. From each participant, we recorded video of both eyes, egocentric video from a head-mounted camera, joystick commands, electromyography from the forearm used to operate the joystick, third person stereo video, and the joint positions of the 6 DOF robot arm. Also included are several features that come as a direct result of these recordings, such as eye gaze projected onto the egocentric video, body pose, hand pose, and facial keypoints. These data streams were collected specifically because they have been shown to be closely related to human mental states and intention. This data set could be of interest to researchers studying intention prediction, human mental state modeling, and shared autonomy. Data streams are provided in a variety of formats such as video and human-readable CSV and YAML files.


title: An abstract linking theorem applied to indefinite problems via spectral properties

abstract: An abstract linking result for Cerami sequences is proved without the Cerami condition. It is applied directly in order to prove the existence of critical points for a class of indefinite problems in infinite dimensional Hilbert Spaces. The main applications are given to Hamiltonian systems and Schrodinger equations. Here spectral properties of the operators are exploited and hypotheses of monotonicity on the nonlinearities are discarded.


title: Transformationally Identical and Invariant Convolutional Neural Networks by Combining Symmetric Operations or Input Vectors

abstract: Transformationally invariant processors constructed by transformed input vectors or operators have been suggested and applied to many applications. In this study, transformationally identical processing based on combining results of all sub-processes with corresponding transformations at one of the processing steps or at the beginning step were found to be equivalent for a given condition. This property can be applied to most convolutional neural network (CNN) systems. Specifically, a transformationally identical CNN can be constructed by arranging internally symmetric operations in parallel with the same transformation family that includes a flatten layer with weights sharing among their corresponding transformation elements. Other transformationally identical CNNs can be constructed by averaging transformed input vectors of the family at the input layer followed by an ordinary CNN process or by a set of symmetric operations. Interestingly, we found that both types of transformationally identical CNN systems are mathematically equivalent by either applying an averaging operation to corresponding elements of all sub-channels before the activation function or without using a non-linear activation function.


title: Secular Light Curves of NEAs 2201 Oljato, 3200 Phaethon, 99942 Apophis, 162173 Ryugu, 495848, and 6063 Jason

abstract: Using the Secular Light Curve (SLC) formalism (Ferr\'in, 2010a, PSS, 58, 365-391), we searched for cometary activity of six NEAS: 2201 Oljato. The SLC exhibits significant cometary activity and evidence of an eclipse. 3200 Phaethon. Is the parent of the Geminid meteor stream and exhibited a faint tail at perihelion in several oppositions. The SLC fails to show cometary activity using a 1995 to 2017 data set, suggesting that we are in the presence of a dormant cometary nucleus. 99942 Apophis. This SLC does not shows evidence of cometary activity, however it shows evidence of an eclipse. The evidence of a double nature is confirmed with Goldstone and Arecibo radar observations. 162173 Ryugu. This NEA is the target of the Hayabusa 2 spacecraft mission. The SLC exhibits an enhancement consistent with cometary activity. It may be possible to confirm or deny this activity by the end of the mission. 495848= 2002 QD7. This NEA shows deviations from a flat distribution near perihelion in 2007 and 2017. However our own observations in 2018 show a bare nucleus, from which we obtain an absolute nuclear magnitude mV(nucleus) = 18.32+-0.03 (using pV=0.04). The equivalent diameter is D=1.43+-0.10 km. 6063 Jason. The SLC of this NEA exhibits low level cometary activity centred at perihelion. The fact that a cursory search for low level active comets among NEAs has uncovered four positive objects out of 6, hints that many more faint comets should exist as yet undetected.


title: Robust Student Network Learning

abstract: Deep neural networks bring in impressive accuracy in various applications, but the success often relies on the heavy network architecture. Taking well-trained heavy networks as teachers, classical teacher-student learning paradigm aims to learn a student network that is lightweight yet accurate. In this way, a portable student network with significantly fewer parameters can achieve a considerable accuracy which is comparable to that of teacher network. However, beyond accuracy, robustness of the learned student network against perturbation is also essential for practical uses. Existing teacher-student learning frameworks mainly focus on accuracy and compression ratios, but ignore the robustness. In this paper, we make the student network produce more confident predictions with the help of the teacher network, and analyze the lower bound of the perturbation that will destroy the confidence of the student network. Two important objectives regarding prediction scores and gradients of examples are developed to maximize this lower bound, so as to enhance the robustness of the student network without sacrificing the performance. Experiments on benchmark datasets demonstrate the efficiency of the proposed approach to learn robust student networks which have satisfying accuracy and compact sizes.


title: Binding Number, Toughness and General Matching Extendability in Graphs

abstract: A connected graph $G$ with at least $2m + 2n + 2$ vertices which contains a perfect matching is $E(m, n)$-{\it extendable}, if for any two sets of disjoint independent edges $M$ and $N$ with $|M| = m$ and $|N|= n$, there is a perfect matching $F$ in $G$ such that $M\subseteq F$ and $N\cap F=\emptyset$. Similarly, a connected graph with at least $n+2k+2$ vertices is called $(n,k)$-{\it extendable} if for any vertex set $S$ of size $n$ and any matching $M$ of size $k$ of $G-S$, $G-S-V(M)$ contains a perfect matching. Let $\varepsilon$ be a small positive constant, $b(G)$ and $t(G)$ be the binding number and toughness of a graph $G$. The two main theorems of this paper are: for every graph $G$ with sufficiently large order, 1) if $b(G)\geq 4/3+\varepsilon$, then $G$ is $E(m,n)$-extendable and also $(n,k)$-extendable; 2) if $t(G)\geq 1+\varepsilon$ and $G$ has a high connectivity, then $G$ is $E(m,n)$-extendable and also $(n,k)$-extendable. It is worth to point out that the binding number and toughness conditions for the existence of the general matching extension properties are almost same as that for the existence of perfect matchings.


title: Observation of magnetically tunable Feshbach resonances in ultracold $^{23}$Na$^{40}$K+$^{40}$K collisions

abstract: Resonances in ultracold collisions involving heavy molecules are difficult to understand, and have proven challenging to detect. Here we report the observation of magnetically tunable Feshbach resonances in ultracold collisions between $^{23}$Na$^{40}$K molecules in the rovibrational ground state and $^{40}$K atoms. We prepare the atoms and molecules in various hyperfine levels of their ground states and observe the loss of molecules as a function of the magnetic field. The atom-molecule Feshbach resonances are identified by observing an enhancement of the loss rate coefficients. We have observed three resonances at approximately 101 G in various atom-molecule scattering channels, with the widths being a few hundred milliGauss. The observed atom-molecule Feshbach resonances at ultralow temperatures probe the three-body potential energy surface with an unprecedented resolution. Our work will help to improve the understanding of complicated ultracold collisions, and open up the possibility of creating ultracold triatomic molecules.


title: Lead Sheet Generation and Arrangement by Conditional Generative Adversarial Network

abstract: Research on automatic music generation has seen great progress due to the development of deep neural networks. However, the generation of multi-instrument music of arbitrary genres still remains a challenge. Existing research either works on lead sheets or multi-track piano-rolls found in MIDIs, but both musical notations have their limits. In this work, we propose a new task called lead sheet arrangement to avoid such limits. A new recurrent convolutional generative model for the task is proposed, along with three new symbolic-domain harmonic features to facilitate learning from unpaired lead sheets and MIDIs. Our model can generate lead sheets and their arrangements of eight-bar long. Audio samples of the generated result can be found at https://drive.google.com/open?id=1c0FfODTpudmLvuKBbc23VBCgQizY6-Rk


title: Polynomial estimates over exponential curves in $\mathbb C^2$

abstract: For any complex $\alpha$ with non-zero imaginary part we show that Bernstein-Walsh type inequality holds on the piece of the curve $\{(e^z,e^{\alpha z}) : z \in \mathbb C\}$. Our result extends a theorem of Coman-Poletsky \cite{CP10} where they considered real-valued $\alpha$.


title: Topologically Enhanced Harmonic Generation in a Nonlinear Transmission Line Metamaterial

abstract: Nonlinear transmission lines (NLTLs) are nonlinear electronic circuits commonly used for parametric amplification and pulse generation. It has previously been shown that harmonic generation can be enhanced, and shock waves suppressed, in so-called "left-handed" NLTLs, a manifestation of the unique properties of left-handed media. Here, we demonstrate that harmonic generation in a left-handed NLTL can be greatly increased by the presence of a topological edge state. Our NLTL is a nonlinear analogue of the Su-Schrieffer-Heeger (SSH) lattice. Recent studies of nonlinear SSH circuits have investigated the solitonic and self-focusing behaviors of modes at the fundamental harmonic. We find, however, that frequency-mixing processes in an SSH NLTL have important effects that have previously been neglected. The presence of a topological edge mode at the first harmonic can produce strong higher-harmonic signals that propagate into the lattice, acting as an effectively nonlocal cross-phase nonlinearity. We observe maximum third-harmonic signal intensities that are 5 times that of a comparable left-handed NLTL of a conventional design, and a 250-fold intensity contrast between the topologically nontrivial and trivial lattice configurations. Our work may have applications for compact electronic frequency generators, as well as for advancing the fundamental understanding of the effects of nonlinearities on topological states.


title: ShuffleNet V2: Practical Guidelines for Efficient CNN Architecture Design

abstract: Currently, the neural network architecture design is mostly guided by the \emph{indirect} metric of computation complexity, i.e., FLOPs. However, the \emph{direct} metric, e.g., speed, also depends on the other factors such as memory access cost and platform characterics. Thus, this work proposes to evaluate the direct metric on the target platform, beyond only considering FLOPs. Based on a series of controlled experiments, this work derives several practical \emph{guidelines} for efficient network design. Accordingly, a new architecture is presented, called \emph{ShuffleNet V2}. Comprehensive ablation experiments verify that our model is the state-of-the-art in terms of speed and accuracy tradeoff.


title: The loop homology algebra of discrete torsion

abstract: We show that Lupercio-Uribe-Xicot\'{e}ncatl's orbifold loop product and coproduct can be described by a group cohomology class in some cases. By computing this cohomology class, we show that in some cases the orbifold loop product is trivial.


title: Symmetry of Birkhoff-James orthogonality of operators defined between infinite dimensional Banach spaces

abstract: We study left symmetric bounded linear operators in the sense of Birkhoff-James orthogonality defined between infinite dimensional Banach spaces. We prove that a bounded linear operator defined between two strictly convex Banach spaces is left symmetric if and only if it is zero operator when the domain space is reflexive and Kadets-Klee. We exhibit a non-zero left symmetric operator when the spaces are not strictly convex. We also study right symmetric bounded linear operators between infinite dimensional Banach spaces.


title: A Group-Theoretic Approach to Computational Abstraction: Symmetry-Driven Hierarchical Clustering

abstract: Abstraction plays a key role in concept learning and knowledge discovery; this paper is concerned with computational abstraction. In particular, we study the nature of abstraction through a group-theoretic approach, formalizing it as symmetry-driven---as opposed to data-driven---hierarchical clustering. Thus, the resulting clustering framework is data-free, feature-free, similarity-free, and globally hierarchical---the four key features that distinguish it from common data clustering models such as $k$-means. Beyond a theoretical foundation for abstraction, we also present a top-down and a bottom-up approach to establish an algorithmic foundation for practical abstraction-generating methods. Lastly, via both a theoretical explanation and a real-world application, we illustrate that further coupling of our abstraction framework with statistics realizes Shannon's information lattice and even further, brings learning into the picture. This not only presents one use case of our proposed computational abstraction, but also gives a first step towards a principled and cognitive way of automatic concept learning and knowledge discovery.


title: Solutions for the MaxEnt problem with symmetry constraints

abstract: We present a system of equations and an explicit solution for the problem of determining the MaxEnt state of a quantum system satisfying symmetry constraints.


title: Online Learning with an Almost Perfect Expert

abstract: We study the multiclass online learning problem where a forecaster makes a sequence of predictions using the advice of $n$ experts. Our main contribution is to analyze the regime where the best expert makes at most $b$ mistakes and to show that when $b = o(\log_4{n})$, the expected number of mistakes made by the optimal forecaster is at most $\log_4{n} + o(\log_4{n})$. We also describe an adversary strategy showing that this bound is tight and that the worst case is attained for binary prediction.


title: Thin layer analysis of a non-local model for the double layer structure

abstract: For the structure of the thin electrical double layer~(EDL) and the property related to the EDL capacitance, we analyze boundary layer solutions (corresponding to the electrostatic potential) of a non-local elliptic equation which is a steady-state Poisson--Nernst--Planck equation with a singular perturbation parameter related to the small Debye screening length. Theoretically, the boundary layer solutions describe that those ions exactly approach neutrality in the bulk, and the extra charges are accumulated near the charged surface. Hence, the non-neutral phenomenon merely occurs near the charged surface. To investigate such phenomena, we develop new analysis techniques to investigate thin boundary layer structures. A series of fine estimates combining the Poho\v{z}aev's identity, the inverse H\"{o}lder type estimates and some technical comparison arguments are developed in arbitrary bounded domains. Moreover, we focus on the physical domain being a ball with the simplest geometry and gain a clear picture on the effect of the curvature on the boundary layer solutions. In particular, for the cylindrical electrode, our result has a same analogous measurement as the specific capacitance of the well-known Helmholtz double layer.


title: Dividend and Capital Injection Optimization with Transaction Cost for Spectrally Negative L\'{e}vy Risk Processes

abstract: For an insurance company with reserve modeled by the spectrally negative L\'{e}vy process, we study the optimal impulse dividend maximizing the expected accumulated net dividend payment subtracted by the accumulated cost of injecting capital. In this setting, the beneficiary of the dividends injects capital to ensure a non-negative risk process so that the insurer never goes bankrupt. The optimal impulse dividend and capital injection strategy together with its value function are obtained.


title: Leveraging Medical Sentiment to Understand Patients Health on Social Media

abstract: The unprecedented growth of Internet users in recent years has resulted in an abundance of unstructured information in the form of social media text. A large percentage of this population is actively engaged in health social networks to share health-related information. In this paper, we address an important and timely topic by analyzing the users' sentiments and emotions w.r.t their medical conditions. Towards this, we examine users on popular medical forums (Patient.info,dailystrength.org), where they post on important topics such as asthma, allergy, depression, and anxiety. First, we provide a benchmark setup for the task by crawling the data, and further define the sentiment specific fine-grained medical conditions (Recovered, Exist, Deteriorate, and Other). We propose an effective architecture that uses a Convolutional Neural Network (CNN) as a data-driven feature extractor and a Support Vector Machine (SVM) as a classifier. We further develop a sentiment feature which is sensitive to the medical context. Here, we show that the use of medical sentiment feature along with extracted features from CNN improves the model performance. In addition to our dataset, we also evaluate our approach on the benchmark "CLEF eHealth 2014" corpora and show that our model outperforms the state-of-the-art techniques.


title: Algebraic properties of zigzag algebras

abstract: We give necessary and sufficient conditions for zigzag algebras and certain generalizations of them to be (relative) cellular, quasi-hereditary or Koszul.


title: Active Object Perceiver: Recognition-guided Policy Learning for Object Searching on Mobile Robots

abstract: We study the problem of learning a navigation policy for a robot to actively search for an object of interest in an indoor environment solely from its visual inputs. While scene-driven visual navigation has been widely studied, prior efforts on learning navigation policies for robots to find objects are limited. The problem is often more challenging than target scene finding as the target objects can be very small in the view and can be in an arbitrary pose. We approach the problem from an active perceiver perspective, and propose a novel framework that integrates a deep neural network based object recognition module and a deep reinforcement learning based action prediction mechanism. To validate our method, we conduct experiments on both a simulation dataset (AI2-THOR) and a real-world environment with a physical robot. We further propose a new decaying reward function to learn the control policy specific to the object searching task. Experimental results validate the efficacy of our method, which outperforms competing methods in both average trajectory length and success rate.


title: The FORCE mission : Science aim and instrument parameter for broadband X-ray imaging spectroscopy with good angular resolution

abstract: FORCE is a 1.2 tonnes small mission dedicated for wide-band fine-imaging x-ray observation. It covers from 1 to 80 keV with a good angular resolution of $15"$ half-power-diameter. It is proposed to be launched around mid-2020s and designed to reach a limiting sensitivity as good as $F_X (10-40~{\rm keV}) = 3 \times 10^{-15}$~erg cm$^{-2}$ s$^{-1}$ keV$^{-1}$ within 1~Ms. This number is one order of magnitude better than current best one. With its high-sensitivity wide-band coverage, FORCE will probe the new science field of "missing BHs", searching for families of black holes of which populations and evolutions are not well known. Other point-source and diffuse-source sciences are also considered. FORCE will also provide the "hard x-ray coverage" to forthcoming large soft x-ray observatories.


title: Human Motion Analysis with Deep Metric Learning

abstract: Effectively measuring the similarity between two human motions is necessary for several computer vision tasks such as gait analysis, person identi- fication and action retrieval. Nevertheless, we believe that traditional approaches such as L2 distance or Dynamic Time Warping based on hand-crafted local pose metrics fail to appropriately capture the semantic relationship across motions and, as such, are not suitable for being employed as metrics within these tasks. This work addresses this limitation by means of a triplet-based deep metric learning specifically tailored to deal with human motion data, in particular with the prob- lem of varying input size and computationally expensive hard negative mining due to motion pair alignment. Specifically, we propose (1) a novel metric learn- ing objective based on a triplet architecture and Maximum Mean Discrepancy; as well as, (2) a novel deep architecture based on attentive recurrent neural networks. One benefit of our objective function is that it enforces a better separation within the learned embedding space of the different motion categories by means of the associated distribution moments. At the same time, our attentive recurrent neural network allows processing varying input sizes to a fixed size of embedding while learning to focus on those motion parts that are semantically distinctive. Our ex- periments on two different datasets demonstrate significant improvements over conventional human motion metrics.


title: A reconstruction of Florida Traffic Flow During Hurricane Irma (2017)

abstract: Recent Hurricane Irma (2017) created the most extensive scale of evacuation in Florida's history, involving about 6.5 million people on mandatory evacuation order and 4 million evacuation vehicles. To understand the hurricane evacuation process, the spatial and temporal evolution of the traffic flow is a critical piece of information, but it is usually not fully observed. Based on the game theory, this paper employs the available traffic observation on main highways (20 cameras; including parts of Route 1, 27 and I-75, 95, 4,10) during Irma to reconstruct the traffic flow in Florida during Irma. The model is validated with self-reported twitters. The traffic reconstruction estimates the traffic demand (about 4 million cars in total) and the temporal and spatial distribution of congestion during the evacuation. The results compare well with available information from news reports and Twitter records. The reconstructed data can be used to analyze hurricane evacuation decisions and travel behavior.


title: Deep Group-shuffling Random Walk for Person Re-identification

abstract: Person re-identification aims at finding a person of interest in an image gallery by comparing the probe image of this person with all the gallery images. It is generally treated as a retrieval problem, where the affinities between the probe image and gallery images (P2G affinities) are used to rank the retrieved gallery images. However, most existing methods only consider P2G affinities but ignore the affinities between all the gallery images (G2G affinity). Some frameworks incorporated G2G affinities into the testing process, which is not end-to-end trainable for deep neural networks. In this paper, we propose a novel group-shuffling random walk network for fully utilizing the affinity information between gallery images in both the training and testing processes. The proposed approach aims at end-to-end refining the P2G affinities based on G2G affinity information with a simple yet effective matrix operation, which can be integrated into deep neural networks. Feature grouping and group shuffle are also proposed to apply rich supervisions for learning better person features. The proposed approach outperforms state-of-the-art methods on the Market-1501, CUHK03, and DukeMTMC datasets by large margins, which demonstrate the effectiveness of our approach.


title: Virtual Reality as a Teaching Tool for Moon Phases and Beyond

abstract: A ball on a stick is a common and simple activity for teaching the phases of the Moon. This activity, like many others in physics and astronomy, gives students a perspective they otherwise could only imagine. For Moon phases, a third person view and control over time allows students to rapidly build a mental model that connects all the moving parts. Computer simulations of many traditional physics and astronomy activities provide new features, controls, or vantage points to enhance learning beyond a hands-on activity. Virtual reality provides the capabilities of computer simulations and embodied cognition experiences through a hands-on activity making it a natural step to improve learning. We recreated the traditional ball-and-stick moon phases activity in virtual reality and compared participant learning using this simulation with using traditional methods. We found a strong participant preference for VR relative to the traditional methods. However, we observed no difference across conditions in average levels of performance on a pre/post knowledge test.


title: Shark: introducing an open source, free and flexible semi-analytic model of galaxy formation

abstract: We present a new, open source, free semi-analytic model (SAM) of galaxy formation, Shark, designed to be highly flexible and modular, allowing easy exploration of different physical processes and ways of modelling them. We introduce the philosophy behind Shark and provide an overview of the physical processes included in the model. Shark is written in C++11 and has been parallelized with OpenMP. In the released version (v1.1), we implement several different models for gas cooling, active galactic nuclei, stellar and photo-ionisation feedback, and star formation (SF). We demonstrate the basic performance of Shark using the Planck15 cosmology SURFS simulations, by comparing against a large set of observations, including: the stellar mass function (SMF) and stellar-halo mass relation at z=0-4; the cosmic evolution of the star formation rate density (SFRD), stellar mass, atomic and molecular hydrogen; local gas scaling relations; and structural galaxy properties, finding excellent agreement. Significant improvements over previous SAMs are seen in the mass-size relation for disks/bulges, the gas-stellar mass and stellar mass-metallicity relations. To illustrate the power of Shark in exploring the systematic effects of the galaxy formation modelling, we quantify how the scatter of the SF main sequence and the gas scaling relations changes with the adopted SF law, and the effect of the starbursts H$_2$ depletion timescale on the SFRD and $\Omega_{\rm H_2}$. We compare Shark with other SAMs and the hydrodynamical simulation EAGLE, and find that SAMs have a much higher halo baryon fractions due to large amounts of intra-halo gas, which in the case of EAGLE is in the intergalactic medium.


title: Graphs of Vectorial Plateaued Functions as Difference Sets

abstract: A function $F:\mathbb{F}_{p^n}\rightarrow \mathbb{F}_{p^m},$ is a vectorial $s$-plateaued function if for each component function $F_{b}(\mu)=Tr_n(\alpha F(x)), b\in \mathbb{F}_{p^m}^*$ and $\mu \in \mathbb{F}_{p^n}$, the Walsh transform value $|\widehat{F_{b}}(\mu)|$ is either $0$ or $ p^{\frac{n+s}{2}}$. In this paper, we explore the relation between (vectorial) $s$-plateaued functions and partial geometric difference sets. Moreover, we establish the link between three-valued cross-correlation of $p$-ary sequences and vectorial $s$-plateaued functions. Using this link, we provide a partition of $\mathbb{F}_{3^n}$ into partial geometric difference sets. Conversely, using a partition of $\mathbb{F}_{3^n}$ into partial geometric difference sets, we constructed ternary plateaued functions $f:\mathbb{F}_{3^n}\rightarrow \mathbb{F}_3$. We also give a characterization of $p$-ary plateaued functions in terms of special matrices which enables us to give the link between such functions and second-order derivatives using a different approach.


title: End-to-End Deep Kronecker-Product Matching for Person Re-identification

abstract: Person re-identification aims to robustly measure similarities between person images. The significant variation of person poses and viewing angles challenges for accurate person re-identification. The spatial layout and correspondences between query person images are vital information for tackling this problem but are ignored by most state-of-the-art methods. In this paper, we propose a novel Kronecker Product Matching module to match feature maps of different persons in an end-to-end trainable deep neural network. A novel feature soft warping scheme is designed for aligning the feature maps based on matching results, which is shown to be crucial for achieving superior accuracy. The multi-scale features based on hourglass-like networks and self-residual attention are also exploited to further boost the re-identification performance. The proposed approach outperforms state-of-the-art methods on the Market-1501, CUHK03, and DukeMTMC datasets, which demonstrates the effectiveness and generalization ability of our proposed approach.


title: Characterisation and classification of signatures of spanning trees of the $n$-cube

abstract: The signature of a spanning tree $T$ of the $n$-cube $Q_n$ is the $n$-tuple $\mathrm{sig}(T)=(a_1,a_2,\dots,a_n)$ such that $a_i$ is the number of edges of $T$ in the $i$th direction. We characterise the $n$-tuples that can occur as the signature of a spanning tree, and classify a signature $\mathcal{S}$ as reducible or irreducible according to whether or not there is a proper nonempty subset $R$ of $[n]$ such that restricting $\mathcal{S}$ to the indices in $R$ gives a signature of $Q_{|R|}$. If so, we say moreover that $\mathcal{S}$ and $T$ reduce over $R$. We show that reducibility places strict structural constraints on $T$. In particular, if $T$ reduces over a set of size $r$ then $T$ decomposes as a sum of $2^r$ spanning trees of $Q_{n-r}$, together with a spanning tree of a contraction of $Q_n$ with underlying simple graph $Q_r$. Moreover, this decomposition is realised by an isomorphism of edge slide graphs, where the edge slide graph of $Q_n$ is the graph $\mathcal{E}(Q_n)$ on the spanning trees of $Q_n$, with an edge between two trees if and only if they are related by an edge slide. An edge slide is an operation on spanning trees of the $n$-cube given by ``sliding'' an edge of a spanning tree across a $2$-dimensional face of the cube to get a second spanning tree. The signature of a spanning tree is invariant under edge slides, so the subgraph $\mathcal{E}(\mathcal{S})$ of $\mathcal{E}(Q_n)$ induced by the trees with signature $\mathcal{S}$ is a union of one or more connected components of $\mathcal{E}(Q_n)$. Reducible signatures may be further divided into strictly reducible and quasi-irreducible signatures, and as an application of our results we show that $\mathcal{E}(\mathcal{S})$ is disconnected if $\mathcal{S}$ is strictly reducible. We conjecture that the converse is also true.


title: Automatic Clone Recommendation for Refactoring Based on the Present and the Past

abstract: When many clones are detected in software programs, not all clones are equally important to developers. To help developers refactor code and improve software quality, various tools were built to recommend clone-removal refactorings based on the past and the present information, such as the cohesion degree of individual clones or the co-evolution relations of clone peers. The existence of these tools inspired us to build an approach that considers as many factors as possible to more accurately recommend clones. This paper introduces CREC, a learning-based approach that recommends clones by extracting features from the current status and past history of software projects. Given a set of software repositories, CREC first automatically extracts the clone groups historically refactored (R-clones) and those not refactored (NR-clones) to construct the training set. CREC extracts 34 features to characterize the content and evolution behaviors of individual clones, as well as the spatial, syntactical, and co-change relations of clone peers. With these features, CREC trains a classifier that recommends clones for refactoring. We designed the largest feature set thus far for clone recommendation, and performed an evaluation on six large projects. The results show that our approach suggested refactorings with 83% and 76% F-scores in the within-project and cross-project settings. CREC significantly outperforms a state-of-the-art similar approach on our data set, with the latter one achieving 70% and 50% F-scores. We also compared the effectiveness of different factors and different learning algorithms.


title: Ultralow-temperature thermal conductivity of Pr2Ir2O7: a metallic spin-liquid candidate with quantum criticality

abstract: The frustrated pyrochlore iridate Pr$_2$Ir$_2$O$_7$ was proposed as a metallic quantum spin liquid located at a zero-field quantum critical point. Here we present the ultralow-temperature thermal conductivity measurements on the Pr$_2$Ir$_2$O$_7$ single crystals to detect possible exotic excitations. In zero field, the thermal conductivity shows a dramatic suppression above a characteristic temperature $T_s \approx$ 0.12 K. With increasing field, $T_s$ increases and the thermal conductivity tends to saturate above $H$ = 5 T. The Wiedemann-Franz law is verified at high fields and inferred at zero field. It suggests the normal behavior of electrons at the quantum critical point, and the absence of mobile fermionic magnetic excitations. The strong suppression of thermal conductivity is attributed to the scattering of phonons by the spin system, likely the fluctuating spins. These results shed new light on the microscopic description on this novel compound.


title: Energy dependence of $\phi$(1020) production at mid-rapidity in pp collisions with ALICE at the LHC

abstract: Hadronic resonances are unique tools to investigate the interplay of re-scattering and regeneration effects during the hadronization phase in heavy-ion collisions. Measurements in small collision systems provide a necessary baseline for heavy-ion data, help to tune pQCD inspired event generators and give insight into the search for the onset of collective effects. As the $\phi$ meson has a longer lifetime compared to other resonances, it is expected that its production would be much less affected by regeneration and re-scattering processes. We report on measurements of $\phi$ meson production in minimum bias pp collisions at different beam energies and as a function of charged particle multiplicity with the ALICE detector at the LHC. The results include the transverse momentum $(p_{\mathrm{T}})$ distributions of $\phi$ as well as the particle yield ratios. Finally, we have also studied the $\phi$ effective strangeness content by comparing our results to theoretical calculations.


title: Partial Distinguishability as a Coherence Resource in Boson Sampling

abstract: Quantum coherence is a useful resource that is consumed to accomplish several tasks that classical devices are hard to fulfill. Especially, it is considered to be the origin of quantum speedup for many computational algorithms. In this work, we interpret the computational time cost of boson sampling with partially distinguishable photons from the perspective of coherence resource theory. With incoherent operations that preserve the diagonal elements of quantum states up to permutation, which we name \emph{permuted genuinely incoherent operation} (pGIO), we present some evidence that the decrease of coherence corresponds to a computationally less complex system of partially distinguishable boson sampling. Our result shows that coherence is one of crucial resources for the computational time cost of boson sampling. We expect our work presents an insight to understand the quantum complexity of the linear optical network system.


title: Theoretical investigation of the feasibility of electronic mechanism for superconducting pairing in overdoped cuprates with Fermi liquid like and Marginal Fermi liquid- like descriptions for the normal phase

abstract: Cooper's formalism for fermionic pairing has been revisited considering upto 3rd neighbour hopping terms, firstly with a Fermi liquid like background on a square lattice keeping in mind the overdopped cuprates. Then the whole scheme is repeated with a Marginal Fermi liquid- like background, taking into account the self energy correction of the mobile electrons to include a more realitic density of states in the calculation. Detailed comparison of our theoretical results with those from experiments strongly supports the Marginal Fermi liquid- like character of the normal phase with exciton mediated superconducting pairing in the concerned materials, in the lightly overdoped phase.


title: Andrews-Gordon Type Series for Capparelli's and G\"{o}llnitz-Gordon Identities

abstract: We construct Andrews-Gordon type evidently positive series as generating functions for the partitions satisfying the difference conditions imposed by Capparelli's identities and G\"{o}llnitz-Gordon identities. The construction involves building base partitions, and move parts around subject to certain rules. Some missing cases are also considered, but no new identities are given.


title: Distributed Stochastic Optimization in Networks with Low Informational Exchange

abstract: We consider a distributed stochastic optimization problem in networks with finite number of nodes. Each node adjusts its action to optimize the global utility of the network, which is defined as the sum of local utilities of all nodes. Gradient descent method is a common technique to solve the optimization problem, while the computation of the gradient may require much information exchange. In this paper, we consider that each node can only have a noisy numerical observation of its local utility, of which the closed-form expression is not available. This assumption is quite realistic, especially when the system is too complicated or constantly changing. Nodes may exchange the observation of their local utilities to estimate the global utility at each timeslot. We propose stochastic perturbation based distributed algorithms under the assumptions whether each node has collected local utilities of all or only part of the other nodes. We use tools from stochastic approximation to prove that both algorithms converge to the optimum. The convergence rate of the algorithms is also derived. Although the proposed algorithms can be applied to general optimization problems, we perform simulations considering power control in wireless networks and present numerical results to corroborate our claim.


title: Nehari Manifold for fractional Kirchhoff system with critical nonlinearity

abstract: In this paper, we show the existence and multiplicity of positive solutions of the following fractional Kirchhoff system\\ \begin{equation} \left\{ \begin{array}{rllll} \mc L_M(u)&=\lambda f(x)|u|^{q-2}u+ \frac{2\alpha}{\alpha+\beta}\left|u\right|^{\alpha-2}u|v|^\beta & \text{in } \Omega,\\ \mc L_M(v)&=\mu g(x)|v|^{q-2}v+ \frac{2\beta}{\alpha+\beta}\left|u\right|^{\alpha}|v|^{\beta-2}v & \text{in } \Omega,\\ u&=v=0 &\mbox{in } \mathbb{R}^{N}\setminus \Omega, \end{array} \right. \end{equation} where $\mc L_M(u)=M\left(\displaystyle \int_\Omega|(-\Delta)^{\frac{s}{2}}u|^2dx\right)(-\Delta)^{s} u $ is a double non-local operator due to Kirchhoff term $M(t)=a+b t$ with $a, b>0$ and fractional Laplacian $(-\Delta)^{s}, s\in(0, 1)$. We consider that $\Omega$ is a bounded domain in $\mathbb{R}^N$, {$2s<N\leq 4s$} with smooth boundary, $f, g$ are sign changing continuous functions, $\lambda, \mu>0$ are {real} parameters, $1<q<2$, $\alpha, \beta\ge 2$ {and} $\alpha+\beta=2_s^*={2N}/(N-2s)$ {is a fractional critical exponent}. Using the idea of Nehari manifold technique and a compactness result based on {classical idea of Brezis-Lieb Lemma}, we prove the existence of at least two positive solutions for $(\lambda, \mu)$ lying in a suitable subset of $\mathbb R^2_+$.


title: Observation of Mixed Alkali Like Behaviour by Fluorine Ion in Mixed Alkali Oxyfluro Vanadate Glasses: Analysis from Conductivity Measurements

abstract: In this communication we report the fluorine ion dynamics in mixed alkali oxyfluro vanadate glasses. We have measured the electrical conductivity using impedance spectroscopy technique Room temperature conductivity falls to 5 orders of magnitude from its single alkali values at 33 mol% of rubidium concentration. We have also estimated the distance between similar mobile ions using the density values. Assuming this distance as the hopping distance between the similar ions we have estimated the anionic (Fluorine ion in our case) conductivity. It is observed that the fluorine ion dynamics mimics the mixed alkali effect and scales as the onset frequency f0.


title: Model independent top quark width measurement using a combination of resonant and non resonant cross sections

abstract: Though top quark was discovered more than twenty years ago, measurement of its width is still challenging task. Most measurements either have rather low precision or they are done in assumption of the SM top quark interactions. We consider model independent parametrization of the top quark width and provide estimations on achievable accuracy using a combination of fiducial cross sections in double, single and non-resonant regions.


title: Product formula for the limits of normalized characters of Kirillov-Reshetikhin modules

abstract: The normalized characters of Kirillov-Reshetikhin modules over a quantum affine algebra have a limit as a formal power series. Mukhin and Young found a conjectural product formula for this limit, which resembles the Weyl denominator formula. We prove this formula except for some cases in type $E_8$ by employing an algebraic relation among these limits, which is a variant of $Q\widetilde{Q}$-relations.


title: Multi-Fiber Networks for Video Recognition

abstract: In this paper, we aim to reduce the computational cost of spatio-temporal deep neural networks, making them run as fast as their 2D counterparts while preserving state-of-the-art accuracy on video recognition benchmarks. To this end, we present the novel Multi-Fiber architecture that slices a complex neural network into an ensemble of lightweight networks or fibers that run through the network. To facilitate information flow between fibers we further incorporate multiplexer modules and end up with an architecture that reduces the computational cost of 3D networks by an order of magnitude, while increasing recognition performance at the same time. Extensive experimental results show that our multi-fiber architecture significantly boosts the efficiency of existing convolution networks for both image and video recognition tasks, achieving state-of-the-art performance on UCF-101, HMDB-51 and Kinetics datasets. Our proposed model requires over 9x and 13x less computations than the I3D and R(2+1)D models, respectively, yet providing higher accuracy.


title: Arbitration Among Vertical Services

abstract: A 5G network provides several service types, tailored to specific needs such as high bandwidth or low latency. On top of these communication services, verticals are enabled to deploy their own vertical services. These vertical service instances compete for the resources of the underlying common infrastructure. We present a resource arbitration approach that allows to handle such resource conflicts on a high level and to provide guidance to lowerlevel orchestration components.


title: Systematic First Principles Configuration-Interaction Calculations of Linear Optical Absorption Spectra in Silicon Hydrides : Si$_2$H$_{2n}$ ($n = 1-3$)

abstract: We have performed first principles electron-correlated calculations employing large basis sets to optimize the geometries, and to compute linear optical absorption spectra of various low-lying conformers of silicon hydrides: Si$_{2}$H$_{2n}$, $n=1,2,3$. The geometry optimization for various isomers was carried out at the coupled-cluster singles-doubles-perturbative-triples {[}CCSD(T){]} level of theory, while their excited states and absorption spectra were computed using a large-scale multi-reference singles-doubles configuration-interaction (MRSDCI) approach, which includes electron-correlation effects at a sophisticated level. Our calculated spectra are the first ones for Si$_{2}$H$_{2}$ and Si$_{2}$H$_{4}$ conformers, while for Si$_{2}$H$_{6}$ we obtain excellent agreement with the experimental measurements, suggesting that our computational approach is reliable. Our calculated absorption spectra exhibit a strong structure-property relationship, suggesting the possibility of identifying various conformers based on their optical absorption fingerprints. Furthermore, we have also performed geometry optimization for the selected optically excited states, providing us insights into their character.


title: Gravity, antimatter and the Dirac-Milne universe

abstract: We review the main arguments against antigravity, a different acceleration of antimatter relative to matter in a gravitational field, discussing and challenging Morrison's, Good's and Schiff's arguments. Following Price, we show that, very surprisingly, the usual expression of the Equivalence Principle is violated by General Relativity when particles of negative mass are supposed to exist, which may provide a fundamental explanation of MOND phenomenology, obviating the need for Dark Matter. Motivated by the observation of repulsive gravity under the form of Dark Energy, and by the fact that our universe looks very similar to a coasting (neither decelerating nor accelerating) universe, we study the Dirac-Milne cosmology, a symmetric matter-antimatter cosmology where antiparticles have the same gravitational properties as holes in a semiconductor. Noting the similarities with our universe (age, SN1a luminosity distance, nucleosynthesis, CMB angular scale), we focus our attention on structure formation mechanisms, finding strong similarities with our universe. Additional tests of the Dirac-Milne cosmology are briefly reviewed, and we finally note that a crucial test of the Dirac-Milne cosmology will be soon realized at CERN next to the ELENA antiproton decelerator, possibly as early as fall 2018, with the AEgIS, ALPHA-g and Gbar antihydrogen gravity experiments.


title: Discrete-to-continuum limits of particles with an annihilation rule

abstract: In the recent trend of extending discrete-to-continuum limit passages for gradient flows of single-species particle systems with singular and nonlocal interactions to particles of opposite sign, any annihilation effect of particles with opposite sign has been side-stepped. We present the first rigorous discrete-to-continuum limit passage which includes annihilation. This result paves the way to applications such as vortices, charged particles, and dislocations. In more detail, the discrete setting of our discrete-to-continuum limit passage is given by particles on the real line. Particles of the same type interact by a singular interaction kernel; those of opposite sign interact by a regular one. If two particles of opposite sign collide, they annihilate, i.e., they are taken out of the system. The challenge for proving a discrete-to-continuum limit is that annihilation is an intrinsically discrete effect where particles vanish instantaneously in time, while on the continuum scale the mass of the particle density decays continuously in time. The proof contains two novelties: (i) the observation that empirical measures of the discrete dynamics (with annihilation rule) satisfy the continuum evolution equation that only implicitly encodes annihilation, and (ii) the fact that, by imposing a relatively mild separation assumption on the initial data, we can identify the limiting particle density as a solution to the same continuum evolution equation.


title: Structured two-point stepsize gradient methods for nonlinear least squares

abstract: In this paper, we present two choices of structured spectral gradient methods for solving nonlinear least-squares problems. In the proposed methods, the scalar multiple of identity approximation of the Hessian inverse is obtained by imposing the structured quasi-Newton condition. Moreover, we propose a simple strategy for choosing the structured scalar in the case of negative curvature direction. Using the nonmonotone line search with the quadratic interpolation backtracking technique, we prove that these proposed methods are globally convergent under suitable conditions. Numerical experiment shows that the method is competitive with some recent developed methods.


title: Transcendental sums related to the zeros of zeta functions

abstract: While the distribution of the non-trivial zeros of the Riemann zeta function constitutes a central theme in Mathematics, nothing is known about the algebraic nature of these non-trivial zeros. In this article, we study the transcendental nature of sums of the form $$ \sum_{\rho } R(\rho) x^{\rho}, $$ where the sum is over the non-trivial zeros $\rho$ of $\zeta(s)$, $R(x) \in \overline{\Q}(x) $ is a rational function over algebraic numbers and $x >0$ is a real algebraic number. In particular, we show that the function $$ f(x) = \sum_{\rho } \frac{x^{\rho}}{\rho} $$ has infinitely many zeros in $(1, \infty)$, at most one of which is algebraic. The transcendence tools required for studying $f(x)$ in the range $x<1$ seem to be different from those in the range $x>1$. For $x < 1$, we have the following non-vanishing theorem: If for an integer $d \ge 1$, $f(\pi \sqrt{d} x)$ has a rational zero in $(0,~1/\pi \sqrt{d})$, then $$ L'(1,\chi_{-d}) \neq 0, $$ where $\chi_{-d}$ is the quadratic character associated to the imaginary quadratic field $K:= \Q(\sqrt{-d})$. Finally, we consider analogous questions for elements in the Selberg class. Our proofs rest on results from analytic as well as transcendental number theory.


title: Nonequilibrium dynamics in the pump-probe spectroscopy of excitonic insulators

abstract: We study the nonequilibrium dynamics in the pump-probe spectroscopy of excitonic insulators using the spinless two-orbital model with phonon degrees of freedom in the time-dependent mean-field approximation. We introduce the pulse light as a time-dependent vector potential via the Peierls phase in the Hamiltonian. We find that, in the Bose-Einstein condensation regime where the normal state is semiconducting, the excitonic order is suppressed when the frequency of the pulse light is slightly larger than the band gap, while the order is enhanced when the frequency of the pulse is much larger than the band gap. We moreover find that the excitonic order is completely destroyed in the former situation if the intensity of the pulse is sufficiently strong. In the BCS regime where the normal state is semimetallic, we find that the excitonic order is always suppressed, irrespective of the frequency of the pulse light. The quasiparticle band structure and optical conductivity spectrum after the pumping are also calculated for the instantaneous states.


title: Connected and disconnected contributions to nucleon axial form factors using $N_f=2$ twisted mass fermions at the physical point

abstract: We present results on the isovector and isoscalar nucleon axial form factors including disconnected contributions,using an ensemble of $N_f =2$ twisted mass clover- improved Wilson fermions simulated with approximately the physical value of the pion mass. The light disconnected quark loops are computed using exact deflation, while the strange and the charm quark loops are evaluated using the truncated solver method. Techniques such as the summation and the two-state fits have been employed to access ground-state dominance.


title: VEGAS: A VST Early-type GAlaxy Survey. III. Mapping the galaxy structure, interactions and intragroup light in the NGC 5018 group

abstract: Most of the galaxies in the Universe at present day are in groups, which are key to understanding the galaxy evolution. In this work we present a new deep mosaic of 1.2 x 1.0 square degrees of the group of galaxies centered on NGC 5018, acquired at the ESO VLT Survey Telescope. We use u, g, r images to analyse the structure of the group members and to estimate the intra-group light. Taking advantage of the deep and multiband photometry and of the large field of view of the VST telescope, we studied the structure of the galaxy members and the faint features into the intra-group space and we give an estimate of the intragroup diffuse light in the NGC 5018 group of galaxies. We found that ~ 41% of the total g-band luminosity of the group is in the form of intragroup light (IGL). The IGL has a (g - r) color consistent with those of other galaxies in the group, indicating that the stripping leading to the formation of IGL is ongoing. From the study of this group we can infer that there are at least two different interactions involving the group members: one between NGC 5018 and NGC 5022, which generates the tails and ring-like structures detected in the light, and another between NGC 5022 and MCG-03-34-013 that have produced the HI tail. A minor merging event also happened in the formation history of NGC 5018 that have perturbed the inner structure of this galaxy.


title: Highly Scalable Deep Learning Training System with Mixed-Precision: Training ImageNet in Four Minutes

abstract: Synchronized stochastic gradient descent (SGD) optimizers with data parallelism are widely used in training large-scale deep neural networks. Although using larger mini-batch sizes can improve the system scalability by reducing the communication-to-computation ratio, it may hurt the generalization ability of the models. To this end, we build a highly scalable deep learning training system for dense GPU clusters with three main contributions: (1) We propose a mixed-precision training method that significantly improves the training throughput of a single GPU without losing accuracy. (2) We propose an optimization approach for extremely large mini-batch size (up to 64k) that can train CNN models on the ImageNet dataset without losing accuracy. (3) We propose highly optimized all-reduce algorithms that achieve up to 3x and 11x speedup on AlexNet and ResNet-50 respectively than NCCL-based training on a cluster with 1024 Tesla P40 GPUs. On training ResNet-50 with 90 epochs, the state-of-the-art GPU-based system with 1024 Tesla P100 GPUs spent 15 minutes and achieved 74.9\% top-1 test accuracy, and another KNL-based system with 2048 Intel KNLs spent 20 minutes and achieved 75.4\% accuracy. Our training system can achieve 75.8\% top-1 test accuracy in only 6.6 minutes using 2048 Tesla P40 GPUs. When training AlexNet with 95 epochs, our system can achieve 58.7\% top-1 test accuracy within 4 minutes, which also outperforms all other existing systems.


title: Hard-Aware Point-to-Set Deep Metric for Person Re-identification

abstract: Person re-identification (re-ID) is a highly challenging task due to large variations of pose, viewpoint, illumination, and occlusion. Deep metric learning provides a satisfactory solution to person re-ID by training a deep network under supervision of metric loss, e.g., triplet loss. However, the performance of deep metric learning is greatly limited by traditional sampling methods. To solve this problem, we propose a Hard-Aware Point-to-Set (HAP2S) loss with a soft hard-mining scheme. Based on the point-to-set triplet loss framework, the HAP2S loss adaptively assigns greater weights to harder samples. Several advantageous properties are observed when compared with other state-of-the-art loss functions: 1) Accuracy: HAP2S loss consistently achieves higher re-ID accuracies than other alternatives on three large-scale benchmark datasets; 2) Robustness: HAP2S loss is more robust to outliers than other losses; 3) Flexibility: HAP2S loss does not rely on a specific weight function, i.e., different instantiations of HAP2S loss are equally effective. 4) Generality: In addition to person re-ID, we apply the proposed method to generic deep metric learning benchmarks including CUB-200-2011 and Cars196, and also achieve state-of-the-art results.


title: Regularity for Dirac-harmonic maps into certain pseudo-Riemannian manifolds

abstract: We show the smoothness of weakly Dirac-harmonic maps from a closed spin Riemann surface into stationary Lorentzian manifolds, and obtain a regularity theorem for a class of critical elliptic systems without anti-symmetry structures.


title: Eulerian summation operators and a remarkable family of polynomials

abstract: We give several families of polynomials which are related by Eulerian summation operators. They satisfy interesting combinatorial properties like being integer-valued at integral points. This involves nearby-symmetries and a recursion for the values at half-integral points. We also obtain identities for super Catalan numbers.


title: Strong circular dichroism in twisted single-ring hollow-core photonic crystal fiber

abstract: We report a series of experimental, analytical and numerical studies demonstrating strong circular dichroism in helically twisted hollow-core single-ring photonic crystal fiber (SR-PCF), formed by spinning the preform during fiber drawing. In the SR-PCFs studied, the hollow core is surrounded by a single ring of non-touching capillaries. Coupling between these capillaries results in the formation of helical Bloch modes carrying orbital angular momentum. In the twisted fiber, strong circular birefringence appears in the ring, so that when a core mode with a certain circular polarization state (say LC) phase-matches to the ring, the other (RC) is strongly dephased. If in addition the orbital angular momentum is the same in core and ring, and the polarization states are non-orthogonal (e.g., slightly elliptical), the LC core mode will experience high loss while the RC mode is efficiently transmitted. The result is a single-circular-polarization SR-PCF that acts as a circular polarizer over a certain wavelength range. Such fibers have many potential applications, for example, for generating circularly polarized light in gas-filled SR-PCF and realizing polarizing elements in the deep and vacuum ultraviolet.


title: Classification and study of a new class of $ \xi^{(as)} $-QSO

abstract: Many systems are presented using theory of nonlinear operators. A quadratic stochastic operator (QSO) is perceived as a nonlinear operator. It has a wide range of applications in various disciplines, such as mathematics, biology, and other sciences. The central problem that surrounds this nonlinear operator lies in the requirement that behavior should be studied. Nonlinear operators, even QSO (i.e., the simplest nonlinear operator), have not been thoroughly investigated. This study aims to present a new class of $\xi^{(as)}$-QSO defined on 2D simplex and to classify it into 18 non-conjugate (isomorphic) classes based on their conjugacy and the remuneration of coordinates. In addition, the limiting points of the behavior of trajectories for four classes defined on 2D simplex are examined.