title: Nonconforming Finite Element Spaces for $2m$-th Order Partial Differential Equations on $\mathbb{R}^n$ Simplicial Grids When $m=n+1$

abstract: In this paper, we propose a family of nonconforming finite elements for $2m$-th order partial differential equations in $\mathbb{R}^n$ on simplicial grids when $m=n+1$. This family of nonconforming elements naturally extends the elements proposed by Wang and Xu [Math. Comp. 82(2013), pp. 25-43] , where $m \leq n$ is required. We prove the unisolvent property by induction on the dimensions using the similarity properties of both shape function spaces and degrees of freedom. The proposed elements have approximability, pass the generalized patch test and hence converge. We also establish quasi-optimal error estimates in the broken $H^3$ norm for the 2D nonconforming element. In addition, we propose an $H^3$ nonconforming finite element that is robust for the sixth order singularly perturbed problems in 2D. These theoretical results are further validated by the numerical tests for the 2D tri-harmonic problem.


title: Deep Learning for Environmentally Robust Speech Recognition: An Overview of Recent Developments

abstract: Eliminating the negative effect of non-stationary environmental noise is a long-standing research topic for automatic speech recognition that stills remains an important challenge. Data-driven supervised approaches, including ones based on deep neural networks, have recently emerged as potential alternatives to traditional unsupervised approaches and with sufficient training, can alleviate the shortcomings of the unsupervised methods in various real-life acoustic environments. In this light, we review recently developed, representative deep learning approaches for tackling non-stationary additive and convolutional degradation of speech with the aim of providing guidelines for those involved in the development of environmentally robust speech recognition systems. We separately discuss single- and multi-channel techniques developed for the front-end and back-end of speech recognition systems, as well as joint front-end and back-end training frameworks.


title: CXO J004318.8+412016, a steady supersoft X-ray source in M 31

abstract: We obtained an optical spectrum of a star we identify as the optical counterpart of the M31 Chandra source CXO J004318.8+412016, because of prominent emission lines of the Balmer series, of neutral helium, and a He II line at 4686 Angstrom. The continuum energy distribution and the spectral characteristics demonstrate the presence of a red giant of K or earlier spectral type, so we concluded that the binary is likely to be a symbiotic system. CXO J004318.8+412016 has been observed in X-rays as a luminous supersoft source (SSS) since 1979, with effective temperature exceeding 40 eV and variable X-ray luminosity, oscillating between a few times 10(35) erg/s and a few times 10(37) erg/s. The optical, infrared and ultraviolet colors of the optical object are consistent with an an accretion disk around a compact object companion, which may either be a white dwarf, or a black hole, depending on the system parameters. If the origin of the luminous supersoft X-rays is the atmosphere of a white dwarf that is burning hydrogen in shell, it is as hot and luminous as post-thermonuclear flash novae, yet no major optical outburst has ever been observed, suggesting that the white dwarf is very massive (m>1.2 M(sol)) and it is accreting and burning at the high rate (mdot>10(-8)M(sol)/year) expected for type Ia supernovae progenitors. In this case, the X-ray variability may be due to a very short recurrence time of only mildly degenerate thermonuclear flashes.


title: A Hierarchical Bayes Approach to Adjust for Selection Bias in Before-After Analyses of Vision Zero Policies

abstract: American cities devote significant resources to the implementation of traffic safety countermeasures that prevent pedestrian fatalities. However, the before-after comparisons typically used to evaluate the success of these countermeasures often suffer from selection bias. This paper motivates the tendency for selection bias to overestimate the benefits of traffic safety policy, using New York City's Vision Zero strategy as an example. The NASS General Estimates System, Fatality Analysis Reporting System and other databases are combined into a Bayesian hierarchical model to calculate a more realistic before-after comparison. The results confirm the before-after analysis of New York City's Vision Zero policy did in fact overestimate the effect of the policy, and a more realistic estimate is roughly two-thirds the size.


title: The 2017 Release of Cloudy

abstract: We describe the 2017 release of the spectral synthesis code Cloudy. A major development since the previous release has been exporting the atomic data into external data files. This greatly simplifies updates and maintenance of the data. Many large datasets have been incorporated with the result that we can now predict well over an order of magnitude more emission lines when all databases are fully used. The use of such large datasets is not realistic for most calculations due to the time and memory needs, and we describe the limited subset of data we use by default. Despite the fact that we now predict significantly more lines than the previous Cloudy release, this version is faster because of optimization of memory access patterns and other tuning. The size and use of the databases can easily be adjusted in the command-line interface. We give examples of the accuracy limits using small models, and the performance requirements of large complete models. We summarize several advances in the H- and He-like iso-electronic sequences. We use our complete collisional-radiative models of the ionization of these one and two-electron ions to establish the highest density for which the coronal or interstellar medium (ISM) approximation works, and the lowest density where Saha or local thermodynamic equilibrium can be assumed. The coronal approximation fails at surprisingly low densities for collisional ionization equilibrium but is valid to higher densities for photoionized gas clouds. Many other improvements to the physics have been made and are described. These include the treatment of isotropic continuum sources such as the cosmic microwave background (CMB) in the reported output, and the ability to follow the evolution of cooling non-equilibrium clouds.


title: Taking tomographic measurements for photonic qubits 88 ns before they are created

abstract: We experimentally demonstrate that tomographic measurements can be performed for states of qubits before they are prepared. A variant of the quantum teleportation protocol is used as a channel between two instants in time, allowing measurements for polarisation states of photons to be implemented 88 ns before they are created. Measurement data taken at the early time and later unscrambled according to the results of the protocol's Bell measurements, produces density matrices with an average fidelity of $0.90 \pm 0.01$ against the ideal states of photons created at the later time. Process tomography of the time-reverse quantum channel finds an average process fidelity of $0.84 \pm 0.02$. While our proof-of-principle implementation necessitates some post-selection, the general protocol is deterministic and requires no post-selection to sift desired states and reject a larger ensemble.


title: Evolutionary dynamics of incubation periods

abstract: The incubation period of a disease is the time between an initiating pathologic event and the onset of symptoms. For typhoid fever, polio, measles, leukemia and many other diseases, the incubation period is highly variable. Some affected people take much longer than average to show symptoms, leading to a distribution of incubation periods that is right skewed and often approximately lognormal. Although this statistical pattern was discovered more than sixty years ago, it remains an open question to explain its ubiquity. Here we propose an explanation based on evolutionary dynamics on graphs. For simple models of a mutant or pathogen invading a network-structured population of healthy cells, we show that skewed distributions of incubation periods emerge for a wide range of assumptions about invader fitness, competition dynamics, and network structure. The skewness stems from stochastic mechanisms associated with two classic problems in probability theory: the coupon collector and the random walk. Unlike previous explanations that rely crucially on heterogeneity, our results hold even for homogeneous populations. Thus, we predict that two equally healthy individuals subjected to equal doses of equally pathogenic agents may, by chance alone, show remarkably different time courses of disease.


title: Open Algorithms for Identity Federation

abstract: The identity problem today is a data-sharing problem. Today the fixed attributes approach adopted by the consumer identity management industry provides only limited information about an individual, and therefore is of limited value to the service providers and other participants in the identity ecosystem. This paper proposes the use of the Open Algorithms (OPAL) paradigm to address the increasing need for individuals and organizations to share data in a privacy-preserving manner. Instead of exchanging static or fixed attributes about users, participants in the ecosystem will be able to obtain better insight through a collective sharing of algorithms, governed through a trust network. Algorithms for specific data-sets must be vetted to be privacy-preserving, fair and free from bias.


title: A general theory of singular values with applications to signal denoising

abstract: We study the Pareto frontier for two competing norms $\|\cdot\|_X$ and $\|\cdot\|_Y$ on a vector space. For a given vector $c$, the pareto frontier describes the possible values of $(\|a\|_X,\|b\|_Y)$ for a decomposition $c=a+b$. The singular value decomposition of a matrix is closely related to the Pareto frontier for the spectral and nuclear norm. We will develop a general theory that extends the notion of singular values of a matrix to arbitrary finite dimensional euclidean vector spaces equipped with dual norms. This also generalizes the diagonal singular value decompositions for tensors introduced by the author in previous work. We can apply the results to denoising, where $c$ is a noisy signal, $a$ is a sparse signal and $b$ is noise. Applications include 1D total variation denoising, 2D total variation Rudin-Osher-Fatemi image denoising, LASSO, basis pursuit denoising and tensor decompositions.

categories: math.NA cs.IT cs.NA math.IT math.OC math.ST stat.TH


title: Morphological Error Detection in 3D Segmentations

abstract: Deep learning algorithms for connectomics rely upon localized classification, rather than overall morphology. This leads to a high incidence of erroneously merged objects. Humans, by contrast, can easily detect such errors by acquiring intuition for the correct morphology of objects. Biological neurons have complicated and variable shapes, which are challenging to learn, and merge errors take a multitude of different forms. We present an algorithm, MergeNet, that shows 3D ConvNets can, in fact, detect merge errors from high-level neuronal morphology. MergeNet follows unsupervised training and operates across datasets. We demonstrate the performance of MergeNet both on a variety of connectomics data and on a dataset created from merged MNIST images.


title: Optimization of Tree Ensembles

abstract: Tree ensemble models such as random forests and boosted trees are among the most widely used and practically successful predictive models in applied machine learning and business analytics. Although such models have been used to make predictions based on exogenous, uncontrollable independent variables, they are increasingly being used to make predictions where the independent variables are controllable and are also decision variables. In this paper, we study the problem of tree ensemble optimization: given a tree ensemble that predicts some dependent variable using controllable independent variables, how should we set these variables so as to maximize the predicted value? We formulate the problem as a mixed-integer optimization problem. We theoretically examine the strength of our formulation, provide a hierarchy of approximate formulations with bounds on approximation quality and exploit the structure of the problem to develop two large-scale solution methods, one based on Benders decomposition and one based on iteratively generating tree split constraints. We test our methodology on real data sets, including two case studies in drug design and customized pricing, and show that our methodology can efficiently solve large-scale instances to near or full optimality, and outperforms solutions obtained by heuristic approaches. In our drug design case, we show how our approach can identify compounds that efficiently trade-off predicted performance and novelty with respect to existing, known compounds. In our customized pricing case, we show how our approach can efficiently determine optimal store-level prices under a random forest model that delivers excellent predictive accuracy.


title: Modeling magnetospheric fields in the Jupiter system

abstract: The various processes which generate magnetic fields within the Jupiter system are exemplary for a large class of similar processes occurring at other planets in the solar system, but also around extrasolar planets. Jupiter's large internal dynamo magnetic field generates a gigantic magnetosphere, which is strongly rotational driven and possesses large plasma sources located deeply within the magnetosphere. The combination of the latter two effects is the primary reason for Jupiter's main auroral ovals. Jupiter's moon Ganymede is the only known moon with an intrinsic dynamo magnetic field, which generates a mini-magnetosphere located within Jupiter's larger magnetosphere including two auroral ovals. Ganymede's magnetosphere is qualitatively different compared to the one from Jupiter. It possesses no bow shock but develops Alfv\'en wings similar to most of the extrasolar planets which orbit their host stars within 0.1 AU. New numerical models of Jupiter's and Ganymede's magnetospheres presented here provide quantitative insight into the processes that maintain these magnetospheres. Jupiter's magnetospheric field is approximately time-periodic at the locations of Jupiter's moons and induces secondary magnetic fields in electrically conductive layers such as subsurface oceans. In the case of Ganymede, these secondary magnetic fields influence the oscillation of the location of its auroral ovals. Based on dedicated Hubble Space Telescope observations, an analysis of the amplitudes of the auroral oscillations provides evidence that Ganymede harbors a subsurface ocean. Callisto in contrast does not possess a mini-magnetosphere, but still shows a perturbed magnetic field environment. Callisto's ionosphere and atmospheric UV emission is different compared to the other Galilean satellites as it is primarily been generated by solar photons compared to magnetospheric electrons.


title: General solution of the inhomogenous div-curl system and consequences

abstract: We consider the inhomogeneous div-curl system (i.e.\ to find a vector field with prescribed div and curl) in a bounded star-shaped domain in $\mathbb{R}^3$. An explicit general solution is given in terms of classical integral operators, completing previously known results obtained under restrictive conditions. This solution allows us to solve questions related to the quaternionic main Vekua equation $DW=(Df/f)\overline W$ in $\mathbb{R}^3$, such as finding the vector part when the scalar part is known. In addition, using the general solution to the div-curl system and the known existence of the solution of the inhomogeneous conductivity equation, we prove the existence of solutions of the inhomogeneous double curl equation, and give an explicit solution for the case of static Maxwell's equations with only variable permeability.


title: High Dimensional Structured Superposition Models

abstract: High dimensional superposition models characterize observations using parameters which can be written as a sum of multiple component parameters, each with its own structure, e.g., sum of low rank and sparse matrices, sum of sparse and rotated sparse vectors, etc. In this paper, we consider general superposition models which allow sum of any number of component parameters, and each component structure can be characterized by any norm. We present a simple estimator for such models, give a geometric condition under which the components can be accurately estimated, characterize sample complexity of the estimator, and give high probability non-asymptotic bounds on the componentwise estimation error. We use tools from empirical processes and generic chaining for the statistical analysis, and our results, which substantially generalize prior work on superposition models, are in terms of Gaussian widths of suitable sets.


title: Efficient, sparse representation of manifold distance matrices for classical scaling

abstract: Geodesic distance matrices can reveal shape properties that are largely invariant to non-rigid deformations, and thus are often used to analyze and represent 3-D shapes. However, these matrices grow quadratically with the number of points. Thus for large point sets it is common to use a low-rank approximation to the distance matrix, which fits in memory and can be efficiently analyzed using methods such as multidimensional scaling (MDS). In this paper we present a novel sparse method for efficiently representing geodesic distance matrices using biharmonic interpolation. This method exploits knowledge of the data manifold to learn a sparse interpolation operator that approximates distances using a subset of points. We show that our method is 2x faster and uses 20x less memory than current leading methods for solving MDS on large point sets, with similar quality. This enables analyses of large point sets that were previously infeasible.


title: Identification of Gaussian Process State Space Models

abstract: The Gaussian process state space model (GPSSM) is a non-linear dynamical system, where unknown transition and/or measurement mappings are described by GPs. Most research in GPSSMs has focussed on the state estimation problem, i.e., computing a posterior of the latent state given the model. However, the key challenge in GPSSMs has not been satisfactorily addressed yet: system identification, i.e., learning the model. To address this challenge, we impose a structured Gaussian variational posterior distribution over the latent states, which is parameterised by a recognition model in the form of a bi-directional recurrent neural network. Inference with this structure allows us to recover a posterior smoothed over sequences of data. We provide a practical algorithm for efficiently computing a lower bound on the marginal likelihood using the reparameterisation trick. This further allows for the use of arbitrary kernels within the GPSSM. We demonstrate that the learnt GPSSM can efficiently generate plausible future trajectories of the identified system after only observing a small number of episodes from the true system.


title: OGLE-2014-BLG-1112LB: A Microlensing Brown Dwarf Detected Through the Channel of a Gravitational Binary-Lens Event

abstract: Due to the nature depending on only the gravitational field, microlensing, in principle, provides an important tool to detect faint and even dark brown dwarfs. However, the number of identified brown dwarfs is limited due to the difficulty of the lens mass measurement that is needed to check the substellar nature of the lensing object. In this work, we report a microlensing brown dwarf discovered from the analysis of the gravitational binary-lens event OGLE-2014-BLG-1112. We identify the brown-dwarf nature of the lens companion by measuring the lens mass from the detections of both microlens-parallax and finite-source effects. We find that the companion has a mass of $(3.03 \pm 0.78)\times 10^{-2}\ M_\odot$ and it is orbiting a solar-type primary star with a mass of $1.07 \pm 0.28\ M_\odot$. The estimated projected separation between the lens components is $9.63 \pm 1.33$ au and the distance to the lens is $4.84 \pm 0.67$ kpc. We discuss the usefulness of space-based microlensing observations in detecting brown dwarfs through the channel of binary-lens events.


title: Operations preserving equivalence relations

abstract: In 2014, C\'egielski, Grigorieff and Guessarian characterized unary self-maps on the set $\mathbb{Z}$ of integers which preserve all congruences of the additive group. In this note, we propose a shorter and straigthforward proof. We replace this result in the frame of universal algebra.


title: Distributed Functional Observers for LTI Systems

abstract: We study the problem of designing distributed functional observers for LTI systems. Specifically, we consider a setting consisting of a state vector that evolves over time according to a dynamical process. A set of nodes distributed over a communication network wish to collaboratively estimate certain functions of the state. We first show that classical existence conditions for the design of centralized functional observers do not directly translate to the distributed setting, due to the coupling that exists between the dynamics of the functions of interest and the diverse measurements at the various nodes. Accordingly, we design transformations that reveal such couplings and identify portions of the corresponding dynamics that are locally detectable at each sensor node. We provide sufficient conditions on the network, along with state estimate update and exchange rules for each node, that guarantee asymptotic reconstruction of the functions at each sensor node.


title: Thermal production, protection and heat exchange of quantum coherences

abstract: We consider finite sized atomic systems with varying number of particles which have dipolar interactions among them and also under the collective driving and dissipative effect of thermal photon environment. Focusing on the simple case of two atoms, we investigate the impact of different parameters of the model on the coherence contained in the system. We observe that even though the system is initialized in a completely incoherent state, it evolves to a state with a finite amount of coherence and preserve that coherence in the long-time limit in the presence of thermal photons. We propose a novel scheme to utilize the created coherence in order to change the thermal state of a single two-level atom by repeatedly interacting it with a coherent atomic beam. Finally, we discuss the scaling of coherence as a function of the number of particles in our system up to $N=7$.


title: Asymptotics of the spectral radius for directed Chung-Lu random graphs with community structure

abstract: The spectral radius of the adjacency matrix can impact both algorithmic efficiency as well as the stability of solutions to an underlying dynamical process. Although much research has considered the distribution of the spectral radius for undirected random graph models, as symmetric adjacency matrices are amenable to spectral analysis, very little work has focused on directed graphs. Consequently, we provide novel concentration results for the spectral radius of the directed Chung-Lu random graph model. We emphasize that our concentration results are applicable both asymptotically and to networks of finite size. Subsequently, we extend our concentration results to a generalization of the directed Chung-Lu model that allows for community structure.


title: First Betti number of weighted homology group of Hamiltonian vector fields on symplectic tori

abstract: Like (co)homology group theory of formal Hamiltonian vector fields on symplectic vector spaces, we try studying homology group theory on symplecit tori introducing the notion of weight.


title: Study of the plutino object (208996) 2003 AZ84 from stellar occultations: size, shape and topographic features

abstract: We present results derived from four stellar occultations by the plutino object (208996) 2003~AZ$_{84}$, detected at January 8, 2011 (single-chord event), February 3, 2012 (multi-chord), December 2, 2013 (single-chord) and November 15, 2014 (multi-chord). Our observations rule out an oblate spheroid solution for 2003~AZ$_{84}$'s shape. Instead, assuming hydrostatic equilibrium, we find that a Jacobi triaxial solution with semi axes $(470 \pm 20) \times (383 \pm 10) \times (245 \pm 8)$~km % axis ratios $b/a= 0.82 \pm 0.05$ and $c/a= 0.52 \pm 0.02$, can better account for all our occultation observations. Combining these dimensions with the rotation period of the body (6.75~h) and the amplitude of its rotation light curve, we derive a density $\rho=0.87 \pm 0.01$~g~cm$^{-3}$ a geometric albedo $p_V= 0.097 \pm 0.009$. A grazing chord observed during the 2014 occultation reveals a topographic feature along 2003~AZ$_{84}$'s limb, that can be interpreted as an abrupt chasm of width $\sim 23$~km and depth $> 8$~km or a smooth depression of width $\sim 80$~km and depth $\sim 13$~km (or an intermediate feature between those two extremes).


title: Serial Correlations in Single-Subject fMRI with Sub-Second TR

abstract: When performing statistical analysis of single-subject fMRI data, serial correlations need to be taken into account to allow for valid inference. Otherwise, the variability in the parameter estimates might be under-estimated resulting in increased false-positive rates. Serial correlations in fMRI data are commonly characterized in terms of a first-order autoregressive (AR) process and then removed via pre-whitening. The required noise model for the pre-whitening depends on a number of parameters, particularly the repetition time (TR). Here we investigate how the sub-second temporal resolution provided by simultaneous multislice (SMS) imaging changes the noise structure in fMRI time series. We fit a higher-order AR model and then estimate the optimal AR model order for a sequence with a TR of less than 600 ms providing whole brain coverage. We show that physiological noise modelling successfully reduces the required AR model order, but remaining serial correlations necessitate an advanced noise model. We conclude that commonly used noise models, such as the AR(1) model, are inadequate for modelling serial correlations in fMRI using sub-second TRs. Rather, physiological noise modelling in combination with advanced pre-whitening schemes enable valid inference in single-subject analysis using fast fMRI sequences.


title: Statistical Inference with Quantum Measurements: Methodologies for Nitrogen Vacancy Centers in Diamond

abstract: The analysis of photon count data from the standard nitrogen vacancy (NV) measurement process is treated as a statistical inference problem. This has applications toward gaining better and more rigorous error bars for tasks such as parameter estimation (eg. magnetometry), tomography, and randomized benchmarking. We start by providing a summary of the standard phenomenological model of the NV optical process in terms of Lindblad jump operators. This model is used to derive random variables describing emitted photons during measurement, to which finite visibility, dark counts, and imperfect state preparation are added. NV spin-state measurement is then stated as an abstract statistical inference problem consisting of an underlying biased coin obstructed by three Poisson rates. Relevant frequentist and Bayesian estimators are provided, discussed, and quantitatively compared. We show numerically that the risk of the maximum likelihood estimator is well approximated by the Cramer-Rao bound, for which we provide a simple formula. Of the estimators, we in particular promote the Bayes estimator, owing to its slightly better risk performance, and straight-forward error propagation into more complex experiments. This is illustrated on experimental data, where Quantum Hamiltonian Learning is performed and cross-validated in a fully Bayesian setting, and compared to a more traditional weighted least squares fit.


title: Towards Learned Clauses Database Reduction Strategies Based on Dominance Relationship

abstract: Clause Learning is one of the most important components of a conflict driven clause learning (CDCL) SAT solver that is effective on industrial instances. Since the number of learned clauses is proved to be exponential in the worse case, it is necessary to identify the most relevant clauses to maintain and delete the irrelevant ones. As reported in the literature, several learned clauses deletion strategies have been proposed. However the diversity in both the number of clauses to be removed at each step of reduction and the results obtained with each strategy creates confusion to determine which criterion is better. Thus, the problem to select which learned clauses are to be removed during the search step remains very challenging. In this paper, we propose a novel approach to identify the most relevant learned clauses without favoring or excluding any of the proposed measures, but by adopting the notion of dominance relationship among those measures. Our approach bypasses the problem of the diversity of results and reaches a compromise between the assessments of these measures. Furthermore, the proposed approach also avoids another non-trivial problem which is the amount of clauses to be deleted at each reduction of the learned clause database.


title: Propositional Knowledge Representation and Reasoning in Restricted Boltzmann Machines

abstract: While knowledge representation and reasoning are considered the keys for human-level artificial intelligence, connectionist networks have been shown successful in a broad range of applications due to their capacity for robust learning and flexible inference under uncertainty. The idea of representing symbolic knowledge in connectionist networks has been well-received and attracted much attention from research community as this can establish a foundation for integration of scalable learning and sound reasoning. In previous work, there exist a number of approaches that map logical inference rules with feed-forward propagation of artificial neural networks (ANN). However, the discriminative structure of an ANN requires the separation of input/output variables which makes it difficult for general reasoning where any variables should be inferable. Other approaches address this issue by employing generative models such as symmetric connectionist networks, however, they are difficult and convoluted. In this paper we propose a novel method to represent propositional formulas in restricted Boltzmann machines which is less complex, especially in the cases of logical implications and Horn clauses. An integration system is then developed and evaluated in real datasets which shows promising results.


title: Does the Geometry of Word Embeddings Help Document Classification? A Case Study on Persistent Homology Based Representations

abstract: We investigate the pertinence of methods from algebraic topology for text data analysis. These methods enable the development of mathematically-principled isometric-invariant mappings from a set of vectors to a document embedding, which is stable with respect to the geometry of the document in the selected metric space. In this work, we evaluate the utility of these topology-based document representations in traditional NLP tasks, specifically document clustering and sentiment classification. We find that the embeddings do not benefit text analysis. In fact, performance is worse than simple techniques like $\textit{tf-idf}$, indicating that the geometry of the document does not provide enough variability for classification on the basis of topic or sentiment in the chosen datasets.


title: Self-averaging fluctuations in the chaoticity of simple fluids

abstract: Bulk properties of equilibrium liquids are a manifestation of intermolecular forces. Here, we show how these forces imprint on dynamical fluctuations in the Lyapunov exponents for simple fluids with and without attractive forces. While the bulk of the spectrum is strongly self-averaging, the first Lyapunov exponent self-averages only weakly and at a rate that depends on the length scale of the intermolecular forces; short-range repulsive forces quantitatively dominate longer range attractive forces, which act as a weak perturbation that slows the convergence to the thermodynamic limit. Regardless of intermolecular forces, the fluctuations in the Kolmogorov-Sinai entropy rate diverge, as one expects for an extensive quantity, and the spontaneous fluctuations of these dynamical observables obey fluctuation-dissipation like relationships. Together, these results are a representation of the van der Waals picture of fluids and another lens through which we can view the liquid state.


title: Additional details about the thermal design error in 'A Photon Thermal Diode'

abstract: This note supplements a Reply [1] to a Comment [2] which identified a fundamental symmetry error we made in the original experimental study of a photon thermal diode [3]. For thermal specialists, here we provide some additional details about the thermal estimate originally used to justify omitting the cold-side thermal collimator, and the reasons for its failure. References [1]. C. Dames, Z. Chen, C. Wong, S. Lubner, S. Yee, J. Miller, W. Jang, C. Hardin, A. Fong, and J. E. Garay, "Correspondence: Reply to `The experimental requirements for a photon thermal diode'". Nature Communications (in press, 2017). [2]. B. V. Budaev, "Correspondence: The experimental requirements for a photon thermal diode". Nature Communications (in press, 2017). [3]. Z. Chen, C. Wong, S. Lubner, S. Yee, J. Miller, W. Jang, C. Hardin, A. Fong, J. E. Garay, and C. Dames, "A photon thermal diode". Nature Communications 5, 5446 (2014).


title: Interpretations of family size distributions: The Datura example

abstract: Young asteroid families are unique sources of information about fragmentation physics and the structure of their parent bodies, since their physical properties have not changed much since their birth. Families have different properties such as age, size, taxonomy, collision severity and others, and understanding the effect of those properties on our observations of the size-frequency distribution (SFD) of family fragments can give us important insights into the hypervelocity collision processes at scales we cannot achieve in our laboratories. Here we take as an example the very young Datura family, with a small 8-km parent body, and compare its size distribution to other families, with both large and small parent bodies, and created by both catastrophic and cratering formation events. We conclude that most likely explanation for the shallower size distribution compared to larger families is a more pronounced observational bias because of its small size. Its size distribution is perfectly normal when its parent body size is taken into account. We also discuss some other possibilities. In addition, we study another common feature: an offset or "bump" in the distribution occurring for a few of the larger elements. We hypothesize that it can be explained by a newly described regime of cratering, "spall cratering", which controls the majority of impact craters on the surface of small asteroids like Datura.


title: Weakly supervised 3D Reconstruction with Adversarial Constraint

abstract: Supervised 3D reconstruction has witnessed a significant progress through the use of deep neural networks. However, this increase in performance requires large scale annotations of 2D/3D data. In this paper, we explore inexpensive 2D supervision as an alternative for expensive 3D CAD annotation. Specifically, we use foreground masks as weak supervision through a raytrace pooling layer that enables perspective projection and backpropagation. Additionally, since the 3D reconstruction from masks is an ill posed problem, we propose to constrain the 3D reconstruction to the manifold of unlabeled realistic 3D shapes that match mask observations. We demonstrate that learning a log-barrier solution to this constrained optimization problem resembles the GAN objective, enabling the use of existing tools for training GANs. We evaluate and analyze the manifold constrained reconstruction on various datasets for single and multi-view reconstruction of both synthetic and real images.


title: Annihilators of the ideal class group of a cyclic extension of an imaginary quadratic field

abstract: The aim of this paper is to study the group of elliptic units of a cyclic extension $L$ of an imaginary quadratic field $K$ such that the degree $[L:K]$ is a power of an odd prime $p$. We construct an explicit root of the usual top generator of this group and we use it to obtain an annihilation result of the $p$-Sylow subgroup of the ideal class group of $L$.


title: Topological susceptibility of QCD with dynamical M\"obius domain wall fermions

abstract: We compute the topological susceptibility $\chi_t$ of lattice QCD with $2+1$ dynamical quark flavors described by the M\"obius domain wall fermion. Violation of chiral symmetry as measured by the residual mass is kept at $\sim$1 MeV or smaller. We measure the fluctuation of the topological charge density in a `slab' sub-volume of the simulated lattice using the method proposed by Bietenholz {\it et al.} The quark mass dependence of $\chi_t$ is consistent with the prediction of chiral perturbation theory, from which the chiral condensate is extracted as $\Sigma^{\overline{\rm MS}} (\mbox{2GeV}) = [274(13)(29)\mbox{MeV}]^3$, where the first error is statistical and the second one is systematic. Combining the results for the pion mass $M_\pi$ and decay constant $F_\pi$, we obtain $\chi_t = 0.229(03)(13)M_\pi^2F_\pi^2$ at the physical point.


title: Provably Safe Robot Navigation with Obstacle Uncertainty

abstract: As drones and autonomous cars become more widespread it is becoming increasingly important that robots can operate safely under realistic conditions. The noisy information fed into real systems means that robots must use estimates of the environment to plan navigation. Efficiently guaranteeing that the resulting motion plans are safe under these circumstances has proved difficult. We examine how to guarantee that a trajectory or policy is safe with only imperfect observations of the environment. We examine the implications of various mathematical formalisms of safety and arrive at a mathematical notion of safety of a long-term execution, even when conditioned on observational information. We present efficient algorithms that can prove that trajectories or policies are safe with much tighter bounds than in previous work. Notably, the complexity of the environment does not affect our methods ability to evaluate if a trajectory or policy is safe. We then use these safety checking methods to design a safe variant of the RRT planning algorithm.


title: Generating Witness of Non-Bisimilarity for the pi-Calculus

abstract: In the logic programming paradigm, it is difficult to develop an elegant solution for generating distinguishing formulae that witness the failure of open-bisimilarity between two pi-calculus processes; this was unexpected because the semantics of the pi-calculus and open bisimulation have already been elegantly specified in higher-order logic programming systems. Our solution using Haskell defines the formulae generation as a tree transformation from the forest of all nondeterministic bisimulation steps to a pair of distinguishing formulae. Thanks to laziness in Haskell, only the necessary paths demanded by the tree transformation function are generated. Our work demonstrates that Haskell and its libraries provide an attractive platform for symbolically analyzing equivalence properties of labeled transition systems in an environment sensitive setting.


title: The equivariant Spivak normal bundle and equivariant surgery for compact Lie groups

abstract: We generalize the results of a previous paper of ours to compact Lie groups. Using a recently developed ordinary equivariant homology and cohomology, we define equivariant Poincare complexes with the properties that (1) every compact G-manifold is an equivariant Poincare complex, (2) every finite equivariant Poincare complex (with some mild additional hypotheses) has an equivariant spherical Spivak normal fibration, and (3) the Pi-Pi Theorem holds for equivariant Poincare pairs under suitable gap hypotheses. The nice behavior of the ordinary equivariant homology and cohomology theories allows us to follow Wall's original line of argument closely.


title: Nodal Sets for "Broken" Quasilinear PDEs

abstract: We study the local behavior of the nodal sets of the solutions to elliptic quasilinear equations with nonlinear conductivity part, \begin{equation*} \operatorname{div}(A_s(x,u)\nabla u)=\operatorname{div}{\vec f}(x), \end{equation*} where $A_s(x,u)$ has "broken" derivatives of order $s\geq 0$, such as \begin{equation*} A_s(x,u) = a(x) + b(x)(u^+)^s, \end{equation*} with $(u^+)^0$ being understood as the characteristic function on $\{u>0\}$. The vector ${\vec f}(x)$ is assumed to be $C^\alpha$ in case $s=0$, and $C^{1,\alpha}$ (or higher) in case $s>0$. Using geometric methods, we prove almost complete results (in analogy with standard PDEs) concerning the behavior of the nodal sets. More exactly, we show that the nodal sets, where solutions have (linear) nondegeneracy, are locally smooth graphs. Degenerate points are shown to have structures that follow the lines of arguments as that of the nodal sets for harmonic functions, and general PDEs.


title: Whisker growth on Sn thin film accelerated under gamma-ray irradiation

abstract: We report on growth of tin (Sn) metal whiskers that is significantly accelerated under gamma-ray irradiation. The studied Sn thin film, evaporated on glass substrate, was subjected to a total of ~60 hours of irradiation over the course of 30 days. The irradiated sample demonstrated the enhanced development, in both whisker densities and lengths, resulting in an acceleration factor of ~50. This makes gamma-ray irradiation a candidate tool for accelerated testing of whisker propensity. We attribute the observed enhancement to electrostatic fields created by charged defects in the glass substrate under ionizing radiation of gamma-rays.


title: Parametrized symmetric groups and the second homology of a group

abstract: We introduce the notion of a symmetric group parametrized by elements of a group. We show that this group is an extension of a certain subgroup of the wreath product $G \wr S_n$ by $\mathrm{H}_2(G, \mathbb{Z})$. We also discuss the motivation behind this construction.


title: Dynamics of post-translational modification systems: recent progress and future directions

abstract: Post-translational modification (PTM) of proteins plays a key role in signal transduction, and hence significant effort has gone toward understanding how PTM networks process information. This involves, on the theory side, analyzing the dynamical systems arising from such networks. Which networks are, for instance, bistable? Which networks admit sustained oscillations? Which parameter values enable such behaviors? In this Perspective, we highlight recent progress in this area and point out some important future directions. Along the way, we summarize several techniques for analyzing general networks, such as eliminating variables to obtain steady-state parametrizations, and harnessing results on how incorporating intermediates affects dynamics.


title: Giant barocaloric effects in natural rubber: A relevant step toward solid-state cooling

abstract: Solid-state cooling based on i-caloric effects has shown to be a promising alternative to the conventional refrigeration devices. Only very recently, the research on barocaloric materials is receiving a deal of attention due to the demonstration of giant barocaloric effects in shape-memory alloys. Regarding polymers, there is still a lack of literature, despite their high caloric potential. Thus, we present here giant barocaloric effects in natural rubber, a low-cost and environmental friendly elastomer polymer. The maximum values of entropy and temperature changes are larger than those previously reported for any promising barocaloric material. Moreover, the huge normalized temperature change and refrigerant capacity exhibited by natural rubber confirm its high potential for cooling applications. We also verify a relevant dependence of the barocaloric effect on the glass transition in natural rubber. Our findings suggest that commercial refrigeration devices based on barocaloric effects from elastomer polymers can be envisaged in the near future.


title: Unsupervised Learning of Disentangled Representations from Video

abstract: We present a new model DrNET that learns disentangled image representations from video. Our approach leverages the temporal coherence of video and a novel adversarial loss to learn a representation that factorizes each frame into a stationary part and a temporally varying component. The disentangled representation can be used for a range of tasks. For example, applying a standard LSTM to the time-vary components enables prediction of future frames. We evaluate our approach on a range of synthetic and real videos, demonstrating the ability to coherently generate hundreds of steps into the future.


title: Reversing cooling flows with AGN jets: shock waves, rarefaction waves, and trailing outflows

abstract: The cooling flow problem is one of the central problems in galaxy clusters, and active galactic nucleus (AGN) feedback is considered to play a key role in offsetting cooling. However, how AGN jets heat and suppress cooling flows remains highly debated. Using an idealized simulation of a cool-core cluster, we study the development of central cooling catastrophe and how a subsequent powerful AGN jet event averts cooling flows, with a focus on complex gasdynamical processes involved. We find that the jet drives a bow shock, which reverses cooling inflows and overheats inner cool core regions. The shocked gas moves outward in a rarefaction wave, which rarefies the dense core and adiabatically transports a significant fraction of heated energy to outer regions. As the rarefaction wave propagates away, inflows resume in the cluster core, but a trailing outflow is uplifted by the AGN bubble, preventing gas accumulation and catastrophic cooling in central regions. Inflows and trailing outflows constitute meridional circulations in the cluster core. At later times, trailing outflows fall back to the cluster centre, triggering central cooling catastrophe and potentially a new generation of AGN feedback. We thus envisage a picture of cool cluster cores going through cycles of cooling-induced contraction and AGN-induced expansion. This picture naturally predicts an anti-correlation between the gas fraction (or X-ray luminosity) of cool cores and the central gas entropy, which may be tested by X-ray observations.


title: Compactness criteria for real algebraic sets and newton polyhedra

abstract: Let $f \colon \mathbb{R}^n \rightarrow \mathbb{R}$ be a polynomial and $\mathcal{Z}(f)$ its zero set. In this paper, in terms of the so-called Newton polyhedron of $f,$ we present a necessary criterion and a sufficient condition for the compactness of $\mathcal{Z}(f).$ From this we derive necessary and sufficient criteria for the stable compactness of $\mathcal{Z}(f).$


title: The ALAMO approach to machine learning

abstract: ALAMO is a computational methodology for leaning algebraic functions from data. Given a data set, the approach begins by building a low-complexity, linear model composed of explicit non-linear transformations of the independent variables. Linear combinations of these non-linear transformations allow a linear model to better approximate complex behavior observed in real processes. The model is refined, as additional data are obtained in an adaptive fashion through error maximization sampling using derivative-free optimization. Models built using ALAMO can enforce constraints on the response variables to incorporate first-principles knowledge. The ability of ALAMO to generate simple and accurate models for a number of reaction problems is demonstrated. The error maximization sampling is compared with Latin hypercube designs to demonstrate its sampling efficiency. ALAMO's constrained regression methodology is used to further refine concentration models, resulting in models that perform better on validation data and satisfy upper and lower bounds placed on model outputs.


title: Collision dynamics of two-dimensional non-Abelian vortices

abstract: We study computationally the collision dynamics of vortices in a two-dimensional spin-2 Bose-Einstein condensate. In contrast to Abelian vortex pairs, which annihilate or pass through each other, we observe non-Abelian vortex pairs to undergo rungihilation - an event that converts the colliding vortices into a rung vortex. The resulting rung defect subsequently decays to another pair of non-Abelian vortices of different type, accompanied by a magnetization reversal.


title: Optimized perturbation theory applied to the study of the thermodynamics and BEC-BCS crossover in the three-color Nambu--Jona-Lasinio model

abstract: The Nambu--Jona-Lasinio model with two flavors, three colors and diquark interactions is analyzed in the context of optimized perturbation theory (OPT). Corrections to the thermodynamical potential that go beyond the large-$N_c$ (LN) approximation are taken into account, and the region of the phase diagram corresponding to intermediate chemical potentials and very low temperatures is explored. The simultaneous presence of both the quark-antiquark and diquark condensates can cause the system to behave as a fluid composed of a Bose-Einstein condensate (BEC) or a color superconductor one, in the form of a Bardeen-Cooper-Schrieffer (BCS) superfluid. The BEC-BCS crossover is then studied in the nonperturbative OPT scheme. The results obtained in the context of the OPT method are then contrasted with those obtained in the LN approximation. We show that there are values for the coupling constants related to quark-quark and quark-antiquark interactions where the corrections beyond LN brought by the OPT method can influence the behavior of the diquark condensate and the effective quark mass as a function of the baryon chemical potential. These changes in the behavior of the phase structure of the model modify the location of the critical point related to the phase structure as a whole of the model. Also, when we impose the color neutrality condition, our results show that the nature of the phase transition can change as well, shifting the ratio of the quark-antiquark and quark-quark interactions to higher values in the OPT case as compared to the LN approximation.


title: The Jacobian conjecture and injectivity conditions

abstract: One of the aims of this article is to provide a class of polynomial mappings for which the Jacobian conjecture is true. Also, we state and prove several global univalence theorems and present a couple of applications of them.


title: Network-based identification of disease genes in expression data: the GeneSurrounder method

abstract: The advent of high--throughput transcription profiling technologies has enabled identification of genes and pathways associated with disease, providing new avenues for precision medicine. A key challenge is to analyze this data in the context of the regulatory networks and pathways that control cellular processes, while still obtaining insights that can be used to design new diagnostic and therapeutic interventions. While classical differential expression analysis provides specific and hence targetable gene-level insights, it does not include any systems-level information. On the other hand, pathway analyses integrate systems-level information with expression data, but are often limited in their ability to indicate specific molecular targets. We introduce GeneSurrounder, an analysis method that takes into account the complex structure of interaction networks to identify specific genes that disrupt pathway activity in a disease-specific manner. GeneSurrounder integrates transcriptomic data and pathway network information in a novel two-step procedure to detect genes that (i) appear to influence the expression of other genes local to it in the network and (ii) are part of a subnetwork of differentially expressed genes. Combined, this evidence can be used to pinpoint specific genes that have a mechanistic role in the phenotype of interest. Applying GeneSurrounder to three distinct ovarian cancer studies using a global KEGG network, we show that our method is able to identify biologically relevant genes and genes missed by single-gene association tests, integrate pathway and expression data, and yield more consistent results across multiple studies of the same phenotype than competing methods.

categories: q-bio.QM q-bio.GN q-bio.MN stat.AP stat.CO


title: Saving Critical Nodes with Firefighters is FPT

abstract: We consider the problem of firefighting to save a critical subset of nodes. The firefighting game is a turn-based game played on a graph, where the fire spreads to vertices in a breadth-first manner from a source, and firefighters can be placed on yet unburnt vertices on alternate rounds to block the fire. In this work, we consider the problem of saving a critical subset of nodes from catching fire, given a total budget on the number of firefighters. We show that the problem is para-NP-hard when parameterized by the size of the critical set. We also show that it is fixed-parameter tractable on general graphs when parameterized by the number of firefighters. We also demonstrate improved running times on trees and establish that the problem is unlikely to admit a polynomial kernelization (even when restricted to trees). Our work is the first to exploit the connection between the firefighting problem and the notions of important separators and tight separator sequences. Finally, we consider the spreading model of the firefighting game, a closely related problem, and show that the problem of saving a critical set parameterized by the number of firefighters is W[2]-hard, which contrasts our FPT result for the non-spreading model.


title: Sequential Dynamic Decision Making with Deep Neural Nets on a Test-Time Budget

abstract: Deep neural network (DNN) based approaches hold significant potential for reinforcement learning (RL) and have already shown remarkable gains over state-of-art methods in a number of applications. The effectiveness of DNN methods can be attributed to leveraging the abundance of supervised data to learn value functions, Q-functions, and policy function approximations without the need for feature engineering. Nevertheless, the deployment of DNN-based predictors with very deep architectures can pose an issue due to computational and other resource constraints at test-time in a number of applications. We propose a novel approach for reducing the average latency by learning a computationally efficient gating function that is capable of recognizing states in a sequential decision process for which policy prescriptions of a shallow network suffices and deeper layers of the DNN have little marginal utility. The overall system is adaptive in that it dynamically switches control actions based on state-estimates in order to reduce average latency without sacrificing terminal performance. We experiment with a number of alternative loss-functions to train gating functions and shallow policies and show that in a number of applications a speed-up of up to almost 5X can be obtained with little loss in performance.


title: A combinatorial proof of a formula of Biane and Chapuy

abstract: Let $G$ be a simple strongly connected weighted directed graph. Let $\mathcal{G}$ denote the spanning tree graph of $G$. That is, the vertices of $\mathcal{G}$ consist of the directed rooted spanning trees on $G$, and the edges of $\mathcal{G}$ consist of pairs of trees $(t_i, t_j)$ such that $t_j$ can be obtained from $t_i$ by adding the edge from the root of $t_i$ to the root of $t_j$ and deleting the outgoing edge from the root of $t_j$. A formula for the ratio of the sum of the weights of the directed rooted spanning trees on $\mathcal{G}$ to the sum of the weights of the directed rooted spanning trees on $G$ was recently given by Biane and Chapuy. We provide an alternative proof of this formula, which is both simple and combinatorial. The proof involves working with the stochastic zeta function of an irreducible Markov chain. By generalizing the stochastic zeta function we also recover the general result of Biane and Chapuy which gives a formula for the determinant of the Schr\"odinger matrix on $\mathcal{G}$ corresponding to a given Schr\"odinger matrix on $G$, in terms of the minors of the latter matrix.


title: Auxiliary-cavity-assisted ground-state cooling of optically levitated nanosphere in the unresolved-sideband regime

abstract: We theoretically analyse the ground-state cooling of optically levitated nanosphere in unresolved- sideband regime by introducing a coupled high-quality-factor cavity. On account of the quantum interference stemming from the presence of the coupled cavity, the spectral density of the optical force exerting on the nanosphere gets changed and then the symmetry between the heating and the cooling processes is broken. Through adjusting the detuning of strong-dissipative cavity mode, one obtains an enhanced net cooling rate for the nanosphere. It is illustrated that the ground state cooling can be realized in the unresolved sideband regime even if the effective optomechanical coupling is weaker than the frequency of the nanosphere, which can be understood by the picture that the effective interplay of the nanosphere and the auxiliary cavity mode brings the system back to an effective resolved regime. Besides, the coupled cavity refines the dynamical stability of the system.


title: Galactic Supernova Remnant Candidates Discovered by THOR

abstract: There is a considerable deficiency in the number of known supernova remnants (SNRs) in the Galaxy compared to that expected. Searches for extended low-surface brightness radio sources may find new Galactic SNRs, but confusion with the much larger population of HII regions makes identifying such features challenging. SNRs can, however, be separated from HII regions using their significantly lower mid-infrared (MIR) to radio continuum intensity ratios. We use the combination of high-resolution 1-2 GHz continuum data from The HI, OH, Recombination line survey of the Milky Way (THOR) and lower-resolution VLA 1.4 GHz Galactic Plane Survey (VGPS) continuum data, together with MIR data from the Spitzer GLIMPSE, Spitzer MIPSGAL, and WISE surveys to identify SNR candidates. To ensure that the candidates are not being confused with HII regions, we exclude radio continuum sources from the WISE Catalog of Galactic HII Regions, which contains all known and candidate H II regions in the Galaxy. We locate 76 new Galactic SNR candidates in the THOR and VGPS combined survey area of 67.4deg>l>17.5deg, |b|<1.25deg and measure the radio flux density for 52 previously-known SNRs. The candidate SNRs have a similar spatial distribution to the known SNRs, although we note a large number of new candidates near l=30deg, the tangent point of the Scutum spiral arm. The candidates are on average smaller in angle compared to the known regions, 6.4'+/-4.7' versus 11.0'+/-7.8', and have lower integrated flux densities. If the 76 candidates are confirmed as true SNRs, for example using radio polarization measurements or by deriving radio spectral indices, this would more than double the number of known Galactic SNRs in the survey area. This large increase would still, however, leave a discrepancy between the known and expected SNR populations of about a factor of two.


title: Naturally Combined Shape-Color Moment Invariants under Affine Transformations

abstract: We proposed a kind of naturally combined shape-color affine moment invariants (SCAMI), which consider both shape and color affine transformations simultaneously in one single system. In the real scene, color and shape deformations always exist in images simultaneously. Simple shape invariants or color invariants can not be qualified for this situation. The conventional method is just to make a simple linear combination of the two factors. Meanwhile, the manual selection of weights is a complex issue. Our construction method is based on the multiple integration framework. The integral kernel is assigned as the continued product of the shape and color invariant cores. It is the first time to directly derive an invariant to dual affine transformations of shape and color. The manual selection of weights is no longer necessary, and both the shape and color transformations are extended to affine transformation group. With the various of invariant cores, a set of lower-order invariants are constructed and the completeness and independence are discussed detailedly. A set of SCAMIs, which called SCAMI24, are recommended, and the effectiveness and robustness have been evaluated on both synthetic and real datasets.


title: Adversarial Generation of Natural Language

abstract: Generative Adversarial Networks (GANs) have gathered a lot of attention from the computer vision community, yielding impressive results for image generation. Advances in the adversarial generation of natural language from noise however are not commensurate with the progress made in generating images, and still lag far behind likelihood based methods. In this paper, we take a step towards generating natural language with a GAN objective alone. We introduce a simple baseline that addresses the discrete output space problem without relying on gradient estimators and show that it is able to achieve state-of-the-art results on a Chinese poem generation dataset. We present quantitative results on generating sentences from context-free and probabilistic context-free grammars, and qualitative language modeling results. A conditional version is also described that can generate sequences conditioned on sentence characteristics.


title: Micro Fourier Transform Profilometry ($\mu$FTP): 3D shape measurement at 10,000 frames per second

abstract: Recent advances in imaging sensors and digital light projection technology have facilitated a rapid progress in 3D optical sensing, enabling 3D surfaces of complex-shaped objects to be captured with improved resolution and accuracy. However, due to the large number of projection patterns required for phase recovery and disambiguation, the maximum fame rates of current 3D shape measurement techniques are still limited to the range of hundreds of frames per second (fps). Here, we demonstrate a new 3D dynamic imaging technique, Micro Fourier Transform Profilometry ($\mu$FTP), which can capture 3D surfaces of transient events at up to 10,000 fps based on our newly developed high-speed fringe projection system. Compared with existing techniques, $\mu$FTP has the prominent advantage of recovering an accurate, unambiguous, and dense 3D point cloud with only two projected patterns. Furthermore, the phase information is encoded within a single high-frequency fringe image, thereby allowing motion-artifact-free reconstruction of transient events with temporal resolution of 50 microseconds. To show $\mu$FTP's broad utility, we use it to reconstruct 3D videos of 4 transient scenes: vibrating cantilevers, rotating fan blades, bullet fired from a toy gun, and balloon's explosion triggered by a flying dart, which were previously difficult or even unable to be captured with conventional approaches.


title: Grazing-sliding bifurcations creating infinitely many attractors

abstract: As the parameters of a piecewise-smooth system of ODEs are varied, a periodic orbit undergoes a bifurcation when it collides with a surface where the system is discontinuous. Under certain conditions this is a grazing-sliding bifurcation. Near grazing-sliding bifurcations structurally stable dynamics are captured by piecewise-linear continuous maps. Recently it was shown that maps of this class can have infinitely many asymptotically stable periodic solutions of a simple type. Here this result is used to show that at a grazing-sliding bifurcation an asymptotically stable periodic orbit can bifurcate into infinitely many asymptotically stable periodic orbits. For an abstract ODE system the periodic orbits are continued numerically revealing subsequent bifurcations at which they are destroyed.


title: Design of Deep Neural Networks as Add-on Blocks for Improving Impromptu Trajectory Tracking

abstract: This paper introduces deep neural networks (DNNs) as add-on blocks to baseline feedback control systems to enhance tracking performance of arbitrary desired trajectories. The DNNs are trained to adapt the reference signals to the feedback control loop. The goal is to achieve a unity map between the desired and the actual outputs. In previous work, the efficacy of this approach was demonstrated on quadrotors; on 30 unseen test trajectories, the proposed DNN approach achieved an average impromptu tracking error reduction of 43% as compared to the baseline feedback controller. Motivated by these results, this work aims to provide platform-independent design guidelines for the proposed DNN-enhanced control architecture. In particular, we provide specific guidelines for the DNN feature selection, derive conditions for when the proposed approach is effective, and show in which cases the training efficiency can be further increased.


title: Infinitary superperfect numbers

abstract: We shall show that $9$ is the only odd infinitary superperfect numbers.


title: Learning Graphs with Monotone Topology Properties and Multiple Connected Components

abstract: Recent papers have formulated the problem of learning graphs from data as an inverse covariance estimation with graph Laplacian constraints. While such problems are convex, existing methods cannot guarantee that solutions will have specific graph topology properties (e.g., being $k$-partite), which are desirable for some applications. In fact, the problem of learning a graph with given topology properties, e.g., finding the $k$-partite graph that best matches the data, is in general non-convex. In this paper, we develop novel theoretical results that provide performance guarantees for an approach to solve these problems. Our solution decomposes this problem into two sub-problems, for which efficient solutions are known. Specifically, a graph topology inference (GTI) step is employed to select a feasible graph topology, i.e., one having the desired property. Then, a graph weight estimation (GWE) step is performed by solving a generalized graph Laplacian estimation problem, where edges are constrained by the topology found in the GTI step. Our main result is a bound on the error of the GWE step as a function of the error in the GTI step. This error bound indicates that the GTI step should be solved using an algorithm that approximates the similarity matrix by another matrix whose entries have been thresholded to zero to have the desired type of graph topology. The GTI stage can leverage existing methods (e.g., state of the art approaches for graph coloring) which are typically based on minimizing the total weight of removed edges. Since the GWE stage is formulated as an inverse covariance estimation problem with linear constraints, it can be solved using existing convex optimization methods. We demonstrate that our two step approach can achieve good results for both synthetic and texture image data.


title: New Characterizations of Algebraic Regularity

abstract: In this paper, we give new characterizations of algebraic regularity by using differential forms and difference quotients.


title: Dimer-Mott and charge-ordered insulating states in the quasi-one-dimensional organic conductors $\delta'_{P}$- and $\delta'_{C}$-(BPDT-TTF)$_2$ICl$_2$

abstract: We investigated the electronic states of the quasi-one-dimensional organic conductors $\delta'_{P}$-(BPDT-TTF)$_2$ICl$_2$ and $\delta'_{C}$-(BPDT-TTF)$_2$ICl$_2$, both of which are insulating at room temperature owing to strong electron correlations. Through measurements of electrical resistivity, optical conductivity, and magnetic susceptibility, as well as band-structure calculations, we have revealed that the two materials possess completely different ground states, even though they have the same chemical composition and stacking configuration of the donor molecules. We have found that the $\delta_P'$-type salt with an effective half-filled band behaves as a dimer-Mott (DM) insulator and exhibits a nonmagnetic transition at 25 K, whereas the $\delta'_C$-type salt with a 3/4-filled band shows a charge ordering (CO) transition just above room temperature and becomes nonmagnetic below 20 K. The optical spectra of the $\delta_P'$-type salt are composed of two characteristic bands due to intra- and interdimer charge transfers, supporting the DM insulating behavior arising from the strong on-site Coulomb interaction. By contrast, in the $\delta'_C$-type salt, a single band characterizing the formation of CO arising from the off-site Coulomb interactions is observed. Upon lowering the temperature, the shape of the optical spectra in the $\delta_C'$-type salt becomes asymmetric and shifts to much lower frequencies, suggesting the emergence of domain-wall excitations with fractional charges expected in a one-dimensional CO chain. The temperature dependence of the magnetic susceptibility of the $\delta_P'$-type salt is well described by a 2D spin-1/2 Heisenberg AFM model on an anisotropic square lattice in the dimerized picture, while in the $\delta_C'$-type salt, it can be explained by a 2D spin-1/2 Heisenberg AFM model on an anisotropic honeycomb lattice formed in the CO state.


title: Quantum phase transitions of a generalized compass chain with staggered Dzyaloshinskii-Moriya interaction

abstract: We consider a class of one-dimensional compass models with staggered Dzyaloshinskii-Moriya exchange interactions in an external transverse magnetic field. Based on the exact solution derived from Jordan-Wigner approach, we study the excitation gap, energy spectra, spin correlations and critical properties at phase transitions. We explore mutual effects of the staggered Dzyaloshinskii-Moriya interaction and the magnetic field on the energy spectra and the ground-state phase diagram. Thermodynamic quantities including the entropy and the specific heat are discussed, and their universal scalings at low temperature are demonstrated.


title: Long-time asymptotic of stable Dawson-Watanabe processes in supercritical regimes

abstract: Let $W=(W_t)_{t\ge0}$ be a supercritical $\alpha$-stable Dawson-Watanabe process (with $\alpha\in(0,2]$) and $f$ be a test function in the domain of $-(-\Delta)^{\frac \alpha2}$ satisfying some integrability condition. Assuming the initial measure $W_0$ has a finite positive moment, we determine the long-time asymptotic of all orders of $W_t(f)$. In particular, it is shown that the local behavior of $W_t$ in long-time is completely determined by the asymptotic of the total mass $W_t(1)$, a global characteristic.


title: On indecomposable $\tau$-rigid modules over cluster-tilted algebras of tame type

abstract: For a given cluster-tilted algebra $A$ of tame type, it is proved that different indecomposable $\tau$-rigid $A$-modules have different dimension vectors. This is motivated by Fomin-Zelevinsky's denominator conjecture for cluster algebras. As an application, we establish a weak version of the denominator conjecture for cluster algebras of tame type. Namely, we show that different cluster variables have different denominators with respect to a given cluster for a cluster algebra of tame type. Our approach involves Iyama-Yoshino's construction of subfactors of triangulated categories. In particular,we obtain a description of the subfactors of cluster categories of tame type with respect to an indecomposable rigid object, which is of independent interest.


title: Planar arcs

abstract: Let $p$ denote the characteristic of ${\mathbb F}_q$, the finite field with $q$ elements. We prove that if $q$ is odd then an arc of size $q+2-t$ in the projective plane over ${\mathbb F}_q$, which is not contained in a conic, is contained in the intersection of two curves, which do not share a common component, and have degree at most $t+p^{\lfloor \log_p t \rfloor}$, provided a certain technical condition on $t$ is satisfied. This implies that if $q$ is odd then an arc of size at least $q-\sqrt{q}+\sqrt{q}/p+3$ is contained in a conic if $q$ is square and an arc of size at least $q-\sqrt{q}+\frac{7}{2}$ is contained in a conic if $q$ is prime. This is of particular interest in the case that $q$ is an odd square, since then there are examples of arcs, not contained in a conic, of size $q-\sqrt{q}+1$, and it has long been conjectured that if $q \neq 9$ is an odd square then any larger arc is contained in a conic. These bounds improve on previously known bounds when $q$ is an odd square and for primes less than $1783$. The previously known bounds, obtained by Segre \cite{Segre1967}, Hirschfeld and Korchm\'aros \cite{HK1996} \cite{HK1998}, and Voloch \cite{Voloch1990b} \cite{Voloch1991}, rely on results on the number of points on algebraic curves over finite fields, in particular the Hasse-Weil theorem and the St\"ohr-Voloch theorem, and are based on Segre's idea to associate an algebraic curve in the dual plane containing the tangents to an arc. In this paper we do not rely on such theorems, but use a new approach starting from a scaled coordinate-free version of Segre's lemma of tangents. Arcs in the projective plane over ${\mathbb F}_q$ of size $q$ and $q+1$, $q$ odd, were classified by Segre \cite{Segre1955b} in 1955. In this article, we complete the classification of arcs of size $q-1$ and $q-2$.


title: Spectral Norm Regularization for Improving the Generalizability of Deep Learning

abstract: We investigate the generalizability of deep learning based on the sensitivity to input perturbation. We hypothesize that the high sensitivity to the perturbation of data degrades the performance on it. To reduce the sensitivity to perturbation, we propose a simple and effective regularization method, referred to as spectral norm regularization, which penalizes the high spectral norm of weight matrices in neural networks. We provide supportive evidence for the abovementioned hypothesis by experimentally confirming that the models trained using spectral norm regularization exhibit better generalizability than other baseline methods.


title: Complex Quadrature Spatial Modulation

abstract: In this paper, we propose a spatial modulation (SM) scheme referred to as complex quadrature spatial modulation (CQSM). In contrast to quadrature spatial modulation (QSM), CQSM transmits two complex signal constellation symbols on the real and quadrature spatial dimensions at each channel use, increasing the spectral efficiency. To this end, signal symbols transmitted at any given time instant are drawn from two different modulation sets. The first modulation set is any of the conventional QAM/PSK alphabets, while the second is a rotated version of it. The optimal rotation angle is obtained through simulations for several modulation schemes and analytically proven for the case of QPSK, where both results coincide. Simulation results showed that CQSM outperformed QSM and generalized SM (GSM) by approximately 5 and 4.5 dB, respectively, for the same transmission rate. Its performance was similar to that of QSM; however, it achieved higher transmission rates. It was additionally shown numerically and analytically that CQSM outperformed QSM for a relatively large number of transmit antennas.


title: Bridge Simulation and Metric Estimation on Landmark Manifolds

abstract: We present an inference algorithm and connected Monte Carlo based estimation procedures for metric estimation from landmark configurations distributed according to the transition distribution of a Riemannian Brownian motion arising from the Large Deformation Diffeomorphic Metric Mapping (LDDMM) metric. The distribution possesses properties similar to the regular Euclidean normal distribution but its transition density is governed by a high-dimensional PDE with no closed-form solution in the nonlinear case. We show how the density can be numerically approximated by Monte Carlo sampling of conditioned Brownian bridges, and we use this to estimate parameters of the LDDMM kernel and thus the metric structure by maximum likelihood.


title: A Novel Delay-time Enlarged 3-D Gravitational Wave Detection System

abstract: A novel delay-time enlarged 3-dimensional gravitational wave (GW) detection system is presented. The operation principle is described. The basic specification requirements for all the critical components are analyzed. The whole system consists of three optical fibers along three axes, a narrow linewidth ultra-stable laser, an ultra-stable radio frequency (RF) source, three recirculating optical fiber loops, three phase monitoring/stabilizing units, three phase detectors, and a computer based data analysis unit. With the given specifications of the critical components, the whole system may achieve 10-22 phase sensitivity, and therefore can be used for the GW detection. This is the first time, to the best of our knowledge, one has implemented an optical fiber as the delay-time enlarged transmission medium for a self-delayed interferometer and the first 3-dimensional self-delayed interferometer. Since optical fiber is used as the transmission medium and the recirculating optical fiber loop for increasing the phase sensitivity, the whole system can be built both compactly and cost efficiently, allowing a 3-dimensional self-delayed interferometer for GW detection to be created.


title: Real-Time Robot Localization, Vision, and Speech Recognition on Nvidia Jetson TX1

abstract: Robotics systems are complex, often consisted of basic services including SLAM for localization and mapping, Convolution Neural Networks for scene understanding, and Speech Recognition for user interaction, etc. Meanwhile, robots are mobile and usually have tight energy constraints, integrating these services onto an embedded platform with around 10 W of power consumption is critical to the proliferation of mobile robots. In this paper, we present a case study on integrating real-time localization, vision, and speech recognition services on a mobile SoC, Nvidia Jetson TX1, within about 10 W of power envelope. In addition, we explore whether offloading some of the services to cloud platform can lead to further energy efficiency while meeting the real-time requirements


title: Vertical Distribution and Kinematics of Protoplanetary Nebulae in the Galaxy

abstract: The catalogue of protoplanetary nebulae by Vickers et al. has been supplemented with the line-of-sight velocities and proper motions of their central stars from the literature. Based on an exponential density distribution, we have estimated the vertical scale height from objects with an age less than 3 Gyr belonging to the Galactic thin disk (luminosities higher than 5000 Lo) to be h=146+/-15 pc, while from a sample of older objects (luminosities lower than 5000 Lo) it is h=568+/-42 pc. We have produced a list of 147 nebulae in which there are only the line-of-sight velocities for 55 nebulae, only the proper motions for 25 nebulae, and both line-of-sight velocities and proper motions for 67 nebulae. Based on this kinematic sample, we have estimated the Galactic rotation parameters and the residual velocity dispersions of protoplanetary nebulae as a function of their age. We have established that there is a good correlation between the kinematic properties of nebulae and their separation in luminosity proposed by Vickers. Most of the nebulae are shown to be involved in the Galactic rotation, with the circular rotation velocity at the solar distance being V_0=227+/-23 km/s. The following principal semiaxes of the residual velocity dispersion ellipsoid have been found: (sigma1, sigma2, sigma3) = (47, 41, 29) km/s from a sample of young protoplanetary nebulae (with luminosities higher than 5000 Lo), (sigma1, sigma2, sigma3) = (50, 38, 28) km/s from a sample of older protoplanetary nebulae (with luminosities of 4000 Lo or 3500 Lo), and (sigma1, sigma_2, sigma3) = (91, 49, 36) km/s from a sample of halo nebulae (with luminosities of 1700 Lo).


title: A remark on the paper "Properties of intersecting families of ordered sets" by O. Einstein

abstract: O. Einstein (2008) proved Bollob\'as-type theorems on intersecting families of ordered sets of finite sets and subspaces. Unfortunately, we report that the proof of a theorem on ordered sets of subspaces had a mistake. We prove two weaker variants.


title: Distributed Simulation Platform for Autonomous Driving

abstract: Autonomous vehicle safety and reliability are the paramount requirements when developing autonomous vehicles. These requirements are guaranteed by massive functional and performance tests. Conducting these tests on real vehicles is extremely expensive and time consuming, and thus it is imperative to develop a simulation platform to perform these tasks. For simulation, we can utilize the Robot Operating System (ROS) for data playback to test newly developed algorithms. However, due to the massive amount of simulation data, performing simulation on single machines is not practical. Hence, a high-performance distributed simulation platform is a critical piece in autonomous driving development. In this paper we present our experiences of building a production distributed autonomous driving simulation platform. This platform is built upon Spark distributed framework, for distributed computing management, and ROS, for data playback simulations.


title: Optimal Selection of Small-Scale Hybrid PV-battery Systems to Maximize Economic Benefit Based on Temporal Load Data

abstract: Continued advances in PV and battery energy storage technologies have made hybrid PV-battery systems an attractive prospect for residential energy consumers. However the process to select an appropriate system is complicated by the relatively high cost of batteries, a multitude of available retail electricity plans and the removal of PV installation incentive schemes. In this paper, an optimization strategy based on an individual customer's temporal load profile is established to maximize electricity cost savings through optimal selection of PV-battery system size, orientation and retail electricity plan. Quantum-behaved particle swarm optimization is applied as the underlying algorithm given its well-suited application to problems involving hybrid energy system specification. The optimization strategy is tested using real-world residential consumption data, current system pricing and available retail electricity plans to establish the efficacy of a hybrid PV-battery solution.


title: Geodesic description of Heavy-Light Virasoro blocks

abstract: We continue to investigate the dual description of the Virasoro conformal blocks arising in the framework of the classical limit of the AdS$_3$/CFT$_2$ correspondence. To give such an interpretation in previous studies, certain restrictions were necessary. Our goal here is to consider more general situation available through the worldline approximation to the dual AdS gravity. Namely, we are interested in computing the spherical conformal blocks without the previously imposed restrictions on the conformal dimensions of the internal channels. The duality is realised as an equality of the so-called heavy-light limit of the n-point conformal block and the action of n-2 particles propagating in some AdS-like background with either a conical singularity or a BTZ black hole. We describe a procedure that allows relaxing the constraint on the intermediate channels. To obtain an explicit expression for the conformal block on the CFT side, we use a recently proposed recursion procedure and find full agreement between the results of the boundary and bulk computations.


title: Note About Integrability of Non-Relativistic String

abstract: We define non-relativistic string in the background with non-trivial metric. Then we analyze its properties when we focus on integrability of this string in AdS(5)xS(5) background.


title: Generating nanoscale and atomically-sharp p-n junctions in graphene via monolayer-vacancy-island engineering of Cu surface

abstract: Creation of high quality p-n junctions in graphene monolayer is vital in studying many exotic phenomena of massless Dirac fermions. However, even with the fast progress of graphene technology for more than ten years, it remains conspicuously difficult to generate nanoscale and atomically-sharp p-n junctions in graphene. Here, we employ monolayer-vacancy-island engineering of Cu surface to realize nanoscale p-n junctions with atomically-sharp boundaries in graphene monolayer. The variation of graphene-Cu separations around the edges of the Cu monolayer-vacancy-island affects the positions of the Dirac point in graphene, which consequently lead to atomically-sharp p-n junctions with the height as high as 660 meV in graphene. The generated sharp p-n junctions isolate the graphene above the Cu monolayer-vacancy-island as nanoscale graphene quantum dots (GQDs) in a continuous graphene sheet. Massless Dirac fermions are confined by the p-n junctions for a finite time to form quasi-bound states in the GQDs. By using scanning tunneling microscopy, we observe resonances of quasi-bound states in the GQDs with various sizes and directly visualize effects of geometries of the GQDs on the quantum interference patterns of the quasi-bound states, which allow us to test the quantum electron optics based on graphene in atomic scale.


title: The effects of filtering on the purity of heralded single photons from parametric sources

abstract: Optical quantum protocols are reliant on the production of highly pure single photons. However, most parametric heralded single photon sources possess spectral correlations, limiting the purity of the produced photon. The most common method for restoring the purity is with narrowband spectral filtering, which comes at the cost of reducing the rate of heralding detection. Here, we characterize this trade-off analytically for a large class of parametric sources. It is possible to achieve up to 20% heralding success probabilities with 90% heralded photon purities.


title: Quantum memory and non-demolition measurement of single phonon state with nitrogen-vacancy centers ensemble

abstract: In diamond, the mechanical vibration induced strain can lead to interaction between the mechanical mode and the nitrogen-vecancy (NV) centers. In this work, we propose to utilize the strain induced coupling for the quantum non-demolition (QND) single phonon measurement and memory in diamond. The single phonon in a diamond mechanical resonator can be perfectly absorbed and emitted by the NV centers ensemble (NVE) with adiabatically tuning the microwave driving. An optical laser drives the NVE to the excited states, which have much larger coupling strength to the mechanical mode. By adiabatically eliminating the excited states under large detuning limit, the effective coupling between the mechanical mode and the NVE can be used for QND measurement of the single phonon state. Under realistic experimental conditions, we numerically simulate the scheme. It is found that the fidelity of the absorbing and emitting process can reach a much high value. The overlap between the input and the output phonon shapes can reach $98.57\%$.


title: Intersections of $\omega$ classes in $\overline{\mathcal{M}}_{g,n}$

abstract: We provide a graph formula which describes an arbitrary monomial in {\omega} classes (also referred to as stable {\psi} classes) in terms of a simple family of dual graphs (pinwheel graphs) with edges decorated by rational functions in {\psi} classes. We deduce some numerical consequences and in particular a combinatorial formula expressing top intersections of \k{appa} classes on Mg in terms of top intersections of {\psi} classes.


title: Superconducting cosmic strings as sources of cosmological fast radio bursts

abstract: In this paper we calculate the radio burst signals from three kinds of structures of superconducting cosmic strings. By taking into account the observational factors including scattering and relativistic effects, we derive the event rate of radio bursts as a function of redshift with the theoretical parameters $G\mu$ and $\mathcal{I}$ of superconducting strings. Our analyses show that cusps and kinks may have noticeable contributions to the event rate and in most cases cusps would dominate the contribution, while the kink-kink collisions tend to have secondary effects. By fitting theoretical predictions with the normalized data of fast radio bursts, we for the first time constrain the parameter space of superconducting strings and report that the parameter space of $G\mu \sim [10^{-14}, 10^{-12}]$ and $\mathcal{I} \sim [10^{-1}, 10^{2}] ~ \rm{GeV}$ fit the observation well although the statistic significance is low due to the lack of observational data. Moreover, we derive two types of best fittings, with one being dominated by cusps with a redshift $z = 1.3$, and the other dominated by kinks at the range of the maximal event rate.


title: Nearly Commuting Matrices

abstract: We prove that the algebraic set of pairs of matrices with a diagonal commutator over a field of positive prime characteristic, its irreducible components, and their intersection are $F$-pure when the size of matrices is equal to 3. Furthermore, we show that this algebraic set is reduced and the intersection of its irreducible components is irreducible in any characteristic for pairs of matrices of any size. In addition, we discuss various conjectures on the singularities of these algebraic sets and the system of parameters on the corresponding coordinate rings.


title: FALKON: An Optimal Large Scale Kernel Method

abstract: Kernel methods provide a principled way to perform non linear, nonparametric learning. They rely on solid functional analytic foundations and enjoy optimal statistical properties. However, at least in their basic form, they have limited applicability in large scale scenarios because of stringent computational requirements in terms of time and especially memory. In this paper, we take a substantial step in scaling up kernel methods, proposing FALKON, a novel algorithm that allows to efficiently process millions of points. FALKON is derived combining several algorithmic principles, namely stochastic subsampling, iterative solvers and preconditioning. Our theoretical analysis shows that optimal statistical accuracy is achieved requiring essentially $O(n)$ memory and $O(n\sqrt{n})$ time. An extensive experimental analysis on large scale datasets shows that, even with a single machine, FALKON outperforms previous state of the art solutions, which exploit parallel/distributed architectures.


title: Double $J$-function of stable quasimap invariants for complete intersection in Grassmannian

abstract: Using localization methods on the moduli space of stable quasimaps to Grassmannian, we give explicit formulas of $J$-function and double $J$-function of stable quasimaps for complete intersection in Grassmannian.


title: Effective Target Aware Visual Navigation for UAVs

abstract: In this paper we propose an effective vision-based navigation method that allows a multirotor vehicle to simultaneously reach a desired goal pose in the environment while constantly facing a target object or landmark. Standard techniques such as Position-Based Visual Servoing (PBVS) and Image-Based Visual Servoing (IBVS) in some cases (e.g., while the multirotor is performing fast maneuvers) do not allow to constantly maintain the line of sight with a target of interest. Instead, we compute the optimal trajectory by solving a non-linear optimization problem that minimizes the target re-projection error while meeting the UAV's dynamic constraints. The desired trajectory is then tracked by means of a real-time Non-linear Model Predictive Controller (NMPC): this implicitly allows the multirotor to satisfy both the required constraints. We successfully evaluate the proposed approach in many real and simulated experiments, making an exhaustive comparison with a standard approach.


title: Taking into Account the Centre-of-Mass Correlations in the Cross Sections for Elastic Scattering of Intermediate Energy Protons on the Exotic Nuclei $^6$He and $^8$He

abstract: We calculate the differential cross sections for proton elastic scattering on the exotic halo nuclei $^6$He and $^8$He at energies around $\sim$0.7 GeV at the momentum transfers squared up to 0.30 (GeV/$c$)$^2$ and investigate the influence of the nucleon centre-of-mass correlations on the calculated cross sections. In particular, we show that the approximate account of the centre-of-mass correlations used previously considerably overestimates the cross sections at high values of the momentum transfer.


title: Analysis of the Effect of Dependency Information on Predicate-Argument Structure Analysis and Zero Anaphora Resolution

abstract: This paper investigates and analyzes the effect of dependency information on predicate-argument structure analysis (PASA) and zero anaphora resolution (ZAR) for Japanese, and shows that a straightforward approach of PASA and ZAR works effectively even if dependency information was not available. We constructed an analyzer that directly predicts relationships of predicates and arguments with their semantic roles from a POS-tagged corpus. The features of the system are designed to compensate for the absence of syntactic information by using features used in dependency parsing as a reference. We also constructed analyzers that use the oracle dependency and the real dependency parsing results, and compared with the system that does not use any syntactic information to verify that the improvement provided by dependencies is not crucial.


title: A Reduction for the Distinct Distances Problem in ${\mathbb R}^d$

abstract: We introduce a reduction from the distinct distances problem in ${\mathbb R}^d$ to an incidence problem with $(d-1)$-flats in ${\mathbb R}^{2d-1}$. Deriving the conjectured bound for this incidence problem (the bound predicted by the polynomial partitioning technique) would lead to a tight bound for the distinct distances problem in ${\mathbb R}^d$. The reduction provides a large amount of information about the $(d-1)$-flats, and a framework for deriving more restrictions that these satisfy. Our reduction is based on introducing a Lie group that is a double cover of the special Euclidean group. This group can be seen as a variant of the Spin group, and a large part of our analysis involves studying its properties.


title: Random matrix theory for low-frequency sound propagation in the ocean: a spectral statistics test

abstract: Problem of long-range sound propagation in the randomly-inhomogeneous deep ocean is considered. We examine a novel approach for modeling of wave propagation, developed by K.C.Hegewisch and S.Tomsovic. This approach relies on construction of a wavefield propagator using the random matrix theory (RMT). We study the ability of the RMT-based propagator to reproduce properties of the propagator corresponding to direct numerical solution of the parabolic equation. It is shown that mode coupling described by the RMT-based propagator is basically consistent with the direct Monte-Carlo simulation. The agreement is worsened only for relatively short distances, when long-lasting cross-mode correlations are significant. It is shown that the RMT-based propagator with properly chosen range step can reproduce some coherent features in spectral statistics.

categories: nlin.CD physics.ao-ph physics.class-ph physics.comp-ph


title: Magic-wavelength Faraday probe measures spin continuously and without light shifts

abstract: We describe a dispersive Faraday optical probe of atomic spin which performs a weak measurement of spin projection of a quantum gas continuously for more than one second. To date focusing bright far-off-resonance probes onto quantum gases has proved invasive, due to strong scalar and vector light shifts exerting dipole and Stern-Gerlach forces. We show that tuning the probe near the magic-zero wavelength at 790 nm between the fine-structure doublet of $^{87}$Rb cancels the scalar light shift, and careful control of polarization eliminates the vector light shift. Faraday rotations due to each fine-structure line reinforce at this wavelength, enhancing the signal-to-noise ratio for a fixed rate of probe-induced decoherence. Using this minimally-invasive spin probe we perform microscale atomic magnetometry at high temporal resolution. Spectrogram analysis of the Larmor precession signal of a single spinor Bose-Einstein condensate measures a time-varying magnetic field strength with 1 {\mu}G accuracy every 5 ms; or equivalently makes > 200 successive measurements each at $10\,\mathrm{pT/\sqrt{Hz}}$ sensitivity.


title: Skyrmion knots in frustrated magnets

abstract: A magnetic Skyrmion is a stable two-dimensional nanoparticle describing a localized winding of the magnetization in certain magnetic materials. Skyrmions are the subject of intense experimental and theoretical investigation and have potential technological spintronic applications. Here we show that numerical computations of frustrated magnets predict that Skyrmions can be tied into knots to form new stable three-dimensional nanoparticles. These stable equilibria of twisted loops of Skyrmion strings have an integer-valued topological charge, known as the Hopf charge, that counts the number of particles. Rings are formed for low values of this charge, but for higher values it is energetically favourable to form links and then knots. This computational study provides a novel impetus for future experimental work on these nanoknots and an exploration of the potential technological applications of three-dimensional nanoparticles encoding knotted magnetization.