title: Optical Lattice Modulation Spectroscopy for Spin-orbit Coupled Bosons

abstract: Interacting bosons with two "spin'' states in a lattice show novel superfluid-insulator phase transitions in the presence of spin-orbit coupling. Depending on the parameter regime, bosons in the superfluid phase can condense to either a zero momentum state or to one or multiple states with finite momentum, leading to an unconventional superfluid phase. We study the response of such a system to modulation of the optical lattice potential. We show that the change in momentum distribution after lattice modulation shows distinct patterns in the Mott and the superfluid phase and these patterns can be used to detect these phases and the quantum phase transition between them. Further, the momentum resolved optical modulation spectroscopy can identify both the gapless (Goldstone) gapped amplitude (Higgs) mode of the superfluid phase and clearly distinguish between the superfluid phases with a zero momentum condensate and a twisted superfluid phase by looking at the location of these modes in the Brillouin zone. We discuss experiments which can test our theory.


title: Existence, blow-up and exponential decay of solutions for a porous-elastic system with damping and source terms

abstract: In this paper we consider a porous-elastic system consisting of nonlinear boundary/interior damping and nonlinear boundary/interior sources. Our interest lies in the theoretical understanding of the existence, finite time blow-up of solutions and their exponential decay using non-trivial adaptations of well-known techniques. First, we apply the conventional Faedo-Galerkin method with standard arguments of density on the regularity of initial conditions to establish two local existence theorems of weak solutions. Moreover, we detail the uniqueness result in some specific cases. In the second theme, we prove that any weak solution possessing negative initial energy has the latent blow-up in finite time. Finally, we obtain the so-called exponential decay estimates for the global solution under the construction of a suitable Lyapunov functional. In order to corroborate our theoretical decay, a numerical example is provided.


title: Debye temperature of nanocrystalline Fe-Cr alloys obtained by mechanical alloying

abstract: A series on nanocrystalline Fe100-xCrx alloys prepared by mechanical alloying was investigated with X-ray diffraction (XRD), scanning electron microscopy (SEM) and M\"ossbauer spectroscopy (MS) techniques. XRD and SEM were used to structurally characterize the samples whereas MS permitted phase analysis as well as determination of the Debye temperature, Theta_D. Concerning the latter, an enhancement relative to bulk Theta_D-values was revealed in the range of ca. 40 < x <50. In a sample of Fe55.5Cr44.5 two phases were detected viz. (1) crystalline and magnetic with Theta_D=572(56) K and (2) amorphous and paramagnetic with Theta_D=405(26) K.


title: Time- and State-Dependent Input Delay-Compensated Bang-Bang Control of a Screw Extruder for 3D Printing

abstract: A delay-compensated Bang-Bang control design methodology for the control of the nozzle output flow rate of screw-extruder-based 3D printing processes is developed. The presented application has a great potential to move beyond the most commonly used processes such as Fused Deposition Modeling (FDM) and Syringe Based Extrusion (SBE), improving the build speed. A geometrical decomposition of the screw extruder in a partially and a fully filled regions (PFZ and FFZ) allows to describe the material convection in the extruder chamber by a 1D hyperbolic Partial Differential Equation (PDE) coupled with an Ordinary Differential Equation (ODE). After solving the hyperbolic PDE by the Method of Characteristics (MC), the coupled PDE-ODE's system is transformed into a nonlinear state-dependent input delay system. The aforementioned delay system is extended to the nonisothermal case with the consideration of periodic fluctuations acting on the material's convection speed, which represent the effect of viscosity variations due to temperature changes in the extruder chamber, resulting to a nonlinear system with an input delay that simultaneously depends on the state and the time variable. Global Exponential Stability (GES) of the nonlinear delay-free plant is established under a piecewise exponential feedback controller that is designed. By combining the nominal, piecewise exponential feedback controller with nonlinear predictor feedback the compensation of the time- and state-dependent input delay of the extruder model is achieved. Global Asymptotic Stability (GAS) of the closed-loop system under the Bang-Bang predictor feedback control law is established when certain conditions, which are easy to verify, related to the extruder design and the material properties, as well as to the magnitude and frequency of the materials transport speed variations, are satisfied.


title: A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization

abstract: We prove the syntactic soundness of classical tableaux with free variables and on-the-fly Skolemization. Soundness proofs are usually built from semantic arguments, and this is to our knowledge, the first proof that appeals to syntactic means. We actually prove the soundness property with respect to cut-free sequent calculus. This requires great care because of the additional liberty in freshness checking allowed by the use of Skolem terms. In contrast to semantic soundness, we gain the possibility to state a cut elimination theorem for sequent calculus, under the proviso that completeness of the method holds. We believe that such techniques can be applied to tableaux in other logics as well.


title: The Hecke algebra action on Morava E-theory of height 2

abstract: Given a one-dimensional formal group of height 2, let E be the Morava E-theory spectrum associated to its universal deformation over the Lubin-Tate ring. By computing with moduli spaces of elliptic curves, we give an explicitation for an algebra of Hecke operators acting on E-cohomology. This leads to a vanishing result for Rezk's logarithmic cohomology operation on the units of E. It identifies a family of elements in the kernel with meromorphic modular forms whose Serre derivative is zero. Our calculation finds a connection to logarithms of modular units. In particular, we work out an action of Hecke operators on certain "logarithmic" q-series, in the sense of Knopp and Mason, that agrees with our vanishing result and extends the classical Hecke action on modular forms.


title: Monotonic Calibrated Interpolated Look-Up Tables

abstract: Real-world machine learning applications may require functions that are fast-to-evaluate and interpretable. In particular, guaranteed monotonicity of the learned function can be critical to user trust. We propose meeting these goals for low-dimensional machine learning problems by learning flexible, monotonic functions using calibrated interpolated look-up tables. We extend the structural risk minimization framework of lattice regression to train monotonic look-up tables by solving a convex problem with appropriate linear inequality constraints. In addition, we propose jointly learning interpretable calibrations of each feature to normalize continuous features and handle categorical or missing data, at the cost of making the objective non-convex. We address large-scale learning through parallelization, mini-batching, and propose random sampling of additive regularizer terms. Case studies with real-world problems with five to sixteen features and thousands to millions of training samples demonstrate the proposed monotonic functions can achieve state-of-the-art accuracy on practical problems while providing greater transparency to users.


title: Communication-Free Distributed Coverage for Networked Systems

abstract: In this paper, we present a communication-free algorithm for distributed coverage of an arbitrary network by a group of mobile agents with local sensing capabilities. The network is represented as a graph, and the agents are arbitrarily deployed on some nodes of the graph. Any node of the graph is covered if it is within the sensing range of at least one agent. The agents are mobile devices that aim to explore the graph and to optimize their locations in a decentralized fashion by relying only on their sensory inputs. We formulate this problem in a game theoretic setting and propose a communication-free learning algorithm for maximizing the coverage.


title: Face enumeration on simplicial complexes

abstract: Let $M$ be a closed triangulable manifold, and let $\Delta$ be a triangulation of $M$. What is the smallest number of vertices that $\Delta$ can have? How big or small can the number of edges of $\Delta$ be as a function of the number of vertices? More generally, what are the possible face numbers ($f$-numbers, for short) that $\Delta$ can have? In other words, what restrictions does the topology of $M$ place on the possible $f$-numbers of triangulations of $M$? To make things even more interesting, we can add some combinatorial conditions on the triangulations we are considering (e.g., flagness, balancedness, etc.) and ask what additional restrictions these combinatorial conditions impose. While only a few theorems in this area of combinatorics were known a couple of decades ago, in the last ten years or so, the field simply exploded with new results and ideas. Thus we feel that a survey paper is long overdue. As new theorems are being proved while we are typing this chapter, and as we have only a limited number of pages, we apologize in advance to our friends and colleagues, some of whose results will not get mentioned here.


title: Degenerate Mobilities in Phase Field Models are Insufficient to Capture Surface Diffusion

abstract: Phase field models frequently provide insight to phase transitions, and are robust numerical tools to solve free boundary problems corresponding to the motion of interfaces. A body of prior literature suggests that interface motion via surface diffusion is the long-time, sharp interface limit of microscopic phase field models such as the Cahn-Hilliard equation with a degenerate mobility function. Contrary to this conventional wisdom, we show that the long-time behaviour of degenerate Cahn-Hilliard equation with a polynomial free energy undergoes coarsening, reflecting the presence of bulk diffusion, rather than pure surface diffusion. This reveals an important limitation of phase field models that are frequently used to model surface diffusion.

categories: cond-mat.soft cond-mat.mtrl-sci math.NA nlin.PS


title: Confetti Ordering by Polymer Brushes

abstract: I consider the ordering of dilute platelet additives when incorporated into an end-grafted polymer brush. The competition between wetting interactions and the anisotropic stress environment of the interior of the brush causes these platelet additives to either remain suspended at the outer edge of the brush laying flat against the brush surface (as bits of confetti at rest on the ground), or to invade the interior of the brush in which case the platelets stand end-on and in some cases protrude above the outer edge of the brush. The orientation of the additives is controlled by the ratio of the diameter of the additive to the thickness of the bare brush, as well as the ratio of solvent-monomer and solvent-platelet interactions.


title: On the distribution of the number of fixed vectors for the finite classical groups

abstract: Motivated by analogous results for the symmetric group and compact Lie groups, we study the distribution of the number of fixed vectors of a random element of a finite classical group. We determine the limiting moments of these distributions, and find exactly how large the rank of the group has to be in order for the moment to stabilize to its limiting value. The proofs require a subtle use of some q-series identities. We also point out connections with orthogonal polynomials.


title: Pristine and intercalated transition metal dichalcogenide superconductors

abstract: Transition metal dichalcogenides (TMDs) are quasi-two-dimensional layered compounds exhibiting strongly competing charge-density wave (CDW) and superconducting (SC) order parameters (OPs). The weak van der Waals interlayer bonding between hexagonal layers of octahedral or trigonal prismatic TMD building blocks allows for many polytypes. The non-superconducting $1T$ polytypes can have one or more CDWs. The $2H$ polytypes have two or more Fermi surfaces and saddle bands, allowing for dual orderings, which can be coexisting CDW and SC orderings, two SC gaps as in MgB$_2$, or two CDW gaps. The CDW transitions $T_{\rm CDW}$s usually greatly exceed the low superconducting $T_{\rm c}$s, their orbital OPs are generally highly anisotropic and can even contain nodes, are remarkably similar to the the high-$T_{\rm c}$ cuprate pseudogaps, and the SC OPs can be greatly affected by their presence. In 2$H$-NbSe$_2$, the CDW renders its general $s$-wave SC OP orbital symmetry to be highly anisotropic and strongly reduces its Josephson coupling strength ($I_{\rm c}R_{\rm n}$) with Pb. Pressure and intercalation generally suppress the CDWs, enhancing $T_{\rm c}$. The misfit intercalation compound (LaSe)$_{1.14}$(NbSe$_2$) and many intercalated $2H$-TMDs, such as TaS$_2$(pyridine)$_{1/2}$, have completely incoherent $c$-axis transport, dimensional-crossover effects, and behave as stacks of intrinsic Josephson junctions. Except for the anomalously large violation of the Pauli limit of the upper critical field of (LaSe)$_{1.14}$(NbSe$_2$), these properties are very similar to those of the cuprate Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ and of the organic layered superconductor, $\kappa$-(ET)$_2$Cu[N(CN)$_2$]Br. Intercalates of TMDs with water and metallic ions are very similar to Na$_x$CoO$_2\cdot y$H$_2$O.


title: Topological Hochschild homology of maximal orders in simple Q-algebras

abstract: We calculate the topological Hochschild homology groups of a maximal order in a central algebra over the rationals. Since the positive-dimensional THH groups consist only of torsion, we do this one prime ideal at a time for all the nonzero prime ideals in the center of the maximal order. This allows us to reduce the problem to studying the THH groups of maximal orders A in simple algebras over Q_p. We show that the topological Hochschild homology of A/(p) splits as the tensor product of its Hochschild homology and the topological Hochschild homology of F_p. We use this result in Brun's spectral sequence to calculate THH(A; A/(p)), and then we analyze the torsion to get the homotopy groups of the completion at p of THH(A).


title: Local Ranking Problem on the BrowseGraph

abstract: The "Local Ranking Problem" (LRP) is related to the computation of a centrality-like rank on a local graph, where the scores of the nodes could significantly differ from the ones computed on the global graph. Previous work has studied LRP on the hyperlink graph but never on the BrowseGraph, namely a graph where nodes are webpages and edges are browsing transitions. Recently, this graph has received more and more attention in many different tasks such as ranking, prediction and recommendation. However, a web-server has only the browsing traffic performed on its pages (local BrowseGraph) and, as a consequence, the local computation can lead to estimation errors, which hinders the increasing number of applications in the state of the art. Also, although the divergence between the local and global ranks has been measured, the possibility of estimating such divergence using only local knowledge has been mainly overlooked. These aspects are of great interest for online service providers who want to: (i) gauge their ability to correctly assess the importance of their resources only based on their local knowledge, and (ii) take into account real user browsing fluxes that better capture the actual user interest than the static hyperlink network. We study the LRP problem on a BrowseGraph from a large news provider, considering as subgraphs the aggregations of browsing traces of users coming from different domains. We show that the distance between rankings can be accurately predicted based only on structural information of the local graph, being able to achieve an average rank correlation as high as 0.8.


title: Intrinsic frequencies of baryons in Skyrmion theory: origin of matter wave

abstract: Exploiting the Hamilton quantization in the Skyrmion thoery, we investigate intrinsic frequencies of baryons such as nucleon and delta particles. We find that matter wave property of the baryons originates from these intrinsic vibrational modes defined on internal hypersphere.


title: Compactly Supported Cohomology Groups of Toric Surfaces

abstract: This article uses homological methods for evaluating compactly supported cohomology groups of noncompact toric surfaces


title: Image Segmentation Using Hierarchical Merge Tree

abstract: This paper investigates one of the most fundamental computer vision problems: image segmentation. We propose a supervised hierarchical approach to object-independent image segmentation. Starting with over-segmenting superpixels, we use a tree structure to represent the hierarchy of region merging, by which we reduce the problem of segmenting image regions to finding a set of label assignment to tree nodes. We formulate the tree structure as a constrained conditional model to associate region merging with likelihoods predicted using an ensemble boundary classifier. Final segmentations can then be inferred by finding globally optimal solutions to the model efficiently. We also present an iterative training and testing algorithm that generates various tree structures and combines them to emphasize accurate boundaries by segmentation accumulation. Experiment results and comparisons with other very recent methods on six public data sets demonstrate that our approach achieves the state-of-the-art region accuracy and is very competitive in image segmentation without semantic priors.


title: On Strong Cosmic Censorship

abstract: For almost half of the one hundred year history of Einstein's theory of general relativity, Strong Cosmic Censorship has been one of its most intriguing conjectures. The SCC conjecture addresses the issue of the nature of the singularities found in most solutions of Einstein's gravitational field equations: Are such singularities generically characterized by unbounded curvature? Is the existence of a Cauchy horizon (and the accompanying extensions into spacetime regions in which determinism fails) an unstable feature of solutions of Einstein's equations? In this short review article, after briefly commenting on the history of the SCC conjecture, we survey some of the progress made in research directed either toward supporting SCC or toward uncovering some of its weaknesses. We focus in particular on model versions of SCC which have been proven for restricted families of spacetimes (e.g., the Gowdy spacetimes), and the role played by the generic presence of Asymptotically Velocity Term Dominated behavior in these solutions. We also note recent work on spacetimes containing weak null singularities, and their relevance for the SCC conjecture.


title: Classical Mechanics in Hilbert Space: Path Integral Formulation, and a Quantum Correction

abstract: While it is well-known that quantum mechanics can be reformulated in terms of a path integral representation, it will be shown that such a formulation is also possible in the case of classical mechanics. From Koopman-von Neumann theory, which recasts classical mechanics in terms of a Hilbert space wherein the Liouville operator acts as the generator of motion, we derive a path integral representation of the classical propagator and suggest an efficient numerical implementation using fast fourier transform techniques. We then include a first quantum correction to derive a revealing expression for the semi-classical path integral, which augments the classical picture of a single trajectory through phase space with additional wave-like spreading.


title: TEA: A Code for Calculating Thermochemical Equilibrium Abundances

abstract: We present an open-source Thermochemical Equilibrium Abundances (TEA) code that calculates the abundances of gaseous molecular species. The code is based on the methodology of White et al. (1958) and Eriksson (1971). It applies Gibbs free-energy minimization using an iterative, Lagrangian optimization scheme. Given elemental abundances, TEA calculates molecular abundances for a particular temperature and pressure or a list of temperature-pressure pairs. We tested the code against the method of Burrows & Sharp (1999), the free thermochemical equilibrium code CEA (Chemical Equilibrium with Applications), and the example given by White et al. (1958). Using their thermodynamic data, TEA reproduces their final abundances, but with higher precision. We also applied the TEA abundance calculations to models of several hot-Jupiter exoplanets, producing expected results. TEA is written in Python in a modular format. There is a start guide, a user manual, and a code document in addition to this theory paper. TEA is available under a reproducible-research, open-source license via https://github.com/dzesmin/TEA.


title: Superconductivity in the A15 Structure

abstract: The cubic A15 structure metals, with over 60 distinct member compounds, held the crown of highest Tc superconductor starting in 1954 with the discovery of Tc=18 K in Nb3Sn. Tc increased over the next 20 years until the discovery in 1973 of Tc = 22.3 K (optimized to approximately 23 K a year later) in sputtered films of Nb3Ge. Attempts were made to produce - via explosive compression - higher (theorized to be 31-35 K) transition temperatures in not stable at ambient conditions A15 Nb3Si. However, the effort to continue the march to higher Tc values in A15 Nb3Si only resulted in a defect-suppressed Tc of 19 K by 1981. Focus in superconductivity research partially shifted with the advent of heavy Fermion superconductors (CeCu2Si2, UBe13, and UPt3 discovered in 1979, 1983 and 1984 respectively) and further shifted away from A15 superconductors with the discovery of the perovskite structure cuprate superconductors in 1986 with Tc=35 K. However, the A15 superconductors, and specifically doped Nb3Sn, are still the material of choice today for most applications where high critical currents (e. g. magnets with dc persistent fields up to 21 T) are required. Thus, this article discusses superconductivity, and the important physical properties and theories for the understanding thereof, in the A15 superconductors which held the record Tc for the longest time (32 years) of any known class of superconductor since the discovery of Tc=4.2 K in Hg in 1911. The discovery in 2008 of Tc=38 K at 7 kbar in A15 Cs3C60 (properly a member of the fullerene superconductor class), which is an insulator at 1 atm pressure and otherwise also atypical of the A15 class of superconductors, will be briefly discussed.


title: On integrals for some class of ordinary difference equations admitting a Lax pair representation

abstract: We consider two infinite classes of ordinary difference equations admitting Lax pair representation. Discrete equations in these classes are parameterized by two integers $k\geq 0$ and $s\geq k+1$. We describe the first integrals for these two classes in terms of special discrete polynomials. We show an equivalence of two difference equations belonged to different classes corresponding to the same pair $(k, s)$. We show that solution spaces $\mathcal{N}^k_s$ of different ordinary difference equations with fixed value of $s+k$ are organized in chain of inclusions.


title: Real-Space Renormalization Group for Spectral Properties of Hierarchical Networks

abstract: We derive the determinant of the Laplacian for the Hanoi networks and use it to determine their number of spanning trees (or graph complexity) asymptotically. While spanning trees generally proliferate with increasing average degree, the results show that modifications within the basic patterns of design of these hierarchical networks can lead to significant variations in their complexity. To this end, we develop renormalization group methods to obtain recursion equations from which many spectral properties can be obtained. This provides the basis for future applications to explore the physics of several dynamic processes.


title: Neutral pion photoproduction on the nucleon in a chiral quark model

abstract: A chiral quark-model approach is adopted to study the $\gamma p\rightarrow \pi^0p$ and $\gamma n\rightarrow \pi^0 n$ reactions. Good descriptions of the total and differential cross sections and single-polarization observables are obtained from the pion production threshold up to the second resonance region. It is found that (i) the $n=0$ shell resonance $\Delta(1232)P_{33}$, the $n=1$ shell resonances $N(1535)S_{11}$ and $N(1520)D_{13}$, and the $n=2$ shell resonance $N(1720)P_{13}$ play crucial roles in these two processes. They are responsible for the first, second and third bump structures in the cross sections, respectively. (ii) Furthermore, obvious evidences of $N(1650)S_{11}$ and $\Delta(1620)S_{31}$ are also found in the reactions. They notably affect the cross sections and the polarization observables from the second resonance region to the third resonance region. (iii) The $u$-channel background plays a crucial role in the reactions. It has strong interferences with the $s$-channel resonances. (iv) The $t$-channel background seems to be needed in the reactions. Including the $t$-channel vector-meson exchange contribution, the descriptions in the energy region $E_\gamma= 600\sim 900$ MeV are improved significantly. The helicity amplitudes of the main resonances, $\Delta(1232)P_{33}$, $N(1535)S_{11}$, $N(1520)D_{13}$, $N(1720)P_{13}$, $N(1650)S_{11}$ and $\Delta(1620)S_{31}$, are extracted and compared with the results from other groups.


title: Topics in vacuum decay (Ph.D Thesis)

abstract: If a theory has more than one classically stable vacuum, quantum tunneling and thermal jumps make the transition between the vacua possible. The transition happens through a first order phase transition started by nucleation of a bubble of the new vacuum. The outward pressure of the truer vacuum makes the bubble expand and consequently eat away more of the old phase. In the presence of gravity this phenomenon gets more complicated and meanwhile more interesting. It can potentially have important cosmological consequences. Some aspects of this decay are studied in this thesis. Solutions with different symmetry than the generically used O(4) symmetry are studied and their actions calculated. Vacuum decay in a spatial vector field is studied and novel features like kinky domain walls are presented. The question of stability of vacua in a landscape of potentials is studied and the possible instability in large dimension of fields is shown. Finally a compactification of the Einstein-Maxwell theory is studied which can be a good lab to understand the decay rates in compactification models of arbitrary dimensions.


title: Atomic resolution imaging of the two-component Dirac-Landau levels in a gapped graphene monolayer

abstract: The wavefunction of massless Dirac fermions is a two-component spinor. In graphene, a one-atom-thick film showing two-dimensional Dirac-like electronic excitations, the two-component representation reflects the amplitude of the electron wavefunction on the A and B sublattices. This unique property provides unprecedented opportunities to image the two components of massless Dirac fermions spatially. Here we report atomic resolution imaging of the two-component Dirac-Landau levels in a gapped graphene monolayer by scanning tunnelling microscopy and spectroscopy. A gap of about 20 meV, driven by inversion symmetry breaking by the substrate potential, is observed in the graphene on both SiC and graphite substrates. Such a gap splits the n = 0 Landau level (LL) into two levels, 0+ and 0-. We demonstrate that the amplitude of the wavefunction of the 0- LL is mainly at the A sites and that of the 0+ LL is mainly at the B sites of graphene, characterizing the internal structure of the spinor of the n = 0 LL. This provides direct evidence of the two-component nature of massless Dirac fermions.


title: On some 1/4 BPS Wilson-'t Hooft loops

abstract: In this paper, we investigate the 1/4 BPS Wilson-'t Hooft loops in $\mathcal{N}$=4 supersymmetric Yang-Mills theory. We use the bulk D3-brane solutions with both electric and magnetic charges on its world-volume to describe some of 1/4 BPS Wilson-'t Hooft loops. The D3-brane supersymmetric solutions are derived form requiring $\kappa$-symmetry. We find the two consistent constraints for Killing spinors and calculate the conserved charges of straight 1/4 BPS Wilson-'t Hooft loops and expectation values of circular 1/4 BPS Wilson-'t Hooft loops separately.


title: Are Crab Nanoshots Schwinger Sparks?

abstract: The highest brightness temperature ever observed are from "nanoshots" from the Crab pulsar which we argue could be the signature of bursts of vacuum $e^{\pm}$ pair production. If so this would be the first time the astronomical Schwinger effect has been observed. These "Schwinger sparks" would be an intermittent but extremely powerful, $\sim 10^3 L_{\astrosun}$, 10 PeV $e^{\pm}$ accelerator in the heart of the Crab. These nanosecond duration sparks are generated in a volume less than $1 m^3$ and the existence of such sparks has implications for the small scale structure of the magnetic field of young pulsars such as the Crab. This mechanism may also play a role in producing other enigmatic bright short radio transients such as fast radio bursts.


title: Investigation of the dispersion and the effective masses of excitons in bulk 2H-MoS2 using transition electron energy-loss spectroscopy

abstract: We have investigated the electronic excitations in bulk 2H-MoS2 using electron energy-loss spectroscopy. The electron energy-loss spectra in the {\Gamma}M and {\Gamma}K directions were measured for various momentum transfer values. The results allow the identification of the A1 and B1 exciton peaks and in particular their energy-momentum dispersion. The dispersions exhibit approximately quadratic upward trends and slight anisotropies in the {\Gamma}M and {\Gamma}K directions. The fitted energy-momentum transfer functions allow the estimation of the effective masses of the excitons which are in close proximity to predicted values.


title: Strange Work in Strange Places: Quantum Field Theory in Curved Space

abstract: Astronomers seem to be observing the fossilized remnants of quantum gravitational processes which took place during the epoch of {\it primordial inflation} that is conjectured to have occurred during the first $10^{-32}$ seconds of cosmic history. We give a non-technical description of what causes these processes and how they become preserved to survive to the current epoch. We also discuss some of the secondary effects which should result.


title: Phase diagram to design passive nanostructures

abstract: A phase diagram, defined by the amplitude square and phase of scattering coefficients for absorption cross-section in each individual channel, is introduced as a universal map on the electromagnetic properties for passive scatterers. General physical bounds are naturally revealed based on the intrinsic power conservation in a passive scattering system, entailing power competitions among scattering, absorption, and extinction. Exotic scattering and absorption phenomena, from resonant scattering, invisible cloaking, coherent perfect absorber, and subwavelength superscattering can all be illustrated in this phase diagram. With electrically small core-shell scatterers as an example, we demonstrate a systematic method to design field-controllable structures based on the allowed trajectories in the phase diagram. The proposed phase diagram not only provides a simple tool to design optical devices but also promotes a deep understanding on Mie's scattering theory.


title: Springer's Weyl group representation via localization

abstract: Let $G$ denote a reductive algebraic group over $\mathbb{C}$ and $x$ a nilpotent element of its Lie algebra $\mathfrak{g}$. The Springer variety $\mathcal{B}_x$ is the closed subvariety of the flag variety $\mathcal{B}$ of $G$ parameterizing the Borel subalgebras of $\mathfrak{g}$ containing $x$. It has the remarkable property that the Weyl group $W$ of $G$ admits a representation on the cohomology of $\mathcal{B}_x$ even though $W$ rarely acts on $\mathcal{B}_x$ itself. Well-known constructions of this action due to Springer et al use technical machinery from algebraic geometry. The purpose of this note is to describe an elementary approach that gives this action when $x$ is what we call parabolic-surjective. The idea is to use localization to construct an action of $W$ on the equivariant cohomology algebra $H_S^*(\mathcal{B}_x)$, where $S$ is a certain algebraic subtorus of $G$. This action descends to $H^*(\mathcal{B}_x)$ via the forgetful map and gives the desired representation. The parabolic-surjective case includes all nilpotents of type $A$ and, more generally, all nilpotents for which it is known that $W$ acts on $H_S^*(\mathcal{B}_x)$ for some torus $S$. Our result is deduced from a general theorem describing when a group action on the cohomology of the fixed point set of a torus action on a space lifts to the full cohomology algebra of the space.


title: Domain Adaptation Extreme Learning Machines for Drift Compensation in E-nose Systems

abstract: This paper addresses an important issue, known as sensor drift that behaves a nonlinear dynamic property in electronic nose (E-nose), from the viewpoint of machine learning. Traditional methods for drift compensation are laborious and costly due to the frequent acquisition and labeling process for gases samples recalibration. Extreme learning machines (ELMs) have been confirmed to be efficient and effective learning techniques for pattern recognition and regression. However, ELMs primarily focus on the supervised, semi-supervised and unsupervised learning problems in single domain (i.e. source domain). To our best knowledge, ELM with cross-domain learning capability has never been studied. This paper proposes a unified framework, referred to as Domain Adaptation Extreme Learning Machine (DAELM), which learns a robust classifier by leveraging a limited number of labeled data from target domain for drift compensation as well as gases recognition in E-nose systems, without loss of the computational efficiency and learning ability of traditional ELM. In the unified framework, two algorithms called DAELM-S and DAELM-T are proposed for the purpose of this paper, respectively. In order to percept the differences among ELM, DAELM-S and DAELM-T, two remarks are provided. Experiments on the popular sensor drift data with multiple batches collected by E-nose system clearly demonstrate that the proposed DAELM significantly outperforms existing drift compensation methods without cumbersome measures, and also bring new perspectives for ELM.


title: Simultaneous pi/2 rotation of two spin species of different gyromagnetic ratios

abstract: We examine the characteristics of the pi/2 pulse for simultaneously rotating two spin species of different gyromagnetic ratios with the same sign. For a pi/2 pulse using a rotating magnetic field, we derive the equation relating the frequency and strength of the pulse to the gyromagnetic ratios of the two particles and the strength of the constant holding field. For a pi/2 pulse using a linear oscillatory magnetic field, we obtain the solutions numerically, and compare them with the solutions for the rotating pi/2 pulse. Application of this analysis to the specific case of rotating neutrons and 3He atoms simultaneously with a pi/2 pulse, proposed for a neutron electric dipole moment experiment, is also presented.


title: On Cornacchia's Algorithm

abstract: We give an endorsement for Cornacchia's famous algorithm. Thus we do not claim anything new but an approach which is supposed to be simpler than those of previous works written with the same aim.


title: The Douglas-Rachford algorithm in the affine-convex case

abstract: The Douglas-Rachford algorithm is a simple yet effective method for solving convex feasibility problems. However, if the underlying constraints are inconsistent, then the convergence theory is incomplete. We provide convergence results when one constraint is an affine subspace. As a consequence, we extend a result by Spingarn from halfspaces to general closed convex sets admitting least-squares solutions.


title: Creating and manipulating non-Abelian anyons in cold atom systems using auxiliary bosons

abstract: The possibility of realizing bosonic fractional quantum Hall effect in ultra-cold atomic systems suggests a new route to producing and manipulating anyons, by introducing auxiliary bosons of a different species that capture quasiholes and thus inherit their non-trivial braiding properties. States with localized quasiholes at any desired locations can be obtained by annihilating the auxiliary bosons at those locations. We explore how this method can be used to generate non-Abelian quasiholes of the Moore-Read Pfaffian state for bosons at filling factor $\nu=1$. We show that a Hamiltonian with an appropriate three-body interaction can produce two-quasihole states in two distinct fusion channels of the topological "qubit." Characteristics of these states that are related to the non-Abelian nature can be probed and verified by a measurement of the effective relative angular momentum of the auxiliary bosons, which is directly related to their pair distribution function. Moore-Read states of more than two quasiholes can also be produced in a similar fashion. We investigate some issues related to the experimental feasibility of this approach, in particular, how large the systems should be for a realization of this physics and to what extent this physics carries over to systems with the more standard two-body contact interaction.


title: Extremely high negative electron affinity of diamond via magnesium adsorption

abstract: We report large negative electron affinity (NEA) on diamond (100) using magnesium adsorption on a previously oxygen-terminated surface. The measured NEA is up to $(-2.01\pm0.05)$ eV, the largest reported negative electron affinity to date. Despite the expected close relationship between the surface chemistry of Mg and Li species on oxygen-terminated diamond, we observe differences in the adsorption properties between the two. Most importantly, a high-temperature annealing step is not required to activate the Mg-adsorbed surface to a state of negative electron affinity. Diamond surfaces prepared by this procedure continue to possess negative electron affinity after exposure to high temperatures, air and even immersion in water.


title: Markoff Triples and Strong Approximation

abstract: We investigate the transitivity properties of the group of morphisms generated by Vieta involutions on the solutions in congruences to the Markoff equation as well as to other Markoff type affine cubic surfaces. These are dictated by the finite $\bar{\mathbb Q}$ orbits of these actions and these can be determined effectively. The results are applied to give forms of strong approximation for integer points, and to sieving, on these surfaces


title: Uniformly 2-absorbing primary ideals of commutative rings

abstract: In this study, we introduce the concept of "uniformly 2-absorbing primary ideals" of commutative rings, which imposes a certain boundedness condition on the usual notion of 2-absorbing primary ideals of commutative rings. Then we investigate some properties of uniformly 2-absorbing primary ideals of commutative rings with examples. Also, we investigate a specific kind of uniformly 2-absorbing primary ideals by the name of "special 2-absorbing primary ideals".


title: Grid-based estimates of stellar ages in binary systems. SCEPtER: Stellar CharactEristics Pisa Estimation gRid

abstract: We investigate the performance of grid-based techniques in estimating the age of stars in detached eclipsing binary systems. We evaluate the precision of the estimates due to the uncertainty in the observational constraints, and the systematic bias caused by the uncertainty in convective core overshooting, element diffusion, mixing-length value, and initial helium content. We adopted the SCEPtER grid, which includes stars with mass in the range [0.8; 1.6] Msun and evolutionary stages from the ZAMS to the central hydrogen depletion. Age estimates have been obtained by a generalisation of the technique described in our previous work. We showed that the typical 1 sigma random error in age estimates - due to the uncertainty on the observational constraints - is about +- 7%, which is nearly independent of the masses of the two stars. However, such an error strongly depends on the evolutionary phase and becomes larger and asymmetric for stars near the ZAMS where it ranges from about +90% to -25%. The systematic bias due to the including mild and strong convective core overshooting is about 50% and 120% of the error due to observational uncertainties. A variation of +- 1 in the helium-to-metal enrichment ratio accounts for about +- 150% of the random error. The neglect of microscopic diffusion accounts for a bias of about 60% of the random error. We also introduced a statistical test of the expected difference in the recovered age of two coeval stars in a binary system. We find that random fluctuations within the current observational uncertainties can lead genuine coeval binary components to appear to be non-coeval with a difference in age as high as 60%.


title: Raman lasing in a hollow, bottle-like microresonator

abstract: We report on the fabrication of an ultrahigh quality factor, bottle-like microresonator from a microcapillary, and the realization of Raman lasing therein at pump wavelengths of $1.55~\mathrm{\mu m}$ and $780~\mathrm{nm}$. The dependence of the Raman laser threshold on mode volume is investigated. The mode volume of the fundamental bottle mode is calculated and compared with that of a microsphere. Third-order cascaded Raman lasing was observed when pumped at $780~\mathrm{nm}$. In principle, Raman lasing in a hollow bottle-like microresonator can be used in sensing applications. As an example, we briefly discuss the possibility of a high dynamic range, high resolution aerostatic pressure sensor.


title: Single-Inclusive Production of Hadrons and Jets in Lepton-Nucleon Scattering at NLO

abstract: We present next-to-leading order (NLO) perturbative-QCD calculations of the cross sections for $\ell N\to h X$ and $\ell N\to \mathrm{jet}\, X$. The main feature of these processes is that the scattered lepton is not observed, so that the hard scale that makes them perturbative is set by the transverse momentum of the hadron or jet. Kinematically, the two processes thus become direct analogs of single-inclusive production in hadronic collisions which, as has been pointed out in the literature, makes them promising tools for exploring transverse spin phenomena in QCD when the incident nucleon is transversely polarized. We find that the NLO corrections are sizable for the spin-averaged cross section. We also investigate in how far the scattering is dominated by the exchange of almost real (Weizs\"{a}cker-Williams) photons. We present numerical estimates of the cross sections for present-day fixed target experiments and for a possible future electron ion collider.


title: Robust multiuser detection in impulsive channels based on M-estimation using a new penalty function

abstract: In this paper, we consider the problem of multiuser detection in non-Gaussian channels. We propose a new penalty function for robust multiuser detection. The proposed detector outperforms other suboptimal detectors in non-Gaussian environment. Analytical and simulation result shows the performance of the proposed detector compare to other detectors.


title: Bayesian prediction of minimal repair times of a series system based on hybrid censored sample of components' lifetimes under Rayleigh distribution

abstract: In this paper, we develop Bayesian predictive inferential procedures for prediction of repair times of a series system, applying a minimal repair strategy, using the information contained in an independent observed hybrid censored sample of the lifetimes of the components of the system, assuming the underlying distribution of the lifetimes to be Rayleigh distribution. An illustrative real data example and a simulation study are presented for the purpose of illustration and comparison of the proposed predictors.


title: Diagonals of real symmetric matrices of given spectra as a measure space

abstract: The set of diagonals of real symmetric matrices of given non negative spectrum is endowed with a measure which is obtained by the push forward of the Haar measure of the real orthogonal group.\\ We prove that the Radon Nicodym derivation of this measure with respect to the relative Euclidean measure is approximated by the coefficients of a sequence of zonal sphere polynomials corresponding with the given spectrum. There is a striking similarity between the role of the zonal sphere polynomials in the orthogonal case, and that of the Schur function in the Hermitian case.\\ Following this we obtain a combinatorial approximation for the probability of real symmetric matrix of a given spectrum to appear as the sum of two real symmetric matrices, each of a given spectrum. In addition we obtain a real orthogonal analogue to the Zuber Itzykson Harish Chandra integration formula.


title: A general method for the construction of stable Galileon models consistent with the Planck data results

abstract: The reconstruction procedure, which has proven quite useful to obtain viable models of the universe evolution, is here employed in order to construct inflation models. It has the advantages that it ensures full consistency with astronomical observations and that it allows to evaluate the stability of the resulting cosmological model quite easily. The reconstruction for two different types of Lagrangian, included in the frame of G-inflation, is carried out in detail and explicit models for each Lagrangian are constructed. As a bonus for having used this reconstruction formalism, the final models are easily adjusted to satisfy the observational constraints---imposed by the most recent data releases of the Planck mission---on the spectral index, the tensor to scalar ratio, and the running of the spectral index. Further, it turns also to be not difficult to make the models stable. Thus, the method here developed provides a general and very efficient tool, a quite natural procedure to construct models consistent with very precise observations. It can also be applied to other models, besides the ones here considered.


title: The 290 fixed-point sublattices of the Leech lattice

abstract: We determine the orbits of fixed-point sublattices of the Leech lattice with respect to the action of the Conway group Co_0. There are 290 such orbits. Detailed information about these lattices, the corresponding coinvariant lattices, and the stabilizing subgroups, is tabulated in several tables.


title: HDFITS: porting the FITS data model to HDF5

abstract: The FITS (Flexible Image Transport System) data format has been the de facto data format for astronomy-related data products since its inception in the late 1970s. While the FITS file format is widely supported, it lacks many of the features of more modern data serialization, such as the Hierarchical Data Format (HDF5). The HDF5 file format offers considerable advantages over FITS, such as improved I/O speed and compression, but has yet to gain widespread adoption within astronomy. One of the major holdbacks is that HDF5 is not well supported by data reduction software packages and image viewers. Here, we present a comparison of FITS and HDF5 as a format for storage of astronomy datasets. We show that the underlying data model of FITS can be ported to HDF5 in a straightforward manner, and that by doing so the advantages of the HDF5 file format can be leveraged immediately. In addition, we present a software tool, fits2hdf, for converting between FITS and a new `HDFITS' format, where data are stored in HDF5 in a FITS-like manner. We show that HDFITS allows faster reading of data (up to 100x of FITS in some use cases), and improved compression (higher compression ratios and higher throughput). Finally, we show that by only changing the import lines in Python-based FITS utilities, HDFITS formatted data can be presented transparently as an in-memory FITS equivalent.


title: Separability Properties for a Class of Block Matrices

abstract: It is shown that, for the block matrices belonging to $M(nd,\mathbb{C})$ with commuting and normal block entries of dimension $d$, the separability of such a block matrices is equivalent to its semi-positive definity. The separability decomposition of lenght equal to the dimension of the block matrix (which is smaller then Carath\'eodory theorem implies) is given. The separability decomposition depends only on eigenvalues of block entries in the first part and on eigenvectors of the block entries in the second part of the tensor product. It is shown that semi-positive definity of considered block matrices is equivalent to semi-positive definity $d$ smaller matrices of dimension $n$.


title: Simple rate-adaptive LDPC coding for quantum key distribution

abstract: Although quantum key distribution (QKD) comes from the development of quantum theory, the implementation of a practical QKD system does involve a lot of classical process, such as key reconciliation and privacy amplification, which is called post-processing. Post-processing has been a crucial element to high speed QKD systems, even the bottleneck of it because of its relatively high time consumption. Low density parity check (LDPC) is now becoming a promising approach of overcoming the bottleneck due to its good performance in processing throughput. In this article we propose and simulate an easily implemented but efficiently rate-adaptive LDPC coding approach of reconciliation, different from the previously proposed puncturing- and shortening-based approach. We also give a measure for choosing the optimal LDPC parameter for our rate-adaptive approach according to error rates.


title: Squares in arithmetic progression over cubic fields

abstract: Euler showed that there can be no more than three integer squares in arithmetic progression. In quadratic number fields, Xarles has shown that there can be arithmetic progressions of five squares, but not of six. Here, we prove that there are no cubic number fields which contain five squares in arithmetic progression.


title: An algorithm for multipication of Kaluza numbers

abstract: This paper presents the derivation of a new algorithm for multiplying of two Kaluza numbers. Performing this operation directly requires 1024 real multiplications and 992 real additions. The proposed algorithm can compute the same result with only 512 real multiplications and 576 real additions. The derivation of our algorithm is based on utilizing the fact that multiplication of two Kaluza numbers can be expressed as a matrixvector product. The matrix multiplicand that participates in the product calculating has unique structural properties. Namely exploitation of these specific properties leads to significant reducing of the complexity of Kaluza numbers multiplication.


title: Some results of analysis of source position time series

abstract: Source position time series produced by International VLBI Service for Geodesy and astrometry (IVS) Analysis Centers were analyzed. These series was computed using different software and analysis strategy. Comparison of this series showed that they have considerably different scatter and systematic behavior. Based on the inspection of all the series, new sources were identified as sources with irregular (non-random) position variations. Two statistics used to estimate the noise level in the time series, namely RMS and ADEV were compared.


title: Deep Speaker Vectors for Semi Text-independent Speaker Verification

abstract: Recent research shows that deep neural networks (DNNs) can be used to extract deep speaker vectors (d-vectors) that preserve speaker characteristics and can be used in speaker verification. This new method has been tested on text-dependent speaker verification tasks, and improvement was reported when combined with the conventional i-vector method. This paper extends the d-vector approach to semi text-independent speaker verification tasks, i.e., the text of the speech is in a limited set of short phrases. We explore various settings of the DNN structure used for d-vector extraction, and present a phone-dependent training which employs the posterior features obtained from an ASR system. The experimental results show that it is possible to apply d-vectors on semi text-independent speaker recognition, and the phone-dependent training improves system performance.


title: Random Dirichlet series arising from records

abstract: We study the distributions of the random Dirichlet series with parameters $(s, \beta)$ defined by $$ S=\sum_{n=1}^{\infty}\frac{I_n}{n^s}, $$ where $(I_n)$ is a sequence of independent Bernoulli random variables, $I_n$ taking value $1$ with probability $1/n^\beta$ and value $0$ otherwise. Random series of this type are motivated by the record indicator sequences which have been studied in extreme value theory in statistics. We show that when $s>0$ and $0< \beta \le 1$ with $s+\beta>1$ the distribution of $S$ has a density; otherwise it is purely atomic or not defined because of divergence. In particular, in the case when $s>0$ and $\beta=1$, we prove that for every $0<s<1$ the density is bounded and continuous, whereas for every $s>1$ it is unbounded. In the case when $s>0$ and $0<\beta<1$ with $s+\beta>1$, the density is smooth. To show the absolute continuity, we obtain estimates of the Fourier transforms, employing van der Corput's method to deal with number-theoretic problems. We also give further regularity results of the densities, and present an example of non atomic singular distribution which is induced by the series restricted to the primes.


title: Counting Co-Cyclic Lattices

abstract: There is a well-known asymptotic formula, due to W. M. Schmidt (1968) for the number of full-rank integer lattices of index at most $V$ in $\mathbb{Z}^n$. This set of lattices $L$ can naturally be partitioned with respect to the factor group $\mathbb{Z}^n/L$. Accordingly, we count the number of full-rank integer lattices $L \subseteq \mathbb{Z}^n$ such that $\mathbb{Z}^n/L$ is cyclic and of order at most $V$, and deduce that these co-cyclic lattices are dominant among all integer lattices: their natural density is $\left(\zeta(6) \prod_{k=4}^n \zeta(k)\right)^{-1} \approx 85\%$. The problem is motivated by complexity theory, namely worst-case to average-case reductions for lattice problems.


title: Category Theory in Coq 8.5

abstract: We report on our experience implementing category theory in Coq 8.5. The repository of this development can be found at https://bitbucket.org/amintimany/categories/. This implementation most notably makes use of features, primitive projections for records and universe polymorphism that are new to Coq 8.5.


title: Perturbation of a globally stable equilibrium: application on an age-structured model

abstract: In this manuscript we consider an age structured epidemic system modelling the dynamics of transmission of immunizing disease like Hepatitis B virus. Our model takes into account age as well as two classes of infected individuals (chronic carriers and acute infected human). Based on the low infectivity of chronic carriers, we study the asymptotic behavior of the system and, under some suitable assumptions, we prove the global stability of the endemic equilibrium point using perturbation arguments of semi-flow. The intuitive conservation of the global stability under perturbation, needs in fact very technical tools and complex results.


title: Tuning the liquid-liquid transition by modulating the hydrogen bond angular flexibility in a model for water

abstract: We propose a simple extension of the well known ST2 model for water [F.H. Stillinger and A. Rahman, J. Chem. Phys. {\bf 60}, 1545 (1974)] that allows for a continuous modification of the hydrogen bond angular flexibility. We show that the bond flexibility affects the relative thermodynamic stability of the liquid and of the hexagonal (or cubic) ice. On increasing flexibility, the liquid-liquid critical point, which in the original ST2 model is located in the no-man's land (i. e. the region where ice is the thermodynamically stable phase) progressively moves to a temperature where the liquid is more stable than ice. Our study definitively proves that the liquid-liquid transition in ST2 is a genuine phenomenon, of high relevance in all tetrahedral network-forming liquids, including water.


title: Nuclei and applications to star, semistar, and semiprime operations

abstract: We show that the theory of quantales and quantic nuclei motivate new results on star operations, semistar operations, semiprime operations, ideal systems, and module systems, and conversely the latter theories motivate new results on quantales and quantic nuclei. Results include representation theorems for precoherent prequantales and multiplicative semilattices; characterizations of the simple prequantales; and a generalization to the setting of precoherent quantales of the construction of the largest finite type semistar operation and the largest stable semistar operation smaller than a given semistar operation.


title: Cell-type-specific computational neuroanatomy, simulations from the sagittal and coronal Allen Brain Atlas

abstract: The Allen Atlas of the adult mouse brain is a brain-wide, genome-wide data set that has been made available online, triggering a renaissance in neuroanatomy. In particular, it has been used to define brain regions in a computational, data-driven way, and to estimate the region-specificity of cell types characterized independently by their transcriptional activity. However, these results were based on one series of co-registered (coronal) ISH image series per gene, whereas the online ABA contains several image series per genes, including sagittal ones. Since the sagittal series cover mostly the left hemisphere, we can simulate the variability of results by repeatedly drawing a random image series for each gene and restricting the computation to the left hemisphere. This gives rise to an estimate of error bars on the results of computational neuroanatomy.


title: Problems on extremal decomposition of the complex plane

abstract: Considered here is one quite general problem about description of extremal configurations maximizing the product of inner radii non-overlapping domains.


title: The Copernicus Complexio: a high-resolution view of the small-scale Universe

abstract: We introduce Copernicus Complexio (COCO), a high-resolution cosmological N-body simulation of structure formation in the $\Lambda{\rm CDM}{}$ model. COCO follows an approximately spherical region of radius $\sim 17.4h^{-1}\,{\rm Mpc}$ embedded in a much larger periodic cube that is followed at lower resolution. The high resolution volume has a particle mass of $1.135\times10^5h^{-1}{\rm M}_{\odot}$ (60 times higher than the Millennium-II simulation). COCO gives the dark matter halo mass function over eight orders of magnitude in halo mass; it forms $\sim 60$ haloes of galactic size, each resolved with about 10 million particles. We confirm the power-law character of the subhalo mass function, $\bar{N}(>\mu)\propto\mu^{-s}$, down to a reduced subhalo mass $M_{sub}/M_{200}\equiv\mu=10^{-6}$, with a best-fit power-law index, $s=0.94$, for hosts of mass $\langle M_{200}\rangle=10^{12}h^{-1}{\rm M}_{\odot}$. The concentration-mass relation of COCO haloes deviates from a single power law for masses $M_{200}<\textrm{a few}\times 10^{8}h^{-1}{\rm M}_{\odot}$, where it flattens, in agreement with results by Sanchez-Conde et al. The host mass invariance of the reduced maximum circular velocity function of subhaloes, $\nu\equiv V_{max}/V_{200}$, hinted at in previous simulations, is clearly demonstrated over five orders of magnitude in host mass. Similarly, we find that the average, normalised radial distribution of subhaloes is approximately universal (i.e. independent of subhalo mass), as previously suggested by the Aquarius simulations of individual haloes. Finally, we find that at fixed physical subhalo size, subhaloes in lower mass hosts typically have lower central densities than those in higher mass hosts.


title: Explicit formula for the Holevo bound for two-parameter qubit estimation problem

abstract: The main contribution of this paper is to derive an explicit expression for the fundamental precision bound, the Holevo bound, for estimating any two-parameter family of qubit mixed-states in terms of quantum versions of Fisher information. The obtained formula depends solely on the symmetric logarithmic derivative (SLD), the right logarithmic derivative (RLD) Fisher information, and a given weight matrix. This result immediately provides necessary and sufficient conditions for the following two important classes of quantum statistical models; the Holevo bound coincides with the SLD Cramer-Rao bound and it does with the RLD Cramer-Rao bound. One of the important results of this paper is that a general model other than these two special cases exhibits an unexpected property: The structure of the Holevo bound changes smoothly when the weight matrix varies. In particular, it always coincides with the RLD Cramer-Rao bound for a certain choice of the weight matrix. Several examples illustrate these findings.


title: Structural Properties, Impedance Spectroscopy and Dielectric Spin Relaxation of Ni-Zn Ferrite Synthesized by Double Sintering Technique

abstract: Structural properties, impedance, dielectric and electric modulus spectra have been used to investigate the sintering temperature (Ts) effect on the single phase cubic spinel Ni0.6Zn0.4Fe2O4 (NZFO) ceramics synthesized by standard ceramic technique. Enhancement of dielectric constants is observed with increasing Ts. The collective contribution of n-type and p-type carriers yields a clear peak in notable unusual dielectric behavior is successfully explained by the Rezlescu model. The non-Debye type long range dielectric relaxation phenomena is explained by electric modulus formalism. Fast response of the grain boundaries of the sample sintered at lower Ts sample leading to small dielectric spin relaxation time, t (several nanoseconds) have been determined using electric modulus spectra for the samples sintered at different Ts. Two clear semicircles in impedance Cole-Cole plot have also been successfully explained by employing two parallel RC equivalent circuits in series configuration taking into account no electrode contribution. Such a long relaxation time in NZFO ceramics could suitably be used in nanoscale spintronic devices.


title: Monotone Sobolev Mappings of planar domains and surfaces

abstract: An approximation theorem of Youngs (1948) asserts that a continuous map between compact oriented topological 2-manifolds (surfaces) is monotone if and only if it is a uniform limit of homeomorphisms. Analogous approximation of Sobolev mappings is at the very heart of Geometric Function Theory (GFT) and Nonlinear Elasticity (NE). In both theories the mappings in question arise naturally as weak limits of energy-minimizing sequences of homeomorphisms. As a result of this, the energy-minimal mappings turn out to be monotone. In the present paper we show that, conversely, monotone mappings in the Sobolev space $W^{1,p}, 1<p < \infty$, are none other than $W^{1,p}$-weak (also strong) limits of homeomorphisms. In fact, these are limits of diffeomorphisms. By way of illustration, we establish the existence of energy-minimal deformations within the class of Sobolev monotone mappings for $\,p\,$-harmonic type energy integrals.


title: Estimating sample-specific regulatory networks

abstract: Biological systems are driven by intricate interactions among the complex array of molecules that comprise the cell. Many methods have been developed to reconstruct network models of those interactions. These methods often draw on large numbers of samples with measured gene expression profiles to infer connections between genes (or gene products). The result is an aggregate network model representing a single estimate for the likelihood of each interaction, or "edge," in the network. While informative, aggregate models fail to capture the heterogeneity that is represented in any population. Here we propose a method to reverse engineer sample-specific networks from aggregate network models. We demonstrate the accuracy and applicability of our approach in several data sets, including simulated data, microarray expression data from synchronized yeast cells, and RNA-seq data collected from human lymphoblastoid cell lines. We show that these sample-specific networks can be used to study changes in network topology across time and to characterize shifts in gene regulation that may not be apparent in expression data. We believe the ability to generate sample-specific networks will greatly facilitate the application of network methods to the increasingly large, complex, and heterogeneous multi-omic data sets that are currently being generated, and ultimately support the emerging field of precision network medicine.


title: Dark matter directional detection in non-relativistic effective theories

abstract: We extend the formalism of dark matter directional detection to arbitrary one-body dark matter-nucleon interactions. The new theoretical framework generalizes the one currently used, which is based on 2 types of dark matter-nucleon interaction only. It includes 14 dark matter-nucleon interaction operators, 8 isotope-dependent nuclear response functions, and the Radon transform of the first 2 moments of the dark matter velocity distribution. We calculate the recoil energy spectra at dark matter directional detectors made of CF$_4$, CS$_2$ and $^{3}$He for the 14 dark matter-nucleon interactions, using nuclear response functions recently obtained through numerical nuclear structure calculations. We highlight the new features of the proposed theoretical framework, and present our results for a spherical dark matter halo and for a stream of dark matter particles. This study lays the foundations for model independent analyses of dark matter directional detection experiments.


title: Critical fluctuations and the rates of interstate switching near excitation threshold of a quantum parametric oscillator

abstract: We study the dynamics of a nonlinear oscillator near the critical point where period-two vibrations are first excited with the increasing amplitude of parametric driving. Above the threshold, quantum fluctuations induce transitions between the period-two states over the quasienergy barrier. We find the effective quantum activation energies for such transitions and their scaling with the difference of the driving amplitude from its critical value. We also find the scaling of the fluctuation correlation time with the quantum noise parameters in the critical region near the threshold.


title: Detecting bird sound in unknown acoustic background using crowdsourced training data

abstract: Biodiversity monitoring using audio recordings is achievable at a truly global scale via large-scale deployment of inexpensive, unattended recording stations or by large-scale crowdsourcing using recording and species recognition on mobile devices. The ability, however, to reliably identify vocalising animal species is limited by the fact that acoustic signatures of interest in such recordings are typically embedded in a diverse and complex acoustic background. To avoid the problems associated with modelling such backgrounds, we build generative models of bird sounds and use the concept of novelty detection to screen recordings to detect sections of data which are likely bird vocalisations. We present detection results against various acoustic environments and different signal-to-noise ratios. We discuss the issues related to selecting the cost function and setting detection thresholds in such algorithms. Our methods are designed to be scalable and automatically applicable to arbitrary selections of species depending on the specific geographic region and time period of deployment.


title: Lattice point inequalities for centered convex bodies

abstract: We study upper bounds on the number of lattice points for convex bodies having their centroid at the origin. For the family of simplices as well as in the planar case we obtain best possible results. For arbitrary convex bodies we provide an upper bound, which extends the centrally symmetric case and which, in particular, shows that the centroid assumption is indeed much more restrictive than an assumption on the number of interior lattice points even for the class of lattice polytopes.


title: Ideal theory of infinite directed unions of local quadratic transforms

abstract: Let $R$ be a regular local ring of dimension at least 2. Associated to each valuation domain birationally dominating $R$, there exists a unique sequence $\{R_n\}$ of local quadratic transforms of $R$ along this valuation domain. We consider the situation where the sequence $\{ R_n \}_{n \ge 0}$ is infinite, and examine ideal-theoretic properties of the integrally closed local domain $S = \bigcup_{n \ge 0} R_n$. Among the set of valuation overrings of $R$, there exists a unique limit point $V$ for the sequence of order valuation rings of the $R_n$. We prove the existence of a unique minimal proper Noetherian overring $T$ of $S$, and establish the decomposition $S = T \cap V$. If $S$ is archimedian, then the complete integral closure $S^{*}$ of $S$ has the form $S^{*} = W \cap T$, where $W$ is the rank $1$ valuation overring of $V$.


title: Martin-Lof identity types in the C-systems defined by a universe category

abstract: This paper continues the series of papers that develop a new approach to syntax and semantics of dependent type theories. Here we study the interpretation of the rules of the identity types in the intensional Martin-Lof type theories on the C-systems that arise from universe categories. In the first part of the paper we develop constructions that produce interpretations of these rules from certain structures on universe categories while in the second we study the functoriality of these constructions with respect to functors of universe categories. The results of the first part of the paper play a crucial role in the construction of the univalent model of type theory in simplicial sets.


title: Coexistence of superconductivity and complex 4$f$ magnetism in Eu$_{0.5}$Ce$_{0.5}$BiS$_{2}$F

abstract: EuBiS$_{2}$F is a self-doped superconductor due to the mixed valence of Eu. Here we report that, with the Ce substitution for Eu by 50 at.\%, the material exhibits ferromagnetic ordering at 8 K for the Ce-4$f$ moment, superconductivity at 2.2 K in the BiS$_2$ layers, and possibly antiferromagnetic ordering at 2.1 K for the Eu-4$f$ spins. The Eu valence is essentially divalent with the Ce incorporation. We tentatively interpret the coexistence of ferromagnetism and superconductivity by considering different Bi-6$p$ orbitals that are responsible for superconductivity itself and for mediating the ferromagnetic interaction, respectively. We argue that the antiferromagnetic ordering of the Eu-4$f$ spins is most likely due to a magnetic dipole-dipole interaction.


title: Adaptive importance sampling via minimization of estimators of cross-entropy, mean square, and inefficiency constant

abstract: The inefficiency of using an unbiased estimator in a Monte Carlo procedure can be quantified using an inefficiency constant, equal to the product of the variance of the estimator and its mean computational cost. We develop methods for obtaining the parameters of the importance sampling (IS) change of measure via single- and multi-stage minimization of well-known estimators of cross-entropy and the mean square of the IS estimator, as well as of new estimators of such a mean square and inefficiency constant. We prove the convergence and asymptotic properties of the minimization results in our methods. We show that if a zero-variance IS parameter exists, then, under appropriate assumptions, minimization results of the new estimators converge to such a parameter at a faster rate than such results of the well-known estimators, and a positive definite asymptotic covariance matrix of the minimization results of the cross-entropy estimators is four times such a matrix for the well-known mean square estimators. We introduce criteria for comparing the asymptotic efficiency of stochastic optimization methods, applicable to the minimization methods of estimators considered in this work. In our numerical experiments for computing expectations of functionals of an Euler scheme, the minimization of the new estimators led to the lowest inefficiency constants and variances of the IS estimators, followed by the minimization of the well-known mean square estimators, and the cross-entropy ones.


title: Efficient Elastic Net Regularization for Sparse Linear Models

abstract: This paper presents an algorithm for efficient training of sparse linear models with elastic net regularization. Extending previous work on delayed updates, the new algorithm applies stochastic gradient updates to non-zero features only, bringing weights current as needed with closed-form updates. Closed-form delayed updates for the $\ell_1$, $\ell_{\infty}$, and rarely used $\ell_2$ regularizers have been described previously. This paper provides closed-form updates for the popular squared norm $\ell^2_2$ and elastic net regularizers. We provide dynamic programming algorithms that perform each delayed update in constant time. The new $\ell^2_2$ and elastic net methods handle both fixed and varying learning rates, and both standard {stochastic gradient descent} (SGD) and {forward backward splitting (FoBoS)}. Experimental results show that on a bag-of-words dataset with $260,941$ features, but only $88$ nonzero features on average per training example, the dynamic programming method trains a logistic regression classifier with elastic net regularization over $2000$ times faster than otherwise.


title: History effects on network growth

abstract: Growth dynamic of real networks because of emerging complexities is an open and interesting question. Indeed it is not realistic to ignore history impact on the current events. The mystery behind that complexity could be in the role of history in some how. To regard this point, the average effect of history has been included by a kernel function in differential equation of Barabasi Albert (BA) model . This approach leads to a fractional order BA differential equation as a generalization of BA model. As opposed to unlimited growth for degree of nodes, our results show that over time the memory impact will cause a decay for degrees. This gives a higher chance to younger members for turning to a hub. In fact in a real network, there are two competitive processes. On one hand, based on preferential attachment mechanism nodes with higher degree are more likely to absorb links. On the other hand, node history through aging process prevents new connections. Our findings from simulating a network grown by considering these effects also from studying a real network of collaboration between Hollywood movie actors conforms the results and significant effects of history and time on dynamic.


title: On the equivalence between local and global existence of complete K\"ahler metrics with plurisubharmonic potentials

abstract: Like the classical potential theory, it was conjectured that there exists equivalence between locally and globally pluripolar and complete pluripolar sets, namely, Problem I of Lelong, and was solved by Josefson, Bedford - Taylor and Col\c{t}oiu. In this article, we consider complements of complete K\"ahler domains as the generalization of closed complete pluripolar sets and prove that there exists an equivalence between local and global existence of these sets.


title: Asymptotic Error Free Partitioning over Noisy Boolean Multiaccess Channels

abstract: In this paper, we consider the problem of partitioning active users in a manner that facilitates multi-access without collision. The setting is of a noisy, synchronous, Boolean, multi-access channel where $K$ active users (out of a total of $N$ users) seek to access. A solution to the partition problem places each of the $N$ users in one of $K$ groups (or blocks) such that no two active nodes are in the same block. We consider a simple, but non-trivial and illustrative case of $K=2$ active users and study the number of steps $T$ used to solve the partition problem. By random coding and a suboptimal decoding scheme, we show that for any $T\geq (C_1 +\xi_1)\log N$, where $C_1$ and $\xi_1$ are positive constants (independent of $N$), and $\xi_1$ can be arbitrary small, the partition problem can be solved with error probability $P_e^{(N)} \to 0$, for large $N$. Under the same scheme, we also bound $T$ from the other direction, establishing that, for any $T \leq (C_2 - \xi_2) \log N$, the error probability $P_e^{(N)} \to 1$ for large $N$; again $C_2$ and $\xi_2$ are constants and $\xi_2$ can be arbitrarily small. These bounds on the number of steps are lower than the tight achievable lower-bound in terms of $T \geq (C_g +\xi)\log N $ for group testing (in which all active users are identified, rather than just partitioned). Thus, partitioning may prove to be a more efficient approach for multi-access than group testing.


title: Shock formation in the dispersionless Kadomtsev-Petviashvili equation

abstract: The dispersionless Kadomtsev-Petviashvili (dKP) equation $(u_t+uu_x)_x=u_{yy}$ is one of the simplest nonlinear wave equations describing two-dimensional shocks. To solve the dKP equation we use a coordinate transformation inspired by the method of characteristics for the one-dimensional Hopf equation $u_t+uu_x=0$. We show numerically that the solutions to the transformed equation do not develop shocks. This permits us to extend the dKP solution as the graph of a multivalued function beyond the critical time when the gradients blow up. This overturned solution is multivalued in a lip shape region in the $(x,y)$ plane, where the solution of the dKP equation exists in a weak sense only, and a shock front develops. A local expansion reveals the universal scaling structure of the shock, which after a suitable change of coordinates corresponds to a generic cusp catastrophe. We provide a heuristic derivation of the shock front position near the critical point for the solution of the dKP equation, and study the solution of the dKP equation when a small amount of dissipation is added. Using multiple-scale analysis, we show that in the limit of small dissipation and near the critical point of the dKP solution, the solution of the dissipative dKP equation converges to a Pearcey integral. We test and illustrate our results by detailed comparisons with numerical simulations of both the regularized equation, the dKP equation, and the asymptotic description given in terms of the Pearcey integral.


title: Defining and identifying Sleeping Beauties in science

abstract: A Sleeping Beauty (SB) in science refers to a paper whose importance is not recognized for several years after publication. Its citation history exhibits a long hibernation period followed by a sudden spike of popularity. Previous studies suggest a relative scarcity of SBs. The reliability of this conclusion is, however, heavily dependent on identification methods based on arbitrary threshold parameters for sleeping time and number of citations, applied to small or monodisciplinary bibliographic datasets. Here we present a systematic, large-scale, and multidisciplinary analysis of the SB phenomenon in science. We introduce a parameter-free measure that quantifies the extent to which a specific paper can be considered an SB. We apply our method to 22 million scientific papers published in all disciplines of natural and social sciences over a time span longer than a century. Our results reveal that the SB phenomenon is not exceptional. There is a continuous spectrum of delayed recognition where both the hibernation period and the awakening intensity are taken into account. Although many cases of SBs can be identified by looking at monodisciplinary bibliographic data, the SB phenomenon becomes much more apparent with the analysis of multidisciplinary datasets, where we can observe many examples of papers achieving delayed yet exceptional importance in disciplines different from those where they were originally published. Our analysis emphasizes a complex feature of citation dynamics that so far has received little attention, and also provides empirical evidence against the use of short-term citation metrics in the quantification of scientific impact.


title: Tame topology over definable uniform structures

abstract: A visceral structure on M is given by a definable base for a uniform topology on its universe in which all basic open sets are infinite and any infinite definable subset X of M has non-empty interior. This context includes o-minimal ordered groups, p-adic fields, and other examples. Assuming only viscerality, we show that the definable sets in M satisfy some desirable topological tameness conditions. For example, any definable unary function on M has a finite set of discontinuities; any definable function on a Cartesian power of M is continuous on a nonempty open set; and assuming definable finite choice, we obtain a cell decomposition result for definable sets. Under an additional topological assumption ("no space-filling functions"), we prove that the natural notion of topological dimension is invariant under definable bijections. These results generalize theorems proved by Simon and Walsberg, who assumed dp-minimality in addition to viscerality. In the final section, we construct new examples of visceral structures.


title: Testing different formulations of leading-order anisotropic hydrodynamics

abstract: A recently obtained set of the equations for leading-order (3+1)D anisotropic hydrodynamics is tested against exact solutions of the Boltzmann equation with the collisional kernel treated in the relaxation time approximation. In order to perform the detailed comparisons, the new anisotropic hydrodynamics equations are reduced to the boost-invariant and transversally homogeneous case. The agreement with the exact solutions found using the new anisotropic hydrodynamics equations is similar to that found using previous, less general, formulations of anisotropic hydrodynamics. In addition, we find that, when compared to a state-of-the-art second-order viscous hydrodynamics framework, leading-order anisotropic hydrodynamics better reproduces the exact solution for the pressure anisotropy and gives comparable results for the bulk pressure evolution. Finally, we compare the transport coefficients obtained using linearized anisotropic hydrodynamics with results obtained using second-order viscous hydrodynamics.


title: ISS With Respect to Boundary Disturbances for 1-D Parabolic PDES

abstract: Due to unbounded input operators in partial differential equations (PDEs) with boundary inputs, there has been a long-held intuition that input-to-state stability (ISS) properties and finite gains cannot be established with respect to disturbances at the boundary. This intuition has been reinforced by many unsuccessful attempts, as well as by the success in establishing ISS only with respect to the derivative of the disturbance. Contrary to this intuition, we establish such a result for parabolic PDEs. Our methodology does not rely on the transformation of the boundary disturbance to a distributed input and the stability analysis is performed in time-varying subsets of the state space. The obtained results are used for the comparison of the gain coefficients of transport PDEs with respect to inlet disturbances and for the establishment of the ISS property with respect to control actuator errors for parabolic systems under boundary feedback control.


title: XMM-Newton observation of SNR J0533-7202 in the Large Magellanic Cloud

abstract: Aims. We present an X-ray study of the supernova remnant SNR J0533-7202 in the Large Magellanic Cloud (LMC) and determine its physical characteristics based on its X-ray emission. Methods. We observed SNR J0533-7202 with XMM-Newton (flare-filtered exposure times of 18 ks EPIC-pn and 31 ks EPIC-MOS1/MOS2). We produced X-ray images of the SNR, performed an X-ray spectral analysis, and compared the results to multi-wavelength studies. Results. The distribution of X-ray emission is highly non-uniform, with the south-west region brighter than the north-east. The X-ray emission is correlated with the radio emission from the remnant. We determine that this morphology is likely due to the SNR expanding into a non-uniform ambient medium and not an absorption effect. We estimate the size to be 53.9 (\pm 3.4) x 43.6 (\pm 3.4) pc, with the major axis rotated ~64 degrees east of north. We find no spectral signatures of ejecta and infer that the X-ray plasma is dominated by swept-up interstellar medium. Using the spectral fit results and the Sedov self-similar solution, we estimate an age of ~17-27 kyr, with an initial explosion energy of (0.09-0.83) x 10^51 erg. We detected an X-ray source located near the centre of the remnant, namely XMMU J053348.2-720233. The source type could not be conclusively determined due to the lack of a multi-wavelength counterpart and low X-ray counts. We find that it is likely either a background active galactic nucleus or a low-mass X-ray binary in the LMC. Conclusions. We detected bright thermal X-ray emission from SNR J0533-7202 and determined that the remnant is in the Sedov phase of its evolution. The lack of ejecta emission prohibits us from typing the remnant with the X-ray data. Therefore, the likely Type Ia classification based on the local stellar population and star formation history reported in the literature cannot be improved upon.


title: A Proof of Correctness for the Tardis Cache Coherence Protocol

abstract: We prove the correctness of a recently-proposed cache coherence protocol, Tardis, which is simple, yet scalable to high processor counts, because it only requires O(logN) storage per cacheline for an N-processor system. We prove that Tardis follows the sequential consistency model and is both deadlock- and livelock-free. Our proof is based on simple and intuitive invariants of the system and thus applies to any system scale and many variants of Tardis.


title: $\mathcal{Q}$-closure spaces

abstract: For a small quantaloid $\mathcal{Q}$, a $\mathcal{Q}$-closure space is a small category enriched in $\mathcal{Q}$ equipped with a closure operator on its presheaf category. We investigate $\mathcal{Q}$-closure spaces systematically with specific attention paid to their morphisms and, as preordered fuzzy sets are a special kind of quantaloid-enriched categories, in particular fuzzy closure spaces on fuzzy sets are introduced as an example. By constructing continuous relations that naturally generalize continuous maps, it is shown (in the generality of the $\mathcal{Q}$-version) that the category of closure spaces and closed continuous relations is equivalent to the category of complete lattices and $\sup$-preserving maps.


title: Extremes of vector-valued Gaussian processes: exact asymptotics

abstract: Let $\{X_i(t),t\ge0\}, 1\le i\le n$ be mutually independent centered Gaussian processes with almost surely continuous sample paths. We derive the exact asymptotics of $$ P\left(\exists_{t \in [0,T]} \forall_{i=1 ... n} X_i(t)> u \right) $$ as $u\to\infty$, for both locally stationary $X_i$'s and $X_i$'s with a non-constant generalized variance function. Additionally, we analyze properties of multidimensional counterparts of the Pickands and Piterbarg constants, that appear in the derived asymptotics. Important by-products of this contribution are the vector-process extensions of the Piterbarg inequality, the Borell-TIS inequality, the Slepian lemma and the Pickands-Piterbarg lemma which are the main pillars of the extremal theory of vector-valued Gaussian processes.


title: Parameter-free Topology Inference and Sparsification for Data on Manifolds

abstract: In topology inference from data, current approaches face two major problems. One concerns the selection of a correct parameter to build an appropriate complex on top of the data points; the other involves with the typical `large' size of this complex. We address these two issues in the context of inferring homology from sample points of a smooth manifold of known dimension sitting in an Euclidean space $\mathbb{R}^k$. We show that, for a sample size of $n$ points, we can identify a set of $O(n^2)$ points (as opposed to $O(n^{\lceil \frac{k}{2}\rceil})$ Voronoi vertices) approximating a subset of the medial axis that suffices to compute a distance sandwiched between the well known local feature size and the local weak feature size (in fact, the approximating set can be further reduced in size to $O(n)$). This distance, called the lean feature size, helps pruning the input set at least to the level of local feature size while making the data locally uniform. The local uniformity in turn helps in building a complex for homology inference on top of the sparsified data without requiring any user-supplied distance threshold. Unlike most topology inference results, ours does not require that the input is dense relative to a {\em global} feature such as {\em reach} or {\em weak feature size}; instead it can be adaptive with respect to the local feature size. We present some empirical evidence in support of our theoretical claims.


title: Time-periodic and stable patterns of a two-competing-species Keller-Segel chemotaxis model: effect of cellular growth

abstract: This paper investigates the formation of time--periodic and stable patterns of a two--competing--species Keller--Segel chemotaxis model with a focus on the effect of cellular growth. We carry out rigorous Hopf bifurcation analysis to obtain the bifurcation values, spatial profiles and time period associated with these oscillating patterns. Moreover, the stability of the periodic solutions is investigated and it provides a selection mechanism of stable time--periodic mode which suggests that only large domains support the formation of these periodic patterns. Another main result of this paper reveals that cellular growth is responsible for the emergence and stabilization of the oscillating patterns observed in the $3\times3$ system, while the system admits a Lyapunov functional in the absence of cellular growth. Global existence and boundedness of the system in 2D are proved thanks to this Lyapunov functional. Finally, we provide some numerical simulations to illustrate and support our theoretical findings.


title: Statistical equilibrium in deterministic cellular automata

abstract: Some deterministic cellular automata have been observed to follow the pattern of the second law of thermodynamics: starting from a partially disordered state, the system evolves towards a state of equilibrium characterized by maximal disorder. This chapter is an exposition of this phenomenon and of a statistical scheme for its explanation. The formulation is in the same vein as Boltzmann's ideas, but the simple combinatorial setup offers clarification and hope for generic mathematically rigorous results. Probabilities represent frequencies and subjective interpretations are avoided.

categories: nlin.CG cond-mat.stat-mech math-ph math.DS math.MP


title: Differential Harnack inequalities for linear parabolic equations

abstract: We prove matrix and scalar differential Harnack inequalities for linear parabolic equations on Riemannian and K\"ahler manifolds.


title: High-Rate Space Coding for Reconfigurable 2x2 Millimeter-Wave MIMO Systems

abstract: Millimeter-wave links are of a line-of-sight nature. Hence, multiple-input multiple-output (MIMO) systems operating in the millimeter-wave band may not achieve full spatial diversity or multiplexing. In this paper, we utilize reconfigurable antennas and the high antenna directivity in the millimeter-wave band to propose a rate-two space coding design for 2x2 MIMO systems. The proposed scheme can be decoded with a low complexity maximum-likelihood detector at the receiver and yet it can enhance the bit-error-rate performance of millimeter-wave systems compared to traditional spatial multiplexing schemes, such as the Vertical Bell Laboratories Layered Space-Time Architecture (VBLAST). Using numerical simulations, we demonstrate the efficiency of the proposed code and show its superiority compared to existing rate-two space-time block codes.


title: Two partition functions with congruences modulo 3, 5, 7, and 13

abstract: We introduce two new integer partition functions, both of which are the number of partition quadruples of $n$ with certain size restrictions. We prove both functions satisfy Ramanujan-type congruences modulo $3$, $5$, $7$, and $13$ by use of generalized Lambert series identities and $q$-series techniques.


title: Random MERA States and the Tightness of the Brandao-Horodecki Entropy Bound

abstract: We construct a random MERA state with a bond dimension that varies with the level of the MERA. This causes the state to exhibit a very different entanglement structure from that usually seen in MERA, with neighboring intervals of length $l$ exhibiting a mutual information proportional to $\epsilon l$ for some constant $\epsilon$, up to a length scale exponentially large in $\epsilon$. We express the entropy of a random MERA in terms of sums over cuts through the MERA network, with the entropy in this case controlled by the cut minimizing bond dimensions cut through. One motivation for this construction is to investigate the tightness of the Brandao-Horodecki\cite{bh} entropy bound relating entanglement to correlation decay. Using the random MERA, we show that at least part of the proof is tight: there do exist states with the required property of having linear mutual information between neighboring intervals at all length scales. We conjecture that this state has exponential correlation decay and that it demonstrates that the Brandao-Horodecki bound is tight (at least up to constant factors), and we provide some numerical evidence for this as well as a sketch of how a proof of correlation decay might proceed.


title: Unifying the electroweak and B-L interactions

abstract: We argue that the gauge symmetry which includes SU(3)_L as a higher weak-isospin symmetry is manifestly given by SU(3)_C\otimes SU(3)_L\otimes U(1)_X\otimes U(1)_N, where the last two factors determine the electric charge and B-L, respectively. This theory not only provides a consistent unification of the electroweak and B-L interactions, but also gives insights in dark matter, neutrino masses, and inflation. The dark matter belongs to a class of new particles that have wrong B-L numbers, and is stabilized due to a newly-realized W-parity as residual gauge symmetry. The B-L breaking field is important to define the W-parity, seesaw scales, and inflaton. Furthermore, the number of fermion generations and the electric charge quantization are explained naturally. We also show that the previous 3-3-1 models are only an effective theory as the B-L charge and the unitarity argument are violated. This work substantially generalizes our recently-proposed 3-3-1-1 model.


title: Resultants over Commutative Idempotent Semirings

abstract: The resultant plays a crucial role in (computational) algebra and algebraic geometry. One of the most important and well known properties of the resultant is that it is equal to the determinant of the Sylvester matrix. In 2008, Odagiri proved that a similar property holds over the tropical semiring if one replaces subtraction with addition. The tropical semiring belongs to a large family of algebraic structures called commutative idempotent semiring. In this paper, we prove that the same property (with subtraction replaced with addition) holds over an \emph{arbitrary\/} commutative idempotent semiring.


title: Syntomic complexes and p-adic nearby cycles

abstract: We compute syntomic cohomology of semistable affinoids in terms of cohomology of $(\varphi,\Gamma)$-modules which, thanks to work of Fontaine-Herr, Andreatta-Iovita, and Kedlaya-Liu, is known to compute Galois cohomology of these affinoids. For a semistable scheme over a mixed characteristic local ring this implies a comparison isomorphism, up to some universal constants, between truncated sheaves of $p$-adic nearby cycles and syntomic cohomology sheaves. This generalizes the comparison results of Kato, Kurihara, and Tsuji for small Tate twists (where no constants are necessary) as well as the comparison result of Tsuji that holds over the algebraic closure of the field. As an application, we combine this local comparison isomorphism with the theory of finite dimensional Banach Spaces and finitness of \'etale cohomology of rigid analytic spaces proved by Scholze to prove a Semistable conjecture for formal schemes with semistable reduction.


title: Partial Information Framework: Model-Based Aggregation of Estimates from Diverse Information Sources

abstract: Prediction polling is an increasingly popular form of crowdsourcing in which multiple participants estimate the probability or magnitude of some future event. These estimates are then aggregated into a single forecast. Historically, randomness in scientific estimation has been generally assumed to arise from unmeasured factors which are viewed as measurement noise. However, when combining subjective estimates, heterogeneity stemming from differences in the participants' information is often more important than measurement noise. This paper formalizes information diversity as an alternative source of such heterogeneity and introduces a novel modeling framework that is particularly well-suited for prediction polls. A practical specification of this framework is proposed and applied to the task of aggregating probability and point estimates from two real-world prediction polls. In both cases our model outperforms standard measurement-error-based aggregators, hence providing evidence in favor of information diversity being the more important source of heterogeneity.