title: Quasi-periodical components in the radial distributions of cosmologically remote objects

abstract: A statistical analysis of radial (line-of-sight) 1D-distributions of brightest cluster galaxies (BCGs) within the redshift interval $0.044 \leq z \leq 0.78$ and Mg II absorption-line systems ($0.37 \leq z \leq 2.28$) is carried out. Power spectra and two-point radial correlation functions are calculated. It is found that both radial distributions of spectroscopic redshifts of 52,683 BCGs and 32,840 Mg II absorption systems incorporate similar quasi-periodical components relatively to the comoving distance. Significance of the components exceeds $4\sigma$-level and admits an increase ($\geq 5\sigma$) for some broad subsamples. For the {\Lambda}CDM cosmological model the periodicities correspond to spatial comoving scales ($98 \pm 3$) and ($101 \pm 2$)h$^{-1}$ Mpc, respectively. These quasi-periods turn out to be close to the characteristic scale ($101 \pm 6$)h$^{-1}$Mpc of the quasi-periodical component obtained earlier for the radial distribution of luminous red galaxies (LRGs). On the other hand, the scales are close to the spatial scale corresponding to the baryon acoustic oscillations (BAOs) revealed by many authors at the last decade. Fourier transform phases obtained for the BCGs and LRGs are found to be close, while the phases calculated for the Mg II absorption systems and LRGs are opposite. Discussions of the results in a context of the BAO and large-scale structure characteristic scales are outlined.


title: Temperature dependent characteristics of GaSb p-channel MOSFETs with Si-implanted source and drain

abstract: GaSb p-channel MOSFETs with an atomic layer deposited Al2O3 gate dielectric and a self-aligned Si implanted source/drain are demonstrated. Thermal anneal conditions are optimized for the source/drain impurity activation. Temperature dependent electrical characteristics are investigated. Different electrical behaviors are observed in two different temperature regions and the mechanisms underneath are proposed. Off-state drain current is generation current dominated in the low temperature regions and is diffusion current dominated in the high temperature regions.


title: Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites

abstract: Navigation satellites are a core component of navigation satellite based systems such as GPS, GLONASS and Galileo which provide location and timing information for a variety of uses. Such satellites are designed for operating on orbit to perform tasks and have lifetimes of 10 years or more. Reliability, availability and maintainability (RAM) analysis of systems has been indispensable in the design phase of satellites in order to achieve minimum failures or to increase mean time between failures (MTBF) and thus to plan maintenance strategies, optimise reliability and maximise availability. In this paper, we present formal models of both a single satellite and a navigation satellite constellation and logical specification of their reliability, availability and maintainability properties respectively. The probabilistic model checker PRISM has been used to perform automated analysis of these quantitative properties.


title: Algebraic Structures of N=(4,4) and N=(8,8) SUSY Sigma Models on Lie groups and SUSY WZW Models

abstract: Algebraic structures of N = (4; 4) and N = (8; 8) supersymmetric (SUSY) two dimensional sigma models on Lie groups (in general) and SUSY Wess-Zumino-Witten (WZW) models (as special) are obtained. For SUSY WZW models, these algebraic structures are reduced to Lie bialgebraic structures as for the N = (2; 2) SUSY WZW case; with the difference that there is a one 2-cocycle for the N = (4; 4) case and there are two 2-cocycles for the N = (8; 8) case. In general, we show that N = (8; 8) SUSY structure on Lie algebra must be constructed from two N = (4; 4) SUSY structures and in special there must be two 2-cocycles for Manin triples (one 2-cocycle for each of the N = (4; 4) structures). Some examples are investigated. In this way, a calculational method for classifying the N = (4; 4) and N = (8; 8) structures on Lie algebras and Lie groups are obtained.


title: Heisenberg's uncertainty relation: Violation and reformulation

abstract: The uncertainty relation formulated by Heisenberg in 1927 describes a trade-off between the error of a measurement of one observable and the disturbance caused on another complementary observable so that their product should be no less than a limit set by Planck's constant. In 1980, Braginsky, Vorontsov, and Thorne claimed that this relation leads to a sensitivity limit for gravitational wave detectors. However, in 1988 a model of position measurement was constructed that breaks both this limit and Heisenberg's relation. Here, we discuss the problems as to how we reformulate Heisenberg's relation to be universally valid and how we experimentally quantify the error and the disturbance to refute the old relation and to confirm the new relation.


title: Scaling laws governing the roughness of the swash edge line

abstract: The physics of swash i.e. a layer of water that washes up on the beach after an incoming wave has broken is complicated and intriguing. It includes perplexed hydrodynamic and sediment transport events. In our paper we address to the roughness of the moving swash boundary at which a beach, water and air meet. We treat the behavior of this boundary as an interfacial phenomenon, without going into details of formation of edge waves and beach cusps, covered broadly in literature. This "crude" approach turns out to be productive and revealing the resemblance of the swash line with a broad diversity of effects arising from the random pinning of moving boundaries.


title: Rotating strings confronting PDG mesons

abstract: We revisit the model of mesons as rotating strings with massive endpoints and confront it with meson spectra. We look at Regge trajectories both in the (J,M2) and (n,M2) planes, where J and n are the angular momentum and radial excitation number respectively. We start from states comprised of u and d quarks alone, move on to trajectories involving s and c quarks, and finally analyze the trajectories of the heaviest observed b-bbar mesons. The endpoint masses provide the needed transition between the linear Regge trajectories of the light mesons to the deviations from linear behavior encountered for the heavier mesons, all in the confines of the same simple model. From our fits we extract the values of the quark endpoint masses, the Regge slope (string tension) and quantum intercept. The model also allows for a universal fit where with a single value of the Regge slope we fit all the (J,M2) trajectories involving u, d, s, and c quarks. We include a list of predictions for higher mesons in both J and n.


title: Three-Dimensional Integrated Guidance and Control Based on Small-Gain Theorem

abstract: A three-dimensional (3D) integrated guidance and control (IGC) design approach is proposed by using small-gain theorem in this paper. The 3D IGC model is formulated by combining nonlinear pursuer dynamics with the nonlinear dynamics describing pursuitevasion motion. Small-gain theorem and ISS theory are iteratively utilized to design desired attack angle, sideslip angle and attitude angular rates (virtual controls), and eventually an IGC law is proposed. Theoretical analysis shows that the IGC approach can make the LOS rate converge into a small neighborhood of zero, and the stability of the overall system can be guaranteed as well.


title: On the Dirichlet problem associated with Dunkl Laplacian

abstract: This paper is devoted to the study of the Dirichlet problem associated with the Dunkl Laplacian $\Delta_k$. We establish, under some condition on a bounded domain $D$ of $\R^d$, the existence of a unique continuous function $h$ on $\R^d$ such that $\Delta_kh=0$ on $D$ and $h=f$ on $\R^d\setminus D$ the complement of $D$ in $\R^d$, where the function $f$ is asumed to be continuous. We also give an analytic formula characterizing the solution $h$.


title: On non-abelian Lubin-Tate theory and analytic cohomology

abstract: We prove that the p-adic local Langlands correspondence for GL_2(Q_p) appears in the etale cohomology of the Lubin-Tate tower at infinity. We use global methods using recent results of Emerton on the local-global compatibility and hence our proof applies to local Galois representations which come via a restriction from global pro-modular Galois representations. We also discuss a folklore conjecture which states that the p-adic local Langlands correspondence appears in the de Rham cohomology of the Lubin-Tate tower (Drinfeld tower). We show that a study of the de Rham cohomology for perfectoid spaces reduces to a study of the analytic cohomology and we state a natural conjecture related to it.


title: Maxima of a triangular array of multivariate Gaussian sequence

abstract: It is known that the normalized maxima of a sequence of independent and identically distributed bivariate normal random vectors with correlation coefficient $\rho \in (-1,1)$ is asymptotically independent, which may seriously underestimate extreme probabilities in practice. By letting $\rho$ depend on the sample size and go to one with certain rate, H\"usler and Reiss (1989) showed that the normalized maxima can become asymptotically dependent. In this paper, we extend such a study to a triangular array of multivariate Gaussian sequence, which further generalizes the results in Hsing, H\"usler and Reiss (1996) and Hashorva and Weng (2013).


title: Higher-order expansions of distributions of maxima in a H\"{u}sler-Reiss model

abstract: The max-stable H\"usler-Reiss distribution which arises as the limit distribution of maxima of bivariate Gaussian triangular arrays has been shown to be useful in various extreme value models. For such triangular arrays, this paper establishes higher-order asymptotic expansions of the joint distribution of maxima under refined H\"{u}sler-Reiss conditions. In particular, the rate of convergence of normalized maxima to the H\"usler-Reiss distribution is explicitly calculated.


title: Efficient class of estimators for population median using auxiliary information

abstract: This article suggests an efficient class of estimators of population median of the study variable using an auxiliary variable. Asymptotic expressions of bias and mean square error of the proposed class of estimators have been obtained. Asymptotic optimum estimator has been investigated along with its approximate mean square error. We have shown that proposed class of estimator is more efficient than estimator considered by Srivastava (1967), Gross (1980), Kuk and Mak (1989) Singh et al. (2003b), Al and Chingi (2009) and Singh and Solanki (2013). In addition theoretical findings are supported by an empirical study based on two populations to show the superiority of the constructed estimators over others.


title: Self-propagating high-temperature synthesis of boron subphosphide, B12P2

abstract: Two new methods to produce nanopowders of B12P2 boron subphosphide by self-propagating high-temperature synthesis have been proposed. Bulk polycrystalline B12P2 with microhardness of HV = 35(3) GPa and stability in air up to 1300 K has been prepared by sintering these powders at 5.2 GPa and 2500 K.


title: A continuous model of ant foraging with pheromones and trail formation

abstract: We propose and numerically analyze a PDE model of ant foraging behavior. Ant foraging is a prime example of individuals following simple behavioral rules based on local information producing complex, organized and ``intelligent'' strategies at the population level. One of its main aspects is the widespread use of pheromones, which are chemical compounds laid by the ants used to attract other ants to a food source. In this work, we consider a continuous description of a population of ants and simulate numerically the foraging behavior using a system of PDEs of chemotaxis type. We show that, numerically, this system accurately reproduces observed foraging behavior, such as trail formation and efficient removal of food sources.


title: Effect of He-ion irradiation on short-range ordering in model (EFDA) Fe-Cr alloys

abstract: The effect of He-ion irradiation on a short-range ordering in model Fe100-xCrx (x=5.8, 10.75, 15.15) was studied by means of conversion electrons Mossbauer spectroscopy. The alloys were irradiated to the dose of 7.5 dpa with ions of 0.25 and 2.0 MeV. The short-range order was expressed in terms of the Warren-Cowley parameters: alpha1 (for the first nearest-neighbor shell), alpha2 (for the second nearest-neighbor shell) and alpha12 (for both shells). For all alloys and both energies a clustering of Cr atoms was revealed, as far as alpha1 and alpha2 are considered, yet its degree was found to be both concentration and energy dependent. The average short-range order parameter, alpha12, exhibits, however, a cross-over transition at x=10 from ordering into clustering. The strongest effect of energy occurs at x=5.8 and the weakest one at x=10.75.


title: A Tabu Search/Path Relinking Algorithm to Solve the Job Shop Scheduling Problem

abstract: We present an algorithm that incorporates a tabu search procedure into the framework of path relinking to tackle the job shop scheduling problem (JSP). This tabu search/path relinking (TS/PR) algorithm comprises several distinguishing features, such as a specific relinking procedure and a reference solution determination method. To test the performance of TS/PR, we apply it to tackle almost all of the benchmark JSP instances available in the literature. The test results show that TS/PR obtains competitive results compared with state-of-the-art algorithms for JSP in the literature, demonstrating its efficacy in terms of both solution quality and computational efficiency. In particular, TS/PR is able to improve the upper bounds for 49 out of the 205 tested instances and it solves a challenging instance that has remained unsolved for over 20 years.


title: Exploring GLIMPSE Bubble N107: Multiwavelength Observations and Simulations

abstract: Context. Bubble N107 was discovered in the infrared emission of dust in the Galactic Plane observed by the Spitzer Space Telescope (GLIMPSE survey: l ~ 51.0 deg, b ~ 0.1 deg). The bubble represents an example of shell-like structures found all over the Milky Way Galaxy. Aims. We aim to analyse the atomic and molecular components of N107, as well as its radio continuum emission. With the help of numerical simulations, we aim to estimate the bubble age and other parameters which cannot be derived directly from observations. Methods. From the observations of the HI (I-GALFA) and 13CO (GRS) lines we derive the bubble's kinematical distance and masses of the atomic and molecular components. With the algorithm DENDROFIND, we decompose molecular material into individual clumps. From the continuum observations at 1420 MHz (VGPS) and 327 MHz (WSRT), we derive the radio flux density and the spectral index. With the numerical code ring, we simulate the evolution of stellar-blown bubbles similar to N107. Results. The total HI mass associated with N107 is 5.4E3 Msun. The total mass of the molecular component (a mixture of cold gasses of H2, CO, He and heavier elements) is 1.3E5 Msun, from which 4.0E4 Msun is found along the bubble border. We identified 49 molecular clumps distributed along the bubble border, with the slope of the clump mass function of -1.1. The spectral index of -0.30 of a strong radio source located apparently within the bubble indicates nonthermal emission, hence part of the flux likely originates in a supernova remnant, not yet catalogued. The numerical simulations suggest N107 is likely less than 2.25 Myr old. Since first supernovae explode only after 3 Myr or later, no supernova remnant should be present within the bubble. It may be explained if there is a supernova remnant in the direction towards the bubble, however not associated with it.


title: Formal symplectic geometry for Leibniz algebras

abstract: We study a formal symplectic geometry for anticyclic Leibniz operad and its Koszul dual operad.


title: Mad Spectra

abstract: The mad spectrum is the set of all cardinalities of infinite maximal almost disjoint families on omega. We treat the problem to characterize those sets A which, in some forcing extension of the universe, can be the mad spectrum. We solve this problem to some extent. What remains open is the possible values of min(A) and max(A).


abstract: Control Loop Feedback Mechanism for Generic Array Logic Chip Multiprocessor is presented. The approach is based on control-loop feedback mechanism to maximize the efficiency on exploiting available resources such as CPU time, operating frequency, etc. Each Processing Element (PE) in the architecture is equipped with a frequency scaling module responsible for tuning the frequency of processors at run-time according to the application requirements. We show that generic array logic Chip Multiprocessors with large inter-processor First In First Outputs (First In First Outs) buffers can inherently hide much of the Generic Array Logic performance penalty while executing applications that have been mapped with few communication loops. In fact, the penalty can be driven to zero with sufficiently large First In First Outs and the removal of multiple-loop communication links. We present an example mesh-connected Generic Array Logic chip multiprocessor and show it has a less than 1% performance (throughput) reduction on average compared to the corresponding synchronous system for many DSP workloads. Furthermore, adaptive clock and voltage scaling for each processor provides an approximately 40% power savings without any performance reduction.


title: A Positivity-preserving High Order Finite Volume Compact-WENO Scheme for Compressible Euler Equations

abstract: In this paper, a positivity-preserving fifth-order finite volume compact-WENO scheme is proposed for solving compressible Euler equations. As we know conservative compact finite volume schemes have high resolution properties while WENO (Weighted Essentially Non-Oscillatory) schemes are essentially non-oscillatory near flow discontinuities. We extend the main idea of WENO schemes to some classical compact finite volume schemes [32], where lower order compact stencils are combined with WENO nonlinear weights to get a higher order finite volume compact-WENO scheme. The newly developed positivity-preserving limiter [46,44] is used to preserve positive density and internal energy for compressible Euler equations of fluid dynamics. The HLLC (Harten, Lax, and van Leer with Contact) approximate Riemann solver [39,2] is used to get the numerical flux at the cell interfaces. Numerical tests are presented to demonstrate the high-order accuracy, positivity-preserving, high-resolution and robustness of the proposed scheme.


title: A Novel Histogram Based Robust Image Registration Technique

abstract: In this paper, a method for Automatic Image Registration (AIR) through histogram is proposed. Automatic image registration is one of the crucial steps in the analysis of remotely sensed data. A new acquired image must be transformed, using image registration techniques, to match the orientation and scale of previous related images. This new approach combines several segmentations of the pair of images to be registered. A relaxation parameter on the histogram modes delineation is introduced. It is followed by characterization of the extracted objects through the objects area, axis ratio, and perimeter and fractal dimension. The matched objects are used for rotation and translation estimation. It allows for the registration of pairs of images with differences in rotation and translation. This method contributes to subpixel accuracy.


title: Interpreting Attoclock Measurements of Tunnelling Times

abstract: Resolving in time the dynamics of light absorption by atoms and molecules, and the electronic rearrangement this induces, is among the most challenging goals of attosecond spectroscopy. The attoclock is an elegant approach to this problem, which encodes ionization times in the strong-field regime. However, the accurate reconstruction of these times from experimental data presents a formidable theoretical challenge. Here, we solve this problem by combining analytical theory with ab-initio numerical simulations. We apply our theory to numerical attoclock experiments on the hydrogen atom to extract ionization time delays and analyse their nature. Strong field ionization is often viewed as optical tunnelling through the barrier created by the field and the core potential. We show that, in the hydrogen atom, optical tunnelling is instantaneous. By calibrating the attoclock using the hydrogen atom, our method opens the way to identify possible delays associated with multielectron dynamics during strong-field ionization.


title: Spectral Radius of Bipartite Graphs

abstract: Let k, p, q be positive integers with k < p < q+1. We prove that the maximum spectral radius of a simple bipartite graph obtained from the complete bipartite graph Kp,q of bipartition orders p and q by deleting k edges is attained when the deleting edges are all incident on a common vertex which is located in the partite set of order q. Our method is based on new sharp upper bounds on the spectral radius of bipartite graphs in terms of their degree sequences.


title: The intermediate and spin-liquid phase of the half-filled honeycomb Hubbard model

abstract: We obtain the phase-diagram of the half-filled honeycomb Hubbard model with density matrix embedding theory, to address recent controversy at intermediate couplings. We use clusters from 2-12 sites and lattices at the thermodynamic limit. We identify a paramagnetic insulating state, with possible hexagonal cluster order, competitive with the antiferromagnetic phase at intermediate coupling. However, its stability is strongly cluster and lattice size dependent, explaining controver- sies in earlier work. Our results support the paramagnetic insulator as being a metastable, rather than a true, intermediate phase, in the thermodynamic limit.


title: Localization of License Plate Using Morphological Operations

abstract: It is believed that there are currently millions of vehicles on the roads worldwide. The over speed of vehicles,theft of vehicles, disobeying traffic rules in public, an unauthorized person entering the restricted area are keep on increasing. In order restrict against these criminal activities, we need an automatic public security system. Each vehicle has their own Vehicle Identification Number (VIN) as their primary identifier. The VIN is actually a License Number which states a legal license to participate in the public traffic. The proposed paper is to identify the vehicle with the help of vehicles License Plate (LP).LPRS is one the most important part of the Intelligent Transportation System (ITS) to locate the LP. In this paper certain existing algorithm drawbacks are overcome by the proposed morphological operations for LPRS. Morphological operation is chosen due to its higher efficiency, noise filter capacity, accuracy, exact localization of LP and speed.


title: Effective Field Theory for Neutron Stars with Genuine Many-body Forces

abstract: The aim of our contribution is to shed some light on open questions facing the high density nuclear many-body problem. We focus our attention on the conceptual issue of naturalness and its role for the baryon-meson coupling for nuclear matter at high densities. As a guideline for the strengths of the various couplings the concept of naturalness has been adopted. In order to encourage possible new directions of research, we discuss relevant aspects of a relativistic effective theory for nuclear matter with natural parametric couplings and genuine many-body forces. Among other topics, we discuss in this work the connection of this theory with other known effective Quantum Hadrodynamics (QHD) models found in literature and how we can potentially use our approach to describe new physics for neutron stars. We also show some preliminary results for the equation of state, population profiles and mass-radius relation for neutron stars assuming local charge neutrality and beta equilibrium.


title: Perelman's entropy for some families of canonical metrics

abstract: We numerically calculate Perelman's entropy for a variety of canonical metrics on $\mathbb{CP}^{1}$-bundles over products of Fano K\"ahler-Einstein manifolds. The metrics investigated are Einstein metrics, K\"ahler-Ricci solitons and quasi-Einstein metrics. The calculation of the entropy allows a rough picture of how the Ricci flow behaves on each of the manifolds in question.


title: Shot-Noise in Fractional Wires: a Universal Fano-Factor Different than the Tunneling Charge

abstract: We consider partially gapped one dimensional (1D) conductors connected to normal leads, as realized in fractional helical wires. At certain electron densities, some distinct charge mode develops a gap due to electron interactions, leading to a fractional conductance. For this state we study the current noise caused by tunneling events inside the wire. We find that the noise's Fano-factor is different from the tunneling charge. This fact arises from charge scattering at the wire-leads interfaces. The resulting noise is, however, universal - it depends only on the identification of the gapped mode, and is insensitive to additional interactions in the wire. We further show that the tunneling charge can be deduced from the finite frequency noise, and yet is interaction dependent due to screening effects.


title: Graph metric with no proper inclusion between lines

abstract: In trying to generalize the classic Sylvester-Gallai theorem and De Bruijn-Erd\H{o}s theorem in plane geometry, lines and closure lines were previously defined for metric spaces and hypergraphs. Both definitions do not obey the geometric intuition in the sense that two lines (closure lines) may intersect at more than one point, and one line (closure line) might be the proper subset of another. In this work, we study the systems where one or both of the configurations are forbidden. We note that when any two lines intersect in at most one point, the two classic theorems extend in any metric space. We study the metric spaces induced by simple graphs where no line is a proper subset of another, and show that the least number of lines for such a graph with $n$ vertices is between the order of $n^{4/3}$ and $n^{4/3} \ln^{2/3} n$.


title: Superconductivity and Ferromagnetic Quantum Criticality in Uranium Compounds

abstract: We review our recent studies on ferromagnetic superconductors, UGe2, URhGe and UCoGe, together with the ferromagnetic quantum criticality and paramagnetic singularity on the Ising 5f-itinerant system UCoAl. Thanks to the variety of ordered moment in ferromagnetic superconductors from 1.5 muB to 0.05 muB, interesting systematic changes or similarities are clarified. All ferromagnetic superconductors show large upper critical field Hc2, and the field-reentrant (-reinforced) phenomena are observed in the field-temperature phase diagram, when the pressure or field direction is tuned for particular conditions. These phenomena are well explained by the ferromagnetic longitudinal fluctuations, which are induced by the magnetic field in transverse configurations. The large Hc2 might be also associated with possible additional effects of Fermi surface instabilities, such as Lifshitz-type singularities.


title: Deformed algebras: examples and application to Lax equations

abstract: We develop here a concept of deformed algebras through three examples and an application. Deformed algebras are obtained from a fixed algebra by deformation along a family of indexes, through formal series. We show how the example of deformed algebra used in \cite{Ma2013} is only an example among others, and how they often give rise to regular Fr\"olicher Lie groups. Then, we show how such deformed algebras arise in a formal integration of Lax equations through time scaling. The infinite dimensional groups under consideration enables to state the uniqueness of the formal solutions, their smooth dependance under perturbation, and to study some of the symmetries.


title: Negative Time Delay in Strongly Naked Singularity Lensing

abstract: We model the supermassive galactic center of the Milky Way galaxy as a strongly naked singularity lens described by the Janis-Newman-Winicour metric. This metric has an ordinary mass and massless scalar charge parameters. For very accurate results, we use the Virbhadra-Ellis lens equation for computations. The galactic center serving as gravitational lens gives rise to 4 images: 2 images on the same side as the source and 2 images on the opposite side of the source from the optic axis. We compute positions and time delays of these images for many values of the angular source position. The time delays of primary images decrease with an increase in angular source position and are always negative. The time delays of the other 3 images are negative for small angular source position; however, they increase with an increase in angular source position. Such observations would support strongly naked singularity interpretation of the galactic center and, if ever observed, would disprove the cosmic censorship hypothesis proposed by Roger Penrose as well as a weaker version by Virbhadra that allows existence of weakly, but not marginally and strongly naked singularities.


title: High-precision Distribution of Highly-stable Optical Pulse Trains with Sub-10-fs Timing Jitter

abstract: High-precision optical pulse trains distribution via fibre links has made huge impacts in many fields. In most published works, the accuracies are still fundamentally limited by some unavoidable noises, such as thermal and shot noise from conventional photodiodes, thermal noise from mixers. Here, we demonstrate a new high-precision timing distribution system by using highly-precision phase detector to overcome the limitations. Instead of using photodiodes and microwave mixers, we use several fibre Sagnac-loop-based optical-microwave phase detectors to realize optical-electrical conversion and phase measurements, for suppressing the noises and achieving ultra-high accuracy. A 10-km fibre link distribution experiment shows our system provides a residual instability at the level of 4.6*10-15@1-s and 6.1*10-18@10000-s, with an integrated timing jitter as low as 3.8 fs in a bandwidth of 1 Hz to 100 KHz. This low instability and timing jitter makes it possible that our system can be used in the optical clock distribution or the applications for the facilities which require extremely accuracy frequency time synchronization.


title: From Apollonian packings to homogeneous sets

abstract: We extend fundamental results concerning Apollonian packings, which constitute a major object of study in number theory, to certain homogeneous sets that arise naturally in complex dynamics and geometric group theory. In particular, we give an analogue of D. W. Boyd's theorem (relating the curvature distribution function of an Apollonian packing to its exponent and the Hausdorff dimension of the residual set) for Sierpi\'nski carpets that are Julia sets of hyperbolic rational maps.


title: New Directions for Primality Test

abstract: In this paper, two approximation algorithms are given. Let N be an odd composite number. The algorithms give new directions regarding primality test of given N. The first algorithm is given using a new method called digital coding method. It is conjectured that the algorithm finds a divisor of N in at most O(ln^{4} N), where ln denotes the logarithm with respect to base 2. The algorithm can be applied to find the next largest Mersenne prime number. Some directions are given regarding this. The second algorithm finds a prime divisor of N using the concept of graph pairs and it is proved that the time complexity of the second algorithm is at most O(ln^{2} N) for infinitely many cases (for approximately large N). The advantages and disadvantages of the second algorithm are also analyzed.


title: To go deep or wide in learning?

abstract: To achieve acceptable performance for AI tasks, one can either use sophisticated feature extraction methods as the first layer in a two-layered supervised learning model, or learn the features directly using a deep (multi-layered) model. While the first approach is very problem-specific, the second approach has computational overheads in learning multiple layers and fine-tuning of the model. In this paper, we propose an approach called wide learning based on arc-cosine kernels, that learns a single layer of infinite width. We propose exact and inexact learning strategies for wide learning and show that wide learning with single layer outperforms single layer as well as deep architectures of finite width for some benchmark datasets.


title: The operation of VEGA/CHARA : from the scientific idea to the final products

abstract: We describe the data flow in the operation of the VEGA/CHARA instrument. After a brief summary of the main characteristics and scientific objectives of the VEGA instrument, we explain the standard procedure from the scientific idea up to the execution of the observation. Then, we describe the different steps done after the observation, from the raw data to the archives and the final products. Many tools are used and we show how the Virtual Observatory principles have been implemented for the interoperability of these software and databases.


title: Multidimensional $C^0$ transversality

abstract: In 1994, Sakai introduced the property of $C^0$ transversality for two smooth curves in a two-dimensional manifold. This property was related to various shadowing properties of dynamical systems. In this short note, we generalize this property to arbitrary continuous mappings of topological spaces into topological manifolds. We prove a sufficient condition for the $C^0$ transversality of two submanifolds of a topological manifold and a necessary condition of $C^0$ transversality for mappings of metric spaces into $\mathbb{R}^n$.


title: On the concept of pseudo-energy of T. G. Shepherd. A close link with exergy functions

abstract: Shepherd (1993) derived a general expression for the available potential energy for compressible, hydrostatic flow, where the sum of this available energy and the kinetic energy is called pseudo-energy. He demonstrated that for a special basic state the small-amplitude limit of the generalized available potential energy reduces to the well-known approximate form of Lorenz (1955) expressed in a pressure vertical coordinate. Other forms of available energies exist in atmospheric energetics and in thermodynamics, where the name exergy has been coined by Rant (1956) to denote the maximum work that can be extracted from any system when it is subject to some constraints (adiabatic transformations or constant total energy for instance). The purpose of this note is to show that the specific available enthalpy function denoted by $a_h = (h - h_r) - T_r \: (s - s_r)$ in Marquet (1991) can be obtained from the generalized approach of Shepherd for another basic state. This special form of pseudo-energy also leads to the global hydrostatic concepts of Dutton (1973) and Pichler (1977). The function $a_h$ only depends on the specific enthalpy $h$ and entropy $s$ at any point, the values $h_r$ and $s_r$ refer to the special dead state at temperature $T_r$ and pressure $p_r$. It is explained that for another choice of the basic state, the generalized expression of Shepherd reduces with a good accuracy to the approximate functions introduced by Pearce (1978) or Blackburn (1983) in meteorology and Thomson (1853, Lord Kelvin) in thermodynamics.


title: Existence Results for Some Nonautonomous Integro-differential Equations

abstract: In this paper we make a subtle use of tools from operator theory and the Schauder fixed-point theorem to establish the existence of pseudo-almost automorphic solutions to some classes of nonautonomous integro-differential equations with pseudo-almost automorphic forcing terms. To illustrate our main results, the existence of pseudo-almost automorphic solutions to a parabolic Neumann boundary value problem that models population genetics and nerve pulse propagation will be discussed.


title: Decentralized Rendezvous of Nonholonomic Robots with Sensing and Connectivity Constraints

abstract: A group of wheeled robots with nonholonomic constraints is considered to rendezvous at a common specified setpoint with a desired orientation while maintaining network connectivity and ensuring collision avoidance within the robots. Given communication and sensing constraints for each robot, only a subset of the robots are aware or informed of the global destination, and the remaining robots must move within the network connectivity constraint so that the informed robots can guide the group to the goal. The mobile robots are also required to avoid collisions with each other outside a neighborhood of the common rendezvous point. To achieve the rendezvous control objective, decentralized time-varying controllers are developed based on a navigation function framework to steer the robots to perform rendezvous while preserving network connectivity and ensuring collision avoidance. Only local sensing feedback, which includes position feedback from immediate neighbors and absolute orientation measurement, is used to navigate the robots and enables radio silence during navigation. Simulation results demonstrate the performance of the developed approach.


title: Joint Structure Learning of Multiple Non-Exchangeable Networks

abstract: Several methods have recently been developed for joint structure learning of multiple (related) graphical models or networks. These methods treat individual networks as exchangeable, such that each pair of networks are equally encouraged to have similar structures. However, in many practical applications, exchangeability in this sense may not hold, as some pairs of networks may be more closely related than others, for example due to group and sub-group structure in the data. Here we present a novel Bayesian formulation that generalises joint structure learning beyond the exchangeable case. In addition to a general framework for joint learning, we (i) provide a novel default prior over the joint structure space that requires no user input; (ii) allow for latent networks; (iii) give an efficient, exact algorithm for the case of time series data and dynamic Bayesian networks. We present empirical results on non-exchangeable populations, including a real data example from biology, where cell-line-specific networks are related according to genomic features.


title: On the field theoretical formulation of the electron-proton scattering in the Coulomb and Lorentz gauges

abstract: The relativistic three dimensional (3D) Lippmann-Schwinger-type equations for the $ep$ scattering amplitude is derived based on unitarity condition in the usual quantum electrodynamic (QED). The $ep$ scattering potential $V_{e'N',eN}$ consists of the leading one off mass shell photon exchange part and the nonlocal multi-particle exchange potential. Unlike to the other field-theoretical equations, both protons in the unitarity condition and in $V_{e'N',eN}$ are on mass shell. Therefore in this approach are not required the multi-variable input photon-nucleon vertexes with the off mass shell nucleons. In the present formulation the standard leading one photon exchange potential $V_{OPE}$ is generated by the canonical equal-time anti commutator between the electron source and the interacted electron fields which are sandwiched by the one nucleon asymptotic states. This anticommutator is calculated in the Coulomb and Lorentz gauges, where only the transverse parts of the photon fields are quantized. It is shown, that the leading one photon exchange potentialn$V_{OPE}$ in the Coulomb and Lorentz gauges coincide. The complete set of the next to leading order terms which are generated by the static electric (Coulomb) interaction are exactly reproduced.


title: VM Power Prediction in Distributed Systems for Maximizing Renewable Energy Usage

abstract: In the context of GreenPAD project it is important to predict the energy consumption of individual (and mixture of) VMs / workload for optimal scheduling (running those VMs which require higher energy when there is more green energy available and vice-versa) in order to maximize green energy utilization. For this we execute the following experiments on an Openstack cloud testbed consisting of Fujitsu servers: VM energy measurement for different configurations (flavor + workload) and VM energy prediction for a new configuration. The automation framework for running these experiments uses bash scripts which call tools like 'stress' (simulating workloads), 'collected' (resource usage) and 'IPMI' (power measurement). We propose a linear model for predicting the power usage of the VMs based on regression. We first collect the resource usage (using collected) and the associated power usage (using IPMI) for different VM configurations and use this to build a (multi-) regression model (between resource usage and VM energy consumption). Then we use the information about the resource usage patterns of the new workload to predict the power usage. For predicting power for mix of workloads we execute (build a regression model based on) experiments with random workloads. We observe the highest energy usage for CPU-intensive workloads followed by memory-intensive workloads.


title: Packing k-partite k-uniform hypergraphs

abstract: Let $G$ and $H$ be $k$-graphs ($k$-uniform hypergraphs); then a perfect $H$-packing in $G$ is a collection of vertex-disjoint copies of $H$ in $G$ which together cover every vertex of $G$. For any fixed $H$ let $\delta(H, n)$ be the minimum $\delta$ such that any $k$-graph $G$ on $n$ vertices with minimum codegree $\delta(G) \geq \delta$ contains a perfect $H$-packing. The problem of determining $\delta(H, n)$ has been widely studied for graphs (i.e. $2$-graphs), but little is known for $k \geq 3$. Here we determine the asymptotic value of $\delta(H, n)$ for all complete $k$-partite $k$-graphs $H$, as well as a wide class of other $k$-partite $k$-graphs. In particular, these results provide an asymptotic solution to a question of R\"odl and Ruci\'nski on the value of $\delta(H, n)$ when $H$ is a loose cycle. We also determine asymptotically the codegree threshold needed to guarantee an $H$-packing covering all but a constant number of vertices of $G$ for any complete $k$-partite $k$-graph $H$.


title: Containment Control for a Social Network with State-Dependent Connectivity

abstract: Social interactions influence our thoughts, opinions and actions. In this paper, social interactions are studied within a group of individuals composed of influential social leaders and followers. Each person is assumed to maintain a social state, which can be an emotional state or an opinion. Followers update their social states based on the states of local neighbors, while social leaders maintain a constant desired state. Social interactions are modeled as a general directed graph where each directed edge represents an influence from one person to another. Motivated by the non-local property of fractional-order systems, the social response of individuals in the network are modeled by fractional-order dynamics whose states depend on influences from local neighbors and past experiences. A decentralized influence method is then developed to maintain existing social influence between individuals (i.e., without isolating peers in the group) and to influence the social group to a common desired state (i.e., within a convex hull spanned by social leaders). Mittag-Leffler stability methods are used to prove asymptotic stability of the networked fractional-order system.


title: A Hybrid Estimation of Distribution Algorithm with Random Walk local Search for Multi-mode Resource-Constrained Project Scheduling problems

abstract: Multi-mode resource-constrained project scheduling problems (MRCPSPs) are classified as NP-hard problems, in which a task has different execution modes characterized by different resource requirements. Estimation of distribution algorithm (EDA) has shown an effective performance for solving such real-world optimization problems but it fails to find the desired optima. This paper integrates a novel hybrid local search technique with EDA to enhance their local search ability. The new local search is based on delete-then-insert operator and a random walk (DIRW) to enhance exploitation abilities of EDA in the neighborhoods of the search space. The proposed algorithm is capable to explore and exploit the search mechanism in the search space through its outer and inner loops. The proposed algorithm is tested and evaluated using benchmark test problems of the project scheduling problem library PSPLIB. Simulation results of the proposed algorithm are compared with the classical EDA algorithm. The obtained results showed that the effectiveness of the proposed algorithm and outperformed the compared EDA algorithm.


title: On Saturated $k$-Sperner Systems

abstract: Given a set $X$, a collection $\mathcal{F}\subseteq\mathcal{P}(X)$ is said to be $k$-Sperner if it does not contain a chain of length $k+1$ under set inclusion and it is saturated if it is maximal with respect to this property. Gerbner et al. conjectured that, if $|X|$ is sufficiently large with respect to $k$, then the minimum size of a saturated $k$-Sperner system $\mathcal{F}\subseteq\mathcal{P}(X)$ is $2^{k-1}$. We disprove this conjecture by showing that there exists $\varepsilon>0$ such that for every $k$ and $|X| \geq n_0(k)$ there exists a saturated $k$-Sperner system $\mathcal{F}\subseteq\mathcal{P}(X)$ with cardinality at most $2^{(1-\varepsilon)k}$. A collection $\mathcal{F}\subseteq \mathcal{P}(X)$ is said to be an oversaturated $k$-Sperner system if, for every $S\in\mathcal{P}(X)\setminus\mathcal{F}$, $\mathcal{F}\cup\{S\}$ contains more chains of length $k+1$ than $\mathcal{F}$. Gerbner et al. proved that, if $|X|\geq k$, then the smallest such collection contains between $2^{k/2-1}$ and $O\left(\frac{\log{k}}{k}2^k\right)$ elements. We show that if $|X|\geq k^2+k$, then the lower bound is best possible, up to a polynomial factor.


title: A new model for Context-Oriented Programs

abstract: Context-oriented programming (COP) is a new technique for programming that allows changing the context in which commands execute as a program executes. Compared to object-oriented programming (aspect-oriented programming), COP is more flexible (modular and structured). This paper presents a precise syntax-directed operational semantics for context-oriented programming with layers, as realized by COP languages like ContextJ* and ContextL. Our language model is built on Java enriched with layer concepts and activation and deactivation of layer scopes. The paper also presents a static type system that guarantees that typed programs do not get stuck. Using the means of the proposed semantics, the mathematical correctness of the type system is presented in the paper.


title: Exact solution of the optical Bloch equation for the Demkov model

abstract: An exact analytic solution is presented for coherent resonant excitation of a two-state quantum system driven by a time-dependent pulsed external field described by Demkov model in the presence of dephasing.


title: Fast multidimensional convolution in low-rank formats via cross approximation

abstract: We propose a new cross-conv algorithm for approximate computation of convolution in different low-rank tensor formats (tensor train, Tucker, Hierarchical Tucker). It has better complexity with respect to the tensor rank than previous approaches. The new algorithm has a high potential impact in different applications. The key idea is based on applying cross approximation in the "frequency domain", where convolution becomes a simple elementwise product. We illustrate efficiency of our algorithm by computing the three-dimensional Newton potential and by presenting preliminary results for solution of the Hartree-Fock equation on tensor-product grids.


title: Correspondence between dark solitons and the type II excitations of Lieb-Liniger model

abstract: A one-dimensional model of bosons with repulsive short-range interactions, solved analytically by Lieb and Liniger many years ago, predicts existence of two branches of elementary excitations. One of them represents Bogoliubov phonons, the other, as suggested by some authors, might be related to dark solitons. On the other hand, it has been already demonstrated within a framework of the classical field approximation that quasi-one-dimensional interacting Bose gas at equilibrium exhibits excitations which are phonons and dark solitons. By showing that statistical distributions of dark solitons obtained within the classical field approximation match the distributions of quasiparticles of the second kind derived from fully quantum description we demonstrate that type II excitations in the Lieb-Liniger model are, indeed, quantum solitons.


title: Tropicalization of Del Pezzo Surfaces

abstract: We determine the tropicalizations of very affine surfaces over a valued field that are obtained from del Pezzo surfaces of degree 5, 4 and 3 by removing their (-1)-curves. On these tropical surfaces, the boundary divisors are represented by trees at infinity. These trees are glued together according to the Petersen, Clebsch and Schl\"afli graphs, respectively. There are 27 trees on each tropical cubic surface, attached to a bounded complex with up to 73 polygons. The maximal cones in the 4-dimensional moduli fan reveal two generic types of such surfaces.


title: Compact presentability of tree almost automorphism groups

abstract: We establish compact presentability, i.e. the locally compact version of finite presentability, for an infinite family of tree almost automorphism groups. Examples covered by our results include Neretin's group of spheromorphisms, as well as the topologically simple group containing the profinite completion of the Grigorchuk group constructed by Barnea, Ershov and Weigel. We additionally obtain an upper bound on the Dehn function of these groups in terms of the Dehn function of an embedded Higman-Thompson group. This, combined with a result of Guba, implies that the Dehn function of the Neretin group of the regular trivalent tree is polynomially bounded.


title: Crucial tests of macrorealist and semi-classical gravity models with freely falling mesoscopic nanospheres

abstract: Recently, several proposals have been made to test the quantum superposition principle in the mesoscopic regime. Most of these tests consist of a careful measurement of the loss of interference due to decoherence. Here we consider, instead, the spread in position of a freely falling nanosphere. We study in depth the dependence of this spread on self-gravity in the presence of decoherence (exotic and non-exotic). We show that the influence of self-gravity is robust in the presence of weak decoherence, and quantify this robustness by introducing a new parameter, the critical decoherence, aimed at estimating the critical value above which self-gravity is overwhelmed by decoherence. We also emphasise the crucial role played by the spread of the initial wave packet for the sensitivity of free-fall experiments to decoherence.


title: Galaxy and Mass Assembly (GAMA): The evolution of bias in the radio source population to z ~ 1.5

abstract: We present a large-scale clustering analysis of radio galaxies in the Very Large Array (VLA) Faint Images of the Radio Sky at Twenty-cm (FIRST) survey over the Galaxy And Mass Assembly (GAMA) survey area, limited to S1.4 GHz >1 mJy with spectroscopic and photometric redshift limits up to r < 19.8 and r < 22 mag, respectively. For the GAMA spectroscopic matches, we present the redshift-space and projected correlation functions, the latter of which yielding a correlation length r0 ~ 8.2 Mpc/h and linear bias of ~1.9 at z ~ 0.34. Furthermore, we use the angular two-point correlation function w({\theta}) to determine spatial clustering properties at higher redshifts. We find r0 to increase from ~6 to ~14 Mpc/h between z = 0.3 and z = 1.55, with the corresponding bias increasing from ~2 to ~10 over the same range. Our results are consistent with the bias prescription implemented in the SKADS simulations at low redshift, but exceed these predictions at z > 1. This is indicative of an increasing (rather than fixed) halo mass and/or AGN fraction at higher redshifts or a larger typical halo mass for the more abundant FRI sources.


title: Restricted Covariance Priors with Applications in Spatial Statistics

abstract: We present a Bayesian model for area-level count data that uses Gaussian random effects with a novel type of G-Wishart prior on the inverse variance--covariance matrix. Specifically, we introduce a new distribution called the truncated G-Wishart distribution that has support over precision matrices that lead to positive associations between the random effects of neighboring regions while preserving conditional independence of non-neighboring regions. We describe Markov chain Monte Carlo sampling algorithms for the truncated G-Wishart prior in a disease mapping context and compare our results to Bayesian hierarchical models based on intrinsic autoregression priors. A simulation study illustrates that using the truncated G-Wishart prior improves over the intrinsic autoregressive priors when there are discontinuities in the disease risk surface. The new model is applied to an analysis of cancer incidence data in Washington State.


title: Seismology of adolescent neutron stars: Accounting for thermal effects and crust elasticity

abstract: We study the oscillations of relativistic stars, incorporating key physics associated with internal composition, thermal gradients and crust elasticity. Our aim is to develop a formalism which is able to account for the state-of-the-art understanding of the complex physics associated with these systems. As a first step, we build models using a modern equation of state including composition gradients and density discontinuities associated with internal phase-transitions (like the crust-core transition and the point where muons first appear in the core). In order to understand the nature of the oscillation spectrum, we carry out cooling simulations to provide realistic snapshots of the temperature distribution in the interior as the star evolves through adolescence. The associated thermal pressure is incorporated in the perturbation analysis, and we discuss the presence of $g$-modes arising as a result of thermal effects. We also consider interface modes due to phase-transitions and the gradual formation of the star's crust and the emergence of a set of shear modes.


title: Mean-Field Sparse Optimal Control

abstract: We introduce the rigorous limit process connecting finite dimensional sparse optimal control problems with ODE constraints, modeling parsimonious interventions on the dynamics of a moving population divided into leaders and followers, to an infinite dimensional optimal control problem with a constraint given by a system of ODE for the leaders coupled with a PDE of Vlasov-type, governing the dynamics of the probability distribution of the followers. In the classical mean-field theory one studies the behavior of a large number of small individuals freely interacting with each other, by simplifying the effect of all the other individuals on any given individual by a single averaged effect. In this paper we address instead the situation where the leaders are actually influenced also by an external policy maker, and we propagate its effect for the number $N$ of followers going to infinity. The technical derivation of the sparse mean-field optimal control is realized by the simultaneous development of the mean-field limit of the equations governing the followers dynamics together with the $\Gamma$-limit of the finite dimensional sparse optimal control problems.


title: Gravity as a four dimensional algebraic quantum field theory

abstract: Based on a family of indefinite unitary representations of the diffeomorphism group of an oriented smooth $4$-manifold, a manifestly covariant $4$ dimensional and non-perturbative algebraic quantum field theory formulation of gravity is exhibited. More precisely among the bounded linear operators acting on these representation spaces we identify algebraic curvature tensors hence a net of local quantum observables can be constructed from $C^*$-algebras generated by local curvature tensors and vector fields. This algebraic quantum field theory is extracted from structures provided by an oriented smooth $4$-manifold only hence possesses a diffeomorphism symmetry. In this way classical general relativity exactly in $4$ dimensions naturally embeds into a quantum framework. Several Hilbert space representations of the theory are found. First a "tautological representation" of the limiting global $C^*$-algebra is constructed allowing to associate to any oriented smooth $4$-manifold a von Neumann algebra in a canonical fashion. Secondly, influenced by the Dougan--Mason approach to gravitational quasilocal energy-momentum, we construct certain representations what we call "positive mass representations" with unbroken diffeomorphism symmetry. Thirdly, we also obtain "classical representaions" with spontaneously broken diffeomorphism symmetry corresponding to the classical limit of the theory which turns out to be general relativity. Finally we observe that the whole family of "positive mass representations" comprise a $2$ dimensional conformal field theory in the sense of G. Segal.


title: Counting the minimal number of inflections of a plane curve

abstract: Given a plane curve $\gamma: S^1\to \mathbb R^2$, we consider the problem of determining the minimal number $I(\gamma)$ of inflections which curves $\mbox{diff}(\gamma)$ may have, where $\mbox{diff}$ runs over the group of diffeomorphisms of $\mathbb R^2$. We show that if $\gamma$ is an immersed curve with $D(\gamma)$ double points and no other singularities, then $I(\gamma)\leq 2D(\gamma)$. In fact, we prove the latter result for the so-called plane doodles which are finite collections of closed immersed plane curves whose only singularities are double points.


abstract: We construct the Darboux transformation with Dihedral reduction group for the 2-dimensional generalisation of the periodic Volterra lattice. The resulting Backlund transformation can be viewed as a nonevolutionary integrable differential difference equation. We also find its generalised symmetry and the Lax representation for this symmetry. Using formal diagonalisation of the Darboux matrix we obtain local conservation laws of the system.


title: Semisimple Super Tannakian Categories with a small Tensor Generator

abstract: We consider semisimple super Tannakian categories generated by an object whose symmetric or alternating tensor square is simple up to trivial summands. Using representation theory, we provide a criterion to identify the corresponding Tannaka super groups that applies in many situations. As an example we discuss the tensor category generated by the convolution powers of an algebraic curve inside its Jacobian variety.


title: Non-uniform spline recovery from small degree polynomial approximation

abstract: We investigate the sparse spikes deconvolution problem onto spaces of algebraic polynomials. Our framework encompasses the measure reconstruction problem from a combination of noiseless and noisy moment measurements. We study a TV-norm regularization procedure to localize the support and estimate the weights of a target discrete measure in this frame. Furthermore, we derive quantitative bounds on the support recovery and the amplitudes errors under a Chebyshev-type minimal separation condition on its support. Incidentally, we study the localization of the knots of non-uniform splines when a Gaussian perturbation of their inner-products with a known polynomial basis is observed (i.e. a small degree polynomial approximation is known) and the boundary conditions are known. We prove that the knots can be recovered in a grid-free manner using semidefinite programming.


title: On the effect of external forces on incompressible fluid motions at large distances

abstract: We study incompressible Navier--Stokes flows in~$\R^d$ with small and well localized data and external force~$f$. We establish pointwise estimates for large~$|x|$ of the form \hbox{$c_t|x|^{-d}\le |u(x,t)|\le c'_t|x|^{-d}$}, where $c_t>0$ whenever $\int_0^t\!\!\int f(x,s)\,dx\,ds\not=\vec 0$. This sharply contrasts with the case of the Navier--Stokes equations without force, studied in [Brandolese, Vigneron, J. Math. Pures Appl. 88, 64--86 (2007)], where the spatial asymptotic behavior was $|u(x,t)|\simeq C_t|x|^{-d-1}$. In particular, this shows that external forces with non-zero mean, no matter how small and well localized (say, compactly supported in space-time), increase the velocity of fluid particles at {\it all times~$t$} and at \emph{at all points~$x$} in the far-field. As an application of our analysis on the pointwise behavior, we deduce sharp upper and lower bounds of weighted $L^p$-norms for strong solutions, extending the results obtained in [Bae, Brandolese, Jin, Asymptotic behavior for the Navier--Stokes equations with nonzero external forces, Nonlinear analysis, doi:10.1016/j.na.2008.10.074] for weak solutions, by considering here a larger (and in fact, optimal) class of weight functions.


title: Rabi oscillations of solitons in spin-chains: a new route to quantum computation and communication

abstract: We provide the first evidence for coherence and Rabi oscillations of spin-solitons pinned by the local breaking of translational symmetry in isotropic Heisenberg chains (simple antiferromagnetic-N\'{e}el or spin-Peierls).We show that these correlated spin systems made of hundreds of coupled spin bear an overall spin S=1/2 and can be manipulated as a single spin. This is clearly contrary to all known spin-qubits which are paramagnetic centres, highly diluted to prevent decoherence. These results offer an alternative approach for spin-qubits paving the way for the implementation of a new type of quantum computer.


title: First-Principles Study of Secondary Slip in Zirconium

abstract: Although the favored glide planes in hexagonal close-packed Zr are prismatic, screw dislocations can escape their habit plane to glide in either pyramidal or basal planes. Using abinitio calculations within the nudged elastic band method, we show that, surprisingly, both events share the same thermally activated process with an unusual conservative motion of the prismatic stacking fault perpendicularly to itself. Halfway through the migration, the screw dislocation adopts a nonplanar metastable configuration with stacking faults in adjacent prismatic planes joined by a two-layer pyramidal twin.


title: Dynamic Rate and Channel Selection in Cognitive Radio Systems

abstract: In this paper, we investigate dynamic channel and rate selection in cognitive radio systems which exploit a large number of channels free from primary users. In such systems, transmitters may rapidly change the selected (channel, rate) pair to opportunistically learn and track the pair offering the highest throughput. We formulate the problem of sequential channel and rate selection as an online optimization problem, and show its equivalence to a {\it structured} Multi-Armed Bandit problem. The structure stems from inherent properties of the achieved throughput as a function of the selected channel and rate. We derive fundamental performance limits satisfied by {\it any} channel and rate adaptation algorithm, and propose algorithms that achieve (or approach) these limits. In turn, the proposed algorithms optimally exploit the inherent structure of the throughput. We illustrate the efficiency of our algorithms using both test-bed and simulation experiments, in both stationary and non-stationary radio environments. In stationary environments, the packet successful transmission probabilities at the various channel and rate pairs do not evolve over time, whereas in non-stationary environments, they may evolve. In practical scenarios, the proposed algorithms are able to track the best channel and rate quite accurately without the need of any explicit measurement and feedback of the quality of the various channels.


title: The prospect of using LES and DES in engineering design, and the research required to get there

abstract: In this paper we try to look into the future to divine how large eddy and detached eddy simulations (LES and DES, respectively) will be used in the engineering design process about 20-30 years from now. Some key challenges specific to the engineering design process are identified, and some of the critical outstanding problems and promising research directions are discussed.


title: Solution to the Inverse Wulff Problem by Means of the Enhanced Semidefinite Relaxation Method

abstract: We propose a novel method of resolving the optimal anisotropy function. The idea is to construct the optimal anisotropy function as a solution to the inverse Wulff problem, i.e. as a minimizer for the anisoperimetric ratio for a given Jordan curve in the plane. It leads to a nonconvex quadratic optimization problem with linear matrix inequalities. In order to solve it we propose the so-called enhanced semidefinite relaxation method which is based on a solution to a convex semidefinite problem obtained by a semidefinite relaxation of the original problem augmented by quadratic-linear constraints. We show that the sequence of finite dimensional approximations of the optimal anisoperimetric ratio converges to the optimal anisoperimetric ratio which is a solution to the inverse Wulff problem. Several computational examples, including those corresponding to boundaries of real snowflakes and discussion on the rate of convergence of numerical method are also presented in this paper.


title: Superadiabatic optimization via Dykhne-Davis-Pechukas (DDP) method

abstract: This paper we propose how to apply the Dykhne-Davis-Pechukas (DDP) method for optimization of adiabatic passage in a two-state system in the second adiabtic basis.


title: ShearLab 3D: Faithful Digital Shearlet Transforms based on Compactly Supported Shearlets

abstract: Wavelets and their associated transforms are highly efficient when approximating and analyzing one-dimensional signals. However, multivariate signals such as images or videos typically exhibit curvilinear singularities, which wavelets are provably deficient of sparsely approximating and also of analyzing in the sense of, for instance, detecting their direction. Shearlets are a directional representation system extending the wavelet framework, which overcomes those deficiencies. Similar to wavelets, shearlets allow a faithful implementation and fast associated transforms. In this paper, we will introduce a comprehensive carefully documented software package coined ShearLab 3D (www.ShearLab.org) and discuss its algorithmic details. This package provides MATLAB code for a novel faithful algorithmic realization of the 2D and 3D shearlet transform (and their inverses) associated with compactly supported universal shearlet systems incorporating the option of using CUDA. We will present extensive numerical experiments in 2D and 3D concerning denoising, inpainting, and feature extraction, comparing the performance of ShearLab 3D with similar transform-based algorithms such as curvelets, contourlets, or surfacelets. In the spirit of reproducible reseaerch, all scripts are accessible on www.ShearLab.org.


title: Best Polynomial Approximation on the Unit Sphere and the Unit Ball

abstract: This is a survey on best polynomial approximation on the unit sphere and the unit ball. The central problem is to describe the approximation behavior of a function by polynomials via smoothness of the function. A major effort is to identify a correct gadget that characterizes smoothness of functions, either a modulus of smoothness or a $K$- functional, the two of which are often equivalent. We will concentrate on characterization of best approximations, given in terms of direct and converse theorems, and report several moduli of smoothness and $K$-functionals, including recent results that give a fairly satisfactory characterization of best approximation by polynomials for functions in $L^p$ spaces, the space of continuous functions, and Sobolev spaces.


title: Substitutions, tiling dynamical systems and minimal self-joinings

abstract: We investigate substitution subshifts and tiling dynamical systems arising from the substitutions (1) \theta : 0 \rightarrow 001,1 \rightarrow 11001 and (2) \eta : 0 \rightarrow 001,1 \rightarrow 11100. We show that the substitution subshifts arising from \theta and \eta have minimal self-joinings and are mildly mixing. We also give a criterion for 1-dimensional tiling systems arising from \theta or \eta to have minimal self-joinings. We apply this to obtain examples of mildly mixing 1-dimensional tiling systems.


title: Morris-Shore transformation with unequal detunings

abstract: The aim of this paper is to analyze the MS transformation in the case of weak deviation of the condition for equal detunings, which in necessary for factorization towards set of two-state systems and set of decouple states. Some elements concerning the general solution of the MS transformation will be also discussed.


title: Computational Complexity and Black Hole Horizons

abstract: Computational complexity is essential to understanding the properties of black hole horizons. The problem of Alice creating a firewall behind the horizon of Bob's black hole is a problem of computational complexity. In general we find that while creating firewalls is possible, it is extremely difficult and probably impossible for black holes that form in sudden collapse, and then evaporate. On the other hand if the radiation is bottled up then after an exponentially long period of time firewalls may be common. It is possible that gravity will provide tools to study problems of complexity; especially the range of complexity between scrambling and exponential complexity.


title: The brief era of direct collapse black hole formation

abstract: It has been proposed that the first, intermediate-mass ($\approx 10^{5-6}~M_\odot$) black holes might form through direct collapse of unpolluted gas in atomic-cooling halos exposed to a strong Lyman-Werner (LW) or near-infrared (NIR) radiation. As these systems are expected to be Compton-thick, photons above 13.6 eV are largely absorbed and re-processed into lower energy bands. It follows that direct collapse black holes (DCBHs) are very bright in the LW/NIR bands, typically outshining small high-redshift galaxies by more than 10 times. Once the first DCBHs form, they then trigger a runaway process of further DCBH formation, producing a sudden rise in their cosmic mass density. The universe enters the "DCBH era" at $z \approx 20$ when a large fraction of atomic-cooling halos are experiencing DCBH formation. By combining the clustering properties of the radiation sources with Monte Carlo simulations we show that in this scenario the DCBH mass density rises from $\sim 5$~$M_\odot$ Mpc$^{-3}$ at $z\sim 30$ to the peak value $\sim5\times10^5 M_\odot$ Mpc$^{-3}$ at $z \sim 14$ in our fiducial model. However, the abundance of \textit{active} (accreting) DCBHs drops after $z \sim 14$, as gas in the potential formation sites (unpolluted halos with virial temperature slightly above $10^4$~K) is photoevaporated. This effect almost completely suppresses DCBH formation after $z\sim 13$. The DCBH formation era lasts only $\approx 150$ Myr, but it might crucially provide the seeds of the supermassive black holes (SMBHs) powering $z\sim6$ quasars.


title: Single Cycle Thin Film Compressor Opening the door to Zeptosecond-Exawatt Physics

abstract: This article demonstrates a new compression scheme that has the potential to compress a high energy pulse as high as a few hundred Joules in a pulse as short as one optical cycle at 0.8{\mu}m making a true ultra-relativistic {\lambda}^3 pulse. This pulse could have a focused intensity of 10^24W/cm2 or a0 of 1000. It could form an efficient, 10%, relativistic mirror that could compress the pulse to the atto-zeptosecond regime, with an upshifted wavelength of 1-10keV. This technique could be a watershed making the entry of petawatt pulses into the exawatt and zeptosecond regime possible.


title: List strong edge coloring of some classes of graphs

abstract: A {\em strong edge coloring} of a graph is a proper edge coloring in which every color class is an induced matching. The {\em strong chromatic index} of a graph is the minimum number of colors needed to obtain a strong edge coloring. In an analogous way, we can define the list version of strong edge coloring and list version of strong chromatic index. In this paper, we prove that if $G$ is a graph with maximum degree at most four and maximum average degree less than $3$, then the list strong chromatic index is at most $3\Delta + 1$, where $\Delta$ is the maximum degree of $G$. In addition, we prove that if $G$ is a planar graph with maximum degree at least $4$ and girth at least $7$, then the list strong chromatic index is at most $3\Delta$.


title: Interacting Ricci dark energy models with an effective $\Lambda$-term in Lyra manifold

abstract: In this paper we consider a universe filled with barotropic dark matter and Ricci dark energy in Lyra geometry with varying Lambda. We assume two different kinds of interactions between dark matter and dark energy. Then, by using numerical analysis, we investigate some cosmological parameters of the models such as equation of state, Hubble and deceleration parameters.


title: Time-dependent Heston model

abstract: This work presents an exact solution to the generalized Heston model, where the model parameters are assumed to have linear time dependence The solution for the model in expressed in terms of confluent hypergeometric functions.


title: Extended calculations of a special Harmonic number

abstract: The search for values of $p$ for which the Harmonic numbers $H_{\lfloor p/6 \rfloor}$ vanish mod $p$, carried to $p < 600,000$ by Schwindt in 1983, is extended here to $p < 149,250,000,000,000$, and two new solutions are reported. (These results can now be found in the Online Encyclopedia of Integer Sequences, entry no.\ A238201.)


title: Region-based approximation of probability distributions (for visibility between imprecise points among obstacles)

abstract: Let $p$ and $q$ be two imprecise points, given as probability density functions on $\mathbb R^2$, and let $\cal R$ be a set of $n$ line segments (obstacles) in $\mathbb R^2$. We study the problem of approximating the probability that $p$ and $q$ can see each other; that is, that the segment connecting $p$ and $q$ does not cross any segment of $\cal R$. To solve this problem, we approximate each density function by a weighted set of polygons; a novel approach to dealing with probability density functions in computational geometry.


title: How Tall Can Be the Excursions of a Random Walk on a Spider

abstract: We consider a simple symmetric random walk on a spider, that is a collection of half lines (we call them legs) joined at the origin. Our main question is the following: if the walker makes $n$ steps how high can he go up on all legs. This problem is discussed in two different situations; when the number of legs are increasing, as $n$ goes to infinity and when it is fixed.


title: Adiabatic embedment of nanomechanical resonators in photonic microring cavities

abstract: We report a circuit cavity optomechanical system in which a nanomechanical resonator is adiabatically embedded inside an optical ring resonator with ultralow transition loss. The nanomechanical device forms part of the top layer of a horizontal silicon slot ring resonator, which enables dispersive coupling to the dielectric substrate via a tapered nanogap. Our measurements show nearly uncompromised optical quality factors (Q) after the release of the mechanical beam.


title: Discriminative Functional Connectivity Measures for Brain Decoding

abstract: We propose a statistical learning model for classifying cognitive processes based on distributed patterns of neural activation in the brain, acquired via functional magnetic resonance imaging (fMRI). In the proposed learning method, local meshes are formed around each voxel. The distance between voxels in the mesh is determined by using a functional neighbourhood concept. In order to define the functional neighbourhood, the similarities between the time series recorded for voxels are measured and functional connectivity matrices are constructed. Then, the local mesh for each voxel is formed by including the functionally closest neighbouring voxels in the mesh. The relationship between the voxels within a mesh is estimated by using a linear regression model. These relationship vectors, called Functional Connectivity aware Local Relational Features (FC-LRF) are then used to train a statistical learning machine. The proposed method was tested on a recognition memory experiment, including data pertaining to encoding and retrieval of words belonging to ten different semantic categories. Two popular classifiers, namely k-nearest neighbour (k-nn) and Support Vector Machine (SVM), are trained in order to predict the semantic category of the item being retrieved, based on activation patterns during encoding. The classification performance of the Functional Mesh Learning model, which range in 62%-71% is superior to the classical multi-voxel pattern analysis (MVPA) methods, which range in 40%-48%, for ten semantic categories.


title: Uhlenbeck compactification as a functor

abstract: We give a definition of a functor compactifying the functor of bundles on a surfaces. Earlier different authors have defined similar spaces as either images under a morphism or a quotient by an equivalence relation. We use the technique of multiplicative functors to explain what kind of objects are parameterized by the points of this compactification.


title: Investigation of Mode Interaction in Optical Microresonators for Kerr Frequency Comb Generation

abstract: Mode interaction in silicon nitride micro-resonators is investigated. We provide clear experimental evidence of mode interaction between two family modes and mode interaction is demonstrated to be the cause of the comb generation in resonators with normal dispersion.


title: Monoidal computer II: Normal complexity by string diagrams

abstract: In Monoidal Computer I, we introduced a categorical model of computation where the formal reasoning about computability was supported by the simple and popular diagrammatic language of string diagrams. In the present paper, we refine and extend that model of computation to support a formal complexity theory as well. This formalization brings to the foreground the concept of normal complexity measures, which allow decompositions akin to Kleene's normal form. Such measures turn out to be just those where evaluating the complexity of a program does not require substantially more resources than evaluating the program itself. The usual time and space complexity are thus normal measures, whereas the average and the randomized complexity measures are not. While the measures that are not normal provide important design time information about algorithms, and for theoretical analyses, normal measures can also be used at run time, as practical tools of computation, e.g. to set the bounds for hypothesis testing, inductive inference and algorithmic learning.


title: Convex Structures Revisited

abstract: We provide a complete characterisation of extreme points of the space of sofic representations. We also show that the restriction map $Sof(G,P^{\omega})$ to $Sof(H,P^{\omega})$, where $H\subset G$ is not always surjective. The first part of the paper is a continuation of [Pa2] and follows more closely the plan of Nathanial Brown from [Br].


title: Ontological Models in Quantum Mechanics: What do they tell us?

abstract: The consequences of the theorems about ontological models are studied. "Maximally $\psi$-epistemic" is shown to be equivalent to the conjunction of two other conditions, each of which can be realized in Hilbert spaces of arbitrary dimension, but which cannot occur together for d>2. I argue that current theorems do not invalidate an epistemic interpretation of quantum states. A new condition, called "functionally $\psi$-epistemic", is introduced, which, were it to be excluded, would signal the exclusion of epistemic interpretations.


title: Remarks on the effect of bound states and threshold in g-2

abstract: Recently, the contribution of positronium bound states to the electron anomalous magnetic moment was computed in Refs.[1,2]. It was argued there that this O(alpha^5) contribution is missed if electron g-2 is calculated within conventional perturbative QED and, as such, it must be added to the perturbative five-loop result. We show that this conclusion is flawed and that no additional contributions to g-2 are generated in QED beyond the perturbation theory.


title: Data-Adaptive Reduced-Dimension Robust Beamforming Algorithms

abstract: We present low complexity, quickly converging robust adaptive beamformers that combine robust Capon beamformer (RCB) methods and data-adaptive Krylov subspace dimensionality reduction techniques. We extend a recently proposed reduced-dimension RCB framework, which ensures proper combination of RCBs with any form of dimensionality reduction that can be expressed using a full-rank dimension reducing transform, providing new results for data-adaptive dimensionality reduction. We consider Krylov subspace methods computed with the Powers-of-R (PoR) and Conjugate Gradient (CG) techniques, illustrating how a fast CG-based algorithm can be formed by beneficially exploiting that the CG-algorithm diagonalizes the reduced-dimension covariance. Our simulations show the benefits of the proposed approaches.


title: Repeat Accumulate Based Designs for LDPC Codes on Fading Channels

abstract: Irregular repeat-accumulate Root-Check LDPC codes based on Progressive Edge Growth (PEG) techniques for block-fading channels are proposed. The proposed Root-Check LDPC codes are {both suitable for channels under $F = 2, 3$ independent fadings per codeword and} for fast fading channels. An IRA(A) Root-Check structure is devised for $F = 2, 3$ independent fadings. The performance of the new codes is investigated in terms of the Frame Error Rate (FER). Numerical results show that the IRAA LDPC codes constructed by the proposed algorithm {outperform by about 1dB the existing} IRA Root-Check LDPC codes under fast-fading channels.


title: On Estimation Error Outage for Scalar Gauss-Markov Signals Sent Over Fading Channels

abstract: Measurements of a scalar linear Gauss-Markov process are sent over a fading channel. The fading channel is modeled as independent and identically distributed random variables with known realization at the receiver. The optimal estimator at the receiver is the Kalman filter. In contrast to the classical Kalman filter theory, given a random channel, the Kalman gain and the error covariance become random. Then the probability distribution function of expected estimation error and its outage probability can be chosen for estimation quality assessment. In this paper and in order to get the estimation error outage, we provide means to characterize the stationary probability density function of the random expected estimation error. Furthermore and for the particular case of the i.i.d. Rayleigh fading channels, upper and lower bounds for the outage probability are derived which provide insight and simpler means for design purposes. We also show that the bounds are tight for the high SNR regime, and that the outage probability decreases linearly with the inverse of the average channel SNR.


title: Rotation Periods of 34,030 Kepler Main-Sequence Stars: The Full Autocorrelation Sample

abstract: We analyzed 3 years of data from the Kepler space mission to derive rotation periods of main-sequence stars below 6500 K. Our automated autocorrelation-based method detected rotation periods between 0.2 and 70 days for 34,030 (25.6%) of the 133,030 main-sequence Kepler targets (excluding known eclipsing binaries and Kepler Objects of Interest), making this the largest sample of stellar rotation periods to date. In this paper we consider the detailed features of the now well-populated period-temperature distribution and demonstrate that the period bimodality, first seen by McQuillan, Aigrain & Mazeh (2013) in the M-dwarf sample, persists to higher masses, becoming less visible above 0.6 M_sun. We show that these results are globally consistent with the existing ground-based rotation-period data and find that the upper envelope of the period distribution is broadly consistent with a gyrochronological age of 4.5 Gyrs, based on the isochrones of Barnes (2007), Mamajek & Hillenbrand (2008) and Meibom et al. (2009). We also performed a detailed comparison of our results to those of Reinhold et al. (2013) and Nielsen et al. (2013), who have measured rotation periods of field stars observed by Kepler. We examined the amplitude of periodic variability for the stars with detected rotation periods, and found a typical range between ~950 ppm (5th percentile) and ~22,700 ppm (95th percentile), with a median of ~5,600 ppm. We found typically higher amplitudes for shorter periods and lower effective temperatures, with an excess of low-amplitude stars above ~5400 K.


title: Hamiltonian engineering via invariants and dynamical algebra

abstract: We use the dynamical algebra of a quantum system and its dynamical invariants to inverse engineer feasible Hamiltonians for implementing shortcuts to adiabaticity. These are speeded up processes that end up with the same populations than slow, adiabatic ones. As application examples we design families of shortcut Hamiltonians that drive two and a three-level systems between initial and final configurations imposing physically motivated constraints on the terms (generators) allowed in the Hamiltonian.


title: Carbon nanotube plectonemes: Loops of twisted helices

abstract: The relaxation of twist in elastic filaments often drives conformational changes. We explore this paradigm using all-atom computations and report the formation of novel supercoiled shapes in individual carbon nanotubes (CNTs). Decreasing the end distance of torsionally constrained CNTs leads to spontaneous nucleation and growth of a nanotube plectoneme. We develop a stability diagram and comparisons with theoretical frameworks reveal the importance of non-local van Der Waals interactions. In some cases, they stabilize the supercoiling to an extent that its tip locally kinks and then irreversibly reconstructs into a disordered yet strengthened structure that involves $sp^3$ bonding. The ability to engineer supercoiled conformations of CNTs and related nanoscale filaments opens the possibility of a unique set of tunable functional properties at the nanoscale.


title: Exemplar-based Linear Discriminant Analysis for Robust Object Tracking

abstract: Tracking-by-detection has become an attractive tracking technique, which treats tracking as a category detection problem. However, the task in tracking is to search for a specific object, rather than an object category as in detection. In this paper, we propose a novel tracking framework based on exemplar detector rather than category detector. The proposed tracker is an ensemble of exemplar-based linear discriminant analysis (ELDA) detectors. Each detector is quite specific and discriminative, because it is trained by a single object instance and massive negatives. To improve its adaptivity, we update both object and background models. Experimental results on several challenging video sequences demonstrate the effectiveness and robustness of our tracking algorithm.


title: Conformal blocks for highly disparate scaling dimensions

abstract: We show that conformal blocks simplify greatly when there is a large difference between two of the scaling dimensions for external operators. In particular the spacetime dimension only appears in an overall constant which we determine via recurrence relations. Connections to the conformal bootstrap program and the AdS / CFT correspondence are also discussed.


title: Scalar gravitational waves from relativistic stars in scalar-tensor gravity

abstract: Unlike general relativity, the scalar gravitational waves can be excited due to the radial oscillations in scalar-tensor gravity. To examine the scalar gravitational waves in scalar-tensor gravity, we derive the evolution equations of the radial oscillations of neutron stars and determine the specific oscillation frequencies of the matter oscillations and scalar gravitational waves, where we adopt two different numerical approaches, i.e., the mode analysis and direct time evolution. As a result, we observe the spontaneous scalarization even in the radial oscillations. Depending on the background scalar field and coupling constant, the total energy radiated by the scalar gravitational waves dramatically changes, where the specific oscillation frequencies are completely same as the matter oscillations. That is, via the direct observations of scalar gravitational waves, one can not only reveal the gravitational theory, but also extract the radial oscillations of neutron stars.


title: Emergent Weyl spinors in multi-fermion systems

abstract: In Ref. \cite{Horava2005} Ho\v{r}ava suggested, that the multi - fermion many-body system with topologically stable Fermi surfaces may effectively be described (in a vicinity of the Fermi surface) by the theory with coarse-grained fermions. The number of the components of these coarse-grained fermions is reduced compared to the original system. Here we consider the $3+1$ D system and concentrate on the particular case when the Fermi surface has co-dimension $p=3$, i.e. it represents the Fermi point in momentum space. First we demonstrate explicitly that in agreement with Ho\v{r}ava conjecture, in the vicinity of the Fermi point the original system is reduced to the model with two - component Weyl spinors. Next, we generalize the construction of Ho\v{r}ava to the situation, when the original $3+1$ D theory contains multi - component Majorana spinors. In this case the system is also reduced to the model of the two - component Weyl fermions in the vicinity of the topologically stable Fermi point. Those fermions experience the emergent gauge field and the gravitational field given by the emergent veirbein. Both these fields (the emergent gauge field and the emergent gravitational field) originate from certain collective excitations of the original system. We speculate, that the given construction may be relevant for the high energy physics in the paradigm, in which the Lorentz symmetry as well as the gravitational and gauge fields are the emergent phenomena, i.e. they appear dynamically in the low energy approximation of the underlined high energy theory.


title: A note on local behavior of eigenfunctions of the Schr\"odinger operator

abstract: We show that a real eigenfunction of the Schr\"odinger operator changes sign near some point in $\mathbb{R}^n$ under a suitable assumption on the potential.


title: Feedback Control as a Framework for Understanding Tradeoffs in Biology

abstract: Control theory arose from a need to control synthetic systems. From regulating steam engines to tuning radios to devices capable of autonomous movement, it provided a formal mathematical basis for understanding the role of feedback in the stability (or change) of dynamical systems. It provides a framework for understanding any system with feedback regulation, including biological ones such as regulatory gene networks, cellular metabolic systems, sensorimotor dynamics of moving animals, and even ecological or evolutionary dynamics of organisms and populations. Here we focus on four case studies of the sensorimotor dynamics of animals, each of which involves the application of principles from control theory to probe stability and feedback in an organism's response to perturbations. We use examples from aquatic (electric fish station keeping and jamming avoidance), terrestrial (cockroach wall following) and aerial environments (flight control in moths) to highlight how one can use control theory to understand how feedback mechanisms interact with the physical dynamics of animals to determine their stability and response to sensory inputs and perturbations. Each case study is cast as a control problem with sensory input, neural processing, and motor dynamics, the output of which feeds back to the sensory inputs. Collectively, the interaction of these systems in a closed loop determines the behavior of the entire system.


title: On the multi-dimensional skew Brownian motion

abstract: We provide a new, concise proof of weak existence and uniqueness of solutions to the stochastic differential equation for the multidimensional skew Brownian motion. We also present an application to Brownian particles with skew-elastic collisions.


title: Generalized energy measurements and modified transient quantum fluctuation theorems

abstract: Determining the work which is supplied to a system by an external agent, provides a crucial step in any experimental realization of transient fluctuation relations. This, however, poses a problem for quantum systems, where the standard procedure requires the projective measurement of energy at the beginning and the end of the protocol. Unfortunately, projective measurements, which are preferable from the point of view of theory, seem to be difficult to implement experimentally. We demonstrate that, when using a particular type of generalized energy measurements, the resulting work statistics is simply related to that of projective measurements. This relation between the two work statistics entails the existence of modified transient fluctuation relations. The modifications are exclusively determined by the errors incurred in the generalized energy measurements. They are universal in the sense that they do not depend on the force protocol. Particularly simple expressions for the modified Crooks relation and Jarzynski equality are found for Gaussian energy measurements. These can be obtained by a sequence of sufficiently many generalized measurements which need not be Gaussian. In accordance with the central limit theorem, this leads to an effective error reduction in the individual measurements, and even yields a projective measurement in the limit of infinite repetitions.


title: Real hypersurfaces with pseudo-parallel normal Jacobi operator in complex two-plane Grassmannians

abstract: The objective of the present paper is to prove the non-existence of real hypersurface with pseudo-parallel normal Jacobi operator in complex two-plane Grassmannians. As a corollary, we show that there does not exist any real hypersurface with semi-parallel or recurrent normal Jacobi operator in complex two-plane Grassmannians. This answers a question considered in [Monatsh Math, 172 (2013), 167-178] in negative.


title: Strong Stationary Duality for Diffusion Processes

abstract: We develop the theory of strong stationary duality for diffusion processes on compact intervals. We analytically derive the generator and boundary behavior of the dual process and recover a central tenet of the classical Markov chain theory in the diffusion setting by linking the separation distance in the primal diffusion to the absorption time in the dual diffusion. We also exhibit our strong stationary dual as the natural limiting process of the strong stationary dual sequence of a well chosen sequence of approximating birth-and-death Markov chains, allowing for simultaneous numerical simulations of our primal and dual diffusion processes. Lastly, we show how our new definition of diffusion duality allows the spectral theory of cutoff phenomena to extend naturally from birth-and-death Markov chains to the present diffusion context.


title: A Uniform Bound for the Order of Monodromy

abstract: We give a bound for the order of the local monodromy of a compatible system of l-adic representations, which is independent of l. For the etale cohomology of a variety, the bound depends only on some numerical invariants of varieties.


title: The Cerebellum: New Computational Model that Reveals its Primary Function to Calculate Multibody Dynamics Conform to Lagrange-Euler Formulation

abstract: Cerebellum is part of the brain that occupies only 10% of the brain volume, but it contains about 80% of total number of brain neurons. New cerebellar function model is developed that sets cerebellar circuits in context of multibody dynamics model computations, as important step in controlling balance and movement coordination, functions performed by two oldest parts of the cerebellum. Model gives new functional interpretation for granule cells-Golgi cell circuit, including distinct function for upper and lower Golgi cell dendritc trees, and resolves issue of sharing Granule cells between Purkinje cells. Sets new function for basket cells, and for stellate cells according to position in molecular layer. New model enables easily and direct integration of sensory information from vestibular system and cutaneous mechanoreceptors, for balance, movement and interaction with environments. Model gives explanation of Purkinje cells convergence on deep-cerebellar nuclei.


title: Optimal Control of a Free Boundary Problem with Surface Tension Effects: A Priori Error Analysis

abstract: We present a finite element method along with its analysis for the optimal control of a model free boundary problem with surface tension effects, formulated and studied in \cite{HAntil_RHNochetto_PSodre_2014a}. The state system couples the Laplace equation in the bulk with the Young-Laplace equation on the free boundary to account for surface tension. We first prove that the state and adjoint system have the requisite regularity for the error analysis (strong solutions). We discretize the state, adjoint and control variables via piecewise linear finite elements and show optimal $O(h)$ error estimates for all variables, including the control. This entails using the second order sufficient optimality conditions of \cite{HAntil_RHNochetto_PSodre_2014a}, and the first order necessary optimality conditions for both the continuous and discrete systems. We conclude with two numerical examples which examine the various error estimates.