title: The Super Period Matrix with Ramond Punctures in the supergravity formulation

abstract: In a very recent preprint, Witten showed how to construct a $g|r \, \times \, g|r$ super period matrix for super Riemann surfaces of genus $g$ with $2r$ Ramond punctures, which is symmetric in the ${\bf Z}_2$ graded sense. He also showed how it can be applied to analyze supersymmetry breaking in string compactifications which are supersymmetric at tree-level. Witten's construction is in the purely holomorphic formulation of super Riemann surfaces. In this paper, a construction is given in the formulation of two-dimensional supergravity. The variations of the super period matrix with respect to supermoduli deformations are also given, as well as an explicit illustration of how the super period matrix with two Ramond punctures would emerge from a degeneration of the super period matrix without punctures in higher genus.


title: Diffusive Propagation of Exciton-Polaritons through Thin Crystal Slabs

abstract: Comparative studies of the resonant transmission of light in the vicinity of exciton resonances, measured for 15 few-micron GaAs crystal slabs with different impurity concentrations $N$, reveal an unexpected tendency. While $N$ spans almost five decimal orders of magnitude, the normalized spectrally-integrated absorption of light scales with the impurity concentration as $N^{1/6}$. We show analytically that this dependence is a signature of the diffusive mechanism of propagation of exciton-polaritons in the semiconductor.


title: Nonlinear spin diffusion and spin rotation in a trapped Fermi gas

abstract: Transverse spin diffusion in a polarized, interacting Fermi gas leads to the Leggett-Rice effect, where the spin current precesses around the local magnetization. With a spin-echo sequence both the transverse diffusivity and the spin-rotation parameter $\gamma$ are obtained; the sign of $\gamma$ reveals the repulsive or attractive character of the effective interaction. In a trapped Fermi gas the spin diffusion equations become nonlinear, and their numerical solution exhibits an inhomogeneous spin state even at the spin echo time. While the microscopic diffusivity and $\gamma$ increase at weak coupling, their apparent values inferred from the trap-averaged magnetization saturate in agreement with a recent experiment for a dilute ultracold Fermi gas.


title: Reconstructing thawing quintessence with multiple datasets

abstract: In this work we model the quintessence potential in a Taylor series expansion, up to second order, around the present-day value of the scalar field. The field is evolved in a thawing regime assuming zero initial velocity. We use the latest data from the Planck satellite, baryonic acoustic oscillations observations from the Sloan Digital Sky Survey, and Supernovae luminosity distance information from Union2.1 to constrain our models parameters, and also include perturbation growth data from the WiggleZ, BOSS and the 6dF surveys. The supernova data provide the strongest individual constraint on the potential parameters. We show that the growth data performance is competitive with the other datasets in constraining the dark energy parameters we introduce. We also conclude that the combined constraints we obtain for our model parameters, when compared to previous works of nearly a decade ago, have shown only modest improvement, even with new growth of structure data added to previously-existent types of data.


title: On the Formation of Ultraluminous X-ray Sources with Neutron Star Accretors: the Case of M82 X-2

abstract: The recent discovery of a neutron star accretor in the ultra-luminous X-ray source M82 X-2 challenges our understanding of high-mass X-ray binary formation and evolution. By combining binary population synthesis and detailed mass-transfer models, however, we show that the binary parameters of M82 X-2 are not surprising provided non-conservative mass transfer is allowed. Specifically, the donor-mass lower limit and orbital period measured for M82 X-2 lie near the most probable values predicted by population synthesis models, and systems such as M82 X-2 should exist in approximately 13% of the galaxies with a star-formation history similar to M82. We conclude that the binary system that formed M82 X-2 is most likely less than 50 Myr old and contains a donor star which had an initial mass of approximately 8-10 M$_\odot$, while the NS's progenitor star had an initial mass in the $8-25\,\rm M_{\odot}$ range. The donor star still currently resides on the main sequence, and is capable of continued MT on the thermal timescale, while in the ultra-luminous X-ray regime, for as long as 400,000 years.


title: Recursive generation of IPR fullerenes

abstract: We describe a new construction algorithm for the recursive generation of all non-isomorphic IPR fullerenes. Unlike previous algorithms, the new algorithm stays entirely within the class of IPR fullerenes, that is: every IPR fullerene is constructed by expanding a smaller IPR fullerene unless it belongs to limited class of irreducible IPR fullerenes that can easily be made separately. The class of irreducible IPR fullerenes consists of 36 fullerenes with up to 112 vertices and 4 infinite families of nanotube fullerenes. Our implementation of this algorithm is faster than other generators for IPR fullerenes and we used it to compute all IPR fullerenes up to 400 vertices.


title: Holographic Inflation and the Low Entropy of the Early Universe

abstract: This is a completely rewritten version of the talk I gave at the Philosophy of Cosmology conference in Tenerife, September 2014, which incorporates elements of my IFT Madrid Anthropics Conference talk. The original was too technical. The current version uses intuitive notions from black hole physics to explain the model of inflationary cosmology based on the Holographic Space Time formalism. The reason that the initial state of the universe had low entropy is that more generic states have no localized excitations, since in HST, localized excitations are defined by constraints on the fundamental variables. The only way to obtain a radiation dominated era, is for each time-like geodesic to see an almost uniform gas of small black holes as its horizon expands, such that the holes evaporate into radiation before they collide and coalesce. Comparing the time slicing that follows causal diamonds along a trajectory, with the global FRW slicing, one sees that systems outside the horizon had to undergo inflation, with a number of e-folds fixed by the present and inflationary cosmological constants, and the black hole number density on FRW slices just after inflation ends. These parameters also determine the size of scalar and tensor metric perturbations and the reheat temperature of the universe. I sketch a class of explicit finite quantum mechanical models of cosmology, which have these properties. Physicists interested in the details of those models should consult a recent paper\cite{holoinflation3}.


title: The split property for locally covariant quantum field theories in curved spacetime

abstract: The split property expresses the way in which local regions of spacetime define subsystems of a quantum field theory. It is known to hold for general theories in Minkowski space under the hypothesis of nuclearity. Here, the split property is discussed for general locally covariant quantum field theories in arbitrary globally hyperbolic curved spacetimes, using a spacetime deformation argument to transport the split property from one spacetime to another. It is also shown how states obeying both the split and (partial) Reeh-Schlieder properties can be constructed, providing standard split inclusions of certain local von Neumann algebras. Sufficient conditions are given for the theory to admit such states in ultrastatic spacetimes, from which the general case follows. A number of consequences are described, including the existence of local generators for global gauge transformations, and the classification of certain local von Neumann algebras. Similar arguments are applied to the distal split property and circumstances are exhibited under which distal splitting implies the full split property.


title: Lazy TSO Reachability

abstract: We address the problem of checking state reachability for programs running under Total Store Order (TSO). The problem has been shown to be decidable but the cost is prohibitive, namely non-primitive recursive. We propose here to give up completeness. Our contribution is a new algorithm for TSO reachability: it uses the standard SC semantics and introduces the TSO semantics lazily and only where needed. At the heart of our algorithm is an iterative refinement of the program of interest. If the program's goal state is SC-reachable, we are done. If the goal state is not SC-reachable, this may be due to the fact that SC under-approximates TSO. We employ a second algorithm that determines TSO computations which are infeasible under SC, and hence likely to lead to new states. We enrich the program to emulate, under SC, these TSO computations. Altogether, this yields an iterative under-approximation that we prove sound and complete for bug hunting, i.e., a semi-decision procedure halting for positive cases of reachability. We have implemented the procedure as an extension to the tool Trencher and compared it to the Memorax and CBMC model checkers.


title: A Second Order TV-type Approach for Inpainting and Denoising Higher Dimensional Combined Cyclic and Vector Space Data

abstract: In this paper we consider denoising and inpainting problems for higher dimensional combined cyclic and linear space valued data. These kind of data appear when dealing with nonlinear color spaces such as HSV, and they can be obtained by changing the space domain of, e.g., an optical flow field to polar coordinates. For such nonlinear data spaces, we develop algorithms for the solution of the corresponding second order total variation (TV) type problems for denoising, inpainting as well as the combination of both. We provide a convergence analysis and we apply the algorithms to concrete problems.


title: Field of view advantage of conjugate adaptive optics in microscopy applications

abstract: The imaging performance of an optical microscope can be degraded by sample-induced aberrations. A general strategy to undo the effect of these aberrations is to apply wavefront correction with a deformable mirror (DM). In most cases, the DM is placed conjugate to the microscope pupil, called pupil adaptive optics (AO). When the aberrations are spatially variant, an alternative configuration involves placing the DM conjugate to the main source of aberrations, called conjugate AO. We provide theoretical and experimental comparison of both configurations for the simplified case where spatially variant aberrations are produced by a well defined phase screen. We pay particular attention to the resulting correction field of view (FOV). Conjugate AO is found to provide a significant FOV advantage. While this result is well known in the astronomy community, our goal here is to recast it specifically for the optical microscopy community.


title: Watermarking PDF Documents using Various Representations of Self-inverting Permutations

abstract: This work provides to web users copyright protection of their Portable Document Format (PDF) documents by proposing efficient and easily implementable techniques for PDF watermarking; our techniques are based on the ideas of our recently proposed watermarking techniques for software, image, and audio, expanding thus the digital objects that can be efficiently watermarked through the use of self-inverting permutations. In particular, we present various representations of a self-inverting permutation $\pi^*$ namely 1D-representation, 2D-representation, and RPG-representation, and show that theses representations can be efficiently applied to PDF watermarking. Indeed, we first present an audio-based technique for marking a PDF document $T$ by exploiting the 1D-representation of a permutation $\pi^*$, and then, since pages of a PDF document $T$ are 2D objects, we present an image-based algorithm for encoding $\pi^*$ into $T$ by first mapping the elements of $\pi^*$ into a matrix $A^*$ and then using the information stored in $A^*$ to mark invisibly specific areas of PDF document $T$. Finally, we describe a graph-based watermarking algorithm for embedding a self-inverting permutation $\pi^*$ into the document structure of a PDF file $T$ by exploiting the RPG-representation of $\pi^*$ and the structure of a PDF document. We have evaluated the embedding and extracting algorithms by testing them on various and different in characteristics PDF documents.


title: Locally conformally symplectic structures on compact non-K\"ahler complex surfaces

abstract: We prove that every compact complex surface with odd first Betti number admits a locally conformally symplectic $2$-form which tames the underlying almost complex structure.


title: Automatic continuity for homeomorphism groups and applications

abstract: Let M be a compact manifold, possibly with boundary. We show that the group of homeomorphisms of M has the automatic continuity property: any homomorphism from Homeo(M) to any separable group is necessarily continuous. This answers a question of C. Rosendal. If N is a submanifold of M, the group of homeomorphisms of M that preserve N also has this property. Various applications of automatic continuity are discussed, including applications to the topology and structure of groups of germs of homeomorphisms. In an appendix with Frederic Le Roux we also show, using related techniques, that the group of germs at a point of homeomorphisms of Rn is strongly uniformly simple.


title: Standing Slow MHD Waves in Radiatively Cooling Coronal Loops

abstract: The standing slow magneto-acoustic oscillations in cooling coronal loops are investigated. There are two damping mechanisms which are considered to generate the standing acoustic modes in coronal magnetic loops namely thermal conduction and radiation. The background temperature is assumed to change temporally due to optically thin radiation. In particular, the background plasma is assumed to be radiatively cooling. The effects of cooling on longitudinal slow MHD modes is analytically evaluated by choosing a simple form of radiative function that ensures the temperature evolution of the background plasma due to radiation coincides with the observed cooling profile of coronal loops. The assumption of low-beta plasma leads to neglect the magnetic field perturbation and eventually reduces the MHD equations to a 1D system modelling longitudinal MHD oscillations in a cooling coronal loop. The cooling is assumed to occur on a characteristic time scale much larger than the oscillation period that subsequently enables using the WKB theory to study the properties of standing wave. The governing equation describing the time-dependent amplitude of waves is obtained and solved analytically. The analytically derived solutions are numerically evaluated to give further insight into the evolution of the standing acoustic waves. We find that the plasma cooling gives rise to a decrease in the amplitude of oscillations. In spite of the reduction in damping rate caused by rising the cooling, the damping scenario of slow standing MHD waves strongly increases in hot coronal loops.


title: Angular Size-Redshift: Experiment and Calculation

abstract: In this paper the next attempt is made to clarify the nature of the Euclidean behavior of the boundary in the angular size-redshift cosmological test. It is shown experimentally that this can be explained by the selection determined by anisotropic morphology and anisotropic radiation of extended radio sources. A catalogue of extended radio sources with minimal flux densities of about 0.01 Jy at 1.4 GHz was compiled for conducting the test. Without the assumption of their size evolution, the agreement between the experiment and calculation was obtained both in the Lambda CDM model (Omega_m=0.27 , Omega_v=0.73.) and the Friedman model (Omega = 0.1 ).


title: Bell Inequality and Many-Worlds Interpretation

abstract: It is argued that the lesson we should learn from Bell's inequalities is not that quantum mechanics requires some kind of action at a distance, but that it leads us to believe in parallel worlds.


title: Factorization of a class of matrix-functions with stable partial indices

abstract: A new effective method for factorization of a class of nonrational $n\times n$ matrix-functions with \emph{stable partial indices} is proposed. The method is a generalization of the one recently proposed by the authors which was valid for the canonical factorization only. The class of considered matrices is motivated by problems originated from applications. The properties and details of the asymptotic procedure are illustrated by examples. The efficiency of the procedure is highlighted by numerical results.


title: Control of chaos in the vicinity of the Earth--Moon L5 Lagrangian point to keep a spacecraft in orbit

abstract: The concept of Space Manifold Dynamics is a new method of space research. We have applied it along with the basic idea of the method of Ott, Grebogi and York (OGY method) to stabilize the motion of a spacecraft around the triangular Lagrange point L5 of the Earth--Moon system. We have determined the escape rate of the trajectories in the general three- and four-body problem and estimated the average lifetime of the particles. Integrating the two models we mapped in detail the phase space around the L5 point of the Earth--Moon system. Using the phase space portrait our next goal was to apply a modified OGY method to keep a spacecraft close to the vicinity of L5. We modified the equation of motions with the addition of a time dependent force to the motion of the spacecraft. In our orbit--keeping procedure there are three free parameters: (i) the magnitude of the thrust, (ii) the start time and (iii) the length of the control. Based on our numerical experiments we were able to determine possible values for these parameters and successfully apply a control phase to a spacecraft to keep it on orbit around L5.


title: A note on stability shifting for the Muskat problem

abstract: In this note, we show that there exist solutions of the Muskat problem that shift stability regimes: they start unstable, then become stable, and finally return to the unstable regime. We also exhibit numerical evidence of solutions with medium-sized $L^{\infty}$ norm of the derivative of the initial condition that develop a turning singularity.


title: The stripping process can be slow: part I

abstract: Given an integer k, we consider the parallel k-stripping process applied to a hypergraph H: removing all vertices with degree less than k in each iteration until reaching the k-core of H. Take H as H_r(n,m): a random r-uniform hypergraph on n vertices and m hyperedges with the uniform distribution. Fixing k,r\ge 2 with (k,r)\neq (2,2), it has previously been proved that there is a constant c_{r,k} such that for all m=cn with constant c\neq c_{r,k}, with high probability, the parallel k-stripping process takes O(\log n) iterations. In this paper we investigate the critical case when c=c_{r,k}+o(1). We show that the number of iterations that the process takes can go up to some power of n, as long as c approaches c_{r,k} sufficiently fast. A second result we show involves the depth of a non-k-core vertex v: the minimum number of steps required to delete v from H_r(n,m) where in each step one vertex with degree less than k is removed. We will prove lower and upper bounds on the maximum depth over all non-k-core vertices.


title: Dynamics of suspensions of hydrodynamically structured particles: Analytic theory and experiment

abstract: We present an easy-to-use analytic toolbox for the calculation of short-time transport properties of concentrated suspensions of spherical colloidal particles with internal hydrodynamic structure, and direct interactions described by a hard-core or soft Hertz pair potential. The considered dynamic properties include self-diffusion and sedimentation coefficients, the wavenumber-dependent diffusion function determined in dynamic scattering experiments, and the high-frequency shear viscosity. The toolbox is based on the hydrodynamic radius model (HRM) wherein the internal particle structure is mapped on a hydrodynamic radius parameter for unchanged direct interactions, and on an existing simulation data base for solvent-permeable and spherical annulus particles. Useful scaling relations for the diffusion function and self-diffusion coefficient, known to be valid for hard-core interaction, are shown to apply also for soft pair potentials. We further discuss extensions of the toolbox to long-time transport properties including the low-shear zero-frequency viscosity and the long-time self-diffusion coefficient. The versatility of the toolbox is demonstrated by the analysis of a previous light scattering study of suspensions of non-ionic PNiPAM microgels [Eckert et al., J. Chem. Phys., 2008, 129, 124902] in which a detailed theoretical analysis of the dynamic data was left as an open task. By the comparison with Hertz potential based calculations, we show that the experimental data are consistently and accurately described using the Verlet-Weis corrected Percus-Yevick structure factor as input, and for a solvent penetration length equal to three percent of the excluded volume radius. This small solvent permeability of the microgel particles has a significant dynamic effect at larger concentrations.


title: On the correction of conserved variables for numerical RMHD with staggered constrained transport

abstract: Despite the success of the combination of conservative schemes and staggered constrained transport algorithms in the last fifteen years, the accurate description of highly magnetized, relativistic flows with strong shocks represents still a challenge in numerical RMHD. The present paper focusses in the accuracy and robustness of several correction algorithms for the conserved variables, which has become a crucial ingredient in the numerical simulation of problems where the magnetic pressure dominates over the thermal pressure by more than two orders of magnitude. Two versions of non-relativistic and fully relativistic corrections have been tested and compared using a magnetized cylindrical explosion with high magnetization ($ \ge 10^4$) as test. In the non-relativistic corrections, the total energy is corrected for the difference in the classical magnetic energy term between the average of the staggered fields and the conservative ones, before (CA1) and after (CA1') recovering the primitive variables. These corrections are unable to pass the test at any numerical resolution. The two relativistic approaches (CA2 and CA2'), correcting also the magnetic terms depending on the flow speed in both the momentum and the total energy, reveal as much more robust. These algorithms pass the test succesfully and with very small deviations of the energy conservation ($\le 10^{-4}$), and very low values of the total momentum ($\le 10^{-8}$). In particular, the algorithm CA2' (that corrects the conserved variables after recovering the primitive variables) passes the test at all resolutions. The numerical code used to run all the test cases is briefly described.


title: Solar surface rotation: N-S asymmetry and recent speed-up

abstract: Context. The relation between solar surface rotation and sunspot activity still remains open. Sunspot activity has dramatically reduced in solar cycle 24 and several solar activity indices and flux measurements experienced unprecedentedly low levels during the last solar minimum. Aims. We aim to reveal the momentary variation of solar surface rotation, especially during the recent years of reducing solar activity. Methods. We used a dynamic, differentially rotating reference system to determine the best-fit annual values of the differential rotation parameters of active longitudes of solar X-ray flares and sunspots in 1977-2012. Results. The evolution of rotation of solar active longitudes obtained with X-ray flares and with sunspots is very similar. Both hemispheres speed up since the late 1990s, with the southern hemisphere rotating slightly faster than the north. Earlier, in 1980s, rotation in the northern hemisphere was considerably faster, but experienced a major decrease in the early 1990s. On the other hand, little change was found in the southern rotation during these decades. This led to a positive asymmetry in north-south rotation rate in the early part of the time interval studied. Conclusions. The rotation of both hemispheres has been speeding up at roughly the same rate since late 1990s, with the southern hemisphere rotating slightly faster than the north. This period coincides with the start of dramatic weakening of solar activity, as observed in sunspots and several other solar, interplanetary and geomagnetic parameters.


title: Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic -- Extended Version --

abstract: Dynamically typed object-oriented languages enable programmers to write elegant, reusable and extensible programs. However, with the current methodology for program verification, the absence of static type information creates significant overhead. Our proposal is two-fold: First, we propose a layer of abstraction hiding the complexity of dynamic typing when provided with sufficient type information. Since this essentially creates the illusion of verifying a statically-typed program, the effort required is equivalent to the statically-typed case. Second, we show how the required type information can be efficiently derived for all type-safe programs by integrating a type inference algorithm into Hoare logic, yielding a semi-automatic procedure allowing the user to focus on those typing problems really requiring his attention. While applying type inference to dynamically typed programs is a well-established method by now, our approach complements conventional soft typing systems by offering formal proof as a third option besides modifying the program (static typing) and accepting the presence of runtime type errors (dynamic typing).


title: An asymptotic formula for the zeros of the deformed exponential function

abstract: We study the asymptotic representation for the zeros of the deformed exponential function $\sum\nolimits_{n = 0}^\infty {\frac1{n!}{q^{n(n - 1)/2}{x^n}}} $, $q\in (0,1)$. Indeed, we obtain an asymptotic formula for these zeros: \[x_n=- nq^{1-n}(1 + g(q)n^{-2}+o(n^{-2})),n\ge1,\] where $g(q)=\sum\nolimits_{k = 1}^\infty {\sigma (k){q^k}}$ is the generating function of the sum-of-divisors function $\sigma(k)$. This improves earlier results by Langley and Liu. The proof of this formula is reduced to estimating the sum of an alternating series, where the Jacobi's triple product identity plays a key role.


title: Beta decay of 252Cf on the way to scission from the exit point

abstract: Upon increasing significantly the nuclear elongation, the beta-decay energy grows. This paper investigates within a simple yet partly microscopic approach, the transition rate of the beta decay of the 252Cf nucleus on the way to scission from the exit point for a spontaneous fission process. A rather crude classical approximation is made for the corresponding damped collective motion assumed to be one dimensional. Given these assumptions, we only aim in this paper at providing the order of magnitudes of such a phenomenon. At each deformation the energy available for beta decay, is determined from such a dynamical treatment. Then, for a given elongation, transition rates for the allowed (Fermi) beta decay are calculated from pair correlated wave functions obtained within a macroscopic-microscopic approach and then integrated over the time corresponding to the whole descent from exit to scission. The results are presented as a function of the damping factor (inverse of the characteristic damping time) in use in our classical dynamical approach. For instance, in the case of a descent time from the exit to the scission points of about $10^{- 20}$ second, one finds a total rate of beta decay corresponding roughly to 20 events per year and per milligram of 252Cf. The inclusion of pairing correlations does not affect much these results.


title: Max-Cost Discrete Function Evaluation Problem under a Budget

abstract: We propose novel methods for max-cost Discrete Function Evaluation Problem (DFEP) under budget constraints. We are motivated by applications such as clinical diagnosis where a patient is subjected to a sequence of (possibly expensive) tests before a decision is made. Our goal is to develop strategies for minimizing max-costs. The problem is known to be NP hard and greedy methods based on specialized impurity functions have been proposed. We develop a broad class of \emph{admissible} impurity functions that admit monomials, classes of polynomials, and hinge-loss functions that allow for flexible impurity design with provably optimal approximation bounds. This flexibility is important for datasets when max-cost can be overly sensitive to "outliers." Outliers bias max-cost to a few examples that require a large number of tests for classification. We design admissible functions that allow for accuracy-cost trade-off and result in $O(\log n)$ guarantees of the optimal cost among trees with corresponding classification accuracy levels.


title: Compactness of minimal hypersurfaces with bounded index

abstract: We prove a compactness result for minimal hypersurfaces with bounded index and volume, which can be thought of as an extension of the compactness theorem of Choi-Schoen (Invent. Math. 1985) to higher dimensions.


title: Electron polarization function and plasmons in metallic armchair graphene nanoribbons

abstract: We calculate the polarization function of Dirac fermions in metallic armchair graphene nanoribbons for an arbitrary temperature and doping. We find that at finite temperatures due to the phase space redistribution among inter-band and intra-band electronic transitions in the conduction and valence bands, the full polarization function becomes independent of the temperature and the position of the chemical potential. As a result, for a given width of nanoribbons there exists a single plasmon mode, with the energy dispersion determined by the graphene's fine structure constant. In Coulomb-coupled nanoribbons, this plasmon splits into the basic in-phase and out-of-phase plasmon modes, with the splitting energy determined additionally by the inter-ribbon spacing.


title: Coronal-Line Forest AGN: the best view of the inner edge of the AGN torus?

abstract: We introduce Coronal-Line Forest Active Galactic Nuclei (CLiF AGN), AGN which have a rich spectrum of forbidden high-ionization lines (FHILs, e.g. [FeVII], [FeX] and [NeV]), as well as relatively strong narrow ($\sim$300 km s$^{-1}$) H$\alpha$ emission when compared to the other Balmer transition lines. We find that the kinematics of the CLiF emitting region are similar to those of the forbidden low-ionization emission-line (FLIL) region. We compare emission line strengths of both FHILs and FLILs to CLOUDY photoionization results and find that the CLiF emitting region has higher densities (10$^{4.5}$ $<$ n$_H$ $<$ 10$^{7.5}$ cm$^{-3}$) when compared to the FLIL emitting region (10$^{3.0}$ $<$ n$_H$ $<$ 10$^{4.5}$ cm$^{-3}$). We use the photoionization results to calculate the CLiF regions radial distances (0.04 $<$ R$_{CLiF}$ $<$ 32.5 pc) and find that they are comparable to the dust grain sublimation distances (0.10 $<$ R$_{SUB}$ $<$ 4.3 pc). As a result we suggest that the inner torus wall is the most likely location of the CLiF region, and the unusual strength of the FHILs is due to a specific viewing angle giving a maximal view of the far wall of the torus without the continuum being revealed.


title: A common stochastic process rules gamma-ray burst prompt emission and X-ray flares

abstract: Prompt gamma-ray and early X-ray afterglow emission in gamma-ray bursts (GRBs) are characterized by a bursty behavior and are often interspersed with long quiescent times. There is compelling evidence that X-ray flares are linked to prompt gamma-rays. However, the physical mechanism that leads to the complex temporal distribution of gamma-ray pulses and X-ray flares is not understood. Here we show that the waiting time distribution (WTD) of pulses and flares exhibits a power-law tail extending over 4 decades with index ~2 and can be the manifestation of a common time-dependent Poisson process. This result is robust and is obtained on different catalogs. Surprisingly, GRBs with many (>=8) gamma-ray pulses are very unlikely to be accompanied by X-ray flares after the end of the prompt emission (3.1 sigma Gaussian confidence). These results are consistent with a simple interpretation: an hyperaccreting disk breaks up into one or a few groups of fragments, each of which is independently accreted with the same probability per unit time. Prompt gamma-rays and late X-ray flares are nothing but different fragments being accreted at the beginning and at the end, respectively, following the very same stochastic process and likely the same mechanism.


title: Type I Planet Migration in a Magnetized Disk. II. Effect of Vertical Angular Momentum Transport

abstract: We study the effects of a large-scale, ordered magnetic field in protoplanetary disks on Type I planet migration using a linear perturbation analysis in the ideal-MHD limit. We focus on wind-driving disks, in which a magnetic torque $\propto B_{0z} \partial B_{0\varphi}/\partial z$ (where $B_{0z}$ and $B_{0\varphi}$ are the equilibrium vertical and azimuthal field components) induces vertical angular momentum transport. We derive the governing differential equation for the disk response and identify its resonances and turning points. For a disk containing a slightly subthermal, pure-$B_{0z}$ field, the total 3D torque is close to its value in the 2D limit but remains lower than the hydrodynamic torque. In contrast with the 2D pure-$B_{0\varphi}$ field model considered by Terquem (2003), inward migration is not reduced in this case when the field amplitude decreases with radius. The presence of a subdominant $B_{0\varphi}$ component whose amplitude increases from zero at $z=0$ has little effect on the torque when acting alone, but in conjunction with a $B_{0z}$ component it gives rise to a strong torque that speeds up the inward migration by a factor $\gtrsim 200$. This factor could, however, be reduced in a real disk by dissipation and magnetic diffusivity effects. Unlike all previously studied disk migration models, in the $B_{0z}+\partial B_{0\varphi}/\partial z$ case the dominant contributions to the torque add with the same sign from the two sides of the planet. We attribute this behavior to a new mode of interaction wherein a planet moves inward by plugging into the disk's underlying angular momentum transport mechanism.


title: Decomposition of bipartite and multipartite unitary gates into the product of controlled unitary gates

abstract: We show that any unitary operator on the $d_A\times d_B$ system ($d_A\ge 2$) can be decomposed into the product of at most $4d_A-5$ controlled unitary operators. The number can be reduced to $2d_A-1$ when $d_A$ is a power of two. We also prove that three controlled unitaries can implement a bipartite complex permutation operator, and discuss the connection to an analogous result on classical reversible circuits. We further show that any $n$-partite unitary on the space $\mathbb{C}^{d_1}\otimes...\otimes\mathbb{C}^{d_n}$ is the product of at most $[2\prod^{n-1}_{j=1}(2d_j-2)-1]$ controlled unitary gates, each of which is controlled from $n-1$ systems. The number can be further reduced for $n=4$. We also decompose any bipartite unitary into the product of a simple type of bipartite gates and some local unitaries. We derive dimension-independent upper bounds for the CNOT-gate cost or entanglement cost of bipartite permutation unitaries (with the help of ancillas of fixed size) as functions of the Schmidt rank of the unitary. It is shown that such costs under a simple protocol are related to the log-rank conjecture in communication complexity theory via the link of nonnegative rank.


title: Modulation of N- to C-terminal interactions enhances protein stability

abstract: Although, several factors have been attributed to thermostability, the stabilization strategies used by proteins are still enigmatic. Studies on recombinant xylanase which has the ubiquitous (\b{eta}/{\alpha})8 TIM (Triosephosphate isomerase) barrel fold showed that, just a single extreme N-terminus mutation (V1L) markedly enhanced the thermostability by 5 {\deg}C without loss of catalytic activity whereas another mutation, V1A at the same position decreased the stability by 2 {\deg}C. Based on computational analysis of their crystal structures including residue interaction network, we established a link between N- to C-terminal contacts and protein stability. We demonstrate that augmenting of N- to C-terminal non-covalent interactions is associated with the enhancement of protein stability. We propose that the strategy of mutations at the termini could be exploited with a view to modulate stability without compromising on enzymatic activity, or in general, protein function, in diverse folds where N- and C-termini are in close proximity. Finally, we discuss the implications of our results for the development of therapeutics involving proteins and for designing effective protein engineering strategies.


title: Quantum theory as a critical regime of language dynamics

abstract: Some mathematical theories in physics justify their explanatory superiority over earlier formalisms by the clarity of their postulates. In particular, axiomatic reconstructions drive home the importance of the composition rule and the continuity assumption as two pillars of quantum theory. Our approach sits on these pillars and combines new mathematics with a testable prediction. If the observer is defined by a limit on string complexity, information dynamics leads to an emergent continuous model in the critical regime. Restricting it to a family of binary codes describing `bipartite systems,' we find strong evidence of an upper bound on bipartite correlations equal to $2.82537$. This is measurably different from the Tsirelson bound. The Hilbert space formalism emerges from this mathematical investigation as an effective description of a fundamental discrete theory in the critical regime.


title: On the GJ 436 planetary system

abstract: The GJ 436 system contains a transiting planet GJ 436 b which is a hot analogue of Neptune on an eccentric orbit. Recently, two additional transiting sub-Earth planets have been postulated in the literature. We observed three transits of GJ 436 b over the course of 3 years using two-meter class telescopes, each with a photometric precision better than one millimagnitude. We studied system dynamics based on the existence of the additional planets. We redetermined system parameters, which were in agreement with those found in the literature. We refined the orbital period of GJ 436 b and found no evidence of transit timing variations. The orbital motion of the GJ 436 c planet candidate was found to be significantly affected by the planet b with variations in transit times at a level of 20 minutes. As the orbital period of the GJ 436 d planet candidate remains unknown, our numerical experiments rule out orbits in low-order resonances with GJ 436 b. The GJ 436 system with the hot Neptune and additional two Earth-like planets, if confirmed, would be an important laboratory for studies of formation and evolution of planetary systems.


title: Constraining scenarios of the soft/hard transition for the pion electromagnetic form factor with expected data of 12-GeV Jefferson Lab experiments and of the Electron-Ion Collider

abstract: It has been shown previously [PRD 88 (2013) 093005, arXiv:1310.1770] that a non-perturbative relativistic constituent-quark model for the pi-meson electromagnetic form factor allows for a quantitative description of the soft/hard transition, resulting in the correct Quantum-Chromodynamical asymptotics, including normalization, from the low-energy data without further parameter tuning. This happens universally whenever the constituent-quark mass is switched off. The energy range where the transition happens is therefore determined by the quark-mass running at intermediate energies and is not tightly constrained theoretically. Here we consider possible ways to pin down this energy range with coming experimental data. We demonstrate that expected experimental uncertainties of the 12-GeV Jefferson-Lab data are larger than the span of predictions of the model, so these data might be used for testing the model but not for determination of the soft/hard transition scale. Contrary, the projected Electron-Ion Collider will be capable of pinning down the scale.


title: Bridge Consensus: Ignoring Initial Inessentials

abstract: In this paper, the problem of bridge consensus is presented and solved. Bridge consensus consists of a network of nodes, some of whom are participating and others are non-participating. The objective is for all the agents to reach average consensus of the participating nodes initial values in a distributed and scalable manner. To do this, the nodes must use the network connections of the non-participating nodes, which act as bridges for information and ignore the initial values of the non-participating nodes. The solution to this problem is made by merging the ideas from estimation theory and consensus theory. By considering the participating nodes has having equal information and the non-participating nodes as having no information, the nodes initial values are transformed into information space. Two consensus filters are run in parallel on the information state and information matrix. Conditions ensuring that the product of the inverse information matrix and the information state of each agent reaches average consensus of the participating agents' initial values is given.


title: From Visual Attributes to Adjectives through Decompositional Distributional Semantics

abstract: As automated image analysis progresses, there is increasing interest in richer linguistic annotation of pictures, with attributes of objects (e.g., furry, brown...) attracting most attention. By building on the recent "zero-shot learning" approach, and paying attention to the linguistic nature of attributes as noun modifiers, and specifically adjectives, we show that it is possible to tag images with attribute-denoting adjectives even when no training data containing the relevant annotation are available. Our approach relies on two key observations. First, objects can be seen as bundles of attributes, typically expressed as adjectival modifiers (a dog is something furry, brown, etc.), and thus a function trained to map visual representations of objects to nominal labels can implicitly learn to map attributes to adjectives. Second, objects and attributes come together in pictures (the same thing is a dog and it is brown). We can thus achieve better attribute (and object) label retrieval by treating images as "visual phrases", and decomposing their linguistic representation into an attribute-denoting adjective and an object-denoting noun. Our approach performs comparably to a method exploiting manual attribute annotation, it outperforms various competitive alternatives in both attribute and object annotation, and it automatically constructs attribute-centric representations that significantly improve performance in supervised object recognition.


title: On the 'Scattered' Inclinations in the Kuiper Belt

abstract: This paper shows that the inclinations of bodies captured into mean motion resonances in the Kuiper belt have remained very nearly unchanged, being only slightly increased from initial lower values by migration and/or by long-term planetary perturbations. Thus the observed maximum as high as ~ 30 deg of the i's of bodies in resonance must reflect either a broad initial range at least to that level for capturable bodies or an elevating process possibly exemplified by the sweeping of secular resonances. We have obtained capture probabilities for 2 well-populated resonances, showing reduced but finite values for i's up to 35 deg. Whatever led to the present distribution must have produced increases in i for some, but not for all, resonant bodies in the belt.


title: Gracefully Degrading Consensus and $k$-Set Agreement in Directed Dynamic Networks

abstract: We study distributed agreement in synchronous directed dynamic networks, where an omniscient message adversary controls the availability of communication links. We prove that consensus is impossible under a message adversary that guarantees weak connectivity only, and introduce vertex-stable root components (VSRCs) as a means for circumventing this impossibility: A VSRC(k, d) message adversary guarantees that, eventually, there is an interval of $d$ consecutive rounds where every communication graph contains at most $k$ strongly (dynamic) connected components consisting of the same processes, which have at most outgoing links to the remaining processes. We present a consensus algorithm that works correctly under a VSRC(1, 4H + 2) message adversary, where $H$ is the dynamic causal network diameter. On the other hand, we show that consensus is impossible against a VSRC(1, H - 1) or a VSRC(2, $\infty$) message adversary, revealing that there is not much hope to deal with stronger message adversaries. However, we show that gracefully degrading consensus, which degrades to general $k$-set agreement in case of unfavourable network conditions, is feasible against stronger message adversaries: We provide a $k$-uniform $k$-set agreement algorithm, where the number of system-wide decision values $k$ is not encoded in the algorithm, but rather determined by the actual power of the message adversary in a run: Our algorithm guarantees at most $k$ decision values under a VSRC(n, d) + MAJINF(k) message adversary, which combines VSRC(n, d) (for some small $d$, ensuring termination) with some information flow guarantee MAJINF(k) between certain VSRCs (ensuring $k$-agreement). Our results provide a significant step towards the exact solvability/impossibility border of general $k$-set agreement in directed dynamic networks.


title: Black Hole Binaries in Galactic Nuclei and Gravitational Wave Sources

abstract: Stellar black hole (BH) binaries are one of the most promising gravitational wave (GW) sources for GW detection by the ground-based detectors. Nuclear star clusters (NCs) located at the centre of galaxies are known to harbour massive black holes (MBHs) and to be bounded by a gravitational potential by other galactic components such as the galactic bulge. Such an environment of NCs provides a favourable conditions for the BH-BH binary formation by the gravitational radiation capture due to the high BH number density and velocity dispersion. We carried out detailed numerical study of the formation of BH binaries in the NCs using a series of N-body simulations for equal-mass cases. There is no mass segregation introduced. We have derived scaling relations of the binary formation rate with the velocity dispersion of the stellar system beyond the radius of influence and made estimates of the rate of formation of black hole binaries per unit comoving volume and thus expected detection rate by integrating the binary formation rate over galaxy population within the detection distance of the advanced detectors. We find that the overall formation rates for BH-BH binaries per NC is 10^(-10)/yr for the Milky-Way-like galaxies and weakly dependent on the mass of MBH as M^(3/28). We estimate the detection rate of 0.02-14/yr for advanced LIGO/Virgo considering several factors such as the dynamical evolution of NCs, the variance of the number density of stars and the mass range of MBH giving uncertainties.


title: A mechanism for stickness, dealing with extreme events

abstract: In this letter we study how hyperbolic and non hyperbolic regions in the neighborhood of a resonant island perform a important role allowing or forbidding stickiness phenomenon around islands in conservative systems. The vicinity of the island is composed by non hyperbolic areas that almost prevent the trajectory to visit the island edge. For some specific parameters there are tiny channels embedded in the non hyperbolic area that are associated to hyperbolic fixed points present in the neighborhood of the islands. Such channels allow the trajectory to be injected in the inner portion of the vicinity. When the trajectory crosses the barrier imposed by the non hyperbolic regions, it spends a long time to abandon the surrounding of the island, since the barrier also prevents the trajectory to scape from the neighborhood of the island. In this scenario the non hyperbolic structures are the responsible for the stickiness phenomena, and more than that, the strength of the sticky effect. We reveal that those properties of the phase space allow us to manipulate the existence of extreme events (and the transport associated to it) responsible for the non equilibrium fluctuation of the system. In fact we demonstrate that monitoring very small portions of the phase space (namely $\approx 4\times 10^{-4}$ \% of it) it is possible to generate a completely diffusive system eliminating long time recurrences that result from the stickiness phenomenon.


title: On multiple recurrence and other properties of "nice" infinite measure preserving transformations

abstract: We discuss multiple versions of rational ergodicity and rational weak mixing for "nice" transformations, including Markov shifts, certain interval maps and hyperbolic geodesic flows. These properties entail multiple recurrence.


title: Approximations of Periodic Functions by Analogue of Zigmund's Sums in the Spaces $L^{p(\cdot)}$

abstract: In this work we found order estimates for the upper bounds of the deviations of analogue of Zigmund's sums on the classes of $(\psi;\beta)$-differentiable functions in the metrics of generalized Lebesgue spaces with variable exponent.


title: A dimension bound for constant rank subspaces of matrices over a finite field

abstract: K be a field and let m and n be positive integers, where m does not exceed n. We say that a non-zero subspace of m x n matrices over K is a constant rank r subspace if each non-zero element of the subspace has rank r, where r is a positive integer that does not exceed m. We show in this paper that if K is a finite field containing at least r+1 elements, any constant rank r subspace of m x n matrices over K has dimension at most n.


title: Image-plane Analysis of n-point-mass Lens Critical Curves and Caustics

abstract: The interpretation of gravitational microlensing events caused by planetary systems or multiple stars is based on the n-point-mass lens model. The first planets detected by microlensing were well described by the two-point-mass model of a star with one planet. By the end of 2014, four events involving three-point-mass lenses had been announced. Two of the lenses were stars with two planetary companions each; two were binary stars with a planet orbiting one component. While the two-point-mass model is well understood, the same cannot be said for lenses with three or more components. Even the range of possible critical-curve topologies and caustic geometries of the three-point-mass lens remains unknown. In this paper we provide new tools for mapping the critical-curve topology and caustic cusp number in the parameter space of n-point-mass lenses. We perform our analysis in the image plane of the lens. We show that all contours of the Jacobian are critical curves of re-scaled versions of the lens configuration. Utilizing this property further, we introduce the cusp curve to identify cusp-image positions on all contours simultaneously. In order to track cusp-number changes in caustic metamorphoses, we define the morph curve, which pinpoints the positions of metamorphosis-point images along the cusp curve. We demonstrate the usage of both curves on simple two- and three-point-mass lens examples. For the three simplest caustic metamorphoses we illustrate the local structure of the image and source planes.


title: Quantum effects on Lagrangian points and displaced periodic orbits in the Earth-Moon system

abstract: Recent work in the literature has shown that the one-loop long distance quantum corrections to the Newtonian potential imply tiny but observable effects in the restricted three-body problem of celestial mechanics, i.e., at the Lagrangian libration points of stable equilibrium the planetoid is not exactly at equal distance from the two bodies of large mass, but the Newtonian values of its coordinates are changed by a few millimeters in the Earth-Moon system. First, we assess such a theoretical calculation by exploiting the full theory of the quintic equation, i.e., its reduction to Bring-Jerrard form and the resulting expression of roots in terms of generalized hypergeometric functions. By performing the numerical analysis of the exact formulas for the roots, we confirm and slightly improve the theoretical evaluation of quantum corrected coordinates of Lagrangian libration points of stable equilibrium. Second, we prove in detail that also for collinear Lagrangian points the quantum corrections are of the same order of magnitude in the Earth-Moon system. Third, we discuss the prospects to measure, with the help of laser ranging, the above departure from the equilateral triangle picture, which is a challenging task. On the other hand, a modern version of the planetoid is the solar sail, and much progress has been made, in recent years, on the displaced periodic orbits of solar sails at all libration points, both stable and unstable. The present paper investigates therefore, eventually, a restricted three-body problem involving Earth, Moon and a solar sail. By taking into account the one-loop quantum corrections to the Newtonian potential, displaced periodic orbits of the solar sail at libration points are again found to exist.


title: Towards Energy-Proportional Computing Using Subsystem-Level Power Management

abstract: Massive data centers housing thousands of computing nodes have become commonplace in enterprise computing, and the power consumption of such data centers is growing at an unprecedented rate. Adding to the problem is the inability of the servers to exhibit energy proportionality, i.e., provide energy-efficient execution under all levels of utilization, which diminishes the overall energy efficiency of the data center. It is imperative that we realize effective strategies to control the power consumption of the server and improve the energy efficiency of data centers. With the advent of Intel Sandy Bridge processors, we have the ability to specify a limit on power consumption during runtime, which creates opportunities to design new power-management techniques for enterprise workloads and make the systems that they run on more energy-proportional. In this paper, we investigate whether it is possible to achieve energy proportionality for enterprise-class server workloads, namely SPECpower_ssj2008 and SPECweb2009 benchmarks, by using Intel's Running Average Power Limit (RAPL) interfaces. First, we analyze the average power consumption of the full system as well as the subsystems and describe the energy proportionality of these components. We then characterize the instantaneous power profile of these benchmarks within different subsystems using the on-chip energy meters exposed via the RAPL interfaces. Finally, we present the effects of power limiting on the energy proportionality, performance, power and energy efficiency of enterprise-class server workloads. Our observations and results shed light on the efficacy of the RAPL interfaces and provide guidance for designing power-management techniques for enterprise-class workloads.


title: Revisiting Ulysses Observations of Interstellar Helium

abstract: We report the results of a comprehensive reanalysis of Ulysses observations of interstellar He atoms flowing through the solar system, the goal being to reassess the interstellar He flow vector and to search for evidence of variability in this vector. We find no evidence that the He beam seen by Ulysses changes at all from 1994-2007. The direction of flow changes by no more than ~0.3 deg and the speed by no more than ~0.3 km/s. A global fit to all acceptable He beam maps from 1994-2007 yields the following He flow parameters: V_ISM=26.08+/-0.21 km/s, lambda=75.54+/-0.19 deg, beta=-5.44+/-0.24 deg, and T=7260+/-270 K; where lambda and beta are the ecliptic longitude and latitude direction in J2000 coordinates. The flow vector is consistent with the original analysis of the Ulysses team, but our temperature is significantly higher. The higher temperature somewhat mitigates a discrepancy that exists in the He flow parameters measured by Ulysses and the Interstellar Boundary Explorer, but does not resolve it entirely. Using a novel technique to infer photoionization loss rates directly from Ulysses data, we estimate a density of n_He=0.0196+/-0.0033 cm^-3 in the interstellar medium.


title: $B_s B^* K $ and $B_s B K^*$ vertices using QCD sum rules

abstract: The form factors and the coupling constant of the $B_s B^* K $ and $B_s B K^*$ vertices are calculated using the QCD sum rules method. Three point correlation functions are computed considering both the heavy and light mesons off-shell in each vertex, from which, after an extrapolation of the QCDSR results at the pole of the off-shell mesons, we obtain the coupling constant of the vertex. The form factors obtained have different behaviors but their simultaneous extrapolation reach the same value of the coupling constant $g_{B_s B^* K}=8.41 \pm 1.23 $ and $g_{B_s BK^*}=3.3 \pm 0.5$. We compare our result with other theoretical estimates and compute the uncertainties of the method.


title: Area per Lipid in DPPC-Cholesterol Bilayers:Analytical Approach

abstract: Area per molecule in a DPPC-Cholesterol bilayers depends non-linearly on the cholesterol concentration. Using flexible strings model of lipid membranes we calculate area per molecule in DPPC-Cholesterol mixtures in the biologically relevant concentrations range. Few parameters of the model are optimized for a perfect agreement with the area per lipid data available from molecular dynamics simulations. Lateral pressure at the hydrophilic interface, {\gamma}, is taken to be proportional to the cholesterol concentration. Non-linearity arises as a consequence of the non-linear dependence of thermodynamical equilibrium area of molecules on {\gamma}. DPPC lipid is modeled as flexible string of finite thickness and a given bending rigidity, while cholesterol molecule is modeled as rigid rod with finite thickness and infinite rigidity. Using parameters fitted to reproduce area per molecule dependence on cholesterol concentration, we had further calculated our model predictions for the NMR order parameter of DPPC lipid chains and coefficient of thermal area expansion. The microscopic nature of the model allows to consider a broad range of thermodynamic phenomena.


title: Minimal paths between communities induced by geographical networks

abstract: In this work we investigate the betweenness centrality in geographical networks and its relationship with network communities. We show that vertices with large betweenness define what we call characteristic betweenness paths in both modeled and real-world geographical networks. We define a geographical network model that possess a simple topology while still being able to present such betweenness paths. Using this model, we show that such paths represent pathways between entry and exit points of highly connected regions, or communities, of geographical networks. By defining a new network, containing information about community adjacencies in the original network, we describe a means to characterize the mesoscale connectivity provided by such characteristic betweenness paths.


title: On the Energy Proportionality of Scale-Out Workloads

abstract: Our increasing reliance on the cloud has led to the emergence of scale-out workloads. These scale-out workloads are latency-sensitive as they are user driven. In order to meet strict latency constraints, they require massive computing infrastructure, which consume significant amount of energy and contribute to operational costs. This cost is further aggravated by the lack of energy proportionality in servers. As Internet services become even more ubiquitous, scale-out workloads will need increasingly larger cluster installations. As such, we desire an investigation into the energy proportionality and the mechanisms to improve the power consumption of scale-out workloads. Therefore, in this paper, we study the energy proportionality and power consumption of clusters in the context of scale-out workloads. Towards this end, we evaluate the potential of power and resource provisioning to improve the energy proportionality for this class of workloads. Using data serving, web searching and data caching as our representative workloads, we first analyze the component-level power distribution on a cluster. Second, we characterize how these workloads utilize the cluster. Third, we analyze the potential of power provisioning techniques (i.e., active low-power, turbo and idle low-power modes) to improve the energy proportionality of scale-out workloads. We then describe the ability of active low-power modes to provide trade-offs in power and latency. Finally, we compare and contrast power provisioning and resource provisioning techniques. Our study reveals various insights which will help improve the energy proportionality and power consumption of scale-out workloads.


title: Quenched Large Deviations for Simple Random Walks on Supercritical Percolation Clusters

abstract: We prove a {\it{quenched}} large deviation principle (LDP) for a simple random walk on a supercritical percolation cluster on $\Z^d$, $d\geq 2$.. We take the point of view of the moving particle and first prove a quenched LDP for the distribution of the {\it{pair empirical measures}} of the environment Markov chain. Via a contraction principle, this reduces easily to a quenched LDP for the distribution of the mean velocity of the random walk and both rate functions admit explicit (variational) formulas. Our results are based on invoking ergodicity arguments in this non-elliptic set up to control the growth of {\it{gradient functions (correctors)}} which come up naturally via convex variational analysis in the context of homogenization of random Hamilton Jacobi Bellman equations along the arguments of Kosygina, Rezakhanlou and Varadhan (\cite{KRV06}). Although enjoying some similarities, our gradient function is structurally different from {\it{the}} classical {\it{Kipnis-Varadhan corrector}}, a well-studied object in the context of reversible random motions in random media.


title: On a problem posed by Mahler

abstract: E. Maillet proved that the set of Liouville numbers is preserved under rational functions with rational coefficients. Based on this result, a problem posed by Kurt Mahler is to investigate whether there exist entire transcendental functions with this property or not. For large parametrized classes of Liouville numbers, we construct such functions and moreover we show that it can be constructed such that all their derivatives share this property. We use a completely different approach than in a recent paper, where functions with a different invariant subclass of Liouville numbers were constructed (though with no information on derivatives). More generally, we study the image of Liouville numbers under analytic functions, with particular attention to $f(z)=z^{q}$ where $q$ is a rational number.


title: Predicting Performance During Tutoring with Models of Recent Performance

abstract: In educational technology and learning sciences, there are multiple uses for a predictive model of whether a student will perform a task correctly or not. For example, an intelligent tutoring system may use such a model to estimate whether or not a student has mastered a skill. We analyze the significance of data recency in making such predictions, i.e., asking whether relatively more recent observations of a student's performance matter more than relatively older observations. We develop a new Recent-Performance Factors Analysis model that takes data recency into account. The new model significantly improves predictive accuracy over both existing logistic-regression performance models and over novel baseline models in evaluations on real-world and synthetic datasets. As a secondary contribution, we demonstrate how the widely used cross-validation with 0-1 loss is inferior to AIC and to cross-validation with L1 prediction error loss as a measure of model performance.


title: Entanglement and Nonlocality in Many-Body Systems: a primer

abstract: Current understanding of correlations and quantum phase transitions in many-body systems has significantly improved thanks to the recent intensive studies of their entanglement properties. In contrast, much less is known about the role of quantum non-locality in these systems. On the one hand, standard, "theorist- and experimentalist-friendly" many-body observables involve correlations among only few (one, two, rarely three...) particles. On the other hand, most of the available multipartite Bell inequalities involve correlations among many particles. Such correlations are notoriously hard to access theoretically, and even harder experimentally. Typically, there is no Bell inequality for many-body systems built only from low-order correlation functions. Recently, however, it has been shown in [J. Tura et al., Science 344, 1256 (2014)] that multipartite Bell inequalities constructed only from two-body correlation functions are strong enough to reveal non-locality in some many-body states, in particular those relevant for nuclear and atomic physics. The purpose of this lecture is to provide an overview of the problem of quantum correlations in many-body systems - from entanglement to nonlocality - and the methods for their characterization.


title: On profinite groups with commutators covered by nilpotent subgroups

abstract: Let G be a profinite group. The following results are proved. The commutator subgroup G' is finite if and only if G is covered by countably many abelian subgroups. The group G is finite-by-nilpotent if and only if G is covered by countably many nilpotent subgroups. The main result is that the commutator subgroup G' is finite-by-nilpotent if and only if the set of commutators in G is covered by countably many nilpotent subgroups.


title: Detection of a large fraction of atomic gas not associated with star-forming material in M17 SW

abstract: We probe the column densities and masses traced by the ionized and neutral atomic carbon with spectrally resolved maps, and compare them to the diffuse and dense molecular gas traced by [C I] and low-$J$ CO lines toward the star-forming region M17SW. We mapped a 4.1pc x 4.7pc region in the [C I] 609 m$\mu$ line using the APEX telescope, as well as the CO isotopologues with the IRAM 30m telescope. We analyze the data based on velocity channel maps that are 1 km/s wide. We correlate their spatial distribution with that of the [C II] map obtained with SOFIA/GREAT. Optically thin approximations were used to estimate the column densities of [C I] and [C II] in each velocity channel. The spatial distribution of the [C I] and all CO isotopologues emission was found to be associated with that of [C II] in about 20%-80% of the mapped region, with the high correlation found in the central (15-23 km/s ) velocity channels. The excitation temperature of [C I] ranges between 40 K and 100 K in the inner molecular region of M17 SW. Column densities in 1 km/s channels between ~10$^{15}$ and ~10$^{17}$ cm$^{-2}$ were found for [C I]. Just ~20% of the velocity range (~40 km/s) that the [C II] line spans is associated with the star-forming material traced by [C I] and CO. The total gas mass estimated from the [C II] emission gives a lower limit of ~4.4x10$^3$ $M_{\odot}$. At least 64% of this mass is not associated with the star-forming material in M17SW. We also found that about 36%, 17%, and 47% of the [C II] emission is associated with the HII, HI, and H_2 regimes, respectively. Comparisons with the H41$\alpha$ line shows an ionization region mixed with the neutral and part of the molecular gas, in agreement with the clumped structure and dynamical processes at play in M17SW. These results are also relevant to extra-galactic studies in which [C II] is often used as a tracer of star-forming material.


title: Nonsoluble Length Of Finite Groups with Commutators of Small Order

abstract: Let p be a prime. Every finite group G has a normal series each of whose quotients either is p-soluble or is a direct product of nonabelian simple groups of orders divisible by p. The non-p-soluble length of G is defined as the minimal number of non-p-soluble quotients in a series of this kind. We deal with the question whether, for a given prime p and a given proper group variety V, there is a bound for the non-p-soluble length of finite groups whose Sylow p-subgroups belong to V. Let the word w be a multilinear commutator. In the present paper we answer the question in the affirmative in the case where p is odd and the variety is the one of groups in which the w-values have orders dividing a fixed number.


title: Finite Isospin Chiral Perturbation Theory in a Magnetic Field

abstract: The phase diagram of finite isospin, zero temperature QCD with the pions coupled to photons in a uniform external magnetic field is explored in the low field, small isospin density regime for which chiral perturbation theory is a valid description. For realistic pion masses, the system behaves as a type-II superconductor: a uniform superconducting state is formed at low-enough magnetic fields, a vortex state for intermediate magnetic fields and finally a normal state for large magnetic fields. In each these phases (including the vortex phase), the $\pi^{0}$ remains uncondensed just as in the zero-external field problem. The critical magnetic field where the phase transition from the uniform superconducting state to a vortex state occurs was found numerically.


title: Nuclear physics in soft-wall AdS/QCD: Deuteron electromagnetic form factors

abstract: We present a high-quality description of the deuteron electromagnetic form factors in a soft-wall AdS/QCD approach. We first propose an effective action describing the dynamics of the deuteron in the presence of an external vector field. Based on this action the deuteron electromagnetic form factors are calculated, displaying the correct 1/Q^10 power scaling for large Q^2 values. This finding is consistent with quark counting rules and the earlier observation that this result holds in confining gauge/gravity duals. The Q^2 dependence of the deuteron form factors is defined by a single and universal scale parameter kappa, which is fixed from data.


title: Control of molecular rotation in the limit of extreme rotational excitation

abstract: Laser control of molecular rotation is an area of active research. A number of recent studies has aimed at expanding the reach of rotational control to extreme, previously inaccessible rotational states, as well as controlling the directionality of molecular rotation. Dense ensembles of molecules undergoing ultrafast uni-directional rotation, known as molecular superrotors, are anticipated to exhibit unique properties, from spatially anisotropic diffusion and vortex formation to the creation of powerful acoustic waves and tuneable THz radiation. Here we describe our recent progress in controlling molecular rotation in the regime of high rotational excitation. We review two experimental techniques of producing uni-directional rotational wave packets with a "chiral train" of femtosecond pulses and an "optical centrifuge". Three complementary detection methods, enabling the direct observation, characterization and control of the superrotor states, are outlined: the one based on coherent Raman scattering, and two other methods employing both resonant and non-resonant multi-photon ionization. The capabilities of the described excitation and detection techniques are demonstrated with a few examples. The paper is concluded with an outlook for future developments.


title: On the Hofer geometry injectivity radius conjecture

abstract: We verify here some variants of topological and dynamical flavor of the injectivity radius conjecture in Hofer geometry, Lalonde-Savelyev \cite{citeLalondeSavelyevOntheinjectivityradiusinHofergeometry} in the case of $Ham (S^2)$ and $Ham(\Sigma, \omega)$, for $\Sigma$ a closed positive genus surface. In particular we show that any loop in $Ham (S^2)$, respectively $Ham(\Sigma, \omega)$ with $L ^{+}$ Hofer length less than $area(S ^{2} )/2$, respectively any $L ^{+} $ length is contractible through ($L ^{+} $) Hofer shorter loops, in the $C ^{\infty} $ topology. We also prove some stronger variants of this statement on the loop space level. One dynamical type corollary is that there are no smooth, positive Morse index (Ustilovsky) geodesics, in $Ham (S^2)$, respectively in $Ham(\Sigma, \omega)$ with $L ^{+} $ Hofer length less than $area (S ^{2} )/2$, respectively any length. The above condition on the geodesics can be expanded as an explicit and elementary dynamical condition on the associated Hamiltonian flow. We also give some speculations on connections of this later result with curvature properties of the Hamiltonian diffeomorphism group of surfaces.


title: Salient Object Detection: A Benchmark

abstract: We extensively compare, qualitatively and quantitatively, 40 state-of-the-art models (28 salient object detection, 10 fixation prediction, 1 objectness, and 1 baseline) over 6 challenging datasets for the purpose of benchmarking salient object detection and segmentation methods. From the results obtained so far, our evaluation shows a consistent rapid progress over the last few years in terms of both accuracy and running time. The top contenders in this benchmark significantly outperform the models identified as the best in the previous benchmark conducted just two years ago. We find that the models designed specifically for salient object detection generally work better than models in closely related areas, which in turn provides a precise definition and suggests an appropriate treatment of this problem that distinguishes it from other problems. In particular, we analyze the influences of center bias and scene complexity in model performance, which, along with the hard cases for state-of-the-art models, provide useful hints towards constructing more challenging large scale datasets and better saliency models. Finally, we propose probable solutions for tackling several open problems such as evaluation scores and dataset bias, which also suggest future research directions in the rapidly-growing field of salient object detection.


title: Type I Planet Migration in a Magnetized Disk. I. Effect of Large-Scale Vertical and Azimuthal Field Components

abstract: We study the effects of a large-scale, ordered magnetic field in protoplanetary disks on Type I planet migration using a combination of numerical simulations in 2D and 3D and a linear perturbation analysis. Steady-state models of such disks require the inclusion of magnetic diffusivity. To make progress using ideal MHD, we focus on simplified field configurations, involving purely vertical ($B_z$) and azimuthal ($B_\varphi$) field components and a combination of the two. For each of the models we calculate the locations of the relevant resonances and of the turning points, which delineate the propagation regions of the MHD waves that transport angular momentum from the planet to the disk. We use both numerical and semianalytic methods to evaluate the cumulative back torque acting on the planet, and explore the effect of spatial gradients in the disk's physical variables on the results. We conclude that, under realistic (3D) circumstances, a large-scale magnetic field can slow down the inward migration that characterizes the underlying unmagnetized disk --- by up to a factor of $\sim 2$ when the magnetic pressure approaches the thermal pressure --- but it cannot reverse it. A previous inference that a pure-$B_\phi$ field whose amplitude decreases fast enough with radius leads to outward migration applies only in 2D. In fact, we find that, in 3D, a pure-$B_\phi$ disk undergoes a rapid transition to turbulence on account of a magnetorotational instability that is triggered by the planet-induced appearance of a weak $B_z$ component.


title: Boundary Effects on Bose-Einstein Condensation in Ultra-Static Space-Times

abstract: The boundary effects on the Bose-Einstein condensation of a Bose gas with a nonvanishing chemical potential on an ultra-static space-time are studied. High temperature regime, which is the relevant regime for the relativistic gas, is studied through the heat kernel expansion for both Dirichlet and Neumann boundary conditions. The high temperature expansion in the presence of a chemical potential is generated via the Mellin transform methods as applied to the harmonic sums representing the free energy and the depletion coefficient. The effects of boundary conditions on the relation between depletion coefficient and temperature are analyzed. The analysis is done for both charged and neutral bosons.


title: Microscopic Study of $\alpha+N$ Bremsstrahlung from Effective and Realistic Multi-nucleon Interactions

abstract: Based on an effective nucleon-nucleon interaction, a microscopic cluster model of the nucleus-nucleus bremsstrahlung, including implicitly a part of the effects of meson-exchange currents via an extension of the Siegert theorem is applied to the $\alpha+p$ and $\alpha+n$ systems. The contributions of the $E1$ and $E2$ transitions to the bremsstrahlung cross sections are evaluated and their relative importance for the mirror systems $\alpha+p$ and $\alpha+n$ is compared. Another approach based on realistic two- and three-nucleon interactions and the No-Core Shell Model/Resonating-Group Method is also investigated. Some preliminary results for the $\alpha+p$ bremsstrahlung are displayed.


title: On a Lagrangian reduction and a deformation of completely integrable systems

abstract: We develop a theory of Lagrangian reduction on loop groups for completely integrable systems after having exchanged the role of the space and time variables in the multi-time interpretation of integrable hierarchies. We then insert the Sobolev norm $H^1$ in the Lagrangian and derive a deformation of the corresponding hierarchies. The integrability of the deformed equations is altered and a notion of weak integrability is introduced. We implement this scheme in the AKNS and SO(3) hierarchies and obtain known and new equations. Among them we found two important equations, the Camassa-Holm equation, viewed as a deformation of the KdV equation, and a deformation of the NLS equation.


title: First studies of the phase diagram of N=1 supersymmetric Yang-Mills theory

abstract: The behavior of supersymmetric theories at finite temperatures differs from that of other theories in certain aspects. Due to the different thermal statistics of bosons and fermions, supersymmetry is explicitly broken for any non-zero value of the temperature. We study N=1 supersymmetric Yang-Mills theory on the lattice at finite temperatures. This model is the simplest supersymmetric extension of the pure gauge sector of QCD, describing the interactions between gluons and their fermionic superpartners, the gluinos. At zero temperature the theory confines like QCD, and chiral symmetry is spontaneously broken. At high temperatures, deconfinement and chiral symmetry restoration are expected to take place, but it is not known whether these two phase transitions coincide or not. First results on this topic, obtained in numerical simulations on the lattice, will be presented and discussed.


title: A detailed and unified treatment of spin-orbit systems using tools distilled from the theory of bundles

abstract: We return to our study \cite{BEH} of invariant spin fields and spin tunes for polarized beams in storage rings but in contrast to the continuous-time treatment in \cite{BEH}, we now employ a discrete-time formalism, beginning with the $\rm{Poincar\acute{e}}$ maps of the continuous time formalism. We then substantially extend our toolset and generalize the notions of invariant spin field and invariant frame field. We revisit some old theorems and prove several theorems believed to be new. In particular we study two transformation rules, one of them known and the other new, where the former turns out to be an $SO(3)$-gauge transformation rule. We then apply the theory to the dynamics of spin-$1/2$ and spin-$1$ particle bunches and their density matrix functions, describing semiclassically the particle-spin content of bunches. Our approach thus unifies the spin-vector dynamics from the T-BMT equation with the spin-tensor dynamics and other dynamics. This unifying aspect of our approach relates the examples elegantly and uncovers relations between the various underlying dynamical systems in a transparent way. As in \cite{BEH}, the particle motion is integrable but we now allow for nonlinear particle motion on each torus. Since this work is inspired by notions from the theory of bundles, we also provide insight into the underlying bundle-theoretic aspects of the well-established concepts of invariant spin field, spin tune and invariant frame field. Since we neglect, as is usual, the Stern-Gerlach force, the underlying principal bundle is of product formso that we can present the theory in a fashion which does not use bundle theory. Nevertheless we occasionally mention the bundle-theoretic meaningof our concepts and we also mention the similarities with the geometrical approach to Yang-Mills Theory.


title: Majoranas with and without a 'character': hybridization, braiding and Majorana number

abstract: In this paper we demonstrate under what conditions a pseudo-spin degree of freedom or character can be ascribed to the Majorana bound states (MBS) which can be created at the end of one dimensional non-interacting systems, corresponding to D, DIII and BDI in the usual classification scheme. We have found that such a character is directly related to the class of the topological superconductor and its description by a $\mathbb{Z}$, rather than a $\mathbb{Z}_2$, invariant which corresponds to the BDI class. We have also found that the DIII case with mirror symmetry, which supports multiple MBS, is in fact equivalent to the BDI class with an additional time-reversal symmetry. In all cases where a character can be given to the Majorana states we show how to construct the appropriate operator explicitly in various examples. We also examine the consequences of the Majorana character by considering possible hybridization of MBS brought into proximity and find that two MBS with the same character do not hybridize. Finally, we show that having this character or not has no consequence on the braiding properties of MBS.


title: A Spitzer/IRAC Characterization of Galactic AGB and RSG Stars

abstract: We present new Spitzer/IRAC observations of 55 dusty Long Period Variables (LPVs, 48 AGB and 6 RSG stars) in the Galaxy that have different chemistry, variability type, and mass-loss rate. O-rich AGB stars (including intrinsic S-type) tend to have redder [3.6]-[8.0] colors than carbon stars for a given [3.6]-[4.5] color due to silicate features increasing the flux in the 8.0 {\mu}m IRAC band. For colors including the 5.8 {\mu}m band, carbon stars separate into two distinct sequences, likely due to a variable photospheric C$_3$ feature that is only visible in relatively unobscured, low mass-loss rate sources. Semiregular variables tend to have smaller IR excess in [3.6]-[8.0] color than Miras, consistent with the hypothesis that semiregular variables lose mass discontinuously. Miras have redder colors for longer periods while semiregular variables do not. Galactic AGB stars follow the period-luminosity sequences found for the Magellanic Clouds. Mira variables fall along the fundamental pulsation sequence, while semiregular variables are mostly on overtone sequences. We also derive a relationship between mass-loss rate and [3.6]-[8.0] color. The fits are similar in shape to those found by other authors for AGBs in the LMC, but discrepant in overall normalization, likely due to different assumptions in the models used to derive mass-loss rates. We find that IR colors are not unique discriminators of chemical type, suggesting caution when using color selection techniques to infer the chemical composition of AGB dust returned to the ISM.


title: Self-Financing Trading and the Ito-Doeblin Lemma

abstract: The objective of the note is to remind readers on how self-financing works in Quantitative Finance. The authors have observed continuing uncertainty on this issue which may be because it lies exactly at the intersection of stochastic calculus and finance. The concept of a self-financing trading strategy was originally, and carefully, introduced in (Harrison and Kreps 1979) and expanded very generally in (Harrison and Pliska 1981).


title: Dark jets in solar coronal holes

abstract: A new solar feature termed a dark jet is identified from observations of an extended solar coronal hole that was continuously monitored for over 44 hours by the EUV Imaging Spectrometer on board the Hinode spacecraft in 2011 February 8-10. Line-of-sight velocity maps derived from the coronal Fe XII $\lambda$195.12 emission line, formed at 1.5 MK, revealed a number of large-scale, jet-like structures that showed significant blueshifts. The structures had either weak or no intensity signal in 193 A filter images from the Atmospheric Imaging Assembly on board the Solar Dynamics Observatory, suggesting that the jets are essentially invisible to imaging instruments. The dark jets are rooted in bright points and occur both within the coronal hole and at the quiet Sun-coronal hole boundary. They exhibit a wide range of shapes, from narrow columns to fan-shaped structures, and sometimes multiple jets are seen close together. A detailed study of one dark jet showed line-of-sight speeds increasing along the jet axis from 52 to 107 km s$^{-1}$ and a temperature of 1.2-1.3 MK. The low intensity of the jet was due either to a small filling factor of 2% or to a curtain-like morphology. From the HOP 177 sample, dark jets are as common as regular coronal hole jets, but their low intensity suggests a mass flux around two orders of magnitude lower.


title: Reflection Symmetry in Higher Dimensional Black Hole Spacetimes

abstract: In 4 spacetime dimensions there is a well known proof that for any asymptotically flat, stationary, and axisymmetric vacuum solution of Einstein's equation there exists a "$t$-$\phi$" reflection isometry that reverses the direction of the timelike Killing vector field and the direction of the axial Killing vector field. However, this proof does not generalize to higher spacetime dimensions. Here we consider asymptotically flat, stationary, and axisymmetric (i.e., having one or more commuting rotational isometries) black hole spacetimes in vacuum general relativity in $d \geq 4$ spacetime dimensions such that the action of the isometry group is trivial. (Here "trivial" means that if the "axes"---i.e., the points where the axial Killing fields are linearly dependent---are removed, the action of the isometry group is that of a trivial principal fiber bundle. This excludes actions like that found in the Sorkin monopole.) We prove that there exists a "$t$-$\phi$" reflection isometry that reverses the direction of the timelike Killing vector field and the direction of each axial Killing vector field. The proof relies in an essential way on the first law of black hole mechanics.


title: Algebraic isomonodromic deformations of logarithmic connections on the Riemann sphere and finite braid group orbits on character varieties

abstract: We study algebraic isomonodromic deformations of flat logarithmic connections on the Riemann sphere with $n\geq 4$ poles, for arbitrary rank. We introduce a natural property of algebraizability for the germ of universal deformation of such a connection. We relate this property to a peculiarity of the corresponding monodromy representation: to yield a finite braid group orbit on the appropriate character variety. Under reasonable assumptions on the deformed connection, we may actually establish an equivalence between both properties. We apply this result in the rank two case to relate finite branching and algebraicity for solutions of Garnier systems. For general rank, a byproduct of this work is a tool to produce regular flat meromorphic connections on vector bundles over projective varieties of high dimension.


title: Uncertainty principles for the Fock space

abstract: Several uncertainty principles are proved for the Fock space.


title: Computation of Differential Chow Forms for Prime Differential Ideals

abstract: In this paper, we propose algorithms to compute differential Chow forms for prime differential ideals which are given by their characteristic sets. The main algorithm is based on an optimal bound for the order of a prime differential ideal in terms of its characteristic set under an arbitrary ranking, which shows the Jacobi bound conjecture holds in this case. Apart from the order bound, we also give a degree bound for the differential Chow form. In addition, for prime differential ideals given by their characteristic sets under an orderly ranking, a much more simpler algorithm is given to compute its differential Chow form. The computational complexity of both is single exponential in terms of the Jacobi number, the maximal degree of the differential polynomials in the characteristic set and the number of variables.


title: Aproximation of periodical function in weighted Orlicz spaces

abstract: In this paper we obtained some direct and inverse theorems of approximation theory for $\psi$-differentiable functions in the metric weighted Orlicz spaces with weights, which belong to the class of Muckenhoupt.


title: Multiply periodic states and isolated skyrmions in an anisotropic frustrated magnet

abstract: Multiply periodic states appear in a wide variety of physical contexts, such as the Rayleigh-Benard convection, Faraday waves, liquid crystals, domain patterns in ferromagnetic films and skyrmion crystals recently observed in chiral magnets. Here we study a simple model of an anisotropic frustrated magnet and show that its zero-temperature phase diagram contains numerous multi-q states including the skyrmion crystal. We clarify the mechanism for stabilization of these states, discuss their multiferroic properties and formulate rules for finding new skyrmion materials. In addition to skyrmion crystal, we find stable isolated skyrmions with topological charge 1 and 2. Physics of isolated skyrmions in frustrated magnets is very rich. Their statical and dynamical properties are strongly affected by the new zero mode - skyrmion helicity.


title: Revealing latent factors of temporal networks for mesoscale intervention in epidemic spread

abstract: The customary perspective to reason about epidemic mitigation in temporal networks hinges on the identification of nodes with specific features or network roles. The ensuing individual-based control strategies, however, are difficult to carry out in practice and ignore important correlations between topological and temporal patterns. Here we adopt a mesoscopic perspective and present a principled framework to identify collective features at multiple scales and rank their importance for epidemic spread. We use tensor decomposition techniques to build an additive representation of a temporal network in terms of mesostructures, such as cohesive clusters and temporally-localized mixing patterns. This representation allows to determine the impact of individual mesostructures on epidemic spread and to assess the effect of targeted interventions that remove chosen structures. We illustrate this approach using high-resolution social network data on face-to-face interactions in a school and show that our method affords the design of effective mesoscale interventions.


title: Non-linear Plasma Wake Growth of Electron Holes

abstract: An object's wake in a plasma with small Debye length that drifts \emph{across} the magnetic field is subject to electrostatic electron instabilities. Such situations include, for example, the moon in the solar wind wake and probes in magnetized laboratory plasmas. The instability drive mechanism can equivalently be considered drift down the potential-energy gradient or drift up the density-gradient. The gradients arise because the plasma wake has a region of depressed density and electrostatic potential into which ions are attracted along the field. The non-linear consequences of the instability are analysed in this paper. At physical ratios of electron to ion mass, neither linear nor quasilinear treatment can explain the observation of large-amplitude perturbations that disrupt the ion streams well before they become ion-ion unstable. We show here, however, that electron holes, once formed, continue to grow, driven by the drift mechanism, and if they remain in the wake may reach a maximum non-linearly stable size, beyond which their uncontrolled growth disrupts the ions. The hole growth calculations provide a quantitative prediction of hole profile and size evolution. Hole growth appears to explain the observations of recent particle-in-cell simulations.


title: Direct Imaging of Complex Spin Ice Behavior and Ordered Sublattices in Artificial Ferromagnetic Quasicrystals

abstract: We have imaged magnetization textures of permalloy films patterned into Penrose P2 tilings (P2T) using scanning electron microscopy with polarization analysis (SEMPA). P2T film segments have near-uniform, bipolar magnetization, similar to artificial spin ices, but with asymmetric vertex coordination that induces a more complex spin ice behavior mediated by exchange interactions in vertex domain walls. Numerical simulations including long-range dipole interactions agree with SEMPA images of as-grown P2T, and predict a ferromagnetic ground state for a 2D P2T lattice of classical Ising spins.


title: F-theory Superspace

abstract: We consider, at the linearized level, the superspace formulation of lower-dimensional F-theory. In particular, we describe the embedding of 3D Type II supergravity of the superstring, or 4D, N=1 supergravity of M-theory, into the corresponding F-theory in full detail, giving the linearized action and gauge transformations in terms of the prepotential. This manifestly supersymmetric formulation reveals some features not evident from a component treatment, such as Weyl and local S-supersymmetry invariances. The linearized multiplet appears as a super 3-form (just as that for the manifestly T-dual theory is a super 2-form), reflecting the embedding of M-theory (as the T-dual theory embeds Type II supergravity). We also give the embedding of matter multiplets into this superspace, and derive the F-constraint from the gauge invariance of the gauge invariance.


title: Fully non-linear elliptic equations on compact Hermitian manifolds

abstract: We derive a priori estimates for solutions of a general class of fully non-linear equations on compact Hermitian manifolds. Our method is based on ideas that have been used for different specific equations, such as the complex Monge-Amp\`ere, Hessian and inverse Hessian equations. As an application we solve a class of Hessian quotient equations on K\"ahler manifolds assuming the existence of a suitable subsolution. The method also applies to analogous equations on compact Riemannian manifolds.


title: Electron-Phonon Coupling and Thermal Conductance at a Metal-Semiconductor Interface: First-principles Analysis

abstract: The mechanism of heat transfer and the contribution of electron-phonon coupling to thermal conductance of a metal-semiconductor interface remains unclear in the present literature. We report ab initio simulations of a technologically important titanium silicide (metal) - silicon (semiconductor) interface to estimate the Schottky barrier height (SBH), and the strength of electron-phonon and phonon-phonon heat transfer across the interface. The electron and phonon dispersion relations of TiSi$_2$ with C49 structure and the TiSi$_2$-Si interface are obtained using first-principles calculations within the density functional theory (DFT) framework. These are used to estimate electron-phonon linewidths and the associated Eliashberg function that quantifies coupling. We show that the coupling strength of electrons with interfacial phonon modes is of the same order of magnitude as coupling of electrons to phonon modes in the bulk metal, and its contribution to electron-phonon interfacial conductance is comparable to the harmonic phonon-phonon conductance across the interface.


title: A matrix ring with commuting graph of maximal diameter

abstract: The commuting graph of a semigroup is the set of non-central elements; the edges are defined as pairs $(u,v)$ satisfying $uv=vu$. We provide an example of a field $F$ and an integer $n$ such that the commuting graph of $\operatorname{Mat}_n(F)$ has maximal possible diameter, equal to six.