title: Projection and Convolution Operations for Integrally Convex Functions

abstract: This paper considers projection and convolution operations for integrally convex functions, which constitute a fundamental function class in discrete convex analysis. It is shown that the class of integrally convex functions is stable under projection, and this is also the case with the subclasses of integrally convex functions satisfying local or global discrete midpoint convexity. As is known in the literature, the convolution of two integrally convex functions may possibly fail to be integrally convex. We show that the convolution of an integrally convex function with a separable convex function remains integrally convex. We also point out in terms of examples that the similar statement is false for integrally convex functions with local or global discrete midpoint convexity.


title: Synthetic Schlieren -- application to the visualization and characterization of air convection

abstract: Synthetic schlieren is an digital image processing optical method relying on the variation of optical index to visualize the flow of a transparent fluid. In this article, we present a step-by step, easy-to-implement and affordable experimental realization of this technique. The method is applied to air convection caused by a warm surface. We show that the velocity of rising convection plumes can be linked to the temperature of the warm surface and propose a simple physical argument to explain this dependence. Moreover, using this method, one can reveal the tenuous convection plumes rising from ounce's hand, a phenomenon invisible to the naked eye. This spectacular result may help student realize the power of careful data acquisition combined with astute image processing techniques.


title: The Dimension of Eigenvariety of Nonnegative Tensors Associated with Spectral Radius

abstract: For a nonnegative weakly irreducible tensor, its spectral radius is an eigenvalue corresponding to a unique positive eigenvector up to a scalar called the Perron vector. But including the Perron vector, it may have more than one eigenvector corresponding to the spectral radius. The projective eigenvariety associated with the spectral radius is the set of the eigenvectors corresponding to the spectral radius considered in the complex projective space. In this paper we prove that the dimension of the above projective eigenvariety is zero, i.e. there are finite many eigenvectors associated with the spectral radius up to a scalar. For a general nonnegative tensor, we characterize the nonnegative combinatorially symmetric tensor for which the dimension of projective eigenvariety associated with spectral radius is greater than zero. Finally we apply those results to the adjacency tensors of uniform hypergraphs.


title: Fundamental limits to high-contrast wavefront control

abstract: The current generation of ground-based coronagraphic instruments uses deformable mirrors to correct for phase errors and to improve contrast levels at small angular separations. Improving these techniques, several space and ground based instruments are currently developed using two deformable mirrors to correct for both phase and amplitude errors. However, as wavefront control techniques improve, more complex telescope pupil geome- tries (support structures, segmentation) will soon be a limiting factor for these next generation coronagraphic instruments. In this paper we discuss fundamental limits associated with wavefront control with deformable mirrors in high contrast coronagraph. We start with an analytic prescription of wavefront errors, along with their wave- length dependence, and propagate them through coronagraph models. We then consider a few wavefront control architectures, number of deformable mirrors and their placement in the optical train of the instrument, and algorithms that can be used to cancel the starlight scattered by these wavefront errors over a finite bandpass. For each configuration we derive the residual contrast as a function of bandwidth and of the properties of the incoming wavefront. This result has consequences when setting the wavefront requirements, along with the wavefront control architecture of future high contrast instrument both from the ground and from space. In particular we show that these limits can severely affect the effective Outer Working Angle that can be achieved by a given coronagraph instrument.


title: Is Goldbach Conjecture true?

abstract: We answer the question positively. In fact, we believe to have proved that every even integer $2N\geq3\times10^{6}$ is the sum of two odd distinct primes. Numerical calculations extend this result for $2N$ in the range $8-3\times10^{6}$. So, a fortiori, it is shown that every even integer $2N>2$ is the sum of two primes (Goldbach conjecture). Of course, we would be grateful for comments and objections.


title: Ferrotoroidic Ground State in a Heterometallic Cr$^{\mathrm{III}}$Dy$^{\mathrm{III}}_6$ Complex Displaying Slow Magnetic Relaxation

abstract: Toroidal quantum states are most promising for building quantum computing and information storage devices as they are insensitive to homogeneous magnetic fields, but interact with charge and spin currents, allowing this moment to be manipulated purely by electrical means. Coupling molecular toroids into larger toroidal moments via ferrotoroidic interactions can be pivotal not only to enhance ground state toroidicity, but also to develop materials displaying ferrotoroidic ordered phases, which sustain linear magneto-electric coupling and multiferroic behaviour. However, engineering ferrotoroidic coupling is known to be a challenging task. Here we have isolated a Cr$^{\mathrm{III}}$Dy$^{\mathrm{III}}_6$ complex, which exhibits the much sought-after ferrotoroidic ground state with an enhanced toroidal moment, solely arising from intramolecular dipolar interactions. Moreover, a theoretical analysis of the observed sub-Kelvin zero-field hysteretic spin dynamics of Cr$^{\mathrm{III}}$Dy$^{\mathrm{III}}_6$ reveals the pivotal role played by ferrotoroidic states in slowing down the magnetic relaxation, in spite of large calculated single-ion quantum tunnelling rates.


title: New series representations of {\pi}, {\pi}3 and {\pi}5 in terms of Euler numbers and {\pi}2, {\pi}4 and {\pi}6 in terms of Bernoulli numbers

abstract: New series representations for odd powers of {\pi} i.e. {\pi}, {\pi}3 and {\pi}5 in terms of Euler numbers and even powers of {\pi} i.e. {\pi}2, {\pi}4 and {\pi}6 in terms of Bernoulli numbers have been obtained empirically.


title: No iterated identities satisfied by all finite groups

abstract: We show that there is no iterated identity satisfied by all finite groups. For $w$ being a non-trivial word of length $l$, we show that there exists a finite group $G$ of cardinality at most $\exp(l^C)$ which does not satisfy the iterated identity $w$. The proof uses the approach of Borisov and Sapir, who used dynamics of polynomial mappings for the proof of non residual finiteness of some groups.


title: Density functional theory study on the dihydrogen bond cooperativity in the growth behavior of dimethyl sulfoxide clusters

abstract: We have carried out a density functional theory study on the structures of DMSO clusters and analysed the structure and their stability using molecular electrostatic potential and quantum theory of atoms-in-molecules (QTAIM). The ground state geometry of the DMSO clusters, prefer to exist in ouroboros shape. Pair wise interaction energy calculation show the interaction between methyl groups of adjacent DMSO molecules and a destabilization is is created by the methyl groups which are away from each other. Molecular electrostatic potential analysis shows the existence of hole on the odd numbered clusters, which helps in their highly directional growth. QTAIM analysis show the existence of two intermolecular hydrogen bonds, of type SOC hydrogen bonds and methyl CHC dihydrogen bonds. The computed and Laplacian values were all positive for the intermolecular bonds, supporting the existence of noncovalent interactions. The computed ellipticity for the dihydrogen bonds have values > 2, which confirms the delocalization of electron, are mainly due to the hydrogen-hydrogen interactions of methyl groups. A plot of total hydrogen bonding energy vs the observed total local electron density shows linearity with correlation coefficient of near unity, which indicates the cooperative effects of intermolecular dihydrogen HH bonds.


title: Quadratic twists of abelian varieties with real multiplication

abstract: Let $F$ be a totally real number field and $A/F$ a principally polarized abelian variety with real multiplication by the ring of integers $\mathcal{O}$ of a totally real field. Assuming $A$ admits an $\mathcal{O}$-linear 3-isogeny over $F$, we prove that a positive proportion of the quadratic twists $A_d$ have rank 0. We also prove that a positive proportion of $A_d$ have rank $\dim A$, assuming the Tate-Shafarevich groups are finite. If $A$ is the Jacobian of a hyperelliptic curve $C$, we deduce that a positive proportion of twists $C_d$ have no rational points other than those fixed by the hyperelliptic involution.


title: Word Translation Without Parallel Data

abstract: State-of-the-art methods for learning cross-lingual word embeddings have relied on bilingual dictionaries or parallel corpora. Recent studies showed that the need for parallel data supervision can be alleviated with character-level information. While these methods showed encouraging results, they are not on par with their supervised counterparts and are limited to pairs of languages sharing a common alphabet. In this work, we show that we can build a bilingual dictionary between two languages without using any parallel corpora, by aligning monolingual word embedding spaces in an unsupervised way. Without using any character information, our model even outperforms existing supervised methods on cross-lingual tasks for some language pairs. Our experiments demonstrate that our method works very well also for distant language pairs, like English-Russian or English-Chinese. We finally describe experiments on the English-Esperanto low-resource language pair, on which there only exists a limited amount of parallel data, to show the potential impact of our method in fully unsupervised machine translation. Our code, embeddings and dictionaries are publicly available.


title: Self-Assembled Chiral Photonic Crystals From Colloidal Helices Racemate

abstract: Chiral crystals consisting of micro-helices have many optical properties while presently available fabrication processes limit their large-scale applications in photonic devices. Here, by using a simplified simulation method, we investigate a bottom-up self-assembly route to build up helical crystals from the smectic monolayer of colloidal helices racemate. With increasing the density, the system undergoes an entropy-driven co-crystallization by forming crystals of various symmetries with different helical shapes. In particular, we identify two crystals of helices arranged in the binary honeycomb and square lattices, which are essentially composed by two sets of opposite-handed chiral crystal. Photonic calculations show that these chiral structures can have large complete photonic bandgaps. In addition, in the self-assembled chiral square crystal, we also find dual polarization bandgaps that selectively forbid the propagation of circularly polarized lights of a specific handedness along the helical axis direction. The self-assembly process in our proposed system is robust, suggesting possibilities of using chiral colloids to assemble photonic metamaterials.


title: Quantized Minimum Error Entropy Criterion

abstract: Comparing with traditional learning criteria, such as mean square error (MSE), the minimum error entropy (MEE) criterion is superior in nonlinear and non-Gaussian signal processing and machine learning. The argument of the logarithm in Renyis entropy estimator, called information potential (IP), is a popular MEE cost in information theoretic learning (ITL). The computational complexity of IP is however quadratic in terms of sample number due to double summation. This creates computational bottlenecks especially for large-scale datasets. To address this problem, in this work we propose an efficient quantization approach to reduce the computational burden of IP, which decreases the complexity from O(N*N) to O (MN) with M << N. The new learning criterion is called the quantized MEE (QMEE). Some basic properties of QMEE are presented. Illustrative examples are provided to verify the excellent performance of QMEE.


title: Zero-field quantum anomalous Hall metrology as a step towards a universal quantum standard unit system

abstract: In the quantum anomalous Hall effect, the edge states of a ferromagnetically doped topological insulator exhibit quantized Hall resistance and dissipationless transport at zero magnetic field. Up to now, however, the resistance was experimentally assessed with standard transport measurement techniques which are difficult to trace to the von-Klitzing constant R$_K$ with high precision. Here, we present a metrologically comprehensive measurement, including a full uncertainty budget, of the resistance quantization of V-doped (Bi,Sb)$_2$Te$_3$ devices without external magnetic field. We established as a new upper limit for a potential deviation of the quantized anomalous Hall resistance from RK a value of 0.26 +- 0.22 ppm, the smallest and most precise value reported to date. This provides another major step towards realization of the zero-field quantum resistance standard which in combination with Josephson effect will provide the universal quantum units standard in the future.


title: Finding Euler Tours in One Pass in the W-Streaming Model with O(n log(n)) RAM

abstract: We study the problem of finding an Euler tour in an undirected graph G in the W-Streaming model with O(n polylog(n)) RAM, where n resp. m is the number of nodes resp. edges of G. Our main result is the first one pass W-Streaming algorithm computing an Euler tour of G in the form of an edge successor function with only O(n log(n)) RAM which is optimal for this setting (e.g., Sun and Woodruff (2015)). The previously best-known result in this model is implicitly given by Demetrescu et al. (2010) with the parallel algorithm of Atallah and Vishkin (1984) using O(m/n) passes under the same RAM limitation. For graphs with \omega(n) edges this is non-constant. Our overall approach is to partition the edges into edge-disjoint cycles and to merge the cycles until a single Euler tour is achieved. Note that in the W-Streaming model such a merging is far from being obvious as the limited RAM allows the processing of only a constant number of cycles at once. This enforces us to merge cycles that partially are no longer present in RAM. Furthermore, the successor of an edge cannot be changed after the edge has left RAM. So, we steadily have to output edges and their designated successors, not knowing the appearance of edges and cycles yet to come. We solve this problem with a special edge swapping technique, for which two certain edges per node are sufficient to merge tours without having all of their edges in RAM. Mathematically, this is controlled by structural results on the space of certain equivalence classes corresponding to cycles and the characterization of associated successor functions. For example, we give conditions under which the swapping of edge successors leads to a merging of equivalence classes.


title: Unlikely intersections with Hecke translates of a special subvariety

abstract: We prove some cases of the Zilber-Pink conjecture on unlikely intersections in Shimura varieties. Firstly, we prove that the Zilber-Pink conjecture holds for intersections between a curve and the union of the Hecke translates of a fixed special subvariety, conditional on arithmetic conjectures. Secondly, we prove the conjecture unconditionally for intersections between a curve and the union of Hecke correspondences on the moduli space of principally polarised abelian varieties, subject to some technical hypotheses. This generalises results of Habegger and Pila on the Zilber-Pink conjecture for products of modular curves. The conditional proof uses the Pila-Zannier method, relying on a point-counting theorem of Habegger and Pila and a functional transcendence result of Gao. The unconditional results are deduced from this using a variety of arithmetic ingredients: the Masser-W\"ustholz isogeny theorem, comparison between Faltings and Weil heights, a super-approximation theorem of Salehi Golsefidy, and a result on expansion and gonality due to Ellenberg, Hall and Kowalski.


title: Efficient MCMC for Gibbs Random Fields using pre-computation

abstract: Bayesian inference of Gibbs random fields (GRFs) is often referred to as a doubly intractable problem, since the likelihood function is intractable. The exploration of the posterior distribution of such models is typically carried out with a sophisticated Markov chain Monte Carlo (MCMC) method, the exchange algorithm (Murray et al., 2006), which requires simulations from the likelihood function at each iteration. The purpose of this paper is to consider an approach to dramatically reduce this computational overhead. To this end we introduce a novel class of algorithms which use realizations of the GRF model, simulated offline, at locations specified by a grid that spans the parameter space. This strategy speeds up dramatically the posterior inference, as illustrated on several examples. However, using the pre-computed graphs introduces a noise in the MCMC algorithm, which is no longer exact. We study the theoretical behaviour of the resulting approximate MCMC algorithm and derive convergence bounds using a recent theoretical development on approximate MCMC methods.


title: Validation of hardware events for successful performance pattern identification in High Performance Computing

abstract: Hardware performance monitoring (HPM) is a crucial ingredient of performance analysis tools. While there are interfaces like LIKWID, PAPI or the kernel interface perf\_event which provide HPM access with some additional features, many higher level tools combine event counts with results retrieved from other sources like function call traces to derive (semi-)automatic performance advice. However, although HPM is available for x86 systems since the early 90s, only a small subset of the HPM features is used in practice. Performance patterns provide a more comprehensive approach, enabling the identification of various performance-limiting effects. Patterns address issues like bandwidth saturation, load imbalance, non-local data access in ccNUMA systems, or false sharing of cache lines. This work defines HPM event sets that are best suited to identify a selection of performance patterns on the Intel Haswell processor. We validate the chosen event sets for accuracy in order to arrive at a reliable pattern detection mechanism and point out shortcomings that cannot be easily circumvented due to bugs or limitations in the hardware.


title: Architectural control of freeze-cast ceramics through additives and templating

abstract: The freezing of concentrated colloidal suspensions is a complex physical process involving a large number of parameters. These parameters provide unique tools to manipulate the architecture of freeze-cast materials at multiple length scales in a single processing step. However, we are still far from developing predictive models to describe the growth of ice crystals in concentrated particle slurries. In order to exert reliable control over the microstructural formation of freeze-cast materials, it is necessary to reach a deeper understanding of the basic relationships between the experimental conditions and the microstructure of the growing solid. In this work, we explore the role of several processing variables (e.g., composition of the suspension, freezing rate, and patterning of the freezing surface) that could affect the formulation strategies for the architectural manipulation of freeze-cast materials. We also demonstrate, using freeze-cast lamellar structures, how reducing the lamellar thickness by less than half increases compressive strength by more than one order of magnitude.


title: Energy-dependent spatial texturing of the charge order in $1T$-Cu$_x$TiSe$_2$

abstract: We report a detailed study of the microscopic effects of Cu intercalation on the charge density wave (CDW) in 1\textit{T}-Cu$_x$TiSe$_2$. Scanning tunneling microscopy and spectroscopy (STM/STS) reveal a unique, Cu driven spatial texturing of the charge ordered phase, with the appearance of energy dependent CDW patches and sharp $\pi$-phase shift domain walls ($\pi$DWs). The energy and doping dependencies of the patchwork are directly linked to the inhomogeneous potential landscape due to the Cu intercalants. They imply a CDW gap with unusual features, including a large amplitude, the opening below the Fermi level and a shift to higher binding energy with electron doping. Unlike the patchwork, the $\pi$DWs occur independently of the intercalated Cu distribution. They remain atomically sharp throughout the investigated phase diagram and occur both in superconducting and non-superconducting specimen. These results provide unique atomic-scale insight on the CDW ground state, questioning the existence of incommensurate CDW domain walls and contributing to understand its formation mechanism and interplay with superconductivity.


title: Local Radon Descriptors for Image Search

abstract: Radon transform and its inverse operation are important techniques in medical imaging tasks. Recently, there has been renewed interest in Radon transform for applications such as content-based medical image retrieval. However, all studies so far have used Radon transform as a global or quasi-global image descriptor by extracting projections of the whole image or large sub-images. This paper attempts to show that the dense sampling to generate the histogram of local Radon projections has a much higher discrimination capability than the global one. In this paper, we introduce Local Radon Descriptor (LRD) and apply it to the IRMA dataset, which contains 14,410 x-ray images as well as to the INRIA Holidays dataset with 1,990 images. Our results show significant improvement in retrieval performance by using LRD versus its global version. We also demonstrate that LRD can deliver results comparable to well-established descriptors like LBP and HOG.


title: LLAMA: Nuclear stellar properties of Swift BAT AGN and matched inactive galaxies

abstract: In a complete sample of local 14-195 keV selected AGNs and inactive galaxies, matched by their host galaxy properties, we study the spatially resolved stellar kinematics and luminosity distributions at near-infrared wavelengths on scales of 10-150 pc, using SINFONI on the VLT. In this paper, we present the first half of the sample, which comprises 13 galaxies, 8 AGNs and 5 inactive galaxies. The stellar velocity fields show a disk-like rotating pattern, for which the kinematic position angle is in agreement with the photometric position angle obtained from large scale images. For this set of galaxies, the stellar surface brightness of the inactive galaxy sample is generally comparable to the matched sample of AGN but extends to lower surface brightness. After removal of the bulge contribution, we find a nuclear stellar light excess with an extended nuclear disk structure, and which exhibits a size-luminosity relation. While we expect the excess luminosity to be associated with a dynamically cooler young stellar population, we do not typically see a matching drop in dispersion. This may be because these galaxies have pseudo-bulges in which the intrinsic dispersion increases towards the centre. And although the young stars may have an impact in the observed kinematics, their fraction is too small to dominate over the bulge and compensate the increase in dispersion at small radii, so no dispersion drop is seen. Finally, we find no evidence for a difference in the stellar kinematics and nuclear stellar luminosity excess between these active and inactive galaxies.


title: Wembedder: Wikidata entity embedding web service

abstract: I present a web service for querying an embedding of entities in the Wikidata knowledge graph. The embedding is trained on the Wikidata dump using Gensim's Word2Vec implementation and a simple graph walk. A REST API is implemented. Together with the Wikidata API the web service exposes a multilingual resource for over 600'000 Wikidata items and properties.


title: Multivalent Ion-Activated Protein Adsorption Reflecting Bulk Reentrant Behavior

abstract: Protein adsorption at the solid-liquid interface is an important phenomenon that often can be observed as a first step in biological processes. Despite its inherent importance, still relatively little is known about the underlying microscopic mechanisms. Here, using multivalent ions, we demonstrate the control of the interactions and the corresponding adsorption of net-negatively charged proteins (bovine serum albumin) at a solid-liquid interface. This is demonstrated by ellipsometry and corroborated by neutron reflectivity and quartz-crystal microbalance experiments. We show that the reentrant condensation observed within the rich bulk phase behavior of the system featuring a nonmonotonic dependence of the second virial cofficient on salt concentration c_s is reflected in an intriguing way in the protein adsorption d(c_s) at the interface. Our findings are successfully described and understood by a model of ion-activated patchy interactions within the framework of classical density functional theory. In addition to the general challenge of connecting bulk and interface behavior, our work has implications for, inter alia, nucleation at interfaces.


title: The Provable Virtue of Laziness in Motion Planning

abstract: The Lazy Shortest Path (LazySP) class consists of motion-planning algorithms that only evaluate edges along shortest paths between the source and target. These algorithms were designed to minimize the number of edge evaluations in settings where edge evaluation dominates the running time of the algorithm; but how close to optimal are LazySP algorithms in terms of this objective? Our main result is an analytical upper bound, in a probabilistic model, on the number of edge evaluations required by LazySP algorithms; a matching lower bound shows that these algorithms are asymptotically optimal in the worst case.


title: Combining Learned and Analytical Models for Predicting Action Effects from Sensory Data

abstract: One of the most basic skills a robot should possess is predicting the effect of physical interactions with objects in the environment. This enables optimal action selection to reach a certain goal state. Traditionally, dynamics are approximated by physics-based analytical models. These models rely on specific state representations that may be hard to obtain from raw sensory data, especially if no knowledge of the object shape is assumed. More recently, we have seen learning approaches that can predict the effect of complex physical interactions directly from sensory input. It is however an open question how far these models generalize beyond their training data. In this work, we investigate the advantages and limitations of neural network based learning approaches for predicting the effects of actions based on sensory input and show how analytical and learned models can be combined to leverage the best of both worlds. As physical interaction task, we use planar pushing, for which there exists a well-known analytical model and a large real-world dataset. We propose to use a convolutional neural network to convert raw depth images or organized point clouds into a suitable representation for the analytical model and compare this approach to using neural networks for both, perception and prediction. A systematic evaluation of the proposed approach on a very large real-world dataset shows two main advantages of the hybrid architecture. Compared to a pure neural network, it significantly (i) reduces required training data and (ii) improves generalization to novel physical interaction.


title: Femtoscopy with identified hadrons in pp, pPb, and PbPb collisions in CMS

abstract: Short range correlations of identified charged hadrons in pp ($\sqrt{s} =$ 0.9, 2.76, and 7 TeV), pPb ($\sqrt{s_{_\mathrm{NN}}} =$ 5.02 TeV), and peripheral PbPb collisions ($\sqrt{s_{_\mathrm{NN}}} =$ 2.76 TeV) are studied with the CMS detector at the LHC. Charged pions, kaons, and protons at low momentum and in laboratory pseudorapidity $|\eta| < 1$ are identified via their energy loss in the silicon tracker. The two-particle correlation functions show effects of quantum statistics, Coulomb interaction, and also indicate the role of multi-body resonance decays and mini-jets. The characteristics of the one-, two-, and three-dimensional correlation functions are studied as a function of transverse pair momentum, $k_\text{T}$, and the charged-particle multiplicity of the event. The extracted radii are in the range 1-5 fm, reaching highest values for very high multiplicity pPb, also for similar multiplicity PbPb collisions, and decrease with increasing $k_\text{T}$. The dependence of radii on multiplicity and $k_\text{T}$ largely factorizes and appears to be insensitive to the type of the colliding system and center-of-mass energy.


title: A novel prestack sparse azimuthal AVO inversion

abstract: In this paper we demonstrate a new algorithm for sparse prestack azimuthal AVO inversion. A novel Euclidean prior model is developed to at once respect sparseness in the layered earth and smoothness in the model of reflectivity. Recognizing that methods of artificial intelligence and Bayesian computation are finding an every increasing role in augmenting the process of interpretation and analysis of geophysical data, we derive a generalized matrix-variate model of reflectivity in terms of orthogonal basis functions, subject to sparse constraints. This supports a direct application of machine learning methods, in a way that can be mapped back onto the physical principles known to govern reflection seismology. As a demonstration we present an application of these methods to the Marcellus shale. Attributes extracted using the azimuthal inversion are clustered using an unsupervised learning algorithm. Interpretation of the clusters is performed in the context of the Ruger model of azimuthal AVO.


title: Variable Selection in Restricted Linear Regression Models

abstract: The use of prior information in the linear regression is well known to provide more efficient estimators of regression coefficients. The methods of non-stochastic restricted regression estimation proposed by Theil and Goldberger (1961) are preferred when prior information is available. In this study, we will consider parameter estimation and the variable selection in non-stochastic restricted linear regression model, using least absolute shrinkage and selection operator (LASSO) method introduced by Tibshirani (1996). A small simulation study and real data example are provided to illustrate the performance of the proposed method for dealing with the variable selection and the parameter estimation in restricted linear regression models.


title: Vector-borne disease risk indexes in spatially structured populations

abstract: There are economic and physical limitations when applying prevention and control strategies for urban vector borne diseases. Consequently, there are increasing concerns and interest in designing efficient strategies and regulations that health agencies can follow in order to reduce the imminent impact of viruses like Dengue, Zika and Chikungunya. That includes fumigation, abatization, reducing the hatcheries, picking up trash, information campaigns. A basic question that arise when designing control strategies is about which and where these ones should focus. In other words, one would like to know whether preventing the contagion or decrease vector population, and in which area of the city, is more efficient. In this work, we propose risk indexes based on the idea of secondary cases from patch to patch. Thus, they take into account human mobility and indicate which patch has more chance to be a corridor for the spread of the disease and which is more vulnerable. They can also indicate the neighborhood where hatchery control will reduce more the number of potential cases. In order to illustrate the usefulness of these indexes, we run a set of numerical simulations in a mathematical model that takes into account the urban mobility and the differences in population density among the areas of a city. If i is a particular neighborhood, the transmission risk index TR_i measures the potential secondary cases caused by a host in that neighborhood. The vector transmission risk index VTR_i measures the potential secondary cases caused by a vector. Finally, the vulnerability risk index VR_i measures the potential secondary cases in the neighborhood. Transmission indexes can be used to give geographical priority to some neighborhoods when applying prevention and control measures. On the other hand, the vulnerability index can be useful to implement monitoring campaigns or public health investment.


title: Wilf-collapse in permutation classes having two basis elements of size three

abstract: We consider permutation classes having two basis elements of size three and one further basis element. We completely classify the possible enumeration sequences of such classes and demonstrate that there are far fewer of them than might be expected in principle.


title: Collective Neutrino Oscillations and Nucleosynthesis

abstract: The emergent phenomenon of collective neutrino oscillations arises from neutrino-neutrino interactions in environments with very large number of neutrinos. Since such environments are likely sites of the heavy-element synthesis, understanding all aspects of collective neutrino oscillations seems to be necessary for a complete accounting of nucleosynthesis. I briefly summarize some of the salient features along with recent work on the properties and astrophysical applications of the collective neutrino oscillations.


title: Oriented Matroid Structures From Realized Root Systems

abstract: This paper investigates the question of uniqueness of the reduced oriented matroid structure arising from root systems of a Coxeter group in real vector spaces. We settle the question for finite Coxeter groups, irreducible affine Weyl groups and all rank three Coxeter groups. In these cases, the oriented matroid structure is unique unless $W$ is of type $\widetilde{A}_n, n\geq 3$, in which case there are three possibilities.


title: Discrete Event, Continuous Time RNNs

abstract: We investigate recurrent neural network architectures for event-sequence processing. Event sequences, characterized by discrete observations stamped with continuous-valued times of occurrence, are challenging due to the potentially wide dynamic range of relevant time scales as well as interactions between time scales. We describe four forms of inductive bias that should benefit architectures for event sequences: temporal locality, position and scale homogeneity, and scale interdependence. We extend the popular gated recurrent unit (GRU) architecture to incorporate these biases via intrinsic temporal dynamics, obtaining a continuous-time GRU. The CT-GRU arises by interpreting the gates of a GRU as selecting a time scale of memory, and the CT-GRU generalizes the GRU by incorporating multiple time scales of memory and performing context-dependent selection of time scales for information storage and retrieval. Event time-stamps drive decay dynamics of the CT-GRU, whereas they serve as generic additional inputs to the GRU. Despite the very different manner in which the two models consider time, their performance on eleven data sets we examined is essentially identical. Our surprising results point both to the robustness of GRU and LSTM architectures for handling continuous time, and to the potency of incorporating continuous dynamics into neural architectures.


title: Search for the lepton-flavour violating decays $B^0_{(s)} \rightarrow e^\pm \mu^\mp$

abstract: A search for the lepton-flavour violating decays $B^0_s \rightarrow e^\pm \mu^\mp$ and $B^0 \rightarrow e^\pm \mu^\mp$ is performed based on a sample of proton-proton collision data corresponding to an integrated luminosity of 3 fb$^{-1}$, collected with the LHCb experiment at centre-of-mass energies of 7 and 8 TeV. The observed yields are consistent with the background-only hypothesis. Upper limits on the branching fractions are determined to be $\mathcal{B}(B^0_s \rightarrow e^\pm \mu^\mp) < 5.4\,(6.3) \times 10^{-9}$ and $\mathcal{B}(B^0 \rightarrow e^\pm \mu^\mp) < 1.0\,(1.3) \times 10^{-9}$ at $90\%\,(95\%)$ confidence level, which are the strongest limits on these decays to date.


title: Batch-based Activity Recognition from Egocentric Photo-Streams Revisited

abstract: Wearable cameras can gather large a\-mounts of image data that provide rich visual information about the daily activities of the wearer. Motivated by the large number of health applications that could be enabled by the automatic recognition of daily activities, such as lifestyle characterization for habit improvement, context-aware personal assistance and tele-rehabilitation services, we propose a system to classify 21 daily activities from photo-streams acquired by a wearable photo-camera. Our approach combines the advantages of a Late Fusion Ensemble strategy relying on convolutional neural networks at image level with the ability of recurrent neural networks to account for the temporal evolution of high level features in photo-streams without relying on event boundaries. The proposed batch-based approach achieved an overall accuracy of 89.85\%, outperforming state of the art end-to-end methodologies. These results were achieved on a dataset consists of 44,902 egocentric pictures from three persons captured during 26 days in average.


title: Local up-down asymmetrically shaped equilibrium model for tokamak plasmas

abstract: A local magnetic equilibrium model is presented, with finite aspect ratio and up-down asymmetrically shaped cross section, that depends on eight free parameters. In contrast with other local equilibria, which provide simple magnetic-surface parametrizations at the cost of complex poloidal-field flux descriptions, the proposed model is intentionally built to afford analytically tractable magnetic-field components. Therefore, it is particularly suitable for analytical assessments of equilibrium-shaping effects on a variety of tokamak-plasma phenomena.


title: Collinear and Transverse Momentum Dependent parton densities obtained with a Parton Branching Method

abstract: We present a solution of the DGLAP evolution equations, written in terms of Sudakov form factors to describe the branching and no-branching probabilities, using a parton branching Monte Carlo method. We demonstrate numerically that this method reproduces the semi-analytical solutions. We show how this method can be used to determine Transverse Momentum Dependent (TMD) parton distribution functions, in addition to the usual integrated parton distributions functions. We discuss numerical effects of the boundary of soft gluon resolution scale parameter on the resulting parton distribution functions. We show that a very good fit of the integrated TMDs to high precision HERA data can be obtained over a large range in x and Q^2.


title: How Deterministic are Good-For-Games Automata?

abstract: In GFG automata, it is possible to resolve nondeterminism in a way that only depends on the past and still accepts all the words in the language. The motivation for GFG automata comes from their adequacy for games and synthesis, wherein general nondeterminism is inappropriate. We continue the ongoing effort of studying the power of nondeterminism in GFG automata. Initial indications have hinted that every GFG automaton embodies a deterministic one. Today we know that this is not the case, and in fact GFG automata may be exponentially more succinct than deterministic ones. We focus on the typeness question, namely the question of whether a GFG automaton with a certain acceptance condition has an equivalent GFG automaton with a weaker acceptance condition on the same structure. Beyond the theoretical interest in studying typeness, its existence implies efficient translations among different acceptance conditions. This practical issue is of special interest in the context of games, where the Buchi and co-Buchi conditions admit memoryless strategies for both players. Typeness is known to hold for deterministic automata and not to hold for general nondeterministic automata. We show that GFG automata enjoy the benefits of typeness, similarly to the case of deterministic automata. In particular, when Rabin or Streett GFG automata have equivalent Buchi or co-Buchi GFG automata, respectively, then such equivalent automata can be defined on a substructure of the original automata. Using our typeness results, we further study the place of GFG automata in between deterministic and nondeterministic ones. Specifically, considering automata complementation, we show that GFG automata lean toward nondeterministic ones, admitting an exponential state blow-up in the complementation of a Streett automaton into a Rabin automaton, as opposed to the constant blow-up in the deterministic case.


title: Second Chern class of Fano manifolds and anti-canonical geometry

abstract: Let $X$ be a Fano manifold of Picard number one. We establish a lower bound for the second Chern class of $X$ in terms of its index and degree. As an application, if $Y$ is a $n$-dimensional Fano manifold with $-K_Y=(n-3)H$ for some ample divisor $H$, we prove that $h^0(Y,H)\geq n-2$. Moreover, we show that the rational map defined by $\vert mH\vert$ is birational for $m\geq 5$, and the linear system $\vert mH\vert$ is basepoint free for $m\geq 7$. As a by-product, the pluri-anti-canonical systems of singular weak Fano varieties of dimension at most $4$ are also investigated.


title: Analyzing Gender Stereotyping in Bollywood Movies

abstract: The presence of gender stereotypes in many aspects of society is a well-known phenomenon. In this paper, we focus on studying such stereotypes and bias in Hindi movie industry (Bollywood). We analyze movie plots and posters for all movies released since 1970. The gender bias is detected by semantic modeling of plots at inter-sentence and intra-sentence level. Different features like occupation, introduction of cast in text, associated actions and descriptions are captured to show the pervasiveness of gender bias and stereo- type in movies. We derive a semantic graph and compute centrality of each character and observe similar bias there. We also show that such bias is not applicable for movie posters where females get equal importance even though their character has little or no impact on the movie plot. Furthermore, we explore the movie trailers to estimate on-screen time for males and females and also study the portrayal of emotions by gender in them. The silver lining is that our system was able to identify 30 movies over last 3 years where such stereotypes were broken.


title: Learning Entrepreneurship with Serious Games - A Classroom Approach

abstract: The use of educational games for pedagogical practice can provide new conceptions of teaching-learning in an interactive environment stimulating the acquisition of new knowledge. The so-called serious games are focused on the goal of transmitting educational content or training to the user. In the context of entrepreneurship, serious games appear to have greater importance due to the multidisciplinary of the knowledge needed. Therefore, we propose the adoption of the Entrexplorer game in the context of a university classroom. The game is a cloud-based serious game about the theme of entrepreneurship where users can access learning contents that will assist them in the acquisition of entrepreneurial skills. The organization of the game in eight levels with six additional floors let students learn the different dimensions of an entrepreneurship project while progressing during the gameplay.


title: Proposal of a Carsharing System to Improve Urban Mobility

abstract: Carsharing is a model of renting vehicles for short periods of time, where the payment is made according to the time and distance effectively traveled. Carsharing offers a simple, economical and smart alternative to urban mobility, that is already being adopted in the major cities in the world. The proposed methodology consisted in the development of a decision support system that simplifies the process of choosing carsharing services. Adopting the AHP method, the user can indicate their preferences in the choice of vehicles, and the system returns an ordered list of the most suitable available vehicles based on their geographic location. The findings of the project indicate that the use of this system encourage and simplify the use of carsharing services, which will allow to enhance the financial, mobility and environment advantages inherent to their use.


title: Decision Support System for Urbanization of the Northern Part of the Volga-Akhtuba Floodplain (Russia) on the Basis of Interdisciplinary Computer Modeling

abstract: There is a computer decision support system (CDSS) for urbanization of the northern part of the Volga-Akhtuba floodplain. This system includes subsystems of cognitive and game-theoretic analysis, geoinformation and hydrodynamic simulations. The paper presents the cognitive graph, two-level and three-level models of hierarchical games for the cases of uncontrolled and controlled development of the problem situation. We described the quantitative analysis of the effects of different strategies for the spatial distribution of the urbanized territories. For this reason we conducted the territory zoning according to the level of negative consequences of urbanization for various agents. In addition, we found an analytical solution for games with the linear dependence of the average flooded area on the urbanized area. We numerically computed a game equilibrium for dependences derived from the imitational geoinformation and hydrodynamic modeling of flooding. As the result, we showed that the transition to the three-level management system and the implementation of an optimal urbanization strategy minimize its negative consequences.


title: Towards In-Transit Analytics for Industry 4.0

abstract: Industry 4.0, or Digital Manufacturing, is a vision of inter-connected services to facilitate innovation in the manufacturing sector. A fundamental requirement of innovation is the ability to be able to visualise manufacturing data, in order to discover new insight for increased competitive advantage. This article describes the enabling technologies that facilitate In-Transit Analytics, which is a necessary precursor for Industrial Internet of Things (IIoT) visualisation.


title: Dispenser Concept for Unmanned Aerial Vehicles (UAV, Drone, UAS)

abstract: System, design and methodology to load and dispense different articles from an autonomous aircraft are disclosed. In one embodiment, the design of a unique detachable dispenser for delivery of articles is described along with an intelligent methodology of loading and delivering the articles to and from the dispenser. Design of the dispenser, interaction of the dispenser with the flight control unit and ground control or base-station, and interaction of the base station with the sender or recipient of the article, are also described.


title: City Brain, a New Architecture of Smart City Based on the Internet Brain

abstract: In the ten years after the Smart City was put forward, there are still problems like unclear concept, lack of top-down design and information island. With the further development of the Internet, the brain-like architecture of the Internet is becoming clearer and clearer. As a product of combination of city buildings and the Internet, the Smart City will also have a new architecture, and the city brain thus appears. Based on the Internet Brain, this paper describes how to construct the Smart City in the form of brain-like tissue, and how to evaluate the construction level of the Smart City (City IQ) relying on the Big SNS (city neural networks) and city cloud reflex arcs.


title: Pettis integrability of fuzzy mappings with values in arbitrary Banach spaces

abstract: In this paper we study the Pettis integral of fuzzy mappings in arbitrary Banach spaces. We present some properties of the Pettis integral of fuzzy mappings and we give conditions under which a scalarly integrable fuzzy mapping is Pettis integrable.


title: Unique continuation for the Helmholtz equation using stabilized finite element methods

abstract: In this work we consider the computational approximation of a unique continuation problem for the Helmholtz equation using a stabilized finite element method. First conditional stability estimates are derived for which, under a convexity assumption on the geometry, the constants grow at most linearly in the wave number. Then these estimates are used to obtain error bounds for the finite element method that are explicit with respect to the wave number. Some numerical illustrations are given.


title: Path Integral Molecular Dynamics for Exact Quantum Statistics of Multi-Electronic-State Systems

abstract: An exact approach to compute physical properties for general multi-electronic-state (MES) systems in thermal equilibrium is presented. The approach is extended from our recent progress on path integral molecular dynamics (PIMD) [J. Chem. Phys. 145, 024103 (2016); 147, 034109 (2017)] for quantum statistical mechanics when a single potential energy surface is involved. We first define an effective potential function that is numerically favorable for MES-PIMD, and then derive corresponding estimators in MES-PIMD for evaluating various physical properties. Its application to several representative one-dimensional and multi-dimensional models demonstrates that MES-PIMD in principle offers a practical tool in either of the diabatic and adiabatic representations for studying exact quantum statistics of complex/large MES systems when the Born-Oppenheimer approximation, Condon approximation, and harmonic bath approximation are broken.

categories: physics.chem-ph cond-mat.stat-mech physics.comp-ph quant-ph


title: New physics solutions for $R_D$ and $R_{D^*}$

abstract: Recent measurements of $R_{D^*}$ have reduced tension with the Standard Model prediction. Taking all the present data into account, we obtain the values of the Wilson coefficients of each new physics four-fermion operator of a given Lorentz structure. We find that the combined data rule out most of the solutions based on scalar/pseudoscalar operators. By studying the inter-relations between different solutions, we find that there are only four allowed solutions, which are based on operators with $(V-A)$, linear combination of $(V-A)$ and $(V+A)$, tensor and linear combination of scalar/pseudoscalar and tensor structure. We demonstrate that the need for new physics is driven by those measurement of $R_D$ and $R_{D^*}$ where the $\tau$ lepton is not studied. Further, we show that new physics only in $b\rightarrow c\,\mu\,\bar{\nu}$ is not compatible with the full set of observables in the decays $B\rightarrow Dl\bar{\nu}$ and $B\rightarrow D^*l\bar{\nu}$.


title: Fluctuations of gas concentrations in three mineral springs of the East Eifel Volcanic field (EEVF)

abstract: We present a geochemical dataset acquired during continual sampling over 7 months (bi-weekly) and 4 weeks (every 8 hours) in the Neuwied Basin, a part of the East Eifel Volcanic Field (EEVF). We used a combination of geochemical, geophysical, and statistical methods to identify potential causal processes underlying the correlations of degassing patterns of four gases (He, Rn, CO2, O2), earth tides, and tectonic processes in three mineral springs (Nette, Kaerlich and Kobern). We explored whether temporal relations in gas concentrations in the three mineral springs could be indicators of hidden faults through which the gases migrate to the surface from deeper underground. Our results do not confirm CO2 as a primary carrier gas for trace gases in all springs. Temporal analyses of the CO2-He couple indicate that Nette and K\"arlich are directly linked via a continuous tectonic fault in an ENE-WSW trending direction. There is also evidence that Kaerlich and Kobern (NNE-SSW fault system) and Nette and Kobern (NW-SE fault system) are tectonically linked. These fault linkages are unknown previously but could be related to the rising numbers of earthquake events occurring in this area since 2010. We did not find any evidence that weather processes (e.g., barometric pressure), earth tides, or low local earthquake magnitudes actively modulate degassing. The volcanic activity in the EEVF is dormant but not extinct and to understand and monitor its magmatic and degassing systems, we recommend bi-weekly samplings at minimum.


title: Identifying Student Communities in Blended Courses

abstract: Blended courses have become the norm in post-secondary education. Universities use large-scale learning management systems to manage class content. Instructors deliver readings, lectures, and office hours online; students use intelligent tutors, web forums, and online submission systems; and classes communicate via web forums. These online tools allow students to form new social networks or bring social relationships online. They also allow us to collect data on students' social relationships. In this paper we report on our research on community formation in blended courses based on online forum interactions. We found that it was possible to group students into communities using standard community detection algorithms via their posts and reply structure and that the students' grades are significantly correlated with their closest peers.


title: Quality and Innovation with Blockchain Technology

abstract: In recent years, hype surrounding the proliferation of blockchain-based technology has been significant. Apart from the creation of bitcoin and other cryptocurrencies, it has been difficult to determine what practical utility might lie in the adoption of blockchain, mainly because there are so few in existence at present. Even so, interest in the technology has increased tremendously. This paper is a primer for software quality professionals. It briefly describes the history of blockchain technology, attempts to define and disambiguate terminology, fosters a general understanding of how blockchain works, and discusses how and why software quality professionals might want to invest time and energy in learning about, implementing, or using blockchain-based technologies in their own organizations -- or alternatively, improving the quality of blockchain technology itself.


title: Validating Intelligent Power and Energy Systems - A Discussion of Educational Needs

abstract: Traditional power systems education and training is flanked by the demand for coping with the rising complexity of energy systems, like the integration of renewable and distributed generation, communication, control and information technology. A broad understanding of these topics by the current/future researchers and engineers is becoming more and more necessary. This paper identifies educational and training needs addressing the higher complexity of intelligent energy systems. Education needs and requirements are discussed, such as the development of systems-oriented skills and cross-disciplinary learning. Education and training possibilities and necessary tools are described focusing on classroom but also on laboratory-based learning methods. In this context, experiences of using notebooks, co-simulation approaches, hardware-in-the-loop methods and remote labs experiments are discussed.


title: Aprendendo Programacao Orientada a Objetos com uma Abordagem Ludica Baseada em Greenfoot e Robocode

abstract: One the major challenges in undergraduate computing programs is the learning of object-oriented programming (OOP). This paradigm has a variety of concepts with an abstraction level usually high for most beginners, even the ones who already code in an imperative language. Furthermore, transitioning from imperative programming to OOP is a complex issue, with various inappropriate side effects. A significant effort has been pursued in the search of motivating and attractive solutions for such issues. One of those is the use of playful environments that merge games with learning. In this work, we report our experience with OOP learning workshops by means of games, challenges and competitions, supported by Greenfoot and Robocode learning environments. A workshop with sophomore students in a Computer Engineering program is presented here. Lessons learning to motive students include: design of motivating examples, use of competitive challenges, and an appropriate ratio between tutors and students. Results suggest that the workshop was a practical and effective way to introduce OOP and motivate students to learn it.


title: Driving Behavior Analysis through CAN Bus Data in an Uncontrolled Environment

abstract: Cars can nowadays record several thousands of signals through the CAN bus technology and potentially provide real-time information on the car, the driver and the surrounding environment. This paper proposes a new method for the analysis and classification of driver behavior using a selected subset of CAN bus signals, specifically gas pedal position, brake pedal pressure, steering wheel angle, steering wheel momentum, velocity, RPM, frontal and lateral acceleration. Data has been collected in a completely uncontrolled experiment, where 64 people drove 10 cars for or a total of over 2000 driving trips without any type of pre-determined driving instruction on a wide variety of road scenarios. We propose an unsupervised learning technique that clusters drivers in different groups, and offers a validation method to test the robustness of clustering in a wide range of experimental settings. The minimal amount of data needed to preserve robust driver clustering is also computed. The presented study provides a new methodology for near-real-time classification of driver behavior in uncontrolled environments.


title: A Simple Nonlinearity-Tailored Probabilistic Shaping Distribution for Square QAM

abstract: A new probabilistic shaping distribution that outperforms Maxwell-Boltzmann is studied for the nonlinear fiber channel. Additional gains of 0.1 bit/symbol MI or 0.2 dB SNR for both DP-256QAM and DP-1024QAM are reported after 200 km nonlinear fiber transmission.


title: Big Data Analytics and Its Applications

abstract: The term, Big Data, has been authored to refer to the extensive heave of data that can't be managed by traditional data handling methods or techniques. The field of Big Data plays an indispensable role in various fields, such as agriculture, banking, data mining, education, chemistry, finance, cloud computing, marketing, health care stocks. Big data analytics is the method for looking at big data to reveal hidden patterns, incomprehensible relationship and other important data that can be utilize to resolve on enhanced decisions. There has been a perpetually expanding interest for big data because of its fast development and since it covers different areas of applications. Apache Hadoop open source technology created in Java and keeps running on Linux working framework was used. The primary commitment of this exploration is to display an effective and free solution for big data application in a distributed environment, with its advantages and indicating its easy use. Later on, there emerge to be a required for an analytical review of new developments in the big data technology. Healthcare is one of the best concerns of the world. Big data in healthcare imply to electronic health data sets that are identified with patient healthcare and prosperity. Data in the healthcare area is developing past managing limit of the healthcare associations and is relied upon to increment fundamentally in the coming years.


title: Near-integrability of low dimensional periodic Klein-Gordon lattices

abstract: The low dimensional periodic Klein-Gordon lattices are studied for integrability. We prove that the periodic lattice with two particles and certain nonlinear potential is non integrable. However, in the cases of up to six particles, we prove that their Birkhoff-Gustavson normal forms are integrable, which allows us to apply KAM theory.


title: Gyrotropic Zener tunneling and nonlinear IV curves in the zero-energy Landau level of graphene in a strong magnetic field

abstract: We have investigated tunneling current through a suspended graphene Corbino disk in high magnetic fields at the Dirac point, i.e. at filling factor $\nu$ = 0. At the onset of the dielectric breakdown the current through the disk grows exponentially before ohmic behaviour, but in a manner distinct from thermal activation. We find that Zener tunneling between Landau sublevels dominates, facilitated by tilting of the source-drain bias potential. According to our analytic modelling, the Zener tunneling is strongly affected by the gyrotropic force (Lorentz force) due to the high magnetic field


title: Perturbed Kitaev model: excitation spectrum and long-ranged spin correlations

abstract: We developed general approach to the calculation of power-law infrared asymptotics of spin-spin correlation functions in the Kitaev honeycomb model with different types of perturbations. We have shown that in order to find these correlation functions, one can perform averaging of some bilinear forms composed out of free Majorana fermions, and we presented the method for explicit calculation of these fermionic densities. We demonstrated how to derive an effective Hamiltonian for the Majorana fermions, including the effects of perturbations. For specific application of the general theory, we have studied the effect of the Dzyaloshinskii-Moriya anisotropic spin-spin interaction; we demonstrated that it leads, already in the second order over its relative magnitude $D/K$, to a power-law spin correlation functions, and calculated dynamical spin structure factor of the system. We have shown that an external magnetic field $h$ in presence of the DM interaction, opens a gap in the excitation spectrum of magnitude $\Delta \propto D h$.


title: Towards generalized data reduction on a chopper-based time-of-flight neutron reflectometer

abstract: The calculation of neutron reflectivity from raw time-of-flight data including instrumental corrections as well as improved resolution calculation is presented. The theoretical calculations are compared to experimental data measured on the vertical sample plane reflectometer D17 and the horizontal sample plane reflectometer FIGARO at the Institut Laue-Langevin, Grenoble, France (ILL). This article comprises the mathematical body of the time-of-flight reflectivity data reduction software COSMOS which is used on D17 and FIGARO.


title: Magnetism of coupled spin tetrahedra in ilinskite-type KCu$_{5}$O$_2$(SeO$_3$)$_2$Cl$_3$

abstract: Synthesis, thermodynamic properties, and microscopic magnetic model of ilinskite-type KCu$_{5}$O$_2$(SeO$_3$)$_2$Cl$_3$ built by corner-sharing Cu$_4$ tetrahedra are reported, and relevant magnetostructural correlations are discussed. Quasi-one-dimensional magnetic behavior with the short-range order around 50\,K and the absence of long-range order down to at least 2\,K is observed experimentally and explained in terms of weakly coupled spin ladders (tubes) with a complex topology formed upon fragmentation of the tetrahedral network. This fragmentation is rooted in the non-trivial effect of the SeO$_3$ groups that render the Cu--O--Cu superexchange strongly ferromagnetic.


title: Formal equivalence between partitioned and partition-free quenches in quantum transport

abstract: In this paper we review the partitioned and partition-free approaches to the calculation of the time-dependent response of a molecular junction to the switch-on of an arbitrary time-dependent bias. Using the non equilibrium Green's function formalism on different time contours, we derive a formal equivalence between these two approaches. This clarifies a recent result of [PRB 95, 104301 (2017)], which is valid for a static bias and single level molecular structure, and extends it to arbitrary time-dependent biases and arbitrarily large molecular structures.


title: Bollywood Movie Corpus for Text, Images and Videos

abstract: In past few years, several data-sets have been released for text and images. We present an approach to create the data-set for use in detecting and removing gender bias from text. We also include a set of challenges we have faced while creating this corpora. In this work, we have worked with movie data from Wikipedia plots and movie trailers from YouTube. Our Bollywood Movie corpus contains 4000 movies extracted from Wikipedia and 880 trailers extracted from YouTube which were released from 1970-2017. The corpus contains csv files with the following data about each movie - Wikipedia title of movie, cast, plot text, co-referenced plot text, soundtrack information, link to movie poster, caption of movie poster, number of males in poster, number of females in poster. In addition to that, corresponding to each cast member the following data is available - cast name, cast gender, cast verbs, cast adjectives, cast relations, cast centrality, cast mentions. We present some preliminary results on the task of bias removal which suggest that the data-set is quite useful for performing such tasks.


title: Electroweak Higgs production with HiggsPO at NLO QCD

abstract: We present the HiggsPO UFO model for Monte Carlo event generation of electroweak $VH$ and VBF Higgs production processes at NLO in QCD in the formalism of Higgs pseudo-observables (PO). We illustrate the use of this tool by studying the QCD corrections, matched to a parton shower, for several benchmark points in the Higgs PO parameter space. We find that, while being sizable and thus important to be considered in realistic experimental analyses, the QCD higher-order corrections largely factorize. As an additional finding, based on the NLO results, we advocate to consider 2D distributions of the two-jet azimuthal-angle difference and the leading jet $p_T$ for new physics searches in VBF Higgs production. The HiggsPO UFO model is publicly available.


title: GUIDES - Geospatial Urban Infrastructure Data Engineering Solutions

abstract: As the underground infrastructure systems of cities age, maintenance and repair become an increasing concern. Cities face difficulties in planning maintenance, predicting and responding to infrastructure related issues, and in realizing their vision to be a smart city due to their incomplete understanding of the existing state of the infrastructure. Only few cities have accurate and complete digital information on their underground infrastructure (e.g., electricity, water, natural gas) systems, which poses problems to those planning and performing construction projects. To address these issues, we introduce GUIDES as a new data conversion and management framework for urban underground infrastructure systems that enable city administrators, workers, and contractors along with the general public and other users to query digitized and integrated data to make smarter decisions. This demo paper presents the GUIDES architecture and describes two of its central components: (i) mapping of underground infrastructure systems, and (ii) integration of heterogeneous geospatial data.


title: Non-isothermal general Ericksen-Leslie system: derivation, analysis and thermodynamics-consistency

abstract: We derive a model describing the evolution of a nematic liquid-crystal material under the action of thermal effects. The first and second laws of thermodynamics lead to an extension of the general Ericksen-Leslie system where the Leslie stress tensor and the Oseen-Frank energy density are considered in their general forms. The work postulate proposed by Ericksen-Leslie is traduced in terms of entropy production. We finally analyze the global-in-time well-posedness of the system for small initial data in the framework of Besov spaces.


title: Classifying Fano Complexity-One $T$-Varieties via Divisorial Polytopes

abstract: The correspondence between Gorenstein Fano toric varieties and reflexive polytopes has been generalized by Ilten and S\"u{\ss} to a correspondence between Gorenstein Fano complexity-one $T$-varieties and Fano divisorial polytopes. Motivated by the finiteness of reflexive polytopes in fixed dimension, we show that over a fixed base polytope, there are only finitely many Fano divisorial polytopes, up to equivalence. We classify two-dimensional Fano divisorial polytopes, recovering Huggenberger's classification of Gorenstein del Pezzo $\mathbb{K}^*$-surfaces. Furthermore, we show that any three-dimensional Fano divisorial polytope is equivalent to one involving only eight functions.


title: Three-body scattering hypervolumes of particles with short-range interactions

abstract: The low-energy scattering of three bosons or distinguishable particles with short-range interactions is characterized by a fundamental parameter, the three-body scattering hypervolume. Its imaginary part is directly related to the three-body recombination rate in a quantum gas consisting of such particles. We derive an analytical formula of it for weak interactions, and perform its first numerical calculations for bosons with a variable nonzero-range potential. For attractive interactions, we identify several three-body resonances at which the three-body scattering hypervolume becomes divergent or anomalously large.

categories: cond-mat.quant-gas nucl-th physics.atom-ph quant-ph


title: Approaches to Modeling the Impact of Cyber Attacks on a Mission

abstract: The success of a business mission is highly dependent on the Communications and Information Systems (CIS) that support the mission. Mission Impact Assessment (MIA) seeks to assist the integration of business or military operations with cyber defense, particularly in bridging the cognitive gap between operational decision-makers and cyber defenders. Recent years have seen a growing interest in model-driven approaches to MIA. Such approaches involve construction and simulation of models of the mission, systems, and attack scenarios in order to understand an attack's impact, including its nature, dependencies involved, and the extent of consequences. This paper discusses representative examples of recent research on model-driven approach to MIA, highlights its potential value and cautions about serious remaining challenges.


title: Parametric Decay Instability and Dissipation of Low-frequency Alfv\'en Waves in Low-beta Turbulent Plasmas

abstract: Evolution of the parametric decay instability (PDI) of a circularly polarized Aflv\'en wave in a turbulent low-beta plasma background is investigated using 3D hybrid simulations. It is shown that the turbulence reduces the growth rate of PDI as compared to the linear theory predictions, but PDI can still exist. Interestingly, the damping rate of ion acoustic mode (as the product of PDI) is also reduced as compared to the linear Vlasov predictions. Nonetheless, significant heating of ions in the direction parallel to the background magnetic field is observed due to resonant Landau damping of the ion acoustic waves. In low-beta turbulent plasmas, PDI can provide an important channel for energy dissipation of low-frequency Alfv\'en waves at a scale much larger than the ion kinetic scales, different from the traditional turbulence dissipation models.


title: The evolving many-nucleon theory of nuclear rotations

abstract: The many approaches that have been pursued in seeking an understanding of nuclear rotational dynamics are reviewed and reassessed with a view to their development in the light of recent progress and the research tools that are now available. A motivation for this review is the widespread observation of nuclear shape coexistence and sequences of rotational states in all regions of the nuclear periodic table combined with the recognition that the study of the rotational dynamics of quantum fluids has led to significant advances in the quantum theory of many-boson systems. Recent experimental investigations of the rotational dynamics of a low-temperature $^6$Li gas indicate that its slow rotational flows are likewise the irrotational flows of a superfluid. In this context, the dynamics of rotating nuclei are of fundamental interest because the nucleus is a unique zero-temperature finite many-fermion quantum system. A promising approach is provided by algebraic mean-field theory which, as its name suggests, is a combination of algebraic and mean-field methods. Static mean-field theories play a central role in many-body theory by defining optimal independent-particle and independent quasi-particle basis states for the quantum mechanics of many-fermion systems. Their time-dependent extensions also lead, in the small-amplitude random-phase approximation, to the quantisation of the classical normal-mode vibrations of many-fermion systems about their static equilibrium states. This review shows that mean-field methods become significantly more powerful when combined with algebraic methods and an appropriate coupling scheme for the nuclear shell model.


title: Controlling the crystal polymorph by exploiting the time dependence of nucleation rates

abstract: Most substances can crystallise into two or more different crystal lattices, called polymorphs. Despite this, there are no systems in which we can quantitatively predict the probability of one competing polymorph forming, instead of the other. We address this problem using large scale (hundreds of events) studies of the competing nucleation of the alpha and gamma polymorphs of glycine. In situ Raman spectroscopy is used to identify the polymorph of each crystal. We find that the nucleation kinetics of the two polymorphs is very different. Nucleation of the alpha polymorph starts off slowly but accelerates, while nucleation of the gamma polymorph starts off fast but then slows. We exploit this difference to increase the purity with which we obtain the gamma polymorph by a factor of ten. The statistics of the nucleation of crystals is analogous to that of human mortality, and using a result from medical statistics we show that conventional nucleation data can say nothing about what, if any, are the correlations between competing nucleation processes. Thus we can show that, with data of our form, it is impossible to disentangle the competing nucleation processes. We also find that the growth rate and the shape of a crystal depends on when it nucleated. This is new evidence that nucleation and growth are linked.


title: Observational constraints on key-parameters of cosmic reionisation history

abstract: We discuss constraints on cosmic reionisation and their implications on a cosmic SFR density $\rho_\mathrm{SFR}$ model; we study the influence of key-parameters such as the clumping factor of ionised hydrogen in the intergalactic medium (IGM) $C_{H_{II}}$ and the fraction of ionising photons escaping star-forming galaxies to reionise the IGM $f_\mathrm{esc}$. Our analysis uses SFR history data coming from luminosity functions, assuming that star-forming galaxies were sufficient to lead the reionisation process at high redshift. We add two other sets of constraints: measurements of the IGM ionised fraction and the most recent result from Planck Satellite about the integrated Thomson optical depth of the Cosmic Microwave Background (CMB) $\tau_\mathrm{Planck}$. We also consider various possibilities for the evolution of these two parameters with redshift, and confront them with observational data cited above. We conclude that, if the model of a constant clumping factor is chosen, the fiducial value of $3$ often used in papers is consistent with observations; even if a redshift-dependent model is considered, the resulting optical depth is strongly correlated to $C_{H_{II}}$ mean value at $z>7$, an additional argument in favour of the use of a constant clumping factor. Besides, the escape fraction is related to too many astrophysical parameters to allow us to use a complete and fully satisfactory model. A constant value with redshift seems again to be the most likely expression: considering it as a fit parameter, we get from the maximum likelihood (ML) model $f_\mathrm{esc}=0.24\pm0.08$; with a redshift-dependent model, we find an almost constant evolution, slightly increasing with $z$, around $f_\mathrm{esc}=0.23$. Last, our analysis shows that a reionisation beginning as early as $z\geq14$ and persisting until $z\sim6$ is a likely storyline.


title: Left-exact Mittag-Leffler functors of modules

abstract: Let $R$ be an associative ring with unit. This paper deals with various aspects of the category of functors of $\mathcal R$-modules; that is, the category of additive and covariant functors from the category of R-modules to the category of abelian groups. We give several characterizations of left-exact Mittag-Leffler functors of $\mathcal R$-modules.


title: Pengaruh Perangkat Server Terhadap Kualitas Pengontrolan Jarak Jauh Melalui Internet

abstract: Internet greatly assist people in improving their quality of life. Almost all areas of human life can be accessed using the internet. Human aided by the internet that provides all sorts of information that they need. Along with the development of the Internet network infrastructure remotely control began to change using the internet. In this study using notebooks and servers Raspberry Pi to find out the quality control of each device server used. In this study we investigate the possibility of improving the quality of web-based remote control to implement Raspberry Pi as a web server and how much improvement the quality of web-based remote control obtained in this research.


title: Magnetic Field Diagnostics with Strong Chromospheric Lines

abstract: The complex spectropolarimetric patterns around strong chromospheric lines, the result of subtle spectroscopic and transport mechanisms, are sensitive, sometimes in unexpected ways, to the presence of magnetic fields in the chromosphere, which may be exploited for diagnostics. We apply numerical polarization radiative transfer implementing partially coherent scattering by polarized multi-term atoms, in the presence of arbitrary magnetic fields, in planeparallel stellar atmospheres to study a few important spectroscopic features: Mg II h-k doublet; Ca II H-K doublet and IR triplet. We confirm the importance of partial redistribution effects in the formation of the Mg II h-k doublet in magnetized atmospheres, as previously pointed out for the non-magnetic case. Morevover, we show, numerically and analytically, that a magnetic field produces measurable modications of the broadband linear polarization even for relatively small field strengths, while circular polarization remains well represented by the magnetograph formula. We note that this phenomenon has already (unknowingly) been observed by UVSP/SMM, and the interest and possibility of its observation in stars other than the Sun. The interplay between partial redistribution in the H-K doublet of Ca II and metastable level polarization in its IR triplet allow diagnosing the chromospheric magnetic field at different layers and strengths. Our results suggest several new avenues to investigate empirically the magnetism of the solar and stellar chromospheres.


title: Supersymmetric AdS backgrounds and weak generalised holonomy

abstract: We study supersymmetric AdS$_D$ backgrounds of eleven-dimensional or type II supergravity preserving $\mathcal{N}$ supersymmetries using generalised geometry. We show that a large class correspond precisely to spaces admitting a generalised $G_{D,\mathcal{N}}$ structure with a weak integrability condition, which we call "weak generalised holonomy". This class contains all such backgrounds with odd $D$, but for even $D$ we must impose a technical assumption concerning the inner products of Killing spinors. It is known that all compact smooth solutions are included, though our analysis is purely local. We show that the Killing superalgebras of such backgrounds are isomorphic to the standard $\mathcal{N}$-extended AdS$_D$ superalgebras, and give a geometric proof of the existence of isometries of the internal spaces which realise the AdS R-symmetry, as often assumed in explicit studies of such solutions.


title: Neural Program Meta-Induction

abstract: Most recently proposed methods for Neural Program Induction work under the assumption of having a large set of input/output (I/O) examples for learning any underlying input-output mapping. This paper aims to address the problem of data and computation efficiency of program induction by leveraging information from related tasks. Specifically, we propose two approaches for cross-task knowledge transfer to improve program induction in limited-data scenarios. In our first proposal, portfolio adaptation, a set of induction models is pretrained on a set of related tasks, and the best model is adapted towards the new task using transfer learning. In our second approach, meta program induction, a $k$-shot learning approach is used to make a model generalize to new tasks without additional training. To test the efficacy of our methods, we constructed a new benchmark of programs written in the Karel programming language. Using an extensive experimental evaluation on the Karel benchmark, we demonstrate that our proposals dramatically outperform the baseline induction method that does not use knowledge transfer. We also analyze the relative performance of the two approaches and study conditions in which they perform best. In particular, meta induction outperforms all existing approaches under extreme data sparsity (when a very small number of examples are available), i.e., fewer than ten. As the number of available I/O examples increase (i.e. a thousand or more), portfolio adapted program induction becomes the best approach. For intermediate data sizes, we demonstrate that the combined method of adapted meta program induction has the strongest performance.


title: Development of computational models for emotional diary text analysis to support maternal care

abstract: We propose new computational models for analyzing self-reported emotional diary texts of pregnant women to support maternal care. We gathered affective ratings outside clinical setting and developed new models to facilitate interpretation and communication of affective expressions between persons representing different affective ratings. Relying on constructed emotion theory, models of dimensional emotion categories and affective ratings of Self Assessment Manikin, we demonstrate our new proposal to analyze linguistic data with computational models exploiting vector space and clustering methods. 35 persons having Finnish as a native language provided affective ratings for 195 emotional adjectives and 16 pregnancy-related nouns in Finnish in dimensions of pleasure, arousal and dominance. We developed new models to represent dependencies and differences of affective ratings between various population subgroup categorizations, including "women without children", "women with children" and "men without children" that we consider important population segments to be addressed in maternal care. Our affective ratings showed significant correlations between pleasure and dominance (like Warriner et al., 2013) and with previous data collections (S\"oderholm et al., 2013; Eilola & Havelka, 2010; Warriner et al., 2013). Our affective ratings had significant effects on categorizations based on gender, gender-parental role and the time of the day and duration of giving ratings. Our results indicate accordance with significant affectivity differences of gender and age (Warriner et al., 2013) and motherhood (Rosebrock et al., 2015). Our proposed models aim to support health-related communication. Our results suggest gathering next the affective ratings of patients of maternal care in a real clinical setting.


title: Stabilization and control of Majorana bound states with elongated skyrmions

abstract: We show that elongated magnetic skyrmions can host Majorana bound states in a proximity-coupled two-dimensional electron gas sandwiched between a chiral magnet and an $s$-wave superconductor. Our proposal requires stable skyrmions with unit topological charge, which can be realized in a wide range of multilayer magnets, and allows quantum information transfer by using standard methods in spintronics via skyrmion motion. We also show how braiding operations can be realized in our proposal.


title: Distinct photoluminescence in multilayered van der Waals heterostructures of MoS2/WS2/ReS2 and BN

abstract: Van der Waals heterostructures of (TMDL=1/BNL=1-4/TMDL=1/BNL=1-4), [TMD = MoS2, WS2, and ReS2] are grown on c-plane sapphire substrate by pulsed laser deposition under slow kinetic condition. The heterostructure systems show strong emission around 2.3 eV and subsidiary peaks around 2.8, 1.9, 1.7 and 1.5 eV. BN and TMDs forms type-I heterojunction and the emission peaks observed are explained in terms of various band to band recombination processes and considering relative orientation of Brillouin Zones. The emission peak around 2.3eV is promising for solar and photovoltaic application. The observation is almost similar for three different heterostructure systems.


title: Counterfactual Conditionals in Quantified Modal Logic

abstract: We present a novel formalization of counterfactual conditionals in a quantified modal logic. Counterfactual conditionals play a vital role in ethical and moral reasoning. Prior work has shown that moral reasoning systems (and more generally, theory-of-mind reasoning systems) should be at least as expressive as first-order (quantified) modal logic (QML) to be well-behaved. While existing work on moral reasoning has focused on counterfactual-free QML moral reasoning, we present a fully specified and implemented formal system that includes counterfactual conditionals. We validate our model with two projects. In the first project, we demonstrate that our system can be used to model a complex moral principle, the doctrine of double effect. In the second project, we use the system to build a data-set with true and false counterfactuals as licensed by our theory, which we believe can be useful for other researchers. This project also shows that our model can be computationally feasible.


title: Synkhronos: a Multi-GPU Theano Extension for Data Parallelism

abstract: We present Synkhronos, an extension to Theano for multi-GPU computations leveraging data parallelism. Our framework provides automated execution and synchronization across devices, allowing users to continue to write serial programs without risk of race conditions. The NVIDIA Collective Communication Library is used for high-bandwidth inter-GPU communication. Further enhancements to the Theano function interface include input slicing (with aggregation) and input indexing, which perform common data-parallel computation patterns efficiently. One example use case is synchronous SGD, which has recently been shown to scale well for a growing set of deep learning problems. When training ResNet-50, we achieve a near-linear speedup of 7.5x on an NVIDIA DGX-1 using 8 GPUs, relative to Theano-only code running a single GPU in isolation. Yet Synkhronos remains general to any data-parallel computation programmable in Theano. By implementing parallelism at the level of individual Theano functions, our framework uniquely addresses a niche between manual multi-device programming and prescribed multi-GPU training routines.


title: An Information Theoretic Framework for Active De-anonymization in Social Networks Based on Group Memberships

abstract: In this paper, a new mathematical formulation for the problem of de-anonymizing social network users by actively querying their membership in social network groups is introduced. In this formulation, the attacker has access to a noisy observation of the group membership of each user in the social network. When an unidentified victim visits a malicious website, the attacker uses browser history sniffing to make queries regarding the victim's social media activity. Particularly, it can make polar queries regarding the victim's group memberships and the victim's identity. The attacker receives noisy responses to her queries. The goal is to de-anonymize the victim with the minimum number of queries. Starting with a rigorous mathematical model for this active de-anonymization problem, an upper bound on the attacker's expected query cost is derived, and new attack algorithms are proposed which achieve this bound. These algorithms vary in computational cost and performance. The results suggest that prior heuristic approaches to this problem provide sub-optimal solutions.


title: Impurity effects and bandgap-closing in massive Dirac systems

abstract: We investigate the effects in the spectral properties of a massive Dirac system of the dynamical renormalization induce by disorder/impurity scattering within the self-consistent Born approximation. We show how that these effects leads to a remarkable closing of the bandgap edge. Above a critical value $U_c$ of the impurity scattering the gap eventually closes, giving rise a finite density of states at zero energy. We show that the bandgap closing stems from the quasi-particle dynamical renormalization and it is not associated with the vanishing of the effective massive term. Incoherent processes are fundamental to describe such physics.


title: Search for tau neutrinos at PeV energies and beyond with the MAGIC telescopes

abstract: The MAGIC telescopes, located at the Roque de los Muchachos Observatory (2200 a.s.l.) in the Canary Island of La Palma, are placed on the top of a mountain, from where a window of visibility of about 5 deg in zenith and 80 deg in azimuth is open in the direction of the surrounding ocean. This permits to search for a signature of particle showers induced by earth-skimming cosmic tau neutrinos in the PeV to EeV energy range arising from the ocean. We have studied the response of MAGIC to such events, employing Monte Carlo simulations of upward-going tau neutrino showers. The analysis of the shower images shows that air showers induced by tau neutrinos can be discriminated from the hadronic background coming from a similar direction. We have calculated the point source acceptance and the expected event rates, for a sample of generic neutrino fluxes from photo-hadronic interactions in AGNs. The analysis of about 30 hours of data taken toward the sea leads to a point source sensitivity for tau neutrinos at the level of the down-going point source analysis of the Pierre Auger Observatory, if the AUGER observation time is dedicated to a similar amount by MAGIC.


title: Messier 81's Planck view vs its halo mapping

abstract: This paper is a follow-up of a previous paper about the M82 galaxy and its halo based on Planck observations. As in the case of M82, so also for the M81 galaxy a substantial North-South and East-West temperature asymmetry is found, extending up to galactocentric distances of about $1.5^\circ$. The temperature asymmetry is almost frequency independent and can be interpreted as a Doppler-induced effect related to the M81 halo rotation and/or triggered by the gravitational interaction of the galaxies within the M81 Group. Along with the analogous study of several nearby edge-on spiral galaxies, the CMB temperature asymmetry method thus is shown to act as a direct tool to map the galactic haloes and/or the intergalactic bridges, invisible in other bands or by other methods.


title: Freezing as a path to build complex composites

abstract: Materials that are strong, ultra-light weight and tough are in demand for a range of applications, requiring architectures and components carefully designed from the micrometer down to nanometer scales. Nacre-a structure found in many molluscan shells-and bone are frequently used as examples for how nature achieves this through hybrid organic-inorganic composites. Unfortunately, it has proven extremely difficult to transcribe nacre-like clever designs into synthetic materials, partly because their intricate structures need to be replicated at several length scales. We demonstrate how the physics of ice formation can be used to develop sophisticated porous and layered-hybrid materials, including artificial bone, ceramic/metal composites, and porous scaffolds for osseous tissue regeneration with strengths up to four times higher than those currently used for implantation.


title: Charge response of the Majorana toric code

abstract: At zero temperature, a two dimensional lattice of Majorana zero modes on mesoscopic superconducting islands has a topologically ordered toric code phase. Recently, a Landau field theory has been proposed for the system that captures its different phases and the associated phase-transitions. It was shown that with the increase of Josephson tunneling between the islands, a continuous symmetry-breaking 3D-XY transition gets transformed into a discrete symmetry-breaking 3D-Ising transition through a couple of tricritical points and first order transitions. Using the proposed field theory, we analyze the charge-response of the system at the different continuous phase-transitions. We calculate the universal conductivity at the 3D-XY transitions and the change in the superconducting density at the Ising transition using 1/N expansion. Furthermore, by computing a one-loop correction to the field theory, we show that an additional tricritical point is likely to be present in the phase-diagram. Finally, we provide a mean-field calculation that supports the earlier proposed field theory.


title: Scattering from finite-volume energies including higher partial waves and multiple decay channels

abstract: A new implementation of estimating the two-to-two $K$-matrix from finite-volume energies based on the Luescher formalism is described. The method includes higher partial waves and multiple decay channels, and the fitting procedure properly includes all covariances and statistical uncertainties. The method is also simpler than previously used procedures. Formulas and software for handling total spins up to $S=2$ and orbital angular momenta up to $L=6$ are presented.


title: Concentration of Multilinear Functions of the Ising Model with Applications to Network Data

abstract: We prove near-tight concentration of measure for polynomial functions of the Ising model under high temperature. For any degree $d$, we show that a degree-$d$ polynomial of a $n$-spin Ising model exhibits exponential tails that scale as $\exp(-r^{2/d})$ at radius $r=\tilde{\Omega}_d(n^{d/2})$. Our concentration radius is optimal up to logarithmic factors for constant $d$, improving known results by polynomial factors in the number of spins. We demonstrate the efficacy of polynomial functions as statistics for testing the strength of interactions in social networks in both synthetic and real world data.

categories: math.PR cs.LG math-ph math.MP math.ST stat.ML stat.TH


title: VC-dimension of short Presburger formulas

abstract: We study VC-dimension of short formulas in Presburger Arithmetic, defined to have a bounded number of variables, quantifiers and atoms. We give both lower and upper bounds, which are tight up to a polynomial factor in the bit length of the formula.


title: Estimating Fault Friction from Seismic Signals in the Laboratory

abstract: Nearly all aspects of earthquake rupture are controlled by the friction along the fault that progressively increases with tectonic forcing, but in general cannot be directly measured. We show that fault friction can be determined at any time, from the continuous seismic signal. In a classic laboratory experiment of repeating earthquakes, we find that the seismic signal follows a specific pattern with respect to fault friction, allowing us to determine the fault's position within its failure cycle. Using machine learning, we show that instantaneous statistical characteristics of the seismic signal are a fingerprint of the fault zone shear stress and frictional state. Further analysis of this fingerprint leads to a simple equation of state quantitatively relating the seismic signal power and the friction on the fault. These results show that fault zone frictional characteristics and the state of stress in the surroundings of the fault can be inferred from seismic waves, at least in the laboratory.


title: Structural Stability of Lexical Semantic Spaces: Nouns in Chinese and French

abstract: Many studies in the neurosciences have dealt with the semantic processing of words or categories, but few have looked into the semantic organization of the lexicon thought as a system. The present study was designed to try to move towards this goal, using both electrophysiological and corpus-based data, and to compare two languages from different families: French and Mandarin Chinese. We conducted an EEG-based semantic-decision experiment using 240 words from eight categories (clothing, parts of a house, tools, vehicles, fruits/vegetables, animals, body parts, and people) as the material. A data-analysis method (correspondence analysis) commonly used in computational linguistics was applied to the electrophysiological signals. The present cross-language comparison indicated stability for the following aspects of the languages' lexical semantic organizations: (1) the living/nonliving distinction, which showed up as a main factor for both languages; (2) greater dispersion of the living categories as compared to the nonliving ones; (3) prototypicality of the \emph{animals} category within the living categories, and with respect to the living/nonliving distinction; and (4) the existence of a person-centered reference gradient. Our electrophysiological analysis indicated stability of the networks at play in each of these processes. Stability was also observed in the data taken from word usage in the languages (synonyms and associated words obtained from textual corpora).


title: Estimation of surface tension in nuclei

abstract: Coefficients of surface tension for even-even nuclei were estimated using its dependence of nuclear rigidity. The values of nuclear rigidity were obtained owing to its connection to mean squared deformations. The correlation of estimated surface tension coefficients with data on nuclear shapes was revealed.