title: Newton-Type Iterative Solver for Multiple View $L2$ Triangulation

abstract: In this note, we show that the L2 optimal solutions to most real multiple view L2 triangulation problems can be efficiently obtained by two-stage Newton-like iterative methods, while the difficulty of such problems mainly lies in how to verify the L2 optimality. Such a working two-stage bundle adjustment approach features: first, the algorithm is initialized by symmedian point triangulation, a multiple-view generalization of the mid-point method; second, a symbolic-numeric method is employed to compute derivatives accurately; third, globalizing strategy such as line search or trust region is smoothly applied to the underlying iteration which assures algorithm robustness in general cases. Numerical comparison with tfml method shows that the local minimizers obtained by the two-stage iterative bundle adjustment approach proposed here are also the L2 optimal solutions to all the calibrated data sets available online by the Oxford visual geometry group. Extensive numerical experiments indicate the bundle adjustment approach solves more than 99% the real triangulation problems optimally. An IEEE 754 double precision C++ implementation shows that it takes only about 0.205 second tocompute allthe 4983 points in the Oxford dinosaur data setvia Gauss-Newton iteration hybrid with a line search strategy on a computer with a 3.4GHz Intel i7 CPU.


title: Which one is better: presentation-based or content-based math search?

abstract: Mathematical content is a valuable information source and retrieving this content has become an important issue. This paper compares two searching strategies for math expressions: presentation-based and content-based approaches. Presentation-based search uses state-of-the-art math search system while content-based search uses semantic enrichment of math expressions to convert math expressions into their content forms and searching is done using these content-based expressions. By considering the meaning of math expressions, the quality of search system is improved over presentation-based systems.


title: New Coherence and RIP Analysis for Weak Orthogonal Matching Pursuit

abstract: In this paper we define a new coherence index, named the global 2-coherence, of a given dictionary and study its relationship with the traditional mutual coherence and the restricted isometry constant. By exploring this relationship, we obtain more general results on sparse signal reconstruction using greedy algorithms in the compressive sensing (CS) framework. In particular, we obtain an improved bound over the best known results on the restricted isometry constant for successful recovery of sparse signals using orthogonal matching pursuit (OMP).


title: Quantum and classical correlations in the solid-state NMR free induction decay

abstract: The free-induction decay (FID) of the transverse magnetization in a dipolar-coupled rigid lattice is a fundamental problem in magnetic resonance and in the theory of many-body systems. As it was shown earlier the FID shapes for the systems of classical magnetic moments and for quantum nuclear spins ones coincide if there are many quite equivalent nearest neighbors V in a solid lattice. In this paper, we reduce a multispin density matrix of above system to a two-spin matrix. Then we obtain analytic expressions for the mutual information and the quantum and classical parts of correlations at the arbitrary spin quantum number S, in the high-temperature approximation. The time dependence of these functions is expressed via the derivative of the FID shape. To extract classical correlations for S>1/2 we provide generalized POVM measurement using the basis of spin coherent states. We show that in every pair of spins the portion of quantum correlations changes from 1/2 to 1/(S+1) when S is growing up, and quantum properties disappear completely only if S tend to infinity and not in the case when V tend to infinity.


title: The Euler characteristic of an enriched category

abstract: We define Euler characteristic of a category enriched by a monoidal model category. If a monoidal model category V is equipped with Euler characteristic that is compatible with weak equivalences and fibrations in V, then our Euler characteristic is also compatible with weak equivalences and fibrations in the model structure induced by that of V. In particular, we focus on the case of topological categories; that is, categories enriched by the category of topological spaces. As its application, we obtain the ordinary Euler characteristic of a cellular stratified space X by computing the Euler characteristic of the face category C(X) induced from X.


title: Quasi-freestanding monolayer heterostructure of graphene and hexagonal boron nitride on Ir(111) with a chiral boundary

abstract: Monolayer lateral heterostructure of graphene and hexagonal boron nitride (h-BNC) has attracted a growing attention mainly due to its tunable band-gap character and unique physical properties at interface. Hereby, we reported the first-time synthesis of a nearly freestanding h-BNC hybrid on a weakly coupled substrate of Ir (111), where graphene and h-BN possessing different surface heights and corrugations formed a perfect monolayer hybrid. With the aid of scanning tunneling microscopy/spectroscopy (STM/STS), we demonstrated that h-BN can patch alongside the boundary of pre-deposited graphene domains and vice versa to form a seamless monolayer hybrid, with the realization of predominant zigzag type chiral boundaries at the interface. Density-functional theory calculations and STM/STS measurements aided us to reveal that this interface between graphene and h-BN were atomically sharp in aspects of the chemical bonding as well as the local electronic property from both theoretical and experimental points of view.


title: Directional Scaling Symmetry of High-symmetry Two-dimensional Lattices

abstract: Two-dimensional lattices provide the arena for many physics problems of essential importance, a non-trivial symmetry in such lattices will help to reveal the underlying physics. Whether there is a directional scaling for the 2D lattices is a longstanding puzzle. Here we report the discovery and proof of directional scaling symmetry for high symmetry 2D lattices, i.e., the square lattice, the equilateral triangular lattice and thus the honeycomb lattice, with the aid of the function , where x is either the platinum number or the silver number , which are related to the 12-fold and 8-fold quasiperiodic structures, respectively. The directions and the corresponding scaling factors for the symmetric scaling transformation are determined. The revealed scaling symmetry may have a bearing on the various physical problems modeled on 2D lattices, and the function adopted here can be used to generate quasiperiodic lattices with enumeration of lattice points. Our result is expected to initiate the search of directional scaling symmetry in more complicated geometries.


title: Existence and Stability of Solutions to Non-Lipschitz Stochastic Differential Equations Driven by L\'evy Noise

abstract: In this paper, the successive approximation method is applied to investigate the existence and uniqueness of solutions to the stochastic differential equations (SDEs) driven by L\'evy noise under non-Lipschitz condition which is a much weaker condition than Lipschiz one. The stability of the solutions to non-Lipschitz SDEs driven by L\'evy noise is also considered, and the stochastic stability is obtained in the sense of mean square.


title: On the Nash Stability in the Hedonic Coalition Formation Games

abstract: This paper studies the Nash stability in hedonic coalition formation games. We address the following issue: for a general problem formulation, is there any utility allocation method ensuring a Nash-stable partition? We propose the definition of the Nash-stable core. We study the conditions for having a non-empty Nash-stable core. More precisely, we show how relaxed efficiency in utility sharing method allows to ensure a non-empty Nash-stable core.


title: Group With Maximum Undirected Edges in Directed Power Graph Among All Finite Non-Cyclic Nilpotent Groups

abstract: In [Curtin and Pourgholi, A group sum inequality and its application to power graphs, J. Algebraic Combinatorics, 2014], it is proved that among all directed power graphs of groups of a given order $ n $, the directed power graph of cyclic group of order $ n $ has the maximum number of undirected edges. In this paper, we continue their work and we determine a non-cyclic nilpotent group of an odd order $ n $ whose directed power graph has the maximum number of undirected edges among all non-cyclic nilpotent groups of order $n$. We next determine non-cyclic $p$-groups whose undirected power graphs have the maximum number of edges among all groups of the same order.


title: Grounding Bound Founded Answer Set Programs

abstract: To appear in Theory and Practice of Logic Programming (TPLP) Bound Founded Answer Set Programming (BFASP) is an extension of Answer Set Programming (ASP) that extends stable model semantics to numeric variables. While the theory of BFASP is defined on ground rules, in practice BFASP programs are written as complex non-ground expressions. Flattening of BFASP is a technique used to simplify arbitrary expressions of the language to a small and well defined set of primitive expressions. In this paper, we first show how we can flatten arbitrary BFASP rule expressions, to give equivalent BFASP programs. Next, we extend the bottom-up grounding technique and magic set transformation used by ASP to BFASP programs. Our implementation shows that for BFASP problems, these techniques can significantly reduce the ground program size, and improve subsequent solving.


title: Weakly Coupled Dynamic Program: Information and Lagrangian Relaxations

abstract: "Weakly coupled dynamic program" describes a broad class of stochastic optimization problems in which multiple controlled stochastic processes evolve independently but subject to a set of linking constraints imposed on the controls. One feature of the weakly coupled dynamic program is that it decouples into lower-dimensional dynamic programs by dualizing the linking constraint via the Lagrangian relaxation, which also yields a bound on the optimal value of the original dynamic program. Together with the Lagrangian bound, we utilize the information relaxation approach that relaxes the non-anticipative constraint on the controls to obtain a tighter dual bound. We also investigate other combinations of the relaxations and place the resulting bounds in order. To tackle large-scale problems, we further propose a computationally tractable method based on information relaxation, and provide insightful interpretation and performance guarantee. We implement our method and demonstrate its use through two numerical examples.


title: Explanation of Superluminal Phenomena Based on Wave-Particle Duality and Proposed Optical Experiments

abstract: An explanation for superluminal phenomena based on wave-particle duality of photons is suggested. A single photon may be regarded as a wave packet, whose spatial extension is its coherence volume. As a photon propagates as a wave train in vacuum, its velocity is just the speed of light. When it tunnels through a barrier as a particle, its wave function collapses and it will travel faster than light. Superluminal motion can occur only within the coherence length and the time constrained by uncertainty principle. A massive particle cannot be superluminal during the tunneling process. So superluminality does not violate causality. As for the superluminal and negative group velocities in anomalously dispersive medium, they are merely reshaping effect of the pulse, and they will become subluminal at large distances. A couple of experiments are proposed to test the superluminal phenomena.


title: A Well-Founded Semantics for FOL-Programs

abstract: An FOL-program consists of a background theory in a decidable fragment of first-order logic and a collection of rules possibly containing first-order formulas. The formalism stems from recent approaches to tight integrations of ASP with description logics. In this paper, we define a well-founded semantics for FOL-programs based on a new notion of unfounded sets on consistent as well as inconsistent sets of literals, and study some of its properties. The semantics is defined for all FOL-programs, including those where it is necessary to represent inconsistencies explicitly. The semantics supports a form of combined reasoning by rules under closed world as well as open world assumptions, and it is a generalization of the standard well-founded semantics for normal logic programs. We also show that the well-founded semantics defined here approximates the well-supported answer set semantics for normal DL programs.


title: Generalized Donaldson-Thomas invariants on the local projective plane

abstract: We show that the generating series of generalized Donaldson-Thomas invariants on the local projective plane with any positive rank is described in terms of modular forms and theta type series for indefinite lattices. In particular it absolutely converges to give a holomorphic function on the upper half plane.


title: Bound Founded Answer Set Programming

abstract: Answer Set Programming (ASP) is a powerful modelling formalism that is very efficient in solving combinatorial problems. ASP solvers implement the stable model semantics that eliminates circular derivations between Boolean variables from the solutions of a logic program. Due to this, ASP solvers are better suited than propositional satisfiability (SAT) and Constraint Programming (CP) solvers to solve a certain class of problems whose specification includes inductive definitions such as reachability in a graph. On the other hand, ASP solvers suffer from the grounding bottleneck that occurs due to their inability to model finite domain variables. Furthermore, the existing stable model semantics are not sufficient to disallow circular reasoning on the bounds of numeric variables. An example where this is required is in modelling shortest paths between nodes in a graph. Just as reachability can be encoded as an inductive definition with one or more base cases and recursive rules, shortest paths between nodes can also be modelled with similar base cases and recursive rules for their upper bounds. This deficiency of stable model semantics introduces another type of grounding bottleneck in ASP systems that cannot be removed by naively merging ASP with CP solvers, but requires a theoretical extension of the semantics from Booleans and normal rules to bounds over numeric variables and more general rules. In this work, we propose Bound Founded Answer Set Programming (BFASP) that resolves this issue and consequently, removes all types of grounding bottleneck inherent in ASP systems.


title: A Scale-Free Topology Construction Model for Wireless Sensor Networks

abstract: A local-area and energy-efficient (LAEE) evolution model for wireless sensor networks is proposed. The process of topology evolution is divided into two phases. In the first phase, nodes are distributed randomly in a fixed region. In the second phase, according to the spatial structure of wireless sensor networks, topology evolution starts from the sink, grows with an energy-efficient preferential attachment rule in the new node's local-area, and stops until all nodes are connected into network. Both analysis and simulation results show that the degree distribution of LAEE follows the power law. This topology construction model has better tolerance against energy depletion or random failure than other non-scale-free WSN topologies.


title: Electron Energy-Loss Spectroscopy: A versatile tool for the investigations of plasmonic excitations

abstract: The inelastic scattering of electrons is one route to study the vibrational and electronic properties of materials. Such experiments, also called electron energy-loss spectroscopy, are particularly useful for the investigation of the collective excitations in metals, the charge carrier plasmons. These plasmons are characterized by a specific dispersion (energy-momentum relationship), which contains information on the sometimes complex nature of the conduction electrons in topical materials. In this review we highlight the improvements of the electron energy-loss spectrometer in the last years, summarize current possibilities with this technique, and give examples where the investigation of the plasmon dispersion allows insight into the interplay of the conduction electrons with other degrees of freedom.


title: Superoperator coupled cluster method for nonequilibrium density matrix

abstract: We develop a superoperator coupled cluster method for nonequilibrium open many-body quantum systems described by the Lindblad master equation. The method is universal and applicable to systems of interacting fermions, bosons or their mixtures. We present a general theory and consider its application to the problem of quantum transport through the system with electron-phonon correlations. The results are assessed against the perturbation theory and nonequilibrium configuration interaction theory calculations.


title: Modular Cryogenic Interconnects for Multi-Qubit Devices

abstract: We have developed a modular interconnect platform for the control and readout of multiple solid-state qubits at cryogenic temperatures. The setup provides 74 filtered dc-bias connections, 32 control and readout connections with a bandwidth above 5 GHz, and 4 microwave feed lines that allow operation to above 10 GHz. The incorporation of a radio-frequency (rf) interposer enables the platform to be separated into two printed circuit boards, decoupling the simple board that is bonded to the qubit chip from the multilayer board that incorporates expensive connectors and components. This modular approach lifts the burden of duplicating complex interconnect circuits for every prototype device. We report the performance of this platform at milli-Kelvin temperatures, including signal transmission and crosstalk measurements.


title: Simultaneous Resonant Excitation of Low-frequency Eccentric Wave and Tilt Wave on Tidally Deformed Disks

abstract: Simultaneous excitation of low-frequency eccentric precessing mode (one-armed p-mode) and tilt mode on tidally deformed disks is considered. If the orbit of the secondary star is eccentric and its orbital plane is misaligned with the disk plane of the primary, the above-mentioned two low-frequency oscillation modes are simultaneously excited on the primary disk, the former having prograte precession and the latter having retrograde precession. This excitation of disk oscillations is due to a wave-wave resonant excitation process considered by Kato (2013). If parameter values relevant to Be/X-ray binary systems are adopted, the periods of these excited oscillations are around ten times of the orbital period of the secondary, which may be comparable with the time scale of giant outbursts observed in Be/X-ray systems.


title: Breakdown of QCD Factorization for P-Wave Quarkonium Production at Low Transverse Momentum

abstract: Quarkonium production at low transverse momentum in hadron collisions can be used to extract Transverse-Momentum-Dependent(TMD) gluon distribution functions, if TMD factorization holds there. We show that TMD factorization for the case of P-wave quarkonium with $J^{PC}=0^{++}, 2^{++}$ holds at one-loop level, but is violated beyond one-loop level. TMD factorization for other P-wave quarkonium is also violated already at one-loop.


title: Birational geometry via moduli spaces

abstract: In this paper we connect degenerations of Fano threefolds by projections. Using Mirror Symmetry we transfer these connections to the side of Landau--Ginzburg models. Based on that we suggest a generalization of Kawamata's categorical approach to birational geometry enhancing it via geometry of moduli spaces of Landau--Ginzburg models. We suggest a conjectural application to Hasset--Kuznetsov--Tschinkel program based on new nonrationality "invariants" we consider --- gaps and phantom categories. We make several conjectures for these invariants in the case of surfaces of general type and quadric bundles.


title: Gorenstein derived functors from special rings to arbitrary rings

abstract: In this note, we mainly extend some Gorenstein homological properties from special rings (Noetherian or coherent rings ) to arbitrary rings by introducing the notions of Gorenstein weak injective and weak projective modules respectively.


title: Probabilistic Argumentation with Epistemic Extensions and Incomplete Information

abstract: Abstract argumentation offers an appealing way of representing and evaluating arguments and counterarguments. This approach can be enhanced by a probability assignment to each argument. There are various interpretations that can be ascribed to this assignment. In this paper, we regard the assignment as denoting the belief that an agent has that an argument is justifiable, i.e., that both the premises of the argument and the derivation of the claim of the argument from its premises are valid. This leads to the notion of an epistemic extension which is the subset of the arguments in the graph that are believed to some degree (which we defined as the arguments that have a probability assignment greater than 0.5). We consider various constraints on the probability assignment. Some constraints correspond to standard notions of extensions, such as grounded or stable extensions, and some constraints give us new kinds of extensions.


title: Perceptions of International Female Students Towards E-learning in Resolving High Education and Family Role Strain

abstract: It is a common phenomenon for many mature female international students enrolled in high education overseas to experience strain from managing conflicting roles of student and family, and difficulties of cross-cultural adjustment. The purpose of this study is to examine perceptions and behavioral intentions of international female students towards e-learning as a tool for resolving overseas high education and family strain from a technology acceptance standpoint. To achieve this goal, Davis's (1989) technology acceptance model is used as the study's conceptual framework, to investigate perceived usefulness, ease of use and behavioral intentions towards e-learning. The research draws on face-to-face interviews with 21 female international students enrolled in classroom taught degree programs at a university in Wuhan, China. The data is analyzed through coding and transcribing. The findings reveal that given its convenience, e-learning is generally perceived as practical in balancing study with family as well as feasible in saving time, money and energy. However, key concerns were raised over the issues of poor and costly Internet connectivity in developing countries, as well as perceived negative reputation, lack of face-to-face interaction and lack of motivation in online environment. Important issues and recommendations are raised for consideration when promoting e-learning programme. This study emphasis on the need to revisit gender supporting policies and effective marketing to re-position the prevailing image of e-learning as a reputable and reliable education delivery method.


title: The "crisis of noosphere" as a limiting factor to achieve the point of technological singularity

abstract: One of the most significant developments in the history of human being is the invention of a way of keeping records of human knowledge, thoughts and ideas. In 1926, the work of several thinkers such as Edouard Le Roy, Vladimir Vernadsky and Teilhard de Chardin led to the concept of noosphere, thus the idea that human cognition and knowledge transforms the biosphere coming to be something like the planet's thinking layer. At present, is commonly accepted by some thinkers that the Internet is the medium that brings life to noosphere. According to Vinge and Kurzweil's technological singularity hypothesis, noosphere would be in the future the natural environment in which 'human-machine superintelligence' emerges after to reach the point of technological singularity. In this paper we show by means of a numerical model the impossibility that our civilization reaches the point of technological singularity in the near future. We propose that this point may be reached when Internet data centers are based on "computer machines" to be more effective in terms of power consumption than current ones. We speculate about what we have called 'Nooscomputer' or N-computer a hypothetical machine which would consume far less power allowing our civilization to reach the point of technological singularity.


title: Learning rates for the risk of kernel based quantile regression estimators in additive models

abstract: Additive models play an important role in semiparametric statistics. This paper gives learning rates for regularized kernel based methods for additive models. These learning rates compare favourably in particular in high dimensions to recent results on optimal learning rates for purely nonparametric regularized kernel based quantile regression using the Gaussian radial basis function kernel, provided the assumption of an additive model is valid. Additionally, a concrete example is presented to show that a Gaussian function depending only on one variable lies in a reproducing kernel Hilbert space generated by an additive Gaussian kernel, but does not belong to the reproducing kernel Hilbert space generated by the multivariate Gaussian kernel of the same variance.


title: Identification Problem for The Analysis of Binary Data with Non-ignorable Missing

abstract: When a missing-data mechanism is NMAR or non-ignorable, missingness is itself vital information and it must be taken into the likelihood, which, however, needs to introduce additional parameters to be estimated. The incompleteness of the data and introduction of more parameters can cause the identification problem. When a response variable is binary, it becomes a more serious problem because of less information of bi- nary data, however, there are no methods to briefly verify whether a mode is identified or not. Therefore, we provide a new necessary and sufficient condition to easily check model identifiability when analyzing binary data with non-ignorable missing by condi- tional models. This condition can give us what condition is needed for a model to have identifiability as well as make easily check the identifiability of a model.


title: Can Online MBA Programs Allow Professional Working Mothers to Balance Work, Family, and Career Progression? A Case Study in China

abstract: Career progression is a general concern of professional working mothers in China. The purpose of this paper is to report a qualitative study of Chinese professional working mothers that explored the perceptions of online Master's of Business Administration (MBA) programmes as a tool for career progression for working mothers balancing work and family in China. The objective was to examine existing work-family and career progression conflicts, the perceived usefulness of online MBA in balancing work-family and career aspirations, and the perceived ease of use of e-learning. Using Davis's (1989) technology acceptance model (TAM), the research drew on in-depth interviews with 10 female part-time MBA students from a university in Wuhan. The data were analysed through coding and transcribing. The findings showed that conflicts arose where demanding work schedules competed with family obligations, studies, and caring for children and the elderly. Online MBA programmes were viewed as a viable tool for balancing work and family and studying, given its flexible time management capabilities. However, consideration must be given to address students' motivation issues, lack of networking, lack of face-to-face interaction, and quality. The research findings emphasise the pragmatic need to re-align higher education policy and practice to position higher education e-learning as a trustable education delivery channel in China. By shedding light on the prevailing work-family conflict experienced by women seeking career advancement, this study suggests developing better gender-supporting policies and innovative e-learning practices to champion online MBA programme for this target niche.


title: Active Mining of Parallel Video Streams

abstract: The practicality of a video surveillance system is adversely limited by the amount of queries that can be placed on human resources and their vigilance in response. To transcend this limitation, a major effort under way is to include software that (fully or at least semi) automatically mines video footage, reducing the burden imposed to the system. Herein, we propose a semi-supervised incremental learning framework for evolving visual streams in order to develop a robust and flexible track classification system. Our proposed method learns from consecutive batches by updating an ensemble in each time. It tries to strike a balance between performance of the system and amount of data which needs to be labelled. As no restriction is considered, the system can address many practical problems in an evolving multi-camera scenario, such as concept drift, class evolution and various length of video streams which have not been addressed before. Experiments were performed on synthetic as well as real-world visual data in non-stationary environments, showing high accuracy with fairly little human collaboration.


title: Graphs with many valencies and few eigenvalues

abstract: Dom de Caen posed the question whether connected graphs with three distinct eigenvalues have at most three distinct valencies. We do not answer this question, but instead construct connected graphs with four and five distinct eigenvalues and arbitrarily many distinct valencies. The graphs with four distinct eigenvalues come from regular two-graphs. As a side result, we characterize the disconnected graphs and the graphs with three distinct eigenvalues in the switching class of a regular two-graph.


title: Linearization stability results and active measurements for the Einstein-scalar field equations

abstract: We study the Einstein equations coupled with the scalar field equations, $\hbox{Ein}(g)=T$, $T=T(g,\phi)+F^1$, and $\square_g\phi^\ell-m^2\phi^\ell= F^2$, where the sources $F=(F^1, F^2)$ correspond to perturbations of the physical fields which we control. Here $\phi=(\phi^\ell)_{\ell=1}^L$ and $(M,g)$ is a 4-dimensional globally hyperbolic Lorentzian manifold. The sources $F$ need to be such that the fields $(g,\phi,F)$ satisfy the conservation law $\hbox{div}_g(T)=0$. If $(g_\epsilon,\phi_\epsilon)$ solves the above equations, $\dot g=\partial_\epsilon g_\epsilon|_{\epsilon=0}$, $\dot\phi=\phi_\epsilon|_{\epsilon=0}$, and $f=(f^1,f^2)= \partial_\epsilon F_\epsilon|_{\epsilon=0}$ solve the linearized Einstein equations and the linearized conservation law $$ \frac 12 \hat g^{pk}\hat \nabla_p f^1_{kj}+ \sum_{\ell=1}^L f^2_\ell \, \partial_j\hat\phi_\ell=0, $$ where $\hat g= g_\epsilon|_{\epsilon=0}$ and $\hat \phi= \phi_\epsilon|_{\epsilon=0}$. Then $(\hat g,\hat \phi)$ and $f$ have the linearization stability property. Here ask the converse: If $\dot g$, $\dot \phi$, and $f$ solve the linearized Einstein equations and the linearized conservation law, are there $F_\epsilon=(F^1_\epsilon,F^2_\epsilon)$ and $(g_\epsilon,\phi_\epsilon)$ depending on $\epsilon\in [0,\epsilon_0)$, $\epsilon_0>0$, such that $(g_\epsilon,\phi_\epsilon)$ solves the Einstein-scalar field equations and the conservation law. When $\hat g$ and $\hat \phi$ vary enough and $L\geq 5$, we prove a microlocal version of this: When $Y\subset M$ is a 2-surface and $(y,\eta)\in N^*Y$, there is $f$ that is a conormal distibutions wrt. the surface $Y$ with a given principal symbol at $(y,\eta)$ such that $(\hat g,\hat \phi)$ and $f$ have the linearization stability property.


title: Justification of the log-KdV equation in granular chains: the case of precompression

abstract: For travelling waves with nonzero boundary conditions, we justify the logarithmic Korteweg-de Vries equation as the leading approximation of the Fermi-Pasta-Ulam lattice with Hertzian nonlinear potential in the limit of small anharmonicity. We prove control of the approximation error for the travelling solutions satisfying differential advance-delay equations, as well as control of the approximation error for time-dependent solutions to the lattice equations on long but finite time intervals. We also show nonlinear stability of the travelling waves on long but finite time intervals.


title: Inverse problems for Lorentzian manifolds and non-linear hyperbolic equations

abstract: We study two inverse problems on a globally hyperbolic Lorentzian manifold $(M,g)$. The problems are: 1. Passive observations in spacetime: Consider observations in a neighborhood $V\subset M$ of a time-like geodesic $\mu$. Under natural causality conditions, we reconstruct the conformal type of the unknown open, relatively compact set $W\subset M$, when we are given $V$, the conformal class of $g|_V$, and the light observations sets $P_V(q)$ corresponding to all source points $q$ in $W$. The light observation set $P_V(q)$ is the intersection of $V$ and the light-cone emanating from the point $q$, i.e., the points in the set $V$ where light from a point source at $q$ is observed. 2. Active measurements in spacetime: We develop a new method for inverse problems for non-linear hyperbolic equations that utilizes the non-linearity as a tool. This enables us to solve inverse problems for non-linear equations for which the corresponding problems for linear equations are still unsolved. To illustrate this method, we solve an inverse problem for semilinear wave equations with quadratic non-linearities. We assume that we are given the neighborhood $V$ of the time-like geodesic $\mu$ and the source-to-solution operator that maps the source supported on $V$ to the restriction of the solution of the wave equation in $V$. When $M$ is 4-dimensional, we show that these data determine the topological, differentiable, and conformal structures of the spacetime in the maximal set where waves can propagate from $\mu$ and return back to $\mu$.


title: An estimate for derivative of the de la Vallee Poussin mean

abstract: In this paper, we discuss derivative of the de la Vallee Poussin mean for exponential weights on real line. When we lead an inequality, an estimate for the Christoffel function plays an important role.


title: Separation of uncorrelated stationary time series using autocovariance matrices

abstract: Blind source separation (BSS) is a signal processing tool, which is widely used in various fields. Examples include biomedical signal separation, brain imaging and economic time series applications. In BSS, one assumes that the observed $p$ time series are linear combinations of $p$ latent uncorrelated weakly stationary time series. The aim is then to find an estimate for an unmixing matrix, which transforms the observed time series back to uncorrelated latent time series. In SOBI (Second Order Blind Identification) joint diagonalization of the covariance matrix and autocovariance matrices with several lags is used to estimate the unmixing matrix. The rows of an unmixing matrix can be derived either one by one (deflation-based approach) or simultaneously (symmetric approach). The latter of these approaches is well-known especially in signal processing literature, however, the rigorous analysis of its statistical properties has been missing so far. In this paper, we fill this gap and investigate the statistical properties of the symmetric SOBI estimate in detail and find its limiting distribution under general conditions. The asymptotical efficiencies of symmetric SOBI estimate are compared to those of recently introduced deflation-based SOBI estimate under general multivariate MA$(\infty)$ processes. The theory is illustrated by some finite-sample simulation studies as well as a real EEG data example.


title: Magnetic anisotropy of spin tetramer system SeCuO$_3$ studied by torque magnetometry and ESR spectroscopy

abstract: We present an experimental study of macroscopic and microscopic magnetic anisotropy of a spin tetramer system SeCuO$_3$ using torque magnetometry and ESR spectroscopy. Large rotation of macroscopic magnetic axes with temperature observed from torque magnetometry agrees reasonably well with the rotation of the $\textbf{g}$ tensor above $T \gtrsim 50$~K. Below 50~K, the $\textbf{g}$ tensor is temperature independent, while macroscopic magnetic axes continue to rotate. Additionally, the susceptibility anisotropy has a temperature dependence which cannot be reconciled with the isotropic Heisenberg model of interactions between spins. ESR linewidth analysis shows that anisotropic exchange interaction must be present in SeCuO$_3$. These findings strongly support the presence of anisotropic exchange interactions in the Hamiltonian of the studied system. Below $T_N=8$~K, the system enters a long - range antiferromagnetically ordered state with easy axis along the $<\bar{1} 0 1>^*$ direction. Small but significant rotation of magnetic axes is also observed in the antiferromagnetically ordered state suggesting strong spin-lattice coupling in this system.


title: Shapes of interacting RNA complexes

abstract: Shapes of interacting RNA complexes are studied using a filtration via their topological genus. A shape of an RNA complex is obtained by (iteratively) collapsing stacks and eliminating hairpin loops. This shape-projection preserves the topological core of the RNA complex and for fixed topological genus there are only finitely many such shapes.Our main result is a new bijection that relates the shapes of RNA complexes with shapes of RNA structures.This allows to compute the shape polynomial of RNA complexes via the shape polynomial of RNA structures. We furthermore present a linear time uniform sampling algorithm for shapes of RNA complexes of fixed topological genus.


title: A Vernacular for Coherent Logic

abstract: We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rules and is based on a frag- ment of first-order logic called coherent logic. Coherent logic has been recognized by a number of researchers as a suitable logic for many ev- eryday mathematical developments. The proposed proof representation is accompanied by a corresponding XML format and by a suite of XSL transformations for generating formal proofs for Isabelle/Isar and Coq, as well as proofs expressed in a natural language form (formatted in LATEX or in HTML). Also, our automated theorem prover for coherent logic exports proofs in the proposed XML format. All tools are publicly available, along with a set of sample theorems.


title: The FRUITY database on AGB stars: past, present and future

abstract: We present and show the features of the FRUITY database, an interactive web-based interface devoted to the nucleosynthesis in AGB stars. We describe the current available set of AGB models (largely expanded with respect to the original one) with masses in the range 1.3<=M/M_SUN<=3.0 and metallicities -2.15<=[Fe/H]<=+0.15. We illustrate the details of our s-process surface distributions and we compare our results to observations. Moreover, we introduce a new set of models where the effects of rotation are taken into account. Finally, we shortly describe next planned upgrades.


title: On Termination, Confluence and Consistent CHR-based Type Inference

abstract: We consider the application of Constraint Handling Rules (CHR) for the specification of type inference systems, such as that used by Haskell. Confluence of CHR guarantees that the answer provided by type inference is correct and consistent. The standard method for establishing confluence relies on an assumption that the CHR program is terminating. However, many examples in practice give rise to non-terminating CHR programs, rendering this method inapplicable. Despite no guarantee of termination or confluence, the Glasgow Haskell Compiler (GHC) supports options that allow the user to proceed with type inference anyway, e.g. via the use of the UndecidableInstances flag. In this paper we formally identify and verify a set of relaxed criteria, namely range-restrictedness, local confluence, and ground termination, that ensure the consistency of CHR-based type inference that maps to potentially non-terminating CHR programs.


title: Large Universe Attribute-Based Encryption Scheme from Lattices

abstract: We propose a large universe attribute-based encryption (ABE ) scheme from lattices. It is inspired by Brent Waters' scheme which is a large universe attribute-based encryption using bilinear map. It is a very practical scheme but this scheme may not be security with the developing quantum computer. So we extend their good idea of large universe attribute-based encryption to lattices based cryptosystem. And our scheme is the first large universe ABE scheme from lattices. In a large universe ABE system any string can be used as attribute and attributes need not be determined at system setup. This is a desirable feature. And the master private key of our scheme is too short too a matrix. Moreover, our scheme is high efficient due to the ciphertext of our scheme is divided into three parts. Finally, under Learning with Errors assumption, we prove our scheme is secure under the select attribute attack.


title: Strange magnetic multipoles and neutron diffraction by an iridate perovskite (Sr2IrO4)

abstract: A theoretical investigation of a plausible construct for electronic structure in iridate perovskites demonstrates the existence of magnetic multipoles hitherto not identified. The strange multipoles, which are parity-even, time-odd and even rank tensors, are absent from the so-called jeff = 1/2 model. We prove that the strange multipoles contribute to magnetic neutron diffraction, and we estimate their contribution to intensities of Bragg spots for Sr2IrO4. The construct encompasses the jeff = 1/2 model, and it is consistent with the known magnetic structure, ordered magnetic moment, and published resonant x-ray Bragg diffraction data. Over and above time-odd quadrupoles and hexadecapoles, whose contribution changes neutron Bragg intensities by an order of magnitude, according to our estimates, are relatively small triakontadipoles recently proposed as the primary magnetic order-parameter of Sr2IrO4.


title: Reducing Dueling Bandits to Cardinal Bandits

abstract: We present algorithms for reducing the Dueling Bandits problem to the conventional (stochastic) Multi-Armed Bandits problem. The Dueling Bandits problem is an online model of learning with ordinal feedback of the form "A is preferred to B" (as opposed to cardinal feedback like "A has value 2.5"), giving it wide applicability in learning from implicit user feedback and revealed and stated preferences. In contrast to existing algorithms for the Dueling Bandits problem, our reductions -- named $\Doubler$, $\MultiSbm$ and $\DoubleSbm$ -- provide a generic schema for translating the extensive body of known results about conventional Multi-Armed Bandit algorithms to the Dueling Bandits setting. For $\Doubler$ and $\MultiSbm$ we prove regret upper bounds in both finite and infinite settings, and conjecture about the performance of $\DoubleSbm$ which empirically outperforms the other two as well as previous algorithms in our experiments. In addition, we provide the first almost optimal regret bound in terms of second order terms, such as the differences between the values of the arms.


title: Study of the calibration of X-T relation for the BESIII drift chamber

abstract: This paper introduces the calibration of the time-to-distance relation for the BESIII drift chamber. The parameterization of the time-to-distance relation is presented. The studies of left-right asymmetry and the variation with the entrance angle are performed. The impact of dead channels on the time-to-distance relation is given special attention in order to reduce the shifts of the measured momenta for the tracks passing near dead cells. Finally we present the spatial resolution (123 {\mu}m) for barrel Bhabha events (|cos{\theta}|<0.8) from J/{\psi} data taken in 2012.


title: Random telegraph noise in metallic single-walled carbon nanotubes

abstract: We have investigated random telegraph noise (RTN) observed in individual metallic carbon nanotubes (CNTs). Mean lifetimes in high- and low-current states, shigh and slow, have been studied as a function of bias-voltage and gate-voltage as well as temperature. By analyzing the statistics and features of the RTN, we suggest that this noise is due to the random transition of defects between two metastable states, activated by inelastic scattering with conduction electrons. Our results indicate an important role of defect motions in the 1=f noise in CNTs.


title: Emergence of order from turbulence in an isolated planar superfluid

abstract: We study the relaxation dynamics of an isolated zero temperature quasi-two-dimensional superfluid Bose-Einstein condensate (BEC) that is imprinted with a spatially random distribution of quantum vortices. Following a period of vortex annihilation, we find that the remaining vortices self-organise into two macroscopic coherent `Onsager vortex' clusters that are stable indefinitely. We demonstrate that this occurs due to a novel physical mechanism --- the evaporative heating of the vortices --- that results in a negative temperature phase transition in the vortex degrees of freedom. At the end of our simulations the system is trapped in a non-thermal state. Our computational results provide a pathway to observing Onsager vortex states in a superfluid Bose gas.


title: A rotor configuration in Z^d where Schramm's bound of escape rates attains

abstract: Rotor walk is deterministic counterpart of random walk on graphs. We study that under a certain initial configuration in Z^d, n particles perform rotor walks from the origin consecutively. They would stop if they hit the origin or infinity. When the dimension d>=3, the escape rate exists and it attains the upper bound of O. Schramm. When the dimension d=2, the numbers of the particles escaping to infinity are of order n/log(n). The limit of their quotient exist and also attains the upper bound of L.Florescu,S.Ganguly,L.Levine,Y.Peres which equals to frac{pi}{2}. We use the results and the methods of the outer estimate for rotor-router aggregation in L.Levine and Y.Peres' previous paper.


title: SNO+ with Tellurium

abstract: The SNO+ experiment, currently undergoing commissioning, will be a large scale liquid scintillator detector capable of studying a variety of physics topics, with the highest priority being a sensitive search for neutrinoless double beta decay. The collaboration has recently decided to use 130Te as the candidate isotope for this search, having developed a new approach to the purification and loading of tellurium into liquid scintillator. An initial Phase I demonstrator with a 0.3% Te loading is expected to reach sensitivities to Majorana neutrino masses approaching the top of the inverted neutrino mass hierarchy. If successful, there is significant scope for further enhancements that could lead to measurements covering the vast majority of the inverted hierarchy range with high sensitivity.


title: Probability and Statistics for Particle Physicists

abstract: Lectures presented at the 1st CERN Asia-Europe-Pacific School of High-Energy Physics, Fukuoka, Japan, 14-27 October 2012. A pedagogical selection of topics in probability and statistics is presented. Choice and emphasis are driven by the author's personal experience, predominantly in the context of physics analyses using experimental data from high-energy physics detectors.


title: Equisingularity of families of isolated determinantal singularities

abstract: We study the topological triviality and the Whitney equisingularity of a family of isolated determinantal singularities. On one hand, we give a L\^e-Ramanujam type theorem for this kind of singularities by using the vanishing Euler characteristic. On the other hand, we extend the results of Teissier and Gaffney about the Whitney equisingularity of hypersurfaces and complete intersections, respectively, in terms of the constancy of the polar multiplicities.


title: Direct X(3872) production in e+e- collisions

abstract: Direct production of the charmonium-like state $X(3872)$ in $e^+e^-$ collisions is considered in the framework of the vector meson dominance model. An order-of-magnitude estimate for the width $\Gamma(X\to e^+e^-)$ is found to be $\gtrsim$0.03 eV. The same approach applied to the $\chi_{c1}$ charmonium decay predicts the corresponding width of the order 0.1 eV in agreement with earlier estimates. Experimental perspectives for the direct production of the $1^{++}$ charmonia in $e^+e^-$ collisions are briefly discussed.


title: S.-S. Chern's study of almost-complex structures on the six-sphere

abstract: In 2003, S.-s. Chern began a study of almost-complex structures on the 6-sphere, with the idea of exploiting the special properties of its well-known almost-complex structure invariant under the exceptional group $G_2$. While he did not solve the (currently still open) problem of determining whether there exists an integrable almost-complex structure on the 6-sphere, he did prove a significant identity that resolves the question for an interesting class of almost-complex structures on the 6-sphere.


title: The role of dissipation in flexural wave turbulence: from experimental spectrum to Kolmogorov-Zakharov spectrum

abstract: The Weak Turbulence Theory has been applied to waves in thin elastic plates obeying the F\"oppl-Von K\'arm\'an dynamical equations. Subsequent experiments have shown a strong discrepancy between the theoretical predictions and the measurements. Both the dynamical equations and the Weak Turbulence Theory treatment require some restrictive hypotheses. Here a direct numerical simulation of the F\"oppl-Von K\'arm\'an equations is performed and reproduces qualitatively and quantitatively the experimental results when the experimentally measured damping rate of waves $\gamma_\mathbf{k}= a + bk^2$ is used. This confirms that the F\"oppl-Von K\'arm\'an equations are a valid theoretical framework to describe our experiments. When we progressively tune the dissipation so that to localize it at the smallest scales, we observe a gradual transition between the experimental spectrum and the Kolmogorov-Zakharov prediction. Thus it is shown dissipation has a major influence on the scaling properties stationary solutions of weakly non linear wave turbulence.


title: A calculation of the three-loop helicity-dependent splitting functions in QCD

abstract: We have calculated the complete matrix of three-loop helicity-difference (`polarized') splitting functions Delta P_ik^(2), i,k = q,g, in massless perturbative QCD. In this note we briefly discuss some properties of the polarized splitting functions and our non-standard determination of the hitherto missing lower-row quantities Delta P_gq^(2) and Delta P_gg^(2). The resulting next-to-next-to-leading order (NNLO) corrections to the evolution of polarized parton distributions are illustrated and found to be small even at rather large values of the strong coupling constant alpha_s.


title: Raman Scattered Ne VII$\lambda$973 at 4881 \AA\ in the Symbiotic Star V1016 Cygni

abstract: We present the high resolution spectra of the symbiotic star V1016 Cygni obtained with the Bohyunsan Optical Echelle Spectrograph in 2003 and 2005, from which we find a broad emission feature at 4881 \AA. We propose that this broad feature is formed from Raman scattering of Ne VII$\lambda973$ by atomic hydrogen. Thus far, the detection of Raman scattered lines by atomic hydrogen is limited to O VI$\lambda\lambda$1032, 1038 and He II$\lambda\lambda$940, 972 and 1025. With the adoption of the center wavelength 973.302 \AA\ of Ne VII$\lambda$973 and consideration of the air refractive index of $n_{air}=1.000279348$, the atomic line center of the Raman scattered Ne VII feature is determined to be 4880.53 \AA. The total cross section at the line center of Ne VII$\lambda973$ is computed to be $2.62\times 10^{-22}{\rm\ cm^2}$ with the branching ratio of 0.17. We perform Monte Carlo simulations to fit the Raman scattered Ne VII$\lambda973$. Assuming that the Ne VII and He II emission regions share the same kinematics with respect to the neutral scattering region, we find that the Raman scattered He II$\lambda$972 at 4850 \AA\ and Ne VII$\lambda$973 at 4881 \AA\ are excellently fitted. We also propose that the He II and Ne VII emission regions were stationary with respect to the H I region in 2003 but that they were receding from it with a velocity $\sim 20{\rm\ km\ s^{-1}}$ in 2005.


title: Shrinkage anisotropy characteristics from soil structure and initial sample/layer size

abstract: The objective of this work is a physical prediction of such soil shrinkage anisotropy characteristics as variation with drying of (i) different sample/layer sizes and (ii) the shrinkage geometry factor. With that, a new presentation of the shrinkage anisotropy concept is suggested through the sample/layer size ratios. The work objective is reached in two steps. First, the relations are derived between the indicated soil shrinkage anisotropy characteristics and three different shrinkage curves of a soil relating to: small samples (without cracking at shrinkage), sufficiently large samples (with internal cracking), and layers of similar thickness. Then, the results of a recent work with respect to the physical prediction of the three shrinkage curves are used. These results connect the shrinkage curves with the initial sample size/layer thickness as well as characteristics of soil texture and structure (both inter- and intra-aggregate) as physical parameters. The parameters determining the reference shrinkage curve (relating to the small samples) and initial sample size/layer thickness are needed for the prediction of the above soil shrinkage anisotropy characteristics. Using the available data on two soils and samples of two essentially different sizes, illustrative estimates of the relative sample sizes, new characteristic of the shrinkage anisotropy, and shrinkage geometry factor are given as the physically predicted values.


title: Efficient classification using parallel and scalable compressed model and Its application on intrusion detection

abstract: In order to achieve high efficiency of classification in intrusion detection, a compressed model is proposed in this paper which combines horizontal compression with vertical compression. OneR is utilized as horizontal com-pression for attribute reduction, and affinity propagation is employed as vertical compression to select small representative exemplars from large training data. As to be able to computationally compress the larger volume of training data with scalability, MapReduce based parallelization approach is then implemented and evaluated for each step of the model compression process abovementioned, on which common but efficient classification methods can be directly used. Experimental application study on two publicly available datasets of intrusion detection, KDD99 and CMDC2012, demonstrates that the classification using the compressed model proposed can effectively speed up the detection procedure at up to 184 times, most importantly at the cost of a minimal accuracy difference with less than 1% on average.


title: A Case Study on Job Scheduling Policy for Workload Characterization and Power Efficiency

abstract: With the increasing popularity of cloud computing, datacenters are becoming more important than ever before. A typical datacenter typically consists of a large number of homogeneous or heterogeneous servers connected by networks. Unfortunately, these servers and network equipment are often under-utilized and power hungry. To improve the utilization of hardware resources and make them power efficiency in datacenters, workload characterization and analysis is at the foundation. In this paper, we characterize and analyze the job arriving rate, arriving time, job length, power consumption, and temperature dissipation in a real world datacenter by using statistical methods. From the characterization, we find unique features in the workload can be used to optimize the resource utilization and power consumption of datacenters


title: Mining the gap: evolution of the magnitude gap in X-ray galaxy groups from the 3 square degree XMM coverage of CFHTLS

abstract: We present a catalog of 129 X-ray galaxy groups, covering a redshift range 0.04<z<1.23, selected in the ~3 square degree part of the CFHTLS W1 field overlapping XMM observations performed under the XMM-LSS project. We carry out a statistical study of the redshift evolution out to redshift one of the magnitude gap between the first and the second brightest cluster galaxies of a well defined mass-selected group sample. We find that the slope of the relation between the fraction of groups and the magnitude gap steepens with redshift, indicating a larger fraction of fossil groups at lower redshifts. We find that 22.2$\pm$6% of our groups at z$\leq$0.6 are fossil groups. We compare our results with the predictions of three semi-analytic models based on the Millennium simulation. The intercept of the relation between the magnitude of the brightest galaxy and the value of magnitude gap becomes brighter with increasing redshift. This trend is steeper than the model predictions which we attribute to the younger stellar age of the observed brightest cluster galaxies. This trend argues in favor of stronger evolution of the feedback from active galactic nuclei at z<1 compared to the models. The slope of the relation between the magnitude of the brightest cluster galaxy and the value of the gap does not evolve with redshift and is well reproduced by the models, indicating that the tidal galaxy stripping, put forward as an explanation of the occurrence of the magnitude gap, is both a dominant mechanism and is sufficiently well modeled.


title: Are Soft Theorems Renormalized?

abstract: We show that the distributional nature of soft theorems requires the soft limit expansion to take priority over the regulator expansion of Feynman loop integrals. We start the study of soft graviton theorems at loop level from this perspective by considering a five-particle one-loop amplitude in ${\cal N}=8$ supergravity. Surprisingly, we find that a soft theorem recently introduced by one of the authors and Strominger is not renormalized in this case. Computations are done in $4-2\epsilon$ dimensions and for terms of order $\epsilon^{-2}$, $\epsilon^{-1}$ and $\epsilon^{0}$.


title: Improper Intersections of Kudla-Rapoport divisors and Eisenstein series

abstract: We consider a certain family of Kudla-Rapoport cycles on an integral model of a Shimura variety attached to a unitary group of signature (1,1), and prove that the arithmetic degrees of these cycles can be identified with the Fourier coefficients of the central derivative of an Eisenstein series of genus 2. The integral model in question parametrizes abelian surfaces equipped with a non-principal polarization and an action of an imaginary quadratic number ring, and in this setting the cycles are degenerate: they may contain components of positive dimension. This result can be viewed as confirmation, in the degenerate setting and for dimension 2, of conjectures of Kudla and Kudla-Rapoport that predict relations between the intersection numbers of special cycles and the Fourier coefficients of automorphic forms.


title: On positive maps in quantum information

abstract: Using Grothendieck approach to the tensor product of locally convex spaces we review a characterization of positive maps as well as Belavkin-Ohya characterization of PPT states. Moreover, within this scheme, \textit{ a generalization of the idea of Choi matrices for genuine quantum systems will be presented}.


title: A characterisation of weakly locally projective amalgams related to $A_{16}$ and the sporadic simple groups $M_{24}$ and $He$

abstract: A simple undirected graph is weakly $G$-locally projective, for a group of automorphisms $G$, if for each vertex $x$, the stabiliser $G(x)$ induces on the set of vertices adjacent to $x$ a doubly transitive action with socle the projective group $L_{n_x}(q_x)$ for an integer $n_x$ and a prime power $q_x$. It is $G$-locally projective if in addition $G$ is vertex transitive. A theorem of Trofimov reduces the classification of the $G$-locally projective graphs to the case where the distance factors are as in one of the known examples. Although an analogue of Trofimov's result is not yet available for weakly locally projective graphs, we would like to begin a program of characterising some of the remarkable examples. We show that if a graph is weakly locally projective with each $q_x =2$ and $n_x = 2$ or $3$, and if the distance factors are as in the examples arising from the rank 3 tilde geometries of the groups $M_{24}$ and $He$, then up to isomorphism there are exactly two possible amalgams. Moreover, we consider an infinite family of amalgams of type $\mathcal{U}_n$ (where each $q_x=2$ and $n=n_x+1\geq 4$) and prove that if $n\geq 5$ there is a unique amalgam of type $\mathcal{U}_n$ and it is unfaithful, whereas if $n=4$ then there are exactly four amalgams of type $\mathcal{U}_4$, precisely two of which are faithful, namely the ones related to $M_{24}$ and $He$, and one other which has faithful completion $A_{16}$.


title: RR Lyrae Stars In The GCVS Observed By The Qatar Exoplanet Survey

abstract: We used the light curve archive of the Qatar Exoplanet Survey (QES) to investigate the RR Lyrae variable stars listed in the General Catalogue of Variable Stars (GCVS). Of 588 variables studied, we reclassify 14 as eclipsing binaries, one as an RS Canum Venaticorum-type variable, one as an irregular variable, four as classical Cepheids, and one as a type II Cepheid, while also improving their periods. We also report new RR Lyrae sub-type classifications for 65 variables and improve on the GCVS period estimates for 135 RR Lyrae variables. There are seven double-mode RR Lyrae stars in the sample for which we measured their fundamental and first overtone periods. Finally, we detect the Blazhko effect in 38 of the RR Lyrae stars for the first time and we successfully measured the Blazhko period for 26 of them.


title: Batalin-Vilkovisky structure over the Hochschild cohomology ring of a group algebra

abstract: We realize explicitly the well-known additive decomposition of the Hochschild cohomology ring of a group algebra in the elements level. As a result, we describe the cup product, the Batalin-Vilkovisky operator and the Lie bracket in the Hochschild cohomology ring of a group algebra.


title: The Dynamics of Funnel Prominences

abstract: We present numerical simulations in 2.5D settings where large scale prominences form in situ out of coronal condensation in magnetic dips, in close agreement with early as well as recent reporting of `funnel prominences'. Our simulation uses full thermodynamic MHD with anisotropic thermal conduction, optically thin radiative losses, and parametrized heating as main ingredients to establish a realistic arcade configuration from chromosphere to corona. The chromospheric evaporation from especially transition region heights ultimately causes thermal instability and we witness the growth of a prominence suspended well above the transition region, continuously gaining mass and cross-sectional area. Several hours later, the condensation has grown into a structure connecting the prominence-corona transition region with the underlying transition region, and a continuous downward motion from the accumulated mass represents a drainage that matches observational findings. A more dynamic phase is found as well, with coronal rain, induced wave trains, and even a reconnection event when the core prominence plasma weighs down the fieldlines until a fluxrope gets formed. The upper part of the prominence is then trapped in a fluxrope structure, and we argue for its violent kink-unstable eruption as soon as the (ignored) length dimension would allow for ideal kink deformations.


title: Representations of centrally extended Lie superalgebra $\mathfrak{psl}(2|2)$

abstract: The symmetries provided by representations of the centrally extended Lie superalgebra $\mathfrak{psl}(2|2)$ are known to play an important role in the spin chain models originated in the planar anti-de Sitter/conformal field theory correspondence and one-dimensional Hubbard model. We give a complete description of finite-dimensional irreducible representations of this superalgebra thus extending the work of Beisert which deals with a generic family of representations. Our description includes a new class of modules with degenerate eigenvalues of the central elements. Moreover, we construct explicit bases in all irreducible representations by applying the techniques of Mickelsson--Zhelobenko algebras.


title: Smooth solutions of the Euler and Navier-Stokes equations from the a posteriori analysis of approximate solutions

abstract: The main result of [C. Morosi and L. Pizzocchero, Nonlinear Analysis, 2012] is presented in a variant, based on a C^infinity formulation of the Cauchy problem; in this approach, the a posteriori analysis of an approximate solution gives a bound on the Sobolev distance of any order between the exact and the approximate solution.


title: Planar graphs with $\Delta\geq 7$ and no triangle adjacent to a $C_4$ are minimally edge and total choosable

abstract: For planar graphs, we consider the problems of \emph{list edge coloring} and \emph{list total coloring}. Edge coloring is the problem of coloring the edges while ensuring that two edges that are adjacent receive different colors. Total coloring is the problem of coloring the edges and the vertices while ensuring that two edges that are adjacent, two vertices that are adjacent, or a vertex and an edge that are incident receive different colors. In their list extensions, instead of having the same set of colors for the whole graph, every vertex or edge is assigned some set of colors and has to be colored from it. A graph is minimally edge or total choosable if it is list edge $\Delta$-colorable or list total $(\Delta+1)$-colorable, respectively, where $\Delta$ is the maximum degree in the graph. It is already known that planar graphs with $\Delta\geq 8$ and no triangle adjacent to a $C_4$ are minimally edge and total choosable (Li Xu 2011), and that planar graphs with $\Delta\geq 7$ and no triangle sharing a vertex with a $C_4$ or no triangle adjacent to a $C_k$ ($\forall 3 \leq k \leq 6$) are minimally total colorable (Wang Wu 2011). We strengthen here these results and prove that planar graphs with $\Delta\geq 7$ and no triangle adjacent to a $C_4$ are minimally edge and total choosable.


title: On the asymptotic expansion of $\Gamma(x)$, Lagrange's inversion theorem and the Stirling coefficients

abstract: We show how the asymptotic expansion for the gamma function $\Gamma(x)$, similar to that obtained by Boyd [Proc. Roy. Soc. London A447 (1994) 609--630], can be obtained by using a form of Lagrange's inversion theorem with a remainder. A (possibly) new closed-form representation for the Stirling coefficients is given.


title: Geodesic distances in Liouville quantum gravity

abstract: In order to study the quantum geometry of random surfaces in Liouville gravity, we propose a definition of geodesic distance associated to a Gaussian free field on a regular lattice. This geodesic distance is used to numerically determine the Hausdorff dimension associated to shortest cycles of 2d quantum gravity on the torus coupled to conformal matter fields, showing agreement with a conjectured formula by Y. Watabiki. Finally, the numerical tools are put to test by quantitatively comparing the distribution of lengths of shortest cycles to the corresponding distribution in large random triangulations.


title: The bias of the unbiased estimator: a study of the iterative application of the BLUE method

abstract: The best linear unbiased estimator (BLUE) is a popular statistical method adopted to combine multiple measurements of the same observable taking into account individual uncertainties and their correlation. The method is unbiased by construction if the true uncertainties and their correlation are known, but it may exhibit a bias if uncertainty estimates are used in place of the true ones, in particular if those estimated uncertainties depend on measured values. This is the case for instance when contributions to the total uncertainty are known as relative uncertainties. In those cases, an iterative application of the BLUE method may reduce the bias of the combined measurement. The impact of the iterative approach compared to the standard BLUE application is studied for a wide range of possible values of uncertainties and their correlation in the case of the combination of two measurements.


title: Hipster: Integrating Theory Exploration in a Proof Assistant

abstract: This paper describes Hipster, a system integrating theory exploration with the proof assistant Isabelle/HOL. Theory exploration is a technique for automatically discovering new interesting lemmas in a given theory development. Hipster can be used in two main modes. The first is exploratory mode, used for automatically generating basic lemmas about a given set of datatypes and functions in a new theory development. The second is proof mode, used in a particular proof attempt, trying to discover the missing lemmas which would allow the current goal to be proved. Hipster's proof mode complements and boosts existing proof automation techniques that rely on automatically selecting existing lemmas, by inventing new lemmas that need induction to be proved. We show example uses of both modes.


title: The Geometry of Synchronization (Long Version)

abstract: We graft synchronization onto Girard's Geometry of Interaction in its most concrete form, namely token machines. This is realized by introducing proof-nets for SMLL, an extension of multiplicative linear logic with a specific construct modeling synchronization points, and of a multi-token abstract machine model for it. Interestingly, the correctness criterion ensures the absence of deadlocks along reduction and in the underlying machine, this way linking logical and operational properties.


title: Qualitative properties and classification of nonnegative solutions to $-\Delta u=f(u)$ in unbounded domains when $f(0)<0$

abstract: We consider nonnegative solutions to $-\Delta u=f(u)$ in unbounded euclidean domains, where $f$ is merely locally Lipschitz continuous and satisfies $f(0)<0$. In the half-plane, and without any other assumption on $u$, we prove that $u$ is either one-dimensional and periodic or positive and strictly monotone increasing in the direction orthogonal to the boundary. Analogous results are obtained if the domain is a strip. As a consequence of our main results, we answer affirmatively to a conjecture and to an open question posed by Berestycki, Caffarelli and Nirenberg. We also obtain some symmetry and monotonicity results in the higher-dimensional case.


title: Statistical characterization of polychromatic absolute and differential squared visibilities obtained from AMBER/VLTI instrument

abstract: In optical interferometry, the visibility squared modulus are generally assumed to follow a Gaussian distribution and to be independent of each other. A quantitative analysis of the relevance of such assumptions is important to help improving the exploitation of existing and upcoming multi-wavelength interferometric instruments. Analyze the statistical behaviour of both the absolute and the colour-differential squared visibilities: distribution laws, correlations and cross-correlations between different baselines. We use observations of stellar calibrators obtained with AMBER instrument on VLTI in different instrumental and observing configurations, from which we extract the frame-by-frame transfer function. Statistical hypotheses tests and diagnostics are then systematically applied. For both absolute and differential squared visibilities and under all instrumental and observing conditions, we find a better fit for the Student distribution than for the Gaussian, log-normal and Cauchy distributions. We find and analyze clear correlation effects caused by atmospheric perturbations. The differential squared visibilities allow to keep a larger fraction of data with respect to selected absolute squared visibilities and thus benefit from reduced temporal dispersion, while their distribution is more clearly characterized. The frame selection based on the criterion of a fixed SNR value might result in either a biased sample of frames or in a too severe selection.


title: Evidence for a secondary bow in Newton's zero-order nuclear rainbow

abstract: Rainbows are generally considered to be caused by static refraction and reflection. A primary and a secondary rainbow appear due to refraction and internal reflection in a raindrop as explained by Newton. The quantum nuclear rainbow, which is generated by refraction in the nucleus droplet, only has a "primary" rainbow. Here we show for the first time evidence for the existence of a secondary nuclear rainbow generated dynamically by coupling to an excited state without internal reflection. This has been demonstrated for experimental $^{16}$O+$^{12}$C scattering using the coupled channel method with an extended double folding potential derived from microscopic realistic wave functions for $^{12}$C and $^{16}$O.

categories: nucl-th nucl-ex physics.hist-ph physics.optics


title: Alfv\'enic instabilities driven by runaways in fusion plasmas

abstract: Runaway particles can be produced in plasmas with large electric fields. Here we address the possibility that such runaway ions and electrons excite Alfv\'enic instabilities. The magnetic perturbation induced by these modes can enhance the loss of runaways. This may have important implications for the runaway electron beam formation in tokamak disruptions.


title: Transonic galactic outflows in a dark matter halo with a central black hole and its application to the Sombrero galaxy

abstract: We have classified possible transonic solutions of galactic outflows in the gravitational potential of the dark matter halo (DMH) and super massive black hole (SMBH) under the assumptions of isothermal, spherically symmetric and steady state. It is clarified that the gravity of SMBH adds a new branch of transonic solutions with the transonic point in very close proximity to the centre in addition to the outer transonic point generated by the gravity of DMH. Because these two transonic solutions have substantially different mass fluxes and starting points, these solutions may have different influences on the evolution of galaxies and the release of metals into intergalactic space. We have applied our model to the Sombrero galaxy and obtained a new type of galactic outflow: a slowly accelerated transonic outflow through the transonic point at very distant region ($\simeq 126$\ kpc). In this galaxy, previous works reported that although the trace of the galactic outflow is observed by X-ray, the gas density distribution is consistent with the hydrostatic state. We have clarified that the slowly accelerating outflow has a gas density profile quite similar to that of the hydrostatic solution in the widely spread subsonic region. Thus, the slowly accelerating transonic solution cannot be distinguished from the hydrostatic solution in the observed region ($\leq 25$\ kpc) even if slow transonic flow exists. Our model provides a new perspective of galactic outflows and is applicable even to quiescent galaxies with inactive star formation.


title: The Tits alternative for non-spherical triangles of groups

abstract: Triangles of groups have been introduced by Gersten and Stallings. They are, roughly speaking, a generalisation of the amalgamated free product of two groups and occur in the framework of Corson diagrams. First, we prove an intersection theorem for Corson diagrams. Then, we focus on triangles of groups. It has been shown by Howie and Kopteva that the colimit of a hyperbolic triangle of groups contains a non-abelian free subgroup. We give two natural conditions, each of which ensures that the colimit of a non-spherical triangle of groups either contains a non-abelian free subgroup or is virtually solvable.


title: Generalization of Zernike polynomials for regular portions of circles and ellipses

abstract: Zernike polynomials are commonly used to represent the wavefront phase on circular optical apertures, since they form a complete and orthonormal basis on the unit circle. Here, we present a generalization of this Zernike basis for a variety of important optical apertures. On the contrary to ad hoc solutions, most of them based on the Gram-Smith orthonormalization method, here we apply the diffeomorphism (mapping that has a differentiable inverse mapping) that transforms the unit circle into an angular sector of an elliptical annulus. In this way, other apertures, such as ellipses, rings, angular sectors, etc. are also included as particular cases. This generalization, based on in-plane warping of the basis functions, provides a unique solution, and what is more important, it guarantees a reasonable level of invariance of the mathematical properties and the physical meaning of the initial basis functions. Both, the general form and the explicit expressions for most common, elliptical and annular apertures are provided.


title: On the Einstein-Cartan cosmology vs. Planck data

abstract: The first comprehensive analyses of Planck data reveal that the cosmological model with dark energy and cold dark matter can satisfactorily explain the essential physical features of the expanding Universe. However, the inability to simultaneously fit large and small scale TT power spectrum, scalar power index smaller than one and the observations of the violation of the isotropy found by few statistical indicators of the CMB, urge theorists to search for explanations. We show that the model of the Einstein-Cartan cosmology with clustered dark matter halos and their corresponding clustered angular momenta coupled to torsion, can account for small scale - large scale discrepancy and larger peculiar velocities (bulk flows) for galaxy clusters. The nonvanishing total angular momentum (torsion) of the Universe enters as a negative effective density term in the Einstein-Cartan equations causing partial cancellation of the mass density. The integrated Sachs-Wolfe contribution of the Einstein-Cartan model is negative, thus it can provide partial cancellation of the large scale power of the TT CMB spectrum. The observed violation of the isotropy appears as a natural ingredient of the Einstein-Cartan model caused by the spin densities of light Majorana neutrinos in the early stage of the evolution of the Universe and bound to the lepton CP violation and matter-antimatter asymmetry.


title: Domination in designs

abstract: We commence the study of domination in the incidence graphs of combinatorial designs. Let $D$ be a combinatorial design and denote by $\gamma(D)$ the domination number of the incidence (Levy) graph of $D$. We obtain a number of results about the domination numbers of various kinds of designs. For instance, a finite projective plane of order $n$, which is a symmetric $(n^{2}+n+1,n+1,1)$-design, has $\gamma=2n$. %We also show that for any symmetric $(v,k,\lambda)$-design it holds that $\gamma \leq 2k$. We study at depth the domination numbers of Steiner systems and in particular of Steiner triple systems. We show that a $STS(v)$ has $\gamma \geq \frac{2}{3}v-1$ and also obtain a number of upper bounds. The tantalizing conjecture that all Steiner triple systems on $v$ vertices have the same domination number is proposed and is verified up to $v \leq 15$. The structure of minimal dominating sets is also investigated, both for its own sake and as a tool in deriving lower bounds on $\gamma$. Finally, a number of open questions are proposed.


title: Convective overstability in accretion disks: 3D linear analysis and nonlinear saturation

abstract: Recently, Klahr & Hubbard (2014) claimed that a hydrodynamical linear overstability exists in protoplanetary disks, powered by buoyancy in the presence of thermal relaxation. We analyse this claim, confirming it through rigorous compressible linear analysis. We model the system numerically, reproducing the linear growth rate for all cases studied. We also study the saturated properties of the overstability in the shearing box, finding that the saturated state produces finite amplitude fluctuations strong enough to trigger the subcritical baroclinic instability. Saturation leads to a fast burst of enstrophy in the box, and a large-scale vortex develops in the course of the next $\approx$100 orbits. The amount of angular momentum transport achieved is of the order of $\alpha \approx 10^{-3}$, as in compressible SBI models. For the first time, a self-sustained 3D vortex is produced from linear amplitude perturbation of a quiescent base state.


title: An Ultra Low Mass and Small Radius Compact Object in 4U 1746-37?

abstract: Photospheric radius expansion (PRE) bursts have already been used to constrain the masses and radii of neutron stars. RXTE observed three PRE bursts in 4U 1746-37, all with low touchdown fluxes. We discuss here the possibility of low mass neutron star in 4U 1746-37 because the Eddington luminosity depends on stellar mass. With typical values of hydrogen mass fraction and color correction factor, a Monte-Carlo simulation was applied to constrain the mass and radius of neutron star in 4U 1746-37. 4U 1746-37 has a high inclination angle. Two geometric effects, the reflection of the far side accretion disc and the obscuration of the near side accretion disc have also been included in the mass and radius constraints of 4U 1746-37. If the reflection of the far side accretion disc is accounted, a low mass compact object (mass of $0.41\pm0.14~M_{\odot}$ and radius of $8.73\pm1.54~\rm km$ at 68% confidence) exists in 4U 1746-37. If another effect operated, 4U 1746-37 may contain an ultra low mass and small radius object ($M=0.21\pm0.06~M_{\odot},~R=6.26\pm0.99~\rm km$ at 68% confidence). Combined all possibilities, the mass of 4U 1746-37 is $0.41^{+0.70}_{-0.30}~M_\odot$ at 99.7% confidence. For such low mass NS, it could be reproduced by a self-bound compact star, i.e., quark star or quark-cluster star.


title: Plume dynamics and nanoparticle formation in ultra-short laser ablation of metals

abstract: Nanoparticle formation by femtosecond laser ablation is investigated for different experimental conditions. Dynamics of the laser plume expansion is visualized based on numerical simulations and the possibility of primary nanoparticle formation is analyzed. Calculations are performed for metals under different background conditions. The effects of the background environment are considered, including initial expansion stage of the ejected atoms and clusters, nucleation, collisions, and longer scale nanoparticle evolution. Nanoparticle size distribution is shown to evolve from a decreasing function to the commonly observed bell-shaped distribution as early as at 50 microseconds after the beginning of the laser pulse. However, at the end of the initial plume expansion stage, the supersaturation parameter can be sufficiently high for a much longer diffusion-driven nanoparticle growth to enter into play. In this case, the major nanoparticle formation process is based on the so-called catastrophic nucleation accompanied by collisional growth, which determines the final size distribution. The obtained calculation results explain numerous experimental findings and help to predict both nanoparticle plume evolution and changes in its size distribution.


title: Ultra-faint high-redshift galaxies in the Frontier Fields

abstract: By combining cosmological simulations with Frontier Fields project lens models we find that, in the most optimistic case, galaxies as faint as $m \approx 33 - 34$ (AB magnitude at $1.6 \rm \mu m$) can be detected in the Frontier Fields. Such faint galaxies are hosted by dark matter halos of mass $\sim10^9 M_\odot$ and dominate the ionizing photon budget over currently observed bright galaxies, thus allowing for the first time the investigation of the dominant reionization sources. In addition, the observed number of these galaxies can be used to constrain the role of feedback in suppressing star formation in small halos: for example, if galaxy formation is suppressed in halos with circular velocity $v_c < 50$ km s$^{-1}$, galaxies fainter than $m=31$ should not be detected in the FFs.


title: On split graphs with four distinct eigenvalues

abstract: It is a well-known fact that a graph of diameter $d$ has at least $d+1$ eigenvalues. Let us call a graph \emph{$d$-extremal} if it has diameter $d$ and exactly $d+1$ eigenvalues. Such graphs have been intensively studied by various authors. %Much attention has been devoted to the study of graphs that are extremal with respect to this relation: \emph{i.e} have diameter $d$ and exactly $d+1$ distinct eigenvalues. A graph is \emph{split} if its vertex set can be partitioned into a clique and a stable set. Such a graph has diameter at most $3$. We obtain a complete classification of the connected bidegreed $3$-extremal split graphs. We also show how to construct certain families of non-bidegreed $3$-extremal split graphs.


title: Depolarization of synchrotron radiation in a multilayer magneto-ionic medium

abstract: Depolarization of diffuse radio synchrotron emission is classified in terms of wavelength-independent and wavelength-dependent depolarization in the context of regular magnetic fields and of both isotropic and anisotropic turbulent magnetic fields. Previous analytical formulas for depolarization due to differential Faraday rotation are extended to include internal Faraday dispersion concomitantly, for a multilayer synchrotron emitting and Faraday rotating magneto-ionic medium. In particular, depolarization equations for a two- and three-layer system (disk-halo, halo-disk-halo) are explicitly derived. To both serve as a `user's guide' to the theoretical machinery and as an approach for disentangling line-of-sight depolarization contributions in face-on galaxies, the analytical framework is applied to data from a small region in the face-on grand-design spiral galaxy M51. The effectiveness of the multiwavelength observations in constraining the pool of physical depolarization scenarios is illustrated for a two- and three-layer model along with a Faraday screen system for an observationally motivated magnetic field configuration.


title: A L\'evy process on the real line seen from its supremum and max-stable processes

abstract: We consider a process $Z$ on the real line composed from a L\'evy process and its exponentially tilted version killed with arbitrary rates and give an expression for the joint law of $Z$ seen from its supremum, the supremum $\overline Z$ and the time $T$ at which the supremum occurs. In fact, it is closely related to the laws of the original and the tilted L\'evy processes conditioned to stay negative and positive. The result is used to derive a new representation of stationary particle systems driven by L\'evy processes. In particular, this implies that a max-stable process arising from L\'evy processes admits a mixed moving maxima representation with spectral functions given by the conditioned L\'evy processes.


title: Influence of Rigidity and Knot Complexity on the Knotting of Confined Polymers

abstract: We employ computer simulations and thermodynamic integration to analyse the effects of bending rigidity and slit confinement on the free energy cost of tying knots, $\Delta F_{\rm knotting}$, on polymer chains under tension. A tension-dependent, non-zero optimal stiffness $\kappa_{\rm min}$ exists, for which $\Delta F_{\rm knotting}$ is minimal. For a polymer chain with several stiffness domains, each containing a large amount of monomers, the domain with stiffness $\kappa_{\rm min}$ will be preferred by the knot. A {\it local} analysis of the bending in the interior of the knot reveals that local stretching of chains at the braid region is responsible for the fact that the tension-dependent optimal stiffness has a non-zero value. The reduction in $\Delta F_{\rm knotting}$ for a chain with optimal stiffness relative to the flexible chain can be enhanced by tuning the slit width of the 2D confinement and increasing the knot complexity. The optimal stiffness itself is independent of the knot types we considered, while confinement shifts it towards lower values.


title: Pion induced Reactions for Charmed Baryons

abstract: We study pion induced reactions for charmed baryons $B$, $\pi$ + N $\rightarrow$ $D^*$ + $B$. First we estimate charm production rates in comparison with strangeness production using a Regge model which is dominated by vector ($D^*$ or $K^*$ ) Reggeon exchange. Then we examine the production rates of various charmed baryons $B$ in a quark-diquark model. We find that the production of excited states are not necessarily suppressed, a sharp contrast to strangeness production, which is a unique feature of the charm production with a large momentum transfer.


title: On a diffuse interface model of tumor growth

abstract: We consider a diffuse interface model of tumor growth proposed by A.~Hawkins-Daruud et al. This model consists of the Cahn-Hilliard equation for the tumor cell fraction $\varphi$ nonlinearly coupled with a reaction-diffusion equation for $\psi$, which represents the nutrient-rich extracellular water volume fraction. The coupling is expressed through a suitable proliferation function $p(\varphi)$ multiplied by the differences of the chemical potentials for $\varphi$ and $\psi$. The system is equipped with no-flux boundary conditions which entails the conservation of the total mass, that is, the spatial average of $\varphi+\psi$. Here we prove the existence of a weak solution to the associated Cauchy problem, provided that the potential $F$ and $p$ satisfy sufficiently general conditions. Then we show that the weak solution is unique and continuously depends on the initial data, provided that $p$ satisfies slightly stronger growth restrictions. Also, we demonstrate the existence of a strong solution and that any weak solution regularizes in finite time. Finally, we prove the existence of the global attractor in a phase space characterized by an a priori bounded energy.


title: Search for massive resonances decaying into pairs of boosted bosons in semi-leptonic final states at sqrt(s) = 8 TeV

abstract: A search for new resonances decaying to WW, ZZ, or WZ is presented. Final states are considered in which one of the vector bosons decays leptonically and the other hadronically. Results are based on data corresponding to an integrated luminosity of 19.7 inverse femtobarns recorded in proton-proton collisions at sqrt(s) = 8 TeV with the CMS detector at the CERN LHC. Techniques aiming at identifying jet substructures are used to analyze signal events in which the hadronization products from the decay of highly boosted W or Z bosons are contained within a single reconstructed jet. Upper limits on the production of generic WW, ZZ, or WZ resonances are set as a function of the resonance mass and width. We increase the sensitivity of the analysis by statistically combining the results of this search with a complementary study of the all-hadronic final state. Upper limits at 95% confidence level are set on the bulk graviton production cross section in the range from 700 to 10 femtobarns for resonance masses between 600 and 2500 GeV, respectively. These limits on the bulk graviton model are the most stringent to date in the diboson final state.


title: Online Channel Assignment in Multi-Radio Wireless Mesh Networks Using Learning Automata

abstract: In this paper, we look into the problem of channel assignment in multi-channel multi-radio wireless mesh networks. We propose a new learning automata based channel assignment scheme that adaptively improve network overall throughput by expecting channel state. Since the ability of sending packets via upstream links will be evaluation bases for assigning channels to radio interfaces on each node. We use a link capacity function that potentially reflects degree of interferences imposed by selected channels by each node. According to dynamics of system, proposed algorithm assigns channels to radio interface in distributed fashion such that minimize interference in neighborhood of a node. We analyze the stability of the system via appropriate Lyapunov-like trajectory; we show that stability and optimum point of the system is converged.


title: Stein-Malliavin Approximations for Nonlinear Functionals of Random Eigenfunctions on ${\mathbb{S}}^{d}$

abstract: We investigate Stein-Malliavin approximations for nonlinear functionals of geometric interest of Gaussian random eigenfunctions on the unit $d$ -dimensional sphere ${\mathbb{S}}^{d},$ $d\geq 2.$ All our results are established in the high energy limit, i.e. for eigenfunctions corresponding to growing eigenvalues. More precisely, we provide an asymptotic analysis for the variance of random eigenfunctions, and also establish rates of convergence for various probability metrics for Hermite subordinated processes, arbitrary polynomials of finite order and square integral nonlinear transforms; the latter, for instance, allows to prove a quantitative Central Limit Theorem for the excursion area. Some related issues were already considered in the literature for the $2$-dimensional case ${\mathbb{S}}^{2}$; our results are new or improve the existing bounds even for this special case. Proofs are based on the asymptotic analysis of moments of all order for Gegenbauer polynomials, and make extensive use of the recent literature on so-called fourth-moment theorems by Nourdin and Peccati.


title: Red and Blueshifts in Multi-stranded Coronal Loops: A New Temperature Diagnostic

abstract: Based on observations from the EUV Imaging Spectrometer (EIS) on board Hinode, the existence of a broad distribution of blue and red Dopplershift in active region loops has been revealed; the distribution of Dopplershifts depends on the peak temperature of formation of the observed spectral lines. To reproduce those observations, we use a nanoflare heating model for multi-stranded coronal loops (Sarkar and Walsh 2008, 2009) and a set of spectral lines covering a broad range of temperature (from 0.25 MK to 5.6 MK). We first show that red- and blueshifts are ubiquitous in all wavelength ranges; redshifts/downflows dominating cool spectral lines (from O V to Si VII) and blueshifts/upflows dominating the hot lines (from Fe XV to Ca XVII). These Dopplershifts are indicative of plasma condensation and evaporation. By computing the average Dopplershift, we derive a new temperature diagnostic for coronal loops: the temperature at which the average Dopplershift vanishes estimates the mean temperature of the plasma along the coronal loop and at the footpoints. To compare closely with observations, we model dense and sparse Hinode/EIS rasters at the instrument resolution. The temperature diagnostic provides the same temperature estimates as the model whatever the type of raster or the viewing angle. To conclude, we have developed a robust temperature diagnostic to measure the plasma temperature of a coronal loop using a broad range of spectral lines.


title: Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description

abstract: The goal of this project is to (i) accumulate annotated informal/formal mathematical corpora suitable for training semi-automated translation between informal and formal mathematics by statistical machine-translation methods, (ii) to develop such methods oriented at the formalization task, and in particular (iii) to combine such methods with learning-assisted automated reasoning that will serve as a strong semantic component. We describe these ideas, the initial set of corpora, and some initial experiments done over them.


title: Measurement of prompt D-meson production in p-Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV

abstract: The $p_{\rm T}$-differential production cross sections of the prompt charmed mesons $D^0$, $D^+$, $D^{*+}$ and $D_{\rm s}^{+}$ and their charge conjugate in the rapidity interval $-0.96 < y_{\rm cms} < 0.04$ were measured in p-Pb collisions at a centre-of-mass energy $\sqrt{s_{\rm NN}} = 5.02$ TeV with the ALICE detector at the LHC. The nuclear modification factor $R_{\rm pPb}$, quantifying the D-meson yield in p-Pb collisions relative to the yield in pp collisions scaled by the number of binary nucleon-nucleon collisions, is compatible within the 15-20% uncertainties with unity in the transverse momentum interval $1 < p_{\rm T} < 24$ GeV/$c$. No significant difference among the $R_{\rm pPb}$ of the four D-meson species is observed. The results are described within uncertainties by theoretical calculations that include initial-state effects. The measurement adds experimental evidence that the modification of the momentum spectrum of D mesons observed in Pb-Pb collisions with respect to pp collisions is due to strong final-state effects induced by hot partonic matter.