title: A Bayesian Nonparametric approach to Reconstruction and Prediction of Random Dynamical Systems

abstract: We propose a Bayesian nonparametric mixture model for the reconstruction and prediction from observed time series data, of discretized stochastic dynamical systems, based on Markov Chain Monte Carlo methods (MCMC). Our results can be used by researchers in physical modeling interested in a fast and accurate estimation of low dimensional stochastic models when the size of the observed time series is small and the noise process (perhaps) is non-Gaussian. The inference procedure is demonstrated specifically in the case of polynomial maps of arbitrary degree and when a Geometric Stick Breaking mixture process prior over the space of densities, is applied to the additive errors. Our method is parsimonious compared to Bayesian nonparametric techniques based on Dirichlet process mixtures, flexible and general. Simulations based on synthetic time series are presented.


title: A first look at data from the NO$\nu$A upward-going muon trigger

abstract: The NO$\nu$A collaboration has constructed a 14,000 ton, fine-grained, low-Z, total absorption tracking calorimeter at an off-axis angle to an upgraded NuMI neutrino beam. This detector, with its excellent granularity and energy resolution and relatively low-energy neutrino thresholds, was designed to observe electron neutrino appearance in a muon neutrino beam, but it also has unique capabilities suitable for more exotic efforts. In fact, if sufficient cosmic ray background rejection can be demonstrated, NO$\nu$A will be capable of a competitive indirect dark matter search for low-mass Weakly-Interacting Massive Particles (WIMPs). The cosmic ray muon rate at the NO$\nu$A far detector is approximately 100 kHz and provides the primary challenge for triggering and optimizing such a search analysis. The status of the NO$\nu$A upward-going muon trigger and a first look at the triggered sample is presented.


title: Classification of Links Up to 0-Solvability

abstract: The $n$-solvable filtration of the $m$-component smooth (string) link concordance group, $$\dots \subset \mathcal{F}^m_{n+1} \subset \mathcal{F}^m_{n.5} \subset \mathcal{F}^m_n \dots \subset \mathcal{F}^m_1 \subset \mathcal{F}^m_{0.5} \subset \mathcal{F}^m_0 \subset \mathcal{F}^m_{-0.5} \subset \mathcal{C}^m,$$ as defined by Cochran, Orr, and Teichner, is a tool for studying smooth knot and link concordance that yields important results in low-dimensional topology. The focus of this paper is to give a characterization of the set of 0-solvable links. We introduce a new equivalence relation on links called 0-solve equivalence and establish both an algebraic and a geometric classification of $\mathbb{L}_0^m$, the set of links up to 0-solve equivalence. We show that $\mathbb{L}_0^m$ has a group structure isomorphic to the quotient $\mathcal{F}_{-0.5}/\mathcal{F}_0$ of concordance classes of string links and classify this group, showing that $$\mathbb{L}_0^m \cong \mathcal{F}_{-0.5}^m/\mathcal{F}_0^m \cong \mathbb{Z}_2^m \oplus \mathbb{Z}^{m \choose 3} \oplus \mathbb{Z}_2^{m \choose 2}.$$ Finally, using results of Conant, Schneiderman, and Teichner, we show that 0-solvable links are precisely the links that bound class 2 gropes and support order 2 Whitney towers in the 4-ball.


title: Most Complex Regular Ideal Languages

abstract: A right ideal (left ideal, two-sided ideal) is a non-empty language $L$ over an alphabet $\Sigma$ such that $L=L\Sigma^*$ ($L=\Sigma^*L$, $L=\Sigma^*L\Sigma^*$). Let $k=3$ for right ideals, 4 for left ideals and 5 for two-sided ideals. We show that there exist sequences ($L_n \mid n \ge k $) of right, left, and two-sided regular ideals, where $L_n$ has quotient complexity (state complexity) $n$, such that $L_n$ is most complex in its class under the following measures of complexity: the size of the syntactic semigroup, the quotient complexities of the left quotients of $L_n$, the number of atoms (intersections of complemented and uncomplemented left quotients), the quotient complexities of the atoms, and the quotient complexities of reversal, star, product (concatenation), and all binary boolean operations. In that sense, these ideals are "most complex" languages in their classes, or "universal witnesses" to the complexity of the various operations.


title: Prediction of Dynamical time Series Using Kernel Based Regression and Smooth Splines

abstract: Prediction of dynamical time series with additive noise using support vector machines or kernel based regression has been proved to be consistent for certain classes of discrete dynamical systems. Consistency implies that these methods are effective at computing the expected value of a point at a future time given the present coordinates. However, the present coordinates themselves are noisy, and therefore, these methods are not necessarily effective at removing noise. In this article, we consider denoising and prediction as separate problems for flows, as opposed to discrete time dynamical systems, and show that the use of smooth splines is more effective at removing noise. Combination of smooth splines and kernel based regression yields predictors that are more accurate on benchmarks typically by a factor of 2 or more. We prove that kernel based regression in combination with smooth splines converges to the exact predictor for time series extracted from any compact invariant set of any sufficiently smooth flow. As a consequence of convergence, one can find examples where the combination of kernel based regression with smooth splines is superior by even a factor of $100$. The predictors that we compute operate on delay coordinate data and not the full state vector, which is typically not observable.


title: On $\mathcal{D}$-equivalence classes of some graphs

abstract: Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G, x)=\sum_{i=1}^n d(G,i) x^i$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. The $n$-barbell graph $Bar_n$ with $2n$ vertices, is formed by joining two copies of a complete graph $K_n$ by a single edge. We prove that for every $n\geq 2$, $Bar_n$ is not $\mathcal{D}$-unique, that is, there is another non-isomorphic graph with the same domination polynomial. More precisely, we show that for every $n$, the $\mathcal{D}$-equivalence class of barbell graph, $[Bar_n]$, contains many graphs, which one of them is the complement of book graph of order $n-1$, $B_{n-1}^c$. Also we present many families of graphs in $\mathcal{D}$-equivalence class of $K_{n_1}\cup K_{n_2}\cup \cdots\cup K_{n_k}$.


title: Application of the Lefschetz thimble formulation to the (0+1) dim. Thirring model at finite density

abstract: Based on the Lefschetz thimble formulation of path-integration, we analyze the (0+1) dimensional Thirring model at finite chemical potentials and perform hybrid Monte Carlo (HMC) simulations. We adopt the lattice action defined with the staggered fermion and a compact link field for the auxiliary vector field. We firstly locate the critical points (saddle points) of the gradient flows within the subspace of time-independent (complex) link field, and study the thiemble structure and the Stokes phenomenon to identify the thimbles which contribute to the path-integral. Then, we perform HMC simulations on the single dominant thimble and compare the results to the exact solution. The numerical results are in agreement with the exact ones in small and large chemical potential regions, while they show some deviation in the crossover region in the chemical potential. We also comment on the necessity of the contributions from multiple thimbles in the crossover region.


title: Mesoprimary decomposition of binomial submodules

abstract: Recent results of Kahle and Miller give a method of constructing primary decompositions of binomial ideals by first constructing "mesoprimary decompositions" determined by their underlying monoid congruences. These mesoprimary decompositions are highly combinatorial in nature, and are designed to parallel standard primary decomposition over Noetherean rings. In this paper, we generalize mesoprimary decomposition from binomial ideals to "binomial submodules" of certain graded modules over the corresponding monoid algebra, analogous to the way primary decomposition of ideals over a Noetherean ring $R$ generalizes to $R$-modules. The result is a combinatorial method of constructing primary decompositions that, when restricting to the special case of binomial ideals, coincides with the method introduced by Kahle and Miller.


title: The influence of system dynamics on the frictional resistance: insights from a discrete model

abstract: In order to examine the influence of system dynamics on sliding friction, we introduce the so-called micro-walking machine. This model consists of a rigid body with a number of elastic contact spots that is pulled by a constantly moving base. The system slides with dry friction on a rigid substrate. The kinematic coupling of the rotation and the translation of the rigid body results in varying normal and tangential forces at the contact spots. For certain parameter ranges this leads to self-excited oscillations in the vertical direction. A particular dynamic mode occurs which is characterized by a strong correlation between low or even zero normal forces and a fast forward motion. This effect is referred to as micro-walking. In addition to an experimental rig we use numerical integration and an extensive parameter study for the analysis. In theory, the reduction of the frictional resistance reaches up to 98%. These results are confirmed by the experiments where the maximal reduction was 73%. Our model shows that micro-vibrations play an important role for the dynamic influences on the frictional resistance of systems that exhibit apparently smooth sliding. The identification of the critical parameter range enables the systematic control of frictional resistance through the adjustment of attributes such as geometry and stiffness. In addition, it is possible to deduce guidelines for how tribological test rigs should be designed in order to get reliable results.


title: A discontinuous Galerkin method for time fractional diffusion equations with variable coefficients

abstract: We propose a piecewise-linear, time-stepping discontinuous Galerkin method to solve numerically a time fractional diffusion equation involving Caputo derivative of order $\mu\in (0,1)$ with variable coefficients. For the spatial discretization, we apply the standard piecewise linear continuous Galerkin method. Well-posedness of the fully discrete scheme and error analysis will be shown. For a time interval~$(0,T)$ and a spatial domain~$\Omega$, our analysis suggest that the error in $L^2\bigr((0,T),L^2(\Omega)\bigr)$-norm is of order $O(k^{2-\frac{\mu}{2}}+h^2)$ (that is, short by order $\frac{\mu}{2}$ from being optimal in time) where $k$ denotes the maximum time step, and $h$ is the maximum diameter of the elements of the (quasi-uniform) spatial mesh. However, our numerical experiments indicate optimal $O(k^{2}+h^2)$ error bound in the stronger $L^\infty\bigr((0,T),L^2(\Omega)\bigr)$-norm. Variable time steps are used to compensate the singularity of the continuous solution near $t=0$.


title: Recent results on charmless hadronic $B$ decays at Belle

abstract: Two-body charmless hadronic decays of $B$ mesons are important for determining Standard Model parameters and for detecting the presence of new physics. We present recent results from the Belle experiment on the charmless hadronic decays $B\rightarrow \eta \pi^0$ and $B\rightarrow \pi^0 \pi^0$.


title: Geometry of Positive Configurations in Affine Buildings

abstract: Positive configurations of points in the affine building were introduced in \cite{Le} as the basic object needed to define higher laminations. We start by giving a self-contained, elementary definition of positive configurations of points in the affine building and their basic properties. Then we study the geometry of these configurations. The canonical functions on triples of flags that were defined by Fock and Goncharov in \cite{FG1} have a tropicalization that gives functions on triples of points in the affine Grassmannian. One expects that these functions, though of algebro-geometric origin, have a simple description in terms of the metric structure on the corresponding affine building. We give a several conjectures describing the tropicalized canonical functions in terms of the geometry of affine buildings, and give proofs of some of them. The statements involve minimal networks and have some resemblance to the max-flow/min-cut theorem, which also plays a role in the proofs in unexpected ways. The conjectures can be reduced to purely algebraic statements about valuations of lattices that we argue are interesting in their own right. One can view these conjectures as the first examples of intersection pairings between higher laminations. They fit within the framework of the Duality Conjectures of \cite{FG1}.


title: Extension of Chebfun to periodic functions

abstract: Algorithms and underlying mathematics are presented for numerical computation with periodic functions via approximations to machine precision by trigonometric polynomials, including the solution of linear and nonlinear periodic ordinary differential equations. Differences from the nonperiodic Chebyshev case are highlighted.


title: Nucleation and high-density packing of 360{\deg} domain walls on planar ferromagnetic nanowires by using circular magnetic fields

abstract: We propose a mechanism for nucleation and high-density packing of 360{\deg} domain walls (DWs) on planar ferromagnetic nanowires, of 100 nm width, by using circular magnetic fields. The extent of the stray field from a 360{\deg} DW is limited in comparison to 180{\deg} DWs, which allows them to be packed more densely than 180{\deg} DWs in a potential data storage device. We use micromagnetic simulations to demonstrate high-density packing of 360{\deg} DWs, using a series of rectangular 16 x 16 nm2 notches to act as local pinning sites on the nanowires. For these notches, the minimum spacing between the DWs is 240 nm, corresponding to a 360{\deg} DW packing density of 4 DWs per micron. Understanding the topological properties of the 360{\deg} DWs allows us to understand their formation and annihilation in the proposed geometry. Adjacent 360{\deg} DWs have opposite circulation, and closer spacing result in the adjacent walls breaking into 180{\deg} DWs and annihilating.


title: Photoassociative cooling and trapping of a pair of interacting atoms

abstract: We show that it is possible to cool interacting pairs of atoms by a lin $\perp$ lin Sisyphus-like laser cooling scheme using counter-propagating photoassociation (PA) lasers. It is shown that the center-of-mass motion (c.m.) of atom pairs can be trapped in molecular spin-dependent periodic potentials generated by the lasers. The proposed scheme is most effective for narrow-line PA transitions. We illustrate this with numerical calculations using fermionic $^{171}$Yb atoms as an example.


title: The effective Vlasov-Poisson system for strongly magnetized plasmas

abstract: We study the finite Larmor radius regime for the Vlasov-Poisson system. The magnetic field is assumed to be uniform. We investigate this non linear problem in the two dimensional setting. We derive the limit model by appealing to gyro-average methods cf. \cite{BosAsyAna}, \cite{BosTraEquSin}. We indicate the explicit expression of the effective advection field, entering the Vlasov equation, after substituting the self-consistent electric field, obtained by the resolution of the averaged (with respect to the cyclotronic time scale) Poisson equation. We emphasize the Hamiltonian structure of the limit model and present its properties~: conservationss of the mass, kinetic energy, electric energy, etc.


title: Union-Free Families of Subsets

abstract: This paper discusses the question of how many non-empty subsets of the set $[n] = \{ 1, 2, ..., n\}$ we can choose so that no chosen subset is the union of some other chosen subsets. Let $M(n)$ be the maximum number of subsets we can choose. We construct a series of such families, which leads to lower bounds on $M(n)$. We also give upper bounds on $M(n)$. Finally, we propose several conjectures on the tightness of our lower bound for $M(n)$.


title: Know the single-receptor sensing limit? Think again

abstract: How cells reliably infer information about their environment is a fundamentally important question. While sensing and signaling generally start with cell-surface receptors, the degree of accuracy with which a cell can measure external ligand concentration with even the simplest device - a single receptor - is surprisingly hard to pin down. Recent studies provide conflicting results for the fundamental physical limits. Comparison is made difficult as different studies either suggest different readout mechanisms of the ligand-receptor occupancy, or differ on how ligand diffusion is implemented. Here we critically analyse these studies and present a unifying perspective on the limits of sensing, with wide-ranging biological implications.


title: Broadband nature of power spectra for intermittent Maps with summable and nonsummable decay of correlations

abstract: We present results on the broadband nature of the power spectrum $S(\omega)$, $\omega\in(0,2\pi)$, for a large class of nonuniformly expanding maps with summable and nonsummable decay of correlations. In particular, we consider a class of intermittent maps $f:[0,1]\to[0,1]$ with $f(x)\approx x^{1+\gamma}$ for $x\approx 0$, where $\gamma\in(0,1)$. Such maps have summable decay of correlations when $\gamma\in(0,\frac12)$, and $S(\omega)$ extends to a continuous function on $[0,2\pi]$ by the classical Wiener-Khintchine Theorem. We show that $S(\omega)$ is typically bounded away from zero for H\"older observables. Moreover, in the nonsummable case $\gamma\in[\frac12,1)$, we show that $S(\omega)$ is defined almost everywhere with a continuous extension $\tilde S(\omega)$ defined on $(0,2\pi)$, and $\tilde S(\omega)$ is typically nonvanishing.


title: Suppression and enhancement of decoherence in an atomic Josephson junction

abstract: We examine the role of interactions for a Bose gas trapped in a double-well potential ("Bose-Josephson junction") when external noise is applied and the system is initially delocalized with equal probability amplitudes in both sites. The noise may have two kinds of effects: loss of atoms from the trap, and random shifts in the relative phase or number difference between the two wells. The effects of phase noise are mitigated by atom-atom interactions and tunneling, such that the dephasing rate may be reduced to half its single-atom value. Decoherence due to number noise (which induces fluctuations in the relative atom number between the wells) is considerably enhanced by the interactions. A similar scenario is predicted for the case of atom loss, even if the loss rates from the two sites are equal. In fact, interactions convert the increased uncertainty in atom number (difference) into (relative) phase diffusion and reduce the coherence across the junction. We examine the parameters relevant for these effects using a simple model of the trapping potential based on an atom chip device. These results provide a framework for mapping the dynamical range of barriers engineered for specific applications and sets the stage for more complex circuits ("atomtronics").


title: Nonlinear microwave photon-occupancy of a driven resonator strongly coupled to a transmon qubit

abstract: We measure photon-occupancy in a thin-film superconducting lumped element resonator coupled to a transmon qubit at 20$\,$mK and find a nonlinear dependence on the applied microwave power. The transmon-resonator system was operated in the strong dispersive regime, where the ac Stark shift ($2\chi$) due to a single microwave photon present in the resonator was larger than the linewidth ($\Gamma$) of the qubit transition. When the resonator was coherently driven at $5.474325\,$GHz, the transition spectrum of the transmon at $4.982\,$GHz revealed well-resolved peaks, each corresponding to an individual photon number-state of the resonator. From the relative peak-heights we obtain the occupancy of the photon-states and the average photon-occupancy $\bar{n}$ of the resonator. We observed a nonlinear variation of $\bar{n}$ with the applied drive power $P_{rf}$ for $\bar{n} < 5$ and compare our results to numerical simulations of the system-bath master equation in the steady state, as well as to a semi-classical model for the resonator that includes the Jaynes-Cummings interaction between the transmon and the resonator. We find good quantitative agreement using both models and analysis reveals that the nonlinear behavior is principally due to shifts in the resonant frequency caused by a qubit-induced Jaynes-Cummings nonlinearity.


title: FireCaffe: near-linear acceleration of deep neural network training on compute clusters

abstract: Long training times for high-accuracy deep neural networks (DNNs) impede research into new DNN architectures and slow the development of high-accuracy DNNs. In this paper we present FireCaffe, which successfully scales deep neural network training across a cluster of GPUs. We also present a number of best practices to aid in comparing advancements in methods for scaling and accelerating the training of deep neural networks. The speed and scalability of distributed algorithms is almost always limited by the overhead of communicating between servers; DNN training is not an exception to this rule. Therefore, the key consideration here is to reduce communication overhead wherever possible, while not degrading the accuracy of the DNN models that we train. Our approach has three key pillars. First, we select network hardware that achieves high bandwidth between GPU servers -- Infiniband or Cray interconnects are ideal for this. Second, we consider a number of communication algorithms, and we find that reduction trees are more efficient and scalable than the traditional parameter server approach. Third, we optionally increase the batch size to reduce the total quantity of communication during DNN training, and we identify hyperparameters that allow us to reproduce the small-batch accuracy while training with large batch sizes. When training GoogLeNet and Network-in-Network on ImageNet, we achieve a 47x and 39x speedup, respectively, when training on a cluster of 128 GPUs.


title: Irregular Hodge theory

abstract: We introduce a category of possibly irregular holonomic D-modules which can be endowed in a canonical way with an irregular Hodge filtration. Mixed Hodge modules with their Hodge filtration naturally belong to this category, as well as their twist by $\exp\varphi$ for any meromorphic function $\varphi$. This category is stable by various standard functors, which produce many more filtered objects. The irregular Hodge filtration satisfies the $E_1$-degeneration property by a projective morphism. This generalizes some results proved by Esnault-Sabbah-Yu arxiv:1302.4537 and Sabbah-Yu arxiv:1406.1339. We also show that those rigid irreducible holonomic D-modules on the complex projective line whose local formal monodromies have eigenvalues of absolute value one, are equipped with such an irregular Hodge filtration in a canonical way, up to a shift of the filtration. In a chapter written jointly with Jeng-Daw~Yu, we make explicit the case of irregular mixed Hodge structures, for which we prove in particular a Thom-Sebastiani formula.


title: Sensitivity and Discovery Potential of the PROSPECT Experiment

abstract: Measurements of the reactor antineutrino flux and spectrum compared to model predictions have revealed an apparent deficit in the interaction rates of reactor antineutrinos and an unexpected spectral deviation. PROSPECT, the Precision Reactor Oscillation Spectrum measurement, is designed to make a precision measurement of the antineutrino spectrum from a research reactor and search for signs of an eV-scale sterile neutrino. PROSPECT will be located at the High Flux Isotope Reactor (HFIR) at Oak Ridge National Laboratory and make use of a Highly Enriched Uranium reactor for a measurement of the pure U-235 antineutrino spectrum. An absolute measurement of this spectrum will constrain reactor models and improve our understanding of the reactor antineutrino spectrum. Additionally, the planned 3-ton lithium-doped liquid scintillator detector is ideally suited to perform a search for sterile neutrinos. This talk will focus on the sensitivity and discovery potential of PROSPECT and the detector design to achieve these goals.


title: Subharmonicity of conic Mabuchi's functional, I

abstract: The purpose of this paper is to generalize the convexity of Mabuchi's functional to the conic setting. We first established a frame to study conic cscK metrics, and then the conic Mabuchi functional was introduced in such a way that conic cscK metrics are its critical points. Finally we proved the convexity of the conic Mabuchi functional along any conic geodesics.


title: Search for exotic transitions of muon neutrinos to electron neutrinos with MINOS

abstract: The observed neutrino flavor transitions are currently explained by the three flavor neutrino oscillation phenomenon, considered to be the leading order mechanism behind the flavor transitions. Currently existing data from LSND, MiniBooNE and reactor experiments demonstrate anomalies that could potentially be indications of non-standard neutrino phenomena. MINOS can probe transitions from muon neutrinos to electron neutrinos and search for anomalous behavior that cannot be explained by standard model neutrino oscillations. Here we present the search for second order effects in the flavor transitions by analyzing the MINOS $\nu_\mu \to \nu_e$ channel.


title: Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings

abstract: In this paper, we present an algorithm for computing a fundamental matrix of formal solutions of completely integrable Pfaffian systems with normal crossings in several variables. This algorithm is a generalization of a method developed for the bivariate case based on a combination of several reduction techniques and is implemented in the computer algebra system Maple.


title: Extrapolation Techniques and Systematic Uncertainties in the NO$\nu$A Muon Neutrino Disappearance Analysis

abstract: The NOvA long-baseline neutrino experiment consists of two highly active, finely segmented, liquid scintillator detectors located 14.6 mrad off Fermilab's NuMI beam axis, with a Near Detector located at Fermilab, and a Far Detector located 810 km from the target at Ash River, MI. NO$\nu$A released it first preliminary results of the muon neutrino disappearance parameters, measuring $\sin^2(\theta_{23}) = 0.51 \pm 0.10$ and or the normal hierarchy $\Delta m^2_{32} = 2.37^{+0.16}_{-0.15} \times 10^{-3}$ eV$^2$ and for the inverted hierarchy $\Delta m^2_{32} = -2.40^{+0.14}_{-0.17} \times 10^{-3}$ eV$^2$. This talk will present a discussion of the systematic uncertainties and extrapolation methods used for this first analysis which uses $2.74\times10^{20}$ POT-equivalent collected between July 2013 and March 2015.


title: A Nonparametric Significance Test for Sampled Networks

abstract: Our work is motivated by an interest in constructing a protein-protein interaction network that captures key features associated with Parkinson's disease. While there is an abundance of subnetwork construction methods available, it is often far from obvious which subnetwork is the most suitable starting point for further investigation. We provide a method to assess whether a subnetwork constructed from a seed list (a list of nodes known to be important in the area of interest) differs significantly from a randomly generated subnetwork. The proposed method uses a Monte Carlo approach. As different seed lists can give rise to the same subnetwork, we control for redundancy by constructing a minimal seed list as the starting point for the significance test. The null model is based on random seed lists of the same length as a minimum seed list that generates the subnetwork, in this random seed list the nodes have (approximately) the same degree distribution as the nodes in the minimum seed list. We use this null model to select subnetworks which deviate significantly from random on an appropriate set of statistics and might capture useful information for a real world protein-protein interaction network.


title: Smoothing conic K\"ahler metrics with uniformly upper bisectional curvature bound

abstract: Based on C. Li and Y. Rubinstein's upper bisectional curvature bound estimate for the conic K\"ahler metric, we can construct a smoothing sequence for the conic metric with uniformly upper bisectional curvature bound. For the conic metric along a simple normal crossing divisor with triple or higher multiple points we may need to choose a new background K\"ahler metric in the same cohomology class of the original background metric. This setting will be helpful to the study of conical K\"ahler-Einstein metrics and conical K\"ahler-Ricci flow.


title: Pointer Race Freedom

abstract: We propose a novel notion of pointer race for concurrent programs manipulating a shared heap. A pointer race is an access to a memory address which was freed, and it is out of the accessor's control whether or not the cell has been re-allocated. We establish two results. (1) Under the assumption of pointer race freedom, it is sound to verify a program running under explicit memory management as if it was running with garbage collection. (2) Even the requirement of pointer race freedom itself can be verified under the garbage-collected semantics. We then prove analogues of the theorems for a stronger notion of pointer race needed to cope with performance-critical code purposely using racy comparisons and even racy dereferences of pointers. As a practical contribution, we apply our results to optimize a thread-modular analysis under explicit memory management. Our experiments confirm a speed-up of up to two orders of magnitude.


title: A short note on additive functions on Riemannian co-compact coverings

abstract: The main purpose of this note is to provide a topological approach to defining additive functions on Riemannian co-compact normal coverings.


title: Free Energy Rate Density and Self-organization in Complex Systems

abstract: One of the most important tasks in science is to understand the self-organization's arrow of time. To attempt this we utilize the connection between self-organization and non-equilibrium thermodynamics. Eric Chaisson calculated an exponential increase of Free Energy Rate Density (FERD) in Cosmic Evolution, from the Big Bang until now, paralleling the increase of system's structure. We term these studies "Devology". We connect FERD to the principle of least action for complex systems, driving their increase of action efficiency. We study CPUs as a specific system in which the organization, the total amount of action and FERD are connected in a positive feedback loop, providing exponential growth of all three and power law relations between them. This is a deep connection, reaching to the first principles of physics: the least action principle and the second law of thermodynamics. We propose size-density and complexity-density rules in addition to the established size-complexity one.


title: Some reverse $l_p$-type inequalities involving certain quasi monotone sequences

abstract: In this paper, we give some $l_p$-type inequalities about sequences satisfying certain quasi monotone type properties. As special cases, reverse $l_p$-type inequalities for non-negative decreasing sequences are obtained. The inequalities are closely related to Copson's and Leindler's inequalities, but the sign of the inequalities is reversed.


title: Incentive Stackelberg Mean-payoff Games

abstract: We introduce and study incentive equilibria for multi-player meanpayoff games. Incentive equilibria generalise well-studied solution concepts such as Nash equilibria and leader equilibria (also known as Stackelberg equilibria). Recall that a strategy profile is a Nash equilibrium if no player can improve his payoff by changing his strategy unilaterally. In the setting of incentive and leader equilibria, there is a distinguished player called the leader who can assign strategies to all other players, referred to as her followers. A strategy profile is a leader strategy profile if no player, except for the leader, can improve his payoff by changing his strategy unilaterally, and a leader equilibrium is a leader strategy profile with a maximal return for the leader. In the proposed case of incentive equilibria, the leader can additionally influence the behaviour of her followers by transferring parts of her payoff to her followers. The ability to incentivise her followers provides the leader with more freedom in selecting strategy profiles, and we show that this can indeed improve the payoff for the leader in such games. The key fundamental result of the paper is the existence of incentive equilibria in mean-payoff games. We further show that the decision problem related to constructing incentive equilibria is NP-complete. On a positive note, we show that, when the number of players is fixed, the complexity of the problem falls in the same class as two-player mean-payoff games. We also present an implementation of the proposed algorithms, and discuss experimental results that demonstrate the feasibility of the analysis of medium sized games.


title: A Bijection on Classes Enumerated by the Schr\"oder Numbers

abstract: We consider a sorting machine consisting of two stacks in series where the first stack has the added restriction that entries in the stack must be in decreasing order from top to bottom. The class of permutations sortable by this machine are known to be enumerated by the Schr\"oder numbers. In this paper, we give a bijection between these sortable permutations of length $n$ and Schr\"oder paths -- the lattice paths from $(0,0)$ to $(n-1,n-1)$ composed of East steps $(1,0)$, North steps $(0,1)$, and Diagonal steps $(1,1)$ that travel weakly below the line $y=x$.


title: Hodge Star as Braided Fourier Transform

abstract: We study super-braided Hopf algebras $\Lambda$ primitively generated by finite-dimensional right crossed (or Drinfeld-Radford-Yetter) modules $\Lambda^1$ over a Hopf algebra $A$ which are quotients of the augmentation ideal $A^+$ under right multiplication and the adjoint coaction. Here super-bosonisation $\Omega=A\ltimes\Lambda$ provides a bicovariant differential graded algebra on $A$. We introduce $\Lambda_{max}$ providing the maximal prolongation, while the canonical braided-exterior algebra $\Lambda_{min}=B_-(\Lambda^1)$ provides the Woronowicz exterior calculus. In this context we introduce a Hodge star operator $\sharp$ by super-braided Fourier transform on $B_-(\Lambda^1)$ and left and right interior products by braided partial derivatives. Our new approach to the Hodge star (a) differs from previous approaches in that it is canonically determined by the differential calculus and (b) differs on key examples, having order 3 in middle degree on $k[S_3]$ with its 3D calculus and obeying the $q$-Hecke relation $\sharp^2=1+(q-q^{-1})\sharp$ in middle degree on $k_q[SL_2]$ with its 4D calculus. Our work also provided a Hodge map on quantum plane calculi and a new starting point for calculi on coquasitriangular Hopf algebras $A$ whereby any subcoalgebra $L\subseteq A$ defines a sub braided-Lie algebra and $\Lambda^1\subseteq L^*$ provides the required data $A^+\to \Lambda^1$.


title: Mixed stochastic differential equations: Existence and uniqueness result

abstract: In this paper we shall establish an existence and uniqueness result for solutions of multidimensional, time dependent, stochastic differential equations driven simultaneously by a multidimensional fractional Brownian motion with Hurst parameter $H > \frac{1}{2} and a multidimensional standard Brownian motion under a weaker condition than the Lipschitz one.


title: Pattern avoidance for set partitions \`a la Klazar

abstract: In 2000 Klazar introduced a new notion of pattern avoidance in the context of set partitions of $[n]=\{1,\ldots, n\}$. The purpose of the present paper is to undertake a study of the concept of Wilf-equivalence based on Klazar's notion. We determine all Wilf-equivalences for partitions with exactly two blocks, one of which is a singleton block, and we conjecture that, for $n\geq 4$, these are all the Wilf-equivalences except for those arising from complementation. If $\tau$ is a partition of $[k]$ and $\Pi_n(\tau)$ denotes the set of all partitions of $[n]$ that avoid $\tau$, we establish inequalities between $|\Pi_n(\tau_1)|$ and $|\Pi_n(\tau_2)|$ for several choices of $\tau_1$ and $\tau_2$, and we prove that if $\tau_2$ is the partition of $[k]$ with only one block, then $|\Pi_n(\tau_1)| <|\Pi_n(\tau_2)|$ for all $n>k$ and all partitions $\tau_1$ of $[k]$ with exactly two blocks. We conjecture that this result holds for all partitions $\tau_1$ of $[k]$. Finally, we enumerate $\Pi_n(\tau)$ for all partitions $\tau$ of $[4]$.


title: On backward stochastic differential equations driven by a family of It\^o's processes

abstract: We propose to study a new type of Backward stochastic differential equations driven by a family of It\^o's processes. We prove existence and uniqueness of the solution, and investigate stability and comparison theorem.


title: Finite ramification for preimage fields of postcritically finite morphisms

abstract: Given a finite endomorphism $\varphi$ of a variety $X$ defined over the field of fractions $K$ of a Dedekind domain, we study the extension $K(\varphi^{-\infty}(\alpha)) : = \bigcup_{n \geq 1} K(\varphi^{-n}(\alpha))$ generated by the preimages of $\alpha$ under all iterates of $\varphi$. In particular when $\varphi$ is post-critically finite, i.e., there exists a non-empty, Zariski-open $W \subseteq X$ such that $\varphi^{-1}(W) \subseteq W$ and $\varphi : W \to X$ is \'etale, we prove that $K(\varphi^{-\infty}(\alpha))$ is ramified over only finitely many primes of $K$. This provides a large supply of infinite extensions with restricted ramification, and generalizes results of Aitken-Hajir-Maire in the case $X = \mathbb{A}^1$ and Cullinan-Hajir, Jones-Manes in the case $X = \mathbb{P}^1$. Moreover, we conjecture that this finite ramification condition characterizes post-critically finite morphisms, and we give an entirely new result showing this for $X = \mathbb{P}^1$. The proof relies on Faltings' theorem and a local argument.


title: Optimized Mission Planning for Planetary Exploration Rovers

abstract: The exploration of planetary surfaces is predominately unmanned, calling for a landing vehicle and an autonomous and/or teleoperated rover. Artificial intelligence and machine learning techniques can be leveraged for better mission planning. This paper describes the coordinated use of both global navigation and metaheuristic optimization algorithms to plan the safe, efficient missions. The aim is to determine the least-cost combination of a safe landing zone (LZ) and global path plan, where avoiding terrain hazards for the lander and rover minimizes cost. Computer vision methods were used to identify surface craters, mounds, and rocks as obstacles. Multiple search methods were investigated for the rover global path plan. Several combinatorial optimization algorithms were implemented to select the shortest distance path as the preferred mission plan. Simulations were run for a sample Google Lunar X Prize mission. The result of this study is an optimization scheme that path plans with the A* search method, and uses simulated annealing to select ideal LZ-path- goal combination for the mission. Simulation results show the methods are effective in minimizing the risk of hazards and increasing efficiency. This paper is specific to a lunar mission, but the resulting architecture may be applied to a large variety of planetary missions and rovers.


title: Harnack inequalities for the curve shortening flow

abstract: We offer an algorithmic approach for determining Harnack quantities for the curve shortening flow and we show how, following this procedure, one can obtain Hamilton's Harnack inequality for this flow $\kappa_t + \frac{1}{2t}\kappa \geq \frac{\kappa_s^2}{\kappa}$, where $\kappa$ is the curvature of the curve being deformed by the flow.


title: A Harnack inequality for the parabolic Allen-Cahn equation

abstract: We prove a differential Harnack inequality for the solution of the parabolic Allen-Cahn equation $ \frac{\partial f}{\partial t}=\triangle f-(f^3-f)$ on a closed n-dimensional manifold. As a corollary we find a classical Harnack inequality. We also formally compare the standing wave solution to a gradient estimate of Modica from the 1980s for the elliptic equation.


title: Multiple-correction and summation of the rational series

abstract: The goal of this work is to formulate a systematical method for looking for the simple closed form or continued fraction representation of a class of rational series. As applications, we obtain the continued fraction representations for the alternating Mathieu series and some rational series. The main tools are multiple-correction and two of Ramanujan's continued fraction formulae involving the quotient of the gamma functions.


title: Cohomology groups of homogeneous Poisson structures

abstract: We generalize the notion of weight for Gelfan'd-Fuks cohomology theory of symplectic vector spaces to the homogeneous Poisson vector spaces, and try some combinatorial approach to Poisson cohomology groups.


title: Imaging Renal Urea Handling in Rats at Millimeter Resolution using Hyperpolarized Magnetic Resonance Relaxometry

abstract: \textit{In vivo} spin spin relaxation time ($T_2$) heterogeneity of hyperpolarized \textsuperscript{13}C urea in the rat kidney was investigated. Selective quenching of the vascular hyperpolarized \textsuperscript{13}C signal with a macromolecular relaxation agent revealed that a long-$T_2$ component of the \textsuperscript{13}C urea signal originated from the renal extravascular space, thus allowing the vascular and renal filtrate contrast agent pools of the \textsuperscript{13}C urea to be distinguished via multi-exponential analysis. The $T_2$ response to induced diuresis and antidiuresis was performed with two imaging agents: hyperpolarized \textsuperscript{13}C urea and a control agent hyperpolarized bis-1,1-(hydroxymethyl)-1-\textsuperscript{13}C-cyclopropane-$^2\textrm{H}_8$. Large $T_2$ increases in the inner-medullar and papilla were observed with the former agent and not the latter during antidiuresis suggesting that $T_2$ relaxometry may be used to monitor the inner-medullary urea transporter (UT)-A1 and UT-A3 mediated urea concentrating process. Two high resolution imaging techniques - multiple echo time averaging and ultra-long echo time sub-2 mm$^3$ resolution 3D imaging - were developed to exploit the particularly long relaxation times observed.


title: Vanishing shear viscosity and boundary layers for plane magnetohydrodynamics flows

abstract: In this paper, we consider an initial-boundary problem for plane magnetohydrodynamics flows under the general condition on the heat conductivity $\kappa$ that may depend on both the density $\rho$ and the temperature $\theta$ and satisfies $$ \kappa(\rho,\theta)\geq\kappa_1(1+\theta^{q}) \quad \hbox{\rm with constants}~ \kappa_1>0 ~\hbox{\rm and}~ q>0. $$ We prove the global existence of strong solutions for large initial data and justify the passage to the limit as the shear viscosity $\mu$ goes to zero. Furthermore, the value $\mu^\alpha$ with any $0<\alpha<1/2$ is established for the boundary layer thickness.


title: Verification of commercial motor performance for WEAVE at the William Herschel Telescope

abstract: WEAVE is a 1000-fiber multi-object spectroscopic facility for the 4.2~m William Herschel Telescope. It will feature a double-headed pick-and-place fiber positioning robot comprising commercially available robotic axes. This paper presents results on the performance of these axes, obtained by testing a prototype system in the laboratory. Positioning accuracy is found to be better than the manufacturer's published values for the tested cases, indicating that the requirement for a maximum positioning error of 8.0~microns is achievable. Field reconfiguration times well within the planned 60 minute observation window are shown to be likely when individual axis movements are combined in an efficient way.


title: Mordell integrals and Giveon-Kutasov duality

abstract: We solve, for finite $N$, the matrix model of supersymmetric $U(N)$ Chern-Simons theory coupled to $N_{f}$ massive hypermultiplets of $R$-charge $\frac{1}{2}$, together with a Fayet-Iliopoulos term. We compute the partition function by identifying it with a determinant of a Hankel matrix, whose entries are parametric derivatives (of order $N_{f}-1$) of Mordell integrals. We obtain finite Gauss sums expressions for the partition functions. We also apply these results to obtain an exhaustive test of Giveon-Kutasov (GK) duality in the $\mathcal{N}=3$ setting, by systematic computation of the matrix models involved. The phase factor that arises in the duality is then obtained explicitly. We give an expression characterized by modular arithmetic (mod 4) behavior that holds for all tested values of the parameters (checked up to $N_{f}=12$ flavours).


title: Search for Flavor Changing Non-standard Interactions with the MINOS+ Experiment

abstract: A study of MINOS+ sensitivity to non-standard interactions and previously published results using MINOS data are presented.


title: Eigenvalue Clustering, Control Energy, and Logarithmic Capacity

abstract: We prove two bounds showing that if the eigenvalues of a matrix are clustered in a region of the complex plane then the corresponding discrete-time linear system requires significant energy to control. A curious feature of one of our bounds is that the dependence on the region is via its logarithmic capacity, which is a measure of how well a unit of mass may be spread out over the region to minimize a logarithmic potential.


title: Wong-Zakai Approximation for SDEs Driven by $G-$Brownian Motion

abstract: In this paper, we build the equivalence between rough differential equations driven by the lifted $G$-Brownian motion and the corresponding Stratonovich type SDE through the Wong-Zakai approximation. The quasi-surely convergence rate of Wong-Zakai approximation to $G-$SDEs with mesh-size $\frac{1}{n}$ in the $\alpha$-H\"older norm is estimated as $(\frac{1}{n})^{\frac12-}.$ As corollary, we obtain the quasi-surely continuity of the above RDEs with respect to uniform norm.


title: Harvesting Full-Duplex Rate Gains in Cellular Networks with Half-Duplex User Terminals

abstract: Full-Duplex (FD) transceivers may be expensive in terms of complexity, power consumption, and price to be implemented in all user terminals. Therefore, techniques to exploit in-band full-duplex communication with FD base stations (BSs) and half-duplex (HD) users' equipment (UEs) are required. In this context, 3-node topology (3NT) has been recently proposed for FD BSs to reuse the uplink (UL) and downlink (DL) channels with HD terminals within the same cell. In this paper, we present a tractable mathematical framework, based on stochastic geometry, for 3NT in cellular networks. To this end, we propose a design paradigm via pulse-shaping and partial overlap between UL and DL channels to maximize the harvested rate gains in 3NT. The results show that 3NT achieves a close performance to networks with FD BSs and FD UEs, denoted by 2-node topology (2NT) networks. A maximum of 5$\%$ rate loss is reported when 3NT is compared to 2NT with efficient self-interference cancellation (SIC). If the SIC in 2NT is not efficient, 3NT highly outperforms 2NT. Consequently, we conclude that, irrespective to the UE duplexing scheme, it is sufficient to have FD BSs to harvest FD rate gains.


title: On the fraction-dimension migration of self-interstitials in zirconium

abstract: MD simulations were conducted to study the self-interstitial migration in zirconium. By defining the crystal lattice point, at which more than one atom fall in the Wigner-Seitz cell of the lattice point, for the location of interstitial atoms (LSIA), three types of events were identified for LSIA migration: the jump remaining in one <112_0> direction (ILJ), the jump from one <112_0> to another <112_0> direction in the same basal plane (OLJ) and the jump from one basal plane to an adjacent basal plane (OPJ). The occurrence frequencies of the three types were calculated. ILJ was found to be the dominant event in the temperature range (300K to 1200K), but the occurrence frequencies of OLJ and OPJ increased with increasing temperature. Although the three types of jumps may not follow Brownian and Arrhenius behavior, on the whole, the migration of the LSIAs tend to be Brownian-like. Moreover, the migration trajectories of LSAs in the hcp basal-plane are not what are observed if only conventional one- or two-dimensional migrations exist; rather, they exhibit the feature we call fraction-dimensional. Namely, the trajectories are composed of line segments in <112_0> directions with the average length of the line segments varying with the temperature. Using MC simulations, the potential kinetic impacts of the fraction-dimensional migration, measured by the average number of lattice sites visited per jump event n_SPE was analyzed. The significant differences between the n_SPE value of the fraction-dimensional migration and those of the conventional one- and two-dimensional migrations suggest that the conventional diffusion coefficient, which cannot reflect the feature of fraction-dimensional migration, cannot give an accurate description of the underlying kinetics of SIAs in Zr.


title: Classification of eventually periodic subshifts

abstract: We provide a classification of eventually periodic subshifts up to conjugacy and flow equivalence. We use our results to prove that each skew Sturmian subshift is conjugate to exactly one other skew Sturmian subshift and that all skew Sturmian subshifts are flow equivalent to one another.


title: Kraus Mapping for atom-cavity and reservoir system

abstract: We propose a way to understand the evolution of an open quantum system using a description that dispenses a continuous evolution in time, by discrete operators entangled states, in its most direct and fundamental way. We show that the successive application of these operators in very small time intervals reproduce continuous evolution. It describes and compares the temporal evolution of an open quantum system of three levels, for which the Lindblad equation is solved to obtain the density matrix function of time, a method is developed to find Kraus operators time dependent and also finds constant Kraus operators differentials operate computationally $ n $ times evolving in discrete-time $ \Delta t = \tau = t / n $. It is seen in the example of atom cavity inside a reservoir that by calculating the distance and the relative error we define is a relationship with the evolution of discrete steps and physical variables as $ \omega $ which presuppose a natural discretization found time.


title: Multi-Nucleon Exchange in Quasi-Fission Reactions

abstract: Nucleon exchange mechanism is investigated in the central collisions of ${}^{40}$Ca + ${}^{238}$U and ${}^{48}$Ca + ${}^{238}$U systems near the quasi-fission regime in the framework of the Stochastic Mean-Field (SMF) approach. Sufficiently below the fusion barrier, di-nuclear structure in the collisions is maintained to a large extend. Consequently, it is possible to describe nucleon exchange as a diffusion process familiar from deep-inelastic collisions. Diffusion coefficients for proton and neutron exchange are determined from the microscopic basis of the SMF approach in the semi-classical framework. Calculations show that after a fast charge equilibration the system drifts toward symmetry over a very long interaction time. Large dispersions of proton and neutron distributions of the produced fragments indicate that diffusion mechanism may help to populate heavy trans-uranium elements near the quasi-fission regime in these collisions.


title: Exploiting Redundant Computation in Communication-Avoiding Algorithms for Algorithm-Based Fault Tolerance

abstract: Communication-avoiding algorithms allow redundant computations to minimize the number of inter-process communications. In this paper, we propose to exploit this redundancy for fault-tolerance purpose. We illustrate this idea with QR factorization of tall and skinny matrices, and we evaluate the number of failures our algorithm can tolerate under different semantics.


title: Large-scale probabilistic predictors with and without guarantees of validity

abstract: This paper studies theoretically and empirically a method of turning machine-learning algorithms into probabilistic predictors that automatically enjoys a property of validity (perfect calibration) and is computationally efficient. The price to pay for perfect calibration is that these probabilistic predictors produce imprecise (in practice, almost precise for large data sets) probabilities. When these imprecise probabilities are merged into precise probabilities, the resulting predictors, while losing the theoretical property of perfect calibration, are consistently more accurate than the existing methods in empirical studies.


title: Recent progress in hadron structure from Lattice QCD

abstract: We review recent progress in hadron structure using lattice QCD simulations, with main focus in the evaluation of nucleon quantities such as the axial and tensor charges, and the spin con- tent of the nucleon, using simulations at pion masses close to the physical value. We highlight developments on the evaluation of the gluon moment, a new direct approach to compute quark parton distributions functions on the lattice, as well as, the neutron electric dipole moment. A discussion of the systematic uncertainties and the computation of the disconnected contributions using dynamical simulations is also included.


title: A Unified Tagging Solution: Bidirectional LSTM Recurrent Neural Network with Word Embedding

abstract: Bidirectional Long Short-Term Memory Recurrent Neural Network (BLSTM-RNN) has been shown to be very effective for modeling and predicting sequential data, e.g. speech utterances or handwritten documents. In this study, we propose to use BLSTM-RNN for a unified tagging solution that can be applied to various tagging tasks including part-of-speech tagging, chunking and named entity recognition. Instead of exploiting specific features carefully optimized for each task, our solution only uses one set of task-independent features and internal representations learnt from unlabeled text for all tasks.Requiring no task specific knowledge or sophisticated feature engineering, our approach gets nearly state-of-the-art performance in all these three tagging tasks.


title: On spatial resolution, signal-to-noise and information capacity of linear imaging systems

abstract: A simple model for image formation in linear shift-invariant systems is considered, in which both the detected signal and the noise variance are varying slowly compared to the point-spread function of the system. It is shown that within the constraints of this model, the square of the signal-to-noise ratio is always proportional to the "volume" of the spatial resolution unit. In the case of Poisson statistics, the ratio of these two quantities divided by the incident density of the imaging particles (e.g. photons) represents a dimensionless invariant of the imaging system, which was previously termed the intrinsic imaging quality. The relationship of this invariant to the notion of information capacity of communication and imaging systems, which was previously considered by Shannon, Gabor and others, is investigated. The results are then applied to a simple generic model of quantitative imaging of weakly scattering objects, leading to an estimate of the upper limit for the amount of information about the sample that can be obtained in such experiments. It is shown that this limit depends only on the total number of imaging particles incident on the sample, the average scattering coefficient, the size of the sample and the number of spatial resolution units.


title: Using Raspberry Pi for scientific video observation of pedestrians during a music festival

abstract: The document serves as a reference for researchers trying to capture a large portion of a mass event on video for several hours, while using a very limited budget.


title: Ab initio GW plus cumulant calculation for isolated band system: Application to organic conductor (TMTSF)2PF6 and transition-metal oxide SrVO3

abstract: We present ab initio GW plus cumulant-expansion calculations for an organic compound (TMTSF)2PF6 and a transition-metal oxide SrVO3. These materials exhibit characteristic low-energy band structures around the Fermi level, which bring about interesting low-energy properties; the low-energy bands near the Fermi level are isolated from the other bands and, in the isolated bands, unusually low-energy plasmon excitations occur. To study the effect of this low-energy-plasmon fluctuation on the electronic structure, we calculate spectral functions and photoemission spectra using the ab initio cumulant expansion of the Green's function based on the GW self-energy. We found that the low-energy plasmon fluctuation leads to an appreciable renormalization of the low-energy bands and a transfer of the spectral weight into the incoherent part, thus resulting in an agreement with experimental photoemission data.


title: Growth and characterization of R(O,F)BiS2 (R = La, Ce, Pr, Nd) superconducting single crystals

abstract: R(O,F)BiS2 (R: La, Ce, Pr, Nd) superconducting single crystals with different F concentrations are grown using a CsCl/KCl flux. The obtained 1-2 mm-sized single crystals have a plate-like shape and are cleavable along the ab-plane. The crystal structure is tetragonal of space group P4/nmm (#129). The as-grown single crystals exhibit superconductivity at around 3-5 K. The superconducting transition temperature increases with decreasing the ionic radius of the R element. The superconducting anisotropies of the R(O,F)BiS2 single crystals are estimated to be 30-60 according to the effective mass model, whereas the anisotropies for Ce(O,F)BiS2 single crystals are 13-21. The c-axis transport measurements of a single crystal of Pr(O,F)BiS2 under a magnetic field parallel to the ab-plane reveal a "lock-in" state attributed to the Josephson vortex flow. Furthermore, the Ce(O,F)BiS2 single crystals exhibit a magnetic order at the temperature range of 5-7 K that apparently coexist with superconductivity below approximately 3 K.


title: Constraints on top quark flavor changing neutral currents using diphoton events at the LHC

abstract: In this paper we show that the diphoton mass spectrum in proton-proton collisions at the LHC is sensitive to the top quark flavor changing neutral current in the vertices of $tu\gamma$ and $tc\gamma$. The diphoton mass spectrum measured by the CMS experiment at the LHC at a center-of-mass energy of 8 TeV and an integrated luminosity of 19.5 fb$^{-1}$ is used as an example to set limits on these FCNC couplings. It is also shown that the angular distribution of the diphotons is sensitive to anomalous $tu\gamma$ and $tc\gamma$ couplings and it is a powerful tool to probe any value of the branching fraction of top quark rare decay to an up-type quark plus a photon down to the order of $10^{-4}$. We also show that the $tu\gamma$ FCNC coupling has a significant contribution to the neutron electric dipole moment (EDM) and the upper bound on neutron EDM can be used to constrain the $tu\gamma$ FCNC coupling.


title: LM-CMA: an Alternative to L-BFGS for Large Scale Black-box Optimization

abstract: The limited memory BFGS method (L-BFGS) of Liu and Nocedal (1989) is often considered to be the method of choice for continuous optimization when first- and/or second- order information is available. However, the use of L-BFGS can be complicated in a black-box scenario where gradient information is not available and therefore should be numerically estimated. The accuracy of this estimation, obtained by finite difference methods, is often problem-dependent that may lead to premature convergence of the algorithm. In this paper, we demonstrate an alternative to L-BFGS, the limited memory Covariance Matrix Adaptation Evolution Strategy (LM-CMA) proposed by Loshchilov (2014). The LM-CMA is a stochastic derivative-free algorithm for numerical optimization of non-linear, non-convex optimization problems. Inspired by the L-BFGS, the LM-CMA samples candidate solutions according to a covariance matrix reproduced from $m$ direction vectors selected during the optimization process. The decomposition of the covariance matrix into Cholesky factors allows to reduce the memory complexity to $O(mn)$, where $n$ is the number of decision variables. The time complexity of sampling one candidate solution is also $O(mn)$, but scales as only about 25 scalar-vector multiplications in practice. The algorithm has an important property of invariance w.r.t. strictly increasing transformations of the objective function, such transformations do not compromise its ability to approach the optimum. The LM-CMA outperforms the original CMA-ES and its large scale versions on non-separable ill-conditioned problems with a factor increasing with problem dimension. Invariance properties of the algorithm do not prevent it from demonstrating a comparable performance to L-BFGS on non-trivial large scale smooth and nonsmooth optimization problems.


title: Determining hyperbolic 3-manifolds by their surfaces

abstract: In this article, we prove that the commensurability class of a closed, orientable, hyperbolic 3-manifold is determined by the surface subgroups of its fundamental group. Moreover, we prove that there can be only finitely many closed, orientable, hyperbolic 3-manifolds that have the same set of surfaces.


title: Polycyclic, metabelian or soluble of type (FP)$_{\infty}$ groups with boolean algebra of rational sets and biautomatic soluble groups are virtually abelian

abstract: Let $G$ be a polycyclic, metabelian or soluble of type (FP)$_{\infty}$ group such that the class $Rat(G)$ of all rational subsets of $G$ is a boolean algebra. Then $G$ is virtually abelian. Every soluble biautomatic group is virtually abelian.


title: Linearity of regression for weak records, revisited

abstract: Since many years characterization of distribution by linearity of regression of non-adjacent weak records E(W_{i+s}|W_i) = \beta_1 W_i+\beta_0 for discrete observations has been known to be a difficult question. Lopez- Blazquez (2004) proposed an interesting idea of reducing it to the adjacent case and claimed to have the characterization problem completely solved. We will explain that, unfortunately, there is a major aw in the proof given in that paper. This aw is related to fact that in some situations the operator responsible for reduction of the non-adjacent case to the adjacent one is not injective. The operator is trivially injective when 0<\beta_1<1. We show that when \beta_1>=1 the operator is injective when s = 2, 3, 4. Therefore in these cases the method proposed by Lopez-Blazquez is valid. We also show that the operator is not injective when \beta_1 >=1 and s >= 5. Consequently, in this case the reduction methodology does not work and thus the characterization problem remains open.


title: Intrinsic time in Wheeler-DeWitt conformal superspace

abstract: An intrinsic time in Geometrodynamics is obtained with using a scaled Dirac's mapping. By addition of a background metric, one can construct a scalar field. It is suitable to play a role of intrinsic time. Cauchy problem was successfully solved in conformal variables because they are physical ones. First, the intrinsic time as a logarithm of determinant of spatial metric, was applied to a cosmological problem by Misner. A global time is exist under condition of constant mean curvature slicing of spacetime. The volume of hypersurface and so-called mean York's time are canonical conjugated pair. So, the volume is the intrinsic global time by its sense. The experimentally observed redshift in cosmology is the evidence of its existence.


title: Exact solutions of Friedmann equation for supernovae data

abstract: An intrinsic time of homogeneous models is global. The Friedmann equation by its sense ties time intervals. Exact solutions of the Friedmann equation in Standard cosmology and Conformal cosmology are presented. Theoretical curves interpolated the Hubble diagram on latest supernovae are expressed in analytical form. The class of functions in which the concordance model is described is Weierstrass meromorphic functions. The Standard cosmological model and Conformal one fit the modern Hubble diagram equivalently. However, the physical interpretation of the modern data from concepts of the Conformal cosmology is simpler, so is preferable.


title: Darboux-Weinstein theorem for locally conformally symplectic manifolds

abstract: A locally conformally symplectic (LCS) form is an almost symplectic form $\omega$ such that a closed one-form $\theta$ exists with $d\omega = \theta \wedge \omega$. We present a version of the well-known result of Darboux and Weinstein in the LCS setting and give an application concerning Lagrangian submanifolds.


title: Unmixed r-partite graphs

abstract: Unmixed bipartite graphs have been characterized by Ravadra and Villarreal independently. Our aim in this paper is to characterize unmixed r-partite graphs under a certain condition, witch is a generalization of villarreal's theorem on bipartite graphs. Also we give some examples and counterexamples in relevance this subject.


title: A Kinematic Condition on Intrinsic Charm

abstract: We derive a kinematic condition on the resolution of intrinsic charm and discuss phenomenological consequences.


abstract: The properties of Volterra-composition operators on the weighted Bergman space with exponential type weights are investigated in this paper. We state some necessary and sufficient conditions that a Volterra-composition operator from the weighted Bergman space to Bloch type space ( or little Bloch type space ) must satisfy for the Volterra-composition operator to be bounded or compact.


title: Gravitational waves: Classification, Methods of detection, Sensitivities, and Sources

abstract: After giving a brief introduction and presenting a complete classification of gravitational waves (GWs) according to their frequencies, we review and summarize the detection methods, the sensitivities, and the sources. We notice that real-time detections are possible above 300 pHz. Below 300 pHz, the detections are possible on GW imprints or indirectly. We are on the verge of detection. The progress in this field will be promising and thriving. We will see improvement of a few orders to several orders of magnitude in the GW detection sensitivities over all frequency bands in the next hundred years.


title: RKKY-like contributions to the magnetic anisotropy energy: 3d adatoms on Pt(111) surface

abstract: The magnetic anisotropy energy defines the energy barrier that stabilizes a magnetic moment. Utilizing density functional theory based simulations and analytical formulations, we establish that this barrier is strongly modified by long-range contributions very similar to Frieden oscillations and Rudermann-Kittel-Kasuya-Yosida interactions. Thus, oscillations are expected and observed, with different decaying factors and highly anisotropic in realistic materials, which can switch non-trivially the sign of the magnetic anisotropy energy. This behavior is general and for illustration we address transition metals adatoms, Cr, Mn, Fe and Co deposited on Pt(111) surface. We explain in particular the mechanisms leading to the strong site-dependence of the magnetic anisotropy energy observed for Fe adatoms on Pt(111) surface as revealed previously via first-principles based simulations and inelastic scanning tunneling spectroscopy (A. A. Khajetoorians et al. Phys. Rev. Lett. 111, 157204 (2013)). The same mechanisms are probably active for the site-dependence of the magnetic anisotropy energy obtained for Fe adatoms on Pd or Rh(111) surfaces and for Co adatoms on Rh(111) surface (P. Blonski et al. Phys. Rev. B 81, 104426 (2010)).


title: Adaptive Spectral Galerkin Methods with Dynamic Marking

abstract: The convergence and optimality theory of adaptive Galerkin methods is almost exclusively based on the D\"orfler marking. This entails a fixed parameter and leads to a contraction constant bounded below away from zero. For spectral Galerkin methods this is a severe limitation which affects performance. We present a dynamic marking strategy that allows for a super-linear relation between consecutive discretization errors, and show exponential convergence with linear computational complexity whenever the solution belongs to a Gevrey approximation class.


title: Haantjes Structures for the Jacobi-Calogero Model and the Benenti Systems

abstract: In the context of the theory of symplectic-Haantjes manifolds, we construct the Haantjes structures of generalized St\"ackel systems and, as a particular case, of the quasi-bi-Hamiltonian systems. As an application, we recover the Haantjes manifolds for the rational Calogero model with three particles and for the Benenti systems.


title: Broadband Macroscopic Cortical Oscillations Emerge from Intrinsic Neuronal Response Failures

abstract: Broadband spontaneous macroscopic neural oscillations are rhythmic cortical firing which were extensively examined during the last century, however, their possible origination is still controversial. In this work we show how macroscopic oscillations emerge in solely excitatory random networks and without topological constraints. We experimentally and theoretically show that these oscillations stem from the counterintuitive underlying mechanism - the intrinsic stochastic neuronal response failures. These neuronal response failures, which are characterized by short-term memory, lead to cooperation among neurons, resulting in sub- or several- Hertz macroscopic oscillations which coexist with high frequency gamma oscillations. A quantitative interplay between the statistical network properties and the emerging oscillations is supported by simulations of large networks based on single-neuron in-vitro experiments and a Langevin equation describing the network dynamics. Results call for the examination of these oscillations in the presence of inhibition and external drives.


title: Efficient algorithms for general periodic Lorentz gases in two and three dimensions

abstract: We present efficient algorithms to calculate trajectories for periodic Lorentz gases consisting of square lattices of circular obstacles in two dimensions, and simple cubic lattices of spheres in three dimensions; these become increasingly efficient as the radius of the obstacles tends to 0, the so-called Boltzmann-Grad limit. The 2D algorithm applies continued fractions to obtain the exact disc with which a particle will collide at each step, instead of using periodic boundary conditions as in the classical algorithm. The 3D version incorporates the 2D algorithm by projecting to the three coordinate planes. As an application, we calculate distributions of free path lengths close to the Boltzmann-Grad limit for certain Lorentz gases. We also show how the algorithms may be applied to deal with general crystal lattices.


title: Measure-Transformed Quasi Maximum Likelihood Estimation

abstract: In this paper the Gaussian quasi maximum likelihood estimator (GQMLE) is generalized by applying a transform to the probability distribution of the data. The proposed estimator, called measure-transformed GQMLE (MT-GQMLE), minimizes the empirical Kullback-Leibler divergence between a transformed probability distribution of the data and a hypothesized Gaussian probability measure. By judicious choice of the transform we show that, unlike the GQMLE, the proposed estimator can gain sensitivity to higher-order statistical moments and resilience to outliers leading to significant mitigation of the model mismatch effect on the estimates. Under some mild regularity conditions we show that the MT-GQMLE is consistent, asymptotically normal and unbiased. Furthermore, we derive a necessary and sufficient condition for asymptotic efficiency. A data driven procedure for optimal selection of the measure transformation parameters is developed that minimizes the trace of an empirical estimate of the asymptotic mean-squared-error matrix. The MT-GQMLE is applied to linear regression and source localization and numerical comparisons illustrate its robustness and resilience to outliers.


title: Quark stars admixed with dark matter

abstract: Compact stars consisting of massless quark matter and fermionic dark matter are studied by solving the Tolman-Oppenheimer-Volkoff equations for two fluids separately. Dark matter is further investigated by incorporating inter-fermionic interactions among the dark matter particles. The properties of stars made of quark matter particles and self-interacting and free dark matter particles are explored by obtaining their mass-radius relations. The regions of stability for such a compact star are determined and it is demonstrated that the maximum stable total mass of such a star decreases approximately linearly with increasing dark matter fraction.


title: Studies of systematic limitations in the EDM searches at storage rings

abstract: Searches of the electric dipole moment (EDM) at a pure magnetic ring, like COSY, encounter strong background coming from magnetic dipole moment (MDM). The most troubling issue is the MDM spin rotation in the so-called imperfection, radial and longitudinal, B-fields. To study the systematic effects of the imperfection fields at COSY we proposed the original method which makes use of the two static solenoids acting as artificial imperfections. Perturbation of the spin tune caused by the spin kicks in the solenoids probes the systematic effect of cumulative spin rotation in the imperfection fields all over the ring. The spin tune is one of the most precise quantities measured presently at COSY at $10^{-10}$ level. The method has been successfully tested in September 2014 run at COSY, unravelling strength of spin kicks in the ring's imperfection fields at the level of $10^{-3} rad$.


title: Consensus and Formation Control on SE(3) for Switching Topologies

abstract: This paper addresses the consensus problem and the formation problem on SE(3) in multi-agent systems with directed and switching interconnection topologies. Several control laws are introduced for the consensus problem. By a simple transformation, it is shown that the proposed control laws can be used for the formation problem. The design is first conducted on the kinematic level, where the velocities are the control laws. Then, for rigid bodies in space, the design is conducted on the dynamic level, where the torques and the forces are the control laws. On the kinematic level, first two control laws are introduced that explicitly use Euclidean transformations, then separate control laws are defined for the rotations and the translations. In the special case of purely rotational motion, the consensus problem is referred to as consensus on SO(3) or attitude synchronization. In this problem, for a broad class of local representations or parameterizations of SO(3), including the Axis-Angle Representation, the Rodrigues Parameters and the Modified Rodrigues Parameters, two types of control laws are presented that look structurally the same for any choice of local representation. For these two control laws we provide conditions on the initial rotations and the connectivity of the graph such that the system reaches consensus on SO(3). Among the contributions of this paper, there are conditions for when exponential rate of convergence occur. A theorem is provided showing that for any choice of local representation for the rotations, there is a change of coordinates such that the transformed system has a well known structure.


title: Experimental demonstration of quantum contextuality on an NMR qutrit

abstract: We experimentally test quantum contextuality of a single qutrit using NMR. The contextuality inequalities based on nine observables developed by Kurzynski et. al. are first reformulated in terms of traceless observables which can be measured in an NMR experiment. These inequalities reveal the contextuality of almost all single-qutrit states. We demonstrate the violation of the inequality on four different initial states of a spin-1 deuterium nucleus oriented in a liquid crystal matrix, and follow the violation as the states evolve in time. We also describe and experimentally perform a single-shot test of contextuality for a subclass of qutrit states whose density matrix is diagonal in the energy basis.


title: Performance evaluation of the general characteristics based off-lattice Boltzmann and DUGKS methods for low speed continuum flows: A comparative study

abstract: The general characteristics based off-lattice Boltzmann scheme (BKG) proposed by Bardow et~al.(2006), and the discrete unified gas kinetic scheme (DUGKS) are two methods that successfully overcome the time step restriction by the collision time, which is commonly seen in many other kinetic schemes. Basically, the BKG scheme is a time splitting scheme, while the DUGKS is an un-split finite volume scheme. In this work, we first perform a theoretical analysis of the two schemes in the finite volume framework by comparing their numerical flux evaluations. It is found that the effects of collision term are considered in the reconstructions of the cell-interface distribution function in both schemes, which explains why they can overcome the time step restriction and can give accurate results even as the time step is much larger than the collision time. The difference between the two schemes lies in the treatment of the integral of the collision term, in which the Bardow's scheme uses the rectangular rule while the DUGKS uses the trapezoidal rule. The performance of the two schemes, i.e., accuracy, stability, and efficiency are then compared by simulating several two dimensional flows, including the unsteady Taylor-Green vortex flow, the steady lid-driven cavity flow, and the laminar boundary layer problem. It is observed that, the DUGKS can give more accurate results than the BKG scheme. Furthermore, the numerical stability of the BKG scheme decreases as the Courant-Friedrichs-Lewy (CFL) number approaches to 1, while the stability of DUGKS is not affected by the CFL number apparently as long as CFL<1. It is also observed that the BKG scheme is about one time faster than the DUGKS scheme with the same computational mesh and time step.


title: Shortest Reconfiguration of Sliding Tokens on a Caterpillar

abstract: Suppose that we are given two independent sets I_b and I_r of a graph such that |I_b|=|I_r|, and imagine that a token is placed on each vertex in |I_b|. Then, the sliding token problem is to determine whether there exists a sequence of independent sets which transforms I_b into I_r so that each independent set in the sequence results from the previous one by sliding exactly one token along an edge in the graph. The sliding token problem is one of the reconfiguration problems that attract the attention from the viewpoint of theoretical computer science. The reconfiguration problems tend to be PSPACE-complete in general, and some polynomial time algorithms are shown in restricted cases. Recently, the problems that aim at finding a shortest reconfiguration sequence are investigated. For the 3SAT problem, a trichotomy for the complexity of finding the shortest sequence has been shown, that is, it is in P, NP-complete, or PSPACE-complete in certain conditions. In general, even if it is polynomial time solvable to decide whether two instances are reconfigured with each other, it can be NP-complete to find a shortest sequence between them. Namely, finding a shortest sequence between two independent sets can be more difficult than the decision problem of reconfigurability between them. In this paper, we show that the problem for finding a shortest sequence between two independent sets is polynomial time solvable for some graph classes which are subclasses of the class of interval graphs. More precisely, we can find a shortest sequence between two independent sets on a graph G in polynomial time if either G is a proper interval graph, a trivially perfect graph, or a caterpillar. As far as the authors know, this is the first polynomial time algorithm for the shortest sliding token problem for a graph class that requires detours.


title: Holographic Mutual Information for Singular Surfaces

abstract: We study corner contributions to holographic mutual information for entangling regions composed of a set of disjoint sectors of a single infinite circle in three-dimensional conformal field theories. In spite of the UV divergence of holographic mutual information, it exhibits a first order phase transition. We show that tripartite information is also divergent for disjoint sectors, which is in contrast with the well-known feature of tripartite information being finite even when entangling regions share boundaries. We also verify the locality of corner effects by studying mutual information between regions separated by a sharp annular region. Possible extensions to higher dimensions and hyperscaling violating geometries is also considered for disjoint sectors.


title: Reconciling the infrared catastrophe and observations of SN 2011fe

abstract: The observational effects of the 'Infrared Catastrophe' are discussed in view of the very late observations of the Type Ia SN 2011fe. Our model spectra at 1000d take non-local radiative transfer into account, and find that this has a crucial impact on the spectral formation. Although rapid cooling of the ejecta to a few 100 K occurs also in these models, the late-time optical/NIR flux is brighter by 1-2 magnitudes due to redistribution of UV emissivity, resulting from non-thermal excitation and ionization. This effect brings models into better agreement with late-time observations of SN 2011fe and other Type Ia supernovae, and offers a solution to the long standing discrepancy between models and observations. The models show that spectral formation shifts from Fe II and Fe III at 300d to Fe I at 1000d, which explains the apparent wavelength shifts seen in SN2011fe. We discuss effects of time dependence and energy input from 57Co, finding both to be important at 1000d.


title: New congruences for 2-color partitions

abstract: Let $p_k(n)$ denote the number of $2$-color partitions of $n$ where one of the colors appears only in parts that are multiples of $k$. We will prove a conjecture of Ahmed, Baruah, and Dastidar on congruences modulo $5$ for $p_k(n)$. Moreover, we will present some new congruences modulo $7$ for $p_4(n)$.


title: Quantum Phase Transitions in the BKL Universe

abstract: We study quantum corrections to the classical Bianchi I and Bianchi IX universes. The modified dynamics is well-motivated from the asymptotic safety program where the short-distance behavior of gravity is governed by a non-trivial renormalization group fixed point. The correction terms induce a phase transition in the dynamics of the model, changing the classical, chaotic Kasner oscillations into a uniform approach to a point singularity. The resulting implications for the microscopic structure of spacetime are discussed.


title: Formation of porous gas hydrates

abstract: Gas hydrates grown at gas-ice interfaces are examined by electron microscopy and found to have a submicron porous texture. Permeability of the intervening hydrate layers provides the connection between the two counterparts (gas and water molecules) of the clathration reaction and makes further hydrate formation possible. The study is focused on phenomenological description of principal stages and rate-limiting processes that control the kinetics of the porous gas hydrate crystal growth from ice powders. Although the detailed physical mechanisms involved in the porous hydrate formation still are not fully understood, the initial stage of hydrate film spreading over the ice surface should be distinguished from the subsequent stage which is presumably limited by the clathration reaction at the ice-hydrate interface and develops after the ice grain coating is finished. The model reveals a time dependence of the reaction degree essentially different from that when the rate-limiting step of the hydrate formation at the second stage is the gas and water transport (diffusion) through the hydrate shells surrounding the shrinking ice cores. The theory is aimed at the interpretation of experimental data on the hydrate growth kinetics.


title: Generalized thermalization time of dark matter captured by neutron stars

abstract: We discuss the issue on dark matter capture by neutron stars, in particular the process of dark matter thermalization, by which the scattering cross section and the mass of dark matter can be constrained. At first, we evaluate the thermalization time of self-interacting dark matter and find the effect of the self-interaction is small compared with that of the interaction with nucleons. Then we generalize the thermalization time by introducing a set of new parameters. We show how the cross section is affected by those new parameters. It turns out that the cross section gets very sensitive to and strongly constrained by one of the new parameters.


title: On global behavior of solutions of the Maxwell-Klein-Gordon equations

abstract: It is known that the Maxwell-Klein-Gordon equations in $\mathbb{R}^{3+1}$ admit global solutions with finite energy data. In this paper, we present a new approach to study the asymptotic behavior of these global solutions. We show the quantitative energy flux decay of the solutions with data merely bounded in some weighted energy space. We also establish an integrated local energy decay and a hierarchy of $r$-weighted energy decay. The results in particular hold in the presence of large total charge. This is the first result to give a complete and precise description of the global behavior of large nonlinear charged scalar fields.


title: Decay of solutions of Maxwell-Klein-Gordon equations with large Maxwell field

abstract: It has been shown in the author's companion paper that solutions of Maxwell-Klein-Gordon equations in $\mathbb{R}^{3+1}$ possess some form of global strong decay properties with data bounded in some weighted energy space. In this paper, we prove pointwise decay estimates for the solutions for the case when the initial data are merely small on the scalar field but can be arbitrarily large on the Maxwell field. This extends the previous result of Lindblad-Sterbenz \cite{LindbladMKG}, in which smallness was assumed both for the scalar field and the Maxwell field.


title: Light-quark baryon spectroscopy from ANL-Osaka dynamical coupled-channels analysis

abstract: We review our recent efforts for determining resonance parameters associated with light-quark baryons ($N^*$, $\Delta^*$, $\Lambda^*$, $\Sigma^*$) through comprehensive analyses of various meson production reactions off the nucleon within the ANL-Osaka dynamical coupled-channels approach.


title: Discrete time approximation of a COGARCH(p,q) model and its estimation

abstract: In this paper, we construct a sequence of discrete time stochastic processes that converges in probability and in the Skorokhod metric to a COGARCH(p,q) model. The result is useful for the estimation of the continuous model defined for irregularly spaced time series data. The estimation procedure is based on the maximization of a pseudo log-likelihood function and is implemented in the yuima package.


title: Qualitatively different collective and single particle dynamics in a supercooled liquid

abstract: The equations of fluctuating nonlinear hydrodynamics for a two component mixture are obtained with a proper choice of slow variables which correspond to the conservation laws in the system. Using these nonlinear equations we construct the basic equations of the mode coupling theory (MCT) and consequent ergodic-nonergodic (ENE) transition in a binary mixture. The model is also analyzed in the one component limit of the mixture to study the dynamics of a tagged particle in the sea of identical particles. According to the existing MCT, dynamics of the single particle correlation is slaved to that of the collective density fluctuations and hence both correlations freeze simultaneously at the ENE transition. We show here from a non-perturbative approach that at the ENE transition, characterized by the freezing of the long time limit of the dynamic correlation of collective density fluctuations to a nonzero value, the tagged particle correlation still decays to zero. Our result implies that the point at which simulation or experimental data of self diffusion constant extrapolate to zero would not correspond to the ENE transition of simple MCT.


title: Neural ring homomorphisms and maps between neural codes

abstract: Neural codes are binary codes that are used for information processing and representation in the brain. In previous work, we have shown how an algebraic structure, called the {\it neural ring}, can be used to efficiently encode geometric and combinatorial properties of a neural code [1]. In this work, we consider maps between neural codes and the associated homomorphisms of their neural rings. In order to ensure that these maps are meaningful and preserve relevant structure, we find that we need additional constraints on the ring homomorphisms. This motivates us to define {\it neural ring homomorphisms}. Our main results characterize all code maps corresponding to neural ring homomorphisms as compositions of 5 elementary code maps. As an application, we find that neural ring homomorphisms behave nicely with respect to convexity. In particular, if $\mathcal{C}$ and $\mathcal{D}$ are convex codes, the existence of a surjective code map $\mathcal{C}\rightarrow \mathcal{D}$ with a corresponding neural ring homomorphism implies that the minimal embedding dimensions satisfy $d(\mathcal{D}) \leq d(\mathcal{C})$.


title: Observation of long range magnetic ordering in pyrohafnate Nd2Hf2O7: A neutron diffraction study

abstract: We have investigated the physical properties of a pyrochlore hafnate Nd2Hf2O7 using ac magnetic susceptibility \chi_ac(T), dc magnetic susceptibility \chi(T), isothermal magnetization M(H) and heat capacity C_p(T) measurements, and determined the magnetic ground state by neutron powder diffraction study. An upturn is observed below 6 K in C_p(T)/T, however both C_p(T) and \chi(T) do not show any clear anomaly down to 2 K. The \chi_ac(T) shows a well pronounced anomaly indicating an antiferromagnetic transition at T_N = 0.55 K. The long range antiferromagnetic ordering is confirmed by neutron diffraction. The refinement of neutron diffraction pattern reveals an all-in/all-out antiferromagnetic structure, where for successive tetrahedra, the four Nd3+ magnetic moments point alternatively all-into or all-out-of the tetrahedron, with an ordering wavevector k = (0, 0, 0) and an ordered state magnetic moment of m = 0.62(1) \mu_B/Nd at 0.1 K. The ordered moment is strongly reduced reflecting strong quantum fluctuations in ordered state.


title: A New Approach to Euler Calculus for Continuous Integrands

abstract: Euler calculus is based on integrating simple functions with respect to the Euler characteristic. This paper makes the case for extending Euler calculus to continuous integrands by integrating with respect to (Gaussian) curvature. This requires a metric but is nevertheless defined within any O-minimal theory. It satisfies a Fubini theorem and extends to a functor. Euler calculus is the "adiabatic limit" of this "curvature calculus". All this suggests new applications of differential geometry to data analysis.


title: Proton Synchrotron Radiation from Extended Jets of PKS 0637-752 and 3C 273

abstract: Recently, the IC/CMB X-ray mechanism has been strongly disfavoured for 3C 273 and PKS 0637-752 since the anomalously hard and steady gamma-ray emission predicted by such models violates the observational results from Fermi-LAT. Here we propose the proton synchrotron origin of the X ray-gamma ray flux from the knots of PKS 0637-752 with a reasonable budget in luminosity, by considering synchrotron radiation from an accelerated proton population. Moreover, for the source 3C 273, some of the optical data points could not be explained by electron synchrotron (Meyer et al. 2015), which we have included in our updated proton synchrotron model. We also show that TeV emission from large scale quasar jets in principle, can arise from proton synchrotron, which we discuss in the context of knot wk8.9 of PKS 0637-752.


title: Current noise of the interacting resonant level model

abstract: We study the zero-frequency current noise of the interacting resonant level model for arbitrary bias voltages using a functional renormalization group approach. For this we extend the existing nonequilibrium scheme by deriving and solving flow equations for the current-vertex functions. On-resonance artificial divergences of the latter found in lowest-order perturbation theory in the two-particle interaction are consistently removed. Away from resonance they are shifted to higher orders. This allows us to gain a comprehensive picture of the current noise in the scaling limit. At high bias voltages, the current noise exhibits a universal power-law decay, whose exponent is to leading order in the interaction identical to that of the current. The effective charge on resonance is analyzed in detail employing properties of the vertex correction. We find that it is only modified to second or higher order in the two-particle interaction.


title: The Dynamic Range of LZ

abstract: The electronics of the LZ experiment, the 7-tonne dark matter detector to be installed at the Sanford Underground Research Facility (SURF), is designed to permit studies of physics where the energies deposited range from 1 keV of nuclear-recoil energy up to 3,000 keV of electron-recoil energy. The system is designed to provide a 70% efficiency for events that produce three photoelectrons in the photomultiplier tubes (PMTs). This corresponds approximately to the lowest energy threshold achievable in multi-tonne time-projection chambers, and drives the noise specifications for the front end. The upper limit of the LZ dynamic range is defined to accommodate the electroluminescence (S2) signals. The low-energy channels of the LZ amplifiers provide the dynamic range required for the tritium and krypton calibrations. The high-energy channels provide the dynamic range required to measure the activated Xe lines.


title: Aspherical products which do not support Anosov diffeomorphisms

abstract: We show that the product of infranilmanifolds with certain aspherical closed manifolds do not support Anosov diffeomorphisms. As a special case, we obtain that products of a nilmanifold and negatively curved manifolds of dimension at least 3 do not support Anosov diffeomorphisms.


title: The geometry of Tempotronlike problems

abstract: In the discrete Tempotron learning problem a neuron receives time varying inputs and for a set of such input sequences ($\mathcal S_-$ set) the neuron must be sub-threshold for all times while for some other sequences ($\mathcal S_+$ set) the neuron must be super threshold for at least one time. Here we present a graphical treatment of a slight reformulation of the tempotron problem. We show that the problem's general form is equivalent to the question if a polytope, specified by a set of inequalities, is contained in the union of a set of equally defined polytopes. Using recent results from computational geometry, we show that the problem is W[1]-hard. This phrasing gives some new insights into the nature of gradient based learning algorithms. A sampling based approach can, under certain circumstances provide an approximation in polynomial time. Other problems, related to hierarchical neural networks may share some topological structure.


title: Vacuum Rabi splitting in a plasmonic cavity at the single quantum emitter limit

abstract: The strong interaction of individual quantum emitters with resonant cavities is of fundamental interest for understanding light matter interactions. Plasmonic cavities hold the promise of attaining the strong coupling regime even under ambient conditions and within subdiffraction volumes. Recent experiments revealed strong coupling between individual plasmonic structures and multiple organic molecules, but so far strong coupling at the limit of a single quantum emitter has not been reported. Here we demonstrate vacuum Rabi splitting, a manifestation of strong coupling, using silver bowtie plasmonic cavities loaded with semiconductor quantum dots (QDs). A transparency dip is observed in the scattering spectra of individual bowties with one to a few QDs, directly observed in their gaps. A coupling rate as high as 120 meV is registered even with a single QD, placing the bowtie-QD constructs close to the strong coupling regime. These observations are verified by polarization-dependent experiments and validated by electromagnetic calculations.