title: Moving boundary and photoelastic coupling in GaAs optomechanical resonators

abstract: Chip-based cavity optomechanical systems are being considered for applications in sensing, metrology, and quantum information science. Critical to their development is an understanding of how the optical and mechanical modes interact, quantified by the coupling rate $g_{0}$. Here, we develop GaAs optomechanical resonators and investigate the moving dielectric boundary and photoelastic contributions to $g_{0}$. First, we consider coupling between the fundamental radial breathing mechanical mode and a 1550 nm band optical whispering gallery mode in microdisks. For decreasing disk radius from $R=5$ $\mu$m to $R=1$ $\mu$m, simulations and measurements show that $g_{0}$ changes from being dominated by the moving boundary contribution to having an equal photoelastic contribution. Next, we design and demonstrate nanobeam optomechanical crystals in which a $2.5$ GHz mechanical breathing mode couples to a 1550 nm optical mode predominantly through the photoelastic effect. We show a significant (30 $\%$) dependence of $g_{0}$ on the device's in-plane orientation, resulting from the difference in GaAs photoelastic coefficients along different crystalline axes, with fabricated devices exhibiting $g_{\text{0}}/2\pi$ as high as 1.1 MHz for orientation along the [110] axis. GaAs nanobeam optomechanical crystals are a promising system which can combine the demonstrated large optomechanical coupling strength with additional functionality, such as piezoelectric actuation and incorporation of optical gain media.


title: Computing the $p$-adic Canonical Quadratic Form in Polynomial Time

abstract: An $n$-ary integral quadratic form is a formal expression $Q(x_1,..,x_n)=\sum_{1\leq i,j\leq n}a_{ij}x_ix_j$ in $n$-variables $x_1,...,x_n$, where $a_{ij}=a_{ji} \in \mathbb{Z}$. We present a randomized polynomial time algorithm that given a quadratic form $Q(x_1,...,x_n)$, a prime $p$, and a positive integer $k$ outputs a $\mathtt{U} \in \text{GL}_n(\mathbb{Z}/p^k\mathbb{Z})$ such that $\mathtt{U}$ transforms $Q$ to its $p$-adic canonical form.


title: Diffusion limits at small times for coalescents with a Kingman component

abstract: We consider standard $\La$-coalescents (or coalescents with multiple collisions) with a non-trivial "Kingman part". Equivalently, the driving measure $\Lambda$ has an atom at $0$; $\Lambda(\{0\})=c>0$. It is known that all such coalescents come down from infinity. Moreover, the number of blocks $N_t$ is asymptotic to $v(t) = 2/(ct)$ as $t\to 0$. In the present paper we investigate the second-order asymptotics of $N_t$ in the functional sense at small times. This complements our earlier results on the fluctuations of the number of blocks for a class of regular $\La$-coalescents without the Kingman part. In the present setting it turns out that the Kingman part dominates, and the limit process is a Gaussian diffusion, as opposed to the stable limit in our previous work.


title: On the generalized Lebedev index transform

abstract: An essential generalization of the Lebedev index transform with the square of the Macdonald function is investigated. Namely, we consider a family of integral operators with the positive kernel $|K_{(i\tau+\alpha)/2}(x)|^2, \alpha \ge 0,\ x >0, \ \tau \in \mathbb{R},$ where $K_\mu(z)$ is the Macdonald function and $ i$ is the imaginary unit. Mapping properties such as the boundedness, compactness, invertibility are investigated for these operators and their adjoints in the Lebesgue weighted spaces. Inversion theorems are proved. Important particular cases are exhibited. As an interesting application, a solution of the initial value problem for the second order differential difference equation, involving the Laplacian, is obtained.


title: Angular distribution of medium-induced QCD cascades

abstract: We provide a complete description of the angular distribution of gluons in a medium-induced QCD cascade. We identify two components in the distribution, a soft component dominated by soft multiple scatterings, and a hard component dominated by a few hard scatterings. The typical angle that marks the boundary between these two components is determined analytically as a function of the energy of the observed gluon and the size of the medium. We construct the complete solution (beyond the diffusion approximation) in the regime where multiple branchings dominate the dynamics of the cascade in the form of a power series in the number of collisions with the medium particles. The coefficients of this expansions are related to the moments of the distribution in the diffusion approximation and are determined analytically. The angular distribution may be useful in phenomenological studies of jet shapes in heavy-ion collisions.


title: Information topology identifies emergent model classes

abstract: We develop a language for describing the relationship among observations, mathematical models, and the underlying principles from which they are derived. Using Information Geometry, we consider geometric properties of statistical models for different observations. As observations are varied, the model manifold may be stretched, compressed, or even collapsed. Observations that preserve the structural identifiability of the parameters also preserve certain topological features (such as edges and corners) that characterize the model's underlying physical principles. We introduce Information Topology in analogy with information geometry as characterizing the "abstract model" of which statistical models are realizations. Observations that change the topology, i.e., "manifold collapse," require a modification of the abstract model in order to construct identifiable statistical models. Often, the essential topological feature is a hierarchical structure of boundaries (faces, edges, corners, etc.) which we represent as a hierarchical graph known as a Hasse diagram. Low-dimensional elements of this diagram are simple models that describe the dominant behavioral modes, what we call emergent model classes. Observations that preserve the Hasse diagram are diffeomorphically related and form a group, the collection of which form a partially ordered set. All possible observations have a semi-group structure. For hierarchical models, we consider how the topology of simple models is embedded in that of larger models. When emergent model classes are unstable to the introduction of new parameters, we classify the new parameters as relevant. Conversely, the emergent model classes are stable to the introduction of irrelevant parameters. In this way, information topology provides a general language for exploring representations of physical systems and their relationships to observations.

categories: physics.data-an cond-mat.mtrl-sci math.ST stat.TH


title: $\mathrm H_2^+$ in a weak magnetic field

abstract: The electronic energy of $\mathrm H_2^+$ in magnetic fields of up to $B=0.2B_0$ (or 4.7 $\times 10^4$ Tesla) is investigated. Numerical values of the magnetic susceptibility for both the diamagnetic and paramagnetic contributions are reported for arbitrary orientations of the molecule in the magnetic field. It is shown that both diamagnetic and paramagnetic susceptibilities grow with inclination, while paramagnetic susceptibility is systematically much smaller than the diamagnetic one. Accurate two-dimensional Born-Oppenheimer surfaces are obtained with special trial functions. Using these surfaces, vibrational and rotational states are computed and analysed for the isotopologues $\mathrm H_2^+$ and $\mathrm D_2^+$.


title: The one-dimensional thermal properties for the relativistic harmonic oscillators

abstract: In this paper, we want to improved the calculations of the thermodynamic quantities of the relativistic Harmonic oscillator using the Hurwitz zeta function. The comparison of our results with those obtained by a method based on the Euler-MacLaurin approach has been made.


title: Holography of 3d-3d correspondence at Large N

abstract: We study the physics of multiple M5-branes compactified on a hyperbolic 3-manifold. On the one hand, it leads to the 3d-3d correspondence which maps an $\mathcal{N}=2$ superconformal field theory to a pure Chern-Simons theory on the 3-manifold. On the other hand, it leads to a warped AdS$_4$ geometry in M-theory holographically dual to the superconformal field theory. Combining the holographic duality and the 3d-3d correspondence, we propose a conjecture for the large $N$ limit of the perturbative free energy of a Chern-Simons theory on hyperbolic 3-manifold. The conjecture claims that the tree, one-loop and two-loop terms all share the same $N^3$ scaling behavior and are proportional to the volume of the 3-manifold, while the three-loop and higher terms are suppressed at large $N$. Under mild assumptions, we prove the tree and one-loop parts of the conjecture. For the two-loop part, we test the conjecture numerically in a number of examples and find precise agreement. We also confirm the suppression of higher loop terms in a few examples.


title: Bottom-strange mesons in hyperonic matter

abstract: The in-medium behavior of bottom-strange pseudoscalar mesons in hot, isospin asymmetric and dense hadronic environment is studied using a chiral effective model. The same was recently generalized to the heavy quark sector and employed to study the behavior of open-charm and open-bottom mesons. The heavy quark (anti-quark) is treated as frozen and all medium modifications of these bottom-strange mesons are due to their strange anti-quark (quark) content. We observe a pronounced dependence of their medium mass on baryonic density and strangeness content of the medium. Certain aspects of these in-medium interactions are similar to those observed for the strange-charmed mesons in a preceding investigation, such as the lifting of mass-degeneracy of $B_S^0$ and ${\bar B}_S^0$ mesons in hyperonic matter, while the same is respected in vacuum as well as in nuclear matter. In general, however, there is a remarkable distinction between the two species, even though the formalism predicts a completely analogous in-medium interaction Lagrangian density. We discuss in detail the reason for different in-medium behavior of these bottom-strange mesons as compared to charmed-strange mesons, despite the dynamics of the heavy quark being treated as frozen in both cases.


title: Model Theory and the mean ergodic theorem for abelian unitary actions

abstract: We explore connections between von Neumann's mean ergodic theorem and concepts of model theory. As an application we present a proof Wiener's generalization of von Neumann's result in which the group acting on the Hilbert space $\mathcal{H}$ is any abelian group of unitary transformations of $\mathcal{H}$.


title: Visual annotations and a supervised learning approach for evaluating and calibrating ChIP-seq peak detectors

abstract: Many peak detection algorithms have been proposed for ChIP-seq data analysis, but it is not obvious which method and what parameters are optimal for any given data set. In contrast, peaks can easily be located by visual inspection of profile data on a genome browser. We thus propose a supervised machine learning approach to ChIP-seq data analysis, using annotated regions that encode an expert's qualitative judgments about which regions contain or do not contain peaks. The main idea is to manually annotate a small subset of the genome, and then learn a model that makes consistent predictions on the rest of the genome. We show how our method can be used to quantitatively calibrate and benchmark the performance of peak detection algorithms on specific data sets. We compare several peak detectors on 7 annotated region data sets, consisting of 2 histone marks, 4 expert annotators, and several different cell types. In these data the macs algorithm was best for a narrow peak histone profile (H3K4me3) while the hmcan.broad algorithm was best for a broad histone profile (H3K36me3). Our benchmark annotated region data sets can be downloaded from a public website, and there is an R package for computing the annotation error on GitHub.


title: Arrested spinodal decomposition in polymer brush collapsing in poor solvent

abstract: We study the Brownian dynamics of flexible and semiflexible polymer chains densely grafted on a flat substrate, upon rapid quenching of the system when the quality of solvent becomes poor and chains attempt collapse into a globular state. The collapse process of such a polymer brush differs from individual chains, both in its kinetics and its structural morphology. We find that the resulting collapsed brush does not form a homogeneous dense layer, in spite of all chain monomers equally attracting each other via a model Lennard-Jones potential. Instead, a very distinct inhomogeneous density distribution in the plane forms, with a characteristic length scale dependent on the quenching depth (or equivalently, the strength of monomer attraction) and the geometric parameters of the brush. This structure is identical to the spinodal-decomposition structure, however, due to the grafting constraint we find no subsequent coarsening: the established random bundling with characteristic periodicity remains as the apparently equilibrium structure. We compare this finding with a recent field-theoretical model of bundling in a semiflexible polymer brush.


title: Phase separation in a spin-orbit coupled Bose-Einstein condensate

abstract: We study a spin-orbit (SO) coupled hyperfine spin-1 Bose-Einstein condensate (BEC) in a quasi-one-dimensional trap. For a SO-coupled BEC in a one-dimensional box, we show that in the absence of the Rabi term, any non-zero value of SO coupling will result in a phase separation among the components for a ferromagnetic BEC, like $^{87}$Rb. On the other hand, SO coupling favors miscibility in a polar BEC, like $^{23}$Na. In the presence of a harmonic trap, which favors miscibility, a ferromagnetic BEC phase separates, provided the SO-coupling strength and number of atoms are greater than some critical value. The Rabi term favors miscibility irrespective of the nature of the spin interaction: ferromagnetic or polar.


title: Search for the $b\bar{b}$ decay of the Standard Model Higgs boson in associated $(W/Z)H$ production with the ATLAS detector

abstract: A search for the $b\bar{b}$ decay of the Standard Model Higgs boson is performed with the ATLAS experiment using the full dataset recorded at the LHC in Run 1. The integrated luminosities used from $pp$ collisions at $\sqrt{s}=7$ and 8 TeV are 4.7 and 20.3 fb$^{-1}$, respectively. The processes considered are associated $(W/Z)H$ production, where $W\to e\nu/\mu\nu$, $Z\to ee/\mu\mu$ and $Z\to\nu\nu$. The observed (expected) deviation from the background-only hypothesis corresponds to a significance of 1.4 (2.6) standard deviations and the ratio of the measured signal yield to the Standard Model expectation is found to be $\mu = 0.52 \pm 0.32 \mathrm{(stat.)} \pm 0.24 \mathrm{(syst.)}$ for a Higgs boson mass of 125.36 GeV. The analysis procedure is validated by a measurement of the yield of $(W/Z)Z$ production with $Z\to b\bar{b}$ in the same final states as for the Higgs boson search, from which the ratio of the observed signal yield to the Standard Model expectation is found to be $0.74 \pm 0.09 \mathrm{(stat.)} \pm 0.14 \mathrm{(syst.)}$.


title: Three dimensional thermal-solute phase field simulation of binary alloy solidification

abstract: We employ adaptive mesh refinement, implicit time stepping, a nonlinear multigrid solver and parallel computation, to solve a multi-scale, time dependent, three dimensional, nonlinear set of coupled partial differential equations for three scalar field variables. The mathematical model represents the non-isothermal solidification of a metal alloy into a melt substantially cooled below its freezing point at the microscale. Underlying physical molecular forces are captured at this scale by a specification of the energy field. The time rate of change of the temperature, alloy concentration and an order parameter to govern the state of the material (liquid or solid) is controlled by the diffusion parameters and variational derivatives of the energy functional. The physical problem is important to material scientists for the development of solid metal alloys and, hitherto, this fully coupled thermal problem has not been simulated in three dimensions, due to its computationally demanding nature. By bringing together state of the art numerical techniques this problem is now shown here to be tractable at appropriate resolution with relatively moderate computational resources.


title: Analyzing the Data from X-ray Polarimeters with Stokes Parameters

abstract: X-ray polarimetry promises to deliver unique information about the geometry of the inner accretion flow of astrophysical black holes and the nature of matter and electromagnetism in and around neutron stars. In this paper, we discuss the possibility to use Stokes parameters - a commonly used tool in radio, infrared, and optical polarimetry - to analyze the data from X-ray polarimeters such as scattering polarimeters and photoelectric effect polarimeters, which measure the linear polarization of the detected X-rays. Based on the azimuthal scattering angle (in the case of a scattering polarimeter) or the azimuthal component of the angle of the electron ejection (in the case of a photoelectric effect polarimeter), the Stokes parameters can be calculated for each event recorded in the detector. Owing to the additive nature of Stokes parameters, the analysis reduces to adding the Stokes parameters of the individual events and subtracting the Stokes parameters characterizing the background (if present). The main strength of this kind of analysis is that the errors on the Stokes parameters can be computed easily and are well behaved - in stark contrast of the errors on the polarization fraction and polarization direction. We demonstrate the power of the Stokes analysis by deriving several useful formulae, e.g. the expected error on the polarization fraction and polarization direction for a detection of $N_S$ signal and $N_{BG}$ background events, the optimal observation times of the signal and background regions in the presence of non-negligible background contamination of the signal, and the minimum detectable polarization (MDP) that can be achieved when following this prescription.


title: Tropical Effective Primary and Dual Nullstellens\"atze

abstract: Tropical algebra is an emerging field with a number of applications in various areas of mathematics. In many of these applications appeal to tropical polynomials allows to study properties of mathematical objects such as algebraic varieties and algebraic curves from the computational point of view. This makes it important to study both mathematical and computational aspects of tropical polynomials. In this paper we prove a tropical Nullstellensatz and moreover we show an effective formulation of this theorem. Nullstellensatz is a natural step in building algebraic theory of tropical polynomials and its effective version is relevant for computational aspects of this field. On our way we establish a simple formulation of min-plus and tropical linear dualities. We also observe a close connection between tropical and min-plus polynomial systems.


title: Remodeling of Fibrous Extracellular Matrices by Contractile Cells: Predictions from Discrete Fiber Network Simulations

abstract: Contractile forces exerted on the surrounding extracellular matrix (ECM) lead to the alignment and stretching of constituent fibers within the vicinity of cells. As a consequence, the matrix reorganizes to form thick bundles of aligned fibers that enable force transmission over distances larger than the size of the cells. Contractile force-mediated remodeling of ECM fibers has bearing on a number of physiologic and pathophysiologic phenomena. In this work, we present a computational model to capture cell-mediated remodeling within fibrous matrices using finite element based discrete fiber network simulations. The model is shown to accurately capture collagen alignment, heterogeneous deformations, and long-range force transmission observed experimentally. The zone of mechanical influence surrounding a single contractile cell and the interaction between two cells are predicted from the strain-induced alignment of fibers. Through parametric studies, the effect of cell contractility and cell shape anisotropy on matrix remodeling and force transmission are quantified and summarized in a phase diagram. For highly contractile and elongated cells, we find a sensing distance that is ten times the cell size, in agreement with experimental observations.


title: Standard rulers, candles, and clocks from the low-redshift Universe

abstract: We measure the length of the Baryon Acoustic Oscillation (BAO) feature, and the expansion rate of the recent Universe, from low-redshift data only, almost model-independently. We make only the following minimal assumptions: homogeneity and isotropy; a metric theory of gravity; a smooth expansion history, and the existence of standard candles (supernov\ae) and a standard BAO ruler. The rest is determined by the data, which are compilations of recent BAO and Type IA supernova results. Making only these assumptions, we find for the first time that the standard ruler has length $103.9 \pm 2.3\, h^{-1}$ Mpc. The value is a measurement, in contrast to the model-dependent theoretical prediction determined with model parameters set by Planck data ($99.3 \pm 2.1 \, h^{-1}$ Mpc). The latter assumes $\Lambda$CDM, and that the ruler is the sound horizon at radiation drag. Adding passive galaxies as standard clocks or a local Hubble constant measurement allows the absolute BAO scale to be determined ($142.8\pm 3.7$ Mpc), and in the former case the additional information makes the BAO length determination more precise ($101.9\pm 1.9 \, h^{-1}\,$Mpc). The inverse curvature radius of the Universe is weakly constrained and consistent with zero, independently of the gravity model, provided it is metric. We find the effective number of relativistic species to be $N_{\rm eff} = 3.53\pm 0.32$, independent of late-time dark energy or gravity physics.


title: Polymer inflation

abstract: We consider the semi-classical dynamics of a free massive scalar field in a homogeneous and isotropic cosmological spacetime. The scalar field is quantized using the polymer quantization method assuming that it is described by a gaussian coherent state. For quadratic potentials, the semi-classical equations of motion yield a universe that has an early "polymer inflation" phase which is generic and almost exactly de Sitter, followed by a epoch of slow-roll inflation. We compute polymer corrections to the slow roll formalism, and discuss the probability of inflation in this model using a physical Hamiltonian arising from time gauge fixing. We also show how in this model, it is possible to obtain a significant amount of slow-roll inflation from sub-Planckain initial data, hence circumventing some of the criticisms of standard scenarios. These results show the extent to which a quantum gravity motivated quantization method affects early universe dynamics.


title: Flexible modelling in statistics: past, present and future

abstract: In times where more and more data become available and where the data exhibit rather complex structures (significant departure from symmetry, heavy or light tails), flexible modelling has become an essential task for statisticians as well as researchers and practitioners from domains such as economics, finance or environmental sciences. This is reflected by the wealth of existing proposals for flexible distributions; well-known examples are Azzalini's skew-normal, Tukey's $g$-and-$h$, mixture and two-piece distributions, to cite but these. My aim in the present paper is to provide an introduction to this research field, intended to be useful both for novices and professionals of the domain. After a description of the research stream itself, I will narrate the gripping history of flexible modelling, starring emblematic heroes from the past such as Edgeworth and Pearson, then depict three of the most used flexible families of distributions, and finally provide an outlook on future flexible modelling research by posing challenging open questions.


title: Dual two-state mean-field games

abstract: In this paper, we consider two-state mean-field games and its dual formulation. We then discuss numerical methods for these problems. Finally, we present various numerical experiments, exhibiting different behaviours, including shock formation, lack of invertibility, and monotonicity loss.


title: Kondo effect in binuclear metal-organic complexes with weakly interacting spins

abstract: We report a combined experimental and theoretical study of the Kondo effect in a series of binuclear metal-organic complexes of the form [(Me(hfacac)_2)_2(bpym)]^0, with Me = Nickel (II), Manganese(II), Zinc (II); hfacac = hexafluoroacetylacetonate, and bpym = bipyrimidine, adsorbed on Cu(100) surface. While Kondo-features did not appear in the scanning tunneling spectroscopy spectra of non-magnetic Zn_2, a zero bias resonance was resolved in magnetic Mn_2 and Ni_2 complexes. The case of Ni_2 is particularly interesting as the experiments indicate two adsorption geometries with very different properties. For Ni_2-complexes we have employed density functional theory to further elucidate the situation. Our simulations show that one geometry with relatively large Kondo temperatures T_K ~ 10K can be attributed to distorted Ni_2 complexes, which are chemically bound to the surface via the bipyrimidine unit. The second geometry, we assign to molecular fragmentation: we suggest that the original binuclear molecule decomposes into two pieces, including Ni(hexafluoroacetylacetonate)_2, when brought into contact with the Cu-substrate. For both geometries our calculations support a picture of the (S=1)-type Kondo effect emerging due to open 3d shells of the individual Ni^{2+} ions.


title: Vertical velocities from proper motions of red clump giants

abstract: We derive the vertical velocities of disk stars in the range of Galactocentric radii of R=5-16 kpc within 2 kpc in height from the Galactic plane. This kinematic information is connected to dynamical aspects in the formation and evolution of the Milky Way, such as the passage of satellites and vertical resonance and determines whether the warp is a long-lived or a transient feature. We used the proper motions of the PPMXL survey, correcting of systematic errors with the reference of quasars. From the color-magnitude diagram K versus (J-K) we selected the standard candles corresponding to red clump giants and used the information of their proper motions to build a map of the vertical motions of our Galaxy. We derived the kinematics of the warp both analytically and through a particle simulation to fit these data. Complementarily, we also carried out the same analysis with red clump giants spectroscopically selected with APOGEE data, and we predict the improvements in accuracy that will be reached with future Gaia data. A simple model of warp with the height of the disk z_w(R,phi)=gamma (R-R_sun) sin(phi-phi_w) fits the vertical motions if d(gamma)/dt/gamma=-34+/-17 Gyr^{-1}; the contribution to d(gamma)/dt comes from the southern warp and is negligible in the north. The vertical motion in the warp apparently indicates that the main S-shaped structure of the warp is a long-lived feature, whereas the perturbation that produces an irregularity in the southern part is most likely a transient phenomenon. With the use of the Gaia end-of-mission products together with spectroscopically classified red clump giants, the precision in vertical motions can be increased by an order of magnitude at least.


title: Optical spin transfer torque driven domain wall motion in ferromagnetic semiconductor

abstract: We demonstrate optical manipulation of the position of a domain wall in a dilute magnetic semiconductor, GaMnAsP. Two main contributions are identified. Firstly, photocarrier spin exerts a spin transfer torque on the magnetization via the exchange interaction. The direction of the domain wall motion can be controlled using the helicity of the laser. Secondly, the domain wall is attracted to the hot-spot generated by the focused laser. Unlike magnetic field driven domain wall depinning, these mechanisms directly drive domain wall motion, providing an optical tweezer like ability to position and locally probe domain walls.


title: Counting rational points on smooth cubic surfaces

abstract: We prove that any smooth cubic surface defined over any number field satisfies the lower bound predicted by Manin's conjecture possibly after an extension of small degree.


title: Cosmic reionization by primordial cosmic rays

abstract: After the so-called cosmic recombination, the expanding universe entered into a period of darkness since most of the matter was in a neutral state. About a billion years later, however, the intergalactic space was once again ionized. The process, known as the cosmic reionization, required the operation of mechanisms that are not well understood. Among other ionizing sources, Population III stars, mini-quasars, and X-ray emitting microquasars have been invoked. In this article we propose that primordial cosmic rays, accelerated at the termination points of the jets of the first microquasars, may have contributed to the reionization of the intergalactic space as well. For this we quantify the ionization power of cosmic rays (electrons and protons) in the primordial intergalactic medium using extensive particle cascade simulations. We establish that, depending on the fraction of electrons to protons accelerated in the microquasar jets, cosmic rays should have contributed to the reionization of the primordial intergalactic medium as much as X-rays from microquasar accretion disks. If the primordial magnetic field was of the order of $10^{-17}$ G, as some models suggest, cosmic rays had an important role in ionizing the neutral material far beyond the birth places of the first stars.


title: Touch attention Bayesian models for robotic active haptic exploration of heterogeneous surfaces

abstract: This work contributes to the development of active haptic exploration strategies of surfaces using robotic hands in environments with an unknown structure. The architecture of the proposed approach consists two main Bayesian models, implementing the touch attention mechanisms of the system. The model pi_per perceives and discriminates different categories of materials (haptic stimulus) integrating compliance and texture features extracted from haptic sensory data. The model pi_tar actively infers the next region of the workspace that should be explored by the robotic system, integrating the task information, the permanently updated saliency and uncertainty maps extracted from the perceived haptic stimulus map, as well as, inhibition-of-return mechanisms. The experimental results demonstrate that the Bayesian model pi_per can be used to discriminate 10 different classes of materials with an average recognition rate higher than 90% . The generalization capability of the proposed models was demonstrated experimentally. The ATLAS robot, in the simulation, was able to perform the following of a discontinuity between two regions made of different materials with a divergence smaller than 1cm (30 trials). The tests were performed in scenarios with 3 different configurations of the discontinuity. The Bayesian models have demonstrated the capability to manage the uncertainty about the structure of the surfaces and sensory noise to make correct motor decisions from haptic percepts.


title: Higgledy-piggledy subspaces and uniform subspace designs

abstract: In this article, we investigate collections of `well-spread-out' projective (and linear) subspaces. Projective $k$-subspaces in $\mathsf{PG}(d,\mathbb{F})$ are in `higgledy-piggledy arrangement' if they meet each projective subspace of co-dimension $k$ in a generator set of points. We prove that the set $\mathcal{H}$ of higgledy-piggledy $k$-subspaces has to contain more than $\min{|\mathbb{F}|,\sum_{i=0}^k\lfloor\frac{d-k+i}{i+1}\rfloor}$ elements. We also prove that $\mathcal{H}$ has to contain more than $(k+1)\cdot(d-k)$ elements if the field $\mathbb{F}$ is algebraically closed. An $r$-uniform weak $(s,A)$ subspace design is a set of linear subspaces $H_1,..,H_N\le\mathbb{F}^m$ each of rank $r$ such that each linear subspace $W\le\mathbb{F}^m$ of rank $s$ meets at most $A$ among them. This subspace design is an $r$-uniform strong $(s,A)$ subspace design if $\sum_{i=1}^N\mathrm{rank}(H_i\cap W)\le A$ for $\forall W\le\mathbb{F}^m$ of rank $s$. We prove that if $m=r+s$ then the dual ($\{H_1^\bot,...,H_N^\bot\}$) of an $r$-uniform weak (strong) subspace design of parameter $(s,A)$ is an $s$-uniform weak (strong) subspace design of parameter $(r,A)$. We show the connection between uniform weak subspace designs and higgledy-piggledy subspaces proving that $A\ge\min{|\mathbb{F}|,\sum_{i=0}^{r-1}\lfloor\frac{s+i}{i+1}\rfloor}$ for $r$-uniform weak or strong $(s,A)$ subspace designs in $\mathbb{F}^{r+s}$. We show that the $r$-uniform strong $(s,r\cdot s+\binom{r}{2})$ subspace design constructed by Guruswami and Kopprty (based on multiplicity codes) has parameter $A=r\cdot s$ if we consider it as a weak subspace design. We give some similar constructions of weak and strong subspace designs (and higgledy-piggledy subspaces) and prove that the lower bound $(k+1)\cdot(d-k)+1$ over algebraically closed field is tight.


title: Spin structure of the nucleon on the light front

abstract: We briefly review the spin structure of the nucleon and show that it is best thought in the light-front formulation. We discuss in particular the longitudinal and transverse spin sum rules, the proper definition of canonical orbital angular momentum and the spin-orbit correlation.


title: Inverse scattering at fixed energy on asymptotically hyperbolic Liouville surfaces

abstract: In this paper, we study an inverse scattering problem on Liouville surfaces having two asymptotically hyperbolic ends. The main property of Liouville surfaces consists in the complete separability of the Hamilton-Jacobi equations for the geodesic flow. An important related consequence is the fact that the stationary wave equation can be separated into a system of a radial and angular ODEs. The full scattering matrix at fixed energy associated to a scalar wave equation on asymptotically hyperbolic Liouville surfaces can be thus simplified by considering its restrictions onto the generalized harmonics corresponding to the angular separated ODE. The resulting partial scattering matrices consists in a countable set of $2 \times 2$ matrices whose coefficients are the so called transmission and reflection coefficients. It is shown that the reflection coefficients are nothing but generalized Weyl-Titchmarsh functions for the radial ODE in which the generalized angular momentum is seen as the spectral parameter. Using the Complex Angular Momentum method and recent results on 1D inverse problem from generalized Weyl-Titchmarsh functions, we show that the knowledge of the reflection operators at a fixed non zero energy is enough to determine uniquely the metric of the asymptotically hyperbolic Liouville surface under consideration.


title: L1-optimal linear programming estimatorfor periodic frontier functions with Holder continuous derivative

abstract: We propose a new estimator based on a linear programming method for smooth frontiers of sample points. The derivative of the frontier function is supposed to be Holder continuous.The estimator is defined as a linear combination of kernel functions being sufficiently regular, covering all the points and whose associated support is of smallest surface. The coefficients of the linear combination are computed by solving a linear programming problem. The L1- error between the estimated and the true frontier functionsis shown to be almost surely converging to zero, and the rate of convergence is proved to be optimal.


title: Compliance error compensation in robotic-based milling

abstract: The paper deals with the problem of compliance errors compensation in robotic-based milling. Contrary to previous works that assume that the forces/torques generated by the manufacturing process are constant, the interaction between the milling tool and the workpiece is modeled in details. It takes into account the tool geometry, the number of teeth, the feed rate, the spindle rotation speed and the properties of the material to be processed. Due to high level of the disturbing forces/torques, the developed compensation technique is based on the non-linear stiffness model that allows us to modify the target trajectory taking into account nonlinearities and to avoid the chattering effect. Illustrative example is presented that deals with robotic-based milling of aluminum alloy.


title: Towards obtaining Green functions for a Casimir cavity in de Sitter spacetime

abstract: Recent work in the literature has studied rigid Casimir cavities in a weak gravitational field, or in de Sitter spacetime, or yet other spacetime models. The present review paper studies the difficult problem of direct evaluation of scalar Green functions for a Casimir-type apparatus in de Sitter spacetime. Working to first order in the small parameter of the problem, i.e. twice the gravity acceleration times the plates' separation divided by the speed of light in vacuum, suitable coordinates are considered for which the differential equations obeyed by the zeroth- and first-order Green functions can be solved in terms of special functions. This result can be used, in turn, to obtain, via the point-split method, the regularized and renormalized energy-momentum tensor both in the scalar case and in the physically more relevant electromagnetic case.


title: Robust feedback switching control: dynamic programming and viscosity solutions

abstract: We consider a robust switching control problem. The controller only observes the evolution of the state process, and thus uses feedback (closed-loop) switching strategies, a non standard class of switching controls introduced in this paper. The adverse player (nature) chooses open-loop controls that represent the so-called Knightian uncertainty, i.e., misspecifications of the model. The (half) game switcher versus nature is then formulated as a two-step (robust) optimization problem. We develop the stochastic Perron method in this framework, and prove that it produces a viscosity sub and supersolution to a system of Hamilton-Jacobi-Bellman (HJB) variational inequalities, which envelope the value function. Together with a comparison principle, this characterizes the value function of the game as the unique viscosity solution to the HJB equation, and shows as a byproduct the dynamic programming principle for robust feedback switching control problem.


title: Accuracy Improvement of Robot-Based Milling Using an Enhanced Manipulator Model

abstract: The paper is devoted to the accuracy improvement of robot-based milling by using an enhanced manipulator model that takes into account both geometric and elastostatic factors. Particular attention is paid to the model parameters identification accuracy. In contrast to other works, the proposed approach takes into account impact of the gravity compensator and link weights on the manipulator elastostatic properties. In order to improve the identification accuracy, the industry oriented performance measure is used to define optimal measurement configurations and an enhanced partial pose measurement method is applied for the identification of the model parameters. The advantages of the developed approach are confirmed by experimental results that deal with the elastostatic calibration of a heavy industrial robot used for milling. The achieved accuracy improvement factor is about 2.4.


title: Detecting People in Cubist Art

abstract: Although the human visual system is surprisingly robust to extreme distortion when recognizing objects, most evaluations of computer object detection methods focus only on robustness to natural form deformations such as people's pose changes. To determine whether algorithms truly mirror the flexibility of human vision, they must be compared against human vision at its limits. For example, in Cubist abstract art, painted objects are distorted by object fragmentation and part-reorganization, to the point that human vision often fails to recognize them. In this paper, we evaluate existing object detection methods on these abstract renditions of objects, comparing human annotators to four state-of-the-art object detectors on a corpus of Picasso paintings. Our results demonstrate that while human perception significantly outperforms current methods, human perception and part-based models exhibit a similarly graceful degradation in object detection performance as the objects become increasingly abstract and fragmented, corroborating the theory of part-based object representation in the brain.


title: Heegaard Floer groups of Dehn surgeries

abstract: We use an algorithm by Ozsvath and Szabo to find closed formulae for the ranks of the hat version of the Heegaard Floer homology groups for non-zero Dehn surgeries on knots in the 3-sphere. As applications we provide new bounds on the number of distinct ranks of the Heegaard Floer groups a Dehn surgery can have. These in turn give a new lower bound on the rational Dehn surgery genus of a rational homology 3-sphere. We also provide novel obstructions for a knot to be a potential counterexample to the Cabling Conjecture.


title: Realizing Topological Mott Insulators from the RKKY Interaction

abstract: We engineer topological insulating phases in a fermion-fermion mixture on the honeycomb lattice, without resorting to artificial gauge fields or spin-orbit couplings and considering only local interactions. Essentially, upon integrating out the fast component (characterized by a larger hopping amplitude) in a finite region of dopings, we obtain an effective interaction between the slow fermions at half-filling, which acquires a Haldane mass with opposite parity in the two valleys of the Dirac cones, thus triggering a quantum anomalous Hall effect. We carefully analyze the competition between the induced Semenoff-type mass (producing charge density wave orders in real space) versus the Haldane mass (quantum anomalous Hall phase), as a function of the chemical potential of the fast fermions. If the second species involves spin-1/2 particles, this interaction may induce a quantum spin Hall phase. Such fermion-fermion mixtures can be realized in optical lattices or in graphene heterostructures.


title: Comoving to expansion Newtonian potential of galaxies and clusters instead of dark matter

abstract: Stretching of the Newtonian potential (NP) at early epochs is investigated and it is shown that observed effects, usually ascribed to a dark matter, can by explained by such stretching only. Increasing by time radius of the gravitationally-bound region (GBR) and conservation of gravitational energy lead to a new scenario in which values of NP in expanding volume are maintained, while in physical volume are stretched. Really, the energy conservation in expanding volume requires for NP values to be comoving to the expanding shells. In addition, the radius of gravitationally-bound region increases by time due to decreasing of expansion velocity and different shells around galaxy cease expansion at different times. Thus, as far a shell placed from galaxy, as longer it was expanded and thickened, while potential difference on its boundaries remained unchanged. This shifts the values of NP around galaxy proportional to the distance r and, as the result, the gravitational acceleration, from NP's $1/r^2$ dependence, turned to 1/r dependence, as for centrifugal acceleration. This fact naturally explains the known empirical facts, such as flatness of rotation curves and velocity-mass relationships for galaxies and velocity dispersion in clusters.


title: Obtaining adjusted prevalence ratios from logistic regression model in cross-sectional studies

abstract: In the last decades, it has been discussed the use of epidemiological prevalence ratio (PR) rather than odds ratio as a measure of association to be estimated in cross-sectional studies. The main difficulties in use of statistical models for the calculation of PR are convergence problems, availability of adequate tools and strong assumptions. The goal of this study is to illustrate how to estimate PR and its confidence interval directly from logistic regression estimates. We present three examples and compare the adjusted estimates of PR with the estimates obtained by use of log-binomial, robust Poisson regression and adjusted prevalence odds ratio (POR). The marginal and conditional prevalence ratios estimated from logistic regression showed the following advantages: no numerical instability; simple to implement in a statistical software; and assumes the adequate probability distribution for the outcome.


title: A Correction Note: Attractive Nearest Neighbor Spin Systems on the Integers

abstract: In this note, we discuss a proof in T. Liggett's work on attractive translation invariant nearest neighbor spin systems on the integers. A correction to a wrong estimate is provided.


title: Approximating Betweenness Centrality in Large Evolving Networks

abstract: Betweenness centrality ranks the importance of nodes by their participation in all shortest paths of the network. Therefore computing exact betweenness values is impractical in large networks. For static networks, approximation based on randomly sampled paths has been shown to be significantly faster in practice. However, for dynamic networks, no approximation algorithm for betweenness centrality is known that improves on static recomputation. We address this deficit by proposing two incremental approximation algorithms (for weighted and unweighted connected graphs) which provide a provable guarantee on the absolute approximation error. Processing batches of edge insertions, our algorithms yield significant speedups up to a factor of $10^4$ compared to restarting the approximation. This is enabled by investing memory to store and efficiently update shortest paths. As a building block, we also propose an asymptotically faster algorithm for updating the SSSP problem in unweighted graphs. Our experimental study shows that our algorithms are the first to make in-memory computation of a betweenness ranking practical for million-edge semi-dynamic networks. Moreover, our results show that the accuracy is even better than the theoretical guarantees in terms of absolutes errors and the rank of nodes is well preserved, in particular for those with high betweenness.


title: Resource quality of a symmetry-protected topologically ordered phase for quantum computation

abstract: We investigate entanglement naturally present in the 1D topologically ordered phase protected with the on-site symmetry group of an octahedron as a potential resource for teleportation-based quantum computation. We show that, as long as certain characteristic lengths are finite, all its ground states have the capability to implement any unit-fidelity one-qubit gate operation asymptotically as a key computational building block. This feature is intrinsic to the entire phase, in that perfect gate fidelity coincides with perfect string order parameters under a state-insensitive renormalization procedure. Our approach may pave the way toward a novel program to classify quantum many-body systems based on their operational use for quantum information processing.


title: Torus knots and quantum modular forms

abstract: In this paper we compute a $q$-hypergeometric expression for the cyclotomic expansion of the colored Jones polynomial for the left-handed torus knot $(2,2t+1)$ and use this to define a family of quantum modular forms which are dual to the generalized Kontsevich-Zagier series.


title: Hollow cores in Warm Dark Matter halos from the Vlasov-Poisson equation

abstract: We report the results of extended high--resolution numerical integrations of the Vlasov--Poisson equation for the collapse of spherically symmetric WDM halos. For thermal relics with mass $m=1\,$keV/$c^2$, we find collapsed halos with cores of size from $0.1$ to $0.6\,$kpc. The typical core is hollow, with the mass density decreasing towards the core center by almost three orders of magnitude from its maximum near the core radius $r_{\rm c}$. The core is in equilibrium with the diffused part of the halo but far from virialization. These properties are rooted in the conservation of the squared angular momentum and in the original excess, proper of WDM initial conditions, of kinetic energy in the core region. In a sample of more than one hundred simulated collapses, the values of $r_{\rm c}$ and of the core density $\rho_{\rm c}$ are in the range typical of dwarf spheroids, while the maximal circular velocities $V_{\rm max}$ are proper of small disk galaxies. The product $\mu_{\rm c}=\rho_{\rm c}r_{\rm c}$ takes values between $116\,M_\odot/$pc$^2$ and $283\,M_\odot/$pc$^2$, while the surface density $\mu_0$, as determined from a Burkert fit, is roughly three times larger. From these data and data obtained at smaller values of $m$, we extrapolate for one particular halo $\mu_{\rm c}=263(308)\,M_\odot/$pc$^2$ and $\mu_0=754(855)\,M_\odot/$pc$^2$ at $m=2(3.3)\,$keV/$c^2$, to be compared with the observed value $140^{+83}_{-52} M_\odot$/pc$^2$. In view of the many improvements and enhancements available, we conclude that WDM is a viable solution for explaining the presence and the size of cores in low mass galaxies.


title: Analysis of Transition State Theory Rates upon Spatial Coarse-Graining

abstract: Spatial multiscale methods have established themselves as useful tools for extending the length scales accessible by conventional statics (i.e., zero temperature molecular dynamics). Recently, extensions of these methods, such as the finite-temperature quasicontinuum (hot-QC) or Coarse-Grained Molecular Dynamics (CGMD) methods, have allowed for multiscale molecular dynamics simulations at finite temperature. Here, we assess the quality of the long-time dynamics these methods generate by considering canonical transition rates. Specifically, we analyze the transition state theory (TST) rates in CGMD and compare them to the corresponding TST rate of the fully atomistic system. The ability of such an approach to reliably reproduce the TST rate is verified through a relative error analysis, which is then used to highlight the major contributions to the error and guide the choice of degrees of freedom. Finally, our analytical results are compared with numerical simulations for the case of a 1-D chain.


title: Spinorially twisted Spin structures, I: curvature identities and eigenvalue estimates

abstract: We define (higher rank) spinorially twisted spin structures and deduce various curvature identites as well as estimates for the eigenvalues of the corresponding twisted Dirac operators.


title: Learning Algorithm for Relation-Substitutable Context-Free Languages

abstract: We generalized the class of $k,l$-substitutable languages (Yoshinala, 2008). Each language in the generalized class is closed under a good substitutability. The substitutability is defined by a recognizable equivalence relation. We show the convergence of our generalized learning algorithm. The size of the characteristic sample is smaller than Yoshinaka's.


title: Quantitative study of the AMS-02 electron/positron spectra: implications for the pulsar and dark matter properties

abstract: The AMS-02 has just published the unprecedentedly precise measurement of the cosmic electron and positron spectra. In this paper we try to give a quantitative study on the AMS-02 results by a global fitting to the electron and positron spectra, together with the updated positron fraction data. The Markov Chain Monte Carlo algorithm is adopted to do the fitting. The primary electron spectrum and the parameters for pulsars or dark matter which contribute extra positrons are determined simultaneously. We find that there is a hardening of the primary electron spectrum at $\sim 60$ GeV. With such a new feature at the background spectrum both the pulsars and dark matter can explain the AMS-02 results very well. The dark matter scenario shows a drop at positron fraction at $\sim 300$ GeV, however, suffers very strong constraints from Fermi $\gamma$-ray observations. The fitting results also suggest that the propagation model with convection may be more favored by the lepton data than the reacceleration model.


title: Forbidden oxygen lines at various nucleocentric distances in comets

abstract: To study the formation of the [OI] lines - i.e., 5577 A (the green line), 6300 A and 6364 A (the two red lines) - in the coma of comets and to determine the parent species of the oxygen atoms using the green to red-doublet emission intensity ratio (G/R ratio) and the lines velocity widths. We acquired at the ESO VLT high-resolution spectroscopic observations of comets C/2002 T7 (LINEAR), 73P-C/Schwassmann-Wachmann 3, 8P/Tuttle, and, 103P/Hartley 2 when they were close to the Earth (< 0.6 au). Using the observed spectra, we determined the intensities and the widths of the three [OI] lines. We have spatially extracted the spectra in order to achieve the best possible resolution of about 1-2", i.e., nucleocentric projected distances of 100 to 400 km depending on the geocentric distance of the comet. We have decontaminated the [OI] green line from C2 lines blends. It is found that the observed G/R ratio on all four comets varies as a function of nucleocentric projected distance. This is mainly due to the collisional quenching of O(1S) and O(1D) by water molecules in the inner coma. The observed green emission line width is about 2.5 km/s and decreases as the distance from the nucleus increases which can be explained by the varying contribution of CO2 to the O(1S) production in the innermost coma. The photodissociation of CO2 molecules seems to produce O(1S) closer to the nucleus while the water molecule forms all the O(1S) and O(1D) atoms beyond 1000 km. Thus we conclude that the main parent species producing O(1S) and O(1D) in the inner coma is not always the same. The observations have been interpreted in the framework of the coupled-chemistry-emission model of Bhardwaj & Raghuram (2012) and the upper limits of CO2 relative abundances are derived from the observed G/R ratios. Measuring the [OI] lines could indeed provide a new way to determine the CO2 relative abundance in comets.


title: AMS-02, Strongly Self-Interacting Dark Matter, and QUD

abstract: The latest AMS-02 electron/positron precision data add to the spectrum knee as direct cosmic ray evidence for an electroweak scale strong interaction. In addition, there is significant evidence for a strong self-interaction of dark matter. QUD is a unique massless SU(5) field theory with an anomaly-generated bound-state S-Matrix that could be an unconventional origin for the Standard Model. The electroweak scale color sextet quark enhanced QCD interaction is the only new physics. Production of multiple vector bosons, that acquire masses via sextet quark pions, will give the AMS positron and electron cross-sections - related vector boson pair production having been seen at the LHC. Stable sextet quark neutrons (neusons) provide a novel form of very strongly interacting dark matter that has the desired experimental properties. Large rapidity hadronic production of neusons will produce the knee.


title: Fractional angular momentum in cold atom systems

abstract: The quantum statistics of bosons or fermions are manifest through even or odd relative angular momentum of a pair. We show theoretically that, under certain conditions, a pair of certain test particles immersed in a fractional quantum Hall state possesses, effectively, a fractional relative angular momentum, which can be interpreted in terms of fractional braid statistics. We propose that the fractionalization of the angular momentum can be detected directly through the measurement of the pair correlation function in rotating ultra-cold atomic systems in the fractional quantum Hall regime. Such a measurement will also provide direct evidence for the effective magnetic field, resulting from Berry phases arising from attached vortices, and of excitations with fractional particle number, analogous to fractional charge of electron fractional quantum Hall effect.


title: Functions of multivector variables

abstract: As is well known, the common elementary functions defined over the real numbers can be generalized to act not only over the complex number field but also over the skew (non-commuting) field of the quaternions. In this paper, we detail a number of elementary functions extended to act over the skew field of Clifford multivectors, in both two and three dimensions. Complex numbers, quaternions and Cartesian vectors can be described by the various components within a Clifford multivector and from our results we are able to demonstrate new inter-relationships between these algebraic systems. One key relationship that we discover is that a complex number raised to a vector power produces a quaternion thus combining these systems within a single equation. We also find a single formula that produces the square root, amplitude and inverse of a multivector over one, two and three dimensions. Finally, comparing the functions over different dimension we observe that $ C\ell \left (\Re^3 \right) $ provides a particularly versatile algebraic framework.


title: Constructing Coverability Graphs for Time Basic Petri Nets

abstract: Time-Basic Petri nets, is a powerful formalism for modeling real-time systems where time constraints are expressed through time functions of marking's time description associated with transition, representing possible firing times. We introduce a technique for coverability analysis based on the building of a finite graph. This technique further exploits the time anonymous concept [5,6], in order to deal with topologically unbounded nets, exploits the concept of a coverage of TA tokens, i.e., a sort of {\omega} anonymous timestamp. Such a coverability analysis technique is able to construct coverability trees/graphs for unbounded Time-Basic Petri net models. The termination of the algorithm is guaranteed as long as, within the input model, tokens growing without limit, can be anonymized. This means that we are able to manage models that do not exhibit Zeno behavior and do not express actions depending on infinite past events. This is actually a reasonable limitation because, generally, real-world examples do not exhibit such a behavior.


title: Hearts of t-structures in the derived category of a commutative Noetherian ring

abstract: Let $R$ be a commutative Noetherian ring and let $\mathcal D(R)$ be its (unbounded) derived category. We show that all compactly generated t-structures in $\mathcal D(R)$ associated to a left bounded filtration by supports of Spec$(R)$ have a heart which is a Grothendieck category. Moreover, we identify all compactly generated t-structures in $\mathcal D(R)$ whose heart is a module category. As geometric consequences for a compactly generated t-structure $(\mathcal{U},\mathcal{U}^\perp [1])$ in the derived category $\mathcal{D}(\mathbb{X})$ of a Noetherian scheme $\mathbb{X}$, we get the following: 1) If the sequence $(\mathcal{U}[-n]\cap\mathcal{D}^{\leq 0}(\mathbb{X}))_{n\in\mathbb{N}}$ is stationnary, then the heart $\mathcal{H}$ is a Grothendieck category; 2) If $\mathcal{H}$ is a module category, then $\mathcal{H}$ is always equivalent to $\text{Qcoh}(\mathbb{Y})$, for some affine subscheme $\mathbb{Y}\subseteq\mathbb{X}$; 3) If $\mathbb{X}$ is connected, then: a) when $\bigcap_{k\in\mathbb{Z}}\mathcal{U}[k]=0$, the heart $\mathcal{H}$ is a module category if, and only if, the given t-structure is a translation of the canonical t-estructure in $\mathcal{D}(\mathbb{X})$; b) when $\mathbb{X}$ is irreducible, the heart $\mathcal{H}$ is a module category if, and only if, there are an affine subscheme $\mathbb{Y}\subseteq\mathbb{X}$ and an integer $m$ such that $\mathcal{U}$ consists of the complexes $U\in\mathcal{D}(\mathbb{X})$ such that the support of $H^j(U)$ is in $\mathbb{X}\setminus\mathbb{Y}$, for all $j>m$.


title: Martingale Inequalities for the Maximum via Pathwise Arguments

abstract: We study a class of martingale inequalities involving the running maximum process. They are derived from pathwise inequalities introduced by Henry_Labordere et al. (2013) and provide an upper bound on the expectation of a function of the running maximum in terms of marginal distributions at n intermediate time points. The class of inequalities is rich and we show that in general no inequality is uniformly sharp - for any two inequalities we specify martingales such that one or the other inequality is sharper. We then use our inequalities to recover Doob's L^p inequalities. For p in (0,1] we obtain new, or refined, inequalities.


title: A semi-analytical light curve model and its application to type IIP supernovae

abstract: The aim of this work is to present a semi-analytical light curve modeling code which can be used for estimating physical properties of core collapse supernovae (SNe) in a quick and efficient way. To verify our code we fit light curves of Type II SNe and compare our best parameter estimates to those from hydrodynamical calculations. For this analysis we use the quasi-bolometric light curves of five different Type IIP supernovae. In each case we get appropriate results for the initial pre-supernova parameters. We conclude that this semi-analytical light curve model is useful to get approximate physical properties of Type II SNe without using time-consuming numerical hydrodynamic simulations.


title: Optimal models of extreme volume-prices are time-dependent

abstract: We present evidence that the best model for empirical volume-price distributions is not always the same and it strongly depends in (i) the region of the volume-price spectrum that one wants to model and (ii) the period in time that is being modelled. To show these two features we analyze stocks of the New York stock market with four different models: Gamma, inverse-gamma, log-normal, and Weibull distributions. To evaluate the accuracy of each model we use standard relative deviations as well as the Kullback-Leibler distance and introduce an additional distance particularly suited to evaluate how accurate are the models for the distribution tails (large volume-price). Finally we put our findings in perspective and discuss how they can be extended to other situations in finance engineering.


title: Weierstrass weight of the hyperosculating points of generalized Fermat curves

abstract: Let $(S,H)$ be a generalized Fermat pair of the type $(k,n)$. If $F\subset S$ is the set of fixed points of the non-trivial elements of the group $H$, then $F$ is exactly the set of hyperoscualting points of the standard embedding $S\hookrightarrow {\mathbb{P}}^{n}$. We provide an optimal lower bound (this being sharp in a dense open set of the moduli space of the generalized Fermat curves) for the Weierstrass weight of these points.


title: Characterizations of Uniform Hyperbolicity and Spectra of CMV Matrices

abstract: We provide an elementary proof of the equivalence of various notions of uniform hyperbolicity for a class of $\mathrm{GL}(2,\mathbb{C})$ cocycles and establish a Johnson-type theorem for extended CMV matrices, relating the spectrum to the points on the unit circle for which the associated Szeg\H{o} cocycle is not uniformly hyperbolic.


title: Vortices in a toroidal Bose-Einstein condensate with a rotating weak link

abstract: Motivated by a recent experiment [K.C. Wright et. al. Phys. Rev. Lett. 110, 025302 (2013)], we investigate deterministic discontinuous jumps between quantized circulation states in a toroidally trapped Bose-Einstein condensate. These phase slips are induced by vortex excitations created by a rotating weak link. We analyze influence of a localized condensate density depletion and atomic superflows, governed by the rotating barrier, on the energetic and dynamical stability of the vortices in the ring-shaped condensate. We simulate in a three-dimensional dissipative mean field model the dynamics of the condensate using parameters similar to the experimental conditions. Moreover, we consider the dynamics of the stirred condensate far beyond the experimentally explored region and reveal surprising manifestations of complex vortex dynamics.


title: Additional congruence conditions on the number of terms in sums of consecutive squared integers equal to squared integers

abstract: The problem of finding all the integer solutions in $a$, $M$ and $s$ of sums of $M$ consecutive integer squares starting at $a^{2}\geq1$ equal to squared integers $s^{2}$, has no solutions if $M\equiv3,5,6,7,8$ or $10\left(mod\,12\right)$ and has integer solutions if $M\equiv0,9,24% or %33\left(mod\,72\right)$; or $M\equiv1,2$ or $16\left(mod\,24\right)$; or $M\equiv11\left(mod\,12\right)$. In this paper, additional congruence conditions are demonstrated on the allowed values of $M$ that yield solutions to the problem by using Beeckmans' eight necessary conditions, refining further the possible values of $M$ for which the sums of $M$ consecutive integer squares equal integer squares.


title: Particle Dynamics in Damped Nonlinear Quadrupole Ion Traps

abstract: We examine the motions of particles in quadrupole ion traps as a function of damping and trapping forces, including cases where nonlinear damping or nonlinearities in the electric field geometry play significant roles. In the absence of nonlinearities, particles are either damped to the trap center or ejected, while their addition brings about a rich spectrum of stable closed particle trajectories. In three-dimensional (3D) quadrupole traps, the extended orbits are typically confined to the trap axis, and for this case we present a 1D analysis of the relevant equation of motion. We follow this with an analysis of 2D quadrupole traps that frequently show diamond-shaped closed orbits. For both the 1D and 2D cases we present experimental observations of the calculated trajectories in microparticle ion traps. We also report the discovery of a new collective behavior in damped 2D microparticle ion traps, where particles spontaneously assemble into a remarkable knot of overlapping, corotating diamond orbits, self-stabilized by air currents arising from the particle motion.


title: Birational geometry of the moduli space of rank 2 parabolic vector bundles on a rational curve

abstract: We investigate the birational geometry (in the sense of Mori's program) of the moduli space of rank 2 semistable parabolic vector bundles on a rational curve. We compute the effective cone of the moduli space and show that all birational models obtained by Mori's program are also moduli spaces of parabolic vector bundles with certain parabolic weights.


title: Notes on Symmetric Bases

abstract: A_k = {1, a_2, ... a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i. An extremal h-basis A_k is one for which n is as large as possible. Computing extremal bases is known as the Postage Stamp Problem. A basis A_k is symmetric if A_k = {1, a_2, ... a_k} where a_i + a_(k-i) = a_k for 1<=i<=k-1. Examination of a number of symmetric bases suggests the following conjecture: if the range 0 ... a_k is covered using at most h stamps, then the range 0 ... ha_k is also covered using at most h stamps. This paper shows that this is not strictly true, but demonstrates that there is a value h_1 such that the conjecture is true for all h>=h_1.


title: Low-level accretion in neutron-star X-ray binaries

abstract: We search the literature for reports on the spectral properties of neutron-star low-mass X-ray binaries when they have accretion luminosities between 1E34 and 1E36 ergs/s. We found that in this luminosity range the photon index (obtained from fitting a simple absorbed power-law in the 0.5-10 keV range) increases with decreasing 0.5-10 keV X-ray luminosity (i.e., the spectrum softens). Such behaviour has been reported before for individual sources, but here we demonstrate that very likely most (if not all) neutron-star systems behave in a similar manner and possibly even follow a universal relation. When comparing the neutron-star systems with black-hole systems, it is clear that most black-hole binaries have significantly harder spectra at luminosities of 1E34 - 1E35 erg/s. Despite a limited number of data points, there are indications that these spectral differences also extend to the 1E35 - 1E36 erg/s range. This observed difference between the neutron-star binaries and black-hole ones suggests that the spectral properties (between 0.5-10 keV) at 1E34 - 1E35 erg/s can be used to tentatively determine the nature of the accretor in unclassified X-ray binaries. We discuss our results in the context of properties of the accretion flow at low luminosities and we suggest that the observed spectral differences likely arise from the neutron-star surface becoming dominantly visible in the X-ray spectra. We also suggest that both the thermal component and the non-thermal component might be caused by low-level accretion onto the neutron-star surface for luminosities below a few times 1E34 erg/s.


title: Notes on "Symmetric Bases with large 2-range"

abstract: A_k = {1, a_2, ... a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i. An extremal h-basis A_k is one for which n is as large as possible. Computing extremal bases has become known as the Postage Stamp Problem. This paper is inspired by and based upon a paper entitled "Symmetric bases with large 2-range for k<=75" by Svein Mossige at the University of Bergen (Mossige, Svein, [4]). Computer searches have identified some further bases which are superior to those reported in [4], and the paper also reports an improvement to one of the theoretical results.


title: Hot carrier relaxation of Dirac fermions in bilayer epitaxial graphene

abstract: Energy relaxation of hot Dirac fermions in bilayer epitaxial graphene is experimentally investigated by magnetotransport measurements on Shubnikov-de Haas oscillations and weak localization. The hot-electron energy loss rate is found to follow the predicted Bloch-Gr\"uneisen power-law behaviour of $T^4$ at carrier temperatures from 1.4 K up to $\sim$100 K, due to electron-acoustic phonon interactions with a deformation potential coupling constant of 22 eV. A carrier density dependence $n_e^{-1.5}$ in the scaling of the $T^4$ power law is observed in bilayer graphene, in contrast to the $n_e^{-0.5}$ dependence in monolayer graphene, leading to a crossover in the energy loss rate as a function of carrier density between these two systems. The electron-phonon relaxation time in bilayer graphene is also shown to be strongly carrier density dependent, while it remains constant for a wide range of carrier densities in monolayer graphene. Our results and comparisons between the bilayer and monolayer exhibit a more comprehensive picture of hot carrier dynamics in graphene systems.


title: On the Origin of a Sunquake during the 29 March 2014 X1 Flare

abstract: Helioseismic data from the HMI instrument have revealed a sunquake associated with the X1 flare SOL2014-03-29T17:48 in active region NOAA 12017. We try to discover if acoustic-like impulses or actions of the Lorentz force caused the sunquake. We analyze spectro-polarimetric data obtained with the Facility Infrared Spectrometer (FIRS) at the Dunn Solar Telescope (DST). Fortuitously the FIRS slit crossed the flare kernel close to the acoustic source, during the impulsive phase. The infrared FIRS data remain unsaturated throughout the flare. Stokes profiles of lines of Si I 1082.7 nm and He I 1083.0 nm are analyzed. At the flare footpoint, the Si I 1082.7 nm core intensity increases by a factor of several, the IR continuum increases by 4 +/- 1%. Remarkably, the Si I core resembles the classical Ca II K line's self-reversed profile. With nLTE radiative models of H, C, Si and Fe these properties set the penetration depth of flare heating to 100 +/- 100 km, i.e. photospheric layers. Estimates of the non-magnetic energy flux are at least a factor of two less than the sunquake energy flux. Milne-Eddington inversions of the Si I line show that the local magnetic energy changes are also too small to drive the acoustic pulse. Our work raises several questions: Have we "missed" the signature of downward energy propagation? Is it intermittent in time and/or non-local? Does the 1-2 s photospheric radiative damping time discount compressive modes?


title: Crosscut-simplicial Lattices

abstract: We call a lattice crosscut-simplicial if the crosscut complex of every atomic interval is equal to the boundary of a simplex. Every interval of such a lattice is either contractible or homotopy equivalent to a sphere. Recently, Hersh and Meszaros introduced SB-labellings and proved that if a lattice has an SB-labelling then it is crosscut-simplicial. Some known examples of lattices with a natural SB-labelling include the join-distributive lattices, the weak order of a Coxeter group, and the Tamari lattice. Generalizing these three examples, we prove that every meet-semidistributive lattice is crosscut-simplicial, though we do not know whether all such lattices admit an SB-labelling. While not every crosscut-simplicial lattice is meet-semidistributive, we prove that these properties are equivalent for chamber posets of real hyperplane arrangements.


title: Trapped surfaces in vacuum arising dynamically from mild incoming radiation

abstract: In this paper, we study the "minimal requirement" on the incoming radiation that guarantees a trapped surface to form in vacuum. First, we extend the region of existence in Christodoulou's theorem on the formation of trapped surfaces and consequently show that the lower bound required to form a trapped surface can be relaxed. Second, we demonstrate that trapped surfaces form dynamically from a class of initial data which are large merely in a scaling-critical norm. This result is motivated in part by the scaling in Christodoulou's formation of trapped surfaces theorem for the Einstein-scalar field system in spherical symmetry.


title: Odd values of the Klein j-function and the cubic partition function

abstract: In this note, using entirely algebraic or elementary methods, we determine a new asymptotic lower bound for the number of odd values of one of the most important modular functions in number theory, the Klein $j$-function. Namely, we show that the number of integers $n\le x$ such that the Klein $j$-function --- or equivalently, the cubic partition function --- is odd is at least of the order of $$\frac{\sqrt{x} \log \log x}{\log x},$$ for $x$ large. This improves recent results of Berndt-Yee-Zaharescu and Chen-Lin, and approaches significantly the best lower bound currently known for the ordinary partition function, obtained using the theory of modular forms. Unlike many works in this area, our techniques to show the above result, that have in part been inspired by some recent ideas of P. Monsky on quadratic representations, do not involve the use of modular forms. Then, in the second part of the article, we show how to employ modular forms in order to slightly refine our bound. In fact, our brief argument, which combines a recent result of J.-L. Nicolas and J.-P. Serre with a classical theorem of J.-P. Serre on the asymptotics of the Fourier coefficients of certain level 1 modular forms, will more generally apply to provide a lower bound for the number of odd values of any positive power of the generating function of the partition function.


title: Language of physics, language of math: Disciplinary culture and dynamic epistemology

abstract: Mathematics is a critical part of much scientific research. Physics in particular weaves math extensively into its instruction beginning in high school. Despite much research on the learning of both physics and math, the problem of how to effectively include math in physics in a way that reaches most students remains unsolved. In this paper, we suggest that a fundamental issue has received insufficient exploration: the fact that in science, we don't just use math, we make meaning with it in a different way than mathematicians do. In this reflective essay, we explore math as a language and consider the language of math in physics through the lens of cognitive linguistics. We begin by offering a number of examples that show how the use of math in physics differs from the use of math as typically found in math classes. We then explore basic concepts in cognitive semantics to show how humans make meaning with language in general. The critical elements are the roles of embodied cognition and interpretation in context. Then we show how a theoretical framework commonly used in physics education research, resources, is coherent with and extends the ideas of cognitive semantics by connecting embodiment to phenomenological primitives and contextual interpretation to the dynamics of meaning making with conceptual resources, epistemological resources, and affect. We present these ideas with illustrative case studies of students working on physics problems with math and demonstrate the dynamical nature of student reasoning with math in physics. We conclude with some thoughts about the implications for instruction.


title: Impact of Atmospheric Chromatic Effects on Weak Lensing Measurements

abstract: Current and future imaging surveys will measure cosmic shear with statistical precision that demands a deeper understanding of potential systematic biases in galaxy shape measurements than has been achieved to date. We use analytic and computational techniques to study the impact on shape measurements of two atmospheric chromatic effects for ground-based surveys such as the Dark Energy Survey and the Large Synoptic Survey Telescope (LSST): (i) atmospheric differential chromatic refraction and (ii) wavelength dependence of seeing. We investigate the effects of using the point spread function (PSF) measured with stars to determine the shapes of galaxies that have different spectral energy distributions than the stars. We find that both chromatic effects lead to significant biases in galaxy shape measurements for current and future surveys, if not corrected. Using simulated galaxy images, we find a form of chromatic `model bias' that arises when fitting a galaxy image with a model that has been convolved with a stellar, instead of galactic, point spread function. We show that both forms of atmospheric chromatic biases can be predicted (and corrected) with minimal model bias by applying an ordered set of perturbative PSF-level corrections based on machine-learning techniques applied to six-band photometry. Catalog-level corrections do not address the model bias. We conclude that achieving the ultimate precision for weak lensing from current and future ground-based imaging surveys requires a detailed understanding of the wavelength dependence of the PSF from the atmosphere, and from other sources such as optics and sensors. The source code for this analysis is available at https://github.com/DarkEnergyScienceCollaboration/chroma .


title: On an approximate functional equation involving the divisor function

abstract: The error term in the approximate functional equation for exponential sums involving the divisor function will be improved under certain conditions for the parameters of the approximate functional equation.


title: The Enumerative Geometry of Hyperplane Arrangements

abstract: We study enumerative questions on the moduli space $\mathcal{M}(L)$ of hyperplane arrangements with a given intersection lattice $L$. Mn\"ev's universality theorem suggests that these moduli spaces can be arbitrarily complicated; indeed it is even difficult to compute the dimension $D =\dim \mathcal{M}(L)$. Embedding $\mathcal{M}(L)$ in a product of projective spaces, we study the degree $N=\mathrm{deg} \mathcal{M}(L)$, which can be interpreted as the number of arrangements in $\mathcal{M}(L)$ that pass through $D$ points in general position. For generic arrangements $N$ can be computed combinatorially and this number also appears in the study of the Chow variety of zero dimensional cycles. We compute $D$ and $N$ using Schubert calculus in the case where $L$ is the intersection lattice of the arrangement obtained by taking multiple cones over a generic arrangement. We also calculate the characteristic numbers for families of generic arrangements in $\mathbb{P}^2$ with 3 and 4 lines.


title: Concentration Inequalities from Likelihood Ratio Method

abstract: We explore the applications of our previously established likelihood-ratio method for deriving concentration inequalities for a wide variety of univariate and multivariate distributions. New concentration inequalities for various distributions are developed without the idea of minimizing moment generating functions.


title: 2-Vertex Connectivity in Directed Graphs

abstract: We complement our study of 2-connectivity in directed graphs, by considering the computation of the following 2-vertex-connectivity relations: We say that two vertices v and w are 2-vertex-connected if there are two internally vertex-disjoint paths from v to w and two internally vertex-disjoint paths from w to v. We also say that v and w are vertex-resilient if the removal of any vertex different from v and w leaves v and w in the same strongly connected component. We show how to compute the above relations in linear time so that we can report in constant time if two vertices are 2-vertex-connected or if they are vertex-resilient. We also show how to compute in linear time a sparse certificate for these relations, i.e., a subgraph of the input graph that has O(n) edges and maintains the same 2-vertex-connectivity and vertex-resilience relations as the input graph, where n is the number of vertices.


title: Estimating the number of Reeb chords using a linear representation of the characteristic algebra

abstract: Given a chord-generic horizontally displaceable Legendrian submanifold $\Lambda\subset P\times \mathbb R$ with the property that its characteristic algebra admits a finite-dimensional matrix representation, we prove an Arnold-type lower bound for the number of Reeb chords on $\Lambda$. This result is a generalization of the results of Ekholm-Etnyre-Sullivan and Ekholm-Etnyre-Sabloff which hold for Legendrian submanifolds whose Chekanov-Eliashberg algebras admit augmentations. We also provide examples of Legendrian submanifolds $\Lambda$ of $\mathbb C^{n}\times \mathbb R$, $n \ge 1$, whose characteristic algebras admit finite-dimensional matrix representations, but whose Chekanov-Eliashberg algebras do not admit augmentations. In addition, to show the limits of the method of proof for the bound, we construct a Legendrian submanifold $\Lambda\subset \mathbb C^{n}\times \mathbb R$ with the property that the characteristic algebra of $\Lambda$ does not satisfy the rank property. Finally, in the case when a Legendrian submanifold $\Lambda$ has a non-acyclic Chekanov-Eliashberg algebra, using rather elementary algebraic techniques we obtain lower bounds for the number of Reeb chords of $\Lambda$. These bounds are slightly better than the number of Reeb chords that is possible to achieve with a Legendrian submanifold whose Chekanov-Eliashberg algebra is acyclic.


title: Mobile Impurities and Orthogonality Catastrophe in two-dimensional Vortex Lattices

abstract: We investigate the properties of a neutral impurity atom coupled with the Tkachenko modes of a two-dimensional vortex lattice Bose-Einstein condensate. In contrast with polarons in homogeneous condensates, the marginal impurity-boson interaction in the vortex lattice leads to infrared singularities in perturbation theory and to the breakdown of the quasiparticle picture in the low energy limit. These infrared singularities are interpreted in terms of a renormalization of the coupling constant, quasiparticle weight and effective impurity mass. The divergence of the effective mass in the low energy limit gives rise to an orthogonality catastrophe which is manifested as a power law singularity in the impurity spectral function.


title: An identity connecting theta series associated with binary quadratic forms of discriminant $\Delta$ and $\Delta($prime$)^2$

abstract: We state and prove an identity which connects theta series associated with binary quadratic forms of idoneal discriminants $\Delta$ and $\Delta p^2$, for $p$ a prime. Employing this identity, we extend the results of Toh by writing the theta series of forms of discriminant $\Delta p^2$ as a linear combination of Lambert series. We then use these Lambert series decompositions to give explicit representation formulas for the forms of discriminant $\Delta p^2$. Lastly, we give a generalization of our main identity, which employs a map of Buell to connect forms of discriminant $\Delta$ to $\Delta p^2$. Our generalized identity links theta series associated with a single form of discriminant $\Delta$ to a theta series associated with forms of discriminant $\Delta p^2$, where $\Delta$ and $\Delta p^2$ are no longer required to be idoneal.


title: Roaming charges for customers of cellular-wireless entrant and incumbent providers

abstract: We consider a simple two-player game involving a large incumbent and small entrant into a cellular wireless access provider marketplace. The entrant's customers must pay roaming charges. We assume that the roaming charges are regulated, because if they are dictated by the incumbent then they could be set so high so as to be a barrier to entry in the marketplace. The game is studied at its Nash equilibrium. A roaming charge is identified that is arguably fair in the sense that revenues for the access providers are proportionate to their infrastructure costs.


title: Structures of not-finitely graded Lie algebras related to generalized Heisenberg-Virasoro algebras

abstract: In this paper, we study the structure theory of a class of not-finitely graded Lie algebras related to generalized Heisenberg-Virasoro algebras. In particular, the derivation algebras, the automorphism groups and the second cohomology groups of these Lie algebras are determined.


title: Energy Dependent Time Delays of kHz Oscillations due to Thermal Comptonization

abstract: We study the energy dependent photon variability from a thermal Comptonizing plasma that is oscillating at kHz frequencies. In particular, we solve the linearised time dependent Kompaneets equation and consider the oscillatory perturbation to be either in the soft photon source or in the heating rate of the plasma. For each case, we self consistently consider the energy balance of the plasma and the soft photon source. The model incorporates the possibility of a fraction of the Comptonized photons impinging back into the soft photon source. We find that when the oscillation is due to the soft photon source, the variation of the fractional root mean sqaure (r.m.s) is nearly constant with energy and the time-lags are hard. However, for the case when the oscillation is due to variation in the heating rate of the corona, and when a significant fraction of the photons impinge back into the soft photon source, the r.m.s increases with energy and the time lags are soft. As an example, we compare the results with the $\sim 850$ Hz oscillation observed on March 3, 1996 for 4U 1608-52 and show that both the observed soft time-lags as well as the r.m.s versus energy can be well described by such a model where the size of the Comptonizing plasma is $\sim 1$ km. Thus, modelling of the time lags as due to Comptonization delays, can provide tight constraints on the size and geometry of the system. Detailed analysis would require well constrained spectral parameters.


title: The second eigenvalue of the fractional $p-$Laplacian

abstract: We consider the eigenvalue problem for the {\it fractional $p-$Laplacian} in an open bounded, possibly disconnected set $\Omega \subset \mathbb{R}^n$, under homogeneous Dirichlet boundary conditions. After discussing some regularity issues for eigenfuctions, we show that the second eigenvalue $\lambda_2(\Omega)$ is well-defined, and we characterize it by means of several equivalent variational formulations. In particular, we extend the mountain pass characterization of Cuesta, De Figueiredo and Gossez to the nonlocal and nonlinear setting. Finally, we consider the minimization problem \[ \inf \{\lambda_2(\Omega)\,:\,|\Omega|=c\}. \] We prove that, differently from the local case, an optimal shape does not exist, even among disconnected sets. A minimizing sequence is given by the union of two disjoint balls of volume $c/2$ whose mutual distance tends to infinity.


title: Donor Spin Qubits in Ge-based Phononic Crystals

abstract: We propose qubits based on shallow donor electron spins in germanium. Spin-orbit interaction for donor spins in germanium is in many orders of magnitude stronger than in silicon. In a uniform bulk material it leads to very short spin lifetimes. However the lifetime increases dramatically when the donor is placed into a quasi-2D phononic crystal and the energy of the Zeeman splitting is tuned to lie within a phonon bandgap. In this situation single phonon processes are suppressed by energy conservation. The remaining two-phonon decay channel is very slow. The Zeeman splitting within the gap can be fine tuned to induce a strong, long-range coupling between the spins of remote donors via exchange by virtual phonons. This, in turn, opens a very efficient way to manipulate the quits. We explore various geometries of phononic crystals in order to maximize the coherent qubit-qubit coupling while keeping the decay rate minimal. We find that phononic crystals with unit cell sizes of 100-150 nm are viable candidates for quantum computing applications and suggest several spin-resonance experiments to verify our theoretical predictions.


title: A virtual fundamental class construction for the moduli space of torus equivariant morphisms

abstract: Let X be a smooth projective variety with the action of the n dimensional torus. The article describes the moduli space of torus equivariant morphisms from stable toric varieties into X as the inverse limit of the GIT quotients of X and their flips when these spaces are enhanced with a naturally associated Deligne-Mumford stack structure. This description is used for constructing a class in the Chow group of the moduli space of dimension dim(X)-n which is invariant to equivariant deformations of X.


title: On tensor rank of conditional probability tables in Bayesian networks

abstract: A difficult task in modeling with Bayesian networks is the elicitation of numerical parameters of Bayesian networks. A large number of parameters is needed to specify a conditional probability table (CPT) that has a larger parent set. In this paper we show that, most CPTs from real applications of Bayesian networks can actually be very well approximated by tables that require substantially less parameters. This observation has practical consequence not only for model elicitation but also for efficient probabilistic reasoning with these networks.


title: Enabling Incremental Query Re-Optimization

abstract: As declarative query processing techniques expand in scope --- to the Web, data streams, network routers, and cloud platforms --- there is an increasing need for adaptive query processing techniques that can re-plan in the presence of failures or unanticipated performance changes. A status update on the data distributions or the compute nodes may have significant repercussions on the choice of which query plan should be running. Ideally, new system architectures would be able to make cost-based decisions about reallocating work, migrating data, etc., and react quickly as real-time status information becomes available. Existing cost-based query optimizers are not incremental in nature, and must be run "from scratch" upon each status or cost update. Hence, they generally result in adaptive schemes that can only react slowly to updates. An open question has been whether it is possible to build a cost-based re-optimization architecture for adaptive query processing in a streaming or repeated query execution environment, e.g., by incrementally updating optimizer state given new cost information. We show that this can be achieved beneficially, especially for stream processing workloads. Our techniques build upon the recently proposed approach of formulating query plan enumeration as a set of recursive datalog queries; we develop a variety of novel optimization approaches to ensure effective pruning in both static and incremental cases. We implement our solution within an existing research query processing system, and show that it effectively supports cost-based initial optimization as well as frequent adaptivity.


title: Functional calculus and joint torsion of pairs of almost commuting operators

abstract: This paper investigates the transformation of determinants of pairs of Fredholm operators with trace class commutators. We study the extent to which the functional calculus commutes, modulo operator ideals, with projections in a finitely summable Fredholm module. As an application, we recover in particular some results of R. Carey and J. Pincus on determinants and Tate tame symbols. Additionally, we obtain variational formulas for joint torsion.


title: Fleeting Critical Review of the Recent Ontic Breakthrough in Quantum Mechanics

abstract: The ontic breakthrough in quantum foundations, consisting of three theo- rems, that of Pusey, Barrett, and Rudolph (PBR), the Colbeck-Renner one, and Hardy's one, is shortly presented, together with various reactions. Some of the ideas involved are explained and/or commented upon. Thus, the wave- function is proved real in three independent ways. Each of the theorems rests on more or less plausible assumptions, but they require more in-depth anal- yses.


title: Surface-to-bulk scattering in topological insulator films

abstract: We present a quantitative microscopic theory of the disorder- and phonon-induced coupling between surface and bulk states in topological insulator (TI) films. We find a simple structure for the surface-to-bulk scattering matrix elements and confirm the importance of bulk-surface coupling in transport and photoemission experiments, assessing its dependence on temperature, carrier density, film thickness and particle-hole asymmetry.


title: Directly accessible entangling gates for capacitively coupled singlet-triplet qubits

abstract: The recent experimental advances in capacitively coupled singlet-triplet qubits, particularly the demonstration of entanglement, opens the question of what type of entangling gates the system's Hamiltonian can produce directly via a single square pulse. We address this question by considering the system's Hamiltonian from first principles and using the representation of its nonlocal properties in terms of local invariants. In the analysis we include the three different ways in which the system can be biased and their effect on the generation of entangling gates. We find that, in one of the possible biasing modes, the Hamiltonian has an especially simple form, which can directly generate a wide range of different entangling gates including the iSWAP gate. Moreover, using the complete form of the Hamiltonian we find that, for any biasing mode, a CNOT gate can be generated directly.


title: The Immediate Environments of Two Herbig Be Stars: MWC 1080 and HD 259431

abstract: Deep mid-infrared (10-20 $\mu$m) images with sub-arcsec resolution were obtained for two Herbig Be stars, MWC 1080 and HD 259431, to probe their immediate environments. Our goal is to understand the origin of the diffuse nebulosities observed around these two very young objects. By analyzing our new mid-IR images and comparing them to published data at other wavelengths, we demonstrate that the well extended emission around MWC 1080 traces neither a disk nor an envelope, but rather the surfaces of a cavity created by the outflow from MWC 1080A, the primary star of the MWC 1080 system. In the N-band images, the filamentary nebulosities trace the hourglass-shaped gas cavity wall out to $\sim$0.15 pc. This scenario reconciles the properties of the MWC 1080 system revealed by a wide range of observations. Our finding confirms that the environment around MWC 1080, where a small cluster is forming, is strongly affected by the outflow from the central Herbig Be star. Similarities observed between the two subjects of this study suggest that the filamentary emission around HD 259431 may arise from a similar outflow cavity structure, too.


title: Separate Universe Simulations

abstract: The large-scale statistics of observables such as the galaxy density are chiefly determined by their dependence on the local coarse-grained matter density. This dependence can be measured directly and efficiently in N-body simulations by using the fact that a uniform density perturbation with respect to some fiducial background cosmology is equivalent to modifying the background and including curvature, i.e., by simulating a "separate universe". We derive this mapping to fully non-linear order, and provide a step-by-step description of how to perform and analyse the separate universe simulations. This technique can be applied to a wide range of observables. As an example, we calculate the response of the non-linear matter power spectrum to long-wavelength density perturbations, which corresponds to the angle-averaged squeezed limit of the matter bispectrum and higher $n$-point functions. Using only a modest simulation volume, we obtain results with percent-level precision over a wide range of scales.


title: Some Trace Inequalities for Operators in Hilbert Spaces

abstract: Some new trace inequalities for operators in Hilbert spaces are provided. The superadditivity and monotonicity of some associated functionals are investigated and applications for power series of such operators are given. Some trace inequalities for matrices are also derived. Examples for the operator exponential and other similar functions are presented as well.