title: Unbiased simulation of stochastic differential equations

abstract: We propose an unbiased Monte-Carlo estimator for $\mathbb{E}[g(X_{t_1}, \cdots, X_{t_n})]$, where $X$ is a diffusion process defined by a multi-dimensional stochastic differential equation (SDE). The main idea is to start instead from a well-chosen simulatable SDE whose coefficients are updated at independent exponential times. Such a simulatable process can be viewed as a regime-switching SDE, or as a branching diffusion process with one single living particle at all times. In order to compensate for the change of the coefficients of the SDE, our main representation result relies on the automatic differentiation technique induced by Bismu-Elworthy-Li formula from Malliavin calculus, as exploited by Fourni\'e et al.(1999) for the simulation of the Greeks in financial applications. In particular, this algorithm can be considered as a variation of the (infinite variance) estimator obtained in Bally and Kohatsu-Higa [Section 6.1](2014) as an application of the parametrix method.


title: Luminosity goals for a 100-TeV pp collider

abstract: We consider diverse examples of science goals that provide a framework to assess luminosity goals for a future 100-TeV proton-proton collider.


title: Three-Dimensional Phase Field Simulations of Hysteresis and Butterfly Loops by Finite Volume Method

abstract: Three-dimensional (3D) simulations of ferroelectric hysteresis and butterfly loops have been carried out based on solving the time dependent Ginsburg-Landau equations by using a finite volume method. The influence of externally mechanical loadings with a tensile strain and a compressive strain on the hysteresis and butterfly loops has been studied numerically. The 3D ferroelectric domain formation and its evolution have also been presented in the paper. The simulation results successfully reveal the macroscopically nonlinear response to the applied stresses and electric field.


title: Improved Core Genes Prediction for Constructing well-supported Phylogenetic Trees in large sets of Plant Species

abstract: The way to infer well-supported phylogenetic trees that precisely reflect the evolutionary process is a challenging task that completely depends on the way the related core genes have been found. In previous computational biology studies, many similarity based algorithms, mainly dependent on calculating sequence alignment matrices, have been proposed to find them. In these kinds of approaches, a significantly high similarity score between two coding sequences extracted from a given annotation tool means that one has the same genes. In a previous work article, we presented a quality test approach (QTA) that improves the core genes quality by combining two annotation tools (namely NCBI, a partially human-curated database, and DOGMA, an efficient annotation algorithm for chloroplasts). This method takes the advantages from both sequence similarity and gene features to guarantee that the core genome contains correct and well-clustered coding sequences (\emph{i.e.}, genes). We then show in this article how useful are such well-defined core genes for biomolecular phylogenetic reconstructions, by investigating various subsets of core genes at various family or genus levels, leading to subtrees with strong bootstraps that are finally merged in a well-supported supertree.


title: The GALEX Ultraviolet Virgo Cluster Survey (GUViCS). V. Ultraviolet diffuse emission and cirrus properties in the Virgo cluster direction

abstract: CONTEXT: The Virgo direction has been observed at many wavelengths in the recent years, in particular in the ultraviolet with GALEX. The far ultraviolet (FUV) diffuse light detected by GALEX bears interesting information on the large scale distribution of Galactic dust, owing to the GALEX FUV band sensitivity and resolution. AIMS: We aim to characterise the ultraviolet large scale distribution of diffuse emission in the Virgo direction. A map of this emission may become useful for various studies by identifying regions where dust affects observations by either scattering light or absorbing radiation. METHODS: We construct mosaics of the FUV and near ultraviolet diffuse emission over a large sky region (RA 12 to 13 hours, DEC 0 to 20 degrees) surrounding the Virgo cluster, using all the GALEX available data in the area. We test for the first time the utilisation of the FUV diffuse light as a Galactic extinction E(B-V) tracer. RESULTS: The FUV diffuse light scattered on cirrus reveals details in their geometry. Despite a large dispersion, the FUV diffuse light correlates roughly with other Galactic dust tracers (coming from IRAS, Herschel, Planck), offering an opportunity to use the FUV emission to locate them in future studies with a better resolution (about 5 arcsec native resolution, 20 arcsec pixels maps presented in this paper) than several usual tracers. Estimating the Galactic dust extinction on the basis of this emission allows us to find a smaller dispersion in the NUV-i colour of background galaxies at a given E(B-V)than with other tracers. The diffuse light mosaics obtained in this work are made publicly available.


title: Classical solutions to quasilinear parabolic problems with dynamic boundary conditions

abstract: We study linear nonautonomous parabolic systems with dynamic boundary conditions. Next, we apply these results to show a theorem of local existence and uniqueness of a classical solution to a second order quasilinear system with nonlinear dynamic boundary conditions.


title: Transitions in the Stock Markets of the US, UK, and Germany

abstract: In an analysis of the US, the UK, and the German stock market we find a change in the behavior based on the stock's beta values. Before 2006 risky trades were concentrated on stocks in the IT and technology sector. Afterwards risky trading takes place for stocks from the financial sector. We show that an agent-based model can reproduce these changes. We further show that the initial impulse for the transition might stem from the increase of high frequency trading at that time.


title: Homotopy colimits of 2-functors

abstract: Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical analogues that have been classically used in algebraic topology and algebraic K-theory, such as the Homotopy Invariance Theorem (by Bousfield and Kan), the Homotopy Colimit Theorem (Thomason), Theorems A and B (Quillen), or the Homotopy Cofinality Theorem (Hirschhorn).


title: MAGIC detection of short-term variability of the high-peaked BL Lac object 1ES 0806+524

abstract: The high-frequency-peaked BL Lac (HBL) 1ES 0806+524 (z = 0.138) was discovered in VHE $\gamma$ rays in 2008. Until now, the broad-band spectrum of 1ES 0806+524 has been only poorly characterized, in particular at high energies. We analysed multiwavelength observations from $\gamma$ rays to radio performed from 2011 January to March, which were triggered by the high activity detected at optical frequencies. These observations constitute the most precise determination of the broad-band emission of 1ES 0806+524 to date. The stereoscopic MAGIC observations yielded a $\gamma$-ray signal above 250 GeV of $(3.7 \pm 0.7)$ per cent of the Crab Nebula flux with a statistical significance of 9.9 $\sigma$. The multiwavelength observations showed significant variability in essentially all energy bands, including a VHE $\gamma$-ray flare that lasted less than one night, which provided unprecedented evidence for short-term variability in 1ES 0806+524. The spectrum of this flare is well described by a power law with a photon index of $2.97 \pm 0.29$ between $\sim$150 GeV and 1 TeV and an integral flux of $(9.3 \pm 1.9)$ per cent of the Crab Nebula flux above 250 GeV. The spectrum during the non-flaring VHE activity is compatible with the only available VHE observation performed in 2008 with VERITAS when the source was in a low optical state. The broad-band spectral energy distribution can be described with a one-zone Synchrotron Self Compton model with parameters typical for HBLs, indicating that 1ES 0806+524 is not substantially different from the HBLs previously detected.


title: KAT-7 detection of radio halo emission in the Triangulum Australis galaxy cluster

abstract: We report the presence of high significance diffuse radio emission from the Triangulum Australis cluster using observations made with the KAT-7 telescope and propose that this emission is a giant radio halo. We compare the radio power from this proposed halo with X-ray and SZ measurements and demonstrate that it is consistent with the established scaling relations for cluster haloes. By combining the X-ray and SZ data we calculate the ratio of non-thermal to thermal electron pressure within Triangulum Australis to be $X=0.658\pm0.054$. We use this ratio to constrain the maximum magnetic field strength within the halo region to be $B_{\rm max, halo} = 33.08\,\mu$G and compare this with the minimum field strength from equipartition of $B_{\rm min, halo} = 0.77(1+k)^{2/7}\,\mu$G to place limits on the range of allowed magnetic field strength within this cluster. We compare these values to those for more well-studied systems and discuss these results in the context of equipartition of non-thermal energy densities within clusters of galaxies.


title: Nested Weighted Automata

abstract: Recently there has been a significant effort to handle quantitative properties in formal verification and synthesis. While weighted automata over finite and infinite words provide a natural and flexible framework to express quantitative properties, perhaps surprisingly, some basic system properties such as average response time cannot be expressed using weighted automata, nor in any other know decidable formalism. In this work, we introduce nested weighted automata as a natural extension of weighted automata which makes it possible to express important quantitative properties such as average response time. In nested weighted automata, a master automaton spins off and collects results from weighted slave automata, each of which computes a quantity along a finite portion of an infinite word. Nested weighted automata can be viewed as the quantitative analogue of monitor automata, which are used in run-time verification. We establish an almost complete decidability picture for the basic decision problems about nested weighted automata, and illustrate their applicability in several domains. In particular, nested weighted automata can be used to decide average response time properties.


title: Stationary discrete shock profiles for scalar conservation laws with a discontinuous Galerkin method

abstract: We present an analysis of stationary discrete shock profiles for a discontinuous Galerkin method approximating scalar nonlinear hyperbolic conservation laws with a convex flux. Using the Godunov method for the numerical flux, we characterize the steady state solutions for arbitrary approximation orders and show that they are oscillatory only in one mesh cell and are parametrized by the shock strength and its relative position in the cell. In the particular case of the inviscid Burgers equation, we derive analytical solutions of the numerical scheme and predict their oscillations up to fourth-order of accuracy. Moreover, a linear stability analysis shows that these profiles may become unstable at points where the Godunov flux is not differentiable. Theoretical and numerical investigations show that these results can be extended to other numerical fluxes. In particular, shock profiles are found to vanish exponentially fast from the shock position for some class of monotone numerical fluxes and the oscillatory and unstable characters of their solutions present strong similarities with that of the Godunov method.


title: Experimental exploration of the optomechanical attractor diagram and its dynamics

abstract: We demonstrate experimental exploration of the attractor diagram of an optomechanical system where the optical forces compensate for the mechanical losses. In this case stable self-induced oscillations occur but only for specific mirror amplitudes and laser detunings. We demonstrate that we can amplify the mechanical mode to an amplitude 500 times larger than the thermal amplitude at 300K. The lack of unstable or chaotic motion allows us to manipulate our system into a non-trivial steady state and explore the dynamics of self-induced oscillations in great detail.


title: The Tayler instability at low magnetic Prandtl numbers: between chiral symmetry breaking and helicity oscillations

abstract: The Tayler instability is a kink-type, current driven instability that plays an important role in plasma physics but might also be relevant in liquid metal applications with high electrical currents. In the framework of the Tayler-Spruit dynamo model of stellar magnetic field generation, the question of spontaneous helical (chiral) symmetry breaking during the saturation of the Tayler instability has received considerable interest. Focusing on fluids with low magnetic Prandtl numbers, for which the quasistatic approximation can be applied, we utilize an integro-differential equation approach in order to investigate the saturation mechanism of the Tayler instability. Both the exponential growth phase and the saturated phase are analyzed in terms of the action of the alpha and beta effects of mean-field magnetohydrodynamics. In the exponential growth phase we always find a spontaneous chiral symmetry breaking which, however, disappears in the saturated phase. For higher degrees of supercriticality, we observe helicity oscillations in the saturated regime. For Lundquist numbers in the order of one we also obtain chiral symmetry breaking of the saturated magnetic field.


title: Inducing magnetism onto the surface of a topological crystalline insulator

abstract: Inducing magnetism onto a topological crystalline insulator (TCI) has been predicted to result in several novel quantum electromagnetic effects. This is a consequence of the highly strain-sensitive band topology of such symmetry-protected systems. We thus show that placing the TCI surface of SnTe in proximity to EuS, a ferromagnetic insulator, induces magnetism at the interface between SnTe and EuS and thus breaks time-reversal-symmetry in the TCI. Magnetotransport experiments on SnTe-EuS-SnTe trilayer devices reveal a hysteretic lowering of the resistance at the TCI surface that coincides with an increase in the density of magnetic domain walls. This additional conduction could be a signature of topologically-protected surface states within domain walls. Additionally, a hysteretic anomalous Hall effect reveals that the usual in-plane magnetic moment of the EuS layer is canted towards a perpendicular direction at the interface. These results are evidence of induced magnetism at the SnTe-EuS interfaces resulting in broken time-reversal symmetry in the TCI.


title: Random projections for Bayesian regression

abstract: This article deals with random projections applied as a data reduction technique for Bayesian regression analysis. We show sufficient conditions under which the entire $d$-dimensional distribution is approximately preserved under random projections by reducing the number of data points from $n$ to $k\in O(\operatorname{poly}(d/\varepsilon))$ in the case $n\gg d$. Under mild assumptions, we prove that evaluating a Gaussian likelihood function based on the projected data instead of the original data yields a $(1+O(\varepsilon))$-approximation in terms of the $\ell_2$ Wasserstein distance. Our main result shows that the posterior distribution of Bayesian linear regression is approximated up to a small error depending on only an $\varepsilon$-fraction of its defining parameters. This holds when using arbitrary Gaussian priors or the degenerate case of uniform distributions over $\mathbb{R}^d$ for $\beta$. Our empirical evaluations involve different simulated settings of Bayesian linear regression. Our experiments underline that the proposed method is able to recover the regression model up to small error while considerably reducing the total running time.


title: Lattice Boltzmann simulations of a viscoelastic shear-thinning fluid

abstract: We present a hybrid lattice Boltzmann algorithm for the simulation of flow glass-forming fluids, characterized by slow structural relaxation, at the level of the Navier-Stokes equation. The fluid is described in terms of a nonlinear integral constitutive equation, relating the stress tensor locally to the history of flow. As an application, we present results for an integral nonlinear Maxwell model that combines the effects of (linear) viscoelasticity and (nonlinear) shear thinning. We discuss the transient dynamics of velocities, shear stresses, and normal stress differences in planar pressure-driven channel flow, after switching on (startup) and off (cessation) of the driving pressure. This transient dynamics depends nontrivially on the channel width due to an interplay between hydrodynamic momentum diffusion and slow structural relaxation.


title: NMR detection of dynamical processes in antiferroelectric nanoclusters during the order-disorder transition in NH4H2AsO4

abstract: We study the dynamics of inorganic antiferroelectric nanoclusters formed during an order-disorder transition and demonstrate the coexistence of the two phases in a region of 2-3 K around the transition temperature TN~215 K. Single crystals of NH4H2AsO4, a model hydrogen-bonded compound, show an antiferroelectric-paraelectric transition studied by means of highly sensitive magic angle spinning 15N NMR at 21.1 T. The phase co-existence is demonstrated by a double-peak structure of the chemical shift. Two-dimensional chemical exchange spectroscopy and spin-lattice relaxation time (T1) measurements show that the clusters are dynamic with sizes ~50 nm and lifetimes approaching seconds as T->TN. Their occupancy increases rapidly to fill the crystal volume below $T_N$. This study provides evidence for the commonality of the phase transitions in systems with electric properties and provides an improved spectroscopic method for such studies.


title: Sato theory on the $q$-Toda hierarchy and its extension

abstract: In this paper, we construct the Sato theory including the Hirota bilinear equations and tau function of a new $q$-deformed Toda hierarchy(QTH). Meanwhile the Block type additional symmetry and bi-Hamiltonian structure of this hierarchy are given. From Hamiltonian tau symmetry, we give another definition of tau function of this hierarchy. Afterwards, we extend the $q$-Toda hierarchy to an extended $q$-Toda hierarchy(EQTH) which satisfy a generalized Hirota quadratic equation in terms of generalized vertex operators. The Hirota quadratic equation might have further application in Gromov-Witten theory. The corresponding Sato theory including multi-fold Darboux transformations of this extended hierarchy is also constructed. At last, we construct the multicomponent extension of the $q$-Toda hierarchy and show the integrability including its bi-Hamiltonian structure, tau symmetry and conserved densities.


title: On the equivalence of phase-oscillator and integrate-and-fire models

abstract: A quantitative comparison of various classes of oscillators (integrate-and-fire, Winfree, and Kuramoto-Daido type) is performed in the weak-coupling limit for a fully connected network of identical units. An almost perfect agreement is found, with only tiny differences among the models. We also show that the regime of self-consistent partial synchronization [SCPS] is rather general and can be observed for arbitrarily small coupling strength in any model class. As a by-product of our study, we are able to show that an integrate-and-fire model with a generic pulse shape can be always transformed into a similar model with $\delta$-pulses and a suitable phase response curve.


title: A Matrix-Product-Operator Approach to the Nonequilibrium Steady State of Driven-Dissipative Quantum Arrays

abstract: We develop a numerical procedure to efficiently model the nonequilibrium steady state of one-dimensional arrays of open quantum systems, based on a matrix-product operator ansatz for the density matrix. The procedure searches for the null eigenvalue of the Liouvillian superoperator by sweeping along the system while carrying out a partial diagonalization of the single-site stationary problem. It bears full analogy to the density-matrix renormalization group approach to the ground state of isolated systems, and its numerical complexity scales as a power law with the bond dimension. The method brings considerable advantage when compared to the integration of the time-dependent problem via Trotter decomposition, as it can address arbitrarily long-ranged couplings. Additionally, it ensures numerical stability in the case of weakly dissipative systems thanks to a slow tuning of the dissipation rates along the sweeps. We have tested the method on a driven-dissipative spin chain, under various assumptions for the Hamiltonian, drive, and dissipation parameters, and compared the results to those obtained both by Trotter dynamics and Monte-Carlo wave function. Accurate and numerically stable convergence was always achieved when applying the method to systems with a gapped Liouvillian and a non-degenerate steady-state.


title: Evidence for temporal evolution in the M33 disc as traced by its star clusters

abstract: We present precision radial velocities and stellar population parameters for 77 star clusters in the Local Group galaxy M33. Our GTC and WHT observations sample both young, massive clusters and known/candidate globular clusters, spanning ages ~ 10^6 - 10^10 yr, and metallicities, [M/H] ~-1.7 to solar. The cluster system exhibits an age-metallicity relation; the youngest clusters are the most metal-rich. When compared to HI data, clusters with [M/H] ~ -1.0 and younger than ~ 4 Gyr are clearly identified as a disc population. The clusters show evidence for strong time evolution in the disc radial metallicity gradient (d[M/H]dt / dR = 0.03 dex/kpc/Gyr). The oldest clusters have stronger, more negative gradients than the youngest clusters in M33. The clusters also show a clear age-velocity dispersion relation. The line of sight velocity dispersions of the clusters increases with age similar to Milky Way open clusters and stars. The general shape of the relation is reproduced by disc heating simulations, and the similarity between the relations in M33 and the Milky Way suggests that heating by substructure, and cooling of the ISM both play a role in shaping this relation. We identify 12 "classical" GCs, six of which are newly identified GC candidates. The GCs are more metal-rich than Milky Way halo clusters, and show weak rotation. The inner (R < 4.5 kpc) GCs exhibit a steep radial metallicity gradient (d[M/H]/dR = -0.29+-0.11 dex/kpc) and an exponential-like surface density profile. We argue that these inner GCs are thick disc rather than halo objects.


title: cosmoabc: Likelihood-free inference via Population Monte Carlo Approximate Bayesian Computation

abstract: Approximate Bayesian Computation (ABC) enables parameter inference for complex physical systems in cases where the true likelihood function is unknown, unavailable, or computationally too expensive. It relies on the forward simulation of mock data and comparison between observed and synthetic catalogues. Here we present cosmoabc, a Python ABC sampler featuring a Population Monte Carlo (PMC) variation of the original ABC algorithm, which uses an adaptive importance sampling scheme. The code is very flexible and can be easily coupled to an external simulator, while allowing to incorporate arbitrary distance and prior functions. As an example of practical application, we coupled cosmoabc with the numcosmo library and demonstrate how it can be used to estimate posterior probability distributions over cosmological parameters based on measurements of galaxy clusters number counts without computing the likelihood function. cosmoabc is published under the GPLv3 license on PyPI and GitHub and documentation is available at http://goo.gl/SmB8EX


title: Quasiperiodicity and non-computability in tilings

abstract: We study tilings of the plane that combine strong properties of different nature: combinatorial and algorithmic. We prove existence of a tile set that accepts only quasiperiodic and non-recursive tilings. Our construction is based on the fixed point construction; we improve this general technique and make it enforce the property of local regularity of tilings needed for quasiperiodicity. We prove also a stronger result: any effectively closed set can be recursively transformed into a tile set so that the Turing degrees of the resulted tilings consists exactly of the upper cone based on the Turing degrees of the later.


title: Simultaneous Empirical Interpolation and Reduced Basis method for non-linear problems

abstract: In this paper, we focus on the reduced basis methodology in the context of non-linear non-affinely parametrized partial differential equations in which affine decomposition necessary for the reduced basis methodology are not obtained [4, 3]. To deal with this issue, it is now standard to apply the EIM methodology [8, 9] before deploying the Reduced Basis (RB) methodology. However the computational cost is generally huge as it requires many finite element solves, hence making it inefficient, to build the EIM approximation of the non-linear terms [9, 1]. We propose a simultaneous EIM Reduced basis algorithm, named SER, that provides a huge computational gain and requires as little as N + 1 finite element solves where N is the dimension of the RB approximation. The paper is organized as follows: we first review the EIM and RB methodologies applied to non-linear problems and identify the main issue, then we present SER and some variants and finally illustrates its performances in a benchmark proposed in [9].


title: Landesman-Lazer condition revisited: the influence of vanishing and oscillating nonlinearities

abstract: In this paper we deal with semilinear problems at resonance. We present a sufficient condition for the existence of a weak solution in terms of the asymptotic properties of nonlinearity. Our condition generalizes the classical Landesman-Lazer condition but it also covers the cases of vanishing and oscillating nonlinearities.


title: Sparse Radial Sampling LBP for Writer Identification

abstract: In this paper we present the use of Sparse Radial Sampling Local Binary Patterns, a variant of Local Binary Patterns (LBP) for text-as-texture classification. By adapting and extending the standard LBP operator to the particularities of text we get a generic text-as-texture classification scheme and apply it to writer identification. In experiments on CVL and ICDAR 2013 datasets, the proposed feature-set demonstrates State-Of-the-Art (SOA) performance. Among the SOA, the proposed method is the only one that is based on dense extraction of a single local feature descriptor. This makes it fast and applicable at the earliest stages in a DIA pipeline without the need for segmentation, binarization, or extraction of multiple features.


title: Fowler-Nordheim Plot Analysis: a Progress Report

abstract: The commonest method of characterizing a cold field electron emitter is to measure its current-voltage characteristics, and the commonest method of analysing these characteristics is by means of a Fowler-Nordheim (FN) plot. This tutorial/review-type paper outlines a more systematic method of setting out the Fowler-Nordheim-type theory of cold field electron emission, and brings together and summarises the current state of work by the authors on developing the theory and methodology of FN plot analysis. This has turned out to be far more complicated than originally expected. Emphasis is placed in this paper on: (a) the interpretation of FN-plot slopes, which is currently both easier and of more experimental interest than the analysis of FN-plot intercepts; and (b) preliminary explorations into developing methodology for interpreting current-voltage characteristics when there is series resistance in the conduction path from the high-voltage generator to the emitter's emitting regions. This work reinforces our view that FN-plot analysis is best carried out on the raw measured current-voltage data, without pre-conversion into another data format, particularly if series resistance is present in the measuring circuit. Relevant formulae are given for extracting field-enhancement-factor values from such an analysis.


title: Complexity of Propositional Logics in Team Semantics

abstract: We classify the computational complexity of the satisfiability, validity and model-checking problems for propositional independence, inclusion, and team logic. Our main result shows that the satisfiability and validity problems for propositional team logic are complete for alternating exponential-time with polynomially many alternations.


title: Broadcast Channels with Privacy Leakage Constraints

abstract: The broadcast channel (BC) with one common and two private messages with leakage constraints is studied, where leakage rate refers to the normalized mutual information between a message and a channel symbol string. Each private message is destined for a different user and the leakage rate to the other receiver must satisfy a constraint. This model captures several scenarios concerning secrecy, i.e., when both, either or neither of the private messages are secret. Inner and outer bounds on the leakage-capacity region are derived when the eavesdropper knows the codebook. The inner bound relies on a Marton-like code construction and the likelihood encoder. A Uniform Approximation Lemma is established that states that the marginal distribution induced by the encoder on each of the bins in the Marton codebook is approximately uniform. Without leakage constraints the inner bound recovers Marton's region and the outer bound reduces to the UVW-outer bound. The bounds match for semi-deterministic (SD) and physically degraded (PD) BCs, as well as for BCs with a degraded message set. The leakage-capacity regions of the SD-BC and the BC with a degraded message set recover past results for different secrecy scenarios. A Blackwell BC example illustrates the results and shows how its leakage-capacity region changes from the capacity region without secrecy to the secrecy-capacity regions for different secrecy scenarios.


title: Modeling and Simulation of Thermo-Fluid-Electrochemical Ion Flow in Biological Channels

abstract: In this article we address the study of ion charge transport in the biological channels separating the intra and extracellular regions of a cell. The focus of the investigation is devoted to including thermal driving forces in the well-known velocity-extended Poisson-Nernst-Planck (vPNP) electrodiffusion model. Two extensions of the vPNP system are proposed: the velocity-extended Thermo-Hydrodynamic model (vTHD) and the velocity-extended Electro-Thermal model (vET). Both formulations are based on the principles of conservation of mass, momentum and energy, and collapse into the vPNP model under thermodynamical equilibrium conditions. Upon introducing a suitable one-dimensional geometrical representation of the channel, we discuss appropriate boundary conditions that depend only on effectively accessible measurable quantities. Then, we describe the novel models, the solution map used to iteratively solve them, and the mixed-hybrid flux-conservative stabilized finite element scheme used to discretize the linearized equations. Finally, we successfully apply our computational algorithms to the simulation of two different realistic biological channels: 1) the Gramicidin-A channel considered in~\cite{JeromeBPJ}; and 2) the bipolar nanofluidic diode considered in~\cite{Siwy7}.


title: Descendent Tropical Mirror Symmetry for $\mathbb{P}^2$

abstract: We modify Gross's construction of mirror symmetry for $\mathbb{P}^2$ by introducing a descendent tropical Landau-Ginzburg potential. The period integrals of this potential compute a modification of Givental's J-function, explicitly encoding a larger sector of the big phase space. As a byproduct of this construction, new tropical methods for computing certain descendent Gromov-Witten invariants are defined.


title: Short range DFT combined with long-range local RPA within a range-separated hybrid DFT framework

abstract: Selecting excitations in localized orbitals to calculate long-range correlation contributions to range-separated density-functional theory can reduce the overall computational effort significantly. Beyond simple selection schemes of excited determinants, the dispersion-only approximation, which avoids counterpoise-corrected monomer calculations, is shown to be particularly interesting in this context, which we apply to the random-phase approximation. The approach has been tested on dimers of formamide, water, methane and benzene.


title: Comparative Analysis of Dayside Reconnection Models in Global Magnetosphere Simulations

abstract: We test and compare a number of existing models predicting the location of magnetic reconnection at Earth's dayside magnetopause for various solar wind conditions. We employ robust image processing techniques to determine the locations where each model predicts reconnection to occur. The predictions are then compared to the magnetic separators, the magnetic field lines separating different magnetic topologies. The predictions are tested in distinct high-resolution simulations with interplanetary magnetic field (IMF) clock angles ranging from 30 to 165 degrees in global magnetohydrodynamic simulations using the three-dimensional Block-Adaptive Tree Solarwind Roe-type Upwind Scheme (BATS-R-US) code with a uniform resistivity, although the described techniques can be generally applied to any self-consistent magnetosphere code. Additional simulations are carried out to test location model dependence on IMF strength and dipole tilt. We find that most of the models match large portions of the magnetic separators when the IMF has a southward component, with the models saying reconnection occurs where the local reconnection rate and reconnection outflow speed are maximized performing best. When the IMF has a northward component, none of the models tested faithfully map the entire magnetic separator, but the maximum magnetic shear model is the best at mapping the separator in the cusp region where reconnection has been observed. Predictions for some models with northward IMF orientations improve after accounting for plasma flow shear parallel to the reconnecting components of the magnetic fields. Implications for observations are discussed.


title: Total momentum and thermodynamic phases of quantum systems

abstract: The total momentum of $N$ interacting bosons or fermions in a cube equipped with periodic boundary conditions is a conserved quantity. Its eigenvalues follow a probability distribution, determined by the thermal equilibrium state. While in non-interacting systems the distribution is normal with variance $\sim N$, interaction couples the single-particle momenta, so that the distribution of their sum is unpredictable, except for some implications of Galilean invariance. First, we present these implications which are strong in 1D, moderately strong in 2D, and weak in 3D. Then, we speculate about the possible form of the distribution in fluids, crystals, and superfluids. The existence of phonons suggests that the total momentum can remain finite when $N\to\infty$. We argue that in fluids the finite momenta distribute continuously, but their integrated probability is smaller than 1, because the momentum can also tend to infinity with $N$. In the fluid-crystal transition we expect that the total momentum becomes finite with full probability and distributed over a lattice, and that in the fluid-superfluid transition a delta peak appears only at zero total momentum. Based on this picture, we discuss the superfluid flow in both the frictionless and the dissipative cases, and derive a temperature-dependent critical velocity. Finally, we show that Landau's criterion for excitations in moving superfluids is an in some cases correct result of an erroneous derivation.


title: Low cost and high performance light trapping structure for thin-film solar cells

abstract: Nano-scaled dielectric and metallic structures are popular light tapping structures in thin-film solar cells. However, a large parasitic absorption in those structures is unavoidable. Most schemes based on such structures also involve the textured active layers that may bring undesirable degradation of the material quality. Here we propose a novel and cheap light trapping structure based on the prism structured SiO2 for thin-film solar cells, and a flat active layer is introduced purposefully. Such a light trapping structure is imposed by the geometrical shape optimization to gain the best optical benefit. By examining our scheme, it is disclosed that the conversion efficiency of the flat a-Si:H thin-film solar cell can be promoted to exceed the currently certified highest value. As the cost of SiO2-based light trapping structure is much cheaper and easier to fabricate than other materials, this proposal would have essential impact and wide applications in thin-film solar cells.


title: Quantum reverse hypercontractivity

abstract: We develop reverse versions of hypercontractive inequalities for quantum channels. By generalizing classical techniques, we prove a reverse hypercontractive inequality for tensor products of qubit depolarizing channels. We apply this to obtain a rapid mixing result for depolarizing noise applied to large subspaces, and to prove bounds on a quantum generalization of non-interactive correlation distillation.


title: Uniqueness of positive bound states with multi-bump for nonlinear Schr\"odinger equations

abstract: We are concerned with the following nonlinear Schr\"odinger equation $$-\varepsilon^2\Delta u+ V(x)u=|u|^{p-2}u,~u\in H^1(\R^N),$$ where $N\geq 3$, $2<p<\frac{2N}{N-2}$. For $\varepsilon$ small enough and a class of $V(x)$, we show the uniqueness of positive multi-bump solutions concentrating at $k$ different critical points of $V(x)$ under certain assumptions on asymptotic behavior of $V(x)$ and its first derivatives near those points. The degeneracy of critical points is allowed in this paper.


title: Bond Incident Degree (BID) Indices of Polyomino Chains: A Unified Approach

abstract: This work is devoted to establish a general expression for calculating the bond incident degree (BID) indices of polyomino chains and to characterize the extremal polyomino chains with respect to several well known BID indices. From the derived results, all the results of [M. An, L. Xiong, Extremal polyomino chains with respect to general Randi\'{c} index, \textit{J. Comb. Optim.} (2014) DOI 10.1007/s10878-014-9781-6], [H. Deng, S. Balachandran, S. K. Ayyaswamy, Y. B. Venkatakrishnan, The harmonic indices of polyomino chains, \textit{Natl. Acad. Sci. Lett.} \textbf{37}(5), (2014) 451-455], [Z. Yarahmadi, A. R. Ashrafi and S. Moradi, Extremal polyomino chains with respect to Zagreb indices, \textit{Appl. Math. Lett.} \textbf{25} (2012) 166-171], and also some results of [J. Rada, The linear chain as an extremal value of VDB topological indices of polyomino chains, \textit{Appl. Math. Sci.} \textbf{8}, (2014) 5133-5143], [A. Ali, A. A. Bhatti, Z. Raza, Some vertex-degree-based topological indices of polyomino chains, \textit{J. Comput. Theor. Nanosci.} \textbf{12}(9), (2015) 2101-2107] are obtained as corollaries.


title: A dual algorithm for stochastic control problems: Applications to Uncertain Volatility Models and CVA

abstract: We derive an algorithm in the spirit of Rogers and Davis & Burstein that leads to upper bounds for stochastic control problems. Our bounds complement lower biased estimates recently obtained in the work of Guyon & Henry-Labord\`ere. We evaluate our estimates in numerical examples motivated from mathematical finance.


title: Transport inequalities for log-concave measures, quantitative forms and applications

abstract: We review some simple techniques based on monotone mass transport that allow to obtain transport-type inequalities for any log-concave probability measure, and for more general measures as well. We discuss quantitative forms of these inequalities, with application to the Brascamp-Lieb variance inequality.


title: Space Warps: I. Crowd-sourcing the Discovery of Gravitational Lenses

abstract: We describe Space Warps, a novel gravitational lens discovery service that yields samples of high purity and completeness through crowd-sourced visual inspection. Carefully produced colour composite images are displayed to volunteers via a web- based classification interface, which records their estimates of the positions of candidate lensed features. Images of simulated lenses, as well as real images which lack lenses, are inserted into the image stream at random intervals; this training set is used to give the volunteers instantaneous feedback on their performance, as well as to calibrate a model of the system that provides dynamical updates to the probability that a classified image contains a lens. Low probability systems are retired from the site periodically, concentrating the sample towards a set of lens candidates. Having divided 160 square degrees of Canada-France-Hawaii Telescope Legacy Survey (CFHTLS) imaging into some 430,000 overlapping 82 by 82 arcsecond tiles and displaying them on the site, we were joined by around 37,000 volunteers who contributed 11 million image classifications over the course of 8 months. This Stage 1 search reduced the sample to 3381 images containing candidates; these were then refined in Stage 2 to yield a sample that we expect to be over 90% complete and 30% pure, based on our analysis of the volunteers performance on training images. We comment on the scalability of the SpaceWarps system to the wide field survey era, based on our projection that searches of 10$^5$ images could be performed by a crowd of 10$^5$ volunteers in 6 days.


title: A low-rank approach to the computation of path integrals

abstract: We present a method for solving the reaction-diffusion equation with general potential in free space. It is based on the approximation of the Feynman-Kac formula by a sequence of convolutions on sequentially diminishing grids. For computation of the convolutions we propose a fast algorithm based on the low-rank approximation of the Hankel matrices. The algorithm has complexity of $\mathcal{O}(nr M \log M + nr^2 M)$ flops and requires $\mathcal{O}(M r)$ floating-point numbers in memory, where $n$ is the dimension of the integral, $r \ll n$, and $M$ is the mesh size in one dimension. The presented technique can be generalized to the higher-order diffusion processes.


title: Measurement-based Formulation of Quantum Heat Engine

abstract: There exist two formulations for quantum heat engine that models an energy transfer between two microscopic systems. One is semi-classical scenario, and the other is full quantum scenario. The former is formulated as a unitary evolution for the internal system, and is adopted by the community of statistical mechanics. In the latter, the whole process is formulated as unitary, and is adopted by the community of quantum information. This paper proposes a model for quantum heat engine that transfers energy from a collection of microscopic systems to a macroscopic system like a fuel cell. In such a situation, the amount of extracted work is visible for a human. For this purpose, we formulate quantum heat engine as the measurement process whose measurement outcome is the amount of extracted work. Under this model, we derive a suitable energy conservation law and propose a more concrete submodel. Then, we derive a novel trade-off relation between the measurability of the amount of work extraction and the coherence of the internal system, which examines the application of the semi-classical scenario to a heat engine transferring an energy from a collection of microscopic systems to a macroscopic system.


title: Robust Principal Component Analysis on Graphs

abstract: Principal Component Analysis (PCA) is the most widely used tool for linear dimensionality reduction and clustering. Still it is highly sensitive to outliers and does not scale well with respect to the number of data samples. Robust PCA solves the first issue with a sparse penalty term. The second issue can be handled with the matrix factorization model, which is however non-convex. Besides, PCA based clustering can also be enhanced by using a graph of data similarity. In this article, we introduce a new model called "Robust PCA on Graphs" which incorporates spectral graph regularization into the Robust PCA framework. Our proposed model benefits from 1) the robustness of principal components to occlusions and missing values, 2) enhanced low-rank recovery, 3) improved clustering property due to the graph smoothness assumption on the low-rank matrix, and 4) convexity of the resulting optimization problem. Extensive experiments on 8 benchmark, 3 video and 2 artificial datasets with corruptions clearly reveal that our model outperforms 10 other state-of-the-art models in its clustering and low-rank recovery tasks.


title: Enhancing quantum transport in a photonic network using controllable decoherence

abstract: Transport phenomena on a quantum scale appear in a variety of systems, ranging from photosynthetic complexes to engineered quantum devices. It has been predicted that the efficiency of quantum transport can be enhanced through dynamic interaction between the system and a noisy environment. We report the first experimental demonstration of such environment-assisted quantum transport, using an engineered network of laser-written waveguides, with relative energies and inter-waveguide couplings tailored to yield the desired Hamiltonian. Controllable decoherence is simulated via broadening the bandwidth of the input illumination, yielding a significant increase in transport efficiency relative to the narrowband case. We show integrated optics to be suitable for simulating specific target Hamiltonians as well as open quantum systems with controllable loss and decoherence.


title: Gas-liquid critical point of the ultrasoft restricted primitive model from analytic theory

abstract: Gas-liquid criticality in the ultrasoft restricted primitive model (URPM) of polyelectrolytes is studied using the collective variables-based theory. For the model, an effective Hamiltonian is derived and explicit expressions for all the coefficients are found in a one-loop approximation. Based on this Hamiltonian, the phase and critical behaviour is analysed. Our results provide evidence that the nature of the gas-liquid criticality in the URPM is the same as in the restricted primitive model that includes a hard core.


title: Classical field records of a quantum system: their internal consistency and accuracy

abstract: We determine the regime where the widespread classical field description for quantum Bose gases is quantitatively accurate in 1d, 2d, and 3d by a careful study of the ideal gas limit. Numerical benchmarking in 1d shows that the ideal gas results carry over unchanged into the weakly interacting gas. The optimum high energy cutoff is in general shown to depend strongly on the observable in question (e.g. energy, density fluctuations, phase coherence length, condensate fraction). This explains the wide spread of past results. A consistent classical field representation with less than 10% deviation in all typical observables can be given for systems at temperatures below 0.0064 degeneracy temperature in 1d, and 0.49 critical temperature in 3d. Surprisingly, this is not possible for the 2d ideal gas even at zero temperature because mean density, density fluctuations and energy cannot be simultaneously matched to the quantum results.


title: Neutrino Masses and Flavor Oscillations

abstract: This essay is intended to provide a brief description of the peculiar properties of neutrinos within and beyond the standard theory of weak interactions. The focus is on the flavor oscillations of massive neutrinos, from which one has achieved some striking knowledge about their mass spectrum and flavor mixing pattern. The experimental prospects towards probing the absolute neutrino mass scale, possible Majorana nature and CP-violating effects will also be addressed.


title: A sharp interpolation between the H\"older and Gaussian Young inequalities

abstract: We prove a very general sharp inequality of the H\"older--Young--type for functions defined on infinite dimensional Gaussian spaces. We begin by considering a family of commutative products for functions which interpolates between the point--wise and Wick products; this family arises naturally in the context of stochastic differential equations, through Wong--Zakai--type approximation theorems, and plays a key role in some generalizations of the Beckner--type Poincar\'e inequality. We then obtain a crucial integral representation for that family of products which is employed, together with a generalization of the classic Young inequality due to Lieb, to prove our main theorem. We stress that our main inequality contains as particular cases the H\"older inequality and Nelson's hyper-contractive estimate, thus providing a unified framework for two fundamental results of the Gaussian analysis.


title: A short proof of the existence of supercuspidal representations for all reductive $p$-adic groups

abstract: Let $G$ be a reductive $p$-adic group. We give a short proof of the fact that $G$ always admits supercuspidal complex representations. This result has already been established by A. Kret using the Deligne-Lusztig theory of representations of finite groups of Lie type. Our argument is of a different nature and is self-contained. It is based on the Harish-Chandra theory of cusp forms and it ultimately relies on the existence of elliptic maximal tori in $G$.


title: From End-User's Requirements to Web Services Retrieval: A Semantic and Intention-Driven Approach

abstract: In this paper, we present SATIS, a framework to derive Web Service specifications from end-user's requirements in order to opera-tionalise business processes in the context of a specific application domain. The aim of SATIS is to provide to neuroscientists, which are not familiar with computer science, a complete solution to easily find a set of Web Services to implement an image processing pipeline. More precisely, our framework offers the capability to capture high-level end-user's requirements in an iterative and incremental way and to turn them into queries to retrieve Web Services description. The whole framework relies on reusable and combinable elements which can be shared out by a community of users sharing some interest or problems for a given topic. In our approach, we adopt Web semantic languages and models as a unified framework to deal with end-user's requirements and Web Service descriptions in order to take advantage of their reasoning and traceability capabilities.


title: Population-imbalance instability in a Bose-Hubbard ladder in the presence of a magnetic flux

abstract: We consider a two-leg Bose-Hubbard ladder in the presence of a magnetic flux. We make use of Gross-Pitaevskii, Bogoliubov, bosonization, and renormalization group approaches to reveal a structure of ground-state phase diagrams in a weak-coupling regime relevant to cold atom experiments. It is found that except for a certain flux $\phi=\pi$, the system shows different properties as changing hoppings, which also leads to a quantum phase transition similar to the ferromagnetic XXZ model. This implies that population-imbalance instability occurs for certain parameter regimes. On the other hand, for $\phi=\pi$, it is shown that an umklapp process caused by commensurability of a magnetic flux stabilizes a superfluid with chirality and the system does not experience such a phase transition.


title: Note on Nakayama automorphisms of PBW deformations and Hopf actions

abstract: PBW deformations of Artin-Schelter regular algebras are skew Calabi-Yau. We prove that the Nakayama automorphisms of such PBW deformations can be obtained from their homogenizations. Some Calabi-Yau properties are generalized without Koszul assumption. We also show that the Nakayama automorphisms of such PBW deformations control Hopf actions on them.


title: Quantum Magnets and Matrix Lorenz Systems

abstract: The Landau--Lifshitz--Gilbert equations for the evolution of the magnetization, in presence of an external torque, can be cast in the form of the Lorenz equations and, thus, can describe chaotic fluctuations. To study quantum effects, we describe the magnetization by matrices, that take values in a Lie algebra. The finite dimensionality of the representation encodes the quantum fluctuations, while the non-linear nature of the equations can describe chaotic fluctuations. We identify a criterion, for the appearance of such non-linear terms. This depends on whether an invariant, symmetric tensor of the algebra can vanish or not. This proposal is studied in detail for the fundamental representation of $\mathfrak{u}(2)=\mathfrak{u}(1)\times\mathfrak{su}(2)$. We find a knotted structure for the attractor, a bimodal distribution for the largest Lyapunov exponent and that the dynamics takes place within the Cartan subalgebra, that does not contain only the identity matrix, thereby can describe the quantum fluctuations.

categories: quant-ph cond-mat.mes-hall math-ph math.MP


title: Ices in the Galactic Centre : solid ice and gaseous CO in the central parsec

abstract: For the past few years, we have observed the central half parsec of our Galaxy in the mid-infrared from 2.8 to 5.1 micron. Our aim is to improve our understanding of the direct environment of SgrA*, the supermassive blackhole at the centre of the Milky Way. This work is described in the present paper and by Moultaka et al. 2015 (submitted). Here, we focus on the study of the spatial distribution of the 12CO ice and gas-phase absorptions. We observed the central half parsec with ISAAC spectrograph located at the UT3/VLT ESO telescope in Chile. The slit was placed along 22 positions arranged parallel to each other to map the region. We built the first data cube in this wavelength range covering the central half parsec. The wavelength interval of the used M-band filter ranges from 4.6 to 5.1 micron. It hosts the P- and R- branches of the ro-vibrational transitions of the gaseous 12CO and 13CO, as well as the absorption band attributed to the 12CO ice at 4.675 micron. Using two calibrators, we could disentangle the local from the line-of-sight absorptions and provide a first-order estimate of the foreground extinction. We find residual ices and gase-phase CO that can be attributed to local absorptions due to material from the interstellar and/or the circumstellar medium of the central parsec. Our finding implies temperatures of the order of 10 to 60K which is in agreement with the presence of water ices in the region highlighted by Moultaka et al. (2004, 2005).


title: Annihilation of cohomology, generation of modules and finiteness of derived dimension

abstract: Let $(R,\m,k)$ be a commutative noetherian local ring of Krull dimension $d$. We prove that the cohomology annihilator $\ca(R)$ of $R$ is $\m$-primary if and only if for some $n\ge0$ the $n$-th syzygies in $\mod R$ are constructed from syzygies of $k$ by taking direct sums/summands and a fixed number of extensions. These conditions yield that $R$ is an isolated singularity such that the bounded derived category $\db(R)$ and the singularity category $\ds(R)$ have finite dimension, and the converse holds when $R$ is Gorenstein. We also show that the modules locally free on the punctured spectrum are constructed from syzygies of finite length modules by taking direct sums/summands and $d$ extensions. This result is exploited to investigate several ascent and descent problems between $R$ and its completion $\widehat R$.


title: Adaptive 2D IGA boundary element methods

abstract: We derive and discuss a posteriori error estimators for Galerkin and collocation IGA boundary element methods for weakly-singular integral equations of the first-kind in 2D. While recent own work considered the Faermann residual error estimator for Galerkin IGA boundary element methods, the present work focuses more on collocation and weighted- residual error estimators, which provide reliable upper bounds for the energy error. Our analysis allows piecewise smooth parametrizations of the boundary, local mesh-refinement, and related standard piecewise polynomials as well as NURBS. We formulate an adaptive algorithm which steers the local mesh-refinement and the multiplicity of the knots. Numerical experiments show that the proposed adaptive strategy leads to optimal convergence, and related IGA boundary element methods are superior to standard boundary element methods with piecewise polynomials.


title: Collectively Embedding Multi-Relational Data for Predicting User Preferences

abstract: Matrix factorization has found incredible success and widespread application as a collaborative filtering based approach to recommendations. Unfortunately, incorporating additional sources of evidence, especially ones that are incomplete and noisy, is quite difficult to achieve in such models, however, is often crucial for obtaining further gains in accuracy. For example, additional information about businesses from reviews, categories, and attributes should be leveraged for predicting user preferences, even though this information is often inaccurate and partially-observed. Instead of creating customized methods that are specific to each type of evidences, in this paper we present a generic approach to factorization of relational data that collectively models all the relations in the database. By learning a set of embeddings that are shared across all the relations, the model is able to incorporate observed information from all the relations, while also predicting all the relations of interest. Our evaluation on multiple Amazon and Yelp datasets demonstrates effective utilization of additional information for held-out preference prediction, but further, we present accurate models even for the cold-starting businesses and products for which we do not observe any ratings or reviews. We also illustrate the capability of the model in imputing missing information and jointly visualizing words, categories, and attribute factors.


title: Correcting for interplanetary scattering in velocity dispersion analysis of solar energetic particles

abstract: To understand the origin of Solar Energetic Particles (SEPs), we must study their injection time relative to other solar eruption manifestations. Traditionally the injection time is determined using the Velocity Dispersion Analysis (VDA) where a linear fit of the observed event onset times at 1 AU to the inverse velocities of SEPs is used to derive the injection time and path length of the first-arriving particles. VDA does not, however, take into account that the particles that produce a statistically observable onset at 1 AU have scattered in the interplanetary space. We use Monte Carlo test particle simulations of energetic protons to study the effect of particle scattering on the observable SEP event onset above pre-event background, and consequently on VDA results. We find that the VDA results are sensitive to the properties of the pre-event and event particle spectra as well as SEP injection and scattering parameters. In particular, a VDA-obtained path length that is close to the nominal Parker spiral length does not imply that the VDA injection time is correct. We study the delay to the observed onset caused by scattering of the particles and derive a simple estimate for the delay time by using the rate of intensity increase at the SEP onset as a parameter. We apply the correction to a magnetically well-connected SEP event of June 10 2000, and show it to improve both the path length and injection time estimates, while also increasing the error limits to better reflect the inherent uncertainties of VDA.


title: Controllability of ensembles of linear dynamical systems

abstract: We investigate the task of controlling ensembles of initial and terminal state vectors of parameter-dependent linear systems by applying parameter-independent open loop controls. Necessary, as well as sufficient, conditions for ensemble controllability are established, using tools from complex approximation theory. For real analytic families of linear systems it is shown that ensemble controllability holds only for systems with at most two independent parameters. We apply the results to networks of linear systems and address the question of open-loop robust synchronization.


title: The hybrid Seiberg-Witten map, its $\theta$-exact expansion and the antifield formalism

abstract: We deduce an evolution equation for an arbitrary hybrid Seiberg-Witten map for compact gauge groups by using the antifield formalism. We show how this evolution equation can be used to obtain the hybrid Seiberg-Witten map as an expansion, which is $\theta$-exact, in the number of ordinary fields. We compute explicitly this expansion up to order three in the number of ordinary gauge fields and then particularize it to case of the Higgs of the noncommutative Standard Model.


title: The integer cohomology algebra of toric arrangements

abstract: We compute the cohomology ring of the complement of a toric arrangement with integer coefficients and investigate its dependency from the arrangement's combinatorial data. To this end, we study a morphism of spectral sequences associated to certain combinatorially defined subcomplexes of the toric Salvetti category in the complexified case, and use a technical argument in order to extend the results to full generality. As a byproduct we obtain: -a "combinatorial" version of Brieskorn's lemma in terms of Salvetti complexes of complexified arrangements, -a uniqueness result for realizations of arithmetic matroids with at least one basis of multiplicity 1.


title: Small Width, Low Distortions: Quantized Random Embeddings of Low-complexity Sets

abstract: Under which conditions and with which distortions can we preserve the pairwise-distances of low-complexity vectors, e.g., for structured sets such as the set of sparse vectors or the one of low-rank matrices, when these are mapped in a finite set of vectors? This work addresses this general question through the specific use of a quantized and dithered random linear mapping which combines, in the following order, a sub-Gaussian random projection in $\mathbb R^M$ of vectors in $\mathbb R^N$, a random translation, or "dither", of the projected vectors and a uniform scalar quantizer of resolution $\delta>0$ applied componentwise. Thanks to this quantized mapping we are first able to show that, with high probability, an embedding of a bounded set $\mathcal K \subset \mathbb R^N$ in $\delta \mathbb Z^M$ can be achieved when distances in the quantized and in the original domains are measured with the $\ell_1$- and $\ell_2$-norm, respectively, and provided the number of quantized observations $M$ is large before the square of the "Gaussian mean width" of $\mathcal K$. In this case, we show that the embedding is actually "quasi-isometric" and only suffers of both multiplicative and additive distortions whose magnitudes decrease as $M^{-1/5}$ for general sets, and as $M^{-1/2}$ for structured set, when $M$ increases. Second, when one is only interested in characterizing the maximal distance separating two elements of $\mathcal K$ mapped to the same quantized vector, i.e., the "consistency width" of the mapping, we show that for a similar number of measurements and with high probability this width decays as $M^{-1/4}$ for general sets and as $1/M$ for structured ones when $M$ increases. Finally, as an important aspect of our work, we also establish how the non-Gaussianity of the mapping impacts the class of vectors that can be embedded or whose consistency width provably decays when $M$ increases.


title: Laplace-Fourier analysis and instabilities of a gainy slab

abstract: The idealization of monochromatic plane waves leads to considerable simplifications in the analysis of electromagnetic systems. However, for active systems this idealization may be dangerous due to the presence of growing waves. Here we consider a gainy slab, and use a realistic incident beam, which is both causal and has finite width. This clarifies some apparent paradoxes arising from earlier analyses of this setup. In general it turns out to be necessary to involve complex frequencies $\omega$ and/or complex transversal wavenumbers $k_x$. Simultaneously real $\omega$ and $k_x$ cannot describe amplified waves in a slab which is infinite in the transversal direction. We also show that the only possibility to have an absolute instability for a finite width beam, is if a normally incident plane wave would experience an instability.


title: Polygonal micro-whirlpools induced in ferrofluids

abstract: We report on the observation of the polygonal whirlpools in the thin layer of ferrofluid under illumination with a laser beam carrying optical vortex and in the presence of a vertical magnetic field. This kind of structures have attracted attention after discovering a hexagonal storm in Saturns atmosphere. Our polygonal whirlpools were created in a closed system (no free surfaces) in micro scale (whirlpool diameter less than 20 micrometers) by the use of holographic optical tweezers. The polygonal shape was changed by varying the magnetic field strength or value of the optical vortex topological charge.


title: Sigma-Point Filtering and Smoothing Based Parameter Estimation in Nonlinear Dynamic Systems

abstract: We consider approximate maximum likelihood parameter estimation in nonlinear state-space models. We discuss both direct optimization of the likelihood and expectation--maximization (EM). For EM, we also give closed-form expressions for the maximization step in a class of models that are linear in parameters and have additive noise. To obtain approximations to the filtering and smoothing distributions needed in the likelihood-maximization methods, we focus on using Gaussian filtering and smoothing algorithms that employ sigma-points to approximate the required integrals. We discuss different sigma-point schemes based on the third, fifth, seventh, and ninth order unscented transforms and the Gauss--Hermite quadrature rule. We compare the performance of the methods in two simulated experiments: a univariate nonlinear growth model as well as tracking of a maneuvering target. In the experiments, we also compare against approximate likelihood estimates obtained by particle filtering and extended Kalman filtering based methods. The experiments suggest that the higher-order unscented transforms may in some cases provide more accurate estimates


title: A Survey of Extended H$_2$ Emission from Massive YSOs

abstract: We present the results from a survey, designed to investigate the accretion process of massive young stellar objects (MYSOs) through near infrared narrow band imaging using the H$_2$ $\nu$=1-0 S(1) transition filter. A sample of 353 Massive Young Stellar Object (MYSO) candidates was selected from the Red MSX Source survey using photometric criteria at longer wavelengths (infrared and submillimeter) and chosen with positions throughout the Galactic Plane. Our survey was carried out at the SOAR Telescope in Chile and CFHT in Hawaii covering both hemispheres. The data reveal that extended H$_2$ emission is a good tracer of outflow activity, which is a signpost of accretion process on young massive stars. Almost half of the sample exhibit extended H$_2$ emission and 74 sources (21\%) have polar morphology, suggesting collimated outflows. The polar-like structures are more likely to appear on radio-quiet sources, indicating these structures occur during the pre-UCHII phase. We also found an important fraction of sources associated with fluorescent H$_2$ diffuse emission that could be due to a more evolved phase. The images also indicate only $\sim$23\% (80) of the sample is associated with extant (young) stellar clusters. These results support the scenario in which massive stars are formed by accretion disks, since the merging of low mass stars would not produce outflow structures.


title: Tunneling dynamics of correlated bosons in a double well potential

abstract: The quantum dynamics of a few bosons in a double well potential is studied using a Bose Hubbard model. We consider both signs for the on-site interparticle interaction and also investigated the situations where they are large and small. Interesting distinctive features are noted for the tunneling oscillations of these bosons corresponding to the above scenarios. Further, the sensitivity of the particle dynamics to the initial conditions has been studied. It is found that corresponding to an odd number of particles, such as three (or five), an initial condition of having unequal number of particles in the wells has interesting consequences, which is most discernible when the population difference between the wells is unity.


title: Properly colored and rainbow copies of graphs with few cherries

abstract: Let G be an n-vertex graph that contains linearly many cherries (i.e., paths on 3 vertices), and let c be a coloring of the edges of the complete graph K_n such that at each vertex every color appears only constantly many times. In 1979, Shearer conjectured that such a coloring c must contain a properly colored copy of G. We establish this conjecture in a strong form, showing that it holds even for graphs G with O(n^(4/3)) cherries and moreover this bound on the number of cherries is best possible up to a constant factor. We also prove that one can find a rainbow copy of such G in every edge-coloring of K_n in which all colors appear bounded number of times. Our proofs combine a framework of Lu and Szekely for using the lopsided Lovasz local lemma in the space of random bijections together with some additional ideas.


title: State of the Art of the Intra-Task Dynamic Voltage and Frequency Scaling Technique

abstract: In recent years there has been an increasing use of embedded systems because of advances in technology, the reduction of the costs of electronic equipment and mainly the popularity of mobile devices. Many of these systems implement low power consumption policies to extend their autonomy, usually because they have a reduced amount of resources and the great majority of them use electric power from batteries. One way to minimize the power consumption of these devices is through of the application of low power consumption techniques. From the various techniques presented in the literature - the intra-task Dynamic Voltage and Frequency Scaling (DVFS) has played an important role. The main aim of DVFS is to allow each task to manage the minimum resources necessary for tasks execution, this way reducing the processor power consumption and, at the same time, respecting the task deadlines when considered a real-time system context. Therefore, this paper aims to apply a systematic literature review with the goal of identifying and presenting the main methods using the intra-task DVFS technique, applied in the context of real-time systems to reduce energy consumption on the processor. Finally, this work will show the advantages and disadvantages of each cataloged methodology.


title: Radiative corrections to the Dalitz decay $\pi^0\to e^+e^-\gamma$ revisited

abstract: We have recalculated the Mikaelian and Smith radiative corrections to the Dalitz decay $\pi^0\to e^+e^-\gamma$ beyond the soft-photon approximation, i.e. over the whole range of the Dalitz plot and with no restrictions on the radiative photon. In contrast to the previous calculations, we did not neglect the terms of order higher than $\mathcal{O}(m^2)$ and also included the one-photon-irreducible contribution at one-loop level and the virtual muon loop contribution. The results can then be used also for heavier particles in the final state.


title: CO-0.30-0.07: A Peculiar Molecular Clump with an Extremely Broad Velocity Width

abstract: The high velocity dispersion compact cloud CO-0.30-0.07 is a peculiar molecular clump discovered in the central moleculr zone of the Milky Way, which is characterized by its extremely broad velocity emissions ($\sim 145\ \rm{km s^{-1}}$) despite the absence of internal energy sources. We present new interferometric maps of the cloud in multiple molecular lines in frequency ranges of 265--269 GHz and 276--280 GHz obtained using the Sumbmillimeter Array, along with the single-dish images previously obtained with the ASTE 10-m telescope. The data show that the characteristic broad velocity emissions are predominantly confined in two parallel ridges running through the cloud center. The central ridges are tightly anti-correlated with each other in both space and velocity, thereby sharply dividing the entire cloud into two distinct velocity components (+15 km s$^{-1}$ and +55 km s$^{-1}$). This morphology is consistent with a model in which the two velocity components collide with a relative velocity of 40 $\mathrm{km s^{-1}}$ at the interface defined by the central ridges, although an alternative explanation with a highly inclined expanding-ring model is yet to be fully invalidated. We have also unexpectedly detected several compact clumps ($\lesssim 0.1\ $pc in radius) likely formed by shock compression. The clumps have several features in common with typical star-forming clouds: high densities ($10^{6.5-7.5}\ \mathrm{cm^{-3}}$), rich abundances of hot-core-type molecular species, and relatively narrow velocity widths apparently decoupled from the furious turbulence dominating the cloud. The cloud CO-0.30-0.07 is possibly at an early phase of star formation activity triggered by the shock impact.


title: Heegaard Floer homology and knots determined by their complements

abstract: In this paper we investigate the question of when different surgeries on a knot can produce identical manifolds. We show that given a knot in a homology sphere, unless the knot is quite special, there is a bound on the number of slopes that can produce a fixed manifold that depends only on this fixed manifold and the homology sphere the knot is in. By finding a different bound on the number of slopes, we show that non-null-homologous knots in certain homology $\mathbb{R}P^3$'s are determined by their complements. We also prove the surgery characterisation of the unknot for null-homologous knots in $L$-spaces. This leads to showing that all knots in some lens spaces are determined by their complements. Finally, we establish that knots of genus greater than $1$ in the Brieskorn sphere $\Sigma(2,3,7)$ are also determined by their complements.


title: Yarkovsky effect in Generalized Photogravitational 3-Bodies Problem

abstract: Here is presented a generalization of photogravitational restricted 3-bodies problem to the case of influence of Yarkovsky effect, which is known as reason of additional infinitesimal acceleration of a small bodies in the space (due to anisotropic re-emission of absorbed energy from the sun, other stellar sources). Asteroid is supposed to move under the influence of gravitational forces from 2 massive bodies (which are rotating around their common centre of masses on Kepler trajectories), as well under the influence of pressure of light from both the primaries. Analyzing the ODE system of motion, we explore the existense of equilibrium points for a small body (asteroid) in the case when the 2-nd primary is non-oblate spheroid. In such a case, it is proved the existence of maximally 256 different non-planar libration points in generalized photogravitational restricted 3-bodies problem when we take into consideration even a small Yarkovsky effect.


title: Field Equations in the Complex Quaternion Spaces

abstract: The paper aims to adopt the complex quaternion and octonion to formulate the field equations for electromagnetic and gravitational fields. Applying the octonionic representation enables one single definition to combine some physics contents of two fields, which were considered to be independent of each other in the past. J. C. Maxwell applied simultaneously the vector terminology and the quaternion analysis to depict the electromagnetic theory. This method edified the paper to introduce the quaternion and octonion spaces into the field theory, in order to describe the physical feature of electromagnetic and gravitational fields, while their coordinates are able to be the complex number. The octonion space can be separated into two subspaces, the quaternion space and the S-quaternion space. In the quaternion space, it is able to infer the field potential, field strength, field source, field equations, and so forth, in the gravitational field. In the S-quaternion space, it is able to deduce the field potential, field strength, field source, and so forth, in the electromagnetic field. The results reveal that the quaternion space is appropriate to describe the gravitational features; meanwhile the S-quaternion space is proper to depict the electromagnetic features.


title: Information-Probabilistic description of the Universe

abstract: We describe the universe as a single entangled ensemble of quantum particles. The total entropy of this world ensemble, which can be expressed as a sum of information, thermodynamic and entanglement components, is assumed to be always zero. This condition suggests information quantization, which we associate with the Planck's action. Then the entropy neutrality condition for the universe leads to the zero-action principle. We show that the main concepts of classical space-time and gravity naturally emerge in this picture. A generalized least action principle, which embraces the maximal entropy principles of information theory, is introduced.


title: Quantitative exponential bounds for the renewal theorem with spread-out distributions

abstract: We establish explicit exponential convergence estimates for the renewal theorem, in terms of a uniform component of the inter arrival distribution, of its Laplace transform which is assumed finite on a positive interval, and of the Laplace transform of some related random variable. Our proof is based on a coupling construction relying on discrete-time Markovian structures that underly the renewal processes and on Lyapunov-Doeblin type arguments.


title: On Locally Dyadic Stationary Processes

abstract: We introduce the concept of local dyadic stationarity, to account for non-stationary time series, within the framework of Walsh-Fourier analysis. We define and study the time varying dyadic ARMA models (tvDARMA). It is proven that the general tvDARMA process can be approximated locally by either a tvDMA and a tvDAR process.


title: Two New Variations on the Twin Pseudoparadox

abstract: Two new scenarios are proposed which generalize the standard story leading to the pseudoparadox of the Einsteinian relativistic twins, thereby enabling some deeper understanding. First, the fable by Aesop 'The Hare and the Tortoise' is considered in the light of Einsteinian chronogeometry. It is then shown that the Hare, while arriving later than the Tortoise, may still be the winner of the race (or at least may consider itself to be). Second, the situation is considered where the twin initially left at home decides to catch up his brother during his travel. Can they meet so that they may celebrate a common anniversary and recover the same age?


title: LTL Fragments are Hard for Standard Parameterisations

abstract: We classify the complexity of the LTL satisfiability and model checking problems for several standard parameterisations. The investigated parameters are temporal depth, number of propositional variables and formula treewidth, resp., pathwidth. We show that all operator fragments of LTL under the investigated parameterisations are intractable in the sense of parameterised complexity.


title: Quantum mechanics allows setting initial conditions at a cosmological singularity: Gowdy model example

abstract: It is shown that the initial conditions in the quasi-Heisenberg quantization scheme can be set at the initial cosmological singularity per se. This possibility is provided by finiteness of some quantities, namely momentums of the dynamical variables, at a singularity, in spite of infinity of the dynamical variables themselves. The uncertainty principle allows avoiding a necessity to set values of the dynamical variables at singularity, as a wave packet can be expressed through the finite momentums. Influence of the initial condition set in the singularity in such a way to a number of gravitons under a vacuum state, arising during later evolution, is investigated. It is shown that, even choosing of some special state at the singularity minimizing late time expansion rate, some amount of gravitons still appear in the late time evolution.


title: Criteria for particle entanglement in many-body systems of bosons

abstract: Basing on the analogy between the coherent states of light and separable states of $N$ bosons, we demonstrate that the violation Cauchy-Schwarz inequality for any-order correlation function signals the entanglement among the constituent particles. Rather than restricting to the correlations between the positions of particles, we consider the broadest set of measurements allowed by quantum mechanics. Our result is general -- it applies to any quantum system of bosons, even when the number of particles is not fixed, provided that there is no coherence between different number states. We also demonstrate that the compact expression for the separable state of bosons can be used to relate some known metrological quantities to the particle entanglement in a very simple way.


title: The Best Constraints on A Super-Eddington Accretion Flow: XMM-Newton Observations of An Intermediate-mass Black Hole

abstract: RX J1140.1+0307 (hereafter RX1140) is a Narrow Line Seyfert 1 (NLS1) with one of the lowest black hole masses known in an AGN (M ${\le} 10^6$ M$_{\odot}$). We show results from two new {\it XMM-Newton} observations, showing soft 2-10~keV spectra, a strong excess at lower energies, and fast X-ray variability as is typical of this class. The soft excess can be equally well fit by either low temperature Comptonisation or highly smeared, ionised reflection models, but we use a covariance analysis of the fast X-ray variability as well as lag and coherence spectra to show that the low temperature Comptonisation model gives a better description of the break in variability properties between soft and hard X-rays. Both models also require an additional component at the softest energies, as expected from the accretion disc. However, this inner disc spectrum does not join smoothly onto the variable optical and far UV emission (which should be produced in the outer disc) unless the mass is underestimated by an order of magnitude. The variable optical and far UV emission instead suggests that $L/L_{Edd}\sim 10$ through the outer disc, in which case advection and/or wind losses are required to explain the observed broadband spectral energy distribution. However, the similarity of the X-ray properties of RX1140 to other simple NLS1 such as PG 1244+026, RE J1034+396 and RX~J0136 means it is likely that these are also super-Eddington sources. This means their spectral energy distribution cannot be used to determine black hole spin despite appearing to be disc dominated. It also means that the accretion geometry close to the black hole is unlikely to be a flat disc as assumed in the new X-ray reverberation mapping techniques.


title: Discrete solitons in self-defocusing systems with $\mathcal{PT}$-symmetric defects

abstract: We construct families of discrete solitons (DSs) in an array of self-defocusing waveguides with an embedded $\mathcal{PT}$ (parity-time)-symmetric dimer, which is represented by a pair of waveguides carrying mutually balanced gain and loss. Four types of states attached to the embedded defect are found, namely, staggered and unstaggered bright localized modes and gray or anti-gray DSs. Their existence and stability regions expand with the increase of the strength of the coupling between the dimer-forming sites. The existence of the gray and staggered bright DSs is qualitatively explained by dint of the continuum limit. All the gray and anti-gray DSs are stable (some of them are unstable if the dimer carries the nonlinear $\mathcal{PT}$ symmetry, represented by balanced nonlinear gain and loss; in that case, the instability does not lead to a blowup, but rather creates oscillatory dynamical states). The boundary between the gray and anti-gray DSs is predicted in an approximate analytical form.


title: Adhesion and material transfer between contacting Al and TiN surfaces from first principles

abstract: A series of density functional theory (DFT) simulations was performed to investigate the approach, contact, and subsequent separation of two atomically flat surfaces consisting of different materials. Aluminum (Al) and titanium nitride (TiN) slabs were chosen as a model system representing a metal-ceramic interface and the interaction between soft and hard materials. The approach and separation were simulated by moving one slab in discrete steps normal to the surfaces allowing for electronic and atomic relaxations after each step. Various configurations were analyzed by considering (001), (011), and (111) surfaces as well as several lateral arrangements of these surfaces at the interface. Several tests were conducted on the computational setup, for example, by changing the system size or using different approximations for the exchange correlation functional. The performed simulations revealed the influences of these aspects on adhesion, equilibrium distance, and material transfer. These interfacial properties depend sensitively on the chosen configuration due to distinct bond situations. Material transfer, in particular, was observed if the absolute value of the adhesion energy for a given configuration is larger than the energy cost to remove surface layers. This result was found to be independent of the employed exchange correlation functional. Furthermore, it was shown that a simple comparison of the surface energies of the slabs is not sufficient to predict the occurrence of material transfer.


title: Size dependent phase diagrams of Nickel-Carbon nanoparticles

abstract: The carbon rich phase diagrams of nickel-carbon nanoparticles, relevant to catalysis and catalytic chemical vapor deposition synthesis of carbon nanotubes, are calculated for system sizes up to about 3 nanometers (807 Ni atoms). A tight binding model for interatomic interactions drives the Grand Canonical Monte Carlo simulations used to locate solid, core/shell and liquid stability domains, as a function of size, temperature and carbon chemical potential or concentration. Melting is favored by carbon incorporation from the nanoparticle surface, resulting in a strong relative lowering of the eutectic temperature and a phase diagram topology different from the bulk one. This should be taken into account in our understanding of the nanotube growth mechanisms.


title: Surface abundances of ON stars

abstract: Massive stars burn hydrogen through the CNO cycle during most of their evolution. When mixing is efficient, or when mass transfer in binary systems happens, chemically processed material is observed at the surface of O and B stars. ON stars show stronger lines of nitrogen than morphologically normal counterparts. Whether this corresponds to the presence of material processed through the CNO cycle or not is not known. Our goal is to answer this question. We perform a spectroscopic analysis of a sample of ON stars with atmosphere models. We determine the fundamental parameters as well as the He, C, N, and O surface abundances. We also measure the projected rotational velocities. We compare the properties of the ON stars to those of normal O stars. We show that ON stars are usually helium-rich. Their CNO surface abundances are fully consistent with predictions of nucleosynthesis. ON stars are more chemically evolved and rotate - on average - faster than normal O stars. Evolutionary models including rotation cannot account for the extreme enrichment observed among ON main sequence stars. Some ON stars are members of binary systems, but others are single stars as indicated by stable radial velocities. Hence, mass transfer is not a simple explanation for the observed chemical properties. We conclude that ON stars show extreme chemical enrichment at their surface, consistent with nucleosynthesis through the CNO cycle. Its origin is not clear at present.


title: Influence of localised smooth steps on the instability of a boundary layer

abstract: We consider a smooth forward facing step defined by the Gauss error function of height 4-30\% and four times the width of the local boundary layer thickness $\delta_{99}$. The boundary layer flow over a smooth forward-facing stepped plate is studied with particular emphasis on stabilisation and destabilisation of the Tollmien-Schlichting (TS) waves and subsequently on transition. The interaction between TS waves at a range of frequencies and a base flow over a single/two forward facing smooth steps is conducted by linear analysis. The results indicate that for a high frequency TS wave, the amplitude of the TS wave is attenuated in the unstable regime of the neutral stability curve corresponding to a flat plate boundary layer. Furthermore, it is observed that two smooth forward facing steps lead to a more acute reduction of the amplitude of the TS wave. When the height of a step is increased to more than 20\% of the local boundary layer thickness for a fixed width parameter, the TS wave is amplified and thereby a destabilisation effect is introduced. Therefore, stabilisation or destabilisation effect of a smooth step is typically dependent on its shape parameters. To validate the results of the linear stability analysis, where a high-frequency TS wave is damped by the forward facing smooth steps direct numerical simulation (DNS) is performed. The results of the DNS correlate favorably with the linear analysis and show that for the investigated high frequency TS wave, the K-type transition process is altered whereas the onset of the H-type transition is postponed. The results of the DNS suggest that for a high-frequency perturbation $\mathcal{F}=150$ and in the absence of other external perturbations, two forward facing steps of height 5\% and 12\% of the boundary layer thickness delayed H-type transition scenario and completely suppresses it for the K-type transition.


title: Connectivity of Double Graphs

abstract: The double graph of a graph $G$ is defined as $\mathcal{D}[G]$ = $G \times T_2$, where \(T_2\) is the total graph with 2 vertices and $\times$ stands for the Kronecker product of graphs. In this paper, sufficient conditions for double graphs to be maximum vertex-connected, maximum edge-connected are presented.


title: Fast production of Bose-Einstein condensates of metastable Helium

abstract: We report on the Bose-Einstein condensation of metastable Helium-4 atoms using a hybrid approach, consisting of a magnetic quadrupole and a crossed optical dipole trap. In our setup we cross the phase transition with 2x10^6 atoms, and we obtain pure condensates of 5x10^5 atoms in the optical trap. This novel approach to cooling Helium-4 provides enhanced cycle stability, large optical access to the atoms and results in production of a condensate every 6 seconds - a factor 3 faster than the state-of-the-art. This speed-up will dramatically reduce the data acquisition time needed for the measurement of many particle correlations, made possible by the ability of metastable Helium to be detected individually.


title: Shintani descent for algebraic groups and almost characters of unipotent groups

abstract: In this paper, we extend the notion of Shintani descent to general (possibly disconnected) algebraic groups defined over a finite field $\mathbb{F}_q$. For this, it is essential to treat all the pure inner $\mathbb{F}_q$-rational forms of the algebraic group at the same time. We prove that the notion of almost characters (introduced by T. Shoji using Shintani descent) is well defined for any neutrally unipotent algebraic group, i.e. an algebraic group whose neutral connected component is a unipotent group. We also prove that these almost characters coincide with the "trace of Frobenius" functions associated with Frobenius-stable character sheaves on neutrally unipotent groups. In the course of the proof, we also prove that the modular categories that arise from Boyarchenko-Drinfeld's theory of character sheaves on neutrally unipotent are in fact positive integral confirming a conjecture due to Drinfeld.


title: Astrometrical Observations of Pluto - Charon System with the Automated Telescopes of Pulkovo Observatory

abstract: The space probe 'New Horizon' was launched on 19th of January 2006 in order to study Pluto and its moons. Spacecraft will fly by Pluto as close as 12500 km in the middle of July 2015 and will get the most detailed images of Pluto and its moon until this moment. At the same time, observation obtained by the ground-based telescopes may also be helpful for the research of such distant system. Thereby, the Laboratory of observational astrometry of Pulkovo Observatory of RAS made a decision to reprocess observations obtained during last decade. More than 350 positional observations of Pluto - Charon system were carried out with the mirror astrograph ZA-320M at Pulkovo and Maksutov telescope MTM-500M near Kislovodsk. These observations were processed by means of software system APEX-II developed in Pulkovo observatory and numerical simulation was performed to calculate the differences between positions of photocenter and barycenter of Pluto - Charon system.


title: Layered structures of organic/inorganic hybrid halide perovskites

abstract: Organic-inorganic hybrid halide perovskites, in which the A cations of an ABX$_3$ perovskite are replaced by organic cations, may be used for photovoltaic and solar thermoelectric applications. In this contribution, we systematically study three lead-free hybrid perovskites, i.e., methylammonium tin iodide CH$_3$NH$_3$SnI$_3$, ammonium tin iodide NH$_4$SnI$_3$, and formamidnium tin iodide HC(NH$_2$)$_2$SnI$_3$, by first-principles calculations. We find that in addition to the commonly known motif in which the corner-shared SnI$_6$ octahedra form a three-dimensional network, these materials may also favor a two-dimensional (layered) motif formed by alternating layers of the SnI$_6$ octahedra and the organic cations. These two motifs are nearly equal in free energy and are separated by low barriers. These layered structures features many flat electronic bands near the band edges, making their electronic structures significantly different from those of the structural phases composed of three-dimension networks of SnI$_6$ octahedra. Furthermore, because the electronic structures of HC(NH$_2$)$_2$SnI$_3$ are found to be rather similar to those of CH$_3$NH$_3$SnI$_3$, formamidnium tin iodide may also be promising for the applications of methylammonium tin iodide.


title: High-for-Low and Low-for-High: Efficient Boundary Detection from Deep Object Features and its Applications to High-Level Vision

abstract: Most of the current boundary detection systems rely exclusively on low-level features, such as color and texture. However, perception studies suggest that humans employ object-level reasoning when judging if a particular pixel is a boundary. Inspired by this observation, in this work we show how to predict boundaries by exploiting object-level features from a pretrained object-classification network. Our method can be viewed as a "High-for-Low" approach where high-level object features inform the low-level boundary detection process. Our model achieves state-of-the-art performance on an established boundary detection benchmark and it is efficient to run. Additionally, we show that due to the semantic nature of our boundaries we can use them to aid a number of high-level vision tasks. We demonstrate that using our boundaries we improve the performance of state-of-the-art methods on the problems of semantic boundary labeling, semantic segmentation and object proposal generation. We can view this process as a "Low-for-High" scheme, where low-level boundaries aid high-level vision tasks. Thus, our contributions include a boundary detection system that is accurate, efficient, generalizes well to multiple datasets, and is also shown to improve existing state-of-the-art high-level vision methods on three distinct tasks.


title: Broadband Impedance Calculations and Single Bunch Instabilities Estimations of the HLS-II storage ring

abstract: The upgrade project of Hefei Light Source storage ring is under way. In this paper, the broadband impedances of resistive wall and coated ceramic vacuum chamber were calculated using the analytic formula, the wake fields and impedances of other designed vacuum chambers have been simulated by the CST code, and then the broadband impedances model was obtained. Using the theoretical formula, longitudinal and transverse single bunch instabilities were discussed. With the carefully-designed vacuum chamber, we find that the thresholds of the beam instabilities are higher than the beam current goal.