title: Complex magnetic phase diagram and skyrmion lifetime in an ultrathin film from atomistic simulations

abstract: We determined the magnetic B-T phase diagram of PdFe bilayer on Ir(111) surface by performing Monte Carlo and spin dynamics simulations based on an effective classical spin model. The parameters of the spin model were determined by ab initio methods. At low temperatures we found three types of ordered phases, while at higher temperatures, below the completely disordered paramagnetic phase, a large region of the phase diagram is associated with a fluctuation-disordered phase. Within the applied model, this state is characterized by the presence of skyrmions with finite lifetime. According to the simulations, this lifetime follows the Arrhenius law as a function of temperature.


title: Projection predictive model selection for Gaussian processes

abstract: We propose a new method for simplification of Gaussian process (GP) models by projecting the information contained in the full encompassing model and selecting a reduced number of variables based on their predictive relevance. Our results on synthetic and real world datasets show that the proposed method improves the assessment of variable relevance compared to the automatic relevance determination (ARD) via the length-scale parameters. We expect the method to be useful for improving explainability of the models, reducing the future measurement costs and reducing the computation time for making new predictions.


title: On the decomposition of random hypergraphs

abstract: For an $r$-uniform hypergraph $H$, let $f(H)$ be the minimum number of complete $r$-partite $r$-uniform subhypergraphs of $H$ whose edge sets partition the edge set of $H$. For a graph $G$, $f(G)$ is the bipartition number of $G$ which was introduced by Graham and Pollak in 1971. In 1988, Erd\H{o}s conjectured that if $G \in G(n,1/2)$, then with high probability $f(G)=n-\alpha(G)$, where $\alpha(G)$ is the independence number of $G$. This conjecture and related problems have received a lot of attention recently. In this paper, we study the value of $f(H)$ for a typical $r$-uniform hypergraph $H$. More precisely, we prove that if $(\log n)^{2.001}/n \leq p \leq 1/2$ and $H \in H^{(r)}(n,p)$, then with high probability $f(H)=(1-\pi(K^{(r-1)}_r)+o(1))\binom{n}{r-1}$, where $\pi(K^{(r-1)}_r)$ is the Tur\'an density of $K^{(r-1)}_r$.


title: Scalable MCMC for Mixed Membership Stochastic Blockmodels

abstract: We propose a stochastic gradient Markov chain Monte Carlo (SG-MCMC) algorithm for scalable inference in mixed-membership stochastic blockmodels (MMSB). Our algorithm is based on the stochastic gradient Riemannian Langevin sampler and achieves both faster speed and higher accuracy at every iteration than the current state-of-the-art algorithm based on stochastic variational inference. In addition we develop an approximation that can handle models that entertain a very large number of communities. The experimental results show that SG-MCMC strictly dominates competing algorithms in all cases.


title: An extremely dense group of massive galaxies at the centre of the protocluster at z = 3.09 in the SSA22 field

abstract: We report the discovery of an extremely dense group of massive galaxies at the centre of the protocluster at $z=3.09$ in the SSA22 field from near-infrared spectroscopy conducted with the Multi-Object InfraRed Camera and Spectrograph (MOIRCS) equipped on the Subaru Telecope. The newly discovered group comprises seven galaxies confirmed at $z_{\rm spec}\approx3.09$ within 180 kpc including five massive objects with the stellar masses larger than $10^{10.5}~M_{\odot}$ and is associated with a bright sub-mm source SSA22-AzTEC14. The dynamical mass of the group estimated from the line-of-sight velocity dispersion of the members is $M_{\rm dyn}\sim1.6\pm0.3\times10^{13}~M_{\odot}$. Such a dense group is expected to be very rare at high redshift as we found only a few comparable systems in large-volume cosmological simulations. Such rare groups in the simulations are hosted in collapsed halos with $M_{\rm vir}=10^{13.4}-10^{14.0}~M_{\odot}$ and evolve into the brightest cluster galaxies (BCGs) of the most massive clusters at present. The observed AzTEC14 group at $z=3.09$ is therefore very likely to be a proto-BCG in the multiple merger phase. The observed total stellar mass of the group is $5.8^{+5.1}_{-2.0}\times10^{11}~M_{\odot}$. It suggests that over half the stellar mass of its descendant had been formed by $z=3$. Moreover, we identified over two members for each of the four Ly$\alpha$ blobs (LABs) using our new spectroscopic data. This verifies our previous argument that many of the LABs in the SSA22 protocluster associated with multiple developed stellar components.


title: Improving the Competency of First-Order Ontologies

abstract: We introduce a new framework to evaluate and improve first-order (FO) ontologies using automated theorem provers (ATPs) on the basis of competency questions (CQs). Our framework includes both the adaptation of a methodology for evaluating ontologies to the framework of first-order logic and a new set of non-trivial CQs designed to evaluate FO versions of SUMO, which significantly extends the very small set of CQs proposed in the literature. Most of these new CQs have been automatically generated from a small set of patterns and the mapping of WordNet to SUMO. Applying our framework, we demonstrate that Adimen-SUMO v2.2 outperforms TPTP-SUMO. In addition, using the feedback provided by ATPs we have set an improved version of Adimen-SUMO (v2.4). This new version outperforms the previous ones in terms of competency. For instance, "Humans can reason" is automatically inferred from Adimen-SUMO v2.4, while it is neither deducible from TPTP-SUMO nor Adimen-SUMO v2.2.


title: Ultra-thin rigid endoscope: Two-photon imaging through a graded-index multi-mode fiber

abstract: Rigid endoscopes like graded-index (GRIN) lenses are known tools in biological imaging, but it is conceptually difficult to miniaturize them. In this letter, we demonstrate an ultra-thin rigid endoscope with a diameter of only 125 microns. In addition, we identify a domain where two-photon endoscopic imaging with fs-pulse excitation is possible. We validate the ultra-thin rigid endoscope consisting of a few cm of graded-index multi-mode fiber by using it to acquire optically sectioned two-photon fluorescence endoscopic images of three-dimensional samples.


title: On the emergence of random initial conditions in fluid limits

abstract: The paper presents a phenomenon occurring in population processes that start near zero and have large carrying capacity. By the classical result of Kurtz~(1970), such processes, normalized by the carrying capacity, converge on finite intervals to the solutions of ordinary differential equations, also known as the fluid limit. When the initial population is small relative to carrying capacity, this limit is trivial. Here we show that, viewed at suitably chosen times increasing to infinity, the process converges to the fluid limit, governed by the same dynamics, but with a random initial condition. This random initial condition is related to the martingale limit of an associated linear birth and death process.


title: Error-Correcting Functional Index Codes, Generalized Exclusive Laws and Graph Coloring

abstract: We consider the \emph{functional index coding problem} over an error-free broadcast network in which a source generates a set of messages and there are multiple receivers, each holding a set of functions of source messages in its cache, called the \emph{Has-set}, and demands to know another set of functions of messages, called the \emph{Want-set}. Cognizant of the receivers' \emph{Has-sets}, the source aims to satisfy the demands of each receiver by making coded transmissions, called a \emph{functional index code}. The objective is to minimize the number of such transmissions required. The restriction a receiver's demands pose on the code is represented via a constraint called the \emph{generalized exclusive law} and obtain a code using the \emph{confusion graph} constructed using these constraints. Bounds on the size of an optimal code based on the parameters of the confusion graph are presented. Next, we consider the case of erroneous transmissions and provide a necessary and sufficient condition that an FIC must satisfy for correct decoding of desired functions at each receiver and obtain a lower bound on the length of an error-correcting FIC.


title: The Vampire and the FOOL

abstract: This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arrays. In addition to having a first class boolean sort, FOOL also contains if-then-else and let-in expressions. We argue that presented extensions facilitate reasoning-based program analysis, both by increasing the expressivity of first-order reasoners and by gains in efficiency.


title: SGD with Variance Reduction beyond Empirical Risk Minimization

abstract: We introduce a doubly stochastic proximal gradient algorithm for optimizing a finite average of smooth convex functions, whose gradients depend on numerically expensive expectations. Our main motivation is the acceleration of the optimization of the regularized Cox partial-likelihood (the core model used in survival analysis), but our algorithm can be used in different settings as well. The proposed algorithm is doubly stochastic in the sense that gradient steps are done using stochastic gradient descent (SGD) with variance reduction, where the inner expectations are approximated by a Monte-Carlo Markov-Chain (MCMC) algorithm. We derive conditions on the MCMC number of iterations guaranteeing convergence, and obtain a linear rate of convergence under strong convexity and a sublinear rate without this assumption. We illustrate the fact that our algorithm improves the state-of-the-art solver for regularized Cox partial-likelihood on several datasets from survival analysis.


title: The vector linear program solver Bensolve -- notes on theoretical background

abstract: Bensolve is an open source implementation of Benson's algorithm and its dual variant. Both algorithms compute primal and dual solutions of vector linear programs (VLP), which include the subclass of multiple objective linear programs (MOLP). The recent version of Bensolve can treat arbitrary vector linear programs whose upper image does not contain lines. This article surveys the theoretical background of the implementation. In particular, the role of VLP duality for the implementation is pointed out. Some numerical examples are provided.


title: Vesicle model with bending energy revisited

abstract: The equations governing the conditions of mechanical equilibrium in fluid membranes subject to bending are revisited thanks to the principle of virtual work. The note proposes systematic tools to obtain the shape equation and the line condition instead of Christoffel symbols and the complex calculations they entail. The method seems adequate to investigate all problems involving surface energies.


title: MSoS: A Multi-Screen-Oriented Web Page Segmentation Approach

abstract: In this paper we describe a multiscreen-oriented approach for segmenting web pages. The segmentation is an automatic and hybrid visual and structural method. It aims at creating coherent blocks which have different functions determined by the multiscreen environment. It is also characterized by a dynamic adaptation to the page content. Experiments are conducted on a set of existing applications that contain multimedia elements, in particular YouTube and video player pages. Results are compared with one seg-mentation method from the literature and with a ground truth manually created. With a 75% precision, the MSoS is a promising method that is capable of producing good segmentation results.


title: Evaluating the Competency of a First-Order Ontology

abstract: We report on the results of evaluating the competency of a first-order ontology for its use with automated theorem provers (ATPs). The evaluation follows the adaptation of the methodology based on competency questions (CQs) [Gr\"uninger&Fox,1995] to the framework of first-order logic, which is presented in [\'Alvez&Lucio&Rigau,2015], and is applied to Adimen-SUMO [\'Alvez&Lucio&Rigau,2015]. The set of CQs used for this evaluation has been automatically generated from a small set of semantic patterns and the mapping of WordNet to SUMO. Analysing the results, we can conclude that it is feasible to use ATPs for working with Adimen-SUMO v2.4, enabling the resolution of goals by means of performing non-trivial inferences.


title: Tuning Magnetotransport in a Compensated Semimetal at the Atomic Scale

abstract: Either in bulk form, or when exfoliated into atomically thin crystals, layered transition metal dichalcogenides are continuously leading to the discovery of new phenomena. The latest example is provided by 1T'-WTe$_2$, a semimetal recently found to exhibit the largest known magnetoresistance in bulk crystals, and predicted to become a two-dimensional topological insulator in strained monolayers. Here, we show that reducing the thickness through facile exfoliation provides an effective experimental knob to tune the electronic properties of WTe$_2$, which allows us to identify the microscopic mechanisms responsible for the observed classical and quantum magnetotransport down to the ultimate atomic scale. We find that the longitudinal resistance and the very unconventional B-dependence of the Hall resistance are reproduced quantitatively in terms of a classical two-band model for crystals as thin as six monolayers, and that for thinner crystals a crossover to an insulating, Anderson-localized state occurs. Besides establishing the origin of the very large magnetoresistance of bulk WTe$_2$, our results represent the first, complete validation of the classical theory for two-band electron-hole transport, and indicate that atomically thin WTe$_2$ layers remain gapless semimetals, from which we conclude that searching for a topological insulating state by straining monolayers is a challenging, but feasible experiment.


title: A Probabilistic Framework for Structural Analysis in Directed Networks

abstract: In our recent works, we developed a probabilistic framework for structural analysis in undirected networks. The key idea of that framework is to sample a network by a symmetric bivariate distribution and then use that bivariate distribution to formerly define various notions, including centrality, relative centrality, community, and modularity. The main objective of this paper is to extend the probabilistic framework to directed networks, where the sampling bivariate distributions could be asymmetric. Our main finding is that we can relax the assumption from symmetric bivariate distributions to bivariate distributions that have the same marginal distributions. By using such a weaker assumption, we show that various notions for structural analysis in directed networks can also be defined in the same manner as before. However, since the bivariate distribution could be asymmetric, the community detection algorithms proposed in our previous work cannot be directly applied. For this, we show that one can construct another sampled graph with a symmetric bivariate distribution so that for any partition of the network, the modularity index remains the same as that of the original sampled graph. Based on this, we propose a hierarchical agglomerative algorithm that returns a partition of communities when the algorithm converges.


title: Stability of systems of general functional equations in the compact-open topology

abstract: We introduce a fairly general concept of functional equation for $k$-tuples of functions $f_1,\dots,f_k\colon X \to Y$ between arbitrary sets. The homomorphy equations for mappings between groups and other algebraic systems, as well as various types of functional equations and recursion formulas occurring in mathematical analysis or combinatorics, respectively, become special cases (of systems) of such equations. Assuming that $X$ is a locally compact and $Y$ is a completely regular topological space, we show that systems of such functional equations, with parameters satisfying rather a modest continuity condition, are stable in the following intuitive sense: Every $k$-tuple of ``sufficiently continuous,'' ``reasonably bounded'' functions $X \to Y$ satisfying the given system with a ``sufficient precision'' on a ``big enough'' compact set is already ``arbitrarily close'' on an ``arbitrarily big'' compact set to a $k$-tuple of continuous functions solving the system. The result is derived as a consequence of certain intuitively appealing ``almost-near'' principle using the relation of infinitesimal nearness formulated in terms of nonstandard analysis.


title: A minimal seesaw model with mu-tau symmetry

abstract: We analyse a flavour model for a lepton sector which is based on type I seesaw mechanism, a Z_2 symmetry for lepton flavours, a mu-tau interchange symmetry and a CP symmetry. This model fits well the data of neutrino mass squared differences and oscillation angles. The model predicts an overall neutrino mass scale for normal and inverted neutrino mass hierarchy and the effective mass m_beta, which is used in the neutrinoless double beta decay.


title: Strong-interaction isospin-symmetry breaking within the density functional theory

abstract: The conventional Skyrme interaction is generalized by adding zero-range charge-symmetry-breaking and charge-independence-breaking terms, and the corresponding energy density functional is derived. It is shown that the extended model accounts for experimental values of mirror and triplet displacement energies (MDEs and TDEs) in sd-shell isospin triplets with, on average, about 100~keV precision using only two additional adjustable coupling constants. Moreover, the model is able to reproduce, for the first time, the A=4n versus A=4n+2 staggering of the TDEs.


title: Hydrodynamic Nambu Brackets derived by Geometric Constraints

abstract: A geometric approach to derive the Nambu brackets for ideal two-dimensional (2D) hydrodynamics is suggested. The derivation is based on two-forms with vanishing integrals in a periodic domain, and with resulting dynamics constrained by an orthogonality condition. As a result, 2D hydrodynamics with vorticity as dynamic variable emerges as a generic model, with conservation laws which can be interpreted as enstrophy and energy functionals. Generalized forms like surface quasi-geostrophy and fractional Poisson equations for the stream-function are also included as results from the derivation. The formalism is extended to a hydrodynamic system coupled to a second degree of freedom, with the Rayleigh-B\'{e}nard convection as an example. This system is reformulated in terms of constitutive conservation laws with two additive brackets which represent individual processes: a first representing inviscid 2D hydrodynamics, and a second representing the coupling between hydrodynamics and thermodynamics. The results can be used for the formulation of conservative numerical algorithms that can be employed, for example, for the study of fronts and singularities.

categories: physics.flu-dyn math-ph math.MP physics.ao-ph


title: How the structure of precedence constraints may change the complexity class of scheduling problems

abstract: This survey aims at demonstrating that the structure of precedence constraints plays a tremendous role on the complexity of scheduling problems. Indeed many problems can be NP-hard when considering general precedence constraints, while they become polynomially solvable for particular precedence constraints. We also show that there still are many very exciting challenges in this research area.


title: Robust reflection principles

abstract: A cardinal $\lambda$ satisfies a property P robustly if, whenever $\mathbb{Q}$ is a forcing poset and $|\mathbb{Q}|^+ < \lambda$, $\lambda$ satisfies P in $V^{\mathbb{Q}}$. We study the extent to which certain reflection properties of large cardinals can be satisfied robustly by small cardinals. We focus in particular on stationary reflection and the tree property, both of which can consistently hold but fail to be robust at small cardinals. We introduce natural strengthenings of these principles which are always robust and which hold at sufficiently large cardinals, consider the extent to which these strengthenings are in fact stronger than the original principles, and investigate the possibility of these strengthenings holding at small cardinals, particularly at successors of singular cardinals.


title: Interstellar neutral helium in the heliosphere from IBEX observations. III. Mach number of the flow, velocity vector, and temperature from the first six years of measurements

abstract: We analyzed observations of interstellar neutral helium (ISN~He) obtained from the Interstellar Boundary Explorer (IBEX) satellite during its first six years of operation. We used a refined version of the ISN~He simulation model, presented in the companion paper by Sokol_et al. 2015, and a sophisticated data correlation and uncertainty system and parameter fitting method, described in the companion paper by Swaczyna et al 2015. We analyzed the entire data set together and the yearly subsets, and found the temperature and velocity vector of ISN~He in front of the heliosphere. As seen in the previous studies, the allowable parameters are highly correlated and form a four-dimensional tube in the parameter space. The inflow longitudes obtained from the yearly data subsets show a spread of ~6 degree, with the other parameters varying accordingly along the parameter tube, and the minimum chi-square value is larger than expected. We found, however, that the Mach number of the ISN~He flow shows very little scatter and is thus very tightly constrained. It is in excellent agreement with the original analysis of ISN~He observations from IBEX and recent reanalyses of observations from Ulysses. We identify a possible inaccuracy in the Warm Breeze parameters as the likely cause of the scatter in the ISN~He parameters obtained from the yearly subsets, and we suppose that another component may exist in the signal, or a process that is not accounted for in the current physical model of ISN~He in front of the heliosphere. From our analysis, the inflow velocity vector, temperature, and Mach number of the flow are equal to lambda_ISNHe = 255.8 +/- 0.5 degree, beta_ISNHe = 5.16 +/- 0.10 degree, T_ISNHe = 7440 +/- 260 K, v_ISNHe = 25.8 +/- 0.4$ km/s, and M_ISNHe = 5.079 +/- 0.028, with uncertainties strongly correlated along the parameter tube.


title: Stability and error estimates of a general modified quasi-boundary value method via a semi-linear backward parabolic equation

abstract: Regularization methods have been recently developed to construct stable approximate solutions to classical partial differential equations considered as final value problems. In this paper, we investigate the backward parabolic problem with locally Lipschitz source: $\partial_{t}u+\mu\left(t\right)\mathcal{A}u\left(t\right)=f\left(t,u\right)$ where $\mathcal{A}:\mathcal{D}\left(\mathcal{A}\right)\subset\mathcal{H}\to\mathcal{H}$ is a positive, self-adjoint and unbounded linear operator on the Hilbert space $\mathcal{H}$. The problem arises in many applications, but it is in general ill-posed. The ill-posedness is caused by catastrophic growth in the representation of solution, then independence of solution on data makes computational procedures impossible. Therefore, we contribute to this interesting field the study of the stable approximation solution via the modified quasi-boundary value method based on nonlinear spectral theory, which slightly extends the results in many works. Our main focus is to qualitatively prove the stability and convergence rate where semi-group technicalities are highly useful.


title: Generalized 3D Zernike functions for analytic construction of band-limited line-detecting wavelets

abstract: We consider 3D versions of the Zernike polynomials that are commonly used in 2D in optics and lithography. We generalize the 3D Zernike polynomials to functions that vanish to a prescribed degree $\alpha\geq0$ at the rim of their supporting ball $\rho\leq1$. The analytic theory of the 3D generalized Zernike functions is developed, with attention for computational results for their Fourier transform, Funk and Radon transform, and scaling operations. The Fourier transform of generalized 3D Zernike functions shows less oscillatory behaviour and more rapid decay at infinity, compared to the standard case $\alpha=0$, when the smoothness parameter $\alpha$ is increased beyond 0. The 3D generalized Zernike functions can be used to expand smooth functions, supported by the unit ball and vanishing at the rim and the origin of the unit ball, whose radial and angular dependence is separated. Particular instances of the latter functions (prewavelets) yield, via the Funk transform and the Fourier transform, an anisotropic function that can be used for a band-limited line-detecting wavelet transform, appropriate for analysis of 3D medical data containing elongated structures. We present instances of prewavelets, with relevant radial functions, that allow analytic computation of Funk and Fourier transform. A key step here is to identify the special form that is assumed by the expansion coefficients of a separable function on the unit ball with respect to generalized 3D Zernike functions. A further issue is how to scale a function on the unit ball while maintaining its supporting set, and this issue is solved in a particular form.


title: Performance of Lagrangian Descriptors and their variants in incompressible flows

abstract: The method of Lagrangian descriptors has been already applied in many different contexts, specially in geophysical flows. In this paper we analyze the performance of this methodology in incompressible flows. We demonstrate that barriers to transport are not always coded by singular features of the $M$ function as Mancho, Wiggins and their co-workers conjectured. The techniques presented here are not restricted to incompressible flows. In fact, by our approach, one can infer that the method of Lagrangian descriptors is not useful in most linear systems.


title: Identifying spatial invasion of pandemics on metapopulation networks via anatomizing arrival history

abstract: Spatial spread of infectious diseases among populations via the mobility of humans is highly stochastic and heterogeneous. Accurate forecast/mining of the spread process is often hard to be achieved by using statistical or mechanical models. Here we propose a new reverse problem, which aims to identify the stochastically spatial spread process itself from observable information regarding the arrival history of infectious cases in each subpopulation. We solved the problem by developing an efficient optimization algorithm based on dynamical programming, which comprises three procedures: i, anatomizing the whole spread process among all subpopulations into disjoint componential patches; ii, inferring the most probable invasion pathways underlying each patch via maximum likelihood estimation; iii, recovering the whole process by assembling the invasion pathways in each patch iteratively, without burdens in parameter calibrations and computer simulations. Based on the entropy theory, we introduced an identifiability measure to assess the difficulty level that an invasion pathway can be identified. Results on both artificial and empirical metapopulation networks show the robust performance in identifying actual invasion pathways driving pandemic spread.


title: Almost Coquaternion Structure

abstract: Our aim is to define and study a structure for some $(4n+3)$-dimensional manifolds which is named almost coquaternion structure. This structure is composed of three almost cocomplex structures $(\phi_a, \xi_a, \eta_a)$, $a = 1,2,3$, which satisfy some relations and may be considered as analogous to the almost quaternion structure for $(4n+4)$-dimensional manifolds. The sphere $S^{4n+3}$ is a typical example of differentiable manifold which admits an almost coquaternion structure $(\phi_a, \xi_a, \eta_a)$, $a = 1,2,3$. Using the 1-forms $\eta_a$ of the almost coquaternion structure of the sphere $S^{4n+3}$, C. Teleman defined and studied on $S^{4n+3}$ a nonholonomic manifold $V^{4n}_{4n+3}$ whose Riemannian metric is the one of a symmetric space of E. Cartan. Keeping in mind Teleman's idea, we observed that on an almost coquaternion manifold a nonholonomic (holonomic) manifold of codimension three can be defined and studied by nonintegrable (completely integrable) Pfaff's system $\eta_1 = 0$, $\eta_2 = 0$, $\eta_3 = 0$.


title: How to (Not) Estimate Gini Coefficients for Fat Tailed Variables

abstract: Direct measurements of Gini coefficients by conventional arithmetic calculations are a poor estimator, even if paradoxically, they include the entire population, as because of super-additivity they cannot lend themselves to comparisons between units of different size, and intertemporal analyses are vitiated by the population changes. The Gini of aggregated units A and B will be higher than those of A and B computed separately. This effect becomes more acute with fatness of tails. When the sample size is smaller than entire population, the error is extremely high. The conventional literature on Gini coefficients cannot be trusted and comparing countries of different sizes makes no sense; nor does it make sense to make claims of "changes in inequality" based on conventional measures. We compare the standard methodologies to the indirect methods via maximum likelihood estimation of tail exponent. We compare to the tail method which is unbiased, with considerably lower error rate. We also consider measurement errors of the tail exponent and suggest a simple but efficient methodology to calculate Gini coefficients.


title: Multiresolution hierarchy co-clustering for semantic segmentation in sequences with small variations

abstract: This paper presents a co-clustering technique that, given a collection of images and their hierarchies, clusters nodes from these hierarchies to obtain a coherent multiresolution representation of the image collection. We formalize the co-clustering as a Quadratic Semi-Assignment Problem and solve it with a linear programming relaxation approach that makes effective use of information from hierarchies. Initially, we address the problem of generating an optimal, coherent partition per image and, afterwards, we extend this method to a multiresolution framework. Finally, we particularize this framework to an iterative multiresolution video segmentation algorithm in sequences with small variations. We evaluate the algorithm on the Video Occlusion/Object Boundary Detection Dataset, showing that it produces state-of-the-art results in these scenarios.


title: Chv\'{a}tal-type results for degree sequence Ramsey numbers

abstract: A sequence of nonnegative integers $\pi =(d_1,d_2,...,d_n)$ is graphic if there is a (simple) graph $G$ of order $n$ having degree sequence $\pi$. In this case, $G$ is said to realize or be a realization of $\pi$. Given a graph $H$, a graphic sequence $\pi$ is potentially $H$-graphic if there is some realization of $\pi$ that contains $H$ as a subgraph. In this paper, we consider a degree sequence analogue to classical graph Ramsey numbers. For graphs $H_1$ and $H_2$, the potential-Ramsey number $r_{pot}(H_1,H_2)$ is the minimum integer $N$ such that for any $N$-term graphic sequence $\pi$, either $\pi$ is potentially $H_1$-graphic or the complementary sequence $\overline{\pi}=(N-1-d_N,\dots, N-1-d_1)$ is potentially $H_2$-graphic. We prove that if $s\ge 2$ is an integer and $T_t$ is a tree of order $t> 7(s-2)$, then $$r_{pot}(K_s, T_t) = t+s-2.$$ This result, which is best possible up to the bound on $t$, is a degree sequence analogue to a classical 1977 result of Chv\'{a}tal on the graph Ramsey number of trees vs. cliques. To obtain this theorem, we prove a sharp condition that ensures an arbitrary graph packs with a forest, which is likely to be of independent interest.


title: Quasi-static magnetoelectric quadrupoles as the order parameter for the pseudo-gap phase in cuprate superconductors

abstract: We introduce a mechanism in which coupling between fluctuating spin magnetic dipole moments and polar optical phonons leads to a non-zero ferroic ordering of quasi-static magnetoelectric multipoles. Using first-principles calculations within the LSDA$+U$ method of density functional theory, we calculate the magnitude of the effect for the prototypical cuprate superconductor, HgBa$_2$CuO$_4$. We show that our proposed mechanism is consistent, to our knowledge, with all experimental data for the onset of the pseudo-gap phase and therefore propose the quasi-static magnetoelectric multipole as a possible pseudo-gap order parameter. Finally, we show that our mechanism embraces some key aspects of previous theoretical models, in particular the description of the pseudo-gap phase in terms of orbital currents.


title: The formation of IRIS diagnostics VIII. IRIS observations in the C II 133.5 nm multiplet

abstract: The C II 133.5 nm multiplet has been observed by NASA's Interface Region Imaging Spectrograph (IRIS) in unprecedented spatial resolution. The aims of this work are to characterize these new observations of the C II lines, place them in context with previous work, and to identify any additional value the C II lines bring when compared with other spectral lines. We make use of wide, long exposure IRIS rasters covering the quiet Sun and an active region. Line properties such as velocity shift and width are extracted from individual spectra and analyzed. The lines have a variety of shapes (mostly single-peak or double-peak), are strongest in active regions and weaker in the quiet Sun. The ratio between the 133.4 nm and 133.5 nm components is always less than 1.8, indicating that their radiation is optically thick in all locations. Maps of the C II line widths are a powerful new diagnostic of chromospheric structures, and their line shifts are a robust velocity diagnostic. Compared with earlier quiet Sun observations, we find similar absolute intensities and mean line widths, but smaller red shifts; this difference can perhaps be attributed to differences in spectral resolution and spatial coverage. The C II intensity maps are somewhat similar to those of transition region lines, but also share some features with chromospheric maps such as those from the Mg II k line, indicating that they are formed between the upper chromosphere and transition region. C II intensity, width, and velocity maps can therefore be used to gather additional information about the upper chromosphere.


title: Boosting the superconducting spin valve effect in a metallic superconductor/ferromagnet heterostructure

abstract: Superconducting spin valves based on the superconductor/ferromagnet (S/F) proximity effect are considered to be a key element in the emerging field of superconducting spintronics. Here, we demonstrate the crucial role of the morphology of the superconducting layer in the operation of a multilayer S/F1/F2 spin valve. We study two types of superconducting spin valve heterostructures, with rough and with smooth superconducting layers, using transmission electron microscopy in combination with transport and magnetic characterization. We find that the quality of the S/F interface is not critical for the S/F proximity effect, as regards the suppression of the critical temperature of the S layer. However, it appears to be of paramount importance in the performance of the S/F1/F2 spin valve. As the morphology of the S layer changes from the form of overlapping islands to a smooth case, the magnitude of the conventional superconducting spin valve effect significantly increases. We attribute this dramatic effect to a homogenization of the Green function of the superconducting condensate over the S/F interface in the S/F1/F2 valve with a smooth surface of the S layer.


title: Efficiency of transport in periodic potentials: dichotomous noise contra deterministic force

abstract: We study transport of an inertial Brownian particle moving in a symmetric and periodic one-dimensional potential, and subjected to both a symmetric, unbiased external harmonic force as well as biased dichotomic noise $\eta(t)$ also known as a random telegraph signal or a two state continuous-time Markov process. In doing so, we concentrate on the previously reported regime [J. Spiechowicz et al., Phys. Rev. E 90, 032104 (2014)] for which non-negative biased noise $\eta(t)$ in the form of generalized white Poissonian noise can induce anomalous transport processes similar to those generated by a deterministic constant force $F=\langle \eta(t) \rangle $ but significantly more effective than $F$, i.e. the particle moves much faster, the velocity fluctuations are noticeable reduced and the transport efficiency is enhanced several times. Here, we confirm this result for the case of dichotomous fluctuations which in contrast to white Poissonian noise can assume positive as well as negative values and examine the role of thermal noise in the observed phenomenon. We focus our attention on the impact of bidirectionality of dichotomous fluctuations and reveal that the effect of non-equilibrium noise enhanced efficiency is still detectable. This result may explain transport phenomena occurring in strongly fluctuating environments of both a physical and biological origin. Our predictions can be corroborated experimentally by use of a set-up that consists of a resistively and capacitively shunted Josephson junction.


title: Temperature Measurement during Thermonuclear X-ray Bursts with BeppoSAX

abstract: We have carried out a study of temperature evolution during thermonuclear bursts in LMXBs using broad band data from two instruments onboard BeppoSAX, the MECS and the PDS. However, instead of applying the standard technique of time resolved spectroscopy, we have determined the temperature in small time intervals using the ratio of count rates in the two instruments assuming a blackbody nature of burst emission and different interstellar absorption for different sources. Data from a total of twelve observations of six sources were analysed during which 22 bursts were detected. We have obtained temperatures as high as ~3.0 keV, even when there is no evidence of photospheric radius expansion. These high temperatures were observed in the sources within different broadband spectral states (soft and hard).


title: Using Duality in Circuit Complexity

abstract: We investigate in a method for proving separation results for abstract classes of languages. A well established method to characterize varieties of regular languages are identities. We use a recently established generalization of these identities to non-regular languages by Gehrke, Grigorieff, and Pin: so called equations, which are capable of describing arbitrary Boolean algebras of languages. While the main concern of their result is the existence of these equations, we investigate in a general method that could allow to find equations for language classes in an inductive manner. Thereto we extend an important tool -- the block product or substitution principle -- known from logic and algebra, to non-regular language classes. Furthermore, we abstract this concept by defining it directly as an operation on (non-regular) language classes. We show that this principle can be used to obtain equations for certain circuit classes, given equations for the gate types. Concretely, we demonstrate the applicability of this method by obtaining a description via equations for all languages recognized by circuit families that contain a constant number of (inner) gates, given a description of the gate types via equations.


title: Change Detection in Multivariate Datastreams: Likelihood and Detectability Loss

abstract: We address the problem of detecting changes in multivariate datastreams, and we investigate the intrinsic difficulty that change-detection methods have to face when the data dimension scales. In particular, we consider a general approach where changes are detected by comparing the distribution of the log-likelihood of the datastream over different time windows. Despite the fact that this approach constitutes the frame of several change-detection methods, its effectiveness when data dimension scales has never been investigated, which is indeed the goal of our paper. We show that the magnitude of the change can be naturally measured by the symmetric Kullback-Leibler divergence between the pre- and post-change distributions, and that the detectability of a change of a given magnitude worsens when the data dimension increases. This problem, which we refer to as \emph{detectability loss}, is due to the linear relationship between the variance of the log-likelihood and the data dimension. We analytically derive the detectability loss on Gaussian-distributed datastreams, and empirically demonstrate that this problem holds also on real-world datasets and that can be harmful even at low data-dimensions (say, 10).


title: Thermodynamics of the Oxygen Evolution Electrocatalysis in Metal-Organic Frameworks

abstract: Metal-organic frameworks (MOFs) provide a versatile and tailorable material platform that embody many desirable attributes for photocatalytic water-splitting. The approach taken in this study was to use Density Functional Theory (DFT) to predict the thermodynamic energy barriers of the oxygen evolution reaction (OER) for three MOF functionalizations. A Zr-MIL-125 MOF design was selected for this study that incorporates three linker designs, a 1,4-benzenedicarboxylate (BDC), BDC functionalized with an amino group (BDC+NH2), and BDC functionalized with nitro group (BDC+NO2). The study found several key differences between homogeneous planar catalyst thermodynamics and MOF based thermodynamics, the most significant being the non-unique or heterogeneity of reaction sites. Additionally, the funcationalization of the MOF was found to significantly influence the hydroperoxyl binding energy, which proves to be the largest hurdle for both oxide and MOF based catalyst. Both of these findings provide evidance that many of the limitations precluding planar homogeneous catalysts can be surpassed with a MOF based catalyst. While none of the MOF designs selected for this study out-performed state-of-the-art oxide based catalysts, the BDC+NH2 proved to be the best with a predicted over-potential for spontaneous OER evolution to be 3.03eV.


title: A novel technique to achieve atomic macro-coherence as a tool to determine the nature of neutrinos

abstract: The photon spectrum in macrocoherent atomic de-excitation via radiative emission of neutrino pairs (RENP) has been proposed as a sensitive probe of the neutrino mass spectrum, capable of competing with conventional neutrino experiments. In this paper we revisit this intriguing possibility, presenting an alternative method for inducing large coherence in a target based on adiabatic techniques. More concretely, we propose the use of a modified version of Coherent Population Return (CPR), namely double CPR, that turns out to be extremely robust with respect to the experimental parameters, and capable of inducing a coherence close to 100% in the target.


title: Efficient Approaches for Enclosing the United Solution Set of the Interval Generalized Sylvester Matrix Equations

abstract: In this work, we investigate the interval generalized Sylvester matrix equation ${\bf{A}}X{\bf{B}}+{\bf{C}}X{\bf{D}}={\bf{F}}$ and develop some techniques for obtaining outer estimations for the so-called united solution set of this interval system. First, we propose a modified variant of the Krawczyk operator which causes reducing computational complexity to cubic, compared to Kronecker product form. We then propose an iterative technique for enclosing the solution set. These approaches are based on spectral decompositions of the midpoints of ${\bf{A}}$, ${\bf{B}}$, ${\bf{C}}$ and ${\bf{D}}$ and in both of them we suppose that the midpoints of ${\bf{A}}$ and ${\bf{C}}$ are simultaneously diagonalizable as well as for the midpoints of the matrices ${\bf{B}}$ and ${\bf{D}}$. Some numerical experiments are given to illustrate the performance of the proposed methods.


title: A Semantic Theory of the Internet of Things

abstract: We propose a process calculus for modelling systems in the Internet of Things paradigm. Our systems interact both with the physical environment, via sensors and actuators, and with smart devices, via short-range and Internet channels. The calculus is equipped with a standard notion of bisimilarity which is a fully abstract characterisation of a well-known contextual equivalence. We use our semantic proof-methods to prove run-time properties as well as system equalities of non-trivial IoT systems.


title: A Sharp Balian-Low Uncertainty Principle for Shift-Invariant Spaces

abstract: A sharp version of the Balian-Low theorem is proven for the generators of finitely generated shift-invariant spaces. If generators $\{f_k\}_{k=1}^K \subset L^2(\mathbb{R}^d)$ are translated along a lattice to form a frame or Riesz basis for a shift-invariant space $V$, and if $V$ has extra invariance by a suitable finer lattice, then one of the generators $f_k$ must satisfy $\int_{\mathbb{R}^d} |x| |f_k(x)|^2 dx = \infty$, namely, $\widehat{f_k} \notin H^{1/2}(\mathbb{R}^d)$. Similar results are proven for frames of translates that are not Riesz bases without the assumption of extra lattice invariance. The best previously existing results in the literature give a notably weaker conclusion using the Sobolev space $H^{d/2+\epsilon}(\mathbb{R}^d)$; our results provide an absolutely sharp improvement with $H^{1/2}(\mathbb{R}^d)$. Our results are sharp in the sense that $H^{1/2}(\mathbb{R}^d)$ cannot be replaced by $H^s(\mathbb{R}^d)$ for any $s<1/2$.


title: Parametric resonance after hilltop inflation caused by an inhomogeneous inflaton field

abstract: We study preheating after hilltop inflation where the inflaton couples to another scalar field, e.g. a right-handed sneutrino, which provides a mechanism for generating the correct initial conditions for inflation and also a decay channel for the inflaton that allows for reheating and non-thermal leptogenesis. In the presence of such a coupling, we find that after the phases of tachyonic preheating and tachyonic oscillations, during which the inflaton field becomes inhomogeneous, there can be a subsequent preheating phase where the fluctuations of the other field get resonantly enhanced, from initial vacuum fluctuations up to amplitudes of the same order (and even larger) as the ones of the inflaton field. This resonant enhancement differs from the usual parametric resonance as the inflaton field is inhomogeneous at the time the enhancement takes place. We study this effect using lattice simulations as well as semi-analytically with a generalized Floquet analysis for inhomogeneous background fields.


title: Non-Hermitian Dynamics in the Quantum Zeno Limit

abstract: Measurement is one of the most counter-intuitive aspects of quantum physics. Frequent measurements of a quantum system lead to quantum Zeno dynamics where time evolution becomes confined to a subspace defined by the projections. However, weak measurement performed at a finite rate is also capable of locking the system into such a Zeno subspace in an unconventional way: by Raman-like transitions via virtual intermediate states outside this subspace, which are not forbidden. Here, we extend this concept into the realm of non-Hermitian dynamics by showing that the stochastic competition between measurement and a system's own dynamics can be described by a non-Hermitian Hamiltonian. We obtain an analytic solution for ultracold bosons in a lattice and show that a dark state of the tunnelling operator is a steady state in which the observable's fluctuations are zero and tunnelling is suppressed by destructive matter-wave interference. This opens a new venue of investigation beyond the canonical quantum Zeno dynamics and leads to a new paradigm of competition between global measurement backaction and short-range atomic dynamics.


title: Dynamics of exciton formation and relaxation in photoexcited semiconductors

abstract: We investigate the dynamics of the exciton formation and relaxation on a picosecond time scale following a pulsed photoexcitation of a semiconductor. The study is conducted in the framework of the density matrix theory complemented with the dynamics controlled truncation scheme. We truncate the phonon branch of the resulting hierarchy of equations and propose the form of coupling among single-phonon-assisted and higher-order phonon-assisted density matrices so as to ensure the energy and particle-number conservation in a closed system. Time scales relevant for the exciton formation and relaxation processes are determined from numerical investigations performed on a one-dimensional model for the values of model parameters representative of a typical organic and inorganic semiconductor. The exciton dynamics is examined for different values of central frequency of the exciting field, temperature, and microscopic model parameters, such as the strengths of carrier-carrier and carrier-phonon couplings. We find that for typical organic semiconductor parameters, formation of bound excitons occurs on a several-hundred-femtosecond time scale, while their subsequent relaxation and equilibration takes at least several picoseconds. These time scales are consistent with recent experimental studies of the exciton formation and relaxation in conjugated polymer-based materials.


title: Colour Reconnection - Models and Tests

abstract: Recent progress on colour reconnection within the Pythia framework is presented. A new model is introduced, based on the SU(3) structure of QCD and a minimization of the potential string energy. The inclusion of the epsilon structure of SU(3) gives a new baryon production mechanism and makes it possible simultaneously to describe hyperon production at both $e^+e^-$ and pp colliders. Finally, predictions for $e^+e^-$ colliders, both past and potential future ones, are presented.


title: Measurement of Road Traffic Parameters Based on Multi-Vehicle Tracking

abstract: Development of computing power and cheap video cameras enabled today's traffic management systems to include more cameras and computer vision applications for transportation system monitoring and control. Combined with image processing algorithms cameras are used as sensors to measure road traffic parameters like flow volume, origin-destination matrices, classify vehicles, etc. In this paper we propose a system for measurement of road traffic parameters (basic motion model parameters and macro-scopic traffic parameters). The system is based on Local Binary Pattern (LBP) image features classification with a cascade of Gentle Adaboost (GAB) classifiers to determine vehicle existence and its location in an image. Additionally, vehicle tracking and counting in a road traffic video is performed by using Extended Kalman Filter (EKF) and virtual markers. The newly proposed system is compared with a system based on background subtraction. Comparison is performed by the means of execution time and accuracy.


title: Towards Reversible De-Identification in Video Sequences Using 3D Avatars and Steganography

abstract: We propose a de-identification pipeline that protects the privacy of humans in video sequences by replacing them with rendered 3D human models, hence concealing their identity while retaining the naturalness of the scene. The original images of humans are steganographically encoded in the carrier image, i.e. the image containing the original scene and the rendered 3D human models. We qualitatively explore the feasibility of our approach, utilizing the Kinect sensor and its libraries to detect and localize human joints. A 3D avatar is rendered into the scene using the obtained joint positions, and the original human image is steganographically encoded in the new scene. Our qualitative evaluation shows reasonably good results that merit further exploration.


title: You-Do, I-Learn: Unsupervised Multi-User egocentric Approach Towards Video-Based Guidance

abstract: This paper presents an unsupervised approach towards automatically extracting video-based guidance on object usage, from egocentric video and wearable gaze tracking, collected from multiple users while performing tasks. The approach i) discovers task relevant objects, ii) builds a model for each, iii) distinguishes different ways in which each discovered object has been used and iv) discovers the dependencies between object interactions. The work investigates using appearance, position, motion and attention, and presents results using each and a combination of relevant features. Moreover, an online scalable approach is presented and is compared to offline results. The paper proposes a method for selecting a suitable video guide to be displayed to a novice user indicating how to use an object, purely triggered by the user's gaze. The potential assistive mode can also recommend an object to be used next based on the learnt sequence of object interactions. The approach was tested on a variety of daily tasks such as initialising a printer, preparing a coffee and setting up a gym machine.


title: An Extension to Hough Transform Based on Gradient Orientation

abstract: The Hough transform is one of the most common methods for line detection. In this paper we propose a novel extension of the regular Hough transform. The proposed extension combines the extension of the accumulator space and the local gradient orientation resulting in clutter reduction and yielding more prominent peaks, thus enabling better line identification. We demonstrate benefits in applications such as visual quality inspection and rectangle detection.


title: Inflation and dark energy from $f(R)$ gravity

abstract: Inflationary paradigm has several issues, such as the pre-inflationary horizon problem or the eternal inflation. To avoid that the standard Starobinsky inflation has been extended to $R + \alpha R^n$ and $R + \alpha R^n -\delta R^{2-n}$ models as well as Brans-Dicke generalisation of those $f(R)$ models. The region of the parameter space, which provides consistency with PLANCK data and lack of eternal inflation has been founded. The Einstein frame potential has a stable minimum with non-zero vacuum energy, which may be a source of dark energy.


title: The spinorial energy functional: solutions of the gradient flow on Berger spheres

abstract: We study the negative gradient flow of the spinorial energy functional (introduced by Ammann, Wei{\ss}, and Witt) on 3-dimensional Berger spheres. For a certain class of spinors we show that the Berger spheres collapse to a 2-dimensional sphere. Moreover, for special cases, we prove that the volume-normalized standard 3-sphere together with a Killing spinor is a stable critical point of the volume-normalized version of the flow. Our results also include an example of a critical point of the volume-normalized flow on the 3-sphere, which is not a Killing spinor.


title: Search for the rare decays $B^{0}\to J/\psi \gamma$ and $B^{0}_{s} \to J/\psi \gamma$

abstract: A search for the rare decay of a $B^{0}$ or $B^{0}_{s}$ meson into the final state $J/\psi\gamma$ is performed, using data collected by the LHCb experiment in $pp$ collisions at $\sqrt{s}=7$ and $8$ TeV, corresponding to an integrated luminosity of 3 fb$^{-1}$. The observed number of signal candidates is consistent with a background-only hypothesis. Branching fraction values larger than $1.7\times 10^{-6}$ for the $B^{0}\to J/\psi\gamma$ decay mode are excluded at 90% confidence level. For the $B^{0}_{s}\to J/\psi\gamma$ decay mode, branching fraction values larger than $7.4\times 10^{-6}$ are excluded at 90% confidence level, this is the first branching fraction limit for this decay.


title: Partitions and conservativity

abstract: We study the partition properties enjoyed by the "next best thing to a P-point'' ultrafilters introduced recently in joint work with Dobrinen and Raghavan. That work established some finite-exponent partition relations, and we now analyze the connections between these relations for different exponents and the notion of conservativity introduced much earlier by Phillips. In addition, we establish some infinite-exponent partition relations for these ultrafilters and also for sums of non-isomorphic selective ultrafilters indexed by selective ultrafilters.


title: Data Allocation in a Heterogeneous Disk Array - HDA with Multiple RAID Levels for Database Applications

abstract: We consider the allocation of Virtual Arrays (VAs) in a Heterogeneous Disk Array (HDA). Each VA holds groups of related objects and datasets such as files, relational tables, which has similar performance and availability characteristics. We evaluate single-pass data allocation methods for HDA using a synthetic stream of allocation requests, where each VA is characterized by its RAID level, disk loads and space requirements. The goal is to maximize the number of allocated VAs and maintain high disk bandwidth and capacity utilization, while balancing disk loads. Although only RAID1 (basic mirroring) and RAID5 (rotated parity arrays) are considered in the experimental study, we develop the analysis required to estimate disk loads for other RAID levels. Since VA loads vary significantly over time, the VA allocation is carried out at the peak load period, while ensuring that disk bandwidth is not exceeded at other high load periods. Experimental results with a synthetic stream of allocation requests show that allocation methods minimizing the maximum disk bandwidth and capacity utilization or their variance across all disks yield the maximum number of allocated VAs. HDA saves disk bandwidth, since a single RAID level accommodating the most stringent availability requirements for a small subset of objects would incur an unnecessarily high overhead for updating check blocks or data replicas for all objects. The number of allocated VAs can be increased by adopting the clustered RAID5 paradigm, which exploits the tradeoff between redundancy and bandwidth utilization. Since rebuild can be carried out at the level of individual VAs, prioritizing rebuild of VAs with higher access rates can improve overall performance.


title: Interstellar neutral helium in the heliosphere from IBEX observations. II. The Warsaw Test Particle Model (WTPM)

abstract: We have developed a refined and optimized version of the Warsaw Test Particle Model of interstellar neutral gas in the heliosphere, specially tailored for analysis of IBEX-Lo observations. The former version of the model was used in the analysis of neutral He observed by IBEX that resulted in an unexpected conclusion that the interstellar neutral He flow vector was different than previously thought and that a new population of neutral He, dubbed the Warm Breeze, exists in the heliosphere. It was also used in the reanalysis of Ulysses observations that confirmed the original findings on the flow vector, but suggested a significantly higher temperature. The present version model has two strains targeted for different applications, based on an identical paradigm, but differing in the implementation and in the treatment of ionization losses. We present the model in detail and discuss numerous effects related to the measurement process that potentially modify the resulting flux of ISN He observed by IBEX, and identify those of them that should not be omitted in the simulations to avoid biasing the results. This paper is part of a coordinated series of papers presenting the current state of analysis of IBEX-Lo observations of ISN He. Details of the analysis method are presented by Swaczyna et al. 2015, and results of the analysis are presented by Bzowski et al. 2015.


title: How to initialize a second class particle?

abstract: We identify the ballistically and diffusively rescaled limit distribution of the second class particle position in a wide range of asymmetric and symmetric interacting particle systems with established hydrodynamic behavior, respectively (including zero-range, misanthrope and many other models). The initial condition is a step profile which, in some classical cases of asymmetric models, gives rise to a rarefaction fan scenario. We also point out a model with non-concave, non-convex hydrodynamics, where the rescaled second class particle distribution has both continuous and discrete counterparts. The results follow from a substantial generalization of P.A. Ferrari and C. Kipnis' arguments ("Second class particles in the rarefaction fan", Ann. Inst. H. Poincar\'e, 31, 1995) for the totally asymmetric simple exclusion process. The main novelty is the introduction of a signed coupling measure as initial data, which nevertheless results in a proper probability initial distribution for the site of the second class particle and makes the extension possible. We also reveal in full generality a very interesting invariance property of the one-site marginal distribution of the process underneath the second class particle which in particular proves the intrinsicality of our choice for the initial distribution. Finally, we give a lower estimate on the probability of survival of a second class particle-antiparticle pair.


title: Naughty or Nice? The Role of the `N' in the Natural NMSSM for the LHC

abstract: In this work, we present mass limits on gluinos and stops in a natural Next-to-Minimal Supersymmetric Standard Model (NMSSM) with a singlino as the lightest supersymmetric particle. Motivated by naturalness, we consider spectra with light higgsinos, sub-TeV third generation sparticles and gluinos well below the multi-TeV regime while the electroweak gauginos, the sleptons and the first and second generation squarks are decoupled. We check that our natural supersymmetry spectra satisfy all electroweak precision observables and flavour measurements as well as theoretical constraints. By reinterpreting the results from the 8 TeV ATLAS supersymmetry searches we present the 95% CL exclusion limits on the model. The results show that the presence of a singlino LSP can lengthen decay chains and soften the final state particle energies. Whilst this does reduce the strength of the bounds in some areas of parameter space, the LHC still displays good sensitivity to the model.


title: Leptogluons in dilepton production at LHC

abstract: In the composite models with colored substructure of the fermions the color singlet leptons are accompanied by a composite color octet partners, which are known as leptogluons. We consider the effect of leptogluons in the dilepton production at the LHC and show that in the reachable parameter range this effect is typically dominated by t-channel leptogluon exchange (indirect channel). We show that this channel alone can give a sizable contribution to the dimuon production at the LHC for TeV scale values of the invariant mass of the muon-antimuon pairs.


title: Translating Hierarchical Block Diagrams into Composite Predicate Transformers

abstract: Simulink is the de facto industrial standard for designing embedded control systems. When dealing with the formal verification of Simulink models, we face the problem of translating the graphical language of Simulink, namely, hierarchical block diagrams (HBDs), into a formalism suitable for verification. In this paper, we study the translation of HBDs into the compositional refinement calculus framework for reactive systems. Specifically, we consider as target language an algebra of atomic predicate transformers to capture basic Simulink blocks (both stateless and stateful), composed in series, in parallel, and in feedback. For a given HBD, there are many possible ways to translate it into a term in this algebra, with different tradeoffs. We explore these tradeoffs, and present three translation algorithms. We report on a prototype implementation of these algorithms in a tool that translates Simulink models into algebra terms implemented in the Isabelle theorem prover. We test our tool on several case studies including a benchmark Simulink model by Toyota. We compare the three translation algorithms, with respect to size and readability of generated terms, simplifiability of the corresponding formulas, and other metrics.


title: The Interstellar Neutral He haze in the heliosphere: what can we learn?

abstract: Neutral interstellar helium has been observed by the Interstellar Boundary Explorer (IBEX) since 2009 with a signal-to-noise ratio well above 1000. Because of the geometry of the observations, the signal observed from January to March each year is the easiest to identify. However, as we show via simulations, the portion of the signal in the range of intensities from 10^{-3} to 10^{-2} of the peak value, previously mostly left out from the analysis, may bring important information about the details of the distribution function of interstellar He gas in front of the heliosphere. In particular, these observations may inform us about possible departures of the parent interstellar He population from equilibrium. We compare the expected distribution of the signal for the canonical assumption of a single Maxwell-Boltzmann population with the distributions for a superposition of the Maxwell-Boltzmann primary population and the recently discovered Warm Breeze, and for a single primary population given by a kappa function. We identify the regions on the sky where the differences between those cases are expected to be the most visible against the background. We discuss the diagnostic potential of the fall peak of the interstellar signal, reduced by a factor of 50 due to the Compton-Getting effect but still above the detection limit of IBEX. We point out the strong energy dependence of the fall signal and suggest that searching for this signal in the data could bring an independent assessment of the low-energy measurement threshold of the IBEX-Lo sensor.


title: PET-MRI: a review of challenges and solutions in the development of integrated multimodality imaging

abstract: The integration of positron emission tomography (PET) and magnetic resonance imaging (MRI) has been an ongoing research topic for the last 20 years. This paper gives an overview of the different developments and the technical problems associated with combining PET and MRI in one system. After explaining the different detector concepts for integrating PET-MRI and minimising interference the limitations and advantages of different solutions for the detector and system are described for preclinical and clinical imaging systems. The different integrated PET-MRI systems are described in detail. Besides detector concepts and system integration the challenges and proposed solutions for attenuation correction and the potential for motion correction and resolution recovery are also discussed in this topical review.


title: Symmetries of the Hamiltonian operator and constants of motion

abstract: It is shown that, in the framework of non-relativistic quantum mechanics, any conserved Hermitian operator (which may depend explicitly on the time) is the generator of a one-parameter group of unitary symmetries of the Hamiltonian and that, conversely, any one-parameter family of unitary symmetries of the Hamiltonian is generated by a conserved Hermitian operator.


title: Functional quantization of Generalized Scalar Duffin-Kemmer-Petiau Electrodynamics

abstract: The main goal of this work is to study systematically the quantum aspects of the interaction between scalar particles in the framework of Generalized Scalar Duffin-Kemmer-Petiau Electrodynamics (GSDKP). For this purpose the theory is quantized after a constraint analysis following Dirac's methodology by determining the Hamiltonian transition amplitude. In particular, the covariant transition amplitude is established in the generalized non-mixing Lorenz gauge. The complete Green's functions are obtained through functional methods and the theory's renormalizability is also detailed presented. Next, the radiative corrections for the Green's functions at $\alpha $-order are computed; and, as it turns out, an unexpected $m_{P}$-dependent divergence on the DKP sector of the theory is found. Furthermore, in order to show the effectiveness of the renormalization procedure on the present theory, a diagrammatic discussion on the photon self-energy and vertex part at $\alpha ^{2}$-order are presented, where it is possible to observe contributions from the DKP self-energy function, and then analyse whether or not this novel divergence propagates to higher-order contributions. Lastly, an energy range where the theory is well defined: $m^{2}\ll k^{2}<m_{p}^{2}$ was also found by evaluating the effective coupling for the GSDKP.


title: EIT-like transmission by interaction between multiple Bragg scattering and local plasmonic resonances

abstract: We study the optical properties associated to both the polariton gap and the Bragg gap in periodic resonator-waveguide coupled system, based on the temporal coupled mode theory and the transfer matrix method. By the complex band and the transmission spectrum, it is feasible to tune the interaction between multiple Bragg scattering and the local resonance, which may give rise to analogous phenomena of electromagnetically induced transparency (EIT). We further design a plasmonic slot waveguide side-coupled with local plasmonic resonator to demonstrate the EIT-like effects in the near-infared band. Numerical calculations show that realistic amount of metal Joule loss may destroy the interference and the total absorption is enhanced in the transparency windwo due to the near zero group velocity of the guiding wave.


title: Lense-Thirring precession around supermassive black holes during tidal disruption events

abstract: A tidal disruption event (TDE) occurs when a star wanders close enough to a black hole to be disrupted by its tidal force. The debris of a tidally disrupted star are expected to form an accretion disc around the supermassive black hole. The light curves of these events sometimes show a quasi-periodic modulation of the flux that can be associated with the precession of the accretion disc due to the Lense-Thirring ("frame-dragging") effect. Since the initial star orbit is in general inclined with respect to the black hole spin, this misalignment combined with the Lense-Thirring effect leads to a warp in the disc. In this paper we provide a simple model of the system composed by a thick and narrow accretion disc surrounding a spinning supermassive black hole, with the aim to: (a) compute the expected precession period as a function of the system parameters, (b) discuss the conditions that have to be satisfied in order to have rigid precession, (c) investigate the alignment process, highlighting how different mechanisms play a role leading the disc and the black hole angular momenta into alignment.


title: Harmonic and Timbre Analysis of Tabla Strokes

abstract: Indian twin drums mainly bayan and dayan (tabla) are the most important percussion instruments in India popularly used for keeping rhythm. It is a twin percussion/drum instrument of which the right hand drum is called dayan and the left hand drum is called bayan. Tabla strokes are commonly called as `bol', constitutes a series of syllables. In this study we have studied the timbre characteristics of nine strokes from each of five different tablas. Timbre parameters were calculated from LTAS of each stroke signals. Study of timbre characteristics is one of the most important deterministic approach for analyzing tabla and its stroke characteristics. Statistical correlations among timbre parameters were measured and also through factor analysis we get to know about the parameters of timbre analysis which are closely related. Tabla strokes have unique harmonic and timbral characteristics at mid frequency range and have no uniqueness at low frequency ranges.


title: Linear Context-Free Tree Languages and Inverse Homomorphisms

abstract: We prove that the class of linear context-free tree languages is not closed under inverse linear tree homomorphisms. The proof is by contradiction: we encode Dyck words into a context-free tree language and prove that its preimage under a certain linear tree homomorphism cannot be generated by any context-free tree grammar. A positive result can still be obtained: the linear monadic context-free tree languages are closed under inverse linear tree homomorphisms.


title: Mass fluxes for O-type supergiants with metallicity Z = Z_{\sun}/5

abstract: A code used previously to predict O-star mass fluxes as a function of metallicity is used to compute a grid of models with the metallicity of the Small Magellanic Cloud (SMC). These models allow mass-loss rates to be derived by interpolation for all O-type supergiants in the SMC, with the possible exception of extremely massive stars close to the Eddington limit.


title: Quantum measurement-induced antiferromagnetic order and density modulations in ultracold Fermi gases in optical lattices

abstract: Ultracold atomic systems offer a unique tool for understanding behavior of matter in the quantum degenerate regime, promising studies of a vast range of phenomena covering many disciplines from condensed matter to quantum information and particle physics. Coupling these systems to quantized light fields opens further possibilities of observing delicate effects typical of quantum optics in the context of strongly correlated systems. Measurement backaction is one of the most fundamental manifestations of quantum mechanics and it is at the core of many famous quantum optics experiments. Here we show that quantum backaction of weak measurement can be used for tailoring long-range correlations of ultracold fermions, realizing quantum states with spatial modulations of the density and magnetization, thus overcoming usual requirement for a strong interatomic interactions. We propose detection schemes for implementing antiferromagnetic states and density waves. We demonstrate that such long-range correlations cannot be realized with local addressing, and they are a consequence of the competition between global but spatially structured backaction of weak quantum measurement and unitary dynamics of fermions.

categories: quant-ph cond-mat.quant-gas physics.atom-ph physics.optics


title: The Blanchet-Khovanov algebras

abstract: Blanchet introduced certain singular cobordisms to fix the functoriality of Khovanov homology. In this paper we introduce graded algebras consisting of such singular cobordisms \`a la Blanchet. As the main result we give algebraic versions of these algebras using the combinatorics of arc diagrams.


title: Adjunctions of quasi-functors between dg-categories

abstract: We study right quasi-representable differential graded bimodules as quasi-functors between dg-categories. We prove that a quasi-functor has a left adjoint if and only if it is left quasi-representable.


title: Univalence criterion for harmonic mappings and $\Phi$-like functions

abstract: In this paper, we obtain a new characterization for univalent harmonic mappings and obtain a structural formula for the associated function which defines the analytic $\Phi$-like functions in the unit disk. The new criterion stated in this article for the injectivity of harmonic mappings implies the well-known results of Kas'yanyuk \cite{Kas59} and Brickman \cite{Brick73} for analytic functions, but with a simpler proof than theirs. A number of consequences of the characterization, and examples are also presented. Further investigation provides a new method to construct univalent harmonic mappings with the help of an improved distortion theorem.


title: $\epsilon$-Expansion in the Gross-Neveu Model from Conformal Field Theory

abstract: We compute the anomalous dimensions of a class of operators of the form $(\bar\psi\psi)^p$ and $(\bar\psi\psi)^p\psi$ to leading order in $\epsilon$ in the Gross-Neveu model in $2+\epsilon$ dimensions. We use the techniques developed in arXiv: 1505.00963.


title: Cayley structures on $S^6$ as a twistor bundle sections

abstract: The nearly K\"{a}hler structures on the 6-sphere, as a twistor bundle sections are researched. We show that for any point of twistor bundle there exists an 1-parametric family of sections, passing through the point, which give nearly K\"{a}hler structures on the round sphere. Some properties of those sections are found.


title: Notes on diagonals of the product and symmetric variety of a surface

abstract: Let $X$ be a smooth quasi-projective algebraic surface and let $\Delta_n$ the big diagonal in the product variety $X^n$. We study cohomological properties of the ideal sheaves $\mathcal{I}^k_{\Delta_n}$ and their invariants $(\mathcal{I}^k_{\Delta_n})^{\mathfrak{S}_n}$ by the symmetric group, seen as ideal sheaves over the symmetric variety $S^nX$. In particular we obtain resolutions of the sheaves of invariants $(\mathcal{I}_{\Delta_n})^{\mathfrak{S}_n}$ for $n = 3,4$ in terms of invariants of sheaves over $X^n$ whose cohomology is easy to calculate. Moreover, we relate, via the Bridgeland-King-Reid equivalence, powers of determinant line bundles over the Hilbert scheme to powers of ideals of the big diagonal $\Delta_n$. We deduce applications to the cohomology of double powers of determinant line bundles over the Hilbert scheme with $3$ and $4$ points and we give universal formulas for their Euler-Poincar\'e characteristic. Finally, we obtain upper bounds for the regularity of the sheaves $\mathcal{I}^k_{\Delta_n}$ over $X^n$ with respect to very ample line bundles of the form $L \boxtimes \cdots \boxtimes L$ and of their sheaves of invariants $( \mathcal{I}^k_{\Delta_n})^{\mathfrak{S}_n}$ on the symmetric variety $S^nX$ with respect to very ample line bundles of the form $\mathcal{D}_L$.


title: Determining the QCD coupling from lattice vacuum polarization

abstract: The QCD coupling appears in the perturbative expansion of the current-current two-point (vacuum polarization) function. Any lattice calculation of vacuum polarization is plagued by several competing non-perturbative effects at small momenta and by discretization errors at large momenta. We work in an intermediate region, computing the vacuum polarization for many off-axis momentum directions on the lattice. Having many momentum directions provides a way to monitor and account for lattice artifacts. Our results are competitive with, and have certain systematic advantages over, the alternate phenomenological determination of the strong coupling from the same light quark vacuum polarization produced by sum rule analyses of hadronic tau decay data.


title: Free-space reconfigurable quantum key distribution network

abstract: We propose a free-space reconfigurable quantum key distribution (QKD) network to secure communication among mobile users. Depends on the trustworthiness of the network relay, the users can implement either the highly secure measurement-device-independent QKD, or the highly efficient decoy state BB84 QKD. Based on the same quantum infrastructure, we also propose a loss tolerant quantum position verification scheme, which could allow the QKD users to initiate the QKD process without relying on pre-shared key.


title: Four ways to justify temporal memory operators in the lossy wave equation

abstract: Attenuation of ultrasound often follows near power laws which cannot be modeled with conventional viscous or relaxation wave equations. The same is often the case for shear wave propagation in tissue also. More general temporal memory operators in the wave equation can describe such behavior. They can be justified in four ways: 1) Power laws for attenuation with exponents other than two correspond to the use of convolution operators with a temporal memory kernel which is a power law in time. 2) The corresponding constitutive equation is also a convolution, often with a temporal power law function. 3) It is also equivalent to an infinite set of relaxation processes which can be formulated via the complex compressibility. 4) The constitutive equation can also be expressed as an infinite sum of higher order derivatives. An extension to longitudinal waves in a nonlinear medium is also provided.


title: Diffusions conditioned on occupation measures

abstract: A Markov process fluctuating away from its typical behavior can be represented in the long-time limit by another Markov process, called the effective or driven process, having the same stationary states as the original process conditioned on the fluctuation observed. We construct here this driven process for diffusions spending an atypical fraction of their evolution in some region of state space, corresponding mathematically to stochastic differential equations conditioned on occupation measures. As an illustration, we consider the Langevin equation conditioned on staying for a fraction of time in different intervals of the real line, including the positive half-line which leads to a generalization of the Brownian meander problem. Other applications related to quasi-stationary distributions, metastable states, noisy chemical reactions, queues, and random walks are discussed.


title: Jet schemes and minimal toric embedded resolutions of rational double point singularities

abstract: Using the structure of the jet schemes of rational double point singularities, we construct "minimal embedded toric resolutions" of these singularities. We also establish, for these singularities, a correspondence between a natural class of irreducible components of the jet schemes centered at the singular locus and the set of divisors which appear on every "minimal embedded toric resolution". We prove that this correspondence is bijective except for the $E_8$ singulartiy. This can be thought as an embedded Nash correspondence for rational double point singularities.


title: High-performance implementation of Chebyshev filter diagonalization for interior eigenvalue computations

abstract: We study Chebyshev filter diagonalization as a tool for the computation of many interior eigenvalues of very large sparse symmetric matrices. In this technique the subspace projection onto the target space of wanted eigenvectors is approximated with filter polynomials obtained from Chebyshev expansions of window functions. After the discussion of the conceptual foundations of Chebyshev filter diagonalization we analyze the impact of the choice of the damping kernel, search space size, and filter polynomial degree on the computational accuracy and effort, before we describe the necessary steps towards a parallel high-performance implementation. Because Chebyshev filter diagonalization avoids the need for matrix inversion it can deal with matrices and problem sizes that are presently not accessible with rational function methods based on direct or iterative linear solvers. To demonstrate the potential of Chebyshev filter diagonalization for large-scale problems of this kind we include as an example the computation of the $10^2$ innermost eigenpairs of a topological insulator matrix with dimension $10^9$ derived from quantum physics applications.


title: Phenomenological investigation of a quantum gravity extension of inflation with the Starobinsky potential

abstract: We investigate the pre-inflationary dynamics of inflation with the Starobinsky potential, favored by recent data from the Planck mission, using techniques developed to study cosmological perturbations on quantum spacetimes in the framework of loop quantum cosmology. We find that for a large part of the initial data, inflation compatible with observations occurs. There exists a subset of this initial data that leads to quantum gravity signatures that are potentially observable. Interestingly, despite the different inflationary dynamics, these quantum gravity corrections to the powerspectra are similar to those obtained for inflation with a quadratic potential, including suppression of power at large scales. Furthermore, for super horizon modes the tensor modes show deviations from the standard inflationary paradigm that are unique to the Starobinsky potential and could be important for non-Gaussian modulation and tensor fossils.


title: Measuring the disorder of vortex lattices in a Bose-Einstein condensate

abstract: We report observations of the formation and subsequent decay of a vortex lattice in a Bose-Einstein condensate confined in a hybrid optical-magnetic trap. Vortices are induced by rotating the anharmonic magnetic potential that provides confinement in the horizontal plane. We present simple numerical techniques based on image analysis to detect vortices and analyze their distributions. We use these methods to quantify the amount of order present in the vortex distribution as it transitions from a disordered array to the energetically favorable ordered lattice.


title: The route to magnetic order in the spin-$1/2$ kagome Heisenberg antiferromagnet: The role of interlayer coupling

abstract: While the existence of a spin-liquid ground state of the spin-1/2 kagome Heisenberg antiferromagnet (KHAF) is well established, the discussion of the effect of an interlayer coupling (ILC) by controlled theoretical approaches is still lacking. Here we study this problem by using the coupled-cluster method to high orders of approximation. We consider a stacked KHAF with a perpendicular ILC $J_\perp$, where we study ferro- as well as antiferromagnetic $J_\perp$. We find that the spin-liquid ground state (GS) persists until relatively large strengths of the ILC. Only if the strength of the ILC exceeds about 15\% of the intralayer coupling the spin-liquid phase gives way for $q=0$ magnetic long-range order, where the transition between both phases is continuous and the critical strength of the ILC, $|J^c_\perp|$, is almost independent of the sign of $J_\perp$. Thus, by contrast to the quantum GS selection of the strictly two-dimensional KHAF at large spin $s$, the ILC leads first to a selection of the $q=0$ GS. Only at larger $|J_\perp|$ the ILC drives a first-order transition to the $\sqrt{3}\times\sqrt{3}$ long-range ordered GS. As a result, the stacked spin-1/2 KHAF exhibits a rich GS phase diagram with two continuous and two discontinuous transitions driven by the ILC.


title: Nonlinear PDEs risen when solving some optimization problems in finance, and their solutions

abstract: We consider a specific type of nonlinear partial differential equations (PDE) that appear in mathematical finance as the result of solving some optimization problems. We review some existing in the literature examples of such problems, and discuss the properties of these PDEs. We also demonstrate how to solve them numerically in a general case, and analytically in some particular case.


title: Cosmicflows Constrained Local UniversE Simulations

abstract: This paper combines observational datasets and cosmological simulations to generate realistic numerical replicas of the nearby Universe. These latter are excellent laboratories for studies of the non-linear process of structure formation in our neighborhood. With measurements of radial peculiar velocities in the Local Universe (cosmicflows-2) and a newly developed technique, we produce Constrained Local UniversE Simulations (CLUES). To assess the quality of these constrained simulations, we compare them with random simulations as well as with local observations. The cosmic variance, defined as the mean one-sigma scatter of cell-to-cell comparison between two fields, is significantly smaller for the constrained simulations than for the random simulations. Within the inner part of the box where most of the constraints are, the scatter is smaller by a factor 2 to 3 on a 5 Mpc/h scale with respect to that found for random simulations. This one-sigma scatter obtained when comparing the simulated and the observation-reconstructed velocity fields is only 104 +/- 4 km/s i.e. the linear theory threshold. These two results demonstrate that these simulations are in agreement with each other and with the observations of our neighborhood. For the first time, simulations constrained with observational radial peculiar velocities resemble the Local Universe up to a distance of 150 Mpc/h on a scale of a few tens of megaparsecs. When focusing on the inner part of the box, the resemblance with our cosmic neighborhood extends to a few megaparsecs (< 5 Mpc/h). The simulations provide a proper Large Scale environment for studies of the formation of nearby objects.


title: Deeply Embedded Protostellar Population in the 20 km s-1 Cloud of the Central Molecular Zone

abstract: We report the discovery of a population of deeply embedded protostellar candidates in the 20 km s$^{-1}$ cloud, one of the massive molecular clouds in the Central Molecular Zone (CMZ) of the Milky Way, using interferometric submillimeter continuum and H$_2$O maser observations. The submillimeter continuum emission shows five 1-pc scale clumps, each of which further fragments into several 0.1-pc scale cores. We identify 17 dense cores, among which 12 are gravitationally bound. Among the 18 H$_2$O masers detected, 13 coincide with the cores and probably trace outflows emanating from the protostars. There are also 5 gravitationally bound dense cores without H$_2$O maser detection. In total the 13 masers and 5 cores may represent 18 protostars with spectral types later than B1 or potential growing more massive stars at earlier evolutionary stage, given the non-detection in the centimeter radio continuum. In combination with previous studies of CH$_3$OH masers, we conclude that the star formation in this cloud is at an early evolutionary phase, before the presence of any significant ionizing or heating sources. Our findings indicate that star formation in this cloud may be triggered by a tidal compression as it approaches pericenter, similar to the case of G0.253+0.016 but with a higher star formation rate, and demonstrate that high angular resolution, high sensitivity maser and submillimeter observations are a promising technique to unveil deeply embedded star formation in the CMZ.


title: Orbital Selective Directional Conductor in the Two Orbital Hubbard Model

abstract: Employing a recently developed many-body technique that allows for the incorporation of thermal effects, the rich phase diagram of a two dimensional two orbital (degenerate $d_{xz}$ and $d_{yz}$) Hubbard model is presented varying temperature and the repulsion $U$. Our main result is the finding at intermediate $U$ of a novel antiferromagnetic orbital selective state where an effective dimensional reduction renders one direction insulating and the other metallic. Possible realizations of this state are discussed. In addition we also study nematicity above the N\'eel temperature. After a careful finite-size scaling analysis the nematicity temperature window appears to survive in the bulk limit although it is very narrow.


title: Kinematics of M dwarfs in the CARMENES input catalogue: membership in young moving groups

abstract: We present a detailed study of the kinematics of M dwarfs in the CARMENES (Calar Alto high-Resolution search for M dwarfs with Exoearths with Near-infrared and optical Echelle Spectrographs) input catalog. We have selected all M dwarfs with known parallactic distance or a good photometric distance estimation, precise proper motion in the literature or as determined by us, and radial velocity measurements. Using these parameters, we computed the M dwarfs galactic space motions (U, V, W). For the stars with U and V velocity components inside or near the boundaries that determine the young disk population, we have analyzed the possible membership in the classical moving groups and nearby loose associations with ages between 10 and 600 Ma. For the candidate members, we have compiled information available in the literature in order to constrain their membership by applying other age-dating methods.


title: Ideals of bounded rank symmetric tensors are generated in bounded degree

abstract: Over a field of characteristic zero, we prove that for each r, there exists a constant C(r) so that the prime ideal of the rth secant variety of any Veronese embedding of any projective space is generated by polynomials of degree at most C(r). The main idea is to consider the coordinate ring of all of the ambient spaces of the Veronese embeddings at once by endowing it with the structure of a Hopf ring, and to show that its ideals are finitely generated. We also prove a similar statement for partial flag varieties and, in fact, arbitrary projective schemes, and we also get multi-graded versions of these results.


title: Robust Partially-Compressed Least-Squares

abstract: Randomized matrix compression techniques, such as the Johnson-Lindenstrauss transform, have emerged as an effective and practical way for solving large-scale problems efficiently. With a focus on computational efficiency, however, forsaking solutions quality and accuracy becomes the trade-off. In this paper, we investigate compressed least-squares problems and propose new models and algorithms that address the issue of error and noise introduced by compression. While maintaining computational efficiency, our models provide robust solutions that are more accurate--relative to solutions of uncompressed least-squares--than those of classical compressed variants. We introduce tools from robust optimization together with a form of partial compression to improve the error-time trade-offs of compressed least-squares solvers. We develop an efficient solution algorithm for our Robust Partially-Compressed (RPC) model based on a reduction to a one-dimensional search. We also derive the first approximation error bounds for Partially-Compressed least-squares solutions. Empirical results comparing numerous alternatives suggest that robust and partially compressed solutions are effectively insulated against aggressive randomized transforms.


title: FRG Approach to Nuclear Matter at Extreme Conditions

abstract: Functional renormalization group (FRG) is an exact method for taking into account the effect of quantum fluctuations in the effective action of the system. The FRG method applied to effective theories of nuclear matter yields equation of state which incorporates quantum fluctuations of the fields. Using the local potential approximation (LPA) the equation of state for Walecka-type models of nuclear matter under extreme conditions could be determined. These models can be tested by solving the corresponding Tolman--Oppenheimer--Volkov (TOV) equations and investigating the properties (mass and radius) of the corresponding compact star models. Here, we present the first steps on this way, we obtained a Maxwell construction within the FRG-based framework using a Walecka-type Lagrangian.


title: Large anharmonic effect and thermal expansion anisotropy of metal chalcogenides: The case of antimony sulfide

abstract: We derive a compact matrix expression for the linear thermal expansion coefficients (TECs) for a general orthorhombic system which relates the elastic properties and the integrated quantities based on deformation and mode dependent Gruneisen parameters and mode dependent heat capacities. The density of Gruneisen parameters $\Gamma(\nu)$ as a function of frequency $\nu$, weighted by the number of phonon modes, is introduced and found to be insightful in interpreting the TEC results. Using density-functional perturbation theory and Gruneisen formalism for thermal expansion, we illustrate the general usefulness of this method by calculating the linear and volumetric TECs of a low-symmetry orthorhombic compound antimony sulfide (Sb2S3), a compound belonging to a large class of technologically and fundamentally important materials. Even though negative Gruneisen parameters are found for deformations in all three crystal directions, the $\Gamma(\nu)$ data rule out the occurrences of negative TECs at all temperatures. Sb2S3 exhibits a large thermal expansion anisotropy where the TEC in the $b$ direction can reach as high as $13\times 10^{-6}$~(1/K) at high temperatures, about two and seven times larger than the TECs in the $c$ and $a$ direction, respectively. Our work suggests a general and practical first-principles approach to calculate the thermal properties of other complicated low-symmetry systems.


title: No Spare Parts: Sharing Part Detectors for Image Categorization

abstract: This work aims for image categorization using a representation of distinctive parts. Different from existing part-based work, we argue that parts are naturally shared between image categories and should be modeled as such. We motivate our approach with a quantitative and qualitative analysis by backtracking where selected parts come from. Our analysis shows that in addition to the category parts defining the class, the parts coming from the background context and parts from other image categories improve categorization performance. Part selection should not be done separately for each category, but instead be shared and optimized over all categories. To incorporate part sharing between categories, we present an algorithm based on AdaBoost to jointly optimize part sharing and selection, as well as fusion with the global image representation. We achieve results competitive to the state-of-the-art on object, scene, and action categories, further improving over deep convolutional neural networks.


title: Influence of the lighting on Fast Atom Diffraction studied via a semi-quantum approach

abstract: The influence of the collimating conditions of the incident beam on diffraction patterns produced by grazing scattering of fast atoms off crystal surfaces is studied within a semi-quantum approach, named Surface Initial Value Representation (SIVR) approximation. In this approach we incorporate a realistic description of the incident particle in terms of the collimating parameters, which determine the surface area that is coherently illuminated. The model is applied to He atoms colliding with a LiF(001) surface after passing through a rectangular aperture. As it was experimentally observed [1], SIVR spectra as a function of the azimuthal angle are very sensitive to the width of the collimating slit. We also found that the length of the collimating aperture affects polar angle distributions, introducing additional interference structures for the longer collimating slits.