title: Dynamic and electrostatic modeling for a piezoelectric smart composite and related stabilization results

abstract: A cantilevered piezoelectric smart composite beam, consisting of perfectly bonded elastic, viscoelastic and piezoelectric layers, is considered. The piezoelectric layer is actuated by a voltage source. Both fully dynamic and electrostatic approaches, based on Maxwell's equations, are used to model the piezoelectric layer. We obtain (i) fully-dynamic and electrostatic Rao-Nakra type models by assuming that the viscoelastic layer has a negligible weight and stiffness, (ii) fully-dynamic and electrostatic Mead-Marcus type models by neglecting the in-plane and rotational inertia terms. Each model is a perturbation of the corresponding classical smart composite beam model. These models are written in the state-space form, the existence and uniqueness of solutions are obtained in appropriate Hilbert spaces. Next, the stabilization problem for each closed-loop system, with a thorough analysis, is investigated for the natural $B^*-$type state feedback controllers. The fully dynamic Rao-Nakra model with four state feedback controllers is shown to be not asymptotically stable for certain choices of material parameters whereas the electrostatic model is exponentially stable with only three state feedback controllers (by the spectral multipliers method). Similarly, the fully dynamic Mead-Marcus model lacks of asymptotic stability for certain solutions whereas the electrostatic model is exponentially stable by only one state feedback controller.stable by one feedback controller applied to the bending moment only.


title: Compactness of the resolvent for the Witten Laplacian

abstract: In this paper we consider the Witten Laplacian on 0-forms and give sufficient conditions under which the Witten Laplacian admits a compact resolvent. These conditions are imposed on the potential itself, involving the control of high order derivatives by lower ones, as well as the control of the positive eigenvalues of the Hessian matrix. This compactness criterion for resolvent is inspired by the one for the Fokker-Planck operator. Our method relies on the nilpotent group techniques developed by Helffer-Nourrigat [Hypoellipticit\'e maximale pour des op\'erateurs polyn\^omes de champs de vecteurs, 1985].


title: Prime Points in Orbits: Some Instances of the Bourgain-Gamburd-Sarnak Conjecture

abstract: We use Vaughan's variation on Vinogradov's three-primes theorem to prove Zariski-density of prime points in several infinite families of hypersurfaces, including level sets of some quadratic forms, the Permanent polynomial, and the defining polynomials of some pre-homogeneous vector spaces. Three of these families are instances of a conjecture by Bourgain, Gamburd and Sarnak regarding prime points in orbits of simple algebraic groups. Our approach is based on the formulation of a general condition on the defining polynomial of a hypersurface, which suffices to guarantee that Zariski-density of prime points is equivalent to the existence of an odd point.


title: Singular perturbation theory for the thermodynamic properties of holographic QCD

abstract: We explore the thermodynamics of a black-hole solution in improved holographic QCD with a simple dilaton potential having two parameters. By applying techniques of singular perturbation theory, we get uniform approximations for the metric and the dilaton field in the two regimes of big and small black-holes. These techniques lead to a resummation of the naive expansion at high temperatures, providing an important theoretical improvement with respect to previous results in the literature. By using this technique, it is shown how a quadratic dependence at low enough temperatures can naturally appear in the free energy. A comparison with lattice data of gluodynamics is performed. It is provided as well an estimate of the value of the gluon condensate at zero temperature which turns out to be in quite good agreement with the accepted values in the literature from phenomenological studies of QCD.


title: Bayesian Unbiasing of the Gaia Space Mission Time Series Database

abstract: 21 st century astrophysicists are confronted with the herculean task of distilling the maximum scientific return from extremely expensive and complex space- or ground-based instrumental projects. This paper concentrates in the mining of the time series catalog produced by the European Space Agency Gaia mission, launched in December 2013. We tackle in particular the problem of inferring the true distribution of the variability properties of Cepheid stars in the Milky Way satellite galaxy known as the Large Magellanic Cloud (LMC). Classical Cepheid stars are the first step in the so-called distance ladder: a series of techniques to measure cosmological distances and decipher the structure and evolution of our Universe. In this work we attempt to unbias the catalog by modelling the aliasing phenomenon that distorts the true distribution of periods. We have represented the problem by a 2-level generative Bayesian graphical model and used a Markov chain Monte Carlo (MCMC) algorithm for inference (classification and regression). Our results with synthetic data show that the system successfully removes systematic biases and is able to infer the true hyperparameters of the frequency and magnitude distributions.


title: A new NS3 Implementation of CCNx 1.0 Protocol

abstract: The ccns3Sim project is an open source implementation of the CCNx 1.0 protocols for the NS3 simulator. We describe the implementation and several important features including modularity and process delay simulation. The ccns3Sim implementation is a fresh NS3-specific implementation. Like NS3 itself, it uses C++98 standard, NS3 code style, NS3 smart pointers, NS3 xUnit, and integrates with the NS3 documentation and manual. A user or developer does not need to learn two systems. If one knows NS3, one should be able to get started with the CCNx code right away. A developer can easily use their own implementation of the layer 3 protocol, layer 4 protocol, forwarder, routing protocol, Pending Interest Table (PIT) or Forwarding Information Base (FIB) or Content Store (CS). A user may configure or specify a new implementation for any of these features at runtime in the simulation script. In this paper, we describe the software architecture and give examples of using the simulator. We evaluate the implementation with several example experiments on ICN caching.


title: Thermodynamics, Dynamics, and Kinetics of Nanostructured Fluid-Solid Interfaces

abstract: This article covers thermodynamic, dynamic, and kinetic models that are suitable for the analysis of wetting, adsorption, and related interfacial phenomena in colloidal and multiphase systems. Particular emphasis is made on describing crucial physical assumptions and the validity range of the described theoretical approaches and predictive models. The classical sharp interface treatment of thermodynamic systems where a perfectly smooth surface is assumed to separate homogeneous phases can present significant limitations when analyzing systems that are subject to thermal motion and present multiple metastable states caused by interfacial heterogeneities of nanoscale dimensions. Mesoscopic approaches such as stochastic Langevin dynamics can extend the application of sharp interface models to a wide variety of systems exhibiting metastability as they undergo thermal motion. For such metastable systems, dynamic and kinetic equations can describe the evolution of observable (macroscopic) variables as the system approaches thermodynamic equilibrium. Sufficiently close to equilibrium, Kramers theory of thermally activated escape from metastable states can be effectively employed to describe diverse wetting and interfacial processes via kinetic equations. Future directions for further advancement and application of thermodynamic, dynamic, and kinetic models are briefly discussed in the context of current technological developments involving nanoparticles, nanofluidics, and nanostructured surfaces.


title: N=1 Lagrangians for generalized Argyres-Douglas theories

abstract: We find $\mathcal{N}=1$ Lagrangian gauge theories that flow to generalized Argyres-Douglas theories with $\mathcal{N}=2$ supersymmetry. We find that certain SU quiver gauge theories flow to generalized Argyres-Douglas theories of type $(A_{k-1}, A_{mk-1})$ and $(I_{m, k m}, S)$. We also find quiver gauge theories of SO/Sp gauge groups flowing to the $(A_{2m-1}, D_{2mk+1})$, $(A_{2m}, D_{2m(k-1)+k})$ and $D_{m(2k+2)}^{m(2k+2)}[m]$ theories.


title: 30 parameter version of the MSSM in light of the $B_s\rightarrow\mu^+\mu^-$ observation

abstract: The R-parity conserving MSSM in light of the decay $B_s\rightarrow\mu^+\mu^-$ with near-SM branching ratio is an interesting platform for studying the complementarity between direct and indirect searches for beyond the SM physics. Based on this, we have analysed the possible impact of the $B_s\rightarrow\mu^+\mu^-$ observation on the posterior sample from the global fit of a 30-parameter MSSM (MSSM-30), and the related Wilson Coefficients. The MSSM-30 is a systematically constructed, symmetry-guided, MSSM parametrization, as opposed to the traditional frames (e.g. pMSSM) with crude treatment of flavor violation parameters. This paper illustrates why phenomenological frames like the MSSM-30 should be preferred to study flavor physics. For the current and future B-physics experimental precision, such a consideration is crucial for suitably assessing supersymmetric contributions to flavor observables.


title: Derivation of Bose-Einstein and Fermi-Dirac statistics from quantum mechanics: gauge-theoretical structure

abstract: A possible quantum-mechanical origin of statistical mechanics is discussed, and microcanonical and canonical ensembles of bosons and fermions are derived from the stationary Schr\"odinger equation in a unified manner. The interaction Hamiltonians are constructed by the use of the discrete phase operators and the gauge-theoretical structure associated with them. It is shown how the interaction Hamiltonians stipulated by the gauge symmetry generate the specific patterns of entanglement that are desired for establishing microcanonical ensembles. A discussion is also made about the interrelation between random phases and perfect decoherence in the vanishing-interaction limit.


title: Casas-Alvero conjecture in computational algebraic geometry

abstract: We study varieties defined by parameterizing polynomials of derivatives through a computational algebro-geometric approach, especially relying on Combinatorial Nullstellensatz and Noether normalization. We establish that these polynomials form regular sequences easily. This allows us to calculate the dimension of thus defined varieties and consequently give a proof to the Casas-Alvero conjecture.


title: Abstracting Definitional Interpreters

abstract: In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitional interpreters, especially those written in monadic style, can provide a nice basis for a wide variety of collecting semantics, abstract interpretations, symbolic executions, and their intermixings. But the real insight of this story is a replaying of an insight from Reynold's landmark paper, Definitional Interpreters for Higher-Order Programming Languages, in which he observes definitional interpreters enable the defined-language to inherit properties of the defining-language. We show the same holds true for definitional abstract interpreters. Remarkably, we observe that abstract definitional interpreters can inherit the so-called "pushdown control flow" property, wherein function calls and returns are precisely matched in the abstract semantics, simply by virtue of the function call mechanism of the defining-language. The first approaches to achieve this property for higher-order languages appeared within the last ten years, and have since been the subject of many papers. These approaches start from a state-machine semantics and uniformly involve significant technical engineering to recover the precision of pushdown control flow. In contrast, starting from a definitional interpreter, the pushdown control flow property is inherent in the meta-language and requires no further technical mechanism to achieve.


title: Orbital degree of freedom in artificial electron lattices on metal surface

abstract: Orbital degree of freedom plays a fundamental role in condensed matter physics. Recently, a new kind of artificial electron lattice has been realized in experiments by confining the metal surface electrons with adsorbed molecular lattice. A most recent example is the Lieb lattice realized by CO adsorption on Cu(111) surface [M. R. Slot, et al., Nat. Phys. 13, 672(2017)]. The Lieb lattice is of special interest due to its flat band physics. Here, by first-principles calculations, muffin-tin potential model and tight binding model, we demonstrate that, the high energy states observed in the experiment actually correspond to the artificial $p$-orbitals of the electron lattice. Our numerical results, together with the experimental observation, show that artificial $p$-orbital fermionic lattice has already been realized in solid state system. This opens a new avenue to investigate the orbital degree of freedom in a controllable way.


title: Formalization of the fundamental group in untyped set theory using auto2

abstract: We present a new framework for formalizing mathematics in untyped set theory using auto2. Using this framework, we formalize in Isabelle/FOL the entire chain of development from the axioms of set theory to the definition of the fundamental group for an arbitrary topological space. The auto2 prover is used as the sole automation tool, and enables succinct proof scripts throughout the project.


title: Assessments in Mathematics, undergraduate degree

abstract: In the sequel, we question the validity of multiple choice questionnaires for undergraduate level math courses. Our study is based on courses given in major French universities, to numerous audiences.


title: Primordial non-Gaussianity with $\mu$-type and $y$-type spectral distortions: exploiting Cosmic Microwave Background polarization and dealing with secondary sources

abstract: Cross-correlations between Cosmic Microwave Background (CMB) temperature and $y$-spectral distortions anisotropies have been previously proposed as a way to measure the local bispectrum parameter $f_{\rm NL}^{\rm loc.}$ in a range of scales inaccessible to either CMB ($T$, $E$) bispectra or $T$-$\mu$ correlations. This is useful e.g. to test scale dependence of primordial non-Gaussianity. Unfortunately, the primordial $y$-T signal is strongly contaminated by the late-time correlation between the Integrated Sachs Wolfe and Sunyaev-Zel'dovich (SZ) effects. Moreover, SZ itself generates a large noise contribution in the $y$-parameter map. We consider two original ways to address these issues. In order to remove the bias due to the SZ-CMB temperature coupling, while also adding new signal, we include in the analysis the cross-correlation between $y$-distortions and CMB {\em polarization}. In order to reduce the noise, we propose to clean the $y$-map by subtracting a SZ template, reconstructed via cross-correlation with external tracers (CMB and galaxy-lensing signals). We combine this SZ template subtraction with the previously adopted solution of directly masking detected clusters. Our final forecasts show that, using $y$-distortions, a PRISM-like survey can achieve $1\sigma(f_{\rm NL}^\text{loc.}) = 300$, while an ideal experiment will achieve $1\sigma(f_{\rm NL}^\text{loc.}) = 130$, with improvements of a factor $\sim 3$ from adding the $y$-$E$ signal, and a further $20-30 \%$ from template cleaning. These forecasts are much worse than current $f_{\rm NL}^\text{loc.}$ boundaries from {\em Planck}, but we stress again that they refer to completely different scales.


title: Hardware-efficient fermionic simulation with a cavity-QED system

abstract: In digital quantum simulation of fermionic models with qubits, non-local maps for encoding are often encountered. Such maps require linear or logarithmic overhead in circuit depth which could render the simulation useless, for a given decoherence time. Here we show how one can use a cavity-QED system to perform digital quantum simulation of fermionic models. In particular, we show that highly nonlocal Jordan-Wigner or Bravyi-Kitaev transformations can be efficiently implemented through a hardware approach. The key idea is using ancilla cavity modes, which are dispersively coupled to a qubit string, to collectively manipulate and measure qubit states. Our scheme reduces the circuit depth in each Trotter step of the Jordan-Wigner encoding by a factor of $N^2$, comparing to the scheme for a device with only local connectivity, where $N$ is the number of orbitals for a generic two-body Hamiltonian. Additional analysis for the Fermi-Hubbard model on an $N\times N$ square lattice results in a similar reduction. We also discuss a detailed implementation of our scheme with superconducting qubits and cavities.

categories: quant-ph cond-mat.mes-hall cond-mat.quant-gas cond-mat.str-el


title: Superconductivity in ultra-thin carbon nanotubes and carbyne-nanotube composites: an ab-initio approach

abstract: The superconductivity of the 4-angstrom single-walled carbon nanotubes (SWCNTs) was discovered more than a decade ago, and marked the breakthrough of finding superconductivity in pure elemental undoped carbon compounds. The van Hove singularities in the electronic density of states at the Fermi level in combination with a large Debye temperature of the SWCNTs are expected to cause an impressively large superconducting gap. We have developed an innovative computational algorithm specially tailored for the investigation of superconductivity in ultrathin SWCNTs. We predict the superconducting transition temperature of various thin carbon nanotubes resulting from electron-phonon coupling by an ab-initio method, taking into account the effect of radial pressure, symmetry, chirality (N,M) and bond lengths. By optimizing the geometry of the carbon nanotubes, a maximum Tc of 60K is found. We also use our method to calculate the Tc of a linear carbon chain embedded in the center of (5,0) SWCNTs. The strong curvature in the (5,0) carbon nanotubes in the presence of the inner carbon chain provides an alternative path to increase the Tc of this carbon composite by a factor of 2.2 with respect to the empty (5,0) SWCNTs.


title: Berezin expectation and Clifford trace

abstract: We show that in finite dimensions, the Berezin expectation on an exterior algebra corresponds to the trace on a Clifford algebra, the correspondence being mediated by what is effectively a version of antinormal ordering.


title: First eigenvalue of the $p$-Laplacian under integral curvature condition

abstract: We give various estimates of the first eigenvalue of the $p$-Laplace operator on closed Riemannian manifold with integral curvature conditions.


title: Dynamics of Modular Matings

abstract: We develop dynamical theory for the family of holomorphic correspondences $\mathcal{F}_a$ proved by the current authors to be matings between the modular group and parabolic rational maps in the Milnor slice $Per_1(1)$ (in 'Mating quadratic maps with the modular group II'). Such a mating endows the complement of the limit set of $\mathcal{F}_a$ with the geometry of the hyperbolic plane, equipped with the action of the modular group. We introduce bi-infinite coding sequences for geodesics in this complement, utilising continued fraction expressions of end points; we prove landing theorems for periodic and preperiodic geodesics, and we establish a stronger Yoccoz inequality for repelling fixed points of these correspondences than Yoccoz's classical inequality for quadratic polynomials. We deduce that the connectedness locus of the family $\mathcal{F}_a$ is contained in a particular lune in parameter space.


title: A first step toward higher order chain rules in abelian functor calculus

abstract: One of the fundamental tools of undergraduate calculus is the chain rule. The notion of higher order directional derivatives was developed by Huang, Marcantognini, and Young, along with a corresponding higher order chain rule. When Johnson and McCarthy established abelian functor calculus, they proved a chain rule for functors that is analogous to the directional derivative chain rule when $n = 1$. In joint work with Bauer, Johnson, and Riehl, we defined an analogue of the iterated directional derivative and provided an inductive proof of the analogue to the chain rule of Huang et al. This paper consists of the initial investigation of the chain rule found in Bauer et al., which involves a concrete computation of the case when $n=2$. We describe how to obtain the second higher order directional derivative chain rule for abelian functors. This proof is fundamentally different in spirit from the proof given in Bauer et al. as it relies only on properties of cross effects and the linearization of functors.


title: Clustering Algorithms for the Centralized and Local Models

abstract: We revisit the problem of finding a minimum enclosing ball with differential privacy: Given a set of $n$ points in the Euclidean space $\mathbb{R}^d$ and an integer $t\leq n$, the goal is to find a ball of the smallest radius $r_{opt}$ enclosing at least $t$ input points. The problem is motivated by its various applications to differential privacy, including the sample and aggregate technique, private data exploration, and clustering. Without privacy concerns, minimum enclosing ball has a polynomial time approximation scheme (PTAS), which computes a ball of radius almost $r_{opt}$ (the problem is NP-hard to solve exactly). In contrast, under differential privacy, until this work, only a $O(\sqrt{\log n})$-approximation algorithm was known. We provide new constructions of differentially private algorithms for minimum enclosing ball achieving constant factor approximation to $r_{opt}$ both in the centralized model (where a trusted curator collects the sensitive information and analyzes it with differential privacy) and in the local model (where each respondent randomizes her answers to the data curator to protect her privacy). We demonstrate how to use our algorithms as a building block for approximating $k$-means in both models.


title: Monitoring pulsating giant stars in M33: star formation history and chemical enrichment

abstract: We have conducted a near-infrared monitoring campaign at the UK InfraRed Telescope (UKIRT), of the Local Group spiral galaxy M 33 (Triangulum). A new method has been developed by us to use pulsating giant stars to reconstruct the star formation history of galaxies over cosmological time as well as using them to map the dust production across their host galaxies. In first Instance the central square kiloparsec of M33 was monitored and long period variable stars (LPVs) were identified. We give evidence of two epochs of a star formation rate enhanced by a factor of a few. These stars are also important dust factories, we measure their dust production rates from a combination of our data with Spitzer Space Telescope mid-IR photometry. Then the monitoring survey was expanded to cover a much larger part of M33 including spiral arms. Here we present our methodology and describe results for the central square kiloparsec of M33 (Javadi et al. 2011 a,b,c, 2013) and disc of M33 (Javadi et al. 2015, 2016, 2017, and in preparation).


title: Robust optimal component design under consideration of local material defects

abstract: An important issue in additive manufacturing is the reliability and reproducibility of parts. One major problem in achieving this are uncontrolled local variations in the obtained material properties which arise in the complex manufacturing process and are usually not taken into account in the design of components. We consider the optimal layout of a part to withstand a given loading, under the assumption that the local material properties are not precisely known. The material uncertainties are treated by a worst case approach. This means that for each layout a given amount of defects in material properties is distributed in the design domain, such that the stiffness of the component is maximally weakened. As a consequence, an optimization result is obtained which is as insensitive as possible with respect to unknown variations in the material parameters. The general model is introduced and an algorithm for its solution using gradient based methods is suggested. Finally, numerical results are presented and discussed.


title: Almost Envy-Freeness with General Valuations

abstract: The goal of fair division is to distribute resources among competing players in a "fair" way. Envy-freeness is the most extensively studied fairness notion in fair division. Envy-free allocations do not always exist with indivisible goods, motivating the study of relaxed versions of envy-freeness. We study the envy-freeness up to any good (EFX) property, which states that no player prefers the bundle of another player following the removal of any single good, and prove the first general results about this property. We use the leximin solution to show existence of EFX allocations in several contexts, sometimes in conjunction with Pareto optimality. For two players with valuations obeying a mild assumption, one of these results provides stronger guarantees than the currently deployed algorithm on Spliddit, a popular fair division website. Unfortunately, finding the leximin solution can require exponential time. We show that this is necessary by proving an exponential lower bound on the number of value queries needed to identify an EFX allocation, even for two players with identical valuations. We consider both additive and more general valuations, and our work suggests that there is a rich landscape of problems to explore in the fair division of indivisible goods with different classes of player valuations.


title: NuSTAR hard X-ray observation of a sub-A class solar flare

abstract: We report a NuSTAR observation of a solar microflare, SOL2015-09-01T04. Although it was too faint to be observed by the GOES X-ray Sensor, we estimate the event to be an A0.1 class flare in brightness. This microflare, with only 5 counts per second per detector observed by RHESSI, is fainter than any hard X-ray (HXR) flare in the existing literature. The microflare occurred during a solar pointing by the highly sensitive NuSTAR astrophysical observatory, which used its direct focusing optics to produce detailed HXR microflare spectra and images. The microflare exhibits HXR properties commonly observed in larger flares, including a fast rise and more gradual decay, earlier peak time with higher energy, spatial dimensions similar to the RHESSI microflares, and a high-energy excess beyond an isothermal spectral component during the impulsive phase. The microflare is small in emission measure, temperature, and energy, though not in physical size; observations are consistent with an origin via the interaction of at least two magnetic loops. We estimate the increase in thermal energy at the time of the microflare to be 2.4x10^27 ergs. The observation suggests that flares do indeed scale down to extremely small energies and retain what we customarily think of as "flarelike" properties.


title: Original Loop-closure Detection Algorithm for Monocular vSLAM

abstract: Vision-based simultaneous localization and mapping (vSLAM) is a well-established problem in mobile robotics and monocular vSLAM is one of the most challenging variations of that problem nowadays. In this work we study one of the core post-processing optimization mechanisms in vSLAM, e.g. loop-closure detection. We analyze the existing methods and propose original algorithm for loop-closure detection, which is suitable for dense, semi-dense and feature-based vSLAM methods. We evaluate the algorithm experimentally and show that it contribute to more accurate mapping while speeding up the monocular vSLAM pipeline to the extent the latter can be used in real-time for controlling small multi-rotor vehicle (drone).


title: Itinerant ferromagnetism in actinide 5f electrons system: Phenomenological analysis with spin fluctuation theory

abstract: We have carried out an analysis of magnetic data in 69 uranium, 7 neptunium and 4 plutonium ferromagnets with the spin fluctuation theory developed by Takahashi (Y. Takahashi, J. Phys. Soc. Jpn. 55, 3553 (1986)). The basic and spin fluctuation parameters of the actinide ferromagnets are determined and the applicability of the spin fluctuation theory to actinide 5f system has been discussed. Itinerant ferromagnets of the 3d transition metals and their intermetallics follow a generalized Rhodes-Wohlfarth relation between p_eff/p_s and T_C/T_0, viz., p_eff/p_s ~ (T_C/T_0)^(-3/2). Here, p_s, p_eff, T_C, and T_0 are the spontaneous and effective magnetic moments, the Curie temperature and the width of spin fluctuation spectrum in energy space, respectively. The same relation is satisfied for T_C/T_0 < 1.0 in the actinide ferromagnets. However, the relation is not satisfied in a few ferromagnets with T_C/T_0 ~1.0 that corresponds to local moment system in the spin fluctuation theory. The deviation from the theoretical relation may be due to several other effects not included in the spin fluctuation theory such as the crystalline electric field effect on the 5f electrons from ligand atoms. The value of the spontaneous magnetic moment p_s increases linearly as a function of T_C/T_0 in the uranium and neptunium ferromagnets below (T_C/T_0)_kink = 0.32 +- 0.02 where a kink structure appears in relation between the two quantities. p_s increases more weakly above (T_C/T_0)_kink. A possible interpretation with the T_C/T_0-dependence of p_s is given.


title: On The Mackey Formula for Connected Centre Groups

abstract: Let $\mathbf{G}$ be a connected reductive algebraic group over $\overline{\mathbb{F}}_p$ and let $F : \mathbf{G} \to \mathbf{G}$ be a Frobenius endomorphism endowing $\mathbf{G}$ with an $\mathbb{F}_q$-rational structure. Bonnaf\'e--Michel have shown that the Mackey formula for Deligne--Lusztig induction and restriction holds for the pair $(\mathbf{G},F)$ except in the case where $q = 2$ and $\mathbf{G}$ has a quasi-simple component of type $\sf{E}_6$, $\sf{E}_7$, or $\sf{E}_8$. Using their techniques we show that if $q = 2$ and $Z(\mathbf{G})$ is connected then the Mackey formula holds unless $\mathbf{G}$ has a quasi-simple component of type $\sf{E}_8$. This establishes the Mackey formula, for instance, in the case where $(\mathbf{G},F)$ is of type $\sf{E}_7(2)$. Using this, together with work of Bonnaf\'e--Michel, we can conclude that the Mackey formula holds on the space of unipotently supported class functions if $Z(\mathbf{G})$ is connected.


title: The Igusa-Todorov $\phi$ function for truncated path algebras

abstract: Given a truncated path algebra $A=\frac{\Bbbk Q}{J^k}$ we prove that $\fidim A = \fidim A^{\op}$. We also compute the $\phi$-dimension of $A$ in function of the $\phi$-dimension of $\frac{\Bbbk Q}{J^2}$ when $Q$ has no sources nor sinks. This allows us to bound the $\phi$-dimension for truncated path algebras. Finally, we characterize $A$ when its $\phi$-dimension is equal to $1$.


title: AI Challenges in Human-Robot Cognitive Teaming

abstract: Among the many anticipated roles for robots in the future is that of being a human teammate. Aside from all the technological hurdles that have to be overcome with respect to hardware and control to make robots fit to work with humans, the added complication here is that humans have many conscious and subconscious expectations of their teammates - indeed, we argue that teaming is mostly a cognitive rather than physical coordination activity. This introduces new challenges for the AI and robotics community and requires fundamental changes to the traditional approach to the design of autonomy. With this in mind, we propose an update to the classical view of the intelligent agent architecture, highlighting the requirements for mental modeling of the human in the deliberative process of the autonomous agent. In this article, we outline briefly the recent efforts of ours, and others in the community, towards developing cognitive teammates along these guidelines.


title: Twisted-ligth--ion interaction: the role of longitudinal fields

abstract: The propagation of light beams is well described using the paraxial approximation, where field components along the propagation direction are usually neglected. For strongly inhomogeneous or shaped light fields, however, this approximation may fail, leading to intriguing variations of the light-matter interaction. This is the case of twisted light having opposite orbital and spin angular momenta. We compare experimental data for the excitation of a quadrupole transition in a single trapped $^{40}$Ca$^+$ ion by Schmiegelow et al, Nat.\ Comm.\ 7, 12998 (2016), with a complete model where longitudinal components of the electric field are taken into account. Our model matches the experimental data and excludes by 11 standard deviations the approximation of complete transverse field. This demonstrates the importance of all field components in the interaction of twisted light with matter.


title: Einstein-Hilbert Action and on the Gauss-Bonnet Theorem for Riemannian Noncommutative Tori

abstract: We show the non-positivity of the Einstein-Hilbert action for conformal flat Riemannian metrics. The action vanishes only when the metric is constant flat. This recovers an earlier result of Fathizadeh-Khalkhali in the setting of spectral triples on noncommutative four-torus. Furthermore, computations of the gradient flow and the scalar curvature of this space based on modular operator are given. We also show the Gauss-Bonnet theorem for a parametrized class of non-diagonal metrics on noncommutative two-torus.


title: Semiflow selection and Markov selection theorems

abstract: The deterministic analog of the Markov property of a time-homogeneous Markov process is the semigroup property of solutions of an autonomous differential equation. The semigroup property arises naturally when the solutions of a differential equation are unique, and leads to a semiflow. We prove an abstract result on measurable selection of a semiflow for the situations without uniqueness. We outline applications to ODEs, PDEs, differential inclusions, etc. Our proof of the semiflow selection theorem is motivated by N. V. Krylov's Markov selection theorem. To accentuate this connection, we include a new version of the Markov selection theorem related to more recent papers of Flandoli & Romito and Goldys et al.


title: Numerical approximation of diffusive capture rates by planar and spherical surfaces with absorbing pores

abstract: In 1977 Berg & Purcell published a landmark paper entitled "Physics of Chemoreception" which examined how a bacterium can sense a chemical attractant in the fluid surrounding it. At small scales the attractant molecules move by Brownian motion and diffusive processes dominate. This example is the archetype of diffusive signaling problems where an agent moves via a random walk until it either strikes or eludes a target. Berg & Purcell modeled the target as a sphere with a set of small circular targets (pores) that can capture a diffusing agent. They argued that, in the limit of small radii and wide spacing, each pore could be modeled independently as a circular pore on an infinite plane. Using a known exact solution, they showed the capture rate to be proportional to the combined perimeter of the pores. In this paper we study how to improve this approximation by including inter-pore competition effects and verify this result numerically for a finite collection of pores on a plane or sphere. Asymptotically we have found the corrections to the Berg-Purcell formula that account for enhancement of capture due to the curvature of the spherical target and inhibition of capture due to spatial interactions of the pores. Numerically we develop a spectral boundary element method for the exterior mixed Neumann-Dirichlet boundary value problem. Our formulation reduces the problem to a linear integral equation, specifically a Neumann to Dirichlet map, which is supported only on the individual pores. The difficulty is that both the kernel and the flux are singular, a notorious obstacle in such problems. A judicious choice of singular boundary elements allows us to resolve the flux singularity at the edge of the pore. In biological systems there can be thousands of receptors whose radii are 0.1% the cell radius. Our numerics resolve this realistic limit with an accuracy of roughly one part in 10^8.


title: Scalable Training of Artificial Neural Networks with Adaptive Sparse Connectivity inspired by Network Science

abstract: Through the success of deep learning in various domains, artificial neural networks are currently among the most used artificial intelligence methods. Taking inspiration from the network properties of biological neural networks (e.g. sparsity, scale-freeness), we argue that (contrary to general practice) artificial neural networks, too, should not have fully-connected layers. Here we propose sparse evolutionary training of artificial neural networks, an algorithm which evolves an initial sparse topology (Erd\H{o}s-R\'enyi random graph) of two consecutive layers of neurons into a scale-free topology, during learning. Our method replaces artificial neural networks fully-connected layers with sparse ones before training, reducing quadratically the number of parameters, with no decrease in accuracy. We demonstrate our claims on restricted Boltzmann machines, multi-layer perceptrons, and convolutional neural networks for unsupervised and supervised learning on 15 datasets. Our approach has the potential to enable artificial neural networks to scale up beyond what is currently possible.


title: Modified Alpha-Rooting Color Image Enhancement Method On The Two-Side 2-D Quaternion Discrete Fourier Transform And The 2-D Discrete Fourier Transform

abstract: Color in an image is resolved into 3 or 4 color components and 2-Dimages of these components are stored in separate channels. Most of the color image enhancement algorithms are applied channel-by-channel on each image. But such a system of color image processing is not processing the original color. When a color image is represented as a quaternion image, processing is done in original colors. This paper proposes an implementation of the quaternion approach of enhancement algorithm for enhancing color images and is referred as the modified alpha-rooting by the two-dimensional quaternion discrete Fourier transform (2-D QDFT). Enhancement results of this proposed method are compared with the channel-by-channel image enhancement by the 2-D DFT. Enhancements in color images are quantitatively measured by the color enhancement measure estimation (CEME), which allows for selecting optimum parameters for processing by the genetic algorithm. Enhancement of color images by the quaternion based method allows for obtaining images which are closer to the genuine representation of the real original color.


title: On the spectrum and eigenfunctions of the equivariant general boundary value problem outside the ball for the Schr\"odinger operator with Coulomb potential

abstract: We consider the Schr\"odinger equation for hydrogen-like atom with Coulomb potential and non-point ball nucleus. The eigenvalues and eigenfunctions of the operator given by an arbitrary rotation-invariant boundary value problem on the spherical boundary of the nucleus are found and as it is proved to be the eigenvalues are independent on selection of any such boundary value problem and they are the same as for point nucleus.


title: New Classes of Ternary Bent Functions from the Coulter-Matthews Bent Functions

abstract: It has been an active research issue for many years to construct new bent functions. For $k$ odd with $\gcd(n, k)=1$, and $a\in\mathbb{F}_{3^n}^{*}$, the function $f(x)=Tr(ax^{\frac{3^k+1}{2}})$ is weakly regular bent over $\mathbb{F}_{3^n}$, where $Tr(\cdot):\mathbb{F}_{3^n}\rightarrow\mathbb{F}_3$ is the trace function. This is the well-known Coulter-Matthews bent function. In this paper, we determine the dual function of $f(x)$ completely. As a consequence, we find many classes of ternary bent functions not reported in the literature previously. Such bent functions are not quadratic if $k>1$, and have $\left(\left(\frac{1+\sqrt{5}}{2}\right)^{w+1}-\right.$ $\left.\left(\frac{1-\sqrt{5}}{2}\right)^{w+1}\right)/\sqrt{5}$ or $\left(\left(\frac{1+\sqrt{5}}{2}\right)^{n-w+1}-\right.$ $\left.\left(\frac{1-\sqrt{5}}{2}\right)^{n-w+1}\right)/\sqrt{5}$ trace terms, where $0<w<n$ and $wk\equiv 1\ (\bmod\;n)$. Among them, five special cases are especially interesting: for the case of $k=(n+1)/2$, the number of trace terms is $\left(\left(\frac{1+\sqrt{5}}{2}\right)^{n-1}-\right.$ $\left.\left(\frac{1-\sqrt{5}}{2}\right)^{n-1}\right)/\sqrt{5}$; for the case of $k=n-1$, the number of trace terms is $\left(\left(\frac{1+\sqrt{5}}{2}\right)^n-\right.$ $\left.\left(\frac{1-\sqrt{5}}{2}\right)^n\right)/\sqrt{5}$; for the case of $k=(n-1)/2$, the number of trace terms is $\left(\left(\frac{1+\sqrt{5}}{2}\right)^{n-1}-\right.$ $\left.\left(\frac{1-\sqrt{5}}{2}\right)^{n-1}\right)/\sqrt{5}$; for the case of $(n, k)=(5t+4, 4t+3)$ or $(5t+1, 4t+1)$ with $t\geq 1$, the number of trace terms is 8; and for the case of $(n, k)=(7t+6, 6t+5)$ or $(7t+1, 6t+1)$ with $t\geq 1$, the number of trace terms is 21. As a byproduct, we find new classes of ternary bent functions with only 8 or 21 trace terms.


title: Comparing mixing times on sparse random graphs

abstract: It is natural to expect that nonbacktracking random walk will mix faster than simple random walks, but so far this has only been proved in regular graphs. To analyze typical irregular graphs, let $G$ be a random graph on $n$ vertices with minimum degree 3 and a degree distribution that has exponential tails. We determine the precise worst-case mixing time for simple random walk on $G$, and show that, with high probability, it exhibits cutoff at time $\mathbf{h}^{-1} \log n$, where $\mathbf{h}$ is the asymptotic entropy for simple random walk on a Galton--Watson tree that approximates $G$ locally. (Previously this was only known for typical starting points.) Furthermore, we show that this asymptotic mixing time is strictly larger than the mixing time of nonbacktracking walk, via a delicate comparison of entropies on the Galton-Watson tree.


title: Generalization of Turbulent Pair Dispersion to Large Initial Separations

abstract: We present a generalization of turbulent pair dispersion to large initial separations ($\eta < r_0 < L$), by introducing a new time scale, $\tau_{v_0}$, that reflects the persistence of initial conditions at time $\tau=0$. Results of 3D Lagrangian tracking experiments at moderate Reynolds numbers show that pairs, for which the new time scale is shorter than the eddy turnover time scale, separate as in the Richardson superdiffusive regime, $\langle \Delta r^2 \rangle \propto \tau^3$. The analysis of delay times (time interval to cross $\Delta r = \rho \, r_0$) of these conditionally sampled pairs exhibit $\rho^{2/5}$ scaling.


title: New challenges for the pressure evolution of the glass temperature

abstract: The ways of portrayal of the pressure evolution of the glass temperature (Tg) beyond the dominated Simon-Glatzel-like pattern are discussed. This includes the possible common description of Tg(P) dependences in systems described by dtg/dP>0 and dTg/dP<0. The latter is associated with the maximum of Tg(P) curve hidden in the negative pressures domain. The issue of volume and density changes along the vitrification curve is also noted. Finally, the universal pattern of vitrification associated with the crossover from the low density (isotropic stretching) to the high density (isotropic compression) systems is proposed. Hypothetically, it may obey any glass former, from molecular liquids to colloids.


title: Anisotropic space-time adaptation for reaction-diffusion problems

abstract: A residual error estimator is proposed for the energy norm of the error for a scalar reaction-diffusion problem and for the monodomain model used in cardiac electrophysiology. The problem is discretized using $P_1$ finite elements in space, and the backward difference formula of second order (BDF2) in time. The estimator for space makes use of anisotropic interpolation estimates, assuming only minimal regularity. Reliability of the estimator is proven under certain mild assumptions on the convergence of the approximate solution. The monodomain model couples a nonlinear parabolic partial differential equation (PDE) with an ordinary differential equation (ODE) and this setting presents challenges theoretically as well as numerically. A space-time adaptation algorithm is proposed to control the global error, using a non-Euclidean metric for mesh adaptation and a simple method to adjust the time step. Numerical examples are used to verify the reliability and efficiency of the estimator, and to test the adaptive algorithm. The potential gains in efficiency of the proposed algorithm compared to methods using uniform meshes is discussed.


title: MPIgnite: An MPI-Like Language and Prototype Implementation for Apache Spark

abstract: Scale-out parallel processing based on MPI is a 25-year-old standard with at least another decade of preceding history of enabling technologies in the High Performance Computing community. Newer frameworks such as MapReduce, Hadoop, and Spark represent industrial scalable computing solutions that have received broad adoption because of their comparative simplicity of use, applicability to relevant problems, and ability to harness scalable, distributed resources. While MPI provides performance and portability, it lacks in productivity and fault tolerance. Likewise, Spark is a specific example of a current-generation MapReduce and data-parallel computing infrastructure that addresses those goals but in turn lacks peer communication support to allow featherweight, highly scalable peer-to-peer data-parallel code sections. The key contribution of this paper is to demonstrate how to introduce the collective and point-to-point peer communication concepts of MPI into a Spark environment. This is done in order to produce performance-portable, peer-oriented and group-oriented communication services while retaining the essential, desirable properties of Spark. Additional concepts of fault tolerance and productivity are considered. This approach is offered in contrast to adding MapReduce framework as upper-middleware based on a traditional MPI implementation as baseline infrastructure.


title: On the complexity of range searching among curves

abstract: Modern tracking technology has made the collection of large numbers of densely sampled trajectories of moving objects widely available. We consider a fundamental problem encountered when analysing such data: Given $n$ polygonal curves $S$ in $\mathbb{R}^d$, preprocess $S$ into a data structure that answers queries with a query curve $q$ and radius $\rho$ for the curves of $S$ that have \Frechet distance at most $\rho$ to $q$. We initiate a comprehensive analysis of the space/query-time trade-off for this data structuring problem. Our lower bounds imply that any data structure in the pointer model model that achieves $Q(n) + O(k)$ query time, where $k$ is the output size, has to use roughly $\Omega\left((n/Q(n))^2\right)$ space in the worst case, even if queries are mere points (for the discrete \Frechet distance) or line segments (for the continuous \Frechet distance). More importantly, we show that more complex queries and input curves lead to additional logarithmic factors in the lower bound. Roughly speaking, the number of logarithmic factors added is linear in the number of edges added to the query and input curve complexity. This means that the space/query time trade-off worsens by an exponential factor of input and query complexity. This behaviour addresses an open question in the range searching literature: whether it is possible to avoid the additional logarithmic factors in the space and query time of a multilevel partition tree. We answer this question negatively. On the positive side, we show we can build data structures for the \Frechet distance by using semialgebraic range searching. Our solution for the discrete \Frechet distance is in line with the lower bound, as the number of levels in the data structure is $O(t)$, where $t$ denotes the maximal number of vertices of a curve. For the continuous \Frechet distance, the number of levels increases to $O(t^2)$.


title: Automatic Identification of Non-Meaningful Body-Movements and What It Reveals About Humans

abstract: We present a framework to identify whether a public speaker's body movements are meaningful or non-meaningful ("Mannerisms") in the context of their speeches. In a dataset of 84 public speaking videos from 28 individuals, we extract 314 unique body movement patterns (e.g. pacing, gesturing, shifting body weights, etc.). Online workers and the speakers themselves annotated the meaningfulness of the patterns. We extracted five types of features from the audio-video recordings: disfluency, prosody, body movements, facial, and lexical. We use linear classifiers to predict the annotations with AUC up to 0.82. Analysis of the classifier weights reveals that it puts larger weights on the lexical features while predicting self-annotations. Contrastingly, it puts a larger weight on prosody features while predicting audience annotations. This analysis might provide subtle hint that public speakers tend to focus more on the verbal features while evaluating self-performances. The audience, on the other hand, tends to focus more on the non-verbal aspects of the speech. The dataset and code associated with this work has been released for peer review and further analysis.


title: Non-Asymptotic Analysis of Robust Control from Coarse-Grained Identification

abstract: This work explores the trade-off between the number of samples required to accurately build models of dynamical systems and the degradation of performance in various control objectives due to a coarse approximation. In particular, we show that simple models can be easily fit from input/output data and are sufficient for achieving various control objectives. We derive bounds on the number of noisy input/output samples from a stable linear time-invariant system that are sufficient to guarantee that the corresponding finite impulse response approximation is close to the true system in the $\mathcal{H}_\infty$-norm. We demonstrate that these demands are lower than those derived in prior art which aimed to accurately identify dynamical models. We also explore how different physical input constraints, such as power constraints, affect the sample complexity. Finally, we show how our analysis fits within the established framework of robust control, by demonstrating how a controller designed for an approximate system provably meets performance objectives on the true system.


title: From the Lab to the Street: Solving the Challenge of Accelerating Automated Vehicle Testing

abstract: As automated vehicles and their technology become more advanced and technically sophisticated, evaluation procedures that can measure the safety and reliability of these new driverless cars must develop far beyond existing safety tests. To get an accurate assessment in field tests, such cars would have to be driven millions or even billions of miles to arrive at an acceptable level of certainty - a time-consuming process that would cost tens of millions of dollars. Instead, researchers affiliated with the University of Michigan's Mcity connected and automated vehicle center have developed an accelerated evaluation process that eliminates the many miles of uneventful driving activity to filter out only the potentially dangerous driving situations where an automated vehicle needs to respond, creating a faster, less expensive testing program. This approach can reduce the amount of testing needed by a factor of 300 to 100,000 so that an automated vehicle driven for 1,000 test miles can yield the equivalent of 300,000 to 100 million miles of real-world driving. While more research and development needs to be done to perfect this technique, the accelerated evaluation procedure offers a ground-breaking solution for safe and efficient testing that is crucial to deploying automated vehicles.


title: The Coefficient-Choosing Game

abstract: Let $D$ be an integral domain. Two players, Nora and Wanda, alternately choose coefficients from $D$ for a polynomial of degree $d$. When they are done, if the polynomial has a root in the field of fractions of $D$, then Wanda wins. If not, then Nora wins. We determine, for many $D$, who wins this game.


title: Fast-neutron and gamma-ray imaging with a capillary liquid xenon converter coupled to a gaseous photomultiplier

abstract: Gamma-ray and fast-neutron imaging was performed with a novel liquid xenon (LXe) scintillation detector read out by a Gaseous Photomultiplier (GPM). The 100 mm diameter detector prototype comprised a capillary-filled LXe converter/scintillator, coupled to a triple-THGEM imaging-GPM, with its first electrode coated by a CsI UV-photocathode, operated in Ne/5%CH4 cryogenic temperatures. Radiation localization in 2D was derived from scintillation-induced photoelectron avalanches, measured on the GPM's segmented anode. The localization properties of Co-60 gamma-rays and a mixed fast-neutron/gamma-ray field from an AmBe neutron source were derived from irradiation of a Pb edge absorber. Spatial resolutions of 12+/-2 mm and 10+/-2 mm (FWHM) were reached with Co-60 and AmBe sources, respectively. The experimental results are in good agreement with GEANT4 simulations. The calculated ultimate expected resolutions for our application-relevant 4.4 and 15.1 MeV gamma-rays and 1-15 MeV neutrons are 2-4 mm and ~2 mm (FWHM), respectively. These results indicate the potential applicability of the new detector concept to Fast-Neutron Resonance Radiography (FNRR) and Dual-Discrete-Energy Gamma Radiography (DDEGR) of large objects.


title: Android Malware Clustering through Malicious Payload Mining

abstract: Clustering has been well studied for desktop malware analysis as an effective triage method. Conventional similarity-based clustering techniques, however, cannot be immediately applied to Android malware analysis due to the excessive use of third-party libraries in Android application development and the widespread use of repackaging in malware development. We design and implement an Android malware clustering system through iterative mining of malicious payload and checking whether malware samples share the same version of malicious payload. Our system utilizes a hierarchical clustering technique and an efficient bit-vector format to represent Android apps. Experimental results demonstrate that our clustering approach achieves precision of 0.90 and recall of 0.75 for Android Genome malware dataset, and average precision of 0.98 and recall of 0.96 with respect to manually verified ground-truth.


title: LabelFusion: A Pipeline for Generating Ground Truth Labels for Real RGBD Data of Cluttered Scenes

abstract: Deep neural network (DNN) architectures have been shown to outperform traditional pipelines for object segmentation and pose estimation using RGBD data, but the performance of these DNN pipelines is directly tied to how representative the training data is of the true data. Hence a key requirement for employing these methods in practice is to have a large set of labeled data for your specific robotic manipulation task, a requirement that is not generally satisfied by existing datasets. In this paper we develop a pipeline to rapidly generate high quality RGBD data with pixelwise labels and object poses. We use an RGBD camera to collect video of a scene from multiple viewpoints and leverage existing reconstruction techniques to produce a 3D dense reconstruction. We label the 3D reconstruction using a human assisted ICP-fitting of object meshes. By reprojecting the results of labeling the 3D scene we can produce labels for each RGBD image of the scene. This pipeline enabled us to collect over 1,000,000 labeled object instances in just a few days. We use this dataset to answer questions related to how much training data is required, and of what quality the data must be, to achieve high performance from a DNN architecture.


title: Perspective: Surface Freezing in Water: A Nexus of Experiments and Simulations

abstract: Surface freezing is a phenomenon in which crystallization is enhanced at a vapor-liquid interface. In some systems, such as $n$-alkanes, this enhancement is dramatic, and results in the formation of a crystalline layer at the free interface even at temperatures slightly above the equilibrium bulk freezing temperature. There are, however, systems in which the enhancement is purely kinetic, and only involves faster nucleation at or near the interface. The first, thermodynamic, type of surface freezing is easier to confirm in experiments, requiring only the verification of the existence of crystalline order at the interface. The second, kinetic, type of surface freezing is far more difficult to prove experimentally. One material that is suspected of undergoing the second type of surface freezing is liquid water. Despite strong indications that the freezing of liquid water is kinetically enhanced at vapor-liquid interfaces, the findings are far from conclusive, and the topic remains controversial. In this perspective, we present a simple thermodynamic framework to understand conceptually and distinguish these two types of surface freezing. We then briefly survey fifteen years of experimental and computational work aimed at elucidating the surface freezing conundrum in water.


title: Multiplication operators on L^p

abstract: We show that every operator on $L^{p}$, $1<p<\infty$ defined by multiplication by the identity function on $\mathbb{C}$ is a compact perturbation of an operator that is diagonal with respect to an unconditional basis. We also classify these operators up to similarity modulo compact operators and up to approximate similarity.


title: Monte Carlo Study of the Crystalline and Amorphous NaK Alloy

abstract: Metropolis Monte Carlo simulations of the eutectic NaK alloy are performed using the Second Moment Approximation (SMA) model potential across a wide range of temperatures at constant pressure. The alloy structure and thermodynamics are analyzed along with the atomic level structures using a variety of structure identification methods. Both enthalpy and density are followed along an annealing process that reveals a clear melting point around 250 K. At lower temperatures, two thermodynamic branches are identified as crystalline and amorphous solids.


title: Exponential-Family Models of Random Graphs: Inference in Finite-, Super-, and Infinite Population Scenarios

abstract: Exponential-family Random Graph Models (ERGMs) constitute a large statistical framework for modeling sparse and dense random graphs, short- and long-tailed degree distributions, covariates, and a wide range of complex dependencies. Special cases of ERGMs are generalized linear models (GLMs), Bernoulli random graphs, $\beta$-models, $p_1$-models, and models related to Markov random fields in spatial statistics and other areas of statistics. While widely used in practice, questions have been raised about the theoretical properties of ERGMs. These include concerns that some ERGMs are near-degenerate and that many ERGMs are non-projective. To address them, careful attention must be paid to model specifications and their underlying assumptions, and in which inferential settings models are employed. As we discuss, near-degeneracy can affect simplistic ERGMs lacking structure, but well-posed ERGMs with additional structure can be well-behaved. Likewise, lack of projectivity can affect non-likelihood-based inference, but likelihood-based inference does not require projectivity. Here, we review well-posed ERGMs along with likelihood-based inference. We first clarify the core statistical notions of "sample" and "population" in the ERGM framework, and separate the process that generates the population graph from the observation process. We then review likelihood-based inference in finite-, super-, and infinite-population scenarios. We conclude with consistency results, and an application to human brain networks


title: Asymptotic formula of the number of Newton polygons

abstract: In this paper, we enumerate Newton polygons asymptotically. The number of Newton polygons is computable by a simple recurrence equation, but unexpectedly the asymptotic formula of its logarithm contains growing oscillatory terms. As the terms come from non-trivial zeros of the Riemann zeta function, an estimation of the amplitude of the oscillating part is equivalent to the Riemann hypothesis.


title: Conditional Independence, Conditional Mean Independence, and Zero Conditional Covariance

abstract: Investigation of the reversibility of the directional hierarchy in the interdependency among the notions of conditional independence, conditional mean independence, and zero conditional covariance, for two random variables X and Y given a conditioning element Z which is not constrained by any topological restriction on its range, reveals that if the first moments of X, Y, and XY exist, then conditional independence implies conditional mean independence and conditional mean independence implies zero conditional covariance, but the direction of the hierarchy is not reversible in general. If the conditional expectation of Y given X and Z is "affine in X," which happens when X is Bernoulli, then the "intercept" and "slope" of the conditional expectation (that is, the nonparametric regression function) equal the "intercept" and "slope" of the "least-squares linear regression function", as a result of which zero conditional covariance implies conditional mean independence.


title: Foliation-based quantization and black hole information

abstract: We extend the foliation-based quantization scheme of \cite{Park:2014tia} to arbitrary asymptotically flat backgrounds including time- and position- dependent ones. One of the ingredients to accomplish the extension is imposition of a Neumann-type boundary condition. The quantization procedure, especially the gauge-fixing-induced reduction, provides a new insight into the black hole information paradox. The hypersurface degrees of freedom in the asymptotic region - whose dynamics should be responsible for part of the `hair' - and transitions among various excitations play a central role in the global formulation of the information and proposed solution of the information paradox. In retrospect, the quantization scheme reveals the origin of the difficulty of the information problem: the problem's ties with the quantization of gravity and subtle boundary dynamics as well as the multilayered techniques required for its setup and study. We also comment on the implications of the asymptotic symmetries for the present quantization framework.


title: Critical points of the classical Eisenstein series of weight two

abstract: In this paper, we completely determine the critical points of the normalized Eisenstein series $E_2(\tau)$ of weight $2$. Although $E_2(\tau)$ is not a modular form, our result shows that $E_2(\tau)$ has at most one critical point in every fundamental domain of $\Gamma_{0}(2)$. We also give a criteria for a fundamental domain containing a critical point of $E_2(\tau)$. Furthermore, under the M\"obius transformation of $\Gamma_{0}(2)$ action, all critical points can be mapped into the basic fundamental domain $F_0$ and their images are contained densely on three smooth curves. A geometric interpretation of these smooth curves is also given. It turns out that these smooth curves coincide with the degeneracy curves of trivial critical points of a multiple Green function related to flat tori.


title: A Streamline Selection Technique Overlaying with Isosurfaces

abstract: Integration of scalar and vector visualization has been an interesting topic. This paper presents a technique to appropriately select and display multiple streamlines while overlaying with isosurfaces, aiming an integrated scalar and vector field visualization. The technique visualizes a scalar field by multiple semitransparent isosurfaces, and a vector field by multiple streamlines, while the technique adequately selects the streamlines considering reduction of cluttering among the isosurfaces and streamlines. The technique first selects and renders isosurfaces, and then generates large number of streamlines from randomly selected seed points. The technique evaluates each of the streamlines according to their shapes on a 2D display space, distances to critical points of the given vector fields, and occlusion by isosurfaces. It then selects the specified number of highly evaluated streamlines. As a result, we can visualize both scalar and vector fields as a set of view-independently selected isosurfaces and view-dependently selected streamlines.


title: Some rigidity characterizations on critical metrics for quadratic curvature functionals

abstract: We study closed $n$-dimensional manifolds of which the metrics are critical for quadratic curvature functionals involving the Ricci curvature, the scalar curvature and the Riemannian curvature tensor on the space of Riemannian metrics with unit volume. Under some additional integral conditions, we classify such manifolds. Moreover, under some curvature conditions, the result that a critical metric must be Einstein is proved.


title: Correct $\Delta m^2_{ij}$ Dependence for Neutrino Oscillation Formulae

abstract: The time translation operator for neutrino mass states is often taken to be $e^{-iEt/\hbar}$. This is not relativistically invariant. In kaon mixing, physicists use $e^{-imc^2\tau/\hbar}$ where $\tau$ is the proper time of the kaon state. The factor $mc^2\tau$ is the rest frame value of the four vector product $p_\mu x^\mu$ which is an invariant quantity. If $-i p_\mu x^\mu$ is used in neutrino oscillation formulae instead of $-iEt$, the scale of the $\Delta m^2_{ij}$ is reduced by a factor of two.


title: Recurrent Theme of Pick's Theorem

abstract: We review and possibly add some new variant to the existing derivations of the formula for the area of Jordan lattice polygons drawn on two-dimensional lattices. The formula is known as Pick's theorem and is related to the number theory elementary result-Bezout lemma. It is pointed out that Euclidean algorithm can be easily used in construction of infinite number of distinct primitive cells for any two-dimensional lattice. Pick's formula itself can also be obtained in an elementary "cut and re-assemble" finite process.


title: On the gyrocenter transform implemented on Lagrangian differential 1-form with the existence of magnetic perturbation

abstract: This paper pointed out that the usual gyrocenter transform, which implements single-parameter Lie transform perturbation theory on Lagrangian differential 1-form of the orbit of charged particles immersed in a strong magnetic field, is not a near identical coordinate transform, and further causes some unphysical terms in the eventual orbit equations.


title: The spectral radius of graphs without long cycles

abstract: Nikiforov conjectured that for a given integer $k\ge 2$, any graph $G$ of sufficiently large order $n$ with spectral radius $\mu(G)\geq \mu(S_{n,k})$ (or $\mu(G)\ge \mu(S_{n,k}^+))$ contains $C_{2k+1}$ or $C_{2k+2}$(or $C_{2k+2}$), unless $G=S_{n,k}$ (or $G=S_{n,k}^+)$, where $C_\ell$ is a cycle of length $\ell$ and $S_{n,k}=K_k\vee \overline{K_{n-k}}$, the join graph of a complete graph of order $k$ and an empty graph on $n-k$ vertices, and $S_{n,k}^+$ is the graph obtained from $S_{n,k}$ by adding an edge in the independent set of $S_{n,k}$. %This can be vie as spectral version of Erd\"{o}s and S\'{o}s conjecture. In this paper, a weaker version of Nikiforov's conjecture is considered, we prove that for a given integer $k\ge 2$, any graph $G$ of sufficiently large order $n$ with spectral radius $\mu(G)\geq \mu(S_{n,k})$ (or $\mu(G)\ge \mu(S_{n,k}^+))$ %$C_{2k+1}$ or $C_{2k+2}$(or $C_{2k+2}$), unless $G=S_{n,k}$ (or $G=S_{n,k}^+)$$S_{n,k}$ ( or $S_{n,k}^+$) is the unique extremal graph with maximum radius among all of the graphs of order $n$ and contains a cycle $C_{\ell}$ with $\ell \geq 2k+1$ (or $C_{\ell}$ with $\ell \geq 2k+2$), unless $G=S_{n,k}$ (or $G=S_{n,k}^+)$. These results also imply a result of Nikiforov given in [Theorem 2, The spectral radius of graphs without paths and cycles of specified length, LAA, 2010].


title: A minimal flavored $U(1)'$ for $B$-meson anomalies

abstract: We consider an anomaly-free $U(1)'$ model with favorable couplings to heavy flavors in the Standard Model(SM), as motivated by $B$-meson anomalies at LHCb. Taking the $U(1)'$ charge to be $Q'=y(L_\mu-L_\tau)+ x(B_3-L_3)$, we can explain the $B$-meson anomalies without invoking extra charged fermions or flavor violation beyond the SM. We show that there is a viable parameter space with a small $x$ that is compatible with other meson decays, tau lepton and neutrino experiments as well as the LHC dimuon searches. We briefly discuss the prospects of discovering the $Z'$ gauge boson at the LHC in the proposed model.


title: Odd induced subgraphs in graphs with treewidth at most two

abstract: A long-standing conjecture asserts that there exists a constant $c>0$ such that every graph of order $n$ without isolated vertices contains an induced subgraph of order at least $cn$ with all degrees odd. Scott (1992) proved that every graph $G$ has an induced subgraph of order at least $|V(G)|/(2\chi(G))$ with all degrees odd, where $\chi(G)$ is the chromatic number of $G$, this implies the conjecture for graphs with { bounded} chromatic number. But the factor $1/(2\chi(G))$ seems to be not best possible, for example, Radcliffe and Scott (1995) proved $c=\frac 23$ for trees, Berman, Wang and Wargo (1997) showed that $c=\frac 25$ for graphs with maximum degree $3$, so it is interesting to determine the exact value of $c$ for special family of graphs. In this paper, we further confirm the conjecture for graphs with treewidth at most 2 with $c=\frac{2}{5}$, and the bound is best possible.


title: Conformal Bootstrap Analysis for Yang-Lee Edge Singularity

abstract: The Yang-Lee edge singularity is investigated by the determinant method of the conformal field theory. The critical dimension Dc, for which the scale dimension of scalar Delta_phi is vanishing, is discussed by this determinant method. The result is incorporated in the Pade analysis of epsilon expansion, which leads to an estimation of the value Delta_phi between three and six dimensions. The structure of the minors is viewed from the fixed points.


title: Period polynomials, derivatives of $L$-functions, and zeros of polynomials

abstract: Period polynomials have long been fruitful tools for the study of values of $L$-functions in the context of major outstanding conjectures. In this paper, we survey some facets of this study from the perspective of Eichler cohomology. We discuss ways to incorporate non-cuspidal modular forms and values of derivatives of $L$-functions into the same framework. We further review investigations of the location of zeros of the period polynomial as well as of its analogue for $L$-derivatives.


title: The Spectral Analysis of the Interior Transmission Eigenvalue Problem for Maxwell's Equations

abstract: In this paper we consider the transmission eigenvalue problem for Maxwell's equations corresponding to non-magnetic inhomogeneities with contrast in electric permittivity that has fixed sign (only) in a neighborhood of the boundary. We study this problem in the framework of semiclassical analysis and relate the transmission eigenvalues to the spectrum of a Hilbert-Schmidt operator. Under the additional assumption that the contrast is constant in a neighborhood of the boundary, we prove that the set of transmission eigenvalues is discrete, infinite and without finite accumulation points. A notion of generalized eigenfunctions is introduced and a denseness result is obtained in an appropriate solution space.


title: Non-commutative $AdS_2/CFT_1$ duality: the case of massless scalar fields

abstract: We show how to construct correlators for the $CFT_1$ which is dual to non-commutative $AdS_2$ ($ncAdS_2$). We do it explicitly for the example of the massless scalar field on Euclidean $ncAdS_2$. $ncAdS_2$ is the quantization of $AdS_2$ that preserves all the isometries. It is described in terms of the unitary irreducible representations, more specifically discrete series representations, of $so(2,1)$. We write down symmetric differential representations for the discrete series, and then map them to functions on the Moyal-Weyl plane. The Moyal-Weyl plane has a large distance limit which can be identified with the boundary of $ncAdS_2$. Killing vectors can be constructed on $ncAdS_2$ which reduce to the $AdS_2$ Killing vectors near the boundary. We therefore conclude that $ncAdS_2$ is asymptotically $AdS_2$, and so the $AdS/CFT$ correspondence should apply. For the example of the massless scalar field on Euclidean $ncAdS_2$, the on-shell action, and resulting two-point function for the boundary theory, are computed to leading order in the noncommutativity parameter. The results agree with those of the commutative scalar field theory, up to a field redefinition.


title: Open-Set Language Identification

abstract: We present the first open-set language identification experiments using one-class classification. We first highlight the shortcomings of traditional feature extraction methods and propose a hashing-based feature vectorization approach as a solution. Using a dataset of 10 languages from different writing systems, we train a One- Class Support Vector Machine using only a monolingual corpus for each language. Each model is evaluated against a test set of data from all 10 languages and we achieve an average F-score of 0.99, highlighting the effectiveness of this approach for open-set language identification.


title: RED: Reinforced Encoder-Decoder Networks for Action Anticipation

abstract: Action anticipation aims to detect an action before it happens. Many real world applications in robotics and surveillance are related to this predictive capability. Current methods address this problem by first anticipating visual representations of future frames and then categorizing the anticipated representations to actions. However, anticipation is based on a single past frame's representation, which ignores the history trend. Besides, it can only anticipate a fixed future time. We propose a Reinforced Encoder-Decoder (RED) network for action anticipation. RED takes multiple history representations as input and learns to anticipate a sequence of future representations. One salient aspect of RED is that a reinforcement module is adopted to provide sequence-level supervision; the reward function is designed to encourage the system to make correct predictions as early as possible. We test RED on TVSeries, THUMOS-14 and TV-Human-Interaction datasets for action anticipation and achieve state-of-the-art performance on all datasets.


title: Method to measure efficiently rare fluctuations of turbulence intensity for turbulent-laminar transitions in pipe flows

abstract: The fluctuations of turbulence intensity in a pipe flow around the critical Reynolds number is difficult to study but important because they are related to turbulent-laminar transitions. We here propose a rare-event sampling method to study such fluctuations in order to measure the time-scale of the transition efficiently. The method is composed of two parts: (i) the measurement of typical fluctuations (the bulk part of an accumulative probability function) and (ii) the measurement of rare fluctuations (the tail part of the probability function) by employing dynamics where a feedback control of the Reynolds number is implemented. We apply this method to a chaotic model of turbulent puffs proposed by Barkley and confirm that the time-scale of turbulence decay increases super-exponentially even for high Reynolds numbers up to Re = 2500, where getting enough statistics by brute-force calculations is difficult. The method uses a simple procedure of changing Reynolds number that can be applied even to experiments.


title: Development of Direct Kinematics and Workspace Representation for Smokie Robot Manipulator & the Barret WAM

abstract: This paper discusses modelling two 6 DOF arm robots. The first step of modelling a robot is establishing its Denavit-Hartenberg parameters. It requires assigning proper coordinates for each link and finding their exact dimensions. In this project we will develop the direct kinematics and workspace representations for two manipulators: the Smokie Robot and the Barrett WAM. After finding the D-H parameters and creating Transformation Matrices,MATLAB programming is used to represent their workspaces.


title: Geometric Jacobians Derivation and Kinematic Singularity Analysis for Smokie Robot Manipulator & the Barrett WAM

abstract: This paper discusses deriving geometric jacobians and identifying and analyzing the kinematic singularities for two 6 DOF arm robots. First we show the direct kinematics and D-H parameters derived for these two arms. The Geometric jacobian is computed for Barrett WAM and Smokie OUR. By analyzing the jacobian matrices we find the configurations at which J is rank deficient and derive the kinematic singularities through jacobian's determinent. Schematic are provided to show the singular configurations of both robots. Finally a survey is done on redundant kinematic allocation schemesfor 7 DoF Barrett WAM.


title: Block-Normalized Gradient Method: An Empirical Study for Training Deep Neural Network

abstract: In this paper, we propose a generic and simple strategy for utilizing stochastic gradient information in optimization. The technique essentially contains two consecutive steps in each iteration: 1) computing and normalizing each block (layer) of the mini-batch stochastic gradient; 2) selecting appropriate step size to update the decision variable (parameter) towards the negative of the block-normalized gradient. We conduct extensive empirical studies on various non-convex neural network optimization problems, including multi-layer perceptron, convolution neural networks and recurrent neural networks. The results indicate the block-normalized gradient can help accelerate the training of neural networks. In particular, we observe that the normalized gradient methods having constant step size with occasionally decay, such as SGD with momentum, have better performance in the deep convolution neural networks, while those with adaptive step sizes, such as Adam, perform better in recurrent neural networks. Besides, we also observe this line of methods can lead to solutions with better generalization properties, which is confirmed by the performance improvement over strong baselines.


title: Elementary-base cirquent calculus I: Parallel and choice connectives

abstract: Cirquent calculus is a proof system manipulating circuit-style constructs rather than formulas. Using it, this article constructs a sound and complete axiomatization CL16 of the propositional fragment of computability logic (the game-semantically conceived logic of computational problems - see http://www.csc.villanova.edu/~japaridz/CL/ ) whose logical vocabulary consists of negation and parallel and choice connectives, and whose atoms represent elementary, i.e. moveless, games.


title: Knot symmetries and the fundamental quandle

abstract: We establish a relationship between the knot symmetries and the automorphisms of the knot quandle. We identify the homeomorphisms of the pair $(S^{3},K)$ that induce the (anti)automorphisms of the fundamental quandle $Q(K)$. We show that every quandle (anti)automorphism of $Q(K)$ is induced by a homeomorphism of the pair $(S^{3},K)$. As an application of those results, we are able to explore some symmetry properties of a knot based on the presentation of its fundamental quandle, which is easily derived from a knot diagram.


title: Indirect excitation of self-oscillation in perpendicular ferromagnet by spin Hall effect

abstract: A possibility to excite a stable self-oscillation in a perpendicularly magnetized ferromagnet by the spin Hall effect is investigated theoretically. It had been shown that such self-oscillation cannot be stabilized solely by the direct spin torque by the spin Hall effect. Here, we consider adding another ferromagnet, referred to as pinned layer, on the free layer. The pinned layer provides another spin torque through the reflection of the spin current. The study shows that the stable self-oscillation is excited by the additional spin torque when the magnetization in the pinned layer is tilted from the film plane.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other nlin.AO


title: Machine learning application in the life time of materials

abstract: Materials design and development typically takes several decades from the initial discovery to commercialization with the traditional trial and error development approach. With the accumulation of data from both experimental and computational results, data based machine learning becomes an emerging field in materials discovery, design and property prediction. This manuscript reviews the history of materials science as a disciplinary the most common machine learning method used in materials science, and specifically how they are used in materials discovery, design, synthesis and even failure detection and analysis after materials are deployed in real application. Finally, the limitations of machine learning for application in materials science and challenges in this emerging field is discussed.


title: Axion Stars and Repeating Fast Radio Bursts with Finite Bandwidths

abstract: We have proposed a model of non repeating fast radio bursts ( FRBs ); the collisions between axion stars and neutron stars generate the bursts. In this paper, we propose a model of repeating FRBs which shows that they arise from the several collisions between magnetized accretion disk of a black hole and an axion star orbiting the black hole. There would be many axions stars condensing as dark matter in an early stage galaxy so that such collisions arises repeatedly. The radiations are emitted by coherent oscillations of electrons in the accretion disk. The oscillations are caused by oscillating electric fields, which are induced by axion stars under strong magnetic field $\sim O(10^{11})$G. The emissions are terminated by the thermal fluctuations of the electrons which result from the thermalization of the oscillation energies. Although the radiations are monochromatic, the thermal Doppler effects broaden the spectral lines; their spectra $S(\nu)$ are given by $S(\nu) \propto \exp(-(\nu-\nu_c)^2/2(\delta\nu)^2)$ with the center frequency $\nu_c$. The bandwidth $\delta\nu=\nu_c\sqrt{T_c/m_e}$ with electron mass $m_e$ is determined by the critical temperature $T_c$ at which the thermal fluctuations terminate the coherent emissions. The observed bandwidths $(3\sim5)\times10^2$MHz are originated from the strong magnetic fields $\sim O(10^{11})$G. With such strong magnetic fields, large amount of the burst energies are produced. Various center frequencies $\nu_c$ of the bursts in the repeating FRB 121102 come from the various rotation speeds in the disk which make an intrinsic frequency of the bursts being Doppler shifted. The recent observation showing an extreme magneto-ionic environment around the source of FRB 121102 supports our model.


title: FML-based Dynamic Assessment Agent for Human-Machine Cooperative System on Game of Go

abstract: In this paper, we demonstrate the application of Fuzzy Markup Language (FML) to construct an FML-based Dynamic Assessment Agent (FDAA), and we present an FML-based Human-Machine Cooperative System (FHMCS) for the game of Go. The proposed FDAA comprises an intelligent decision-making and learning mechanism, an intelligent game bot, a proximal development agent, and an intelligent agent. The intelligent game bot is based on the open-source code of Facebook Darkforest, and it features a representational state transfer application programming interface mechanism. The proximal development agent contains a dynamic assessment mechanism, a GoSocket mechanism, and an FML engine with a fuzzy knowledge base and rule base. The intelligent agent contains a GoSocket engine and a summarization agent that is based on the estimated win rate, real-time simulation number, and matching degree of predicted moves. Additionally, the FML for player performance evaluation and linguistic descriptions for game results commentary are presented. We experimentally verify and validate the performance of the FDAA and variants of the FHMCS by testing five games in 2016 and 60 games of Google Master Go, a new version of the AlphaGo program, in January 2017. The experimental results demonstrate that the proposed FDAA can work effectively for Go applications.


title: Acute sets

abstract: A set of points in $\mathbb{R}^d$ is acute, if any three points from this set form an acute triangle. In this note we construct an acute set in $\mathbb{R}^d$ of size at least $1.618^d$. Also, we present a simple example of an acute set of size at least $2^{\frac{d}{2}}$.


title: On Banach-Mazur distance between planar convex bodies

abstract: Upper estimates of the diameter and the radius of the family of all planar convex bodies with respect to the Banach-Mazur distance are obtained. Namely, it is shown that the diameter does not exceed $\tfrac{19-\sqrt{73}}4\approx 2.614$, which improves the previously known bound of $3$, and that the radius does not exceed $\frac{117}{70}\approx 1.671$.


title: Machine learning application in online lending risk prediction

abstract: Online leading has disrupted the traditional consumer banking sector with more effective loan processing. Risk prediction and monitoring is critical for the success of the business model. Traditional credit score models fall short in applying big data technology in building risk model. In this manuscript, data with various format and size were collected from public website, third-parties and assembled with client's loan application information data. Ensemble machine learning models, random forest model and XGBoost model, were built and trained with the historical transaction data and subsequently tested with separate data. XGBoost model shows higher K-S value, suggesting better classification capability in this task. Top 10 important features from the two models suggest external data such as zhimaScore, multi-platform stacking loans information, and social network information are important factors in predicting loan default probability.


title: Metis CCNx 1.0 Forwarder

abstract: Metis is the CCNx 1.0 forwarder that implements the CCNx 1.0 Semantics and Messages draft standards. This document describes how to use Metis and the internal software architecture.


title: Quasi-stationary states and fermion pair creation from a vacuum in supercritical Coulomb field

abstract: Creation of charged fermion pair from a vacuum in the so-called supercritical Coulomb potential is examined for the case when created pair moves in one plane. In which case the quantum dynamics of charged massive or massless fermions can be described by the two-dimensional Dirac Hamiltonians with a Coulomb potential. These Hamiltonians are singular and require the additional definition in order for them to be treated as self-adjoint quantum-mechanical operators. We construct the self-adjoint two-dimensional Dirac Hamiltonians with a Coulomb potential and determine the quantum-mechanical states for such Hamiltonians in the corresponding Hilbert spaces of square-integrable functions. We determine the scattering amplitude in which the self-adjoint extension parameter is incorporated and then obtain the equations implicitly defining the possible discrete energy spectra of the self-adjoint Dirac Hamiltonians with a Coulomb potential. It is shown that the quantum system in the presence of a supercritical Coulomb potential becomes unstable which manifests in the appearance of quasi-stationary states in the lower (negative) energy continuum. The energy spectrum of these states is quasi-discrete, consists of broadened levels whose width is related to the inverse lifetime of the quasi-stationary state as well as the creation probability of charged fermion pair by supercritical Coulomb field. Explicit analytical expressions for the creation probabilities of charged (massive or massless) fermion pair are obtained in a supercritical Coulomb field.


title: Semiclassical theory for liquid-like behaviour of the frustrated magnet $\mathrm{Ca}_{10}\mathrm{Cr}_{7}\mathrm{O}_{28}$

abstract: We identify the low energy effective Hamiltonian that is expected to describe the low temperature properties of the frustrated magnet $\mathrm{Ca}_{10}\mathrm{Cr}_{7}\mathrm{O}_{28}$. Motivated by the fact that this effective Hamiltonian has $S=3/2$ effective moments as its degrees of freedom, we use semiclassical spinwave theory to study the $T=0$ physics of this effective model and argue that singular spinwave fluctuations destabilize the spiral order favoured by the exchange couplings of this effective Hamiltonian. We also use a combination of classical Monte-Carlo simulations and molecular dynamics, as well as analytical approximations, to study the physics at low, nonzero temperatures. The results of these nonzero temperature calculations capture the liquid-like structure factors observed in the temperature range accessed by recent experiments. Additionally, at still lower temperatures, they predict that a transition to nematic order in the bond energies reflects itself in the spin channel in the form of a crossover to a regime with large but finite correlation length for spiral spin correlations and a corresponding slowing down of spin dynamics.


title: Process Migration over CCNx

abstract: Process migration involves moving the running state of a process from one physical system to another, as is commonly done for virtual machines. In this paper, we describe how Content Centric Networking (CCNx) facilitates process migration through an intuitive naming ontology and version checkpointing.


title: The UHECR source evolution and high-energy neutrinos and {\gamma}-rays

abstract: Interactions of ultra-high-energy cosmic rays with background photons set a limit to the distance cosmic rays reaching us above a certain energy can originate from, making measurements of their fluxes insensitive to properties of sources at high redshifts. On the other hand, the secondary PeV--EeV neutrinos produced in UHECR propagation can reach the Earth even from very high redshifts, and electromagnetic cascades initiated by secondary photons and electrons/positrons contribute to the diffuse gamma-ray background. Therefore, a multi-messenger analysis combining UHECR, neutrino, and gamma-ray data can still provide information about the cosmological evolution of UHECR sources. In this work, we compare predicted particle fluxes from Monte Carlo simulations in various scenarios with recent experimental data, and discuss the conclusions that can be drawn about UHECR sources and their cosmological evolution.


title: Asymptotic Analysis of Expectations of Plane Partition Statistics

abstract: Assuming that a plane partition of the positive integer $n$ is chosen uniformly at random from the set of all such partitions, we propose a general asymptotic scheme for the computation of expectations of various plane partition statistics as $n$ becomes large. The generating functions that arise in this study are of the form $Q(x)F(x)$, where $Q(x)=\prod_{j=1}^\infty (1-x^j)^{-j}$ is the generating function for the number of plane partitions. We show how asymptotics of such expectations can be obtained directly from the asymptotic expansion of the function $F(x)$ around $x=1$. The representation of a plane partition as a solid diagram of volume $n$ allows interpretations of these statistics in terms of its dimensions and shape. As an application of our main result, we obtain the asymptotic behavior of the expected values of the largest part (the height of the solid diagram) and the trace (the number of cubes in the wall on the main diagonal of the solid diagram). Our results are similar to those of Grabner et al. (2014) related to linear integer partition statistics. We base our study on Hayman's method for admissible power series.


title: Transitions between superstatistical regimes: validity, breakdown and applications

abstract: Superstatistics is a widely employed tool of non-equilibrium statistical physics which plays an important role in analysis of hierarchical complex dynamical systems. Yet, its "canonical" formulation in terms of a single nuisance parameter is often too restrictive when applied to complex empirical data. Here we show that a multi-scale generalization of the superstatistics paradigm is more versatile, allowing to address such pertinent issues as transmutation of statistics or inter-scale stochastic behavior. To put some flesh on the bare bones, we provide a numerical evidence for a transition between two superstatistics regimes, by analyzing high-frequency (minute-tick) data for share-price returns of seven selected companies. Salient issues, such as breakdown of superstatistics in fractional diffusion processes or connection with Brownian subordination are also briefly discussed.


title: A Remark on the Piatetski-Shapiro-Hua Theorem

abstract: In this paper, we prove that for any fixed $205/243<\gamma\leqslant1$, every sufficiently large $N$ satisfying $N\equiv 5 \pmod {24}$ can be represented as five squares of primes with one prime in $\mathcal{P}_\gamma$, which improves the previous result of Zhang and Zhai.


title: Effective mobility and diffusivity in coarsening processes

abstract: We suggest that coarsening dynamics can be described in terms of a generalized random walk, with the dynamics of the growing length $L(t)$ controlled by a drift term, $\mu(L)$, and a diffusive one, ${\cal D}(L)$. We apply this interpretation to the one dimensional Ising model with a ferromagnetic coupling constant decreasing exponentially on the scale $R$. In the case of non conserved (Glauber) dynamics, both terms are present and their balance depend on the interplay between $L(t)$ and $R$. In the case of conserved (Kawasaki) dynamics, drift is negligible, but ${\cal D}(L)$ is strongly dependent on $L$. The main pre-asymptotic regime displays a speeding of coarsening for Glauber dynamics and a slowdown for Kawasaki dynamics. We reason that a similar behaviour can be found in two dimensions.


title: Multi-photon Effects in Single Nonlinear Compton Scattering and Single Nonlinear Breit-Wheeler Process in Ultra Intense Fields

abstract: Nonlinear Compton scattering (NCS) and nonlinear Breit-Wheeler (NBW) process are strongly multi-photon and highly nonlinear processes. In ultra intense lasers (normalized field amplitude $a_0 \gg 1$), radiation formation length is much shorter than a period and single NCS/NBW cannot be described as scatterings of electrons dressing plane waves with $\gamma$ photons for what they feel is a local constant crossed field. However, present theories in constant crossed fields are hard to give some important quantum features due to divergence problems, such as number of laser photons involved, instantaneous angular distribution and detailed spectrum. As an alternative, present understanding of single NCS/NBW in ultra intense lasers includes several classical and semi-quantum ideas such as forward emission, recoil reaction and spectrum cutoff. We investigated multi-photon effects on NCS/NBW in ultra intense lasers by extracting the number of laser photons involved in a single process in ultra intense lasers from formulae of existing theories. New features of single NCS in ultra intense lasers including fixed emission angle to instantaneous electron momentum, instantaneous deflection of electron, and disappearance of spectrum cutoff are deduced. Similar features of single NBW in ultra intense lasers including non-vanishing emission angles to instantaneous $\gamma$ photon momentum, disappearance of spectrum cutoff and appearance of spectrum lower limit are also obtained. Simulations show that corresponding signals of multi-photon effects are significant on $10$PW scale and stronger lasers.


title: Large $N$ expansions for the Laguerre and Jacobi $\beta$ ensembles from the loop equations

abstract: The $\beta$-ensembles of random matrix theory with classical weights have many special properties. One is that the loop equations specifying the resolvent and corresponding multipoint correlators permit a derivation at general order of the correlator via Aomoto's method from the theory of the Selberg integral. We use Aomoto's method to derive the full hierarchy of loop equations for Laguerre and Jacobi $\beta$ ensembles, and use these to systematically construct the explicit form of the $1/N$ expansion at low orders. This allows us to give the explicit form of corrections to the global density, and allows various moments to be computed, complementing results available in the literature motivated by problems in quantum transport.