title: Development of Lumped Element Kinetic Inductance Detectors for the W-Band

abstract: We are developing a Lumped Element Kinetic Inductance Detector (LEKID) array able to operate in the W-band (75-110 GHz) in order to perform ground-based Cosmic Microwave Background (CMB) and mm-wave astronomical observations. The W-band is close to optimal in terms of contamination of the CMB from Galactic synchrotron, free-free, and thermal interstellar dust. In this band, the atmosphere has very good transparency, allowing interesting ground-based observations with large (>30 m) telescopes, achieving high angular resolution (<0.4 arcmin). In this work we describe the startup measurements devoted to the optimization of a W-band camera/spectrometer prototype for large aperture telescopes like the 64 m SRT (Sardinia Radio Telescope). In the process of selecting the best superconducting film for the LEKID, we characterized a 40 nm thick Aluminum 2-pixel array. We measured the minimum frequency able to break CPs (i.e. $h\nu=2\Delta\left(T_{c}\right)=3.5k_{B}T_{c}$) obtaining $\nu=95.5$ GHz, that corresponds to a critical temperature of 1.31 K. This is not suitable to cover the entire W-band. For an 80 nm layer the minimum frequency decreases to 93.2 GHz, which corresponds to a critical temperature of 1.28 K; this value is still suboptimal for W-band operation. Further increase of the Al film thickness results in bad performance of the detector. We have thus considered a Titanium-Aluminum bi-layer (10 nm thick Ti + 25 nm thick Al, already tested in other laboratories), for which we measured a critical temperature of 820 mK and a cut-on frequency of 65 GHz: so this solution allows operation in the entire W-band.


title: On Some Properties of Calibrated Trifocal Tensors

abstract: In two-view geometry, the essential matrix describes the relative position and orientation of two calibrated images. In three views, a similar role is assigned to the calibrated trifocal tensor. It is a particular case of the (uncalibrated) trifocal tensor and thus it inherits all its properties but, due to the smaller degrees of freedom, satisfies a number of additional algebraic constraints. Some of them are described in this paper. More specifically, we define a new notion --- the trifocal essential matrix. On the one hand, it is a generalization of the ordinary (bifocal) essential matrix, and, on the other hand, it is closely related to the calibrated trifocal tensor. We prove the two necessary and sufficient conditions that characterize the set of trifocal essential matrices. Based on these characterizations, we propose three necessary conditions on a calibrated trifocal tensor. They have a form of 15 quartic and 99 quintic polynomial equations. We show that in the practically significant real case the 15 quartic constraints are also sufficient.


title: Phyllotaxis: a framework for foam topological evolution

abstract: Phyllotaxis describes the arrangement of florets, scales or leaves in composite flowers or plants (daisy, aster, sunflower, pinecone, pineapple). As a structure, it is a geometrical foam, the most homogeneous and densest covering of a large disk by Voronoi cells (the florets), constructed by a simple algorithm: Points placed regularly on a generative spiral constitute a spiral lattice, and phyllotaxis is the tiling by the Voronoi cells of the spiral lattice. Locally, neighboring cells are organized as three whorls or parastichies, labeled with successive Fibonacci numbers. The structure is encoded as the sequence of the shapes (number of sides) of the successive Voronoi cells on the generative spiral. We show that sequence and organization are independent of the position of the initial point on the generative spiral, that is invariant under disappearance ($T2$) of the first Voronoi cell or, conversely, under creation of a first cell, that is under growth. This independence shows how a foam is able to respond to a shear stress, notably through grain boundaries that are layers of square cells slightly truncated into heptagons, pentagons and hexagons, meeting at four-corner vertices, critical points of $T1$ elementary topological transformations.


title: Tensor and Its Tucker Core: the Invariance Relationships

abstract: In [13], Hillar and Lim famously demonstrated that "multilinear (tensor) analogues of many efficiently computable problems in numerical linear algebra are NP-hard". Despite many recent advancements, the state-of-the-art methods for computing such `tensor analogues' still suffer severely from the curse of dimensionality. In this paper we show that the Tucker core of a tensor however, retains many properties of the original tensor, including the CP rank, the border rank, the tensor Schatten quasi norms, and the Z-eigenvalues. When the core tensor is smaller than the original tensor, this property leads to considerable computational advantages as confirmed by our numerical experiments. In our analysis, we in fact work with a generalized Tucker-like decomposition that can accommodate any full column-rank factor matrices.


title: Bootstrap uniform central limit theorems for Harris recurrent Markov chains

abstract: The main objective of this paper is to establish bootstrap uniform functional central limit theorem for Harris recurrent Markov chains over uniformly bounded classes of functions. We show that the result can be generalized also to the unbounded case. To avoid some complicated mixing conditions, we make use of the well-known regeneration properties of Markov chains. We show that in the atomic case the proof of the bootstrap uniform central limit theorem for Markov chains for functions dominated by a function in $L^{2}$ space proposed by Radulovi\'{c} (2004) can be significantly simplified. Finally, we prove bootstrap uniform central limit theorems for Fr\'{e}chet differentiable functionals in a Markovian setting.


title: Dark-Bright Solitons in a Superfluid Bose-Fermi Mixture

abstract: The recent experimental realization of Bose-Fermi superfluid mixtures of dilute ultracold atomic gases has opened new perspectives in the study of quantum many-body systems. Depending on the values of the scattering lengths and the amount of bosons and fermions, a uniform Bose-Fermi mixture is predicted to exhibit a fully mixed phase, a fully separated phase or, in addition, a purely fermionic phase coexisting with a mixed phase. The occurrence of this intermediate configuration has interesting consequences when the system is nonuniform. In this work we theoretically investigate the case of solitonic solutions of coupled Bogoliubov-de Gennes and Gross-Pitaevskii equations for the fermionic and bosonic components, respectively. We show that, in the partially separated phase, a dark soliton in Fermi superfluid is accompanied by a broad bosonic component in the soliton, forming a dark-bright soliton which keeps full spatial coherence.


title: Ferroelectric phenomena in CdSnO3: a first-principles study

abstract: The phonon spectrum of cubic cadmium metastannate and the crystal structures of its distorted phases were calculated from first principles within the density functional theory. It is shown that the phonon spectrum and the energy spectrum of distorted phases in $\alpha$-CdSnO$_3$ are surprisingly similar to the corresponding spectra of CdTiO$_3$. The ground state of $\alpha$-CdSnO$_3$ is the ferroelectric $Pbn2_1$ phase; the energy gain accompanying the phase transition from the nonpolar $Pbnm$ phase to this phase is $\sim$30 meV and the spontaneous polarization in it is 0.25 C/m$^2$. An analysis of the eigenvector of the ferroelectric mode in $\alpha$-CdSnO$_3$ and calculations of the partial densities of states indicates that the ferroelectric instability in this crystal, which does not contain $d$ transition elements, is associated with the formation of a covalent bonding between Cd and O atoms.


title: The role of astronomy in the anomalous orientations of two khmer state-temples

abstract: Among the magnificent temple complexes built during the Khmer empire, two single out both for their distance from the Angkor heartland as well as for their anomalous, not cardinal, orientation: Koh Ker and Preah Khan of Kompong Svay. Their orientations are shown here to be connected with two relevant astronomical phenomena, namely the zenith passages of the sun and the rising of the Moon at the northern maximal standstill, respectively.


title: Entire solutions of the degenerateMonge-Ampere equation with a finite number of singularities

abstract: We determine the global behavior of every C^2-solution to the two-dimensional degenerate Monge-Ampere equation, u_{xx}u_{yy}-u_{xy}^2=0, over the finitely punctured plane. With this, we classify every solution in the once or twice punctured plane. Moreover, when we have more than two singularities, if the solution u is not linear in a half-strip, we obtain that the singularities are placed at the vertices of a convex polyhedron P and the graph of u is made by pieces of cones outside of P which are suitably glued along the sides of the polyhedron. Finally, if we look for analytic solutions, then there is at most one singularity and the graph of $u$ is either a cylinder (no singularity) or a cone (one singularity).


title: Light Sterile Neutrinos In Cosmology

abstract: We briefly discuss the main effects of the presence of a Light Sterile Neutrino (LS$\nu$) in Cosmology and how its properties can be constrained by Cosmic Microwave Background (CMB) and other cosmological measurements.


title: Fractional diffusion-type equations with exponential and logarithmic differential operators

abstract: We deal with some extensions of the space-fractional diffusion equation, which is satisfied by the density of a stable process (see Mainardi, Luchko, Pagnini (2001)): the first equation considered here is obtained by adding an exponential differential operator expressed in terms of the Riesz-Feller derivative. We prove that this produces a random additional term in the time-argument of the corresponding stable process, which is represented by the so-called Poisson process with drift. Analogously, if we add, to the space-fractional diffusion equation, a logarithmic differential operator involving the Riesz-derivative, we obtain, as a solution, the transition semigroup of a stable process subordinated by an independent gamma subordinator with drift. Finally, we show that a non-linear extension of the space-fractional diffusion equation is satisfied by the transition density of the process obtained by time-changing the stable process with an independent linear birth process with drift.


title: Conductance oscillations of core-shell nanowires in transversal magnetic fields

abstract: We analyze theoretically electronic transport through a core-shell nanowire in the presence of a transversal magnetic field. We calculate the conductance for a variable coupling between the nanowire and the attached leads and show how the snaking states, which are low-energy states localized along the lines of vanishing radial component of the magnetic field, manifest their existence. In the strong coupling regime they induce Aharonov-Bohm-like conductance oscillations, which, by decreasing the coupling to the leads, evolve into well resolved peaks. These results show that the formation of snaking states in the nanowire affects magnetoconductance measurements irrespective of the strength of the contacts with the leads. We analyze theoretically electronic transport through a core-shell nanowire in the presence of a transversal magnetic field. We calculate the conductance for a variable coupling between the nanowire and the attached leads and show how the snaking states, which are low-energy states localized along the lines of vanishing radial component of the magnetic field, manifest their existence. In the strong coupling regime they induce Aharonov-Bohm-like conductance oscillations, which, by decreasing the coupling to the leads, evolve into well resolved peaks. The flux periodic oscillations arise due to interference of the snaking states, which is a consequence of backscattering at either the contacts with leads or magnetic/potential barriers in the wire.


title: An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation

abstract: We provide a new algorithm to determine stuttering equivalence with time complexity $O(m \log n)$, where $n$ is the number of states and $m$ is the number of transitions of a Kripke structure. This algorithm can also be used to determine branching bisimulation in $O(m(\log |\mathit{Act}|+ \log n))$ time where $\mathit{Act}$ is the set of actions in a labelled transition system. Theoretically, our algorithm substantially improves upon existing algorithms which all have time complexity $O(m n)$ at best. Moreover, it has better or equal space complexity. Practical results confirm these findings showing that our algorithm can outperform existing algorithms with orders of magnitude, especially when the sizes of the Kripke structures are large. The importance of our algorithm stretches far beyond stuttering equivalence and branching bisimulation. The known $O(m n)$ algorithms were already far more efficient (both in space and time) than most other algorithms to determine behavioural equivalences (including weak bisimulation) and therefore it was often used as an essential preprocessing step. This new algorithm makes this use of stuttering equivalence and branching bisimulation even more attractive.


title: On the dissipation of the rotation energy of dust grains in interstellar magnetic fields

abstract: A new mechanism is described, analyzed and visualized, for the dissipation of suprathermal rotation energy of molecules in magnetic fields, a necessary condition for their alignment. It relies upon the Lorentz force perturbing the motion of every atom of the structure, as each is known to carry its own net electric charge because of spatial fluctuations in electron density. If the molecule is large enough that the frequency of its lowest-frequency phonon lies near or below the rotation frequency, then the rotation couples with the molecular normal modes and energy flows from the former to the latter. The rate of this exchange is very fast, and the vibrational energy is radiated away in the IR at a still faster rate, which completes the removal of rotation energy. The energy decay rate scales like the field intensity, the initial angular velocity, the number of atoms in the grain and the inverse of the moment of inertia. It does not depend on the susceptibility. Here, the focus is on carbon-rich molecules which are diamagnetic. The same process must occur if the molecule is paramagnetic or bathes in an electric field instead. A semi-empirical method of chemical modeling was used extensively to illustrate and quantify these concepts as applied to a hydrocarbon molecule. The motion of a rotating molecule in a field was monitored in time so as to reveal the energy transfer and visualize the evolution of its orientation towards the stable configuration.


title: Comparison of Qubit and Qutrit like Entangled Squeezed and Coherent States of Light

abstract: Squeezed state of light is one of the important subjects in quantum optics which is generated by optical nonlinear interactions. In this paper, we especially focus on qubit like entangled squeezed states (ESS's) generated by beam splitters, phase-shifter and cross Kerr nonlinearity. Moreover the Wigner function of two-mode qubit and qutrit like ESS are investigated. We will show that the distances of peaks of Wigner functions for two-mode ESS are entanglement sensitive and can be a witness for entanglement. Like the qubit cases, monogamy inequality is fulfilled for qutrit like ESS. These trends are compared with those obtained for qubit and qutrit like entangled coherent states (ECS).


title: Near-field to far-field characterization of speckle patterns generated by disordered nanomaterials

abstract: We study the intensity spatial correlation function of optical speckle patterns above a disordered dielectric medium in the multiple scattering regime. The intensity distributions are recorded by scanning near-field optical microscopy (SNOM) with sub-wavelength spatial resolution at variable distances from the surface in a range which spans continuously from the near-field (distance $ \ll \lambda $) to the far-field regime (distance $\gg \lambda $). The non-universal behavior at sub-wavelength distances reveals the connection between the near-field speckle pattern and the internal structure of the medium.


title: Representations of the canonical commutation relations--algebra and the operators of stochastic calculus

abstract: We study a family of representations of the canonical commutation relations (CCR)-algebra (an infinite number of degrees of freedom), which we call admissible. The family of admissible representations includes the Fock-vacuum representation. We show that, to every admissible representation, there is an associated Gaussian stochastic calculus, and we point out that the case of the Fock-vacuum CCR-representation in a natural way yields the operators of Malliavin calculus. And we thus get the operators of Malliavin's calculus of variation from a more algebraic approach than is common. And we obtain explicit and natural formulas, and rules, for the operators of stochastic calculus. Our approach makes use of a notion of symmetric (closable) pairs of operators. The Fock-vacuum representation yields a maximal symmetric pair. This duality viewpoint has the further advantage that issues with unbounded operators and dense domains can be resolved much easier than what is possible with alternative tools. With the use of CCR representation theory, we also obtain, as a byproduct, a number of new results in multi-variable operator theory which we feel are of independent interest.


title: Rules and derivations in an elementary logic course

abstract: When teaching an elementary logic course to students who have a general scientific background but have never been exposed to logic, we have to face the problem that the notions of deduction rule and of derivation are completely new to them, and are related to nothing they already know, unlike, for instance, the notion of model, that can be seen as a generalization of the notion of algebraic structure. In this note, we defend the idea that one strategy to introduce these notions is to start with the notion of inductive definition [1]. Then, the notion of derivation comes naturally. We also defend the idea that derivations are pervasive in logic and that defining precisely this notion at an early stage is a good investment to later define other notions in proof theory, computability theory, automata theory, ... Finally, we defend the idea that to define the notion of derivation precisely, we need to distinguish two notions of derivation: labeled with elements and labeled with rule names. This approach has been taken in [2].


title: Decidability, Introduction Rules and Automata

abstract: We present a method to prove the decidability of provability in several well-known inference systems. This method generalizes both cut-elimination and the construction of an automaton recognizing the provable propositions.


title: Sensitivity of alpha-particle-driven Alfven eigenmodes to q-profile variation in ITER scenarios

abstract: A perturbative hybrid ideal-MHD/drift-kinetic approach to assess the stability of alpha-particle-driven Alfven eigenmodes in burning plasmas is used to show that certain foreseen ITER scenarios, namely the Ip = 15 MA baseline scenario with very low and broad core magnetic shear, are sensitive to small changes in the background magnetic equilibrium. Slight variations (of the order of 1%) of the safety-factor value on axis are seen to cause large changes in the growth rate, toroidal mode number, and radial location of the most unstable eigenmodes found. The observed sensitivity is shown to proceed from the very low magnetic shear values attained throughout the plasma core, raising issues about reliable predictions of alpha-particle transport in burning plasmas.


title: 2D condensation model for the inner Solar Nebula: an enstatite-rich environment

abstract: Infrared observations provide the dust composition in the protoplanetary discs surface layers, but can not probe the dust chemistry in the midplane, where planet formation occurs. Meteorites show that dynamics was important in determining the dust distribution in the Solar Nebula and needs to be considered if we are to understand the global chemistry in discs. 1D radial condensation sequences can only simulate one disc layer at a time and cannot describe the global chemistry or the complexity of meteorites. To address these limitations, we compute for the first time the two dimensional distribution of condensates in the inner Solar Nebula using a thermodynamic equilibrium model, and derive timescales for vertical settling and radial migration of dust. We find two enstatite-rich zones within 1 AU from the young Sun: a band ~0.1 AU thick in the upper optically-thin layer of the disc interior to 0.8 AU, and in the optically-thick disc midplane out to ~0.4 AU. The two enstatite-rich zones support recent evidence that Mercury and enstatite chondrites shared a bulk material with similar composition. Our results are also consistent with infrared observation of protoplanetary disc which show emission of enstatite-rich dust in the inner surface of discs. The resulting chemistry and dynamics suggests that the formation of the bulk material of enstatite chondrites occurred in the inner surface layer of the disc, within 0.4~AU. We also propose a simple alternative scenario in which gas fractionation and vertical settling of the condensates lead to an enstatite-chondritic bulk material.


title: Incompleteness in the finite domain

abstract: Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond ${\bf NP\neq co NP}$. These conjectures formally connect computational complexity with the difficulty of proving some sentences, which means that high computational complexity of a problem associated with a sentence implies that the sentence is not provable in a weak theory, or requires a long proof. Another reason for putting forward these conjectures is that some results in proof complexity seem to be special cases of such general statements and we want to formalize and fully understand these statements. In this paper we review some conjectures that we have presented earlier, introduce new conjectures, systematize them and prove new connections between them and some other statements studied before.


title: Robust Successive Compute-and-Forward over Multi-User Multi-Relay Networks

abstract: This paper develops efficient Compute-and-forward (CMF) schemes in multi-user multi-relay networks. To solve the rank failure problem in CMF setups and to achieve full diversity of the network, we introduce two novel CMF methods, namely, extended CMF and successive CMF. The former, having low complexity, is based on recovering multiple equations at relays. The latter utilizes successive interference cancellation (SIC) to enhance the system performance compared to the state-of-the-art schemes. Both methods can be utilized in a network with different number of users, relays, and relay antennas, with negligible feedback channels or signaling overhead. We derive new concise formulations and explicit framework for the successive CMF method as well as an approach to reduce its computational complexity. Our theoretical analysis and computer simulations demonstrate the superior performance of our proposed CMF methods over the conventional schemes. Furthermore, based on our simulation results, the successive CMF method yields additional signal-to-noise ratio gains and shows considerable robustness against channel estimation error, compared to the extended CMF method.


title: A very deep Chandra view of metals, sloshing and feedback in the Centaurus cluster of galaxies

abstract: We examine deep Chandra X-ray observations of the Centaurus cluster of galaxies, Abell 3526. Applying a gradient magnitude filter reveals a wealth of structure, from filamentary soft emission on 100pc (0.5 arcsec) scales close to the nucleus to features 10s of kpc in size at larger radii. The cluster contains multiple high-metallicity regions with sharp edges. Relative to an azimuthal average, the deviations of metallicity and surface brightness are correlated, and the temperature is inversely correlated, as expected if the larger scale asymmetries in the cluster are dominated by sloshing motions. Around the western cold front are a series of ~7 kpc 'notches', suggestive of Kelvin-Helmholtz instabilities. The cold front width varies from 4 kpc down to close to the electron mean free path. Inside the front are multiple metallicity blobs on scales of 5-10 kpc, which could have been uplifted by AGN activity, also explaining the central metallicity drop and flat inner metallicity profile. Close to the nucleus are multiple shocks, including a 1.9-kpc-radius inner shell-like structure and a weak 1.1-1.4 Mach number shock around the central cavities. Within a 10 kpc radius are 9 depressions in surface brightness, several of which appear to be associated with radio emission. The shocks and cavities imply that the nucleus has been repeatedly active on 5-10 Myr timescales, indicating a tight balance between heating and cooling. We confirm the presence of a series of linear quasi-periodic structures. If they are sound waves, the ~5 kpc spacing implies a period of 6 Myr, similar to the ages of the shocks and cavities. Alternatively, these structures may be Kelvin-Helmholtz instabilities, their associated turbulence or amplified magnetic field layers.


title: A Gillespie algorithm for non-Markovian stochastic processes

abstract: The Gillespie algorithm provides statistically exact methods for simulating stochastic dynamics modelled as interacting sequences of discrete events including systems of biochemical reactions or earthquake occurrences, networks of queuing processes or spiking neurons, and epidemic and opinion formation processes on social networks. Empirically, the inter-event times of various phenomena obey long-tailed distributions. The Gillespie algorithm and its variants either assume Poisson processes (i.e., exponentially distributed inter-event times), use particular functions for time courses of the event rate, or work for non-Poissonian renewal processes, including the case of long-tailed distributions of inter-event times, but at a high computational cost. In the present study, we propose an innovative Gillespie algorithm for renewal processes on the basis of the Laplace transform. The algorithm makes use of the fact that a class of point processes is represented as a mixture of Poisson processes with different event rates. The method is applicable to multivariate renewal processes whose survival function of inter-event times is completely monotone. It is an exact algorithm and works faster than a recently proposed Gillespie algorithm for general renewal processes, which is exact only in the limit of infinitely many processes. We also propose a method to generate sequences of event times with a tunable amount of positive correlation between inter-event times. We demonstrate our algorithm with exact simulations of epidemic processes on networks, finding that a realistic amount of positive correlation in inter-event times only slightly affects the epidemic dynamics.


title: Graphene field-effect transistor array with integrated electrolytic gates scaled to 200 mm

abstract: Ten years have passed since the beginning of graphene research. In this period we have witnessed breakthroughs both in fundamental and applied research. However, the development of graphene devices for mass production has not yet reached the same level of progress. The architecture of graphene field-effect transistors (FET) has not significantly changed, and the integration of devices at the wafer scale has generally not been sought. Currently, whenever an electrolyte-gated FET (EGFET) is used, an external, cumbersome, out-of-plane gate electrode is required. Here, an alternative architecture for graphene EGFET is presented. In this architecture, source, drain, and gate are in the same plane, eliminating the need for an external gate electrode and the use of an additional reservoir to confine the electrolyte inside the transistor active zone. This planar structure with an integrated gate allows for wafer-scale fabrication of high-performance graphene EGFETs, with carrier mobility up to 1800 cm2 V-1 s-1. As a proof-of principle, a chemical sensor was achieved. It is shown that the sensor can discriminate between saline solutions of different concentrations. The proposed architecture will facilitate the mass production of graphene sensors, materializing the potential of previous achievements in fundamental and applied graphene research.


title: Complexity of Shift Bribery in Committee Elections

abstract: Given an election, a preferred candidate p, and a budget, the SHIFT BRIBERY problem asks whether p can win the election after shifting p higher in some voters' preference orders. Of course, shifting comes at a price (depending on the voter and on the extent of the shift) and one must not exceed the given budget. We study the (parameterized) computational complexity of S HIFT BRIBERY for multiwinner voting rules where winning the election means to be part of some winning committee. We focus on the well-established SNTV, Bloc, k-Borda, and Chamberlin-Courant rules, as well as on approximate variants of the Chamberlin-Courant rule, since the original rule is NP-hard to compute. We show that SHIFT BRIBERY tends to be harder in the multiwinner setting than in the single-winner one by showing settings where SHIFT BRIBERY is easy in the single-winner cases, but is hard (and hard to approximate) in the multiwinner ones. Moreover, we show that the non-monotonicity of those rules which are based on approximation algorithms for the Chamberlin-Courant rule sometimes affects the complexity of SHIFT BRIBERY.


title: A note on induced Ramsey numbers

abstract: The induced Ramsey number $r_{\mathrm{ind}}(F)$ of a $k$-uniform hypergraph $F$ is the smallest natural number $n$ for which there exists a $k$-uniform hypergraph $G$ on $n$ vertices such that every two-coloring of the edges of $G$ contains an induced monochromatic copy of $F$. We study this function, showing that $r_{\mathrm{ind}}(F)$ is bounded above by a reasonable power of $r(F)$. In particular, our result implies that $r_{\mathrm{ind}}(F) \leq 2^{2^{ct}}$ for any $3$-uniform hypergraph $F$ with $t$ vertices, mirroring the best known bound for the usual Ramsey number. The proof relies on an application of the hypergraph container method.


title: Duality in spin systems via the $SU(4)$ algebra

abstract: We provide several examples and an intuitive diagrammatic representation demonstrating the use of two-qubit unitary transformations for mapping coupled spin Hamiltonians to simpler ones and vice versa. The corresponding dualities may be exploited to identify phase transition points or to aid the diagonalization of such Hamiltonians. For example, our method shows that a suitable one-parameter family of coupled Hamiltonians whose ground states transform from an initially factorizing state to a final cluster state on a lattice of arbitrary dimension is dual to a family of trivial decoupled Hamiltonians containing local on-site terms only. As a consequence, the minimum enery gap (which determines the adiabatic run-time) does not scale with system size, which facilitates an efficient and simple adiabatic preparation of e.g. the two-dimensional cluster state used for measurement-based quantum computation.


title: Study of $D^{(*)+}_{sJ}$ mesons decaying to $D^{*+} K^0_{\rm S}$ and $D^{*0} K^+$ final states

abstract: A search is performed for $D^{(*)+}_{sJ}$ mesons in the reactions $pp \to D^{*+} K^0_{\rm S} X$ and $pp \to D^{*0} K^+ X$ using data collected at centre-of-mass energies of 7 and 8 TeV with the LHCb detector. For the $D^{*+} K^0_{\rm S}$ final state, the decays $D^{*+} \to D^0 \pi^+$ with $D^0 \to K^- \pi^+$ and $D^0 \to K^- \pi^+ \pi^+ \pi^-$ are used. For $D^{*0} K^+$, the decay $D^{*0} \to D^0 \pi^0$ with $D^0 \to K^- \pi^+$ is used. A prominent $D_{s1}(2536)^+$ signal is observed in both $D^{*+} K^0_{\rm S}$ and $D^{*0} K^+$ final states. The resonances $D^*_{s1}(2700)^+$ and $D^*_{s3}(2860)^+$ are also observed, yielding information on their properties, including spin-parity assignments. The decay $D^*_{s2}(2573)^+ \to D^{*+} K^0_{\rm S}$ is observed for the first time, at a significance of 6.9 $\sigma$, and its branching fraction relative to the $D^*_{s2}(2573)^+ \to D^+ K^0_{\rm S}$ decay mode is measured.


title: Approximation of Quadrilaterals by Rational Quadrilaterals in the Plane

abstract: Many questions about triangles and quadrilaterals with rational sides, diagonals and areas can be reduced to solving certain Diophantine equations. We look at a number of such questions including the question of approximating arbitrary triangles and quadrilaterals by those with rational sides,diagonals and areas. We transform these problems into questions on the existence of infinitely many rational solutions on a two parameter family of quartic curves. This is further transformed to a two parameter family of elliptic curves to deduce our main result concerning density of points on a line which are at a rational distance from three collinear points (Theorem 4). We deduce from this a new proof of density of rational quadrilaterals in the space of all quadrilaterals (Theorem 39). The other main result (Theorem 3) of this article is on the density of rational triangles which is related to analyzing rational points on the unit circle. Interestingly, this enables us to deduce that parallelograms with rational sides and area are dense in the class of all parallelograms. We also give a criterion for density of certain sets in topological spaces using local product structure and prove the density Theorem 6 in the appendix section. An application of this proves the density of rational points as stated in Theorem 31.


title: Family of 2-simplex cognitive tools and their application for decision-making and its justifications

abstract: Urgency of application and development of cognitive graphic tools for usage in intelligent systems of data analysis, decision making and its justifications is given. Cognitive graphic tool "2-simplex prism" and examples of its usage are presented. Specificity of program realization of cognitive graphics tools invariant to problem areas is described. Most significant results are given and discussed. Future investigations are connected with usage of new approach to rendering, cross-platform realization, cognitive features improving and expanding of n-simplex family.


title: Security and Privacy of Sensitive Data in Cloud Computing: A Survey of Recent Developments

abstract: Cloud computing is revolutionizing many ecosystems by providing organizations with computing resources featuring easy deployment, connectivity, configuration, automation and scalability. This paradigm shift raises a broad range of security and privacy issues that must be taken into consideration. Multi-tenancy, loss of control, and trust are key challenges in cloud computing environments. This paper reviews the existing technologies and a wide array of both earlier and state-of-the-art projects on cloud security and privacy. We categorize the existing research according to the cloud reference architecture orchestration, resource control, physical resource, and cloud service management layers, in addition to reviewing the existing developments in privacy-preserving sensitive data approaches in cloud computing such as privacy threat modeling and privacy enhancing protocols and solutions.


title: Summary of workshop on Future Physics with HERA Data

abstract: Recent highlights from the HERA experiments, Hermes, H1 and ZEUS, are reviewed and ideas for future analyses to fully exploit this unique data set are proposed. This document is a summary of a workshop on future physics with HERA data held at DESY, Hamburg at the end of 2014. All areas of HERA physics are covered and contributions from both experimentalists and theorists are included. The document outlines areas where HERA physics can still make a significant contribution, principally in a deeper understanding of QCD, and its relevance to other facilities. Within the framework of the Data Preservation in High Energy Physics, the HERA data have been preserved for analyses to take place over a timescale of 10 years and more. Therefore, although an extensive list of possibilities is presented here, safe storage of the data ensures that it can also be used in the far future should new ideas and analyses be proposed.


title: Advanced Cloud Privacy Threat Modeling

abstract: Privacy-preservation for sensitive data has become a challenging issue in cloud computing. Threat modeling as a part of requirements engineering in secure software development provides a structured approach for identifying attacks and proposing countermeasures against the exploitation of vulnerabilities in a system . This paper describes an extension of Cloud Privacy Threat Modeling (CPTM) methodology for privacy threat modeling in relation to processing sensitive data in cloud computing environments. It describes the modeling methodology that involved applying Method Engineering to specify characteristics of a cloud privacy threat modeling methodology, different steps in the proposed methodology and corresponding products. We believe that the extended methodology facilitates the application of a privacy-preserving cloud software development approach from requirements engineering to design.


title: Cumulants of Jack symmetric functions and $b$-conjecture

abstract: Goulden and Jackson (1996) introduced, using Jack symmetric functions, some multivariate generating series $\psi(x, y, z; t, 1+\beta)$ that might be interpreted as a continuous deformation of the generating series of rooted hypermaps. They made the following conjecture: the coefficients of $\psi(x, y, z; t, 1+\beta)$ in the power-sum basis are polynomials in $\beta$ with nonnegative integer coefficients (by construction, these coefficients are rational functions in $\beta$). We prove partially this conjecture, nowadays called $b$-conjecture, by showing that coefficients of $\psi(x, y, z; t, 1+ \beta)$ are polynomials in $\beta$ with rational coefficients. A key step of the proof is a strong factorization property of Jack polynomials when the Jack-deformation parameter $\alpha$ tends to $0$, that may be of independent interest.


title: The Expurgation-Augmentation Method for Constructing Good Plane Subspace Codes

abstract: As shown in [28], one of the five isomorphism types of optimal binary subspace codes of size 77 for packet length v=6, constant dimension k=3 and minimum subspace distance d=4 can be constructed by first expurgating and then augmenting the corresponding lifted Gabidulin code in a fairly simple way. The method was refined in [32,26] to yield an essentially computer-free construction of a currently best-known plane subspace code of size 329 for (v,k,d)=(7,3,4). In this paper we generalize the expurgation-augmentation approach to arbitrary packet length v, providing both a detailed theoretical analysis of our method and computational results for small parameters. As it turns out, our method is capable of producing codes larger than those obtained by the echelon-Ferrers construction and its variants. We are able to prove this observation rigorously for packet lengths v = 3 mod 4.


title: A spectral-based numerical method for Kolmogorov equations in Hilbert spaces

abstract: We propose a numerical solution for the solution of the Fokker-Planck-Kolmogorov (FPK) equations associated with stochastic partial differential equations in Hilbert spaces. The method is based on the spectral decomposition of the Ornstein-Uhlenbeck semigroup associated to the Kolmogorov equation. This allows us to write the solution of the Kolmogorov equation as a deterministic version of the Wiener-Chaos Expansion. By using this expansion we reformulate the Kolmogorov equation as a infinite system of ordinary differential equations, and by truncation it we set a linear finite system of differential equations. The solution of such system allow us to build an approximation to the solution of the Kolmogorov equations. We test the numerical method with the Kolmogorov equations associated with a stochastic diffusion equation, a Fisher-KPP stochastic equation and a stochastic Burgers Eq. in dimension 1.


title: Generalized Hamming weights for almost affine codes

abstract: We define generalized Hamming weights for almost affine codes. We show how various aspects and applications of generalized Hamming weights for linear codes, such as Wei duality, generalized Kung's bound, profiles, connection to wire-tap channels of type II, apply to the larger class of almost affine codes in general. In addition we discuss duality of almost affine codes,and of the smaller class of multilinear codes. We also give results about weight distributions of infinite series of almost affine codes, each series obtained from a fixed code by extending the code alphabet.


title: Nice connecting paths in connected components of sets of algebraic elements in a Banach algebra

abstract: Generalizing earlier results about the set of idempotents in a Banach algebra, or of self-adjoint idempotents in a $C^*$-algebra, we announce constructions of nice connecting paths in the connected components of the set of elements in a Banach algebra, or of self-adjoint elements in a $C^*$-algebra, that satisfy a given polynomial equation, without multiple roots. In particular, we will prove that in the Banach algebra case every such non-central element lies on a complex line, all of whose points satisfy the given equation. We also formulate open questions.


title: Anisotropic meshes and stabilized parameters for the stabilized finite element methods

abstract: We propose a numerical strategy to generate the anisotropic meshes and select the appropriate stabilized parameters simultaneously for two dimensional convection-dominated convection-diffusion equations by stabilized continuous linear finite elements. Since the discretized error in a suitable norm can be bounded by the sum of interpolation error and its variants in different norms, we replace them by some terms which contain the Hessian matrix of the true solution, convective fields, and the geometric properties such as directed edges and the area of the triangle. Based on this observation, the shape, size and equidistribution requirements are used to derive the corresponding metric tensor and the stabilized parameters. It is easily found from our derivation that the optimal stabilized parameter is coupled with the optimal metric tensor on each element. Some numerical results are also provided to validate the stability and efficiency of the proposed numerical strategy.


title: Fast Kronecker product kernel methods via generalized vec trick

abstract: Kronecker product kernel provides the standard approach in the kernel methods literature for learning from graph data, where edges are labeled and both start and end vertices have their own feature representations. The methods allow generalization to such new edges, whose start and end vertices do not appear in the training data, a setting known as zero-shot or zero-data learning. Such a setting occurs in numerous applications, including drug-target interaction prediction, collaborative filtering and information retrieval. Efficient training algorithms based on the so-called vec trick, that makes use of the special structure of the Kronecker product, are known for the case where the training data is a complete bipartite graph. In this work we generalize these results to non-complete training graphs. This allows us to derive a general framework for training Kronecker product kernel methods, as specific examples we implement Kronecker ridge regression and support vector machine algorithms. Experimental results demonstrate that the proposed approach leads to accurate models, while allowing order of magnitude improvements in training and prediction time.


title: Analogs of Jacobian conditions for subrings

abstract: We present a generalization of the Jacobian Conjecture for m polynomials in n variables: f1,...,fm belonging to k[x1,...,xn], where k is a field of characteristic zero and m=1,...,n. We express the generalized Jacobian condition in terms of irreducible and square-free elements of the subalgebra k[f1,...,fm]. We also discuss obtained properties in a more general setting - for subrings of unique factorization domains.


title: On the dispute between Boltzmann and Gibbs entropy

abstract: Very recently, the validity of the concept of negative temperature has been challenged by several authors since they consider Boltzmann's entropy (that allows negative temperatures) inconsistent from a mathematical and statistical point of view, whereas they consider Gibbs' entropy (that does not admit negative temperatures) the correct definition for microcanonical entropy. In the present paper we prove that for systems with equivalence of the statistical ensembles Boltzmann entropy is the correct microcanonical entropy. Analytical results on two systems supporting negative temperatures, confirm the scenario we propose. In addition, we corroborate our proof by numeric simulations on an explicit lattice system showing that negative temperature equilibrium states are accessible and obey standard statistical mechanics prevision.


title: Recent results on truncated Toeplitz operators

abstract: Truncated Toeplitz operators are compressions of Toeplitz operators on model spaces; they have received much attention in the last years. This survey article presents several recent results, which relate boundedness, compactness, and spectra of these operators to properties of their symbols. We also connect these facts with properties of the natural embedding measures associated to these operators.


title: Lasing at arbitrary frequencies with atoms with broken inversion symmetry and an engineered electromagnetic environment

abstract: With the purpose to devise a novel lasing scheme, we consider a two level system with both a transversal and longitudinal coupling to the electromagnetic field. If the longitudinal coupling is sufficiently strong, multi-photon transitions become possible. We assume furthermore that the electromagnetic environment has a spectrum with a single sharp resonance, which serves as a lasing cavity. Additionally, the electromagnetic environment should have a very broad resonance around a frequency which differs form the sharp resonance. We use the polaron transformation and derive a rate equation to describe the dynamics of such system. We find that lasing at the frequency of the sharp mode is possible, if the energy difference of the atomic transition is similar to the sum of the frequencies of both peaks in the spectral function. This allows for the creation of lasing over a large frequency range and may in perspective enable THz lasing at room temperature.


title: Collective behavior of quorum-sensing run-and-tumble particles in confinement

abstract: We study a generic model for quorum-sensing bacteria in circular confinement. Every bacterium produces signaling molecules, the local concentration of which triggers a response when a certain threshold is reached. If this response lowers the motility then an aggregation of bacteria occurs, which differs fundamentally from standard motility-induced phase separation due to the long-ranged nature of the concentration of signal molecules. We analyze this phenomenon analytically and by numerical simulations employing two different protocols leading to stationary cluster and ring morphologies, respectively.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph q-bio.CB


title: Fast decay of covariances under $\delta-$pinning in the critical and supercritical membrane model

abstract: We consider the membrane model, that is the centered Gaussian field on $\mathbb Z^d$ whose covariance matrix is given by the inverse of the discrete Bilaplacian. We impose a $\delta-$pinning condition, giving a reward of strength $\varepsilon$ for the field to be $0$ at any site of the lattice. In this paper we prove that in dimensions $d\geq 4$ covariances of the pinned field decay at least stretched-exponentially, as opposed to the field without pinning, where the decay is polynomial in $d\geq 5$ and logarithmic in $d=4.$ The proof is based on estimates for certain discrete Sobolev norms, and on a Bernoulli domination result.


title: A new structural relaxation pathway of low-density amorphous ice

abstract: Low-density amorphous ice (LDA) is involved in critical cosmological processes and has gained prominence as one of the at least two distinct amorphous forms of ice. Despite these accolades, we still have an incomplete understanding of the structural diversity that is encompassed within the LDA state and the dynamic processes that take place upon heating LDA. Heating the high-pressure ice VIII phase at ambient pressure is a remarkable example of temperature-induced amorphisation yielding LDA. We investigate this process in detail using X-ray diffraction and Raman spectroscopy, and show that the LDA obtained from ice VIII is structurally different from the more 'traditional' states of LDA which are approached upon thermal annealing. This new structural relaxation pathway involves an increase of structural order on the intermediate range length scale. In contrast with other LDA materials the local structure is more ordered initially and becomes slightly more disordered upon annealing. We also show that the cascade of phase transitions upon heating ice VIII at ambient pressure includes the formation of ice IX which may be connected with the structural peculiarities of LDA from ice VIII. Overall, this study shows that LDA is a structurally more diverse material than previously appreciated.


title: Exploring two-spin internal linear combinations for the recovery of the CMB polarization

abstract: We present a methodology to recover cosmic microwave background (CMB) polarization in which the quantity $P = Q+ iU$ is linearly combined at different frequencies using complex coefficients. This is the most general linear combination of the $Q$ and $U$ Stokes parameters which preserves the physical coherence of the residual contribution on the CMB estimation. The approach is applied to the internal linear combination (ILC) and the internal template fitting (ITF) methodologies. The variance of $P$ of the resulting map is minimized to compute the coefficients of the linear combination. One of the key aspects of this procedure is that it serves to account for a global frequency-dependent shift of the polarization phase. Although in the standard case, in which no global E-B transference depending on frequency is expected in the foreground components, minimizing $\left\langle |P|^2\right\rangle$ is similar to minimizing $\left\langle Q^2\right\rangle$ and $\left\langle U^2\right\rangle$ separately (as previous methodologies proceed), multiplying $Q$ and $U$ by different coefficients induces arbitrary changes in the polarization angle and it does not preserve the coherence between the spinorial components. The approach is tested on simulations, obtaining a similar residual level with respect to the one obtained with other implementations of the ILC, and perceiving the polarization rotation of a toy model with the frequency dependence of the Faraday rotation.


title: Parabolic Obstacle Problems. Quasi-convexity and Regularity

abstract: In a wide class of the so called Obstacle Problems of parabolic type it is shown how to improve the optimal regularity of the solution and as a consequence how to obtain space-time regularity of the corresponding free boundary.


title: Elaborate lexicon extended language with a lot of conceptual information

abstract: The use of model such as LEL (Lexicon Extended Language) in natural language is very interesting in Requirements Engineering. But LEL, even if it is derived from the Universe of Discourse (UofD) does not provide further details on the concepts it describes. However, we believe that the elements inherent in the conceptual level of a system are already defined in the Universe of Discourse. Therefore, in this work we propose a more elaborate natural language model called eLEL. It is a model that describes the concepts in a domain in more detail than the conventional LEL. We also propose a modeling process of a domain using an eLEL model.


title: Widefield lensless endoscopy via speckle-correlations

abstract: Flexible fiber-optic endoscopes provide a minimally-invasive solution for imaging at depths beyond the reach of conventional microscopes. Current endoscopes require focusing and/or scanning mechanisms at the distal end, which limit miniaturization and frame-rate, and induce aberrations. Alternative lensless solutions are based on adaptive wavefront-correction, but are extremely sensitive to fiber bending. Here, we demonstrate a novel endoscopic approach, which enables single-shot imaging at a variable working distance through a conventional fiber bundle, without the use of any distal optics. Our approach computationally retrieves the object image from a single speckle pattern transmitted through the bundle, exploiting phase information preserved through inherent angular speckle correlations. Unlike conventional fiber-bundle endoscopes, the resulting image is unpixelated, the resolution is diffraction-limited, objects can be imaged at variable working distance, and the technique is completely insensitive to fiber bending. Since no optical elements are required, miniaturization is limited only by the bundle diameter.


title: Stable and mobile two-dimensional dipolar ring-dark-in-bright Bose-Einstein condensate soliton

abstract: We demonstrate robust, stable, mobile two-dimensional (2D) dipolar ring-dark-in-bright (RDB) Bose-Einstein condensate (BEC) solitons for repulsive contact interaction, subject to a harmonic trap along the $y$ direction perpendicular to the polarization direction $z$. Such a RDB soliton has a ring-shaped notch (zero in density) imprinted on a 2D bright soliton free to move in the $x-z$ plane. At medium velocity the head-on collision of two such solitons is found to be quasi elastic with practically no deformation. The possibility of creating the RDB soliton by phase imprinting is demonstrated. The findings are illustrated using numerical simulation employing realistic interaction parameters in a dipolar $^{164}$Dy BEC.


title: Sulphur abundance determinations in star-forming regions-I: Ionization Correction Factor

abstract: In the present work we used a grid of photoionization models combined with stellar population synthesis models to derive reliable Ionization Correction Factors (ICFs) for the sulphur in star-forming regions. These models cover a large range of nebular parameters and yielding ionic abundances in consonance with those derived through optical and infrared observational data of star-forming regions. From our theoretical ICFs, we suggested an {\alpha} value of 3.27 in the classical Stasinska formulae. We compared the total sulphur abundance in the gas phase of a large sample of objects by using our Theoretical ICF and other approaches. In average, the differences between the determinations via the use of the different ICFs considered are similar to the uncertainties in the S/H estimations. Nevertheless, we noted that for some objects it could reach up to about 0.3 dex for the low metallicity regime. Despite of the large scatter of the points, we found a trend of S/O ratio to decrease with the metallicity, independently of the ICF used to compute the sulphur total abundance.


title: Spectral synthesis for the differentiation operator in the Schwartz space

abstract: We consider the spectral synthesis problem for the differentiation operator D=d/dt in the Schwartz space E(a;b) and the dual problem of local description for closed submodules in a special module of entire functions.


title: Exchange interactions and Curie temperatures of the tetrametal nitrides Cr4N, Mn4N, Fe4N, Co4N, and Ni4N

abstract: The exchange interactions of Cr4N, Mn4N, Fe4N, Co4N, and Ni4N compounds with perovskite structure were calculated to obtain the Curie temperatures for these compounds from Monte Carlo calculations. Contrary to naive expectation, the exchange interactions vary markedly among these five compounds. In Fe4N, the intra-sublattice interaction of the Fe 3c atoms is strongly negative, leading to a significant reduction of the Curie temperature. The calculated Curie temperatures are 291K (Cr4N), 710K (Mn4N), 668K (Fe4N), 827K (Co4N), and 121K (Ni4N), in good agreement with experimental observations where available. The much lower Curie temperature of Ni4N compared to fcc Ni is explained on the basis of the exchange interactions.


title: Partitioning a triangle-free planar graph into a forest and a forest of bounded degree

abstract: An $({\cal F},{\cal F}_d)$-partition of a graph is a vertex-partition into two sets $F$ and $F_d$ such that the graph induced by $F$ is a forest and the one induced by $F_d$ is a forest with maximum degree at most $d$. We prove that every triangle-free planar graph admits an $({\cal F},{\cal F}_5)$-partition. Moreover we show that if for some integer $d$ there exists a triangle-free planar graph that does not admit an $({\cal F},{\cal F}_d)$-partition, then it is an NP-complete problem to decide whether a triangle-free planar graph admits such a partition.


title: A lucky imaging multiplicity study of exoplanet host stars II

abstract: The vast majority of extrasolar planets are detected by indirect detection methods such as transit monitoring and radial velocity measurements. While these methods are very successful in detecting short-periodic planets, they are mostly blind to wide sub-stellar or even stellar companions on long orbits. In our study we present high resolution imaging observations of 63 exoplanet hosts carried out with the lucky imaging instrument AstraLux at the Calar Alto 2.2m telescope as well as with the new SPHERE high resolution adaptive optics imager at the ESO/VLT in the case of a known companion of specific interest. Our goal is to study the influence of stellar multiplicity on the planet formation process. We detected and confirmed 4 previously unknown stellar companions to the exoplanet hosts HD197037, HD217786, Kepler-21 and Kepler-68. In addition, we detected 11 new low-mass stellar companion candidates which must still be confirmed as bound companions. We also provide new astrometric and photometric data points for the recently discovered very close binary systems WASP-76 and HD2638. Furthermore, we show for the first time that the previously detected stellar companion to the HD185269 system is a very low mass binary. Finally we provide precise constraints on additional companions for all observed stars in our sample.


title: Riemann-Hilbert correspondence for unit $F$-crystals on embeddable algebraic varieties

abstract: For a separated scheme $X$ of finite type over a perfect field $k$ of characteristic $p>0$ which admits an immersion into a proper smooth scheme over the truncated Witt ring $W_{n}$, we define the bounded derived category of locally finitely generated unit $F$-crystals with finite Tor-dimension on $X$ over $W_{n}$, independently of the choice of the immersion. Then we prove the anti-equivalence of this category with the bounded derived category of constructible \'etale sheaves of ${\mathbb Z}/{p^{n}{\mathbb Z}}$-modules with finite Tor dimension. We also discuss the relationship of $t$-structures on these derived categories when $n=1$. Our result is a generalization of the Riemann-Hilbert correspondence for unit $F$-crystals due to Emerton-Kisin to the case of (possibly singular) embeddable algebraic varieties in characteristic $p>0$.


title: Delay-Aware Dynamic Resource Management for High-Speed Railway Wireless Communications

abstract: In this paper, we investigate the delay-aware dynamic resource management problem for multi-service transmission in high-speed railway wireless communications, with a focus on resource allocation among the services and power control along the time. By taking account of average delay requirements and power constraints, the considered problem is formulated into a stochastic optimization problem, rather than pursuing the traditional convex optimization means. Inspired by Lyapunov optimization theory, the intractable stochastic optimization problem is transformed into a tractable deterministic optimization problem, which is a mixed-integer resource management problem. By exploiting the specific problem structure, the mixed-integer resource management problem is equivalently transformed into a single variable problem, which can be effectively solved by the golden section search method with guaranteed global optimality. Finally, we propose a dynamic resource management algorithm to solve the original stochastic optimization problem. Simulation results show the advantage of the proposed dynamic algorithm and reveal that there exists a fundamental tradeoff between delay requirements and power consumption.


title: Congestion Aware Spray And Wait Protocol: A Congestion Control Mechanism For The Vehicular Delay Tolerant Network

abstract: In the last few years, the Vehicular Ad-hoc Network (VANET) has come to be an important area of research. Significant research has been conducted to improve the performance of VANETS. One output of further research conducted on VANET is the Vehicular Delay Tolerant Network (VDTN). It is an application of the mobile DTN where nodes relay messages in the network using a store-carry-forward approach. Due to its high mobility, it suffers frequent disconnections and also congestions at nodes which leads to message drops. To minimize the rate of message drops and so optimize the probability of message delivery so that drivers are increasingly aware of the situation of the road, we propose a congestion control mechanism: Congestion Aware Spray and Wait (CASaW) protocol in this work so as to optimize the rate of message delivery to its destination and so increase the awareness of drivers in the vehicular environment thereby improve road safety. The results have shown that our proposition performed better than other classical VDTN protocols in terms of message delivery probability and rate of packet drops performance measures. We used the Opportunistic Networking Environment (ONE) simulator to implement the classical VDTN protocols: the PROPHET protocol, the Epidemic protocol, the MaxProp protocol and the Spray and Wait Protocol. The simulation scenarios shows a better performance for the congestion control mechanism we propose as it maintains a good message delivery rate as well as minimize the rate of packet losses thereby optimizing the chances of messages getting to their destinations and so improve road safety.


title: Poisson enveloping algebras and the Poincar\'e-Birkhoff-Witt theorem

abstract: Poisson algebras are, just like Lie algebras, particular cases of Lie-Rinehart algebras. The latter were introduced by Rinehart in his seminal 1963 paper, where he also introduces the notion of an enveloping algebra and proves --- under some mild conditions --- that the enveloping algebra of a Lie-Rinehart algebra satisfies a Poincar\'e-Birkhoff-Witt theorem (PBW theorem). In the case of a Poisson algebra $({\mathcal A},\cdot,\{\cdot,\cdot\})$ over a commutative ring $R$ (with unit), Rinehart's result boils down to the statement that if $\mathcal A$ is \emph{smooth} (as an algebra), then gr$(U({\mathcal A}))$ and $\mathrm{Sym}_{\mathcal A}(\Omega({\mathcal A}))$ are isomorphic as graded algebras; in this formula, $U({\mathcal A})$ stands for the Poisson enveloping algebra of ${\mathcal A}$ and $\Omega({\mathcal A})$ is the ${\mathcal A}$-module of K\"ahler differentials of ${\mathcal A}$ (viewing ${\mathcal A}$ as an $R$-algebra). In this paper, we give several new constructions of the Poisson enveloping algebra in some general and in some particular contexts. Moreover, we show that for an important class of \emph{singular} Poisson algebras, the PBW theorem still holds. In geometrical terms, these Poisson algebras correspond to (singular) Poisson hypersurfaces of arbitrary smooth affine Poisson varieties.


title: Launching jets from accretion belts

abstract: We propose that sub-Keplerian accretion belts around stars might launch jets. The sub-Keplerian inflow does not form a rotationally supported accretion disk, but it rather reaches the accreting object from a wide solid angle. The basic ingredients of the flow are a turbulent region where the accretion belt interacts with the accreting object via a shear layer, and two avoidance regions on the poles where the accretion rate is very low. A dynamo that is developed in the shear layer amplifies magnetic fields to high values. It is likely that the amplified magnetic fields form polar outflows from the avoidance regions. Our speculative belt-launched jets model has implications to a rich variety of astrophysical objects, from the removal of common envelopes to the explosion of core collapse supernovae by jittering jets.


title: Leveraging Sentence-level Information with Encoder LSTM for Semantic Slot Filling

abstract: Recurrent Neural Network (RNN) and one of its specific architectures, Long Short-Term Memory (LSTM), have been widely used for sequence labeling. In this paper, we first enhance LSTM-based sequence labeling to explicitly model label dependencies. Then we propose another enhancement to incorporate the global information spanning over the whole input sequence. The latter proposed method, encoder-labeler LSTM, first encodes the whole input sequence into a fixed length vector with the encoder LSTM, and then uses this encoded vector as the initial state of another LSTM for sequence labeling. Combining these methods, we can predict the label sequence with considering label dependencies and information of whole input sequence. In the experiments of a slot filling task, which is an essential component of natural language understanding, with using the standard ATIS corpus, we achieved the state-of-the-art F1-score of 95.66%.


title: The isotope effect in H$\rm_{3}$S superconductor

abstract: The experimental value of ${\rm H_{3}S}$ isotope coefficient decreases from $2.37$ to $0.31$ in the pressure range from $130$ GPa to $200$ GPa. We have shown that the value of $0.31$ is correctly reproduced in the framework of the classical Eliashberg approach. On the other hand, the anomalously large value of the isotope coefficient ($2.37$) may be associated with the strong renormalization of the normal state by the electron density of states.


title: A New Foundation for Finitary Corecursion

abstract: This paper contributes to a theory of the behaviour of "finite-state" systems that is generic in the system type. We propose that such systems are modeled as coalgebras with a finitely generated carrier for an endofunctor on a locally finitely presentable category. Their behaviour gives rise to a new fixpoint of the coalgebraic type functor called locally finite fixpoint (LFF). We prove that if the given endofunctor preserves monomorphisms then the LFF always exists and is a subcoalgebra of the final coalgebra (unlike the rational fixpoint previously studied by Ad\'amek, Milius and Velebil). Moreover, we show that the LFF is characterized by two universal properties: 1. as the final locally finitely generated coalgebra, and 2. as the initial fg-iterative algebra. As instances of the LFF we first obtain the known instances of the rational fixpoint, e.g. regular languages, rational streams and formal power-series, regular trees etc. And we obtain a number of new examples, e.g. (realtime deterministic resp. non-deterministic) context-free languages, constructively S-algebraic formal power-series (and any other instance of the generalized powerset construction by Silva, Bonchi, Bonsangue, and Rutten) and the monad of Courcelle's algebraic trees.


title: Spectral estimates of the $p$-Laplace Neumann operator in conformal regular domains

abstract: In this paper we study spectral estimates of the $p$-Laplace Neumann operator in conformal regular domains $\Omega\subset\mathbb R^2$. This study is based on (weighted) Poincar\'e-Sobolev inequalities. The main technical tool is the composition operators theory in relation with the Brennan's conjecture. We prove that if the Brennan's conjecture holds then for any $p\in (4/3,2)$ and $r\in (1,p/(2-p))$ the weighted $(r,p)$-Poincare-Sobolev inequality holds with the constant depending on the conformal geometry of $\Omega$. As a consequence we obtain classical Poincare-Sobolev inequalities and spectral estimates for the first nontrivial eigenvalue of the $p$-Laplace Neumann operator for conformal regular domains.


title: Prospects in MPGDs development for neutron detection

abstract: The aim of this document is to summarise the discussion and the contributions from the 2nd Academia-Industry Matching Event on Detecting Neutrons with MPGDs which took place at CERN on the 16th and the 17th of March 2015. These events provide a platform for discussing the prospects of Micro-Pattern Gaseous Detectors (MPGDs) for thermal and fast neutron detection, commercial constraints and possible solutions. The aim is to foster the collaboration between the particle physics community, the neutron detector users, instrument scientists and fabricants.


title: Calibrating convective-core overshooting with eclipsing binary systems. The case of low-mass main-sequence stars

abstract: In a robust statistical way, we quantify the uncertainty that affects the calibration of the overshooting efficiency parameter $\beta$ that is owing to the uncertainty on the observational data in double-lined eclipsing binary systems. We also quantify the bias that is caused by the lack of constraints on the initial helium content and on the efficiencies of the superadiabatic convection and microscopic diffusion. We adopted a modified grid-based SCEPtER pipeline using as observational constraints the effective temperatures, [Fe/H], masses, and radii of the two stars. In a reference scenario of mild overshooting $\beta = 0.2$ for the synthetic data, we found both large statistical uncertainties and biases on the estimated $\beta$. For the first 80% of the MS evolution, $\beta$ is biased and practically unconstrained in the whole explored range [0.0; 0.4]. In the last 5% of the MS the bias vanishes and the $1 \sigma$ error is about 0.05. For synthetic data computed with $\beta = 0.0$, the estimated $\beta$ is biased by about 0.12 in the first 80% of the MS evolution, and by 0.05 afterwards. Assuming an uncertainty of $\pm 1$ in the helium-to-metal enrichment ratio $\Delta Y/\Delta Z$, we found that in the terminal part of the MS evolution the error on the estimated $\beta$ values ranges from -0.05 to +0.10, while $\beta$ is basically unconstrained throughout the explored range at earlier evolutionary stages. A uniform variation of $\pm 0.24$ in the mixing-length parameter around the solar-calibrated value causes in last 5% of the MS an uncertainty from -0.09 to +0.15. A complete neglect of diffusion in the stellar evolution computations produces a $1 \sigma$ uncertainty of $\pm 0.08$ in the last 5% of the MS, while $\beta$ is practically unconstrained in the first 80% of the MS. Overall, the calibration appears poorly reliable.


title: Perversely categorified Lagrangian correspondences

abstract: In this article, we construct a $2$-category of Lagrangians in a fixed shifted symplectic derived stack S. The objects and morphisms are all given by Lagrangians living on various fiber products. A special case of this gives a $2$-category of $n$-shifted symplectic derived stacks $Symp^n$. This is a $2$-category version of Weinstein's symplectic category in the setting of derived symplectic geometry. We introduce another $2$-category $Symp^{or}$ of $0$-shifted symplectic derived stacks where the objects and morphisms in $Symp^0$ are enhanced with orientation data. Using this, we define a partially linearized $2$-category $LSymp$. Joyce and his collaborators defined a certain perverse sheaf on any oriented $(-1)$-shifted symplectic derived stack. In $LSymp$, the $2$-morphisms in $Symp^{or}$ are replaced by the hypercohomology of the perverse sheaf assigned to the $(-1)$-shifted symplectic derived Lagrangian intersections. To define the compositions in $LSymp$ we use a conjecture by Joyce, that Lagrangians in $(-1)$-shifted symplectic stacks define canonical elements in the hypercohomology of the perverse sheaf over the Lagrangian. We refine and expand his conjecture and use it to construct $LSymp$ and a $2$-functor from $Symp^{or}$ to $LSymp$. We prove Joyce's conjecture in the most general local model. Finally, we define a $2$-category of $d$-oriented derived stacks and fillings. Taking mapping stacks into a $n$-shifted symplectic stack defines a $2$-functor from this category to $Symp^{n-d}$.


title: Almost Contact Metric Structures Induced by $G_2$ Structures

abstract: We study almost contact metric structures induced by 2-fold vector cross products on manifolds with $G_2$ structures. We get some results on possible classes of almost contact metric structures. Finally we give examples.


title: Characteristic distribution of finite-time Lyapunov exponents for chimera states

abstract: It is shown that probability densities of finite-time Lyapunov exponents, corresponding to chimera states, have a characteristic shape. Such distributions could be used as a signature of chimera states, particularly in systems for which the phases of all the oscillators cannot be measured directly. In such cases, the characteristic distribution may be obtained indirectly, via embedding techniques, thus making it possible to detect chimera states in systems where they could otherwise exist, unnoticed.


title: Analysis of Differential Synchronisation's Energy Consumption on Mobile Devices

abstract: Synchronisation algorithms are central to collaborative editing software. As collaboration is increasingly mediated by mobile devices, the energy efficiency for such algorithms is interest to a wide community of application developers. In this paper we explore the differential synchronisation (diffsync) algorithm with respect to energy consumption on mobile devices. Discussions within this paper are based on real usage data of PDF annotations via the Mendeley iOS app, which requires realtime synchronisation. We identify three areas for optimising diffsync: a.) Empty cycles in which no changes need to be processed b.) tail energy by adapting cycle intervals and c.) computational complexity. Following these considerations, we propose a push-based diffsync strategy in which synchronisation cycles are triggered when a device connects to the network or when a device is notified of changes.


title: Slow light in semiconductor quantum dots: effects of non-Markovianity and correlation of dephasing reservoirs

abstract: A theoretical investigation on slow light propagation based on eletromagnetically induced transparency in a three-level quantum-dot system is performed including non-Markovian effects and correlated dephasing reservoirs. It is demonstraonated that the non-Markovian nature of the process is quite essential even for conventional dephasing typical of quantum dots leading to significant enhancement or inhibition of the group velocity slow-down factor as well as to the shifting and distortion of the transmission window. Furthermore, the correlation between dephasing reservoirs may also either enhance or inhibit non-Markovian effects.


title: Fractional-charge vortex in a spinor Bose-Einstein condensate

abstract: We classify all possible fractional charge vortices of charge less than unity in spin-1 and spin-2 polar and cyclic Bose-Einstein condensates (BECs) with zero magnetization. Statics and dynamics of these vortices in quasi-two-dimensional spinor BECs are studied employing accurate numerical solution and a Lagrange variational approximation. The results for density and collective-mode oscillation are illustrated using fractional-charge BEC vortex of $^{23}$Na and $^{87}$Rb atoms with realistic interaction and trapping potential parameters.


title: Shape of the oxygen abundance profiles in CALIFA face-on spiral galaxies

abstract: We measured the gas abundance profiles in a sample of 122 face-on spiral galaxies observed by the CALIFA survey and included all spaxels whose line emission was consistent with star formation. This type of analysis allowed us to improve the statistics with respect to previous studies, and to properly estimate the oxygen distribution across the entire disc to a distance of up to 3-4 disc effective radii (r$_e$). We confirm the results obtained from classical HII region analysis. In addition to the general negative gradient, an outer flattening can be observed in the oxygen abundance radial profile. An inner drop is also found in some cases. There is a common abundance gradient between 0.5 and 2.0 r$_e$ of $\alpha_{O/H} = -\,0.075\,\rm{dex}/r_e$ with a scatter of $\sigma = 0.016\,\rm{dex}/r_e$ when normalising the distances to the disc effective radius. By performing a set of Kolmogorov-Smirnov tests, we determined that this slope is independent of other galaxy properties, such as morphology, absolute magnitude, and the presence or absence of bars. In particular, barred galaxies do not seem to display shallower gradients, as predicted by numerical simulations. Interestingly, we find that most of the galaxies in the sample with reliable oxygen abundance values beyond $\sim 2$ effective radii (57 galaxies) present a flattening of the abundance gradient in these outer regions. This flattening is not associated with any morphological feature, which suggests that it is a common property of disc galaxies. Finally, we detect a drop or truncation of the abundance in the inner regions of 27 galaxies in the sample; this is only visible for the most massive galaxies.


title: A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain

abstract: We prove existence, non-degeneracy, and exponential decay at infinity of a non-trivial solution to Emden's equation $-\Delta u = | u |^3$ on an unbounded $L$-shaped domain, subject to Dirichlet boundary conditions. Besides the direct value of this result, we also regard this solution as a building block for solutions on expanding bounded domains with corners, to be established in future work. Our proof makes heavy use of computer assistance: Starting from a numerical approximate solution, we use a fixed-point argument to prove existence of a near-by exact solution. The eigenvalue bounds established in the course of this proof also imply non-degeneracy of the solution.


title: State Space representation of non-stationary Gaussian Processes

abstract: The state space (SS) representation of Gaussian processes (GP) has recently gained a lot of interest. The main reason is that it allows to compute GPs based inferences in O(n), where $n$ is the number of observations. This implementation makes GPs suitable for Big Data. For this reason, it is important to provide a SS representation of the most important kernels used in machine learning. The aim of this paper is to show how to exploit the transient behaviour of SS models to map non-stationary kernels to SS models.


title: Spontaneous emission of Schr\"odinger cats in a waveguide at ultrastrong coupling

abstract: Josephson circuits provide a realistic physical setup where the light-matter fine structure constant can become of order one, allowing to reach a regime dominated by non-perturbative effects beyond standard quantum optics. Simple processes, such as spontaneous emission, thus acquire a many-body character, that can be tackled using a new description of the time-dependent state vector in terms of quantum-superposed coherent states. We find that spontaneous atomic decay at ultrastrong coupling leads to the emission of spectrally broad Schr\"odinger cats rather than of monochromatic single photons. These cats states remain partially entangled with the emitter at intermediate stages of the dynamics, even after emission, due to a large separation in time scales between fast energy relaxation and exponentially slow decoherence. Once decoherence of the qubit is finally established, quantum information is completely transfered to the state of the emitted cat.


title: On the Executability of Interactive Computation

abstract: The model of interactive Turing machines (ITMs) has been proposed to characterise which stream translations are interactively computable; the model of reactive Turing machines (RTMs) has been proposed to characterise which behaviours are reactively executable. In this article we provide a comparison of the two models. We show, on the one hand, that the behaviour exhibited by ITMs is reactively executable, and, on the other hand, that the stream translations naturally associated with RTMs are interactively computable. We conclude from these results that the theory of reactive executability subsumes the theory of interactive computability. Inspired by the existing model of ITMs with advice, which provides a model of evolving computation, we also consider RTMs with advice and we establish that a facility of advice considerably upgrades the behavioural expressiveness of RTMs: every countable transition system can be simulated by some RTM with advice up to a fine notion of behavioural equivalence.


title: Spontaneous emission of a two-level atom with an arbitrarily polarized electric dipole in front of a flat dielectric surface

abstract: We investigate spontaneous emission of a two-level atom with an arbitrarily polarized electric dipole in front of a flat dielectric surface. We treat the general case where the atomic dipole matrix element is a complex vector, that is, the atomic dipole can rotate with time in space. We calculate the rates of spontaneous emission into evanescent and radiation modes and study the angular densities of the rates in the space of wave vectors for the field modes. We show that, when the ellipticity of the atomic dipole is not zero, the angular density of the spontaneous emission rate of the atom may have different values for modes with opposite in-plane wave vectors. We find that this asymmetry of the angular density of the spontaneous emission rate under central inversion in the space of in-plane wave vectors is a result of spin-orbit coupling of light and occurs when the ellipticity vector of the atomic dipole polarization overlaps with the ellipticity vector of the field mode polarization. Due to the fast decay of the field in the evanescent modes, the difference between the rates of spontaneous emission into evanescent modes with opposite in-plane wave vectors decreases monotonically with increasing distance from the atom to the interface. Due to the oscillatory behavior of the interference between the emitted and reflected fields, the difference between the rates of spontaneous emission into radiation modes with opposite in-plane wave vectors oscillates with increasing distance from the atom to the interface. This difference can be positive or negative, depending on the atom-interface distance, and is zero for the zero distance.


title: The shadow of the Flying Saucer: A very low temperature for large dust grains

abstract: Dust determines the temperature structure of protoplanetary disks. However, dust temperature determinations almost invariably rely on a complex modeling of the Spectral Energy Distribution. We attempt a direct determination of the temperature of large grains emitting at mm wavelengths.} We observe the edge-on dust disk of the Flying Saucer, which appears in silhouette against the CO J=2-1 emission from a background molecular cloud in $\rho$ Oph. The combination of velocity gradients due to the Keplerian rotation of the disk and intensity variations in the CO background as a function of velocity allows us to directly measure the %absorbing dust temperature. The dust opacity can then be derived from the emitted continuum radiation. The dust disk absorbs the radiation from the CO clouds at several velocities. We derive very low dust temperatures, 5 to 7 K at radii around 100 au, which is much lower than most model predictions. The dust optical depth is $> 0.2$ at 230 GHz, and the scale height at 100 au is at least 8 au (best fit 13 au). However, the dust disk is very flat (flaring index -0.35), which is indicative of dust settling in the outer parts.


title: k-Nearest Neighbors on Road Networks: A Journey in Experimentation and In-Memory Implementation

abstract: A k nearest neighbor (kNN) query on road networks retrieves the k closest points of interest (POIs) by their network distances from a given location. Today, in the era of ubiquitous mobile computing, this is a highly pertinent query. While Euclidean distance has been used as a heuristic to search for the closest POIs by their road network distance, its efficacy has not been thoroughly investigated. The most recent methods have shown significant improvement in query performance. Earlier studies, which proposed disk-based indexes, were compared to the current state-of-the-art in main memory. However, recent studies have shown that main memory comparisons can be challenging and require careful adaptation. This paper presents an extensive experimental investigation in main memory to settle these and several other issues. We use efficient and fair memory-resident implementations of each method to reproduce past experiments and conduct additional comparisons for several overlooked evaluations. Notably we revisit a previously discarded technique (IER) showing that, through a simple improvement, it is often the best performing technique.


title: Interacting generalized Friedman's urn systems

abstract: We consider systems of interacting Generalized Friedman's Urns (GFUs) having irreducible mean replacement matrices. The interaction is modeled through the probability to sample the colors from each urn, that is defined as convex combination of the urn proportions in the system. From the weights of these combinations we individuate subsystems of urns evolving with different behaviors. We provide a complete description of the asymptotic properties of urn proportions in each subsystem by establishing limiting proportions, convergence rates and Central Limit Theorems. The main proofs are based on a detailed eigenanalysis and stochastic approximation techniques.


title: Quantum electronic transport of topological surface states in beta-Ag2Se nanowire

abstract: Single-crystalline \beta-Ag2Se nanostructures, a new class of 3D topological insulators (TIs), were synthesized using the chemical vapor transport method. The topological surface states were verified by measuring electronic transport properties including the weak antilocalization effect, Aharonov-Bohm oscillations, and Shubnikov-de Haas oscillations. First-principles band calculations revealed that the band inversion in \b{eta}-Ag2Se is caused by strong spin-orbit coupling and Ag-Se bonding hybridization. These extensive investigations provide new meaningful information about silver-chalcogenide TIs that have anisotropic Dirac cones, which could be useful for spintronics applications.


title: Self-testing through EPR-steering

abstract: The verification of quantum devices is an important aspect of quantum information, especially with the emergence of more advanced experimental implementations of computation and secure communication. Within this, the theory of device-independent robust self-testing via Bell tests has reached a level of maturity now that many quantum states and measurements can be verified without direct access to the quantum systems: interaction with the devices is solely classical. However, the requirements for this robust level of verification are daunting and require high levels of experimental accuracy. In this paper we discuss the possibility of self-testing where we have direct access to part of the quantum device. This motivates the study of self-testing via EPR-steering, an intermediate form of entanglement verification between full state tomography and a Bell test. Quantum non-locality implies EPR-steering so results in the former can apply in the latter, but we ask what advantages may be gleaned from the latter over the former given that one can do partial state tomography. We show in the case of self-testing a maximally entangled two-qubit state, or ebit, EPR-steering allows for simpler analysis and better error tolerance than in the case of full device-independence. On the other hand, this improvement is only a constant improvement and (up to constants) is the best one can hope for. Finally, we indicate that the main advantage in self-testing based on EPR-steering could be in the case of self-testing multi-partite quantum states and measurements. For example, it may be easier to establish a tensor product structure for a particular party's Hilbert space even if we do not have access to their part of the global quantum system.


title: Modelling and Measuring the Irrational behaviour of Agents in Financial Markets: Discovering the Psychological Soliton

abstract: Following a Geometrical Brownian Motion extension into an Irrational Fractional Brownian Motion model, we re-examine agent behaviour reacting to time dependent news on the log-returns thereby modifying a financial market evolution. We specifically discuss the role of financial news or economic information positive or negative feedback of such irrational (or contrarian) agents upon the price evolution. We observe a kink-like effect reminiscent of soliton behaviour, suggesting how analysts' forecasts errors induce stock prices to adjust accordingly, thereby proposing a measure of the irrational force in a market.


title: Thermalization in a 1D Rydberg gas: validity of the microcanonical ensemble hypothesis

abstract: We question the microcanonical hypothesis, often made to account for the thermalization of complex closed quantum systems, on the specific example of a chain of two-level atoms optically driven by a resonant laser beam and strongly interacting via Rydberg-Rydberg dipole-dipole interactions. Along its (necessarily unitary) evolution, this system is indeed expected to thermalize, i.e. observables, such as the number of excitations, stop oscillating and reach equilibrium-like expectation values. The latter are often calculated through assuming the system can be effectively described by a thermal-like microcanonical state. Here, we compare the distribution of excitations in the chain calculated either according to the microcanonical assumption or through direct exact numerical simulation. This allows us to show the limitations of the thermal equilibrium hypothesis and precise its applicability conditions.


title: Herbig Ae/Be candidate stars in the innermost Galactic disk: Quartet cluster

abstract: In order to investigate the Galactic-scale environmental effects on the evolution of protoplanetary disks, we explored the near-infrared (NIR) disk fraction of the Quartet cluster, which is a young cluster in the innermost Galactic disk at the Galactocentric radius Rg ~ 4 kpc. Because this cluster has a typical cluster mass of ~10^3 M_sun as opposed to very massive clusters, which have been observed in previous studies (>10^4 M_sun), we can avoid intra-cluster effects such as strong UV field from OB stars. Although the age of the Quartet is previously estimated to be 3-8 Myr old, we find that it is most likely ~3-4.5 Myr old. In moderately deep JHK images from the UKIDSS survey, we found eight HAeBe candidates in the cluster, and performed K-band medium-resolution ($R \equiv \Delta \lambda / \lambda ~ 800$) spectroscopy for three of them with the Subaru 8.2 m telescope. These are found to have both Br\gamma absorption lines as well as CO bandhead emission, suggesting that they are HAeBe stars with protoplanetary disks. We estimated the intermediate-mass disk fraction (IMDF) to be ~25 % for the cluster, suggesting slightly higher IMDF compared to those for young clusters in the solar neighborhood with similar cluster age, although such conclusion should await future spectroscopic study of all candidates of cluster members.


title: Towards a Semantic Administrative Shell for Industry 4.0 Components

abstract: In the engineering and manufacturing domain, there is currently an atmosphere of departure to a new era of digitized production. In different regions, initiatives in these directions are known under different names, such as industrie du futur in France, industrial internet in the US or Industrie 4.0 in Germany. While the vision of digitizing production and manufacturing gained much traction lately, it is still relatively unclear how this vision can actually be implemented with concrete standards and technologies. Within the German Industry 4.0 initiative, the concept of an Administrative Shell was devised to respond to these requirements. The Administrative Shell is planned to provide a digital representation of all information being available about and from an object which can be a hardware system or a software platform. In this paper, we present an approach to developing such a digital representation based on semantic knowledge representation formalisms such as RDF, RDF Schema and OWL. We present our concept of a Semantic I4.0 Component which addresses the communication and comprehension challenges in Industry 4.0 scenarios using semantic technologies. Our approach is illustrated with a concrete example showing its benefits in a real-world use case.


title: Quaternion-Valued Single-Phase Model for Three-Phase Power Systems

abstract: In this work, a quaternion-valued model is proposed in lieu of the Clarke's \alpha, \beta transformation to convert three-phase quantities to a hypercomplex single-phase signal. The concatenated signal can be used for harmonic distortion detection in three-phase power systems. In particular, the proposed model maps all the harmonic frequencies into frequencies in the quaternion domain, while the Clarke's transformation-based methods will fail to detect the zero sequence voltages. Based on the quaternion-valued model, the Fourier transform, the minimum variance distortionless response (MVDR) algorithm and the multiple signal classification (MUSIC) algorithm are presented as examples to detect harmonic distortion. Simulations are provided to demonstrate the potentials of this new modeling method.


title: On the Fermion Sign Problem in Imaginary-Time Projection Continuum Quantum Monte Carlo with Local Interaction

abstract: We use the Shadow Wave Function formalism as a convenient model to study the fermion sign problem affecting all projector Quantum Monte Carlo methods in continuum space. We demonstrate that the efficiency of imaginary time projection algorithms decays exponentially with increasing number of particles and/or imaginary-time propagation. Moreover, we derive an analytical expression that connects the localization of the system with the magnitude of the sign problem, illustrating this prediction through some numerical results. Finally, we discuss the fermion sign problem computational complexity and methods for alleviating its severity.

categories: physics.comp-ph cond-mat.other cond-mat.str-el physics.chem-ph


title: The continuum limit of $a_{N-1}^{(2)}$ spin chains

abstract: Building on our previous work for $a_2^{(2)}$ and $a_3^{(2)}$ we explore systematically the continuum limit of gapless $a_{N-1}^{(2)}$ vertex models and spin chains. We find the existence of three possible regimes. Regimes I and II for $a_{2n-1}^{(2)}$ are related with $a_{2n-1}^{(2)}$ Toda, and described by $n$ compact bosons. Regime I for $a_{2n}^{(2)}$ is related with $a_{2n}^{(2)}$ Toda and involves $n$ compact bosons, while regime II is related instead with $B^{(1)}(0,n)$ super Toda, and involves in addition a single Majorana fermion. The most interesting is regime III, where {\sl non-compact} degrees of freedom appear, generalising the emergence of the Euclidean black hole CFT in the $a_{2}^{(2)}$ case. For $a_{2n}^{(2)}$ we find a continuum limit made of $n$ compact and $n$ non-compact bosons, while for $a_{2n-1}^{(2)}$ we find $n$ compact and $n-1$ non-compact bosons. We also find deep relations between $a_{N-1}^{(2)}$ in regime III and the gauged WZW models $SO(N)/SO(N-1)$.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: The life cycle of a coherent Lagrangian Agulhas ring

abstract: We document the long-term evolution of an Agulhas ring detected from satellite altimetry using a technique from nonlinear dynamical systems that enables objective (i.e., observer-independent) eddy framing. Such objectively detected eddies have Lagrangian (material) boundaries that remain coherent (unfilamented) over the detection period. The ring preserves a quite compact material entity for a period of about 2 years even after most initial coherence is lost within 5 months after detection. We attribute this to the successive development of short-term coherent material boundaries around the ring. These boundaries provide effective short-term shielding for the ring, which prevents a large fraction of the ring's interior from being mixed with the ambient turbulent flow. We show that such coherence regain events cannot be inferred from Eulerian analysis. This process is terminated by a ring-splitting event which marks the ring demise, near the South American coast. The genesis of the ring is characterized by a ring-merging event away from the Agulhas retroflection, followed by a 4-month-long partial coherence stage, scenario that is quite different than a simple current occlusion and subsequent eddy pinch off.


title: Fully Computable Error Bounds for Eigenvalue Problem

abstract: This paper is concerned with the computable error estimates for the eigenvalue problem which is solved by the general conforming finite element methods on the general meshes. Based on the computable error estimate, we can give an asymptotically lower bound of the general eigenvalues. Furthermore, we also give a guaranteed upper bound of the error estimates for the first eigenfunction approximation and a guaranteed lower bound of the first eigenvalue based on computable error estimator. Some numerical examples are presented to validate the theoretical results deduced in this paper.