title: A signature of EeV protons of Galactic origin

abstract: We investigate signatures that would be produced in the spectrum and sky distribution of UHECR by a population of the Galactic sources of high-energy protons in the energy range around 1~EeV, i.e., around the diffusive-to-ballistic transition. In this regime, the CR flux has to be calculated numerically. We employ the approach that consists in backtracking anti-protons from Earth through the Galaxy and integrating the source emissivity along the trajectory. This approach makes evident two generic features of the transition region: sharp increase of the total flux as the energy decreases across the transition region, and its strong anisotropy (appearance of a bright compact spot) all the way until the onset of the diffusive regime. We then discuss and compare several methods to experimentally detect or constrain these features. We find that a few percent admixture of the Galactic protons can in principle be detected by the current UHECR experiments.


title: Langevin dynamics of vortex lines in the counterflowing He II. Talk given at the Low Temperature Conference, Kazan, 2015

abstract: The problem of the statistics of a set of chaotic vortex lines in a counterflowing superfluid helium is studied. We introduced a Langevin-type force into the equation of motion of the vortex line in presence of relative velocity $\mathbf{v_{ns}}$. This random force is supposed to be Gaussian satisfying the fluctuation-dissipation theorem. The corresponding Fokker-Planck equation for probability functional in the vortex loop configuration space is shown to have a solution in the form of Gibbs distribution with the substitution $E\{\mathbf{s\}\rightarrow }E(\{\mathbf{% s\}-P(v_{n}-v_{s})}$, where $E\{\mathbf{s\}}$ is the energy of the vortex configuration $\{\mathbf{s\}}$, and $\mathbf{P}$ is the Lamb impulse. Some physical consequences of this fact are discussed.\\ \newline PACS numbers: 47.32.C- (Vortex dynamics) 47.32.cf (Vortex reconnection and rings), 47.37.+q (Hydrodynamic aspects of superfluidity)


title: Spectroscopic subsystems in nearby wide binaries

abstract: Radial velocity (RV) monitoring of solar-type visual binaries has been conducted at the CTIO/SMARTS 1.5-m telescope to study short-period systems. Data reduction is described, mean and individual RVs of 163 observed objects are given. New spectroscopic binaries are discovered or suspected in 17 objects, for some of them orbital periods could be determined. Subsystems are efficiently detected even in a single observation by double lines and/or by the RV difference between the components of visual binaries. The potential of this detection technique is quantified by simulation and used for statistical assessment of 96 wide binaries within 67pc. It is found that 43 binaries contain at least one subsystem and the occurrence of subsystems is equally probable in either primary or secondary components. The frequency of subsystems and their periods match the simple prescription proposed by the author (2014, AJ, 147, 87). The remaining 53 simple wide binaries with a median projected separation of 1300AU have the distribution of the RV difference between their components that is not compatible with the thermal eccentricity distribution f(e)=2e but rather matches the uniform eccentricity distribution.


title: Frequency depending permittivity of the Coulomb system with Bose-Einstein condensate

abstract: The second-order singularity is found in the low-frequency region of the permittivity of a homogeneous and isotropic system of charged particles consisting of electrons and boson nuclei. This singularity is caused by the existence of a Bose-Einstein condensate for nuclei. The result obtained leads to the existence of the "nuclei superconductivity", which can be experimentally verified in superfluid He II. The results of the proposed an experiment can be considered as a direct proof of the existence of a Bose-Einstein condensate in superfluid He II.


title: General-relativistic force-free pulsar magnetospheres

abstract: Pulsar magnetospheres are shaped by ultra-relativistic electron/positron plasmas flowing in a strong magnetic field and subject to strong gravitational fields. The former induces magnetospheric currents and space charges responsible for the distortion of the electromagnetic field based on pure electrodynamics. The latter induces other perturbations in these fields based on space-time curvature. The force-free approximation describes the response of this magnetosphere to the presence of currents and charges and has been investigated by many authors. In this context, general relativity has been less discussed to quantify its influence on the neutron star electrodynamics. It is the purpose of this paper to compute general-relativistic force-free pulsar magnetospheres for realistic magnetic field configurations such as the inclined dipole. We performed time-dependent simulations of Maxwell equations in the 3+1 formalism of a stationary background metric in the slow-rotation approximation. We computed the resulting Poynting flux depending on the ratio~$R/\rlight$ and on frame-dragging through the spin parameter~$\as$, $R$ is the neutron star radius and $\rlight$ the light-cylinder radius. Both effects act together to increase the total Poynting flux seen by a distant observer by a factor up to~2 depending on the rotation rate. Moreover we retrieve the $\sin^2\chi$ dependence of this luminosity, $\chi$ being the obliquity of the pulsar, as well as a braking index close to $n=3$. We also show that the angular dependence of the Poynting flux scales like $\sin^2\vartheta$ for the aligned rotator but like $\sin^4\vartheta$ for the orthogonal rotator, $\vartheta$ being the colatitude.


title: Elementary particles in the early Universe

abstract: The high-temperature limit of Standard Model generated by the contractions of gauge groups is discussed. Contraction parameters of gauge group $SU(2)$ of Electroweak Model and gauge group $SU(3)$ of Quantum Chromodynamics are taken identical and tending to zero when temperature increase. Properties of the elementary particles change drastically at the infinite temperature limit: all particles lose masses, all quarks are monochromatic. Electroweak interactions become long-range and are mediated by the neutral currents. Particles of different kind do not interact. It looks like some stratification with only one sort of particles in each stratum. The Standard Model passes in this limit through several stages, which are distinguished by the powers of contraction parameter. For any stage the intermediate models are constructed and the exact expressions for the respective Lagrangians are presented. The developed approach describes the evolution of Standard Model in the early Universe from the Big Bang up to the end of several nanoseconds.


title: Electrical Structure of Biological Cells and Tissues: impedance spectroscopy, stereology, and singular perturbation theory

abstract: Impedance Spectroscopy resolves electrical properties into uncorrelated variables, as a function of frequency, with exquisite resolution. Separation is robust and most useful when the system is linear. Impedance spectroscopy combined with appropriate structural knowledge provides insight into pathways for current flow, with more success than other methods. Biological applications of impedance spectroscopy are often not useful since so much of biology is strongly nonlinear in its essential features, and impedance spectroscopy is fundamentally a linear analysis. All cells and tissues have cell membranes and its capacitance is both linear and important to cell function. Measurements proved straightforward in skeletal muscle, cardiac muscle, and lens of the eye. In skeletal muscle, measurements provided the best estimates of the predominant (cell) membrane system that dominates electrical properties. In cardiac muscle, measurements showed definitively that classical microelectrode voltage clamp could not control the potential of the predominant membranes, that were in the tubular system separated from the extracellular space by substantial distributed resistance. In the lens of the eye, impedance spectroscopy changed the basis of all recording and interpretation of electrical measurements and laid the basis for Rae and Mathias extensive later experimental work. Many tissues are riddled with extracellular space as clefts and tubules, for example, cardiac muscle, the lens of the eye, most epithelia, and of course frog muscle. These tissues are best analyzed with a bidomain theory that arose from the work on electrical structure described here. There has been a great deal of work since then on the bi-domain and this represents the most important contribution to biology of the analysis of electrical structure in my view.


title: Cubic Self-inversive Polynomials whose roots envelope conics

abstract: We study a one parameter family of cubic self-inversive polynomials that "envelope" conic sections in the following sense. Provided the three roots of the polynomial lie on the unit circle, when you draw the triangle connecting the roots, the sides of the triangle, or extensions thereof, will all be tangent to the same ellipse or hyperbola independent of the parameter.


title: Tunability of the Berry phase in gapped graphene

abstract: When a gap of tunable size opens at the conic band intersections of graphene, the Berry phase does not vanish abruptly, but progressively decreases as the gap increases. The phase depends on the reciprocal-space path radius, i.e., for a doped system, the Fermi wave vector. The phase and its observable consequences can thus be tuned continuously via gap opening --by a modulating potential induced by strain, epitaxy, or nanostructuration-- and doping adjustment.


title: Considerations on the electromagnetic field wave equation and the Dirac equation

abstract: Here is constructed a heuristic, first-order differential equation for the electromagnetic field in the vacuum, based on a phenomenological \textsl{ad hoc} argument. The formal similarity between this \textsl{ad hoc} wave equation and the Dirac equation is explored.


title: A Family of Blockwise One-Factor Distributions for Modelling High-Dimensional Binary Data

abstract: We introduce a new family of one factor distributions for high-dimensional binary data. The model provides an explicit probability for each event, thus avoiding the numeric approximations often made by existing methods. Model interpretation is easy since each variable is described by two continuous parameters (corresponding to its marginal probability and to its strength of dependency with the other variables) and by one binary parameter (defining if the dependencies are positive or negative). An extension of this new model is proposed by assuming that the variables are split into independent blocks which follow the new one factor distribution. Parameter estimation is performed by the inference margin procedure where the second step is achieved by an expectation-maximization algorithm. Model selection is carried out by a deterministic approach which strongly reduces the number of competing models. This approach uses a hierarchical ascendant classification of the variables based on the empirical version of Cramer's V for selecting a narrow subset of models. The consistency of such procedure is shown. The new model is evaluated on numerical experiments and on a real data set. The procedure is implemented in the R package MvBinary available on CRAN.


title: Asymptotic Approximations for TCP Compound

abstract: In this paper, we derive an approximation for throughput of TCP Compound connections under random losses. Throughput expressions for TCP Compound under a deterministic loss model exist in the literature. These are obtained assuming the window sizes are continuous, i.e., a fluid behaviour is assumed. We validate this model theoretically. We show that under the deterministic loss model, the TCP window evolution for TCP Compound is periodic and is independent of the initial window size. We then consider the case when packets are lost randomly and independently of each other. We discuss Markov chain models to analyze performance of TCP in this scenario. We use insights from the deterministic loss model to get an appropriate scaling for the window size process and show that these scaled processes, indexed by p, the packet error rate, converge to a limit Markov chain process as p goes to 0. We show the existence and uniqueness of the stationary distribution for this limit process. Using the stationary distribution for the limit process, we obtain approximations for throughput, under random losses, for TCP Compound when packet error rates are small. We compare our results with ns2 simulations which show a good match.


title: Ho\v{r}ava's quantum gravity illustrated by embedding diagrams of the Kehagias-Sfetsos spacetimes

abstract: Possible astrophysical consequences of the Ho\v{r}ava quantum gravity theory have been recently studied by several authors. They usually employ the Kehagias-Sfetsos (KS) spacetime which is a spherically symmetric vacuum solution of a specific version of Ho\v{r}ava's gravity. The KS metric has several unusual geometrical properties that in the present article we examine by means of the often used technique of embedding diagrams. We pay particular attention to the transition between naked singularity and black-hole states, which is possible along some particular sequences of the KS metrics.


title: A Runge-Kutta discontinuous Galerkin scheme for hyperbolic conservation laws with discontinuous fluxes

abstract: The paper proposes a scheme by combining the Runge-Kutta discontinuous Galerkin method with a {\delta}-mapping algorithm for solving hyperbolic conservation laws with discontinuous fluxes. This hybrid scheme is particularly applied to nonlinear elasticity in heterogeneous media and multi-class traffic flow with inhomogeneous road conditions. Numerical examples indicate the scheme's efficiency in resolving complex waves of the two systems. Moreover, the discussion implies that the so-called {\delta}-mapping algorithm can also be combined with any other classical methods for solving similar problems in general.


title: Universality classes of foraging with resource renewal

abstract: We determine the impact of resource renewal on the lifetime of a forager that depletes its environment and starves if it wanders too long without eating. In the framework of the minimal starving random walk model with resource renewal, there are three universal classes of behavior as a function of the renewal time. For sufficiently rapid renewal, foragers are immortal, while foragers have a finite lifetime otherwise. In one dimension, there is a third regime, for sufficiently slow renewal, in which the lifetime of the forager is independent of the renewal time. We outline an enumeration method to determine the mean lifetime of the forager in the mortal regime.


title: Edge-state Blockade of Transport in Quantum Dot Arrays

abstract: We propose a transport blockade mechanism in quantum dot arrays and conducting molecules based on an interplay of Coulomb repulsion and the formation of edge states. As a model we employ a dimer chain that exhibits a topological phase transition. The connection to a strongly biased electron source and drain enables transport. We show that the related emergence of edge states is manifest in the shot noise properties as it is accompanied by a crossover from bunched electron transport to a Poissonian process. For both regions we develop a scenario that can be captured by a rate equation. The resulting analytical expressions for the Fano factor agree well with the numerical solution of a full quantum master equation.


title: Surface Tension Supported Floating of Heavy Objects: Why Elongated Bodies Float Better?

abstract: Floating of bodies heavier than the supporting liquid is discussed. Floating of cylindrical, ellipsoidal bodies and rectangular plates possessing lateral dimensions smaller than the capillary length is treated. It is demonstrated that more elongated bodies of a fixed volume are better supported by capillary forces, due to the increase in the perimeter of the triple line. Thus, floating of metallic needles obtains reasonable explanation.


title: Searches for Relativistic Magnetic Monopoles in IceCube

abstract: Various extensions of the Standard Model motivate the existence of stable magnetic monopoles that could have been created during an early high-energy epoch of the Universe. These primordial magnetic monopoles would be gradually accelerated by cosmic magnetic fields and could reach high velocities that make them visible in Cherenkov detectors such as IceCube. Equivalently to electrically charged particles, magnetic monopoles produce direct and indirect Cherenkov light while traversing through matter at relativistic velocities. This paper describes searches for relativistic (v>0.76c) and mildly relativistic (v>0.51c) monopoles, each using one year of data taken in 2008/09 and 2011/12 respectively. No monopole candidate was detected. For a velocity above 0.51c the monopole flux is constrained down to a level of 1.55x10^-18 cm-2 s-1 sr-1. This is an improvement of almost two orders of magnitude over previous limits.


title: The new explanation of cluster synchronization in the generalized Kuramoto system

abstract: The cluster synchronization is a very important characteristic for the higher harmonic coupling Kuramoto system. A novel transformation is provided, and it gives cluster synchronization by the periodic properties of the density function. The periodic properties of the density function also make the cluster sections' boundaries barrier-like, which helps to explain the sensitiveness of cluster synchronization on the initial conditions of the oscillators. Detailed numerical studies confirm the theoretical predictions from this new view of the symmetry transformation. The work is very beneficial to the further study on cluster synchronization in various systems.


title: Observational biases in flux magnification measurements

abstract: Flux magnification is an interesting complement to shear-based lensing measurements, especially at high redshift where sources are harder to resolve. One measures either changes in the source density (magnification bias) or in the shape of the flux distribution (e.g. magnitude-shift). The interpretation of these measurements relies on theoretical estimates of how the observables change under magnification. Here we present simulations to create multi-band photometric mock catalogues of Lyman-break galaxies in a CFHTLenS-like survey that include several observational effects that can change these relations, making simple theoretical estimates unusable. In particular, we show how the magnification bias can be affected by photometric noise, colour selection, and dust extinction. We find that a simple measurement of the slope of the number-counts is not sufficient for the precise interpretation of virtually all observations of magnification bias. We also explore how sensitive the shift in the mean magnitude of a source sample in different photometric bands is to magnification including the same observational effects. Again we find significant deviations from simple analytical estimates. We also discover a wavelength-dependence of the magnitude-shift effect when applied to a colour-selected noisy source sample. Such an effect can mimic the reddening by dust in the lens. It has to be disentangled from the dust extinction before the magnitude-shift/colour-excess can be used to measure the distribution of either dark matter or extragalactic dust. Using simulations like the ones presented here these observational effects can be studied and eventually removed from observations making precise measurements of flux magnification possible.


title: A N-Body Solver for Free Mesh Interpolation

abstract: Factorization of the Gaussian RBF kernel is developed for free-mesh interpolation in the flat, polynomial limit corresponding to Taylor expansion and the Vandermonde basis of geometric moments. With this spectral approximation, a top-down octree-scoping of an interpolant is found by recursively decomposing the residual, similar to the work of Driscoll and Heryudono (2007), except that in the current approach the grid is decoupled from the low rank approximation, allowing partial separation of sampling errors (the mesh) from representation errors (the polynomial order). Then, it is possible to demonstrate roughly 5 orders of magnitude improvement in free-mesh interpolation errors for the three-dimensional Franke function, relative to previous benchmarks. As in related work on $N$-body methods for factorization by square root iteration (Challacombe 2015), some emphasis is placed on resolution of the identity.


title: Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions

abstract: Industries such as flexible manufacturing and home care will be transformed by the presence of robotic assistants. Assurance of safety and functional soundness for these robotic systems will require rigorous verification and validation. We propose testing in simulation using Coverage-Driven Verification (CDV) to guide the testing process in an automatic and systematic way. We use a two-tiered test generation approach, where abstract test sequences are computed first and then concretized (e.g., data and variables are instantiated), to reduce the complexity of the test generation problem. To demonstrate the effectiveness of our approach, we developed a testbench for robotic code, running in ROS-Gazebo, that implements an object handover as part of a human-robot interaction (HRI) task. Tests are generated to stimulate the robot's code in a realistic manner, through stimulating the human, environment, sensors, and actuators in simulation. We compare the merits of unconstrained, constrained and model-based test generation in achieving thorough exploration of the code under test, and interesting combinations of human-robot interactions. Our results show that CDV combined with systematic test generation achieves a very high degree of automation in simulation-based verification of control code for robots in HRI.


title: The billiard inside an ellipse deformed by the curvature flow

abstract: The billiard dynamics inside an ellipse is integrable. It has zero topological entropy, four separatrices in the phase space, and a continuous family of convex caustics: the confocal ellipses. We prove that the curvature flow destroys the integrability, increases the topological entropy, splits the separatrices in a transverse way, and breaks all resonant convex caustics.


title: The next generation of FETs: CNTFETs

abstract: In this paper we present an exhaustive description of the basic types of CNTFETs. In particular we review two models, already proposed by us, which allow an easy implementation in circuit simulators, both in analog and in digital applications.


title: In Vitro Durability - Pivot bearing with Diamond Like Carbon for Ventricular Assist Devices

abstract: Institute Dante Pazzanese of Cardiology (IDPC) develops Ventricular Assist Devices (VAD) that can stabilize the hemodynamics of patients with severe heart failure before, during and/or after the medical practice; can be temporary or permanent. The ADV's centrifugal basically consist of a rotor suspended for system pivoting bearing; the PIVOT is the axis with movement of rotational and the bearing is the bearing surface. As a whole system of an implantable VAD should be made of long-life biomaterial so that there is no degradation or deformation during application time; surface modification techniques have been widely studied and implemented to improve properties such as biocompatibility and durability of applicable materials. The Chemical Vapour Deposition technique allows substrates having melting point higher than 300 {\deg}C to be coated, encapsulated, with a diamond like carbon film (DLC); The test simulated the actual conditions in which the system of support remains while applying a ADV. The results have been prepared on a comparative basis; where you select the pivoting assembly which showed less deformation by abrasive wear.


title: The maximum force in a column under constant speed compression

abstract: Dynamic buckling of an elastic column under compression at constant speed is investigated assuming the first-mode buckling. Two cases are considered: (i) an imperfect column (Hoff's statement), and (ii) a perfect column having an initial lateral deflection. The range of parameters, where the maximum load supported by a column exceeds Euler static force is determined. In this range, the maximum load is represented as a function of the compression rate, slenderness ratio, and imperfection/initial deflection. Considering the results we answer the following question: "How slowly the column should be compressed in order to measure static load-bearing capacity?" This question is important for the proper setup of laboratory experiments and computer simulations of buckling. Additionally, it is shown that the behavior of a perfect column having an initial deflection differ significantlys form the behavior of an imperfect column. In particular, the dependence of the maximum force on the compression rate is non-monotonic. The analytical results are supported by numerical simulations and available experimental data.


title: Measures of irrationality for hypersurfaces of large degree

abstract: We study various measures of irrationality for hypersurfaces of large degree in projective space and other varieties. These include the least degree of a rational covering of projective space, and the minimal gonality of a covering family of curves. The theme is that positivity properties of canonical bundles lead to lower bounds on these invariants. In particular, we prove that if X is a very general smooth hypersurface of dimension n and degree d \ge 2n+1, then any dominant rational mapping from X to projective n-space must have degree at least d-1. We also propose a number of open problems, and we show how our methods lead to simple new proofs of results of Ran and Beheshti-Eisenbud.


title: Fully nonlinear cosmological perturbations of multi-component fluid and field systems

abstract: We present fully nonlinear and exact cosmological perturbation equations in the presence of multiple components of fluids and minimally coupled scalar fields. We ignore the tensor-type perturbation. The equations are presented without taking the temporal gauge condition in the Friedmann background with general curvature and the cosmological constant. For each fluid component we ignore the anisotropic stress. The multiple component nature, however, introduces the anisotropic stress in the collective fluid quantities. We prove the Newtonian limit of multiple fluids in the zero-shear gauge and the uniform-expansion gauge conditions, present the Newtonian hydrodynamic equations in the presence of general relativistic pressure in the zero-shear gauge, and present the fully nonlinear equations and the third-order perturbation equations of the nonrelativistic pressure fluids in the CDM-comoving gauge.


title: Optimal Triangulation of Saddle Surfaces

abstract: We consider the piecewise linear approximation of saddle functions of the form $f(x,y)=ax^2-by^2$ under the L-infinity error norm. We show that interpolating approximations are not optimal. One can get slightly smaller errors by allowing the vertices of the approximation to move away from the graph of the function.


title: Partial vs. integer electron transfer in molecular assemblies: On the importance of a multideterminant theoretical description and the necessity to find a solution within DFT

abstract: Nonequilibrium Greens function techniques (NEGF) combined with density functional theory (DFT) calculations have become a standard tool for the description of electron transport through single molecule nanojunctions in the coherent tunneling regime. However, the applicability of these methods for transport in the Coulomb blockade regime is questionable. For a molecular assembly model, with multideterminant calculations as a benchmark, we show how a closed shell ansatz, the usual ingredient of meanfield methods, fails to properly describe the step like electron transfer characteristic in weakly coupled systems. Detailed analysis of this misbehavior allows us to propose a practical scheme to extract the addition energies in the CB regime for single-molecule junctions from NEGF DFT within the local density approximation (closed shell). We show also that electrostatic screening effects are taken into account within this simple approach.


title: Quantum One-Time Memories from Stateless Hardware

abstract: A central tenet of theoretical cryptography is the study of the minimal assumptions required to implement a given cryptographic primitive. One such primitive is the one-time memory (OTM), introduced by Goldwasser, Kalai, and Rothblum [CRYPTO 2008], which is a classical functionality modeled after a non-interactive 1-out-of-2 oblivious transfer, and which is complete for one-time classical and quantum programs. It is known that secure OTMs do not exist in the standard model in both the classical and quantum settings. Here, we show how to use quantum information, together with the assumption of stateless (i.e., reusable) hardware tokens, to build statistically secure OTMs. This is in sharp contrast with the classical case, where stateless hardware tokens alone cannot yield OTMs. In addition, our scheme is technologically simple. We prove security in the quantum universal composability framework, employing semi-definite programming results of Molina, Vidick and Watrous [TQC 2013] and combinatorial techniques of Pastawski et al. [Proc. Natl. Acad. Sci. 2012].


title: Current-induced spin polarization in topological insulator-graphene heterostructures

abstract: Further development of the field of all-electric spintronics requires the successful integration of spin transport channels with spin injector/generator elements. While with the advent of graphene and related 2D materials high performance spin channel materials are available, the use of nanostructured spin generators remains a major challenge. Especially promising for the latter purpose are 3D topological insulators, whose 2D surface states host massless Dirac fermions with spin-momentum locking. Here, we demonstrate injection of spin-polarized current from a topological insulator into graphene, enabled by its intimate coupling to an ultrathin Bi2Te2Se nanoplatelet within a van der Waals epitaxial heterostructure. The spin switching signal, whose magnitude scales inversely with temperature, is detectable up to ~15 K. Our findings establish topological insulators as prospective future components of spintronic devices wherein spin manipulation is achieved by purely electrical means.


title: Optimal energy storing and selling in continuous time stochastic multi-battery setting

abstract: The paper suggests a new stochastic model for energy producing, dispatching, and storing in the multi-battery setting that takes into account the topology of the system of the links between the batteries, the transmission and storage losses, and requirements for special regimes for batteries charging and discharging helping to prolong batteries life. For this model, the problem of optimal energy storing and dispatching is considered and solved using dynamic programming and duality methods.


title: Gonality of curves on fundamental loci of first order congruences (Appendix to article of Ein, Lazarsfeld and Ullery)

abstract: This note is an appendix to 'Measures of irrationality for hypersurfaces of large degree' by L. Ein, R. Lazarsfeld and B. Ullery. We prove an existence result for families of curves having low gonality, and lying on fundamental loci of first order congruences of lines in $\mathbb{P}^{n+1}$. As an application, we follow the ideas of the main paper, and we present a slight refinement of a theorem included in it. In particular, we show that given a very general hypersurface $X\subset \mathbb{P}^{n+1}$ of degree $d \geq 3n-2 \geq 7$, and a dominant rational map $f \colon X \dashrightarrow \mathbb{P}^{n}$, then $deg(f) \geq d-1$, and equality holds if and only if $f$ is the projection from a point of $X$.


title: A partially wetting film of water and surfactant under the influence of a propagating MHz surface acoustic wave

abstract: We use both theory and experiment to study the response of {\it partially wetting} films of water and surfactant solutions to a propagating MHz vibration in the solid substrate in the form of a Rayleigh surface acoustic wave (SAW). The SAW invokes a drift of mass in the liquid film, which is associated with the Schlichting boundary layer flow (also known as the Schlichting streaming). We study thin films that are governed by a balance between the drift and capillary stress alone. We demonstrate weak capillary contributions, such as for silicon oil films, support dynamic wetting and lead to the spreading of the liquid over the solid substrate along the path of the SAW. Strong capillary contributions, such as for water films, support however a concurrent dynamic wetting and dewetting along the path of the SAW, such that the film displace along the solid substrate. In addition, such films may support the formation of a capillary train-wave that propagate along the the same path. We further note the mechanism for film dynamics we discuss here is different to the more familiar Eckart streaming mechanism, which is associated with a film thickness that is greater than the wavelength of the sound leakage off the SAW and usually observed to support the motion of drops. The thickness of the films we discuss here is small in respect to the wavelength of the sound leakage, rendering contributions from the Eckart streaming, acoustic radiation pressure, and the attenuation of the SAW small.


title: Equivalence Checking By Logic Relaxation

abstract: We introduce a new framework for Equivalence Checking (EC) of Boolean circuits based on a general technique called Logic Relaxation (LoR). The essence of LoR is to relax the formula to be solved and compute a superset S of the set of new behaviors. Namely, S contains all new satisfying assignments that appeared due to relaxation and does not contain assignments satisfying the original formula. Set S is generated by a procedure called partial quantifier elimination. If all possible bad behaviors are in S, the original formula cannot have them and so the property described by this formula holds. The appeal of EC by LoR is twofold. First, it facilitates generation of powerful inductive proofs. Second, proving inequivalence comes down to checking the presence of some bad behaviors in the relaxed formula i.e. in a simpler version of the original formula. We give some experimental evidence that supports our approach.


title: Performance evaluation of the cavities on nucleate boiling at microscale level

abstract: Nucleate boiling heat transfer (NBHT) from enhanced structures is an effective way to dissipate high heat flux. In the present study, the cavities behaviours for nucleation on roughened surface are numerically studied on the entire ebullition cycle based on a phase-change lattice Boltzmann method without introducing any artificial disturbances. The adopted model is firstly validated with the Laplace law and the two phase coexistence curve, and then applied to investigate the effects of cavity structure on NBHT. The bubble departure diameter, departure frequency and total boiling heat flux of an ebullition cycle are also explored. It is demonstrated that the cavity widths and the cavity grooves show significant influence on the features of NBHT. Cavity with circular groove in the present research shows the best performance for NBHT in terms of the averaged heat flux and bubble release frequency. When a specific cavity is combined with other different cavities on roughened surfaces its nucleation process on different roughened surfaces may differ greatly.


title: Crystalline geometries from fermionic vortex lattice with hyperscaling violation

abstract: We analytically consider the spontaneous formation of a fermionic crystalline geometry in a gravity background with Lifshitz scaling and/or hyperscaling violation. Fermionic vortex lattice solution sourced by the lowest Laundau level has been obtained. Thermodynamic analysis shows that the fermionic vortex lattice favors a triangular configuration, regardless of the values of the Lifshitz scaling $z$ and the hyperscaling violation exponent $\theta$. Our results also show that the larger $z$ or lower $\theta$ leads to more stable lattices thermodynamically.


title: A first principles investigation of cubic BaRuO$_3$: A Hund's metal

abstract: A first-principles investigation of cubic-BaRuO$_3$, by combining density functional theory with dynamical mean-field theory and a hybridization expansion continuous time quantum Monte-Carlo solver, has been carried out. Non-magnetic calculations with appropriately chosen on-site Coulomb repulsion, $U$ and Hund's exchange, $J$, for single-particle dynamics and static susceptibility show that cubic-BaRuO$_3$ is in a spin-frozen state at temperatures above the ferromagnetic transition point. A strong red shift with increasing $J$ of the peak in the real frequency dynamical susceptibility indicates a dramatic suppression of the Fermi liquid coherence scale as compared to the bare parameters in cubic-BaRuO$_3$. The self-energy also shows clear deviation from Fermi liquid behaviour that manifests in the single-particle spectrum. Such a clean separation of energy scales in this system provides scope for an incoherent spin-frozen (SF) phase, that extends over a wide temperature range, to manifest in non-Fermi liquid behaviour and to be the precursor for the magnetically ordered ground state.


title: A counterexample to a result on the tree graph of a graph

abstract: Given a set of cycles C of a graph G, the tree graph of G defined by C is the graph T(G,C) whose vertices are the spanning trees of G and in which two trees R and S are adjacent if the union of R and S contains exactly one cycle and this cycle lies in C. Li et al [Discrete Math 271 (2003), 303--310] proved that if the graph T(G,C) is connected, then C cyclically spans the cycle space of G. Later, Yumei Hu [Proceedings of the 6th International Conference on Wireless Communications Networking and Mobile Computing (2010), 1--3] proved that if C is an arboreal family of cycles of G which cyclically spans the cycle space of a $2$-connected graph G, then T(G, C) is connected. In this note we present an infinite family of counterexamples to Hu's result.


title: On the stability threshold for the 3D Couette flow in Sobolev regularity

abstract: We study Sobolev regularity disturbances to the periodic, plane Couette flow in the 3D incompressible Navier-Stokes equations at high Reynolds number $\textbf{Re}$. Our goal is to estimate how the stability threshold scales in $\textbf{Re}$: the largest the initial perturbation can be while still resulting in a solution that does not transition away from Couette flow. In this work we prove that initial data which satisfies $\| u_{in} \|_{H^\sigma} \leq \delta\textbf{Re}^{-3/2}$ for any $\sigma > 9/2$ and some $\delta = \delta(\sigma) > 0$ depending only on $\sigma$, is global in time, remains within $O(\textbf{Re}^{-1/2})$ of the Couette flow in $L^2$ for all time, and converges to the class of "2.5 dimensional" streamwise-independent solutions referred to as streaks for times $t \gtrsim \textbf{Re}^{1/3}$. Numerical experiments performed by Reddy et. al. with "rough" initial data estimated a threshold of $\sim \textbf{Re}^{-31/20}$, which shows very close agreement with our estimate.


title: Distributional Boundary Values: Some New Perspectives

abstract: We discuss without proof some recent advances in the theory of distributional boundary values, and give an example to show that the condition that a piecewise smooth domain has generic corners is necessary for the existence of boundary values.


title: Effect of Aberration of Light in X-ray Free Electron Lasers

abstract: We discuss the physics of a microbunched electron beam kicked by the dipole field of a corrector magnet by describing the kinematics of coherent undulator radiation after the kick. Particle tracking shows that the electron beam direction changes after the kick, while the orientation of the microbunching wavefront stays unvaried. Therefore, electrons motion and wavefront normal have different directions. Coherent radiation emission in a downstream undulator is expected to be dramatically suppressed as soon as the kick angle becomes larger than the divergence of the output radiation. In fact, according to conventional treatments, coherent radiation is emitted along the normal to the microbunching wavefront. Here we show that kinematics predicts a surprising effect. Namely, a description of coherent undulator radiation in the laboratory frame yields the radical notion that, due light aberration, strong coherent radiation is produced along the direction of the kick. We hold a recent FEL study made at the LCLS as a direct experimental evidence that coherent undulator radiation can be kicked by an angle of about five times the rms radiation divergence without suppression. We put forward our kinematical description of this experiment.


title: Topology of foliations and decomposition of stochastic flows of diffeomorphisms

abstract: Let $M$ be a compact manifold equipped with a pair of complementary foliations, say horizontal and vertical. In Catuogno, Silva and Ruffino ($Stoch$. $Dyn$., 2013) it is shown that, up to a stopping time $\tau$, a stochastic flow of local diffeomorphisms $\varphi_t$ in $M$ can be written as a Markovian process in the subgroup of diffeomorphisms which preserve the horizontal foliation composed with a process in the subgroup of diffeomorphisms which preserve the vertical foliation. Here, we discuss topological aspects of this decomposition. The main result guarantees the global decomposition of a flow if it preserves the orientation of a transversely orientable foliation. In the last section, we present an It\^o-Liouville formula for subdeterminants of linearised flows. We use this formula to obtain sufficient conditions for the existence of the decomposition for all $t\geq 0$.


title: Fluctuations in horizon-fluid lead to negative bulk viscosity

abstract: Einstein equations projected on to a black hole horizon gives rise to Navier-Stokes equations. Horizon-fluids typically possess unusual features like negative bulk viscosity and it is not clear whether a statistical mechanical description exists for such fluids. In this work, we provide an explicit derivation of the Bulk viscosity of the horizon-fluid based on the theory of fluctuations a la Kubo. The main advantage of our approach is that our analysis remains for the most part independent of the details of the underlying microscopic theory and hence the conclusions reached here are model independent. We show that the coefficient of bulk viscosity for the horizon-fluid matches exactly with the value found from the equations of motion for the horizon-fluid.


title: On the notion of spectral decomposition in local geometric Langlands

abstract: The geometric Langlands program is distinguished in assigning spectral decompositions to all representations, not only the irreducible ones. However, it is not even clear what is meant by a spectral decomposition when one works with non-abelian reductive groups and with ramification. The present work is meant to clarify the situation, showing that the two obvious candidates for such a notion coincide. More broadly, we study the moduli space of (possibly irregular) de Rham local systems from the perspective of homological algebra. We show that, in spite of its infinite-dimensional nature, this moduli space shares many of the nice features of an Artin stack. Less broadly, these results support the belief in the existence of a version of geometric Langlands allowing arbitrary ramification. Along the way, we give some apparently new, if unsurprising, results about the algebraic geometry of the moduli space of connections, using Babbitt-Varadarajan's reduction theory for differential equations.


title: Fully polynomial-time parameterized computations for graphs and matrices of low treewidth

abstract: We investigate the complexity of several fundamental polynomial-time solvable problems on graphs and on matrices, when the given instance has low treewidth; in the case of matrices, we consider the treewidth of the graph formed by non-zero entries. In each of the considered cases, the best known algorithms working on general graphs run in polynomial time, however the exponent of the polynomial is large. Therefore, our main goal is to construct algorithms with running time of the form $\textrm{poly}(k)\cdot n$ or $\textrm{poly}(k)\cdot n\log n$, where $k$ is the width of the tree decomposition given on the input. Such procedures would outperform the best known algorithms for the considered problems already for moderate values of the treewidth, like $O(n^{1/c})$ for some small constant $c$. Our results include: -- an algorithm for computing the determinant and the rank of an $n\times n$ matrix using $O(k^3\cdot n)$ time and arithmetic operations; -- an algorithm for solving a system of linear equations using $O(k^3\cdot n)$ time and arithmetic operations; -- an $O(k^3\cdot n\log n)$-time randomized algorithm for finding the cardinality of a maximum matching in a graph; -- an $O(k^4\cdot n\log^2 n)$-time randomized algorithm for constructing a maximum matching in a graph; -- an $O(k^2\cdot n\log n)$-time algorithm for finding a maximum vertex flow in a directed graph. Moreover, we give an approximation algorithm for treewidth with time complexity suited to the running times as above. Namely, the algorithm, when given a graph $G$ and integer $k$, runs in time $O(k^7\cdot n\log n)$ and either correctly reports that the treewidth of $G$ is larger than $k$, or constructs a tree decomposition of $G$ of width $O(k^2)$.


title: Isogeometric approach for nonlinear bending and post-buckling analysis of functionally graded plates under thermal environment

abstract: In this paper, equilibrium and stability equations of functionally graded material (FGM) plate under thermal environment are formulated based on isogeometric analysis (IGA) in combination with higher-order shear deformation theory (HSDT). The FGM plate is made by a mixture of two distinct components, for which material properties not only vary continuously through thickness according to a power-law distribution but also are assumed to be a function of temperature. Temperature field is assumed to be constant in any plane and uniform, linear and nonlinear through plate thickness, respectively. The governing equation is in nonlinear form based on von Karman assumption and thermal effect. A NURBS-based isogeometric finite element formulation is utilized to naturally fulfil the rigorous C1-continuity required by the present plate model. Influences of gradient indices, boundary conditions, temperature distributions, material properties, length-to-thickness ratios on the behaviour of FGM plate are discussed in details. Numerical results demonstrate excellent performance of the present approach.


title: On the Stability and Gelfand Property of Symmetric Pairs

abstract: A symmetric pair of reductive groups $(G,H,\theta)$ is called stable, if every closed double coset of $H$ in $G$ is preserved by the anti-involution $g\mapsto \theta(g^{-1})$. In this paper, we develop a method to verify the stability of symmetric pairs over local fields of characteristic 0 (Archimedean and $p$-adic), using non-abelian group cohomology. Combining our method with results of Aizenbud and Gourevitch, we classify the Gelfand pairs among the pairs \begin{align*} &(SL_n(F), (GL_k(F) \times GL_{n - k}(F)) \cap SL_n(F)), (U(B_1 \oplus B_2),U(B_1) \times U(B_2)),\\ &(GL_n(F),O(B)), (GL_n(F),U(B)), (GL_{2n}(F), GL_n(E)),(SL_{2n}(F), SL_n(E)), \end{align*} and the pair $(O(B_1 \oplus B_2),O(B_1) \times O(B_2))$ in the real case.


title: State Flip at Exceptional Points in Atomic Spectra

abstract: We study the behavior of the non-adiabatic population transfer between resonances at an exceptional point in the spectrum of the hydrogen atom. It is known that, when the exceptional point is encircled, the system always ends up in the same state, independent of the initial occupation within the two-dimensional subspace spanned by the states coalescing at the exceptional point. We verify this behavior for a realistic quantum system, viz. the hydrogen atom in crossed electric and magnetic fields. It is also shown that the non-adiabatic hypothesis can be violated when resonances in the vicinity are taken into account. In addition, we study the non-adiabatic population transfer in the case of a third-order exceptional point, in which three resonances are involved.


title: Weak Godel's incompleteness property for some decidable versions of the calculus of relations

abstract: Relativization is one of the central topics in the study of algebras of relations. Some relativized relation algebras behave much nicer than the original relation algebras. In this paper, we study the atomicity of the finitely generated free algebras of these nice classes of relativized relation algebras. In particular, we give an answer for the open problem, posed by I. Nemeti in 1985, which asks whether the finitely generated free algebras of the class of the weak associative relation algebras WA are atomic or not.


title: A multiplexed light-matter interface for fibre-based quantum networks

abstract: Processing and distributing quantum information using photons through fibre-optic or free-space links is essential for building future quantum networks. The scalability needed for such networks can be achieved by employing photonic quantum states that are multiplexed into time and/or frequency, and light-matter interfaces that are able to store and process such states with large time-bandwidth product and multimode capacities. Despite important progress in developing such devices, the demonstration of these capabilities using non-classical light remains challenging. Employing the atomic frequency comb quantum memory protocol in a cryogenically cooled erbium-doped optical fibre, we report the quantum storage of heralded single photons at a telecom-wavelength (1.53 {\mu}m) with a time-bandwidth product approaching 800. Furthermore we demonstrate frequency-multimode storage as well as memory-based spectral-temporal photon manipulation. Notably, our demonstrations rely on fully integrated quantum technologies operating at telecommunication wavelengths, i.e. a fibre-pigtailed nonlinear waveguide for the generation of heralded single photons, an erbium-doped fibre for photon storage and manipulation, and fibre interfaced superconducting nanowire devices for efficient single photon detection. With improved storage efficiency, our light-matter interface may become a useful tool in future quantum networks.


title: Several integrals of quaternionic field on hyperbolic matrix space

abstract: Some integrals of matrix spaces over a quaternionic field have been calculated in this work. The associated volume of hyperbolic matrix spaces over a quaternionic field has also been calculated by making use of these integrals, and it is of great significance in calculating related kernel functions of these spaces.


title: Hecke algebras and $p$-adic groups

abstract: This survey article, is written as an extended note and supplement of my lectures in the current developments in mathematics conference in 2015. We discuss some recent developments on the conjugacy classes of affine Weyl groups and $p$-adic groups, and some applications to Shimura varieties and to representations of affine Hecke algebras.


title: Holographic Reconstruction of 3D Flat Space-Time

abstract: We study asymptotically flat space-times in 3 dimensions for Einstein gravity near future null infinity and show that the boundary is described by Carrollian geometry. This is used to add sources to the BMS gauge corresponding to a non-trivial boundary metric in the sense of Carrollian geometry. We then solve the Einstein equations in a derivative expansion and derive a general set of equations that take the form of Ward identities. Next, it is shown that there is a well-posed variational problem at future null infinity without the need to add any boundary term. By varying the on-shell action with respect to the metric data of the boundary Carrollian geometry we are able to define a boundary energy-momentum tensor at future null infinity. We show that its diffeomorphism Ward identity is compatible with Einstein's equations. There is another Ward identity that states that the energy flux vanishes. It is this fact that is responsible for the enhancement of global symmetries to the full BMS$_3$ algebra when we are dealing with constant boundary sources. Using a notion of generalized conformal boundary Killing vector we can construct all conserved BMS$_3$ currents from the boundary energy-momentum tensor.


title: The Computation of Cyclic Peptide with Prolin-Prolin Bond as Fusion Inhibitor of DENV Envelope Protein through Molecular Docking and Molecular Dynamics Simulation

abstract: A disease that caused by dengue virus (DENV) has become the major health problem of the world. Nowadays, no effective treatment is available to overcome the disease due to the level of dengue virus pathogeneses. A novel treatment method such as antiviral drug is highly necessary for coping with the dengue disease. Envelope protein is one of the non-structural proteins of DENV, which engaged in the viral fusion process. The fusion process is mediated by the conformational change in the protein structure from dimer to trimer state. The previous research showed the existing cavity on the dimer structure of the envelope protein. The existing ligand could get into cavity of the envelope protein, stabilize the dimer structure or hamper the transition of dimer protein into trimer. In this fashion, the fusion process can be prevented. The aim of this research is designing the cyclic peptide with prolin-prolin bond as fusion inhibitor of DENV envelope protein through molecular docking and molecular dynamics simulation. The screening of 3,883 cyclic peptides, each of them connected by prolin-prolin bond, through molecular docking resulted in five best ligands. The pharmacological and toxicity character of these five ligands were analised in silico. The result showed that PYRRP was the best ligand. PAWRP was also chosen as the best ligand because it showed good affinity with protein cavity. Stability of ligand-protein complex was analyzed by molecular dynamics simulation. The result showed that PYRRP ligand was able to support the stability of DENV envelope protein dimer structure at 310 K and 312 K. While PAWRP ligand actively formed complex with the DENV envelope protein at 310 K compared to 312 K. Thus the PYRRP ligand has a potential to be developed as DENV fusion inhibitor.


title: Effect of width, amplitude, and position of a core mantle boundary hot spot on core convection and dynamo action

abstract: Within the fluid iron cores of terrestrial planets, convection and the resulting generation of global magnetic fields are controlled by the overlying rocky mantle. The thermal structure of the lower mantle determines how much heat is allowed to escape the core. Hot lower mantle features, such as the thermal footprint of a giant impact or hot mantle plumes, will locally reduce the heat flux through the core mantle boundary (CMB), thereby weakening core convection and affecting the magnetic field generation process. In this study, we numerically investigate how parametrised hot spots at the CMB with arbitrary sizes, amplitudes, and positions affect core convection and hence the dynamo. The effect of the heat flux anomaly is quantified by changes in global flow symmetry properties, such as the emergence of equatorial antisymmetric, axisymmetric (EAA) zonal flows. For purely hydrodynamic models, the EAA symmetry scales almost linearly with the CMB amplitude and size, whereas self-consistent dynamo simulations typically reveal either suppressed or drastically enhanced EAA symmetry depending mainly on the horizontal extent of the heat flux anomaly. Our results suggest that the length scale of the anomaly should be on the same order as the outer core radius to significantly affect flow and field symmetries. As an implication to Mars and in the range of our model, the study concludes that an ancient core field modified by a CMB heat flux anomaly is not able to heterogeneously magnetise the crust to the present-day level of north--south asymmetry on Mars. The resulting magnetic fields obtained using our model either are not asymmetric enough or, when they are asymmetric enough, show rapid polarity inversions, which are incompatible with thick unidirectional magnetisation.


title: Evidence of the universal dynamics of rogue waves

abstract: Light manifests extreme localized waves with long-tail statistics that seem analogous to the still little understood rogue waves in oceans, and optical setups promise to become laboratory test-beds for their investigation. However, to date there is no evidence that optical extreme events share the dynamics of their oceanic counterparts, and this greatly limits our ability to study rogue wave predictability using light. Using the Grassberger-Procaccia embedding method, we here demonstrate that optical spatial rogue wave data in photorefractive crystals has the same predictability and dynamic features of ocean rogue waves. For scales up to the autocorrelation length, a chaotic and predictable behavior emerges, whereas complexity in the dynamics causes long-range predictability to be limited by the finite size of data sets. The appearance of same dynamics validates the conjecture that rogue waves share universal features across different physical systems, these including their predictability.


title: Glueball decay patterns in top-down holographic QCD

abstract: We discuss our results on scalar glueball decay in the top-down holographic Witten-Sakai-Sugimoto model for low-energy QCD and compare with available experimental data, which appear to disfavor the glueball candidate $f_0(1500)$ but seem to be perfectly consistent with interpreting $f_0(1710)$ as a nearly unmixed glueball. The holographic model moreover makes definite predictions for future experiments.


title: Some monotonicity results for general systems of nonlinear elliptic PDEs

abstract: In this paper we show that minima and stable solutions of a general energy functional of the form $$ \int_{\Omega} F(\nabla u,\nabla v,u,v,x)dx $$ enjoy some monotonicity properties, under an assumption on the growth at infinity of the energy. Our results are quite general, and comprise some rigidity results which are known in the literature.


title: Generic Base Change, Artin's Comparison Theorem, and the Decomposition Theorem for Complex Artin stacks

abstract: We prove the generic base change theorem for stacks, and give an exposition on the lisse-analytic topos of complex analytic stacks, proving some comparison theorems between various derived categories of complex analytic stacks. This enables us to deduce the decomposition theorem for perverse sheaves on complex Artin stacks with affine stabilizers from the case over finite fields.


title: Heavy tails and one-dimensional localization

abstract: We address the fundamental questions concerning the operator \begin{eqnarray*} H^{\theta_0}\psi(x)=-\psi"(x)+V(x,\omega)\psi(x),\,\psi(0)\cos\theta_0-\psi'(0)\sin\theta_0=0. \end{eqnarray*} where the random potential $V$ has a variety of forms. In one example, it is composed of width one bumps of random heights where the square root of the heights are in the domain of attraction of a stable law with index $\alpha\in(0,1)$ or in another it is composed of width one bumps of height one where the distance between bumps is in the domain of attraction of a stable law with index $\alpha\in(0,1).$ We consider the existence of Lyapunov exponents, integrated density of states and the nature of the spectrum of the operator.


title: On Origins of Alpha

abstract: We argue that an important contributing factor into market inefficiency is the lack of a robust mechanism for the stock price to rise if a company has good earnings, e.g., via buybacks/dividends. Instead, the stock price is prone to volatility due to rather random perception/interpretation of earnings announcements (among other data) by market participants. We present empirical evidence indicating that dividend paying stocks on average are less volatile, even factoring out market cap. We further ponder possible ways of increasing market efficiency via 1) instituting such a mechanism, 2) a taxation scheme that would depend on holding periods, and 3) a universal crossing engine/exchange for mutual and pension funds (and similar long holding horizon vehicles) with no dark pools, 100% transparency, and no advantage for timing orders.


title: Gamma Ray Bursts as Neutrino Sources

abstract: Gamma-ray burst sources appear to fulfill all the conditions for being efficient cosmic ray accelerators, and being extremely compact, are also expected to produce multi-GeV to PeV neutrinos. I review the basic model predictions for the expected neutrino fluxes in classical GRBs as well as in low luminosity and choked bursts, discussing the recent IceCube observational constraints and implications from the observed diffuse neutrino flux.


title: Isentropic Fluid Dynamics in a Curved Pipe

abstract: In this paper we study isentropic flow in a curved pipe. We focus on the consequences of the geometry of the pipe on the dynamics of the flow. More precisely, we present the solution of the general Cauchy problem for isentropic fluid flow in an arbitrarily curved, piecewise smooth pipe. We consider initial data in the subsonic regime, with small total variation about a stationary solution. The proof relies on the front-tracking method and is based on [1].


title: Exponential Domination in Subcubic Graphs

abstract: As a natural variant of domination in graphs, Dankelmann et al. [Domination with exponential decay, Discrete Math. 309 (2009) 5877-5883] introduce exponential domination, where vertices are considered to have some dominating power that decreases exponentially with the distance, and the dominated vertices have to accumulate a sufficient amount of this power emanating from the dominating vertices. More precisely, if $S$ is a set of vertices of a graph $G$, then $S$ is an exponential dominating set of $G$ if $\sum\limits_{v\in S}\left(\frac{1}{2}\right)^{{\rm dist}_{(G,S)}(u,v)-1}\geq 1$ for every vertex $u$ in $V(G)\setminus S$, where ${\rm dist}_{(G,S)}(u,v)$ is the distance between $u\in V(G)\setminus S$ and $v\in S$ in the graph $G-(S\setminus \{ v\})$. The exponential domination number $\gamma_e(G)$ of $G$ is the minimum order of an exponential dominating set of $G$. In the present paper we study exponential domination in subcubic graphs. Our results are as follows: If $G$ is a connected subcubic graph of order $n(G)$, then $$\frac{n(G)}{6\log_2(n(G)+2)+4}\leq \gamma_e(G)\leq \frac{1}{3}(n(G)+2).$$ For every $\epsilon>0$, there is some $g$ such that $\gamma_e(G)\leq \epsilon n(G)$ for every cubic graph $G$ of girth at least $g$. For every $0<\alpha<\frac{2}{3\ln(2)}$, there are infinitely many cubic graphs $G$ with $\gamma_e(G)\leq \frac{3n(G)}{\ln(n(G))^{\alpha}}$. If $T$ is a subcubic tree, then $\gamma_e(T)\geq \frac{1}{6}(n(T)+2).$ For a given subcubic tree, $\gamma_e(T)$ can be determined in polynomial time. The minimum exponential dominating set problem is APX-hard for subcubic graphs.


title: Deriving a Simple Gradual Security Language

abstract: Abstracting Gradual Typing (AGT) is an approach to systematically deriving gradual counterparts to static type disciplines. The approach consists of defining the semantics of gradual types by interpreting them as sets of static types, and then defining an optimal abstraction back to gradual types. These operations are used to lift the static discipline to the gradual setting. The runtime semantics of the gradual language then arises as reductions on gradual typing derivations. To demonstrate the flexibility of AGT, we gradualize $\lambda_\text{SEC}$, the prototypical security-typed language, with respect to only security labels rather than entire types, yielding a type system that ranges gradually from simply-typed to securely-typed. We establish noninterference for the gradual language, called $\lambda_{\widetilde{\text{SEC}}}$, using Zdancewic's logical relation proof method. Whereas prior work presents gradual security cast languages, which require explicit security casts, this work yields the first gradual security source language, which requires no explicit casts.


title: Multiple Testing with Heterogeneous Multinomial Distributions

abstract: False discovery rate (FDR) procedures provide misleading inference when testing multiple null hypotheses with heterogeneous multinomial data. For example, in the motivating study the goal is to identify species of bacteria near the roots of wheat plants (rhizobacteria) that are associated with productivity, but standard procedures discover the most abundant species even when the association is weak or negligible, and fail to discover strong associations when species are not abundant. Consequently, a list of abundant species is produced by the multiple testing procedure even though the goal was to provide a list of producitivity-associated species. This paper provides an FDR method based on a mixture of multinomial distributions and shows that it tends to discover more non-negligible effects and fewer negligible effects when the data are heterogeneous across tests. The proposed method and competing methods are applied to the motivating data. The new method identifies more species that are strongly associated with productivity and identifies fewer species that are weakly associated with productivity.


title: Controlled interference of association paths in the conversion of ultracold atoms into molecules

abstract: We present a proposal for controlling the conversion of ultracold atoms into molecules by fixing the phase difference between two oscillating magnetic fields. The scheme is based on the use of a magnetic Feshbach resonance with a field modulation that incorporates terms oscillating with frequencies corresponding to the main resonance and one of the subharmonics. The interference between the two association processes activated by the oscillating terms is controlled via the phase difference. As a result, significant increase or decrease of the effective interaction strength can be achieved. The realization of the proposal is feasible under standard technical conditions. In particular, the method is found to be robust against the effect of the sources of decoherence present in the practical setup. The applicability of the approach to deal with quadratic terms in the field modulation is discussed.


title: Structural Identifiability Analysis of Fractional Order Models with Applications in Battery Systems

abstract: This paper presents a method for structural identifiability analysis of fractional order systems by using the coefficient mapping concept to determine whether the model parameters can uniquely be identified from input-output data. The proposed method is applicable to general non-commensurate fractional order models. Examples are chosen from battery fractional order equivalent circuit models (FO-ECMs). The battery FO-ECM consists of a series of parallel resistors and constant phase elements (CPEs) with fractional derivatives appearing in the CPEs. The FO-ECM is non-commensurate if more than one CPE is considered in the model. Currently, estimation of battery FO-ECMs is performed mainly by fitting in the frequency domain, requiring costly electrochemical impedance spectroscopy equipment. This paper aims to analyse the structural identifiability of battery FO-ECMs directly in the time domain. It is shown that FO-ECMs with finite numbers of CPEs are structurally identifiable. In particular, the FO-ECM with a single CPE is structurally globally identifiable.


title: Two-field optical methods to control magnetic Feshbach resonances

abstract: Using an optically-trapped mixture of the two lowest hyperfine states of a $^6$Li Fermi gas, we observe two-field optical tuning of the narrow Feshbach resonance by up to 3 G and an increase in spontaneous lifetime near the broad resonance from $0.5$ ms to $0.4$ s. We present a new model of light-induced loss spectra, employing continuum-dressed basis states, that agrees in shape and magnitude with measurements for both broad and narrow resonances.


title: Transfer Matrix Formulation of Scattering Theory in Two and Three Dimensions

abstract: In one dimension one can dissect a scattering potential $ v(x) $ into pieces $ v_i(x) $ and use the notion of the transfer matrix to determine the scattering content of $ v(x) $ from that of $ v_i(x) $. This observation has numerous practical applications in different areas of physics. The problem of finding an analogous procedure in dimensions larger than one has been an important open problem for decades. We give a complete solution for this problem and discuss some of its applications. In particular we derive an exact expression for the scattering amplitude of the delta-function potential in two and three dimensions and a potential describing a slab laser with a surface line defect. We show that the presence of the defect makes the slab begin lasing for arbitrarily small gain coefficients.


title: Modelling exciton-phonon interactions in optically driven quantum dots

abstract: We provide a self-contained review of master equation approaches to modelling phonon effects in optically driven self-assembled quantum dots. Coupling of the (quasi) two-level excitonic system to phonons leads to dissipation and dephasing, the rates of which depend on the excitation conditions, intrinsic properties of the QD sample, and its temperature. We describe several techniques, which include weak-coupling master equations that are perturbative in the exciton-phonon coupling, as well as those based on the polaron transformation that can remain valid for strong phonon interactions. We additionally consider the role of phonons in altering the optical emission characteristics of quantum dot devices, outlining how we must modify standard quantum optics treatments to account for the presence of the solid-state environment.


title: The covariant action of higher spin black holes in three dimensions

abstract: We propose a set of boundary terms for higher spin theories in AdS$_3$ that lead to a well-defined variational principle compatible with Dirichlet boundary conditions for the metric and higher spin fields. These boundary terms are valid for higher spin theories in the Fefferman-Graham gauge and they allow us to compute the canonical free energy of higher spin black holes directly from the Euclidean, covariant, on-shell action. Using these results we reproduce the thermodynamics of the higher spin black hole of Ammon, Gutperle, Kraus, and Perlmutter and comment on the corresponding theory of induced $\cal{W}$-gravity at the boundary.


title: Search for excited leptons in proton-proton collisions at sqrt(s) = 8 TeV

abstract: A search for compositeness of electrons and muons is presented using a data sample of proton-proton collisions at a center-of-mass energy of sqrt(s) = 8 TeV collected with the CMS detector at the LHC and corresponding to an integrated luminosity of 19.7 inverse femtobarns. Excited leptons (l*) produced via contact interactions in conjunction with a standard model lepton are considered, and a search is made for their gauge decay modes. The decays considered are l* to l + gamma and l* to l + Z, which give final states of two leptons and a photon or, depending on the Z-boson decay mode, four leptons or two leptons and two jets. The number of events observed in data is consistent with the standard model prediction. Exclusion limits are set on the excited lepton mass, and the compositeness scale Lambda. For the case M(l*) = Lambda the existence of excited electrons (muons) is excluded up to masses of 2.45 (2.47) TeV at 95% confidence level. Neutral current decays of excited leptons are considered for the first time, and limits are extended to include the possibility that the weight factors f and f', which determine the couplings between standard model leptons and excited leptons via gauge mediated interactions, have opposite sign.


title: Compact perturbations and consequent hereditarily polaroid operators

abstract: A Banach space operator $A\in B({\cal{X}})$ is polaroid, $A\in {\cal{P}}$, if the isolated points of the spectrum $\sigma(A)$ are poles of the operator; $A$ is hereditarily polaroid, $A\in{\cal{HP}}$, if every restriction of $A$ to a closed invariant subspace is polaroid. Operators $A\in{\cal{HP}}$ have SVEP on $\Phi_{sf}(A)=\{\lambda: A-\lambda$ is semi Fredholm $\}$: This, in answer to a question posed by Li and Zhou (Studia Math. 221(2014), 175-192), proves the necessity of the condition $\Phi_{sf}^+(A)=\emptyset$. A sufficient condition for $A\in B({\cal{X}})$ to have SVEP on $\Phi_{sf}(A)$ is that its component $\Omega_a(A)=\{\lambda\in\Phi_{sf}(A): \rm{ind}(A-\lambda)\leq 0\}$ is connected. We prove: If $A\in B({\cal{H}})$ is a Hilbert space operator, then a necessary and sufficient condition for there to exist a compact operator $K$ such that $A+K\in{\cal{HP}}$ is that $\Omega_a(A)$ is connected.


title: Mutation, Sexual Reproduction and Survival in Dynamic Environments

abstract: A new approach to understanding evolution [Val09], namely viewing it through the lens of computation, has already started yielding new insights, e.g., natural selection under sexual reproduction can be interpreted as the Multiplicative Weight Update (MWU) Algorithm in coordination games played among genes [CLPV14]. Using this machinery, we study the role of mutation in changing environments in the presence of sexual reproduction. Following [WVA05], we model changing environments via a Markov chain, with the states representing environments, each with its own fitness matrix. In this setting, we show that in the absence of mutation, the population goes extinct, but in the presence of mutation, the population survives with positive probability. On the way to proving the above theorem, we need to establish some facts about dynamics in games. We provide the first, to our knowledge, polynomial convergence bound for noisy MWU in a coordination game. Finally, we also show that in static environments, sexual evolution with mutation converges, for any level of mutation.


title: Numerical simulations of sunspot decay: On the penumbra -- Evershed flow -- moat flow connection

abstract: We present a series of high-resolution sunspot simulations that cover a time span of up to 100 hours. The simulation domain extends about 18 Mm in depth beneath the photosphere and 98 Mm horizontally. We use open boundary conditions that do not maintain the initial field structure against decay driven by convective motions. We consider two setups: A sunspot simulation with penumbra, and a "naked-spot" simulation in which we removed the penumbra after 20 hours through a change in the magnetic top boundary condition. While the sunspot has an Evershed outflow of 3-4 km/s, the naked spot is surrounded by an inflow of 1-2 km/s in close proximity. However, both spots are surrounded by an outflow on larger scales with a few 100 m/s flow speed in the photosphere. While the sunspot has almost constant magnetic flux content for the simulated time span of 3-4 days, the naked spot decays steadily at a rate of $10^{21}$ Mx/day. A region with reduced downflow filling factor, which is more extended for the sunspot, surrounds both spots. The absence of downflows perturbs the upflow/downflow massflux balance and leads to a large-scale radially overturning flow system, the photospheric component of this flow is to the observable moat flow. The reduction of the downflow filling factor also inhibits submergence of magnetic field in the proximity of the spots, which stabilizes them against decay. While this effect is present for both spots, it is more pronounced for the sunspot and explains the almost stationary magnetic flux content.


title: Learning in Auctions: Regret is Hard, Envy is Easy

abstract: A line of recent work provides welfare guarantees of simple combinatorial auction formats, such as selling m items via simultaneous second price auctions (SiSPAs) (Christodoulou et al. 2008, Bhawalkar and Roughgarden 2011, Feldman et al. 2013). These guarantees hold even when the auctions are repeatedly executed and players use no-regret learning algorithms. Unfortunately, off-the-shelf no-regret algorithms for these auctions are computationally inefficient as the number of actions is exponential. We show that this obstacle is insurmountable: there are no polynomial-time no-regret algorithms for SiSPAs, unless RP$\supseteq$ NP, even when the bidders are unit-demand. Our lower bound raises the question of how good outcomes polynomially-bounded bidders may discover in such auctions. To answer this question, we propose a novel concept of learning in auctions, termed "no-envy learning." This notion is founded upon Walrasian equilibrium, and we show that it is both efficiently implementable and results in approximately optimal welfare, even when the bidders have fractionally subadditive (XOS) valuations (assuming demand oracles) or coverage valuations (without demand oracles). No-envy learning outcomes are a relaxation of no-regret outcomes, which maintain their approximate welfare optimality while endowing them with computational tractability. Our results extend to other auction formats that have been studied in the literature via the smoothness paradigm. Our results for XOS valuations are enabled by a novel Follow-The-Perturbed-Leader algorithm for settings where the number of experts is infinite, and the payoff function of the learner is non-linear. This algorithm has applications outside of auction settings, such as in security games. Our result for coverage valuations is based on a novel use of convex rounding schemes and a reduction to online convex optimization.


title: Kicker pulsers for recycler NOVA upgrades

abstract: An upgrade of the Recycler injection kicker system required a faster rise time pulser. This system required a field rise and fall time of < 57 ns and a field flattop of 1.6 {\mu}s. This paper describes the variety of improvements made over the years that have resulted in this latest thyratron pulser. The effects of the trigger, the reservoir and the load impedance on delay and rise time will be discussed.


title: Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR

abstract: The static estimation of the energy consumed by program executions is an important challenge, which has applications in program optimization and verification, and is instrumental in energy-aware software development. Our objective is to estimate such energy consumption in the form of functions on the input data sizes of programs. We have developed a tool for experimentation with static analysis which infers such energy functions at two levels, the instruction set architecture (ISA) and the intermediate code (LLVM IR) levels, and reflects it upwards to the higher source code level. This required the development of a translation from LLVM IR to an intermediate representation and its integration with existing components, a translation from ISA to the same representation, a resource analyzer, an ISA-level energy model, and a mapping from this model to LLVM IR. The approach has been applied to programs written in the XC language running on XCore architectures, but is general enough to be applied to other languages. Experimental results show that our LLVM IR level analysis is reasonably accurate (less than 6.4% average error vs. hardware measurements) and more powerful than analysis at the ISA level. This paper provides insights into the trade-off of precision versus analyzability at these levels.


title: Global bifurcation diagram of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system

abstract: In this paper, we use rigorous numerics to compute several global smooth branches of steady states for a system of three reaction-diffusion PDEs introduced by Iida et al. [J. Math. Biol., {\bf 53}, 617--641 (2006)] to study the effect of cross-diffusion in competitive interactions. An explicit and mathematically rigorous construction of a global bifurcation diagram is done, except in small neighborhoods of the bifurcations. The proposed method, even though influenced by the work of van den Berg et al. [Math. Comp., {\bf 79}, 1565--1584 (2010)], introduces new analytic estimates, a new {\em gluing-free} approach for the construction of global smooth branches and provides a detailed analysis of the choice of the parameters to be made in order to maximize the chances of performing successfully the computational proofs.


title: Observing quantum state diffusion by heterodyne detection of fluorescence

abstract: A qubit can relax by fluorescence, which prompts the release of a photon into its electromagnetic environment. By counting the emitted photons, discrete quantum jumps of the qubit state can be observed. The succession of states occupied by the qubit in a single experiment, its quantum trajectory, depends in fact on the kind of detector. How are the quantum trajectories modified if one measures continuously the amplitude of the fluorescence field instead? Using a superconducting parametric amplifier, we have performed heterodyne detection of the fluorescence of a superconducting qubit. For each realization of the measurement record, we can reconstruct a different quantum trajectory for the qubit. The observed evolution obeys quantum state diffusion, which is characteristic of quantum measurements subject to zero point fluctuations. Independent projective measurements of the qubit at various times provide a quantitative validation of the reconstructed trajectories. By exploring the statistics of quantum trajectories, we demonstrate that the qubit states span a deterministic surface in the Bloch sphere at each time in the evolution. Additionally, we show that when monitoring fluorescence, coherent superpositions are generated during the decay from excited to ground state. Counterintuitively, measuring light emitted during relaxation can give rise to trajectories with increased excitation probability.


title: Entanglement of a two-atom system driven by the quantum vacuum in arbitrary cavity size

abstract: We study the dynamical entanglement of two identical atoms interacting with a quantum field. As a simplified model for this physical system we consider two harmonic oscillators linearly coupled to a massless scalar field in the dressed coordinates and states approach and enclose the whole system inside a spherical cavity of radius R. Through a quantity called concurrence, the entanglement evolution for the two-atom system will be discussed, for a range of initial states composed of a superposition of atomic states. Our results reveals how the concurrence of the two atoms behaves through the time evolution, for arbitrary cavity size and for arbitrary coupling constant, weak, intermediate or strong. All our computations are exact and only the final step is numerical. These numerical solutions give us fascinating results for the concurrence, such as quasi-random fluctuations, with a resemblance of periodicity. Another interesting result we found is when the system is initially maximally entangled (disentangled), after the time t = 2R, the system becomes again strongly entangled (disentangled) particularly during the first oscillations, later this phenomenon could be wrecked depending on the initial condition. We also show the concurrence after a too long time elapsed with a good precision.


title: On the migration of three planets in a protoplanetary disc and the formation of chains of mean motion resonances

abstract: We study the migration of three-planet systems in an irradiated 1+1D $\alpha$-disc with photoevaporation. We performed $2700$ simulations with various planets' masses and initial orbits. We found that most of the systems which ended up as compact configurations form chains of mean motion resonances (MMRs) of the first and higher orders. Most of the systems involved in chains of MMRs are periodic configurations. The period ratios of such system, though, are not necessarily close to exact commensurability. If a given system resides in a divergent migration zone in the disc, the period ratios increase and evolve along resonant divergent migration paths at ($P_2/P_1, P_3/P_2)$-diagram, where $P_1, P_2, P_3$ are the orbital periods of the first, second and third planet, respectively. The observed systems, though, do not lie on those paths. We show that an agreement between the synthetic and the observed systems distributions could be achieved if the orbital circularization was slower than it results from models of the planet-disc interactions. Therefore, we conclude that most of those systems unlikely formed as a result of divergent migration out of nominal chains of MMRs.


title: Ext-finite modules for weakly symmetric algebras with radical cube zero

abstract: Assume $A$ is weakly symmetric, indecomposable, with radical cube zero and radical square non-zero. We show that such algebra of wild representation type does not have a non-projective module $M$ whose ext algebra is finite-dimensional. This gives a complete classification weakly symmetric indecomposable algebras which have a non-projective module whose ext algebra is finite-dimensional.


title: Train and Test Tightness of LP Relaxations in Structured Prediction

abstract: Structured prediction is used in areas such as computer vision and natural language processing to predict structured outputs such as segmentations or parse trees. In these settings, prediction is performed by MAP inference or, equivalently, by solving an integer linear program. Because of the complex scoring functions required to obtain accurate predictions, both learning and inference typically require the use of approximate solvers. We propose a theoretical explanation to the striking observation that approximations based on linear programming (LP) relaxations are often tight on real-world instances. In particular, we show that learning with LP relaxed inference encourages integrality of training instances, and that tightness generalizes from train to test data.


title: Highest weight Harish-Chandra supermodules and their geometric realizations

abstract: In this paper we discuss the highest weight $\frak k_r$-finite representations of the pair $(\frak g_r,\frak k_r)$ consisting of $\frak g_r$, a real form of a complex basic Lie superalgebra of classical type $\frak g$ (${\frak g}\neq A(n,n)$), and the maximal compact subalgebra $\frak k_r$ of $\frak g_{r,0}$, together with their geometric global realizations. These representations occur, as in the ordinary setting, in the superspaces of sections of holomorphic super vector bundles on the associated Hermitian superspaces $G_r/K_r$.


title: BPS Spectra, Barcodes and Walls

abstract: BPS spectra give important insights into the non-perturbative regimes of supersymmetric theories. Often from the study of BPS states one can infer properties of the geometrical or algebraic structures underlying such theories. In this paper we approach this problem from the perspective of persistent homology. Persistent homology is at the base of topological data analysis, which aims at extracting topological features out of a set of points. We use these techniques to investigate the topological properties which characterize the spectra of several supersymmetric models in field and string theory. We discuss how such features change upon crossing walls of marginal stability in a few examples. Then we look at the topological properties of the distributions of BPS invariants in string compactifications on compact threefolds, used to engineer black hole microstates. Finally we discuss the interplay between persistent homology and modularity by considering certain number theoretical functions used to count dyons in string compactifications and by studying equivariant elliptic genera in the context of the Mathieu moonshine.


title: Scalar curvature of spacelike hypersurfaces and certain class of cosmological models for accelerated expanding universes

abstract: We study the scalar curvature of spacelike hypersurfaces in the family of cosmological models known as generalized Robertson-Walker spacetimes, and give several rigidity results under appropriate mathematical and physical assumptions. On the other hand, we show that this family of spacetimes provides suitable models obeying the null convergence condition to explain accelerated expanding universes.


title: Muon Cooling Progress and Prospects for an S-channel Muon Collider Higgs Factory

abstract: Muon-based accelerators have the potential to enable facilities at both the Intensity and the Energy Frontiers. Muon storage rings can serve as high precision neutrino sources, and a muon collider is an ideal technology for a TeV or multi-TeV collider. Progress in muon accelerator designs has advanced steadily in recent years. In regard to 6D muon cooling, detailed and realistic designs now exist that provide more than 5 order-of-magnitude emittance reduction. Furthermore, detector performance studies indicate that with suitable pixelation and timing resolution, backgrounds in the collider detectors can be significantly reduced thus enabling high quality physics results. Thanks to these and other advances in design and simulation of muon systems, technology development, and systems demonstrations, muon storage-ring-based neutrino sources and a muon collider appear more feasible than ever before. A muon collider is now arguably among the most compelling approaches to a multi-TeV lepton collider and an S-Channel Higgs Channel.


title: Probing exoplanet clouds with optical phase curves

abstract: Kepler-7b is to date the only exoplanet for which clouds have been inferred from the optical phase curve -- from visible-wavelength whole-disk brightness measurements as a function of orbital phase. Added to this, the fact that the phase curve appears dominated by reflected starlight makes this close-in giant planet a unique study case. Here we investigate the information on coverage and optical properties of the planet clouds contained in the measured phase curve. We generate cloud maps of Kepler-7b and use a multiple-scattering approach to create synthetic phase curves, thus connecting postulated clouds with measurements. We show that optical phase curves can help constrain the composition and size of the cloud particles. Indeed, model fitting for Kepler-7b requires poorly absorbing particles that scatter with low-to-moderate anisotropic efficiency, conclusions consistent with condensates of silicates, perovskite, and silica of submicron radii. We also show that we are limited in our ability to pin down the extent and location of the clouds. These considerations are relevant to the interpretation of optical phase curves with general circulation models. Finally, we estimate that the spherical albedo of Kepler-7b over the Kepler passband is in the range 0.4--0.5.


title: The precessing jets of 1E 1740.7-2942

abstract: Context. 1E 1740.7-2942 is believed to be one of the two prototypical microquasars towards the Galactic center region whose X-ray states strongly resemble those of Cygnus X-1. Yet, the bipolar radio jets of 1E 1740.7-2942 are very reminiscent of a radio galaxy. The true nature of the object has thus remained an open question for nearly a quarter of a century. Aims. Our main goal here is to confirm the Galactic membership of 1E 1740.7-2942 by searching for morphological changes of its extended radio jets in human timescales. This work was triggered as a result of recent positive detection of fast structural changes in the large-scale jets of its 'twin' GRS 1758-258. Methods. We carried out an in-depth exploration of the VLA public archives and fully recalibrated all 1E 1740.7-2942 extended data sets in the C configuration of the array. We obtained and analyzed matching beam radio maps for five epochs, covering years 1992, 1993, 1994, 1997 and 2000, with an angular resolution of a few arcseconds. Results. We clearly detected structural changes in the arcminute jets of 1E 1740.7-2942 on timescales of roughly a year, which set a firm distance upper limit of 12 kpc. Moreover, a simple precessing model was simultaneously fitted to the five observing epochs available. The observed changes in the jet flow are strongly suggestive of a precession period of ~1.3 years. Conclusions. The fitting of the precession model to the data yields a distance of ~5 kpc. This value, and the observed changes, rule out any remaining doubts about the 1E 1740.7-2942 Galactic nature. To our knowledge, this microquasar is the second whose jet precession ephemeris become available after SS433. This kind of information is relevant to the physics of compact objects, since the genesis of the precession phenomenon occurs very close to the interplay region between the accretion disk and the compact object in the system.


title: Multiscale Topology of Chromatin Folding

abstract: The three dimensional structure of DNA in the nucleus (chromatin) plays an important role in many cellular processes. Recent experimental advances have led to high-throughput methods of capturing information about chromatin conformation on genome-wide scales. New models are needed to quantitatively interpret this data at a global scale. Here we introduce the use of tools from topological data analysis to study chromatin conformation. We use persistent homology to identify and characterize conserved loops and voids in contact map data and identify scales of interaction. We demonstrate the utility of the approach on simulated data and then look data from both a bacterial genome and a human cell line. We identify substantial multiscale topology in these datasets.


title: Turing Computation with Recurrent Artificial Neural Networks

abstract: We improve the results by Siegelmann & Sontag (1995) by providing a novel and parsimonious constructive mapping between Turing Machines and Recurrent Artificial Neural Networks, based on recent developments of Nonlinear Dynamical Automata. The architecture of the resulting R-ANNs is simple and elegant, stemming from its transparent relation with the underlying NDAs. These characteristics yield promise for developments in machine learning methods and symbolic computation with continuous time dynamical systems. A framework is provided to directly program the R-ANNs from Turing Machine descriptions, in absence of network training. At the same time, the network can potentially be trained to perform algorithmic tasks, with exciting possibilities in the integration of approaches akin to Google DeepMind's Neural Turing Machines.


title: Jet multiplicity in the proto-binary system NGC1333-IRAS4A. The detailed CALYPSO IRAM-PdBI view

abstract: Owing to the paucity of sub-arcsecond (sub)mm observations required to probe the innermost regions of newly forming protostars, several fundamental questions are still being debated, such as the existence and coevality of close multiple systems. We study the physical and chemical properties of the jets and protostellar sources in the NGC1333-IRAS4A proto-binary system using continuum emission and molecular tracers of shocked gas. We observed NGC1333-IRAS4A in the SiO(6-5), SO(6_5-5_4), and CO(2-1) lines and the continuum emission at 1.3, 1.4, and 3 mm using the IRAM Plateau de Bure Interferometer in the framework of the CALYPSO large program. We clearly disentangle for the first time the outflow emission from the two sources A1 and A2. The two protostellar jets have very different properties: the A1 jet is faster, has a short dynamical timescale (<10^3 yr), and is associated with H2 shocked emission, whereas the A2 jet, which dominates the large-scale emission, is associated with diffuse emission, bends, and emits at slower velocities. The observed bending of the A2 jet is consistent with the change of propagation direction observed at large scale and suggests jet precession on very short timescales (~200-600 yr). In addition, a chemically rich spectrum with emission from several COMs (e.g. HCOOH, CH3OCHO, CH3OCH3) is only detected towards A2. Finally, very high-velocity shocked emission (~50 km s^-1) is observed along the A1 jet. An LTE analysis shows that SiO, SO, and H2CO abundances in the gas phase are enhanced up to (3-4)x10^{-7}, (1.4-1.7)x10^{-6}, and (3-7.9)x10^{-7}, respectively. The intrinsic different properties of the jets and driving sources in NGC1333-IRAS4A suggest different evolutionary stages for the two protostars, with A1 being younger than A2, in a very early stage of star formation previous to the hot-corino phase.


title: Quantifying Reticulation in Phylogenetic Complexes Using Homology

abstract: Reticulate evolutionary processes result in phylogenetic histories that cannot be modeled using a tree topology. Here, we apply methods from topological data analysis to molecular sequence data with reticulations. Using a simple example, we demonstrate the correspondence between nontrivial higher homology and reticulate evolution. We discuss the sensitivity of the standard filtration and show cases where reticulate evolution can fail to be detected. We introduce an extension of the standard framework and define the median complex as a construction to recover signal of the frequency and scale of reticulate evolution by inferring and imputing putative ancestral states. Finally, we apply our methods to two datasets from phylogenetics. Our work expands on earlier ideas of using topology to extract important evolutionary features from genomic data.