title: Privacy-Preserving Visual Learning Using Doubly Permuted Homomorphic Encryption

abstract: We propose a privacy-preserving framework for learning visual classifiers by leveraging distributed private image data. This framework is designed to aggregate multiple classifiers updated locally using private data and to ensure that no private information about the data is exposed during and after its learning procedure. We utilize a homomorphic cryptosystem that can aggregate the local classifiers while they are encrypted and thus kept secret. To overcome the high computational cost of homomorphic encryption of high-dimensional classifiers, we (1) impose sparsity constraints on local classifier updates and (2) propose a novel efficient encryption scheme named doubly-permuted homomorphic encryption (DPHE) which is tailored to sparse high-dimensional data. DPHE (i) decomposes sparse data into its constituent non-zero values and their corresponding support indices, (ii) applies homomorphic encryption only to the non-zero values, and (iii) employs double permutations on the support indices to make them secret. Our experimental evaluation on several public datasets shows that the proposed approach achieves comparable performance against state-of-the-art visual recognition methods while preserving privacy and significantly outperforms other privacy-preserving methods.


title: The set of stable primes for polynomial sequences with large Galois group

abstract: Let $K$ be a number field with ring of integers $\mathcal O_K$, and let $\{f_k\}_{k\in \mathbb N}\subseteq \mathcal O_K[x]$ be a sequence of monic polynomials such that for every $n\in \mathbb N$, the composition $f^{(n)}=f_1\circ f_2\circ\ldots\circ f_n$ is irreducible. In this paper we show that if the size of the Galois group of $f^{(n)}$ is large enough (in a precise sense) as a function of $n$, then the set of primes $\mathfrak p\subseteq\mathcal O_K$ such that every $f^{(n)}$ is irreducible modulo $\mathfrak p$ has density zero. Moreover, we prove that the subset of polynomial sequences such that the Galois group of $f^{(n)}$ is large enough has density 1, in an appropriate sense, within the set of all polynomial sequences.


title: High-Quality Correspondence and Segmentation Estimation for Dual-Lens Smart-Phone Portraits

abstract: Estimating correspondence between two images and extracting the foreground object are two challenges in computer vision. With dual-lens smart phones, such as iPhone 7Plus and Huawei P9, coming into the market, two images of slightly different views provide us new information to unify the two topics. We propose a joint method to tackle them simultaneously via a joint fully connected conditional random field (CRF) framework. The regional correspondence is used to handle textureless regions in matching and make our CRF system computationally efficient. Our method is evaluated over 2,000 new image pairs, and produces promising results on challenging portrait images.


title: DeepCoder: Semi-parametric Variational Autoencoders for Automatic Facial Action Coding

abstract: Human face exhibits an inherent hierarchy in its representations (i.e., holistic facial expressions can be encoded via a set of facial action units (AUs) and their intensity). Variational (deep) auto-encoders (VAE) have shown great results in unsupervised extraction of hierarchical latent representations from large amounts of image data, while being robust to noise and other undesired artifacts. Potentially, this makes VAEs a suitable approach for learning facial features for AU intensity estimation. Yet, most existing VAE-based methods apply classifiers learned separately from the encoded features. By contrast, the non-parametric (probabilistic) approaches, such as Gaussian Processes (GPs), typically outperform their parametric counterparts, but cannot deal easily with large amounts of data. To this end, we propose a novel VAE semi-parametric modeling framework, named DeepCoder, which combines the modeling power of parametric (convolutional) and nonparametric (ordinal GPs) VAEs, for joint learning of (1) latent representations at multiple levels in a task hierarchy1, and (2) classification of multiple ordinal outputs. We show on benchmark datasets for AU intensity estimation that the proposed DeepCoder outperforms the state-of-the-art approaches, and related VAEs and deep learning models.


title: Introducing Inner Nested Sampling

abstract: In this paper we will give a Monte Carlo algorithm by which the moments of a functions of Dirichlet probability distributions can be estimated. This algorithm is called Inner Nested Sampling and is an implementation of Skilling's general Nested Sampling framework.


title: Giant Zeeman splitting inducing near-unity valley polarization in van der Waals heterostructures

abstract: Monolayers of semiconducting transition metal dichalcogenides exhibit intriguing fundamental physics of strongly coupled spin and valley degrees of freedom for charge carriers. While the possibility of exploiting these properties for information processing stimulated concerted research activities towards the concept of valleytronics , maintaining control over spin-valley polarization proved challenging in individual monolayers. A promising alternative route explores type II band alignment in artificial van der Waals heterostructures. The resulting formation of interlayer excitons combines the advantages of long carrier lifetimes and spin-valley locking . Here, we demonstrate direct magnetic manipulation of valley polarization in a WSe2/MoSe2 heterostructure through giant valley Zeeman splitting of interlayer transitions. Remarkably, even after non-selective injection, the observed $g$ factor as large as $-15$ induces near-unity polarization of long-lived excitons with 100 ns lifetimes under magnetic fields. The demonstrated control of the spin-valley physics highlights the exceptional aspects of novel, artificially designed material systems and their promise for atomically-thin valleytronic devices.


title: Another proof of the local curvature estimate for the Ricci flow

abstract: By using the De Giorgi iteration method we will give a new simple proof of the recent result of B.Kotschwar, O.Munteanu, J.Wang [KMW] and N.Sesum [S] on the local boundedness of the Riemmanian curvature tensor of solutions of Ricci flow in terms of its inital value on a given ball and a local uniform bound on the Ricci curvature.


title: A study of jet mass distributions with grooming

abstract: We perform a phenomenological study of the invariant mass distribution of hadronic jets produced in proton-proton collisions, in conjunction a grooming algorithm. In particular, we consider the modified MassDrop Tagger (mMDT), which corresponds to Soft Drop with angular exponent $\beta=0$. Our calculation, which is differential in both jet mass and jet transverse momentum, resums large logarithms of the jet mass, including the full dependence on the groomer's energy threshold $z_\text{cut}$, and it is matched to fixed-order QCD matrix elements at next-to-leading order. In order to account for non-perturbative contributions, originating from the hadronisation process and from the underlying event, we also include a phenomenological correction factor derived from Monte Carlo parton-shower simulations. Furthermore, we consider two different possibilities for the jet transverse momentum: before or after grooming. We show that the former should be preferred for comparisons with upcoming experimental data essentially because the mMDT transverse momentum spectrum is not collinear safe.


title: Normalization of zero-inflated data: An empirical analysis of a new indicator family

abstract: Recently, two new indicators (Equalized Mean-based Normalized Proportion Cited, EMNPC, and Mean-based Normalized Proportion Cited, MNPC) were proposed which are intended for sparse data. We propose a third indicator (Mantel-Haenszel quotient, MHq) belonging to the same indicator family. The MHq is based on the MH analysis - an established method for polling the data from multiple 2x2 contingency tables based on different subgroups. We test (using citations and assessments by peers) if the three indicators can distinguish between different quality levels as defined on the basis of the assessments by peers (convergent validity). We find that the indicator MHq is able to distinguish between the quality levels in most cases while MNPC and EMNPC are not.


title: On Bousfield's problem for solvable groups of finite Pr\"ufer rank

abstract: For a group $G$ and $R=\mathbb Z,\mathbb Z/p,\mathbb Q$ we denote by $\hat G_R$ the $R$-completion of $G.$ We study the map $H_n(G,K)\to H_n(\hat G_R,K),$ where $(R,K)=(\mathbb Z,\mathbb Z/p),(\mathbb Z/p,\mathbb Z/p),(\mathbb Q,\mathbb Q).$ We prove that $H_2(G,K)\to H_2(\hat G_R,K)$ is an epimorphism for a finitely generated solvable group $G$ of finite Pr\"ufer rank. In particular, Bousfield's $HK$-localisation of such groups coincides with the $K$-completion for $K=\mathbb Z/p,\mathbb Q.$ Moreover, we prove that $H_n(G,K)\to H_n(\hat G_R,K)$ is an epimorphism for any $n$ if $G$ is a finitely presented group of the form $G=M\rtimes C,$ where $C$ is the infinite cyclic group and $M$ is a $C$-module.


title: A Joint Quantile and Expected Shortfall Regression Framework

abstract: We introduce a novel regression framework which simultaneously models the quantile and the Expected Shortfall (ES) of a response variable given a set of covariates. This regression is based on a strictly consistent loss function for the pair quantile and ES, which allows for M- and Z-estimation of the joint regression parameters. We show consistency and asymptotic normality for both estimators under weak regularity conditions. The underlying loss function depends on two specification functions, whose choice affects the properties of the resulting estimators. We find that the Z-estimator is numerically unstable and thus, we rely on M-estimation of the model parameters. Extensive simulations verify the asymptotic properties and analyze the small sample behavior of the M-estimator for different specification functions. This joint regression framework allows for various applications including estimating, forecasting, and backtesting ES, which is particularly relevant in light of the recent introduction of ES into the Basel Accords.


title: Some extensions of the operator entropy type inequalities

abstract: In this paper, we establish some reverses of the operator entropy inequalities under certain conditions by using the Mond-Pe\v{c}ari\'c method. In particular, we present {\tiny \begin{align*} f&\left[\int_T(A_s\natural_{p+1}B_s)d\mu(s)+t_0\left(I_{\mathscr H}-\int_TA_s\natural_pB_sd\mu(s)\right)\right]-\gamma_ff(t_0)\left(I_{\mathscr H}-\int_TA_s\natural_pB_sd\mu(s)\right)\nonumber\\ &\le \gamma_f\widetilde{S}_p^f(\mathbf{A}|\mathbf{B})\,, \end{align*}} where $T$ is a locally compact Hausdorff space and $\mu$ is a Radon measure on $T$, $0<m A_s \leq B_s \leq M A_s\,\,(s\in T)$ for some positive real numbers $m, M$ such that $m<1<M$, $\int_TA_s=\int_TB_s=I_{\mathscr H}$, $f: (0,\infty) \to [0,\infty)$ be operator concave, $\gamma_f=\max\left\{\frac{f(t)}{\mu_f t+\nu_f}: m\leq t\leq M,\mu_f=\frac{f(M)-f(m)}{M-m}, \nu_f=\frac{Mf(m)-mf(M)}{M-m}\right\}$, $t_0\in[m,M]$, $p\in[0,1]$, and $$ \widetilde{S}_p^f(\mathbf{A}|\mathbf{B})=\int_TA_s^{\frac{1}{2}}\left(A_s^{-\frac{1}{2}}B_sA_s^{-\frac{1}{2}}\right)^p f\left(A_s^{-\frac{1}{2}}B_sA_s^{-\frac{1}{2}}\right)A_s^{\frac{1}{2}}d\mu(s)\,. $$


title: EELECTION at SemEval-2017 Task 10: Ensemble of nEural Learners for kEyphrase ClassificaTION

abstract: This paper describes our approach to the SemEval 2017 Task 10: "Extracting Keyphrases and Relations from Scientific Publications", specifically to Subtask (B): "Classification of identified keyphrases". We explored three different deep learning approaches: a character-level convolutional neural network (CNN), a stacked learner with an MLP meta-classifier, and an attention based Bi-LSTM. From these approaches, we created an ensemble of differently hyper-parameterized systems, achieving a micro-F1-score of 0.63 on the test data. Our approach ranks 2nd (score of 1st placed system: 0.64) out of four according to this official score. However, we erroneously trained 2 out of 3 neural nets (the stacker and the CNN) on only roughly 15% of the full data, namely, the original development set. When trained on the full data (training+development), our ensemble has a micro-F1-score of 0.69. Our code is available from https://github.com/UKPLab/semeval2017-scienceie.


title: OBTAIN: Real-Time Beat Tracking in Audio Signals

abstract: In this paper, we design a system in order to perform the real-time beat tracking for an audio signal. We use Onset Strength Signal (OSS) to detect the onsets and estimate the tempos. Then, we form Cumulative Beat Strength Signal (CBSS) by taking advantage of OSS and estimated tempos. Next, we perform peak detection by extracting the periodic sequence of beats among all CBSS peaks. In simulations, we can see that our proposed algorithm, Online Beat TrAckINg (OBTAIN), outperforms state-of-art results in terms of prediction accuracy while maintaining comparable and practical computational complexity. The real-time performance is tractable visually as illustrated in the simulations.


title: Spin wave propagation and spin polarized electron transport in single crystal iron films

abstract: The technique of propagating spin wave spectroscopy is applied to a 20 nm thick Fe/MgO (001) film. The magnetic parameters extracted from the position of the resonance peaks are very close to those tabulated for bulk iron. From the propagating waveforms, a group velocity of 4 km/s and an attenuation length of about 6 micrometers are extracted for 1.6 micrometers-wavelength spin-wave at 18 GHz. From the measured current-induced spin-wave Doppler shift, we also extract a surprisingly high degree of spin-polarization of the current of 83%. This set of results makes single-crystalline iron a promising candidate for building devices utilizing high frequency spin-waves and spin-polarized currents.


title: Investigating Natural Image Pleasantness Recognition using Deep Features and Eye Tracking for Loosely Controlled Human-computer Interaction

abstract: This paper revisits recognition of natural image pleasantness by employing deep convolutional neural networks and affordable eye trackers. There exist several approaches to recognize image pleasantness: (1) computer vision, and (2) psychophysical signals. For natural images, computer vision approaches have not been as successful as for abstract paintings and is lagging behind the psychophysical signals like eye movements. Despite better results, the scalability of eye movements is adversely affected by the sensor cost. While the introduction of affordable sensors have helped the scalability issue by making the sensors more accessible, the application of such sensors in a loosely controlled human-computer interaction setup is not yet studied for affective image tagging. On the other hand, deep convolutional neural networks have boosted the performance of vision-based techniques significantly in recent years. To investigate the current status in regard to affective image tagging, we (1) introduce a new eye movement dataset using an affordable eye tracker, (2) study the use of deep neural networks for pleasantness recognition, (3) investigate the gap between deep features and eye movements. To meet these ends, we record eye movements in a less controlled setup, akin to daily human-computer interaction. We assess features from eye movements, visual features, and their combination. Our results show that (1) recognizing natural image pleasantness from eye movement under less restricted setup is difficult and previously used techniques are prone to fail, and (2) visual class categories are strong cues for predicting pleasantness, due to their correlation with emotions, necessitating careful study of this phenomenon. This latter finding is alerting as some deep learning approaches may fit to the class category bias.


title: Adaptive quadrature by expansion for layer potential evaluation in two dimensions

abstract: When solving partial differential equations using boundary integral equation methods, accurate evaluation of singular and nearly singular integrals in layer potentials is crucial. A recent scheme for this is quadrature by expansion (QBX), which solves the problem by locally approximating the potential using a local expansion centered at some distance from the source boundary. In this paper we introduce an extension of the QBX scheme in 2D denoted AQBX - adaptive quadrature by expansion - which combines QBX with an algorithm for automated selection of parameters, based on a target error tolerance. A key component in this algorithm is the ability to accurately estimate the numerical errors in the coefficients of the expansion. Combining previous results for flat panels with a procedure for taking the panel shape into account, we derive such error estimates for arbitrarily shaped boundaries in 2D that are discretized using panel-based Gauss-Legendre quadrature. Applying our scheme to numerical solutions of Dirichlet problems for the Laplace and Helmholtz equations, and also for solving these equations, we find that the scheme is able to satisfy a given target tolerance to within an order of magnitude, making it useful for practical applications. This represents a significant simplification over the original QBX algorithm, in which choosing a good set of parameters can be hard.


title: Semi-Parametric Empirical Best Prediction for small area estimation of unemployment indicators

abstract: The Italian National Institute for Statistics regularly provides estimates of unemployment indicators using data from the Labor Force Survey. However, direct estimates of unemployment incidence cannot be released for Local Labor Market Areas. These are unplanned domains defined as clusters of municipalities; many are out-of-sample areas and the majority is characterized by a small sample size, which render direct estimates inadequate. The Empirical Best Predictor represents an appropriate, model-based, alternative. However, for non-Gaussian responses, its computation and the computation of the analytic approximation to its Mean Squared Error require the solution of (possibly) multiple integrals that, generally, have not a closed form. To solve the issue, Monte Carlo methods and parametric bootstrap are common choices, even though the computational burden is a non trivial task. In this paper, we propose a Semi-Parametric Empirical Best Predictor for a (possibly) non-linear mixed effect model by leaving the distribution of the area-specific random effects unspecified and estimating it from the observed data. This approach is known to lead to a discrete mixing distribution which helps avoid unverifiable parametric assumptions and heavy integral approximations. We also derive a second-order, bias-corrected, analytic approximation to the corresponding Mean Squared Error. Finite sample properties of the proposed approach are tested via a large scale simulation study. Furthermore, the proposal is applied to unit-level data from the 2012 Italian Labor Force Survey to estimate unemployment incidence for 611 Local Labor Market Areas using auxiliary information from administrative registers and the 2011 Census.


title: Multiqubit Greenberger-Horne-Zeilinger state generated by synthetic magnetic field in circuit QED

abstract: We propose a scheme to generate Greenberger-Horne-Zeilinger (GHZ) state for N superconducting qubits in a circuit QED system. By sinusoidally modulating the qubit-qubit coupling, a synthetic magnetic field has been made which broken the time-reversal symmetry of the system. Directional rotation of qubit excitation can be realized in a three-qubit loop under the artificial magnetic field. Based on the special quality that the rotation of qubit excitation has different direction for single- and double-excitation loops, we can generate three-qubit GHZ state and extend this preparation method to arbitrary multiqubit GHZ state. Our analysis also shows that the scheme is robust to various operation errors and environmental noise.


title: MOMA: Visual Mobile Marker Odometry

abstract: In this paper, we present a cooperative odometry scheme based on the detection of mobile markers in line with the idea of cooperative positioning for multiple robots [1]. To this end, we introduce a simple optimization scheme that realizes visual mobile marker odometry via accurate fixed marker-based camera positioning and analyse the characteristics of errors inherent to the method compared to classical fixed marker-based navigation and visual odometry. In addition, we provide a specific UAV-UGV configuration that allows for continuous movements of the UAV without doing stops and a minimal caterpillar-like configuration that works with one UGV alone. Finally, we present a real-world implementation and evaluation for the proposed UAV-UGV configuration.


title: An Overview of Cross-media Retrieval: Concepts, Methodologies, Benchmarks and Challenges

abstract: Multimedia retrieval plays an indispensable role in big data utilization. Past efforts mainly focused on single-media retrieval. However, the requirements of users are highly flexible, such as retrieving the relevant audio clips with one query of image. So challenges stemming from the "media gap", which means that representations of different media types are inconsistent, have attracted increasing attention. Cross-media retrieval is designed for the scenarios where the queries and retrieval results are of different media types. As a relatively new research topic, its concepts, methodologies and benchmarks are still not clear in the literatures. To address these issues, we review more than 100 references, give an overview including the concepts, methodologies, major challenges and open issues, as well as build up the benchmarks including datasets and experimental results. Researchers can directly adopt the benchmarks to promptly evaluate their proposed methods. This will help them to focus on algorithm design, rather than the time-consuming compared methods and results. It is noted that we have constructed a new dataset XMedia, which is the first publicly available dataset with up to five media types (text, image, video, audio and 3D model). We believe this overview will attract more researchers to focus on cross-media retrieval and be helpful to them.


title: Hand3D: Hand Pose Estimation using 3D Neural Network

abstract: We propose a novel 3D neural network architecture for 3D hand pose estimation from a single depth image. Different from previous works that mostly run on 2D depth image domain and require intermediate or post process to bring in the supervision from 3D space, we convert the depth map to a 3D volumetric representation, and feed it into a 3D convolutional neural network(CNN) to directly produce the pose in 3D requiring no further process. Our system does not require the ground truth reference point for initialization, and our network architecture naturally integrates both local feature and global context in 3D space. To increase the coverage of the hand pose space of the training data, we render synthetic depth image by transferring hand pose from existing real image datasets. We evaluation our algorithm on two public benchmarks and achieve the state-of-the-art performance. The synthetic hand pose dataset will be available.


title: Noncommutative fields and the short-scale structure of spacetime

abstract: There is a growing evidence that due to quantum gravity effects the effective spacetime dimensionality might change in the UV. In this letter we investigate this hypothesis by using quantum fields to derive the UV behaviour of the static, two point sources potential. We mimic quantum gravity effects by using non-commutative fields associated to a Lie group momentum space with a Planck mass curvature scale. We find that the static potential becomes finite in the short-distance limit. This indicates that quantum gravity effects lead to a dimensional reduction in the UV or, alternatively, that point-like sources are effectively smoothed out by the Planck scale features of the non-commutative quantum fields.


title: Stable Grothendieck Rings of Wreath Product Categories

abstract: Let $k$ be an algebraically closed field of characteristic zero, and let $\mathcal{C} = \mathcal{R}-mod$ be the category of finite-dimensional modules over a fixed Hopf algebra over $k$. One may form the wreath product categories $\mathcal{W}_{n}(\mathcal{C}) = (\mathcal{R} \wr S_n)-mod$ whose Grothendieck groups inherit the structure of a ring. Fixing distinguished generating sets (called basic hooks) of the Grothendieck rings, the classification of the simple objects in $\mathcal{W}_{n}(\mathcal{C})$ allows one to demonstrate stability of structure constants in the Grothendieck rings (appropriately understood), and hence define a limiting Grothendieck ring. This ring is the Grothendieck ring of the wreath product Deligne category $S_t(\mathcal{C})$. We give a presentation of the ring and an expression for the distinguished basis arising from simple objects in the wreath product categories as polynomials in basic hooks. We discuss some applications when $\mathcal{R}$ is the group algebra of a finite group, and some results about stable Kronecker coefficients. Finally, we explain how to generalise to the setting where $\mathcal{C}$ is a tensor category.


title: Training Triplet Networks with GAN

abstract: Triplet networks are widely used models that are characterized by good performance in classification and retrieval tasks. In this work we propose to train a triplet network by putting it as the discriminator in Generative Adversarial Nets (GANs). We make use of the good capability of representation learning of the discriminator to increase the predictive quality of the model. We evaluated our approach on Cifar10 and MNIST datasets and observed significant improvement on the classification performance using the simple k-nn method.


title: Effect of electromagnetic permeability on transition temperature of superconductivity

abstract: The description of superconductivity at high temperature is a problem that has recently been addressed. Transition temperature of superconductivity, $T_c$, depends on the lattice structure type, size, and room pressure. In super-lattices and low dimensional layered nanostructures, $T_c$ is increased, by increasing the complexity of the structure and internal pressures in solid lattice. In this paper, we investigate the relation between physical parameters ($\epsilon, \mu$) of matter and superconductivity properties as well as transition temperature ($T_c$), and explain the superconductivity at high temperature. In this study, a semi-classical electromagnetic description along with vortex topologic theory and quantum dynamic models with experimental data considered to justify the relation between superconductivity phenomena and magnetic monopole properties. We find that the electromagnetic energy of magnetic monopole is in agreement with vortex energy in topological theory and it can get close to thermal energy at high temperature. These models suggest the superconductivity is related to the mobile monopole or vortices. we show that the electrical permittivity ($\epsilon$) and magnetic permeability ($\mu$) of matter have a key role in the superconductive properties.


title: Spin current and second harmonic generation in non-collinear magnetic systems: the hydrodynamic model

abstract: We report a theoretical study of the second harmonic generation in a noncollinearly magnetized conductive medium with equilibrium spin current. The hydrodynamic model is used to unravel the mechanism of a novel effect of the double frequency signal generation due to the spin current. According to our calculations, this second harmonic response appears due to the "non-adiabatic" spin polarization of the conduction electrons induced by the oscillations in the non-uniform magnetization forced by the electric field of the electromagnetic wave. Together with the linear velocity response this leads to the generation of the double frequency spin current. This spin current is converted to the electric current via the inverse Spin Hall effect, and the double-frequency electric current emits the second harmonic radiation.


title: Coherence for lenses and open games

abstract: Categories of polymorphic lenses in computer science, and of open games in compositional game theory, have a curious structure that is reminiscent of compact closed categories, but differs in some crucial ways. Specifically they have a family of morphisms that behave like the counits of a compact closed category, but have no corresponding units; and they have a `partial' duality that behaves like transposition in a compact closed category when it is defined. We axiomatise this structure, which we refer to as a `teleological category'. We precisely define a diagrammatic language suitable for these categories, and prove a coherence theorem for them. This underpins the use of diagrammatic reasoning in compositional game theory, which has previously been used only informally.


title: Clothing and People - A Social Signal Processing Perspective

abstract: In our society and century, clothing is not anymore used only as a means for body protection. Our paper builds upon the evidence, studied within the social sciences, that clothing brings a clear communicative message in terms of social signals, influencing the impression and behaviour of others towards a person. In fact, clothing correlates with personality traits, both in terms of self-assessment and assessments that unacquainted people give to an individual. The consequences of these facts are important: the influence of clothing on the decision making of individuals has been investigated in the literature, showing that it represents a discriminative factor to differentiate among diverse groups of people. Unfortunately, this has been observed after cumbersome and expensive manual annotations, on very restricted populations, limiting the scope of the resulting claims. With this position paper, we want to sketch the main steps of the very first systematic analysis, driven by social signal processing techniques, of the relationship between clothing and social signals, both sent and perceived. Thanks to human parsing technologies, which exhibit high robustness owing to deep learning architectures, we are now capable to isolate visual patterns characterising a large types of garments. These algorithms will be used to capture statistical relations on a large corpus of evidence to confirm the sociological findings and to go beyond the state of the art.


title: Rapid Mixing Swendsen-Wang Sampler for Stochastic Partitioned Attractive Models

abstract: The Gibbs sampler is a particularly popular Markov chain used for learning and inference problems in Graphical Models (GMs). These tasks are computationally intractable in general, and the Gibbs sampler often suffers from slow mixing. In this paper, we study the Swendsen-Wang dynamics which is a more sophisticated Markov chain designed to overcome bottlenecks that impede the Gibbs sampler. We prove O(\log n) mixing time for attractive binary pairwise GMs (i.e., ferromagnetic Ising models) on stochastic partitioned graphs having n vertices, under some mild conditions, including low temperature regions where the Gibbs sampler provably mixes exponentially slow. Our experiments also confirm that the Swendsen-Wang sampler significantly outperforms the Gibbs sampler when they are used for learning parameters of attractive GMs.


title: State-to-state chemistry and rotational excitation of CH$^+$ in photon-dominated regions

abstract: We present a detailed theoretical study of the rotational excitation of CH$^+$ due to reactive and nonreactive collisions involving C$^+(^2P)$, H$_2$, CH$^+$, H and free electrons. Specifically, the formation of CH$^+$ proceeds through the reaction between C$^+(^2P)$ and H$_2(\nu_{\rm H_2}=1, 2)$, while the collisional (de)excitation and destruction of CH$^+$ is due to collisions with hydrogen atoms and free electrons. State-to-state and initial-state-specific rate coefficients are computed in the kinetic temperature range 10-3000~K for the inelastic, exchange, abstraction and dissociative recombination processes using accurate potential energy surfaces and the best scattering methods. Good agreement, within a factor of 2, is found between the experimental and theoretical thermal rate coefficients, except for the reaction of CH$^+$ with H atoms at kinetic temperatures below 50~K. The full set of collisional and chemical data are then implemented in a radiative transfer model. Our Non-LTE calculations confirm that the formation pumping due to vibrationally excited H$_2$ has a substantial effect on the excitation of CH$^+$ in photon-dominated regions. In addition, we are able to reproduce, within error bars, the far-infrared observations of CH$^+$ toward the Orion Bar and the planetary nebula NGC~7027. Our results further suggest that the population of $\nu_{\rm H_2}=2$ might be significant in the photon-dominated region of NGC~7027.


title: On the number of perfect lattices

abstract: We show that the number $p\_d$ of non-similar perfect $d$-dimensional lattices satisfies eventually the inequalities$e^{d^{1-\epsilon}}<p\_d<e^{d^{3+\epsilon}}$ for arbitrary smallstrictly positive $\epsilon$.


title: Universal feedback control of two-qubit entanglement

abstract: We consider two-qubit undergoing local dissipation and subject to local driving. We then determine the optimal Markovian feedback action to preserve initial entanglement as well as to create stationary entanglement with the help of an XY interaction Hamiltonian. Such feedback actions are worked out in a way not depending on the initial two-qubit state, whence called universal.


title: What Constitutes Peer Review of Data: A survey of published peer review guidelines

abstract: Since a number of journals specifically focus on the review and publication of data sets, reviewing their policies seems an appropriate place to start in assessing what existing practice looks like in the 'real world' of reviewing and publishing data. This article outlines a study of the publicly available peer review policies of 39 scientific publications that publish data papers to discern which criteria are most and least frequently referenced. It also compares current practice with proposed criteria published in 2012.


title: On the First-Order Complexity of Induced Subgraph Isomorphism

abstract: Given a graph $F$, let $I(F)$ be the class of graphs containing $F$ as an induced subgraph. Let $W[F]$ denote the minimum $k$ such that $I(F)$ is definable in $k$-variable first-order logic. The recognition problem of $I(F)$, known as Induced Subgraph Isomorphism (for the pattern graph $F$), is solvable in time $O(n^{W[F]})$. Motivated by this fact, we are interested in determining or estimating the value of $W[F]$. Using Olariu's characterization of paw-free graphs, we show that $I(K_3+e)$ is definable by a first-order sentence of quantifier depth 3, where $K_3+e$ denotes the paw graph. This provides an example of a graph $F$ with $W[F]$ strictly less than the number of vertices in $F$. On the other hand, we prove that $W[F]=4$ for all $F$ on 4 vertices except the paw graph and its complement. If $F$ is a graph on $t$ vertices, we prove a general lower bound $W[F]>(1/2-o(1))t$, where the function in the little-o notation approaches 0 as $t$ inreases. This bound holds true even for a related parameter $W^*[F]\le W[F]$, which is defined as the minimum $k$ such that $I(F)$ is definable in the infinitary logic $L^k_{\infty\omega}$. We show that $W^*[F]$ can be strictly less than $W[F]$. Specifically, $W^*[P_4]=3$ for $P_4$ being the path graph on 4 vertices. Using the lower bound for $W[F]$, we also obtain a succintness result for existential monadic second-order logic: A usage of just one monadic quantifier sometimes reduces the first-order quantifier depth at a super-recursive rate.


title: Converting of algebraic Diophantine equations to a diagonal form with the help of generalized integer orthogonal transformation, maintaining the asymptotic behavior of the number of its integer solutions

abstract: The paper presents a new generalized integer orthogonal transformation which consists of a well known orthogonal transform followed by stretching the basis vectors maintaining the asymptotic behavior of the number of integer solutions for algebraic Diophantine equation. The author shows the properties of this transformation and he receives the algorithm for finding the matrix elements of a generalized integer orthogonal transformation for algebraic Diophantine equation of the second order to diagonal form. The article includes examples illustrating the reduction of algebraic equations of the second order to the diagonal form with the help of integer generalized orthogonal transformation and of determination asymptotics behavior of integer solutions for these equations.


title: \'Echantillonnage de signaux sur graphes via des processus d\'eterminantaux

abstract: We consider the problem of sampling k-bandlimited graph signals, ie, linear combinations of the first k graph Fourier modes. We know that a set of k nodes embedding all k-bandlimited signals always exists, thereby enabling their perfect reconstruction after sampling. Unfortunately, to exhibit such a set, one needs to partially diagonalize the graph Laplacian, which becomes prohibitive at large scale. We propose a novel strategy based on determinantal point processes that side-steps partial diagonalisation and enables reconstruction with only O(k) samples. While doing so, we exhibit a new general algorithm to sample determinantal process, faster than the state-of-the-art algorithm by an order k.


title: Color Confinement and Spatial Dimensions in the Complex-sedenion Space

abstract: The paper aims to apply the complex-sedenions to explore the wavefunctions and field equations of non-Abelian gauge fields, considering the spatial dimensions of a unit vector as the color degrees of freedom in the complex-quaternion wavefunctions, exploring the physical properties of the color confinement essentially. J. C. Maxwell was the first to employ the quaternions to study the physical properties of electromagnetic fields. His method inspires some subsequent scholars to introduce the quaternions, octonions, and sedenions to research the electromagnetic field, gravitational field, nuclear field, quantum mechanics, and gauge field. The application of complex-sedenions is capable of depicting not only the field equations of the classical mechanics on the macroscopic scale, but also the field equations of the quantum mechanics on the microscopic scale. The latter can be degenerated into the Dirac equation and Yang-Mills equation. In contrast to the complex-number wavefunction, the wavefunction in the complex-quaternion space possesses three new degrees of freedom, that is, three color degrees of freedom. One complex-quaternion wavefunction is equivalent to three conventional wavefunctions with the complex-numbers. It means that the three spatial dimensions of unit vector in the complex-quaternion wavefunction can be considered as the `three colors', naturally the color confinement will be effective. In other words, in the complex-quaternion space, the `three colors' are only the spatial dimensions, rather than any property of physical substance. The existing `three colors' can be merged into the wavefunction, described with the complex-quaternions.


title: Thermopower and thermal conductivity in the Weyl semimetal NbP

abstract: The Weyl semimetal NbP exhibits an extremely large magnetoresistance (MR) and an ultra-high mobility. The large MR originates from a combination of the nearly perfect compensation between electron- and hole-type charge carriers and the high mobility, which is relevant to the topological band structure. In this work we report on temperature- and field-dependent thermopower and thermal conductivity experiments on NbP. Additionally, we carried out complementary heat capacity, magnetization, and electrical resistivity measurements. We found a giant adiabatic magnetothermopower with a maximum of 800 $\mu$V/K at 50 K in a field of 9 T. Such large effects have been observed rarely in bulk materials. We suggest that the origin of this effect might be related to the high charge-carrier mobility. We further observe pronounced quantum oscillations in both thermal conductivity and thermopower. The obtained frequencies compare well with our heat capacity and magnetization data.


title: The Geodetic Hull Number is Hard for Chordal Graphs

abstract: We show the hardness of the geodetic hull number for chordal graphs.


title: Importance of phonon contribution to the free migration energy of the O vacancy in BaZrO3

abstract: BaZrO3 exhibits excellent proton conductivity and good high-temperature stability. It is therefore a promising electrolyte material for solid oxide fuel cells. The stability of BaZrO3 at high temperatures is generally explained by the low diffusivity of the O vacancy. Present first-principle Density-Functional-Theory calculations show that the slow migration of the doubly positively charged O vacancy at high temperature cannot be solely caused by the ground-state migration energy but by the contribution of phonon excitations to the free migration energy. With increasing temperature, the effective barrier for oxygen vacancy migration increases. At about 1000K, which is the operating temperature of fuel cells, the calculated O vacancy diffusivity is more than one order of magnitude lower than that determined using solely the ground-state migration barrier. The calculated diffusivity data agree well with experimental results from literature. The present work reveals that the high-temperature stability of BaZrO3 is mainly due to the phonon contribution to the free migration energy of the O vacancy.


title: Coherent-induced state ordering with fixed mixedness

abstract: In this paper, we study coherence-induced state ordering with Tsallis relative entropy of coherence, relative entropy of coherence and $l_{1}$ norm of coherence. Firstly, we show that these measures give the same ordering for single-qubit states with a fixed mixedness or a fixed length along the direction $\sigma_{z}$. Secondly, we consider some special cases of high dimensional states, we show that these measures generate the same ordering for the set of high dimensional pure states if any two states of the set satisfy majorization relation. Moreover, these three measures generate the same ordering for all $X$ states with a fixed mixedness. Finally, we discuss dynamics of coherence-induced state ordering under Markovian channels. We find phase damping channel don't change the coherence-induced state ordering for some single-qubit states with fixed mixedness, instead amplitude damping channel change the coherence-induced ordering even though for single-qubit states with fixed mixedness.


title: Modulation in the Air: Backscatter Communication over Ambient OFDM Carrier

abstract: Ambient backscatter communication (AmBC) enables radio-frequency (RF) powered backscatter devices (BDs) (e.g., sensors, tags) to modulate their information bits over ambient RF carriers in an over-the-air manner. This technology also called "modulation in the air", thus has emerged as a promising solution to achieve green communications for future Internet-of-Things. This paper studies an AmBC system by leveraging the ambient orthogonal frequency division multiplexing (OFDM) modulated signals in the air. We first model such AmBC system from a spread-spectrum communication perspective, upon which a novel joint design for BD waveform and receiver detector is proposed. The BD symbol period is designed to be in general an integer multiplication of the OFDM symbol period, and the waveform for BD bit `0' maintains the same state within a BD symbol period, while the waveform for BD bit `1' has a state transition in the middle of each OFDM symbol period within a BD symbol period. In the receiver detector design, we construct the test statistic that cancels out the direct-link interference by exploiting the repeating structure of the ambient OFDM signals due to the use of cyclic prefix. For the system with a single-antenna receiver, the maximum-likelihood detector is proposed to recover the BD bits, for which the optimal threshold is obtained in closed-form expression. For the system with a multi-antenna receiver, we propose a new test statistic, and derive the optimal detector. Moreover, practical timing synchronization algorithms are proposed, and we also analyze the effect of various system parameters on the system performance. Finally, extensive numerical results are provided to verify that the proposed transceiver design can improve the system bit-error-rate (BER) performance and the operating range significantly, and achieve much higher data rate, as compared to the conventional design.


title: Reachability problems for a wave-wave system with a memory term

abstract: We solve the reachability problem for a coupled wave-wave system with an integro-differential term. The control functions act on one side of the boundary. The estimates on the time is given in terms of the parameters of the problem and they are explicitly computed thanks to Ingham type results. Nevertheless some restrictions appear in our main results. The Hilbert Uniqueness Method is briefly recalled. Our findings can be applied to concrete examples in viscoelasticity theory.


title: A generalised Davydov-Scott model for polarons in linear peptide chains

abstract: We present a one-parameter family of mathematical models describing the dynamics of polarons in linear periodic structures such as polypeptides. By tuning the parameter, we are able to recover the Davydov and the Scott models. We describe the physical significance of this parameter. In the continuum limit, we derive analytical solutions which represent stationary polarons. On a discrete lattice, we compute stationary polaron solutions numerically. We investigate polaron propagation induced by several external forcing mechanisms. We show that an electric field consisting of a constant and a periodic component can induce polaron motion with minimal energy loss. We also show that thermal fluctuations can facilitate the onset of polaron motion. Finally, we discuss the bio-physical implications of our results.


title: Dual-mode optical fiber-based tweezers for robust trapping and manipulation of absorbing particles in air

abstract: We develop an optical tweezers system using a single dual-mode optical fiber where mesoscopic absorbing particles can be trapped in three dimensions and manipulated employing photophoretic forces. We generate a superposition of fundamental and first order Hermite-Gaussian beam modes by the simple innovation of coupling a laser into a commercial optical fiber designed to be single mode for a wavelength higher than that of the laser. We achieve robust trapping of the absorbing particles for hours using both the pure fundamental and superposition mode beams and attain large manipulation velocities of ~5 mm/s in the axial direction and ~0.75 mm/s in the radial direction. We then demonstrate that the superposition mode is more effective in trapping and manipulation compared to the fundamental mode by around 80%, which may be increased several times by the use of a pure first order Hermite-Gaussian mode. The work has promising implications for trapping and spectroscopy of aerosols in air using simple optical fiber-based traps.


title: Learned Watershed: End-to-End Learning of Seeded Segmentation

abstract: Learned boundary maps are known to outperform hand- crafted ones as a basis for the watershed algorithm. We show, for the first time, how to train watershed computation jointly with boundary map prediction. The estimator for the merging priorities is cast as a neural network that is con- volutional (over space) and recurrent (over iterations). The latter allows learning of complex shape priors. The method gives the best known seeded segmentation results on the CREMI segmentation challenge.


title: Surfactant-Free Polar-to-Non-Polar-Phase Transfer of Exfoliated MoS2 Two-Dimensional Colloids

abstract: Exfoliation of lamellar materials into their corresponding layers represented a breakthrough, due to the outstanding properties arising from the nanometric thickness confinement. Among the cleavage techniques, liquid-phase exfoliation is now on the rise because it is scalable and leads to easy-to-manipulate colloids. However, all appropriate exfoliating solvents exhibit strong polarity, which restrains a lot the scope of feasible functionalization or processing of the resulting flakes. Here we propose to extend this scope, demonstrating that nanosheets exfoliated in a polar medium can be properly dispersed in a non-polar solvent. To that purpose, we prepared suspensions of molybdenum disulfide flakes in isopropanol/water and developed a phase transfer of the nanosheets to chloroform via precipitation and redispersion/centrifugation sequences, without any assisting surfactant. The colloidal stability of the nanosheets in chloroform was found to be governed by their lateral dimensions and, although lower than in polar media, proved to be high enough to open the way to subsequent functionalization or processing of the flakes in non-polar medium.


title: The Ces\`aro operator on power series spaces

abstract: The discrete Ces\`aro operator $\mathsf{C}$ is investigated in the class of power series spaces $\Lambda_0(\alpha)$ of finite type. Of main interest is its spectrum, which is distinctly different when the underlying Fr\'echet space $\Lambda_0(\alpha)$ is nuclear as for the case when it is not. Actually, the nuclearity of $\Lambda_0(\alpha)$ is characterized via certain properties of the spectrum of $\mathsf{C}$. Moreover, $\mathsf{C}$ is always power bounded, uniformly mean ergodic and, whenever $\Lambda_0(\alpha)$ is nuclear, also has the property that the range $(I-\mathsf{C})^m(\Lambda_0(\alpha))$ is closed in $\Lambda_0(\alpha)$, for each $m\in\mathbb{N}$.


title: The stabilization of high-order multistep schemes for the Laguerre one-way wave equation solver

abstract: This paper considers spectral-difference methods of a high-order of accuracy for solving the one-way wave equation using the Laguerre integral transform with respect to time as the base. In order to provide a high spatial accuracy and calculation stability, the Richardson method can be employed. However such an approach requires high computer costs, therefore we consider alternative algorithms based on the Adams multistep schemes. To reach the stability first for the 1D one-way equation and then for the 2D case, the stabilizing procedures using the spline interpolation were developed. This made possible to efficiently implement a predictor-corrector type method in terms of which a boundary value problem for high-order elliptic equations is substituted for a sequence of inversions of second order elliptic operators thus decreasing computer costs. To assess the accuracy and stability of difference approximations for the 1D one-way wave equation, the analytical solution based on the double Laguerre transform was obtained. This solution can be efficiently calculated if for summation one makes use of fast algorithms of computing a discrete linear convolution. For the 2D one-way wave equation the stability and accuracy of the procedures proposed have been studied on implementing the migration algorithm within a problem of seismic prospecting.


title: Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study

abstract: A biform theory is a combination of an axiomatic theory and an algorithmic theory that supports the integration of reasoning and computation. These are ideal for formalizing algorithms that manipulate mathematical expressions. A theory graph is a network of theories connected by meaning-preserving theory morphisms that map the formulas of one theory to the formulas of another theory. Theory graphs are in turn well suited for formalizing mathematical knowledge at the most convenient level of abstraction using the most convenient vocabulary. We are interested in the problem of whether a body of mathematical knowledge can be effectively formalized as a theory graph of biform theories. As a test case, we look at the graph of theories encoding natural number arithmetic. We used two different formalisms to do this, which we describe and compare. The first is realized in ${\rm CTT}_{\rm uqe}$, a version of Church's type theory with quotation and evaluation, and the second is realized in Agda, a dependently typed programming language.


title: Recurrent Environment Simulators

abstract: Models that can simulate how environments change in response to actions can be used by agents to plan and act efficiently. We improve on previous environment simulators from high-dimensional pixel observations by introducing recurrent neural networks that are able to make temporally and spatially coherent predictions for hundreds of time-steps into the future. We present an in-depth analysis of the factors affecting performance, providing the most extensive attempt to advance the understanding of the properties of these models. We address the issue of computationally inefficiency with a model that does not need to generate a high-dimensional image at each time-step. We show that our approach can be used to improve exploration and is adaptable to many diverse environments, namely 10 Atari games, a 3D car racing environment, and complex 3D mazes.


title: Reconfigurable nano-scale spin-wave directional coupler

abstract: A spin-wave (SW) directional coupler comprised of two laterally parallel nano-scale dipolarly-coupled SW waveguides is proposed and studied using micromagnetic simulations and analytical theory. The energy of a SW excited in one of the waveguides in the course of propagation is periodically transferred to the other waveguide and back, and the spatial half-period of this transfer is defined as the coupling length. The coupling length is determined by the dipolar coupling between the waveguides, and the fraction of the SW energy transferred to the other waveguide at the device output can be varied with the SW frequency, bias magnetic field, and relative orientation of the waveguide's static magnetizations. The proposed design of a directional coupler can be used in digital computing-oriented magnonics as a connector (multiplexer) of magnonic conduits without a direct contact, or in the analog microwave signal processing as a reconfigurable nano-scale power divider and/or frequency separator.


title: Alignment of Irregular Grains by Mechanical Torques

abstract: We study the alignment of irregular dust grains by mechanical torques due to the drift of grains through the ambient gas. We first calculate mechanical torques (MATs) resulting from specular reflection of gas atoms for seven irregular shapes: one shape of mirror symmetry, three highly irregular shapes (HIS), and three weakly irregular shapes (WIS). We find that the grain with mirror symmetry experiences negligible MATs due to its mirror-symmetry geometry. Three highly irregular shapes can produce strong MATs which exhibit some generic properties as radiative torques, while three weakly irregular shapes produce less efficient MATs. We then study grain alignment by MATs for the different angles between the drift velocity and the ambient magnetic field, for paramagnetic and superparamagnetic grains assuming efficient internal relaxation. We find that for HIS grains, MATs can align subsonically drifting grains in the same way as radiative torques, with low-J and high-J attractors. For supersonic drift, MATs can align grains with low-J and high-J attractors, analogous to radiative alignment by anisotropic radiation. We also show that the joint action of MATs and magnetic torques in grains with iron inclusions can lead to perfect MAT alignment. Our results point out the potential importance of MAT alignment for HIS grains predicted by the analytical model of Lazarian \& Hoang (2007b), although more theoretical and observational studies are required due to uncertainty in the shape of interstellar grains. We outline astrophysical environments where MAT alignment is potentially important.


title: Weak Versus Strong Disorder Superfluid-Bose Glass Transition in One Dimension

abstract: Using large-scale simulations based on matrix product state and quantum Monte Carlo techniques, we study the superfluid to Bose glass-transition for one-dimensional attractive hard-core bosons at zero temperature, across the full regime from weak to strong disorder. As a function of interaction and disorder strength, we identify a Berezinskii-Kosterlitz-Thouless critical line with two different regimes. At small attraction where critical disorder is weak compared to the bandwidth, the critical Luttinger parameter $K_c$ takes its universal Giamarchi-Schulz value $K_{c}=3/2$. Conversely, a non-universal $K_c>3/2$ emerges for stronger attraction where weak-link physics is relevant. In this strong disorder regime, the transition is characterized by self-similar power-law distributed weak links with a continuously varying characteristic exponent $\alpha$.


title: Transition from vibrational to rotational characters in low-lying states of hypernuclei

abstract: In order to clarify the nature of hypernuclear low-lying states, we carry out a comprehensive study for the structure of $^{144-154}_{~~~~~~~~\Lambda}$Sm-hypernuclei, which exhibit a transition from vibrational to rotational characters as the neutron number increases. To this end, we employ a microscopic particle-core coupling scheme based on a covariant density functional theory. We find that the positive-parity ground-state band in the hypernuclei shares a similar structure to that of the corresponding core nucleus. That is, regardless of whether the core nucleus is spherical or deformed, each hypernuclear state is dominated by the single configuration of the $\Lambda$ particle in the $s_{1/2}$ state ($\Lambda s_{1/2}$) coupled to one core state of the ground band. In contrast, the low-lying negative-parity states mainly consist of $\Lambda p_{1/2}$ and $\Lambda p_{3/2}$ configurations coupled to plural nuclear core states. We show that, while the mixing amplitude between these configurations is negligibly small in spherical and weakly-deformed nuclei, it strongly increases as the core nucleus undergoes a transition to a well-deformed shape, being consistent with the Nilsson wave functions. We demonstrate that the structure of these negative-parity states with spin $I$ can be well understood based on the $LS$ coupling scheme, with the total orbital angular momentum of $L=[I\otimes 1]$ and the spin angular momentum of $S=1/2$.


title: Vectorization of Hybrid Breadth First Search on the Intel Xeon Phi

abstract: The Breadth-First Search (BFS) algorithm is an important building block for graph analysis of large datasets. The BFS parallelisation has been shown to be challenging because of its inherent characteristics, including irregular memory access patterns, data dependencies and workload imbalance, that limit its scalability. We investigate the optimisation and vectorisation of the hybrid BFS (a combination of top-down and bottom-up approaches for BFS) on the Xeon Phi, which has advanced vector processing capabilities. The results show that our new implementation improves by 33\%, for a one million vertices graph, compared to the state-of-the-art.


title: The underdamped Brownian duet and stochastic linear irreversible thermodynamics

abstract: Building on our earlier work (Proesmans et. al., Phys.~Rev.~X \textbf{6} (2016), 041010), we introduce the underdamped Brownian duet as a prototype model of a dissipative system or of a work-to-work engine. Several recent advances from the theory of stochastic thermodynamics are illustrated with explicit analytic calculations and corresponding Langevin simulations. In particular, we discuss Onsager-Casimir symmetry, the trade-off relations between power, efficiency and dissipation, and stochastic efficiency.


title: Plausible Compositions of the Seven TRAPPIST-1 Planets Using Long-term Dynamical Simulations

abstract: TRAPPIST-1 is a nearby ultra-cool dwarf that is host to a remarkable planetary system consisting of seven transiting planets. The orbital properties and radii of the planets have been well-constrained, and recently the masses of the inner six planets have been measured with additional ground and space-based photometric observations. Large uncertainties in these mass measurements have prevented a robust analysis of the planetary compositions. Here we perform many thousands of N-body dynamical simulations with planet properties perturbed from the observed values and identify those that are stable for millions of years. This allows us to identify self-consistent orbital solutions that can be used in future studies. From our range of dynamical masses, we find that most of the planets are consistent with an Earth-like composition, where TRAPPIST-1f is likely to have a volatile-rich envelope.


title: A Converse Bound on Wyner-Ahlswede-K\"orner Network via Gray-Wyner Network

abstract: We show a reduction method to construct a code for the Gray-Wyner (GW) network from a given code for the Wyner-Ahlswede-K\"orner (WAK) network. By combining this reduction with a converse bound on the GW network, we derive a converse bound on the WAK network. The derived bound gives an alternative proof of the strong converse theorem for the WAK network.


title: NILC-USP at SemEval-2017 Task 4: A Multi-view Ensemble for Twitter Sentiment Analysis

abstract: This paper describes our multi-view ensemble approach to SemEval-2017 Task 4 on Sentiment Analysis in Twitter, specifically, the Message Polarity Classification subtask for English (subtask A). Our system is a voting ensemble, where each base classifier is trained in a different feature space. The first space is a bag-of-words model and has a Linear SVM as base classifier. The second and third spaces are two different strategies of combining word embeddings to represent sentences and use a Linear SVM and a Logistic Regressor as base classifiers. The proposed system was ranked 18th out of 38 systems considering F1 score and 20th considering recall.


title: Axiomatization of an importance index for $k$-ary games

abstract: We consider MultiCriteria Decision Analysis models which are defined over discrete attributes, taking a finite number of values. We do not assume that the model is monotonically increasing with respect to the attributes values. Our aim is to define an importance index for such general models, considering that they are equivalent to $k$-ary games (multichoice games). We show that classical solutions like the Shapley value are not suitable for such models, essentially because of the efficiency axiom which does not make sense in this context. We propose an importance index which is a kind of average variation of the model along the attributes. We give an axiomatic characterization of it.


title: Emitter-site selective photoelectron circular dichroism of trifluoromethyloxirane

abstract: The angle-resolved inner-shell photoionization of R-trifluoromethyloxirane, C3H3F3O, is studied experimentally and theoretically. Thereby, we investigate the photoelectron circular dichroism (PECD) for nearly-symmetric O 1s and F 1s electronic orbitals, which are localized on different molecular sites. The respective dichroic $\beta_{1}$ and angular distribution $\beta_{2}$ parameters are measured at the photoelectron kinetic energies from 1 to 16 eV by using variably polarized synchrotron radiation and velocity map imaging spectroscopy. The present experimental results are in good agreement with the outcome of ab initio electronic structure calculations. We report a sizable chiral asymmetry $\beta_{1}$ of up to about 9% for the K-shell photoionization of oxygen atom. For the individual fluorine atoms, the present calculations predict asymmetries of similar size. However, being averaged over all fluorine atoms, it drops down to about 2%, as also observed in the present experiment. Our study demonstrates a strong emitter- and site-sensitivity of PECD in the one-photon inner-shell ionization of this chiral molecule.


title: Sharp rates of convergence for accumulated spectrograms

abstract: We investigate an inverse problem in time-frequency localization: the approximation of the symbol of a time-frequency localization operator from partial spectral information by the method of accumulated spectrograms (the sum of the spectrograms corresponding to large eigenvalues). We derive a sharp bound for the rate of convergence of the accumulated spectrogram, improving on recent results.


title: Inversion of the Toeplitz-block Toeplitz matrices and the structure of the corresponding inverse matrices

abstract: The results on the inversion of convolution operators and Toeplitz matrices in the 1-D (one dimensional) case are classical and have numerous applications. We consider a 2-D case of Toeplitz-block Toeplitz matrices, describe a minimal information, which is necessary to recover the inverse matrices, and give a complete characterisation of the inverse matrices.


title: Deep Unsupervised Similarity Learning using Partially Ordered Sets

abstract: Unsupervised learning of visual similarities is of paramount importance to computer vision, particularly due to lacking training data for fine-grained similarities. Deep learning of similarities is often based on relationships between pairs or triplets of samples. Many of these relations are unreliable and mutually contradicting, implying inconsistencies when trained without supervision information that relates different tuples or triplets to each other. To overcome this problem, we use local estimates of reliable (dis-)similarities to initially group samples into compact surrogate classes and use local partial orders of samples to classes to link classes to each other. Similarity learning is then formulated as a partial ordering task with soft correspondences of all samples to classes. Adopting a strategy of self-supervision, a CNN is trained to optimally represent samples in a mutually consistent manner while updating the classes. The similarity learning and grouping procedure are integrated in a single model and optimized jointly. The proposed unsupervised approach shows competitive performance on detailed pose estimation and object classification.


title: Top and bottom partners, Higgs boson on the brane, and the tth signal

abstract: Current LHC results indicate a possible enhancement in the production of Higgs bosons in association with top quarks (tth) over the Standard Model (SM) expectations, suggesting an increase in the top Yukawa coupling. To explain these results, we study the effect of adding to the SM a small set of vector-like partners of the top and bottom quarks with masses of order ~1 TeV. We consider Yukawa coupling matrices with vanishing determinant and show that then, Higgs production through gluon fusion is not affected by deviations in the top quark Yukawa coupling, and in fact depends only on deviations in the bottom quark Yukawa coupling. We call this scenario the "Brane Higgs Limit", as it can emerge naturally in models of warped extra-dimensions with all matter fields in the bulk, except the Higgs (although it could also occur in 4D scenarios with vector-like quarks and special flavor symmetries forcing the vanishing of the Yukawa determinants). We show that the scenario is highly predictive for all Higgs production/decay modes, making it easily falsifiable, maybe even at the LHC RUN 2 with higher luminosity.


title: General measure for macroscopic quantum states beyond "dead and alive"

abstract: We consider the characterization of quantum superposition states beyond the pattern "dead and alive". We propose a measure that is applicable to superpositions of multiple macroscopically distinct states, superpositions with different weights as well as mixed states. The measure is based on the mutual information to characterize the distinguishability between multiple superposition states. This allows us to overcome limitations of previous proposals, and to bridge the gap between general measures for macroscopic quantumness and measures for Schr\"odinger-cat type superpositions. We discuss a number of relevant examples, provide an alternative definition using basis-dependent quantum discord and reveal connections to other proposals in the literature. Finally, we also show the connection between the size of quantum states as quantified by our measure and their vulnerability to noise.


title: Inflationary preheating dynamics with ultracold atoms

abstract: We discuss the amplification of loop corrections in quantum many-body systems through dynamical instabilities. As an example, we investigate both analytically and numerically a two-component ultracold atom system in one spatial dimension. The model features a tachyonic instability, which incorporates characteristic aspects of the mechanisms for particle production in early-universe inflaton models. We establish a direct correspondence between measureable macroscopic growth rates for occupation numbers of the ultracold Bose gas and the underlying microscopic processes in terms of Feynman loop diagrams. We analyze several existing ultracold atom setups featuring dynamical instabilities and propose optimized protocols for their experimental realization. We demonstrate that relevant dynamical processes can be enhanced using a seeding procedure for unstable modes and clarify the role of initial quantum fluctuations and the generation of a non-linear secondary stage for the amplification of modes.


title: A Highly-Efficient Memory-Compression Scheme for GPU-Accelerated Intrusion Detection Systems

abstract: Pattern Matching is a computationally intensive task used in many research fields and real world applications. Due to the ever-growing volume of data to be processed, and increasing link speeds, the number of patterns to be matched has risen significantly. In this paper we explore the parallel capabilities of modern General Purpose Graphics Processing Units (GPGPU) applications for high speed pattern matching. A highly compressed failure-less Aho-Corasick algorithm is presented for Intrusion Detection Systems on off-the-shelf hardware. This approach maximises the bandwidth for data transfers between the host and the Graphics Processing Unit (GPU). Experiments are performed on multiple alphabet sizes, demonstrating the capabilities of the library to be used in different research fields, while sustaining an adequate throughput for intrusion detection systems or DNA sequencing. The work also explores the performance impact of adequate prefix matching for alphabet sizes and varying pattern numbers achieving speeds up to 8Gbps and low memory consumption for intrusion detection systems.


title: Determining the Newton-Raphson basins of attraction in the electromagnetic Copenhagen problem

abstract: The Copenhagen problem where the primaries of equal masses are magnetic dipoles is used in order to determine the Newton-Raphson basins of attraction associated with the equilibrium points. The parametric variation of the position as well as of the stability of the Lagrange points are monitored when the value of the ratio $\lambda$ of the magnetic moments varies in predefined intervals. The regions on the configuration $(x,y)$ plane occupied by the basins of convergence are revealed using the multivariate version of the Newton-Raphson iterative scheme. The correlations between the basins of attraction of the libration points and the corresponding number of iterations needed for obtaining the desired accuracy are also illustrated. We perform a thorough and systematic numerical investigation by demonstrating how the dynamical quantity $\lambda$ influences the shape, the geometry and also the degree of fractality of the attracting domains. Our numerical results strongly indicate that the ratio $\lambda$ is indeed a very influential parameter in the electromagnetic binary system.


title: Norm growth for the Busemann cocycle

abstract: Using explicit methods, we provide an upper bound to the norm of the Busemann cocycle of a locally finite regular tree $X$, emphasizing the symmetries of the cocycle. The latter takes value into a submodule of square summable functions on the edges of $X$, which corresponds the Steinberg representation for rank one groups acting on their Bruhat-Tits tree. The norm of the Busemann cocycle is asymptotically linear with respect to square root of the distance between any two vertices. Independently, Gournay and Jolissaint proved an exact formula for harmonic 1-cocycles covering the present case.


title: Mitigating Interference in Content Delivery Networks by Spatial Signal Alignment: The Approach of Shot-Noise Ratio

abstract: Multimedia content especially videos is expected to dominate data traffic in next-generation mobile networks. Caching popular content at the network edge has emerged to be a solution for low-latency content delivery. Compared with the traditional wireless communication, content delivery has a key characteristic that many signals coexisting in the air carry identical popular content. They, however, can interfere with each other at a receiver if their modulation-and-coding (MAC) schemes are adapted to individual channels following the classic approach. To address this issue, we present a novel idea of content adaptive MAC (CAMAC) where adapting MAC schemes to content ensures that all signals carry identical content are encoded using an identical MAC scheme, achieving spatial MAC alignment. Consequently, interference can be harnessed as signals, to improve the reliability of wireless delivery. In the remaining part of the paper, we focus on quantifying the gain CAMAC can bring to a content-delivery network using a stochastic-geometry model. Specifically, content helpers are distributed as a Poisson point process, each of which transmits a file from a content database based on a given popularity distribution. It is discovered that the successful content-delivery probability is closely related to the distribution of the ratio of two independent shot noise processes, named a shot-noise ratio. The distribution itself is an open mathematical problem that we tackle in this work. Using stable-distribution theory and tools from stochastic geometry, the distribution function is derived in closed form. Extending the result in the context of content-delivery networks with CAMAC yields the content-delivery probability in different closed forms. In addition, the gain in the probability due to CAMAC is shown to grow with the level of skewness in the content popularity distribution.


title: Improved Determination of the $^{235}\text{U}$ and $^{239}\text{Pu}$ Reactor Antineutrino Cross Sections per Fission

abstract: We present the results of a combined fit of the reactor antineutrino rates and the Daya Bay measurement of $\sigma_{f,235}$ and $\sigma_{f,239}$. The combined fit leads to a better determination of the two cross sections per fission: $\sigma_{f,235} = 6.29 \pm 0.08$ and $\sigma_{f,239} = 4.24 \pm 0.21 $ in units of $10^{-43} \, \text{cm}^2 / \text{fission}$, with respective uncertainties of about $1.2\%$ and $4.9\%$. Since the respective deviations from the theoretical cross sections per fission are $2.5\sigma$ and $0.7\sigma$, we conclude that, if the reactor antineutrino anomaly is not due to active-sterile neutrino oscillations, it is likely that it can be solved with a revaluation of the $^{235}\text{U}$ reactor antineutrino flux. However, the $^{238}\text{U}$, $^{239}\text{Pu}$, and $^{241}\text{Pu}$ fluxes, which have larger uncertainties, could also be significantly different from the theoretical predictions.


title: Entanglement and the truncated moment problem

abstract: We map the quantum entanglement problem onto the mathematically well-studied truncated moment problem. This yields a necessary and sufficient condition for separability that can be checked by a hierarchy of semi-definite programs. The algorithm always gives a certificate of entanglement if the state is entangled. If the state is separable, typically a certificate of separability is obtained in a finite number of steps and an explicit decomposition into separable pure states can be extracted.


title: GLoP: Enabling Massively Parallel Incident Response Through GPU Log Processing

abstract: Large industrial systems that combine services and applications, have become targets for cyber criminals and are challenging from the security, monitoring and auditing perspectives. Security log analysis is a key step for uncovering anomalies, detecting intrusion, and enabling incident response. The constant increase of link speeds, threats and users, produce large volumes of log data and become increasingly difficult to analyse on a Central Processing Unit (CPU). This paper presents a massively parallel Graphics Processing Unit (GPU) LOg Processing (GLoP) library and can also be used for Deep Packet Inspection (DPI), using a prefix matching technique, harvesting the full power of off-the-shelf technologies. GLoP implements two different algorithm using different GPU memory and is compared against CPU counterpart implementations. The library can be used for processing nodes with single or multiple GPUs as well as GPU cloud farms. The results show throughput of 20Gbps and demonstrate that modern GPUs can be utilised to increase the operational speed of large scale log processing scenarios, saving precious time before and after an intrusion has occurred.


title: Algebraic fiber spaces and curvature of higher direct images

abstract: In this article we are interested in the differential geometric properties of certain higher direct images of exterior powers of the sheaf of relative differentials twisted with a line bundle. We obtain explicit curvature formulas, especially in case where the said line bundle satisfies a natural curvature assumption. Several applications are obtained, including a proof of a result by Viehweg-Zuo in the context of a canonically polarized family of maximal variation.


title: Ghost dark energy with sign-changeable interaction term

abstract: Regarding the Veneziano ghost of QCD and its generalized form, we consider a Friedmann-Robertson-Walker (FRW) universe filled by a pressureless matter and a dark energy component interacting with each other through a mutual sign-changeable interaction of positive coupling constant. Our study shows that, at the late time, for the deceleration parameter we have $q\rightarrow-1$, while the equation of state parameter of the interacting ghost dark energy (GDE) does not cross the phantom line, namely $\omega_D\geq-1$. We also extend our study to the generalized ghost dark energy (GGDE) model and show that, at late time, the equation of state parameter of the interacting GGDE also respects the phantom line in both flat and non-flat universes. Moreover, we find out that, unlike the non-flat universe, we have $q\rightarrow-1$ at late time for flat FRW universe. In order to make the behavior of the underlying models more clear, the deceleration parameter $q$ as well as the equation of state parameter $w_D$ for flat and closed universes have been plotted against the redshift parameter, $z$. All of the studied cases admit a transition in the expansion history of universe from a deceleration phase to an accelerated one around $z\approx 0.6$


title: Thresholding Bandits with Augmented UCB

abstract: In this paper we propose the Augmented-UCB (AugUCB) algorithm for a fixed-budget version of the thresholding bandit problem (TBP), where the objective is to identify a set of arms whose quality is above a threshold. A key feature of AugUCB is that it uses both mean and variance estimates to eliminate arms that have been sufficiently explored; to the best of our knowledge this is the first algorithm to employ such an approach for the considered TBP. Theoretically, we obtain an upper bound on the loss (probability of mis-classification) incurred by AugUCB. Although UCBEV in literature provides a better guarantee, it is important to emphasize that UCBEV has access to problem complexity (whose computation requires arms' mean and variances), and hence is not realistic in practice; this is in contrast to AugUCB whose implementation does not require any such complexity inputs. We conduct extensive simulation experiments to validate the performance of AugUCB. Through our simulation work, we establish that AugUCB, owing to its utilization of variance estimates, performs significantly better than the state-of-the-art APT, CSAR and other non variance-based algorithms.


title: Apparent Reversal of Molecular Orbitals Reveals Entanglement

abstract: The frontier orbital sequence of individual dicyanovinyl-substituted oligothiophene molecules is studied by means of scanning tunneling microscopy. On NaCl/Cu(111) the molecules are neutral and the two lowest unoccupied molecular states are observed in the expected order of increasing energy. On NaCl/Cu(311), where the molecules are negatively charged, the sequence of two observed molecular orbitals is reversed, such that the one with one more nodal plane appears lower in energy. These experimental results, in open contradiction with a single-particle interpretation, are explained by a many-body theory predicting a strongly entangled doubly charged ground state.


title: A Bayesian Estimation for the Fractional Order of the Differential Equation that Models Transport in Unconventional Hydrocarbon Reservoirs

abstract: The extraction of natural gas from the earth has been shown to be governed by differential equations concerning flow through a porous material. Recently, models such as fractional differential equations have been developed to model this phenomenon. One key issue with these models is estimating the fraction of the differential equation. Traditional methods such as maximum likelihood, least squares and even method of moments are not available to estimate this parameter as traditional calculus methods do not apply. We develop a Bayesian approach to estimate the fraction of the order of the differential equation that models transport in unconventional hydrocarbon reservoirs. In this paper, we use this approach to adequately quantify the uncertainties associated with the error and predictions. A simulation study is presented as well to assess the utility of the modeling approach.


title: Model order reduction for random nonlinear dynamical systems and low-dimensional representations for their quantities of interest

abstract: We examine nonlinear dynamical systems of ordinary differential equations or differential algebraic equations. In an uncertainty quantification, physical parameters are replaced by random variables. The inner variables as well as a quantity of interest are expanded into series with orthogonal basis functions like the polynomial chaos expansions, for example. On the one hand, the stochastic Galerkin method yields a large coupled dynamical system. On the other hand, a stochastic collocation method, which uses a quadrature rule or a sampling scheme, can be written in the form of a large weakly coupled dynamical system. We apply projection-based methods of nonlinear model order reduction to the large systems. A reduced-order model implies a low-dimensional representation of the quantity of interest. We focus on model order reduction by proper orthogonal decomposition. The error of a best approximation located in a low-dimensional subspace is analysed. We illustrate results of numerical computations for test examples.


title: Reply to Comment on "Quantum mechanics for non-inertial observers"

abstract: Our recent paper (arXiv:1701.04298 [quant-ph]) discussed the occurrence of a coupling of centre of mass and internal degrees of freedom for complex quantum systems in non-inertial frames. There, we pointed out that an external force supporting the system against gravity plays a crucial role for the coupling between center of mass position to the internal degrees of freedom. In a comment (arXiv:1702.06670 [quant-ph]) to our paper, Pikovski et al. question our conclusion and present the argument that the lack of the coupling term would be in contradiction with the observation of gravitational time dilation using atomic clocks. Here, we elaborate on our results in reply to their criticism and clarify why our arguments remain valid.


title: Threat analysis of IoT networks Using Artificial Neural Network Intrusion Detection System

abstract: The Internet of things (IoT) is still in its infancy and has attracted much interest in many industrial sectors including medical fields, logistics tracking, smart cities and automobiles. However as a paradigm, it is susceptible to a range of significant intrusion threats. This paper presents a threat analysis of the IoT and uses an Artificial Neural Network (ANN) to combat these threats. A multi-level perceptron, a type of supervised ANN, is trained using internet packet traces, then is assessed on its ability to thwart Distributed Denial of Service (DDoS/DoS) attacks. This paper focuses on the classification of normal and threat patterns on an IoT Network. The ANN procedure is validated against a simulated IoT network. The experimental results demonstrate 99.4% accuracy and can successfully detect various DDoS/DoS attacks.


title: Helmholtz decomposition theorem and Blumenthal's extension by regularization

abstract: Helmholtz decomposition theorem for vector fields is usually presented with too strong restrictions on the fields and only for time independent fields. Blumenthal showed in 1905 that decomposition is possible for any asymptotically weakly decreasing vector field. He used a regularization method in his proof which can be extended to prove the theorem even for vector fields asymptotically increasing sublinearly. Blumenthal's result is then applied to the time-dependent fields of the dipole radiation and an artificial sublinearly increasing field.


title: New prospects for the numerical calculation of Mellin-Barnes integrals in Minkowskian kinematics

abstract: During the last several years remarkable progress has been made in numerical calculations of dimensionally regulated multi-loop Feynman diagrams using Mellin-Barnes (MB) representations. The bottlenecks were non-planar diagrams and Minkowskian kinematics. The method has been proved to work in highly non-trivial physical application (two-loop electroweak bosonic corrections to the $Z \to b \bar{{b}}$ decay), and cross-checked with the sector decomposition (SD) approach. In fact, both approaches have their pros and cons. In calculation of multidimensional integrals, depending on masses and scales involved, they are complementary. A powerful top-bottom approach to the numerical integration of multidimensional MB integrals is automatized in the MB-suite AMBRE/MB/ MBtools/MBnumerics/CUBA. Key elements are a dedicated use of the Cheng-Wu theorem for non-planar topologies and of shifts and deformations of the integration contours. An alternative bottom-up approach starting with complex 1-dimensional MB-integrals, based on the exploration of steepest descent integration contours in Minkowskian kinematics, is also discussed. Short and long term prospects of the MB-method for multi-loop applications to LHC- and LC-physics are discussed.


title: A levitated nanoparticle as a classical two-level atom

abstract: The center-of-mass motion of a single optically levitated nanoparticle resembles three uncoupled harmonic oscillators. We show how a suitable modulation of the optical trapping potential can give rise to a coupling between two of these oscillators, such that their dynamics are governed by a classical equation of motion that resembles the Schr\"odinger equation for a two-level system. Based on experimental data, we illustrate the dynamics of this parametrically coupled system both in the frequency and in the time domain. We discuss the limitations and differences of the mechanical analogue in comparison to a true quantum mechanical system.


title: A note on degenerate stirling polynomials of the second kind

abstract: In this paper, we consider the degenerate Stirling polynomials of the second kind which are derived from the generating function. In addition, we give some new identities for these polynomials.


title: The Monte Carlo simulation of the Borexino detector

abstract: We describe the Monte Carlo (MC) simulation package of the Borexino detector and discuss the agreement of its output with data. The Borexino MC 'ab initio' simulates the energy loss of particles in all detector components and generates the resulting scintillation photons and their propagation within the liquid scintillator volume. The simulation accounts for absorption, reemission, and scattering of the optical photons and tracks them until they either are absorbed or reach the photocathode of one of the photomultiplier tubes. Photon detection is followed by a comprehensive simulation of the readout electronics response. The algorithm proceeds with a detailed simulation of the electronics chain. The MC is tuned using data collected with radioactive calibration sources deployed inside and around the scintillator volume. The simulation reproduces the energy response of the detector, its uniformity within the fiducial scintillator volume relevant to neutrino physics, and the time distribution of detected photons to better than 1% between 100 keV and several MeV. The techniques developed to simulate the Borexino detector and their level of refinement are of possible interest to the neutrino community, especially for current and future large-volume liquid scintillator experiments such as Kamland-Zen, SNO+, and Juno.


title: A Symbolic Computation Framework for Constitutive Modelling Based On Entropy Principles

abstract: The entropy principle in the formulation of M\"{u}ller and Liu is a common tool used in constitutive modelling for the development of restrictions on the unknown constitutive functions describing material properties of various physical continua. In the current work, a symbolic software implementation of the Liu algorithm, based on \verb|Maple| software and the \verb|GeM| package, is presented. The computational framework is used to algorithmically perform technically demanding symbolic computations related to the entropy principle, to simplify and reduce Liu's identities, and ultimately to derive explicit formulas describing classes of constitutive functions that do not violate the entropy principle. Detailed physical examples are presented and discussed.


title: Comparison of Global Algorithms in Word Sense Disambiguation

abstract: This article compares four probabilistic algorithms (global algorithms) for Word Sense Disambiguation (WSD) in terms of the number of scorer calls (local algo- rithm) and the F1 score as determined by a gold-standard scorer. Two algorithms come from the state of the art, a Simulated Annealing Algorithm (SAA) and a Genetic Algorithm (GA) as well as two algorithms that we first adapt from WSD that are state of the art probabilistic search algorithms, namely a Cuckoo search algorithm (CSA) and a Bat Search algorithm (BS). As WSD requires to evaluate exponentially many word sense combinations (with branching factors of up to 6 or more), probabilistic algorithms allow to find approximate solution in a tractable time by sampling the search space. We find that CSA, GA and SA all eventually converge to similar results (0.98 F1 score), but CSA gets there faster (in fewer scorer calls) and reaches up to 0.95 F1 before SA in fewer scorer calls. In BA a strict convergence criterion prevents it from reaching above 0.89 F1.


title: Topological States in the Kuramoto Model

abstract: The Kuramoto model is a system of nonlinear differential equations that models networks of coupled oscillators and is often used to study synchronization among the oscillators. In this paper we study steady state solutions of the Kuramoto model by assigning to each steady state a tuple of integers which records how the state twists around the cycles in the network. We then use this new classification of steady states to obtain a "Weyl" type of asymptotic estimate for the number of steady states as the number of oscillators becomes arbitrarily large while preserving the cycle structure. We further show how this asymptotic estimate can be maximized, and as a special case we obtain an asymptotic lower bound for the number of stable steady states of the model.


title: Is Time Travel Too Strange to Be Possible? Determinism and Indeterminism on Closed Timelike Curves

abstract: Notoriously, the Einstein equations of general relativity have solutions in which closed timelike curves (CTCs) occur. On these curves time loops back onto itself, which has exotic consequences. However, in order to make time travel stories consistent constraints have to be satisfied, which prevents seemingly ordinary and plausible processes from occurring. This, and several other "unphysical" features, have motivated many authors to exclude solutions with CTCs from consideration, e.g. by conjecturing a chronology protection law. In this contribution we shall investigate the nature of one particular class of exotic consequences of CTCs, namely those involving unexpected cases of indeterminism or determinism. Indeterminism arises even against the backdrop of the usual deterministic physical theories when CTCs do not cross spacelike hypersurfaces outside of a limited CTC-region (such hypersurfaces fail to be Cauchy surfaces). By contrast, a certain kind of determinism appears to arise when an indeterministic theory is applied on a CTC: things cannot be different from what they already were. We shall argue that on further consideration both this indeterminism and determinism on CTCs turn out to possess analogues in other, familiar areas of physics. CTC-indeterminism is close to the epistemological indeterminism we know from statistical physics, while the "fixedness" typical of CTC-determinism is pervasive in physics. CTC-determinism and CTC-indeterminism therefore do not provide incontrovertible grounds for rejecting CTCs as conceptually inadmissible.


title: Quantum test of the equivalence principle for atoms in superpositions of internal energy eigenstates

abstract: The Einstein Equivalence Principle (EEP) has a central role in the understanding of gravity and space-time. In its weak form, or Weak Equivalence Principle (WEP), it directly implies equivalence between inertial and gravitational mass. Verifying this principle in a regime where the relevant properties of the test body must be described by quantum theory has profound implications. Here we report on a novel WEP test for atoms. A Bragg atom interferometer in a gravity gradiometer configuration compares the free fall of rubidium atoms prepared in two hyperfine states and in their coherent superposition. The use of the superposition state allows testing genuine quantum aspects of EEP with no classical analogue, which have remained completely unexplored so far. In addition, we measure the Eotvos ratio of atoms in two hyperfine levels with relative uncertainty in the low $10^{-9}$, improving previous results by almost two orders of magnitude.


title: First Searches for Axions and Axion-Like Particles with the LUX Experiment

abstract: The first searches for axions and axion-like particles with the Large Underground Xenon (LUX) experiment are presented. Under the assumption of an axio-electric interaction in xenon, the coupling constant between axions and electrons, gAe is tested, using data collected in 2013 with an exposure totalling 95 live-days $\times$ 118 kg. A double-sided, profile likelihood ratio statistic test excludes gAe larger than 3.5 $\times$ 10$^{-12}$ (90% C.L.) for solar axions. Assuming the DFSZ theoretical description, the upper limit in coupling corresponds to an upper limit on axion mass of 0.12 eV/c$^{2}$, while for the KSVZ description masses above 36.6 eV/c$^{2}$ are excluded. For galactic axion-like particles, values of gAe larger than 4.2 $\times$ 10$^{-13}$ are excluded for particle masses in the range 1-16 keV/c$^{2}$. These are the most stringent constraints to date for these interactions.


title: TransNets: Learning to Transform for Recommendation

abstract: Recently, deep learning methods have been shown to improve the performance of recommender systems over traditional methods, especially when review text is available. For example, a recent model, DeepCoNN, uses neural nets to learn one latent representation for the text of all reviews written by a target user, and a second latent representation for the text of all reviews for a target item, and then combines these latent representations to obtain state-of-the-art performance on recommendation tasks. We show that (unsurprisingly) much of the predictive value of review text comes from reviews of the target user for the target item. We then introduce a way in which this information can be used in recommendation, even when the target user's review for the target item is not available. Our model, called TransNets, extends the DeepCoNN model by introducing an additional latent layer representing the target user-target item pair. We then regularize this layer, at training time, to be similar to another latent representation of the target user's review of the target item. We show that TransNets and extensions of it improve substantially over the previous state-of-the-art.


title: A $Sim(2)$ invariant dimensional regularization

abstract: We introduce a $Sim(2)$ invariant dimensional regularization of loop integrals. Then we compute the one loop quantum corrections to the photon self energy, electron self energy and vertex in the Electrodynamics sector of the Very Special Relativity Standard Model(VSRSM).