title: Self-Dual Abelian Codes in some Non-Principal Ideal Group Algebras

abstract: The main focus of this paper is the complete enumeration of self-dual abelian codes in non-principal ideal group algebras $\mathbb{F}_{2^k}[A\times \mathbb{Z}_2\times \mathbb{Z}_{2^s}]$ with respect to both the Euclidean and Hermitian inner products, where $k$ and $s$ are positive integers and $A$ is an abelian group of odd order. Based on the well-know characterization of Euclidean and Hermitian self-dual abelian codes, we show that such enumeration can be obtained in terms of a suitable product of the number of cyclic codes, the number of Euclidean self-dual cyclic codes, and the number of Hermitian self-dual cyclic codes of length $2^s$ over some Galois extensions of the ring $\mathbb{F}_{2^k}+u\mathbb{F}_{2^k}$, where $u^2=0$. Subsequently, general results on the characterization and enumeration of cyclic codes and self-dual codes of length $p^s$ over $\mathbb{F}_{p^k}+u\mathbb{F}_{p^k}$ are given. Combining these results, the complete enumeration of self-dual abelian codes in $\mathbb{F}_{2^k}[A\times \mathbb{Z}_2\times \mathbb{Z}_{2^s}]$ is therefore obtained.


title: Experimental determination of whistler wave dispersion relation in the solar wind

abstract: The origins and properties of large amplitude whistler wave packets in the solar wind are still unclear. In this Letter we utilise single spacecraft electric and magnetic field waveform measurements from the ARTEMIS mission to calculate the plasma frame frequency and wavevector of individual wave packets over multiple intervals. This allows direct comparison of experimental measurements with theoretical dispersion relations to identify the observed waves as whistler waves. The whistlers are right-hand circularly polarised, travel anti-sunward and are aligned with the background magnetic field. Their dispersion is strongly affected by the local electron parallel beta in agreement with linear theory. The properties measured are consistent with the electron heat flux instability acting in the solar wind to generate these waves.


title: The physical properties of Spitzer/IRS galaxies derived from their UV to 22 $\mu$m spectral energy distribution

abstract: We provide the basic integrated physical properties of all the galaxies contained in the full CASSIS with available broad-band photometry from UV to 22 $\mu$m. We have collected photometric measurements in 14 wavelengths from available public surveys in order to study the SED of each galaxy in CASSIS, thus constructing a final sample of 1,146 galaxies in the redshift range 0<z<2.5. The SEDs are modelled with the CIGALE code which relies on the energy balance between the absorbed stellar and the dust emission while taking into account the possible contribution due to the presence of an AGN. We split the galaxies in three groups, a low-redshift, a mid-redshift and a high-redshift and find that the vast majority of the Spitzer/IRS galaxies are star-forming and lie on or above the star-forming MS of the corresponding redshift. Moreover, the emission of Spitzer/IRS galaxies with z<0.1 is mostly dominated by star-formation, galaxies in the mid-redshift bin are a mixture of star forming and AGN galaxies, while half of the galaxies with z<0.5 show moderate or high AGN activity. Additionally, using rest-frame NUV-r colour, S\'ersic indices, optical OIII and NII emission lines we explore the nature of these galaxies by investigating their structure as well as their star-formation and AGN activity. Using a colour magnitude diagram we confirm that 97% of the galaxies with redshift smaller than 0.5 have experienced a recent star-formation episode. For a sub-sample of galaxies with available structural information and redshift smaller than 0.3 we find that early-type galaxies are placed below the MS, while late-type galaxies are found on the MS as expected. Finally, for all the galaxies with z<0.5 and available optical spectral line measurements we find that galaxies with high AGN luminosity, as calculated by CIGALE, are most likely to be classified as composite or AGNs by optical spectral lines.


title: Optical tomography on graphs

abstract: We present an algorithm for solving inverse problems on graphs analogous to those arising in diffuse optical tomography for continuous media. In particular, we formulate and analyze a discrete version of the inverse Born series, proving estimates characterizing the domain of convergence, approximation errors, and stability of our approach. We also present a modification which allows additional information on the structure of the potential to be incorporated, facilitating recovery for a broader class of problems.


title: Numerical magneto-hydrodynamics for relativistic nuclear collisions

abstract: We present an improved version of the ECHO-QGP numerical code, which self-consistently includes for the first time the effects of electromagnetic fields within the framework of relativistic magnetohydrodynamics (RMHD). We discuss results of its application in relativistic heavy-ion collisions in the limit of infinite electrical conductivity of the plasma. After reviewing the relevant covariant $3\!+\!1$ formalisms, we illustrate the implementation of the evolution equations in the code and show the results of several tests aimed at assessing the accuracy and robustness of the implementation. After providing some estimates of the magnetic fields arising in non-central high-energy nuclear collisions, we perform full RMHD simulations of the evolution of the Quark-Gluon Plasma in the presence of electromagnetic fields and discuss the results. In our ideal RMHD setup we find that the magnetic field developing in non-central collisions does not significantly modify the elliptic-flow of the final hadrons. However, since there are uncertainties in the description of the pre-equilibrium phase and also in the properties of the medium, a more extensive survey of the possible initial conditions as well as the inclusion of dissipative effects are indeed necessary to validate this preliminary result.


title: The kinematic formula in the 3D-Heisenberg group

abstract: By studying the group of rigid motions, $PSH(1)$, in the 3D-Heisenberg group $H_1$, we define the density and the measure for the sets of horizontal lines. We show that the volume of a convex domain $D\subset H_1$ is equal to the integral of length of chord over all horizontal lines intersecting $D$. As the classical result in integral geometry, we also define the kinematic density for $PSH(1)$ and show the probability of randomly throwing a vector $v$ interesting the convex domain $D\subset D_0$ under the condition that $v$ is contained in $D_0$. Both results show the relationship connecting the geometric probability and the natural geometric quantity in Cheng-Hwang-Malchiodi-Yang's work approached by the variational method.


title: From glass formation to icosahedral ordering by curving three-dimensional space

abstract: Geometric frustration describes the inability of a local molecular arrangement, such as icosahedra found in metallic glasses and in model atomic glass-formers, to tile space. Local icosahedral order however is strongly frustrated in Euclidean space, which obscures any causal relationship with the observed dynamical slowdown. Here we relieve frustration in a model glass-forming liquid by curving 3-dimensional space onto the surface of a 4-dimensional hypersphere. For sufficient curvature, frustration vanishes and the liquid freezes in a fully icosahedral structure via a sharp `transition'. Frustration increases upon reducing the curvature, and the transition to the icosahedral state smoothens while glassy dynamics emerges. Decreasing the curvature leads to decoupling between dynamical and structural length scales and the decrease of kinetic fragility. This sheds light on the observed glass-forming behavior in the Euclidean space.


title: Principal component analysis and the locus of the Frechet mean in the space of phylogenetic trees

abstract: Most biological data are multidimensional, posing a major challenge to human comprehension and computational analysis. Principal component analysis is the most popular approach to rendering two- or three-dimensional representations of the major trends in such multidimensional data. The problem of multidimensionality is acute in the rapidly growing area of phylogenomics. Evolutionary relationships are represented by phylogenetic trees, and very typically a phylogenomic analysis results in a collection of such trees, one for each gene in the analysis. Principal component analysis offers a means of quantifying variation and summarizing a collection of phylogenies by dimensional reduction. However, the space of all possible phylogenies on a fixed set of species does not form a Euclidean vector space, so principal component analysis must be reformulated in the geometry of tree-space, which is a CAT(0) geodesic metric space. Previous work has focused on construction of the first principal component, or principal geodesic. Here we propose a geometric object which represents a $k$-th order principal component: the locus of the weighted Fr\'echet mean of $k+1$ points in tree-space, where the weights vary over the standard $k$-dimensional simplex. We establish basic properties of these objects, in particular that locally they generically have dimension $k$, and we propose an efficient algorithm for projection onto these surfaces. Combined with a stochastic optimization algorithm, this projection algorithm gives a procedure for constructing a principal component of arbitrary order in tree-space. Simulation studies confirm these algorithms perform well, and they are applied to data sets of Apicomplexa gene trees and the African coelacanth genome. The results enable visualizations of slices of tree-space, revealing structure within these complex data sets.


title: Properly convex bending of hyperbolic manifolds

abstract: In this paper we show that bending a finite volume hyperbolic $d$-manifold $M$ along a totally geodesic hypersurface $\Sigma$ results in a properly convex projective structure on $M$ with finite volume. We also discuss various geometric properties of bent manifolds and algebraic properties of their fundamental groups. We then use this result to show in each dimension $d\geq 3$ there are examples finite volume, but non-compact, properly convex $d$-manifolds. Furthermore, we show that the examples can be chosen to be either strictly convex or non-strictly convex.


title: Autonomous collision attack on OCSP services

abstract: The paper describes two important design flaws in Online Certificate Status Protocol (OCSP), a protocol widely used in PKI environments for managing digital certificates' credibility in real time. The flaws significantly reduce the security capabilities of the protocol, and can be exploited by a malicious third party to generate forged signed certificate statuses and, in the worst scenario, forged certificates. Description of the flaws, along with expected exploitation routes, consequences for consuming application layer protocols, and proposed countermeasures, is given.


title: Reentrant spinodals and the Speedy scenario in colloidal model systems

abstract: A re-entrant gas-liquid spinodal was proposed as a possible explanation of the apparent divergence of the compressibility and specific heat on supercooling water. Such a counter intuitive possibility, e.g. a liquid that becomes unstable to gas-like fluctuations on cooling at positive pressure, has never been observed, neither in real substances nor in off-lattice simulations. More recently, such re-entrant scenario has been dismissed on the premise that the re-entrant spinodal would collide with the gas-liquid binodal in the pressure-temperature plane. Here we study, numerically and analytically, two previously introduced one-component patchy particle models that both show (i) a re-entrant spinodal and (ii) a re-entrant binodal, providing a neat in silico (and in charta) realization of such unconventional thermodynamic scenario.


title: The excluded minors for the class of matroids that are graphic or bicircular lift

abstract: Bicircular lift matroids are a class of matroids defined on the edge set of a graph. For a given graph $G$, the circuits of its bicircular lift matroid $L(G)$ are the edge sets of those subgraphs of $G$ that contain at least two cycles, and are minimal with respect to this property. For each cycle $C$ of $G$, since $L(G)/C$ is graphic and most graphic matroids are not bicircular lift, the class of bicircular lift matroids is not minor-closed. In this paper, we prove that the class of matroids that are graphic or bicircular lift has a finite list of excluded minors.


title: Dropout Prediction in Crowdsourcing Markets

abstract: Crowdsourcing environments have shown promise in solving diverse tasks in limited cost and time. This type of business model involves both the expert and non-expert workers. Interestingly, the success of such models depends on the volume of the total number of workers. But, the survival of the fittest controls the stability of these workers. Here, we show that the crowd workers who fail to win jobs successively loose interest and might dropout over time. Therefore, dropout prediction in such environments is a promising task. In this paper, we establish that it is possible to predict the dropouts in a crowdsourcing market from the success rate based on the arrival pattern of workers.


title: Molecular Lines of 13 Galactic Infrared Bubble Regions

abstract: We investigated the physical properties of molecular clouds and star formation processes around infrared bubbles which are essentially expanding HII regions. We performed observations of 13 galactic infrared bubble fields containing 18 bubbles. Five molecular lines, 12CO (J=1-0), 13CO (J=1-0), C18O(J=1-0), HCN (J=1-0), and HCO+ (J=1-0), were observed, and several publicly available surveys, GLIMPSE, MIPSGAL, ATLASGAL, BGPS, VGPS, MAGPIS, and NVSS, were used for comparison. We find that these bubbles are generally connected with molecular clouds, most of which are giant. Several bubble regions display velocity gradients and broad shifted profiles, which could be due to the expansion of bubbles. The masses of molecular clouds within bubbles range from 100 to 19,000 solar mass, and their dynamic ages are about 0.3-3.7 Myr, which takes into account the internal turbulence pressure of surrounding molecular clouds. Clumps are found in the vicinity of all 18 bubbles, and molecular clouds near four of these bubbles with larger angular sizes show shell-like morphologies, indicating that either collect-and-collapse or radiation-driven implosion processes may have occurred. Due to the contamination of adjacent molecular clouds, only six bubble regions are appropriate to search for outflows, and we find that four of them have outflow activities. Three bubbles display ultra-compact HII regions at their borders, and one of them is probably responsible for its outflow. In total, only six bubbles show star formation activities in the vicinity, and we suggest that star formation processes might have been triggered.


title: Hadron spectroscopy and interactions from lattice QCD

abstract: Lattice QCD approach to study the hadronic resonances and exotic hadrons is described at an introductory level. The main challenge is that these states decay strongly via one or more decay channels, and they often lie near thersholds. Specific results for conventional and exotic hadrons are shown to illustrate the current status.


title: GEMPIC: Geometric ElectroMagnetic Particle-In-Cell Methods

abstract: We present a novel framework for Finite Element Particle-in-Cell methods based on the discretization of the underlying Hamiltonian structure of the Vlasov-Maxwell system. We derive a semi-discrete Poisson bracket, which retains the defining properties of a bracket, anti-symmetry and the Jacobi identity, as well as conservation of its Casimir invariants, implying that the semi-discrete system is still a Hamiltonian system. In order to obtain a fully discrete Poisson integrator, the semi-discrete bracket is used in conjunction with Hamiltonian splitting methods for integration in time. Techniques from Finite Element Exterior Calculus ensure conservation of the divergence of the magnetic field and Gauss' law as well as stability of the field solver. The resulting methods are gauge invariant, feature exact charge conservation and show excellent long-time energy and momentum behaviour. Due to the generality of our framework, these conservation properties are guaranteed independently of a particular choice of the Finite Element basis, as long as the corresponding Finite Element spaces satisfy certain compatibility conditions.


title: New Steps on the Exact Learning of CNF

abstract: A major problem in computational learning theory is whether the class of formulas in conjunctive normal form (CNF) is efficiently learnable. Although it is known that this class cannot be polynomially learned using either membership or equivalence queries alone, it is open whether CNF can be polynomially learned using both types of queries. One of the most important results concerning a restriction of the class CNF is that propositional Horn formulas are polynomial time learnable in Angluin's exact learning model with membership and equivalence queries. In this work we push this boundary and show that the class of multivalued dependency formulas (MVDF) is polynomially learnable from interpretations. We then provide a notion of reduction between learning problems in Angluin's model, showing that a transformation of the algorithm suffices to efficiently learn multivalued database dependencies from data relations. We also show via reductions that our main result extends well known previous results and allows us to find alternative solutions for them.


title: Einstein Finsler Metrics and Killing Vector Fields on Riemannian Manifolds

abstract: In this paper, we use a Killing form on a Riemannian manifold to construct a class of Finsler metrics. We find equations that characterize Einstein metrics among this class. In particular, we construct a family of Einstein metrics on $S^3$ with ${\rm Ric} = 2 F^2$, ${\rm Ric}=0$ and ${\rm Ric}=- 2 F^2$, respectively. This family of metrics provide an important class of Finsler metrics in dimension three, whose Ricci curvature is a constant, but the flag curvature is not.


title: Sequential Deep Trajectory Descriptor for Action Recognition with Three-stream CNN

abstract: Learning the spatial-temporal representation of motion information is crucial to human action recognition. Nevertheless, most of the existing features or descriptors cannot capture motion information effectively, especially for long-term motion. To address this problem, this paper proposes a long-term motion descriptor called sequential Deep Trajectory Descriptor (sDTD). Specifically, we project dense trajectories into two-dimensional planes, and subsequently a CNN-RNN network is employed to learn an effective representation for long-term motion. Unlike the popular two-stream ConvNets, the sDTD stream is introduced into a three-stream framework so as to identify actions from a video sequence. Consequently, this three-stream framework can simultaneously capture static spatial features, short-term motion and long-term motion in the video. Extensive experiments were conducted on three challenging datasets: KTH, HMDB51 and UCF101. Experimental results show that our method achieves state-of-the-art performance on the KTH and UCF101 datasets, and is comparable to the state-of-the-art methods on the HMDB51 dataset.


title: Style-Transfer via Texture-Synthesis

abstract: Style-transfer is a process of migrating a style from a given image to the content of another, synthesizing a new image which is an artistic mixture of the two. Recent work on this problem adopting Convolutional Neural-networks (CNN) ignited a renewed interest in this field, due to the very impressive results obtained. There exists an alternative path towards handling the style-transfer task, via generalization of texture-synthesis algorithms. This approach has been proposed over the years, but its results are typically less impressive compared to the CNN ones. In this work we propose a novel style-transfer algorithm that extends the texture-synthesis work of Kwatra et. al. (2005), while aiming to get stylized images that get closer in quality to the CNN ones. We modify Kwatra's algorithm in several key ways in order to achieve the desired transfer, with emphasis on a consistent way for keeping the content intact in selected regions, while producing hallucinated and rich style in others. The results obtained are visually pleasing and diverse, shown to be competitive with the recent CNN style-transfer algorithms. The proposed algorithm is fast and flexible, being able to process any pair of content + style images.


title: A Tube-and-Droplet-based Approach for Representing and Analyzing Motion Trajectories

abstract: Trajectory analysis is essential in many applications. In this paper, we address the problem of representing motion trajectories in a highly informative way, and consequently utilize it for analyzing trajectories. Our approach first leverages the complete information from given trajectories to construct a thermal transfer field which provides a context-rich way to describe the global motion pattern in a scene. Then, a 3D tube is derived which depicts an input trajectory by integrating its surrounding motion patterns contained in the thermal transfer field. The 3D tube effectively: 1) maintains the movement information of a trajectory, 2) embeds the complete contextual motion pattern around a trajectory, 3) visualizes information about a trajectory in a clear and unified way. We further introduce a droplet-based process. It derives a droplet vector from a 3D tube, so as to characterize the high-dimensional 3D tube information in a simple but effective way. Finally, we apply our tube-and-droplet representation to trajectory analysis applications including trajectory clustering, trajectory classification & abnormality detection, and 3D action recognition. Experimental comparisons with state-of-the-art algorithms demonstrate the effectiveness of our approach.


title: Trees with Equal Total Domination and Game Total Domination Numbers

abstract: In this paper, we continue the study of the total domination game in graphs introduced in [Graphs Combin. 31(5) (2015), 1453--1462], where the players Dominator and Staller alternately select vertices of $G$. Each vertex chosen must strictly increase the number of vertices totally dominated, where a vertex totally dominates another vertex if they are neighbors. This process eventually produces a total dominating set $S$ of $G$ in which every vertex is totally dominated by a vertex in $S$. Dominator wishes to minimize the number of vertices chosen, while Staller wishes to maximize it. The game total domination number, $\gamma_{\rm tg}(G)$, (respectively, Staller-start game total domination number, $\gamma_{\rm tg}'(G)$) of $G$ is the number of vertices chosen when Dominator (respectively, Staller) starts the game and both players play optimally. For general graphs $G$, sometimes $\gamma_{\rm tg}(G) > \gamma_{\rm tg}'(G)$. We show that if $G$ is a forest with no isolated vertex, then $\gamma_{\rm tg}(G) \le \gamma_{\rm tg}'(G)$. Using this result, we characterize the trees with equal total domination and game total domination number.


title: Double asymptotics for the chi-square statistic

abstract: We consider distributional limit of the Pearson chi-square statistic when the number of classes m increases with the sample size n in such way that $n/\sqrt{m} \to {\lambda}$. Under mild moment conditions, the limit is Gaussian for ${\lambda} = \infty$, Poisson for finite ${\lambda} > 0$, and degenerate for ${\lambda} = 0$.


title: The Thermodynamical Instability Induced by Pressure Ionization in Fluid Helium

abstract: A systematic study of pressure ionization is carried out in the chemical picture by the example of fluid helium. By comparing the variants of the chemical model, it is demonstrated that the behavior of pressure ionization depends on the construction of the free energy function. In the chemical model with the Coulomb free energy described by the Pad\'e interpolation formula, thermodynamical instability induced by pressure ionization is found to be manifested by a discontinuous drop or a continuous fall and rise along the pressure-density curve as well as the pressure-temperature curve, which is very much like the first order liquid-liquid phase transition of fluid hydrogen from the first principles simulations. In contrast, in the variant chemical model with the Coulomb free energy term empirically weakened, no thermodynamical instability is induced when pressure ionization occurs, and the resulting equation of state achieves good agreement with the first principles simulations of fluid helium.


title: {\omega}-Automata

abstract: This paper gives a concise introduction into the basic theory of {\omega}-automata (as of March 2014). The starting point are the different types of recurrence conditions, modes of operation (deterministic, nondeterministic, alternating automata), and directions (forward or backward automata). The main focus is on fundamental automata constructions, for instance, for boolean operations, determinization, disambiguation, and removing alternation. It also covers some algebraic aspects such as congruences for {\omega}-automata (and {\omega}-languages), basic structure theory (loops), and applications in mathematical logic. This paper may eventually become a chapter in a handbook of automata theory.


title: Thermal Transport Across Metal Silicide-Silicon Interfaces: First-Principles Calculations and Green's Function Transport Simulations

abstract: In this work, we use a combination of first-principles calculations under the density functional theory framework and heat transport simulations using the atomistic Green's function (AGF) method to quantitatively predict the contribution of the different scattering mechanisms to the thermal interface conductance of epitaxial CoSi$_2$-Si interfaces. An important development in the present work is the direct computation of interfacial bonding from density functional perturbation theory (DFPT) and hence the avoidance of commonly used `mixing rules' to obtain the cross-interface force constants from bulk material force constants. Another important algorithmic development is the integration of the recursive Green's function (RGF) method with B\"{u}ttiker probe scattering that enables computationally efficient simulations of inelastic phonon scattering and its contribution to the thermal interface conductance. First-principles calculations of electron-phonon coupling reveal that cross-interface energy transfer between metal electrons and atomic vibrations in the semiconductor is mediated by delocalized acoustic phonon modes that extend on both sides of the interface, and phonon modes that are localized inside the semiconductor region of the interface exhibit negligible coupling with electrons in the metal. We also provide a direct comparison between simulation predictions and experimental measurements of thermal interface conductance of epitaxial CoSi$_2$-Si interfaces using the time-domain thermoreflectance technique. Importantly, the experimental results, performed across a wide temperature range, only agree well with predictions that include all transport processes: elastic and inelastic phonon scattering, electron-phonon coupling in the metal, and electron-phonon coupling across the interface.


title: Squeezed Coherent States of Motion for Ions Confined in Quadrupole and Octupole Ion Traps

abstract: Quasiclassical dynamics of trapped ions is characterized by applying the time dependent variational principle (TDVP) on coherent state orbits, in case of quadrupole and octupole combined (Paul and Penning) and radiofrequency (RF) traps. A dequantization algorithm is proposed, by which the classical Hamilton (energy) function associated to the system results as the expectation value of the quantum Hamiltonian on squeezed coherent states. We develop such method and particularize the quantum Hamiltonian for a combined and for a RF trap, with axial symmetry and a RF anharmonic electric potential. We also build the classical Hamiltonian functions for the particular traps we considered, and find the classical equations of motion.


title: Probabilistic Cross-Identification in Crowded Fields as an Assignment Problem

abstract: One of the outstanding challenges of cross-identification is multiplicity: detections in crowded regions of the sky are often linked to more than one candidate associations of similar likelihoods. We map the resulting maximum likelihood partitioning to the fundamental assignment problem of discrete mathematics and efficiently solve the two-way catalog-level matching in the realm of combinatorial optimization using the so-called Hungarian algorithm. We introduce the method, demonstrate its performance in a mock universe where the true associations are known, and discuss the applicability of the new procedure to large surveys.


title: Creating new layered structures at high pressures: SiS$_2$

abstract: Old and novel layered structures are attracting increasing attention for their physical, electronic, and frictional properties. SiS$_2$, isoelectronic to SiO$_2$, CO$_2$ and CS$_2$, is a material whose phases known experimentally up to 6 GPa exhibit 1D chain-like, 2D layered and 3D tetrahedral structures. We present highly predictive $ab$ $initio$ calculations combined with evolutionary structure search and molecular dynamics simulations of the structural and electronic evolution of SiS$_2$ up to 100 GPa. A highly stable CdI$_2$-type layered structure, which is octahedrally coordinated with space group $P\bar{3}m1$ surprisingly appears between 4 and up to at least 100 GPa. The tetrahedral-octahedral switch is naturally expected upon compression, unlike the layered character realized here by edge-sharing SiS$_6$ octahedral units connecting within but not among sheets. The predicted phase is semiconducting with an indirect band gap of about 2 eV at 10 GPa, decreasing under pressure until metallization around 40 GPa. The robustness of the layered phase suggests possible recovery at ambient pressure, where calculated phonon spectra indicate dynamical stability. Even a single monolayer is found to be dynamically stable in isolation, suggesting that it could possibly be sheared or exfoliated from bulk $P\bar{3}m1$-SiS$_2$.


title: Quantifying the informativeness for biomedical literature summarization: An itemset mining method

abstract: Objective: Automatic text summarization tools can help users in the biomedical domain to access information efficiently from a large volume of scientific literature and other sources of text documents. In this paper, we propose a summarization method that combines itemset mining and domain knowledge to construct a concept-based model and to extract the main subtopics from an input document. Our summarizer quantifies the informativeness of each sentence using the support values of itemsets appearing in the sentence. Methods: To address the concept-level analysis of text, our method initially maps the original document to biomedical concepts using the UMLS. Then, it discovers the essential subtopics of the text using a data mining technique, namely itemset mining, and constructs the summarization model. The employed itemset mining algorithm extracts a set of frequent itemsets containing correlated and recurrent concepts of the input document. The summarizer selects the most related and informative sentences and generates the final summary. Results: We evaluate the performance of our itemset-based summarizer using the Recall-Oriented Understudy for Gisting Evaluation (ROUGE) metrics, performing a set of experiments. The results show that the itemset-based summarizer performs better than the compared methods. The itemset-based summarizer achieves the best scores for all the assessed ROUGE metrics . Conclusion: Compared to the statistical, similarity, and word frequency methods, the proposed method demonstrates that the summarization model obtained from the concept extraction and itemset mining provides the summarizer with an effective metric for measuring the informative content of sentences. This can lead to an improvement in the performance of biomedical literature summarization.


title: Multiplex visibility graphs to investigate recurrent neural networks dynamics

abstract: A recurrent neural network (RNN) is a universal approximator of dynamical systems, whose performance often depends on sensitive hyperparameters. Tuning of such hyperparameters may be difficult and, typically, based on a trial-and-error approach. In this work, we adopt a graph-based framework to interpret and characterize the internal RNN dynamics. Through this insight, we are able to design a principled unsupervised method to derive configurations with maximized performances, in terms of prediction error and memory capacity. In particular, we propose to model time series of neurons activations with the recently introduced horizontal visibility graphs, whose topological properties reflect important dynamical features of the underlying dynamic system. Successively, each graph becomes a layer of a larger structure, called multiplex. We show that topological properties of such a multiplex reflect important features of RNN dynamics and are used to guide the tuning procedure. To validate the proposed method, we consider a class of RNNs called echo state networks. We perform experiments and discuss results on several benchmarks and real-world dataset of call data records.


title: Vortex disruption by magnetohydrodynamic feedback

abstract: In an electrically conducting fluid, vortices stretch out a weak, large-scale magnetic field to form strong current sheets on their edges. Associated with these current sheets are magnetic stresses, which are subsequently released through reconnection, leading to vortex disruption, and possibly even destruction. This disruption phenomenon is investigated here in the context of two-dimensional, homogeneous, incompressible magnetohydrodynamics. We derive a simple order of magnitude estimate for the magnetic stresses --- and thus the degree of disruption --- that depends on the strength of the background magnetic field (measured by the parameter $M$, a ratio between the Alfv\'en speed and a typical flow speed) and on the magnetic diffusivity (measured by the magnetic Reynolds number $\mbox{Rm}$). The resulting estimate suggests that significant disruption occurs when $M^{2}\mbox{Rm} = O(1)$. To test our prediction, we analyse direct numerical simulations of vortices generated by the breakup of unstable shear flows with an initially weak background magnetic field. Using the Okubo--Weiss vortex coherence criterion, we introduce a vortex disruption measure, and show that it is consistent with our predicted scaling, for vortices generated by instabilities of both a shear layer and a jet.


title: Distribution of Shapes of orthogonal Lattices

abstract: It was recently shown by Aka, Einsiedler and Shapira that if d>2, the set of primitive vectors on large spheres when projected to the d-1-dimensional sphere coupled with the shape of the lattice in their orthogonal complement equidistribute in the product space of the sphere with the space of shapes of d-1-dimensional lattices. Specifically, for d=3,4,5 some congruence conditions are assumed. By using recent advances in the theory of unipotent flows, we effectivize the dynamical proof to remove those conditions for d=4,5. It also follows that equidistribution takes place with a polynomial error term with respect to the length of the primitive points.


title: Angular resolution of stacked resistive plate chambers

abstract: We present here detailed derivations of mathematical expressions for the accuracy in the arrival direction of particles estimated using a set of stacked resistive plate chambers (RPCs). The expressions are validated against experimental results using data collected from the prototype detectors (without magnet) of the upcoming India-based Neutrino Observatory (INO). We also present a theoretical estimate of angular resolution of such a setup. In principle, these expressions can be used for any other detector with an architecture similar to that of RPCs.


title: Prospects for Detecting Galactic Sources of Cosmic Neutrinos with IceCube: An Update

abstract: Air-Cherenkov telescopes have mapped the Galactic plane at TeV energies. Here we evaluate the prospects for detecting the neutrino emission from sources in the Galactic plane assuming that the highest energy photons originate from the decay of pions, which yields a straightforward prediction for the neutrino flux from the decay of the associated production of charged pions. Four promising sources are identified based on having a large flux and a flat spectrum. We subsequently evaluate the probability of their identification above the atmospheric neutrino background in IceCube data as a function of time. We show that observing them over the twenty-year lifetime of the instrumentation is likely, and that some should be observable at the $3\,\sigma$ level with six years of data. In the absence of positive results, we derive constraints on the spectral index and cut-off energy of the sources, assuming a hadronic acceleration mechanism.


title: BAUM: A DNA Assembler by Adaptive Unique Mapping and Local Overlap-Layout-Consensus

abstract: Genome assembly from the high-throughput sequencing (HTS) reads is a fundamental yet challenging computational problem. An intrinsic challenge is the uncertainty caused by the widespread repetitive elements. Here we get around the uncertainty using the notion of uniquely mapped (UM) reads, which motivated the design of a new assembler BAUM. It mainly consists of two types of iterations. The first type of iterations constructs initial contigs from a reference, say a genome of a species that could be quite distant, by adaptive read mapping, filtration by the reference's unique regions, and reference updating. A statistical test is proposed to split the layouts at possible structural variation sites. The second type of iterations includes mapping, scaffolding/contig-extension, and contig merging. We extend each contig by locally assembling the reads whose mates are uniquely mapped to an end of the contig. Instead of the de Bruijn graph method, we take the overlap-layout-consensus (OLC) paradigm. The OLC is implemented by parallel computation, and has linear complexity with respect to the number of contigs. The adjacent extended contigs are merged if their alignment is confirmed by the adjusted gap distance. Throughout the assembling, the mapping criterion is selected by probabilistic calculations. These innovations can be used complementary to the existing de novo assemblers. Applying this novel method to the assembly of wild rice Oryza longistaminata genome, we achieved much improved contig N50, 18.8k, compared with other assemblers. The assembly was further validated by contigs constructed from an independent library of long 454 reads.


title: A Topological Completeness Theorem for Transfinite Provability Logic

abstract: We prove a topological completeness theorem for the modal logic GLP containing operators $\langle\lambda\rangle$ for $\lambda \in$ Ord intended to capture progressively stronger notions of consistency in mathematical theories. We show that, given a scattered space $X$ of large-enough rank, any sentence $\phi$ consistent with GLP can be satisfied in a polytopological space based on the finitely many Icard topologies over $X$ that correspond to the finitely many modalities appearing in $\phi$.


title: Geometric and Information-Theoretic Properties of the Hoggar Lines

abstract: We take a tour of a set of equiangular lines in eight-dimensional Hilbert space. This structure defines an informationally complete measurement, that is, a way to represent all quantum states of three-qubit systems as probability distributions. Investigating the shape of this representation of state space yields a pattern of connections among a remarkable spread of mathematical constructions. In particular, studying the Shannon entropy of probabilistic representations of quantum states leads to an intriguing link between the questions of real and of complex equiangular lines. Furthermore, we will find relations between quantum information theory and mathematical topics like octonionic integers and the 28 bitangents to a quartic curve.


title: Guided Policy Search with Delayed Sensor Measurements

abstract: Guided policy search is a method for reinforcement learning that trains a general policy for accomplishing a given task by guiding the learning of the policy with multiple guiding distributions. Guided policy search relies on learning an underlying dynamical model of the environment and then, at each iteration of the algorithm, using that model to gradually improve the policy. This model, though, often makes the assumption that the environment dynamics are markovian, e.g., depend only on the current state and control signal. In this paper we apply guided policy search to a problem with non-markovian dynamics. Specifically, we apply it to the problem of pouring a precise amount of liquid from a cup into a bowl, where many of the sensor measurements experience non-trivial amounts of delay. We show that, with relatively simple state augmentation, guided policy search can be extended to non-markovian dynamical systems, where the non-markovianess is caused by delayed sensor readings.


title: Electronic coarse graining enhances the predictive power of molecular simulation allowing challenges in water physics to be addressed

abstract: One key factor that limits the predictive power of molecular dynamics simulations is the accuracy and transferability of the input force field. Force fields are challenged by heterogeneous environments, where electronic responses give rise to biologically important forces such as many-body polarisation and dispersion. The importance of polarisation was recognised early-on and described by Cochran in 1959 [Philosophical Magazine 4 (1959) 1082-1086]. However, dispersion forces are still treated at the two-body level and in the dipole limit, although the importance of three-body terms in the condensed phase was demonstrated by Barker in the 1980s [Phys. Rev. Lett. 57 (1986) 230-233]. A way of treating both polarisation and dispersion on an equal basis is to coarse grain the electrons a molecular moiety to a single quantum harmonic oscillator, as suggested as early as the 1960s by Hirschfelder, Curtiss and Bird [The Molecular Theory of Gases and Liquids (1954)]. This treatment, when solved in the strong coupling limit, gives all orders of long-range forces. In the last decade, the tools necessary to exploit this strong coupling limit have been developed, culminating in a transferable model of water with excellent predictive power across the phase diagram. This transferability arises since the environment identifies the form of long range interactions, rather than the expressions selected by the modeller. Here, we discuss the role of electronic coarse-graining in predictive multiscale materials modelling and describe the first implementation of the method in a general purpose molecular dynamics software, QDO_MD.


title: Solovay's inaccessible over a weak set theory without choice

abstract: We study the consistency strength of Lebesgue measurability for $\Sigma^1_3$ sets over Zermelo set theory ($Z$) in a completely choiceless context. We establish a result analogous to the Solovay-Shelah theorem.


title: Semi-classical Approach to Quantum Spin Ice

abstract: We propose a semi-classical description of the low-energy properties of quantum spin ice in the strong Ising limit. Within the framework of a semiclassical, perturbative Villain expansion, that can be truncated at arbitrary order, we give an analytic and quantitative treatment of the deconfining phase. We find that photon-photon interactions significantly renormalise the speed of light and split the two transverse photon polarisations at intermediate wavevectors. We calculate the photon velocity and the ground state energy to first and second order in perturbation theory, respectively. The former is in good agreement with recent numerical simulations.


title: On the adiabatic limit of Hadamard states

abstract: We consider the adiabatic limit of Hadamard states for free quantum Klein-Gordon fields, when the background metric and the field mass are slowly varied from their initial to final values. If the Klein-Gordon field stays massive, we prove that the adiabatic limit of the initial vacuum state is the (final) vacuum state, by extending to the symplectic framework the adiabatic theorem of Avron-Seiler-Yaffe. In cases when only the field mass is varied, using a abstract version of the mode decomposition method we can also consider the case when the initial or final mass vanishes, and the initial state is either a thermal state or a more general Hadamard state.


title: Optimal Hardy--Littlewood inequalities uniformly bounded by a universal constant

abstract: The Hardy--Littlewood inequality for $m$-linear forms on $\ell _{p}$ spaces and $m<p\leq 2m$ asserts that \begin{equation*} \left( \sum_{j_{1},...,j_{m}=1}^{\infty }\left\vert T\left( e_{j_{1}},\ldots ,e_{j_{m}}\right) \right\vert ^{\frac{p}{p-m}}\right) ^{\frac{p-m}{p}}\leq 2^{\frac{m-1}{2}}\left\Vert T\right\Vert \end{equation*} for all continuous $m$-linear forms $T:\ell _{p}\times \cdots \times \ell _{p}\rightarrow \mathbb{R}$ or $\mathbb{C}.$ The case $m=2$ recovers a classical inequality proved by Hardy and Littlewood in 1934. As a consequence of the results of the present paper we show that the same inequality is valid with $2^{\frac{m-1}{2}}$ replaced by $2^{\frac{\left( m-1\right) \left( p-m\right) }{p}}$. In particular, for $m<p\leq m+1$ the optimal constants of the above inequality are uniformly bounded by $2.$


title: Atmospheric characterization of Proxima b by coupling the Sphere high-contrast imager to the Espresso spectrograph

abstract: Context. The temperate Earth-mass planet Proxima b is the closest exoplanet to Earth and represents what may be our best ever opportunity to search for life outside the Solar System. Aims. We aim at directly detecting Proxima b and characterizing its atmosphere by spatially resolving the planet and obtaining high-resolution reflected-light spectra. Methods. We propose to develop a coupling interface between the SPHERE high-contrast imager and the new ESPRESSO spectrograph, both installed at ESO VLT. The angular separation of 37 mas between Proxima b and its host star requires the use of visible wavelengths to spatially resolve the planet on a 8.2-m telescope. At an estimated planet-to-star contrast of ~10^-7 in reflected light, Proxima b is extremely challenging to detect with SPHERE alone. However, the combination of a ~10^3-10^4 contrast enhancement from SPHERE to the high spectral resolution of ESPRESSO can reveal the planetary spectral features and disentangle them from the stellar ones. Results. We find that significant but realistic upgrades to SPHERE and ESPRESSO would enable a 5-sigma detection of the planet and yield a measurement of its true mass and albedo in 20-40 nights of telescope time, assuming an Earth-like atmospheric composition. Moreover, it will be possible to probe the O2 bands at 627, 686 and 760 nm, the water vapour band at 717 nm, and the methane band at 715 nm. In particular, a 3.6-sigma detection of O2 could be made in about 60 nights of telescope time. Those would need to be spread over 3 years considering optimal observability conditions for the planet. Conclusions. The very existence of Proxima b and the SPHERE-ESPRESSO synergy represent a unique opportunity to detect biosignatures on an exoplanet in the near future. It is also a crucial pathfinder experiment for the development of Extremely Large Telescopes and their instruments (abridged).


title: Uses of Sampling Techniques & Inventory Control with Capacity Constraints

abstract: The main aim of the present book is to suggest some improved estimators using auxiliary and attribute information in case of simple random sampling and stratified random sampling and some inventory models related to capacity constraints. This volume is a collection of five papers, written by six co-authors (listed in the order of the papers): Dr. Rajesh Singh, Dr. Sachin Malik, Dr. Florentin Smarandache, Dr. Neeraj Kumar, Mr. Sanjey Kumar & Pallavi Agarwal. In the first chapter authors suggest an estimator using two auxiliary variables in stratified random sampling for estimating population mean. In second chapter they proposed a family of estimators for estimating population means using known value of some population parameters. In Chapter third an almost unbiased estimator using known value of some population parameter(s) with known population proportion of an auxiliary variable has been used. In Chapter four the authors investigates a fuzzy economic order quantity model for two storage facility. The demand, holding cost, ordering cost, storage capacity of the own - warehouse are taken as trapezoidal fuzzy numbers. In Chapter five a two-warehouse inventory model deals with deteriorating items, with stock dependent demand rate and model affected by inflation under the pattern of time value of money over a finite planning horizon. Shortages are allowed and partially backordered depending on the waiting time for the next replenishment. The purpose of this model is to minimize the total inventory cost by using the genetic algorithm. This book will be helpful for the researchers and students who are working in the field of sampling techniques and inventory control.


title: Graph labeling games

abstract: We propose the study of many new variants of two-person graph labeling games. Hardly anything has been done in this wide open field so far.


title: Optical patterning of trapped charge in nitrogen-doped diamond

abstract: The nitrogen-vacancy (NV) centre in diamond is emerging as a promising platform for solid-state quantum information processing and nanoscale metrology. Of interest in these applications is the manipulation of the NV charge, which can be attained by optical excitation. Here we use two-color optical microscopy to investigate the dynamics of NV photo-ionization, charge diffusion, and trapping in type-1b diamond. We combine fixed-point laser excitation and scanning fluorescence imaging to locally alter the concentration of negatively charged NVs, and to subsequently probe the corresponding redistribution of charge. We uncover the formation of spatial patterns of trapped charge, which we qualitatively reproduce via a model of the interplay between photo-excited carriers and atomic defects. Further, by using the NV as a probe, we map the relative fraction of positively charged nitrogen upon localized optical excitation. These observations may prove important to transporting quantum information between NVs or to developing three-dimensional, charge-based memories.


title: Three-body systems in pionless effective field theory

abstract: Investigations of three-body nuclear systems using pionless effective field theory ($\mathrm{EFT}_{\not{\pi}}$) are reviewed. The history of $\mathrm{EFT}_{\not{\pi}}$ in $nd$ and $pd$ scattering is briefly discussed and emphasis put on the use of strict perturbative techniques. In addition renormalization issues appearing in $pd$ scattering are also presented. Bound state calculations are addressed and new perturbative techniques for describing them are highlighted. Three-body breakup observables in $nd$ scattering are also considered and the utility of $\mathrm{EFT}_{\not{\pi}}$ for addressing them.


title: Capitulation in the absolutely abelian extensions of some number fields II

abstract: We study the capitulation of $2$-ideal classes of an infinite family of imaginary biquadratic number fields consisting of fields $k =Q(\sqrt{pq_1q_2}, i)$, where $i=\sqrt{-1}$ and $q_1\equiv q_2\equiv-p\equiv-1 \pmod 4$ are different primes. For each of the three quadratic extensions $K/k$ inside the absolute genus field $k^{(*)}$ of $k$, we compute the capitulation kernel of $K/k$. Then we deduce that each strongly ambiguous class of $k/Q(i)$ capitulates already in $k^{(*)}$.


title: Phase retrieval with random Gaussian sensing vectors by alternating projections

abstract: We consider a phase retrieval problem, where we want to reconstruct a $n$-dimensional vector from its phaseless scalar products with $m$ sensing vectors. We assume the sensing vectors to be independently sampled from complex normal distributions. We propose to solve this problem with the classical non-convex method of alternating projections. We show that, when $m\geq Cn$ for $C$ large enough, alternating projections succeed with high probability, provided that they are carefully initialized. We also show that there is a regime in which the stagnation points of the alternating projections method disappear, and the initialization procedure becomes useless. However, in this regime, $m$ has to be of the order of $n^2$. Finally, we conjecture from our numerical experiments that, in the regime $m=O(n)$, there are stagnation points, but the size of their attraction basin is small if $m/n$ is large enough, so alternating projections can succeed with probability close to $1$ even with no special initialization.


title: Fibration of log-general type space over quasi-abelian varieties

abstract: We show that there exists no smooth fibration of a smooth complex quasi-projective variety of log-general type over a quasi-abelian variety. The proof uses M. Popa and C. Schnell's construction of Higgs bundle.


title: Dynamical theory of single photon transport in a one-dimensional waveguide coupled to identical and non-identical emitters

abstract: We develop a general dynamical theory for studying a single photon transport in a one-dimensional (1D) waveguide coupled to multiple emitters which can be either identical or non-identical. In this theory, both the effects of the waveguide and non-waveguide vacuum modes are included. This theory enables us to investigate the propagation of an emitter excitation or an arbitrary single photon pulse along an array of emitters coupled to a 1D waveguide. The dipole-dipole interaction induced by the non-waveguide modes, which is usually neglected in the literatures, can significantly modify the dynamics of the emitter system as well as the characteristics of output field if the emitter separation is much smaller than the resonance wavelength. Non-identical emitters can also strongly couple to each other if their energy difference is smaller than or of the order of the dipole-dipole energy shift. Interestingly, if their energy difference is close but non-zero, a very narrow transparency window around the resonance frequency can appear which does not occur for identical emitters. This phenomenon may find important applications in quantum waveguide devices such as optical switch and ultra narrow single photon frequency comb generator.


title: A note on simultaneous nonvanishing of Dirichlet $L$-functions and twists of Hecke-Maass $L$-functions

abstract: In this note, we prove that given a Hecke-Maass cusp form $f$ for $SL_2(\mathbb{Z})$ and a sufficiently large integer $q=q_1q_2$ with $q_j\asymp \sqrt{q}$ being prime numbers for $j=1,2$, there exists a primitive Dirichlet character $\chi$ of conductor $q$ such that $L\left(\frac{1}{2},f\otimes \chi\right)L\left(\frac{1}{2},\chi\right)\neq 0$. To prove this, we establish asymptotic formulas of $L\left(\frac{1}{2},f\otimes \chi\right)L\left(\frac{1}{2},\chi\right)$ over the family of even primitive Dirichlet characters $\chi$ of conductor $q$ for more general $q$.


title: A first principles TDDFT framework for spin and time-resolved ARPES in periodic systems

abstract: We present a novel theoretical approach to simulate spin, time and angular-resolved photoelectron spectroscopy (ARPES) from first principles that is applicable to surfaces, thin films, few layer systems, and low-dimensional nanostructures. The method is based on a general formulation in the framework of time-dependent density functional theory (TDDFT) to describe the real time-evolution of electrons escaping from a surface under the effect of any external (arbitrary) laser field. By extending the so called t-SURFF method to periodic systems one can calculate the final photoelectron spectrum by collecting the flux of the ionization current trough an analysing surface. The resulting approach, that we named t-SURFFP, allows to describe a wide range of irradiation conditions without any assumption on the dynamics of the ionization process allowing for pump-probe simulations on an equal footing. To illustrate the wide scope of applicability of the method we present applications to graphene, mono- and bi-layer WSe$_2$, and hexagonal BN under different laser configurations.


title: Using Spatial Pooler of Hierarchical Temporal Memory to classify noisy videos with predefined complexity

abstract: This paper examines the performance of a Spatial Pooler (SP) of a Hierarchical Temporal Memory (HTM) in the task of noisy object recognition. To address this challenge, a dedicated custom-designed system based on the SP, histogram calculation module and SVM classifier was implemented. In addition to implementing their own version of HTM, the authors also designed a profiler which is capable of tracing all of the key parameters of the system. This was necessary, since an analysis and monitoring of the system performance turned out to be extremely difficult using conventional testing and debugging tools. The system was initially trained on artificially prepared videos without noise and then tested with a set of noisy video streams. This approach was intended to mimic a real life scenario where an agent or a system trained to deal with ideal objects faces a task of classifying distorted and noisy ones in its regular working conditions. The authors conducted a series of experiments for various macro parameters of HTM SP, as well as for different levels of video reduction ratios. The experiments allowed them to evaluate the performance of two different system setups (i.e. 'Multiple HTMs' and 'Single HTM') under various noise conditions with 32--frame video files. Results of all the tests were compared to SVM baseline setup. It was determined that the system featuring SP is capable of achieving approximately 12 times the noise reduction for a video signal with with distorted bits accounting for 13\% of the total. Furthermore, the system featuring SP performed better also in the experiments without a noise component and achieved a max F1 score of 0.96. The experiments also revealed that a rise of column and synapse number of SP has a substantial impact on the performance of the system. Consequently, the highest F1 score values were obtained for 256 and 4096 synapses and columns respectively.


title: Temperature restrictions for materials used in aerospace industry for the near-sun orbits

abstract: For near-Sun missions, the spacecraft approaches very close to the Sun and space environmental effects become relevant. Strong restrictions on how much close it can get derive from the maximum temperature that the used materials can stand, in order not to compromise the spacecraft's activity and functionalities. In other words, the minimum perihelion distance of a given mission can be determined based on the materials' temperature restrictions. The temperature of an object in space depends on its optical properties: reflectivity, absorptivity, transmissivity, and emissivity. Usually, it is considered as an approximation that the optical properties of materials are constant. However, emissivity depends on temperature. The consideration of the temperature dependence of emissivity and conductivity of materials used in the aerospace industry leads to the conclusion that the temperature dependence on the heliocentric distance is different from the case of constant optical properties [1]. Particularly, taking into account that emissivity is directly proportional to the temperature, the temperature of an object increases as $r{}^{-2/5}$ when the heliocentric distance $r$ decreases. This means that the same temperature will actually be reached at a different distance and, eventually, the spacecraft will be allowed to approach closer to the Sun without compromising its activities. We focused on metals used for aerospace structures (Al, Ti), however our analysis can be extended to all kinds of composite materials, once their optical properties - in particular emissivity - are defined.


title: Efficient Error-tolerant Search on Knowledge Graphs

abstract: Edge-labeled graphs are widely used to describe relationships between entities in a database. Given a query subgraph that represents an example of what the user is searching for, we study the problem of efficiently searching for similar subgraphs in a large data graph, where the similarity is defined in terms of the well-known graph edit distance. We call these queries "error-tolerant exemplar queries" since matches are allowed despite small variations in the graph structure and the labels. The problem in its general case is computationally intractable, but efficient solutions are reachable for labeled graphs under well-behaved distribution of the labels, commonly found in knowledge graphs. We propose two efficient exact algorithms, based on a filtering-and-verification framework, for finding subgraphs in a large data graph that are isomorphic to a query graph under some edit operations. Our filtering scheme, which uses the neighbourhood structure around a node and the presence or absence of paths, significantly reduces the number of candidates that are passed to the verification stage. Moreover, we analyze the costs of our algorithms and the conditions under which one algorithm is expected to outperform the other. Our analysis identifies some of the variables that affect the cost, including the number and the selectivity of query edge labels and the degree of nodes in the data graph, and characterizes their relationships. We empirically evaluate the effectiveness of our filtering schemes and queries, the efficiency of our algorithms and the reliability of our cost models on real datasets.


title: The polaron paradigm: a dual coupling effective band model

abstract: Non-diagonal couplings to a bosonic bath completely change polaronic dynamics, from the usual diagonally-coupled paradigm of smoothly-varying properties. We study, using analytic and numerical methods, a model having both diagonal Holstein and non-diagonal Su-Schrieffer-Heeger (SSH) couplings. The critical coupling found previously in the pure SSH model, at which the $k=0$ effective mass diverges, now becomes a transition line in the coupling constant plane - the form of the line depends on the adiabaticity parameter. Detailed results are given for the quasiparticle and ground state properties, over a wide range of couplings and adiabaticity ratios. The new paradigm involves a destabilization, at the transition line, of the simple Holstein polaron to one with a finite ground-state momentum, but with everywhere a continuously evolving band shape. No 'self-trapping transition' exists in any of these models. The physics may be understood entirely in terms of competition between different hopping terms in a simple renormalized effective band theory. The possibility of further transitions is suggested by the results.


title: The Tetrahedral Twists

abstract: We introduce a family of piecewise isometries $f_s$ parametrized by $s \in [0,1)$ on the surface of a regular tetrahedron, which we call the tetrahedral twists. This family of maps is similar to the PETs constructed by Patrick Hooper. We study the dynamics of the tetrahedral twists through the notion of renormalization. By the assistance of computer, we conjecture that the renormalization scheme exists on the entire interval $[0,1)$. In this paper, we show that this system is renormalizable in the subintervals $[\frac{53}{128},\frac{29}{70}]$ and $[\frac{1}{2},1)$.


title: Towards a general(ized) shear thickening rheology of wet granular materials under small pressure

abstract: We study the rheology of dry and wet granular materials in the steady quasistatic regime using the Discrete Element Method (DEM) in a split-bottom ring shear cell with focus on the macroscopic friction. The aim of our study is to understand the local rheology of bulk flow at various positions in the shear band, where the system is in critical state. The general(ized) rheology has four dimensionless control parameters that relate the time scales of five significant phenomena, namely, the time scales related to confining pressure $t_p$, shear rate $t_{\dot{\gamma}}$, particle stiffness $t_k$, gravity $t_g$ and cohesion $t_c$, respectively. We show that those phenomena collectively contribute to the rheology as multiplicative correction functions. While $t_{\dot{\gamma}}$ is large and thus little important for most of the data studied, it can increase the friction of flow in critical state, where the shear gradients are high. $t_g$ and $t_k$ are comparable to $t_p$ in the bulk, but become more or less dominant relative to $t_p$ at the extremes of the free surface and deep inside the bulk, respectively. We also measure the effect of strong wet cohesion on the flow rheology, as quantified by decreasing $t_c$. Furthermore, the proposed rheological model predicts well the shear thinning behavior both in the bulk and near the free surface; shear thinning develops to shear thickening near the free surface with increasing cohesion.


title: Stochastic Sampling for Structural Topology Optimization with Many Load Cases: Density-Based and Ground Structure Approaches

abstract: We propose an efficient probabilistic method to solve a deterministic problem -- we present a randomized optimization approach that drastically reduces the enormous computational cost of optimizing designs under many load cases for both continuum and truss topology optimization. Practical structural designs by topology optimization typically involve many load cases, possibly hundreds or more. The optimal design minimizes a, possibly weighted, average of the compliance under each load case (or some other objective). This means that in each optimization step a large finite element problem must be solved for each load case, leading to an enormous computational effort. On the contrary, the proposed randomized optimization method with stochastic sampling requires the solution of only a few (e.g., 5 or 6) finite element problems (large linear systems) per optimization step. Based on simulated annealing, we introduce a damping scheme for the randomized approach. Through numerical examples in two and three dimensions, we demonstrate that the stochastic algorithm drastically reduces computational cost to obtain similar final topologies and results (e.g., compliance) compared with the standard algorithms. The results indicate that the damping scheme is effective and leads to rapid convergence of the proposed algorithm.


title: Pickup Ion Effect of the Solar Wind Interaction with the Local Interstellar Medium

abstract: Pickup ions are created when interstellar neutral atoms resonantly exchange charge with the solar wind (SW) ions, especially in the supersonic part of the wind, where they carry most of the plasma pressure. Here we present numerical simulation results of the 3D heliospheric interface treating pickup ions as a separate proton fluid. To satisfy the fundamental conservation laws, we solve the system of equations describing the flow of the mixture of electrons, thermal protons, and pickup ions. To find the density and pressure of pickup ions behind the termination shock, we employ simple boundary conditions that take into account the \emph{Voyager} observations that showed that the decrease in the kinetic energy of the mixture at the termination shock predominantly contributed to the increase in the pressure of pickup ions. We show that this model adequately describes the flow of the plasma mixture and results in a noticeable decrease in the heliosheath width.


title: Hamilton cycles in hypergraphs below the Dirac threshold

abstract: We establish a precise characterisation of $4$-uniform hypergraphs with minimum codegree close to $n/2$ which contain a Hamilton $2$-cycle. As an immediate corollary we identify the exact Dirac threshold for Hamilton $2$-cycles in $4$-uniform hypergraphs. Moreover, by derandomising the proof of our characterisation we provide a polynomial-time algorithm which, given a $4$-uniform hypergraph $H$ with minimum codegree close to $n/2$, either finds a Hamilton $2$-cycle in $H$ or provides a certificate that no such cycle exists. This surprising result stands in contrast to the graph setting, in which below the Dirac threshold it is NP-hard to determine if a graph is Hamiltonian. We also consider tight Hamilton cycles in $k$-uniform hypergraphs $H$ for $k \geq 3$, giving a series of reductions to show that it is NP-hard to determine whether a $k$-uniform hypergraph $H$ with minimum degree $\delta(H) \geq \frac{1}{2}|V(H)| - O(1)$ contains a tight Hamilton cycle. It is therefore unlikely that a similar characterisation can be obtained for tight Hamilton cycles.


title: Numerical Solution of a Coefficient Inverse Problem with Multi-Frequency Experimental Raw Data by a Globally Convergent Algorithm

abstract: We analyze in this paper the performance of a newly developed globally convergent numerical method for a coefficient inverse problem for the case of multi-frequency experimental backscatter data associated to a single incident wave. These data were collected using a microwave scattering facility at the University of North Carolina at Charlotte. The challenges for the inverse problem under the consideration are not only from its high nonlinearity and severe ill-posedness but also from the facts that the amount of the measured data is minimal and that these raw data are contaminated by a significant amount of noise, due to a non-ideal experimental setup. This setup is motivated by our target application in detecting and identifying explosives. We show in this paper how the raw data can be preprocessed and successfully inverted using our inversion method. More precisely, we are able to reconstruct the dielectric constants and the locations of the scattering objects with a good accuracy, without using any advanced \emph{a priori} knowledge of their physical and geometrical properties.


title: Uncertainty in Monotone Co-Design Problems

abstract: This work contributes to a compositional theory of "co-design" that allows to optimally design a robotic platform. In this framework, the user describes each subsystem as a monotone relation between "functionality" provided and "resources" required. These models can be easily composed to express the co-design constraints among different subsystems. The user then queries the model, to obtain the design with minimal resources usage, subject to a lower bound on the provided functionality. This paper concerns the introduction of uncertainty in the framework. Uncertainty has two roles: first, it allows to deal with limited knowledge of the models; second, it also can be used to generate consistent relaxations of a problem, as the computation requirements can be lowered, should the user accept some uncertainty in the answer.


title: Strongly coupled non-Abelian plasmas in a magnetic field

abstract: In this dissertation we use the gauge/gravity duality approach to study the dynamics of strongly coupled non-Abelian plasmas. Ultimately, we want to understand the properties of the quark-gluon plasma (QGP), whose scientifc interest by the scientific community escalated exponentially after its discovery in the 2000's through the collision of ultrarelativistic heavy ions. One can enrich the dynamics of the QGP by adding an external field, such as the baryon chemical potential (needed to study the QCD phase diagram), or a magnetic field. In this dissertation, we choose to investigate the magnetic effects. Indeed, there are compelling evidences that strong magnetic fields of the order $eB\sim 10 m_\pi^2$ are created in the early stages of ultrarelativistic heavy ion collisions. The chosen observable to scan possible effects of the magnetic field on the QGP was the viscosity, due to the famous result $\eta/s=1/4\pi$ obtained via holography. In a first approach we use a caricature of the QGP, the $\mathcal{N}=4$ super Yang-Mills plasma to calculate the deviations of the viscosity as we add a magnetic field. We must emphasize, though, that a magnetized plasma has a priori seven viscosity coefficients (five shears and two bulks). In addition, we also study in this same model the anisotropic heavy quark-antiquark potential in the presence of a magnetic field. In the end, we propose a phenomenological holographic QCD-like model, which is built upon the lattice QCD data, to study the thermodynamics and the viscosity of the QGP with an external strong magnetic field.


title: Large Sets Avoiding Patterns

abstract: We construct subsets of Euclidean space of large Hausdorff dimension and full Minkowski dimension that do not contain nontrivial patterns described by the zero sets of functions. The results are of two types. Given a countable collection of $v$-variate vector-valued functions $f_q : (\mathbb{R}^{n})^v \to \mathbb{R}^m$ satisfying a mild regularity condition, we obtain a subset of $\mathbb{R}^n$ of Hausdorff dimension $\frac{m}{v-1}$ that avoids the zeros of $f_q$ for every $q$. We also find a set that simultaneously avoids the zero sets of a family of uncountably many functions sharing the same linearization. In contrast with previous work, our construction allows for non-polynomial functions as well as uncountably many patterns. In addition, it highlights the dimensional dependence of the avoiding set on $v$, the number of input variables.


title: On Some Universally Good Fractional Repetition Codes

abstract: Data storage in Distributed Storage Systems (DSSs) is a multidimensional optimization problem. Using network coding, one wants to provide reliability, scalability, security, reduced storage overhead, reduced bandwidth for repair and minimal disk I/O etc. in such systems. Regenerating codes have been used to optimize some of these parameters, where a file can be reconstructed by contacting any k nodes in the system and in case of node failure it can be repaired by using any d nodes in the system. This was further generalized to Fractional repetition (FR) codes (a smart replication of encoded packets) on n nodes which also provides optimized disk I/O and where a node failure can be repaired by contacting some specific set of nodes in the system. Several constructions of FR codes using graphs and combinatorial designs are known. In particular, some constructions of codes for heterogeneous DSSs are given using partial regular graph (where number of packets on each node is different) and ring construction. In this work, we show that the codes constructed using the partial regular graph are universally good code. Further, we found several universally good codes using ring construction and t-construction.


title: Large Deviations for Brownian Particle Systems with Killing

abstract: Particle approximations for certain nonlinear and nonlocal reaction-diffusion equations are studied using a system of Brownian motions with killing. The system is described by a collection of i.i.d. Brownian particles where each particle is killed independently at a rate determined by the empirical sub-probability measure of the states of the particles alive. A large deviation principle (LDP) for such sub-probability measure-valued processes is established. Along the way a convenient variational representation, which is of independent interest, for expectations of nonnegative functionals of Brownian motions together with an i.i.d. sequence of random variables is established. Proof of the LDP relies on this variational representation and weak convergence arguments.


title: Assembly Sequence Planning for Motion Planning

abstract: This paper develops a planner to find an optimal assembly sequence to assemble several objects. The input to the planner is the mesh models of the objects, the relative poses between the objects in the assembly, and the final pose of the assembly. The output is an optimal assembly sequence, namely (1) in which order should one assemble the objects, (2) from which directions should the objects be dropped, and (3) candidate grasps of each object. The proposed planner finds the optimal solution by automatically permuting, evaluating, and searching the possible assembly sequences considering stability, graspability, and assemblability qualities. It is expected to guide robots to do assembly using translational motion. The output provides initial and goal configurations to motion planning algorithms. It is ready to be used by robots and is demonstrated using several simulations and real-world executions.


title: Message Authentication and Secret Key Agreement in VANETs via Angle of Arrival

abstract: In the scope of VANETs, nature of exchanged safety/warning messages renders itself highly location dependent as it is usually for incident reporting. Thus, vehicles are required to periodically exchange beacon messages that include speed, time and GPS location information. In this paper paper, we present a physical layer assisted message authentication scheme that uses Angle of Arrival (AoA) estimation to verify the message originator location based on the claimed location information. Within the considered vehicular communication settings, fundamental limits of AoA estimation are developed in terms of its Cramer Rao Bound (CRB) and existence of efficient estimator. The problem of deciding whether the received signal is originated from the claimed GPS location is formulated as a two sided hypotheses testing problem whose solution is given by Wald test statics. Moreover, we use correct decision, $P_D$, and false alarm, $P_F$, probabilities as a quantitative performance measure. The observation posterior likelihood function is shown to satisfy regularity conditions necessary for asymptotic normality of the ML-AoA estimator. Thus, we give $P_D$ and $P_F$ in a closed form. We extend the potential of physical layer contribution in security to provide physical layer assisted secret key agreement (SKA) protocol. A public key (PK) based SKA in which communicating vehicles are required to validate their respective physical location. We show that the risk of the Man in the Middle attack, which is common in PK-SKA protocols without a trusted third party, is waived up to the literal meaning of the word "middle".


title: Directed graphs and its Boundary Vertices

abstract: Suppose that $D=(V,E)$ is a strongly connected digraph. Let $u,v\in V(D)$. The maximum distance $md (u,v)$ is defined as $md(u,v)$=max\{$\overrightarrow{d}(u,v), \overrightarrow{d}(v,u)$\} where $\overrightarrow{d}(u,v)$ denote the length of a shortest directed $u-v$ path in $D$. This is a metric. The boundary, contour, eccentric and peripheral sets of a strong digraph $D$ are defined with respect to this metric. The main aim of this paper is to identify the above said metrically defined sets of a large strong digraph $D$ in terms of its prime factor decomposition with respect to cartesian product.


title: Expansion formula for complex Monge-Amp\`ere equation along cone singularities

abstract: In this paper, we prove the asymptotic expansion of the solutions to some singular complex Monge-Amp\`ere equation which arise naturally in the study of the conical K\"ahler-Einstein metric.


title: Photochemistry and astrochemistry: photochemical pathways to interstellar complex organic molecules

abstract: The interstellar medium is characterized by a rich and diverse chemistry. Many of its complex organic molecules are proposed to form through radical chemistry in icy grain mantles. Radicals form readily when interstellar ices (composed of water and other volatiles) are exposed to UV photons and other sources of dissociative radiation, and, if sufficiently mobile, the radicals can react to form larger, more complex molecules. The resulting complex organic molecules (COMs) accompany star and planet formation, and may eventually seed the origins of life on nascent planets. Experiments of increasing sophistication have demonstrated that known interstellar COMs as well as the prebiotically interesting amino acids can form through ice photochemistry. We review these experiments and discuss the qualitative and quantitative kinetic and mechanistic constraints they have provided. We finally compare the effects of UV radiation with those of three other potential sources of radical production and chemistry in interstellar ices: electrons, ions and X-rays.


title: Ultrafast coherent control of spinor Bose-Einstein condensates using stimulated Raman adiabatic passage

abstract: We propose the use of stimulated Raman adiabatic passage (STIRAP) to offer a fast high fidelity method of performing SU(2) rotations on spinor Bose Einstein condensates (BEC). Past demonstrations of BEC optical control suffer from difficulties arising from collective enhancement of spontaneous emission and inefficient two-photon transitions originating from selection rules. We present here a novel scheme which allows for arbitrary coherent rotations of two-component BECs while overcoming these issues. Numerical tests of the method show that for BECs of \ce{^{87}Rb} with up to $ 10^4 $ atoms and gate times of $ \SI{1}{\micro\second} $, decoherence due to spontaneous emission can be suppressed to negligible values.


title: Angular dependence of electron spin resonance for detecting quadrupolar liquid state of frustrated spin chains

abstract: Spin nematic phase is a phase of frustrated quantum magnets with a quadrupolar order of electron spins. Since the spin nematic order is usually masked in experimentally accessible quantities, it is important to develop a methodology for detecting the spin nematic order experimentally. In this paper we propose a convenient method for detecting quasi-long-range spin nematic correlations of a quadrupolar Tomonaga-Luttinger liquid state of $S=1/2$ frustrated ferromagnetic spin chain compounds, using electron spin resonance (ESR). We focus on linewidth of a so-called paramagnetic resonance peak in ESR absorption spectrum. We show that a characteristic angular dependence of the linewidth on the direction of magnetic field arises in the spin nematic phase. Measurments of the angular dependence give a signature of the quadrupolar Tomonaga-Luttinger liquid state. In our method we change only the direction of the magnetic field, keeping the magnitude of the magnetic field and the temperature. Therefore, our method is advantageous for investigating the one-dimensional quadrupolar liquid phase that usually occupies only a narrow region of the phase diagram.


title: Regular Policies in Abstract Dynamic Programming

abstract: We consider challenging dynamic programming models where the associated Bellman equation, and the value and policy iteration algorithms commonly exhibit complex and even pathological behavior. Our analysis is based on the new notion of regular policies. These are policies that are well-behaved with respect to value and policy iteration, and are patterned after proper policies, which are central in the theory of stochastic shortest path problems. We show that the optimal cost function over regular policies may have favorable value and policy iteration properties, which the optimal cost function over all policies need not have. We accordingly develop a unifying methodology to address long standing analytical and algorithmic issues in broad classes of undiscounted models, including stochastic and minimax shortest path problems, as well as positive cost, negative cost, risk-sensitive, and multiplicative cost problems.


title: Enumeration of Hybrid Domino-Lozenge Tilings III: Centrally Symmetric Tilings

abstract: We use the subgraph replacement method to investigate new properties of the tilings of regions on the square lattice with diagonals drawn in. In particular, we show that the centrally symmetric tilings of a generalization of the Aztec diamond are always enumerated by a simple product formula. This result generalizes the previous work of Ciucu (1997) and Yang (1992) about symmetric tilings of the Aztec diamond. We also use our method to prove a closed-form product formula for the number of centrally symmetric tilings of a quasi-hexagon.


title: On the Power-Law Distributions of X-ray Fluxes from Solar Flares Observed with GOES

abstract: Power-law frequency distributions of the peak flux of solar flare X-ray emission have been studied extensively and attributed to a system of self-organized criticality (SOC). In this paper, we first show that, so long as the shape of the normalized light curve is not correlated with the peak flux, the flux histogram of solar flares also follows a power-law distribution with the same spectral index as the power-law frequency distribution of the peak flux, which may partially explain why power-law distributions are ubiquitous in the Universe. We then show that the spectral indexes of the histograms of soft X-ray fluxes observed by GOES satellites in two different energy channels are different: the higher energy channel has a harder distribution than the lower energy channel, which challenges the universal power-law distribution predicted by SOC models and implies a very soft distribution of thermal energy content of plasmas probed by the GOES. The temperature ($T$) distribution, on the other hand, approaches a power-law distribution with an index of 2 for high values of $T$. Application of SOC models to statistical properties of solar flares needs to be revisited.


abstract: Neutrino potential for neutrinoless double beta decay is studied with focusing on its statistical property. The statistics provide a gross view of understanding amplitude of constitutional components of the nuclear matrix element.


title: Three open problems on the Wijsman topology

abstract: Since it first emerged in Wijsman's seminal work [29], the Wijsman topology has been intensively studied in the past 50 years. In particular, topological properties of Wijsman hyperspaces, relationships between the Wijsman topology and other hyperspace topologies, and applications of the Wijsman topology in analysis have been explored. However, there are still several fundamental open problems on this topology. In this article, the author gives a brief survey on these problems and some up-to-date partial solutions.


title: Random Matrix Ensembles with Split Limiting Behavior

abstract: We introduce a new family of $N\times N$ random real symmetric matrix ensembles, the $k$-checkerboard matrices, whose limiting spectral measure has two components which can be determined explicitly. All but $k$ eigenvalues are in the bulk, and their behavior, appropriately normalized, converges to the semi-circle as $N\to\infty$; the remaining $k$ are tightly constrained near $N/k$ and their distribution converges to the $k \times k$ hollow GOE ensemble (this is the density arising by modifying the GOE ensemble by forcing all entries on the main diagonal to be zero). Similar results hold for complex and quaternionic analogues. We isolate the two regimes by using matrix perturbation results and a nonstandard weight function for the eigenvalues, then derive their limiting distributions using a modification of the method of moments and analysis of the resulting combinatorics.


title: Pseudospin 3/2 Fermions, Type-II Weyl Semimetals and Critical Weyl Semimetals in Tricolor Cubic Lattice

abstract: Multi-band touchings such as 3-band, 6-band and 8-band touchings together with the emergence of high pseudospin fermions were predicted recently at high-symmetry points in three-dimensional space. In this paper, we propose a simple cubic model whose unit cell contains three atoms. There are 6 bands in the system due to the spin degrees of freedom. The 4-band and 2-band touchings are realized at high-symmetry points, where we derive low-energy theories, demonstrating the emergence of pseudospin-3/2 fermions and Weyl fermions, respectively. Away from the high-symmetry points, we find critical Weyl fermions present exactly at the boundary between the type-I and type-II Weyl fermions. This critical Weyl fermion transforms into the type-I or type-II Weyl fermion once the magnetic field is applied.


title: Color groups of colorings of $N$-planar modules

abstract: A submodule of a $\mathbb{Z}$-module determines a coloring of the module where each coset of the submodule is associated to a unique color. Given a submodule coloring of a $\mathbb{Z}$-module, the group formed by the symmetries of the module that induces a permutation of colors is referred to as the color group of the coloring. In this contribution, a method to solve for the color groups of colorings of $N$-planar modules where $N=4$ and $N=6$ are given. Examples of colorings of rectangular lattices and of the vertices of the Ammann-Beenker tiling are given to exhibit how these methods may be extended to the general case.


title: A local order metric for condensed phase environments

abstract: We introduce a local order metric (LOM) that measures the degree of order in the neighborhood of an atomic or molecular site in a condensed medium. The LOM maximizes the overlap between the spatial distribution of sites belonging to that neighborhood and the corresponding distribution in a suitable reference system. The LOM takes a value tending to zero for completely disordered environments and tending to one for environments that match perfectly the reference. The site averaged LOM and its standard deviation define two scalar order parameters, $S$ and $\delta S$, that characterize with excellent resolution crystals, liquids, and amorphous materials. We show with molecular dynamics simulations that $S$, $\delta S$ and the LOM provide very insightful information in the study of structural transformations, such as those occurring when ice spontaneously nucleates from supercooled water or when a supercooled water sample becomes amorphous upon progressive cooling.

categories: physics.comp-ph cond-mat.mtrl-sci physics.atm-clus physics.chem-ph


title: Search for Higgs-like bosons decaying into long-lived exotic particles

abstract: A search is presented for massive long-lived particles, in the 20-60 GeV mass range with lifetimes between 5 and 100 ps. The dataset used corresponds to 0.62 1\fb of proton-proton collision data collected by the LHCb detector at sqrt(s)=7 TeV. The particles are assumed to be pair-produced by the decay of a Higgs-like boson with mass between 80 and 140 GeV. No excess above the background expectation is observed and limits are set on the production cross-section as a function of the long-lived particle mass and lifetime and of the Higgs-like boson mass.


title: An invariant K\"ahler metric on the tangent disk bundle of a space-form

abstract: We find a family of K\"ahler metrics invariantly defined on the radius $r_0>0$ tangent disk bundle ${{\cal T}_{M,r_0}}$ of any given real space-form $M$ or any of its quotients by discrete groups of isometries. Such metrics are complete in the non-negative curvature case and non-complete in the negative curvature case. If $\dim M=2$ and $M$ has constant sectional curvature $K\neq0$, then the K\"ahler manifolds ${{\cal T}_{M,r_0}}$ have holonomy $\mathrm{SU}(2)$; hence they are Ricci-flat. For $M=S^2$, just this dimension, the metric coincides with the Stenzel metric on the tangent manifold ${{\cal T}_{S^2}}$, giving us a new most natural description of this well-know metric.


abstract: We introduce the "Energy-based Generative Adversarial Network" model (EBGAN) which views the discriminator as an energy function that attributes low energies to the regions near the data manifold and higher energies to other regions. Similar to the probabilistic GANs, a generator is seen as being trained to produce contrastive samples with minimal energies, while the discriminator is trained to assign high energies to these generated samples. Viewing the discriminator as an energy function allows to use a wide variety of architectures and loss functionals in addition to the usual binary classifier with logistic output. Among them, we show one instantiation of EBGAN framework as using an auto-encoder architecture, with the energy being the reconstruction error, in place of the discriminator. We show that this form of EBGAN exhibits more stable behavior than regular GANs during training. We also show that a single-scale architecture can be trained to generate high-resolution images.


title: Unbiased `walk-on-spheres' Monte Carlo methods for the fractional Laplacian

abstract: We consider Monte Carlo methods for simulating solutions to the analogue of the Dirichlet boundary-value problem in which the Laplacian is replaced by the fractional Laplacian and boundary conditions are replaced by conditions on the exterior of the domain. Specifically, we consider the analogue of the so-called `walk-on-spheres` algorithm. In the diffusive setting, this entails sampling the path of Brownian motion as it uniformly exits a sequence of spheres maximally inscribed in the domain. As this algorithm would otherwise never end, it is truncated when the `walk-on-spheres` comes within epsilon > 0 of the boundary. In the setting of the fractional Laplacian, the role of Brownian motion is replaced by an isotropic alpha-stable process with alpha in (0, 2). A significant difference to the Brownian setting is that the stable processes will exit spheres by a jump rather than hitting their boundary. This difference ensures that disconnected domains may be considered and that, unlike the diffusive setting, the algorithm ends after an almost surely finite number of steps.


title: On parking functions and the zeta map in types B,C and D

abstract: Let $\Phi$ be an irreducible crystallographic root system with Weyl group $W$, coroot lattice $\check{Q}$ and Coxeter number $h$. Recently the second named author defined a uniform $W$-isomorphism $\zeta$ between the finite torus $\check{Q}/(mh+1)\check{Q}$ and the set of non-nesting parking fuctions $\operatorname{Park}^{(m)}(\Phi)$. If $\Phi$ is of type $A_{n-1}$ and $m=1$ this map is equivalent to a map defined on labelled Dyck paths that arises in the study of the Hilbert series of the space of diagonal harmonics. In this paper we investigate the case $m=1$ for the other infinite families of root systems ($B_n$, $C_n$ and $D_n$). In each type we define models for the finite torus and for the set of non-nesting parking functions in terms of labelled lattice paths. The map $\zeta$ can then be viewed as a map between these combinatorial objects. Our work entails new bijections between (square) lattice paths and ballot paths.


title: Bulging brains

abstract: Brain swelling is a serious condition associated with an accumulation of fluid inside the brain that can be caused by trauma, stroke, infection, or tumors. It increases the pressure inside the skull and reduces blood and oxygen supply. To relieve the intracranial pressure, neurosurgeons remove part of the skull and allow the swollen brain to bulge outward, a procedure known as decompressive craniectomy. Decompressive craniectomy has been preformed for more than a century; yet, its effects on the swollen brain remain poorly understood. Here we characterize the deformation, strain, and stretch in bulging brains using the nonlinear field theories of mechanics. Our study shows that even small swelling volumes of 28 to 56 ml induce maximum principal strains in excess of 30%. For radially outward-pointing axons, we observe maximal normal stretches of 1.3 deep inside the bulge and maximal tangential stretches of 1.3 around the craniectomy edge. While the stretch magnitude varies with opening site and swelling region, our study suggests that the locations of maximum stretch are universally shared amongst all bulging brains. Our model can inform neurosurgeons and rationalize the shape and position of the skull opening, with the overall goal to reduce brain damage and improve the structural and functional outcomes of decompressive craniectomy in trauma patients.


title: Gaussian Processes Online Observation Classification for RSSI-based Low-cost Indoor Positioning Systems

abstract: In this paper, we propose a real-time classification scheme to cope with noisy Radio Signal Strength Indicator (RSSI) measurements utilized in indoor positioning systems. RSSI values are often converted to distances for position estimation. However due to multipathing and shadowing effects, finding a unique sensor model using both parametric and non-parametric methods is highly challenging. We learn decision regions using the Gaussian Processes classification to accept measurements that are consistent with the operating sensor model. The proposed approach can perform online, does not rely on a particular sensor model or parameters, and is robust to sensor failures. The experimental results achieved using hardware show that available positioning algorithms can benefit from incorporating the classifier into their measurement model as a meta-sensor modeling technique.