title: Patterns and Rewrite Rules for Systematic Code Generation (From High-Level Functional Patterns to High-Performance OpenCL Code)

abstract: Computing systems have become increasingly complex with the emergence of heterogeneous hardware combining multicore CPUs and GPUs. These parallel systems exhibit tremendous computational power at the cost of increased programming effort. This results in a tension between achieving performance and code portability. Code is either tuned using device-specific optimizations to achieve maximum performance or is written in a high-level language to achieve portability at the expense of performance. We propose a novel approach that offers high-level programming, code portability and high-performance. It is based on algorithmic pattern composition coupled with a powerful, yet simple, set of rewrite rules. This enables systematic transformation and optimization of a high-level program into a low-level hardware specific representation which leads to high performance code. We test our design in practice by describing a subset of the OpenCL programming model with low-level patterns and by implementing a compiler which generates high performance OpenCL code. Our experiments show that we can systematically derive high-performance device-specific implementations from simple high-level algorithmic expressions. The performance of the generated OpenCL code is on par with highly tuned implementations for multicore CPUs and GPUs written by experts


title: The gamma-ray spectrum from annihilation of Kaluza-Klein dark matter and its observability

abstract: The lightest Kaluza-Klein particle (LKP), which appears in the theory of universal extra dimensions, is one of the good candidates for cold dark matter. The gamma-ray spectrum from annihilation of LKP dark matter shows a characteristic peak structure around the LKP mass. We investigate the detectability of this peak structure by considering energy resolution of near-future detectors, and calculate the expected count spectrum of the gamma-ray signal. In order to judge whether the count spectrum contains the LKP signal, the {\chi} squared test is employed. If the signal is not detected, we set some constraints on the boost factor that is an uncertain factor dependent on the substructure of the LKP distribution in the galactic halo. Detecting such peak structure would be conclusive evidence that dark matter is made of LKP.


title: OE and W* superrigidity results for actions by surface braid groups

abstract: We show that several important normal subgroups $\Gamma$ of the mapping class group of a surface satisfy the following property: any free, ergodic, probability measure preserving action $\Gamma \curvearrowright X$ is stably OE-superrigid. These include the central quotients of most surface braid groups and most Torelli groups and Johnson kernels. In addition, we show that all these groups satisfy the measure equivalence rigidity and we describe all their lattice-embeddings. Using these results in combination with previous results from [CIK13] we deduce that any free, ergodic, probability measure preserving action of almost any surface braid group is stably W*-superrigid, i.e., it can be completely reconstructed from its von Neumann algebra.


title: Representations of quantum conjugacy classes of orthosymplectic groups

abstract: Let $G$ be the complex symplectic or special orthogonal group and $\g$ its Lie algebra. With every point $x$ of the maximal torus $T\subset G$ we associate a highest weight module $M_x$ over the Drinfeld-Jimbo quantum group $U_q(\g)$ and a quantization of the conjugacy class of $x$ by operators in $\End(M_x)$. These quantizations are isomorphic for $x$ lying on the same orbit of the Weyl group, and $M_x$ support different representations of the same quantum conjugacy class.


title: Inductively free Multiderivations of Braid arrangements

abstract: The reflection arrangement of a Coxeter group is a well known instance of a free hyperplane arrangement. In 2002, Terao showed that equipped with a constant multiplicity each such reflection arrangement gives rise to a free multiarrangement. In this note we show that this multiarrangment satisfies the stronger property of inductive freeness in case the Coxeter group is of type $A$.


title: Two-loop top-Yukawa-coupling corrections to the charged Higgs-boson mass in the MSSM

abstract: The top-Yukawa-coupling enhanced two-loop corrections to the charged Higgs-boson mass in the real MSSM are presented. The contributing two-loop self-energies are calculated in the Feynman- diagrammatic approach in the gaugeless limit with vanishing external momentum and bottom mass, within a renormalization scheme comprising on-shell and $\overline{\text{DR}}$ conditions. Numerical results illustrate the effect of the $\mathcal{O}{(\alpha_t^2)}$ contributions and the importance of the two-loop corrections to the mass of the charged Higgs bosons.


title: Photometric study of HD 155555 C in the $\beta$ Pictoris Association

abstract: We are carrying out a series of photometric monitoring to measure the rotation periods of members in the young $\beta$ Pictoris Association, as part of the RACE-OC project (Rotation and ACtivity Evolution in Open Clusters). In this paper, we present the results for HD 155555C which is believed to be physically associated to the spectroscopic binary V824 Ara (HD155555) and thus constituting a triple system. We collected B, V, and R-band photometric data timeseries and discovered from periodogram analysis the rotation period P = 4.43d. Combined with stellar radius and projected rotational velocity, we find this star almost equator-on with an inclination $i$ $\simeq$ 90$^{\circ}$. The rotational properties of HD155555C fit well into the period distribution of other $\beta$ Pic members, giving further support to the suggested membership to the association and to its physical association to V824 Ara. A comparison with Pre-Main-Sequence isochrones from various models allows us to estimate an age of 20$\pm$15 Myr for this triple system.


title: Weak values in continuous weak measurement of qubits

abstract: For continuous weak measurement of qubits, we obtain exact expressions for weak values (WVs) from the post-selection restricted average of measurement outputs, by using both the quantumtrajectory- equation (QTE) and quantum Bayesian approach. The former is applicable to short-time weak measurement, while the latter can relax the measurement strength to finite. We find that even in the "very" weak limit the result can be essentially different from the one originally proposed by Aharonov, Albert and Vaidman (AAV), in a sense that our result incorporates non-perturbative correction which could be important when the AAV's WV is large. Within the Bayesian framework, we obtain also elegant expressions for finite measurement strength and find that the amplifier's noise in quantum measurement has no effect on the WVs. In particular, we obtain very useful result for homodyne measurement in circuit-QED system, which allows for measuring the real and imaginary parts of the AAV's WV by simply tuning the phase of the local oscillator. This advantage can be exploited as efficient state-tomography technique.


title: Precise Tail Asymptotics for Attracting Fixed Points of Multivariate Smoothing Transformations

abstract: Given $d \ge 1$, let $(A_i)_{i\ge 1}$ be a sequence of random $d\times d$ real matrices and $Q$ be a random vector in $\mathbb{R}^d$. We consider fixed points of multivariate smoothing transforms, i.e. random variables $X\in \mathbb{R}^d$ satisfying $X$ has the same law as $\sum_{i \ge 1} A_i X_i + Q$, where $(X_i)_{i \ge 1}$ are i.i.d. copies of $X$ and independent of $(Q, (A_i)_{i \ge 1})$. The existence of fixed points that can attract point masses can be shown by means of contraction arguments. Let $X$ be such a fixed point. Assuming that the action of the matrices is expanding as well with positive probability, it was shown in a number of papers that there is $\beta >0$ with $\lim_{t \to \infty} t^\beta \mathbb{P}(<u,X > >t ) = K\cdot f(u)$, where $u$ denotes an arbitrary element of the unit sphere and $f$ a positive function and $K \ge 0$. However in many cases it was not established that $K$ is indeed positive. In this paper, under quite general assumptions, we prove that $\liminf_{t\to\infty} t^{\beta} \mathbb{P} (<u,X >> t)> 0,$ completing, in particular, the results of arXiv:1111.1756 and arXiv:1206.1709.


title: Towards a Learning Theory of Cause-Effect Inference

abstract: We pose causal inference as the problem of learning to classify probability distributions. In particular, we assume access to a collection $\{(S_i,l_i)\}_{i=1}^n$, where each $S_i$ is a sample drawn from the probability distribution of $X_i \times Y_i$, and $l_i$ is a binary label indicating whether "$X_i \to Y_i$" or "$X_i \leftarrow Y_i$". Given these data, we build a causal inference rule in two steps. First, we featurize each $S_i$ using the kernel mean embedding associated with some characteristic kernel. Second, we train a binary classifier on such embeddings to distinguish between causal directions. We present generalization bounds showing the statistical consistency and learning rates of the proposed approach, and provide a simple implementation that achieves state-of-the-art cause-effect inference. Furthermore, we extend our ideas to infer causal relationships between more than two variables.


title: Electrocaloric effect in KH$_2$PO$_4$ family crystals

abstract: The proton ordering model for the KH$_{2}$PO$_{4}$ type ferroelectrics is modified by taking into account the dependence of the effective dipole moments on the proton ordering parameter. Within the four-particle cluster approximation we calculate the crystal polarization and explore the electrocaloric effect. Smearing of the ferroelectric phase transition by a longitudinal electric field is described. A good agreement with experiment is obtained.


title: Direct numerical solution of the coordinate space Balitsky-Kovchegov equation at next to leading order

abstract: We present the first numerical solution to the next to leading order Balitsky-Kovchegov (BK) equation in coordinate space in the large-$N_\mathrm{c}$ limit. In addition to the dipole operator we also solve the evolution of the "conformal dipole" for which the conformal invariance breaking double logarithmic term is absent from the evolution equation. The NLO corrections are shown to slow down the evolution. We show that the solution depends strongly on the details of the initial condition, and that the solution to the equation is not positive definite with all initial conditions relevant for phenomenological applications.


title: Random Preferential Attachment Hypergraphs

abstract: The random graph model has recently been extended to a random preferential attachment graph model, in order to enable the study of general asymptotic properties in network types that are better represented by the preferential attachment evolution model than by the ordinary (uniform) evolution lodel. Analogously, this paper extends the random {\em hypergraph} model to a random {\em preferential attachment hypergraph} model. We then analyze the degree distribution of random preferential attachment hypergraphs and show that they possess heavy tail degree distribution properties similar to those of random preferential attachment graphs. However, our results show that the exponent of the degree distribution is sensitive to whether one considers the structure as a hypergraph or as a graph.


title: User-space Multipath UDP in Mosh

abstract: In many network topologies, hosts have multiple IP addresses, and may choose among multiple network paths by selecting the source and destination addresses of the packets that they send. This can happen with multihomed hosts (hosts connected to multiple networks), or in multihomed networks using source-specific routing. A number of efforts have been made to dynamically choose between multiple addresses in order to improve the reliability or the performance of network applications, at the network layer, as in Shim6, or at the transport layer, as in MPTCP. In this paper, we describe our experience of implementing dynamic address selection at the application layer within the Mobile Shell. While our work is specific to Mosh, we hope that it is generic enough to serve as a basis for designing UDP-based multipath applications or even more general APIs.


title: YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts

abstract: Scientific workflow management systems offer features for composing complex computational pipelines from modular building blocks, for executing the resulting automated workflows, and for recording the provenance of data products resulting from workflow runs. Despite the advantages such features provide, many automated workflows continue to be implemented and executed outside of scientific workflow systems due to the convenience and familiarity of scripting languages (such as Perl, Python, R, and MATLAB), and to the high productivity many scientists experience when using these languages. YesWorkflow is a set of software tools that aim to provide such users of scripting languages with many of the benefits of scientific workflow systems. YesWorkflow requires neither the use of a workflow engine nor the overhead of adapting code to run effectively in such a system. Instead, YesWorkflow enables scientists to annotate existing scripts with special comments that reveal the computational modules and dataflows otherwise implicit in these scripts. YesWorkflow tools extract and analyze these comments, represent the scripts in terms of entities based on the typical scientific workflow model, and provide graphical renderings of this workflow-like view of the scripts. Future versions of YesWorkflow also will allow the prospective provenance of the data products of these scripts to be queried in ways similar to those available to users of scientific workflow systems.


title: The relational model is injective for Multiplicative Exponential Linear Logic

abstract: We prove a completeness result for Multiplicative Exponential Linear Logic (MELL): we show that the relational model is injective for MELL proof-nets, i.e. the equality between MELL proof-nets in the relational model is exactly axiomatized by cut-elimination.


title: Extrapolating an Euler class

abstract: Let $R$ be a noetherian ring of dimension $d$ and let $n$ be an integer so that $n \leq d\leq 2n-3$. Let $(a_1,...,a_{n+1})$ be a unimodular row so that the ideal $J=(a_1,...,a_n)$ has height $n$. Jean Fasel has associated to this row an element $[(J,\omega_J)]$ in the Euler class group $E^n(R)$, with $\omega_J:(R/J)^n\to J/J^2$ given by $(a_1,...,a_{n-1},a_n a_{n+1})$. If $R$ contains an infinite field $F$ then we show that the rule of Fasel defines a homomorphism from $WMS_{n+1}(R)=Um_{n+1}(R)/E_{n+1}(R)$ to $E^n(R)$. The main problem is to get a well defined map on all of $Um_{n+1}(R)$. Similar results have been obtained by Mrinal Kanti Das and MD Ali Zinna, with a different proof. Our proof uses that every Zariski open subset of $SL_{n+1}(F)$ is path connected for walks made up of elementary matrices.


title: Bayesian approach to LR assessment in case of rare type match: careful derivation and limits

abstract: The likelihood ratio (LR) is largely used to evaluate the relative weight of forensic data regarding two hypotheses and for its assessment Bayesian methods are widespread in the forensic field. However, the Bayesian `recipe' for the LR presented in most of literature consists in plugging-in Bayesian estimates of the involved nuisance parameters into a frequentist-defined LR: frequentist and Bayesian methods are thus mixed, giving rise to solutions obtained by hybrid reasoning. This paper provides the derivation of a proper Bayesian approach to assess LR for the `rare type match problem', the situation in which the expert wants to evaluate a match between the profile of a suspect and that of a trace from the crime scene, and this profile has never been observed before in the database of reference. Bayesian LR assessment using the two most popular Bayesian models (beta-binomial and Dirichlet-multinomial) is discussed and compared to corresponding plug-in versions.


title: A Social Spider Algorithm for Global Optimization

abstract: The growing complexity of real-world problems has motivated computer scientists to search for efficient problem-solving methods. Metaheuristics based on evolutionary computation and swarm intelligence are outstanding examples of nature-inspired solution techniques. Inspired by the social spiders, we propose a novel Social Spider Algorithm to solve global optimization problems. This algorithm is mainly based on the foraging strategy of social spiders, utilizing the vibrations on the spider web to determine the positions of preys. Different from the previously proposed swarm intelligence algorithms, we introduce a new social animal foraging strategy model to solve optimization problems. In addition, we perform preliminary parameter sensitivity analysis for our proposed algorithm, developing guidelines for choosing the parameter values. The Social Spider Algorithm is evaluated by a series of widely-used benchmark functions, and our proposed algorithm has superior performance compared with other state-of-the-art metaheuristics.


title: MAXI monitoring of blazars and blackhole binaries

abstract: Since August 2009, MAXI experiment on the ISS has been performing all-sky X-ray monitoring. With MAXI, we detected flaring activities of some blazers, including Mrk 421, Mrk 501, and 3C 273. Recently, new X-ray flaring activities were detected from two blazers, MAXI J1930+093 = 2FGL J1931.1+0938 (Atel#5943) and 2MAXI J0243-582 = BZB J0244-5819 (Atel#6012). The MAXI monitoring also covers black hole binaries, including Cyg X-1 and Cyg X-3 which emit GeV gamma-rays. Their gamma-ray emission was found to coincide with their X-ray state transitions. We present light curves and outstanding events of these sources.


title: Fundamental Limits for Light Absorption and Scattering Induced by Cooperative Electromagnetic Coupling

abstract: Absorption and scattering of electromagnetic waves by dielectric media are of fundamental importance in many branches of physics. In this Letter we analytically derived the ultimate upper limits for the absorbed and scattered powers by any system of optical resonators in mutual interaction. We show that these bounds depend only on the geometric configuration given an incident field. We give the conditions to fullfill to reach these limits paving so a way for a rational design of optimal metamaterials.


title: Out-of-sample generalizations for supervised manifold learning for classification

abstract: Supervised manifold learning methods for data classification map data samples residing in a high-dimensional ambient space to a lower-dimensional domain in a structure-preserving way, while enhancing the separation between different classes in the learned embedding. Most nonlinear supervised manifold learning methods compute the embedding of the manifolds only at the initially available training points, while the generalization of the embedding to novel points, known as the out-of-sample extension problem in manifold learning, becomes especially important in classification applications. In this work, we propose a semi-supervised method for building an interpolation function that provides an out-of-sample extension for general supervised manifold learning algorithms studied in the context of classification. The proposed algorithm computes a radial basis function (RBF) interpolator that minimizes an objective function consisting of the total embedding error of unlabeled test samples, defined as their distance to the embeddings of the manifolds of their own class, as well as a regularization term that controls the smoothness of the interpolation function in a direction-dependent way. The class labels of test data and the interpolation function parameters are estimated jointly with a progressive procedure. Experimental results on face and object images demonstrate the potential of the proposed out-of-sample extension algorithm for the classification of manifold-modeled data sets.


title: Modeling the effect of anisotropic pressure on tokamak plasmas normal modes and continuum using fluid approaches

abstract: Extending the ideal MHD stability code MISHKA, a new code, MISHKA-A, is developed to study the impact of pressure anisotropy on plasma stability. Based on full anisotropic equilibrium and geometry, the code can provide normal mode analysis with three fluid closure models: the single adiabatic model (SA), the double adiabatic model (CGL) and the incompressible model. A study on the plasma continuous spectrum shows that in low beta, large aspect ratio plasma, the main impact of anisotropy lies in the modification of the BAE gap and the sound frequency, if the q profile is conserved. The SA model preserves the BAE gap structure as ideal MHD, while in CGL the lowest frequency branch does not touch zero frequency at the resonant flux surface where $m+nq=0$, inducing a gap at very low frequency. Also, the BAE gap frequency with bi-Maxwellian distribution in both model becomes higher if $p_\perp > p_\parallel$ with a q profile dependency. As a benchmark of the code, we study the m/n=1/1 internal kink mode. Numerical calculation of the marginal stability boundary with bi-Maxwellian distribution shows a good agreement with the generalized incompressible Bussac criterion [A. B. Mikhailovskii, Sov. J. Plasma Phys 9, 190 (1983)]: the mode is stabilized(destabilized) if $p_\parallel < p_\perp (p_\parallel > p_\perp)$.


title: Double core-hole spectroscopy of transient plasmas produced in the interaction of ultraintense x-ray pulses with neon

abstract: Double core-hole (DCH) spectroscopy is investigated systematically for neon atomic system in the interaction with ultraintense x-ray pulses with photon energy from 937 eV to 2000 eV. A time-dependent rate equation, implemented in the detailed level accounting approximation, is utilized to study the dynamical evolution of the level population and emission properties of the highly transient plasmas. For x-ray pulses with photon energy in the range of 937-1030 eV, where $1s\rightarrow 2p$ resonance absorption from single core-hole (SCH) states of neon charge states exist, inner-shell resonant absorption (IRA) effects play important roles in the time evolution of population and DCH spectroscopy. Such IRA physical effects are illustrated in detail by investigating the interaction of x-ray pulses at a photon energy of 944 eV, which corresponds to the $1s\rightarrow 2p$ resonant absorption from the SCH states ($1s2s^22p^4$, $1s2s2p^5$ and $1s2p^6$) of Ne$^{3+}$. After averaging over the space and time distribution of the x-ray pulses, DCH spectroscopy at photon energies of 937, 944, 955, 968, 980, and 990 eV (corresponding to the $1s\rightarrow 2p$ resonance energies of Ne$^{2+}$-Ne$^{7+}$, respectively) are studied in detail. The complex mechanisms of producing the DCH states are discussed, taking the DCH spectroscopy at 937 and 980 eV as examples. For photon energy larger than 1362 eV, there are no resonance absorption in the interaction, resulting in a similar physical picture of DCH spectroscopy. The dominant DCH states are due to higher ionization stages of Ne$^{7+}$-Ne$^{9+}$, while the DCH spectroscopy from lower charge states Ne$^{2+}$-Ne$^{6+}$ are much weaker. With the increase of x-ray photon energy, the contributions from the lower charge states become larger.


title: Tilings of amenable groups

abstract: We prove that for any infinite countable amenable group $G$, any $\epsilon > 0$ and any finite subset $K\subset G$, there exists a tiling (partition of $G$ into finite "tiles" using only finitely many "shapes"), where all the tiles are $(K; \epsilon)$-invariant. Moreover, our tiling has topological entropy zero (i.e., subexponential complexity of patterns). As an application, we construct a free action of $G$ (in the sense that the mappings, associated to different from unity elements of $G$, have no fixpoints), on a zero-dimensional space, and which has topological entropy zero.


title: Tractability and Decompositions of Global Cost Functions

abstract: Enforcing local consistencies in cost function networks is performed by applying so-called Equivalent Preserving Transformations (EPTs) to the cost functions. As EPTs transform the cost functions, they may break the property that was making local consistency enforcement tractable on a global cost function. A global cost function is called tractable projection-safe when applying an EPT to it is tractable and does not break the tractability property. In this paper, we prove that depending on the size r of the smallest scopes used for performing EPTs, the tractability of global cost functions can be preserved (r = 0) or destroyed (r > 1). When r = 1, the answer is indefinite. We show that on a large family of cost functions, EPTs can be computed via dynamic programming-based algorithms, leading to tractable projection-safety. We also show that when a global cost function can be decomposed into a Berge acyclic network of bounded arity cost functions, soft local consistencies such as soft Directed or Virtual Arc Consistency can directly emulate dynamic programming. These different approaches to decomposable cost functions are then embedded in a solver for extensive experiments that confirm the feasibility and efficiency of our proposal.


title: Algebraic entropy of an extended Hietarinta-Viallet equation

abstract: We introduce a series of discrete mappings, which is considered to be an extension of the Hietarinta-Viallet mapping with one parameter. We obtain the algebraic entropy for this mapping by obtaining the recurrence relation for the degrees of the iterated mapping. For some parameter values the mapping has a confined singularity, in which case the mapping is equivalent to a recurrence relation between irreducible polynomials. For other parameter values, the mapping does not pass the singularity confinement test. The properties of irreducibility and co-primeness of the terms play crucial roles in the discussion.


title: Free divisors in a pencil of curves

abstract: A plane curve on a the projective space over a field of characteristic zero is free if its associated sheaf T of tangent vector fields tangent is a free module. Relatively few free curves are known. Here we prove that a divisor consisting of a union of curves of a pencil of plane projective curves with the same degree and with a smooth base locus is a free divisor if and only this union contains all the singular members of the pencil and its Jacobian ideal is locally a complete intersection.


title: Semantics-based services for a low carbon society: An application on emissions trading system data and scenarios management

abstract: A low carbon society aims at fighting global warming by stimulating synergic efforts from governments, industry and scientific communities. Decision support systems should be adopted to provide policy makers with possible scenarios, options for prompt countermeasures in case of side effects on environment, economy and society due to low carbon society policies, and also options for information management. A necessary precondition to fulfill this agenda is to face the complexity of this multi-disciplinary domain and to reach a common understanding on it as a formal specification. Ontologies are widely accepted means to share knowledge. Together with semantic rules, they enable advanced semantic services to manage knowledge in a smarter way. Here we address the European Emissions Trading System (EU-ETS) and we present a knowledge base consisting of the EREON ontology and a catalogue of rules. Then we describe two innovative semantic services to manage ETS data and information on ETS scenarios.


title: Rank of elliptic curves associated to the Brahmagupta quadrilaterals

abstract: In this paper, we construct a family of elliptic curves of rank at least five. To do so, we use the Brahmagupta formula for the area of cyclic quadrilaterals $(p^3,q^3,r^3,q^3)$ not necessarily standing for the genuine sides of quadrilaterals. It turns out that, as parameters of the curves, the integers $p,q,r,s$, along with the extra integers $u$, $v$ satisfy $u^6+v^6+p^6+q^6=2(r^6+s^6)$, $uv=pq$. However, we utilize a subset of the solutions of the above system via the rational points of a specific elliptic curve of positive rank lying on the system.


title: Measurement in biological systems from the self-organisation point of view

abstract: Measurement in biological systems became a subject of concern as a consequence of numerous reports on limited reproducibility of experimental results. To reveal origins of this inconsistency, we have examined general features of biological systems as dynamical systems far from not only their chemical equilibrium, but, in most cases, also of their Lyapunov stable states. Thus, in biological experiments, we do not observe states, but distinct trajectories followed by the examined organism. If one of the possible sequences is selected, a minute sub-section of the whole problem is obtained, sometimes in a seemingly highly reproducible manner. But the state of the organism is known only if a complete set of possible trajectories is known. And this is often practically impossible. Therefore, we propose a different framework for reporting and analysis of biological experiments, respecting the view of non-linear mathematics. This view should be used to avoid overoptimistic results, which have to be consequently retracted or largely complemented. An increase of specification of experimental procedures is the way for better understanding of the scope of paths, which the biological system may be evolving. And it is hidden in the evolution of experimental protocols.


title: Finite groups acting symplectically on $T^2\times S^2$

abstract: For any symplectic form $\omega$ on $T^2\times S^2$ we construct infinitely many nonisomorphic finite groups which admit effective smooth actions on $T^2\times S^2$ that are trivial in cohomology but which do not admit any effective symplectic action on $(T^2\times S^2,\omega)$. We also prove that for any $\omega$ there is another symplectic form $\omega'$ on $T^2\times S^2$ and a finite group acting symplectically and effectively on $(T^2\times S^2,\omega')$ which does not admit any effective symplectic action on $(T^2\times S^2,\omega)$. A basic ingredient in our arguments is the study of the Jordan property of the symplectomorphism groups of $T^2\times S^2$. A group $G$ is Jordan if there exists a constant $C$ such that any finite subgroup $\Gamma$ of $G$ contains an abelian subgroup whose index in $\Gamma$ is at most $C$. Csik\'os, Pyber and Szab\'o proved recently that the diffeomorphism group of $T^2\times S^2$ is not Jordan. We prove that, in contrast, for any symplectic form $\omega$ on $T^2\times S^2$ the group of symplectomorphisms $Symp(T^2\times S^2,\omega)$ is Jordan. We also give upper and lower bounds for the optimal value of the constant $C$ in Jordan's property for $Symp(T^2\times S^2,\omega)$ depending on the cohomology class represented by $\omega$. Our bounds are sharp for a large class of symplectic forms on $T^2\times S^2$.


title: Field theory as a tool to constrain new physics models

abstract: One of the major problems in developing new physics scenarios is that very often the parameters can be adjusted such that in perturbation theory almost all experimental low-energy results can be accommodated. It is therefore desirable to have additional constraints. Field-theoretical considerations can provide such additional constraints on the low-lying spectrum and multiplicities of models. Especially for theories with elementary or composite Higgs particle the Fr\"ohlich-Morchio-Strocchi mechanism provides a route to create additional conditions, though showing it to be at work requires genuine non-perturbative calculations. The qualitative features of this procedure are discussed for generic 2-Higgs-doublet models, grand-unified theories, and technicolor-type theories.


title: An improved lower bound for one-dimensional online unit clustering

abstract: The online unit clustering problem was proposed by Chan and Zarrabi-Zadeh (WAOA2007 and Theory of Computing Systems 45(3), 2009), which is defined as follows: "Points" are given online in the $d$-dimensional Euclidean space one by one. An algorithm creates a "cluster," which is a $d$-dimensional rectangle. The initial length of each edge of a cluster is 0. An algorithm can extend an edge until it reaches unit length independently of other dimensions. The task of an algorithm is to cover a new given point either by creating a new cluster and assigning it to the point, or by extending edges of an existing cluster created in past times. The goal is to minimize the total number of created clusters. Chan and Zarrabi-Zadeh proposed some method to obtain a competitive algorithm for the $d$-dimensional case using an algorithm for the one-dimensional case, and thus the one-dimensional case has been extensively studied including some variants of the unit clustering problem. In this paper, we show a lower bound of $13/8 = 1.625$ on the competitive ratio of any deterministic online algorithm for the one-dimensional unit clustering, improving the previous lower bound $8/5 (=1.6)$ presented by Epstein and van Stee (WAOA2007 and ACM Transactions on Algorithms 7(1), 2010). Note that Ehmsen and Larsen (SWAT2010 and Theoretical Computer Science, 500, 2013) showed the current best upper bound of $5/3$, and conjectured that the exact competitive ratio in the one-dimensional case may be $13/8$.


title: On the minimal affinizations of type $F_4$

abstract: In this paper, we apply the theory of cluster algebras to study minimal affinizations for the quantum affine algebra of type $F_4$. We show that the $q$-characters of a large family of minimal affinizations of type $F_4$ satisfy a system of equations. Moreover, a minimal affinization in this system corresponds to some cluster variable in some cluster algebra $\mathscr{A}$. For the other minimal affinizations of type $F_4$ which are not in this system, we give some conjectural equations which contains these minimal affinizations. Furthermore, we introduce the concept of dominant monomial graphs to study the equations satisfied by $q$-characters of modules of quantum affine algebras.


title: Lepton mixing in gauge models

abstract: We reexamine lepton mixing in gauge models by considering two theories within the type I seesaw mechanism, the Extended Standard Model, i.e. SU(2)_L \times U(1)_Y with singlet right-handed heavy neutrinos, and the Left-Right Model SU(2)_L x SU(2)_R x U(1)_{B-L}. The former is often used as a simple heuristic approach to masses and mixing of light neutrinos and to leptogenesis, while we consider the latter as an introduction to other left-right symmetric gauge theories like SO(10). We compare lepton mixing in both theories for general parameter space and discuss also some particular cases. In the electroweak broken phase, we study in parallel both models in the "current basis" (diagonal gauge interactions), and in the "mass basis" (diagonal mass matrices and mixing in the interaction), and perform the counting of CP conserving and CP violating parameters in both bases. We extend the analysis to the Pati-Salam model SU(4)_C x SU(2)_L x SU(2)_R and to SO(10). Although specifying the Higgs sector increases the predictive power, in the most general case one has the same parameter structure in the lepton sector for all the left-right symmetric gauge models. We make explicit the differences between the Extended Standard Model and the left-right models, in particular CP violating and lepton-number violating new terms involving the W_R gauge bosons. As expected, at low energy, the differences in the light neutrino spectrum and mixing appear only beyond leading order in the ratio of Dirac mass to right-handed Majorana mass.


title: Low rank and sparse dynamical maps and repeated entries in the process matrix

abstract: We show that the process matrix in the basis of tensor products of Pauli operators or SU(N) generators representing low rank and sparse dynamical maps will have only a few distinct entries which goes as $O(r^2)$ ($r$ is the rank).


title: Simple Distributed Delta + 1 Coloring in the SINR Model

abstract: In wireless ad hoc or sensor networks, distributed node coloring is a fundamental problem closely related to establishing efficient communication through TDMA schedules. For networks with maximum degree Delta, a Delta + 1 coloring is the ultimate goal in the distributed setting as this is always possible. In this work we propose Delta + 1 coloring algorithms for the synchronous and asynchronous setting. All algorithms have a runtime of O(Delta log n) time slots. This improves on the previous algorithms for the SINR model either in terms of the number of required colors or the runtime and matches the runtime of local broadcasting in the SINR model (which can be seen as a lower bound).


title: A Distributed Message-Optimal Assignment on Rings

abstract: Consider a set of items and a set of $m$ colors, where each item is associated to one color. Consider also $n$ computational agents connected by a ring. Each agent holds a subset of the items and items of the same color can be held by different agents. We analyze the problem of distributively assigning colors to agents in such a way that (a) each color is assigned to one agent only and (b) the number of different colors assigned to each agent is minimum. Since any color assignment requires the items be distributed according to it (e.g. all items of the same color are to be held by only one agent), we define the cost of a color assignment as the amount of items that need to be moved, given an initial allocation. We first show that any distributed algorithm for this problem requires a message complexity of $\Omega(n\cdot m)$ and then we exhibit an optimal message complexity algorithm for synchronous rings that in polynomial time determines a color assignment with cost at most three times the optimal. We also discuss solutions for the asynchronous setting. Finally, we show how to get a better cost solution at the expenses of either the message or the time complexity.


title: Generalized Metric Formulation of Double Field Theory on Group Manifolds

abstract: We rewrite the recently derived cubic action of Double Field Theory on group manifolds [arXiv:1410.6374] in terms of a generalized metric and extrapolate it to all orders in the fields. For the resulting action, we derive the field equations and state them in terms of a generalized curvature scalar and a generalized Ricci tensor. Compared to the generalized metric formulation of DFT derived from tori, all these quantities receive additional contributions related to the non-trivial background. It is shown that the action is invariant under its generalized diffeomorphisms and 2D-diffeomorphisms. Imposing additional constraints relating the background and fluctuations around it, the precise relation between the proposed generalized metric formulation of DFT${}_\mathrm{WZW}$ and of original DFT from tori is clarified. Furthermore we show how to relate DFT${}_\mathrm{WZW}$ of the WZW background with the flux formulation of original DFT.


title: A structural theory of everything

abstract: In this paper it is argued that Barad's Agential Realism, an approach to quantum mechanics originating in the philosophy of Niels Bohr, can be the basis of a 'theory of everything' consistent with a proposal of Wheeler that observer-participancy is the foundation of everything. On the one hand, agential realism can be grounded in models of self-organisation such as the hypercycles of Eigen, while on the other agential realism, by virtue of the 'discursive practices' that constitute one aspect of the theory, implies the possibility of the generation of physical phenomena through acts of specification originating at a more fundamental level. Included in phenomena that may be generated by such a mechanism are the origin and evolution of life, and human capacities such as mathematical and musical intuition.


title: Subsequent singularities of mean convex mean curvature flows in smooth manifolds

abstract: For any $n$-dimensional smooth manifold $\Sigma$, we show that all the singularities of the mean curvature flow with any initial mean convex hypersurface in $\Sigma$ are cylindrical (of convex type) if the flow converges to a smooth hypersurface $M_{\infty}$ (maybe empty) at infinity. Previously this was shown (i) for $n\leq 7$, and (ii) for arbitrary $n$ up to the first singular time without the smooth condition for $M_{\infty}$.


title: Comparison of primordial tensor power spectra from the deformed algebra and dressed metric approaches in loop quantum cosmology

abstract: Loop quantum cosmology tries to capture the main ideas of loop quantum gravity and to apply them to the Universe as a whole. Two main approaches within this framework have been considered to date for the study of cosmological perturbations: the dressed metric approach and the deformed algebra approach. They both have advantages and drawbacks. In this article, we accurately compare their predictions. In particular, we compute the associated primordial tensor power spectra. We show -- numerically and analytically -- that the large scale behavior is similar for both approaches and compatible with the usual prediction of general relativity. The small scale behavior is, the other way round, drastically different. Most importantly, we show that in a range of wavenumbers explicitly calculated, both approaches do agree on predictions that, in addition, differ from standard general relativity and do not depend on unknown parameters. These features of the power spectrum at intermediate scales might constitute a universal loop quantum cosmology prediction that can hopefully lead to observational tests and constraints. We also present a complete analytical study of the background evolution for the bouncing universe that can be used for other purposes.


title: Classical Radiation Reaction in Particle-In-Cell Simulations

abstract: Under the presence of ultra high intensity lasers or other intense electromagnetic fields the motion of particles in the ultrarelativistic regime can be severely affected by radiation reaction. The standard particle-in-cell (PIC) algorithms do not include radiation reaction effects. Even though this is a well known mechanism, there is not yet a definite algorithm nor a standard technique to include radiation reaction in PIC codes. We have compared several models for the calculation of the radiation reaction force, with the goal of implementing an algorithm for classical radiation reaction in the Osiris framework, a state-of-the-art PIC code. The results of the different models are compared with standard analytical results, and the relevance/advantages of each model are discussed. Numerical issues relevant to PIC codes such as resolution requirements, application of radiation reaction to macro particles and computational cost are also addressed. The Landau and Lifshitz reduced model is chosen for implementation.


title: A tournament approach to pattern avoiding matrices

abstract: We consider the following Tur\'an-type problem: given a fixed tournament $H$, what is the least integer $t=t(n,H)$ so that adding $t$ edges to any $n$-vertex tournament, results in a digraph containing a copy of $H$. Similarly, what is the least integer $t=t(T_n,H)$ so that adding $t$ edges to the $n$-vertex transitive tournament, results in a digraph containing a copy of $H$. Besides proving several results on these problems, our main contributions are the following: (1) Pach and Tardos conjectured that if $M$ is an acyclic $0/1$ matrix, then any $n \times n$ matrix with $n(\log n)^{O(1)}$ entries equal to $1$ contains the pattern $M$. We show that this conjecture is equivalent to the assertion that $t(T_n,H)=n(\log n)^{O(1)}$ if and only if $H$ belongs to a certain (natural) family of tournaments. (2) We propose an approach for determining if $t(n,H)=n(\log n)^{O(1)}$. This approach combines expansion in sparse graphs, together with certain structural characterizations of $H$-free tournaments. Our result opens the door for using structural graph theoretic tools in order to settle the Pach-Tardos conjecture.


title: High-pressure powder x-ray diffraction study of EuVO4

abstract: The high-pressure structural behavior of europium orthovanadate has been studied using in-situ, synchrotron based, high-pressure x-ray powder diffraction technique. Angle-dispersive x-ray diffraction measurements were carried out at room temperature up to 34.7 GPa using a diamond-anvil cell, extending the pressure range reported in previous experiments. We confirmed the occurrence of zircon-scheelite phase transition at 6.8 GPa and the coexistence of low- and high-pressure phases up to 10.1 GPa. In addition, clear evidence of a scheelite-fregusonite transition is found at 23.4 GPa. The fergusonite structure remains stable up to 34.7 GPa, the highest pressure reached in the present measurements. A partial decomposition of EuVO4 was also observed from 8.1 to 12.8 GPa, however, this fact did not preclude the identification of the different crystal structures of EuVO4. The crystal structures of the different phases have been Rietveld refined and their equations of state (EOS) have been determined. The results are compared with the previous experimental data and theoretical calculations.


title: Can rodents conceive hyperbolic spaces?

abstract: The grid cells discovered in the rodent medial entorhinal cortex have been proposed to provide a metric for Euclidean space, possibly even hardwired in the embryo. Yet one class of models describing the formation of grid unit selectivity is entirely based on developmental self-organization, and as such it predicts that the metric it expresses should reflect the environment to which the animal has adapted. We show that, according to self-organizing models, if raised in a non-Euclidean hyperbolic cage rats should be able to form hyperbolic grids. For a given range of grid spacing relative to the radius of negative curvature of the hyperbolic surface, such grids are predicted to appear as multi-peaked firing maps, in which each peak has seven neighbours instead of the Euclidean six, a prediction that can be tested in experiments. We thus demonstrate that a useful universal neuronal metric, in the sense of a multi-scale ruler and compass that remain unaltered when changing environments, can be extended to other than the standard Euclidean plane.


title: Exact solutions to Super Resolution on semi-algebraic domains in higher dimensions

abstract: We investigate the multi-dimensional Super Resolution problem on closed semi-algebraic domains for various sampling schemes such as Fourier or moments. We present a new semidefinite programming (SDP) formulation of the 1 -minimization in the space of Radon measures in the multi-dimensional frame on semi-algebraic sets. While standard approaches have focused on SDP relaxations of the dual program (a popular approach is based on Gram matrix representations), this paper introduces an exact formulation of the primal 1 -minimization exact recovery problem of Super Resolution that unleashes standard techniques (such as moment-sum-of-squares hier-archies) to overcome intrinsic limitations of previous works in the literature. Notably, we show that one can exactly solve the Super Resolution problem in dimension greater than 2 and for a large family of domains described by semi-algebraic sets.


title: Polarisation of cells and soft objects driven by mechanical interactions: Consequences for migration and chemotaxis

abstract: We study a generic model for the polarisation and motility of self-propelled soft objects, biological cells or biomimetic systems, interacting with a viscous substrate. The active forces generated by the cell on the substrate are modelled by means of oscillating force multipoles at the cell-substrate interface. Symmetry breaking and cell polarisation for a range of cell sizes naturally `emerge' from long range mechanical interactions between oscillating units, mediated both by the intracellular medium and the substrate. However, the harnessing of cell polarisation for motility requires substrate-mediated interactions. Motility can be optimised by adapting the oscillation frequency to the relaxation time of the system or when the substrate and cell viscosities match. Cellular noise can destroy mechanical coordination between force-generating elements within the cell, resulting in sudden changes of polarisation. The persistence of the cell's motion is found to depend on the cell size and the substrate viscosity. Within such a model, chemotactic guidance of cell motion is obtained by directionally modulating the persistence of motion, rather than by modulating the instantaneous cell velocity, in a way that resembles the run and tumble chemotaxis of bacteria.

categories: cond-mat.soft nlin.AO physics.bio-ph physics.flu-dyn


title: Ergodicity of Fuzzy Markov Chains Based on Simulation Using Sequences

abstract: As shown in [1], we reduce periodicity of fuzzy Markov chains using the Halton quasi-random generator. In this paper, we employ two different quasi-random sequences namely Faure and Kronecker to generate the membership values of fuzzy Markov chain. Using simulation it is revealed that the number of ergodic fuzzy Markov chain simulated by Kronecker sequences is more than the one obtained by Faure sequences.


title: Functional and Local Renormalization Groups

abstract: We discuss the relation between functional renormalization group (FRG) and local renormalization group (LRG), focussing on the two dimensional case as an example. We show that away from criticality the Wess-Zumino action is described by a derivative expansion with coefficients naturally related to RG quantities. We then demonstrate that the Weyl consistency conditions derived in the LRG approach are equivalent to the RG equation for the $c$-function available in the FRG scheme. This allows us to give an explicit FRG representation of the Zamolodchikov-Osborn metric, which in principle can be used for computations.


title: Generalized switching signals for input-to-state stability of switched systems

abstract: This article deals with input-to-state stability (ISS) of continuous-time switched nonlinear systems. Given a family of systems with exogenous inputs such that not all systems in the family are ISS, we characterize a new and general class of switching signals under which the resulting switched system is ISS. Our stabilizing switching signals allow the number of switches to grow faster than an affine function of the length of a time interval, unlike in the case of average dwell time switching. We also recast a subclass of average dwell time switching signals in our setting and establish analogs of two representative prior results.


title: Nonparametric Simultaneous Sparse Recovery: an Application to Source Localization

abstract: We consider multichannel sparse recovery problem where the objective is to find good recovery of jointly sparse unknown signal vectors from the given multiple measurement vectors which are different linear combinations of the same known elementary vectors. Many popular greedy or convex algorithms perform poorly under non-Gaussian heavy-tailed noise conditions or in the face of outliers. In this paper, we propose the usage of mixed $\ell_{p,q}$ norms on data fidelity (residual matrix) term and the conventional $\ell_{0,2}$-norm constraint on the signal matrix to promote row-sparsity. We devise a greedy pursuit algorithm based on simultaneous normalized iterative hard thresholding (SNIHT) algorithm. Simulation studies highlight the effectiveness of the proposed approaches to cope with different noise environments (i.i.d., row i.i.d, etc) and outliers. Usefulness of the methods are illustrated in source localization application with sensor arrays.


title: An Extended Filament Based Lamellipodium Model Produces Various Moving Cell Shapes in the Presence of Chemotactic Signals

abstract: The Filament Based Lamellipodium Model (FBLM) is a two-phase two-dimensional continuum model, describing the dynamcis of two interacting families of locally parallel actin filaments (C.Schmeiser and D.Oelz, How do cells move? Mathematical modeling of cytoskeleton dynamics and cell migration. Cell mechanics: from single scale-based models to multiscale modeling. Chapman and Hall, 2010). It contains accounts of the filaments' bending stiffness, of adhesion to the substrate, and of cross-links connecting the two families. An extension of the model is presented with contributions from nucleation of filaments by branching, from capping, from contraction by actin-myosin interaction, and from a pressure-like repulsion between parallel filaments due to Coulomb interaction. The effect of a chemoattractant is described by a simple signal transduction model influencing the polymerization speed. Simulations with the extended model show its potential for describing various moving cell shapes, depending on the signal transduction procedure, and for predicting transients between nonmoving and moving states as well as changes of direction.


title: Energy and momentum transfer in one-dimensional trapped gases by stimulated light scattering

abstract: In ultracold atoms settings, inelastic light scattering is a preeminent technique to reveal static and dynamic properties at nonzero momentum. In this work, we investigate an array of one-dimensional trapped Bose gases, by measuring both the energy and the momentum imparted to the system via light scattering experiments. The measurements are performed in the weak perturbation regime, where these two quantities - the energy and momentum transferred - are expected to be related to the dynamical structure factor of the system. We discuss this relation, with special attention to the role of in-trap dynamics on the transferred momentum.


title: On the Dynamics of a Recurrent Hopfield Network

abstract: In this research paper novel real/complex valued recurrent Hopfield Neural Network (RHNN) is proposed. The method of synthesizing the energy landscape of such a network and the experimental investigation of dynamics of Recurrent Hopfield Network is discussed. Parallel modes of operation (other than fully parallel mode) in layered RHNN is proposed. Also, certain potential applications are proposed.


title: Deep Neural Networks for Anatomical Brain Segmentation

abstract: We present a novel approach to automatically segment magnetic resonance (MR) images of the human brain into anatomical regions. Our methodology is based on a deep artificial neural network that assigns each voxel in an MR image of the brain to its corresponding anatomical region. The inputs of the network capture information at different scales around the voxel of interest: 3D and orthogonal 2D intensity patches capture the local spatial context while large, compressed 2D orthogonal patches and distances to the regional centroids enforce global spatial consistency. Contrary to commonly used segmentation methods, our technique does not require any non-linear registration of the MR images. To benchmark our model, we used the dataset provided for the MICCAI 2012 challenge on multi-atlas labelling, which consists of 35 manually segmented MR images of the brain. We obtained competitive results (mean dice coefficient 0.725, error rate 0.163) showing the potential of our approach. To our knowledge, our technique is the first to tackle the anatomical segmentation of the whole brain using deep neural networks.


title: Role of initial system-bath correlation on coherence trapping

abstract: We study the coherence trapping of a qubit correlated initially with a non-Markovian bath in a pure dephasing channel. By considering the initial qubit-bath correlation and the bath spectral density, we find that the initial qubit-bath correlation can lead to a more efficient coherence trapping than that of the initially separable qubit-bath state. The stationary coherence in the long time limit can be maximized by optimizing the parameters of the initially correlated qubit-bath state and the bath spectral density. In addition, the effects of this initial correlation on the maximal evolution speed for the qubit trapped to its stationary coherence state are also explored.


title: Topology of certain symplectic conifold transitions of $CP^{1}$-bundles

abstract: In this paper, we prove the existence of certain symplectic conifold transitions on all $CP^{1}$-bundles over symplectic 4--manifolds, which generalizes Smith, Thomas and Yau's examples of symplectic conifold transitions on trivial $CP^{1}$-bundles over K\"ahler surfaces. Our main result is to determine the diffeomorphism types of such symplectic conifold transitions of $CP^{1}$-bundles. In particular, this implies that in the case of trivial $CP^{1}$-bundles over projective surfaces, Smith, Thomas and Yau's examples of symplectic conifold transitions are diffeomorphic to K\"ahler 3--folds.


title: Dear CAV, We Need to Talk About Reproducibility

abstract: How many times have you tried to re-implement a past CAV tool paper, and failed? Reliably reproducing published scientific discoveries has been acknowledged as a barrier to scientific progress for some time but there remains only a small subset of software available to support the specific needs of the research community (i.e. beyond generic tools such as source code repositories). In this paper we propose an infrastructure for enabling reproducibility in our community, by automating the build, unit testing and benchmarking of research software.


title: Role of Ionized Impurity and Interface Roughness Scatterings in the Electronic Transport of InAs/GaSb Type II Superlattices at Low Temperatures

abstract: The in-plane electron mobility has been calculated in InAs/GaSb type-II superlattices at low temperatures. The interface roughness scattering and ionized impurity scattering are investigated as the dominant scattering mechanisms in limiting the electron transport at low temperatures. For this purpose, the band structures and wave functions of electrons in such superlattices are calculated by solving the K.P Hamiltonian using the numerical Finite Difference method. The scattering rates have obtained for different temperatures and structural parameters. We show that the scattering rates are high in thin-layer superlattices and the mobility rises as the temperature increases in low-temperature regime.


title: Detweiler's gauge-invariant redshift variable: analytic determination of the nine and nine-and-a-half post-Newtonian self-force contributions

abstract: Continuing our analytic computation of the first-order self-force contribution to Detweiler's redshift variable we provide the exact expressions of the ninth and ninth-and-a-half post-Newtonian terms.


title: Existence of periodic solutions of the FitzHugh-Nagumo equations for an explicit range of the small parameter

abstract: The FitzHugh-Nagumo model describing propagation of nerve impulses in axon is given by fast-slow reaction-diffusion equations, with dependence on a parameter $\epsilon$ representing the ratio of time scales. It is well known that for all sufficiently small $\epsilon>0$ the system possesses a periodic traveling wave. With aid of computer-assisted rigorous computations, we prove the existence of this periodic orbit in the traveling wave equation for an explicit range $\epsilon \in (0, 0.0015]$. Our approach is based on a novel method of combination of topological techniques of covering relations and isolating segments, for which we provide a self-contained theory. We show that the range of existence is wide enough, so the upper bound can be reached by standard validated continuation procedures. In particular, for the range $\epsilon \in [1.5 \times 10^{-4}, 0.0015]$ we perform a rigorous continuation based on covering relations and not specifically tailored to the fast-slow setting. Moreover, we confirm that for $\epsilon=0.0015$ the classical interval Newton-Moore method applied to a sequence of Poincar\'e maps already succeeds. Techniques described in this paper can be adapted to other fast-slow systems of similar structure.


title: Angular Momentum Transport and Particle Acceleration during Magnetorotational Instability in a Kinetic Accretion Disk

abstract: Angular momentum transport and particle acceleration during the magnetorotational instability (MRI) in a collisionless accretion disk are investigated using three-dimensional particle-in-cell (PIC) simulation. We show that the kinetic MRI can provide not only high energy particle acceleration but also enhancement of angular momentum transport. We find that the plasma pressure anisotropy inside the channel flow with $p_{\|} > p_{\perp}$ induced by active magnetic reconnection suppresses the onset of subsequent reconnection, which in turn leads to high magnetic field saturation and enhancement of Maxwell stress tensor of angular momentum transport. Meanwhile, during the quiescent stage of reconnection the plasma isotropization progresses in the channel flow, and the anisotropic plasma with $p_{\perp} > p_{\|}$ due to the dynamo action of MRI outside the channel flow contributes to rapid reconnection and strong particle acceleration. This efficient particle acceleration and enhanced angular momentum transport in a collisionless accretion disk may explain the origin of high energy particles observed around massive black holes.


title: Controlling disorder with periodically modulated interactions

abstract: We investigate a celebrated problem of one dimensional tight binding model in the presence of disorder leading to Anderson localization from a novel perspective. A binary disorder is assumed to be created by immobile heavy particles for the motion of the lighter, mobile species in the limit of no interaction between mobile particles. Fast periodic modulations of interspecies interactions allow us to produce an effective model with small diagonal and large off-diagonal disorder unexplored in cold atoms experiments. We present an expression for an approximate Anderson localization length and verify the existence of the well known extended resonant mode and analyze the influence of nonzero next-nearest neighbor hopping terms. We point out that periodic modulation of interaction allow disorder to work as a tunable band-pass filter for momenta.


title: A fast PC algorithm for high dimensional causal discovery with multi-core PCs

abstract: Discovering causal relationships from observational data is a crucial problem and it has applications in many research areas. The PC algorithm is the state-of-the-art constraint based method for causal discovery. However, runtime of the PC algorithm, in the worst-case, is exponential to the number of nodes (variables), and thus it is inefficient when being applied to high dimensional data, e.g. gene expression datasets. On another note, the advancement of computer hardware in the last decade has resulted in the widespread availability of multi-core personal computers. There is a significant motivation for designing a parallelised PC algorithm that is suitable for personal computers and does not require end users' parallel computing knowledge beyond their competency in using the PC algorithm. In this paper, we develop parallel-PC, a fast and memory efficient PC algorithm using the parallel computing technique. We apply our method to a range of synthetic and real-world high dimensional datasets. Experimental results on a dataset from the DREAM 5 challenge show that the original PC algorithm could not produce any results after running more than 24 hours; meanwhile, our parallel-PC algorithm managed to finish within around 12 hours with a 4-core CPU computer, and less than 6 hours with a 8-core CPU computer. Furthermore, we integrate parallel-PC into a causal inference method for inferring miRNA-mRNA regulatory relationships. The experimental results show that parallel-PC helps improve both the efficiency and accuracy of the causal inference algorithm.


title: Localization for the Schr\"{o}dinger equation in a locally periodic medium

abstract: We study the homogenization of a Schr\"{o}dinger equation in a locally periodic medium. For the time and space scaling of semi-classical analysis we consider well-prepared initial data that are concentrated near a stationary point (with respect to both space and phase) of the energy, i.e. the Bloch cell eigenvalue. We show that there exists a localized solution which is asymptotically given as the product of a Bloch wave and of the solution of an homogenized Schr\"{o}dinger equation with quadratic potential.


title: Superconductivity and the electronic phase diagram of LaPt$_{2-x}$Ge$_{2+x}$

abstract: In many cases, unconventional superconductivity are realized by suppressing another order parameter, such as charge density wave (CDW) or spin density wave (SDW). This suggests that the fluctuations of these order parameters play an important role in producing superconductivity. LaPt$_2$Ge$_2$ undergoes a tetragonal-to-monoclinic structural phase transition (SPT) at $T_{\rm s}$ = 394 K, accompanying a double period modulation in the $a$-axis direction, and superconducts at $T_{\rm c}$ = 0.41 K. We performed band calculations and found 2D (two dimensional)-like Fermi surfaces with partial nesting. A reduction in the density of states in the monoclinic phase was found in the calculation and confirmed by $^{195}$Pt-NMR. We suggest a CDW as a possible cause for the SPT. By changing the stoichiometry between Pt and Ge, we succeeded in suppressing $T_{\rm s}$ and increasing $T_{\rm c}$ in LaPt$_{2-x}$Ge$_{2+x}$. Comparison of $^{139}$La- and $^{195}$Pt-NMR data reveals moderate fluctuations associated with SPT. From $^{139}$La-NQR measurements at zero field, we found that an isotropic superconducting gap is realized in LaPt$_{2-x}$Ge$_{2+x}$ ($x$ = 0.20). We discuss the relationship between superconductivity and the SPT order/fluctuations.


title: Transverse single spin asymmetry in Drell-Yan production in polarized pA collisions

abstract: We study the transverse single spin asymmetry in Drell-Yan production in pA collisions with incoming protons being transversely polarized. We carry out the calculation using a newly developed hybrid approach. The polarized cross section computed in the hybrid approach is consistent with that obtained from the usual TMD factorization at low transverse momentum as expected, whereas at high transverse momentum, color entanglement effect is found to play a role in contributing to the spin asymmetry of Drell-Yan production, though it is a $1/N_c^2$ suppressed effect.


title: Transfer of arbitrary two qubit states via a spin chain

abstract: We investigate the fidelity of the quantum state transfer (QST) of two qubits by means of an arbitrary spin-1/2 network, on a lattice of any dimensionality. Under the assumptions that the network Hamiltonian preserves the magnetization and that a fully polarized initial state is taken for the lattice, we obtain a general formula for the average fidelity of the two qubits QST, linking it to the one- and two-particle transfer amplitudes of the spin-excitations among the sites of the lattice. We then apply this formalism to a 1D spin chain with XX-Heisenberg type nearest-neighbour interactions adopting a protocol that is a generalization of the single qubit one proposed in Ref. [Phys. Rev. A 87, 062309 (2013)]. We find that a high-quality two qubit QST can be achieved provided one can control the local fields at sites near the sender and receiver. Under such conditions, we obtain an almost perfect transfer in a time that scales either linearly or, depending on the spin number, quadratically with the length of the chain.


title: Generic Points in Some Nonuniformly Hyperbolic Systems Via Pesin Theory

abstract: This article is devoted to the investigation of the topological pressure of generic points for nonuniformly hyperbolic systems via Pesin theory. In particular, our result can be applied to the nonuniformly hyperbolic diffeomorphisms described by Katok and several other classes of diffeomorphisms derived from Anosov systems.


title: A skewer survey of the Galactic halo from deep CFHT and INT images

abstract: We study the density profile and shape of the Galactic halo using deep multicolour images from the MENeaCS and CCCP projects, over 33 fields selected to avoid overlap with the Galactic plane. Using multicolour selection and PSF homogenization techniques we obtain catalogues of F stars (near-main sequence turnoff stars) out to Galactocentric distances up to 60kpc. Grouping nearby lines of sight, we construct the stellar density profiles through the halo in eight different directions by means of photometric parallaxes. Smooth halo models are then fitted to these profiles. We find clear evidence for a steepening of the density profile power law index around R=20 kpc, from -2.50 +- 0.04 to -4.85 +- 0.04, and for a flattening of the halo towards the poles with best-fit axis ratio 0.63 +- 0.02. Furthermore, we cannot rule out a mild triaxiality (w>=0.8). We recover the signatures of well-known substructure and streams that intersect our lines of sight. These results are consistent with those derived from wider but shallower surveys, and augur well for upcoming, wide-field surveys of comparable depth to our pencil beam surveys.


title: Elastic properties of polycrystalline dense matter

abstract: Elastic properties of the solid regions of neutron star crusts and white dwarfs play an important role in theories of stellar oscillations. Matter in compact stars is presumably polycrystalline and, since the elastic properties of single crystals of such matter are very anisotropic, it is necessary to relate elastic properties of the polycrystal to those of a single crystal. We calculate the effective shear modulus of polycrystalline matter with randomly oriented crystallites using a self-consistent theory that has been very successful in applications to terrestrial materials and show that previous calculations overestimate the shear modulus by approximately 28%.


title: Summable solutions of some partial differential equations and generalised integral means

abstract: We describe partial differential operators for which we can construct generalised integral means satisfying Pizzetti-type formulas. Using these formulas we give a new characterisation of summability of formal power series solutions to some multidimensional partial differential equations in terms of holomorphic properties of generalised integral means of the Cauchy data.


title: On centrality of $K_2$ for Chevalley groups of type $E_l$

abstract: For a root system $\Phi$ of type $E_l$ and arbitrary commutative ring $R$ we show that the group $K_2(\Phi, R)$ is contained in the centre of the Steinberg group $St(\Phi, R)$. In course of the proof we also demonstrate an analogue of Quillen---Suslin local-global principle for $K_2(\Phi, R)$.


title: Stiffening of Red Blood Cells Induced by Disordered Cytoskeleton Structures: A Joint Theory-experiment Study

abstract: The functions and elasticities of the cell are largely related to the structures of the cytoskeletons underlying the lipid bi-layer. Among various cell types, the Red Blood Cell (RBC) possesses a relatively simple cytoskeletal structure. Underneath the membrane, the RBC cytoskeleton takes the form of a two dimensional triangular network, consisting of nodes of actins (and other proteins) and edges of spectrins. Recent experiments focusing on the malaria infected RBCs (iRBCs) showed that there is a correlation between the elongation of spectrins in the cytoskeletal network and the stiffening of the iRBCs. Here we rationalize the correlation between these two observations by combining the worm-like chain (WLC) model for single spectrins and the Effective Medium Theory (EMT) for the network elasticity. We specifically focus on how the disorders in the cytoskeletal network affect its macroscopic elasticity. Analytical and numerical solutions from our model reveal that the stiffness of the membrane increases with increasing end-to-end distances of spectrins, but has a non-monotonic dependence on the variance of the end-to-end distance distributions. These predictions are verified quantitively by our AFM and micropipette aspiration measurements of iRBCs. The model may, from a molecular level, provide guidelines for future identification of new treatment methods for RBC related diseases, such as malaria infection.


title: A behavioural approach to obstacle avoidance for mobile manipulators based on distributed sensing

abstract: A reactive obstacle avoidance method for mobile manipulators is presented. The objectives of the developed algorithm are twofold. The first one is to find a trajectory in the configuration space of a mobile manipulator so as to follow a given trajectory in the task space. The second objective consists in locally adjusting the trajectory in the configuration space in order to avoid collisions with potentially moving obstacles and self-collisions in unstructured and dynamic environments. The perception is exclusively based on a set of proximity sensors distributed on the robot mechanical structure and visual information are not required. Thanks to the adoption of this kind of proximity distributed perception, the approach does not require a 3D model of the robot and allows the real-time collision avoidance without the need of a sensorized environment. To achieve the features cited above, a behaviour-based technique known as Null-Space-Based (NSB) approach has been adopted with some modifications.On one hand, the concept of a total pseudo-energy based on the information from the distributed sensors has been introduced. On the other hand, a method to combine different tasks has been proposed to guarantee the smoothness of the realtime trajectory adjustments. Another significant feature of the method is the strict coordination between the base and the arm exploiting the redundant degrees of freedom, that is a relevant topic in mobile manipulation.


title: Automorphic products of singular weight for simple lattices

abstract: We classify the simple even lattices of square free level and signature (2,n) for n > 3. A lattice is called simple if the space of cusp forms of weight 1+n/2 for the dual Weil representation of the lattice is trivial. For a simple lattice every formal principal part obeying obvious conditions is the principal part of a vector valued modular form. Using this, we determine all holomorphic Borcherds products of singular weight (arising from vector valued modular forms with non-negative principal part) for the simple lattices. We construct the corresponding vector valued modular forms by eta products and compute expansions of the automorphic products at different cusps.


title: Structural Decompositions for Problems with Global Constraints

abstract: A wide range of problems can be modelled as constraint satisfaction problems (CSPs), that is, a set of constraints that must be satisfied simultaneously. Constraints can either be represented extensionally, by explicitly listing allowed combinations of values, or implicitly, by special-purpose algorithms provided by a solver. Such implicitly represented constraints, known as global constraints, are widely used; indeed, they are one of the key reasons for the success of constraint programming in solving real-world problems. In recent years, a variety of restrictions on the structure of CSP instances have been shown to yield tractable classes of CSPs. However, most such restrictions fail to guarantee tractability for CSPs with global constraints. We therefore study the applicability of structural restrictions to instances with such constraints. We show that when the number of solutions to a CSP instance is bounded in key parts of the problem, structural restrictions can be used to derive new tractable classes. Furthermore, we show that this result extends to combinations of instances drawn from known tractable classes, as well as to CSP instances where constraints assign costs to satisfying assignments.


title: Nonlinear Model Predictive Control for Constrained Output Path Following

abstract: We consider the tracking of geometric paths in output spaces of nonlinear systems subject to input and state constraints without pre-specified timing requirements. Such problems are commonly referred to as constrained output path-following problems. Specifically, we propose a predictive control approach to constrained path-following problems with and without velocity assignments and provide sufficient convergence conditions based on terminal regions and end penalties. Furthermore, we analyze the geometric nature of constrained output path-following problems and thereby provide insight into the computation of suitable terminal control laws and terminal regions. We draw upon an example from robotics to illustrate our findings.


title: On a quantum version of Ellis joint continuity theorem

abstract: We give a necessary and sufficient condition on a compact semitopological quantum semigroup which turns it into a compact quantum group. In particular, we obtain a generalisation of Ellis's joint continuity theorem. We also investigate the question of the existence of the Haar state on a compact semitopological quantum semigroup and prove a "noncommutative" version of the converse Haar's theorem.


title: On some new Bailey pairs and new expansions for some Mock theta functions

abstract: In this paper we offer some new identities associated with mock theta functions and establish new Bailey pairs related to indefinite quadratic forms. We believe our proof is instructive use of changing base of Bailey pairs, and offers new information on some Bailey pairs that have proven important in the study of Mock theta functions.


title: Finite Size Corrections to Disordered Systems : mean field results and applications to finite dimensional models

abstract: This PhD thesis has the following structure: Chapter 1 - General introduction; Chapter 2 - Preliminaries; Chapter 3 - The Replicated Transfer Matrix; Chapter 4 - Finite Size Corrections On Random Graphs; Chapter 5 - The Random Field Ising Model; Chapter 6 - The Euclidean Assignment Problem; Chapter 7 - The Euclidean Matching Problem; Chapter 8 - The Large M Expansion.


title: Derandomized Construction of Combinatorial Batch Codes

abstract: Combinatorial Batch Codes (CBCs), replication-based variant of Batch Codes introduced by Ishai et al. in STOC 2004, abstracts the following data distribution problem: $n$ data items are to be replicated among $m$ servers in such a way that any $k$ of the $n$ data items can be retrieved by reading at most one item from each server with the total amount of storage over $m$ servers restricted to $N$. Given parameters $m, c,$ and $k$, where $c$ and $k$ are constants, one of the challenging problems is to construct $c$-uniform CBCs (CBCs where each data item is replicated among exactly $c$ servers) which maximizes the value of $n$. In this work, we present explicit construction of $c$-uniform CBCs with $\Omega(m^{c-1+{1 \over k}})$ data items. The construction has the property that the servers are almost regular, i.e., number of data items stored in each server is in the range $[{nc \over m}-\sqrt{{n\over 2}\ln (4m)}, {nc \over m}+\sqrt{{n \over 2}\ln (4m)}]$. The construction is obtained through better analysis and derandomization of the randomized construction presented by Ishai et al. Analysis reveals almost regularity of the servers, an aspect that so far has not been addressed in the literature. The derandomization leads to explicit construction for a wide range of values of $c$ (for given $m$ and $k$) where no other explicit construction with similar parameters, i.e., with $n = \Omega(m^{c-1+{1 \over k}})$, is known. Finally, we discuss possibility of parallel derandomization of the construction.


title: Real root finding for rank defects in linear Hankel matrices

abstract: Let $H\_0, ..., H\_n$ be $m \times m$ matrices with entries in $\QQ$ and Hankel structure, i.e. constant skew diagonals. We consider the linear Hankel matrix $H(\vecx)=H\_0+\X\_1H\_1+...+\X\_nH\_n$ and the problem of computing sample points in each connected component of the real algebraic set defined by the rank constraint ${\sf rank}(H(\vecx))\leq r$, for a given integer $r \leq m-1$. Computing sample points in real algebraic sets defined by rank defects in linear matrices is a general problem that finds applications in many areas such as control theory, computational geometry, optimization, etc. Moreover, Hankel matrices appear in many areas of engineering sciences. Also, since Hankel matrices are symmetric, any algorithmic development for this problem can be seen as a first step towards a dedicated exact algorithm for solving semi-definite programming problems, i.e. linear matrix inequalities. Under some genericity assumptions on the input (such as smoothness of an incidence variety), we design a probabilistic algorithm for tackling this problem. It is an adaptation of the so-called critical point method that takes advantage of the special structure of the problem. Its complexity reflects this: it is essentially quadratic in specific degree bounds on an incidence variety. We report on practical experiments and analyze how the algorithm takes advantage of this special structure. A first implementation outperforms existing implementations for computing sample points in general real algebraic sets: it tackles examples that are out of reach of the state-of-the-art.


title: Planning for robotic exploration based on forward simulation

abstract: We address the problem of controlling a mobile robot to explore a partially known environment. The robot's objective is the maximization of the amount of information collected about the environment. We formulate the problem as a partially observable Markov decision process (POMDP) with an information-theoretic objective function, and solve it applying forward simulation algorithms with an open-loop approximation. We present a new sample-based approximation for mutual information useful in mobile robotics. The approximation can be seamlessly integrated with forward simulation planning algorithms. We investigate the usefulness of POMDP based planning for exploration, and to alleviate some of its weaknesses propose a combination with frontier based exploration. Experimental results in simulated and real environments show that, depending on the environment, applying POMDP based planning for exploration can improve performance over frontier exploration.


title: Gravitational Effects on Inflaton Decay

abstract: We point out that the inflaton inevitably couples to all non-conformally coupled matters gravitationally through an oscillation in the Hubble parameter or the cosmic scale factor. It leads to particle production during the inflaton oscillation regime, which is most efficient just after inflation. Moreover, the analysis is extended to the model with non-minimal inflaton couplings to gravity, in which the Hubble parameter oscillates more violently. We apply our results to the graviton production by the inflaton: gravitons are also produced just after inflation, but the non-minimal coupling does not induce inflaton decay into the graviton pair.


title: An Infinite Restricted Boltzmann Machine

abstract: We present a mathematical construction for the restricted Boltzmann machine (RBM) that doesn't require specifying the number of hidden units. In fact, the hidden layer size is adaptive and can grow during training. This is obtained by first extending the RBM to be sensitive to the ordering of its hidden units. Then, thanks to a carefully chosen definition of the energy function, we show that the limit of infinitely many hidden units is well defined. As with RBM, approximate maximum likelihood training can be performed, resulting in an algorithm that naturally and adaptively adds trained hidden units during learning. We empirically study the behaviour of this infinite RBM, showing that its performance is competitive to that of the RBM, while not requiring the tuning of a hidden layer size.


title: Entanglement Enabled Intensity Interferometry

abstract: Intensity interferometry (Hanbury Brown - Twiss effect) is an interesting and useful concept that is usually presented as a manifestation of the quantum statistics of indistinguishable particles. Here, by exploiting possibilities for project and entanglement, we substantially widen the scope of its central idea, removing the requirement of indistinguishability. We thereby potentially gain access to a host of new observables, including subtle polarization correlations and entanglement itself. Our considerations also shed light on the physical significance of superselection.


title: Efficient batchwise dropout training using submatrices

abstract: Dropout is a popular technique for regularizing artificial neural networks. Dropout networks are generally trained by minibatch gradient descent with a dropout mask turning off some of the units---a different pattern of dropout is applied to every sample in the minibatch. We explore a very simple alternative to the dropout mask. Instead of masking dropped out units by setting them to zero, we perform matrix multiplication using a submatrix of the weight matrix---unneeded hidden units are never calculated. Performing dropout batchwise, so that one pattern of dropout is used for each sample in a minibatch, we can substantially reduce training times. Batchwise dropout can be used with fully-connected and convolutional neural networks.


title: On rate-dependent dissipation effects in electro-elasticity

abstract: This paper deals with the mathematical modelling of large strain electro-viscoelastic deformations in electro-active polymers. Energy dissipation is assumed to occur due to mechanical viscoelasticity of the polymer as well as due to time-dependent effective polarisation of the material. Additive decomposition of the electric field $\mathbb{E} = \mathbb{E}_e + \mathbb{E}_v$ and multiplicative decomposition of the deformation gradient $\mathbf{F} = \mathbf{F}_e \mathbf{F}_v$ are proposed to model the internal dissipation mechanisms. The theory is illustrated with some numerical examples in the end.


title: Entangled Histories

abstract: We introduce quantum history states and their mathematical framework, thereby reinterpreting and extending the consistent histories approach to quantum theory. Through thought experiments, we demonstrate that our formalism allows us to analyze a quantum version of history in which we reconstruct the past by observations. In particular, we can pass from measurements to inferences about "what happened" in a way that is sensible and free of paradox. Our framework allows for a richer understanding of the temporal structure of quantum theory, and we construct history states that embody peculiar, non-classical correlations in time.


title: Dynamic DFS Tree in Undirected Graphs: breaking the $O(m)$ barrier

abstract: Depth first search (DFS) tree is a fundamental data structure for solving various problems in graphs. It is well known that it takes $O(m+n)$ time to build a DFS tree for a given undirected graph $G=(V,E)$ on $n$ vertices and $m$ edges. We address the problem of maintaining a DFS tree when the graph is undergoing {\em updates} (insertion and deletion of vertices or edges). We present the following results for this problem. (a) Fault tolerant DFS tree: There exists a data structure of size ${O}(m ~polylog~ n)$ such that given any set ${\cal F}$ of failed vertices or edges, a DFS tree of the graph $G\setminus {\cal F}$ can be reported in ${O}(n|{\cal F}| ~polylog~ n)$ time. (b) Fully dynamic DFS tree: There exists a fully dynamic algorithm for maintaining a DFS tree that takes worst case ${O}(\sqrt{mn} ~polylog~ n)$ time per update for any arbitrary online sequence of updates. (c) Incremental DFS tree: Given any arbitrary online sequence of edge insertions, we can maintain a DFS tree in ${O}(n ~polylog~ n)$ worst case time per edge insertion. These are the first $o(m)$ worst case time results for maintaining a DFS tree in a dynamic environment. Moreover, our fully dynamic algorithm provides, in a seamless manner, the first deterministic algorithm with $O(1)$ query time and $o(m)$ worst case update time for the dynamic subgraph connectivity, biconnectivity, and 2-edge connectivity.


title: A theory of finite deformation magneto-viscoelasticity

abstract: This paper deals with the mathematical modelling of large strain magneto-viscoelastic deformations. Energy dissipation is assumed to occur both due to the mechanical viscoelastic effects as well as the resistance offered by the material to magnetisation. Existence of internal damping mechanisms in the body is considered by decomposing the deformation gradient and the magnetic induction into `elastic' and `viscous' parts. Constitutive laws for material behaviour and evolution equations for the non-equilibrium fields are derived that agree with the laws of thermodynamics. To illustrate the theory the problems of stress relaxation, magnetic field relaxation, time dependent magnetic induction and strain are formulated and solved for a specific form of the constitutive law. The results, that show the effect of several modelling parameters on the deformation and magnetisation process, are illustrated graphically.


title: Deformation of the Fermi Surface and Anomalous Mass Renormalization by Critical Spin Fluctuations through Asymmetric Spin-Orbit Interaction

abstract: It is shown that an asymmetric spin-orbit interaction is appreciably renormalized by the effect of critical spin fluctuations. As an explicit example, the Rashba-type interaction is predicted to be suppressed by anti-ferromagnetic critical fluctuations near the hot line (or point), leading to a deformation of the Fermi surface near the hot line (or point) around which the band splitting is decreased, while ferromagnetic critical fluctuations are shown to enhance the Rashba-type interaction everywhere on the Fermi surface, leading to an increase in the band splitting. It is also found that the many-body mass renormalization, which diverges towards the magnetic quantum critical point, is in the opposite sign for the two split bands by the Rashba-type interaction. These predictions are observable by the de Haas-van Alphen (dHvA) effect in principle.


title: Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API

abstract: We consider the incremental computation of minimal unsatisfiable cores (MUCs) of QBFs. To this end, we equipped our incremental QBF solver DepQBF with a novel API to allow for incremental solving based on clause groups. A clause group is a set of clauses which is incrementally added to or removed from a previously solved QBF. Our implementation of the novel API is related to incremental SAT solving based on selector variables and assumptions. However, the API entirely hides selector variables and assumptions from the user, which facilitates the integration of DepQBF in other tools. We present implementation details and, for the first time, report on experiments related to the computation of MUCs of QBFs using DepQBF's novel clause group API.


title: Search for a standard model Higgs boson produced in association with a top-quark pair and decaying to bottom quarks using a matrix element method

abstract: A search for a standard model Higgs boson produced in association with a top-quark pair and decaying to bottom quarks is presented. Events with hadronic jets and one or two oppositely charged leptons are selected from a data sample corresponding to an integrated luminosity of 19.5 inverse femtobarns collected by the CMS experiment at the LHC in pp collisions at a centre-of-mass energy of 8 TeV. In order to separate the signal from the larger t t-bar + jets background, this analysis uses a matrix element method that assigns a probability density value to each reconstructed event under signal or background hypotheses. The ratio between the two values is used in a maximum likelihood fit to extract the signal yield. The results are presented in terms of the measured signal strength modifier, mu, relative to the standard model prediction for a Higgs boson mass of 125 GeV. The observed (expected) exclusion limit at a 95% confidence level is mu < 4.2 (3.3), corresponding to a best fit value mu-hat = 1.2 +1.6 -1.5.


title: $\nu$-Generalized Hyperbolic Distributions

abstract: A new class of probability distributions closely connected to generalized hyperbolic distributions is introduced. It is more adapted to study the distributions of sums of random number of random variables. The properties of these distributions are studied. It seems, that this class may be useful for asset returns modeling.


title: OPE of the stress tensors and surface operators

abstract: We demonstrate that the divergent terms in the OPE of a stress tensor and a surface operator of general shape cannot be constructed only from local geometric data depending only on the shape of the surface. We verify this holographically at d=3 for Wilson line operators or equivalently the twist operator corresponding to computing the entanglement entropy using the Ryu-Takayanagi formula. We discuss possible implications of this result.


title: Ultra-Efficient Coupling of a Quantum Emitter to the Tunable Guided Plasmons of a Carbon Nanotube

abstract: We show that a single quantum emitter can efficiently couple to the tunable plasmons of a highly doped single-wall carbon nanotube (SWCNT). Plasmons in these quasi-one-dimensional carbon structures exhibit deep subwavelength confinement that pushes the coupling efficiency close to 100% over a very broad spectral range. This phenomenon takes place for distances and tube diameters comprising the nanometer and micrometer scales. In particular, we find a beta factor ~1 for QEs placed 1-100 nm away from SWCNTs that are just a few nanometers in diameter, while the corresponding Purcell factor exceeds 10^6. Our finding not only holds great potential for waveguide QED, in which an efficient interaction between emitters and cavity modes is pivotal, but it also provides a way of realizing quantum strong coupling between several emitters mediated by SWCNT plasmons, which can be controlled through the large electro-optical tunability of these excitations.


title: Fourier Codes and Hartley Codes

abstract: Real-valued block codes are introduced, which are derived from Discrete Fourier Transforms (DFT) and Discrete Hartley Transforms (DHT). These algebraic structures are built from the eigensequences of the transforms. Generator and parity check matrices were computed for codes up to block length N=24. They can be viewed as lattices codes so the main parameters (dimension, minimal norm, area of the Voronoi region, density, and centre density) are computed. Particularly, Hamming-Hartley and Golay-Hartley block codes are presented. These codes may possibly help an efficient computation of a DHT/DFT.


title: Continuous dependence estimate for conservation laws with L\'{e}vy noise

abstract: We are concerned with multidimensional stochastic balance laws driven by L\'{e}vy processes. Using bounded variation (BV) estimates for vanishing viscosity approximations, we derive an explicit continuous dependence estimate on the nonlinearities of the entropy solutions under the assumption that L\'{e}vy noise only depends on the solution. This result is used to show the error estimate for the stochastic vanishing viscosity method. In addition, we establish fractional $BV$ estimate for vanishing viscosity approximations in case the noise coefficient depends on both the solution and spatial variable.


title: Hard magnet coercivity

abstract: Based on a critical analysis of the experimental coercive properties, general considerations on the reversal mechanisms in RFeB magnets are recalled. By plotting together the experimental parameters obtained in various magnets, common features of the reversal processes are demonstrated. Modeling provides an almost quantitative description of coercivity in these materials and permits connecting the defect characteristic properties to reversal mechanisms.


title: Nonvanishing and Central Critical Values of Twisted $L$-functions of Cusp Forms on Average

abstract: Let $f$ be a holomorphic cusp form of integral weight $k \geq 3$ for $\Gamma_{0}(N)$ with nebentypus character $\psi$. Generalising work of Kohnen and Raghuram we construct a kernel function for the $L$-function $L(f,\chi,s)$ of $f$ twisted by a primitive Dirichlet character $\chi$ and use it to show that the average $\sum_{f \in S_{k}(N,\psi)}\frac{L(f,\chi,s)}{<f,f>}\bar{a_{f}(1)}$ over an orthogonal basis of $S_{k}(N,\psi)$ does not vanish on certain line segments inside the critical strip if the weight $k$ or the level $N$ is big enough. As another application of the kernel function we prove an averaged version of Waldspurger's theorem relating the central critical value of the $D$-th twist ($D < 0$ a fundamental discriminant) of the $L$-function of a cusp form $f$ of even weight $2k$ to the square of the $|D|$-th Fourier coefficient of a form of half-integral weight $k+1/2$ associated to $f$ under the Shimura correspondence.