title: Magnetic fluctuations and superconducting properties of CaKFe4As4 studied by 75As NMR

abstract: We report $^{75}$As nuclear magnetic resonance (NMR) studies on a new iron-based superconductor CaKFe$_4$As$_4$ with $T_{\rm c}$ = 35 K. $^{75}$As NMR spectra show two distinct lines corresponding to the As(1) and As(2) sites close to the K and Ca layers, respectively, revealing that K and Ca layers are well ordered without site inversions. We found that nuclear quadrupole frequencies $\nu_{\rm Q}$ of the As(1) and As(2) sites show an opposite temperature ($T$) dependence. Nearly $T$ independent behavior of the Knight shifts $K$ are observed in the normal state, and a sudden decrease in $K$ in the superconducting (SC) state clearly evidences spin-singlet Cooper pairs. $^{75}$As spin-lattice relaxation rates 1/$T_1$ show a power law $T$ dependence with different exponents for the two As sites. The isotropic antiferromagnetic spin fluctuations characterized by the wavevector ${\bf q}$ = ($\pi$, 0) or (0, $\pi$) in the single-iron Brillouin zone notation are revealed by 1/$T_1T$ and $K$ measurements. Such magnetic fluctuations are necessary to explain the observed temperature dependence of the $^{75}$As quadrupole frequencies, as evidenced by our first-principles calculations. In the SC state, 1/$T_1$ shows a rapid decrease below $T_{\rm c}$ without a Hebel-Slichter peak and decreases exponentially at low $T$, consistent with an $s^{\pm}$ nodeless two-gap superconductor.


title: A Pig, an Angel and a Cactus Walk Into a Blender: A Descriptive Approach to Visual Blending

abstract: A descriptive approach for automatic generation of visual blends is presented. The implemented system, the Blender, is composed of two components: the Mapper and the Visual Blender. The approach uses structured visual representations along with sets of visual relations which describe how the elements (in which the visual representation can be decomposed) relate among each other. Our system is a hybrid blender, as the blending process starts at the Mapper (conceptual level) and ends at the Visual Blender (visual representation level). The experimental results show that the Blender is able to create analogies from input mental spaces and produce well-composed blends, which follow the rules imposed by its base-analogy and its relations. The resulting blends are visually interesting and some can be considered as unexpected.


title: Super-Resolution via Deep Learning

abstract: The recent phenomenal interest in convolutional neural networks (CNNs) must have made it inevitable for the super-resolution (SR) community to explore its potential. The response has been immense and in the last three years, since the advent of the pioneering work, there appeared too many works not to warrant a comprehensive survey. This paper surveys the SR literature in the context of deep learning. We focus on the three important aspects of multimedia - namely image, video and multi-dimensions, especially depth maps. In each case, first relevant benchmarks are introduced in the form of datasets and state of the art SR methods, excluding deep learning. Next is a detailed analysis of the individual works, each including a short description of the method and a critique of the results with special reference to the benchmarking done. This is followed by minimum overall benchmarking in the form of comparison on some common dataset, while relying on the results reported in various works.


title: Geometrodynamics: The Nonlinear Dynamics of Curved Spacetime

abstract: We review discoveries in the nonlinear dynamics of curved spacetime, largely made possible by numerical solutions of Einstein's equations. We discuss critical phenomena and self-similarity in gravitational collapse, the behavior of spacetime curvature near singularities, the instability of black strings in 5 spacetime dimensions, and the collision of four-dimensional black holes. We also discuss the prospects for further discoveries in geometrodynamics via observation of gravitational waves.


title: Magnetic Flux Cancelation as the Origin of Solar Quiet Region Pre-Jet Minifilaments

abstract: We investigate the origin of ten solar quiet region pre-jet minifilaments, using EUV images from SDO/AIA and magnetograms from SDO/HMI. We recently found panesar16b that quiet region coronal jets are driven by minifilament eruptions, where those eruptions result from flux cancelation at the magnetic neutral line under the minifilament. Here, we study the longer-term origin of the pre-jet minifilaments themselves. We find that they result from flux cancelation between minority-polarity and majority-polarity flux patches. In each of ten pre-jet regions, we find that opposite-polarity patches of magnetic flux converge and cancel, with a flux reduction of 10--40% from before to after the minifilament appears. For our ten events, the minifilaments exist for periods ranging from 1.5 hr to two days before erupting to make a jet. Apparently, the flux cancelation builds highly sheared field that runs above and traces the neutral line, and the cool-transition-region-plasma minifilament forms in this field and is suspended in it. We infer that the convergence of the opposite-polarity patches results in reconnection in the low corona that builds a magnetic arcade enveloping the minifilament in its core, and that the continuing flux cancelation at the neutral line finally destabilizes the minifilament field so that it erupts and drives the production of a coronal jet. Thus our observations strongly support that quiet region magnetic flux cancelation results in both the formation of the pre-jet minifilament and its jet-driving eruption.


title: Asymptotic Symmetries, Holography and Topological Hair

abstract: Asymptotic symmetries of AdS$_4$ quantum gravity and gauge theory are derived by coupling the dual CFT$_3$ to Chern-Simons gauge theory and 3D gravity in a "probe" large-level limit. The infinite-dimensional symmetries are shown to arise when one is restricted to boundary subspaces with effectively two-dimensional geometry. A canonical example of such a restriction occurs within the 4D subregion described by a Wheeler-DeWitt wavefunctional of AdS$_4$ quantum gravity. An AdS$_4$ analog of Minkowski "super-rotation" asymptotic symmetry is probed by 3D Einstein gravity, yielding CFT$_2$ structure, via AdS$_3$ foliation of AdS$_4$ and the AdS$_3$/CFT$_2$ correspondence. The maximal asymptotic symmetry is however probed by 3D conformal gravity. Both 3D gravities have Chern-Simons formulation, manifesting their topological character. Chern-Simons structure is also shown to be emergent in the Poincare patch of AdS$_4$, as soft/boundary limits of 4D gauge theory, rather than "put in by hand", with a finite effective Chern-Simons level. Several of the considerations of asymptotic symmetry structure are found to be simpler for AdS$_4$ than for Mink$_4$, such as non-zero 4D particle masses, 4D non-perturbative "hard" effects, and consistency with unitarity. The last of these, in particular, is greatly simplified, because in some set-ups the time dimension is explicitly shared by each level of description: Lorentzian AdS$_4$, CFT$_3$ and CFT$_2$. The CFT$_2$ structure clarifies the sense in which the infinite asymptotic charges constitute a useful form of "hair" for black holes and other complex 4D states. An AdS$_4$ (holographic) "shadow" analog of Minkowski "memory" effects is derived. Lessons from AdS$_4$ provide hints for better understanding Minkowski asymptotic symmetries, the 3D structure of its soft limits, and Minkowski holography.


title: Pr-magnetism in the quasi-skutterudite compound PrFe$_2$Al$_8$

abstract: The intermetallic compound \PFA\ that possesses a three-dimensional network structure of Al polyhedra centered at the transition metal element Fe and the rare earth Pr is investigated through neutron powder diffraction and inelastic neutron scattering in order to elucidate the magnetic ground state of Pr and Fe and the crystal field effects of Pr. Our neutron diffraction study confirms long-range magnetic order of Pr below $T_N $ = 4.5~K in this compound. Subsequent magnetic structure estimation reveals a magnetic propagation vector $k$ = ($\frac{1}{2}$~0~$\frac{1}{2}$) with a magnetic moment value of 2.5~$\mu_\mathrm{B}$/Pr along the orthorhombic $c$-axis and evidence the lack of ordering in the Fe sublattice. The inelastic neutron scattering study reveals one crystalline electric field excitation near 19~meV at 5~K in \PFA. The energy-integrated intensity of the 19~meV excitation as a function of |$Q$| $(A^{-1})$ follows the square of the magnetic form factor of Pr$^{3+}$ thereby confirming that the inelastic excitation belongs to the Pr sublattice. The second sum rule applied to the dynamic structure factor indicates only 1.6(2)~$\mu_\mathrm{B}$ evolving at the 19~meV peak compared to the 3.58~$\mu_\mathrm{B}$ for free Pr$^{3+}$, indicating that the crystal field ground state is magnetic and the missing moment is associated with the resolution limited quasi-elastic line. The magnetic order occurring in Pr in \PFA\ is counter-intuitive to the symmetry-allowed crystal field level scheme, hence, is suggestive of exchange-mediated mechanisms of ordering stemming from the magnetic ground state of the crystal field levels.


title: Analysis of solar gamma rays and solar neutrons detected on March 7th and September 25th of 2011 by Ground Level Neutron Telescopes, SEDA-FIB and FERMI-LAT

abstract: At the 33rd ICRC, we reported the possible detection of solar gamma rays by a ground level detector and later re-examined this event. On March 7, 2011, the solar neutron telescope (SNT) located at Mt. Sierra Negra, Mexico (4,600 m) observed enhancements of the counting rate from 19:49 to 20:02 UT and from 20:50 to 21:01 UT. The statistical significance was 9.7sigma and 8.5sigma, respectively. This paper discusses the possibility of using this mountain detector to detect solar gamma rays. In association with this event, the solar neutron detector SEDA-FIB onboard the International Space Station has also detected solar neutrons with a statistical significance of 7.5sigma. The FERMI-LAT detector also observed high-energy gamma rays from this flare with a statistical significance of 6.7sigma. We thus attempted to make a unified model to explain this data. In this paper, we report on another candidate for solar gamma rays detected on September 25th, 2011 by the SNT located in Tibet (4,300 m) from 04:37 to 04:47 UT with a statistical significance of 8.0sigma (by the Li-Ma method).


title: Population-specific design of de-immunized protein biotherapeutics

abstract: Immunogenicity is a major problem during the development of biotherapeutics since it can lead to rapid clearance of the drug and adverse reactions. The challenge for biotherapeutic design is therefore to identify mutants of the protein sequence that minimize immunogenicity in a target population whilst retaining pharmaceutical activity and protein function. Current approaches are moderately successful in designing sequences with reduced immunogenicity, but do not account for the varying frequencies of different human leucocyte antigen alleles in a specific population and in addition, since many designs are non-functional, require costly experimental post-screening. Here we report a new method for de-immunization design using multi-objective combinatorial optimization that simultaneously optimizes the likelihood of a functional protein sequence at the same time as minimizing its immunogenicity tailored to a target population. We bypass the need for three-dimensional protein structure or molecular simulations to identify functional designs by automatically generating sequences using probabilistic models that have been used previously for mutation effect prediction and structure prediction. As proof-of-principle we designed sequences of the C2 domain of Factor VIII and tested them experimentally, resulting in a good correlation with the predicted immunogenicity of our model.


title: Ground States for Exponential Random Graphs

abstract: We propose a perturbative method to estimate the normalization constant in exponential random graph models as the weighting parameters approach infinity. As an application, we give evidence of discontinuity in natural parametrization along the critical directions of the edge-triangle model.

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


title: Radiative control of dark excitons at room temperature by nano-optical antenna-tip induced Purcell effect

abstract: Excitons, Coulomb-bound electron and hole pairs, are elementary photo-excitations in semiconductors, that can couple directly to light through radiative relaxation. In contrast to these bright excitons, dark excitons X$\rm{_D}$ with anti-parallel electron spin polarization exist, with generally forbidden radiative emission. Because of their associated long lifetimes, these dark excitons are appealing candidates for quantum computing and opto-electronic devices. However, optical read-out and control of X$\rm{_D}$ states have remained a major challenge due to their decoupling from light. Here, we present a novel tip-enhanced nano-optical approach to precisely switch and programmably modulate the X$\rm{_D}$ emission even at room temperature. Using monolayer two-dimensional transition metal dichalcogenide (TMD) WSe$\rm{_2}$ on a gold film as model system, we demonstrate ${\sim} 6 \times 10^5$-fold enhancement in dark exciton photoluminescence quantum yield. This is achieved by the unique coupling of the nano-optical antenna-tip to the dark exciton \textit{out-of-plane} optical dipole moment, with an extraordinary Purcell factor of $\ge 2 \times 10^3$ of the tip-sample nano-cavity. Compared to the necessity of cryogenic temperatures and high magnetic fields in conventional approaches, our work provides a new way to harness excitonic properties in low-dimensional semiconductors and new strategies for quantum opto-electronic devices.


title: On Compatible Triangulations with a Minimum Number of Steiner Points

abstract: Two vertex-labelled polygons are \emph{compatible} if they have the same clockwise cyclic ordering of vertices. The definition extends to polygonal regions (polygons with holes) and to triangulations---for every face, the clockwise cyclic order of vertices on the boundary must be the same. It is known that every pair of compatible $n$-vertex polygonal regions can be extended to compatible triangulations by adding $O(n^2)$ Steiner points. Furthermore, $\Omega(n^2)$ Steiner points are sometimes necessary, even for a pair of polygons. Compatible triangulations provide piecewise linear homeomorphisms and are also a crucial first step in morphing planar graph drawings, aka "2D shape animation". An intriguing open question, first posed by Aronov, Seidel, and Souvaine in 1993, is to decide if two compatible polygons have compatible triangulations with at most $k$ Steiner points. In this paper we prove the problem to be NP-hard for polygons with holes. The question remains open for simple polygons.


title: Uniform Recovery Bounds for Structured Random Matrices in Corrupted Compressed Sensing

abstract: We study the problem of recovering an $s$-sparse signal $\mathbf{x}^{\star}\in\mathbb{C}^n$ from corrupted measurements $\mathbf{y} = \mathbf{A}\mathbf{x}^{\star}+\mathbf{z}^{\star}+\mathbf{w}$, where $\mathbf{z}^{\star}\in\mathbb{C}^m$ is a $k$-sparse corruption vector whose nonzero entries may be arbitrarily large and $\mathbf{w}\in\mathbb{C}^m$ is a dense noise with bounded energy. The aim is to exactly and stably recover the sparse signal with tractable optimization programs. In this paper, we prove the uniform recovery guarantee of this problem for two classes of structured sensing matrices. The first class can be expressed as the product of a unit-norm tight frame (UTF), a random diagonal matrix and a bounded columnwise orthonormal matrix (e.g., partial random circulant matrix). When the UTF is bounded (i.e. $\mu(\mathbf{U})\sim1/\sqrt{m}$), we prove that with high probability, one can recover an $s$-sparse signal exactly and stably by $l_1$ minimization programs even if the measurements are corrupted by a sparse vector, provided $m = \mathcal{O}(s \log^2 s \log^2 n)$ and the sparsity level $k$ of the corruption is a constant fraction of the total number of measurements. The second class considers randomly sub-sampled orthogonal matrix (e.g., random Fourier matrix). We prove the uniform recovery guarantee provided that the corruption is sparse on certain sparsifying domain. Numerous simulation results are also presented to verify and complement the theoretical results.


title: Modeling Musical Context with Word2vec

abstract: We present a semantic vector space model for capturing complex polyphonic musical context. A word2vec model based on a skip-gram representation with negative sampling was used to model slices of music from a dataset of Beethoven's piano sonatas. A visualization of the reduced vector space using t-distributed stochastic neighbor embedding shows that the resulting embedded vector space captures tonal relationships, even without any explicit information about the musical contents of the slices. Secondly, an excerpt of the Moonlight Sonata from Beethoven was altered by replacing slices based on context similarity. The resulting music shows that the selected slice based on similar word2vec context also has a relatively short tonal distance from the original slice.


title: Continuous use of ERP-based BCIs with different visual angles in ALS patients

abstract: Objective: Amyotrophic lateral sclerosis (ALS) is a rare disease, but is also one of the most common motor neuron diseases, and people of all races and ethnic backgrounds are affected. There is currently no cure. Brain computer interfaces (BCIs) can establish a communication channel directly between the brain and an external device by recognizing brain activities that reflect user intent. Therefore, this technology could help ALS patients in promoting functional independence through BCI-based speller systems and motor assistive devices. Methods: In this paper, two kinds of ERP-based speller systems were tested on 18 ALS patients to: (1) assess performance when they spelled 42 characters online continuously, without a break; and (2) to compare performance between a matrix-based speller paradigm (MS-P, mean visual angle 6 degree) and a new speller paradigm that used a larger visual angle called the large visual angle speller paradigm (LS-P, mean visual angle 8 degree). Results: Although results showed that there were no significant differences between the two paradigms in accuracy trend over continuous use (p>0.05), the fatigue during the LS-P condition was significantly lower than that of MS-P (p<0.05). Results also showed that continuous use slightly reduced the performance of this ERP-based BCI. Conclusion: 15 subjects obtained higher than 80% feedback accuracy (online output accuracy) and 9 subjects obtained higher than 90% feedback accuracy in one of the two paradigms, thus validating the BCI approaches in this study. Significance: Most ALS subjects in this study could spell effectively after continuous use of an ERP-based BCI. The new LS-P display may be easier for subjects to use, resulting in lower fatigue.


title: An Actor-Critic Contextual Bandit Algorithm for Personalized Mobile Health Interventions

abstract: Increasing technological sophistication and widespread use of smartphones and wearable devices provide opportunities for innovative and highly personalized health interventions. A Just-In-Time Adaptive Intervention (JITAI) uses real-time data collection and communication capabilities of modern mobile devices to deliver interventions in real-time that are adapted to the in-the-moment needs of the user. The lack of methodological guidance in constructing data-based JITAIs remains a hurdle in advancing JITAI research despite the increasing popularity of JITAIs among clinical scientists. In this article, we make a first attempt to bridge this methodological gap by formulating the task of tailoring interventions in real-time as a contextual bandit problem. Interpretability requirements in the domain of mobile health lead us to formulate the problem differently from existing formulations intended for web applications such as ad or news article placement. Under the assumption of linear reward function, we choose the reward function (the "critic") parameterization separately from a lower dimensional parameterization of stochastic policies (the "actor"). We provide an online actor-critic algorithm that guides the construction and refinement of a JITAI. Asymptotic properties of the actor-critic algorithm are developed and backed up by numerical experiments. Additional numerical experiments are conducted to test the robustness of the algorithm when idealized assumptions used in the analysis of contextual bandit algorithm are breached.


title: Efficient Radio Resource Management for Wireless Cellular Networks with Mobile Edge Computing

abstract: Mobile edge computing (MEC) has attracted great interests as a promising approach to augment computational capabilities of mobile devices. An important issue in the MEC paradigm is computation offloading. In this paper, we propose an integrated framework for computation offloading and interference management in wireless cellular networks with mobile edge computing. In this integrated framework, the MEC server makes the offloading decision according to the local computation overhead estimated by all user equipments (UEs) and the offloading overhead estimated by the MEC server itself. Then, the MEC server performs the PRB allocation using graph coloring. The outcomes of the offloading decision and PRB allocation are then used to allocate the computation resource of the MEC server to the UEs. Simulation results are presented to show the effectiveness of the proposed scheme with different system parameters.


title: Classification of Medical Images and Illustrations in the Biomedical Literature Using Synergic Deep Learning

abstract: The Classification of medical images and illustrations in the literature aims to label a medical image according to the modality it was produced or label an illustration according to its production attributes. It is an essential and challenging research hotspot in the area of automated literature review, retrieval and mining. The significant intra-class variation and inter-class similarity caused by the diverse imaging modalities and various illustration types brings a great deal of difficulties to the problem. In this paper, we propose a synergic deep learning (SDL) model to address this issue. Specifically, a dual deep convolutional neural network with a synergic signal system is designed to mutually learn image representation. The synergic signal is used to verify whether the input image pair belongs to the same category and to give the corrective feedback if a synergic error exists. Our SDL model can be trained 'end to end'. In the test phase, the class label of an input can be predicted by averaging the likelihood probabilities obtained by two convolutional neural network components. Experimental results on the ImageCLEF2016 Subfigure Classification Challenge suggest that our proposed SDL model achieves the state-of-the art performance in this medical image classification problem and its accuracy is higher than that of the first place solution on the Challenge leader board so far.


title: On the imaginary parts of chromatic root

abstract: While much attention has been directed to the maximum modulus and maximum real part of chromatic roots of graphs of order $n$ (that is, with $n$ vertices), relatively little is known about the maximum imaginary part of such graphs. We prove that the maximum imaginary part can grow linearly in the order of the graph. We also show that for any fixed $p \in (0,1)$, almost every random graph $G$ in the Erd\"os-R\'enyi model has a non-real root.


title: Antropologia de la Informatica Social: Teoria de la Convergencia Tecno-Social

abstract: The traditional humanism of the twentieth century, inspired by the culture of the book, systematically distanced itself from the new society of digital information; the Internet and tools of information processing revolutionized the world, society during this period developed certain adaptive characteristics based on coexistence (Human - Machine), this transformation sets based on the impact of three technology segments: devices, applications and infrastructure of social communication, which are involved in various physical, behavioural and cognitive changes of the human being; and the emergence of new models of influence and social control through the new ubiquitous communication; however in this new process of conviviality new models like the "collaborative thinking" and "InfoSharing" develop; managing social information under three Human ontological dimensions (h) - Information (i) - Machine (m), which is the basis of a new physical-cyber ecosystem, where they coexist and develop new social units called "virtual communities ". This new communication infrastructure and social management of information given discovered areas of vulnerability "social perspective of risk", impacting all social units through massive impact vector (i); The virtual environment "H + i + M"; and its components, as well as the life cycle management of social information allows us to understand the path of integration "Techno - Social" and setting a new contribution to cybernetics, within the convergence of technology with society and the new challenges of coexistence, aimed at a new holistic and not pragmatic vision, as the human component (h) in the virtual environment is the precursor of the future and needs to be studied not as an application, but as the hub of a new society.


title: Probing empirical contact networks by simulation of spreading dynamics

abstract: Disease, opinions, ideas, gossip, etc. all spread on social networks. How these networks are connected (the network structure) influences the dynamics of the spreading processes. By investigating these relationships one gains understanding both of the spreading itself and the structure and function of the contact network. In this chapter, we will summarize the recent literature using simulation of spreading processes on top of empirical contact data. We will mostly focus on disease simulations on temporal proximity networks -- networks recording who is close to whom, at what time -- but also cover other types of networks and spreading processes. We analyze 29 empirical networks to illustrate the methods.


title: Modelo de Aprendizaje Biocibernetico BLM

abstract: Education in the digital period in which we live, is reaching challenges never before seen, preceded by phenomena that involve not only traditional social units, but also new virtual communities; Innovating is difficult, it is a challenge, however, we must think of new teaching methods that impact the current generation of students, who arrive with new needs and expectations. The construction of knowledge from the subject and the virtual world that surrounds it, establishes the basis for the development of a new model of teaching, where the classroom is the particular representation of a new physical-cybernetic ecosystem composed of the three large dimensions. Which are part of this new techno-social convergence (human - information - machine); Allowing an interrelation between the student, information, machine and the teacher; Using Biocybernetic methods of influence, control and replication, by means of the massive impact vector (i); In addition, the development of new strategies assisted by cybernetics and the updating of academic content according to the new teaching environment. Hence the importance of this study, which leads us to the need for a new model of transforming academic instruction, which is not based on a conglomerate of technological tools, but establishes a new educational and transformative model, based on "Collaborative Thinking" and the ubiquity of information, thus establishing the relationship between the subject and object of study, thus allowing us to establish the new Biocybernetic educational paradigm in the digital period.


title: Can Turbulence Dominate Depolarization of Optical Blazars?

abstract: We carefully examine the depolarization feature of blazars in the optical and near-infrared bands using the sample of Mead et al. Magnetohydrodynamics (MHD) turbulence could be one possible reason for the depolarization of optical/infrared blazars when we apply the theoretical analysis of Lazarian and Pogosyan. We further identify in the sample that the depolarization results shown in most blazars roughly obey the form of the three-dimensional anisotropic Kolmogorov scaling. The effective Faraday rotation window length scale is not small enough to resolve the polarization correlation length scale in the blazar sample. The depolarization and the related turbulent features show diversities in different blazar sources. We suggest more simultaneous observations in both the optical/infrared and the high-energy bands for the study of the blazar polarization.


title: Electric control of the edge magnetization in zigzag stanene nanoribbon

abstract: There has been tremendous interest in manipulating electron and hole-spin states in low-dimensional structures for electronic and spintronic applications. We study the edge magnetic coupling and anisotropy in zigzag stanene nanoribbons, by first-principles calculations. Taking into account considerable spin-orbit coupling and ferromagnetism at each edge, zigzag stanene nanoribbon is insulating and its band gap depends on the inter-edge magnetic coupling and the magnetization direction. Especially for nanoribbon edges with out-of-plane antiferromagnetic coupling, two non-degenerate valleys of edge states emerge and the spin degeneracy is tunable by a transverse electric field, which give full play to spin and valley degrees of freedom. More importantly, both the magnetic order and anisotropy can be selectively controlled by electron and hole doping, demonstrating a readily accessible gate-induced modulation of magnetism. These intriguing features offer a practical avenue for designing energy-efficient devices based on multiple degrees of freedom of electron and magneto-electric couplings.


title: Uncertainty Relations and Quantum Corrections in Noncommutative Quantum Mechanics on a Curved Space

abstract: Starting with the first-order singular Lagrangian describing the dynamical system with 2nd-class constraints, the noncommutative quantum mechanics on a curved space is investigated by the constraint star-product quantization formalism of the projection operator method. Imposing the additional constraints to eliminate the reduntant degrees of freedom, it is shown that the resultant noncommutative quantum system on the curved space is represented with two kinds of the constrained quantum systems, which are equivalent with each other. Then, it is shown that the resultant Hamiltonians contain the quantum corrections caused by the uncertainty relations among the constraint-operators in addition to those due to the projections of operators, which are missed in the usual approaches with the Dirac-bracket quantization formalism.


title: Deformation and chaining of flexible shells in a nematic solvent

abstract: A micrometer-scale elastic shell immersed in a nematic liquid crystal may be deformed by the host if the cost of deformation is comparable to the cost of elastic deformation of the nematic. Moreover, such inclusions interact and form chains due to quadrupolar distortions induced in the host. A continuum theory model using finite elements is developed for this system, using mesh regularization and dynamic refinement to ensure quality of the numerical representation even for large deformations. From this model, we determine the influence of the shell elasticity, nematic elasticity and anchoring condition on the shape of the shell and hence extract parameter values from an experimental realization. Extending the model to multi-body interactions, we predict the alignment angle of the chain with respect to the host nematic as a function of aspect ratio, which is found to be in excellent agreement with experiments and greatly improves upon previous theoretical predictions.


title: Generic nearest-neighbour kagome model: XYZ & Dzyaloshinskii-Moriya, and comparison to pyrochlore

abstract: The kagome lattice is a paragon of geometrical frustration, long-studied for its association with novel ground-states including spin liquids (SLs). Many recently synthesized kagome materials feature rare-earth ions, which may be expected to exhibit highly anisotropic exchange interactions. The consequences of this combination of strong exchange anisotropy and extreme geometrical frustration are yet to be fully understood. Here, we establish a general picture of the interactions and resulting ground-states (GSs) arising from nearest neighbour exchange anisotropy on the kagome lattice. We determine a generic anisotropic exchange Hamiltonian from symmetry arguments. In the high-symmetry case where reflection in the kagome plane is a symmetry of the system, the generic nearest-neighbour Hamiltonian can be locally defined as a XYZ model with out-of-plane Dzyaloshinskii-Moriya interactions. We proceed to study its phase diagram in the classical limit, making use of an exact reformulation of the Hamiltonian in terms of irreducible representations (irreps) of the lattice symmetry group. This reformulation in terms of irreps naturally explains the three-fold mapping between SLs recently studied on kagome by the present authors [Nat Commun 7, 10297 (2016)]. In addition, a number of unusual states are stabilised in the regions where different forms of GS order compete, including a stripy phase with a local Z8 symmetry and a classical analogue of a chiral SL. This generic Hamiltonian also turns out to be a fruitful hunting ground for coexistence of different forms of magnetic order, or of order and disorder, which we find is a particular property of the kagome lattice arising from the odd number of spins per frustrated unit. These results are compared and contrasted with those obtained on the pyrochlore lattice, and connection is made with recent progress in understanding quantum models with S = 1/2


title: Prime divisors of sequences of integers

abstract: In this paper, we develop Furstenberg's proof of infinity of primes, and prove several results about prime divisors of sequences of integers, including the celebrated Schur's theorem. In particular, we give a simple proof of a classical result which says that a non-degenerate linear recurrence sequence of integers of order k>1 has infinitely many prime divisors.


title: Asymptotics for polynomials orthogonal in an indefinite metric

abstract: We continue studying polynomials generated by the Szeg\H{o} recursion when a finite number of Verblunsky coefficients lie outside the closed unit disk. We prove some asymptotic results for the corresponding orthogonal polynomials and then translate them to the real line to obtain the Szeg\H{o} asymptotics for the resulting polynomials. The latter polynomials give rise to a non-symmetric tridiagonal matrix but it is a finite-rank perturbation of a symmetric Jacobi matrix.


title: Theoretical study on the hyperfine interaction constants and the isotope shift factors for the $3s^2~^1 S_{ 0} ~-~ 3s3p~^{3,1}P^o_1$ transitions in Al$^+$

abstract: We calculated the magnetic dipole and the electric quadrupole hyperfine interaction constants of 3s3p $^{3,1}P^o_1$ states and the isotope shift, including mass and field shift, factors for transitions from these two states to the ground state 3s$^2~^1S_0$ in Al$^+$ ions using the multiconfiguration Dirac-Hartree-Fock method. The effects of the electron correlations and the Breit interaction on these physical quantities were investigated in detail based on the active space approach. It is found that the CC and the higher-order correlations are considerable for evaluating the uncertainties of the atomic parameters concerned. The uncertainties of the hyperfine interaction constants in this work are less than 1.5\%. Although the isotope shift factors are highly sensitive to the electron correlations, reasonable uncertainties were obtained by exploring the effects of the electron correlations. Moreover, we found that the relativistic nuclear recoil corrections to the mass shift factors are very small and insensitive to the electron correlations for Al$^{+}$. These atomic parameters present in this work are valuable for extracting the nuclear electric quadrupole moments and the mean-square charge radii of Al isotopes.


title: Application of Coupled Harmonic Oscillator model to Solar Activity and El Ni\~no Phenomena

abstract: The solar activity provides an important impact not only on the intensity of cosmic rays but also on the earth environment. In this paper, a coupled oscillator model is proposed to explain the solar activity. By this model the 89 year Gleissberg cycle can be naturally reduced. Furthermore as an application of the coupled oscillator model we try to apply it to the El Nino-La Nina phenomena (ENSO). The 22 year oscillation of the Pacific Ocean is naturally explained. Finally we search a possible substance of the coupled oscillators in actual solar activities.


title: Discrete Convex Functions on Graphs and Their Algorithmic Applications

abstract: The present article is an exposition of a theory of discrete convex functions on certain graph structures, developed by the author in recent years. This theory is a spin-off of discrete convex analysis by Murota, and is motivated by combinatorial dualities in multiflow problems and the complexity classification of facility location problems on graphs. We outline the theory and algorithmic applications in combinatorial optimization problems.


title: Machine-to-Machine (M2M) Communications in Virtualized Cellular Networks with MEC

abstract: As an important part of the Internet-of-Things (IoT), machine-to-machine (M2M) communications have attracted great attention. In this paper, we introduce mobile edge computing (MEC) into virtualized cellular networks with M2M communications, to decrease the energy consumption and optimize the computing resource allocation as well as improve computing capability. Moreover, based on different functions and quality of service (QoS) requirements, the physical network can be virtualized into several virtual networks, and then each MTCD selects the corresponding virtual network to access. Meanwhile, the random access process of MTCDs is formulated as a partially observable Markov decision process (POMDP) to minimize the system cost, which consists of both the energy consumption and execution time of computing tasks. Furthermore, to facilitate the network architecture integration, software-defined networking (SDN) is introduced to deal with the diverse protocols and standards in the networks. Extensive simulation results with different system parameters reveal that the proposed scheme could significantly improve the system performance compared to the existing schemes.


title: Drift Chamber Track Reconstruction for the P349 Antiproton Experiment

abstract: The aim of this thesis was to perform the drift chamber calibration and charged particles 3d track reconstruction for the P349 antiproton polarization experiment. A dedicated procedures were designed, implemented and tested on the experimental data for the the D1 drift chamber. The calibration consisted of the drift time offsets determination, estimation of the initial drift time - space relations by means of the homogeneous irradiation method and the iterative procedure for the time - space relations optimization. Calibration curves for all wire planes of the detector were determined. The obtained uncertainties of the hit position reconstruction are in the range of 150 - 220 $\rm \mu m$. Furthermore, based on the prepared 3d track reconstruction angular distribution of tracks passing through the drift chamber were determined.


title: Thermodynamics of Two-impurity Anderson Model with Dzyaloshinskii-Moriya Interaction

abstract: In this work, we use the numerical renormalization group (NRG) theory to study the thermodynamics of the two-impurity Anderson model. Two different methods are used to estimate the effect of the Dzyaloshiskii-Moriya (DM) interaction on the variation of the Kondo temperature. When the Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction is vanishing, the two different estimations give different tendency. If we use the peak of the specific heat to identify the variation of the Kondo temperature versus the Dzyaloshiskii-Moriya interaction, we get an almost linear function. However, if we use the low temperature universal curve of the impurity entropy, we get a quadratic function. These results indicate that the previous debates about the influence of the spin-orbit coupling on the Kondo temperature may come from the different definitions of the Kondo temperature. When the RKKY interaction is ferromagnetic, there are two stages of the Kondo screening. Both the two estimations demonstrate that the second stage of the Kondo temperature is exponentially dependent on the DM interaction. There results are dramatically different from those calculated via perturbation theory.


title: Improving the glial differentiation of human Schwann-like adipose-derived stem cells with graphene oxide substrates

abstract: There is urgent clinical need to improve the clinical outcome of peripheral nerve injury. Many efforts are directed towards the fabrication of bioengineered conduits, which could deliver stem cells to the site of injury to promote and guide peripheral nerve regeneration. The aim of this study is to assess if graphene and related nanomaterials can be useful in the fabrication of such conduits. A comparison is made between GO and reduced GO substrates. Our results show that the graphene substrates are highly biocompatible, and the reduced GO substrates are more effective in ncreasing the gene expression of the biomolecules involved in the regeneration process compared to the other substrates studied.


title: Ill-Posedness of the Third Order NLS Equation with Raman Scattering Term

abstract: We consider the ill-posedness and well-posedness of the Cauchy problem for the third order NLS equation with Raman scattering term on the one dimensional torus. It is regarded as a mathematical model for the photonic crystal fiber oscillator. Regarding the ill-posedness, we show the nonexistence of solutions in the Sobolev space and the norm inflation of the data-solution map under slightly different conditions, respectively. We also prove the local unique existence of solutions in the analytic function space.


title: $Ab$ $initio$ electronic stopping power and threshold effect of channeled slow light ions in HfO$_{2}$

abstract: We present $ab$ $initio$ study of the electronic stopping power of protons and helium ions in an insulating material, HfO$_{2}$. The calculations are carried out in channeling conditions with different impact parameters by employing Ehrenfest dynamics and real--time, time--dependent density functional theory. The satisfactory comparison with available experiments demonstrates that this approach provides an accurate description of electronic stopping power. The velocity-proportional stopping power is predicted for protons and helium ions in the low energy region, which conforms the linear response theory. Due to the existence of wide band gap, a threshold effect in extremely low velocity regime below excitation is expected. For protons, the threshold velocity is observable, while it does not appear in helium ions case. This indicates the existence of extra energy loss channels beyond the electron--hole pair excitation when helium ions are moving through the crystal. To analyze it, we checked the charge state of the moving projectiles and an explicit charge exchange behavior between the ions and host atoms is found. The missing threshold effect for helium ions is attributed to the charge transfer, which also contributes to energy loss of the ion.


title: Two-scale method for the Monge-Amp\`ere Equation: Pointwise Error Estimates

abstract: In this paper we continue the analysis of the two-scale method for the Monge-Amp\`ere equation for dimension $d \geq 2$ introduced in [10]. We prove continuous dependence of discrete solutions on data that in turn hinges on a discrete version of the Alexandroff estimate. They are both instrumental to prove pointwise error estimates for classical solutions with H\"older and Sobolev regularity. We also derive convergence rates for viscosity solutions with bounded Hessians which may be piecewise smooth or degenerate.


title: Efficient cathodoluminescence of monolayer transitional metal dichalcogenides in a van der Waals heterostructure

abstract: Monolayer two-dimensional transitional metal dichalcogenides, such as MoS2, WS2 and WSe2, are direct band gap semiconductors with large exciton binding energy. They attract growing attentions for opto-electronic applications including solar cells, photo-detectors, light-emitting diodes and photo-transistors, capacitive energy storage, photodynamic cancer therapy and sensing on flexible platforms. While light-induced luminescence has been widely studied, luminescence induced by injection of free electrons could promise another important applications of these new materials. However, cathodoluminescence is inefficient due to the low cross-section of the electron-hole creating process in the monolayers. Here for the first time we show that cathodoluminescence of monolayer chalcogenide semiconductors can be evidently observed in a van der Waals heterostructure when the monolayer semiconductor is sandwiched between layers of hexagonal boron nitride (hBN) with higher energy gap. The emission intensity shows a strong dependence on the thicknesses of surrounding layers and the enhancement factor is more than 1000 folds. Strain-induced exciton peak shift in the suspended heterostructure is also investigated by the cathodoluminescence spectroscopy. Our results demonstrate that MoS2, WS2 and WSe2 could be promising cathodoluminescent materials for applications in single-photon emitters, high-energy particle detectors, transmission electron microscope displays, surface-conduction electron-emitter and field emission display technologies.


title: Fairness of Congestion-Based Congestion Control: Experimental Evaluation and Analysis

abstract: BBR is a new congestion-based congestion control algorithm proposed by Google. A BBR flow sequentially measures the bottleneck bandwidth and round-trip delay of the network pipe, and uses the measured results to govern its sending behavior, maximizing the delivery bandwidth while minimizing the delay. However, our deployment in geo-distributed cloud servers reveals a severe RTT fairness problem: a BBR flow with longer RTT dominates a competing flow with shorter RTT. Somewhat surprisingly, our deployment of BBR on the Internet and an in-house cluster unearthed a consistent bandwidth disparity among competing flows. Long BBR flows are bound to seize bandwidth from short ones. Intrigued by this unexpected behavior, we ask, is the phenomenon intrinsic to BBR? how's the severity? and what's the root cause? To this end, we conduct thorough measurements and develop a theoretical model on bandwidth dynamics. We find, as long as the competing flows are of different RTTs, bandwidth disparities will arise. With an RTT ratio of 10, even flow starvation can happen. We blame it on BBR's connivance at sending an excessive amount of data when probing bandwidth. Specifically, the amount of data is in proportion to RTT, making long RTT flows overwhelming short ones. Based on this observation, we design a derivative of BBR that achieves guaranteed flow fairness, at the meantime without losing any merits. We have implemented our proposed solution in Linux kernel and evaluated it through extensive experiments.


title: Heating of an erupting prominence associated with a solar coronal mass ejection on 2012 January 27

abstract: We investigate the heating of an erupting prominence and loops associated with a coronal mass ejection and X-class flare. The prominence is seen in absorption in EUV at the beginning of its eruption. Later the prominence changes to emission, which indicates heating of the erupting plasma. We find the densities of the erupting prominence using the absorption properties of hydrogen and helium in different passbands. We estimate the temperatures and densities of the erupting prominence and loops seen as emission features using the differential emission measure method, which uses both EUV and X-ray observations from the Atmospheric Imaging Assembly on board Solar Dynamics Observatory and the X-ray Telescope on board Hinode. We consider synthetic spectra using both photospheric and coronal abundances in these calculations. We verify the methods for the estimation of temperatures and densities for the erupting plasmas. Then we estimate the thermal, kinetic, radiative loss, thermal conduction, and heating energies of the erupting prominence and loops. We find that the heating of the erupting prominence and loop occurs strongly at early times in the eruption. This event shows a writhing motion of the erupting prominence, which may indicate a hot flux rope heated by thermal energy release during magnetic reconnection.


title: Black Hole Squeezers

abstract: We show that the gravitational quasi-normal modes (QNMs) of a Schwarzschild black hole play the role of a multimode squeezer that can generate particles. For a minimally coupled scalar field, the QNMs "squeeze" the initial state of the scalar field (even for the vacuum) and produce scalar particles. The maximal squeezing amplitude is inversely proportional to the cube of the imaginary part of the QNM frequency, implying that the particle generation efficiency is higher for lower decaying QNMs. Our results show that the gravitational perturbations can amplify Hawking radiation.


title: Tame Hereditary Algebras have finitely many m-Maximal Green Sequences

abstract: In this paper we state and prove the statement that tame hereditary algebras have finitely many m-maximal green sequences using a generalized version of Br\"ustle-Dupont-P\'erotin's argument that tame quivers have finitely many maximal green sequences. Then we extend this theorem to mutation sequences which are partially red.


title: Robust Lane Tracking with Multi-mode Observation Model and Particle Filtering

abstract: Automatic lane tracking involves estimating the underlying signal from a sequence of noisy signal observations. Many models and methods have been proposed for lane tracking, and dynamic targets tracking in general. The Kalman Filter is a widely used method that works well on linear Gaussian models. But this paper shows that Kalman Filter is not suitable for lane tracking, because its Gaussian observation model cannot faithfully represent the procured observations. We propose using a Particle Filter on top of a novel multiple mode observation model. Experiments show that our method produces superior performance to a conventional Kalman Filter.


title: Identifying Patch Correctness in Test-Based Program Repair

abstract: Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing approaches often generate a large number of incorrect patches. To reduce the number of incorrect patches generated, we propose a novel approach that heuristically determines the correctness of the generated patches. The core idea is to exploit the behavior similarity of test case executions. The passing tests on original and patched programs are likely to behave similarly while the failing tests on original and patched programs are likely to behave differently. Also, if two tests exhibit similar runtime behavior, the two tests are likely to have the same test results. Based on these observations, we generate new test inputs to enhance the test suites and use their behavior similarity to determine patch correctness. Our approach is evaluated on a dataset consisting of 139 patches generated from existing program repair systems including jGenProg, Nopol, jKali, ACS and HDRepair. Our approach successfully prevented 56.3\% of the incorrect patches to be generated, without blocking any correct patches.


title: Nonadiabatic robust excitation transfer assisted by an imaginary gauge field

abstract: A nonadiabatic and robust method of excitation transfer in a non-Hermitian tight-binding linear chain, assisted by an imaginary gauge field, is theoretically proposed. The gauge field undergoes a linear gradient in time, from a negative to a positive value, which results in an effective transfer of excitation between the two edge sites of the chain. An imaginary (gain and loss) gradient of site energy potentials is introduced to exactly cancel nonadiabatic effects, thus providing an effective shortcut to adiabaticity and pseudo-Hermitian dynamics. Numerical simulations indicate that the non-Hermitian excitation transfer method is very robust against disorder in hopping rates and site energy of the chain.


title: Accurate Force Field for Molybdenum by Machine Learning Large Materials Data

abstract: In this work, we present a highly accurate spectral neighbor analysis potential (SNAP) model for molybdenum (Mo) developed through the rigorous application of machine learning techniques on large materials data sets. Despite Mo's importance as a structural metal, existing force fields for Mo based on the embedded atom and modified embedded atom methods still do not provide satisfactory accuracy on many properties. We will show that by fitting to the energies, forces and stress tensors of a large density functional theory (DFT)-computed dataset on a diverse set of Mo structures, a Mo SNAP model can be developed that achieves close to DFT accuracy in the prediction of a broad range of properties, including energies, forces, stresses, elastic constants, melting point, phonon spectra, surface energies, grain boundary energies, etc. We will outline a systematic model development process, which includes a rigorous approach to structural selection based on principal component analysis, as well as a differential evolution algorithm for optimizing the hyperparameters in the model fitting so that both the model error and the property prediction error can be simultaneously lowered. We expect that this newly developed Mo SNAP model will find broad applications in large-scale, long-time scale simulations.


title: Direct Observation of Sub-picosecond Hole Injection from Lead Halide Perovskite by Differential Transient Transmission Spectroscopy

abstract: Efficient charge separation at the interfaces between the perovskite and with the carrier transport layers is crucial for perovskite solar cells to achieve high power conversion efficiency. We systematically investigate the hole injection dynamics from MAPbI$_3$ perovskite to three typical hole transport materials (HTMs) PEDOT:PSS, PTAA and NiO$_x$ by means of pump-probe transmission measurements. We photoexcite only near the MAPbI$_3$/HTM interface or near the back surface, and measure the differential transient transmission between the two excitation configurations to extract the carrier dynamics directly related to the hole injection. The differential transmission signals directly monitor the hole injections to PTAA and PEDOT:PSS being complete within 1 and 2 ps, respectively, and that to NiO$_x$ exhibiting an additional slow process of 40 ps time scale. The obtained injection dynamics are discussed in comparison with the device performance of the solar cells containing the same MAPbI$_3$/HTM interfaces.


title: Beyond Moore's technologies: operation principles of a superconductor alternative

abstract: The predictions of Moore's law are considered by experts to be valid until 2020 giving rise to "post-Moore's" technologies afterwards. Energy efficiency is one of the major challenges in high-performance computing that should be answered. Superconductor digital technology is a promising post-Moore's alternative for the development of supercomputers. In this paper, we consider operation principles of an energy-efficient superconductor logic and memory circuits with a short retrospective review of their evolution. We analyze their shortcomings in respect to computer circuits design. Possible ways of further research are outlined.


title: Ultrafast nonlinear dynamics of thin gold films due to an intrinsic delayed nonlinearity

abstract: Using long-range surface plasmon polaritons light can propagate in metal nano-scale waveguides for ultracompact opto-electronic devices. Gold is an important material for plasmonic waveguides, but although its linear optical properties are fairly well understood, the nonlinear response is still under investigation. We consider propagation of pulses in ultrathin gold strip waveguides, modeled by the nonlinear Schr\"odinger equation. The nonlinear response of gold is accounted for by the two-temperature model, revealing it as a delayed nonlinearity intrinsic in gold. The consequence is that the measured nonlinearities are strongly dependent on pulse duration. This issue has so far only been addressed phenomenologically, but we provide an accurate estimate of the quantitative connection as well as a phenomenological theory to understand the enhanced nonlinear response as the gold thickness is reduced. In comparison with the previous works, the analytical model for the power-loss equation has been improved, and can be applied now to cases with a high laser peak power. We show new fits to experimental data from literature and provide updated values for the real and imaginary part of the nonlinear susceptibility of gold for various pulse durations and gold layer thicknesses. Our simulations show that the nonlinear loss is inhibiting efficient nonlinear interaction with low-power laser pulses. We therefore propose to design waveguides suitable for the mid-IR, where the ponderomotive instantaneous nonlinearity can dominate over the delayed hot-electron nonlinearity and provide a suitable plasmonics platform for efficient ultrafast nonlinear optics.


title: Photonic Loschmidt echo in binary waveguide lattices

abstract: Time reversal is one of the most intriguing yet elusive wave phenomenon of major interest in different areas of classical and quantum physics. Time reversal requires in principle to flip the sign of the Hamiltonian of the system, leading to a revival of the initial state (Loschmidt echo). Here it is shown that Loschmidt echo of photons can be observed in an optical setting without resorting to reversal of the Hamiltonian. We consider photonic propagation in a binary waveguide lattice and show that, by exchanging the two sublattices after some propagation distance, a Loschmidt echo can be observed. Examples of Loschmidt echoes for single photon and NOON states are given in one- and two-dimensional waveguide lattices.


title: Lower Bound of the Lifespan of the Solution to Systems of Quasi-linear Wave Equations with Multiple Propagation Speeds

abstract: We consider the Cauchy problem of systems of quasilinear wave equations in 2-dimensional space. We assume that the propagation speeds are distinct and that the nonlinearities contain quadratic and cubic terms of the first and second order derivatives of the solution. We know that if the all quadratic and cubic terms of nonlinearities satisfy $Strong$ $Null$-$condition$, then there exists a global solution for sufficiently small initial data. In this paper, we study about the lifespan of the smooth solution, when the cubic terms in the quasi-linear nonlinearities do not satisfy the Strong null-condition. In the proof of our claim, we use the $ghost$ $weight$ energy method and the $L^{\infty}$-$L^{\infty}$ estimates of the solution, which is slightly improved.


title: Time reversal of a discrete system coupled to a continuum based on non-Hermitian flip

abstract: Time reversal in quantum or classical systems described by an Hermitian Hamiltonian is a physically allowed process, which requires in principle inverting the sign of the Hamiltonian. Here we consider the problem of time reversal of a subsystem of discrete states coupled to an external environment characterized by a continuum of states, into which they generally decay. It is shown that, by flipping the discrete-continuum coupling from an Hermitian to a non-Hermitian interaction, thus resulting in a non unitary dynamics, time reversal of the subsystem of discrete states can be achieved, while the continuum of states is not reversed. Exact time reversal requires frequency degeneracy of the discrete states, or large frequency mismatch among the discrete states as compared to the strength of indirect coupling mediated by the continuum. Interestingly, periodic and frequent switch of the discrete-continuum coupling results in a frozen dynamics of the subsystem of discrete states.


title: Rapidly-oscillating scatteringless non-Hermitian potentials and the absence of Kapitza stabilization

abstract: In the framework of the ordinary non-relativistic quantum mechanics, it is known that a quantum particle in a rapidly-oscillating bound potential with vanishing time average can be scattered off or even trapped owing to the phenomenon of dynamical (Kapitza) stabilization. A similar phenomenon occurs for scattering and trapping of optical waves. Such a remarkable result stems from the fact that, even though the particle is not able to follow the rapid external oscillations of the potential, these are still able to affect the average dynamics by means of an effective -albeit small- nonvanishing potential contribution. Here we consider the scattering and dynamical stabilization problem for matter or classical waves by a bound potential with oscillating ac amplitude $f(t)$ in the framework of a non-Hermitian extension of the Schr\"odinger equation, and predict that for a wide class of imaginary amplitude modulations $f(t)$ possessing a one-sided Fourier spectrum the oscillating potential is effectively canceled, i.e. it does not have any effect to the particle dynamics, contrary to what happens in the Hermitian case


title: Potts models with a defect line

abstract: We provide a detailed analysis of the correlation length in the direction parallel to a line of modified coupling constants in the ferromagnetic Potts model on $\mathbb{Z}^d$ at temperatures $T>T_c$. We also describe how a line of weakened bonds pins the interface of the Potts model on $\mathbb{Z}^2$ below its critical temperature. These results are obtained by extending the analysis by Friedli, Ioffe and Velenik from Bernoulli percolation to FK-percolation of arbitrary parameter $q>1$.

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


title: Gravimetry through non-linear optomechanics

abstract: We propose a new method for measurements of gravitational acceleration using a quantum optomechanical system. As a proof-of-concept, we investigate the fundamental sensitivity for a cavity optomechanical system for gravitational accelerometry with a light-matter interaction of the canonical `trilinear' radiation pressure form. The phase of the optical output of the cavity encodes the gravitational acceleration $g$ and is the only component which needs to be measured to perform the gravimetry. We analytically show that homodyne detection is the optimal readout in our scheme, based on the cyclical decoupling of light and matter, and predict a fundamental sensitivity of $\Delta g = 10^{-15}$ ms$^{-2}$ for currently achievable optomechanical systems which could, in principle, surpass the best atomic interferometers even for low optical intensities. Our scheme is strikingly robust to the initial thermal state of the mechanical oscillator as the accumulated gravitational phase only depends on relative position separation between components of the entangled optomechanical state arising during the evolution.


title: Network Creation Games: Structure vs Anarchy

abstract: We study Nash equilibria and the price of anarchy in the classical model of Network Creation Games introduced by Fabrikant et al. In this model every agent (node) buys links at a prefixed price $\alpha>0$ in order to get connected to the network formed by all the $n$ agents. In this setting, the reformulated tree conjecture states that for $\alpha > n$, every Nash equilibrium network is a tree. Since it was shown that the price of anarchy for trees is constant, if the tree conjecture were true, then the price of anarchy would be constant for $\alpha >n$. Moreover, Demaine et al. conjectured that the price of anarchy for this model is constant. Up to now the last conjecture has been proven in (i) the \emph{lower range}, for $\alpha = O(n^{1-\epsilon})$ with $\epsilon \geq \frac{1}{\log n}$ and (ii) in the \emph{upper range}, for $\alpha > 65n$. In contrast, the best upper bound known for the price of anarchy for the remaining range is $2^{O(\sqrt{\log n})}$. In this paper we give new insights into the structure of the Nash equilibria for different ranges of $\alpha$ and we enlarge the range for which the price of anarchy is constant. Regarding the upper range, we prove that every Nash equilibrium is a tree for $\alpha > 17n$ and that the price of anarchy is constant even for $\alpha > 9n$. In the lower range, we show that any Nash equilibrium for $\alpha < n/C$ with $C > 4$, induces an $\epsilon-$distance-almost-uniform graph.


title: Grid-Connected Photovoltaic System for Active and Reactive Power Management

abstract: In this paper, the behavior of a photovoltaic (PV) system, with maximum power point tracking (MPPT) connected to three-phased grid has been investigated. A voltage source inverter (VSI) has been used to connect the photovoltaic system to the grid. The control strategy applied to control inverter switches is based on voltage mode method. Strategy of this project is that during sunlight the system sends active power to the grid and at the same time compensates the reactive power of the load. In case there is no sunlight, the inverter only compensates the reactive of the load. So the photovoltaic system is operated the whole day. In this paper the behavior of the photovoltaic system to provide active power and compensate reactive power of the load is investigated. The time domain simulation is performed using PSCAD/EMTDC software.


title: Bivariate Extensions of Abramov's Algorithm for Rational Summation

abstract: Abramov's algorithm enables us to decide whether a univariate rational function can be written as a difference of another rational function, which has been a fundamental algorithm for rational summation. In 2014, Chen and Singer generalized Abramov's algorithm to the case of rational functions in two ($q$-)discrete variables. In this paper we solve the remaining three mixed cases, which completes our recent project on bivariate extensions of Abramov's algorithm for rational summation.


title: Decay of phase-imprinted dark soliton in Bose-Einstein condensate at non-zero temperature

abstract: We study relaxation dynamics of dark soliton, created by a phase-imprinted method, in a two-dimensional trapped Bose-Einstein condensate at non-zero temperatures by using the projected Gross-Pitaevskii equation. At absolute zero temperature, a dark soliton is known to decay with a snake instability. At non-zero temperature, as we expected, we find that this snake instability cannot be clearly seen as in the absolute zero temperature case because of the presence of thermal fluctuations. However, we find that the decay rate, the half width of the overlap integral with respect to the phase-imprinted initial state, shows a power low decay as a function of the energy and finally remains a non-zero value.


title: New functional equations of finite multiple polylogarithms

abstract: We give a finite analogue of the well-known formula $\mathrm{Li}_{\underbrace{1, \ldots, 1}_n}(t) = \frac{1}{n!}\mathrm{Li}_1(t)^n$ of multiple polylogarithms for any positive integer n by using the shuffle relation of finite multiple polylogarithms of Ono-Yamamoto type. Unlike the usual case, the terms regarded as error terms appear in this formula. As a corollary, we obtain $"t \leftrightarrow 1 - t"$ type new functional equations of finite multiple polylogarithms of Ono-Yamamoto type and Sakugawa-Seki type.


title: Multiple scattering theory for heterogeneous elastic continua with strong property fluctuation: theoretical fundamentals and applications

abstract: In this work, the author developed a multiple scattering model for heterogeneous elastic continua with strong property fluctuation and obtained the exact solution to the dispersion equation derived from the Dyson equation under the first-order smoothing approximation. The model establishes accurate quantitative relation between the microstructural properties and the coherent wave propagation parameters and can be used for characterization or inversion of microstructures. As applications of the new model, dispersion and attenuation curves for coherent waves in the Earth lithosphere, the porous and two-phase alloys, and human cortical bone are calculated. Detailed analysis shows the model can capture the major dispersion and attenuation characteristics, such as the longitudinal and transverse wave Q-factors and their ratios, existence of two propagation modes, anomalous negative dispersion, nonlinear attenuation-frequency relation, and even the disappearance of coherent waves. Additionally, it helps gain new insights into a series of longstanding problems, such as the dominant mechanism of seismic attenuation and the existence of the Mohorovicic discontinuity. This work provides a general and accurate theoretical framework for quantitative characterization of microstructures in a broad spectrum of heterogeneous materials and it is anticipated to have vital applications in seismology, ultrasonic nondestructive evaluation and biomedical ultrasound.


title: Perceptual Adversarial Networks for Image-to-Image Transformation

abstract: In this paper, we propose a principled Perceptual Adversarial Networks (PAN) for image-to-image transformation tasks. Unlike existing application-specific algorithms, PAN provides a generic framework of learning mapping relationship between paired images (Fig. 1), such as mapping a rainy image to its de-rained counterpart, object edges to its photo, semantic labels to a scenes image, etc. The proposed PAN consists of two feed-forward convolutional neural networks (CNNs), the image transformation network T and the discriminative network D. Through combining the generative adversarial loss and the proposed perceptual adversarial loss, these two networks can be trained alternately to solve image-to-image transformation tasks. Among them, the hidden layers and output of the discriminative network D are upgraded to continually and automatically discover the discrepancy between the transformed image and the corresponding ground-truth. Simultaneously, the image transformation network T is trained to minimize the discrepancy explored by the discriminative network D. Through the adversarial training process, the image transformation network T will continually narrow the gap between transformed images and ground-truth images. Experiments evaluated on several image-to-image transformation tasks (e.g., image de-raining, image inpainting, etc.) show that the proposed PAN outperforms many related state-of-the-art methods.


title: Dense families of modular curves, prime numbers and uniform symmetric tensor rank of multiplication in certain finite fields

abstract: We obtain new uniform bounds for the symmetric tensor rank of multiplication in finite extensions of any finite field Fp or Fp2 where p denotes a prime number greater or equal than 5. In this aim, we use the symmetric Chudnovsky-type generalized algorithm applied on sufficiently dense families of modular curves defined over Fp2 attaining the Drinfeld-Vladuts bound and on the descent of these families to the definition field Fp. These families are obtained thanks to prime number density theorems of type Hoheisel, in particular a result due to Dudek (2016).


title: Critical phenomena of a hybrid phase transition in cluster merging dynamics

abstract: Recently, a hybrid percolation transitions (HPT) that exhibits both a discontinuous transition and critical behavior at the same transition point has been observed in diverse complex systems. In spite of considerable effort to develop the theory of HPT, it is still incomplete, particularly when the transition is induced by cluster merging dynamics. Here, we aim to develop a theoretical framework of the HPT induced by such dynamics. We find that two correlation-length exponents are necessary for characterizing the giant cluster and finite clusters, respectively. Finite-size scaling method for the HPT is also introduced. The conventional formula of the fractal dimension in terms of the critical exponents is not valid. Neither the giant nor finite clusters are fractals but they have fractal boundaries.


title: Causal Structure Learning

abstract: Graphical models can represent a multivariate distribution in a convenient and accessible form as a graph. Causal models can be viewed as a special class of graphical models that not only represent the distribution of the observed system but also the distributions under external interventions. They hence enable predictions under hypothetical interventions, which is important for decision making. The challenging task of learning causal models from data always relies on some underlying assumptions. We discuss several recently proposed structure learning algorithms and their assumptions, and compare their empirical performance under various scenarios.


title: Optimal Control of Partially Observable Piecewise Deterministic Markov Processes

abstract: In this paper we consider a control problem for a Partially Observable Piecewise Deterministic Markov Process of the following type: After the jump of the process the controller receives a noisy signal about the state and the aim is to control the process continuously in time in such a way that the expected discounted cost of the system is minimized. We solve this optimization problem by reducing it to a discrete-time Markov Decision Process. This includes the derivation of a filter for the unobservable state. Imposing sufficient continuity and compactness assumptions we are able to prove the existence of optimal policies and show that the value function satisfies a fixed point equation. A generic application is given to illustrate the results.


title: A note on the affine vertex algebra associated to $\frak{gl}(1 \vert 1)$ at the critical level and its generalizations

abstract: In this note we present an explicit realization of the affine vertex algebra $V^{cri}(\frak{gl}(1 \vert 1)) $ inside of the tensor product $F\otimes M$ where $F$ is a fermionic verex algebra and $M$ is a commutative vertex algebra. This immediately gives an alternative description of the center of $V^{cri}(\frak{gl}(1 \vert 1) ) )$ as a subalgebra $M _ 0$ of $M$. We reconstruct the Molev-Mukhin formula for the Hilbert-Poincare series of the center of $V^ {cri}(\frak{gl}(1 \vert 1) )$. Moreover, we construct a family of irreducible $V^{cri}(\frak{gl}(1 \vert 1))$ -modules realized on $F$ and parameterized by $\chi^+, \chi ^- \in {\Bbb C}((z)). $ We propose a generalization of $V^ {cri}(\frak{gl}(1 \vert 1))$ as a critical level version of the super $\mathcal W_{1+\infty}$ vertex algebra.


title: Study of LG-Holling type III predator-prey model with disease in predator

abstract: In this article, a Leslie-Gower Holling type III predator-prey model with disease in predator has been developed from both biological and mathematical point of view. The total population is divided into three classes, namely, prey, susceptible predator and infected predator. The local stability, global stability together with sufficient conditions for persistence of the ecosystem near biologically feasible equilibria is thoroughly investigated. Boundedness and existence of the system are established. All the important analytical findings are numerically verified using program software MATLAB and Maple.


title: $C^\infty$-convergence of conformal mappings on triangular lattices

abstract: Two triangle meshes are conformally equivalent if for any pair of incident triangles the absolute values of the corresponding cross-ratios of the four vertices agree. Such a pair can be considered as preimage and image of a discrete conformal map. In this article we study discrete conformal maps which are defined on parts of a triangular lattice $T$ with strictly acute angles. That is, $T$ is an infinite triangulation of the plane with congruent strictly acute triangles. A smooth conformal map $f$ can be approximated on a compact subset by such discrete conformal maps $f^\varepsilon$, defined on a part of $\varepsilon T$ for $\varepsilon>0$ small enough, see [U. B\"ucking, Approximation of conformal mappings using conformally equivalent triangular lattices, in "Advances in Discrete Differential Geometry" (A.I. Bobenko ed.), Springer (2016), 133--149]. We improve this result and show that the convergence is in fact in $C^\infty$. Furthermore, we describe how the cross-ratios of the four vertices for pairs of incident triangles are related to the Schwarzian derivative of $f$.


title: LDPC Codes over the q-ary Multi-Bit Channel

abstract: In this paper, we introduce a new channel model we term the q-ary multi-bit channel (QMBC). This channel models a memory device, where q-ary symbols (q=2^s) are stored in the form of current/voltage levels. The symbols are read in a measurement process, which provides a symbol bit in each measurement step, starting from the most significant bit. An error event occurs when not all the symbol bits are known. To deal with such error events, we use GF(q) low-density parity-check (LDPC) codes and analyze their decoding performance. We start with iterative-decoding threshold analysis, and derive optimal edge-label distributions for maximizing the decoding threshold. We later move to finite-length iterative-decoding analysis and propose an edge-labeling algorithm for improved decoding performance. We then provide finite-length maximum-likelihood decoding analysis for both the standard non-binary random ensemble and LDPC ensembles. Finally, we demonstrate by simulations that the proposed edge-labeling algorithm improves finite-length decoding performance by orders of magnitude.


title: Named Entity Disambiguation for Noisy Text

abstract: We address the task of Named Entity Disambiguation (NED) for noisy text. We present WikilinksNED, a large-scale NED dataset of text fragments from the web, which is significantly noisier and more challenging than existing news-based datasets. To capture the limited and noisy local context surrounding each mention, we design a neural model and train it with a novel method for sampling informative negative examples. We also describe a new way of initializing word and entity embeddings that significantly improves performance. Our model significantly outperforms existing state-of-the-art methods on WikilinksNED while achieving comparable performance on a smaller newswire dataset.


title: Bose-Hubbard lattice as a controllable environment for open quantum systems

abstract: We investigate the open dynamics of an atomic impurity embedded in a one-dimensional Bose-Hubbard lattice. We derive the reduced evolution equation for the impurity and show that the Bose-Hubbard lattice behaves as a tunable engineered environment allowing to simulate both Markovian and non-Markovian dynamics in a controlled and experimentally realisable way. We demonstrate that the presence or absence of memory effects is a signature of the nature of the excitations induced by the impurity, being delocalized or localized in the two limiting cases of superfluid and Mott insulator, respectively. Furthermore, our findings show how the excitations supported in the two phases can be characterized as information carriers.


title: A measurement of the Hubble constant using galaxy redshift surveys

abstract: We perform a measurement of the Hubble constant, $H_0$, using the latest baryonic acoustic oscillations (BAO) measurements from galaxy surveys of 6dFGS, SDSS DR7 Main Galaxy Sample, BOSS DR12 sample, and eBOSS DR14 quasar sample, in the framework of a flat $\Lambda$CDM model. Based on the Kullback-Leibler (KL) divergence, we examine the consistency of $H_0$ values derived from various data sets. We find that our measurement is consistent with that derived from Planck and with the local measurement of $H_0$ using the Cepheids and type Ia supernovae. We perform forecasts on $H_0$ from future BAO measurements, and find that the uncertainty of $H_0$ determined by future BAO data alone, including complete eBOSS, DESI and Euclid-like, is comparable with that from local measurements.


title: Conduction Channels of an InAs-Al nanowire Josephson weak link

abstract: We present a quantitative characterization of an electrically tunable Josephson junction defined in an InAs nanowire proximitized by an epitax-ially-grown superconducting Al shell. The gate-dependence of the number of conduction channels and of the set of transmission coefficients are extracted from the highly nonlinear current-voltage characteristics. Although the transmissions evolve non-monotonically, the number of independent channels can be tuned, and configurations with a single quasi-ballistic channel achieved.


title: Lyapunov stability analysis of a string equation coupled with an ordinary differential system

abstract: This paper considers the stability problem of a linear time invariant system in feedback with a string equation. A new Lyapunov functional candidate is proposed based on the use of augmented states which enriches and encompasses the classical Lyapunov functional proposed in the literature. It results in tractable stability conditions expressed in terms of linear matrix inequalities. This methodology follows from the application of the Bessel inequality together with Legendre polynomials. Numerical examples illustrate the potential of our approach through three scenari: a stable ODE perturbed by the PDE, an unstable open-loop ODE stabilized by the PDE and an unstable closed-loop ODE stabilized by the PDE.


title: Generative Bridging Network in Neural Sequence Prediction

abstract: In order to alleviate data sparsity and overfitting problems in maximum likelihood estimation (MLE) for sequence prediction tasks, we propose the Generative Bridging Network (GBN), in which a novel bridge module is introduced to assist the training of the sequence prediction model (the generator network). Unlike MLE directly maximizing the conditional likelihood, the bridge extends the point-wise ground truth to a bridge distribution conditioned on it, and the generator is optimized to minimize their KL-divergence. Three different GBNs, namely uniform GBN, language-model GBN and coaching GBN, are proposed to penalize confidence, enhance language smoothness and relieve learning burden. Experiments conducted on two recognized sequence prediction tasks (machine translation and abstractive text summarization) show that our proposed GBNs can yield significant improvements over strong baselines. Furthermore, by analyzing samples drawn from different bridges, expected influences on the generator are verified.


title: Drawbacks and alternatives to the numerical calculation of the base inertial parameters expressions for low mobility mechanisms

abstract: Base inertial parameters constitute a minimal inertial parametrization of mechanical systems that is of interest, for example, in parameter estimation and model reduction. Numerical and symbolic methods are available to determine their expressions. In this paper the problems associated with the numerical determination of the base inertial parameters expressions in the context of low mobility mechanisms are analyzed and discussed through and example. To circumvent these problems two alternatives are proposed: a variable precision arithmetic implementation of the customary numerical algorithm and the application of a general symbolic method. Finally, the advantages of both approaches compared to the numerical one are discussed in the context of the proposed low mobility example.


title: Universal minimal flow of the homeomorphism group of the Lelek fan

abstract: We compute the universal minimal flow of the homeomorphism group of the Lelek fan -- a one-dimensional tree-like continuum with many symmetries.


title: Cyclic orders defined by ordered jordan algebras

abstract: We define a general notion of partially ordered Jordan algebra (over a partially ordered ring), and we show that the Jordan geometry associated to such a Jordan algebra admits a natural invariant partial cyclic order, whose intervals are modelled on the symmetric cone of the Jordan algebra. We define and describe, by affine images of intervals, the interval topology on the Jordan geometry, and we outline a reserch program aiming at generalizing main features of the theory of classical symmetric cones and bounded symmetric domains.


title: Non-convex Finite-Sum Optimization Via SCSG Methods

abstract: We develop a class of algorithms, as variants of the stochastically controlled stochastic gradient (SCSG) methods (Lei and Jordan, 2016), for the smooth non-convex finite-sum optimization problem. Assuming the smoothness of each component, the complexity of SCSG to reach a stationary point with $\mathbb{E} \|\nabla f(x)\|^{2}\le \epsilon$ is $O\left (\min\{\epsilon^{-5/3}, \epsilon^{-1}n^{2/3}\}\right)$, which strictly outperforms the stochastic gradient descent. Moreover, SCSG is never worse than the state-of-the-art methods based on variance reduction and it significantly outperforms them when the target accuracy is low. A similar acceleration is also achieved when the functions satisfy the Polyak-Lojasiewicz condition. Empirical experiments demonstrate that SCSG outperforms stochastic gradient methods on training multi-layers neural networks in terms of both training and validation loss.


title: Topological complexity of the work map

abstract: We introduce the topological complexity of the work map associated to a robot system. In broad terms, this measures the complexity of any algorithm controlling, not just the motion of the configuration space of the given system, but the task for which the system has been designed. From a purely topological point of view, this is a homotopy invariant of a map which generalizes the classical topological complexity of a space.


title: Smooth Riemannian Structures on Dessins d'Enfants

abstract: We show how to define a canonical Riemannian metric on a "dessin d'enfants' drawn on a topological surface. This gives a possible explanation of a claim of A. Grothendieck.


title: Invariant submanifolds of (LCS)n-Manifolds with respect to quarter symmetric metric connection

abstract: The object of the present paper is to study invariant submanifolds of (LCS)n-manifolds with respect to quarter symmetric metric connection. It is shown that the mean curvature of an invariant submanifold of (LCS)n-manifold with respect to quarter symmetric metric connection and Levi-Civita connection are equal. An example is constructed to illustrate the results of the paper. We also obtain some equivalent conditions of such notion.


title: Bound on the exponential growth rate of out-of-time-ordered correlators

abstract: It has been conjectured by Maldacena, Shenker, and Stanford [J. High Energy Phys.~08 (2016) 106] that the exponential growth rate of the out-of-time-ordered correlator (OTOC) $F(t)$ has a universal upper bound $2\pi k_B T/\hbar$. Here we introduce a one-parameter family of out-of-time-ordered correlators $F_\gamma(t)$ ($0\leq\gamma\leq 1$), which has as good properties as $F(t)$ as a regularization of the out-of-time-ordered part of the squared commutator $\langle [A(t), B(0)]^2\rangle$ that diagnoses quantum many-body chaos, and coincides with $F(t)$ at $\gamma=1/2$. We rigorously prove that if $F_\gamma(t)$ shows a transient exponential growth for all $\gamma$ in $0\leq\gamma\leq 1$, that is, if the OTOC shows an exponential growth regardless of the choice of the regularization, then the growth rate $\lambda$ does not depend on the regularization parameter $\gamma$, and satisfies the inequality $\lambda\leq 2\pi k_B T/\hbar$.


title: Multiple-Relaxation-Time Lattice Boltzmann scheme for Fractional Advection-Diffusion Equation

abstract: Partial differential equations (p.d.e) equipped of spatial derivatives of fractional order capture anomalous transport behaviors observed in diverse fields of Science. A number of numerical methods approximate their solutions in dimension one. Focusing our effort on such p.d.e. in higher dimension with Dirichlet boundary conditions, we present an approximation based on Lattice Boltzmann Method with Bhatnagar-Gross-Krook (BGK) or Multiple-Relaxation-Time (MRT) collision operators. First, an equilibrium distribution function is defined for simulating space-fractional diffusion equations in dimensions 2 and 3. Then, we check the accuracy of the solutions by comparing with i) random walks derived from stable L\'evy motion, and ii) exact solutions. Because of its additional freedom degrees, the MRT collision operator provides accurate approximations to space-fractional advection-diffusion equations, even in the cases which the BGK fails to represent because of anisotropic diffusion tensor or of flow rate destabilizing the BGK LBM scheme.


title: Pseudo parallel contact CR-Submanifolds of Kenmotsu manifolds

abstract: The present paper deals with the study of pseudo parallel (in the sense of Chaki and in the sense of Deszcz) contact CR-submanifolds with respect to Levi-Civita connection as well as semisymmetric metric connection of Kenmotsu manifolds and prove that these corresponding two classes are equivalent with a certain condition.


title: Probabilistic and Piecewise Deterministic models in Biology

abstract: We present recent results on Piecewise Deterministic Markov Processes (PDMPs), involved in biological modeling. PDMPs, first introduced in the probabilistic literature by Davis (1984), are a very general class of Markov processes and are being increasingly popular in biological applications. They also give new interesting challenges from the theoretical point of view. We give here different examples on the long time behavior of switching Markov models applied to population dynamics, on uniform sampling in general branching models applied to structured population dynamic, on time scale separation in integrate-and-fire models used in neuroscience, and, finally, on moment calculus in stochastic models of gene expression.


title: Separation axioms as lifting properties

abstract: We observe that many of the separation axioms of topology (including $T_0-T_4$) can be expressed concisely and uniformly in terms of category theory as lifting properties (in the sense of Quillen model categories) with respect to (usually open) continuous maps of finite spaces (involving up to 4 points) and the real line.


title: Breaking Fitness Records without Moving: Reverse Engineering and Spoofing Fitbit

abstract: Tens of millions of wearable fitness trackers are shipped yearly to consumers who routinely collect information about their exercising patterns. Smartphones push this health-related data to vendors' cloud platforms, enabling users to analyze summary statistics on-line and adjust their habits. Third-parties including health insurance providers now offer discounts and financial rewards in exchange for such private information and evidence of healthy lifestyles. Given the associated monetary value, the authenticity and correctness of the activity data collected becomes imperative. In this paper, we provide an in-depth security analysis of the operation of fitness trackers commercialized by Fitbit, the wearables market leader. We reveal an intricate security through obscurity approach implemented by the user activity synchronization protocol running on the devices we analyze. Although non-trivial to interpret, we reverse engineer the message semantics, demonstrate how falsified user activity reports can be injected, and argue that based on our discoveries, such attacks can be performed at scale to obtain financial gains. We further document a hardware attack vector that enables circumvention of the end-to-end protocol encryption present in the latest Fitbit firmware, leading to the spoofing of valid encrypted fitness data. Finally, we give guidelines for avoiding similar vulnerabilities in future system designs.


title: Radial pulsations of red giant branch stars

abstract: We performed hydrodynamic computations of nonlinear stellar pulsations of population I stars at the evolutionary stages of the ascending red giant branch and the following luminosity drop due to the core helium flash. Red giants populating this region of the Hertzsprung--Russel diagram were found to be the fundamental mode pulsators. The pulsation period is the largest at the tip of the red giant branch and for stars with initial masses from 1.1M_\odot to 1.9M_\odot ranges from 254 day to 33 day, respectively. The rate of period change during the core helium flash is comparable with rates of secular period change in Mira type variables during the thermal pulse in the helium shell source. The period change rate is largest (\dot\Pi/\Pi\approx -0.01 yr^{-1}) in stars with initial mass Mzams=1.1M_\odot and decreases to \dot\Pi/\Pi\sim -0.001\ yr^{-1} for stars of the evolutionary sequence Mzams=1.9M_\odot. Theoretical light curves of red giants pulsating with periods Pi > 200 day show the presence of the secondary maximum similar to that observed in many Miras.


title: Central Limit Theorems for group actions which are exponentially mixing of all orders

abstract: In this paper we establish a general dynamical Central Limit Theorem (CLT) for group actions which are exponentially mixing of all orders. In particular, the main result applies to Cartan flows on finite-volume quotients of simple Lie groups. Our proof uses a novel relativization of the classical method of cumulants, which should be of independent interest. As a sample application of our techniques, we show that the CLT holds along lacunary samples of the horocycle flow on finite-area hyperbolic surfaces applied to any smooth compactly supported function.


title: Comparison moduli spaces of Riemann surfaces

abstract: We define a kind of moduli space of nested surfaces and mappings, which we call a comparison moduli space. We review examples of such spaces in geometric function theory and modern Teichmueller theory, and illustrate how a wide range of phenomena in complex analysis are captured by this notion of moduli space. The paper includes a list of open problems in classical and modern function theory and Teichmueller theory ranging from general theoretical questions to specific technical problems.


title: Automating Sized Type Inference for Complexity Analysis (Technical Report)

abstract: This paper introduces a new methodology for the complexity analysis of higher-order functional programs, which is based on three ingredients: a powerful type system for size analysis and a sound type inference procedure for it, a ticking monadic transformation, and constraint solving. Noticeably, the presented methodology can be fully automated, and is able to analyse a series of examples which cannot be handled by most competitor methodologies. This is possible due to the choice of adopting an abstract index language and index polymorphism at higher ranks. A prototype implementation is available.


title: Transient dynamics in cavity electromagnetically induced transparency with ion Coulomb crystals

abstract: We experimentally investigate the transient dynamics of an optical cavity field interacting with large ion Coulomb crystals in a situation of electromagnetically induced transparency (EIT). EIT is achieved by injecting a probe field at the single photon level and a more intense control field with opposite circular polarization into the same mode of an optical cavity to couple Zeeman substates of a metastable level in 40Ca+ ions. The EIT interaction dynamics are investigated both in the frequency-domain - by measuring the probe field steady state reflectivity spectrum - and in the time-domain - by measuring the progressive buildup of transparency. The experimental results are observed to be in excellent agreement with theoretical predictions taking into account the inhomogeneity of the control field in the interaction volume, and confirm the high degree of control on light-matter interaction that can be achieved with ion Coulomb crystals in optical cavities.


title: Stationary viscoelastic wave fields generated by scalar wave functions

abstract: The usual Helmholtz decomposition gives a decomposition of any vector valued function into a sum of gradient of a scalar function and rotation of a vector valued function under some mild condition. In this paper we show that the vector valued function of the second term i.e. the divergence free part of this decomposition can be further decomposed into a sum of a vector valued function polarized in one component and the rotation of a vector valued function also polarized in the same component. Hence the divergence free part only depends on two scalar functions. Further we show the so called completeness of representation associated to this decomposition for the stationary wave field of a homogeneous, isotropic viscoelastic medium. That is by applying this decomposition to this wave field, we can show that each of these three scalar functions satisfies a Helmholtz equation. Our completeness of representation is useful for solving boundary value problem in a cylindrical domain for several partial differential equations of systems in mathematical physics such as stationary isotropic homogeneous elastic/viscoelastic equations of system and stationary isotropic homogeneous Maxwell equations of system. As an example, by using this completeness of representation, we give the solution formula for torsional deformation of a pendulum of cylindrical shaped homogeneous isotropic viscoelastic medium.