title: Effective Analysis of C Programs by Rewriting Variability

abstract: Context. Variability-intensive programs (program families) appear in many application areas and for many reasons today. Different family members, called variants, are derived by switching statically configurable options (features) on and off, while reuse of the common code is maximized. Inquiry. Verification of program families is challenging since the number of variants is exponential in the number of features. Existing single-program analysis and verification tools cannot be applied directly to program families, and designing and implementing the corresponding variability-aware versions is tedious and laborious. Approach. In this work, we propose a range of variability-related transformations for translating program families into single programs by replacing compile-time variability with run-time variability (non-determinism). The obtained transformed programs can be subsequently analyzed using the conventional off- the-shelf single-program analysis tools such as type checkers, symbolic executors, model checkers, and static analyzers. Knowledge. Our variability-related transformations are outcome-preserving, which means that the relation between the outcomes in the transformed single program and the union of outcomes of all variants derived from the original program family is equality. Grounding. We show our transformation rules and their correctness with respect to a minimal core imperative language IMP. Then, we discuss our experience of implementing and using the transformations for efficient and effective analysis and verification of real-world C program families. Importance. We report some interesting variability-related bugs that we discovered using various state-of-the-art single-program C verification tools, such as Frama-C, Clang, LLBMC.


title: Covering and tiling hypergraphs with tight cycles

abstract: Given $3 \leq k \leq s$, we say that a $k$-uniform hypergraph $C^k_s$ is a tight cycle on $s$ vertices if there is a cyclic ordering of the vertices of $C^k_s$ such that every $k$ consecutive vertices under this ordering form an edge. We prove that if $k \ge 3$ and $s \ge 2k^2$, then every $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $(1/2 + o(1))n$ has the property that every vertex is covered by a copy of $C^k_s$. Our result is asymptotically best possible for infinitely many pairs of $s$ and $k$, e.g. when $s$ and $k$ are coprime. A perfect $C^k_s$-tiling is a spanning collection of vertex-disjoint copies of $C^k_s$. When $s$ is divisible by $k$, the problem of determining the minimum codegree that guarantees a perfect $C^k_s$-tiling was solved by a result of Mycroft. We prove that if $k \ge 3$ and $s \ge 5k^2$ is not divisible by $k$ and $s$ divides $n$, then every $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $(1/2 + 1/(2s) + o(1))n$ has a perfect $C^k_s$-tiling. Again our result is asymptotically best possible for infinitely many pairs of $s$ and $k$, e.g. when $s$ and $k$ are coprime with $k$ even.


title: Quantum Entanglement in Time

abstract: In this paper we present a concept of quantum entanglement in time in a context of entangled consistent histories. These considerations are supported by presentation of necessary tools closely related to those acting on a space of spatial multipartite quantum states. We show that in similarity to monogamy of quantum entanglement in space, quantum entanglement in time is also endowed with this property for a particular history. Basing on these observations, we discuss further bounding of temporal correlations and derive analytically the Tsirelson bound implied by entangled histories for the Leggett-Garg inequalities.


title: Neutron activation and prompt gamma intensity in Ar/CO$_{2}$-filled neutron detectors at the European Spallation Source

abstract: Monte Carlo simulations using MCNP6.1 were performed to study the effect of neutron activation in Ar/CO$_{2}$ neutron detector counting gas. A general MCNP model was built and validated with simple analytical calculations. Simulations and calculations agree that only the $^{40}$Ar activation can have a considerable effect. It was shown that neither the prompt gamma intensity from the $^{40}$Ar neutron capture nor the produced $^{41}$Ar activity have an impact in terms of gamma dose rate around the detector and background level.


title: Measuring the Reliability of Hate Speech Annotations: The Case of the European Refugee Crisis

abstract: Some users of social media are spreading racist, sexist, and otherwise hateful content. For the purpose of training a hate speech detection system, the reliability of the annotations is crucial, but there is no universally agreed-upon definition. We collected potentially hateful messages and asked two groups of internet users to determine whether they were hate speech or not, whether they should be banned or not and to rate their degree of offensiveness. One of the groups was shown a definition prior to completing the survey. We aimed to assess whether hate speech can be annotated reliably, and the extent to which existing definitions are in accordance with subjective ratings. Our results indicate that showing users a definition caused them to partially align their own opinion with the definition but did not improve reliability, which was very low overall. We conclude that the presence of hate speech should perhaps not be considered a binary yes-or-no decision, and raters need more detailed instructions for the annotation.


title: Application Embedding: A Language Approach to Declarative Web Programming

abstract: Since the early days of the Web, web application developers have aspired to develop much of their applications declaratively. However, one aspect of the application, namely its business-logic is constantly left imperative. In this work we present Application Embedding, a novel approach to application development which allows all aspects of an application, including its business-logic, to be programmed declaratively. We develop this approach in a two-step process. First, we draw a mapping between web applications and Domain-Specific Languages (DSLs). Second, we note that out of the two methods for implementing DSLs, namely as either internal or external, most traditional web applications correspond to external DSLs, while the the technique that corresponds to DSL embedding (implementing internal DSLs) is left mostly unexplored. By projecting the well-known technique of DSL embedding onto web applications, we derive a novel technique--Application Embedding. Application embedding offers a separation of code assets that encourages reuse of imperative code, while keeping all application-specific assets, including those specifying its business- logic, declarative. As validation, we implemented a simple, though nontrivial web application using the proposed separation of assets. This implementation includes an application-agnostic imperative host application named FishTank, intended to be applicable for a wide variety of web applications, and a declarative definition of the different aspects of the specific application, intended to be loaded on that host. Our method of separation of code assets facilitates a better separation of work, in comparison to traditional methods. By this separation, host application developers can focus mostly on the extra-functional aspects of a web application, namely on improving performance, scalability, and availability, while developers of an embedded application can focus on the functional aspects of their application, without worrying about extra- functional concerns. The reusability of the host application makes the effort put into a better implementation cost-effective, since it can benefit all applications built on top of it.


title: Cooperative photometric redshift estimation

abstract: In the modern galaxy surveys photometric redshifts play a central role in a broad range of studies, from gravitational lensing and dark matter distribution to galaxy evolution. Using a dataset of about 25,000 galaxies from the second data release of the Kilo Degree Survey (KiDS) we obtain photometric redshifts with five different methods: (i) Random forest, (ii) Multi Layer Perceptron with Quasi Newton Algorithm, (iii) Multi Layer Perceptron with an optimization network based on the Levenberg-Marquardt learning rule, (iv) the Bayesian Photometric Redshift model (or BPZ) and (v) a classical SED template fitting procedure (Le Phare). We show how SED fitting techniques could provide useful information on the galaxy spectral type which can be used to improve the capability of machine learning methods constraining systematic errors and reduce the occurrence of catastrophic outliers. We use such classification to train specialized regression estimators, by demonstrating that such hybrid approach, involving SED fitting and machine learning in a single collaborative framework, is capable to improve the overall prediction accuracy of photometric redshifts.


title: Short Laws for Finite Groups and Residual Finiteness Growth

abstract: We prove that for every $n \in \mathbb{N}$ and $\delta>0$ there exists a word $w_n \in F_2$ of length $n^{2/3} \log(n)^{3+\delta}$ which is a law for every finite group of order at most $n$. This improves upon the main result of [A. Thom, About the length of laws for finite groups, Isr. J. Math.]. As an application we prove a new lower bound on the residual finiteness growth of non-abelian free groups.


title: Interconnected Linguistic Architecture

abstract: The context of the reported research is the documentation of software technologies such as object/relational mappers, web-application frameworks, or code generators. We assume that documentation should model a macroscopic view on usage scenarios of technologies in terms of involved artifacts, leveraged software languages, data flows, conformance relationships, and others. In previous work, we referred to such documentation also as 'linguistic architecture'. The corresponding models may also be referred to as 'megamodels' while adopting this term from the technological space of modeling/model-driven engineering. This work is an inquiry into making such documentation less abstract and more effective by means of connecting (mega)models, systems, and developer experience in several ways. To this end, we adopt an approach that is primarily based on prototyping (i.e., implementa- tion of a megamodeling infrastructure with all conceivable connections) and experimentation with showcases (i.e., documentation of concrete software technologies). The knowledge gained by this research is a notion of interconnected linguistic architecture on the grounds of connecting primary model elements, inferred model elements, static and runtime system artifacts, traceability links, system contexts, knowledge resources, plugged interpretations of model elements, and IDE views. A corresponding suite of aspects of interconnected linguistic architecture is systematically described. As to the grounding of this research, we describe a literature survey which tracks scattered occurrences and thus demonstrates the relevance of the identified aspects of interconnected linguistic architecture. Further, we describe the MegaL/Xtext+IDE infrastructure which realizes interconnected linguistic architecture. The importance of this work lies in providing more formal (ontologically rich, navigable, verifiable) documentation of software technologies helping developers to better understand how to use technologies in new systems (prescriptive mode) or how technologies are used in existing systems (descriptive mode).


title: Measurement of the beam asymmetry $\Sigma$ for $\pi^0$ and $\eta$ photoproduction on the proton at $E_\gamma = 9$ GeV

abstract: We report measurements of the photon beam asymmetry $\Sigma$ for the reactions $\vec{\gamma}p\to p\pi^0$ and $\vec{\gamma}p\to p\eta $ from the GlueX experiment using a 9 GeV linearly-polarized, tagged photon beam incident on a liquid hydrogen target in Jefferson Lab's Hall D. The asymmetries, measured as a function of the proton momentum transfer, possess greater precision than previous $\pi^0$ measurements and are the first $\eta$ measurements in this energy regime. The results are compared with theoretical predictions based on $t$-channel, quasi-particle exchange and constrain the axial-vector component of the neutral meson production mechanism in these models.


title: Relationship Maintenance in Software Language Repositories

abstract: The context of this research is testing and building software systems and, specifically, software language repositories (SLRs), i.e., repositories with components for language processing (interpreters, translators, analyzers, transformers, pretty printers, etc.). SLRs are typically set up for developing and using metaprogramming systems, language workbenches, language definition frameworks, executable semantic frameworks, and modeling frameworks. This work is an inquiry into testing and building SLRs in a manner that the repository is seen as a collection of language-typed artifacts being related by the applications of language-typed functions or relations which serve language processing. The notion of language is used in a broad sense to include text-, tree-, graph-based languages as well as representations based on interchange formats and also proprietary formats for serialization. The overall approach underlying this research is one of language design driven by a complex case study, i.e., a specific SLR with a significant number of processed languages and language processors as well as a noteworthy heterogeneity in terms of representation types and implementation languages. The knowledge gained by our research is best understood as a declarative language design for regression testing and build management, we introduce a corresponding language Ueber with an executable semantics which maintains relationships between language-typed artifacts in an SLR. The grounding of the reported research is based on the comprehensive, formal, executable (logic programming-based) definition of the Ueber language and its systematic application to the management of the SLR YAS which consists of hundreds of language definition and processing components (such as interpreters and transformations) for more than thirty languages (not counting different representation types) with Prolog, Haskell, Java, and Python being used as implementation languages. The importance of this work follows from the significant costs implied by regression testing and build management and also from the complexity of SLRs which calls for means to help with understanding.


title: Organic Computing in the Spotlight

abstract: Organic Computing is an initiative in the field of systems engineering that proposed to make use of concepts such as self-adaptation and self-organisation to increase the robustness of technical systems. Based on the observation that traditional design and operation concepts reach their limits, transferring more autonomy to the systems themselves should result in a reduction of complexity for users, administrators, and developers. However, there seems to be a need for an updated definition of the term "Organic Computing", of desired properties of technical, organic systems, and the objectives of the Organic Computing initiative. With this article, we will address these points.


title: Fast Simplified Successive-Cancellation List Decoding of Polar Codes

abstract: Polar codes are capacity achieving error correcting codes that can be decoded through the successive-cancellation algorithm. To improve its error-correction performance, a list-based version called successive-cancellation list (SCL) has been proposed in the past, that however substantially increases the number of time-steps in the decoding process. The simplified SCL (SSCL) decoding algorithm exploits constituent codes within the polar code structure to greatly reduce the required number of time-steps without introducing any error-correction performance loss. In this paper, we propose a faster decoding approach to decode one of these constituent codes, the Rate-1 node. We use this Rate-1 node decoder to develop Fast-SSCL. We demonstrate that only a list-size-bound number of bits needs to be estimated in Rate-1 nodes and Fast-SSCL exactly matches the error-correction performance of SCL and SSCL. This technique can potentially greatly reduce the total number of time-steps needed for polar codes decoding: analysis on a set of case studies show that Fast-SSCL has a number of time-steps requirement that is up to 66.6% lower than SSCL and 88.1% lower than SCL.


title: Irreducible 3-body forces contributions to the self-energy

abstract: The inclusion of the three-nucleon forces (3NFs) in \textit{ab initio} many-body approaches is a formidable task, due to the computational load implied by the treatment of their matrix elements. For this reason, practical applications have mostly been limited to contributions where 3NFs enter as effective two-nucleon interactions. In this contribution, we derive the algebraic diagrammatic construction (ADC) working equations for a specific Feynman diagram of the self-energy that contains a fully irreducible three-nucleon force. This diagram is expected to be the most important among those previously neglected, because it connects dominant excited intermediate state configurations.


title: Evaluating a sublinear-time algorithm for the Minimum Spanning Tree Weight problem

abstract: We present an implementation and an experimental evaluation of an algorithm that, given a connected graph G (represented by adjacency lists), estimates in sublinear time, with a relative error, the Minimum Spanning Tree Weight of G; the original algorithm has been presented in "Approximating the minimum spanning tree weight in sublinear time", by Bernard Chazelle, Ronitt Rubinfeld, and Luca Trevisan (published with SIAM, DOI 10.1137/S0097539702403244). Since the theoretical performances have already been shown and demonstrated in the above-mentioned paper, our goal is, exclusively, to experimental evaluate the algorithm and at last to present the results. Initially we discuss about some theoretical aspects that arose while we were valuating the asymptotic complexity of our specific implementation. Some technical insights are then given on the implementation of the algorithm and on the dataset used in the test phase, hence to show how the experiment has been carried out even for reproducibility purposes; the results are then evaluated empirically and widely discussed, comparing these with the performances of the Prim algorithm and the Kruskal algorithm, launching several runs on a heterogeneous set of graphs and different theoretical models for them.


title: Extension and restriction principles for the HRT conjecture

abstract: The HRT (Heil-Ramanathan-Topiwala) conjecture asks whether a finite collection of time-frequency shifts of a non-zero square integrable function on $\mathbb{R}$ is linearly independent. This longstanding conjecture remains largely open even in the case when the function is assumed to be smooth. Nonetheless, the conjecture has been proved for some special families of functions and/or special sets of points. The main contribution of this paper is an inductive approach to investigate the HRT conjecture based on the following question. Suppose that the HRT is true for a given set of ($N$) points and a given function. We characterize the set of all new points such that the conjecture remains true for the same function and the set of $N+1$ points obtained by adding one of these new points to the original set. To achieve this we introduce a real-valued function whose global maximizers describe when the HRT is true. To motivate this new approach we re-derive the HRT for sets of $3$ points. Subsequently, we establish new results for points in $(1,n)$ configurations, and for a family of symmetric $(2,3)$ configurations. Furthermore, we use these results and the refinements of other known ones to prove that the HRT holds for certain families of $4$ points. In particular, we show that the HRT holds for any set of $4$ points and any real-valued Schwartz function.


title: Numerical Study of Nonlinear Dynamics of a Population System with Time Delay

abstract: Mathematical models of interacting populations are often constructed as systems of differential equations, which describe how populations change with time. Below we study one such model connected to the nonlinear dynamics of a system of populations in presence of time delay. The consequence of the presence of the time delay is that the nonlinear dynamics of the studied system become more rich, e.g., new orbits in the phase space of the system arise which are dependent on the time-delay parameters. In more detail we introduce a time delay and generalize the model system of differential equations for the interaction of three populations based on generalized Volterra equations in which the growth rates and competition coefficients of populations depend on the number of members of all populations \cite{Dimitrova2001a},\cite{Dimitrova2001b} and then numerically solve the system with and without time delay. We use a modification of the method of Adams for the numerical solution of the system of model equations with time delay. By appropriate selection of the parameters and initial conditions we show the impact of the delay time on the dynamics of the studied population system.


title: Indistinguishable and efficient single photons from a quantum dot in a planar nanobeam waveguide

abstract: We demonstrate a high-purity source of indistinguishable single photons using a quantum dot embedded in a nanophotonic waveguide. The source features a near-unity internal coupling efficiency and the collected photons are efficiently coupled off-chip by implementing a taper that adiabatically couples the photons to an optical fiber. By quasi-resonant excitation of the quantum dot, we measure a single-photon purity larger than 99.4% and a photon indistinguishability of up to 94+-1% by using p-shell excitation combined with spectral filtering to reduce photon jitter. A temperature-dependent study allows pinpointing the residual decoherence processes notably the effect of phonon broadening. Strict resonant excitation is implemented as well as another mean of suppressing photon jitter, and the additional complexity of suppressing the excitation laser source is addressed. The study opens a clear pathway towards the long-standing goal of a fully deterministic source of indistinguishable photons, which is integrated on a planar photonic chip.


title: Asymptotic mapping class groups of closed surfaces punctured along Cantor sets

abstract: We introduce subgroups ${\mathcal{B}}_g< {\mathcal H}_g$ of the mapping class group $Mod(\Sigma_g)$ of a closed surface of genus $g \ge 0$ with a Cantor set removed, which are extensions of Thompson's group $V$ by a direct limit of mapping class groups of compact surfaces of genus $g$. We first show that both ${\mathcal{B}}_g$ and ${\mathcal H}_g$ are finitely presented, and that ${\mathcal H}_g$ is dense in $Mod(\Sigma_g)$. We then exploit the relation with Thompson's groups to study properties ${\mathcal B}_g$ and ${\mathcal H}_g$ in analogy with known facts about finite-type mapping class groups. For instance, their homology coincides with the stable homology of the mapping class group of genus $g$, every automorphism is geometric, and every homomorphism from a higher-rank lattice has finite image. In addition, the same connection with Thompson's groups will also prove that ${\mathcal B}_g$ and ${\mathcal H}_g$ are not linear and do not have Kazhdan's Property (T), which represents a departure from the current knowledge about finite-type mapping class groups.


title: Spectral energy cascade in thermoacoustic shock waves

abstract: We have performed a theoretical and numerical investigation of thermoacoustically amplified quasi-planar nonlinear waves driven to the limit of shock-wave formation in a variable-area 2.58 m long looped resonator designed via eigenvalue analysis to maximize the growth rate of the second harmonic (265 Hz). High-order unstructured fully compressible Navier-Stokes simulations reveal the presence of three regimes: (i) Monochromatic harmonic growth, governed by linear thermoacoustics; (ii) Hierarchical spectral broadening, characterized by nonlinear energy cascade; (iii) Shock-wave dominated limit cycle, where energy production is balanced by dissipation occurring at the captured shock-thickness scale. We have modeled these regimes of thermoacoustic wave amplification based on first-principle governing equations and elucidated the physics of energy density production and saturation to a limit cycle.


title: Reopening the Higgs portal for Singlet Scalar Dark Matter

abstract: A real singlet scalar, connected to the Standard Model sector through a portal with the Higgs boson, is one of the simplest and most popular models for dark matter (DM). However, the experimental advances in direct and indirect DM searches, together with the latest results from the LHC, have ruled out vast areas of the parameter space of this scenario, and are expected to probe it completely within the next years, ruling it out if no signal is found. Motivated by the simplicity of this model, in this article we address a minimal, renormalizable extension that could evade detection, consisting of the addition of an extra real singlet scalar field in the dark sector. We analyze the physical constraints on the model and show that the new annihilation and/or coannihilation channels involving the extra singlet allow to reproduce the correct DM relic abundance while avoiding the bounds from direct and indirect searches for any DM mass above 50 GeV. We also show that, in some interesting regions of the parameter space, the extra particle can be integrated-out, leaving a "clever" effective theory (just involving the DM particle and the Higgs), that essentially reproduces the results.


abstract: It has been widely accepted that electric field alone is the fundamental factor for optical interference, since Wiener's experiments in 1890 proved that the electric field plays such a dominant role. A group of experiments were demonstrated against Wiener's experiments under the condition that the interference fringes made by optical standing waves could have been distinguished from the fringes of equal thickness between the inner surface of emulsion and the plane mirror used to build the optical standing waves. It was found that the Bragg diffraction from the interference fringes formed by the standing waves did not exist. This means optical standing waves did not blacken the photographic emulsion, or the electric field did not play such a dominant role. Therefore, instead of the electric-field energy density solely in proportion to the electric-field square, Energy Flux in Interference was proposed to represent the intensity of optical interference-field and approved in the derivation of equations for the interference. The derived equations indicate that both the electric-field vector and the magnetic-field vector are in phase and have equal amount of energy densities at the interference maxima of two light beams. Thus, the magnetic-field vector acts the same role as the electric-field vector on light interacting with substance. The fundamental factor of optical interference is electromagnetic energy flux densities rather than electric-field alone, or the intensity of optical interference fringes should be the energy flux density, not electric-field energy density.


title: Multiband full-bandwidth anisotropic Eliashberg theory of interfacial electron-phonon coupling and high-T$_c$ superconductivity in FeSe/SrTiO$_3$

abstract: We examine the impact of interfacial phonons on the superconducting state of FeSe/SrTiO$_3$ developing a material's specific multiband, full bandwidth, and anisotropic Eliashberg theory for this system. Our self-consistent calculations highlight the importance of the interfacial electron-phonon interaction, which is hidden behind the seemingly weak-coupling constant {\lambda}$_m$ = 0.4, in mediating the high T$_c$, and explain other puzzling experimental observations, such as the s-wave symmetry and replica bands. We discover that the formation of replica bands has a T$_c$ decreasing effect that is nevertheless compensated by deep Fermi-sea Cooper pairing which has a T$_c$ enhancing effect. We predict a strong-coupling dip-hump signature in the tunneling spectra due to the interfacial coupling.


title: Numerical solutions of the time-dependent Schrodinger equation in two dimensions

abstract: The generalized Crank-Nicolson method is employed to obtain numerical solutions of the two-dimensional time-dependent Schrodinger equation. An adapted alternating-direction implicit method is used, along with a high-order finite difference scheme in space. Extra care has to be taken for the needed precision of the time development. The method permits a systematic study of the accuracy and efficiency in terms of powers of the spatial and temporal step sizes. To illustrate its utility the method is applied to several two-dimensional systems.


title: Supremacy of the quantum many-body Szilard engine with attractive bosons

abstract: In a classic thought experiment, Szilard suggested a heat engine where a single particle, for example an atom or a molecule, is confined in a container coupled to a single heat bath. The container can be separated into two parts by a moveable wall acting as a piston. In a single cycle of the engine, work can be extracted from the information on which side of the piston the particle resides. The work output is consistent with Landauers principle that the erasure of one bit of information costs the entropy kB ln 2, exemplifying the fundamental relation between work, heat and information. Here we apply the concept of the Szilard engine to a fully interacting quantum many-body system. We find that a working medium of a number of bosons (larger or equal two) with attractive interactions is clearly superior to other previously discussed setups. In sharp contrast to the classical case, we find that the average work output increases with the particle number. The highest overshoot occurs for a small but finite temperature, showing an intricate interplay between thermal and quantum effects. We anticipate that our finding will shed new light on the role of information in controlling thermodynamic fluctuations in the deep quantum regime, which are strongly influenced by quantum correlations in interacting systems.


title: Quantitative multiple recurrence for two and three transformations

abstract: We provide various counter examples for quantitative multiple recurrence problems for systems with more than one transformation. We show that $\bullet$ There exists an ergodic system $(X,\mathcal{X},\mu,T_1,T_2)$ with two commuting transformations such that for every $0<\ell< 4$, there exists $A\in\mathcal{X}$ such that $$\mu(A\cap T_{1}^{-n}A\cap T_{2}^{-n}A)<\mu(A)^{\ell} \text{ for every } n\neq 0;$$ $\bullet$ There exists an ergodic system $(X,\mathcal{X},\mu,T_1,T_2, T_{3})$ with three commuting transformations such that for every $\ell>0$, there exists $A\in\mathcal{X}$ such that $$\mu(A\cap T_{1}^{-n}A\cap T_{2}^{-n}A\cap T_{3}^{-n}A)<\mu(A)^{\ell} \text{ for every } n\neq 0;$$ $\bullet$ There exists an ergodic system $(X,\mathcal{X},\mu,T_1,T_2)$ with two transformations generating a 2-step nilpotent group such that for every $\ell>0$, there exists $A\in\mathcal{X}$ such that $$\mu(A\cap T_{1}^{-n}A\cap T_{2}^{-n}A)<\mu(A)^{\ell} \text{ for every } n\neq 0.$$


title: Network classification with applications to brain connectomics

abstract: While statistical analysis of a single network has received a lot of attention in recent years, with a focus on social networks, analysis of a sample of networks presents its own challenges which require a different set of analytic tools. Here we study the problem of classification of networks with labeled nodes, motivated by applications in neuroimaging. Brain networks are constructed from imaging data to represent functional connectivity between regions of the brain, and previous work has shown the potential of such networks to distinguish between various brain disorders, giving rise to a network classification problem. Existing approaches tend to either treat all edge weights as a long vector, ignoring the network structure, or focus on graph topology as represented by summary measures while ignoring the edge weights. Our goal is to design a classification method that uses both the individual edge information and the network structure of the data in a computationally efficient way, and that can produce a parsimonious and interpretable representation of differences in brain connectivity patterns between classes. We propose a graph classification method that uses edge weights as predictors but incorporates the network nature of the data via penalties that promote sparsity in the number of nodes, in addition to the usual sparsity penalties that encourage selection of edges. We implement the method via efficient convex optimization and provide a detailed analysis of data from two fMRI studies of schizophrenia.


title: Hybrid modeling and prediction of dynamical systems

abstract: Scientific analysis often relies on the ability to make accurate predictions of a system's dynamics. Mechanistic models, parameterized by a number of unknown parameters, are often used for this purpose. Accurate estimation of the model state and parameters prior to prediction is necessary, but may be complicated by issues such as noisy data and uncertainty in parameters and initial conditions. At the other end of the spectrum exist nonparametric methods, which rely solely on data to build their predictions. While these nonparametric methods do not require a model of the system, their performance is strongly influenced by the amount and noisiness of the data. In this article, we consider a hybrid approach to modeling and prediction which merges recent advancements in nonparametric analysis with standard parametric methods. The general idea is to replace a subset of a mechanistic model's equations with their corresponding nonparametric representations, resulting in a hybrid modeling and prediction scheme. Overall, we find that this hybrid approach allows for more robust parameter estimation and improved short-term prediction in situations where there is a large uncertainty in model parameters. We demonstrate these advantages in the classical Lorenz-63 chaotic system and in networks of Hindmarsh-Rose neurons before application to experimentally collected structured population data.


title: Modelling Preference Data with the Wallenius Distribution

abstract: The Wallenius distribution is a generalisation of the Hypergeometric distribution where weights are assigned to balls of different colours. This naturally defines a model for ranking categories which can be used for classification purposes. Since, in general, the resulting likelihood is not analytically available, we adopt an approximate Bayesian computational (ABC) approach for estimating the importance of the categories. We illustrate the performance of the estimation procedure on simulated datasets. Finally, we use the new model for analysing two datasets about movies ratings and Italian academic statisticians' journal preferences. The latter is a novel dataset collected by the authors.


title: Tunneling Spectroscopy of Atomically-Thin Al2O3 Films for Tunnel Junctions

abstract: Metal-Insulator-Metal tunnel junctions (MIMTJ) are common throughout the microelectronics industry. The industry standard AlOx tunnel barrier, formed through oxygen diffusion into an Al wetting layer, is plagued by internal defects and pinholes which prevent the realization of atomically-thin barriers demanded for enhanced quantum coherence. In this work, we employed in situ scanning tunneling spectroscopy (STS) along with molecular dynamics simulations to understand and control the growth of atomically thin Al2O3 tunnel barriers using atomic layer deposition (ALD). We found that a carefully tuned initial H2O pulse hydroxylated the Al surface and enabled the creation of an atomically-thin Al2O3 tunnel barrier with a high quality M-I interface and a significantly enhanced barrier height compared to thermal AlOx. These properties, corroborated by fabricated Josephson Junctions, show that ALD Al2O3 is a dense, leak-free tunnel barrier with a low defect density which can be a key component for the next-generation of MIMTJs.


title: Nonfillable Legendrian knots in the 3-sphere

abstract: If a Legendrian knot $\Lambda$ in the standard contact 3-sphere bounds an orientable exact Lagrangian surface $\Sigma$ in the standard symplectic 4-ball, then the genus of $\Sigma$ is equal to the slice genus of (the smooth knot underlying) $\Lambda$, the sum of the Thurston-Bennequin number of L and the Euler characteristic of $\Sigma$ is zero as well as the rotation number of $\Lambda$, and moreover, the linearized contact homology of $\Lambda$ with respect to the augmentation induced by $\Sigma$ is isomorphic to the (singular) homology of $\Sigma$. It was asked in arXiv:1212.1519 whether the converse of this statement is true. We give a negative answer to this question by providing a family of Legendrian knots with augmentations not induced by any exact Lagrangian filling although the associated linearized contact homology is isomorphic to the homology of the smooth surface of minimal genus in the 4-ball bounding the knot.


title: Synthesizing Correlations with Computational Likelihood Approach: Vitamin C Data

abstract: It is known that the primary source of dietary vitamin C is fruit and vegetables and the plasma level of vitamin C has been considered a good surrogate biomarker of vitamin C intake by fruit and vegetable consumption. To combine the information about association between vitamin C intake and the plasma level of vitamin C, numerical approximation methods for likelihood function of correlation coefficient are studied. The least squares approach is used to estimate a log-likelihood function by a function from a space of B-splines having desirable mathematical properties. The likelihood interval from the Highest Likelihood Regions (HLR) is used for further inference. This approach can be easily extended to the realm of meta-analysis involving sample correlations from different studies by use of an approximated combined likelihood function. The sample correlations between vitamin C intake and serum level of vitamin C from many studies are used to illustrate application of this approach.


title: Surface tension of compressed, superheavy atoms

abstract: Based on the relativistic mean field theory and the Thomas-Fermi approximation, we study the surface properties of compressed, superheavy atoms. By compressed, superheavy atom we mean an atom composed by a superheavy nuclear core (superheavy nucleus) with mass number of the order of $10^4$, and degenerate electrons that neutralize the system. Some electrons penetrate into the superheavy nuclear core and the rest surround it up to a distance that depends upon the compression level. Taking into account the strong, weak, and electromagnetic interactions, we numerically study the structure of compressed, superheavy atoms and calculate the nuclear surface tension and Coulomb energy. We analyze the influence of the electron component and the background matter on the nuclear surface tension and Coulomb energy of compressed, superheavy atoms. We also compare and contrast these results in the case of compressed, superheavy atoms with phenomenological results in nuclear physics and the results of the core-crust interface of neutron stars with global charge neutrality. Based on the numerical results we study the instability against Bohr-Wheeler surface deformations in the case of compressed, superheavy atoms. The results in this article show the possibility of the existence of such compressed, superheavy atoms, and provide the evidence of strong effects of the electromagnetic interaction and electrons on the structure of compressed, superheavy atoms.


title: Absorption and scattering of a black hole with a global monopole in f(R) gravity

abstract: In this paper we consider the solution of a black hole with a global monopole in $f(R)$ gravity and apply the partial wave approach to compute the differential scattering cross section and absorption cross section. We show that in the low-frequency limit and at small angles the contribution to the dominant term in the scattering/absorption cross section is modified by the presence of the global monopole and the gravity modification. In such limit, the absorption cross section shows to be proportional to the area of the event horizon.


title: Mode volume, energy transfer, and spaser threshold in plasmonic systems with gain

abstract: We present a unified approach to describe spasing in plasmonic systems modeled by quantum emitters interacting with resonant plasmon mode. We show that spaser threshold implies detailed energy transfer balance between the gain and plasmon mode and derive explicit spaser condition valid for arbitrary plasmonic systems. By defining carefully the plasmon mode volume relative to the gain region, we show that the spaser condition represents, in fact, the standard laser threshold condition extended to plasmonic systems with dispersive dielectric function. For extended gain region, the saturated mode volume depends solely on the system parameters that determine the lower bound of threshold population inversion.


title: Representation of I(1) and I(2) autoregressive Hilbertian processes

abstract: We extend the Granger-Johansen representation theorems for I(1) and I(2) vector autoregressive processes to accommodate processes that take values in an arbitrary complex separable Hilbert space. This more general setting is of central relevance for statistical applications involving functional time series. We first obtain a range of necessary and sufficient conditions for a pole in the inverse of a holomorphic index-zero Fredholm operator pencil to be of first or second order. Those conditions form the basis for our development of I(1) and I(2) representations of autoregressive Hilbertian processes. Cointegrating and attractor subspaces are characterized in terms of the behavior of the autoregressive operator pencil in a neighborhood of one.


title: Grioli's Theorem with weights and the relaxed-polar mechanism of optimal Cosserat rotations

abstract: Let $F \in {\rm GL}^+(3)$ and consider the right polar decomposition $F = R_p(F)\cdot U$ into an orthogonal factor $R_p(F) \in {\rm SO}(3)$ and a symmetric, positive definite factor $U(F) = \sqrt{F^TF} \in {\rm Psym}(3)$. In 1940 Giuseppe Grioli proved that $$ {\rm argmin}_{R \in {\rm SO}(3)} ||R^TF - 1{||}^2 \quad=\quad \{\,R_p(F)\,\} \quad=\quad {\rm argmin}_{R \in {\rm SO}(3)} ||F - R{||}^2\;. $$ This variational characterization of the orthogonal factor $R_p(F) \in {\rm SO}(n)$ holds in any dimension $n \geq 2$ (a result due to Martins and Podio-Guidugli). In a similar spirit, we characterize the optimal rotations $$ {\rm rpolar}_{\mu,\mu_c}(F) \;:=\, {\rm argmin}_{R \in {\rm SO}(n)} \left\lbrace \mu\, ||{\rm sym}(R^TF - 1){||}^2 \;+\, \mu_c\, ||{\rm skew}(R^TF - 1){||}^2 \right\rbrace $$ for given weights $\mu > 0$ and $\mu_c \geq 0$. We identify a classical parameter range $\mu_c \geq \mu > 0$ for which Grioli's Theorem is recovered and a non-classical parameter range $\mu > \mu_c \geq 0$ giving rise to a new type of globally energy-minimizing rotations which can substantially deviate from $R_p(F)$. In mechanics, the weighted energy subject to minimization appears as the shear-stretch contribution in any geometrically nonlinear, quadratic, and isotropic Cosserat theory.


title: Underscreening in concentrated electrolytes

abstract: Screening of a surface charge by electrolyte and the resulting interaction energy between charged objects is of fundamental importance in scenarios from bio-molecular interactions to energy storage. The conventional wisdom is that the interaction energy decays exponentially with object separation and the decay length is a decreasing function of ion concentration; the interaction is thus negligible in a concentrated electrolyte. Contrary to this conventional wisdom, we have shown by surface force measurements that the decay length is an increasing function of ion concentration and Bjerrum length for concentrated electrolytes. In this paper we report surface force measurements to test directly the scaling of the screening length with Bjerrum length. Furthermore, we identify a relationship between the concentration dependence of this screening length and empirical measurements of activity coefficient and differential capacitance. The dependence of the screening length on the ion concentration and the Bjerrum length can be explained by a simple scaling conjecture based on the physical intuition that solvent molecules, rather than ions, are charge carriers in a concentrated electrolyte.


title: Functional distribution monads in functional-analytic contexts

abstract: We give a general categorical construction that yields several monads of measures and distributions as special cases, alongside several monads of filters. The construction takes place within a categorical setting for generalized functional analysis, called a $\textit{functional-analytic context}$, formulated in terms of a given monad or algebraic theory $\mathcal{T}$ enriched in a closed category $\mathcal{V}$. By employing the notion of $\textit{commutant}$ for enriched algebraic theories and monads, we define the $\textit{functional distribution monad}$ associated to a given functional-analytic context. We establish certain general classes of examples of functional-analytic contexts in cartesian closed categories $\mathcal{V}$, wherein $\mathcal{T}$ is the theory of $R$-modules or $R$-affine spaces for a given ring or rig $R$ in $\mathcal{V}$, or the theory of $\textit{$R$-convex spaces}$ for a given preordered ring $R$ in $\mathcal{V}$. We prove theorems characterizing the functional distribution monads in these contexts, and on this basis we establish several specific examples of functional distribution monads.


title: Geometry and numerical continuation of multiscale orbits in a nonconvex variational problem

abstract: We investigate a singularly perturbed, non-convex variational problem arising in materials science with a combination of geometrical and numerical methods. Our starting point is a work by Stefan M\"uller, where it is proven that the solutions of the variational problem are periodic and exhibit a complicated multi-scale structure. In order to get more insight into the rich solution structure, we transform the corresponding Euler-Lagrange equation into a Hamiltonian system of first order ODEs and then use geometric singular perturbation theory to study its periodic solutions. Based on the geometric analysis we construct an initial periodic orbit to start numerical continuation of periodic orbits with respect to the key parameters. This allows us to observe the influence of the parameters on the behavior of the orbits and to study their interplay in the minimization process. Our results confirm previous analytical results such as the asymptotics of the period of minimizers predicted by M\"uller. Furthermore, we find several new structures in the entire space of admissible periodic orbits.


title: The Evolutionary Status of WN3/O3 Wolf-Rayet Stars

abstract: As part of a multi-year survey for Wolf-Rayet stars in the Magellanic Clouds, we have discovered a new type of Wolf-Rayet star with both strong emission and absorption. While one might initially classify these stars as WN3+O3V binaries based on their spectra, such a pairing is unlikely given their faint visual magnitudes. Spectral modeling suggests effective temperatures and bolometric luminosities similar to those of other early-type LMC WNs but with mass-loss rates that are three to five times lower than expected. They additionally retain a significant amount of hydrogen, with nitrogen at its CNO-equilibrium value (10x enhanced). Their evolutionary status remains an open question. Here we discuss why these stars did not evolve through quasi-homogeneous evolution. Instead we suggest that based on a link with long-duration gamma ray bursts, they may form in lower metallicity environments. A new survey in M33, which has a large metallicity gradient, is underway.


title: The Moser's formula for the division of the circle by chords problem revisited

abstract: The enumeration of the regions formed when circle is divided by secants drawn from points on the circle is one of the examples where the inductive reasoning fails as was pointed out by Leo Moser in the Mathematical Miscellany in 1949. The formula that gives the right number of regions can be deduced by combinatorics reasoning using the Euler's planar graph formula, etc. My contribution in the present work is to reformulate and solve such problem in terms of a fourth order difference equation and to obtain the formula proposed by Leo Moser.


title: A Comprehensive Survey on Bengali Phoneme Recognition

abstract: Hidden Markov model based various phoneme recognition methods for Bengali language is reviewed. Automatic phoneme recognition for Bengali language using multilayer neural network is reviewed. Usefulness of multilayer neural network over single layer neural network is discussed. Bangla phonetic feature table construction and enhancement for Bengali speech recognition is also discussed. Comparison among these methods is discussed.


title: Description of CRESST-II data

abstract: In Phase 2 of CRESST-II 18 detector modules were operated for about two years (July 2013 - August 2015). Together with this document we are publishing data from two detector modules which have been used for direct dark-matter searches. With these data-sets we were able to set world-leading limits on the cross section for spin-independent elastic scattering of dark matter particles off nuclei. We publish the energies of all events within the acceptance regions for dark-matter searches. In addition, we also publish the energies of the events within the electron-recoil band. This data set can be used to study interactions with electrons of CaWO$_4$. In this document we describe how to use these data sets. In particular, we explain the cut-survival probabilities required for comparisons of models with the data sets.


title: The Euclid Data Processing Challenges

abstract: Euclid is a Europe-led cosmology space mission dedicated to a visible and near infrared survey of the entire extra-galactic sky. Its purpose is to deepen our knowledge of the dark content of our Universe. After an overview of the Euclid mission and science, this contribution describes how the community is getting organized to face the data analysis challenges, both in software development and in operational data processing matters. It ends with a more specific account of some of the main contributions of the Swiss Science Data Center (SDC-CH).


title: Errata to: A New Graph over Semi-Direct Products of Groups

abstract: The goal of the paper "A new graph over semi-direct products of groups" is to define a graph \Gamma(G) on a group G when G splits over a normal subgroup. We demonstrate herein that the graph is ill-defined. We also attempt to ascertain causes for the discrepancies.


title: A gravitationally-boosted MUSE survey for emission-line galaxies at z>~5 behind the massive cluster RCS 0224

abstract: We present a VLT/MUSE survey of lensed high-redshift galaxies behind the z=0.77 cluster RCS0224-0002. We study the detailed internal properties of a highly magnified ({\mu}~29) z=4.88 galaxy seen through the cluster. We detect wide-spread nebular CIV{\lambda}{\lambda}1548,1551{\AA} emission from this galaxy as well as a bright Ly{\alpha} halo with a spatially-uniform wind and absorption profile across 12 kpc in the image plane. Blueshifted high- and low-ionisation interstellar absorption indicate the presence of a high-velocity outflow ({\Delta}v~300 km/s) from the galaxy. Unlike similar observations of galaxies at z=2-3, the Ly{\alpha} emission from the halo emerges close to the systemic velocity - an order of magnitude lower in velocity offset than predicted in "shell"-like outflow models. To explain these observations we favour a model of an outflow with a strong velocity gradient, which changes the effective column density seen by the Ly{\alpha} photons. We also search for high-redshift Ly{\alpha} emitters and identify 14 candidates between z=4.8-6.6, including an over-density at z=4.88, of which only one has a detected counterpart in HST/ACS+WFC3 imaging.


title: Save the Planet, Feed the Star: How Super-Earths Survive Migration and Drive Disk Accretion

abstract: Two longstanding problems in planet formation include (1) understanding how planets survive migration, and (2) articulating the process by which protoplanetary disks disperse---and in particular how they accrete onto their central stars. We can go a long way toward solving both problems if the disk gas surrounding planets has no intrinsic diffusivity ("viscosity"). In inviscid, laminar disks, a planet readily repels gas away from its orbit. On short timescales, zero viscosity gas accumulates inside a planet's orbit to slow Type I migration by orders of magnitude. On longer timescales, multiple super-Earths (distributed between, say, $\sim$0.1--10 AU) can torque inviscid gas out of interplanetary space, either inward to feed their stars, or outward to be blown away in a wind. We explore this picture with 2D hydrodynamics simulations of Earths and super-Earths embedded in inviscid disks, confirming their slow/stalled migration even under gas-rich conditions, and showing that disk transport rates range up to $\sim$$10^{-7} M_\odot~{\rm yr^{-1}}$ and scale as $\dot{M} \propto \Sigma M_{\rm p}^{3/2}$, where $\Sigma$ is the disk surface density and $M_{\rm p}$ is the planet mass. Gas initially sandwiched between two planets is torqued past both into the inner and outer disks. In sum, sufficiently compact systems of super-Earths can clear their natal disk gas, in a dispersal history that may be complicated and non-steady, but which conceivably leads over Myr timescales to large gas depletions similar to those characterizing transition disks.


title: Low-mass White Dwarfs with Hydrogen Envelopes as a Missing Link in the Tidal Disruption Menu

abstract: We construct a menu of objects that can give rise to bright flares when disrupted by massive black holes (BHs), ranging from planets to evolved stars. Through their tidal disruption, main sequence and evolved stars can effectively probe the existence of otherwise quiescent supermassive BHs and white dwarfs can probe intermediate mass BHs. Many low-mass white dwarfs possess extended hydrogen envelopes, which allow for the production of prompt flares in disruptive encounters with moderately massive BHs of $10^5$ to $10^7~M_\odot$--masses that may constitute the majority of massive BHs by number. These objects are a missing link in two ways: (1) for probing moderately massive BHs and (2) for understanding the hydrodynamics of the disruption of objects with tenuous envelopes. A flare arising from the tidal disruption of a $0.17~M_\odot$ white dwarf by a $10^5~M_\odot$ BH reaches a maximum between 0.6 and 11 days, with a peak fallback rate that is usually super-Eddington and results in a flare that is likely brighter than a typical tidal disruption event. Encounters stripping only the envelope can provide hydrogen-only fallback, while encounters disrupting the core evolve from H- to He-rich fallback. While most tidal disruption candidates observed thus far are consistent with the disruptions of main sequence stars, the rapid timescales of nuclear transients such as Dougie and PTF10iya are naturally explained by the disruption of low-mass white dwarfs. As the number of observed flares continues to increase, the menu presented here will be essential for characterizing nuclear BHs and their environments through tidal disruptions.


title: The component structure of conformal supergravity invariants in six dimensions

abstract: In the recent paper arXiv:1606.02921, the two invariant actions for 6D $N=(1,0)$ conformal supergravity were constructed in superspace, corresponding to the supersymmetrization of $C^3$ and $C\Box C$. In this paper, we provide the translation from superspace to the component formulation of superconformal tensor calculus, and we give the full component actions of these two invariants. As a second application, we build the component form for the supersymmetric $F\Box F$ action coupled to conformal supergravity. Exploiting the fact that the $N=(2,0)$ Weyl multiplet has a consistent truncation to $N=(1,0)$, we then verify that there is indeed only a single $N=(2,0)$ conformal supergravity invariant and reconstruct most of its bosonic terms by uplifting a certain linear combination of $N=(1,0)$ invariants.


title: The history of chemical enrichment in the intracluster medium from cosmological simulations

abstract: The distribution of metals in the intracluster medium (ICM) of galaxy clusters provides valuable information on their formation and evolution, on the connection with the cosmic star formation and on the effects of different gas processes. By analyzing a sample of simulated galaxy clusters, we study the chemical enrichment of the ICM, its evolution, and its relation with the physical processes included in the simulation and with the thermal properties of the core. These simulations, consisting of re-simulations of 29 Lagrangian regions performed with an upgraded version of the SPH GADGET-3 code, have been run including two different sets of baryonic physics: one accounts for radiative cooling, star formation, metal enrichment and supernova (SN) feedback, and the other one further includes the effects of feedback from active galactic nuclei (AGN). In agreement with observations, we find an anti-correlation between entropy and metallicity in cluster cores, and similar radial distributions of heavy-element abundances and abundance ratios out to large cluster-centric distances (~R180). In the outskirts, namely outside of ~0.2R180, we find a remarkably homogeneous metallicity distribution, with almost flat profiles of the elements produced by either SNIa or SNII. We investigated the origin of this phenomenon and discovered that it is due to the widespread displacement of metal-rich gas by early (z>2-3) AGN powerful bursts, acting on small high-redshift haloes. Our results also indicate that the intrinsic metallicity of the hot gas for this sample is on average consistent with no evolution between z=2 and z=0, across the entire radial range.


title: Dynamical dark energy in light of the latest observations

abstract: A flat Friedman-Roberson-Walker universe dominated by a cosmological constant ($\Lambda$) and cold dark matter (CDM) has been the working model preferred by cosmologists since the discovery of cosmic acceleration. However, tensions of various degrees of significance are known to be present among existing datasets within the $\Lambda$CDM framework. In particular, the Lyman-$\alpha$ forest measurement of the Baryon Acoustic Oscillations (BAO) by the Baryon Oscillation Spectroscopic Survey (BOSS) prefers a smaller value of the matter density fraction $\Omega_{\rm M}$ compared to the value preferred by cosmic microwave background (CMB). Also, the recently measured value of the Hubble constant, $H_0=73.24\pm1.74 \ {\rm km}\ {\rm s}^{-1} \ {\rm Mpc}^{-1}$, is $3.4\sigma$ higher than $66.93\pm0.62 \ {\rm km}\ {\rm s}^{-1} \ {\rm Mpc}^{-1}$ inferred from the Planck CMB data. In this work, we investigate if these tensions can be interpreted as evidence for a non-constant dynamical dark energy (DE). Using the Kullback-Leibler (KL) divergence to quantify the tension between datasets, we find that the tensions are relieved by an evolving DE, with the dynamical DE model preferred at a $3.5\sigma$ significance level based on the improvement in the fit alone. While, at present, the Bayesian evidence for the dynamical DE is insufficient to favour it over $\Lambda$CDM, we show that, if the current best fit DE happened to be the true model, it would be decisively detected by the upcoming DESI survey.


title: HST proper motions in Galactic globular clusters

abstract: Proper motions (PMs) are crucial to fully understand the internal dynamics of globular clusters (GCs). To that end, the Hubble Space Telescope (HST) Proper Motion (HSTPROMO) collaboration has constructed large, high-quality PM catalogues for 22 Galactic GCs. We highlight some of our exciting recent results: the first directly-measured radial anisotropy profiles for a large sample of GCs; the first dynamical distance and mass-to-light (M/L) ratio estimates for a large sample of GCs; and the first dynamically-determined masses for hundreds of blue-straggler stars (BSSs) across a large GC sample.


title: Conformal partition functions of critical percolation from $D_3$ Thermodynamic Bethe Ansatz equations

abstract: Using the planar Temperley-Lieb algebra, critical bond percolation on the square lattice is incorporated as ${\cal LM}(2,3)$ in the family of Yang-Baxter integrable logarithmic minimal models ${\cal LM}(p,p')$. We consider this model in the presence of boundaries and with periodic boundary conditions. Inspired by Kuniba, Sakai and Suzuki, we rewrite the recently obtained infinite $Y$-system of functional equations. We obtain nonlinear integral equations in the form of a closed finite set of TBA equations described by a $D_3$ Dynkin diagram. Following the methods of Kl\"umper and Pearce, we solve the TBA equations for the conformal finite-size corrections. For the ground states of the standard modules on the strip, these agree with the known central charge $c=0$ and conformal weights $\Delta_{1,s}$ for $s\in {\Bbb Z_{\ge 1}}$ with $\Delta_{r,s}= \big((3r-2s)^2-1\big)/24$. For the periodic case, the finite-size corrections agree with the conformal weights $\Delta_{0,s}$, $\Delta_{1,s}$ with $s\in\frac12\Bbb Z_{\ge0}$. These are obtained analytically using Rogers dilogarithm identities. We incorporate all finite excitations by formulating empirical selection rules for the patterns of zeros of all the eigenvalues of the standard modules. We thus obtain the conformal partition functions on the cylinder and the modular invariant partition function (MIPF) on the torus. By applying $q$-binomial identities, it is shown that our finitized characters on the strip agree with those of Pearce, Rasmussen and Zuber. On the torus, the MIPF is a non-diagonal sesquilinear form in affine $u(1)$ characters given by the $u(1)$ partition function $Z_{2,3}(q)=Z_{2,3}^{\rm{Circ}}(q)$. This is compatible with the general conjecture of Pearce and Rasmussen, namely $Z_{p,p'}(q)=Z^{\rm{Proj}}_{p,p'}(q)+n_{p,p'}Z^{\rm{Min}}_{p,p'}(q)$ with $n_{p,p'}\in {\Bbb Z}$, and the lattice derivation fixes $n_{2,3}=-1$.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Structural and Photometric Properties of the Andromeda Satellite Dwarf Galaxy Lacerta I from Deep Imaging with WIYN pODI

abstract: We present results from WIYN pODI imaging of Lacerta I (And XXXI), a satellite dwarf galaxy discovered in the outskirts of the Andromeda galaxy (M31) in Pan-STARRS1 survey data. Our deep, wide-field $g,i$ photometry reaches $\sim$3 magnitudes fainter than the photometry in the Pan-STARRS1 discovery paper and allows us to trace the stellar population of Lac I beyond two half-light radii from the galaxy center. We measure a Tip of the Red Giant Branch (TRGB) distance for Lac I of $(m-M)_0=24.44\pm0.11$ mag (773$\pm$40 kpc, or 264$\pm$6 kpc from M31), which is consistent with the Pan-STARRS1 distance. We use a maximum-likelihood technique to derive structural properties for the galaxy, and find a half-light radius ($r_h$) of 3.24$\pm$0.21 arcmin (728$\pm$47 pc), ellipticity ($\epsilon$) of 0.44$\pm$0.03, total magnitude $M_V$ $=$ $-$11.4$\pm$0.3, and central surface brightness $\mu_{V,0}$ $=$ 24.8$\pm$0.3 mag arcsec$^{-2}$. We find no HI emission in archival data and set a limit on Lac I's neutral gas mass-to-light ratio of $M_{HI}/L_V$ $<$ 0.06 $M_{sun}$/$L_{sun}$, confirming Lac I as a gas-poor dwarf spheroidal galaxy. Photometric metallicities derived from Red Giant Branch stars within 2 $r_h$ yield a median [Fe/H] of $-$1.68$\pm$0.03, which is more metal-rich than the spectroscopically-derived value from Martin et al. (2014). Combining our measured magnitude with this higher metallicity estimate places Lac I closer to its expected position on the luminosity-metallicity relation for dwarf galaxies.


title: The HI Chronicles of LITTLE THINGS BCDS III: Gas Clouds in and around Mrk 178, VII Zw 403, AND NGC 3738

abstract: In most blue compact dwarf (BCD) galaxies, it remains unclear what triggers their bursts of star formation. We study the HI of three relatively isolated BCDs, Mrk 178, VII Zw 403, and NGC 3738, in detail to look for signatures of star formation triggers, such as gas cloud consumption, dwarf-dwarf mergers, and interactions with companions. High angular and velocity resolution atomic hydrogen (H I) data from the Very Large Array (VLA) dwarf galaxy HI survey, Local Irregulars That Trace Luminosity Extremes, The HI Nearby Galaxy Survey (LITTLE THINGS), allows us to study the detailed kinematics and morphologies of the BCDs in HI. We also present high sensitivity HI maps from the NRAO Green Bank Telescope (GBT) of each BCD to search their surrounding regions for extended tenuous emission or companions. The GBT data do not show any distinct galaxies obviously interacting with the BCDs. The VLA data indicate several possible star formation triggers in these BCDs. Mrk 178 likely has a gas cloud impacting the southeast end of its disk or it is experiencing ram pressure stripping. VII Zw 403 has a large gas cloud in its foreground or background that shows evidence of accreting onto the disk. NGC 3738 has several possible explanations for its stellar morphology and H I morphology and kinematics: an advanced merger, strong stellar feedback, or ram pressure stripping. Although apparently isolated, the HI data of all three BCDs indicate that they may be interacting with their environments, which could be triggering their bursts of star formation.


title: Contagion dynamics of extremist propaganda in social networks

abstract: Recent terrorist attacks carried out on behalf of ISIS on American and European soil by lone wolf attackers or sleeper cells remind us of the importance of understanding the dynamics of radicalization mediated by social media communication channels. In this paper, we shed light on the social media activity of a group of twenty-five thousand users whose association with ISIS online radical propaganda has been manually verified. By using a computational tool known as dynamical activity-connectivity maps, based on network and temporal activity patterns, we investigate the dynamics of social influence within ISIS supporters. We finally quantify the effectiveness of ISIS propaganda by determining the adoption of extremist content in the general population and draw a parallel between radical propaganda and epidemics spreading, highlighting that information broadcasters and influential ISIS supporters generate highly-infectious cascades of information contagion. Our findings will help generate effective countermeasures to combat the group and other forms of online extremism.


title: A note on deformations of regular embeddings

abstract: In this paper we give a description of the first order deformation space of a regular embedding of reduced algebraic schemes. We compare our result with results of Ran (in particular [Ran, Prop. 1.3]).


title: Unveiling $\nu$ secrets with cosmological data: neutrino masses and mass hierarchy

abstract: Using some of the latest cosmological datasets publicly available, we derive the strongest bounds in the literature on the sum of the three active neutrino masses, $M_\nu$, within the assumption of a background flat $\Lambda$CDM cosmology. In the most conservative scheme, combining Planck cosmic microwave background (CMB) temperature anisotropies and baryon acoustic oscillations (BAO) data, as well as the up-to-date constraint on the optical depth to reionization ($\tau$), the tightest $95\%$ confidence level (C.L.) upper bound we find is $M_\nu<0.151$~eV. The addition of Planck high-$\ell$ polarization data, which however might still be contaminated by systematics, further tightens the bound to $M_\nu<0.118$~eV. A proper model comparison treatment shows that the two aforementioned combinations disfavor the IH at $\sim 64\%$~C.L. and $\sim 71\%$~C.L. respectively. In addition, we compare the constraining power of measurements of the full-shape galaxy power spectrum versus the BAO signature, from the BOSS survey. Even though the latest BOSS full shape measurements cover a larger volume and benefit from smaller error bars compared to previous similar measurements, the analysis method commonly adopted results in their constraining power still being less powerful than that of the extracted BAO signal. Our work uses only cosmological data; imposing the constraint $M_\nu>0.06\,{\rm eV}$ from oscillations data would raise the quoted upper bounds by ${\cal O}(0.1\sigma)$ and would not affect our conclusions.


title: Quantization of Horava Gravity in 2+1 Dimensions

abstract: We study quantum corrections to projectable Horava gravity with $z = 2$ scaling in 2+1 dimensions. Using the background field method, we utilize a non-singular gauge to compute the anomalous dimension of the cosmological constant at one loop, in a normalization adapted to the spatial curvature term.


title: Rotated Eigenstructure Analysis for Source Localization without Energy-decay Models

abstract: Herein, the problem of simultaneous localization of two sources given a modest number of samples is examined. In particular, the strategy does not require knowledge of the target signatures of the sources a priori, nor does it exploit classical methods based on a particular decay rate of the energy emitted from the sources as a function of range. General structural properties of the signatures such as unimodality are exploited. The algorithm localizes targets based on the rotated eigenstructure of a reconstructed observation matrix. In particular, the optimal rotation can be found by maximizing the ratio of the dominant singular value of the observation matrix over the nuclear norm of the optimally rotated observation matrix. It is shown that this ratio has a unique local maximum leading to computationally efficient search algorithms. Moreover, analytical results are developed to show that the squared localization error decreases at a rate faster than the baseline scheme.


title: Electromagnetically Induced Transparency with Superradiant and Subradiant states

abstract: We construct the electromagnetically induced transparency (EIT) by dynamically coupling a superradiant state with a subradiant state. The superradiant and subradiant states with enhanced and inhibited decay rates act as the excited and metastable states in EIT, respectively. Their energy difference determined by the distance between the atoms can be measured by the EIT spectra, which renders this method useful in subwavelength metrology. The scheme can also be applied to many atoms in nuclear quantum optics, where the transparency point due to counter-rotating wave terms can be observed.


title: An extension of Poincar\'e group based on generalized Fermi-Walker coordinates

abstract: The class of accelerated and rotating reference frames has been studied on the basis of generalized Fermi-Walker coordinates. We obtain the infinitesimal transformations connecting any two of these frames and also their commutation relations. We thus have an infinite dimensional extension of the Poincar\'e algebra and, although it turns out to be Abelian extension, and hence trivial, it is noteworthy that, contrarily to Lorentz boosts, acceleration and rotational boost generators commute with each other and with the generators of Poincar\'e group as well.


title: Convective Quenching of Field Reversals in Accretion Disc Dynamos

abstract: Vertically stratified shearing box simulations of magnetorotational turbulence commonly exhibit a so-called butterfly diagram of quasi-periodic azimuthal field reversals. However, in the presence of hydrodynamic convection, field reversals no longer occur. Instead, the azimuthal field strength fluctuates quasi-periodically while maintaining the same polarity, which can either be symmetric or antisymmetric about the disc midplane. Using data from the simulations of Hirose et al. (2014), we demonstrate that the lack of field reversals in the presence of convection is due to hydrodynamic mixing of magnetic field from the more strongly magnetized upper layers into the midplane, which then annihilate field reversals that are starting there. Our convective simulations differ in several respects from those reported in previous work by others, in which stronger magnetization likely plays a more important role than convection.


title: Commissioning the DARHT-II accelerator

abstract: The 74-cell DARHT-II long-pulse linear induction accelerator (LIA) was commissioned in its final configuration in 2007-2008. The final accelerated beam parameters were 2 kA, and greater than 17 MeV in a pulse flat to better than +/- 1% for more than 1.6 micro-s. This report details the tuning of the LIA, diagnostics used, and measurements of the beam parameters.


title: Balancing and Walking Using Full Dynamics LQR Control With Contact Constraints

abstract: Torque control algorithms which consider robot dynamics and contact constraints are important for creating dynamic behaviors for humanoids. As computational power increases, algorithms tend to also increase in complexity. However, it is not clear how much complexity is really required to create controllers which exhibit good performance. In this paper, we study the capabilities of a simple approach based on contact consistent LQR controllers designed around key poses to control various tasks on a humanoid robot. We present extensive experimental results on a hydraulic, torque controlled humanoid performing balancing and stepping tasks. This feedback control approach captures the necessary synergies between the DoFs of the robot to guarantee good control performance. We show that for the considered tasks, it is only necessary to re-linearize the dynamics of the robot at different contact configurations and that increasing the number of LQR controllers along desired trajectories does not improve performance. Our result suggest that very simple controllers can yield good performance competitive with current state of the art, but more complex, optimization-based whole-body controllers. A video of the experiments can be found at https://youtu.be/5T08CNKV1hw.


title: Camera-trap images segmentation using multi-layer robust principal component analysis

abstract: The segmentation of animals from camera-trap images is a difficult task. To illustrate, there are various challenges due to environmental conditions and hardware limitation in these images. We proposed a multi-layer robust principal component analysis (multi-layer RPCA) approach for background subtraction. Our method computes sparse and low-rank images from a weighted sum of descriptors, using color and texture features as case of study for camera-trap images segmentation. The segmentation algorithm is composed of histogram equalization or Gaussian filtering as pre-processing, and morphological filters with active contour as post-processing. The parameters of our multi-layer RPCA were optimized with an exhaustive search. The database consists of camera-trap images from the Colombian forest taken by the Instituto de Investigaci\'on de Recursos Biol\'ogicos Alexander von Humboldt. We analyzed the performance of our method in inherent and therefore challenging situations of camera-trap images. Furthermore, we compared our method with some state-of-the-art algorithms of background subtraction, where our multi-layer RPCA outperformed these other methods. Our multi-layer RPCA reached 76.17 and 69.97% of average fine-grained F-measure for color and infrared sequences, respectively. To our best knowledge, this paper is the first work proposing multi-layer RPCA and using it for camera-trap images segmentation.


title: Self-Organizing Systems in Planetary Physics: Harmonic Resonances of Planet and Moon Orbits

abstract: The geometric arrangement of planet and moon orbits into a regularly spaced pattern of distances is the result of a self-organizing system. The positive feedback mechanism that operates a self-organizing system is accomplished by harmonic orbit resonances, leading to long-term stable planet and moon orbits in solar or stellar systems. The distance pattern of planets was originally described by the empirical Titius-Bode law, and by a generalized version with a constant geometric progression factor (corresponding to logarithmic spacing). We find that the orbital periods $T_i$ and planet distances $R_i$ from the Sun are not consistent with logarithmic spacing, but rather follow the quantized scaling $(R_{i+1}/R_i) = (T_{i+1}/T_i)^{2/3} = (H_{i+1}/H_i)^{2/3}$, where the harmonic ratios are given by five dominant resonances, namely $(H_{i+1} : H_{i}) = (3:2), (5:3), (2:1), (5:2), (3:1)$. We find that the orbital period ratios tend to follow the quantized harmonic ratios in increasing order. We apply this harmonic orbit resonance model to the planets and moons in our solar system, and to the exo-planets of 55 Cnc and HD 10180 planetary systems. The model allows us a prediction of missing planets in each planetary system, based on the quasi-regular self-organizing pattern of harmonic orbit resonance zones. We predict 7 (and 4) missing exo-planets around the star 55 Cnc (and HD 10180). The accuracy of the predicted planet and moon distances amounts to a few percents. All analyzed systems are found to have $\approx 10$ resonant zones that can be occupied with planets (or moons) in long-term stable orbits.


title: Fast failover of multicast sessions in software-defined networks

abstract: With the rapid growth of services that stream to groups of users comes an increased importance of and demand for reliable multicast. In this paper, we turn to software-defined networking and develop a novel general-purpose multi-failure protection algorithm to provide quick failure recovery, via Fast Failover (FF) groups, for dynamic multicast groups. This extends previous research, which either could not realize fast failover, worked only for single link failures, or was only applicable to static multicast groups. However, while FF is know to be fast, it requires pre-installing back-up rules. These additional memory requirements, which in a multicast setting are even more pronounced than for unicast, are often mentioned as a big disadvantage of using FF. We develop an OpenFlow application for resilient multicast, with which we study FF resource usage, in an attempt to better understand the trade-off between recovery time and resource usage. Our tests on a realistic network suggest that using FF groups can reduce the recovery time of the network significantly compared to other methods, especially when the latency between the controller and the switches is relatively large.


title: On the Existence of Ordinary Triangles

abstract: Let $P$ be a finite point set in the plane. A \emph{$c$-ordinary triangle} in $P$ is a subset of $P$ consisting of three non-collinear points such that each of the three lines determined by the three points contains at most $c$ points of $P$. Motivated by a question of Erd\H{o}s, and answering a question of de Zeeuw, we prove that there exists a constant $c>0$ such that $P$ contains a $c$-ordinary triangle, provided that $P$ is not contained in the union of two lines. Furthermore, the number of $c$-ordinary triangles in $P$ is $\Omega(|P|)$.


title: On the boundedness of periodic pseudo-differential operators

abstract: In this paper we investigate the $L^p$-boundedness of certain classes of periodic pseudo-differential operators. The operators considered arise from the study of symbols on $\mathbb{T}^n\times\mathbb{Z}^n$ with limited regularity.


title: Multilevel maximum likelihood estimation with application to covariance matrices

abstract: The asymptotic variance of the maximum likelihood estimate is proved to decrease when the maximization is restricted to a subspace that contains the true parameter value. Maximum likelihood estimation allows a systematic fitting of covariance models to the sample, which is important in data assimilation. The hierarchical maximum likelihood approach is applied to the spectral diagonal covariance model with different parameterizations of eigenvalue decay, and to the sparse inverse covariance model with specified parameter values on different sets of nonzero entries. It is shown computationally that using smaller sets of parameters can decrease the sampling noise in high dimension substantially.


title: Implementing Open Call-by-Value (Extended Version)

abstract: The theory of the call-by-value lambda-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are required. Open call-by-value is the intermediate setting of weak evaluation with open terms, on top of which Gr\'egoire and Leroy designed the abstract machine of Coq. This paper provides a theory of abstract machines for open call-by-value. The literature contains machines that are either simple but inefficient, as they have an exponential overhead, or efficient but heavy, as they rely on a labelling of environments and a technical optimization. We introduce a machine that is simple and efficient: it does not use labels and it implements open call-by-value within a bilinear overhead. Moreover, we provide a new fine understanding of how different optimizations impact on the complexity of the overhead.


title: Analysis and Measurement of the Transfer Matrix of a 9-cell 1.3-GHz Superconducting Cavity

abstract: Superconducting linacs are capable of producing intense, stable, high-quality electron beams that have found widespread applications in science and industry. The 9-cell 1.3-GHz superconducting standing-wave accelerating RF cavity originally developed for $e^+/e^-$ linear-collider applications [B. Aunes, {\em et al.} Phys. Rev. ST Accel. Beams {\bf 3}, 092001 (2000)] has been broadly employed in various superconducting-linac designs. In this paper we discuss the transfer matrix of such a cavity and present its measurement performed at the Fermilab Accelerator Science and Technology (FAST) facility. The experimental results are found to be in agreement with analytical calculations and numerical simulations.


title: A construction of hyperk\"ahler metrics through Riemann-Hilbert problems I

abstract: In 2009 Gaiotto, Moore and Neitzke presented a new construction of hyperk\"{a}hler metrics on the total spaces of certain complex integrable systems, represented as a torus fibration $\mathcal{M}$ over a base space $\mathcal{B}$, except for a divisor $D$ in $\mathcal{B}$, in which the torus fiber degenerates into a nodal torus. The hyperk\"{a}hler metric $g$ is obtained via solutions $\mathcal{X}_\gamma$ of a Riemann-Hilbert problem. We interpret the Kontsevich-Soibelman Wall Crossing Formula as an isomonodromic deformation of a family of RH problems, therefore guaranteeing continuity of $\mathcal{X}_\gamma$ at the walls of marginal stability. The technical details about solving the different classes of Riemann-Hilbert problems that arise here are left to a second article. To extend this construction to singular fibers, we use the Ooguri-Vafa case as our model and choose a suitable gauge transformation that allow us to define an integral equation defined at the degenerate fiber, whose solutions are the desired Darboux coordinates $\mathcal{X}_\gamma$. We show that these functions yield a holomorphic symplectic form $\varpi(\zeta)$, which, by Hitchin's twistor construction, constructs the desired hyperk\"{a}hler metric.


title: Varieties of Cubical Sets

abstract: We define a variety of notions of cubical sets, based on sites organized using substructural algebraic theories presenting PRO(P)s or Lawvere theories. We prove that all our sites are test categories in the sense of Grothendieck, meaning that the corresponding presheaf categories of cubical sets model classical homotopy theory. We delineate exactly which ones are even strict test categories, meaning that products of cubical sets correspond to products of homotopy types.


title: Comparative Study Of Data Mining Query Languages

abstract: Since formulation of Inductive Database (IDB) problem, several Data Mining (DM) languages have been proposed, confirming that KDD process could be supported via inductive queries (IQ) answering. This paper reviews the existing DM languages. We are presenting important primitives of the DM language and classifying our languages according to primitives' satisfaction. In addition, we presented languages' syntaxes and tried to apply each one to a database sample to test a set of KDD operations. This study allows us to highlight languages capabilities and limits, which is very useful for future work and perspectives.


title: Incremental Maintenance Of Association Rules Under Support Threshold Change

abstract: Maintenance of association rules is an interesting problem. Several incremental maintenance algorithms were proposed since the work of (Cheung et al, 1996). The majority of these algorithms maintain rule bases assuming that support threshold doesn't change. In this paper, we present incremental maintenance algorithm under support threshold change. This solution allows user to maintain its rule base under any support threshold.


title: A construction of hyperk\"ahler metrics through Riemann-Hilbert problems II

abstract: We develop the theory of Riemann-Hilbert problems necessary for the results in part one of this series of papers. In particular, we obtain solutions for a family of non-linear Riemann-Hilbert problems through classical contraction principles and saddle-point estimates. We use compactness arguments to obtain the required smoothness property on solutions. We also consider limit cases of these Riemann-Hilbert problems where the jump function develops discontinuities of the first kind together with zeroes of a specific order at isolated points in the contour. Solutions through Cauchy integrals are still possible and they have at worst a branch singularity at points where the jump function is discontinuous and a zero for points where the jump vanishes.


title: Shadowing of non-transversal heteroclinic chains

abstract: We present a new result about the shadowing of nontransversal chain of heteroclinic connections based on the idea of dropping dimensions. We illustrate this new mechanism with several examples. As an application we discuss this mechanism in a simplification of a toy model system derived by Colliander et al. in the context of cubic defocusing nonlinear Schr\"odinger equation.


title: Are Hidden-Variable Theories for Pilot-Wave Systems Possible ?

abstract: Recently it was shown that certain fluid-mechanical 'pilot-wave' systems can strikingly mimic a range of quantum properties, including single particle diffraction and interference, quantization of angular momentum etc. How far does this analogy go? The ultimate test of (apparent) quantumness of such systems is a Bell-test. Here the premises of the Bell inequality are re-investigated for particles accompanied by a pilot-wave, or more generally by a resonant 'background' field. We find that two of these premises, namely outcome independence and measurement independence, may not be generally valid when such a background is present. Under this assumption the Bell inequality is possibly (but not necessarily) violated. A class of hydrodynamic Bell experiments is proposed that could test this claim. Such a Bell test on fluid systems could provide a wealth of new insights on the different loopholes for Bell's theorem. Finally, it is shown that certain properties of background-based theories can be illustrated in Ising spin-lattices.

categories: quant-ph physics.flu-dyn physics.hist-ph physics.pop-ph


title: Global well-posedness for the Schr\"odinger map problem with small Besov norm

abstract: In this paper we prove a global result for the Schr\"odinger map problem with initial data with small Besov norm at critical regularity.


title: A priori error estimates of Adams-Bashforth discontinuous Galerkin methods for scalar nonlinear conservation laws

abstract: In this paper we show theoretical convergence of a second-order Adams-Bashforth discontinuous Galerkin method for approximating smooth solutions to scalar nonlinear conservation laws with E-fluxes. A priori error estimates are also derived for a first-order forward Euler discontinuous Galerkin method. Rates are optimal in time and suboptimal in space; they are valid under a CFL condition.


title: Towards exascale real-time RFI mitigation

abstract: We describe the design and implementation of an extremely scalable real-time RFI mitigation method, based on the offline AOFlagger. All algorithms scale linearly in the number of samples. We describe how we implemented the flagger in the LOFAR real-time pipeline, on both CPUs and GPUs. Additionally, we introduce a novel simple history-based flagger that helps reduce the impact of our small window on the data. By examining an observation of a known pulsar, we demonstrate that our flagger can achieve much higher quality than a simple thresholder, even when running in real time, on a distributed system. The flagger works on visibility data, but also on raw voltages, and beam formed data. The algorithms are scale-invariant, and work on microsecond to second time scales. We are currently implementing a prototype for the time domain pipeline of the SKA central signal processor.


title: Adversarial Evaluation of Dialogue Models

abstract: The recent application of RNN encoder-decoder models has resulted in substantial progress in fully data-driven dialogue systems, but evaluation remains a challenge. An adversarial loss could be a way to directly evaluate the extent to which generated dialogue responses sound like they came from a human. This could reduce the need for human evaluation, while more directly evaluating on a generative task. In this work, we investigate this idea by training an RNN to discriminate a dialogue model's samples from human-generated samples. Although we find some evidence this setup could be viable, we also note that many issues remain in its practical application. We discuss both aspects and conclude that future work is warranted.


title: Application of Zeeman spatial beam-splitting in polarized neutron reflectometry

abstract: Neutron Zeeman spatial beam-splitting is considered at reflection from magnetically noncollinear films. Two applications of Zeeman beam-splitting phenomenon in polarized neutron reflectometry are discussed. One is the construction of polarizing devices with high polarizing efficiency. Another one is the investigations of magnetically noncollinear films with low spin-flip probability. Experimental results are presented for illustration.


title: Electrical and photoelectrical characteristic investigation of a new generation photodiode based on bromothymol blue dye

abstract: Bromothymol blue (BTB) with the molecular formula of C27H28Br2O5S was grown onto p-Si substrate to fabricate heterojunction by spin coating technique. The current voltage (I-V) measurements of diode were carried out in dark and under different illumination intensity at room temperature. The photoelectrical properties of heterojunction based on BTB were investigated using the illumination intensity dependent I-V data. The results showed that photo current of diode increases with the increase in light intensity. Also, the electrical parameters of device were determined via I-V, and capacitance- voltage (C-V), conductance-voltage (G-V) measurements at different frequencies. It is observed that the excess capacitance is created at low frequencies due to the contribution of interface states charge which can follow the alternative current signal to capacitance. It is stated that, both the electrical photoelectrical parameters of diode can be changed, and also the performance of the device could be affected by the organic thin film interlayer.


title: Optical Navigation for Interplanetary CubeSats

abstract: CubeSats and small satellites are emerging as low-cost tools for performing science and exploration in deep space. These new classes of satellite exploit the latest advancement in miniaturization of electronics, power systems, and communication technologies to promise reduced launch cost and development cadence. JPL's MarCO CubeSats, part of the Mars Insight mission, will head on an Earth escape trajectory to Mars in 2018 and serve as communication relays for the Mars Insight Lander during Entry, Descent and Landing. Incremental advancements to the MarCO CubeSats, particularly in propulsion and GNC, could enable these spacecraft to get to another planet or to Near Earth Objects. This can have substantial science return with the right science instrument. We have developed an interplanetary CubeSat concept that includes onboard green monopropellant propulsion system and that can get into a capture orbit around a neighboring planet or chase a small-body. One such candidate is the Martian moon Phobos. Because of the limits of current CubeSat hardware and lack of an accurate ephemeris of Phobos, there will be a 2 to 5 km uncertainty in distance between the spacecraft and Phobos. This presents a major GNC challenge when the CubeSat first attempts to get into visual range of the moon. One solution to this challenge is to develop optical navigation technology that enables the CubeSat to take epicyclic orbits around the most probable location of the target, autonomously search and home-in on the target body. In worst-case scenarios, the technology would narrow down the uncertainty of the small-body location and then use optical flow, a computer vision algorithm to track movement of objects in the field of view. A dimly lit small-body can be detected by the occlusion of one or more surrounding stars. Our studies present preliminary simulations that support the concept.


title: Evaluating the Friction of Rotary Joints in Molecular Machines

abstract: A computationally-efficient method for evaluating friction in molecular rotary bearings is presented. This method estimates drag from fluctuations in molecular dynamics simulations via the fluctuation-dissipation theorem. This is effective even for simulation times short compared to a bearing's energy damping time and for rotation speeds comparable to or below typical thermal values. We apply this method to two molecular rotary bearings of similar size at 300K: previously studied nested (9,9)/(14,14) double-walled carbon nanotubes and a hypothetical rotary joint consisting of single acetylenic bonds in a rigid diamondoid housing. The acetylenic joint has a rotational frictional drag coefficient of $2 \times 10^{-35}\,\mbox{kg m${}^2$/s}$. The friction for the nested nanotubes is 120 times larger, comparable to values reported by previous studies. This fluctuation-based method could evaluate dissipation in a variety of molecular systems with similarly rigid and symmetric bearings.


title: Cosmology from a Lagrangian formulation for Rastall's theory

abstract: We give a Lagrangian formulation for the theory of Rastall of gravitation. After proposing a Lagrangian density that reproduces the equations of motion postulated by Rastall, we study the cosmological consequences and fit the parameters using recent data from Hubble function $H(z).$ According to two model selection criteria, one based on corrected Akaike Information Criterion (AICc) and another on Bayesian Information Criterion (BIC), known to penalize models with a greater number of parameters, particularly BIC, we obtain some competitive models relative do $\Lambda CDM.$ In one of these models the cosmological constant is interpreted as having origin in the creation of matter due to time dependent gravitational field, as opposed to the origin in the vacuum energy.


title: A stability result on optimal Skorokhod embedding

abstract: Motivated by the model- independent pricing of derivatives calibrated to the real market, we consider an optimization problem similar to the optimal Skorokhod embedding problem, where the embedded Brownian motion needs only to reproduce a finite number of prices of Vanilla options. We derive in this paper the corresponding dualities and the geometric characterization of optimizers. Then we show a stability result, i.e. when more and more Vanilla options are given, the optimization problem converges to an optimal Skorokhod embedding problem, which constitutes the basis of the numerical computation in practice. In addition, by means of different metrics on the space of probability measures, a convergence rate analysis is provided under suitable conditions.


title: Bounds on curvature in regular graphs

abstract: We study the curvature-dimension inequality in regular graphs. We develop techniques for calculating the curvature of such graphs, and we give characterizations of classes of graphs with positive, zero, and negative curvature. Our main result is to compare the curvature-dimension inequality in these classes to the so-called Ollivier curvature. A consequence of our results is that in the case that the graph contains no subgraph isomorphic to either $K_3$ or $K_{2,3}$ these curvatures usually have the same sign, and we characterize the exceptions.