title: TorusE: Knowledge Graph Embedding on a Lie Group

abstract: Knowledge graphs are useful for many artificial intelligence (AI) tasks. However, knowledge graphs often have missing facts. To populate the graphs, knowledge graph embedding models have been developed. Knowledge graph embedding models map entities and relations in a knowledge graph to a vector space and predict unknown triples by scoring candidate triples. TransE is the first translation-based method and it is well known because of its simplicity and efficiency for knowledge graph completion. It employs the principle that the differences between entity embeddings represent their relations. The principle seems very simple, but it can effectively capture the rules of a knowledge graph. However, TransE has a problem with its regularization. TransE forces entity embeddings to be on a sphere in the embedding vector space. This regularization warps the embeddings and makes it difficult for them to fulfill the abovementioned principle. The regularization also affects adversely the accuracies of the link predictions. On the other hand, regularization is important because entity embeddings diverge by negative sampling without it. This paper proposes a novel embedding model, TorusE, to solve the regularization problem. The principle of TransE can be defined on any Lie group. A torus, which is one of the compact Lie groups, can be chosen for the embedding space to avoid regularization. To the best of our knowledge, TorusE is the first model that embeds objects on other than a real or complex vector space, and this paper is the first to formally discuss the problem of regularization of TransE. Our approach outperforms other state-of-the-art approaches such as TransE, DistMult and ComplEx on a standard link prediction task. We show that TorusE is scalable to large-size knowledge graphs and is faster than the original TransE.


title: Unconventional magnetism of the Kondo lattice

abstract: A review is given of the experimental situation and theoretical predictions concerning unconventional magnetic ordering in dense Kondo 4f- and 5f-systems, including recently investigated on cerium, ytterbium, and actinide based ternary systems. This unconventional ordering is characterized by a small magnetic moment and exhibits features typical of both localized-spin and itinerant-electron magnets. Particular attention is paid to ferromagnetic systems and the competition among different types of magnetic ordering. The perturbation theory method, renormalization group approach, and auxiliary pseudofermion representation are considered as tools for describing the formation of the Kondo lattice ground state. The problem of non-Fermi-liquid behavior is also discussed.


title: A characterization of finite abelian groups via sets of lengths in transfer Krull monoids

abstract: Let $H$ be a transfer Krull monoid over a finite ablian group $G$ (for example, rings of integers, holomorphy rings in algebraic function fields, and regular congruence monoids in these domains). Then each nonunit $a \in H$ can be written as a product of irreducible elements, say $a = u_1 \ldots u_k$, and the number of factors $k$ is called the length of the factorization. The set $\mathsf L (a)$ of all possible factorization lengths is the set of lengths of $a$. It is classical that the system $\mathcal L (H) = \{ \mathsf L (a) \mid a \in H \}$ of all sets of lengths depends only on the group $G$, and a standing conjecture states that conversely the system $\mathcal L (H)$ is characteristic for the group $G$. Let $H'$ be a further transfer Krull monoid over a finite ablian group $G'$ and suppose that $\mathcal L (H)= \mathcal L (H')$. We prove that, if $G\cong C_n^r$ with $r\le n-3$ or ($r\ge n-1\ge 2$ and $n$ is a prime power), then $G$ and $G'$ are isomorphic.


title: Thermodynamics of a Quantum Ising system coupled to a spin bath: Zero Temperature Results

abstract: We study the effect of coupling a spin bath environment to a system which, at low energies, can be modeled as a quantum Ising system. A field theoretic formalism incorporating both thermal and quantum fluctuations is developed to derive results for the thermodynamic properties and response functions, both for a toy model and for the $LiHoF_4$ system, in which spin-8 electronic spins couple to a spin-$7/2$ nuclear spin bath: the phase transition then occurs in a system of electronuclear degrees of freedom, coupled by long-range dipolar interactions. The quantum Ising phase transition still exists, and one hybridized mode of the Ising and bath spins always goes soft at the transition.


title: Huddle test measurement of a near Johnson noise limited geophone

abstract: In this paper the sensor noise of two geophone configurations (L-22D and L-4C geophones from Sercel with custom built amplifiers) was measured by performing two huddle tests. It is shown that the accuracy of the results can be significantly improved by performing the huddle test in a seismically quiet environment and by using a large number of reference sensors to remove the seismic foreground signal from the data. Using these two techniques, the measured sensor noise of the two geophone configurations matched calculated predictions remarkably well in the bandwidth of interest (0.01 Hz to 100 Hz). Low noise operational amplifiers OPA188 were utilized to amplify the L-4C geophone to give a sensor that was characterized to be near Johnson noise limited in the bandwidth of interest with a noise value of $10^{-11} \text{m}/\sqrt{\text{Hz}}$ at 1 Hz.


title: Revisiting the electron-doped SmFeAsO: enhanced superconductivity up to 58.6 K by Th and F codoping

abstract: In the iron-based high-Tc bulk superconductors, Tc above 50K was only observed in the electron-doped 1111-type compounds. Here we revisit the electron-doped SmFeAsO polycrystals to make a further investigation for the highest T-c in these materials. To introduce more electron carriers and less crystal lattice distortions, we study the Th and F codoping effects into the Sm-O layers with heavy electron doping. Dozens of Sm1-x Th-x FeAsO1-y F-y samples are synthesized through the solid state reaction method, and these samples are carefully characterized by the structural, resistive, and magnetic measurements. We find that the codoping of Th and F clearly enhances the superconducting T-c more than the Th or F single-doped samples, with the highest record T-c up to 58.6K when x= 0.2 and y= 0.225. Further element doping causes more impurities and lattice distortions in the samples with a weakened superconductivity.


title: Towards Plausible Graph Anonymization

abstract: Social graphs derived from online social interactions contain a wealth of information that is nowadays extensively used by both industry and academia. However, as social graphs contain sensitive information, they need to be properly anonymized before release. Most of the existing graph anonymization mechanisms rely on the perturbation of the original graph's edge set. In this paper, we identify a fundamental weakness of these mechanisms: They neglect the strong structural proximity between friends in social graphs, thus add implausible fake edges for anonymization. To exploit this weakness, we first propose a metric to quantify an edge's plausibility by relying on graph embedding. Extensive experiments on three real-life social network datasets demonstrate that our plausibility metric can very effectively differentiate fake edges from original edges with AUC (area under the ROC curve) values above 0.95 in most of the cases. We then rely on a Gaussian mixture model to automatically derive the threshold on the edge plausibility values to determine whether an edge is fake, which enables us to recover to a large extent the original graph from the anonymized graph. We further demonstrate that our graph recovery attack jeopardizes the privacy guarantees provided by the considered graph anonymization mechanisms. To mitigate this vulnerability, we propose a method to generate fake yet plausible edges given the graph structure and incorporate it into the existing anonymization mechanisms. Our evaluation demonstrates that the enhanced mechanisms decrease the chances of graph recovery, reduce the success of graph de-anonymization (up to 30%), and provide even better utility than the existing anonymization mechanisms.


title: On Mubayi's Conjecture and conditionally intersecting sets

abstract: Mubayi's Conjecture states that if $\mathcal{F}$ is a family of $k$-sized subsets of $[n] = \{1,\ldots,n\}$ which, for $k \geq d \geq 2$, satisfies $A_1 \cap\cdots\cap A_d \neq \emptyset$ whenever $|A_1 \cup\cdots\cup A_d| \leq 2k$ for all distinct sets $A_1,\ldots,A_d \in\mathcal{F}$, then $|\mathcal{F}|\leq \binom{n-1}{k-1}$, with equality occurring only if $\mathcal{F}$ is the family of all $k$-sized subsets containing some fixed element. This paper proves that Mubayi's Conjecture is true for all families that are invariant with respect to shifting; indeed, these families satisfy a stronger version of Mubayi's Conjecture. Relevant to the conjecture, we prove a fundamental bijective duality between $(i,j)$-unstable families and $(j,i)$-unstable families. Generalising previous intersecting conditions, we introduce the $(d,s,t)$-conditionally intersecting condition for families of sets and prove general results thereon. We conjecture on the size and extremal structures of families $\mathcal{F}\in\binom{[n]}{k}$ that are $(d,2k)$-conditionally intersecting but which are not intersecting, and prove results related to this conjecture. We prove fundamental theorems on two $(d,s)$-conditionally intersecting families that generalise previous intersecting families, and we pose an extension of a previous conjecture by Frankl and F\"uredi on $(3,2k-1)$-conditionally intersecting families. Finally, we generalise a classical result by Erd\H{o}s, Ko and Rado by proving tight upper bounds on the size of $(2,s)$-conditionally intersecting families $\mathcal{F}\subseteq 2^{[n]}$ and by characterising the families that attain these bounds. We extend this theorem for certain parametres as well as for sufficiently large families with respect to $(2,s)$-conditionally intersecting families $\mathcal{F}\subseteq 2^{[n]}$ whose members have at most a fixed number $u$ members.


title: Human and Machine Speaker Recognition Based on Short Trivial Events

abstract: Trivial events are ubiquitous in human to human conversations, e.g., cough, laugh and sniff. Compared to regular speech, these trivial events are usually short and unclear, thus generally regarded as not speaker discriminative and so are largely ignored by present speaker recognition research. However, these trivial events are highly valuable in some particular circumstances such as forensic examination, as they are less subjected to intentional change, so can be used to discover the genuine speaker from disguised speech. In this paper, we collect a trivial event speech database that involves 75 speakers and 6 types of events, and report preliminary speaker recognition results on this database, by both human listeners and machines. Particularly, the deep feature learning technique recently proposed by our group is utilized to analyze and recognize the trivial events, which leads to acceptable equal error rates (EERs) despite the extremely short durations (0.2-0.5 seconds) of these events. Comparing different types of events, 'hmm' seems more speaker discriminative.


title: Robust Real-Time Multi-View Eye Tracking

abstract: Despite significant advances in improving the gaze tracking accuracy under controlled conditions, the tracking robustness under real-world conditions, such as large head pose and movements, use of eyeglasses, illumination and eye type variations, remains a major challenge in eye tracking. In this paper, we revisit this challenge and introduce a real-time multi-camera eye tracking framework to improve the tracking robustness. First, differently from previous work, we design a multi-view tracking setup that allows for acquiring multiple eye appearances simultaneously. Leveraging multi-view appearances enables to more reliably detect gaze features under challenging conditions, particularly when they are obstructed in conventional single-view appearance due to large head movements or eyewear effects. The features extracted on various appearances are then used for estimating multiple gaze outputs. Second, we propose to combine estimated gaze outputs through an adaptive fusion mechanism to compute user's overall point of regard. The proposed mechanism firstly determines the estimation reliability of each gaze output according to user's momentary head pose and predicted gazing behavior, and then performs a reliability-based weighted fusion. We demonstrate the efficacy of our framework with extensive simulations and user experiments on a collected dataset featuring 20 subjects. Our results show that in comparison with state-of-the-art eye trackers, the proposed framework provides not only a significant enhancement in accuracy but also a notable robustness. Our prototype system runs at 30 frames-per-second (fps) and achieves 1 degree accuracy under challenging experimental scenarios, which makes it suitable for applications demanding high accuracy and robustness.


title: Verdier quotients of homotopy categories

abstract: We study Verdier quotients of diverse homotopy categories of a full additive subcategory $\mathcal E$ of an abelian category. In particular, we consider the categories $K^{x,y}({\mathcal E})$ for $x\in\{\infty, +,-,b\}$, and $y\in\{\emptyset,b,+,-,\infty\}$ the homotopy categories of left, right, unbounded complexes with homology being $0$, bounded, left or right bounded, or unbounded. Inclusion of these categories give a partially ordered set, and we study localisation sequences or recollement diagrams between the Verdier quotients, and prove that many quotients lead to equivalent categories.


title: Perturbative accelerating solutions of relativistic hydrodynamics

abstract: In ultra-relativistic collisions of heavy ions, the strongly interacting Quark Gluon Plasma (sQGP) is created. The fluid nature of the sQGP was one of the important discoveries of high energy heavy ion physics in the last decades. Henceforth the explosion of this matter may be described by hydrodynamical models. Besides numerical simulations, it is important to study the analytic solutions of the equations of hydrodynamics, as these enable us to understand the connection of the final and initial states better. In this paper we present a perturbative, accelerating solution of relativistic hydrodynamics, on top of a known class of solutions describing Hubble-expansion. We describe the properties of this class of perturbative solutions, and investigate a few selected solutions in detail.


title: Emotional End-to-End Neural Speech Synthesizer

abstract: In this paper, we introduce an emotional speech synthesizer based on the recent end-to-end neural model, named Tacotron. Despite its benefits, we found that the original Tacotron suffers from the exposure bias problem and irregularity of the attention alignment. Later, we address the problem by utilization of context vector and residual connection at recurrent neural networks (RNNs). Our experiments showed that the model could successfully train and generate speech for given emotion labels.


title: Lattice Rescoring Strategies for Long Short Term Memory Language Models in Speech Recognition

abstract: Recurrent neural network (RNN) language models (LMs) and Long Short Term Memory (LSTM) LMs, a variant of RNN LMs, have been shown to outperform traditional N-gram LMs on speech recognition tasks. However, these models are computationally more expensive than N-gram LMs for decoding, and thus, challenging to integrate into speech recognizers. Recent research has proposed the use of lattice-rescoring algorithms using RNNLMs and LSTMLMs as an efficient strategy to integrate these models into a speech recognition system. In this paper, we evaluate existing lattice rescoring algorithms along with new variants on a YouTube speech recognition task. Lattice rescoring using LSTMLMs reduces the word error rate (WER) for this task by 8\% relative to the WER obtained using an N-gram LM.


title: Indirect Probe of Electroweakly Interacting Particles at the High-Luminosity Large Hadron Collider

abstract: Many extensions of the standard model (SM) involve new massive particles charged under the electroweak gauge symmetry. The electroweakly interacting new particles affect various SM processes through radiative corrections. We discuss the possibility of detecting such new particles based on the precise measurement of the SM processes at high energy hadron colliders. It then turns out that Drell-Yan processes receive radiative corrections from the electroweakly interacting particles at the level of ${\cal O}$(0.1-10) %. It is hence possible to indirectly search for the Higgsino up to the mass of 400 GeV and the quintet (5-plet) Majorana fermion up to the mass of 1200 GeV at the high-luminosity running of the Large Hadron Collider, if the systematic uncertainty associated with the estimation of the SM background becomes lower than the statistical one.


title: Scattering Theory and $\mathcal{P}\mathcal{T}$-Symmetry

abstract: We outline a global approach to scattering theory in one dimension that allows for the description of a large class of scattering systems and their $\mathcal{P}$-, $\mathcal{T}$-, and $\mathcal{P}\mathcal{T}$-symmetries. In particular, we review various relevant concepts such as Jost solutions, transfer and scattering matrices, reciprocity principle, unidirectional reflection and invisibility, and spectral singularities. We discuss in some detail the mathematical conditions that imply or forbid reciprocal transmission, reciprocal reflection, and the presence of spectral singularities and their time-reversal. We also derive generalized unitarity relations for time-reversal-invariant and $\mathcal{P}\mathcal{T}$-symmetric scattering systems, and explore the consequences of breaking them. The results reported here apply to the scattering systems defined by a real or complex local potential as well as those determined by energy-dependent potentials, nonlocal potentials, and general point interactions.


title: High-resolution hydrodynamic simulation of tidal detonation of a helium white dwarf by an intermediate mass black hole

abstract: We demonstrate tidal detonation during a tidal disruption event (TDE) of a helium (He) white dwarf (WD) with $0.45M_\odot$ by an intermediate mass black hole (IMBH) by extremely high-resolution simulations. Tanikawa et al. (2017) have showed tidal detonation in previous studies results from unphysical heating due to low-resolution simulations, and such unphysical heating occurs in 3-dimensional (3D) smoothed particle hydrodynamics (SPH) simulations even with $10$ million SPH particles. In order to avoid such unphysical heating, we perform 3D SPH simulations up to $300$ million SPH particles, and 1D mesh simulations using flow structure in the 3D SPH simulations for 1D initial conditions. The 1D mesh simulations have higher resolution than the 3D SPH simulations. We show tidal detonation occurs, and confirm this result is perfectly converged with different space resolution in both 3D SPH and 1D mesh simulations. We find detonation waves independently arises in leading parts of the WD, and yield large amounts of $^{56}$Ni. Although detonation waves are not generated in trailing parts of the WD, the trailing parts receive detonation waves generated in the leading parts, and leave large amounts of Si group elements. Eventually, this He WD TDE would synthesize $^{56}$Ni of $0.30M_\odot$ and Si group elements of $0.08M_\odot$, and could be observed as a luminous thermonuclear transient comparable to type Ia supernovae.


title: On the isomorphism problem for non-ergodic systems with discrete spectrum

abstract: The article presents a new perspective on the isomorphism problem for non-ergodic measure-preserving dynamical systems with discrete spectrum which is based on the connection between ergodic theory and topological dynamics constituted by topological models. By first solving the isomorphism problem for a certain class of topological dynamical systems, it is shown that the measure-preserving case can in fact be deduced from the topological one via the construction of topological models. As a byproduct, a new characterization of mean ergodicity for topological dynamical systems is obtained.


title: Geometric effects resulting from square and circular confinements for a particle constrained to a space curve

abstract: Investigating the geometric effects resulting from the detailed behaviors of the confining potential, we consider square and circular confinements to constrain a particle to a space curve. We find a torsion-induced geometric potential and a curvature-induced geometric momentum just in the square case, while a geometric gauge potential solely in the circular case. In the presence of electromagnetic field, a geometrically induced magnetic moment couples with magnetic field as an induced Zeeman coupling only for the circular confinement, also. As spin-orbit interaction is considered, we find some additional terms for the spin-orbit coupling, which are induced not only by torsion, but also curvature. Moreover, in the circular case, the spin also couples with an intrinsic angular momentum, which describes the azimuthal motions mapped on the space curve. As an important conclusion for the thin-layer quantization approach, some substantial geometric effects result from the confinement boundaries. Finally, these results are proved on a helical wire.


title: Spin-orbit coupling, minimal model and potential Cooper-pairing from repulsion in BiS$_2$-superconductors

abstract: We develop the realistic minimal electronic model for recently discovered BiS$_2$ superconductors including the spin-orbit coupling based on a first-principles band structure calculations. Due to strong spin-orbit coupling, characteristic for the Bi-based systems, the tight-binding low-energy model necessarily includes $p_x$, $p_y$, and $p_z$ orbitals. We analyze a potential Cooper-pairing instability from purely repulsive interaction for the moderate electronic correlations using the so-called leading angular harmonics approximation (LAHA). For small and intermediate doping concentrations we find the dominant instabilities to be $d_{x^2-y^2}$-wave, and $s_{\pm}$-wave symmetries, respectively. At the same time, in the absence of the sizable spin fluctuations the intra and interband Coulomb repulsion are of the same strength, which yields the strongly anisotropic behaviour of the superconducting gaps on the Fermi surface in agreement with recent ARPES findings. In addition, we find that the Fermi surface topology for BiS$_2$ layered systems at large electron doping can resembles the doped iron-based pnictide superconductors with electron and hole Fermi surfaces with sufficient nesting between them. This could provide further boost to increase $T_c$ in these systems.


title: Pointed harmonic volume and its relation to the extended Johnson homomorphism

abstract: The period for a compact Riemann surface, defined by the integral of differential 1-forms, is a classical complex analytic invariant, strongly related to the complex structure of the surface. In this paper, we treat another complex analytic invariant called the pointed harmonic volume. As a natural extension of the period defined using Chen's iterated integrals, it captures more detailed information of the complex structure. It is also one of a few explicitly computable examples of complex analytic invariants. We obtain its new value for a certain pointed hyperelliptic curve. An application of the pointed harmonic volume is presented. We explain the relationship between the harmonic volume and first extended Johnson homomorphism on the mapping class group of a pointed oriented closed surface.


title: Statistical Approaches for Initial Access in mmWave 5G Systems

abstract: mmWave communication systems overcome high attenuation by using multiple antennas at both the transmitter and the receiver to perform beamforming. Upon entrance of a user equipment (UE) into a cell a scanning procedure must be performed by the base station in order to find the UE, in what is known as initial access (IA) procedure. In this paper we start from the observation that UEs are more likely to enter from some directions than from others, as they typically move along streets, while other movements are impossible due to the presence of obstacles. Moreover, users are entering with a given time statistics, for example described by inter-arrival times. In this context we propose scanning strategies for IA that take into account the entrance statistics. In particular, we propose two approaches: a memory-less random illumination (MLRI) algorithm and a statistic and memory-based illumination (SMBI) algorithm. The MLRI algorithm scans a random sector in each slot, based on the statistics of sector entrance, without memory. The SMBI algorithm instead scans sectors in a deterministic sequence selected according to the statistics of sector entrance and time of entrance, and taking into account the fact that the user has not yet been discovered (thus including memory). We assess the performance of the proposed methods in terms of average discovery time.


title: Hibikino-Musashi@Home 2017 Team Description Paper

abstract: Our team Hibikino-Musashi@Home was founded in 2010. It is based in Kitakyushu Science and Research Park, Japan. Since 2010, we have participated in the RoboCup@Home Japan open competition open-platform league every year. Currently, the Hibikino-Musashi@Home team has 24 members from seven different laboratories based in the Kyushu Institute of Technology. Our home-service robots are used as platforms for both education and implementation of our research outcomes. In this paper, we introduce our team and the technologies that we have implemented in our robots.


title: A Public Image Database for Benchmark of Plant Seedling Classification Algorithms

abstract: A database of images of approximately 960 unique plants belonging to 12 species at several growth stages is made publicly available. It comprises annotated RGB images with a physical resolution of roughly 10 pixels per mm. To standardise the evaluation of classification results obtained with the database, a benchmark based on $f_{1}$ scores is proposed. The dataset is available at https://vision.eng.au.dk/plant-seedlings-dataset


title: Anisotropy of thermal dileptons

abstract: The meaningful specific anisotropy in the angle distribution of leptons with respect to the three-momentum of pair is predicted as a feasibility signature of synchrotron-like mechanism resulting from the quarks interacting with a collective confining color field in the heavy ion collisions. The lepton pair production rate and the spectrum of pair invariant mass are presented for this new dilepton source that is apparently not taken into consideration in the available phenomenological estimates.


title: Classical corrections to black hole entropy in $d$ dimensions: a rear window to quantum gravity?

abstract: We provide a simple derivation of the corrections for Schwarzschild and Schwarzschild-Tangherlini black hole entropy without knowing the details of quantum gravity. We will follow Bekenstein, Wheeler and Jaynes ideas, using summations techniques without calculus approximations, to directly find logarithmic corrections to well-known entropy formula for black holes. Our approach is free from pathological behaviour giving negative entropy for small values of black hole mass $M$. With the aid of Universality principle we will argue that this purely classical approach could open a window for exploring properties of quantum gravity.


title: Synchronization versus stability of the invariant distribution for a class of globally coupled maps

abstract: We study a class of globally coupled maps in the continuum limit, where the individual maps are expanding maps of the circle. The circle maps in question are such that the uncoupled system admits a unique absolutely continuous invariant measure (acim), which is furthermore mixing. Interaction arises in the form of diffusive coupling, which involves a function that is discontinuous on the circle. We show that for sufficiently small coupling strength the coupled map system admits a unique absolutely continuous invariant distribution, which depends on the coupling strength $\varepsilon$. Furthermore, the invariant density exponentially attracts all initial distributions considered in our framework. We also show that the dependence of the invariant density on the coupling strength $\varepsilon$ is Lipschitz continuous in the BV norm. When the coupling is sufficiently strong, the limit behavior of the system is more complex. We prove that a wide class of initial measures approach a point mass with support moving chaotically on the circle. This can be interpreted as synchronization in a chaotic state.


title: A Machine Learning Approach to Modeling Human Migration

abstract: Human migration is a type of human mobility, where a trip involves a person moving with the intention of changing their home location. Predicting human migration as accurately as possible is important in city planning applications, international trade, spread of infectious diseases, conservation planning, and public policy development. Traditional human mobility models, such as gravity models or the more recent radiation model, predict human mobility flows based on population and distance features only. These models have been validated on commuting flows, a different type of human mobility, and are mainly used in modeling scenarios where large amounts of prior ground truth mobility data are not available. One downside of these models is that they have a fixed form and are therefore not able to capture more complicated migration dynamics. We propose machine learning models that are able to incorporate any number of exogenous features, to predict origin/destination human migration flows. Our machine learning models outperform traditional human mobility models on a variety of evaluation metrics, both in the task of predicting migrations between US counties as well as international migrations. In general, predictive machine learning models of human migration will provide a flexible base with which to model human migration under different what-if conditions, such as potential sea level rise or population growth scenarios.


title: Polarization-state-dependent attenuation and amplification in a columnar thin film

abstract: We numerically investigated the plane-wave reflection-transmission characteristics of a columnar thin film (CTF) whose columns are made from a dissipative material but whose void regions are filled with an active material. By computing the reflectances and transmittances, we found that the CTF can simultaneously amplify $s$-polarized incident light and attenuate $p$-polarized incident light, or vice versa. This polarization-state-dependent attenuation and amplification phenomenon depends upon the angle of incidence and the thickness of the CTF.


title: Orbital-dependent electron dynamics in Fe-pnictide superconductors

abstract: We report on orbital-dependent quasiparticle dynamics in EuFe$_2$As$_2$, a parent compound of Fe-based superconductors and a novel way to experimentally identify this behavior, using time- and angle-resolved photoelectron spectroscopy across the spin density wave transition. We observe two different relaxation time scales for photo-excited d$_x$$_z$/d$_y$$_z$ and d$_x$$_y$ electrons. While d$_x$$_z$/d$_y$$_z$ electrons relax faster through the electron-electron scattering channel, showing an itinerant character, d$_x$$_y$ electrons form a quasi-equilibrium state with the lattice due to their localized character, and the state decays slowly. Our findings suggest that electron correlation in Fe-pnictides is an important property, which should be taken into careful account when describing the electronic properties of both parent and electron-doped compounds, and therefore establish a strong connection with cuprates.


title: The Impact of Incorporating Shell-corrections to Energy Loss in Silicon

abstract: Modern silicon tracking detectors based on hybrid or fully integrated CMOS technology are continuing to push to thinner sensors. The ionization energy loss fluctuation in very thin silicon sensors significantly deviates from the Landau distribution. Therefore, we have developed a charge deposition setup that implements the Bichsel straggling function, which accounts for shell-effects. This enhanced simulation is important for comparing with testbeam or collision data with thin sensors as demonstrated by reproducing more realistically the degraded position resolution compared with na\"{i}ve ionization models based on simple Landau-like fluctuation. Our implementation of the Bichsel model and the multipurpose photo absorption ionization (PAI) model in Geant4 produce similar results above a few microns thickness. Below a few microns, the PAI model does not fully capture the complete shell effects that are in the Bichsel model. The code is made publicly available as part of the Allpix software package in order to facilitate predictions for new detector designs and comparisons with testbeam data.


title: Modeling Binary Time Series Using Gaussian Processes with Application to Predicting Sleep States

abstract: Motivated by the problem of predicting sleep states, we develop a mixed effects model for binary time series with a stochastic component represented by a Gaussian process. The fixed component captures the effects of covariates on the binary-valued response. The Gaussian process captures the residual variations in the binary response that are not explained by covariates and past realizations. We develop a frequentist modeling framework that provides efficient inference and more accurate predictions. Results demonstrate the advantages of improved prediction rates over existing approaches such as logistic regression, generalized additive mixed model, models for ordinal data, gradient boosting, decision tree and random forest. Using our proposed model, we show that previous sleep state and heart rates are significant predictors for future sleep states. Simulation studies also show that our proposed method is promising and robust. To handle computational complexity, we utilize Laplace approximation, golden section search and successive parabolic interpolation. With this paper, we also submit an R-package (HIBITS) that implements the proposed procedure.


title: Aicyber's System for NLPCC 2017 Shared Task 2: Voting of Baselines

abstract: This paper presents Aicyber's system for NLPCC 2017 shared task 2. It is formed by a voting of three deep learning based system trained on character-enhanced word vectors and a well known bag-of-word model.


title: Tracking Typological Traits of Uralic Languages in Distributed Language Representations

abstract: Although linguistic typology has a long history, computational approaches have only recently gained popularity. The use of distributed representations in computational linguistics has also become increasingly popular. A recent development is to learn distributed representations of language, such that typologically similar languages are spatially close to one another. Although empirical successes have been shown for such language representations, they have not been subjected to much typological probing. In this paper, we first look at whether this type of language representations are empirically useful for model transfer between Uralic languages in deep neural networks. We then investigate which typological features are encoded in these representations by attempting to predict features in the World Atlas of Language Structures, at various stages of fine-tuning of the representations. We focus on Uralic languages, and find that some typological traits can be automatically inferred with accuracies well above a strong baseline.


title: Deterministic Distributed Edge-Coloring with Fewer Colors

abstract: We present a deterministic distributed algorithm, in the LOCAL model, that computes a $(1+o(1))\Delta$-edge-coloring in polylogarithmic-time, so long as the maximum degree $\Delta=\tilde{\Omega}(\log n)$. For smaller $\Delta$, we give a polylogarithmic-time $3\Delta/2$-edge-coloring. These are the first deterministic algorithms to go below the natural barrier of $2\Delta-1$ colors, and they improve significantly on the recent polylogarithmic-time $(2\Delta-1)(1+o(1))$-edge-coloring of Ghaffari and Su [SODA'17] and the $(2\Delta-1)$-edge-coloring of Fischer, Ghaffari, and Kuhn [FOCS'17], positively answering the main open question of the latter. The key technical ingredient of our algorithm is a simple and novel gradual packing of judiciously chosen near-maximum matchings, each of which becomes one of the color classes.


title: Phase diagrams and multistep condensations of spin-1 bosonic gases in optical lattices

abstract: Motivated by recent experimental processes, we systemically investigate strongly correlated spin-1 ultracold bosons trapped in a three-dimensional optical lattice in the presence of an external magnetic field. Based on a recently developed bosonic dynamical mean-field theory (BDMFT), we map out complete phase diagrams of the system for both antiferromagnetic and ferromagnetic interactions, where various phases are found as a result of the interplay of spin-dependent interaction and quadratic Zeeman energy. For antiferromagnetic interactions, the system demonstrates competing magnetic orders, including nematic, spin-singlet and ferromagnetic insulating phase, depending on longitudinal magnetization, whereas, for ferromagnetic case, a ferromagnetic-to-nematic-insulating phase transition is observed for small quadratic Zeeman energy, and the insulating phase demonstrates the nematic order for large Zeeman energy. Interestingly, at low magnetic field and finite temperature, we find an abnormal multi-step condensation of the strongly correlated superfluid, i.e. the critical condensing temperature of the $m_F=-1$ component with antiferromagnetic interactions demonstrates an increase with longitudinal magnetization, while, for ferromagnetic case, the Zeeman component $m_F = 0$ demonstrates a local minimum for the critical condensing temperature, in contrast to weakly interacting cases.


title: Exploring the Bounds of the Utility of Context for Object Detection

abstract: The recurring context in which objects appear holds valuable information that can be employed to predict their existence. This intuitive observation indeed led many researchers to endow appearance-based detectors with explicit reasoning about context. The underlying thesis suggests that stronger contextual relations would facilitate greater improvements in detection capacity. In practice, however, the observed improvement in many cases is modest at best, and often only marginal. In this work we seek to improve our understanding of this phenomenon, in part by pursuing an opposite approach. Instead of attempting to improve detection scores by employing context, we treat the utility of context as an optimization problem: to what extent can detection scores be improved by considering context or any other kind of additional information? With this approach we explore the bounds on improvement by using contextual relations between objects and provide a tool for identifying the most helpful ones. We show that simple co-occurrence relations can often provide large gains, while in other cases a significant improvement is simply impossible or impractical with either co-occurrence or more precise spatial relations. To better understand these results we then analyze the ability of context to handle different types of false detections, revealing that tested contextual information cannot ameliorate localization errors, severely limiting its gains. These and additional insights further our understanding on where and why utilization of context for object detection succeeds and fails.


title: Can clone detection support quality assessments of requirements specifications?

abstract: Due to their pivotal role in software engineering, considerable effort is spent on the quality assurance of software requirements specifications. As they are mainly described in natural language, relatively few means of automated quality assessment exist. However, we found that clone detection, a technique widely applied to source code, is promising to assess one important quality aspect in an automated way, namely redundancy that stems from copy&paste operations. This paper describes a large-scale case study that applied clone detection to 28 requirements specifications with a total of 8,667 pages. We report on the amount of redundancy found in real-world specifications, discuss its nature as well as its consequences and evaluate in how far existing code clone detection approaches can be applied to assess the quality of requirements specifications in practice.


title: Coloring intersection hypergraphs of pseudo-disks

abstract: We prove that the intersection hypergraph of a family of $n$ pseudo-disks with respect to another family of pseudo-disks admits a proper coloring with $4$ colors and a conflict-free coloring with $O(\log n)$ colors. Along the way we prove that the respective Delaunay-graph is planar. We also prove that the intersection hypergraph of a family of $n$ regions with linear union complexity with respect to a family of pseudo-disks admits a proper coloring with constantly many colors and a conflict-free coloring with $O(\log n)$ colors. Our results serve as a common generalization and strengthening of many earlier results, including ones about proper and conflict-free coloring points with respect to pseudo-disks, coloring regions of linear union complexity with respect to points and coloring disks with respect to disks.


title: Superconductivity at 3.1 K in the orthorhombic ternary silicide ScRuSi

abstract: We report the synthesis, crystal structure, superconductivity and physical property characterizations of the ternary equiatomic compound ScRuSi. Polycrystalline samples of ScRuSi were prepared by an arc-melting method. The as-prepared samples were identified as the orthorhombic Co2P-type o-ScRuSi by the powder X-ray diffraction analysis. Electrical resistivity measurement shows o-ScRuSi to be a metal which superconducts below a Tc of 3.1 K, and the upper critical field {\mu}0Hc2(0) is estimated to be 0.87 T. The magnetization and specific heat measurements confirm the bulk type-II superconductivity in o-ScRuSi, with the specific heat jump within the BCS weak coupling limit. o-ScRuSi is the first Co2P-type superconductor containing scandium. After annealing at 1273 K for a week, o-ScRuSi transforms into the hexagonal Fe2P-type h-ScRuSi, and the latter is a Pauli-paramagnetic metal with no superconductivity observed above 1.8 K.


title: The best defense is a good offense: Countering black box attacks by predicting slightly wrong labels

abstract: Black-Box attacks on machine learning models occur when an attacker, despite having no access to the inner workings of a model, can successfully craft an attack by means of model theft. The attacker will train an own substitute model that mimics the model to be attacked. The substitute can then be used to design attacks against the original model, for example by means of adversarial samples. We put ourselves in the shoes of the defender and present a method that can successfully avoid model theft by mounting a counter-attack. Specifically, to any incoming query, we slightly perturb our output label distribution in a way that makes substitute training infeasible. We demonstrate that the perturbation does not affect the ordinary use of our model, but results in an effective defense against attacks based on model theft.


title: Optical spectroscopic survey of a sample of Unidentified Fermi objects

abstract: We present optical spectroscopy secured at the 10m Gran Telescopio Canarias of the counterparts of 20 extragalactic gamma-ray sources detected by the Fermi satellite. The observations allow us to investigate the nature of these sources and to determine their redshift. We find that all optical counterparts have a spectrum that is consistent with a BL Lac object nature. We are able to determine the redshift for 11 objects and set spectroscopic redshift limits for five targets. Only for four sources the optical spectrum is found featureless. In the latter cases we can set lower limits on the redshift based on the assumption that they are hosted by a typical massive elliptical galaxy whose spectrum is diluted by the non thermal continuum. The observations allow us to unveil the nature of these gamma-ray sources and provide a sanity check of a tool to discover the counterparts of gamma-ray emitters/blazars based on their multiwavelength emission.


title: A Convex Parametrization of a New Class of Universal Kernel Functions

abstract: The accuracy and complexity of kernel learning algorithms is determined by the set of kernels over which it is able to optimize. An ideal set of kernels should: admit a linear parameterization (tractability); be dense in the set of all kernels (accuracy); and every member should be universal so that the hypothesis space is infinite-dimensional (scalability). Currently, there is no class of kernel that meets all three criteria - e.g. Gaussians are not tractable or accurate; polynomials are not scalable. We propose a new class that meet all three criteria - the Tessellated Kernel (TK) class. Specifically, the TK class: admits a linear parameterization using positive matrices; is dense in all kernels; and every element in the class is universal. This implies that the use of TK kernels for learning the kernel can obviate the need for selecting candidate kernels in algorithms such as SimpleMKL and parameters such as the bandwidth. Numerical testing on soft margin Support Vector Machine (SVM) problems show that algorithms using TK kernels outperform other kernel learning algorithms and neural networks. Furthermore, our results show that when the ratio of the number of training data to features is high, the improvement of TK over MKL increases significantly.


title: Solubility in Zr-Nb alloys from first-principles

abstract: The thermodynamic properties of the Zr-Nb alloy are investigated at temperatures below 890 K with ab initio calculations. The solution energies of the bcc Nb-rich and hcp Zr-rich solid solutions obtained within the framework of density functional theory are in good agreement with experimental data, although insufficient for a quantitative description of the miscibility gap, for which non configurational entropy has to be accounted for. Whereas electronic free energies can be neglected, we show, using the harmonic approximation and the density functional perturbation theory, that both solution free energies are strongly modified by the contribution related to atomic vibrations. Considering this vibrational free energy leads to a good description of the phase diagram.


title: Quantum non-demolition detection of an itinerant microwave photon

abstract: Photon detectors are an elementary tool to measure electromagnetic waves at the quantum limit and are heavily demanded in the emerging quantum technologies such as communication, sensing, and computing. Of particular interest is a quantum non-demolition (QND) type detector, which projects the quantum state of a photonic mode onto the photon-number basis without affecting the temporal or spatial properties. This is in stark contrast to conventional photon detectors which absorb a photon to trigger a `click' and thus inevitably destroy the photon. The long-sought QND detection of a flying photon was recently demonstrated in the optical domain using a single atom in a cavity. However, the counterpart for microwaves has been elusive despite the recent progress in microwave quantum optics using superconducting circuits. Here, we implement a deterministic entangling gate between a superconducting qubit and a propagating microwave pulse mode reflected by a cavity containing the qubit. Using the entanglement and the high-fidelity qubit readout, we demonstrate a QND detection of a single photon with the quantum efficiency of 0.84, the photon survival probability of 0.87, and the dark-count probability of 0.0147. Our scheme can be a building block for quantum networks connecting distant qubit modules as well as a microwave photon counting device for multiple-photon signals.


title: No Reference Stereoscopic Video Quality Assessment Using Joint Motion and Depth Statistics

abstract: We present a no reference (NR) quality assessment algorithm for assessing the perceptual quality of natural stereoscopic 3D (S3D) videos. This work is inspired by our finding that the joint statistics of the subband coefficients of motion (optical flow or motion vector magnitude) and depth (disparity map) of natural S3D videos possess a unique signature. Specifically, we empirically show that the joint statistics of the motion and depth subband coefficients of S3D video frames can be modeled accurately using a Bivariate Generalized Gaussian Distribution (BGGD). We then demonstrate that the parameters of the BGGD model possess the ability to discern quality variations in S3D videos. Therefore, the BGGD model parameters are employed as motion and depth quality features. In addition to these features, we rely on a frame level spatial quality feature that is computed using a robust off the shelf NR image quality assessment (IQA) algorithm. These frame level motion, depth and spatial features are consolidated and used with the corresponding S3D video's difference mean opinion score (DMOS) labels for supervised learning using support vector regression (SVR). The overall quality of an S3D video is computed by averaging the frame level quality predictions of the constituent video frames. The proposed algorithm, dubbed Video QUality Evaluation using MOtion and DEpth Statistics (VQUEMODES) is shown to outperform the state of the art methods when evaluated over the IRCCYN and LFOVIA S3D subjective quality assessment databases.


title: Search for rare and exotic Higgs Boson decay modes

abstract: The latest results in the search for rare and exotic Higgs boson decays in proton-proton collision events collected with the CMS detector at the LHC are presented. The searches are performed for several decay modes of Higgs boson including $\mathrm{H}\rightarrow{\rm X (X \rightarrow2\ell)\gamma}$ ($X= {\rm Z}, \gamma^* $ and $\ell={\rm e},\mu$), $\mathrm{H}\rightarrow{ \mu\mu / {\rm e}{\rm e}}$, invisible decays, lepton flavour violating decays and Higgs decay to light scalars or pseudo-scalars. No hint for new physics has been found from the analyzed results with the full LHC run-1 data collected during 2011 and 2012 at $\sqrt{s}=7-8$ TeV and with the run-2 data at $\sqrt{s}=13$ TeV collected during 2015 and 2016. Limits are set for all the searches which have been performed by CMS.


title: Efficient Estimation of Generalization Error and Bias-Variance Components of Ensembles

abstract: For many applications, an ensemble of base classifiers is an effective solution. The tuning of its parameters(number of classes, amount of data on which each classifier is to be trained on, etc.) requires G, the generalization error of a given ensemble. The efficient estimation of G is the focus of this paper. The key idea is to approximate the variance of the class scores/probabilities of the base classifiers over the randomness imposed by the training subset by normal/beta distribution at each point x in the input feature space. We estimate the parameters of the distribution using a small set of randomly chosen base classifiers and use those parameters to give efficient estimation schemes for G. We give empirical evidence for the quality of the various estimators. We also demonstrate their usefulness in making design choices such as the number of classifiers in the ensemble and the size of a subset of data used for training that is needed to achieve a certain value of generalization error. Our approach also has great potential for designing distributed ensemble classifiers.


title: Fisher information matrix of binary time series

abstract: A common approach to analyzing categorical correlated time series data is to fit a generalized linear model (GLM) with past data as covariate inputs. There remain challenges to conducting inference for short time series length. By treating the historical data as covariate inputs, standard errors of estimates of GLM parameters computed using the empirical Fisher information do not fully account the auto-correlation in the data. To overcome this serious limitation, we derive the exact conditional Fisher information matrix of a general logistic autoregressive model with endogenous covariates for any series length $T$. Moreover, we also develop an iterative computational formula that allows for relatively easy implementation of the proposed estimator. Our simulation studies show that confidence intervals derived using the exact Fisher information matrix tend to be narrower than those utilizing the empirical Fisher information matrix while maintaining type I error rates at or below nominal levels. Further, we establish that the exact Fisher information matrix approaches, as T tends to infinity, the asymptotic Fisher information matrix previously derived for binary time series data. The developed exact conditional Fisher information matrix is applied to time-series data on respiratory rate among a cohort of expectant mothers where it is found to provide narrower confidence intervals for functionals of scientific interest and lead to greater statistical power when compared to the empirical Fisher information matrix.


title: Condensers with touching plates and constrained minimum Riesz and Green energy problems

abstract: We study minimum energy problems relative to the $\alpha$-Riesz kernel $|x-y|^{\alpha-n}$, $\alpha\in(0,2]$, over signed Radon measures $\mu$ on $\mathbb R^n$, $n\geqslant3$, associated with a generalized condenser $(A_1,A_2)$, where $A_1$ is a relatively closed subset of a domain $D$ and $A_2=\mathbb R^n\setminus D$. We show that, though $A_2\cap\mathrm{Cl}_{\mathbb R^n}A_1$ may have nonzero capacity, this minimum energy problem is uniquely solvable (even in the presence of an external field) if we restrict ourselves to $\mu$ with $\mu^+\leqslant\xi$, where a constraint $\xi$ is properly chosen. We establish the sharpness of the sufficient conditions on the solvability thus obtained, provide descriptions of the weighted $\alpha$-Riesz potentials of the solutions, single out their characteristic properties, and analyze their supports. The approach developed is mainly based on the establishment of an intimate relationship between the constrained minimum $\alpha$-Riesz energy problem over signed measures associated with $(A_1,A_2)$ and the constrained minimum $\alpha$-Green energy problem over positive measures carried by $A_1$. The results are illustrated by examples.


title: Pr\"ufer intersection of valuation domains of a field of rational functions

abstract: Let $V$ be a rank one valuation domain with quotient field $K$. We characterize the subsets $S$ of $V$ for which the ring of integer-valued polynomials ${\rm Int}(S,V)=\{f\in K[X] \mid f(S)\subseteq V\}$ is a Pr\"ufer domain. The characterization is obtained by means of the notion of pseudo-monotone sequence and pseudo-limit in the sense of Chabert, which generalize the classical notions of pseudo-convergent sequence and pseudo-limit by Ostrowski and Kaplansky, respectively. We show that ${\rm Int}(S,V)$ is Pr\"ufer if and only if no element of the algebraic closure $\overline{K}$ of $K$ is a pseudo-limit of a pseudo-monotone sequence contained in $S$, with respect to some extension of $V$ to $\overline{K}$. This result expands a recent result by Loper and Werner.


title: A Lie bracket approximation approach to distributed optimization over directed graphs

abstract: We consider a group of computation units trying to cooperatively solve a distributed optimization problem with shared linear equality and inequality constraints. Assuming that the computation units are communicating over a network whose topology is described by a time-invariant directed graph, by combining saddle-point dynamics with Lie bracket approximation techniques we derive a methodology that allows to design distributed continuous-time optimization algorithms that solve this problem under minimal assumptions on the graph topology as well as on the structure of the constraints. We discuss several extensions as well as special cases in which the proposed procedure becomes particularly simple.


title: Performance Analysis and Optimization of Sparse Matrix-Vector Multiplication on Modern Multi- and Many-Core Processors

abstract: This paper presents a low-overhead optimizer for the ubiquitous sparse matrix-vector multiplication (SpMV) kernel. Architectural diversity among different processors together with structural diversity among different sparse matrices lead to bottleneck diversity. This justifies an SpMV optimizer that is both matrix- and architecture-adaptive through runtime specialization. To this direction, we present an approach that first identifies the performance bottlenecks of SpMV for a given sparse matrix on the target platform either through profiling or by matrix property inspection, and then selects suitable optimizations to tackle those bottlenecks. Our optimization pool is based on the widely used Compressed Sparse Row (CSR) sparse matrix storage format and has low preprocessing overheads, making our overall approach practical even in cases where fast decision making and optimization setup is required. We evaluate our optimizer on three x86-based computing platforms and demonstrate that it is able to distinguish and appropriately optimize SpMV for the majority of matrices in a representative test suite, leading to significant speedups over the CSR and Inspector-Executor CSR SpMV kernels available in the latest release of the Intel MKL library.


title: Products of random matrices from fixed trace and induced Ginibre ensembles

abstract: We investigate the microcanonical version of the complex induced Ginibre ensemble, by introducing a fixed trace constraint for its second moment. Like for the canonical Ginibre ensemble, its complex eigenvalues can be interpreted as a two-dimensional Coulomb gas, which are now subject to a constraint and a modified, collective confining potential. Despite the lack of determinantal structure in this fixed trace ensemble, we compute all its density correlation functions at finite matrix size and compare to a fixed trace ensemble of normal matrices, representing a different Coulomb gas. Our main tool of investigation is the Laplace transform, that maps back the fixed trace to the induced Ginibre ensemble. Products of random matrices have been used to study the Lyapunov and stability exponents for chaotic dynamical systems, where the latter are based on the complex eigenvalues of the product matrix. Because little is known about the universality of the eigenvalue distribution of such product matrices, we then study the product of $m$ induced Ginibre matrices with a fixed trace constraint - which are clearly non-Gaussian - and $M-m$ such Ginibre matrices without constraint. Using an $m$-fold inverse Laplace transform, we obtain a concise result for the spectral density of such a mixed product matrix at finite matrix size, for arbitrary fixed $m$ and $M$. Very recently local and global universality was proven by the authors and their coworker for a more general, single elliptic fixed trace ensemble in the bulk of the spectrum. Here, we argue that the spectral density of mixed products is in the same universality class as the product of $M$ independent induced Ginibre ensembles.


title: Kovacs effect and the relation between glasses and supercooled liquids

abstract: In this note we revisit the Kovacs effect, concerning the way in which the volume of a glass-forming liquid, which has been driven out of equilibrium, changes with time while the system evolves towards a metastable state. The theoret- ical explanation of this phenomenon has attracted much interest even in recent years, because of its relation with some subtle aspects of the still elusive nature of the glass transition. In fact, even if there is a rather general consensus on the fact that what is experimentally observed on cooling is the dramatic effect produced by the dynam- ical arrest of slower degrees of freedom over the experimental time scale, it is not yet clear whether this phenomenology can be justified upon assuming the existence of an underlying (possibly, high order) phase transition at lower temperatures.


title: Measurement of branching fractions of charmless four-body $\Lambda_b^0$ and $\Xi_b^0$ decays

abstract: A search for charmless four-body decays of $\Lambda_{b}^{0}$ and $\Xi_{b}^{0}$ baryons with a proton and three charged mesons (either kaons or pions) in the final state is performed. The data sample used was recorded in 2011 and 2012 with the LHCb experiment and corresponds to an integrated luminosity of 3 fb$^{-1}$. Six decay modes are observed, among which $\Lambda_{b}^{0} \to pK^{-}\pi^{+}\pi^{-}$, $\Lambda_{b}^{0} \to pK^{-}K^{+}K^{-}$, $\Xi_{b}^{0} \to pK^{-}\pi^{+}\pi^{-}$ and $\Xi_{b}^{0} \to pK^{-} \pi^{+}K^{-}$ are established for the first time. Their branching fractions (including the ratio of hadronisation fractions in the case of the $\Xi_{b}^{0}$ baryon) are determined relative to the $\Lambda_{b}^{0} \to \Lambda_{c}^{+}\pi^{-}$ decay.


title: Squeeze-SegNet: A new fast Deep Convolutional Neural Network for Semantic Segmentation

abstract: The recent researches in Deep Convolutional Neural Network have focused their attention on improving accuracy that provide significant advances. However, if they were limited to classification tasks, nowadays with contributions from Scientific Communities who are embarking in this field, they have become very useful in higher level tasks such as object detection and pixel-wise semantic segmentation. Thus, brilliant ideas in the field of semantic segmentation with deep learning have completed the state of the art of accuracy, however this architectures become very difficult to apply in embedded systems as is the case for autonomous driving. We present a new Deep fully Convolutional Neural Network for pixel-wise semantic segmentation which we call Squeeze-SegNet. The architecture is based on Encoder-Decoder style. We use a SqueezeNet-like encoder and a decoder formed by our proposed squeeze-decoder module and upsample layer using downsample indices like in SegNet and we add a deconvolution layer to provide final multi-channel feature map. On datasets like Camvid or City-states, our net gets SegNet-level accuracy with less than 10 times fewer parameters than SegNet.


title: Increasing altruistic and cooperative behaviour with simple moral nudges

abstract: The conflict between pro-self and pro-social behaviour is at the core of many key problems of our time, as, for example, the reduction of air pollution and the redistribution of scarce resources. For the well-being of our societies, it is thus crucial to find mechanisms to promote pro-social choices over egoistic ones. Particularly important, because cheap and easy to implement, are those mechanisms that can change people's behaviour without forbidding any options or significantly changing their economic incentives, the so-called "nudges". Previous research has found that moral nudges (e.g., making norms salient) can promote pro-social behaviour. However, little is known about whether their effect persists over time and spills across context. This question is key in light of research showing that pro-social actions are often followed by selfish actions, thus suggesting that some moral manipulations may backfire. Here we present a class of simple moral nudges that have a great positive impact on pro-sociality. In Studies 1-4 (total N = 1,400), we use economic games to demonstrate that asking subjects to self-report "what they think is the morally right thing to do" does not only increase pro-sociality in the choice immediately after, but also in subsequent choices, and even when the social context changes. In Study 5, we explore whether moral nudges promote charity donations to humanitarian organisations in a large (N=1,800) crowdfunding campaign. We find that, in this context, moral nudges increase donations by about 44 percent.


title: Solving rank structured Sylvester and Lyapunov equations

abstract: We consider the problem of efficiently solving Sylvester and Lyapunov equations of medium and large scale, in case of rank-structured data, i.e., when the coefficient matrices and the right-hand side have low-rank off-diagonal blocks. This comprises problems with banded data, recently studied by Haber and Verhaegen in "Sparse solution of the Lyapunov equation for large-scale interconnected systems", Automatica, 2016, and by Palitta and Simoncini in "Numerical methods for large-scale Lyapunov equations with symmetric banded data", SISC, 2018, which often arise in the discretization of elliptic PDEs. We show that, under suitable assumptions, the quasiseparable structure is guaranteed to be numerically present in the solution, and explicit novel estimates of the numerical rank of the off-diagonal blocks are provided. Efficient solution schemes that rely on the technology of hierarchical matrices are described, and several numerical experiments confirm the applicability and efficiency of the approaches. We develop a MATLAB toolbox that allows easy replication of the experiments and a ready-to-use interface for the solvers. The performances of the different approaches are compared, and we show that the new methods described are efficient on several classes of relevant problems.


title: The role of jet properties in the spectral evolution of the powerful blazars

abstract: In the work, we explore the role of jet properties in the spectral evolution for a sample of Fermi-LAT bright blazars composed primarily by flat spectrum radio quasars (FSRQs). We introduce a near-equipartition log-parabola (NELP) model to fit the quasi-simultaneous multi-waveband spectral energy distributions (SEDs). The Markov Chain Monte Carlo (MCMC) method is employed to determine the best values of spectral parameters and its errors. The correlations of synchrotron peak luminosity $L_{pk}^*$ and its peak frequency $\nu_{pk}^*$, SSC-dominant factor $\xi_s$ and $\nu_{pk}^*$, and their implications as to the spectral evolution were studied. The statistical analysis and the comparison with theoretical approximation indicate that: (1)the spectral evolution in $L_{pk}^*-\nu_{pk}^*$ plane may not only ascribed to variation of the characteristic energy $\gamma_{br}^\prime$ of the employed electron energy distribution (EED), but that other quantities must be varying as well.(2) for the spectral evolution in $\xi_s-\nu_{pk}^*$ plane the magnetic field $B^\prime$ may play the dominant role, and $\gamma_{br}^\prime$ may be considered to be the subdominant role. (3) Variation of the beaming factor $\delta_b$ may be mainly responsible for the absence of a possible correlation, since $B^\prime$ is strongly anti-correlated with the size of radiation zone $R_b^\prime$. The relation is agreement with that derived from the analytical theory, and should be self-consistent with the underling acceleration mechanism of the employed EED. By assuming a conical jet with opening angle $\theta_{op}\sim1/\Gamma_b$, we find that the $\gamma$-ray emission site being located at a distance $\sim10^{17}-10^{19}$ cm.


title: Threshold effects in hadron spectrum: a new spectroscopy?

abstract: The exploration of energies above the open-flavor threshold in the meson spectra has led to the appearance of unexpected states difficult to accommodate in the naive picture of a bound state of a quark and an antiquark. Many of such states are located close to meson-meson thresholds, which suggests that molecular structures may be a relevant component in the total wave function of such resonances. In this work, the state of meson-meson molecules calculations is reviewed, using a non-relativistic constituent quark model that has been applied to a wide range of hadronic observables, and therefore all model parameters are completely constrained. The model has been able to reproduce, among others, the properties of the X(3872), described as a mixture of $c\bar c$ and $D\bar D^\ast$ states, or the spectrum of the P-wave charm-strange mesons, which are well reproduced only if $DK$ and $D^\ast K$ structures are taken into account. We show that such constituent quark model, which is able to describe the ordinary heavy meson spectra, is also capable of providing a good description of many new states recently reported.


title: Rumor Source Detection under Querying with Untruthful Answers

abstract: Social networks are the major routes for most individuals to exchange their opinions about new products, social trends and political issues via their interactions. It is often of significant importance to figure out who initially diffuses the information, ie, finding a rumor source or a trend setter. It is known that such a task is highly challenging and the source detection probability cannot be beyond 31 percent for regular trees, if we just estimate the source from a given diffusion snapshot. In practice, finding the source often entails the process of querying that asks "Are you the rumor source?" or "Who tells you the rumor?" that would increase the chance of detecting the source. In this paper, we consider two kinds of querying: (a) simple batch querying and (b) interactive querying with direction under the assumption that queries can be untruthful with some probability. We propose estimation algorithms for those queries, and quantify their detection performance and the amount of extra budget due to untruthfulness, analytically showing that querying significantly improves the detection performance. We perform extensive simulations to validate our theoretical findings over synthetic and real-world social network topologies.


title: Statman's Hierarchy Theorem

abstract: In the Simply Typed $\lambda$-calculus Statman investigates the reducibility relation $\leq_{\beta\eta}$ between types: for $A,B \in \mathbb{T}^0$, types freely generated using $\rightarrow$ and a single ground type $0$, define $A \leq_{\beta\eta} B$ if there exists a $\lambda$-definable injection from the closed terms of type $A$ into those of type $B$. Unexpectedly, the induced partial order is the (linear) well-ordering (of order type) $\omega + 4$. In the proof a finer relation $\leq_{h}$ is used, where the above injection is required to be a B\"ohm transformation, and an (a posteriori) coarser relation $\leq_{h^+}$, requiring a finite family of B\"ohm transformations that is jointly injective. We present this result in a self-contained, syntactic, constructive and simplified manner. En route similar results for $\leq_h$ (order type $\omega + 5$) and $\leq_{h^+}$ (order type $8$) are obtained. Five of the equivalence classes of $\leq_{h^+}$ correspond to canonical term models of Statman, one to the trivial term model collapsing all elements of the same type, and one does not even form a model by the lack of closed terms of many types.


title: Lattice Boltzmann simulations of droplet dynamics in time-dependent flows

abstract: We study the deformation and dynamics of droplets in time-dependent flows using 3D numerical simulations of two immiscible fluids based on the lattice Boltzmann model (LBM). Analytical models are available in the literature, which assume the droplet shape to be an ellipsoid at all times (P.L. Maffettone, M. Minale, J. Non-Newton. Fluid Mech 78, 227 (1998); M. Minale, Rheol. Acta 47, 667 (2008)). Beyond the practical importance of using a mesoscale simulation to assess ab-initio the robustness and limitations of such theoretical models, our simulations are also key to discuss - in controlled situations - some relevant phenomenology related to the interplay between the flow time scales and the droplet time scales regarding the transparency transition for high enough shear frequencies for an external oscillating flow. This work may be regarded as a step forward to discuss extensions towards a novel DNS approach, describing the mesoscale physics of small droplets subjected to a generic hydrodynamical strain field, possibly mimicking the effect of a realistic turbulent flow on dilute droplet suspensions.


title: Detection of two TeV shell-type remnants at GeV energies with Fermi-LAT: HESS J1731-347 and SN 1006

abstract: We report the first high-significance GeV gamma-ray detections of supernova remnants HESS J1731-347 and SN 1006, both of which have been previously detected by imaging atmospheric Cherenkov Telescopes above 1 TeV. Using 8 years of Fermi Pass 8 data at energies between 1 GeV and 2 TeV, we detect emission at the position of HESS J1731-347 with a significance of $\sim 5\sigma$ and a spectral index of $\Gamma = 1.66 \pm 0.16_{\rm stat} \pm 0.12_{\rm syst}$. The hardness of the index and the good connection with the TeV spectrum of HESS J1731-347 support an association between the two sources. We also confirm the detection of SN 1006 at $\sim 6\sigma$ with a spectral index of $\Gamma = 1.79 \pm 0.17_{\rm stat} \pm 0.27_{\rm syst}$. The northeast (NE) and southwest (SW) limbs of SN 1006 were also fit separately, resulting in the detection of the NE region ($\Gamma = 1.47 \pm 0.26_{\rm stat}$) and the non-detection of the SW region. The significance of different spectral components for the two limbs is $3.6\sigma$, providing first indications of an asymmetry in the GeV $\gamma$-ray emission.


title: A Descent on Simple Graphs -- from Complete to Cycle -- and Algebraic Properties of Their Spectra

abstract: We investigate a descent on simple graphs, starting with the complete graph on $n$ vertices and ending up with the cycle graph by removing one edge after another. We obtain quantitative results showing that graphs with large diameter must have some eigenvalues of large algebraic degree.


title: Sparse identification of nonlinear dynamics for model predictive control in the low-data limit

abstract: The data-driven discovery of dynamics via machine learning is currently pushing the frontiers of modeling and control efforts, and it provides a tremendous opportunity to extend the reach of model predictive control. However, many leading methods in machine learning, such as neural networks, require large volumes of training data, may not be interpretable, do not easily include known constraints and symmetries, and often do not generalize beyond the attractor where models are trained. These factors limit the use of these techniques for the online identification of a model in the low-data limit, for example following an abrupt change to the system dynamics. In this work, we extend the recent sparse identification of nonlinear dynamics (SINDY) modeling procedure to include the effects of actuation and demonstrate the ability of these models to enhance the performance of model predictive control (MPC), based on limited, noisy data. SINDY models are parsimonious, identifying the fewest terms in the model needed to explain the data, making them interpretable, generalizable, and reducing the burden of training data. We show that the resulting SINDY-MPC framework has higher performance, requires significantly less data, and is more computationally efficient and robust to noise than neural network models, making it viable for online training and execution in response to rapid changes to the system. SINDY-MPC also shows improved performance over linear data-driven models, although linear models may provide a stopgap until enough data is available for SINDY. SINDY-MPC is demonstrated on a variety of dynamical systems with different challenges, including the chaotic Lorenz system, a simple model for flight control of an F8 aircraft, and an HIV model incorporating drug treatment.


title: Generically free representations I: large representations

abstract: For a simple linear algebraic group $G$ acting faithfully on a vector space $V$ and under mild assumptions, we show: if $V$ is large enough, then the Lie algebra of $G$ acts generically freely on $V$. That is, the stabilizer in the Lie algebra of $G$ of a generic vector in $V$ is zero. The bound on $\dim V$ grows like $(\mathrm{rank} G)^2$ and holds with only mild hypotheses on the characteristic of the underlying field. The proof relies on results on generation of Lie algebras by conjugates of an element that may be of independent interest. We use the bound in subsequent works to determine which irreducible faithful representations are generically free, with no hypothesis on the characteristic of the field. This in turn has applications to the question of which representations have a stabilizer in general position as well as the determination of the invariants of the representation.


title: Exact relations for energy transfer in self-gravitating isothermal turbulence

abstract: Self-gravitating isothermal supersonic turbulence is analyzed in the asymptotic limit of large Reynolds numbers. Based on the inviscid invariance of total energy, an exact relation is derived for homogeneous, (not necessarily isotropic) turbulence. A modified definition for the two-point energy correlation functions is used to comply with the requirement of detailed energy equipartition in the acoustic limit. In contrast to the previous relations (Galtier and Banerjee, Phys. Rev. Lett., 107, 134501, 2011; Banerjee and Galtier, Phys. Rev. E, 87, 013019, 2013), the current exact relation shows that the pressure dilatation terms plays practically no role in the energy cascade. Both the flux and source terms are written in terms of two-point differences. Sources enter the relation in a form of mixed second-order structure functions. Unlike kinetic and thermodynamic potential energy, gravitational contribution is absent from the flux term. An estimate shows that for the isotropic case, the correlation between density and gravitational acceleration may play an important role in modifying the energy transfer in self-gravitating turbulence. The exact relation is also written in an alternative form in terms of two-point correlation functions, which is then used to describe scale-by-scale energy budget in spectral space.


title: Ward identities in $\mathcal{N}=1$ supersymmetric SU(3) Yang-Mills theory on the lattice

abstract: The introduction of a space-time lattice as a regulator of field theories breaks symmetries associated with continuous space-time, i.e.\ Poincar{\'e} invariance and supersymmetry. A non-zero gluino mass in the supersymmetric Yang-Mills theory causes an additional soft breaking of supersymmetry. We employ the lattice form of SUSY Ward identities, imposing that their continuum form would be recovered when removing the lattice regulator, to obtain the critical hopping parameter where broken symmetries can be recovered.


title: Kondo temperature of Anderson impurity model in a quantum wire with spin-orbit coupling

abstract: We use two different methods, the Hirsch-Fye quantum Monte Carlo simulation and the slave-boson mean field analysis to estimate the effect of spin-orbit coupling on the Kondo temperature in a quantum wire. In quantum Monte Carlo simulation, we calculate the product of spin susceptibility and temperature for different spin-orbit couplings and impurity energies. The variation of the Kondo temperature is estimated via the low temperature universal curves. In the mean field analysis, the Kondo temperature is estimated as the condensation temperature of slave-boson. Both the two methods demonstrate that the Kondo temperature is almost a linear function of the spin-orbit energy, and that the Kondo temperature is suppressed by the spin-orbit coupling. Our results are dramatically different from those given by the perturbative renormalization group analysis.


title: Cosmic-rays, gas, and dust in nearby anticentre clouds : II -- Interstellar phase transitions and the Dark Neutral Medium

abstract: H$_{\rm I}$ 21-cm and $^{12}$CO 2.6-mm line emissions respectively trace the atomic and molecular gas phases, but they miss most of the opaque H$_{\rm I}$ and diffuse H$_2$ present in the Dark Neutral Medium (DNM) at the transition between the H$_{\rm I}$-bright and CO-bright regions. Jointly probing H$_{\rm I}$, CO, and DNM gas, we aim to constrain the threshold of the H$_{\rm I}$-H$_2$ transition. We also aim to measure gas mass fractions in the different phases and to test their relation to cloud properties. We have used dust optical depth measurements at 353 GHz, $\gamma$-ray maps at GeV energies, and H$_{\rm I}$ and CO line data to trace the gas column densities and map the DNM in nearby clouds toward the Galactic anticentre and Chamaeleon regions. The onset of detectable CO intensities varies by only a factor of 4 from cloud to cloud, between 0.6$ \times 10^{21}$ cm$^{-2}$ and 2.5$ \times 10^{21}$ cm$^{-2}$ in total gas column density. We observe larger H$_2$ column densities than linearly inferred from the CO intensities at $A_{\rm{V}}> 3$ magnitudes because of the large CO optical thickness: the additional H$_2$ mass in this regime represents on average 20$\%$ of the CO-inferred molecular mass. In the DNM envelopes, we find that the fraction of diffuse CO-dark H$_2$ in the molecular column densities decreases with increasing $A_{\rm{V}}$ in a cloud. For a half molecular DNM, the fraction decreases from more than 80$\%$ at 0.4 magnitude to less than 20$\%$ beyond 2 magnitudes. In mass, the DNM fraction varies with the cloud properties. The mass present in the DNM envelopes appears to scale with the molecular mass seen in CO as $M_{\rm H}^{\rm DNM} = (62 \pm 7) {M_{\rm H_2}^{\rm CO}}^{\,0.51 \pm 0.02}$ across two decades in mass. The phase transitions in these clouds show both common trends and environmental differences.


title: Shortcut to adiabatic light transfer in waveguide couplers with a sign flip in the phase mismatch

abstract: Employing counterdiabatic shortcut to adiabaticity (STA), we design shorter and robust achromatic two- and three- waveguide couplers. We assume that the phase mismatch between the waveguides has a sign flip at maximum coupling, while the coupling between the waveguides has a smooth spatial shape. We show that the presented coupler operates as a complete achromatic optical switch for two coupled waveguides and as an equal superposition beam splitter for three coupled waveguides. An important feature of our devices is that they do not require larger coupling strength as compared to previous designs, which make them easier to realize in an experimental setting. Additionally, we show that the presented waveguide couplers operate at a shorter device length and are robust against variations in the coupling strength and the phase mismatch.


title: A Generally Applicable, Highly Scalable Measurement Computation and Optimization Approach to Sequential Model-Based Diagnosis

abstract: Model-Based Diagnosis deals with the identification of the real cause of a system's malfunction based on a formal system model and observations of the system behavior. When a malfunction is detected, there is usually not enough information available to pinpoint the real cause and one needs to discriminate between multiple fault hypotheses (called diagnoses). To this end, Sequential Diagnosis approaches ask an oracle for additional system measurements. This work presents strategies for (optimal) measurement selection in model-based sequential diagnosis. In particular, assuming a set of leading diagnoses being given, we show how queries (sets of measurements) can be computed and optimized along two dimensions: expected number of queries and cost per query. By means of a suitable decoupling of two optimizations and a clever search space reduction the computations are done without any inference engine calls. For the full search space, we give a method requiring only a polynomial number of inferences and show how query properties can be guaranteed which existing methods do not provide. Evaluation results using real-world problems indicate that the new method computes (virtually) optimal queries instantly independently of the size and complexity of the considered diagnosis problems and outperforms equally general methods not exploiting the proposed theory by orders of magnitude.


title: Note on Representing attribute reduction and concepts in concepts lattice using graphs

abstract: Mao H. (2017, Representing attribute reduction and concepts in concept lattice using graphs. Soft Computing 21(24):7293--7311) claims to make contributions to the study of reduction of attributes in concept lattices by using graph theory. We show that her results are either trivial or already well-known and all three algorithms proposed in the paper are incorrect.


title: Scalar one-loop vertex integrals as meromorphic functions of space-time dimension d

abstract: Representations are derived for the basic scalar one-loop vertex Feynman integrals as meromorphic functions of the space-time dimension $d$ in terms of (generalized) hypergeometric functions $_2F_1$ and $F_1$. Values at asymptotic or exceptional kinematic points as well as expansions around the singular points at $d=4+2n$, $n$ non-negative integers, may be derived from the representations easily. The Feynman integrals studied here may be used as building blocks for the calculation of one-loop and higher-loop scalar and tensor amplitudes. From the recursion relation presented, higher n-point functions may be obtained in a straightforward manner.


title: The time-reverse of any causal theory is eternal noise

abstract: We consider a very general class of theories, process theories, which capture the underlying structure common to most theories of physics as we understand them today (be they established, toy or speculative theories). Amongst these theories, we will be focusing on those which are `causal', in the sense that they are intrinsically compatible with the causal structure of space-time -- as required by relativity. We demonstrate that there is a sharp contrast between these theories and the corresponding time-reversed theories, where time is taken to flow backwards from the future to the past. While the former typically feature a rich gamut of allowed states, the latter only allow for a single state: eternal noise. We illustrate this result by considering of the time-reverse of quantum theory. We also derive a strengthening of the result in PRL 108, 200403 on signalling in time-reversed theories.


title: Spectral-spatial classification of hyperspectral images: three tricks and a new supervised learning setting

abstract: Spectral-spatial classification of hyperspectral images has been the subject of many studies in recent years. In the presence of only very few labeled pixels, this task becomes challenging. In this paper we address the following two research questions: 1) Can a simple neural network with just a single hidden layer achieve state of the art performance in the presence of few labeled pixels? 2) How is the performance of hyperspectral image classification methods affected when using disjoint train and test sets? We give a positive answer to the first question by using three tricks within a very basic shallow Convolutional Neural Network (CNN) architecture: a tailored loss function, and smooth- and label-based data augmentation. The tailored loss function enforces that neighborhood wavelengths have similar contributions to the features generated during training. A new label-based technique here proposed favors selection of pixels in smaller classes, which is beneficial in the presence of very few labeled pixels and skewed class distributions. To address the second question, we introduce a new sampling procedure to generate disjoint train and test set. Then the train set is used to obtain the CNN model, which is then applied to pixels in the test set to estimate their labels. We assess the efficacy of the simple neural network method on five publicly available hyperspectral images. On these images our method significantly outperforms considered baselines. Notably, with just 1% of labeled pixels per class, on these datasets our method achieves an accuracy that goes from 86.42% (challenging dataset) to 99.52% (easy dataset). Furthermore we show that the simple neural network method improves over other baselines in the new challenging supervised setting. Our analysis substantiates the highly beneficial effect of using the entire image (so train and test data) for constructing a model.


title: Cyclotron resonance of the magnetic ratchet effect and second harmonic generation in bilayer graphene

abstract: We model the magnetic ratchet effect in bilayer graphene in which a dc electric current is produced by an ac electric field of frequency $\omega$ in the presence of a steady in-plane magnetic field and inversion-symmetry breaking. In bilayer graphene, the ratchet effect is tunable by an external metallic gate which breaks inversion symmetry. For zero in-plane magnetic field, we show that trigonal warping and inversion-symmetry breaking are able to produce a large dc valley current, but not a non-zero total dc charge current. For the magnetic ratchet in a tilted magnetic field, the perpendicular field component induces cyclotron motion with frequency $\omega_c$ and we find that the dc current displays cyclotron resonance at $\omega_c = \omega$, although this peak in the current is actually smaller than its value at $\omega_c = 0$. Second harmonic generation, however, is greatly enhanced by resonances at $\omega_c = \omega$ and $\omega_c = 2\omega$ for which the current is generally much larger than at $\omega_c = 0$.


title: Models of Exotic Interferometer Cross-Correlations in Emergent Space-Time

abstract: A Lorentz invariant framework is developed to model the cross spectrum of two interferometers in a space-time that emerges from a Planck scale quantum system with exact causal symmetry and holographic spacelike rotational correlations. Space-time relationships between world lines are generated by entanglement of geometrical states on causal diamonds. The entanglement is tied to a unique observable signature: an exotic imaginary broad band cross spectrum, with a frequency structure determined by the layout of the interferometers. The models will be used to interpret data from the reconfigured Fermilab Holometer, and for conceptual design of future experiments.


title: A-posteriori KAM theory with optimal estimates for partially integrable systems

abstract: In this paper we present a-posteriori KAM results for existence of $d$-dimensional isotropic invariant tori for $n$-DOF Hamiltonian systems with additional $n-d$ independent first integrals in involution. We carry out a covariant formulation that does not require the use of action-angle variables nor symplectic reduction techniques. The main advantage is that we overcome the curse of dimensionality avoiding the practical shortcomings produced by the use of reduced coordinates, which may cause difficulties and underperformance when quantifying the hypotheses of the KAM theorem in such reduced coordinates. The results include ordinary and (generalized) iso-energetic KAM theorems. The approach is suitable to perform numerical computations and computer assisted proofs.


title: Investigating Inner Properties of Multimodal Representation and Semantic Compositionality with Brain-based Componential Semantics

abstract: Multimodal models have been proven to outperform text-based approaches on learning semantic representations. However, it still remains unclear what properties are encoded in multimodal representations, in what aspects do they outperform the single-modality representations, and what happened in the process of semantic compositionality in different input modalities. Considering that multimodal models are originally motivated by human concept representations, we assume that correlating multimodal representations with brain-based semantics would interpret their inner properties to answer the above questions. To that end, we propose simple interpretation methods based on brain-based componential semantics. First we investigate the inner properties of multimodal representations by correlating them with corresponding brain-based property vectors. Then we map the distributed vector space to the interpretable brain-based componential space to explore the inner properties of semantic compositionality. Ultimately, the present paper sheds light on the fundamental questions of natural language understanding, such as how to represent the meaning of words and how to combine word meanings into larger units.


title: Altered structural connectivity of the left visual thalamus in developmental dyslexia

abstract: Developmental dyslexia is characterized by persistent reading and spelling deficits. Partly due to technical challenges with investigating subcortical sensory structures, current research on dyslexia in humans by-and-large focuses on the cerebral cortex. These studies found that dyslexia is typically associated with functional and structural alterations of a distributed left-hemispheric cerebral cortex network. However, findings from animal models and post-mortem studies in humans suggest that developmental dyslexia might also be associated with structural alterations in subcortical sensory pathways. Whether these alterations also exist in developmental dyslexia in-vivo and how they relate to dyslexia symptoms is currently unknown. Here we used ultra-high resolution structural magnetic resonance imaging (MRI), diffusion MRI and probabilistic tractography to investigate the structural connections of the visual sensory pathway in dyslexia in-vivo. We discovered that individuals with developmental dyslexia have reduced structural connections in the direct pathway between the left visual thalamus (LGN) and left middle temporal area V5/MT, but not between the left LGN and left primary visual cortex (V1). In addition, left V5/MT-LGN connectivity strength correlated with rapid naming abilities - a key deficit in dyslexia [14]. These findings provide the first evidence of specific structural alterations in the connections between the sensory thalamus and cortex in developmental dyslexia. The results challenge current standard models and provide novel evidence for the importance of cortico-thalamic interactions in explaining dyslexia.


title: MAMoC: Multisite Adaptive Offloading Framework for Mobile Cloud Applications

abstract: This paper presents MAMoC, a framework which brings together a diverse range of infrastructure types including mobile devices, cloudlets, and remote cloud resources under one unified API. MAMoC allows mobile applications to leverage the power of multiple offloading destinations. MAMoC's intelligent offloading decision engine adapts to the contextual changes in this heterogeneous environment, in order to reduce the overall runtime for both single-site and multi-site offloading scenarios. MAMoC is evaluated through a set of offloading experiments, which evaluate the performance of our offloading decision engine. The results show that offloading computation using our framework can reduce the overall task completion time for both single-site and multi-site offloading scenarios.


title: Accelerated Alternating Projections for Robust Principal Component Analysis

abstract: We study robust PCA for the fully observed setting, which is about separating a low rank matrix $\boldsymbol{L}$ and a sparse matrix $\boldsymbol{S}$ from their sum $\boldsymbol{D}=\boldsymbol{L}+\boldsymbol{S}$. In this paper, a new algorithm, dubbed accelerated alternating projections, is introduced for robust PCA which significantly improves the computational efficiency of the existing alternating projections proposed in [Netrapalli, Praneeth, et al., 2014] when updating the low rank factor. The acceleration is achieved by first projecting a matrix onto some low dimensional subspace before obtaining a new estimate of the low rank matrix via truncated SVD. Exact recovery guarantee has been established which shows linear convergence of the proposed algorithm. Empirical performance evaluations establish the advantage of our algorithm over other state-of-the-art algorithms for robust PCA.


title: From Heisenberg uniqueness pairs to properties of the Helmholtz and Laplace equations

abstract: The aim of this paper is to establish uniqueness properties of solutions of the Helmholtz and Laplace equations. In particular, we show that if two solutions of such equations on a domain of R d agree on two intersecting d -- 1-dimensional submanifolds in generic position, then they agree everywhere.


title: Net-baryon number fluctuations in the Hybrid Quark-Meson-Nucleon model at finite density

abstract: We study the mean-field thermodynamics and the characteristics of the net-baryon number fluctuations at the phase boundaries for the chiral and deconfinement transitions in the Hybrid Quark-Meson-Nucleon model. The chiral dynamics is described in the linear sigma model, whereas the quark confinement is manipulated by a medium-dependent modification of the particle distribution functions, where an additional scalar field is introduced. At low temperature and finite baryon density, the model predicts a first-, second-order chiral phase transition, or a crossover, depending on the expectation value of the scalar field, and a first-order deconfinement phase transition. We focus on the influence of the confinement over higher-order cumulants of the net-baryon number density. We find that whereas the cumulants show a substantial enhancement around the chiral phase transition, they are not as sensitive to the deconfinement transition.