title: Perfect Numbers in ACL2

abstract: A perfect number is a positive integer n such that n equals the sum of all positive integer divisors of n that are less than n. That is, although n is a divisor of n, n is excluded from this sum. Thus 6 = 1 + 2 + 3 is perfect, but 12 < 1 + 2 + 3 + 4 + 6 is not perfect. An ACL2 theory of perfect numbers is developed and used to prove, in ACL2(r), this bit of mathematical folklore: Even if there are infinitely many perfect numbers the series of the reciprocals of all perfect numbers converges.


title: Extending ACL2 with SMT Solvers

abstract: We present our extension of ACL2 with Satisfiability Modulo Theories (SMT) solvers using ACL2's trusted clause processor mechanism. We are particularly interested in the verification of physical systems including Analog and Mixed-Signal (AMS) designs. ACL2 offers strong induction abilities for reasoning about sequences and SMT complements deduction methods like ACL2 with fast nonlinear arithmetic solving procedures. While SAT solvers have been integrated into ACL2 in previous work, SMT methods raise new issues because of their support for a broader range of domains including real numbers and uninterpreted functions. This paper presents Smtlink, our clause processor for integrating SMT solvers into ACL2. We describe key design and implementation issues and describe our experience with its use.


title: Reasoning About LLVM Code Using Codewalker

abstract: This paper reports on initial experiments using J Moore's Codewalker to reason about programs compiled to the Low-Level Virtual Machine (LLVM) intermediate form. Previously, we reported on a translator from LLVM to the applicative subset of Common Lisp accepted by the ACL2 theorem prover, producing executable ACL2 formal models, and allowing us to both prove theorems about the translated models as well as validate those models by testing. That translator provided many of the benefits of a pure decompilation into logic approach, but had the disadvantage of not being verified. The availability of Codewalker as of ACL2 7.0 has provided an opportunity to revisit this idea, and employ a more trustworthy decompilation into logic tool. Thus, we have employed the Codewalker method to create an interpreter for a subset of the LLVM instruction set, and have used Codewalker to analyze some simple array-based C programs compiled to LLVM form. We discuss advantages and limitations of the Codewalker-based method compared to the previous method, and provide some challenge problems for future Codewalker development.


title: Stateman: Using Metafunctions to Manage Large Terms Representing Machine States

abstract: When ACL2 is used to model the operational semantics of computing machines, machine states are typically represented by terms recording the contents of the state components. When models are realistic and are stepped through thousands of machine cycles, these terms can grow quite large and the cost of simplifying them on each step grows. In this paper we describe an ACL2 book that uses HIDE and metafunctions to facilitate the management of large terms representing such states. Because the metafunctions for each state component updater are solely responsible for creating state expressions (i.e., "writing") and the metafunctions for each state component accessor are solely responsible for extracting values (i.e., "reading") from such state expressions, they can maintain their own normal form, use HIDE to prevent other parts of ACL2 from inspecting them, and use honsing to uniquely represent state expressions. The last feature makes it possible to memoize the metafunctions, which can improve proof performance in some machine models. This paper describes a general-purpose ACL2 book modeling a byte-addressed memory supporting "mixed" reads and writes. By "mixed" we mean that reads need not correspond (in address or number of bytes) with writes. Verified metafunctions simplify such "read-over-write" expressions while hiding the potentially large state expression. A key utility is a function that determines an upper bound on the value of a symbolic arithmetic expression, which plays a role in resolving writes to addresses given by symbolic expressions. We also report on a preliminary experiment with the book, which involves the production of states containing several million function calls.


title: Proving Skipping Refinement with ACL2s

abstract: We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skipping refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification system and a concrete, low-level system. Next, one shows that the behaviors of the implementation system are allowed by the specification system. Skipping refinement allows us to reason about implementation systems that can "skip" specification states due to optimizations that allow the implementation system to take several specification steps at once. Skipping refinement also allows implementation systems to, i.e., to take several steps before completing a specification step. We show how ACL2s can be used to prove skipping refinement theorems by modeling and proving the correctness of three systems: a JVM-inspired stack machine, a simple memory controller, and a scalar to vector compiler transformation.


title: Fusing Multi-Stream Deep Networks for Video Classification

abstract: This paper studies deep network architectures to address the problem of video classification. A multi-stream framework is proposed to fully utilize the rich multimodal information in videos. Specifically, we first train three Convolutional Neural Networks to model spatial, short-term motion and audio clues respectively. Long Short Term Memory networks are then adopted to explore long-term temporal dynamics. With the outputs of the individual streams, we propose a simple and effective fusion method to generate the final predictions, where the optimal fusion weights are learned adaptively for each class, and the learning process is regularized by automatically estimated class relationships. Our contributions are two-fold. First, the proposed multi-stream framework is able to exploit multimodal features that are more comprehensive than those previously attempted. Second, we demonstrate that the adaptive fusion method using the class relationship as a regularizer outperforms traditional alternatives that estimate the weights in a "free" fashion. Our framework produces significantly better results than the state of the arts on two popular benchmarks, 92.2\% on UCF-101 (without using audio) and 84.9\% on Columbia Consumer Videos.


title: Fourier Series Formalization in ACL2(r)

abstract: We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework for formally evaluating definite integrals of real-valued, continuous functions using the Second Fundamental Theorem of Calculus. Our extended framework is also applied to functions containing free arguments. Using this framework, we are able to prove the orthogonality relationships between trigonometric functions, which are the essential properties in Fourier series analysis. The sum rule for definite integrals of indexed sums is also formalized by applying the extended framework along with the First Fundamental Theorem of Calculus and the sum rule for differentiation. The Fourier coefficient formulas of periodic functions are then formalized from the orthogonality relations and the sum rule for integration. Consequently, the uniqueness of Fourier sums is a straightforward corollary. We also present our formalization of the sum rule for definite integrals of infinite series in ACL2(r). Part of this task is to prove the Dini Uniform Convergence Theorem and the continuity of a limit function under certain conditions. A key technique in our proofs of these theorems is to apply the overspill principle from non-standard analysis.


title: Significance Analysis of High-Dimensional, Low-Sample Size Partially Labeled Data

abstract: Classification and clustering are both important topics in statistical learning. A natural question herein is whether predefined classes are really different from one another, or whether clusters are really there. Specifically, we may be interested in knowing whether the two classes defined by some class labels (when they are provided), or the two clusters tagged by a clustering algorithm (where class labels are not provided), are from the same underlying distribution. Although both are challenging questions for the high-dimensional, low-sample size data, there has been some recent development for both. However, when it is costly to manually place labels on observations, it is often that only a small portion of the class labels is available. In this article, we propose a significance analysis approach for such type of data, namely partially labeled data. Our method makes use of the whole data and tries to test the class difference as if all the labels were observed. Compared to a testing method that ignores the label information, our method provides a greater power, meanwhile, maintaining the size, illustrated by a comprehensive simulation study. Theoretical properties of the proposed method are studied with emphasis on the high-dimensional, low-sample size setting. Our simulated examples help to understand when and how the information extracted from the labeled data can be effective. A real data example further illustrates the usefulness of the proposed method.


title: Energy Harvesting Wireless Sensor Networks: Delay Analysis Considering Energy Costs of Sensing and Transmission

abstract: Energy harvesting (EH) provides a means of greatly enhancing the lifetime of wireless sensor nodes. However, the randomness inherent in the EH process may cause significant delay for performing sensing operation and transmitting the sensed information to the sink. Unlike most existing studies on the delay performance of EH sensor networks, where only the energy consumption of transmission is considered, we consider the energy costs of both sensing and transmission. Specifically, we consider an EH sensor that monitors some status environmental property and adopts a harvest-then-use protocol to perform sensing and transmission. To comprehensively study the delay performance, we consider two complementary metrics and analytically derive their statistics: (i) update age - measuring the time taken from when information is obtained by the sensor to when the sensed information is successfully transmitted to the sink, i.e., how timely the updated information at the sink is, and (ii) update cycle - measuring the time duration between two consecutive successful transmissions, i.e., how frequently the information at the sink is updated. Our results show that the consideration of sensing energy cost leads to an important tradeoff between the two metrics: more frequent updates result in less timely information available at the sink.


title: Production of fragments and hyperfragments in antiproton-nucleus collisions

abstract: Formation mechanism of fragments with strangeness in collisions of antiprotons on nuclei has been investigated within the Lanzhou quantum molecular dynamics (LQMD) transport approach combined with a statistical model (GEMINI) for describing the decays of excited fragments. Production of strange particles in the antiproton induced nuclear reactions is modeled within the LQMD model, in which all possible reaction channels such as elastic scattering, annihilation, charge exchange and inelastic scattering in antibaryon-baryon, baryon-baryon and meson-baryon collisions have been included. A coalescence approach is developed for constructing hyperfragments in phase space after de-excitation of nucleonic fragments. The combined approach could describe the production of fragments in low-energy antiproton induced reactions. Hyperfragments are formed within the narrower rapidities and lower kinetic energies. It has advantage to produce heavier hyperfragments and hypernuclides with strangeness s=-2 (double-$\Lambda$ fragments) and s=1 ($\overline{\Lambda}$-fragments) in antiproton induced reactions.


title: Linearized 3D gravity with dust

abstract: Three-dimensional gravity coupled to pressureless dust is a field theory with one local degree of freedom. In the canonical framework, the dust-time gauge encodes this physical degree of freedom as a metric function. We find that the dynamics of this field, up to spatial diffeomorphism flow, is independent of spatial derivatives and is therefore ultralocal. We also derive the linearized equations about flat spacetime, and show that the physical degree of freedom may be viewed as either a traceless or a transverse mode.


title: Universality for Barycentric subdivision

abstract: The spectrum of the Laplacian of successive Barycentric subdivisions of a graph converges exponentially fast to a limit which only depends on the clique number of the initial graph and not on the graph itself. The proof uses an explicit linear operator mapping the clique vector of a graph to the clique vector of the Barycentric refinement. The eigenvectors of its transpose produce integral geometric invariants for which Euler characteristic is one example.


title: Chocolate Numbers

abstract: In this paper, we consider a game played on a rectangular $m \times n$ gridded chocolate bar. Each move, a player breaks the bar along a grid line. Each move after that consists of taking any piece of chocolate and breaking it again along existing grid lines, until just $mn$ individual squares remain. This paper enumerates the number of ways to break an $m \times n$ bar, which we call chocolate numbers, and introduces four new sequences related to these numbers. Using various techniques, we prove interesting divisibility results regarding these sequences.


title: A New Storage Optimized Honeyword Generation Approach for Enhancing Security and Usability

abstract: Inverting the hash values by performing brute force computation is one of the latest security threats on password based authentication technique. New technologies are being developed for brute force computation and these increase the success rate of inversion attack. Honeyword base authentication protocol can successfully mitigate this threat by making password cracking detectable. However, the existing schemes have several limitations like Multiple System Vulnerability, Weak DoS Resistivity, Storage Overhead, etc. In this paper we have proposed a new honeyword generation approach, identified as Paired Distance Protocol (PDP) which overcomes almost all the drawbacks of previously proposed honeyword generation approaches. The comprehensive analysis shows that PDP not only attains a high detection rate of 97.23% but also reduces the storage cost to a great extent.


title: Multilayer bootstrap network for unsupervised speaker recognition

abstract: We apply multilayer bootstrap network (MBN), a recent proposed unsupervised learning method, to unsupervised speaker recognition. The proposed method first extracts supervectors from an unsupervised universal background model, then reduces the dimension of the high-dimensional supervectors by multilayer bootstrap network, and finally conducts unsupervised speaker recognition by clustering the low-dimensional data. The comparison results with 2 unsupervised and 1 supervised speaker recognition techniques demonstrate the effectiveness and robustness of the proposed method.


title: Direct Shear Mapping: Prospects for weak lensing studies of individual galaxy-galaxy lensing systems

abstract: We have investigated, using both a theoretical and an empirical approach, the frequency of low redshift galaxy-galaxy lensing systems in which the signature of weak lensing might be directly detectable. We find good agreement between these two approaches. In order to make a theoretical estimate of the weak lensing shear, $\gamma$, for each galaxy in a catalogue, we have made an estimate of the asymptotic circular velocity from the stellar mass using three different approaches: from a simulation based relation, from an empirically-derived relation, and using the baryonic Tully-Fisher relation. Using data from the Galaxy and Mass Assembly redshift survey we estimate the frequency of detectable weak lensing at low redshift. We find that to a redshift of $z\sim 0.6$, the probability of a galaxy being weakly lensed by at least $\gamma = 0.02$ is $\sim 0.01$. A scatter in the $M_*-M_h$ relation results in a shift towards higher measured shears for a given population of galaxies. Given this, and the good probability of weak lensing at low redshifts, we have investigated the feasibility of measuring the scatter in the $M_*-M_h$ relation using shear statistics. This is a novel measurement, and is made possible because DSM is able to make individual \itshape direct~\upshape shear measurements, in contrast to traditional weak lensing techniques which can only make statistical measurements. We estimate that for a shear measurement error of $\Delta\gamma = 0.02$ (consistent with the sensitivity of DSM), a sample of $\sim$50,000 spatially and spectrally resolved galaxies would allow a measurement of the scatter in the $M_*-M_h$ relation to be made. While there are no currently existing IFU surveys of this size, there are upcoming surveys which will provide this data (e.g The Hobby-Eberly Telescope Dark Energy Experiment (HETDEX), surveys with Hector, and the Square Kilometre Array (SKA)).


title: The user base dynamics of websites

abstract: In this work we study for the first time the interaction between marketing and network effects. We build a model in which the online firm starts with an initial user base and controls the growth of the user base by choosing the intensity of advertisements and referrals to potential users. A large user base provides more profits to the online firm, but building a large user base through advertisements and referrals is costly; therefore, the optimal policy must balance the marginal benefits of adding users against the marginal costs of sending advertisements and referrals. Our work offers three main insights: (1) The optimal policy prescribes that a new online firm should offer many advertisements and referrals initially, but then it should decrease advertisements and referrals over time. (2) If the network effects decrease, then the change in the optimal policy depends heavily on two factors i) the level of patience of the online firm, where patient online firms are oriented towards long term profits and impatient online firms are oriented towards short term profits and, ii) the size of the user base. If the online firm is very patient (impatient) and if the network effects decrease, then the optimal policy prescribes it to be more (less) aggressive in posting advertisements and referrals at low user base levels and less (more) aggressive in posting advertisements and referrals at high user base levels. (3) The change in the optimal policy when network effects decrease also depends heavily on the heterogeneity in the user base, as measured in terms of the revenue generated by each user. An online firm that generates most of its revenue from a core group of users should be more aggressive and protective of its user base than a firm that generates revenue uniformly from its users.


title: Global solutions to the Oldroyd-B model with a class of large initial data

abstract: Consider a global wellposed problem for the incompressible Oldroyd-B model. It is shown that this set of equations admits a unique global solution provided the initial horizontal velocity $u^h_0$, the product $\om u^d_0$ of the coupling parameter $\om$ and initial the vertical velocity $u^d_0$, and initial symmetric tensor of constrains $\tau_0$ are sufficient small in the scaling invariant Besov space $\dot{B}^{\fr{d}{2}-1}_{2,1}\times\dot{B}^{\fr{d}{2}}_{2,1}, d\ge2$. In particular, the result implies the global well-posedness of Oldroyd-B model with large initial vertical velocity $u_0^d$.


title: Rough Bilinear Singular Integrals

abstract: We study the rough bilinear singular integral, introduced by Coifman and Meyer , $$ T_\Omega(f,g)(x)=p.v. \! \int_{\mathbb R^{n}}\! \int_{\mathbb R^{n}}\! |(y,z)|^{-2n} \Omega((y,z)/|(y,z)|)f(x-y)g(x-z) dydz, $$ when $\Omega $ is a function in $L^q(\mathbb S^{2n-1})$ with vanishing integral and $2\le q\le \infty$. When $q=\infty$ we obtain boundedness for $T_\Omega$ from $L^{p_1}(\mathbb R^n)\times L^{p_2}(\mathbb R^n)$ to $ L^p(\mathbb R^n) $ when $1<p_1, p_2<\infty$ and $1/p=1/p_1+1/p_2$. For $q=2$ we obtain that $T_\Omega$ is bounded from $L^{2}(\mathbb R^n)\times L^{ 2}(\mathbb R^n)$ to $ L^1(\mathbb R^n) $. For $q$ between $2$ and infinity we obtain the analogous boundedness on a set of indices around the point $(1/2,1/2,1)$. To obtain our results we introduce a new bilinear technique based on tensor-type wavelet decompositions.


title: Beurling-Lax type theorems in the complex and quaternionic setting: the half-space case

abstract: We give a generalization of the Beurling-Lax theorem both in the complex and quaternionic settings. We consider in the first case functions meromorphic in the right complex half-plane, and functions slice hypermeromorphic in the right quaternionic half-space in the second case. In both settings we also discuss a unified framework, which includes both the disk and the half-plane for the complex case and the open unit ball and the half-space in the quaternionic setting.


title: Classcal affine W-algebras associated to Lie superalgebras

abstract: In this paper, we prove classical affine W-algebras associated to Lie superalgebras (W-superalgebras) can be constructed in two different ways: via affine classical Hamiltonian reductions and via taking quasi-classical limits of quantum affine W-superalgebras. Also, we show that a classical finite W-superalgebra can be obtained by a Zhu algebra of a classical affine W-superalgebra. Using the definition by Hamiltonian reductions, we find free generators of a classical W-superalgebra associated to a minimal nilpotent. Moreover, we compute generators of the classical W-algebra associated to $spo(2|3)$ and its principal nilpotent. In the last part of this paper, we introduce a generalization of classical affine W-superalgebras called classical affine fractional W-superalgebras. We show these have Poisson vertex algebra structures and find generators of a fractional W-superalgebra associated to a minimal nilpotent.


title: Multiphoton Quantum Rabi Oscillations in Ultrastrong Cavity QED

abstract: When an atom is strongly coupled to a cavity, the two systems can exchange a single photon through a coherent Rabi oscillation. This process enables precise quantum-state engineering and manipulation of atoms and photons in a cavity, which play a central role in quantum information and measurement. Recently, a new regime of cavity QED has been reached experimentally where the strength of the interaction between light and artificial atoms (qubits) becomes comparable to the atomic transition frequency or the resonance frequency of the cavity mode. Here we show that this regime can strongly modify the concept of vacuum Rabi oscillations, enabling multiphoton exchanges between the qubit and the resonator. We find that experimental state-of-the-art circuit- QED systems can undergo two- and three-photon vacuum Rabi oscillations. These anomalous Rabi oscillations can be exploited for the realization of efficient Fock-state sources of light and complex entangled states of qubits.


title: Noise Robust IOA/CAS Speech Separation and Recognition System For The Third 'CHIME' Challenge

abstract: This paper presents the contribution to the third 'CHiME' speech separation and recognition challenge including both front-end signal processing and back-end speech recognition. In the front-end, Multi-channel Wiener filter (MWF) is designed to achieve background noise reduction. Different from traditional MWF, optimized parameter for the tradeoff between noise reduction and target signal distortion is built according to the desired noise reduction level. In the back-end, several techniques are taken advantage to improve the noisy Automatic Speech Recognition (ASR) performance including Deep Neural Network (DNN), Convolutional Neural Network (CNN) and Long short-term memory (LSTM) using medium vocabulary, Lattice rescoring with a big vocabulary language model finite state transducer, and ROVER scheme. Experimental results show the proposed system combining front-end and back-end is effective to improve the ASR performance.


title: When can splits be drawn in the plane?

abstract: Split networks are a popular tool for the analysis and visualization of complex evolutionary histories. Every collection of splits (bipartitions) of a finite set can be represented by a split network. Here we characterize which collection of splits can be represented using a planar split network. Our main theorem links these collections of splits with oriented matroids and arrangements of lines separating points in the plane. As a consequence of our main theorem, we establish a particularly simple characterization of maximal collections of these splits.


title: The evolution of asteroids in the jumping-Jupiter migration model

abstract: In this work, we investigate the evolution of a primordial belt of asteroids, represented by a large number of massless test particles, under the gravitational effect of migrating Jovian planets in the framework of the jumping-Jupiter model. We perform several simulations considering test particles distributed in the Main Belt, as well as in the Hilda and Trojan groups. The simulations start with Jupiter and Saturn locked in the mutual 3:2 mean motion resonance plus 3 Neptune-mass planets in a compact orbital configuration. Mutual planetary interactions during migration led one of the Neptunes to be ejected in less than 10 Myr of evolution, causing Jupiter to jump by about 0.3 au in semi-major axis. This introduces a large scale instability in the studied populations of small bodies. After the migration phase, the simulations are extended over 4 Gyr, and we compare the final orbital structure of the simulated test particles to the current Main Belt of asteroids with absolute magnitude $H<9.7$. The results indicate that, in order to reproduce the present Main Belt, the primordial belt should have had a distribution peaked at $\sim10^{\circ}$ in inclination and at $\sim0.1$ in eccentricity. We discuss the implications of this for the Grand Tack model. The results also indicate that neither primordial Hildas, nor Trojans, survive the instability, confirming the idea that such populations must have been implanted from other sources. In particular, we address the possibility of implantation of Hildas and Trojans from the Main Belt population, but find that this contribution should be minor.


title: The energy distribution structure and dynamic characteristics of energy release in electrostatic discharge process

abstract: The detail structure of energy output and the dynamic characteristics of electric spark discharge process have been studied to calculate the energy of electric spark induced plasma under different discharge condition accurately. A series of electric spark discharge experiments were conducted with the capacitor stored energy in the range of 10J 100J and 1000J respectively. And the resistance of wire, switch and plasma between electrodes were evaluated by different methods. An optimized method for electric resistance evaluation of the full discharge circuit, three poles switch and electric spark induced plasma during the discharge process was put forward. The electric energy consumed by wire, electric switch and electric spark induced plasma between electrodes were obtained by Joules law. The structure of energy distribution and the dynamic process of energy release during the capacitor discharge process have been studied. Experiments results showed that, with the increase of capacitor released energy, the duration of discharge process becomes longer, and the energy of plasma accounts for more in the capacitor released energy. The dynamic resistance of plasma and three poles switch obtained by energy conversation law is more precise than that obtained by the parameters of electric current oscillation during the discharge process.


title: A note on enumerating colored integer partitions

abstract: In this short note, we give basic enumerative results on colored integer partitions.


title: Atomic and electronic structure of nitrogen- and boron-doped phosphorene

abstract: First principle modeling of nitrogen- and boron-doped phosphorene demonstrates the tendency toward formation of highly ordered structures. Nitrogen doping leads to the formation of -N-P-P-P-N- lines. Further transformation to -P-N-P-N- lines across the chains of phosphorene occurs with increasing band gap and increasing nitrogen concentration, which coincides with the decreasing chemical activity of N-doped phosphorene. In contrast to the case of nitrogen, boron atoms prefer to form -B-B- pairs with the further formation of -P-P-B-B-P-P- patterns along the phosphorene chains. The low concentration of boron dopants converts the phosphorene from a semiconductor into a semimetal with the simultaneous enhancement of its chemical activity. Co-doping of phosphorene by both boron and nitrogen starts from the formation of -B-N- pairs, which provide flat bands and the further transformation of these pairs to hexagonal BN lines and ribbons across the phosphorene chains.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.chem-ph physics.comp-ph


title: A Dataset of Naturally Occurring, Whole-Body Background Activity to Reduce Gesture Conflicts

abstract: In real settings, natural body movements can be erroneously recognized by whole-body input systems as explicit input actions. We call body activity not intended as input actions "background activity." We argue that understanding background activity is crucial to the success of always-available whole-body input in the real world. To operationalize this argument, we contribute a reusable study methodology and software tools to generate standardized background activity datasets composed of data from multiple Kinect cameras, a Vicon tracker, and two high-definition video cameras. Using our methodology, we create an example background activity dataset for a television-oriented living room setting. We use this dataset to demonstrate how it can be used to redesign a gestural interaction vocabulary to minimize conflicts with the real world. The software tools and initial living room dataset are publicly available (http://www.dgp.toronto.edu/~dustin/backgroundactivity/).


title: Design, Modeling and Control of A Novel Amphibious Robot with Dual-swing-legs Propulsion Mechanism

abstract: This paper describes a novel amphibious robot, which adopts a dual-swing-legs propulsion mechanism, proposing a new locomotion mode. The robot is called FroBot, since its structure and locomotion are similar to frogs. Our inspiration comes from the frog scooter and breaststroke. Based on its swing leg mechanism, an unusual universal wheel structure is used to generate propulsion on land, while a pair of flexible caudal fins functions like the foot flippers of a frog to generate similar propulsion underwater. On the basis of the prototype design and the dynamic model of the robot, some locomotion control simulations and experiments were conducted for the purpose of adjusting the parameters that affect the propulsion of the robot. Finally, a series of underwater experiments were performed to verify the design feasibility of FroBot and the rationality of the control algorithm.


title: A theoretical model of soma-to-germline transmission of transposable elements to build new gene regulatory sequences

abstract: Transposable elements are DNA sequences that can move around to different positions in the genome. During this process, they can cause mutations, and lead to an increase in genome size. Despite representing a large genomic fraction, transposable elements have no clear biological function. This work builds upon a previous model, to propose a new concept of natural selection which combines Lamarckian and Darwinian elements. Transposable elements are hypothesised to be the vector of a flow of genetic information from soma to germline, that shapes gene regulatory regions across the genome. The paper introduces the concept, presents and discusses the body of evidence in support of this hypothesis, and suggests an experiment to test it.


title: A smooth component of the fractional Brownian motion and optimal portfolio selection

abstract: We consider fractional Brownian motion with the Hurst parameters from (1/2,1). We found that the increment of a fractional Brownian motion can be represented as the sum of a two independent Gaussian processes one of which is smooth in the sense that it is differentiable in mean square. We consider fractional Brownian motion and stochastic integrals generated by the Riemann sums. As an example of applications, this results is used to find an optimal pre-programmed strategy in the mean-variance setting for a Bachelier type market model driven by a fractional Brownian motion.


title: Deep Spatial Autoencoders for Visuomotor Learning

abstract: Reinforcement learning provides a powerful and flexible framework for automated acquisition of robotic motion skills. However, applying reinforcement learning requires a sufficiently detailed representation of the state, including the configuration of task-relevant objects. We present an approach that automates state-space construction by learning a state representation directly from camera images. Our method uses a deep spatial autoencoder to acquire a set of feature points that describe the environment for the current task, such as the positions of objects, and then learns a motion skill with these feature points using an efficient reinforcement learning method based on local linear models. The resulting controller reacts continuously to the learned feature points, allowing the robot to dynamically manipulate objects in the world with closed-loop control. We demonstrate our method with a PR2 robot on tasks that include pushing a free-standing toy block, picking up a bag of rice using a spatula, and hanging a loop of rope on a hook at various positions. In each task, our method automatically learns to track task-relevant objects and manipulate their configuration with the robot's arm.


title: Vision System and Depth Processing for DRC-HUBO+

abstract: This paper presents a vision system and a depth processing algorithm for DRC-HUBO+, the winner of the DRC finals 2015. Our system is designed to reliably capture 3D information of a scene and objects robust to challenging environment conditions. We also propose a depth-map upsampling method that produces an outliers-free depth map by explicitly handling depth outliers. Our system is suitable for an interactive robot with real-world that requires accurate object detection and pose estimation. We evaluate our depth processing algorithm over state-of-the-art algorithms on several synthetic and real-world datasets.


title: Geometry and off-shell nilpotency for N = 1 supersymmetric Yang-Mills theory

abstract: We show that for N = 1 supersymmetric Yang-Mills theory it is possible to build an off-shell nilpotent BRST and anti-BRST algebra in terms of a BRST superspace formalism. This is based on the introduction of the basic fields of the quantized theory together with an auxiliary real field via the lowest components of the superfield components of a superYang-Mills connection. Here, the associated supercurvature is constrained by horizontality conditions as in ordinary Yang-Mills theory. We also show how the off-shell BRST-invariant quantum action can be constructed starting from a gauge-fixed superaction.


title: Diffusive scaling in energy ginzburg-Landau dynamics

abstract: Ginzburg-Landau energy models arise as autonomous sto-chastic dynamics for the energies in coupled systems after a weak coupling limit (cf. [3, 6]). We prove here that, under certain conditions, the energy fluctuations of these stochastic dynamics are driven by the heat equation, under a diffusive space time scaling.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: The $S$-wave resonance contributions to the three-body decays $B^0_{(s)}\to \eta_c f_0(X)\to \eta_c\pi^+\pi^-$ in perturbative QCD approach

abstract: In this paper, we study the three-body decays $B^0/B^0_s \to \eta_c f_0(X)\to \eta_c \pi^+\pi^-$ by employing the perturbative QCD (PQCD) factorization approach. We evaluate the $S$-wave resonance contributions by using the two-pion distribution amplitude $\Phi_{\pi\pi}^{\rm S}$. The Breit-Wigner formula for the $f_0(500)$, $f_0(1500)$, and $f_0(1790)$ resonances and the Flatt\'e model for the $f_0(980)$ resonance are adopted to parameterize the time-like scalar form factors $F_{s}(\omega^2)$. We also use the D.~V.~Bugg model to parameterize the $f_0(500)$ and compare the relevant theoretical predictions from different models. We found the following results: (a) the PQCD predictions for the branching ratios are ${\cal B}(B^0\to \eta_c f_0(500)[\pi^+\pi^-])= \left ( 1.53 ^{+0.76}_{-0.35} \right ) \times 10^{-6}$ for Breit-Wigner model and ${\cal B}(B^0\to \eta_c f_0(500)[\pi^+\pi^-])= \left ( 2.31 ^{+0.96}_{-0.48} \right ) \times 10^{-6}$ for D.~V.~Bugg model; (b) $ {\cal B}(B_s\to \eta_c f_0(X)[\pi^+\pi^-] ) =\left ( 5.02^{+1.49}_{-1.08} \right )\times 10^{-5}$ when the contributions from $f_0(X)=(f_0(980),f_0(1500),f_0(1790))$ are all taken into account; and (c) The considered decays could be measured at the ongoing LHCb experiment, consequently, the formalism of two-hadron distribution amplitudes could also be tested by such experiments.


title: Nature of Valance Band Splitting on Multilayer MoS2

abstract: Understanding the origin of splitting of valance band is important since it governs the unique spin and valley physics in few-layer MoS2. With first principle methods, we explore the effects of spin-orbit coupling and layer's coupling on few-layer MoS2. It is found that intra-layer spin-orbit coupling has a major contribution to the splitting of valance band at K. In double-layer MoS2, the layer's coupling results in the widening of energy gap of splitted states induced by intra-layer spin-orbit coupling. The valance band splitting of bulk MoS_2 in K can follow this model. We also find the effect of inter-layer spin-orbit coupling in triple-layer MoS2. In addition, the inter-layer spin-orbit coupling is found to become to be stronger under the pressure and results in the decrease of main energy gap in the splitting valance bands at K.


title: Asymptotic expansion of solutions to the drift-diffusion equation with fractional dissipation

abstract: The initial-value problem for the drift-diffusion equation arising from the model of semiconductor device simulations is studied. The dissipation on this equation is given by the fractional Laplacian. When the exponent of the fractional Laplacian is large, large-time behavior of solutions is known. However, when the exponent is small, the perturbation methods used in the preceding works would not work. Large-time behavior of solutions to the drift-diffusion equation with small exponent is discussed. Particularly, the asymptotic expansion of solutions with high-order is derived.


title: Transient currents of a single molecular junction with a vibrational mode

abstract: By using a propagation scheme for current matrices and an auxiliary mode expansion method, we investigate the transient dynamics of a single molecular junction coupled with a vibrational mode. Our approach is based on the Anderson-Holstein model and the dressed tunneling approximation for the electronic self-energy in the polaronic regime. The time-dependent currents after a sudden switching on the tunneling to leads and an abrupt upward step bias pulse are calculated. We show that the strong electron-phonon interaction greatly influences the nonlinear response properties of the system, and gives rise to interesting characteristics on the time traces of transient currents.


title: Spectral analysis of the Moore-Penrose inverse of a large dimensional sample covariance matrix

abstract: For a sample of $n$ independent identically distributed $p$-dimensional centered random vectors with covariance matrix $\mathbf{\Sigma}_n$ let $\tilde{\mathbf{S}}_n$ denote the usual sample covariance (centered by the mean) and $\mathbf{S}_n$ the non-centered sample covariance matrix (i.e. the matrix of second moment estimates), where $p> n$. In this paper, we provide the limiting spectral distribution and central limit theorem for linear spectral statistics of the Moore-Penrose inverse of $\mathbf{S}_n$ and $\tilde{\mathbf{S}}_n$. We consider the large dimensional asymptotics when the number of variables $p\rightarrow\infty$ and the sample size $n\rightarrow\infty$ such that $p/n\rightarrow c\in (1, +\infty)$. We present a Marchenko-Pastur law for both types of matrices, which shows that the limiting spectral distributions for both sample covariance matrices are the same. On the other hand, we demonstrate that the asymptotic distribution of linear spectral statistics of the Moore-Penrose inverse of $\tilde{\mathbf{S}}_n$ differs in the mean from that of $\mathbf{S}_n$.


title: Short path length pQCD corrections to energy loss in the quark gluon plasma

abstract: Recent surprising discoveries of collective behaviour of low-$p_T$ particles in $pA$ collisions at LHC hint at the creation of a hot, fluid-like QGP medium. The seemingly conflicting measurements of non-zero particle correlations and $R_{pA}$ that appears to be consistent with unity demand a more careful analysis of the mechanisms at work in such ostensibly minuscule systems. We study the way in which energy is dissipated in the QGP created in $pA$ collisions by calculating, in pQCD, the short separation distance corrections to the well-known DGLV energy loss formulae that have produced excellent predictions for $AA$ collisions. We find that, shockingly, due to the large formation time (compared to the $1/\mu$ Debye screening length) assumption that was used in the original DGLV calculation, a highly non-trivial cancellation of correction terms results in a null short path length correction to the DGLV energy loss formula. We investigate the effect of relaxing the large formation time assumption in the final stages of the calculation -- doing so throughout the calculation adds immense calculational complexity -- and find, since the separation distance between production and scattering centre is integrated over from $0$ to $\infty$, $\gtrsim 100\%$ corrections, even in the large path length approximation employed by DGLV.


title: A sequential approach to calibrate ecosystem models with multiple time series data

abstract: Ecosystem approach to fisheries requires a thorough understanding of fishing impacts on ecosystem status and processes as well as predictive tools such as ecosystem models to provide useful information for management. The credibility of such models is essential when used as decision making tools, and model fitting to observed data is one major criterion to assess such credibility. However, more attention has been given to the exploration of model behavior than to a rigorous confrontation to observations, as the calibration of ecosystem models is challenging in many ways. First, ecosystem models can only be simulated numerically and are generally too complex for mathematical analysis and explicit parameter estimation; secondly, the complex dynamics represented in ecosystem models allow species-specific parameters to impact other species parameters through ecological interactions; thirdly, critical data about non-commercial species are often poor; lastly, technical aspects can be impediments to the calibration with regard to the high computational cost potentially involved and the scarce documentation published on fitting complex ecosystem models to data. This work highlights some issues related to the confrontation of complex ecosystem models to data and proposes a methodology for a sequential multi-phases calibration of ecosystem models. We propose criteria to classify the parameters of a model: model dependency and time variability of the parameters. These criteria and the availability of approximate initial estimates are used as decision rules to determine which parameters need to be estimated, and their precedence order in the sequential calibration process. The end-to-end ecosystem model ROMS-PISCES-OSMOSE applied to the Northern Humboldt Current Ecosystem is used as an illustrative case study.


title: Thermal synchrotron radiation from RRMHD simulations of the double tearing mode reconnection - Application to the Crab flares

abstract: We study the magneto-hydrodynamic tearing instability occurring in a double current sheet configuration when a guide field is present. This is investigated by means of resistive relativistic magneto-hydrodynamic (RRMHD) simulations. Following the dynamics of the double tearing mode (DTM), we are able to compute synthetic synchrotron spectra in the explosive reconnection phase. The pulsar striped wind model represents a site where such current sheets are formed, including a guide field. The variability of the Crab nebula/pulsar system, seen as flares, can be therefore naturally explained by the DTM explosive phase in the striped wind. Our results indicate that the Crab GeV flare can be explained by the double tearing mode in the striped wind region if the magnetization parameter $\sigma$ is around $10^5$.


title: The impact of the ionosphere on ground-based detection of the global Epoch of Reionisation signal

abstract: The redshifted 21cm line of neutral hydrogen (Hi), potentially observable at low radio frequencies (~50-200 MHz), is a promising probe of the physical conditions of the inter-galactic medium during Cosmic Dawn and the Epoch of Reionisation (EoR). The sky-averaged Hi signal is expected to be extremely weak (~100 mK) in comparison to the Galactic foreground emission (~$10^4$ K). Moreover, the sky-averaged spectra measured by ground-based instruments are affected by chromatic propagation effects (of the order of tens of Kelvins) originating in the ionosphere. We analyze data collected with the upgraded BIGHORNS system deployed at the Murchison Radio-astronomy Observatory to assess the significance of ionospheric effects (absorption, emission and refraction) on the detection of the global EoR signal. We measure some properties of the ionosphere, such as the electron temperature ($T_e \approx$470 K at nighttime), magnitude, and variability of optical depth ($\tau_{100 MHz} \approx$0.01 and $\delta \tau \approx$0.005 at nighttime). According to the results of a statistical test applied on a large data sample, very long integrations lead to increased signal to noise even in the presence of ionospheric variability. This is further supported by the structure of the power spectrum of the sky temperature fluctuations, which has flicker noise characteristics at frequencies $\gtrsim 10^{-5}$ Hz, but becomes flat below $\approx 10^{-5}$ Hz. We conclude that the stochastic error introduced by the chromatic ionospheric effects tends to zero in an average. Therefore, the ionospheric effects and fluctuations are not fundamental impediments preventing ground-based instruments from integrating down to the precision required by global EoR experiments.


title: Super-Strong Magnetic Fields of Neutron Stars in Be X-Ray Binaries Estimated with New Torque and Magnetosphere Models

abstract: We re-estimate the surface magnetic fields of neutron stars (NSs) in Be X-ray binaries (BeXBs) with different models of torque, improved beyond Klus et al. (2014). In particular, a new torque model (Dai \& Li 2006) is applied to three models of magnetosphere radius. Unlike the previous models, the new torque model does not lead to divergent results for any fastness parameter. The inferred surface magnetic fields of these NSs for the two compressed magnetosphere models are much higher than that for the uncompressed magnetosphere model. The new torque model using the compressed-magnetosphere radius (Shi, Zhang \& Li 2014) leads to unique solutions near spin equilibrium in all cases, unlike other models that usually give two branches of solutions. Although our conclusions are still affected by the simplistic assumptions about the magnetosphere radius calculations, we show several groups of possible surface magnetic field values with our new models when the interaction between the magnetosphere and the infalling accretion plasma is considered. The estimated surface magnetic fields for NSs BeXBs in the Large Magellanic Cloud, the Small Magellanic Cloud and the Milk Way are between the quantum critical field and the maximum "virial" value by the spin equilibrium condition.


title: Indirect constraints on the dark matter interpretation of excess positrons seen by AMS-02

abstract: Recently, an excess of high energy positrons in our Galaxy has been observed by AMS-02. The spectrum obtained can be best fitted with the annihilation of $\sim$ TeV dark matter particles. However, recent analysis of Dwarf galaxies by Fermi/LAT observations highly constrains the TeV dark matter annihilation cross-section, and rules out the $b\bar{b}$ and all the leptophilic channels except $4-\mu$ channel. In this article, I show that the remaining possible $4-\mu$ channel is also ruled out by using the observational data from cool-core clusters. Therefore, all the leptophilic channels that can account for the excess positrons seen in AMS-02, HEAT, and PAMELA are ruled out.


title: Sharing of a set of meromorphic functions and Montel's theorem

abstract: In this paper we prove the result: Let $\mathcal{F}$ be a family of meromorphic functions on a domain $\Omega$ such that every pair of members of $\mathcal{F}$ shares a set $S:=\left\{\psi_1(z), \psi_2(z), \psi_3(z) \right\}$ in $\Omega$, where $\psi_j(z), \ j=1,2,3$ is meromorphic in $\Omega.$ If for every $f\in \mathcal{F}$, $f(z_0)\neq \psi_i (z_0)$ whenever $\psi_i(z_0)=\psi_j(z_0)$ for $i,j\in \left\{1,2,3 \right\}(i\neq j)$ and $z_0\in \Omega ,$ then $\mathcal{F}$ is normal in $\Omega$. This result generalizes a result of M.Fang and W.Hong [Some results on normal family of meromorphic functions, Bull. Malays. Math. Sci. Soc. (2)23 (2000),143-151,] and in particular, it generalizes the most celebrated theorem of Montel-the Montel's theorem.


title: On the realizable classes of the square root of the inverse different in the unitary class group

abstract: Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a finite abelian group of odd order. Given a $G$-Galois $K$-algebra $K_h$, let $A_h$ denote its square root of the inverse different, which exists by Hilbert's formula. If $K_h/K$ is weakly ramified, then the pair $(A_h,Tr_h)$ is locally $G$-isometric to $(\mathcal{O}_KG,t_K)$ and hence defines a class in the unitary class group $\mbox{UCl}(\mathcal{O}_KG)$ of $\mathcal{O}_KG$. Here $Tr_h$ denotes the trace of $K_h/K$ and $t_K$ the symmetric bilinear form on $\mathcal{O}_KG$ for which $t_K(s,t)=\delta_{st}$ for all $s,t\in G$. We study the collection of all such classes and show that a subset of them is in fact a subgroup of $\mbox{UCl}(\mathcal{O}_KG)$.


title: Gell-Mann--Low scheme for the Standard Model

abstract: I describe a version of the Gell-Mann--Low scheme which is applicable to the Standard Model. First, I give a procedure for extracting input parameters of the theory from the Green's functions. After that, an iterative procedure of expressing the Green's functions in terms of the above parameters is given.


title: Subcritical transition to turbulence of a precessing flow in a cylindrical vessel

abstract: The transition to turbulence in a precessing cylindrical vessel is experimentally investigated. Our measurements are performed for a { nearly-resonant} configuration with an initially laminar flow dominated by an inertial mode with azimuthal wave number $m=1$ superimposed on a solid body rotation. By increasing the precession ratio, we observe a transition from the laminar to a non-linear regime, which then breakdowns to turbulence for larger precession ratio. Our measurements show that the transition to turbulence is subcritical, with a discontinuity of the wall-pressure and the power consumption at the threshold $\epsilon_{LT}$. The turbulence is self-sustained below this threshold, describing a bifurcation diagram with a hysteresis. In this range of the control parameters, the turbulent flows can suddenly collapse after a finite duration, leading to a definitive relaminarization of the flow. The average lifetime $\langle \tau \rangle$ of the turbulence increases rapidly when $\epsilon$ tends to $\epsilon_{LT}$.


title: A powerful allele based test for case-control association studies

abstract: In a case-control study aimed at localizing disease variants, association between a marker and the disease status is often tested by comparing the marker allele frequencies among cases and controls. These marker allele frequencies are expected to be different if the marker is associated with the disease. The power of the commonly used allele based test is based on the marker allele frequency; markers with a low minor allele frequency have less power to be detected (if they are associated with the disease), than markers with high minor allele frequency. Therefore the strategy of selecting markers for follow-up study based on their p-values, favors markers with a high minor allele frequency. We propose an allele based test that does not have this (unwanted) property and is therefore more powerful for markers with a low minor allele frequency. This test may, therefore, be more effective when searching for rare causal variants. The asymptotic power function of the test is derived and simulation studies are performed for finite sample properties of the test. Next, the existing and the proposed tests are applied to data; this is not included yet. In the light of the current interest in detecting association between complex phenotypes and causal variants with a low minor allele frequencies, this test is expected to be of relevance.


title: Resonances for 1D half-line periodic operators: II. Special case

abstract: The present paper is devoted to the study of resonances for a $1$D Schr\"{o}dinger operator with truncated periodic potential. Precisely, we consider the half-line operator $H^{\mathbb N}=-\Delta +V$ and $H^{\mathbb N}_{L}= -\Delta + V1_{[0, L]}$ acting on $\ell^{2}(\mathbb N)$ with Dirichlet boundary condition at $0$ with $L \in \mathbb N$. We describe the resonances of $H^{\mathbb N}_{L}$ near the boundary of the essential spectrum of $H^{\mathbb N}$ as $L \rightarrow +\infty$ under a special assumption.\\ The present paper is in a series of our research papers on resonances


title: Coil--globule transition of a polymer involved in excluded-volume interactions with macromolecules

abstract: Polymers adopt extended coil and compact globule states according to the balance between entropy and interaction energies. The transition of a polymer between an extended coil state and compact globule state can be induced by changing thermodynamic force such as temperature to alter the energy/entropy balance. Previously, this transition was theoretically studied by taking into account the excluded-volume interaction between monomers of a polymer chain using the partition function. For binary mixtures of a long polymer and short polymers, the coil-globule transition can be induced by changing the concentration of the shorter polymers. Here we investigate the transition caused by short polymers by generalizing the partition function of the long polymer to include the excluded-volume effect of short polymers. The coil-globule transition is studied as a function of the concentration of mixed polymers by systematically varying Flory's chi-parameters. We show that the transition is caused by the interplay between the excluded-volume interaction and the dispersion state of short polymers in the solvent. We also reveal that the same results can be obtained by combining the mixing entropy and elastic energy if the volume of a long polymer is properly defined.


title: Scalar isovector resonance photoproduction through the final state meson-meson interactions

abstract: We construct the amplitudes of $\pi\eta$ photoproduction taking into account the effects of the $\pi\eta$ - $K\bar K$ interchannel coupling. The idea of our model is close to the molecular description of scalar resonances with exception that apart from the pseudoscalar loops we include also vector mesons in the intermediate state loops. These amplitudes are used to calculate the $S$-wave cross sections and mass distributions in the $\pi\eta$ effective mass region corresponding to the scalar resonances $a_0(980)$ and $a_0(1450)$. The values we obtained for $a_0(980)$ are comparable with predictions of other models while the cross section for $a_0(1450)$ is about an order of magnitude larger than prediction based on the quark model. We show that the amplitudes with loops containing vector mesons calculated in the on-shell approximation are not suppressed in contrast to amplitudes containing only pseudoscalar loops. We estimate the cross sections for the $P$- and $D$- waves in the $\pi\eta$ channel.


title: Ground States of Quantum Electrodynamics with Cutoffs

abstract: In this paper, we investigate a system of quantum electrodynamics with cutoffs. The total Hamiltonian is defined on a tensor product of a fermion Fock space and a boson Fock. It is shown that, under spatially localized conditions and momentumregularity conditions, the total Hamiltonian has a ground state for all values of coupling constants. In particular, its multiplicity is finite.


title: Double Quantum Schubert Cells and Quantum Mutations

abstract: Let ${\mathfrak p}\subset {\mathfrak g}$ be a parabolic subalgebra of s simple finite dimensional Lie algebra over ${\mathbb C}$. To each pair $w^{\mathfrak a}\leq w^{\mathfrak c}$ of minimal left coset representatives in the quotient space $W_p\backslash W$ we construct explicitly a quantum seed ${\mathcal Q}_q({\mathfrak a},{\mathfrak c})$. We define Schubert creation and annihilation mutations and show that our seeds are related by such mutations. We also introduce more elaborate seeds to accommodate our mutations. The quantized Schubert Cell decomposition of the quantized generalized flag manifold can be viewed as the result of such mutations having their origins in the pair $({\mathfrak a},{\mathfrak c})= ({\mathfrak e},{\mathfrak p})$, where the empty string ${\mathfrak e}$ corresponds to the neutral element. This makes it possible to give simple proofs by induction. We exemplify this in three directions: Prime ideals, upper cluster algebras, and the diagonal of a quantized minor.


title: Diophantus Revisited: On rational surfaces and K3 surfaces in the Arithmetica

abstract: This article wants to show two things: first, that certain problems in Diophantus' Arithmetica lead to equations defining del Pezzo surfaces or other rational surfaces, while certain others lead to K3 surfaces; second, that Diophantus' own solutions to these problems, when viewed through a modern lens, lead to parametrizations of these surfaces, or of parametrizations of rational curves lying on them.


title: On the number of lambda terms with prescribed size of their De Bruijn representation

abstract: John Tromp introduced the so-called 'binary lambda calculus' as a way to encode lambda terms in terms of binary words. Later, Grygiel and Lescanne conjectured that the number of binary lambda terms with $m$ free indices and of size $n$ (encoded as binary words of length $n$) is $o(n^{-3/2} \tau^{-n})$ for $\tau \approx 1.963448\ldots$. We generalize the proposed notion of size and show that for several classes of lambda terms, including binary lambda terms with $m$ free indices, the number of terms of size $n$ is $\Theta(n^{-3/2} \rho^{-n})$ with some class dependent constant $\rho$, which in particular disproves the above mentioned conjecture. A way to obtain lower and upper bounds for the constant near the leading term is presented and numerical results for a few previously introduced classes of lambda terms are given.


title: Glimm Spaces of Separable C*-algebras

abstract: We characterize the topology of the Glimm space of a separable C*-algebra and extend the main result of [6] to non-unital AF C*-algebras.


title: Kondo induced {\pi}-phase shift of microwave photons in a circuit quantum electrodynamics architecture

abstract: Mesoscopic systems constitute appealing platforms to study many-body physics with light and matter degrees of freedom. The Kondo effect refers to the screening of a spin-1/2 impurity by a cloud of conduction electrons, then forming a many-body Fermi liquid ground state. The Kondo resonance produces a phase shift in the transmitted electronic wave packet which depends on the symmetry and nature of the many-body ground state. Theoretical calculations suggest that the Kondo resonance can interact with the irradiation photon field and should give rise to a {\pi}-phase shift of the photon signal in the case where the ground state is a Fermi liquid. This {\pi}-phase shift of microwave photon is driven from the Korringa-Shiba relation of quantum impurity Fermi-liquid ground states. We report the first observation of such a {\pi}-phase shift in a graphene double quantum dot within a circuit quantum electrodynamics architecture where the microwave photons couple to the pseudo-spin or charge degrees of freedom. The observed Kondo temperature TK ~ 550 mK is in agreement with DC conductance measurements. All our results support the formation of a Kondo resonance located above the Fermi level of the electronic reservoirs and the occurrence of an SU(4) Fermi-liquid ground state. We finally study how the Kondo-photon interactions can be tuned by inter-dot electron tunnel coupling strengths. Our experimental achievements may contribute to a better understanding of many-body physics in hybrid circuit systems, and open up new applications in atomic thin materials from the light-matter interaction.


title: Transport between RGB Images Motivated by Dynamic Optimal Transport

abstract: We propose two models for the interpolation between RGB images based on the dynamic optimal transport model of Benamou and Brenier [8]. While the application of dynamic optimal transport and its extensions to unbalanced transform were examined for gray-values images in various papers, this is the first attempt to generalize the idea to color images. The nontrivial task to incorporate color into the model is tackled by considering RGB images as three-dimensional arrays, where the transport in the RGB direction is performed in a periodic way. Following the approach of Papadakis et al. [35] for gray-value images we propose two discrete variational models, a constrained and a penalized one which can also handle unbalanced transport. We show that a minimizer of our discrete model exists, but it is not unique for some special initial/final images. For minimizing the resulting functionals we apply a primal-dual algorithm. One step of this algorithm requires the solution of a four-dimensional discretized Poisson equation with various boundary conditions in each dimension. For instance, for the penalized approach we have simultaneously zero, mirror and periodic boundary conditions. The solution can be computed efficiently using fast Sin-I, Cos-II and Fourier transforms. Numerical examples demonstrate the meaningfulness of our model.


title: Orthogonal vs. Non-Orthogonal Reducibility of Matrix-Valued Measures

abstract: A matrix-valued measure $\Theta$ reduces to measures of smaller size if there exists a constant invertible matrix $M$ such that $M\Theta M^*$ is block diagonal. Equivalently, the real vector space ${\mathscr A}$ of all matrices $T$ such that $T\Theta(X)=\Theta(X) T^*$ for any Borel set $X$ is non-trivial. If the subspace $A_h$ of self-adjoints elements in the commutant algebra $A$ of $\Theta$ is non-trivial, then $\Theta$ is reducible via a unitary matrix. In this paper we prove that ${\mathscr A}$ is $*$-invariant if and only if $A_h={\mathscr A}$, i.e., every reduction of $\Theta$ can be performed via a unitary matrix. The motivation for this paper comes from families of matrix-valued polynomials related to the group ${\rm SU}(2)\times {\rm SU}(2)$ and its quantum analogue. In both cases the commutant algebra $A=A_h\oplus iA_h$ is of dimension two and the matrix-valued measures reduce unitarily into a $2\times 2$ block diagonal matrix. Here we show that there is no further non-unitary reduction.


title: Chiral symmetry aspects in the open charm sector

abstract: QCD sum rules serve as tools to investigate changing hadronic properties in a hot and/or dense nuclear medium. The role of chiral symmetry breaking and restoration effects in a medium can be addressed also in the heavy-light meson sector. Thus, we consider Weinberg sum rules which refer to chiral partner mesons composed of a light and a heavy quark.


title: Caliber based spectral gap optimization of order parameters (SGOOP) for sampling complex molecular systems

abstract: In modern day simulations of many-body systems much of the computational complexity is shifted to the identification of slowly changing molecular order parameters called collective variables (CV) or reaction coordinates. A vast array of enhanced sampling methods are based on the identification and biasing of these low-dimensional order parameters, whose fluctuations are important in driving rare events of interest. Here describe a new algorithm for finding optimal low-dimensional collective variables for use in enhanced sampling biasing methods like umbrella sampling, metadynamics and related methods, when limited prior static and dynamic information is known about the system, and a much larger set of candidate CVs is specified. The algorithm involves estimating the best combination of these candidate CVs, as quantified by a maximum path entropy estimate of the spectral gap for dynamics viewed as a function of that CV. Through multiple practical examples, we show how this post-processing procedure can lead to optimization of CV and several orders of magnitude improvement in the convergence of the free energy calculated through metadynamics, essentially giving the ability to extract useful information even from unsuccessful metadynamics runs.


title: Highway traffic state estimation using speed measurements: case studies on NGSIM data and highway A20 in the Netherlands

abstract: This paper presents two case studies where a macroscopic model-based approach for traffic state estimation, which we have recently developed, is employed and tested. The estimation methodology is developed for a "mixed" traffic scenario, where traffic is composed of both ordinary and connected vehicles. Only average speed measurements, which may be obtained from connected vehicles reports, and a minimum number (sufficient to guarantee observability) of spot sensor-based total flow measurements are utilised. In the first case study, we use NGSIM microscopic data in order to test the capability of estimating the traffic state on the basis of aggregated information retrieved from moving vehicles and considering various penetration rates of connected vehicles. In the second case study, a longer highway stretch with internal congestion is utilised, in order to test the capability of the proposed estimation scheme to produce appropriate estimates for varying traffic conditions on long stretches. In both cases the performances are satisfactory, and the obtained results demonstrate the effectiveness of the methodology, both in qualitative and quantitative terms.


abstract: Let $\mathcal{C}$ be a $k$-linear category with split idempotents, and $\Sigma:\mathcal{C}\rightarrow\mathcal{C}$ an automorphism. We show that there is an $n$-angulated structure on $(\mathcal{C},\Sigma)$ under certain conditions. As an application, we obtain a class of examples of $n$-angulated categories from self-injective algebras.


title: Cloud Structure of the Nearest Brown Dwarfs II: High-amplitude variability for Luhman 16 A and B in and out of the 0.99 micron FeH feature

abstract: The re-emergence of the 0.99 $\mu$m FeH feature in brown dwarfs of early- to mid-T spectral type has been suggested as evidence for cloud disruption where flux from deep, hot regions below the Fe cloud deck can emerge. The same mechanism could account for color changes at the L/T transition and photometric variability. We present the first observations of spectroscopic variability of brown dwarfs covering the 0.99 $\mu$m FeH feature. We observed the spatially resolved very nearby brown dwarf binary WISE J104915.57-531906.1 (Luhman 16AB), a late-L and early-T dwarf, with HST/WFC3 in the G102 grism at 0.8-1.15 $\mu$m. We find significant variability at all wavelengths for both brown dwarfs, with peak-to-valley amplitudes of 9.3% for Luhman 16B and 4.5% for Luhman 16A. This represents the first unambiguous detection of variability in Luhman 16A. We estimate a rotational period between 4.5 and 5.5 h, very similar to Luhman 16B. Variability in both components complicates the interpretation of spatially unresolved observations. The probability for finding large amplitude variability in any two brown dwarfs is less than 10%. Our finding may suggest that a common but yet unknown feature of the binary is important for the occurrence of variability. For both objects, the amplitude is nearly constant at all wavelengths except in the deep K I feature below 0.84 $\mu$m. No variations are seen across the 0.99 $\mu$m FeH feature. The observations lend strong further support to cloud height variations rather than holes in the silicate clouds, but cannot fully rule out holes in the iron clouds. We re-evaluate the diagnostic potential of the FeH feature as a tracer of cloud patchiness.


title: Self-normalized moderate deviation and laws of the iterated logarithm under G-expectation

abstract: The sub-linear expectation or called G-expectation is a nonlinear expectation having advantage of modeling non-additive probability problems and the volatility uncertainty in finance. Let $\{X_n;n\ge 1\}$ be a sequence of independent random variables in a sub-linear expectation space $(\Omega, \mathscr{H}, \widehat{\mathbb E})$. Denote $S_n=\sum_{k=1}^n X_k$ and $V_n^2=\sum_{k=1}^n X_k^2$. In this paper, a moderate deviation for self-normalized sums, that is, the asymptotic capacity of the event $\{S_n/V_n \ge x_n \}$ for $x_n=o(\sqrt{n})$, is found both for identically distributed random variables and independent but not necessarily identically distributed random variables. As an applications, the self-normalized laws of the iterated logarithm are obtained.


title: Wilson Loop diagrams and Positroids

abstract: In this paper, we study a new application of the positive Grassmanian to Wilson loop diagrams (or MHV diagrams) for scattering amplitudes in N=4 Super Yang-Mill theory ($N=4$ SYM). There has been much interest in studying this theory via the positive Grassmanians using BCFW recursion. This is the first attempt to study MHV diagrams for planar Wilson loop calculations (or planar amplitudes) in terms of positive Grassmannians. We codify Wilson loop diagrams completely in terms of matroids. This allows us to apply the combinatorial tools in matroid theory used to identify positroids, (non-negative Grassmannians), to Wilson loop diagrams. In doing so, we find that certain non-planar Wilson loop diagrams define positive Grassmannians. While non-planar diagrams do not have physical meaning, this finding suggests that they may have value as an algebraic tool, and deserve further investigation.


title: Long period fiber gratings induced by mechanical resonance

abstract: We present a simple, and robust method for writing long period fiber gratings with low polarization dependent losses. Our method is based on utilizing mechanical vibrations of the tapered fiber while pooling it. Our method enables real-time tunability of the periodicity, efficiency and length of the grating. We also demonstrate complex grating by writing multiple gratings simultaneously. Finally, we utilized the formation of the gratings in different fiber diameters to investigate the Young's modulus of the fiber.


title: IVOA recommendation: IVOA DataLink

abstract: This document describes the linking of data discovery metadata to access to the data itself, further detailed metadata, related resources, and to services that perform operations on the data. The web service capability supports a drill-down into the details of a specific dataset and provides a set of links to the dataset file(s) and related resources. This specification also includes a VOTable-specific method of providing descriptions of one or more services and their input(s), usually using parameter values from elsewhere in the VOTable document. Providers are able to describe services that are relevant to the records (usually datasets with identifiers) by including service descriptors in a result document.


title: Ray and Wave Aberrations Revisited: A Huygens-Like Construction yields Exact Relations

abstract: The optical aberrations of a system can be described in terms of the wave aberrations, defined as the departure from the ideal spherical wavefront; or the ray aberrations, which are in turn the deviations from the paraxial ray intersection measured in the image plane. The classical connection between the two descriptions is an approximation, the error of which has, so far, not been quantified analytically. We derive exact analytical equations for computing the wavefront surface, the aberrated ray directions, and the transverse ray aberrations in terms of the wave aberrations (OPD) and the reference sphere. We introduce precise conditions for a function to be an OPD function, show that every such function has an associated wavefront, and study the error arising from the classical approximation. We establish strict conditions for the error to be small. We illustrate our results with numerical simulations. Our results show that large numerical apertures and high-frequency OPD functions yield larger approximation errors.


title: Higher order non-linear effects in a Josephson parametric amplifier

abstract: Non-linearity of the current-phase relationship of a Josephson junction is the key resource for a Josephson parametric amplifier (JPA), the only device in which the quantum limit has so far been achieved at microwave frequencies. A standard approach to describe JPA takes into account only the lowest order (cubic) non-linearity resulting in a Duffing-like oscillator equation of motion or in a Kerr-type non-linearity term in the Hamiltonian. In this paper we derive the quantum expression for the gain of JPA including all orders of the Josephson junction non-linearity in the linear response regime. We then analyse gain saturation effect for stronger signals within semi-classical approach. Our results reveal non-linear effects of higher orders and their implications for operation of a JPA.


title: The FERRUM project: Experimental lifetimes and transition probabilities from highly excited even 4d levels in Fe ii

abstract: We report lifetime measurements of the 6 levels in the 3d6(5D)4d e6G term in Fe ii at an energy of 10.4 eV, and f -values for 14 transitions from the investigated levels. The lifetimes were measured using time-resolved laser-induced fluorescence on ions in a laser-produced plasma. The high excitation energy, and the fact that the levels have the same parity as the the low-lying states directly populated in the plasma, necessitated the use of a two-photon excitation scheme. The probability for this process is greatly enhanced by the presence of the 3d6(5D)4p z6F levels at roughly half the energy difference. The f -values are obtained by combining the experimental lifetimes with branching fractions derived using relative intensities from a hollow cathode discharge lamp recorded with a Fourier transform spectrometer. The data is important for benchmarking atomic calculations of astrophysically important quantities and useful for spectroscopy of hot stars.


title: Decompositions for hypergeometric function $H_A, H_B,H_C$

abstract: With the help of some techniques based on certain inverse pairs of symbolic operators, the authors investigated several decomposition formulas associated with Srivastava's Hypergeometric functions of three variables. Some operator identities have been constructed in this matter. With the help these operator forms 15 decompositions are found which are expressed through product of Hypergeometric Gauss and Appell's functions.


title: Fast quantum control and light-matter interactions at the 10,000 quanta level

abstract: Fast control of quantum systems is essential in order to make use of quantum properties before they are degraded by decoherence. This is important for quantum-enhanced information processing, as well as for pushing quantum systems into macroscopic regimes at the boundary between quantum and classical physics. Bang-bang control attains the ultimate speed limit by making large changes to control fields on timescales much faster than the system can respond, however these methods are often challenging to implement experimentally. Here we demonstrate bang-bang control of a trapped-ion oscillator using nano-second switching of the trapping potentials. We perform controlled displacements which allow us to realize quantum states with up to 10,000 quanta of energy. We use these displaced states to verify the form of the ion-light interaction at high excitations which are far outside the usual regime of operation. These methods provide new possibilities for quantum-state manipulation and generation, alongside the potential for a significant increase in operational clock speed for ion-trap quantum information processing.


title: Post-coronagraphic tip-tilt sensing for vortex phase masks: the QACITS technique

abstract: Small inner working angle coronagraphs, like the vortex phase mask, are essential to exploit the full potential of ground-based telescopes in the context of exoplanet detection and characterization. However, the drawback of this attractive feature is a high sensitivity to pointing errors, which degrades the performance of the coronagraph. We propose a tip-tilt retrieval technique based on the analysis of the final coronagraphic image, hereafter called Quadrant Analysis of Coronagraphic Images for Tip-tilt Sensing (QACITS). Under the assumption of small phase aberrations, we show that the behaviour of the vortex phase mask can be simply described from the entrance pupil to the Lyot stop plane by Zernike polynomials. This convenient formalism is used to establish the theoretical basis of the QACITS technique. Simulations have been performed to demonstrate the validity and limits of the technique, including the case of a centrally obstructed pupil. The QACITS technique principle is further validated by experimental results in the case of an unobstructed circular aperture. The typical configuration of the Keck telescope (24% central obstruction) has been simulated with additional high order aberrations. In these conditions, our simulations show that the QACITS technique is still adapted to centrally obstructed pupils and performs tip-tilt retrieval with a precision of $5 \times 10^{-2}$ {\lambda}/D when wavefront errors amount to {\lambda}/14 rms and $10^{-2}$ {\lambda}/D for {\lambda}/70 rms errors (with {\lambda} the wavelength and D the pupil diameter). The implementation of the QACITS technique is based on the analysis of the scientific image and does not require any modification of the original setup. Current facilities equipped with a vortex phase mask can thus directly benefit from this technique to improve the contrast performance close to the axis.


title: Accelerating Horndeski cosmologies screening the vacuum energy

abstract: In the context of Horndeski cosmologies, we consider a dynamical adjustment mechanism able to screen any value of the vacuum energy of the matter fields leading to a fixed de Sitter geometry. Thus, we present the most general scalar-tensor cosmological models without higher than second order derivatives in the field equation that have a fixed spatially flat de Sitter critical point for any kind of material content or vacuum energy. These models allow us to understand the current accelerated expansion of the universe as the result of the evolution towards the critical point when it is an attractor.


title: Transaction Remote Release (TRR): A New Anonymization Technology for Bitcoin

abstract: The anonymity of the Bitcoin system has some shortcomings. Analysis of Transaction Chain (ATC) and Analysis of Bitcoin Protocol and Network (ABPN) are two important methods of deanonymizing bitcoin transactions. Nowadays, there are some anonymization methods to combat ATC but there has been little research into ways to counter ABPN. This paper proposes a new anonymization technology called Transaction Remote Release (TRR). Inspired by The Onion Router (TOR), TRR is able to render several typical attacking methods of ABPN ineffective. Furthermore, the performance of encryption and decryption of TRR is good and the growth rate of the cipher is very limited. Hence, TRR is suited for practical applications.


title: On 3D Face Reconstruction via Cascaded Regression in Shape Space

abstract: Cascaded regression has been recently applied to reconstructing 3D faces from single 2D images directly in shape space, and achieved state-of-the-art performance. This paper investigates thoroughly such cascaded regression based 3D face reconstruction approaches from four perspectives that are not well studied yet: (i) The impact of the number of 2D landmarks; (ii) the impact of the number of 3D vertices; (iii) the way of using standalone automated landmark detection methods; and (iv) the convergence property. To answer these questions, a simplified cascaded regression based 3D face reconstruction method is devised, which can be integrated with standalone automated landmark detection methods and reconstruct 3D face shapes that have the same pose and expression as the input face images, rather than normalized pose and expression. Moreover, an effective training method is proposed by disturbing the automatically detected landmarks. Comprehensive evaluation experiments have been done with comparison to other 3D face reconstruction methods. The results not only deepen the understanding of cascaded regression based 3D face reconstruction approaches, but also prove the effectiveness of proposed method.


title: The leading term of the He$-\bar{p}\mbox{He}^+$ long-range interaction

abstract: The long range interaction between an antiprotonic helium atom $\bar{p}$He$^+$ and helium atom in its ground state is studied. We calculate the dispersion coefficients $C_6$ using the Complex Coordinate Rotation (CCR) formalism in order to comply with the resonant nature of metastable states of the antiprotonic helium. We present as well numerical data on static dipole polarizabilities of antiprotonic helium states. The obtained coefficients $C_6$ may be used to estimate the collisional shift and broadening of transition lines in a low density precision spectroscopy of the antiprotonic helium.


title: The Utility of Clustering in Prediction Tasks

abstract: We explore the utility of clustering in reducing error in various prediction tasks. Previous work has hinted at the improvement in prediction accuracy attributed to clustering algorithms if used to pre-process the data. In this work we more deeply investigate the direct utility of using clustering to improve prediction accuracy and provide explanations for why this may be so. We look at a number of datasets, run k-means at different scales and for each scale we train predictors. This produces k sets of predictions. These predictions are then combined by a na\"ive ensemble. We observed that this use of a predictor in conjunction with clustering improved the prediction accuracy in most datasets. We believe this indicates the predictive utility of exploiting structure in the data and the data compression handed over by clustering. We also found that using this method improves upon the prediction of even a Random Forests predictor which suggests this method is providing a novel, and useful source of variance in the prediction process.


title: Lattice dynamics of MgSiO$_3$ perovskite (bridgmanite) studied by inelastic x-ray scattering and ab initio calculations

abstract: We have determined the lattice dynamics of MgSiO$_3$ perovskite (bridgmanite) by a combination of single-crystal inelastic x-ray scattering and ab initio calculations. We observe a remarkable agreement between experiment and theory, and provide accurate results for phonon dispersion relations, phonon density of states and the full elasticity tensor. The present work constitutes an important milestone to extend this kind of combined studies to extreme conditions of pressure and temperature, directly relevant for the physics and the chemistry of Earth's lower mantle.


title: New classes of non-convolution integral equations arising from Lie symmetry analysis of hyperbolic PDEs

abstract: In this paper we consider some new classes of integral equations that arise from Lie symmetry analysis. Specifically, we consider the task of obtaining solutions of a Cauchy problem for some classes of second order hyperbolic partial differential equations. Our analysis leads to new integral equations of non-convolution type, which can be solved by classical methods. We derive solutions of these integral equations, which in turn lead to solutions of the associated Cauchy problems.


title: Local periods for discrete series representations

abstract: Let $(G,H)$ be a symmetric pair over a $p$-adic field and $\pi$ a discrete series representation of $G$. In this paper, for some type of symmetric pairs $(G,H)$, we show that local periods in $Hom_H(\pi,\mathbb{C})$ can be constructed by integrating the matrix coefficients of $\pi$ over $H$.


title: Parallel Query in the Suffix Tree

abstract: Given the query string of length $m$, we explore a parallel query in a static suffix tree based data structure for $p \ll n$, where $p$ is the number of processors and $n$ is the length of the text. We present three results on CREW PRAM. The parallel query in the suffix trie requires $O(m + p)$ work, $O(m/p + \lg p)$ time and $O(n^2)$ space in the worst case. We extend the same technique to the suffix tree where we show it is, by design, inherently sequential in the worst case. Finally we perform the parallel query using an interleaved approach and achieve $O(m \lg p)$ work, $O(\frac{m}{p} \lg p)$ time and $O(n \lg p)$ space in the worst case.


title: Magneto-photoluminescence in GaAs/AlAs core-multishell nanowires: a theoretical investigation

abstract: The magneto-photoluminescence in modulation doped core-multishell nanowires is predicted as a function of photo-excitation intensity in non-perturbative transverse magnetic fields. We use a self-consistent field approach within the effective mass approximation to determine the photoexcited electron and hole populations, including the complex composition and anisotropic geometry of the nano-material. The evolution of the photoluminescence is analyzed as a function of i) photo-excitation power, ii) magnetic field intensity, iii) type of doping, and iv) anisotropy with respect to field orientation.


title: Resistive Switching in Nanodevices

abstract: Passing current at given threshold voltages through a metal/insulator/metal sandwich structure device may change its resistive state. Such resistive switching is unique to nanoscale devices, but its underlying physical mechanism remains unknown. We show that the different resistive states are due to different spontaneously charged states, characterized by different `band bending' solutions of Poisson's equation. For an insulator with mainly donor type defects, the low-resistivity state is characterized by a negatively charged insulator due to convex band bending, and the high-resistivity state by a positively charged insulator due to concave band bending; vice versa for insulators with mainly acceptor type defects. These multiple solutions coexist only for nanoscale devices and for bias voltages limited by the switching threshold values, where the system charge spontaneously changes and the system switches to another resistive state. We outline the general principles how this functionality depends on material properties and defect abundance of the insulator `storage medium', and propose a new magnetic memristor device with increased storage capacity.


title: Representations of Aut(M)-Invariant Measures

abstract: In this paper we generalize the Aldous-Hoover-Kallenberg theorem concerning representations of distributions of exchangeable arrays via collections of measurable maps. We give criteria when such a representation theorem exists for arrays which need only be preserved by a closed subgroup of the symmetric group over $\mathbb{N}$. Specifically, for a countable structure M, with underlying set the $\mathbb{N}$, we introduce the notion of an "Aut(M)-recipe", which is an Aut(M)-invariant array obtained via a collection of measurable functions indexed by the Aut(M)-orbits in M. We further introduce the notion of a "free structure" and then show that if M is free then every Aut(M)-invariant measure on an Aut(M)-space is the distribution of an Aut(M)-recipe. We also show that if a measure is the distribution of an Aut(M)-recipe it must be the restriction of a measure on a free structure.


title: Quantum unitary dynamics in cosmological spacetimes

abstract: We address the question of unitary implementation of the dynamics for scalar fields in cosmological scenarios. Together with invariance under spatial isometries, the requirement of a unitary evolution singles out a rescaling of the scalar field and a unitary equivalence class of Fock representations for the associated canonical commutation relations. Moreover, this criterion provides as well a privileged quantization for the unscaled field, even though the associated dynamics is not unitarily implementable in that case. We discuss the relation between the initial data that determine the Fock representations in the rescaled and unscaled descriptions, and clarify that the S-matrix is well defined in both cases. In our discussion, we also comment on a recently proposed generalized notion of unitary implementation of the dynamics, making clear the difference with the standard unitarity criterion and showing that the two approaches are not equivalent.


title: pp -> ttj + X matched to the Nagy-Soper parton shower at NLO QCD

abstract: We briefly summarize the Nagy-Soper parton shower and the MC@NLO-like matching scheme. Results obtained using HELAC-NLO framework in conjunction with DEDUCTOR for top quark pair production in association with one hard jet at the LHC are presented. A comparison of our results with other matching schemes and other parton showers is also discussed for various observables.


title: Real-time data analysis at the LHC: present and future

abstract: The Large Hadron Collider (LHC), which collides protons at an energy of 14 TeV, produces hundreds of exabytes of data per year, making it one of the largest sources of data in the world today. At present it is not possible to even transfer most of this data from the four main particle detectors at the LHC to "offline" data facilities, much less to permanently store it for future processing. For this reason the LHC detectors are equipped with real-time analysis systems, called triggers, which process this volume of data and select the most interesting proton-proton collisions. The LHC experiment triggers reduce the data produced by the LHC by between 1/1000 and 1/100000, to tens of petabytes per year, allowing its economical storage and further analysis. The bulk of the data-reduction is performed by custom electronics which ignores most of the data in its decision making, and is therefore unable to exploit the most powerful known data analysis strategies. I cover the present status of real-time data analysis at the LHC, before explaining why the future upgrades of the LHC experiments will increase the volume of data which can be sent off the detector and into off-the-shelf data processing facilities (such as CPU or GPU farms) to tens of exabytes per year. This development will simultaneously enable a vast expansion of the physics programme of the LHC's detectors, and make it mandatory to develop and implement a new generation of real-time multivariate analysis tools in order to fully exploit this new potential of the LHC. I explain what work is ongoing in this direction and motivate why more effort is needed in the coming years.


title: On the $L^2$-$\overline{\partial}$-cohomology of certain complete K\"ahler metrics

abstract: Let $V$ be a compact and irreducible complex space of complex dimension $v$ whose regular part is endowed with a complete Hermitian metric $h$. Let $\pi:M\rightarrow V$ be a resolution of $V$. Under suitable assumptions on $h$ we prove that $$H^{v,q}_{2,\overline{\partial}}(\operatorname{reg}(V),g)\cong H^{v,q}_{\overline{\partial}}(M),\ q=0,...,v.$$ Then we show that the previous isomorphism applies to the case of Saper-type K\"ahler metrics and to the case of complete K\"ahler metrics with finite volume and pinched negative sectional curvatures.


title: Controlling Electromagnetic Fields at Boundaries of Arbitrary Geometries

abstract: Rapid developments in the emerging field of stretchable and conformable photonics necessitate analytical expressions for boundary conditions at metasurfaces of arbitrary geometries. Here, we introduce the concept of conformal boundary optics: a design theory that determines the optical response for designer input and output fields at such interfaces. Given any object, we can realise coatings to achieve exotic effects like optical illusions and anomalous diffraction behaviour. This approach is relevant to a broad range of applications from conventional refractive optics to the design of the next-generation of wearable optical components. This concept can be generalized to other fields of research where designer interfaces with nontrivial geometries are encountered.


title: A parametrization of the cosmic-ray muon flux at sea-level

abstract: Based on the standard Gaisser's formula, a modified parametrization for the sea-level cosmic-ray muon flux is introduced. The modification is verified against experimental results. The average vertical cosmic-ray muon intensity as a function of depth of standard rock is simulated using the modified formula as input to the MUSIC code. The calculated muon intensities is consistent with the experimental measurements.


title: Compactifications of the universal Jacobian over curves with marked points

abstract: We construct modular compactifications of the universal Jacobian stack over the moduli stack of reduced curves with marked points depending on stability parameters obtained out of fixing a vector bundle on the universal curve. When restricted to the locus of stable marked curves, our compactifications are Deligne-Mumford irreducible smooth stacks endowed with projective moduli spaces and, following Esteves approach to the construction of fine compactifications of Jacobians, they parametrize torsion-free rank-1 simple sheaves satisfying a stability condition with respect to the fixed vector bundle. We also study a number of properties of our compactifications as the existence of forgetful and clutching morphisms and as well of sections from the moduli stack of stable curves with marked points. We conclude by indicating a number of different possible applications for our constructions.


title: On some limit theorems following from Smith's Theorem

abstract: We give a generalization of the ergodic theorem for semi-Markov linear-type processes. This generalization is proved for the case when a common support of distributions defining this process is not arithmetic. Also we give an uniform estimate of expectations of the forward renewal time. These facts are based on the key renewal (Walter Smith's) theorem, and they are very useful in research in the queueing theory.


title: Effects of co-ordination number on the nucleation behaviour in many-component self-assembly

abstract: We report canonical and grand-canonical lattice Monte Carlo simulations of the self-assembly of addressable structures comprising hundreds of distinct component types. The nucleation behaviour, in the form of free-energy barriers to nucleation, changes significantly as the co-ordination number of the building blocks is changed from 4 to 8 to 12. Unlike tetrahedral structures - which roughly correspond to DNA bricks that have been studied in experiment - the shapes of the free-energy barriers of higher co-ordination structures depend strongly on the supersaturation, and such structures require a very significant driving force for structure growth before nucleation becomes thermally accessible. Although growth at high supersaturation results in more defects during self-assembly, we show that high co-ordination number structures can still be assembled successfully in computer simulations and that they exhibit self-assembly behaviour analogous to DNA bricks. In particular, the self-assembly remains modular, enabling in principle a wide variety of nanostructures to be assembled, with a greater spatial resolution than is possible in low co-ordination structures.


title: Comments on "Achievable Rates in Cognitive Radio Channels"

abstract: In a premier paper on the information-theoretic analysis of a two-user cognitive interference channel(CIC), Devroye et al. presented an achievable rate region for the two-user discrete memoryless CIC. The coding scheme proposed by Devroye et al. is correct but unfortunately some rate-terms in the derived achievable rate region are incorrect (in fact incomplete) because of occurring some mistakes in decoding and analysis of error probability. We correct and complete the wrong rate-terms and thereby show that the corrected achievable rate region includes the rate region presented in.