title: Hausdorff dimension of level sets of generalized Takagi functions

abstract: This paper examines level sets of two families of continuous, nowhere differentiable functions (one a subfamily of the other) defined in terms of the "tent map". The well-known Takagi function is a special case. Sharp upper bounds are given for the Hausdorff dimension of the level sets of functions in these two families. Furthermore, the case where a function f is chosen at random from either family is considered, and results are given for the Hausdorff dimension of the zero set and the set of maximum points of f.


title: Holomorphic curves in exploded manifolds: Kuranishi structure

abstract: This paper constructs a Kuranishi structure for the moduli stack of holomorphic curves in exploded manifolds. To avoid some technicalities of abstract Kuranishi structures, we embed our Kuranishi structure inside a moduli stack of curves. The construction also works for the moduli stack of holomorphic curves in any compact symplectic manifold.


title: On the Behavior of the Residual in Conjugate Gradient Method

abstract: In conjugate gradient method, it is well known that the recursively computed residual differs from true one as the iteration proceeds in finite arithmetic. Some work have been devoted to analyze this be-havior and to evaluate the lower and the upper bounds of the difference. This paper focuses on the behavior of these two kinds of residuals, especially their lower bounds caused by the loss of trailing digit, respectively.


title: Metallization of Magnesium Polyhydrides Under Pressure

abstract: Evolutionary structure searches are used to predict stable phases with unique stoichiometries in the hydrogen-rich region of the magnesium/hydrogen phase diagram under pressure. MgH$_4$, MgH$_{12}$ and MgH$_{16}$ are found to be thermodynamically stable with respect to decomposition into MgH$_2$ and H$_2$ near 100 GPa, and all lie on the convex hull by 200 GPa. MgH$_4$ contains two H$^-$ anions and one H$_2$ molecule per Mg$^{2+}$ cation, whereas the hydrogenic sublattices of MgH$_{12}$ and MgH$_{16}$ are composed solely of H$_2^{\delta -}$ molecules. The high-hydrogen content stoichiometries have a large density of states at the Fermi level, and the $T_c$ of MgH$_{12}$ at 140 GPa is calculated to be nearly three times greater than that of the classic hydride, MgH$_2$, at 180 GPa.


title: Phase transitions in Paradigm models

abstract: In this letter we propose two general models for paradigm shift, deterministic propagation model (DM) and stochastic propagation model (SM). By defining the order parameter $m$ based on the diversity of ideas, $\Delta$, we study when and how the transition occurs as a cost $C$ in DM or an innovation probability $\alpha$ in SM increases. In addition, we also investigate how the propagation processes affect on the transition nature. From the analytical calculations and numerical simulations $m$ is shown to satisfy the scaling relation $m=1-f(C/N)$ for DM with the number of agents $N$. In contrast, $m$ in SM scales as $m=1-f(\alpha^a N)$.


title: On topologically minimal surfaces of high genus

abstract: We show that a 3-manifold containing an incompressible surface has topologically minimal surfaces of arbitrary high genus.


title: Pattern Matching for Self- Tuning of MapReduce Jobs

abstract: In this paper, we study CPU utilization time patterns of several MapReduce applications. After extracting running patterns of several applications, they are saved in a reference database to be later used to tweak system parameters to efficiently execute unknown applications in future. To achieve this goal, CPU utilization patterns of new applications are compared with the already known ones in the reference database to find/predict their most probable execution patterns. Because of different patterns lengths, the Dynamic Time Warping (DTW) is utilized for such comparison; a correlation analysis is then applied to DTWs outcomes to produce feasible similarity patterns. Three real applications (WordCount, Exim Mainlog parsing and Terasort) are used to evaluate our hypothesis in tweaking system parameters in executing similar applications. Results were very promising and showed effectiveness of our approach on pseudo-distributed MapReduce platforms.


title: Ferrimagnetism of dilute Ising antiferromagnets

abstract: It is shown that nearest-neighbor antiferromagnetic interactions of identical Ising spins on imbalanced bipartite lattice and imbalanced bipartite hierarchical fractal result in ferrimagnetic order instead of antiferromagnetic one. On some crystal lattices dilute Ising antiferromagnets may also become ferrimagnets due to the imbalanced nature of the magnetic percolation cluster when it coexists with the percolation cluster of vacancies. As evidenced by the existing experiments on $Fe_pZn_{1-p}F_2$, such ferrimagnetism is inherent property of bcc lattice so thermodynamics of these compounds at low $p$ can be similar to that of antiferromagnet on imbalanced hierarchical fractal.


title: A tool for the morphological classification of galaxies: the concentration index

abstract: Using the galaxy data of the Sloan Digital Sky Survey Data Release 8 (SDSS DR8), I explore whether the concentration index is a good morphological classification tool and find that a reasonably pure late-type galaxy sample can be constructed with the choice of r-band concentration index ci=2.85. The opposite is not true, however, due to the fairly high contamination of an early-type sample by late-type galaxies. In such an analysis, the influence of selection effects is less important. To disentangle correlations of the morphology and concentration index with stellar mass, star formation rate (SFR), specific star formation rate (SSFR) and active galactic nucleus (AGN) activity, I investigate correlations of the concentration index with these properties at a fixed morphology and correlations of the morphology with these properties at a fixed concentration index. It is found that at a fixed morphology, high-concentration galaxies are preferentially more massive and have a lower SFR and SSFR than low-concentration galaxies, while at a fixed concentration index, elliptical galaxies are preferentially more massive and have a lower SFR and SSFR than spiral galaxies. This result shows that the stellar mass, SFR and SSFR of a galaxy are correlated with its concentration index as well as its morphology. In addition, I note that AGNs are preferentially found in more concentrated galaxies only in the spiral galaxy sample.


title: Effect of TeO2 addition on the dielectric properties of CaCu3Ti4O12 ceramics derived from the oxalate precursor route

abstract: CaCu3Ti4O12 (CCTO) ceramics which has perovskite structure gained considerable attention due to its giant permittivity. But, it has high tan {\delta} (0.1 at 1kHz) at room temperature, which needs to be minimised to the level of practical applications. Hence, TeO2 which is a good glass former has been deliberately added to CCTO nano ceramic (derived from the oxalate precursor route) to explore the possibility of reducing the dielectric loss while maintaining the high permittivity. The structural, morphological and dielectric properties of the pure CCTO and TeO2 added ceramics were studied using X-ray diffraction, Scanning Electron Microscope along with Energy Dispersive X-ray Analysis (EDX), spectroscopy and Impedance analyzer. For the 2.0 wt % TeO2 added ceramics, there is a remarkable difference in the microstructural features as compared to that of pure CCTO ceramics. This sample exhibited permittivity values as high as 7387 @ 10 KHz and low dielectric loss value of 0.037 @ 10 kHz, which can be exploited for the high frequency capacitors application.


title: Nuclear Radio Jet from a Low-Luminosity Active Galactic Nucleus in NGC 4258

abstract: The nearby low-luminosity active galactic nucleus (LLAGN) NGC 4258 has a weak radio continuum component at the galactic center. We investigate its radio spectral properties on the basis of our new observations using the Nobeyama Millimeter Array at 100 GHz and archival data from the Very Large Array (VLA) at 1.7-43 GHz and the James Clerk Maxwell telescope at 347 GHz. The NGC 4258 nuclear component exhibits (1) an intra-month variable and complicated spectral feature at 5-22 GHz and (2) a slightly inverted spectrum at 5-100 GHz (a spectral index of ~0.3) in time-averaged flux densities, which are also apparent in the closest LLAGN M81. These similarities between NGC 4258 and M81 in radio spectral natures in addition to previously known core shift in their AU-scale jet structures produce evidence that the same mechanism drives their nuclei. We interpret the observed spectral property as the superposition of emission spectra originating at different locations with frequency-dependent opacity along the nuclear jet. Quantitative differences between NGC 4258 and M81 in terms of jet/counter jet ratio, radio loudness, and degree of core shift can be consistently understood by fairly relativistic speeds (bulk Lorentz factors of >~ 3) of jet and their quite different inclinations. The picture established from the two closest LLAGNs is useful for understanding the physical origin of unresolved and flat/inverted spectrum radio cores that are prevalently found in LLAGNs, including Sgr A*, with starved supermassive black holes in the present-day universe.


title: Very Long Baseline Array Imaging of Parsec-scale Radio Emissions in Nearby Radio-quiet Narrow-line Seyfert 1 Galaxies

abstract: We conducted Very Long Baseline Array (VLBA) observations of seven nearby narrow-line Seyfert 1 (NLS1) galaxies at 1.7 GHz (18cm) with milli-arcsecond resolution. This is the first systematic very long baseline interferometry (VLBI) study focusing on the central parsec-scale regions of radio-quiet NLS1s. Five of the seven were detected at a brightness temperature of >~5x10^6 K and contain radio cores with high brightness temperatures of >6x10^7 K, indicating a nonthermal process driven by jet-producing central engines as is observed in radio-loud NLS1s and other active galactic nucleus (AGN) classes. VLBA images of MRK 1239, MRK 705, and MRK 766 exhibit parsec-scale jets with clear linear structures. A large portion of the radio power comes from diffuse emission components that are distributed within the nuclear regions (<~300 pc), which is a common characteristic throughout the observed NLS1s. Jet kinetic powers limited by the Eddington limit may be insufficient to allow the jets escape to kiloparsec scales for these radio-quiet NLS1s with low-mass black holes of <~10^7 M_sun.


title: Multifrequency VLBI Observations of the Broad Absorption Line Quasar J1020+4320: Recently Restarted Jet Activity?

abstract: This paper reports very-long-baseline interferometry observations of the radio-loud broad absorption line (BAL) quasar J1020+4320 at 1.7, 2.3, 6.7, and 8.4 GHz using the Japanese VLBI network (JVN) and European VLBI network (EVN). The radio morphology is compact with a size of ~10 pc. The convex radio spectrum is stable over the last decade; an observed peak frequency of 3.2 GHz is equivalent to 9.5 GHz in the rest frame, suggesting an age of the order of ~100 years as a radio source, according to an observed correlation between linear size and peak frequency of compact steep spectrum (CSS) and giga-hertz peaked spectrum (GPS) radio sources. A low-frequency radio excess suggests relic of past jet activity. J1020+4320 may be one of the quasars with recurrent and short-lived jet activity during a BAL-outflowing phase.


title: The digital laser

abstract: It is well-known how to control the spatial output from a laser, with most solutions to date involving customised intra-cavity elements in the form of apertures, diffractive optics and free-form mirrors. These optical elements require considerable design and fabrication effort and suffer from the further disadvantage of being immutably connected to the selection of a particular spatial mode. Consequently, most laser systems are designed for the ubiquitous Gaussian mode, whereas it is clear that there are many instances when a customised mode would be preferable. We overcome these limitations with the first digital laser, comprising an electrically addressed reflective phase-only spatial light modulator as an intra-cavity holographic mirror. The phase and amplitude of the holographic mirror may be controlled as simply as writing a new gray-scale image (computer generated hologram) to the device: on-demand laser modes. We show that we can digitally control the laser modes with ease, albeit with higher round-trip losses and thus requiring higher gain, and demonstrate the versatility of the technique by switching between several spatial modes in an otherwise standard solid-state laser resonator.


title: Galactic Spiral Patterns and Dynamo Action II: Asymptotic Solutions

abstract: The exploration of mean-field galactic dynamos affected by a galactic spiral pattern, begun in Chamandy et al. (2013, hereafter Paper I) with numerical simulations, is continued here with an asymptotic solution. The mean-field dynamo model used generalizes the standard theory to include the delayed response of the mean electromotive force to variations of the mean magnetic field and turbulence parameters (the temporal non-locality, or {\tau} effect). The effect of the spiral pattern on the dynamo considered is the enhancement of the {\alpha}-effect in spiral-shaped regions (which may overlap the gaseous spiral arms or be located in the interarm regions). The axisymmetric and enslaved non-axisymmetric modes of the mean magnetic field are studied semi-analytically to clarify and strengthen the numerical results. Good qualitative agreement is obtained between the asymptotic solution and numerical solutions of Paper I for a global, rigidly rotating material spiral (density wave). At all galactocentric distances except for the co-rotation radius, we find magnetic arms displaced in azimuth from the {\alpha}-arms, so that the ridges of magnetic field strength are more tightly wound than the {\alpha}-arms. Moreover, the effect of a finite dynamo relaxation time {\tau} (related to the turbulence correlation time) is to phase-shift the magnetic arms in the direction opposite to the galactic rotation even at the co-rotation radius. This mechanism can be used to explain the phase shifts between magnetic and material arms observed in some spiral galaxies.


title: Operational measure of incompatibility of noncommuting observables

abstract: Uncertainty relations are often considered to be a measure of incompatibility of noncommuting observables. However, such a consideration is not valid in general, motivating the need for an alternate measure that applies to any set of noncommuting observables. We present an operational approach to quantifying incompatibility without invoking uncertainty relations. Our measure aims to capture the incompatibility of noncommuting observables as manifest in the non-orthogonality of their eigenstates. We prove that this measure has all the desired properties: it is zero when the observables commute, strictly greater than zero when they do not, and is maximum when they are mutually unbiased. We also obtain tight upper bounds on this measure for any N noncommuting observables and compute it exactly when the observables are mutually unbiased.


title: Extremum Problems with Total Variation Distance and their Applications

abstract: The aim of this paper is to investigate extremum problems with pay-off being the total variational distance metric defined on the space of probability measures, subject to linear functional constraints on the space of probability measures, and vice-versa; that is, with the roles of total variational metric and linear functional interchanged. Utilizing concepts from signed measures, the extremum probability measures of such problems are obtained in closed form, by identifying the partition of the support set and the mass of these extremum measures on the partition. The results are derived for abstract spaces; specifically, complete separable metric spaces known as Polish spaces, while the high level ideas are also discussed for denumerable spaces endowed with the discrete topology. These extremum problems often arise in many areas, such as, approximating a family of probability distributions by a given probability distribution, maximizing or minimizing entropy subject to total variational distance metric constraints, quantifying uncertainty of probability distributions by total variational distance metric, stochastic minimax control, and in many problems of information, decision theory, and minimax theory.


title: The 3-way intersection problem for S(2, 4, v) designs

abstract: In this paper the 3-way intersection problem for $S(2,4,v)$ designs is investigated. Let $b_{v}=\frac {v(v-1)}{12}$ and $I_{3}[v]=\{0,1,...,b_{v}\}\setminus\{b_{v}-7,b_{v}-6,b_{v}-5,b_{v}-4,b_{v}-3,b_{v}-2,b_{v}-1\}$. Let $J_{3}[v]=\{k|$ there exist three $S(2,4,v)$ designs with $k$ same common blocks$\}$. We show that $J_{3}[v]\subseteq I_{3}[v]$ for any positive integer $v\equiv1, 4\ (\rm mod \ 12)$ and $J_{3}[v]=I_{3}[v]$, for $ v\geq49$ and $v=13 $. We find $J_{3}[16]$ completely. Also we determine some values of $J_{3}[v]$ for $\ v=25,28,37$ and 40.


title: Capacity Analysis of Bidirectional AF Relay Selection with Imperfect Channel State Information

abstract: In this letter, we analyze the ergodic capacity of bidirectional amplify-and-forward relay selection (RS) with imperfect channel state information (CSI), i.e., outdated CSI and imperfect channel estimation. Practically, the optimal RS scheme in maximizing the ergodic capacity cannot be achieved, due to the imperfect CSI. Therefore, two suboptimal RS schemes are discussed and analyzed, in which the first RS scheme is based on the imperfect channel coefficients, and the second RS scheme is based on the predicted channel coefficients. The lower bound of the ergodic capacity with imperfect CSI is derived in a closed-form, which matches tightly with the simulation results. The results reveal that once CSI is imperfect, the ergodic capacity of bidirectional RS degrades greatly, whereas the RS scheme based on the predicted channel has better performance, and it approaches infinitely to the optimal performance, when the prediction length is sufficiently large.


title: Can SGRs/AXPs originate from neutron star binaries?

abstract: Soft gamma repeaters (SGRs) and anomalous X-ray pulsars (AXPs) are two groups of enigmatic objects, which have been extensively investigated in past few decades. Based on the ample information about their timing behaviors, spectra, and variability properties, it was proposed that SGRs/AXPs are isolated neutron stars (NSs) with extremely strong magnetic fields, the so-called magnetars. Nonetheless, some alternative models are probably equally convincing such as those proposing that they are accreting NSs with a fall-back disk or rotation-powered magnetized and massive white dwarfs. The nature and nurture of SGRs/AXPs remain controversial. In this paper, we propose that SGRs/AXPs can originate from normal NSs in binary systems. SGRs are a class of objects containing a neutron-drip core and denser crust with a stiffer equation of state, which is formed from re-explosion of normal NSs in binary systems. It is the accretion onto the denser crust that contributes to the observed hard emissions. AXPs are a group of NSs which reserve huge thermal energy in an insulating layer above the surface. This structure accretes material from a massive disk, manifesting themselves via release of deposited energy. The spin-period clustering is due to either the brake of a slowly rotating envelope or the frictional drag during the common-envelope phase.


title: A Linear Time Active Learning Algorithm for Link Classification -- Full Version --

abstract: We present very efficient active learning algorithms for link classification in signed networks. Our algorithms are motivated by a stochastic model in which edge labels are obtained through perturbations of a initial sign assignment consistent with a two-clustering of the nodes. We provide a theoretical analysis within this model, showing that we can achieve an optimal (to whithin a constant factor) number of mistakes on any graph G = (V,E) such that |E| = \Omega(|V|^{3/2}) by querying O(|V|^{3/2}) edge labels. More generally, we show an algorithm that achieves optimality to within a factor of O(k) by querying at most order of |V| + (|V|/k)^{3/2} edge labels. The running time of this algorithm is at most of order |E| + |V|\log|V|.


title: A characterization of orthogonal vector fields over ${\bf W^*}$-algebras of type ${\bf I_2}$

abstract: In the paper we give a characterization of a $w^*$-continuous orthogonal vector field $F$ over an $W^*$-algebra $\mathcal{N}$ of type $I_2$ in terms of reductions $F$ on the center of $\mathcal{N}$. As an application it is obtained a proof of the assertion that an arbitrary $w^*$-continuous orthogonal vector field over a $W^*$-algebra of type $I_2$ is stationary.


title: A Correlation Clustering Approach to Link Classification in Signed Networks -- Full Version --

abstract: Motivated by social balance theory, we develop a theory of link classification in signed networks using the correlation clustering index as measure of label regularity. We derive learning bounds in terms of correlation clustering within three fundamental transductive learning settings: online, batch and active. Our main algorithmic contribution is in the active setting, where we introduce a new family of efficient link classifiers based on covering the input graph with small circuits. These are the first active algorithms for link classification with mistake bounds that hold for arbitrary signed networks.


title: Kibble-Zurek mechanism in a trapped ferromagnetic Bose-Einstein condensate

abstract: Spontaneous spin vortex formation in the magnetic phase transition of a trapped spin-1 Bose-Einstein condensate is investigated using mean-field theory. In a harmonic trapping potential, an inhomogeneous atomic density leads to spatial variations of the critical point, magnetization time scale, and spin correlation length. The Kibble-Zurek phenomena are shown to emerge even in such inhomogeneous systems, when the quench of the quadratic Zeeman energy is fast enough. For slow quench, the magnetized region gradually expands from the center of the trap pushing out spin vortices, which hinders the Kibble-Zurek mechanism from occurring. A harmonic trap with a plug potential is also taken into account.


title: Real zeros of 2F1 hypergeometric polynomials

abstract: We use a method based on the division algorithm to determine all the values of the real parameters $b$ and $c$ for which the hypergeometric polynomials $_2F_1(-n, b; c; z)$ have $n$ real, simple zeros. Furthermore, we use the quasi-orthogonality of Jacobi polynomials to determine the intervals on the real line where the zeros are located.


title: In-plane Magnetization Induced Quantum Anomalous Hall Effect

abstract: In a two-dimensional electron gas, the quantized Hall conductance can be induced by a strong magnetic field, known as the quantum Hall effect, and it can also result from the strong exchange coupling of magnetic ions, dubbed as the "quantum anomalous Hall effect". The quantum Hall effect requires the out-of-plane magnetic field, and similarly, it is commonly believed that the magnetization should be out-of-plane for the quantum anomalous Hall effect. In the present work, we find this condition is not necessary and predict that the quantum anomalous Hall effect can also be induced by the purely in-plane magnetization in two realistic systems, including Bi$_2$Te$_3$ thin film with magnetic doping and HgMnTe quantum wells with shear strains, when all the reflection symmetries are broken. An experimental setup is proposed to confirm this effect, the observation of which will pave the way to search for the quantum anomalous Hall effect in a wider range of materials.


title: Binary Cyclic codes with two primitive nonzeros

abstract: In this paper, we make some progress towards a well-known conjecture on the minimum weights of binary cyclic codes with two primitive nonzeros. We also determine the Walsh spectrum of $\Tr(x^d)$ over $\F_{2^{m}}$ in the case where $m=2t$, $d=3+2^{t+1}$ and $\gcd(d, 2^{m}-1)=1$.


title: On Adaptive Multiple-Shooting Method for Stochastic Multi-Point Boundary Value Problems

abstract: This paper presents an adaptive multiple-shooting method to solve stochastic multi-point boundary value problems. The heuristic to choose the shooting points is based on separating the effects of drift and diffusion terms and comparing the corresponding solution components with a pre-specified initial approximation. Having obtained the mesh points, we solve the underlying stochastic differential equation on each shooting interval with a first-order strongly-convergent stochastic Runge-Kutta method. We illustrate the effectiveness of this approach on 1-dimentional and 2-dimentional test problems and compare our results with other non-adaptive alternative techniques proposed in the literature.


title: Totally disconnected groups from Baumslag-Solitar groups

abstract: For each Baumslag-Solitar group BS(m,n) (m,n nonzero integers), a totally disconnected, locally compact group, G_{m,n}, is constructed so that BS(m,n) is identified with a dense subgroup of G_{m,n}. The scale function on G_{m,n}, a structural invariant for the topological group, is seen to distinguish the parameters m and n to the extent that the set of scale values is {(lcm(m,n)/|m|)^{\rho}, (lcm(m,n)/|n|)^{\rho} | \rho\in N}. It is also shown that G_{m,n} has flat rank 1 when |m|\neq |n| and 0 otherwise, and that G_{m,n} has a compact, open subgroup isomorphic to the product {(Z_p,+) | p is a prime divisor of the scale}.


title: Laser cooling to quantum degeneracy

abstract: We report on Bose-Einstein condensation (BEC) in a gas of strontium atoms, using laser cooling as the only cooling mechanism. The condensate is formed within a sample that is continuously Doppler cooled to below 1\muK on a narrow-linewidth transition. The critical phase-space density for BEC is reached in a central region of the sample, in which atoms are rendered transparent for laser cooling photons. The density in this region is enhanced by an additional dipole trap potential. Thermal equilibrium between the gas in this central region and the surrounding laser cooled part of the cloud is established by elastic collisions. Condensates of up to 10^5 atoms can be repeatedly formed on a timescale of 100ms, with prospects for the generation of a continuous atom laser.


title: Contraction of Riccati flows applied to the convergence analysis of a max-plus curse of dimensionality free method

abstract: Max-plus based methods have been recently explored for solution of first-order Hamilton-Jacobi-Bellman equations by several authors. In particular, McEneaney's curse-of-dimensionality free method applies to the equations where the Hamiltonian takes the form of a (pointwise) maximum of linear/quadratic forms. In previous works of McEneaney and Kluberg, the approximation error of the method was shown to be $O(1/(N\tau))+O(\sqrt{\tau})$ where $\tau$ is the time discretization step and $N$ is the number of iterations. Here we use a recently established contraction result for the indefinite Riccati flow in Thompson's metric to show that under different technical assumptions, still covering an important class of problems, the error is only of order $O(e^{-\alpha N\tau})+O(\tau)$. This also allows us to obtain improved estimates of the execution time and to tune the precision of the pruning procedure, which in practice is a critical element of the method.


title: Asymptotic Poincar\'e compactification and finite-time singularities

abstract: We provide an extension of the method of asymptotic decompositions of vector fields with finite-time singularities by applying the central extension technique of Poincar\'e to the dominant part of the vector field on approach to the singularity. This leads to a bundle of fan-out asymptotic systems whose equilibria at infinity govern the dynamics of the asymptotic solutions of the original system. We show how this method can be useful to describe a single-fluid isotropic universe at the time of maximum expansion, and discuss possible relations of our results to structural stability and non-compact phase spaces.


title: Formal Verification of Hardware Synthesis

abstract: We report on the implementation of a certified compiler for a high-level hardware description language (HDL) called Fe-Si (FEatherweight SynthesIs). Fe-Si is a simplified version of Bluespec, an HDL based on a notion of guarded atomic actions. Fe-Si is defined as a dependently typed deep embedding in Coq. The target language of the compiler corresponds to a synthesisable subset of Verilog or VHDL. A key aspect of our approach is that input programs to the compiler can be defined and proved correct inside Coq. Then, we use extraction and a Verilog back-end (written in OCaml) to get a certified version of a hardware design.


title: From Quantitative Spatial Operator to Qualitative Spatial Relation Using Constructive Solid Geometry, Logic Rules and Optimized 9-IM Model, A Semantic Based Approach

abstract: The Constructive Solid Geometry (CSG) is a data model providing a set of binary Boolean operators such as Union, Difference and Intersection. In this work, these operators are used to compute topological relations between objects defined by the constraints of the nine Intersection Model (9-IM) from Egenhofer. With the help of these constraints, we define a procedure to compute the topological relations on CSG objects. These topological relations are Disjoint, Contains, Inside, Covers, CoveredBy, Equals and Overlaps, and are defined in a top-level ontology with a specific semantic definition on relation such as Transitive, Symmetric, Asymmetric, Functional, Reflexive, and Irreflexive. The results of topological relations computation are stored in the ontology allowing after what to infer on these topological relationships. In addition, logic rules based on the Semantic Web Language allows the definition of logic programs that define which topological relationships have to be computed on which kind of objects. For instance, a "Building" that overlaps a "Railway" is a "RailStation".


title: Ontology-based Recommender System of Economic Articles

abstract: Decision makers need economical information to drive their decisions. The Company Actualis SARL is specialized in the production and distribution of a press review about French regional economic actors. This economic review represents for a client a prospecting tool on partners and competitors. To reduce the overload of useless information, the company is moving towards a customized review for each customer. Three issues appear to achieve this goal. First, how to identify the elements in the text in order to extract objects that match with the recommendation's criteria presented? Second, How to define the structure of these objects, relationships and articles in order to provide a source of knowledge usable by the extraction process to produce new knowledge from articles? The latter issue is the feedback on customer experience to identify the quality of distributed information in real-time and to improve the relevance of the recommendations. This paper presents a new type of recommendation based on the semantic description of both articles and user profile.


title: Jet precession in the active nucleus of M81. Ongoing VLBI monitoring

abstract: In a recent publication, we reported results of a multi-frequency VLBI campaign of observations of the Active Galactic Nucleus (AGN) in galaxy M\,81, phase-referenced to the supernova SN\,1993J. We were able to extract precise information on the relative astrometry of the AGN radio emission at different epochs and frequencies. We found strong evidence of precession in the AGN jet (i.e., a systematic evolution in the jet inclination at each frequency) coupled to changes in the overall flux density at the different frequencies. In these proceedings, we summarise the main contents of our previous publication and we report on (preliminary) new results from our follow-up VLBI observations, now phase-referenced to the young supernova SN2008iz. We also briefly discuss how these results match the picture of our previously-reported precession model.


title: From 3D Point Clouds To Semantic Objects An Ontology-Based Detection Approach

abstract: This paper presents a knowledge-based detection of objects approach using the OWL ontology language, the Semantic Web Rule Language, and 3D processing built-ins aiming at combining geometrical analysis of 3D point clouds and specialist's knowledge. This combination allows the detection and the annotation of objects contained in point clouds. The context of the study is the detection of railway objects such as signals, technical cupboards, electric poles, etc. Thus, the resulting enriched and populated ontology, that contains the annotations of objects in the point clouds, is used to feed a GIS systems or an IFC file for architecture purposes.


title: Neutrinoless double beta decay and pseudo-Dirac neutrino mass predictions through inverse seesaw mechanism

abstract: In the inverse seesaw extension of the standard model, supersymmetric or non-supersymmetric, while the light left-handed neutrinos are Majorana, the heavy right-handed neutrinos are pseudo-Dirac fermions. We show how one of these latter category of particles can contribute quite significantly to neutrinoless double beta decay. The neutrino virtuality momentum is found to play a crucial role in the non-standard contributions leading to the prediction of the pseudo-Dirac fermion mass in the range of $120\, {MeV}-500\, {MeV}$. When the Dirac neutrino mass matrix in the inverse seesaw formula is similar to the up-quark mass matrix, characteristic of high scale quark-lepton symmetric origin, the predicted branching ratios for lepton flavor violating decays are also found to be closer to the accessible range of ongoing experiments.


title: Conformal Theories with an IR cutoff

abstract: We give a new perspective on the dynamics of conformal theories realized in the SU(N) gauge theory, when the number of flavors N_f is within the conformal window. Motivated by the RG argument on conformal theories with a finite IR cutoff \Lambda_{IR}, we conjecture that the propagator of a meson G_H(t) on a lattice behaves at large t as a power-law corrected Yukawa-type decaying form G_H(t) = c_H \exp{(-m_H t)}/t^{\alpha_H} instead of the exponentially decaying form c_H\exp{(-m_H t)}, in the small quark mass region where m_H \le c \Lambda_{IR}: m_H is the mass of the ground state hadron in the channel H and c is a constant of order 1. The transition between the "conformal region" and the "confining region" is a first order transition. Our numerical results verify the predictions for the N_f=7 case and the N_f=16 case in the SU(3) gauge theory with the fundamental representation.


title: Energy Cooperation in Cellular Networks with Renewable Powered Base Stations

abstract: In this paper, we propose a model for energy cooperation between cellular base stations (BSs) with individual hybrid power supplies (including both the conventional grid and renewable energy sources), limited energy storages, and connected by resistive power lines for energy sharing. When the renewable energy profile and energy demand profile at all BSs are deterministic or known ahead of time, we show that the optimal energy cooperation policy for the BSs can be found by solving a linear program. We show the benefits of energy cooperation in this regime. When the renewable energy and demand profiles are stochastic and only causally known at the BSs, we propose an online energy cooperation algorithm and show the optimality properties of this algorithm under certain conditions. Furthermore, the energy-saving performances of the developed offline and online algorithms are compared by simulations, and the effect of the availability of energy state information (ESI) on the performance gains of the BSs' energy cooperation is investigated. Finally, we propose a hybrid algorithm that can incorporate offline information about the energy profiles, but operates in an online manner.


title: Quantum Noise in Conventional Optical Heterodyne Devices

abstract: By invoking the quantum theory of optical coherence, we theoretically show that the quantum noise in conventional optical heterodyne devices, which were previously identified as usual phase-insensitive amplifiers with additional quantum noise, is similar to that in optical homodyne devices, as verified by experimental data. Albeit more study is demanded to understand this result, it is certain that neither the uncertainty principle nor Caves's theorem for quantum noise of linear amplifiers sets a limit to the quantum noise of heterodyne devices.


title: Stochastic Averaging Principle for Dynamical Systems with Fractional Brownian Motion

abstract: Stochastic averaging for a class of stochastic differential equations (SDEs) with fractional Brownian motion, of the Hurst parameter H in the interval (1/2, 1), is investigated. An averaged SDE for the original SDE is proposed, and their solutions are quantitatively compared. It is shown that the solution of the averaged SDE converges to that of the original SDE in the sense of mean square and also in probability. It is further demonstrated that a similar averaging principle holds for SDEs under stochastic integral of pathwise backward and forward types. Two examples are presented and numerical simulations are carried out to illustrate the averaging principle.


title: On the Saturation of the Nonlinear Refractive Index in Atomic Gases

abstract: Motivated by the ongoing controversy on the origin of the nonlinear index saturation and subsequent intensity clamping in femtosecond filaments, we study the atomic nonlinear polarization induced by a high-intensity and ultrashort laser pulse in hydrogen by numerically solving the time dependent Schr\"odinger equation. Special emphasis is given to the efficient modeling of the nonlinear polarization at central laser frequency corresponding to 800 nm wavelength. Here, the recently proposed model of the Higher-Order Kerr Effect (HOKE) and two versions of the Standard model for femtosecond filamentation, including either a multi-photon or tunnel ionization rate, are compared. We find that around the clamping intensity the instantaneous HOKE model does not reproduce the temporal structure of the nonlinear response obtained from the quantum mechanical results. In contrast, the non-instantaneous charge contributions included in the Standard models ensure a reasonable quantitative agreement. Therefore, the physical origin for the observed saturation of the overall electron response is confirmed to mainly result from contributions of free or nearly free electrons.


title: On the Biclique cover of the complete graph

abstract: Let $K$ be a set of $k$ positive integers. A biclique cover of type $K$ of a graph $G$ is a collection of complete bipartite subgraphs of $G$ such that for every edge $e$ of $G$, the number of bicliques need to cover $e$ is a member of $K$. If $K=\{1,2,..., k\}$ then the maximum number of the vertices of a complete graph that admits a biclique cover of type $K$ with $d$ bicliques, $n(k,d)$, is the maximum possible cardinality of a $k$-neighborly family of standard boxes in $\mathbb{R}^d$. In this paper, we obtain an upper bound for $n(k,d)$. Also, we show that the upper bound can be improved in some special cases. Moreover, we show that the existence of the biclique cover of type $K$ of the complete bipartite graph with a perfect matching removed is equivalent to the existence of a cross $K$-intersection family.


title: Possible indication for non-zero neutrino mass and additional neutrino species from cosmological observations

abstract: The constraints on total neutrino mass and effective number of neutrino species based on CMB anisotropy power spectrum, Hubble constant, baryon acoustic oscillations and galaxy cluster mass function data are presented. It is shown that the discrepancies between various cosmological data in Hubble constant and density fluctuation amplitude, measured in standard LCDM cosmological model, can be eliminated if more than standard effective number of neutrino species and non-zero total neutrino mass are considered. This extension of LCDM model appears to be \approx 3 \sigma\ significant when all cosmological data are used. The model with approximately one additional neutrino type, N_eff \approx 4, and with non-zero total neutrino mass, \approx 0.5 eV, provide the best fit to the data. In the model with only one massive neutrino the upper limits on neutrino mass are slightly relaxed. It is shown that these deviations from LCDM model appear mainly due to the usage of recent data on the observations of baryon acoustic oscillations. Larger than standard number of neutrino species is measured mainly due to the comparison of the BAO data with direct measurements of Hubble constant, which was already noticed earlier. As it is shown below, the data on galaxy cluster mass function in this case give the measurement of non-zero neutrino mass.


title: System of nonlinear oscillators with dissipation. Initial interval of autoresonance

abstract: We investigate an influence of dissipation on autoresonant threshold for a system of nonlinear oscillators. Exact asymptotic formulas and numerical simulations are presented. These results correspond to an initial interval of autoresonance.


title: LMMSE Estimation and Interpolation of Continuous-Time Signals from Discrete-Time Samples Using Factor Graphs

abstract: The factor graph approach to discrete-time linear Gaussian state space models is well developed. The paper extends this approach to continuous-time linear systems/filters that are driven by white Gaussian noise. By Gaussian message passing, we then obtain MAP/MMSE/LMMSE estimates of the input signal, or of the state, or of the output signal from noisy observations of the output signal. These estimates may be obtained with arbitrary temporal resolution. The proposed input signal estimation does not seem to have appeared in the prior Kalman filtering literature.


title: Weak and quasi-polynomial tractability of approximation of infinitely differentiable functions

abstract: We comment on recent results in the field of information based complexity, which state (in a number of different settings), that approximation of infinitely differentiable functions is intractable and suffers from the curse of dimensionality. We show that renorming the space of infinitely differentiable functions in a suitable way allows weakly tractable uniform approximation by using only function values. Moreover, the approximating algorithm is based on a simple application of Taylor's expansion at the center of the unit cube. We discuss also the approximation on the Euclidean ball and the approximation in the $L_1$-norm, which is closely related to the problem of numerical integration.


title: Model Selection Approach for Distributed Fault Detection in Wireless Sensor Networks

abstract: Sensor networks aim at monitoring their surroundings for event detection and object tracking. But, due to failure, or death of sensors, false signal can be transmitted. In this paper, we consider the problems of distributed fault detection in wireless sensor network (WSN). In particular, we consider how to take decision regarding fault detection in a noisy environment as a result of false detection or false response of event by some sensors, where the sensors are placed at the center of regular hexagons and the event can occur at only one hexagon. We propose fault detection schemes that explicitly introduce the error probabilities into the optimal event detection process. We introduce two types of detection probabilities, one for the center node, where the event occurs and the other one for the adjacent nodes. This second type of detection probability is new in sensor network literature. We develop schemes under the model selection procedure, multiple model selection procedure and use the concept of Bayesian model averaging to identify a set of likely fault sensors and obtain an average predictive error.


title: Strategy for implementing stabilizer-based codes on solid-state qubits

abstract: We present a method for implementing stabilizer-based codes with encoding schemes of the operator quantum error correction paradigm, e.g., the "standard" five-qubit and CSS codes, on solid-state qubits with Ising or XY-type interactions. Using pulse sequences, we show how to induce the effective dynamics of the stabilizer Hamiltonian, the sum of an appropriate set of stabilizer operators for a given code. Within this approach, the encoded states (ground states of the stabilizer Hamiltonian) can be prepared without measurements and preserved against both the time evolution governed by the original qubit Hamiltonian, and energy-nonconserving errors caused by the environment.


title: A principal components method to impute missing values for mixed data

abstract: We propose a new method to impute missing values in mixed datasets. It is based on a principal components method, the factorial analysis for mixed data, which balances the influence of all the variables that are continuous and categorical in the construction of the dimensions of variability. Because the imputation uses the principal axes and components, the prediction of the missing values are based on the similarity between individuals and on the relationships between variables. The quality of the imputation is assessed through a simulation study and real datasets. The method is compared to a recent method (Stekhoven and B\"uhlmann, 2011) based on random forests and shows better performances especially for the imputation of categorical variables and when there are highly linear relationships between continuous variables.


title: A Novel Mode Switching Scheme Utilizing Random Beamforming for Opportunistic Energy Harvesting

abstract: Since radio signals carry both energy and information at the same time, a unified study on simultaneous wireless information and power transfer (SWIPT) has recently drawn a significant attention for achieving wireless powered communication networks. In this paper, we study a multiple-input single-output (MISO) multicast SWIPT network with one multi-antenna transmitter sending common information to multiple single-antenna receivers simultaneously along with opportunistic wireless energy harvesting at each receiver. From the practical consideration, we assume that the channel state information (CSI) is only known at each respective receiver but is unavailable at the transmitter. We propose a novel receiver mode switching scheme for SWIPT based on a new application of the conventional random beamforming technique at the multi-antenna transmitter, which generates artificial channel fading to enable more efficient energy harvesting at each receiver when the received power exceeds a certain threshold. For the proposed scheme, we investigate the achievable information rate, harvested average power and/or power outage probability, as well as their various trade-offs in both AWGN and quasi-static fading channels. Compared to a reference scheme of periodic receiver mode switching without random transmit beamforming, the proposed scheme is shown to be able to achieve better rate-energy trade-offs when the harvested energy target is sufficiently large. Particularly, it is revealed that employing one single random beam for the proposed scheme is asymptotically optimal as the transmit power increases to infinity, and also performs the best with finite transmit power for the high harvested energy regime of most practical interests, thus leading to an appealing low-complexity implementation. Finally, we compare the rate-energy performances of the proposed scheme with different random beam designs.


title: Odd Jacobi manifolds and Loday-Poisson brackets

abstract: In this paper we construct a non-skewsymmetric version of a Poisson bracket on the algebra of smooth functions on an odd Jacobi supermanifold. We refer to such Poisson-like brackets as Loday-Poisson brackets. We examine the relations between the Hamiltonian vector fields with respect to both the odd Jacobi structure and the Loday-Poisson structure. Furthermore, we show that the Loday-Poisson bracket satisfies the Leibniz rule over the noncommutative product derived from the homological vector field.


title: Schedulability Analysis of Distributed Real-Time Applications under Dependence and Several Latency Constraints

abstract: This paper focuses on the analysis of real-time non preemptive multiprocessor scheduling with precedence and several latency constraints. It aims to specify a schedulability condition which enables a designer to check a priori -without executing or simulating- if its scheduling of tasks will hold the precedences between tasks as well as several latency constraints imposed on determined pairs of tasks. It is shown that the required analysis is closely linked to the topological structure of the application graph. More precisely, it depends on the configuration of tasks paths subject to latency constraints. As a result of the study, a sufficient schedulability condition is introduced for precedences and latency constraints in the hardest configuration in term of complexity with an optimal number of processors in term of applications parallelism. In addition, the proposed conditions provides a practical lower bounds for general cases. Performances results and comparisons with an optimal approach demonstrate the effectiveness of the proposed approach.


title: Dynamics of the One-Dimensional Ising Model without Detailed Balance Condition

abstract: We study an irreversible Markov chain Monte Carlo method based on a skew detailed balance condition for an one-dimensional Ising model. Dynamical behavior of the magnetization density is analyzed in order to understand the properties of this method. As a result, it is found theoretically that the relaxation time of the magnetization density is reduced by using some transition probabilities satisfying the skew detailed balance condition, in comparison to that with the corresponding transition probability with the detailed balance condition, and that one of the transition probabilities changes the dynamical critical exponent even with a local spin update.


title: Grand-canonical-like molecular-dynamics simulations by using an adaptive-resolution technique

abstract: In this work, we provide a detailed theoretical analysis, supported by numerical tests, of the reliability of the adaptive resolution simulation (AdResS) technique in sampling the Grand Canonical ensemble. We demonstrate that the correct density and radial distribution functions in the hybrid region, where molecules change resolution, are two necessary conditions for considering the atomistic and coarse-grained regions in AdResS equivalent to subsystems of a full atomistic system with an accuracy up to the second order with respect to the probability distribution of the system. Moreover, we show that the work done by the thermostat and a thermodynamic force in the transition region is formally equivalent to balance the chemical potential difference between the different resolutions. From these results follows the main conclusion that the atomistic region exchanges molecules with the coarse-grained region in a Grand Canonical fashion with an accuracy up to (at least) second order. Numerical tests, for the relevant case of liquid water at ambient conditions, are carried out to strengthen the conclusions of the theoretical analysis. Finally, in order to show the computational convenience of AdResS as a Grand Canonical set up, we compare our method to the Insertion Particle Method (IMP) in its most efficient computational implementation. This fruitful combination of theoretical principles and numerical evidence candidates the adaptive resolution technique as a natural, general and efficient protocol for Grand Canonical Molecular Dynamics for the case of large systems.


title: Statistics on parallelogram polyominoes and a q,t-analogue of the Narayana numbers

abstract: We study the statistics area, bounce and dinv on the set of parallelogram polyominoes having a rectangular m times n bounding box. We show that the bi-statistics (area, bounce) and (area, dinv) give rise to the same q,t-analogue of Narayana numbers which was introduced by two of the authors in [arXiv:1208.0024]. We prove the main conjectures of that paper: the q,t-Narayana polynomials are symmetric in both q and t, and m and n. This is accomplished by providing a symmetric functions interpretation of the q,t-Narayana polynomials which relates them to the famous diagonal harmonics.


title: Fractional absolute moments of heavy tailed distributions

abstract: Several convenient methods for calculation of fractional absolute moments are given with application to heavy tailed distributions. We use techniques of fractional differentiation to obtain formulae for $E[|X-\mu|^\gamma]$ with $1<\gamma<2$ and $\mu\in\mathbb{R}$. The main focus is on heavy tailed distributions, several examples are given with analytical expressions of fractional absolute moments. As applications, we calculate the fractional moment errors for both prediction and parameter estimation problems.


title: Canonical Functions and Differential Graded Symplectic Pairs in Supergeometry and AKSZ Sigma Models with Boundary

abstract: Consistent boundary conditions for Alexandrov-Kontsevich-Schwartz-Zaboronsky (AKSZ) sigma models and the corresponding boundary theories are analyzed. As their mathematical structures, we introduce a generalization of differential graded symplectic manifolds, called twisted QP manifolds, in terms of graded symplectic geometry, canonical functions, and QP pairs. We generalize the AKSZ construction of topological sigma models to sigma models with Wess-Zumino terms and show that all the twisted Poisson-like structures known in the literature can actually be naturally realized as boundary conditions for AKSZ sigma models.


title: Spectral Properties of the Dirichlet Operator $\sum_{i=1}^d (-\partial_i^2)^s$ on Domains in d-Dimensional Euclidean Space

abstract: In this article we investigate the distribution of eigenvalues of the Dirichlet pseudo-differential operator $\sum_{i=1}^{d}(-\partial_i^2)^{s}, \, s\in (1/2,1]$ on an open and bounded subdomain $\Omega \subset \mathbb{R}^d$ and predict bounds on the sum of the first $N$ eigenvalues, the counting function, the Riesz means and the trace of the heat kernel. Moreover, utilizing the connection of coherent states to the semi-classical approach of Quantum Mechanics we determine the sum for moments of eigenvalues of the associated Schr\"{o}dinger operator.


title: Comparison and anti-concentration bounds for maxima of Gaussian random vectors

abstract: Slepian and Sudakov-Fernique type inequalities, which compare expectations of maxima of Gaussian random vectors under certain restrictions on the covariance matrices, play an important role in probability theory, especially in empirical process and extreme value theories. Here we give explicit comparisons of expectations of smooth functions and distribution functions of maxima of Gaussian random vectors without any restriction on the covariance matrices. We also establish an anti-concentration inequality for the maximum of a Gaussian random vector, which derives a useful upper bound on the L\'{e}vy concentration function for the Gaussian maximum. The bound is dimension-free and applies to vectors with arbitrary covariance matrices. This anti-concentration inequality plays a crucial role in establishing bounds on the Kolmogorov distance between maxima of Gaussian random vectors. These results have immediate applications in mathematical statistics. As an example of application, we establish a conditional multiplier central limit theorem for maxima of sums of independent random vectors where the dimension of the vectors is possibly much larger than the sample size.


title: Laser scribing on HOPG for graphene stamp printing on silicon wafer

abstract: Highly oriented pyrolytic graphite (HOPG) was scribed by pulsed laser beam to produce square patterns. Patterning of HOPG surface facilitates the detachment of graphene layers during contact printing. Direct HOPG-to-substrate and glue-assisted stamp printing of a few-layers graphene was compared. Printed graphene sheets were visualized by optical and scanning electron microscopy. The number of graphene layers was measured by atomic force microscopy. Glue-assisted stamp printing allows printing relatively large graphene sheets (40x40 microns) onto a silicon wafer, which can be important for microelectronics fabrication. The presented method is easier to implement and is more flexible than the majority of existing ways of placing graphene sheets onto a substrate.


title: A Rank-based Convex Hull method for Dense Data Sets

abstract: A novel 2-D method for computing the convex hull of a sufficiently dense set of n integer points is introduced. The approach employs a ranking function that avoids sorting the points directly thus reducing the overall time complexity. The ranked points create a simple polygonal chain from which the Convex Hull can be found using a suitable O(n) method. The result is achieved by placing a bound on the density (or ratio) of points to m, where m is the maximum value of the ranking function required to represent the set of points yielding an O(n+m) method. A fast method is then developed based on the bit length, p, of the data set which reduces this time further. The required conditions are easily satisfied by image processing methods which determine the Hulls of polygonal regions where the densities are in the range of 3%. Our experiments on a range problem domains show that this is not atypical. Since the complexity of the method is related to the bit size p for current machines (p=32, p=64) the method is for all practical purposes O(n). A short proof is provided.


title: A note on local gradient estimate on Alexandrov spaces

abstract: In this note, we prove Cheng-Yau type local gradient estimate for harmonic functions on Alexandrov spaces with Ricci curvature bounded below. We adopt a refined version of Moser's iteration which is based on Zhang-Zhu's Bochner type formula. Our result improves the previous one of Zhang-Zhu in the case of negative Ricci lower bound.


title: Future prospects at LHCb

abstract: The LHCb experiment is running at the Large Hadron Collider to study CP violation and rare decays in the beauty and charm sectors. The motivation and the strategy of the upgrade envisaged for the long shutdown LS2 (2018) is presented. The current results for some exemplary physics analyses are given and the expected performances foreseen for 2018 and for the LHCb Upgrade project with an integrated luminosity of 50 fb$^{-1}$ are summarized.


title: Carbon nanotubes with atomic impurities on boron nitride sheets under applied electric fields

abstract: We perform first-principles calculations to investigate the structural and electronic properties of metal-doped (10, 0) carbon nanotubes (CNTs) on a single hexagonal boron nitride (hBN) sheet in the presence of an external electric field. We consider K, Cl and Ni atoms as dopants to study the dependence of the electronic properties of the CNT on doping polarity and concentration. The electric field strength is varied from -0.2 V/\AA to +0.2 V/\AA to explore the effects of an external electric field on the electronic structures. Although the electronic energy bands of the hBN sheet are modified in accordance with the field strength, its electronic state in the valence or conduction band does not touch the Fermi level under the field strength considered. We conclude that the hBN as a substrate does not modify the electronic structure of the CNT, thereby leading to improvements in the device performance, compared with that of devices based on conventional substrate materials such as SiO$_2$.


title: Probing the nature of compact ultra-steep spectrum radio sources with the e-EVN and e-MERLIN

abstract: We present first results from electronic Multi-Element Remotely Linked Interferometer Network (e-MERLIN) and electronic European VLBI Network (e-EVN) observations of a small sample of ultra-steep spectrum radio sources, defined as those sources with a spectral index alpha < -1.4 between 74 MHz and 325 MHz, which are unresolved on arcsecond scales. Such sources are currently poorly understood and a number of theories as to their origin have been proposed in the literature. The new observations described here have resulted in the first detection of two of these sources at milliarcsecond scales and show that a significant fraction of ultra-steep spectrum sources may have compact structures which can only be studied at the high resolution available with very long baseline interferometry (VLBI).


title: Algebraic cycles and the triangulated category of mixed motives

abstract: In this paper, we shall give a candidate for the t-structure on the triangulated category of mixed motives due to Voevodsky.


title: Probing Fractionalized Charges

abstract: Inspired by holographic entanglement entropy, for geometries with non-zero abelian charges, we define a quantity which is sensitive to the background charges. One observes that there is a critical charge below that the system is mainly described by the metric and the effects of the background charges are just via metric's components. While for charges above the critical one the background gauge field plays an essential role. This, in turn, might be used to define an order parameter to probe phases of a system with fractionalized charges.


title: The Hidden Structural Rules of the Discontinuous Lambek Calculus

abstract: The sequent calculus sL for the Lambek calculus L (lambek 58) has no structural rules. Interestingly, sL is equivalent to a multimodal calculus mL, which consists of the nonassociative Lambek calculus with the structural rule of associativity. This paper proves that the sequent calculus or hypersequent calculus hD of the discontinuous Lambek calculus (Morrill and Valent\'in), which like sL has no structural rules, is also equivalent to an omega-sorted multimodal calculus mD. More concretely, we present a faithful embedding translation between mD and hD in such a way that it can be said that hD absorbs the structural rules of mD.


title: First operation and performance of a 200 lt double phase LAr LEM-TPC with a 40x76 cm^2 readout

abstract: In this paper we describe the design, construction, and operation of a first large area double-phase liquid argon Large Electron Multiplier Time Projection Chamber (LAr LEM-TPC). The detector has a maximum drift length of 60 cm and the readout consists of a $40\times 76$ cm$^2$ LEM and 2D projective anode to multiply and collect drifting charges. Scintillation light is detected by means of cryogenic PMTs positioned below the cathode. To record both charge and light signals, we have developed a compact acquisition system, which is scalable up to ton-scale detectors with thousands of charge readout channels. The acquisition system, as well as the design and the performance of custom-made charge sensitive preamplifiers, are described. The complete experimental setup has been operated for a first time during a period of four weeks at CERN in the cryostat of the ArDM experiment, which was equipped with liquid and gas argon purification systems. The detector, exposed to cosmic rays, recorded events with a single-channel signal-to-noise ratio in excess of 30 for minimum ionising particles. Cosmic muon tracks and their $\delta$-rays were used to assess the performance of the detector, and to estimate the liquid argon purity and the gain at different amplification fields.


title: Importance of both spin and orbital fluctuations in BaFe2(As1-xPx)2 : Evidence from superconducting gap anisotropy

abstract: In the iron pnictide superconductors, two distinct unconventional mechanisms of superconductivity have been put forth: One is mediated by spin fluctuations leading to the s+- state with sign change of superconducting gap between the hole and electron bands, and the other is orbital fluctuations which favor the s++ state without sign reversal. Here we report direct observation of peculiar momentum-dependent anisotropy in the superconducting gap from angle-resolved photoemission spectroscopy (ARPES) in BaFe2(As1-xPx)2 (Tc=30 K). The large anisotropy found only in the electron Fermi surface (FS) and the nearly isotropic gap on the entire hole FSs are together consistent with modified s+- gap with nodal loops, which can be theoretically reproduced by considering both spin and orbital fluctuations whose competition generates the gap modulation. This indicates that these two fluctuations are nearly equally important to the high-Tc superconductivity in this system.


title: Smoothing properties of the discrete fractional maximal operator on Besov and Triebel--Lizorkin spaces

abstract: Motivated by the results of Korry and Kinnunen and Saksman, we study the behaviour of the discrete fractional maximal operator on fractional Hajlasz spaces, Hajlasz-Besov and Hajlasz-Triebel-Lizorkin spaces on metric measure spaces. We show that the discrete fractional maximal operator maps these spaces to the spaces of the same type with higher smoothness. Our results extend and unify aforementioned results. We present our results in general setting, but they are new already in the Euclidean case.


title: Resolving the masers in M82

abstract: Despite first being detected in the 1970s, surprisingly little is known about the OH main line maser population in the nearby starburst galaxy M82. Sometimes referred to as 'kilomasers', they have isotropic luminosities intermediate between Galactic masers and those found in more distant megamasers. Several observations have been carried by this group over the last ten years in an attempt to get a better handle on their nature. High velocity resolution VLA observations in 2006 showed that almost all of the maser spots, distributed across the central arcminute of the galaxy, were apparently coincident with background continuum features, and a handful displayed multiple velocity components. The majority of those with velocity structure are located on a blue-shifted arc in the pv-plane, spatially located on an arc northward of the peculiar source known as B41.95+57.5. Now, new results from high spatial and spectral resolution observations with the EVN have resolved several of these masers into multiple spatial components for the first time. The maser emission is compared with known continuum sources in the galaxy, and we conclude that at least some of the maser emission is from high-gain maser action.


title: Water in star forming regions with Herschel (WISH) III. Far-infrared cooling lines in low-mass young stellar objects

abstract: (Abridged) Far-infrared Herschel-PACS spectra of 18 low-mass protostars of various luminosities and evolutionary stages are studied. We quantify their far-infrared line emission and the contribution of different atomic and molecular species to the gas cooling budget during protostellar evolution. We also determine the spatial extent of the emission and investigate the underlying excitation conditions. Most of the protostars in our sample show strong atomic and molecular far-infrared emission. Water is detected in 17 objects, including 5 Class I sources. The high-excitation H2O line at 63.3 micron is detected in 7 sources. CO transitions from J=14-13 up to 49-48 are found and show two distinct temperature components on Boltzmann diagrams with rotational temperatures of ~350 K and ~700 K. H2O has typical excitation temperatures of ~150 K. Emission from both Class 0 and I sources is usually spatially extended along the outflow direction but with a pattern depending on the species and the transition. The H2O line fluxes correlate strongly with those of the high-J CO lines, as well as with the bolometric luminosity and envelope mass. They correlate less strongly with OH and not with [OI] fluxes. The PACS data probe at least two physical components. The H2O and CO emission likely arises in non-dissociative (irradiated) shocks along the outflow walls with a range of pre-shock densities. Some OH is also associated with this component, likely resulting from H2O photodissociation. UV-heated gas contributes only a minor fraction to the CO emission observed by PACS, based on the strong correlation between the shock-dominated CO 24-23 line and the CO 14-13 line. [OI] and some of the OH emission probe dissociative shocks in the inner envelope. The total far-infrared cooling is dominated by H2O and CO, with [OI] increasing for Class I sources.


title: The origin of the dead-layer at the La0.67Sr0.33MnO3/SrTiO3 interface and dead-layer reduction via interfacial engineering

abstract: Transition metal oxide hetero-structure has great potential for multifunctional devices. However, the degraded physical properties at interface, known as dead-layer behavior, present a main obstacle for device applications. Here we present the systematic study of the dead-layer behavior in La0.67Sr0.33MnO3 thin film grown on SrTiO3 substrate with ozone assisted molecular beam epitaxy. We found that the evolution of electric and magnetic properties as a function of thickness shows a remarkable resemblance to the phase diagram as a function of doping for bulk materials, providing compelling evidences of the hole depletion in near interface layers that causes dead-layer. Detailed electronic and surface structure studies indicate that the hole depletion is due to the intrinsic oxygen vacancy formation. Furthermore, we show that oxygen vacancies are partly caused by interfacial electric dipolar field, and thus by doping-engineering at the single-atomic-layer level, we demonstrate the dead-layer reduction in films with higher interfacial hole concentration.


title: A note on the geometric interpretation of Bell's inequalities

abstract: Using results of Pitowsky and Gupta, we show in a direct, elementary fashion that, in the case of three spins, Bell's inequalities indeed provide a representation of the tetrahedron of all spin correlation matrices as intersection of half-spaces.


title: The Weight Enumerator of Three Families of Cyclic Codes

abstract: Cyclic codes are a subclass of linear codes and have wide applications in consumer electronics, data storage systems, and communication systems due to their efficient encoding and decoding algorithms. Cyclic codes with many zeros and their dual codes have been a subject of study for many years. However, their weight distributions are known only for a very small number of cases. In general the calculation of the weight distribution of cyclic codes is heavily based on the evaluation of some exponential sums over finite fields. Very recently, Li, Hu, Feng and Ge studied a class of $p$-ary cyclic codes of length $p^{2m}-1$, where $p$ is a prime and $m$ is odd. They determined the weight distribution of this class of cyclic codes by establishing a connection between the involved exponential sums with the spectrum of Hermitian forms graphs. In this paper, this class of $p$-ary cyclic codes is generalized and the weight distribution of the generalized cyclic codes is settled for both even $m$ and odd $m$ alone with the idea of Li, Hu, Feng, and Ge. The weight distributions of two related families of cyclic codes are also determined.


title: Midinfrared Third Harmonic Generation from Macroscopically Aligned Ultralong Single-Wall Carbon Nanotubes

abstract: We report the observation of strong third harmonic generation from a macroscopic array of aligned ultralong single-wall carbon nanotubes (SWCNTs) with intense midinfrared radiation. Through power-dependent experiments, we determined the absolute value of the third-order nonlinear optical susceptibility, $\chi^{(3)}$, of our SWCNT film to be 5.53 $\times$ 10$^{-12}$ esu, three orders of magnitude larger than that of the fused silica reference we used. Taking account of the filling factor of 8.75% for our SWCNT film, we estimate a $\chi^{(3)}$ of 6.32 $\times$ 10$^{-11}$ esu for a fully dense film. Furthermore, through polarization-dependent experiments, we extracted all the nonzero elements of the $\chi^{(3)}$ tensor, determining the magnitude of the weaker tensor elements to be $\sim$1/6 of that of the dominant $\chi^{(3)}_{zzzz}$ component.


title: Irregular time series in astronomy and the use of the Lomb-Scargle periodogram

abstract: Detection of a signal hidden by noise within a time series is an important problem in many astronomical searches, i.e. for light curves containing the contributions of periodic/semi-periodic components due to rotating objects and all other astrophysical time-dependent phenomena. One of the most popular tools for use in such studies is the "periodogram", whose use in an astronomical context is often not trivial. The "optimal" statistical properties of the periodogram are lost in the case of irregular sampling of signals, which is a common situation in astronomical experiments. Parts of these properties are recovered by the "Lomb-Scargle" (LS) technique, but at the price of theoretical difficulties, that can make its use unclear, and of algorithms that require the development of dedicated software if a fast implementation is necessary. Such problems would be irrelevant if the LS periodogram could be used to significantly improve the results obtained by approximated but simpler techniques. In this work we show that in many astronomical applications simpler techniques provide results similar to those obtainable with the LS periodogram. The meaning of the "Nyquist frequency" is also discussed in the case of irregular sampling.


title: Spectral convergence bounds for classical and quantum Markov processes

abstract: We introduce a new framework that yields spectral bounds on norms of functions of transition maps for finite, homogeneous Markov chains. The techniques employed work for bounded semigroups, in particular for classical as well as for quantum Markov chains and they do not require additional assumptions like detailed balance, irreducibility or aperiodicity. We use the method in order to derive convergence bounds that improve significantly upon known spectral bounds. The core technical observation is that power-boundedness of transition maps of Markov chains enables a Wiener algebra functional calculus in order to upper bound any norm of any holomorphic function of the transition map. Finally, we discuss how general detailed balance conditions for quantum Markov processes lead to spectral convergence bounds.


title: Variable resistor made by repeated steps of epitaxial deposition and lithographic structuring of oxide layers by using wet chemical etchants

abstract: Variable resistors were constructed from epitaxial SrRuO3 (SRO), La0.67Sr0.33MnO3 (LSMO) and SrTiO3 layers with perovskite crystal structure. Each layer was patterned separately by lithographic methods. Optimized wet chemical etchants and several polishing steps in organic solvents allowed good epitaxy of subsequent layers, comparable to epitaxy on pristine substrates. Periodate as the oxidizing agent for SRO and iodide with ascorbic acid as the reducing agents for LSMO were used to attack these chemically resistant oxides. The final devices changed their conductance in a similar manner to previously described variable resistors that were defined with shadow masks.


title: Extremely long hard bursts observed by Konus-Wind

abstract: We report the observations of the prompt emission of the extremely long hard burst, GRB 060814B, discovered by Konus-Wind and localized by the IPN. The observations reveal a smooth, hard, ~40-min long pulse followed by weaker emission seen several hours after the burst onset. We also present the Konus-Wind data on similar burst, GRB 971208, localized by BATSE/IPN. And finally we discuss the different possible origins of these unusual events.


title: Multiplication and composition operators between two Orlicz spaces

abstract: In this paper we consider composition operator $C_{\varphi} generated by nonsingular measurable transformation $T$ and multiplication operator $M_u$ generated by measurable function $u$ between two different Orlicz spaces, then we investigate boundedness, compactness and essential norm of multiplication and composition operators in term of properties of the mapping $\varphi$, the function $u$ and the measure space $(X, \Sigma, \mu)$.


title: Matter bispectrum in cubic Galileon cosmologies

abstract: In this paper we obtain the bispectrum of dark matter density perturbations in the frame of covariant cubic Galileon theories. This result is obtained by means of a semi-analytic approach to second-order perturbations in Galileon cosmologies, assuming Gaussian initial conditions. In particular, we show that, even in the presence of large deviations of the linear growth-rate w.r.t. the {\Lambda}CDM one, at the bispectrum level such deviations are reduced to a few percent.


title: Measuring Model Risk

abstract: We propose to interpret distribution model risk as sensitivity of expected loss to changes in the risk factor distribution, and to measure the distribution model risk of a portfolio by the maximum expected loss over a set of plausible distributions defined in terms of some divergence from an estimated distribution. The divergence may be relative entropy, a Bregman distance, or an $f$-divergence. We give formulas for the calculation of distribution model risk and explicitly determine the worst case distribution from the set of plausible distributions. We also give formulas for the evaluation of divergence preferences describing ambiguity averse decision makers.


title: Calibration of the Mid-Infrared Tully-Fisher Relation

abstract: Distance measures on a coherent scale around the sky are required to address the outstanding cosmological problems of the Hubble Constant and of departures from the mean cosmic flow. The correlation between galaxy luminosities and rotation rates can be used to determine distances to many thousands of galaxies in a wide range of environments potentially out to 200 Mpc. Mid-infrared (3.6 microns) photometry with the Spitzer Space Telescope is particularly valuable as the source of the luminosities because it provides products of uniform quality across the sky. From a perch above the atmosphere, essentially the total magnitude of targets can be registered in exposures of a few minutes. Extinction is minimal and the flux is dominated by the light from old stars which is expected to correlate with the mass of the targets. In spite of the superior photometry, the correlation between mid-infrared luminosities and rotation rates extracted from neutral hydrogen profiles is slightly degraded from the correlation found with I band luminosities. A color correction recovers a correlation that provides comparable accuracy to that available at I band (~20% 1sigma in an individual distance) while retaining the advantages identified above. Without the color correction the relation between linewidth and [3.6] magnitudes is M^{b,i,k,a}_{[3.6]} = -20.34 - 9.74 (log W_{mx}^{i} -2.5). This description is found with a sample of 213 galaxies in 13 clusters that define the slope and 26 galaxies with Cepheid or tip of the red giant branch distances that define the zero point. A color corrected parameter M_{C_{[3.6]}} is constructed that has reduced scatter: M_{C_{[3.6]}} = -20.34 - 9.13 (log W_{mx}^{i} -2.5). Consideration of the 7 calibration clusters beyond 50 Mpc, outside the domain of obvious peculiar velocities, provides a preliminary Hubble Constant estimate of H_0=74+/-5 km/s/Mpc.


title: Transparent conducting silver nanowire networks

abstract: We present a transparent conducting electrode composed of a periodic two-dimensional network of silver nanowires. Networks of Ag nanowires are made with wire diameters of 45-110 nm and pitch of 500, 700 and 1000 nm. Anomalous optical transmission is observed, with an averaged transmission up to 91% for the best transmitting network and sheet resistances as low as 6.5 {\Omega}/sq for the best conducting network. Our most dilute networks show lower sheet resistance and higher optical transmittance than an 80 nm thick layer of ITO sputtered on glass. By comparing measurements and simulations we identify four distinct physical phenomena that govern the transmission of light through the networks: all related to the excitation of localized surface plasmons and surface plasmon polaritons on the wires. The insights given in this paper provide the key guidelines for designing high-transmittance and low-resistance nanowire electrodes for optoelectronic devices, including thin-film solar cells. For these latter, we discuss the general design principles to use the nanowire electrodes also as a light trapping scheme.


title: On Uniqueness for supercritical nonlinear wave and Schr\"odinger equations

abstract: In a recent paper, Struwe considered the Cauchy problem for a class of nonlinear wave and Scr\"odinger equations. Under some assumptions on the nonlinearities, it was shown that uniqueness of classical solutions can be obtained in the much larger class of distribution solutions satisfying the energy inequality. As pointed out in [38], the conditions on the nonlinearities are satisfied for any polynomial growth but they fail to hold for higher growth (for example ${\rm e}^{u^2}$). Our aim here is to improve Struwe's result by showing that uniqueness holds for more general nonlinearities including higher growth or oscillations.


title: Interactions and superconductivity in heavily doped MoS2

abstract: We analyze the microscopic origin and the physical properties of the superconducting phase recently observed in MoS$_2$. We show how the combination of the valley structure of the conduction band, the density dependence of the screening of the long range Coulomb interactions, the short range electronic repulsion, and the relative weakness of the electron-phonon interactions, makes possible the existence of a phase where the superconducting order parameter has opposite signs in different valleys, resembling the superconductivity found in the pnictides and cuprates.


title: Radiation Reaction and the Electromagnetic Energy-Momentum of Moving Relativistic Charged Membranes

abstract: The charged membrane of Dirac provides a stable electron model with finite self energy. Its total mass $m$ has been previously calculated from the Hamiltonian of the membrane. To complete the picture we evaluate it here on the basis of the energy-momentum of its self field (radiation reaction) and obtain the same result showing the consistency of the model. We show explicitly that the old 4/3-problem does not arise. The electron's stability (the vanishing of total ${T^{\mu \nu}}_{, \nu}$) is due to surface tension $\kappa$ of the membrane, but the model is as simple as the point particle, with two parameters $\kappa$ and $e$; the surface tension parameter $\kappa$ can be expressed in terms of the mass $m$.


title: Second Thresholds in BEC-BCS-Laser Crossover of Exciton-Polariton Systems

abstract: The mechanism of second thresholds observed in several experiments is theoretically revealed by studying the BEC-BCS-laser crossover in exciton-polariton systems. We found that there are two different types for the second thresholds; one is a crossover within quasi-equilibrium phases and the other is into non-equilibrium (lasing). In both cases, the light-induced band renormalization causes gaps in the conduction and valence bands, which indicates the exsistence of bound electron-hole pairs in contrast to earlier expectations. We also show that these two types can be distinguished by the gain spectra.


title: A Scalable Distributed Architecture for Network- and QoS-aware Service Composition

abstract: Service-Oriented Computing (SOC) enables the composition of loosely coupled service agents provided with varying Quality of Service (QoS) levels, effectively forming a multiagent system (MAS). Selecting a (near-)optimal set of services for a composition in terms of QoS is crucial when many functionally equivalent services are available. As the number of distributed services, especially in the cloud, is rising rapidly, the impact of the network on the QoS keeps increasing. Despite this and opposed to most MAS approaches, current service approaches depend on a centralized architecture which cannot adapt to the network. Thus, we propose a scalable distributed architecture composed of a flexible number of distributed control nodes. Our architecture requires no changes to existing services and adapts from a centralized to a completely distributed realization by adding control nodes as needed. Also, we propose an extended QoS aggregation algorithm that allows to accurately estimate network QoS. Finally, we evaluate the benefits and optimality of our architecture in a distributed environment.


title: Unoccupied electronic band structure of the semi-metallic Bi(111) surface probed with two-photon photoemission

abstract: While many photoemission studies have dealt with both the bulk band structure and various surface states and resonances, the unoccupied electronic structure above the Fermi level of the Bi(111) surface has not yet been measured directly although understanding of this model semi-metal is of great interest for topological insulators, spintronics and related fields. We use angle-resolved two-photon photoemission to directly investigate the occupied and unoccupied p bands of Bi, including the bulk hole pocket at the T point, as well as the image potential states and surface states of Bi(111).


title: Modulation effect on the spin Hall resonance

abstract: The effect of a weak electrical modulation on spin Hall resonance is presented here. In presence of the magnetic field normal to the plane of the motion of electron, the Landau levels are formed which get broadened due to the weak modulation. The width of the Landau levels broadening are periodic with the inverse magnetic field. There is a certain magnetic field for which the crossing of Landau levels between spin-up and spin-down branches takes place. This gives rise to the resonance in the spin Hall conductivity (SHC). The Landau levels broadening or the energy correction due to the modulation removes the singularity appears at the resonance field in SHC, leading to the suppression of SHC accompanied by two new peaks around this point. The separation of these two peaks increases with the increase of the modulation period. Moreover, we find that the height of the two peaks are also modulation period dependent.


title: Goldstino superfields in AdS_4

abstract: Spontaneous breaking of global supersymmetries results in Goldstino fields which provide a nonlinear realisation of the supersymmetry algebra. A finite supersymmetry transformation of a Goldstino field can be used to generate a superfield whose components provide a linear realisation of the supersymmetry algebra. This construction also automatically determines the action of the algebra of supercovariant derivatives on Goldstino superfields, essential to the efficient computation of manifestly supersymmetric component actions for the Goldstinos, including coupling to matter fields. In this paper, we extend known constructions of Goldstino superfields resulting from spontaneous breaking of supersymmetry in flat four-dimensional N =1 superspace to spontaneous breaking of N =1 and N =2 supersymmetry in AdS_4.


title: On the Interpolation of Model Atmospheres and High-Resolution Synthetic Stellar Spectra

abstract: We present tests carried out on optical and infrared stellar spectra to evaluate the accuracy of different types of interpolation. Both model atmospheres and continuum normalized fluxes were interpolated. In the first case we used linear interpolation, and in the second linear, cubic spline, cubic-Bezier and quadratic-Bezier methods. We generated 400 ATLAS9 model atmospheres with random values of the atmospheric parameters for these tests, spanning between -2.5 and +0.5 in [Fe/H], from 4500 to 6250 K in effective temperature, and 1.5 to 4.5 dex in surface gravity. Synthesized spectra were created from these model atmospheres, and compared with spectra derived by interpolation. We found that the most accurate interpolation algorithm among those considered in flux space is cubic-Bezier, closely followed by quadratic-Bezier and cubic splines. Linear interpolation of model atmospheres results in errors about a factor of two larger than linear interpolation of fluxes, and about a factor of four larger than high order flux interpolations.


title: Conditional quasi-greedy bases in Hilbert and Banach spaces

abstract: We show that, for quasi-greedy bases in Hilbert spaces, the associated conditionality constants grow at most as $O(\log N)^{1-\epsilon}$, for some $\epsilon>0$, answering a question by Temlyakov. We show the optimality of this bound with an explicit construction, based on a refinement of the method of Olevskii. This construction leads to other examples of quasi-greedy bases with large $k_N$ in Banach spaces, which are of independent interest.


title: A generalisation of Nash's theorem with higher-order functionals

abstract: The recent theory of sequential games and selection functions by Mar- tin Escardo and Paulo Oliva is extended to games in which players move simultaneously. The Nash existence theorem for mixed-strategy equilibria of finite games is generalised to games defined by selection functions. A normal form construction is given which generalises the game-theoretic normal form, and its soundness is proven. Minimax strategies also gener- alise to the new class of games and are computed by the Berardi-Bezem- Coquand functional, studied in proof theory as an interpretation of the axiom of countable choice.


title: On the collision of two projectiles on two targets in the BFKL approach

abstract: High-energy collisions of two nucleons on two nucleons are studied in the BFKL approach in the leading approximation in $\alpha_sN_c$. Diagrams with redistribution of colour are considered. It is found that intermediate BKP states consisting of 4 reggeized gluons give a contribution which may be leading in deuteron-deuteron scattering and thus experimentally observable.


title: A model of individual clustering with vanishing diffusion

abstract: We consider a model of individual clustering with two specific reproduction rates and small diffusion parameter in one space dimension. It consists of a drift-diffusion equation for the population density coupled to an elliptic equation for the velocity of individuals. We prove the convergence (in suitable topologies) of the solution of the problem to the unique solution of the limit transport problem, as the diffusion coefficient tends to zero.


title: Integration of knowledge to support automatic object reconstruction from images and 3D data

abstract: Object reconstruction is an important task in many fields of application as it allows to generate digital representations of our physical world used as base for analysis, planning, construction, visualization or other aims. A reconstruction itself normally is based on reliable data (images, 3D point clouds for example) expressing the object in his complete extent. This data then has to be compiled and analyzed in order to extract all necessary geometrical elements, which represent the object and form a digital copy of it. Traditional strategies are largely based on manual interaction and interpretation, because with increasing complexity of objects human understanding is inevitable to achieve acceptable and reliable results. But human interaction is time consuming and expensive, why many researches has already been invested to use algorithmic support, what allows to speed up the process and to reduce manual work load. Presently most of such supporting algorithms are data-driven and concentate on specific features of the objects, being accessible to numerical models. By means of these models, which normally will represent geometrical (flatness, roughness, for example) or physical features (color, texture), the data is classified and analyzed. This is successful for objects with low complexity, but gets to its limits with increasing complexness of objects. Then purely numerical strategies are not able to sufficiently model the reality. Therefore, the intention of our approach is to take human cognitive strategy as an example, and to simulate extraction processes based on available human defined knowledge for the objects of interest. Such processes will introduce a semantic structure for the objects and guide the algorithms used to detect and recognize objects, which will yield a higher effectiveness. Hence, our research proposes an approach using knowledge to guide the algorithms in 3D point cloud and image processing.


title: Multiquark states in the covariant quark confinement model

abstract: This talk reviews the last applications of the covariant quark model for studying the properties of the multiquark states: B_s-meson (quark-antiquark state), light baryons (three-quark states) and tetraquark (four-quark state). The form factors of the B(B_s)-> P(V)-transitions are evaluated in the full kinematical region of momentum transfer squared. The widths of some B_s-nonleptonic decays are calculated. The static properties of the proton and neutron, and the \Lambda-hyperon (magnetic moments and charge radii) and the behavior of the nucleon form factors at low momentum transfers are described. The consequences of treating the X(3872) meson as a tetraquark bound state are explored. The decay widths of the observed channels X->J/\psi+2\pi (3\pi) and X-> \bar D^0 + D^0+\pi^0 via the intermediate off--shell states X-> J/\psi+\rho(\omega) and X-> \bar D + D^* are calculated. Its one-photon decay X-> \gamma+ J/\psi is also analyzed.


title: Horizontal Visibility graphs generated by type-I intermittency

abstract: The type-I intermittency route to (or out of) chaos is investigated within the Horizontal Visibility graph theory. For that purpose, we address the trajectories generated by unimodal maps close to an inverse tangent bifurcation and construct, according to the Horizontal Visibility algorithm, their associated graphs. We show how the alternation of laminar episodes and chaotic bursts has a fingerprint in the resulting graph structure. Accordingly, we derive a phenomenological theory that predicts quantitative values of several network parameters. In particular, we predict that the characteristic power law scaling of the mean length of laminar trend sizes is fully inherited in the variance of the graph degree distribution, in good agreement with the numerics. We also report numerical evidence on how the characteristic power-law scaling of the Lyapunov exponent as a function of the distance to the tangent bifurcation is inherited in the graph by an analogous scaling of the block entropy over the degree distribution. Furthermore, we are able to recast the full set of HV graphs generated by intermittent dynamics into a renormalization group framework, where the fixed points of its graph-theoretical RG flow account for the different types of dynamics. We also establish that the nontrivial fixed point of this flow coincides with the tangency condition and that the corresponding invariant graph exhibit extremal entropic properties.

categories: nlin.CD cond-mat.stat-mech math-ph math.MP physics.data-an


title: Hyperplane arrangements and Milnor fibrations

abstract: There are several topological spaces associated to a complex hyperplane arrangement: the complement and its boundary manifold, as well as the Milnor fiber and its own boundary. All these spaces are related in various ways, primarily by a set of interlocking fibrations. We use cohomology with coefficients in rank 1 local systems on the complement of the arrangement to gain information on the homology of the other three spaces, and on the monodromy operators of the various fibrations.


title: Debye relaxation and 250 K anomaly in glass forming monohydroxy alcohols

abstract: A previous dielectric, near-infrared (NIR), and nuclear magnetic resonance study on the hydrogen-bonded liquid 2-ethyl-1-hexanol [C. Gainaru et al., Phys. Rev. Lett. 107, 118304 (2011)] revealed anomalous behavior in various static quantities near 250 K. To check whether corresponding observations can be made for other monohydroxy alcohols as well, these experimental methods were applied to such substances with 5, 6, 7, 8, and 10 carbon atoms in their molecular backbone. All studied liquids exhibit a change of behavior near 250 K which is tentatively ascribed to effects of hydrogen bond cooperativity. By analyzing the NIR band intensities, a linear cluster size is derived that agrees with estimates from dielectric spectroscopy. All studied alcohols, except 4-methyl-3-heptanol, display a dominant Debye-like peak. Furthermore, neat 2-ethyl-1-butanol exhibits a well resolved structural relaxation in its dielectric loss spectrum which so far has only been observed for diluted monohydroxy alcohols.


title: New quantitative estimates on the incidence geometry and growth of finite sets

abstract: This thesis establishes new quantitative records in several problems of incidence geometry and growth. After the necessary background in Chapters 1, 2 and 3, the following results are proven. Chapter 4 gives new results in the incidence geometry of a plane determined by a finite field of prime order. These comprise a new upper bound on the total number of incidences determined by finitely many points and lines, and a new estimate for the number of distinct lines determined by a finite set of non-collinear points. Chapter 5 gives new results on expander functions. First, a new bound is established for the two-variable expander a+ab over a finite field of prime order. Second, new expanders in three and four variables are demonstrated over the real and complex numbers with stronger growth properties than any functions previously considered. Finally, Chapter 6 gives the first bespoke sum-product estimate over function fields, a setting that has so far been largely unexplored for these kinds of problems. This last chapter is joint work with Thomas Bloom.