title: From Reversible Programs to Univalent Universes and Back

abstract: We establish a close connection between a reversible programming language based on type isomorphisms and a formally presented univalent universe. The correspondence relates combinators witnessing type isomorphisms in the programming language to paths in the univalent universe; and combinator optimizations in the programming language to 2-paths in the univalent universe. The result suggests a simple computational interpretation of paths and of univalence in terms of familiar programming constructs whenever the universe in question is computable.


title: Tips and Tricks for Visual Question Answering: Learnings from the 2017 Challenge

abstract: This paper presents a state-of-the-art model for visual question answering (VQA), which won the first place in the 2017 VQA Challenge. VQA is a task of significant importance for research in artificial intelligence, given its multimodal nature, clear evaluation protocol, and potential real-world applications. The performance of deep neural networks for VQA is very dependent on choices of architectures and hyperparameters. To help further research in the area, we describe in detail our high-performing, though relatively simple model. Through a massive exploration of architectures and hyperparameters representing more than 3,000 GPU-hours, we identified tips and tricks that lead to its success, namely: sigmoid outputs, soft training targets, image features from bottom-up attention, gated tanh activations, output embeddings initialized using GloVe and Google Images, large mini-batches, and smart shuffling of training data. We provide a detailed analysis of their impact on performance to assist others in making an appropriate selection.


title: Stochastic representation and pathwise properties of fractional Cox-Ingersoll-Ross process

abstract: We consider the fractional Cox-Ingersoll-Ross process satisfying the stochastic differential equation (SDE) $dX_t = aX_t\,dt + \sigma \sqrt{X_t}\,dB^H_t$ driven by a fractional Brownian motion (fBm) with Hurst parameter exceeding $\frac{2}{3}$. The integral $\int_0^t\sqrt{X_s}dB^H_s$ is considered as a pathwise integral and is equal to the limit of Riemann-Stieltjes integral sums. It is shown that the fractional Cox-Ingersoll-Ross process is a square of the fractional Ornstein-Uhlenbeck process until the first zero hitting. Based on that, we consider the square of the fractional Ornstein-Uhlenbeck process with an arbitrary Hurst index and prove that until its first zero hitting it satisfies the specified SDE if the integral $\int_0^t\sqrt{X_s}\,dB^H_s$ is defined as a pathwise Stratonovich integral. Therefore, the question about the first zero hitting time of the Cox-Ingersoll-Ross process, which matches the first zero hitting moment of the fractional Ornstein-Uhlenbeck process, is natural. Since the latter is a Gaussian process, it is proved by the estimates for distributions of Gaussian processes that for $a<0$ the probability of hitting zero in finite time is equal to 1, and in case of $a>0$ it is positive but less than 1. The upper bound for this probability is given.


title: Fano compactifications of contractible affine 3-folds with trivial log canonical divisors

abstract: T.Kishimoto raised the problem to classify all compactifications of contractible affine 3-folds into smooth Fano 3-folds with second Betti number two and classified such compactifications whose log canonical divisors are not nef. In this article, we show that there are 14 deformation equivalence classes of smooth Fano 3-folds which can admit structures of such compactifications whose log canonical divisors are trivial. We also construct an example of such compactifications with trivial log canonical divisors for each of all the 14 classes.


title: Individual, Model-Independent Masses of the Closest Known Brown Dwarf Binary to the Sun

abstract: At a distance of 2~pc, our nearest brown dwarf neighbor, Luhman 16 AB, has been extensively studied since its discovery 3 years ago, yet its most fundamental parameter -- the masses of the individual dwarfs -- has not been constrained with precision. In this work we present the full astrometric orbit and barycentric motion of Luhman 16 AB and the first precision measurements of the individual component masses. We draw upon archival observations spanning 31 years from the European Southern Observatory (ESO) Schmidt Telescope, the Deep Near-Infrared Survey of the Southern Sky (DENIS), public FORS2 data on the Very Large Telescope (VLT), and new astrometry from the Gemini South Multiconjugate Adaptive Optics System (GeMS). Finally, we include three radial velocity measurements of the two components from VLT/CRIRES, spanning one year. With this new data sampling a full period of the orbit, we use a Markov Chain Monte Carlo algorithm to fit a 16-parameter model incorporating mutual orbit and barycentric motion parameters and constrain the individual masses to be~$27.9^{+1.1}_{-1.0}$~$M_{J}$ for the T dwarf and~$34.2^{+1.3}_{-1.1}$~$M_{J}$ for the L dwarf. Our measurements of Luhman 16 AB's mass ratio and barycentric motion parameters are consistent with previous estimates in the literature utilizing recent astrometry only. The GeMS-derived measurements of the Luhman 16 AB separation in 2014-2015 agree closely with Hubble Space Telescope (HST) measurements made during the same epoch Bedin et al. 2017, and the derived mutual orbit agrees with those measurements to within the HST uncertainties of $0.3 - 0.4$ milliarcseconds.


title: Order Flows and Limit Order Book Resiliency on the Meso-Scale

abstract: We investigate the behavior of limit order books on the meso-scale motivated by order execution scheduling algorithms. To do so we carry out empirical analysis of the order flows from market and limit order submissions, aggregated from tick-by-tick data via volume-based bucketing, as well as various LOB depth and shape metrics. We document a nonlinear relationship between trade imbalance and price change, which however can be converted into a linear link by considering a weighted average of market and limit order flows. We also document a hockey-stick dependence between trade imbalance and one-sided limit order flows, highlighting numerous asymmetric effects between the active and passive sides of the LOB. To address the phenomenological features of price formation, book resilience, and scarce liquidity we apply a variety of statistical models to test for predictive power of different predictors. We show that on the meso-scale the limit order flows (as well as the relative addition/cancellation rates) carry the most predictive power. Another finding is that the deeper LOB shape, rather than just the book imbalance, is more relevant on this timescale. The empirical results are based on analysis of six large-tick assets from Nasdaq.


title: Sequential Dual Deep Learning with Shape and Texture Features for Sketch Recognition

abstract: Recognizing freehand sketches with high arbitrariness is greatly challenging. Most existing methods either ignore the geometric characteristics or treat sketches as handwritten characters with fixed structural ordering. Consequently, they can hardly yield high recognition performance even though sophisticated learning techniques are employed. In this paper, we propose a sequential deep learning strategy that combines both shape and texture features. A coded shape descriptor is exploited to characterize the geometry of sketch strokes with high flexibility, while the outputs of constitutional neural networks (CNN) are taken as the abstract texture feature. We develop dual deep networks with memorable gated recurrent units (GRUs), and sequentially feed these two types of features into the dual networks, respectively. These dual networks enable the feature fusion by another gated recurrent unit (GRU), and thus accurately recognize sketches invariant to stroke ordering. The experiments on the TU-Berlin data set show that our method outperforms the average of human and state-of-the-art algorithms even when significant shape and appearance variations occur.


title: K\"ahler-Ricci flow of cusp singularities on quasi projective varieties

abstract: Let $\overline{M}$ be a compact complex manifold with smooth K\"ahler metric $\eta$, and let $D$ be a smooth divisor on $\overline{M}$. Let $M=\overline{M}\setminus D$ and let $\hat{\omega}$ be a Carlson-Griffiths type metric on $M$. We study complete solutions to K\"ahler-Ricci flow on $M$ which are comparable to $\hat{\omega}$, starting from a smooth initial metric $\omega_0=\eta +i\partial \bar{\partial} \phi_0$ where $\phi_0\in C^{\infty}(M)$. When $\omega_0\geq c \hat{\omega}$ on $M$ for some $c>0$ and $\phi_0$ has zero Lelong number, we construct a smooth solution $\omega(t)$ to K\"ahler-Ricci flow on $M\times [0, T_{[\omega_0 ]})$ where $T_{[\omega_0 ]}:= \sup \{ T: [\eta] +T (c_1(K_{\overline{M}}) + c_1(\mathcal{O}_D))\in \mathcal{K}_M \}$ so that $\omega(t)\geq (\frac{1}{n} - \frac{4\hat{K}t}{c} )\hat{\omega}$ for all $t\leq \frac{c}{4n\hat{K}}$ where $\hat{K}$ is a non-negative upper bound on the bisectional curvatures of $\hat{\omega}$ (see Theorem 1.2). In particular, we do not assume $\omega_0$ has bounded curvature. If $\omega_0$ has bounded curvature and is asymptotic to $\hat{\omega}$ in an appropriate sense, we construct a complete bounded curvature solution on $M\times [0, T_{[\omega_0 ]})$ (see Theorem 1.3). These generalize some of the results of Lott-Zhang in [15]. On the other hand if we only assume $\omega_0\geq c \eta$ on $M$ for some $c>0$ and $\phi_0$ is bounded on $M$, we construct a smooth solution to K\"ahler-Ricci on $M\times [0, T_{[\omega_0 ]})$ which is equivalent to $\hat{\omega}$ for all positive times. This includes as a special case when $\omega_0$ is smooth on $\overline{M}$ in which case the solution becomes instantaneously complete on $M$ under K\"ahler-Ricci flow (see Theorem 1.1).


title: Contact manifolds, Lagrangian Grassmannians and PDEs

abstract: In this paper we review a geometric approach to PDEs. We mainly focus on scalar PDEs in n independent variables and one dependent variable of order one and two, by insisting on the underlying (2n+1)-dimensional contact manifold and the so-called Lagrangian Grassmannian bundle over the latter. This work is based on a 30-hours Ph.D course given by two of the authors (GM and GM). As such, it was mainly designed as a quick introduction to the subject for graduate students. But also the more demanding reader will be gratified, thanks to the frequent references to current research topics and glimpses of higher-level mathematics, found mostly in the last sections.


title: Specializing trees and answer to a question of Williams

abstract: We show that if $cf(2^{\aleph_0})=\aleph_1,$ then any non-trivial $\aleph_1$-closed forcing notion of size $\leq 2^{\aleph_0}$ is forcing equivalent to $Add(\aleph_1, 1),$ the Cohen forcing for adding a new Cohen subset of $\omega_1.$ We also produce, relative to the existence of suitable large cardinals, a model of $ZFC$ in which $2^{\aleph_0}=\aleph_2$ and all $\aleph_1$-closed forcing notion of size $\leq 2^{\aleph_0}$ collapse $\aleph_2,$ and hence are forcing equivalent to $Add(\aleph_1, 1).$ These results answer a question of Scott Williams from 1978. We also extend a result of Todorcevic and Foreman-Magidor-Shelah by showing that it is consistent that every partial order which adds a new subset of $\aleph_2,$ collapses $\aleph_2$ or $\aleph_3.$


title: A time-spectral algorithm for fractional wave problems

abstract: This paper develops a high-accuracy algorithm for time fractional wave problems, which employs a spectral method in the temporal discretization and a finite element method in the spatial discretization. Moreover, stability and convergence of this algorithm are derived, and numerical experiments are performed, demonstrating the exponential decay in the temporal discretization error provided the solution is sufficiently smooth.


title: Deep Face Feature for Face Alignment

abstract: In this paper, we present a deep learning based image feature extraction method designed specifically for face images. To train the feature extraction model, we construct a large scale photo-realistic face image dataset with ground-truth correspondence between multi-view face images, which are synthesized from real photographs via an inverse rendering procedure. The deep face feature (DFF) is trained using correspondence between face images rendered from different views. Using the trained DFF model, we can extract a feature vector for each pixel of a face image, which distinguishes different facial regions and is shown to be more effective than general-purpose feature descriptors for face-related tasks such as matching and alignment. Based on the DFF, we develop a robust face alignment method, which iteratively updates landmarks, pose and 3D shape. Extensive experiments demonstrate that our method can achieve state-of-the-art results for face alignment under highly unconstrained face images.


title: Zero map between obstruction spaces: subvarieties versus cycles

abstract: For $Y \subset X$ a locally complete intersection of codimension p, Spencer Bloch [2] constructed the semi-regularity map $\pi: H^{1}(\mathcal{N}_{Y/X}) \to H^{p+1}(\Omega_{X/k}^{p-1})$. As an analogue, we construct a map $\tilde{\pi}: H^{1}(\mathcal{N}_{Y/X}) \to H^{p+1}(\Omega_{X/\mathbb{Q}}^{p-1})$, without assuming local complete intersections. While the semi-regularity map $\pi$ is expected to be injective, we show $\tilde{\pi}$ is a zero map. We use this zero map to interpret how to eliminate obstructions to deforming cycles, an idea by Mark Green and Phillip Griffiths in [9].


title: Latent Gaussian modeling and INLA: A review with focus on space-time applications

abstract: Bayesian hierarchical models with latent Gaussian layers have proven very flexible in capturing complex stochastic behavior and hierarchical structures in high-dimensional spatial and spatio-temporal data. Whereas simulation-based Bayesian inference through Markov Chain Monte Carlo may be hampered by slow convergence and numerical instabilities, the inferential framework of Integrated Nested Laplace Approximation (INLA) is capable to provide accurate and relatively fast analytical approximations to posterior quantities of interest. It heavily relies on the use of Gauss-Markov dependence structures to avoid the numerical bottleneck of high-dimensional nonsparse matrix computations. With a view towards space-time applications, we here review the principal theoretical concepts, model classes and inference tools within the INLA framework. Important elements to construct space-time models are certain spatial Mat\'ern-like Gauss-Markov random fields, obtained as approximate solutions to a stochastic partial differential equation. Efficient implementation of statistical inference tools for a large variety of models is available through the INLA package of the R software. To showcase the practical use of R-INLA and to illustrate its principal commands and syntax, a comprehensive simulation experiment is presented using simulated non Gaussian space-time count data with a first-order autoregressive dependence structure in time.


title: Finite-time Singularity Formation for Strong Solutions to the Boussinesq System

abstract: The global regularity problem for the Boussinesq system is a well known open problem in mathematical fluid dynamics. As a follow up to our work \cite{EJSI}, we give examples of finite-energy and Lipschitz continuous velocity field and density $(u_0,\rho_0)$ which are $C^\infty$-smooth away from the origin and belong to a natural local well-posedness class for the Boussinesq equation whose corresponding local solution becomes singular in finite time. That is, while the sup norm of the gradient of the velocity field and the density remain finite on the time interval $t\in [0,1)$, both quantities become infinite as $t\rightarrow 1$. The key is to use scale-invariant solutions similar to those introduced in \cite{EJSI}. The proof consists of three parts: local well-posedness for the Boussinesq equation in critical spaces, the analysis of certain special infinite-energy solutions belonging to those critical spaces, and finally a cut-off argument to ensure finiteness of energy. All of this is done on spatial domains $\{(x_1,x_2): x_1 \ge \gamma|x_2|\}$ for any $\gamma > 0$ so that we can get arbitrarily close to the half-space case. We remark that the $2D$ Euler equation is globally well-posed in all of the situations we look at, so that the singularity is not coming from the domain or the lack of smoothness on the data but from the vorticity amplification due to the presence of a density gradient. It is conceivable that our methods can be adapted to produce finite-energy $C^\infty$ solutions on $\mathbb{R}^2_+$ which become singular in finite time.


title: An Algorithm for Numerically Inverting the Modular $j$-function

abstract: The modular $j$-function is a bijective map from $X_0(1) \setminus \{\infty\}$ to $\mathbb{C}$. A natural question is to describe the inverse map. Gauss offered a solution to the inverse problem in terms of the arithmetic-geometric mean. This method relies on an elliptic curve model and the Gaussian hypergeometric series. Here we use the theory of polar harmonic Maass forms to solve the inverse problem by directly examining the Fourier expansion of the weight $2$ polar harmonic Maass form obtained by specializing the logarithmic derivative of the denominator formula for the Monster Lie algebra.


title: Universality in the fluctuation of eigenvalues of random circulant matrices

abstract: We show that the linear statistics of eigenvalues of circulant matrix obey the Gaussian central limit theorem for a large class of input sequences.


title: OGLE-2016-BLG-0263L\lowercase{b}: Microlensing Detection of a Very Low-mass Binary Companion Through a Repeating Event Channel

abstract: We report the discovery of a planet-mass companion to the microlens OGLE-2016-BLG-0263L. Unlike most low-mass companions that were detected through perturbations to the smooth and symmetric light curves produced by the primary, the companion was discovered through the channel of a repeating event, in which the companion itself produced its own single-mass light curve after the event produced by the primary had ended. Thanks to the continuous coverage of the second peak by high-cadence surveys, the possibility of the repeating nature due to source binarity is excluded with a $96\%$ confidence level. The mass of the companion estimated by a Bayesian analysis is $M_{\rm p}=4.1_{-2.5}^{+6.5}\ M_{\rm J}$. The projected primary-companion separation is $a_\perp = 6.5^{+1.3}_{-1.9}$ au. The ratio of the separation to the snow-line distance of $a_\perp/a_{\rm sl}\sim 15.4$ corresponds to the region beyond Neptune, the outermost planet of the solar system. We discuss the importance of high-cadence surveys in expanding the range of microlensing detections of low-mass companions and future space-based microlensing surveys.


title: Optimal Identity Testing with High Probability

abstract: We study the problem of testing identity against a given distribution with a focus on the high confidence regime. More precisely, given samples from an unknown distribution $p$ over $n$ elements, an explicitly given distribution $q$, and parameters $0< \epsilon, \delta < 1$, we wish to distinguish, {\em with probability at least $1-\delta$}, whether the distributions are identical versus $\varepsilon$-far in total variation distance. Most prior work focused on the case that $\delta = \Omega(1)$, for which the sample complexity of identity testing is known to be $\Theta(\sqrt{n}/\epsilon^2)$. Given such an algorithm, one can achieve arbitrarily small values of $\delta$ via black-box amplification, which multiplies the required number of samples by $\Theta(\log(1/\delta))$. We show that black-box amplification is suboptimal for any $\delta = o(1)$, and give a new identity tester that achieves the optimal sample complexity. Our new upper and lower bounds show that the optimal sample complexity of identity testing is \[ \Theta\left( \frac{1}{\epsilon^2}\left(\sqrt{n \log(1/\delta)} + \log(1/\delta) \right)\right) \] for any $n, \varepsilon$, and $\delta$. For the special case of uniformity testing, where the given distribution is the uniform distribution $U_n$ over the domain, our new tester is surprisingly simple: to test whether $p = U_n$ versus $d_{\mathrm TV}(p, U_n) \geq \varepsilon$, we simply threshold $d_{\mathrm TV}(\widehat{p}, U_n)$, where $\widehat{p}$ is the empirical probability distribution. The fact that this simple "plug-in" estimator is sample-optimal is surprising, even in the constant $\delta$ case. Indeed, it was believed that such a tester would not attain sublinear sample complexity even for constant values of $\varepsilon$ and $\delta$.

categories: cs.DS cs.IT cs.LG math.IT math.ST stat.TH


title: Simultaneous confidence sets for ranks using the partitioning principle - Technical report

abstract: Ranking institutions such as medical centers or universities is based on an indicator accompanied with an uncertainty measure such as a standard deviation, and confidence intervals should be calculated to assess the quality of these ranks. We consider the problem of constructing simultaneous confidence intervals for the ranks of centers based on an observed sample. We present in this paper a novel method based on multiple testing which uses the partitioning principle and employs the likelihood ratio (LR) test on the partitions. The complexity of the algorithm is super exponential. We present several ways and shortcuts to reduce this complexity. We provide also a polynomial algorithm which produces a very good bracketing for the multiple testing by linearizing the critical value of the LR test. We show that Tukey's Honest Significant Difference (HSD) test can be written as a partitioning procedure. The new methodology has promising properties in the sens that it opens the door in a simple and easy way to construct new methods which may trade the exponential complexity with power of the test or vice versa. In comparison to Tukey's HSD test, the LR test seems to give better results when the centers are close to each others or the uncertainty in the data is high which is confirmed during a simulation study.


title: Self-gravity Correction to the Chandrasekhar Limiting Mass of White Dwarfs

abstract: While computing the Fermi degeneracy pressure of electrons in a white dwarf star within the framework of hydrostatic equilibrium, we depart from the extant practice of treating the electrons as a free fermion gas, by including the effect of the star's self-gravity as an effective gravitational potential. By the star's self gravity, we mean the gravitational field due to the star itself, resulting from the mass of its constituent atoms, the mass of the atom being effectively the mass of the proton. Modifying the free particle Hamiltonian with this effective potential, we employ first order quantum mechanical perturbation theory to compute the degeneracy pressure, in order to study the effect of inclusion of this self-gravity of the star on the Chandrasekhar limiting mass. The final effect is found to be non-trivial, but perhaps a shade too small to alter any major observational result.


title: Weakly- and Self-Supervised Learning for Content-Aware Deep Image Retargeting

abstract: This paper proposes a weakly- and self-supervised deep convolutional neural network (WSSDCNN) for content-aware image retargeting. Our network takes a source image and a target aspect ratio, and then directly outputs a retargeted image. Retargeting is performed through a shift map, which is a pixel-wise mapping from the source to the target grid. Our method implicitly learns an attention map, which leads to a content-aware shift map for image retargeting. As a result, discriminative parts in an image are preserved, while background regions are adjusted seamlessly. In the training phase, pairs of an image and its image-level annotation are used to compute content and structure losses. We demonstrate the effectiveness of our proposed method for a retargeting application with insightful analyses.


title: Newton's method's basins of attraction revisited

abstract: In this paper, we revisit the chaotic number of iterations needed by Newton's method to converge to a root. Here, we consider a simple modified Newton method depending on a parameter. It is demonstrated using polynomiography that even in the simple algorithm the presence and the position of the convergent regions, i.e. regions where the method converges nicely to a root, can be complicatedly a function of the parameter.


title: Probabilistic Neural Network with Complex Exponential Activation Functions in Image Recognition using Deep Learning Framework

abstract: If the training dataset is not very large, image recognition is usually implemented with the transfer learning methods. In these methods the features are extracted using a deep convolutional neural network, which was preliminarily trained with an external very-large dataset. In this paper we consider the nonparametric classification of extracted feature vectors with the probabilistic neural network (PNN). The number of neurons at the pattern layer of the PNN is equal to the database size, which causes the low recognition performance and high memory space complexity of this network. We propose to overcome these drawbacks by replacing the exponential activation function in the Gaussian Parzen kernel to the complex exponential functions in the Fej\'er kernel. We demonstrate that in this case it is possible to implement the network with the number of neurons in the pattern layer proportional to the cubic root of the database size. Thus, the proposed modification of the PNN makes it possible to significantly decrease runtime and memory complexities without loosing its main advantages, namely, extremely fast training procedure and the convergence to the optimal Bayesian decision. An experimental study in visual object category classification and unconstrained face recognition with contemporary deep neural networks have shown, that our approach obtains very efficient and rather accurate decisions for the small training sample in comparison with the well-known classifiers.


title: Joint Face Alignment and 3D Face Reconstruction with Application to Face Recognition

abstract: Face alignment and 3D face reconstruction are traditionally accomplished as separated tasks. By exploring the strong correlation between 2D landmarks and 3D shapes, in contrast, we propose a joint face alignment and 3D face reconstruction method to simultaneously solve these two problems for 2D face images of arbitrary poses and expressions. This method, based on a summation model of 3D faces and cascaded regression in 2D and 3D shape spaces, iteratively and alternately applies two cascaded regressors, one for updating 2D landmarks and the other for 3D shape. The 3D shape and the landmarks are correlated via a 3D-to-2D mapping matrix, which is updated in each iteration to refine the location and visibility of 2D landmarks. Unlike existing methods, the proposed method can fully automatically generate both pose-and-expression-normalized (PEN) and expressive 3D faces and localize both visible and invisible 2D landmarks. Based on the PEN 3D faces, we devise a method to enhance face recognition accuracy across poses and expressions. Both linear and nonlinear implementations of the proposed method are presented and evaluated in this paper. Extensive experiments show that the proposed method can achieve the state-of-the-art accuracy in both face alignment and 3D face reconstruction, and benefit face recognition owing to its reconstructed PEN 3D face.


title: Gaussian Prototypical Networks for Few-Shot Learning on Omniglot

abstract: We propose a novel architecture for $k$-shot classification on the Omniglot dataset. Building on prototypical networks, we extend their architecture to what we call Gaussian prototypical networks. Prototypical networks learn a map between images and embedding vectors, and use their clustering for classification. In our model, a part of the encoder output is interpreted as a confidence region estimate about the embedding point, and expressed as a Gaussian covariance matrix. Our network then constructs a direction and class dependent distance metric on the embedding space, using uncertainties of individual data points as weights. We show that Gaussian prototypical networks are a preferred architecture over vanilla prototypical networks with an equivalent number of parameters. We report state-of-the-art performance in 1-shot and 5-shot classification both in 5-way and 20-way regime (for 5-shot 5-way, we are comparable to previous state-of-the-art) on the Omniglot dataset. We explore artificially down-sampling a fraction of images in the training set, which improves our performance even further. We therefore hypothesize that Gaussian prototypical networks might perform better in less homogeneous, noisier datasets, which are commonplace in real world applications.


title: Structural Break Detection in High-Dimensional Non-Stationary VAR models

abstract: Assuming stationarity is unrealistic in many time series applications. A more realistic alternative is to allow for piecewise stationarity, where the model is allowed to change at given time points. In this article, the problem of detecting the change points in a high-dimensional piecewise vector autoregressive model (VAR) is considered. Reformulated the problem as a high-dimensional variable selection, a penalized least square estimation using total variation LASSO penalty is proposed for estimation of model parameters. It is shown that the developed method over-estimates the number of change points. A backward selection criterion is thus proposed in conjunction with the penalized least square estimator to tackle this issue. We prove that the proposed two-stage procedure consistently detects the number of change points and their locations. A block coordinate descent algorithm is developed for efficient computation of model parameters. The performance of the method is illustrated using several simulation scenarios.


title: Demand-Independent Optimal Tolls

abstract: Wardrop equilibria in nonatomic congestion games are in general inefficient as they do not induce an optimal flow that minimizes the total travel time. Network tolls are a prominent and popular way to induce an optimum flow in equilibrium. The classical approach to find such tolls is marginal cost pricing which requires the exact knowledge of the demand on the network. In this paper, we investigate under which conditions demand-independent optimum tolls exist that induce the system optimum flow for any travel demand in the network. We give several characterizations for the existence of such tolls both in terms of the cost structure and the network structure of the game. Specifically we show that demand-independent optimum tolls exist if and only if the edge cost functions are shifted monomials as used by the Bureau of Public Roads. Moreover, non-negative demand-independent optimum tolls exist when the network is a directed acyclic multi-graph. Finally, we show that any network with a single origin-destination pair admits demand-independent optimum tolls that, although not necessarily non-negative, satisfy a budget constraint.


title: Weak saturation and weak amalgamation property

abstract: The two model-theoretic concepts of weak saturation and weak amalgamation property are studied in the context of accessible categories. We relate these two concepts providing sufficient conditions for existence and uniqueness of weakly saturated objects of an accessible category K. We discuss the implications of this fact in classical model theory.


title: Giant Metrewave Radio Telescope monitoring of the black hole X-ray binary, V404 Cygni, during its June 2015 outburst

abstract: We report results from a Giant Metrewave Radio Telescope (GMRT) monitoring campaign on the black hole X-ray binary V404 Cygni during its 2015 June outburst. The GMRT observations were carried out at observing frequencies of 1280, 610, 325 and 235 MHz, and extended from June 26.89 UT (a day after the strongest radio/X-ray outburst) to July 12.93 UT. We find the low-frequency radio emission of V404 Cygni to be extremely bright and fast-decaying in the outburst phase, with an inverted spectrum below 1.5 GHz and an intermediate X-ray state. The radio emission settles to a weak, quiescent state $\approx 11$ days after the outburst, with a flat radio spectrum and a soft X-ray state. Combining the GMRT measurements with flux density estimates from the literature, we identify a spectral turnover in the radio spectrum at $\approx 1.5$ GHz on $\approx$ June 26.9 UT, indicating the presence of a synchrotron self-absorbed emitting region. We use the measured flux density at the turnover frequency with the assumption of equipartition of energy between the particles and the magnetic field to infer the jet radius ($\approx 4.0 \times 10^{13}$ cm), magnetic field ($\approx 0.5$ G), minimum total energy ($\approx 7 \times 10^{39}$ ergs) and transient jet power ($\approx 8 \times 10^{34}$ erg s$^{-1}$). The relatively low value of the jet power, despite V404 Cygni's high black hole spin parameter, suggests that the radio jet power does not correlate with the spin parameter.


title: A Data Prism: Semi-Verified Learning in the Small-Alpha Regime

abstract: We consider a model of unreliable or crowdsourced data where there is an underlying set of $n$ binary variables, each evaluator contributes a (possibly unreliable or adversarial) estimate of the values of some subset of $r$ of the variables, and the learner is given the true value of a constant number of variables. We show that, provided an $\alpha$-fraction of the evaluators are "good" (either correct, or with independent noise rate $p < 1/2$), then the true values of a $(1-\epsilon)$ fraction of the $n$ underlying variables can be deduced as long as $\alpha > 1/(2-2p)^r$. This setting can be viewed as an instance of the semi-verified learning model introduced in [CSV17], which explores the tradeoff between the number of items evaluated by each worker and the fraction of good evaluators. Our results require the number of evaluators to be extremely large, $>n^r$, although our algorithm runs in linear time, $O_{r,\epsilon}(n)$, given query access to the large dataset of evaluations. This setting and results can also be viewed as examining a general class of semi-adversarial CSPs with a planted assignment. This parameter regime where the fraction of reliable data is small, is relevant to a number of practical settings. For example, settings where one has a large dataset of customer preferences, with each customer specifying preferences for a small (constant) number of items, and the goal is to ascertain the preferences of a specific demographic of interest. Our results show that this large dataset (which lacks demographic information) can be leveraged together with the preferences of the demographic of interest for a constant number of randomly selected items, to recover an accurate estimate of the entire set of preferences. In this sense, our results can be viewed as a "data prism" allowing one to extract the behavior of specific cohorts from a large, mixed, dataset.


title: Conceptual and practical bases for the high accuracy of machine learning interatomic potential

abstract: Machine learning interatomic potentials (MLIPs) based on a large dataset obtained by density functional theory (DFT) calculation have been developed recently. This study gives both conceptual and practical bases for the high accuracy of MLIPs, although MLIPs have been considered to be simply an accurate black-box description of atomic energy. We also construct the most accurate MLIP of the elemental Ti ever reported using a linearized MLIP framework and many angular-dependent descriptors, which also corresponds to a generalization of the modified embedded atom method (MEAM) potential.


title: Minimum message length inference of the Poisson and geometric models using heavy-tailed prior distributions

abstract: Minimum message length is a general Bayesian principle for model selection and parameter estimation that is based on information theory. This paper applies the minimum message length principle to a small-sample model selection problem involving Poisson and geometric data models. Since MML is a Bayesian principle, it requires prior distributions for all model parameters. We introduce three candidate prior distributions for the unknown model parameters with both light- and heavy-tails. The performance of the MML methods is compared with objective Bayesian inference and minimum description length techniques based on the normalized maximum likelihood code. Simulations show that our MML approach with a heavy-tail prior distribution provides an excellent performance in all tests.


title: Heisenberg-limited Rabi spectroscopy

abstract: The use of entangled states was shown to improve the fundamental limits of spectroscopy to beyond the standard-quantum limit. In these Heisenberg-limited protocols the phase between two states in an entangled superposition evolves N-fold faster than in the uncorrelated case, where N for example can be the number of entangled atoms in a Greenberger-Horne-Zeilinger (GHZ) state. Here we propose and demonstrate the use of correlated spin-Hamiltonians for the realization of Heisenberg-limited Rabi-type spectroscopy. Rather than probing the free evolution of the phase of an entangled state with respect to a local oscillator (LO), we probe the evolution of an, initially separable, two-atom register under an Ising spin-Hamiltonian with a transverse field. The resulting correlated spin-rotation spectrum is twice as narrow as compared with uncorrelated rotation. We implement this Heisenberg-limited Rabi spectroscopy scheme on the optical-clock electric-quadrupole transition of $^{88}$Sr$^+$ using a two-ion crystal. We further show that depending on the initial state, correlated rotation can occur in two orthogonal sub-spaces of the full Hilbert space, yielding Heisenberg-limited spectroscopy of either the average transition frequency of the two ions or their difference from the mean frequency. The potential improvement of clock stability due to the use of entangled states depends on the details of the method used and the dominating decoherence mechanism. The use of correlated spin-rotations can therefore potentially lead to new paths for clock stability improvement.


title: The Local Volume HI Survey: star formation properties

abstract: We built a multi-wavelength dataset for galaxies from the Local Volume HI Survey (LVHIS), which comprises 82 galaxies. We also select a sub-sample of ten large galaxies for investigating properties in the galactic outskirts. The LVHIS sample covers nearly four orders of magnitude in stellar mass and two orders of magnitude in HI mass fraction (fHI). The radial distribution of HI gas with respect to the stellar disc is correlated with fHI but with a large scatter. We confirm the previously found correlations between the total HI mass and star formation rate (SFR), and between HI surface densities and SFR surface densities beyond R25. However, the former correlation becomes much weaker when the average surface densities rather than total mass or rate are considered, and the latter correlation also becomes much weaker when the effect of stellar mass is removed or controlled. Hence the link between SFR and HI is intrinsically weak in these regions, consistent with what was found on kpc scales in the galactic inner regions. We find a strong correlation between the SFR surface density and the stellar mass surface density, which is consistent with the star formation models where the gas is in quasi-equilibrium with the mid-plane pressure. We find no evidence for HI warps to be linked with decreasing star forming efficiencies.


title: Fixing and almost fixing a planar convex body

abstract: A set of points a 1 ,. .. , a n fixes a planar convex body K if the points are on bdK, the boundary of K, and if any small move of K brings some point of the set in intK, the interior of K. The points a 1 ,. .. , a n $\in$ bdK almost fix K if, for any neighbourhoods V i of a i (i = 1,. .. , n), there are pairs of points a i , a i $\in$ V i $\cap$ bdK such that a 1 , a 1 ,. .. , a n fix K. This note compares several definitions of these notions and gives first order conditions for a 1 ,. .. , a n $\in$ bdK to fix, and to almost fix, K.


title: On the "unreasonable" effectiveness of Transport of Intensity imaging and optical deconvolution

abstract: The effectiveness of reconstructive imaging using the Homogeneous Transport of Intensity equation may be regarded as "unreasonable", because it has been shown to significantly increase signal-to-noise ratio while preserving spatial resolution, compared to equivalent conventional absorption-based imaging techniques at the same photon fluence. We reconcile this surprising behaviour by analysing the propagation of noise in typical in-line holography experiments. This analysis indicates that novel imaging techniques may be designed which produce high signal-to-noise images at low radiation doses without sacrificing spatial resolution.


title: An automatic water detection approach based on Dempster-Shafer theory for multi spectral images

abstract: Detection of surface water in natural environment via multi-spectral imagery has been widely utilized in many fields, such land cover identification. However, due to the similarity of the spectra of water bodies, built-up areas, approaches based on high-resolution satellites sometimes confuse these features. A popular direction to detect water is spectral index, often requiring the ground truth to find appropriate thresholds manually. As for traditional machine learning methods, they identify water merely via differences of spectra of various land covers, without taking specific properties of spectral reflection into account. In this paper, we propose an automatic approach to detect water bodies based on Dempster-Shafer theory, combining supervised learning with specific property of water in spectral band in a fully unsupervised context. The benefits of our approach are twofold. On the one hand, it performs well in mapping principle water bodies, including little streams and branches. On the other hand, it labels all objects usually confused with water as `ignorance', including half-dry watery areas, built-up areas and semi-transparent clouds and shadows. `Ignorance' indicates not only limitations of the spectral properties of water and supervised learning itself but insufficiency of information from multi-spectral bands as well, providing valuable information for further land cover classification.


title: Topological characterization of network structures of aggregates of atoms

abstract: Two distinct structures of aggregates of atoms connected by anisotropic bonds with a network configuration are discussed from the viewpoint of a point set topology. A specific topological space connects the two types of topological structures based on the equivalence classes, which show the main difference of the structures between the aggregates of atoms with or without a clusterized structure.


title: Rise of the HaCRS: Augmenting Autonomous Cyber Reasoning Systems with Human Assistance

abstract: As the size and complexity of software systems increase, the number and sophistication of software security flaws increase as well. The analysis of these flaws began as a manual approach, but it soon became apparent that tools were necessary to assist human experts in this task, resulting in a number of techniques and approaches that automated aspects of the vulnerability analysis process. Recently, DARPA carried out the Cyber Grand Challenge, a competition among autonomous vulnerability analysis systems designed to push the tool-assisted human-centered paradigm into the territory of complete automation. However, when the autonomous systems were pitted against human experts it became clear that certain tasks, albeit simple, could not be carried out by an autonomous system, as they require an understanding of the logic of the application under analysis. Based on this observation, we propose a shift in the vulnerability analysis paradigm, from tool-assisted human-centered to human-assisted tool-centered. In this paradigm, the automated system orchestrates the vulnerability analysis process, and leverages humans (with different levels of expertise) to perform well-defined sub-tasks, whose results are integrated in the analysis. As a result, it is possible to scale the analysis to a larger number of programs, and, at the same time, optimize the use of expensive human resources. In this paper, we detail our design for a human-assisted automated vulnerability analysis system, describe its implementation atop an open-sourced autonomous vulnerability analysis system that participated in the Cyber Grand Challenge, and evaluate and discuss the significant improvements that non-expert human assistance can offer to automated analysis approaches.


title: Extreme clicking for efficient object annotation

abstract: Manually annotating object bounding boxes is central to building computer vision datasets, and it is very time consuming (annotating ILSVRC [53] took 35s for one high-quality box [62]). It involves clicking on imaginary corners of a tight box around the object. This is difficult as these corners are often outside the actual object and several adjustments are required to obtain a tight box. We propose extreme clicking instead: we ask the annotator to click on four physical points on the object: the top, bottom, left- and right-most points. This task is more natural and these points are easy to find. We crowd-source extreme point annotations for PASCAL VOC 2007 and 2012 and show that (1) annotation time is only 7s per box, 5x faster than the traditional way of drawing boxes [62]; (2) the quality of the boxes is as good as the original ground-truth drawn the traditional way; (3) detectors trained on our annotations are as accurate as those trained on the original ground-truth. Moreover, our extreme clicking strategy not only yields box coordinates, but also four accurate boundary points. We show (4) how to incorporate them into GrabCut to obtain more accurate segmentations than those delivered when initializing it from bounding boxes; (5) semantic segmentations models trained on these segmentations outperform those trained on segmentations derived from bounding boxes.


title: Fractional Patlak-Keller-Segel equations for chemotactic superdiffusion

abstract: The long range movement of certain organisms in the presence of a chemoattractant can be governed by long distance runs, according to an approximate Levy distribution. This article clarifies the form of biologically relevant model equations: We derive Patlak-Keller-Segel-like equations involving nonlocal, fractional Laplacians from a microscopic model for cell movement. Starting from a power-law distribution of run times, we derive a kinetic equation in which the collision term takes into account the long range behaviour of the individuals. A fractional chemotactic equation is obtained in a biologically relevant regime. Apart from chemotaxis, our work has implications for biological diffusion in numerous processes.


title: Quantum Fluctuations in Mesoscopic Systems

abstract: Recent experimental results point to the existence of coherent quantum phenomena in systems made of a large number of particles, despite the fact that for many-body systems the presence of decoherence is hardly negligible and emerging classicality is expected. This behaviour hinges on collective observables, named quantum fluctuations, that retain a quantum character even in the thermodynamic limit: they provide useful tools for studying properties of many-body systems at the mesoscopic level, in between the quantum microscopic scale and the classical macroscopic one. We hereby present the general theory of quantum fluctuations in mesoscopic systems and study their dynamics in a quantum open system setting, taking into account the unavoidable effects of dissipation and noise induced by the external environment. As in the case of microscopic systems, decoherence is not always the only dominating effect at the mesoscopic scale: certain type of environments can provide means for entangling collective fluctuations through a purely noisy mechanism.

categories: quant-ph cond-mat.other hep-th math-ph math.MP


title: Optimal control of a Vlasov-Poisson plasma by an external magnetic field - Analysis of a tracking type optimal control problem

abstract: In the paper "Optimal control of a Vlasov-Poisson plasma by an external magnetic field - The basics for variational calculus" [arXiv:1708.02464] we have already introduced a set of admissible magnetic fields and we have proved that each of those fields induces a unique strong solution of the Vlasov-Poisson system. We have also established that the field-state operator that maps any admissible field onto its corresponding solution is continuous and weakly compact. In this paper we will show that this operator is also Fr\'echet differentiable and we will continue to analyze the optimal control problem that was introduced in [arXiv:1708.02464]. More precisely, we will establish necessary and sufficient conditions for local optimality and we will show that an optimal solution is unique under certain conditions.


title: Back to baxterisation

abstract: In the continuity of our previous paper arXiv:1509.05516, we define three new algebras, $A_{n}(a,b,c)$, $B_{n}$ and $C_{n}$, that are close to the braid algebra. They allow to build solutions to the braided Yang-Baxter equation with spectral parameters. The construction is based on a baxterisation procedure, similar to the one used in the context of Hecke or BMW algebras. The $A_{n}(a,b,c)$ algebra depends on three arbitrary parameters, and when the parameter $a$ is set to zero, we recover the algebra $M_{n}(b,c)$ already introduced elsewhere for purpose of baxterisation. The Hecke algebra (and its baxterisation) can be recovered from a coset of the $A_{n}(0,0,c)$ algebra. The algebra $A_{n}(0,b,-b^2)$ is a coset of the braid algebra. The two other algebras $B_{n}$ and $C_{n}$ do not possess any parameter, and can be also viewed as a coset of the braid algebra.


title: Analysis of Analog Network Coding noise in Multiuser Cooperative Relaying for Spatially Correlated Environment

abstract: Analog Network Coding (ANC) is proposed in literature to improve the network throughput by exploiting channel diversity. In practical scenarios, due to the difference in channel characteristics, an extra residual component, termed as ANC noise, appears during the processing of the received signal. This ANC noise component may suppress the ANC gain. None of the existing literature to our knowledge considers the effect of spatial correlation among channels on ANC noise. This paper develops a generic framework to investigate the effect of channel characteristics on ANC noise. We have modelled the channels as spatially correlated to take the (dis)similarity among them into account. Per node power constraint is also taken into consideration. In this work, we have characterized the behaviour of ANC noise and presented the results to analyze the network performance in terms of outage probability. Outcomes of our investigation show that spatial correlation among channels significantly affects the variance of ANC noise as well as the outage performance of the system. The proposed framework can provide better insights while selecting the system parameters in a correlated environment.


title: Trade-Offs in Stochastic Event-Triggered Control

abstract: This paper studies the optimal output-feedback control of a linear time-invariant system where a stochastic event-based scheduler triggers the communication between the sensor and the controller. The primary goal of the use of this type of scheduling strategy is to provide significant reductions in the usage of the sensor-to-controller communication and, in turn, improve energy expenditure in the network. In this paper, we aim to design an admissible control policy, which is a function of the observed output, to minimize a quadratic cost function while employing a stochastic event-triggered scheduler that preserves the Gaussian property of the plant state and the estimation error. For the infinite horizon case, we present analytical expressions that quantify the trade-off between the communication cost and control performance of such event-triggered control systems. This trade-off is confirmed quantitatively via numerical examples.


title: Isointense infant brain MRI segmentation with a dilated convolutional neural network

abstract: Quantitative analysis of brain MRI at the age of 6 months is difficult because of the limited contrast between white matter and gray matter. In this study, we use a dilated triplanar convolutional neural network in combination with a non-dilated 3D convolutional neural network for the segmentation of white matter, gray matter and cerebrospinal fluid in infant brain MR images, as provided by the MICCAI grand challenge on 6-month infant brain MRI segmentation.


title: Fast Algorithm for Finding Maximum Distance with Space Subdivision in E2

abstract: Finding an exact maximum distance of two points in the given set is a fundamental computational problem which is solved in many applications. This paper presents a fast, simple to implement and robust algorithm for finding this maximum distance of two points in E2. This algorithm is based on a polar subdivision followed by division of remaining points into uniform grid. The main idea of the algorithm is to eliminate as many input points as possible before finding the maximum distance. The proposed algorithm gives the significant speed up compared to the standard algorithm.


title: Out-of-bounds hydrodynamics in anisotropic Dirac fluids

abstract: We study the hydrodynamic behavior in two-dimensional, interacting electronic systems with merging Dirac points at charge neutrality. The dispersion along one crystallographic direction is Dirac-like, while it is Newtonian-like in the orthogonal direction. As a result, the electrical conductivity is metallic in one and insulating in the other direction. One element of the shear viscosity tensor violates the famous lower bound for the shear viscosity to entropy density ratio,an effect that can be probed via anisotropic thermal Hagen- Poiseuille flow.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.mtrl-sci hep-th quant-ph


title: Learning to Disambiguate by Asking Discriminative Questions

abstract: The ability to ask questions is a powerful tool to gather information in order to learn about the world and resolve ambiguities. In this paper, we explore a novel problem of generating discriminative questions to help disambiguate visual instances. Our work can be seen as a complement and new extension to the rich research studies on image captioning and question answering. We introduce the first large-scale dataset with over 10,000 carefully annotated images-question tuples to facilitate benchmarking. In particular, each tuple consists of a pair of images and 4.6 discriminative questions (as positive samples) and 5.9 non-discriminative questions (as negative samples) on average. In addition, we present an effective method for visual discriminative question generation. The method can be trained in a weakly supervised manner without discriminative images-question tuples but just existing visual question answering datasets. Promising results are shown against representative baselines through quantitative evaluations and user studies.


title: Stability of librational motion in the spatial circular restricted three-body problem for high inclinations and mass ratios

abstract: In the spatial circular restricted three-body problem librational motion around the Lagrangian points $L_4$ and $L_5$ exists up to high inclinations of the massless object. We report the results of numerical investigations on the stability of this librational motion for systematic variations in the inclination of the Trojan and the mass-ratio $\mu$ of the two massive bodies. We show that stable motion prevails for inclinations below 60 degrees and mass-ratios $\mu < 0.04$ for typical integration times up to $10^6$ revolution periods. At even higher mass-ratios -- beyond the critical mass-ratio for the planar case -- stable orbits were found to exist for up to $10^7$ periods at moderate inclinations. We extracted the librational frequencies on a grid in the parameter space from the Fourier spectra and traced their variation. Several resonances between the short and long period librational frequency as well as the vertical frequency lie inside the investigated region. The application of the Lyapunov characteristic indicator and spectral number methods also reveals the chaotic regions. This simple model is equally applicable in the Solar system for low mass ratios for Trojans of the planets, as well as to Trojan-type exoplanets in binary star systems at high mass-ratios.


title: Intermittency of trawl processes

abstract: We study the limiting behavior of continuous time trawl processes which are defined using an infinitely divisible random measure of a time dependent set. In this way one is able to define separately the marginal distribution and the dependence structure. One can have long-range dependence or short-range dependence by choosing the time set accordingly. We introduce the scaling function of the integrated process and show that its behavior displays intermittency, a phenomenon associated with an unusual behavior of moments.


title: Has the Online Discussion Been Manipulated? Quantifying Online Discussion Authenticity within Online Social Media

abstract: Online social media (OSM) has a enormous influence in today's world. Some individuals view OSM as fertile ground for abuse and use it to disseminate misinformation and political propaganda, slander competitors, and spread spam. The crowdturfing industry employs large numbers of bots and human workers to manipulate OSM and misrepresent public opinion. The detection of online discussion topics manipulated by OSM \emph{abusers} is an emerging issue attracting significant attention. In this paper, we propose an approach for quantifying the authenticity of online discussions based on the similarity of OSM accounts participating in the discussion to known abusers and legitimate accounts. Our method uses several similarity functions for the analysis and classification of OSM accounts. The proposed methods are demonstrated using Twitter data collected for this study and previously published \emph{Arabic honeypot dataset}. The former includes manually labeled accounts and abusers who participated in crowdturfing platforms. Evaluation of the topic's authenticity, derived from account similarity functions, shows that the suggested approach is effective for discriminating between topics that were strongly promoted by abusers and topics that attracted authentic public interest.


title: $a_0(980) - f_0(980)$ mixing in $\chi_{c1} \to \pi^0 f_0(980) \to \pi^0 \pi^+ \pi^-$ and $\chi_{c1} \to \pi^0 a_0(980) \to \pi^0 \pi^0 \eta$

abstract: We study the isospin breaking in the reactions $\chi_{c1} \to \pi^0 \pi^+ \pi^-$ and $\chi_{c1} \to \pi^0 \pi^0 \eta$ and its relation to the $a_0(980) - f_0(980)$ mixing, which was measured by the BESIII Collaboration. We show that the same theoretical model previously developed to study the $\chi_{c1} \to \eta \pi^+ \pi^-$ reaction (also measured by BESIII), and further explored in the predictions to the $\eta_{c} \to \eta \pi^+ \pi^-$, can be successfully employed in the present study. We assume that the $\chi_{c1}$ behaves as an $SU(3)$ singlet to find the weight in which trios of pseudoscalars are created, followed by the final state interaction of pairs of mesons to describe how the $a_0(980)$ and $f_0(980)$ are dynamically generated, using the chiral unitary approach in coupled channels. The isospin violation is introduced through the use of different masses for the charged and neutral kaons, either in the propagators of the pairs of mesons created in the $\chi_{c1}$ decay, or in the propagators inside the $T$ matrix, constructed through the unitarization of the scattering and transition amplitudes of pairs of pseudoscalar mesons. We find that violating isospin inside the $T$ matrix makes the $\pi^0\eta \to \pi^+\pi^-$ amplitude nonzero, which gives an important contribution and also enhances the effect of the $K\bar{K}$ term. Also, we find that in the total amplitude the most important effect is the isospin breaking inside the $T$ matrix, due to the constructive sum of $\pi^0\eta \to \pi^+\pi^-$ and $K\bar{K} \to \pi^+ \pi^-$, which is essential to get a good agreement with the experimental measurement of the mixing.


title: Ephemeral Context to Support Robust and Diverse Music Recommendations

abstract: While prior work on context-based music recommendation focused on fixed set of contexts (e.g. walking, driving, jogging), we propose to use multiple sensors and external data sources to describe momentary (ephemeral) context in a rich way with a very large number of possible states (e.g. jogging fast along in downtown of Sydney under a heavy rain at night being tired and angry). With our approach, we address the problems which current approaches face: 1) a limited ability to infer context from missing or faulty sensor data; 2) an inability to use contextual information to support novel content discovery.


title: Multi-dimensional Gated Recurrent Units for Automated Anatomical Landmark Localization

abstract: We present an automated method for localizing an anatomical landmark in three-dimensional medical images. The method combines two recurrent neural networks in a coarse-to-fine approach: The first network determines a candidate neighborhood by analyzing the complete given image volume. The second network localizes the actual landmark precisely and accurately in the candidate neighborhood. Both networks take advantage of multi-dimensional gated recurrent units in their main layers, which allow for high model complexity with a comparatively small set of parameters. We localize the medullopontine sulcus in 3D magnetic resonance images of the head and neck. We show that the proposed approach outperforms similar localization techniques both in terms of mean distance in millimeters and voxels w.r.t. manual labelings of the data. With a mean localization error of 1.7 mm, the proposed approach performs on par with neurological experts, as we demonstrate in an interrater comparison.


title: Mixture of quark and gluon fluids described in terms of anisotropic hydrodynamics

abstract: A system of equations of anisotropic hydrodynamics that describes mixture of quark and gluon fluids is studied. The equations are based on the zeroth, first, and second moments of the RTA kinetic equations. Tests of this formulation are performed by comparing the results of anisotropic hydorodynamics with the exact solutions of the Boltzmann equations for a mixture of fluids in the Bjorken flow limit. One finds a very good agreement between the hydrodynamic and kinetic-theory results.


title: Cs nDJ Rydberg-atom macrodimers formed by long-range multipole interaction

abstract: Long-range macrodimers formed by D-state cesium Rydberg atoms are studied in experiments and in calculations. Cesium 62DJ-62DJ Rydberg-atom macrodimers, bonded via long-range multipole interaction, are prepared by two-color photo-association in a cesium atom trap. The first color (pulse A) resonantly excites seed Rydberg atoms, while the second (pulse B, detuned by the molecular binding energy) resonantly excites the Rydberg-atom macrodimer states below the 62DJ pair asymptotes. The Rydberg-atom molecules are measured by extraction of auto-ionization products and Rydberg-atom electric-field ionization, and ion detection. Molecular spectra are compared with calculations of adiabatic molecular potentials. The lifetime of the molecules is obtained from exponential fits to the dependence of the molecular signal on the detection delay time; lifetimes of about 6 us are found.


title: Space Subdivision to Speed-up Convex Hull Construction in E3

abstract: Convex hulls are fundamental geometric tools used in a number of algorithms. This paper presents a fast, simple to implement and robust Smart Convex Hull (S-CH) algorithm for computing the convex hull of a set of points in E3. This algorithm is based on "spherical" space subdivision. The main idea of the S-CH algorithm is to eliminate as many input points as possible before the convex hull construction. The experimental results show that only a very small number of points are used for the final convex hull calculation. Experiments made also proved that the proposed S-CH algorithm achieves a better time complexity in comparison with other algorithms in E3.


title: Electron-electron scattering and conductivity of long multimode channels

abstract: The electron-electron scattering increases the resistance of ballistic many-mode channels whose width is smaller than their length. We show that this increase saturates in the limit of infinitely long channels. Because the mechanisms of angular relaxation of electrons in three and two dimensions are different, the saturation value of the correction to the resistance is temperature-independent in the case of three-dimensional channels and is proportional to the temperature for two-dimensional ones. The spatial behavior of electron distribution in the latter case is described by an unusual characteristic length.


title: Pressure-induced two-step spin crossover in double-layered elastic model

abstract: We study the two-step spin crossover in a double-layered elastic model based on transition metal complexes each taking high spin (HS) and low spin (LS) states. Here, only the simplest elastic interactions between adjacent molecules are considered and the system is exposed to the external pressure within the framework of $NPT$-Monte Carlo method. As a certain amount of pressure is applied, the first order thermal transition between uniform HS and LS phases transforms to a two-step transition with an emergent intermediate spin (IS) phase, where the HS and LS molecules are paired face to face between layers and form diagonally striped clusters within the layer. The difference in the size of HS and LS molecules is reflected both in the elastic interactions and in the enthalpy, and the IS phase could gain the latter over the loss of the former by significantly reducing its volume. The present pressure effect is interpreted to the chemical one in double-layered transition metal materials, which actually reveals a variety of multistep spin crossover transitions relevant to our numerical result.


title: On Maximum Common Subgraph Problems in Series-Parallel Graphs

abstract: The complexity of the maximum common connected subgraph problem in partial $k$-trees is still not fully understood. Polynomial-time solutions are known for degree-bounded outerplanar graphs, a subclass of the partial $2$-trees. On the other hand, the problem is known to be ${\bf NP}$-hard in vertex-labeled partial $11$-trees of bounded degree. We consider series-parallel graphs, i.e., partial $2$-trees. We show that the problem remains ${\bf NP}$-hard in biconnected series-parallel graphs with all but one vertex of degree $3$ or less. A positive complexity result is presented for a related problem of high practical relevance which asks for a maximum common connected subgraph that preserves blocks and bridges of the input graphs. We present a polynomial time algorithm for this problem in series-parallel graphs, which utilizes a combination of BC- and SP-tree data structures to decompose both graphs.


title: Classification of isoparametric submanifolds admitting a reflective focal submanifold in symmetric spaces of non-compact type

abstract: In this paper, we assume that all isoparametric submanifolds have flat section. The main purpose of this paper is to prove that, if a full irreducible complete isoparametric submanifold of codimension greater than one in a symmetric space of non-compact type admits a reflective focal submanifold and if it of real analytic, then it is a principal orbit of a Hermann type action on the symmetric space. A hyperpolar action on a symmetric space of non-compact type admits a reflective singular orbit if and only if it is a Hermann type action. Hence is not extra the assumption that the isoparametric submanifold admits a reflective focal submanifold. Also, we prove that, if a full irreducible complete isoparametric submanifold of codimension greater than one in a symmetric space of non-compact type satisfies some additional conditions, then it is a principal orbit of the isotropy action of the symmetric space, where we need not impose that the submanifold is of real analytic. We use the building theory in the proof.


title: Dynamical aspects in the Quantizer-Dequantizer formalism

abstract: The use of the quantizer-dequantizer formalism to describe the evolution of a quantum system is reconsidered. We show that it is possible to embed a manifold in the space of quantum states of a given auxiliary system by means of an appropriate quantizer-dequantizer system. If this manifold of states is invariant with respect to some unitary evolution, the quantizer-dequantizer system provides a classical-like realization of such dynamics, which in general is non linear. Integrability properties are also discussed. Weyl systems and generalized coherente states are used as a simple illustration of these ideas.


title: Who asks questions at astronomy meetings?

abstract: Over the last decade, significant attention has been drawn to the gender ratio of speakers at conferences, and many meetings are evolving to better reflect the gender balance of the field as a whole. We find that women are significantly under-represented, however, among the astronomers asking questions after talks.


title: Quantum criticality in a three dimensional spin system at zero field and pressure

abstract: We report spontaneous appearance of antiferromagnetic order in a model gapped quantum paramagnet Ni(Cl$_{1-x}$Br$_x$)$_2$$\cdot$4SC(NH$_2$)$_2$ induced by a change in bromine concentration x. This transition is qualitatively similar to a z = 1 magnetic quantum critical point. However, the observed critical scaling of thermodynamic and magnetic properties has rather unusual critical exponents.


title: A Spacetime Geometry picture of Forest Fire Spreading and of Quantum Navigation

abstract: The problem of finding null geodesics in a stationary Lorentzian spacetime is known to to be equivalent to finding the geodsics of a Randers-Finlser structure. This latter problem is equivalent to finding the motion of charged particles moving on a Riemannian manifold in a background magnetic field or equivalently, by a generalization of Fermat's principle, to Zermelo's problem of extremizing travel time of an aeroplane in the presence of a wind. In this paper this triad of equivalences is extended to include recent model of the spread of a forest fire which uses form of Huyghen's principle. The construction may also be used to solve a problem in quantum control theory in which one seeks a control Hamiltonia taking an initial state of a quantum mechanical system with its own Hamiltonian to a desired final state in least time. The associated stationary spacetime may be thought of as defined on an extended quantum phase space (Souriau's evolution space), the space of quantum stares being complex projective space equipped with its Fubini-Study K\"ahler metric. It is possible that this spacetime view point may provide insights relevant for our understanding of quantum gravity.


title: Topological characterization of chiral models through their long time dynamics

abstract: We study chiral models in one spatial dimension, both static and periodically driven. We demonstrate that their topological properties may be read out through the long time limit of a bulk observable, the mean chiral displacement. The derivation of this result is done in terms of spectral projectors, allowing for a detailed understanding of the physics. We show that the proposed detection converges rapidly and it can be implemented in a wide class of chiral systems. Furthermore, it can measure arbitrary winding numbers and topological boundaries, it applies to all non-interacting systems, independently of their quantum statistics, and it requires no additional elements, such as external fields, nor filled bands.

categories: cond-mat.other cond-mat.mes-hall cond-mat.quant-gas quant-ph


title: Three-Dimensional Anisotropic Magnetoresistance in the Dirac Node-Line Material ZrSiSe

abstract: The family of materials defined as ZrSiX (X = S, Se, Te) has been established as Dirac node-line semimetals, and subsequent study is urgent to exploit the promising application of unusual magnetoresistance property. In this work, we systematically investigated the anisotropic magnetoresistance in the newly-discovered Dirac node-line material ZrSiSe. By applying a magnetic field of 3 T by a vector field, the three-dimensional (3D) magnetoresistance (MR) shows strong anisotropy. The MR ratio of maximum and minimum directions can reach 7 at 3 T and keeps increasing at the higher magnetic field. The anisotropic MR forms a butterfly-shaped curve, which indicates the quasi-2D electronic structures. This is further confirmed by the angular-dependent Shubnikov-de Haas (SdH) oscillations. The first-principles calculations establish the quasi-2D tubular-shaped Fermi surface near the X point in the Brillouin zone. Our findings shed light on the 3D mapping of MR and the potential applications in magnetic sensors based on ZrSiSe Dirac materials.


title: Syntactic aspects of hypergraph polytopes

abstract: This paper introduces an inductively defined tree notation for all the faces of polytopes arising from a simplex by truncations. This notation allows us to view inclusion of faces as the process of contracting tree edges. Our notation instantiates to the well-known notations for the faces of associahedra and permutohedra. Various authors have independently introduced combinatorial tools for describing such polytopes. We build on the particular approach developed by Dosen and Petric, who used the formalism of hypergraphs to describe the interval of polytopes from the simplex to the permutohedron. This interval was further stretched by Petric to allow truncations of faces that are themselves obtained by truncations, and iteratively so. Our notation applies to all these polytopes. We illustrate this by showing that it instantiates to a notation for the faces of the permutohedron-based associahedra, that consists of parenthesised words with holes. Dosen and Petric have exhibited some families of hypergraph polytopes (associahedra, permutohedra, and hemiassociahedra) describing the coherences, and the coherences between coherences etc., arising by weakening sequential and parallel associativity of operadic composition. We complement their work with a criterion allowing us to recover the information whether edges of these "operadic polytopes" come from sequential, or from parallel associativity. We also give alternative proofs for some of the original results of Dosen and Petric.


title: A gapped $Z_{2}$ spin liquid phase with a $U(1)$ mean field ansatz: a Bosonic resonating valence-bond description

abstract: Gapped $Z_{2}$ spin liquid as the simplest spin liquid has been proved to be the most difficult to realize in realistic models. Here we show that the frustration from a third-neighbor exchange $J_{3}$ on the spin-$\frac{1}{2}$ $J_{1}-J_{2}$ model on the square lattice may serve to stabilize such a long-sought state. We argue that a Bosonic RVB description is more appropriate than a Fermonic RVB description for such a gapped spin liquid phase. We show that while the mean field ansatz of the proposed state has a $U(1)$ gauge symmetry, the gauge fluctuation spectrum on it is actually gapped and the state should be understood rather as a $Z_{2}$ spin liquid state with topological order. The state is thus locally stable with respect to gauge fluctuation and can emerge continuously from a collinear Neel ordered phase.


title: Low-energy electronic properties of Weyl semimetal quantum dot

abstract: It is necessary to study the properties of Weyl semimetal nanostructures for potential applications in nanoelectronics. Here we study the Weyl semimetal quantum dot with a most simple model Hamiltonian with only two Weyl points. We focus on the low-energy electronic structure and show the correspondence to that of three-dimensional Weyl semimetal, such as Weyl point and Fermi arc. We find that there exist both surface and bulk states near Fermi level. The direct gap of bulk states reaches the minimum with the location determined by Weyl point. There exists a quantum number with only several values supporting surface states, which is the projection of Fermi arc. The property of surface state is studied in detail, including circular persistent current, orbital magnetic moment, and chiral spin polarization. Surface states will be broken by a strong magnetic field and evolve into Landau levels gradually. Simple expressions are derived to describe the energy spectra and electronic properties of surface states both in the presence and absence of magnetic field. In addition, this study may help design a method to verify Weyl semimetal by separating out the signal of surface states since quantum dot has the largest surface-to-volume ratio.


title: Torsion table for the Lie algebra $\frak{nil}_n$

abstract: We study the Lie ring $\mathfrak{nil}_n$ of all strictly upper-triangular $n\!\times\!n$ matrices with entries in $\mathbb{Z}$. Its complete homology for $n\!\leq\!8$ is computed. We prove that every $p^m$-torsion appears in $H_\ast(\mathfrak{nil}_n;\mathbb{Z})$ for $p^m\!\leq\!n\!-\!2$. For $m\!=\!1$, Dwyer proved that the bound is sharp, i.e. there is no $p$-torsion in $H_\ast(\mathfrak{nil}_n;\mathbb{Z})$ when prime $p\!>\!n\!-\!2$. In general, for $m\!>\!1$ the bound is not sharp, as we show that there is $8$-torsion in $H_\ast(\mathfrak{nil}_8;\mathbb{Z})$. As a sideproduct, we derive the known result, that the ranks of the free part of $H_\ast(\mathfrak{nil}_n;\mathbb{Z})$ are the Mahonian numbers (=number of permutations of $[n]$ with $k$ inversions), using a different approach than Kostant. Furthermore, we determine the algebra structure (cup products) of $H^\ast(\mathfrak{nil}_n;\mathbb{Q})$.


title: Some results on the Mackenzie obstruction for transitive Lie algebroids

abstract: The preprint is prepared as description of results that were obtained during joint scientific project No: 71NC /2015/VNCCCT on the VIASM (Vietnam Institute for Advanced Study in Mathematics) from 08.12.2015 to 06.02.2016. The problem was formulated how to calculate so called the Mackenzie obstruction for existing of transitive Lie algebroid for given coupling between a finite dimensional Lie algebra and the tangent bundle of a smooth manifold. It is proved that the Mackenzie obstruction for transitive Lie algebroids is trivial for the finite dimensional Lie algebra which is the direct sum of the center and the subalgebra without the center.


title: Triple product p-adic L-functions associated to finite slope p-adic families of modular forms, with an appendix by Eric Urban

abstract: We p-adically interpolate the relative de Rham cohomology of the universal elliptic curve over strict neighbourhoods of the ordinary locus of modular curves, together with the Hodge filtration and Gauss-Manin connection. Sections of these sheaves provide the so called nearly overconvergent modular forms. This extends previous work of Andreatta, Iovita and Pilloni where we p-adically interpolate powers of the Hodge bundle and in that case the sections coincide with Coleman overconvergent modular forms. We also show that, under suitable assumptions, one can p-adically interpolate the Gauss-Manin connection. This is used to define p-adic L-functions attached to a triple of p-adic finite slope families of modular forms, generalizing previous constructions for Hida families.


title: Sequential testing for structural stability in approximate factor models

abstract: We develop a monitoring procedure to detect changes in a large approximate factor model. Letting $r$ be the number of common factors, we base our statistics on the fact that the $\left( r+1\right) $-th eigenvalue of the sample covariance matrix is bounded under the null of no change, whereas it becomes spiked under changes. Given that sample eigenvalues cannot be estimated consistently under the null, we randomise the test statistic, obtaining a sequence of \textit{i.i.d} statistics, which are used for the monitoring scheme. Numerical evidence shows a very small probability of false detections, and tight detection times of change-points.


title: Non-Adaptive Randomized Algorithm for Group Testing

abstract: We study the problem of group testing with a non-adaptive randomized algorithm in the random incidence design (RID) model where each entry in the test is chosen randomly independently from $\{0,1\}$ with a fixed probability $p$. The property that is sufficient and necessary for a unique decoding is the separability of the tests, but unfortunately no linear time algorithm is known for such tests. In order to achieve linear-time decodable tests, the algorithms in the literature use the disjunction property that gives almost optimal number of tests. We define a new property for the tests which we call semi-disjunction property. We show that there is a linear time decoding for such test and for $d\to \infty$ the number of tests converges to the number of tests with the separability property and is therefore optimal (in the RID model). Our analysis shows that, in the RID model, the number of tests in our algorithm is better than the one with the disjunction property even for small $d$.


title: Fractional powers of the parabolic Hermite operator. Regularity properties

abstract: Let $\mathcal{L}= \partial_t- \Delta_x+|x|^2$. Consider its Poisson semigroup $e^{-y\sqrt{\mathcal{L}}}$. For $\alpha >0$ define the Parabolic Hermite-Zygmund spaces $$ \Lambda^\alpha_{\mathcal{L}}=\left\{f: \:f\in L^\infty(\mathbb{R}^{n+1})\:\; {\rm and} \:\; \left\|\partial_y^k e^{-y\sqrt{\mathcal{L}}} f \right\|_{L^\infty(\mathbb{R}^{n+1})}\leq C_k y^{-k+\alpha},\;\: {\rm with }\, k=[\alpha]+1, y>0. \right\}, $$ with the obvious norm. It is shown that these spaces have a pointwise description of H\"older type. The fractional powers $\mathcal{L}^{\pm \beta}$ are well defined in these spaces and the following regularity properties are proved: \begin{eqnarray*} \alpha, \beta >0, \quad \|\mathcal{L}^{-\beta} f\|_{ \Lambda^{\alpha+2\beta}_{\mathcal{L}}}\le C \|f\|_{ \Lambda^\alpha_{\mathcal{L}}}. \end{eqnarray*} \begin{eqnarray*} 0< 2\beta < \alpha, \quad \|\mathcal{L}^\beta f\|_{\Lambda_{\mathcal{L}}^{\alpha-2\beta}}\le C \|f\|_{\Lambda^\alpha_{\mathcal{L}}}. \end{eqnarray*} Parallel results are obtained for the Hermite operator $- \Delta +|x|^2.$ The proofs use in a fundamental way the semigroup definition of the operators $\mathcal{L}^{\pm \beta}$ and $(-\Delta+|x|^2)^{\pm \beta}$. The non-convolution structure of the operators produce an extra difficulty of the arguments.


title: Time-dependent probability density functions and information geometry in stochastic logistic and Gompertz models

abstract: A probabilistic description is essential for understanding growth processes far from equilibrium. In this paper, we compute time-dependent Probability Density Functions (PDFs) in order to investigate stochastic logistic and Gompertz models, which are two of the most popular growth models. We consider different types of short-correlated internal (multiplicative) and external (additive) stochastic noises and compare the time-dependent PDFs in the two models, elucidating the effects of the additive and multiplicative noises on the form of PDFs. We demonstrate an interesting transition from a unimodal to a bimodal PDF as the multiplicative noise increases for a fixed value of the additive noise. A much weaker (leaky) attractor in the Gompertz model leads to a significant (singular) growth of the population of a very small size. We point out the limitation of using stationary PDFs, mean value and variance in understanding statistical properties of the growth far from equilibrium, highlighting the importance of time-dependent PDFs. We further compare these two models from the perspective of information change that occurs during the growth process. Specifically, we define an infinitesimal distance at any time by comparing two PDFs at times infinitesimally apart and sum these distances in time. The total distance along the trajectory quantifies the total number of different states that the system undergoes in time, and is called the information length. We show that the time-evolution of the two models become more similar when measured in units of the information length and point out the merit of using the information length in unifying and understanding the dynamic evolution of different growth processes.


title: The motivic nearby fiber and degeneration of stable rationality

abstract: We prove that stable rationality specializes in regular families whose fibers are integral and have at most ordinary double points as singularities. Our proof is based on motivic specialization techniques and the criterion of Larsen and Lunts for stable rationality in the Grothendieck ring of varieties.


title: Fractional exclusion and braid statistics in one dimension: a study via dimensional reduction of Chern-Simons theory

abstract: The relation between braid and exclusion statistics is examined in one-dimensional systems, within the framework of Chern-Simons statistical transmutation in gauge invariant form with an appropriate dimensional reduction. If the matter action is anomalous, as for chiral fermions, a relation between braid and exclusion statistics can be established explicitly for both mutual and nonmutual cases. However, if it is not anomalous, the exclusion statistics of emergent low energy excitations is not necessarily connected to the braid statistics of the physical charged fields of the system. Finally, we also discuss the bosonization of one-dimensional anyonic systems through T-duality.


title: Magnetized quark-gluon plasma at the LHC

abstract: In QCD, the strengths of the large scale temperature dependent chromomagnetic, $B_3, B_8$, and usual magnetic, $H$, fields spontaneously generated in quark-gluon plasma after the deconfinement phase transition (DPT), are estimated. The consistent at high temperature effective potential accounting for the one-loop plus daisy diagrams is used. The heavy ion collisions at the LHC and temperatures T not much higher than the phase transition temperature $T_d$ are considered. The critical temperature for the magnetized plasma is found to be $T_d(H)$ ~ $110 - 120$ MeV. This is essentially lower compared to the zero field value $T_d(H=0)$~ $160-180$ MeV usually discussed in the literature. Due to contribution of quarks, the color magnetic fields act as the sources generating H. The strengths of the fields are $B_3(T), B_8(T) \sim 10^{18} - 10^{19}G, H(T) \sim 10^{16} - 10^{17}G$ for temperatures T ~ 160 - 220 MeV. At temperatures $T < 110 - 120$ MeV the effective potential minimum value being negative approaches to zero. This is signaling the absence of the background fields and color confinement.


title: Diffusion and confusion of chaotic iteration based hash functions

abstract: To guarantee the integrity and security of data transmitted through the Internet, hash functions are fundamental tools. But recent researches have shown that security flaws exist in the most widely used hash functions. So a new way to improve their security performance is urgently demanded. In this article, we propose new hash functions based on chaotic iterations, which have chaotic properties as defined by Devaney. The corresponding diffusion and confusion analyzes are provided and a comparative study between the proposed hash functions is carried out, to make their use more applicable in any security context.


title: Search for new phenomena with large jet multiplicities and missing transverse momentum using large-radius jets and flavour-tagging at ATLAS in 13 TeV $pp$ collisions

abstract: A search is presented for particles that decay producing a large jet multiplicity and invisible particles. The event selection applies a veto on the presence of isolated electrons or muons and additional requirements on the number of b-tagged jets and the scalar sum of masses of large-radius jets. Having explored the full ATLAS 2015-2016 dataset of LHC proton-proton collisions at $\sqrt{s}=13~\mathrm{TeV}$, which corresponds to 36.1 fb$^{-1}$ of integrated luminosity, no evidence is found for physics beyond the Standard Model. The results are interpreted in the context of simplified models inspired by R-parity-conserving and R-parity-violating supersymmetry, where gluinos are pair-produced. More generic models within the phenomenological minimal supersymmetric Standard Model are also considered.


title: On the Whitney extension property for continuously differentiable horizontal curves in sub-Riemannian manifolds

abstract: In this article we study the validity of the Whitney $C^1$ extension property for horizontal curves in sub-Riemannian manifolds endowed with 1-jets that satisfy a first-order Taylor expansion compatibility condition. We first consider the equiregular case, where we show that the extension property holds true whenever a suitable non-singularity property holds for the input-output maps on the Carnot groups obtained by nilpotent approximation. We then discuss the case of sub-Riemannian manifolds with singular points and we show that all step-2 manifolds satisfy the $C^1$ extension property. We conclude by showing that the $C^1$ extension property implies a Lusin-like approximation theorem for horizontal curves on sub-Riemannian manifolds.


title: Modular categories are not determined by their modular data

abstract: Arbitrarily many pairwise inequivalent modular categories can share the same modular data. We exhibit a family of examples that are module categories over twisted Drinfeld doubles of finite groups, and thus in particular integral modular categories.


title: Cox ring of the generic fiber

abstract: Given a surjective morphism $\pi\colon X\to Y$ of normal varieties satisfying some regularity hypotheses we prove how to recover a Cox ring of the generic fiber of $\pi$ from the Cox ring of $X$. As a corollary we show that in some cases it is also possible to recover the Cox ring of a very general fiber, and finally we give an application in the case of the blowing-up of a toric fiber space.


title: Impacts of Culture and Socio-Economic Circumstances on Users' Behavior and Mobile Broadband Technology Diffusion Trends

abstract: The use of Internet and Internet-based services on PCs, Laptops, Net Pads, Mobile Phones, PDAs etc have not only changed the global economy but also the way people communicate and their life styles. It also has evolved people from different origins, cultures, beliefs across the national boundaries. As a result it has become an absolute necessity to address the cross-cultural issues of information systems (IS) reflecting the user behaviours and influencing the way the mobile broadband technology is being accepted as well as the way it is changing the life styles of different groups of people. This paper reports on an on-going research effort which studies the impacts of culture and socio-economic circumstances on users' behavior and mobile broadband technology diffusion trends.


title: Contact-Induced Semiconductor-to-Metal Transition in Single-Layer WS$_2$

abstract: Low-resistance ohmic contacts are a challenge for electronic devices based on two-dimensional materials. We show that an atomically precise junction between a two-dimensional semiconductor and a metallic contact can lead to a semiconductor-to-metal transition in the two-dimensional material--a finding which points the way to a possible method of achieving low-resistance junctions. Specifically, single-layer WS$_2$ undergoes a semiconductor-to-metal transition when epitaxially grown on Ag(111), while it remains a direct band gap semiconductor on Au(111). The metallicity of the single layer on Ag(111) is established by lineshape analysis of core level photoemission spectra. Angle-resolved photoemission spectroscopy locates the metallic states near the Q point of the WS$_2$ Brillouin zone. Density functional theory calculations show that the metallic states arise from hybridization between Ag bulk bands and the local conduction band minimum of WS$_2$ near the Q point.


title: Enormous sample scale-up from nanoliter to microliter in high field liquid state dynamic nuclear polarization

abstract: Dynamic nuclear polarization (DNP) enhances nuclear magnetic resonance (NMR) signals by transferring electron spin polarization to nuclei. As DNP requires microwave magnetic fields B1 strong enough to saturate electron spins, microwave resonators are generally used to achieve a sufficient B1, at the expense of restricting the sample size. Higher fields improve NMR sensitivity and resolution. However, resonators at 9 T for example can only hold nano-liters (nL). Larger volumes are possible by avoiding resonators, but the higher power needed to reach B1 is likely to evaporate the sample. Here, we demonstrate a breakthrough in liquid state DNP at 9 T, boosting the sample size to the microliter range. We could use high-power (70 W) microwaves thanks to a planar probe designed to alleviate dielectric heating. We enhanced the 1H NMR signal intensity of 2 uL of liquid water by a factor of 14, while maintaining the water temperature below 40 degree Celsius.


title: Safety Verification of Phaser Programs

abstract: We address the problem of statically checking control state reachability (as in possibility of assertion violations, race conditions or runtime errors) and plain reachability (as in deadlock-freedom) of phaser programs. Phasers are a modern non-trivial synchronization construct that supports dynamic parallelism with runtime registration and deregistration of spawned tasks. They allow for collective and point-to-point synchronizations. For instance, phasers can enforce barriers or producer-consumer synchronization schemes among all or subsets of the running tasks. Implementations %of these recent and dynamic synchronization are found in modern languages such as X10 or Habanero Java. Phasers essentially associate phases to individual tasks and use their runtime values to restrict possible concurrent executions. Unbounded phases may result in infinite transition systems even in the case of programs only creating finite numbers of tasks and phasers. We introduce an exact gap-order based procedure that always terminates when checking control reachability for programs generating bounded numbers of coexisting tasks and phasers. We also show verifying plain reachability is undecidable even for programs generating few tasks and phasers. We then explain how to turn our procedure into a sound analysis for checking plain reachability (including deadlock freedom). We report on preliminary experiments with our open source tool.


title: Tame discrete subsets in Stein manifolds

abstract: For discrete subsets in ${\bf C}^n$ the notion of being "tame" was defined by Rosay and Rudin. We propose a general definition of "tameness" for arbitrary complex manifolds and show that many results classically known for ${\bf C}^n$ may be generalized to semisimple complex Lie groups. For example, every permutation of $SL(2,{\bf Z})$ extends to a biholomorphic self-map of $SL(2,{\bf C}$.


title: Localization in the Rindler Wedge

abstract: One of the striking features of QED is that charged particles create a coherent cloud of photons. The resultant coherent state vectors of photons generate a non-trivial representation of the localized algebra of observables that do not support a representation of the Lorentz group: Lorentz symmetry is spontaneously broken. We show in particular that Lorentz boost generators diverge in this representation, a result shown also in [1] (See also [2]). Localization of observables, for example in the Rindler wedge, uses Poincar\'e invariance in an essential way [3]. Hence in the presence of charged fields, the photon observables cannot be localized in the Rindler wedge. These observations may have a bearing on the black hole information loss paradox, as the physics in the exterior of the black hole has points of resemblance to that in the Rindler wedge.


title: Interfacial tension of reactive, liquid interfaces and its consequences

abstract: Dispersions of immiscible liquids, such as emulsions and polymer blends, are at the core of many industrial applications which makes the understanding of their properties (morphology, stability, etc.) of great interest. A wide range of these properties depend on interfacial phenomena, whose understanding is therefore of particular importance. The behaviour of interfacial tension in emulsions and polymer blends is well-understood -both theoretically and experimentally -in the case of non-reactive stabilization processes using pre-made surfactants. However, this description of the interfacial tension behaviour in reactive systems, where the stabilizing agents are created in-situ (and which is more efficient as a stabilization route for many systems), does not yet find a consensus amongst the community. In this review, we compare the different theories which have been developed for non-reactive and for reactive systems, and we discuss their ability to capture the behaviour found experimentally. Finally, we address the consequences of the reactive stabilization process both on the global emulsions or polymer blend morphologies and at the interfacial scale.


title: Two Ramond-Ramond corrections to type II supergravity via field-theory amplitude

abstract: Motivated by the standard form of string-theory amplitude, we calculate the field-theory amplitude to complete the higher-derivative terms in type II supergravity theories in their conventional form. We derive explicitly the $ O(\alpha'^3) $ interactions for the RR (Ramond-Ramond) fields with graviton, B-field and dilaton in the low-energy effective action of type II superstrings. We check our results by comparison with previous works that have been done by the other methods, and find an exact agreement.