title: A note on local integrability of differential systems

abstract: For an $n$--dimensional local analytic differential system $\dot x=Ax+f(x)$ with $f(x)=O(|x|^2)$, the Poincar\'e nonintegrability theorem states that if the eigenvalues of $A$ are not resonant, the system does not have an analytic or a formal first integral in a neighborhood of the origin. This result was extended in 2003 to the case when $A$ admits one zero eigenvalue and the other are non--resonant: for $n=2$ the system has an analytic first integral at the origin if and only if the origin is a non--isolated singular point; for $n>2$ the system has a formal first integral at the origin if and only if the origin is not an isolated singular point. However, the question of \emph{whether the system has an analytic first integral at the origin provided that the origin is not an isolated singular point} remains open.


title: Artificial-noise-aided Secure Multicast Precoding for Directional Modulation Systems

abstract: In multi-cast scenario, all desired users are divided into $K$ groups. Each group receives its own individual confidential message stream. Eavesdropper group aims to intercept $K$ confidential-message streams. To achieve a secure transmission, two secure schemes are proposed: maximum group receive power plus null-space (NS) projection (Max-GRP plus NSP) and leakage. The former obtains its precoding vector per group by maximizing its own group receive power subject to the orthogonal constraint, and its AN projection matrix consist of all bases of NS of all desired steering vectors from all groups. The latter attains its desired precoding vector per group by driving the current confidential message power to its group steering space and reducing its power leakage to eavesdropper group and other $K-1$ desired ones by maximizing signal to leakage and noise ratio (Max-SLNR). And its AN projection matrix is designed by forcing AN power into the eavesdropper steering space by viewing AN as a useful signal for eavesdropper group and maximizing AN to leakage-and-noise ratio (Max-ANLNR). Simulation results show that the proposed two methods are better than conventional method in terms of both bit-error-rate (BER) and secrecy sum-rate per group. Also, the leakage scheme performs better than Max-GRP-NSP , especially in the presence of direction measurement errors. However, the latter requires no channel statistical parameters and thus is simpler compared to the former.


title: Finite temperature magnon spectra in yttrium iron garnet from mean field approach in tight-binding model

abstract: We study magnon spectra at finite temperature in yttrium iron garnet from tight-binding model with nearest neighboring exchange interaction. The spin reduction due to thermal magnon excitation are taken into account via the mean field approximation to the local spin and found to be different at two sets of iron atoms. The resulting temperature dependence of the spin wave gap shows good agreement with experiment. We find only two magnon modes are relevant to ferromagnetic resonance.


title: Confinement induced control of similarity solutions in premelting dynamics and other thin film problems

abstract: We study the combined effects of nonlocal elasticity and confinement induced ordering on the dynamics of thermomolecular pressure gradient driven premelted films bound by an elastic membrane. The confinement induced ordering is modeled using a film thickness dependent viscosity. When there is no confinement induced ordering, we recover the similarity solution for the evolution of the elastic membrane, which exhibits an infinite sequence of oscillations. However, when the confinement induced viscosity is comparable to the bulk viscosity, the numerical solutions of the full system reveal the conditions under which the oscillations and similarity solutions vanish. Implications of our results for general thermomechanical dynamics, frost heave observations and cryogenic cell preservation are discussed. Finally, through its influence on the viscosity, the confinement effect implicitly introduces a new universal length scale into the volume flux. Thus, there are a host of thin film problems, from droplet breakup to wetting/dewetting dynamics, whose properties (similarity solutions, regularization, and compact support) will change under the action of the confinement effect. Therefore, our study suggests revisiting the mathematical structure and experimental implications of a wide range of problems within the framework of the confinement effect.


title: New ideas for tests of Lorentz invariance with atomic systems

abstract: We describe a broadly applicable experimental proposal to search for the violation of local Lorentz invariance (LLI) with atomic systems. The new scheme uses dynamic decoupling and can be implemented in current atomic clocks experiments, both with single ions and arrays of neutral atoms. Moreover, the scheme can be performed on systems with no optical transitions, and therefore it is also applicable to highly charged ions which exhibit particularly high sensitivity to Lorentz invariance violation. We show the results of an experiment measuring the expected signal of this proposal using a two-ion crystal of $^{88}$Sr$^+$ ions. We also carry out a systematic study of the sensitivity of highly charged ions to LLI to identify the best candidates for the LLI tests.


title: Fractional stochastic Burgers-Type Equation in H\"older space -wellposedness and approximations-

abstract: In this work, we use the spectral Galerkin method to prove the existence of a pathwise unique mild solution of a fractional stochastic partial differential equation of Burgers type in a H\"older space. We get the temporal regularity and using a combination of Galerkin and exponential-Euler methods, we obtain a fully discretization scheme of the solution. Moreover, we calculate the rates of convergence for both approximations (Galerkin and fully discretization) with respect to time and to space.


title: Expansions of Iterated Stratonovich Stochastic Integrals Based on Generalized Multiple Fourier Series: Multiplicities 1 to 6 and Beyond

abstract: The article is devoted to the expansions of iterated Stratonovich stochastic integrals on the basis of the method of generalized multiple Fourier series that converge in the sense of norm in Hilbert space $L_2([t, T]^k),$ $k\in\mathbb{N}.$ The rate of mean-square convergence of the mentioned expansions for the case of multiple Fourier-Legendre series and for the case of multiple trigonometric Fourier series is found $(k=1,\ldots,5)$. Recently, expansions of iterated Stratonovich stochastic integrals of multiplicities $k=2,\ldots,5$ (the case of continuous weight functions and an arbitrary complete orthonormal system of functions in $L_2([t, T])$) have been obtained. These results are generalized to the case of multiplicitity $k,$ $k\in\mathbb{N}$ but under one additional assumption (Theorem 51). The considered expansions contain only one operation of the limit transition in contrast to its existing analogues. This property is very important for the mean-square approximation of iterated stochastic integrals. The results of the article can be applied to the numerical integration of Ito stochastic differential equations with multidimensional non-commutative noises.


title: Fast simulation of the CEPC detector with Delphes

abstract: Fast simulation tools are highly appreciated in particle physics phenomenology studies, especially in the exploration of the physics potential of future experimental facilities. The Circular Electron Positron Collider is a proposed Higgs and Z factory that can precisely measure the Higgs boson properties and the electroweak precision observables. A fast-simulation toolkit dedicated to the CEPC detector has been developed using Delphes. The comparison shows that this fast simulation tool is highly consistent with the full simulation, on a set of benchmark distributions. Therefore, we recommend this fast simulation toolkit for CEPC phenomenological investigations.


title: Improving Text Normalization by Optimizing Nearest Neighbor Matching

abstract: Text normalization is an essential task in the processing and analysis of social media that is dominated with informal writing. It aims to map informal words to their intended standard forms. Previously proposed text normalization approaches typically require manual selection of parameters for improved performance. In this paper, we present an automatic optimizationbased nearest neighbor matching approach for text normalization. This approach is motivated by the observation that text normalization is essentially a matching problem and nearest neighbor matching with an adaptive similarity function is the most direct procedure for it. Our similarity function incorporates weighted contributions of contextual, string, and phonetic similarity, and the nearest neighbor matching involves a minimum similarity threshold. These four parameters are tuned efficiently using grid search. We evaluate the performance of our approach on two benchmark datasets. The results demonstrate that parameter tuning on small sized labeled datasets produce state-of-the-art text normalization performances. Thus, this approach allows practically easy construction of evolving domain-specific normalization lexicons


title: Two- and one-dimensional gap solitons in spin-orbit-coupled systems with Zeeman splitting

abstract: We elaborate a mechanism for the formation of stable solitons of the semi-vortex type (with vorticities 0 and 1 in their two components), populating a finite bandgap in the spectrum of the spin-orbit-coupled binary Bose-Einstein condensate with the Zeeman splitting, in the two-dimensional free space, under conditions which make the kinetic-energy terms in the respective coupled Gross-Pitaevskii equations negligible. Unlike a recent work which used long-range dipole-dipole interactions to construct stable gap solitons in a similar setting, we here demonstrate that stable solitons are supported by generic local interactions of both attractive and repulsive signs, provided that the relative strength of the cross/self interaction in the two-component system does not exceed a critical value ~ 0.77. A boundary between stable and unstable fundamental 2D gap solitons is precisely predicted by the Vakhitov-Kolokolov criterion, while all excited states of the 2D solitons, with vorticities (m, 1 + m) in the two components, m = 1, 2, ..., are unstable. The analysis of the one-dimensional (1D) reduction of the system produces an exact analytical solution for the family of gap solitons which populate the entire bandgap, the family being fully stable. Motion of the 1D solitons in the trapping potential is considered too, showing that their effective mass is positive or negative if the cubic nonlinearity is attractive or repulsive, respectively.


title: Tensor Regression Networks with various Low-Rank Tensor Approximations

abstract: Tensor regression networks achieve high compression rate of neural networks while having slight impact on performances. They do so by imposing low tensor rank structure on the weight matrices of fully connected layers. In recent years, tensor regression networks have been investigated from the perspective of their compressive power, however, the regularization effect of enforcing low-rank tensor structure has not been investigated enough. We study tensor regression networks using various low-rank tensor approximations, aiming to compare the compressive and regularization power of different low-rank constraints. We evaluate the compressive and regularization performances of the proposed model with both deep and shallow convolutional neural networks. The outcome of our experiment suggests the superiority of Global Average Pooling Layer over Tensor Regression Layer when applied to deep convolutional neural network with CIFAR-10 dataset. On the contrary, shallow convolutional neural networks with tensor regression layer and dropout achieved lower test error than both Global Average Pooling and fully-connected layer with dropout function when trained with a small number of samples.


title: Inverse curvature flows in Riemannian warped products

abstract: The long-time existence and umbilicity estimates for compact, graphical solutions to expanding curvature flows are deduced in Riemannian warped products of a real interval with a compact fibre. Notably we do not assume the ambient manifold to be rotationally symmetric, nor the radial curvature to converge, nor a lower bound on the ambient sectional curvature. The inverse speeds are given by powers $p\leq 1$ of a curvature function satisfying few common properties.


title: Cosmological Inflation in a Generalized Unimodular Gravity

abstract: We study some aspects of cosmological inflation in the framework of unimodular $f(R)$ gravity. To be more clarified, we consider a generic $f(R)$ of the type $f(R)=R+\alpha R^{n}$. By considering Einstein frame counterpart of the unimodular $f(R)$ gravity, we set the scalaron to be responsible for cosmological inflation in this setup. We confront our model parameters space with observational data and impose some constraints on the value of $n$ in this manner. We show that for the number of e-folds $N=60$, the model is consistent with observation if $1.89<n<1.918$.


title: Performance of the MPD experiment for the anisotropic flow measurement

abstract: The main goal of the future MPD experiment at NICA is to explore the QCD phase diagram in the region of highly compressed and hot baryonic matter in the energy range corresponding to the highest chemical potential. Properties of such dense matter can be studied using azimuthal anisotropy which is categorized by the Fourier coefficients of the azimuthal distribution decomposition. Performance of the detector response based on simulations with realistic reconstruction procedure is presented for centrality determination, reaction plane estimation, directed and elliptic flow coefficients.


title: Soliton Diffusion as a Signature of Hawking Radiation in Bose-Einstein Condensates

abstract: We propose a scheme to detect analog Hawking radiation (HR) in an atomic Bose-Einstein condensate (BEC) through measuring the diffusion of a dark soliton. The HR is generated by changing the transverse trapping potential of the BEC to obtain a background flow, which is subsonic in downstream and supersonic in upstream, satisfying the condition of black hole horizon. When the system is in thermal equilibrium at Hawking temperature, a dark soliton is created in the upstream. Due to the influence of the HR, the motion of the dark soliton is similar to a Brownian particle and hence exhibits an apparent diffusion, which can be measured and be taken as a signal of the HR. Since the dark soliton is much "heavier" than Hawking quanta, its diffusion is much easier detectable than the Hawking quanta themselves.


title: Resonant parametric interference effect in spontaneous bremsstrahlung of an electron in the field of a nucleus and two pulsed laser waves

abstract: Resonant spontaneous bremsstrahlung of an electron scattered by a nucleus in the field of two moderately strong pulsed laser waves is studied theoretically. The process is studied in detail within the interference kinematic region. This region is determined by scattering of particles in the same plane at predetermined angles, at that stimulated absorption and emission of photons of external pulsed waves by an electron occurs in correlated manner. The correspondence between the emission angle and the final-electron energy is established in the kinematic region where the resonant parametric interference effect is manifested. The resonant differential cross section of ENSB process with simultaneous registration of both emission angles of the spontaneous photon and the scattered electron, can exceed by 4-5 orders of magnitude the corresponding cross section in the absence of an external field. It was shown for nonrelativistic electrons that the resonant cross section of ENSB in the field of two pulsed laser waves within the interference region in two order of magnitude may exceed corresponding cross section in the Bunkin-Fedorov kinematic region. The obtained results may be experimentally verified, for example, by scientific facilities at sources of pulsed laser radiation (SLAC, FAIR, XFEL, ELI).


title: A Microphotonic Astrocomb

abstract: One of the essential prerequisites for detection of Earth-like extra-solar planets or direct measurements of the cosmological expansion is the accurate and precise wavelength calibration of astronomical spectrometers. It has already been realized that the large number of exactly known optical frequencies provided by laser frequency combs ('astrocombs') can significantly surpass conventionally used hollow-cathode lamps as calibration light sources. A remaining challenge, however, is generation of frequency combs with lines resolvable by astronomical spectrometers. Here we demonstrate an astrocomb generated via soliton formation in an on-chip microphotonic resonator ('microresonator') with a resolvable line spacing of 23.7 GHz. This comb is providing wavelength calibration on the 10 cm/s radial velocity level on the GIANO-B high-resolution near-infrared spectrometer. As such, microresonator frequency combs have the potential of providing broadband wavelength calibration for the next-generation of astronomical instruments in planet-hunting and cosmological research.


title: Co-Morbidity Exploration on Wearables Activity Data Using Unsupervised Pre-training and Multi-Task Learning

abstract: Physical activity and sleep play a major role in the prevention and management of many chronic conditions. It is not a trivial task to understand their impact on chronic conditions. Currently, data from electronic health records (EHRs), sleep lab studies, and activity/sleep logs are used. The rapid increase in the popularity of wearable health devices provides a significant new data source, making it possible to track the user's lifestyle real-time through web interfaces, both to consumer as well as their healthcare provider, potentially. However, at present there is a gap between lifestyle data (e.g., sleep, physical activity) and clinical outcomes normally captured in EHRs. This is a critical barrier for the use of this new source of signal for healthcare decision making. Applying deep learning to wearables data provides a new opportunity to overcome this barrier. To address the problem of the unavailability of clinical data from a major fraction of subjects and unrepresentative subject populations, we propose a novel unsupervised (task-agnostic) time-series representation learning technique called act2vec. act2vec learns useful features by taking into account the co-occurrence of activity levels along with periodicity of human activity patterns. The learned representations are then exploited to boost the performance of disorder-specific supervised learning models. Furthermore, since many disorders are often related to each other, a phenomenon referred to as co-morbidity, we use a multi-task learning framework for exploiting the shared structure of disorder inducing life-style choices partially captured in the wearables data. Empirical evaluation using actigraphy data from 4,124 subjects shows that our proposed method performs and generalizes substantially better than the conventional time-series symbolic representational methods and task-specific deep learning models.


title: Proceedings of the WSDM Cup 2017: Vandalism Detection and Triple Scoring

abstract: The WSDM Cup 2017 was a data mining challenge held in conjunction with the 10th International Conference on Web Search and Data Mining (WSDM). It addressed key challenges of knowledge bases today: quality assurance and entity search. For quality assurance, we tackle the task of vandalism detection, based on a dataset of more than 82 million user-contributed revisions of the Wikidata knowledge base, all of which annotated with regard to whether or not they are vandalism. For entity search, we tackle the task of triple scoring, using a dataset that comprises relevance scores for triples from type-like relations including occupation and country of citizenship, based on about 10,000 human relevance judgements. For reproducibility sake, participants were asked to submit their software on TIRA, a cloud-based evaluation platform, and they were incentivized to share their approaches open source.


title: On strictly Deza graphs with parameters (n,k,k-1,a)

abstract: A nonempty $k$-regular graph $\Gamma$ on $n$ vertices is called a Deza graph if there exist constants $b$ and $a$ $(b \geq a)$ such that any pair of distinct vertices of $\Gamma$ has precisely either $b$ or $a$ common neighbours. The quantities $n$, $k$, $b$, and $a$ are called the parameters of $\Gamma$ and are written as the quadruple $(n,k,b,a)$. If a Deza graph has diameter 2 and is not strongly regular, then it is called a strictly Deza graph. In the paper we investigate strictly Deza graphs with parameters $ (n, k, b, a) $, where its quantities satisfy the conditions $k = b + 1$ and $\frac{k(k - 1) - a(n - 1)}{b - a} > 1$.


title: Realization of blue spectrum in generalized Galileon super-inflation models

abstract: In the spirit of Galileon inflation and by considering some sorts of non-canonical kinetic terms in the action, we realize a stage of super-inflation leading to a blue-tilted tensor perturbation. We show also that addition of Galileon-like term to the action leads to avoidance of ghost instabilities in this setup.


title: Multi-Target, Multi-Camera Tracking by Hierarchical Clustering: Recent Progress on DukeMTMC Project

abstract: Although many methods perform well in single camera tracking, multi-camera tracking remains a challenging problem with less attention. DukeMTMC is a large-scale, well-annotated multi-camera tracking benchmark which makes great progress in this field. This report is dedicated to briefly introduce our method on DukeMTMC and show that simple hierarchical clustering with well-trained person re-identification features can get good results on this dataset.


title: Consensus-based Sequence Training for Video Captioning

abstract: Captioning models are typically trained using the cross-entropy loss. However, their performance is evaluated on other metrics designed to better correlate with human assessments. Recently, it has been shown that reinforcement learning (RL) can directly optimize these metrics in tasks such as captioning. However, this is computationally costly and requires specifying a baseline reward at each step to make training converge. We propose a fast approach to optimize one's objective of interest through the REINFORCE algorithm. First we show that, by replacing model samples with ground-truth sentences, RL training can be seen as a form of weighted cross-entropy loss, giving a fast, RL-based pre-training algorithm. Second, we propose to use the consensus among ground-truth captions of the same video as the baseline reward. This can be computed very efficiently. We call the complete proposal Consensus-based Sequence Training (CST). Applied to the MSRVTT video captioning benchmark, our proposals train significantly faster than comparable methods and establish a new state-of-the-art on the task, improving the CIDEr score from 47.3 to 54.2.


title: The simple-cubic structure of elemental Polonium and its relation to combined charge and orbital order in other elemental chalcogens

abstract: Polonium is the only element to crystallise into a simple cubic structure at ambient conditions. Moreover, at high temperatures it undergoes a structural phase transition into a less symmetric trigonal configuration. It has long been suspected that the strong spin-orbit coupling in Polonium is involved in both peculiarities, but the precise mechanism by which it operates remains controversial. Here, we introduce a single microscopic model capable of capturing the atomic structure of all chalcogen crystals: Selenium, Tellurium, and Polonium. We show that the strong spin-orbit coupling in Polonium suppresses the trigonal charge and orbital ordered state known to be the ground state configuration of Selenium and Tellurium, and allows the simple cubic state to prevail instead. We also confirm a recent suggestion based on ab initio calculations that a small increase in the lattice constant may effectively decrease the role of spin-orbit coupling, leading to a re-emergence of the trigonal orbital ordered state at high temperatures. We conclude that Polonium is a unique element, in which spins, orbitals, electronic charges, and lattice deformations all cooperate and collectively cause the emergence of the only elemental crystal structure with the simplest possible, cubic, lattice.


title: Algebraic aspects of massive gravity

abstract: We describe the freedom of choosing a square root in massive gravity from algebraic point of view. This contribution is based on the talk given by one of us (AG) at the Geometric Foundations of Gravity conference in Tartu in August 2017.


title: On the canonical structure and extra mode of generalized unimodular gravity

abstract: We consider a recently proposed generalization of unimodular gravity, where the lapse function is constrained to be equal to a function of the determinant of the spatial metric $f(h)$, as a potential origin of a dark fluid with a generally $h$-dependent equation of state parameter. We establish the Hamiltonian analysis and the canonical path integral for the theory. All the special cases that do not match unimodular gravity involve violation of general covariance, and consequently the physical content of the theory is changed significantly. Particularly, the case of a constant function $f$ is shown to contain an extra physical degree of freedom in each point of space. Physical consequences of the extra degree of freedom are studied in a linearized theory, where the extra mode is carried by the trace of the metric perturbation. The trace mode does not propagate as a wave, since it satisfies an elliptic partial differential equation in spacetime. Consequently, the trace perturbation is shown to grow exponentially with time, which implies instability. The case of a general $f(h)$ involves additional second-class constraints, which implies the presence of an extra global degree of freedom that depends only on time (instead of the extra local degree of freedom in the case of a constant $f$).


title: Evidence for precession due to supercritical accretion in ultraluminous X-ray sources

abstract: Most ultraluminous X-ray sources (ULXs) are thought to be supercritical accreting compact objects, where massive outflows are inevitable. Using the long-term monitoring data with the Swift X-ray Telescope, we identified a common feature in bright, hard ULXs: they display a quasi-periodic modulation in their hard X-ray band but not in their soft band. As a result, some sources show a bimodal distribution on the hardness intensity map. We argue that these model-independent results can be well interpreted in a picture that involves supercritical accretion with precession, where the hard X-ray emission from the central funnel is more or less beamed, while the soft X-rays may arise from the photosphere of the massive outflow and be nearly isotropic. It implies that precession may be ubiquitous in supercritical systems, such as the Galactic microquasar SS~433. How the hard X-rays are modulated can be used to constrain the angular distribution of the hard X-ray emission and the geometry of the accretion flow. We also find that two ULX pulsars (NGC 5907 ULX-1 and NGC 7793 P13) show similar behaviors but no bimodal distribution, which may imply that they have a different beaming shape or mechanism.


title: Skew derivations on down-up algebras

abstract: A class of skew derivations on complex Noetherian generalized down-up algebras $L=L(f,r,s,\gamma)$ is constructed.


title: CP symmetry and thermal effects on Dirac bi-spinor spin-parity local correlations

abstract: Intrinsic quantum correlations supported by the $SU(2)\otimes SU(2)$ structure of the Dirac equation used to describe particle/antiparticle states, optical ion traps and bilayer graphene are investigated and connected to the description of local properties of Dirac bi-spinors. For quantum states driven by Dirac-like Hamiltonians, quantum entanglement and geometric discord between spin and parity degrees of freedom - sometimes mapped into equivalent low energy internal degrees of freedom - are obtained. Such \textit{spin-parity} quantum correlations and the corresponding nonlocal intrinsic structures of bi-spinor fermionic states can be classified in order to relate quantum observables to the (non)local behavior of these correlations. It is shown that free particle mixed states do not violate the Clauser-Horne-Shymony-Holt inequality: the correlations in such mixed bi-spinors, although quantum, can be reproduced by a suitable local hidden variable model. Additionally, the effects due to a non-minimal coupling to a homogeneous magnetic field, and to the inclusion of thermal effects are evaluated, and quantum correlations of associated quantum mixtures and of the thermal states are all quantified.The above-mentioned correlation quantifiers are then used to measure the influence of CP transformations on \textit{spin-parity} quantum correlations, and our results show that quantum entanglement is invariant under CP transformations, although the geometric discord is highly sensitive to the CP symmetry.


title: Towards semi-trusses

abstract: A general or truss distributive laws between two associative operations on the same set are studied for cancellative and inverse semigroups.


title: Super Finsler Connection of Superparticle on Two Dimensional Curved Spacetime

abstract: We analyze the Casalbuoni-Brink-Schwarz superparticle model on a 2-dimensional curved spacetime as a super Finsler metric defined on a (2,2)-dimensional supermanifold. We propose a nonlinear Finsler connection which preserves this Finsler metric and calculates it explicitly. The equations of motion of the superparticle are reconstructed in the form of auto-parallel equations expressed by the super nonlinear connection.


title: Uniform in time $L^{\infty}$-estimates for nonlinear aggregation-diffusion equations

abstract: We derive uniform in time $L^\infty$-bound for solutions to an aggregation-diffusion model with attractive-repulsive potentials or fully attractive potentials. We analyze two cases: either the repulsive nonlocal term dominates over the attractive part, or the diffusion term dominates over the fully attractive nonlocal part. When the attractive potential has a weaker singularity ($2-n\leq B<A\leq2$), we use the classical approach by the Sobolev and Young inequalities together with differential iterative inequalities to prove that solutions have the uniform in time $L^{\infty}$-bound. When the repulsive potential has a stronger singularity ($-n<B<2-n\leq A\leq 2$), we show the uniform bounds by utilizing properties of fractional operators.


title: On gauging finite subgroups

abstract: We study in general spacetime dimension the symmetry of the theory obtained by gauging a non-anomalous finite normal Abelian subgroup $A$ of a $\Gamma$-symmetric theory. Depending on how anomalous $\Gamma$ is, we find that the symmetry of the gauged theory can be i) a direct product of $G=\Gamma/A$ and a higher-form symmetry $\hat A$ with a mixed anomaly, where $\hat A$ is the Pontryagin dual of $A$; ii) an extension of the ordinary symmetry group $G$ by the higher-form symmetry $\hat A$; iii) or even more esoteric types of symmetries which are no longer groups. We also discuss the relations to the effect called the $H^3(G,\hat A)$ symmetry localization obstruction in the condensed-matter theory and to some of the constructions in the works of Kapustin-Thorngren and Wang-Wen-Witten.


title: TOP 2017: Theoretical Summary

abstract: I summarize the theory talks presented at the TOP 2017 conference.


title: Single-Cycle Self-Compressed Near Infrared Pulses using High-Spatial Modes in Hollow-Core Fibers

abstract: Soliton self-compression is demonstrated during the propagation of high spatial modes in hollow core fibers in the near-infrared spectral region, taking advantage of their negative dispersion response. We have found that there is always an optimum spatial mode to observe this phenomenon, compressing the pulses down to the single-cycle regime without needing any external compression device and with a consequent increase in the output peak power. Our result is relevant for any ultrashort laser application in which few- or single-cycle pulses are crucial.


title: Self-avoiding and plane-filling properties for terdragons and other triangular folding curves

abstract: We consider $n$-folding triangular curves, or $n$-folding t-curves, obtained by folding $n$ times a strip of paper in $3$, each time possibly left then right or right then left, and unfolding it with $\pi /3$ angles. An example is the well known terdragon curve. They are self-avoiding like $n$-folding curves obtained by folding $n$ times a strip of paper in two, each time possibly left or right, and unfolding it with $\pi /2$ angles. We also consider complete folding t-curves, which are the curves without endpoint obtained as inductive limits of $n$-folding t-curves. We show that each of them can be extended into a unique covering of the plane by disjoint such curves, and this covering satisfies the local isomorphism property introduced to investigate aperiodic tiling systems. Two coverings are locally isomorphic if and only if they are associated to the same sequence of foldings. Each class of locally isomorphic coverings contains exactly $ 2^{\omega }$ (resp. $2^{\omega }$, $2$ or $5$, $0$) isomorphism classes of coverings by $1$ (resp. $2$, $3$, $\geq 4$) curves. These properties are partly similar to those of complete folding curves.


title: Ill-posedness for the 2D viscous shallow water equations in the critical Besov spaces

abstract: In this paper, we prove that the 2D viscous shallow water equations is ill-posed in the critical Besov spaces $\B^{\frac2p-1}_{p,1}(\R^2)$ with $p>4$. Our proof mainly depends on the method introduced by the paper \cite{C-M-Z4}.


title: The pseudovariety of all nilpotent groups is tame

abstract: It has been shown that for every prime number $p$, the pseudovariety $\mathsf{G}_p$ of all finite $p$-groups is tame with respect to an implicit signature containing the canonical implicit signature. In this paper, we generalize this result and we show that the pseudovariety of all finite nilpotent groups is tame but it is not completely tame.


title: First detection of cyanamide (NH$_2$CN) towards solar-type protostars

abstract: Searches for the prebiotically-relevant cyanamide (NH$_2$CN) towards solar-type protostars have not been reported in the literature. We here present the first detection of this species in the warm gas surrounding two solar-type protostars, using data from the Atacama Large Millimeter/Submillimeter Array Protostellar Interferometric Line Survey (PILS) of IRAS 16293-2422 B and observations from the IRAM Plateau de Bure Interferometer of NGC1333 IRAS2A. We furthermore detect the deuterated and $^{13}$C isotopologues of NH$_2$CN towards IRAS 16293-2422 B. This is the first detection of NHDCN in the interstellar medium. Based on a local thermodynamic equilibrium analysis, we find that the deuteration of cyanamide ($\sim$ 1.7%) is similar to that of formamide (NH$_2$CHO), which may suggest that these two molecules share NH$_2$ as a common precursor. The NH$_2$CN/NH$_2$CHO abundance ratio is about 0.2 for IRAS 16293-2422 B and 0.02 for IRAS2A, which is comparable to the range of values found for Sgr B2. We explored the possible formation of NH$_2$CN on grains through the NH$_2$ + CN reaction using the chemical model MAGICKAL. Grain-surface chemistry appears capable of reproducing the gas-phase abundance of NH$_2$CN with the correct choice of physical parameters.


title: Hypermultiplet gaugings and supersymmetric solutions from 11D and massive IIA supergravity on H$^{(p,q)}$ spaces

abstract: Supersymmetric $\,\textrm{AdS}_{4}\,$, $\,\textrm{AdS}_{2} \times \Sigma_{2}\,$ and asymptotically AdS$_{4}$ black hole solutions are studied in the context of non-minimal $\,\mathcal{N}=2\,$ supergravity models involving three vector multiplets (STU-model) and Abelian gaugings of the universal hypermultiplet moduli space. Such models correspond to consistent subsectors of the $\,\textrm{SO}(p,q)\,$ and $\,\textrm{ISO}(p,q)\,$ gauged maximal supergravities that arise from the reduction of 11D and massive IIA supergravity on $\,\textrm{H}^{(p,q)}\,$ spaces down to four dimensions. A unified description of all the models is provided in terms of a square-root prepotential and the gauging of a duality-hidden symmetry pair of the universal hypermultiplet. Some aspects of M-theory and massive IIA holography are mentioned in passing.


title: Active Search for High Recall: a Non-Stationary Extension of Thompson Sampling

abstract: We consider the problem of Active Search, where a maximum of relevant objects - ideally all relevant objects - should be retrieved with the minimum effort or minimum time. Typically, there are two main challenges to face when tackling this problem: first, the class of relevant objects has often low prevalence and, secondly, this class can be multi-faceted or multi-modal: objects could be relevant for completely different reasons. To solve this problem and its associated issues, we propose an approach based on a non-stationary (aka restless) extension of Thompson Sampling, a well-known strategy for Multi-Armed Bandits problems. The collection is first soft-clustered into a finite set of components and a posterior distribution of getting a relevant object inside each cluster is updated after receiving the user feedback about the proposed instances. The "next instance" selection strategy is a mixed, two-level decision process, where both the soft clusters and their instances are considered. This method can be considered as an insurance, where the cost of the insurance is an extra exploration effort in the short run, for achieving a nearly "total" recall with less efforts in the long run.


title: On the K-theory of C*-algebras for substitution tilings (a pedestrian version)

abstract: Under suitable conditions, a substitution tiling gives rise to a Smale space, from which three equivalence relations can be constructed, namely the stable, unstable, and asymptotic equivalence relations. We denote with $S$, $U$, and $A$ their corresponding $C^*$-algebras in the sense of Renault. In this article we show that the $K$-theories of $S$ and $U$ can be computed from the cohomology and homology of a single cochain complex with connecting maps for tilings of the line and of the plane. Moreover, we provide formulas to compute the $K$-theory for these three $C^*$-algebras. Furthermore, we show that the $K$-theory groups for tilings of dimension 1 are always torsion free. For tilings of dimension 2, only $K_0(U)$ and $K_1(S)$ can contain torsion.


title: Big Data and Fog Computing

abstract: Fog computing serves as a computing layer that sits between the edge devices and the cloud in the network topology. They have more compute capacity than the edge but much less so than cloud data centers. They typically have high uptime and always-on Internet connectivity. Applications that make use of the fog can avoid the network performance limitation of cloud computing while being less resource constrained than edge computing. As a result, they offer a useful balance of the current paradigms. This article explores various aspects of fog computing in the context of big data.


title: DeepIEP: a Peptide Sequence Model of Isoelectric Point (IEP/pI) using Recurrent Neural Networks (RNNs)

abstract: The isoelectric point (IEP or pI) is the pH where the net charge on the molecular ensemble of peptides and proteins is zero. This physical-chemical property is dependent on protonable/deprotonable sidechains and their pKa values. Here an pI prediction model is trained from a database of peptide sequences and pIs using a recurrent neural network (RNN) with long short-term memory (LSTM) cells. The trained model obtains an RMSE and R$^2$ of 0.28 and 0.95 for the external test set. The model is not based on pKa values, but prediction of constructed test sequences show similar rankings as already known pKa values. The prediction depends mostly on the existence of known acidic and basic amino acids with fine-adjusted based on the neighboring sequence and position of the charged amino acids in the peptide chain.


title: In quest of axionic hairs in quasars

abstract: The presence of axionic field can provide plausible explanation to several long standing problems in physics such as dark matter and dark energy. The pseudo-scalar axion whose derivative corresponds to the Hodge dual of the Kalb-Ramond field strength in four dimensions plays crucial roles in explaining several astrophysical and cosmological observations. Therefore, the detection of axionic hairs/Kalb-Ramond field which appears as closed string excitations in the heterotic string spectrum may provide a profound insight to our understanding of the current universe. The current level of precision achieved in solar-system based tests employed to test general relativity, is not sufficient to detect the presence of axion. However, the near horizon regime of quasars where the curvature effects are maximum seems to be a natural laboratory to probe such additions to the matter sector. The continuum spectrum emitted from the accretion disk around quasars encapsulates the imprints of the background spacetime and hence acts as a storehouse of information regarding the nature of gravitational interaction in extreme situations. The surfeit of data available in the electromagnetic domain provides a further motivation to explore such systems. Using the optical data for eighty Palomar Green quasars we demonstrate that the theoretical estimates of optical luminosity explain the observations best when the axionic field is assumed to be absent. However, axion which violates the energy condition seems to be favored by observations which has several interesting consequences. Error estimators, including reduced $\chi^{2}$, Nash-Sutcliffe efficiency, index of agreement and modified versions of the last two are used to solidify our conclusion and the implications of our result are discussed.


title: Effect of phonon coupling on the generated entangled states of photons from a single quantum dot embedded inside a microcavity

abstract: We discuss the generation of two types of entangled state of two photons-- noon state which is entangled in number and polarization, and polarization entangled state which is entangled in polarization and frequency. We consider a single quantum dot coupled with a bimodal cavity in strong coupling regime. We analyze the effect of exciton-phonon coupling on the concurrence of the generated entangled states. We find that for both states concurrence is maximum in the absence of the anisotropic energy gap between exciton states and remains unchanged in the presence of exciton-phonon coupling. However, for finite anisotropic energy gap concurrence decreases on the increasing temperature of phonon bath.


title: Diverse regimes of mode intensity correlation in nanofiber random lasers through nanoparticle doping

abstract: Random lasers are based on disordered materials with optical gain. These devices can exhibit either intensity or resonant feedback, relying on diffusive or interference behaviour of light, respectively, which leads to either coupling or independent operation of lasing modes. We study for the first time these regimes in complex, solid-state nanostructured materials. The number of lasing modes and their intensity correlation features are found to be tailorable in random lasers made of light-emitting, electrospun polymer fibers upon nanoparticle doping. By material engineering, directional waveguiding along the length of fibers is found to be relevant to enhance mode correlation in both intensity feedback and resonant feedback random lasing. The here reported findings can be used to establish new design rules for tuning the emission of nano-lasers and correlation properties by means of the compositional and morphological properties of complex nanostructured materials.


title: Cache-Aided Non-Orthogonal Multiple Access

abstract: In this paper, we propose a novel joint caching and non-orthogonal multiple access (NOMA) scheme to facilitate advanced downlink transmission for next generation cellular networks. In addition to reaping the conventional advantages of caching and NOMA transmission, the proposed cache-aided NOMA scheme also exploits cached data for interference cancellation which is not possible with separate caching and NOMA transmission designs. Furthermore, as caching can help to reduce the residual interference power, several decoding orders are feasible at the receivers, and these decoding orders can be flexibly selected for performance optimization. We characterize the achievable rate region of cache-aided NOMA and investigate its benefits for minimizing the time required to complete video file delivery. Our simulation results reveal that, compared to several baseline schemes, the proposed cache-aided NOMA scheme significantly expands the achievable rate region for downlink transmission, which translates into substantially reduced file delivery times.


title: Memory-Efficient Deep Salient Object Segmentation Networks on Gridized Superpixels

abstract: Computer vision algorithms with pixel-wise labeling tasks, such as semantic segmentation and salient object detection, have gone through a significant accuracy increase with the incorporation of deep learning. Deep segmentation methods slightly modify and fine-tune pre-trained networks that have hundreds of millions of parameters. In this work, we question the need to have such memory demanding networks for the specific task of salient object segmentation. To this end, we propose a way to learn a memory-efficient network from scratch by training it only on salient object detection datasets. Our method encodes images to gridized superpixels that preserve both the object boundaries and the connectivity rules of regular pixels. This representation allows us to use convolutional neural networks that operate on regular grids. By using these encoded images, we train a memory-efficient network using only 0.048\% of the number of parameters that other deep salient object detection networks have. Our method shows comparable accuracy with the state-of-the-art deep salient object detection methods and provides a faster and a much more memory-efficient alternative to them. Due to its easy deployment, such a network is preferable for applications in memory limited devices such as mobile phones and IoT devices.


title: Sizing the star cluster population of the Large Magellanic Cloud

abstract: The number of star clusters that populate the Large Magellanic Cloud (LMC) at deprojected distances < 4 deg has been recently found to be nearly double the known size of the system. Because of the unprecedented consequences of this outcome in our knowledge of the LMC cluster formation and dissolution histories, we closely revisited such a compilation of objects and found that only ~ 35 per cent of the previously known catalogued clusters has been included. The remaining entries are likely related to stellar overdensities of the LMC composite star field, because there is a remarkable enhancement of objects with assigned ages older than log(t yr-1) ~ 9.4, which contrasts with the existence of the LMC cluster age gap; the assumption of a cluster formation rate similar to that of the LMC star field does not help to conciliate so large amount of clusters either; and nearly 50 per cent of them come from cluster search procedures known to produce more than 90 per cent of false detections. The lack of further analyses to confirm the physical reality as genuine star clusters of the identified overdensities also glooms those results. We support that the actual size of the LMC main body cluster population is close to that previously known.


title: Geometric structures and Lie algebroids

abstract: In this thesis we study geometric structures from Poisson and generalized complex geometry with mild singular behavior using Lie algebroids. The process of lifting such structures to their Lie algebroid version makes them less singular, as their singular behavior is incorporated in the anchor of the Lie algebroid. We develop a framework for this using the concept of a divisor, which encodes the singularities, and show when structures exhibiting such singularities can be lifted to a Lie algebroid built out of the divisor. Once one has successfully lifted the structure, it becomes possible to study it using more powerful techniques. In the case of Poisson structures one can turn to employing symplectic techniques. These lead for example to normal form results for the underlying Poisson structures around their singular loci. In this thesis we further adapt the methods of Gompf and Thurston for constructing symplectic structures out of fibration-like maps to their Lie algebroid counterparts. More precisely, we introduce the notion of a Lie algebroid Lefschetz fibration and show when these give rise to A-symplectic structures for a given Lie algebroid A. We then use this general result to show how log-symplectic structures arise out of achiral Lefschetz fibrations. Moreover, we introduce the concept of a boundary Lefschetz fibration and show when they allow their total space to be equipped with a stable generalized complex structure. Other results in this thesis include homotopical obstructions to the existence of A-symplectic structures using characteristic classes, and splitting results for A-Lie algebroids (i.e., Lie algebroids whose anchor factors through that of a fixed Lie algebroid A), around specific transversal submanifolds.


title: Theory of interaction-dependent instability in quantum detection by means of Luttinger liquid tunnel junction: a rigorous theorem

abstract: The low-temperature regime of charge-qubit decoherence due to its Coulomb interaction with electrons tunneling through Luttinger liquid quantum-point contact (QPC) is investigated. The study is focused on quantum detector properties of Luttinger liquid QPC. It is shown, that in low-temperature limit the respective perturbative decoherence- and acquisition of information timescales both tend to diverge, thus, shadowing a true picture of low-temperature quantum detection for such quantum systems. Here I prove two general mathematical statements (S-theorem and S-lemma) about exact re-exponentiation of Keldysh-contour ordered T-exponent for arbitrary Luttinger liquid tunnel Hamiltonian. As the result, decoherence- and acquisition of information time-scales as well as QPC quantum detector efficiency rate are calculated exactly and are shown to have a dramatic dependence on repulsive interaction between electrons in 1D leads of QPC. Discovered abrupt decrease of QPC quantum detector efficiency $ Q $ with the increase of $ g $ in the close vicinity of value $ g_{cr}(T) $ represents a fingerprint of interaction-dependent instability of all the quantum detection procedure for any Luttinger liquid QPC quantum detector at definite low enough temperatures $ T_{cr}(g) $. The reasons behind these effects are discussed. Also, it is shown that such the low-temperature detection instability effect is able to explain a large unclear mismatch between expected and observed decoherence timescales in two well-known experiments (J.Gorman, D.G.Hasko, D.A.Williams, Phys.Rev.Lett., 95, 090502 (2005); K.D.Petersson, J.R.Petta, H.Lu, A.C.Gossard, Phys.Rev.Lett., 105, 246804 (2010);) on charge-qubit quantum dynamics.

categories: cond-mat.str-el cond-mat.mes-hall math-ph math.MP quant-ph


title: Spatial point processes intensity estimation with a diverging number of covariates

abstract: Feature selection procedures for spatial point processes parametric intensity estimation have been recently developed since more and more applications involve a large number of covariates. In this paper, we investigate the setting where the number of covariates diverges as the domain of observation increases. In particular, we consider estimating equations based on Campbell theorems derived from Poisson and logistic regression likelihoods regularized by a general penalty function. We prove that, under some conditions, the consistency, the sparsity, and the asymptotic normality are valid for such a setting. We support the theoretical results by numerical ones obtained from simulation experiments and an application to forestry datasets.


title: Normalisers of parabolic subgroups in finite unitary reflection groups

abstract: It is well known that the normaliser of a parabolic subgroup of a finite Coxeter group is the semidirect product of the parabolic subgroup by the stabiliser of a set of simple roots. We show that a similar result holds for all finite unitary reflection groups: namely, the normaliser of a parabolic subgroup is a semidirect product and in many, but not all, cases the complement can be obtained as the stabiliser of a set of roots. In addition we record when the complement acts as a reflection group on the space of fixed points of the parabolic subgroup.


title: On $q$-deformations of the Heun equation

abstract: The $q$-Heun equation and its variants arise as degenerations of Ruijsenaars-van Diejen operators with one particle. We investigate local properties of these equations. In particular we characterize the variants of the $q$-Heun equation by using analysis of regular singularities. We also consider the quasi-exact solvability of the $q$-Heun equation and its variants. Namely we investigate finite-dimensional subspaces which are invariant under the action of the $q$-Heun operator or variants of the $q$-Heun operator.


title: Engineering topological edge states in two dimensional magnetic photonic crystal

abstract: Based on a perturbative approach, we propose a simple and efficient method to engineer topological edge states in two dimensional magnetic photonic crystals. The topological edge states in the microstructures can be constructed and varied by altering the parameters of the microstructure according to the fieldenergy distributions of the Bloch states at the related Bloch wave vectors. The validity of the proposed method has been demonstrated by exact numerical calculations through three concrete examples. Our method makes the topological edge states 'designable'.


title: Mixture model fitting using conditional models and modal Gibbs sampling

abstract: In this paper, we present a novel approach to fitting mixture models based on estimating first the posterior distribution of the auxiliary variables that assign each observation to a group in the mixture. The posterior distributions of the remainder of the parameters in the mixture is obtained by averaging over their conditional posterior marginals on the auxiliary variables using Bayesian model averaging. A new algorithm based on Gibbs sampling is used to approximate the posterior distribution of the auxiliary variables without sampling any other parameter in the model. In particular, the modes of the full conditionals of the parameters of the densities in the mixture are computed and these are plugged-in to the full conditional of the auxiliary variables to draw samples. This approximation, that we have called 'modal' Gibbs sampling, reduces the computational burden in the Gibbs sampling algorithm and still provides very good estimates of the posterior distribution of the auxiliary variables. Conditional models on the auxiliary variables are fitted using the Integrated Nested Laplace Approximation (INLA) to obtain the conditional posterior distributions, including modes, of the distributional parameters in the mixtures. This approach is general enough to consider mixture models with discrete or continuous outcomes from a wide range of distributions and latent models as conditional model fitting is done with INLA. This presents several other advantages, such as fast fitting of the conditional models, not being restricted to the use of conjugate priors on the model parameters and being less prone to label switching. Within this framework, computing the marginal likelihood of the mixture model when the number of groups in the mixture is known is easy and it can be used to tackle selection of the number of components.


title: Searches for 3.5 keV Absorption Features in Cluster AGN Spectra

abstract: We investigate possible evidence for a spectral dip around 3.5 keV in central cluster AGNs, motivated by previous results for archival Chandra observations of the Perseus cluster and the general interest in novel spectral features around 3.5 keV that may arise from dark matter physics. We use two deep Chandra observations of the Perseus and Virgo clusters that have recently been made public. In both cases, mild improvements in the fit ($\Delta \chi^2 = 4.2$ and $\Delta \chi^2 = 2.5$) are found by including such a dip at 3.5 keV into the spectrum. A comparable result ($\Delta \chi^2 = 6.5$) is found re-analysing archival on-axis Chandra ACIS-S observations of the centre of the Perseus cluster.


title: Ultrafast coherent energy transfer with high efficiency based on plasmonic nanostructures

abstract: The theory of energy transfer dynamics of a pair of donor and acceptor molecules located in the plasmonic hot spots is developed by means of the master equation approach and the electromagnetic Green's tensor technique. A nonlocal effect has been considered by using a hydrodynamic model. The coherent interaction between the two molecules in plasmonic nanostructures is investigated under some strong coupling conditions. It is shown that the energy transfer efficiency of a pair of molecules can be improved largely and the transfer time decreases to dozens of femtoseconds when the contribution of quantum coherence is considered. The physical origin for such a phenomenon has also been analyzed. This ultrafast and high-efficiency energy transfer mechanism could be beneficial for artificial light-harvesting devices.


title: Two Datasets of Questions and Answers for Studying the Development of Cross-platform Mobile Applications using Xamarin Framework

abstract: A cross-platform mobile application is an application that runs on multiple mobile platforms (Android, iOS). Several frameworks, have been proposed to simplify the development of cross-platform mobile applications and, therefore, to reduce development and maintenance costs. Between them, the cross-compiler mobile development frameworks, such as Xamarin from Microsoft, transform the application's code written in intermediate (aka non native) language to native code for each desired platform. However, to our best knowledge, there is no much research about the advantages and disadvantages of the use of those frameworks during the development and maintenance phases of mobile applications. The objective of this paper is twofold. Firstly, to present two datasets of questions and answers (Q&A) related to the development of mobile applications using Xamarin. Secondly, to show their usefulness, we present a replication study for discovering the main discussion topics of Xamarin development. We created the two datasets by mining two Q&A sites: Xamarin Forum and Stack Overflow. Then, for discovering the main topics of the questions from both datasets, we replicated a study that applies Latent Dirichlet Allocation (LDA). Finally, we compared the discovered topics with those topics about general mobile development reported by a previous study. Our datasets have 85,908 questions mined from the Xamarin Forum and 44,434 from Stack Overflow. Between the main topics discovered from those questions, we found that some of them are exclusively related to Xamarin and Microsoft technologies such as the design pattern "MVVM". Both datasets with Xamarin-related Q&A can be used by the research community for understanding the main concerns about developing cross-platform mobile applications using Xamarin. In this paper, we used it for replicating a studying about topic discovering.


title: Accretion onto young stars: the key to disk evolution

abstract: The early stages of the pre-Main-Sequence (PMS) evolution of young stars are characterized by a substantial interaction between the central star and the surrounding disk. Among the processes that take place, the accretion of material from the disk onto the star is a crucial one, as it traces the disk evolution and, in turn, affects how planets are formed and evolve in disks. Even if accretion has been studied for many years, it is still the focus of a large body of work, as we do not fully understand how it happens.


title: Multifrequency multi-qubit entanglement based on plasmonic hot spots

abstract: The theoretical method to study strong coupling between an ensemble of quantum emitters (QEs) and surface plasmons excited by the nanoparticle cluster has been presented by using a rigorous first-principles electromagnetic Green's tensor technique. We have demonstrated that multi-qubit entanglement for two-level QEs can be produced at different frequencies simultaneously, when they locate in hot spots of metallic nanoparticle clusters. The duration of quantum beats for such an entanglement can reach two orders longer than that for the entanglement in a photonic cavity. The phenomenon originates from collective coupling resonance excitation of the cluster. At the frequency of single scattering resonance, the entanglement cannot be produced although the single QE spontaneous decay rate is very big


title: Entanglement dynamics of two coupled mechanical oscillators in modulated optomechanics

abstract: We study the entanglement dynamics of two coupled mechanical oscillators, within a modulated optomechanical system. We find that, depending on the strength of the mechanical coupling, one could observe either a stationary or a dynamical behavior of the mechanical entanglement, which is extremely robust against the oscillator temperature. Moreover, we have shown that this entanglement dynamics is strongly related to the stability of the normal modes. Taking mechanical damping effects into account, an analytical expression corresponding to the critical mechanical coupling strength, where the transition from stationary to dynamical entanglement occurs is also reported. The proposed scheme is analysed with experimentally realistic parameters, making it a promising mean to realize macroscopic quantum entanglement within current state-of-the-art experimental setups.


title: Simultaneously giant enhancement of Forster resonance energy transfer rate and efficiency based on plasmonic excitations

abstract: We present a first-principles calculation on the rate and efficiency of F\"orster resonance energy transfer (FRET) from a donor to an acceptor when they are located in the hotspots of nanoparticle clusters. Nonlocal effect has been considered by using a hydrodynamic model. It is found that FRET rate and efficiency can be enhanced simultaneously by more than 9 and 3 orders of magnitude, respectively. The physical origins for these phenomena have been disclosed. Two opposite phenomena, the energy transfer rate is independent or dependent of the local density of optical states (LDOS), have been observed in the same system under different conditions. These findings not only help us to understand the unresolved debate on how the FRET rate depends on the LDOS, but also provide a new way to realize ultrafast energy transfer process with ultrahigh efficiency.


title: Guarded and Unguarded Iteration for Generalized Processes

abstract: Models of iterated computation, such as (completely) iterative monads, often depend on a notion of guardedness, which guarantees unique solvability of recursive equations and requires roughly that recursive calls happen only under certain guarding operations. On the other hand, many models of iteration do admit unguarded iteration. Solutions are then no longer unique, and in general not even determined as least or greatest fixpoints, being instead governed by quasi-equational axioms. Monads that support unguarded iteration in this sense are called (complete) Elgot monads. Here, we propose to equip (Kleisli categories of) monads with an abstract notion of guardedness and then require solvability of abstractly guarded recursive equations; examples of such abstractly guarded pre-iterative monads include both iterative monads and Elgot monads, the latter by deeming any recursive definition to be abstractly guarded. Our main result is then that Elgot monads are precisely the iteration-congruent retracts of abstractly guarded iterative monads, the latter being defined as admitting unique solutions of abstractly guarded recursive equations; in other words, models of unguarded iteration come about by quotienting models of guarded iteration.


title: Economic interpretation of fractional derivatives

abstract: An economic interpretation of the Caputo derivatives of non-integer orders is proposed. The suggested economic interpretation of the fractional derivatives is based on a generalization of average and marginal values of economic indicators. We formulate an economic interpretation by using the concept of the T-indicator that allows us to describe economic processes with memory. The standard average and marginal values of indicator are special cases of the proposed T-indicator, when the order is equal to zero and one, respectively. The fractional derivatives are interpreted as economic characteristics (indicators) that are intermediate between the standard average and marginal values of indicators.


title: The Second Main Theorem in the hyperbolic case

abstract: We develop Nevanlinna's theory for a class of holomorphic maps when the source is a disc. Such maps appear in the theory of foliations by Riemann Surfaces.


title: Multivariate Extremes Over a Random Number of Observations

abstract: The classical multivariate extreme-value theory concerns the modeling of extremes in a multivariate random sample, suggesting the use of max-stable distributions. In this work, the classical theory is extended to the case where aggregated data, such as maxima of a random number of observations, are considered. We derive a limit theorem concerning the attractors for the distributions of the aggregated data, which boil down to a new family of max-stable distributions. We also connect the extremal dependence structure of classical max-stable distributions and that of our new family of max-stable distributions. By means of an inversion method, we derive a semiparametric composite-estimator for the extremal dependence of the unobservable data, starting from a preliminary estimator of the extremal dependence of the aggregated data. Furthermore, we develop the large-sample theory of the composite-estimator and illustrate its finite-sample performance via a simulation study.


title: Exploring the 13CO/C18O abundance ratio towards Galactic young stellar objects and HII regions

abstract: Determining molecular abundance ratios is important not only for the study of the Galactic chemistry but also because they are useful to estimate physical parameters in a large variety of interstellar medium environments. The CO is one of the most important molecules to trace the molecular gas in the interstellar medium, and the 13CO/C18O abundance ratio is usually used to estimate molecular masses and densities of regions with moderate to high densities. Nowadays this kind of isotopes ratios are in general indirectly derived from elemental abundances ratios. We present the first 13CO/C18O abundance ratio study performed from CO isotopes observations towards a large sample of Galactic sources of different nature at different locations. To study the 13CO/C18O abundance ratio it was used 12CO J=3-2 data obtained form the CO High-Resolution Survey, 13CO and C18O J=3-2 data from the 13CO/C18O (J=3-2) Heterodyne Inner Milky Way Plane Survey, and some complementary data extracted from the James Clerk Maxwell Telescope database. It was analyzed a sample of 198 sources composed by young stellar objects (YSOs), HII and diffuse HII regions as catalogued in the Red MSX Source Survey in 27.5 < l < 46.5 and |b| < 0.5. Most of the analyzed sources are located in the galactocentric distance range 4.0-6.5 kpc. We found that YSOs have, in average, smaller 13CO/C18O abundance ratios than HII and diffuse HII regions. Taking into account that the gas associated with YSOs should be less affected by the radiation than in the case of the others sources, selective far-UV photodissociation of C18O is confirmed. The 13CO/C18O abundance ratios obtained in this work are systematically lower than the predicted from the known elemental abundance relations. These results would be useful in future studies of molecular gas related to YSOs and HII regions based on the observation of these isotopes.


title: Simulation of an ensemble of $N_f=2+1+1$ twisted mass clover-improved fermions at physical quark masses

abstract: We present a general strategy aimed at generating $N_f=2+1+1$ configurations with quarks at their physical mass using maximally twisted mass fermions to ensure automatic $O(a)$ improvement, in the presence of a clover term tuned to reduce the charged to neutral pion mass difference. The target system, for the moment, is a lattice of size $64^3 \times 128$ with a lattice spacing $a\sim 0.08$ fm. We show preliminary results on the pion and kaon mass and decay constants.


title: Wave propagation in tunable lightweight tensegrity metastructure

abstract: In this paper, lightweight metastructures are designed consisting of prismatic tensegrity building blocks which have excellent strength-to-weight ratio and also enable unique compression-torsion coupling. A theoretical model with coupled axial-torsional stiffness matrix is first developed to study the band structures of the proposed lightweight metastructures. Unit cell designs based on both Bragg scattering and local resonance mechanism are investigated to generate bandgaps at desired frequency ranges. Broadband full-wave attenuation is found in the tensegrity metastructure with special opposite-chirality unit cells. Furthermore, tunable stiffness in the prismatic tensegrity structure is investigated and 'small-on-large' tunability in the tensegrity metastructure is achieved by harnessing the geometrically nonlinear deformation through an external control torque. Prestress adjustment for fine tuning of the band structure is also investigated. Finally, frequency response tests on finite metastructures are preformed to validate their wave attenuation ability as well as their wave propagation tunability. The proposed tensegrity metastructures could be very useful in various engineering applications where lightweight and tunable structures with broadband vibration suspension and wave attenuation ability are in high demand.


title: $\Lambda_{\rm c}^+$ production in pp collisions at $\sqrt{s} = 7$ TeV and in p-Pb collisions at $\sqrt{s_{\rm NN}} = 5.02$ TeV

abstract: The $p_{\rm T}$-differential production cross section of prompt $\Lambda_{\rm c}^+$ charmed baryons was measured with the ALICE detector at the Large Hadron Collider (LHC) in pp collisions at $\sqrt{s} = 7$ TeV and in p-Pb collisions at $\sqrt{s_{\rm NN}} = 5.02$ TeV at midrapidity. The $\Lambda_{\rm c}^+$ and ${\overline{\Lambda}}_{\rm c}^-$ were reconstructed in the hadronic decay modes $\Lambda_{\rm c}^+\rightarrow {\rm p}{\rm K^-}\pi^+$, $\Lambda_{\rm c}^+\rightarrow {\rm p}{\rm K_{\rm S}^0}$ and in the semileptonic channel $\Lambda_{\rm c}^+\rightarrow {\rm e^+}\nu_{\rm e}\Lambda$ (and charge conjugates). The measured values of the $\Lambda_{\rm c}^+/{\rm D_0}$ ratio, which is sensitive to the c-quark hadronisation mechanism, and in particular to the production of baryons, are presented and are larger than those measured previously in different colliding systems, centre-of-mass energies, rapidity and $p_{\rm T}$ intervals, where the $\Lambda_{\rm c}^+$ production process may differ. The results are compared with the expectations obtained from perturbative Quantum Chromodynamics calculations and Monte Carlo event generators. Neither perturbative QCD calculations nor Monte Carlo models reproduce the data, indicating that the fragmentation of heavy-flavour baryons is not well understood. The first measurement at the LHC of the $\Lambda_{\rm c}^+$ nuclear modification factor, $R_{\rm pPb}$, is also presented. The $R_{\rm pPb}$ is found to be consistent with unity and with that of D mesons within the uncertainties, and consistent with a theoretical calculation that includes cold nuclear matter effects and a calculation that includes charm quark interactions with a deconfined medium.


title: Dust-acoustic rogue waves in an opposite polarity dusty plasma featuring non-extensive statistics

abstract: Modulational instability (MI) of dust acoustic waves (DAWs), which propagates in an opposite polarity dusty plasma system, containing inertial warm negatively and positively charged dust particles as well as non-extensive q-distributed elec- trons and ions, has been theoretically investigated. The nonlinear Schrodinger (NLS) equation is derived by employing the reductive perturbation method. The NLS equation leads to the MI of DAWs as well as to the formation of DAW rogue waves (DARWs), which are formed due to the effects of nonlinearity in the propagation of DAWs. Both stable and unstable regions are revealed from the analysis of the NLS equation. It is observed that the basic features of the DAWs (viz. stability of the wave profile, MI growth rate, amplitude, and width of DARWs) are significantly modified by the various plasma parameters such as non-extensive parameter, electron number density, and electron temperature. The existence of the non-extensive electron/ion distribution creates an influence on the MI of the waves. It is observed that non-extensive distributed ions have more effect on the MI of the DAWs than electrons.


title: On the Cauchy problem for a higher-order $\mu$-Camassa-Holm equation

abstract: In this paper, we study the Cauchy problem of a higher-order $\mu$-Camassa-Holm equation. We first establish the Green's function of $(\mu-\partial_{x}^{2}+\partial_{x}^{4})^{-1}$ and local well-posedness for the equation in Sobolev spaces $H^{s}(\mathbb{S})$, $s>\frac{7}{2}$. Then we provide the global existence results for strong solutions and weak solutions. Moreover, we show that the solution map is non-uniformly continuous in $H^{s}(\mathbb{S})$, $s\geq 4$. Finally, we prove that the equation admits single peakon solutions.


title: Thermodynamics of collective enhancement of precision

abstract: The circadian oscillator exhibits remarkably high temporal precision, despite its exposure to several fluctuations. The central mechanism that protects the oscillator from fluctuations is a collective enhancement of precision, where a population of coupled oscillators displays higher temporal precision than that achieved without coupling. Since coupling is essentially information exchange between oscillators, we herein investigate the relation between the temporal precision and the information flow between oscillators in the linearized Kuramoto model by using stochastic thermodynamics. For general coupling, we find that the temporal precision is bounded from below by the information flow. We generalize the model to incorporate a time-delayed coupling and demonstrate that the same relation also holds for the time-delayed case. Furthermore, the temporal precision is demonstrated to be improved in the presence of the time delay, and we show that the increased information flow is responsible for the time-delay-induced precision improvement.


title: The braid group for a quiver with superpotential

abstract: We survey and compare various generalizations of braid groups for quivers with superpotential and focus on the cluster braid groups, which are introduced in a joint work with A.~King. Our motivations come from the study of cluster algebras, Calabi-Yau categories and Bridgeland stability conditions.


title: A simple and natural interpretations of the DAMPE cosmic-ray electron/positron spectrum within two sigma deviations

abstract: The DArk Matter Particle Explorer (DAMPE) experiment has recently announced the first results for the measurement of total electron plus positron fluxes between 25 GeV and 4.6 TeV. A spectral break at about 0.9 TeV and a tentative peak excess around 1.4 TeV have been found. However, it is very difficult to reproduce both the peak signal and the smooth background including spectral break simultaneously. We point out that the numbers of events in the two energy ranges (bins) close to the 1.4 TeV excess have $1\sigma$ deficits. With the basic physics principles such as simplicity and naturalness, we consider the $-2\sigma$, $+2\sigma$, and $-1\sigma$ deviations due to statistical fluctuations for the 1229.3~GeV bin, 1411.4~GeV bin, and 1620.5~GeV bin. Interestingly, we show that all the DAMPE data can be explained consistently via both the continuous distributed pulsar and dark matter interpretations, which have $\chi^{2} \simeq 17.2 $ and $\chi^{2} \simeq 13.9$ (for all the 38 points in DAMPE electron/positron spectrum with 3 of them revised), respectively. These results are different from the previous analyses by neglecting the 1.4 TeV excess. At the same time, we do a similar global fitting on the newly released CALET lepton data, which could also be interpreted by such configurations. Moreover, we present a $U(1)_D$ dark matter model with Breit-Wigner mechanism, which can provide the proper dark matter annihilation cross section and escape the CMB constraint. Furthermore, we suggest a few ways to test our proposal.


title: First Sunyaev-Zel'dovich mapping with the NIKA2 camera: Implication of cluster substructures for the pressure profile and mass estimate

abstract: The complete characterization of the pressure profile of high-redshift galaxy clusters, from their core to their outskirts, is a major issue for the study of the formation of large-scale structures. It is essential to constrain a potential redshift evolution of both the slope and scatter of the mass-observable scaling relations used in cosmology studies based on cluster statistics. In this paper, we present the first thermal Sunyaev-Zel'dovich (tSZ) mapping of a cluster from the sample of the NIKA2 SZ large program that aims at constraining the redshift evolution of cluster pressure profiles and the tSZ-mass scaling relation. We have observed the galaxy cluster PSZ2 G144.83+25.11 at redshift $z=0.58$ with the NIKA2 camera, a dual-band (150 and 260 GHz) instrument operated at the IRAM 30-meter telescope. We identify a thermal pressure excess in the south-west region of PSZ2 G144.83+25.11 and a high redshift sub-millimeter point source that affect the intracluster medium (ICM) morphology of the cluster. The NIKA2 data are used jointly with tSZ data acquired by the MUSTANG, Bolocam and $Planck$ experiments in order to non-parametrically set the best constraints on the electronic pressure distribution from the cluster core ($\rm{R} \sim 0.02 \rm{R_{500}}$) to its outskirts ($\rm{R} \sim 3 \rm{R_{500}} $). We investigate the impact of the over-pressure region on the shape of the pressure profile and on the constraints on the integrated Compton parameter $\rm{Y_{500}}$. A hydrostatic mass analysis is also performed by combining the tSZ-constrained pressure profile with the deprojected electronic density profile from XMM-$Newton$. This allows us to conclude that the estimates of $\rm{Y_{500}}$ and $\rm{M_{500}}$ obtained from the analysis with and without masking the disturbed ICM region differ by 65 and 79% respectively. (abridged)


title: Quantitative Bounds on the Rate of Approach to Equilibrium for some One-Dimensional Stochastic Non-Linear Schr\"odinger Equations

abstract: We establish quantitative bounds on the rate of approach to equilibrium for a system with infinitely many degrees of freedom evolving according to a one-dimensional focusing nonlinear Schr\"odinger equation with diffusive forcing. Equilibrium is described by a generalized grand canonical ensemble. Our analysis also applies to the easier case of defocusing nonlinearities


title: Minimal elastic networks

abstract: We consider planar networks of three curves that meet at two junctions with prescribed equal angles, minimizing a combination of the elastic energy and the length functional. We prove existence and regularity of minimizers, and we show some properties of the minimal configurations.


title: On mean curvature flow with driving force starting as singular initial hypersurface

abstract: We consider an axisymmetric closed hypersurface evolving by its mean curvature with driving force under singular initial hypersurface. We study this problem by level set method. We give some criteria to judge whether the interface evolution is fattening or non-fattening.


title: Asymptotic Charges at Null Infinity in Any Dimension

abstract: We analyse the conservation laws associated with large gauge transformations of massless fields in Minkowski space. Our aim is to highlight the interplay between boundary conditions and finiteness of the asymptotically conserved charges in any space-time dimension, both even and odd, greater than or equal to three. After discussing non-linear Yang-Mills theory and revisiting linearised gravity, our investigation extends to cover the infrared behaviour of bosonic massless quanta of any spin.


title: An Artificial Neural Network-based Stock Trading System Using Technical Analysis and Big Data Framework

abstract: In this paper, a neural network-based stock price prediction and trading system using technical analysis indicators is presented. The model developed first converts the financial time series data into a series of buy-sell-hold trigger signals using the most commonly preferred technical analysis indicators. Then, a Multilayer Perceptron (MLP) artificial neural network (ANN) model is trained in the learning stage on the daily stock prices between 1997 and 2007 for all of the Dow30 stocks. Apache Spark big data framework is used in the training stage. The trained model is then tested with data from 2007 to 2017. The results indicate that by choosing the most appropriate technical indicators, the neural network model can achieve comparable results against the Buy and Hold strategy in most of the cases. Furthermore, fine tuning the technical indicators and/or optimization strategy can enhance the overall trading performance.


title: Spin Filtering via Resonant Reflection of Relativistic Surface States

abstract: A microscopic approach is developed to scattering of surface states from a non-magnetic linear defect at a surface with strong spin-orbit interaction. Spin-selective reflection resonances in scattering of Rashba-split surface states by an atomic stripe are theoretically discovered in a proof-of-principle calculation for a model crystal potential. Spin-filtering properties of such linear defects are analyzed within an envelope-function formalism for a perturbed surface based on the Rashba Hamiltonian. The continuous Rashba model is found to be in full accord with the microscopic theory, which reveals the essential physics behind the scattering resonance. The spin-dependent reflection suggests a novel mechanism to manipulate spins on the nanoscale.


title: Adaptive PBDW approach to state estimation: noisy observations; user-defined update spaces

abstract: We provide a number of extensions and further interpretations of the Parameterized-Background Data-Weak (PBDW) formulation, a real-time and in-situ Data Assimilation (DA) framework for physical systems modeled by parametrized Partial Differential Equations (PDEs), proposed in [Y Maday, AT Patera, JD Penn, M Yano, Int J Numer Meth Eng, 102(5), 933-965]. Given $M$ noisy measurements of the state, PBDW seeks an approximation of the form $u^{\star} = z^{\star} + \eta^{\star}$, where the \emph{background} $z^{\star}$ belongs to a $N$-dimensional \emph{background space} informed by a parameterized mathematical model, and the \emph{update} $\eta^{\star}$ belongs to a $M$-dimensional \emph{update space} informed by the experimental observations. The contributions of the present work are threefold: first, we extend the adaptive formulation proposed in [T Taddei, M2AN, 51(5), 1827-1858] to general linear observation functionals, to effectively deal with noisy observations; second, we consider an user-defined choice of the update space, to improve convergence with respect to the number of measurements; third, we propose an \emph{a priori} error analysis for general linear functionals in the presence of noise, to identify the different sources of state estimation error and ultimately motivate the adaptive procedure. We present results for two synthetic model problems in Acoustics, to illustrate the elements of the methodology and to prove its effectiveness. We further present results for a synthetic problem in Fluid Mechanics to demonstrate the applicability of the approach to vector-valued fields.


title: On bicomplex Pell and Pell-Lucas numbers

abstract: In this paper, bicomplex Pell and bicomplex Pell-Lucas numbers are defined. Also, negabicomplex Pell and negabicomplex Pell-Lucas numbers are given. Some algebraic properties of bicomplex Pell and bicomplex Pell-Lucas numbers which are connected with bicomplex numbers and Pell and Pell-Lucas numbers are investigated. Furthermore, d'Ocagne's identity, Binet's formula, Cassini's identity and Catalan's identity for these numbers are given.


title: New ways of estimating excess mortality of chronic diseases: Insights from the illness-death model

abstract: Recently, we have shown that the age-specific prevalence of a disease can be related to the transition rates in the illness-death model via a partial differential equation (PDE). In case of a chronic disease, we show that the PDE can be used to estimate excess mortality from prevalence and incidence. Applicability of the new method is demonstrated in a simulation and claims data about diabetes in German men.


title: Variable stepsize commutator free Lie group integrators

abstract: We introduce variable stepsize commutator free Lie group integrators, where the error control is achieved using embedded Runge-Kutta pairs.


title: Dark Matter Signals at the LHC from a 3HDM

abstract: We analyse new signals of Dark Matter (DM) at the Large Hadron Collider (LHC) in a 3-Higgs Doublet Model (3HDM) where only one doublet acquires a Vacuum Expectation Value (VEV), preserving a parity $Z_2$. The other two doublets are \textit{inert} and do not develop a VEV, leading to a {\it dark scalar sector} controlled by $Z_2$, with the lightest CP-even dark scalar $H_1$ being the DM candidate. This leads to the loop induced decay of the next-to-lightest scalar, $H_2 \to H_1 f \bar f$ ($f=u,d,c,s,b,e,\mu,\tau$), mediated by both dark CP-odd and charged scalars. This is a smoking-gun signal of the 3HDM since it is not allowed in the 2HDM with one inert doublet and is expected to be important when $H_2$ and $H_1$ are close in mass. In practice, this signature can be observed in the cascade decay of the SM-like Higgs boson, $h\to H_1 H_2\to H_1 H_1 f \bar f$ into two DM particles and di-leptons/di-jets, where $h$ is produced from either gluon-gluon Fusion (ggF) or Vector Boson Fusion (VBF). However, this signal competes with the tree-level channel $q\bar q\to H_1H_1Z^*\to H_1H_1f \bar f$. We devise some benchmarks, compliant with collider, DM and cosmological data, for which the interplay between these modes is discussed. In particular, we show that the resulting detector signature, $\Et\; f \bar f$, with invariant mass of $ f \bar f$ much smaller than $m_Z$, can potentially be extracted already during Run 2 and 3. For example, the $H_2\to H_1\gamma^*$ and $\gamma^*\to e^+e^-$ case will give a spectacular QED mono-shower signal.


title: Collisionless Kinetic Theory of Oblique Tearing Instabilities

abstract: The linear dispersion relation for collisionless kinetic tearing instabilities is calculated for a Harris equilibrium. In contrast to the conventional 2D geometry, which considers only modes at the center of the current sheet, modes can span the current sheet in 3D. Modes at each resonant surface have a unique angle ($\theta$) with respect to the guide field direction. Both kinetic simulations and numerical eigenmode solutions of the linearized Vlasov-Maxwell equations have recently revealed that standard analytic theories vastly overestimate the growth rate of oblique modes ($\theta \neq 0$). We find that this stabilization is associated with the density-gradient-driven diamagnetic drift. The analytic theories miss this drift stabilization because the inner tearing layer broadens at oblique angles sufficiently far that the assumption of scale separation between the inner and outer regions of boundary-layer theory breaks down. The dispersion relation obtained by numerically solving a single second order differential equation is found to approximately capture the drift stabilization predicted by solutions of the full integro-differential eigenvalue problem. A simple analytic estimate for the stability criterion is provided.


title: Linear Type-p Most-Perfect Squares

abstract: We describe a generalization of most-perfect magic squares, called type-p most-perfect squares, and in prime-power orders we give a linear construction of these squares reminiscent of de la Loubere's classical magic square construction method. Type-p most-perfect squares can be used to construct other interesting squares (e.g., generalized Franklin squares) and our linear construction may have implications for counting type-p most-perfect squares.


title: Building the Brazilian Academic Genealogy Tree

abstract: Along the history, many researchers provided remarkable contributions to science, not only advancing knowledge but also in terms of mentoring new scientists. Currently, identifying and studying the formation of researchers over the years is a challenging task as current repositories of theses and dissertations are cataloged in a decentralized way through many local digital libraries. Following our previous work in which we created and analyzed a large collection of genealogy trees extracted from NDLTD, in this paper we focus our attention on building such trees for the Brazilian research community. For this, we use data from the Lattes Platform, an internationally renowned initiative from CNPq, the Brazilian National Council for Scientific and Technological Development, for managing information about individual researchers and research groups in Brazil.


title: Pandiagonal Type-p Franklin Squares

abstract: For prime $p$ we define magic squares of order $kp^3$, called type-$p$ Franklin squares, whose properties specialize to those of classical Franklin squares in the case $p=2$. We construct type-$p$ Franklin squares in prime-power orders.


title: Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs

abstract: A cyclic proof system, called CLKID-omega, gives us another way of representing inductive definitions and efficient proof search. The 2005 paper by Brotherston showed that the provability of CLKID-omega includes the provability of LKID, first order classical logic with inductive definitions in Martin-L\"of's style, and conjectured the equivalence. The equivalence has been left an open question since 2011. This paper shows that CLKID-omega and LKID are indeed not equivalent. This paper considers a statement called 2-Hydra in these two systems with the first-order language formed by 0, the successor, the natural number predicate, and a binary predicate symbol used to express 2-Hydra. This paper shows that the 2-Hydra statement is provable in CLKID-omega, but the statement is not provable in LKID, by constructing some Henkin model where the statement is false.


title: Minitwistors and 3d Yang-Mills-Higgs theory

abstract: We construct a minitwistor action for Yang--Mills--Higgs theory in three dimensions. The Feynman diagrams of this action will construct perturbation theory around solutions of the Bogomolny equations in much the same way that MHV diagrams describe perturbation theory around the self--dual Yang Mills equations in four dimensions. We also provide a new formula for all tree amplitudes in YMH theory (and its maximally supersymmetric extension) in terms of degree d maps to minitwistor space. We demonstrate its relationship to the RSVW formula in four dimensions and show that it generates the correct MHV amplitudes at d=1 and factorizes correctly in all channels for all degrees.


title: Accelerators in macroeconomics: Comparison of discrete and continuous approaches

abstract: We prove that the standard discrete-time accelerator equation cannot be considered as an exact discrete analog of the continuous-time accelerator equation. This leads to fact that the standard discrete-time macroeconomic models cannot be considered as exact discretization of the corresponding continuous-time models. As a result, the equations of the continuous and standard discrete models have different solutions and can predict the different behavior of the economy. In this paper, we propose a self-consistent discrete-time description of the economic accelerators that is based on the exact finite differences. For discrete-time approach, the model equations with exact differences have the same solutions as the corresponding continuous-time models and these discrete and continuous models describe the same behavior of the economy. Using the Harrod-Domar growth model as an example, we show that equations of the continuous-time model and the suggested exact discrete model have the same solutions and these models predict the same behavior of the economy.


title: Hydrogen bubble nucleation by self-clustering: Density Functional Theory and statistical models studies using tungsten as a model system

abstract: Low-energy hydrogen irradiation is known to induce bubble formation in tungsten, while its atomistic mechanisms remain little understood. Using first-principles calculations and statistical models, we studied the self-clustering behavior of hydrogen in tungsten. Unlike previous speculations that hydrogen self-clusters are energetically unstable owing to the general repulsion between two hydrogens, we demonstrated that hydrogen self-cluster becomes more favorable as the cluster size increases. We found that hydrogen atoms would form two-dimensional platelet-like structures along {100} planes. These hydrogen self-clustering behaviors can be quantitative understood by the competition between long-ranged elastic attraction and local electronic repulsion. Further statistical analysis showed that there exists a critical hydrogen concentration above which hydrogen self-clusters are thermodynamically stable and kinetically feasible. Based on this critical hydrogen concentration, the plasma loading conditions under which hydrogen self-clusters form were predicted. Our predictions showed excellent agreement with experimental results of hydrogen bubble formation in tungsten exposed to low-energy hydrogen irradiation. Finally, we proposed a possible mechanism for the hydrogen bubble nucleation via hydrogen self-clustering. This work provides mechanistic insights and quantitative models towards understanding of plasma-induced hydrogen bubble formation in plasma-facing tungsten.


title: Observation and investigation of narrow optical transitions of 167Er3+ ions in femtosecond laser printed waveguides in 7LiYF4 crystal

abstract: We produced optical waveguides in the 167Er3+ :7LiYF4 crystal with diameters ranging from 30 to 100 mkm by using the depressed-cladding approach with femtosecond laser. These waveguides were studied (both inside and outside) by stationary and coherent spectroscopy on the 809 nm optical transitions between the hyperfine sublevels of 4I15/2 and 4I9/2 multiplets of 167Er3+ ions. It was found that the spectra of 167Er3+ were slightly broadened and shifted inside the waveguides compared to the bulk crystal spectra. We managed to observe a two-pulse photon echo on this transition and determined phase relaxation times for each of waveguides. The experimental results show that the created crystal waveguides doped by rare-earth ions can be used in optical quantum memory and integrated quantum schemes.


title: Flexural phonons in supported graphene: from pinning to localization

abstract: We identify graphene layer on a disordered substrate as a possible system where Anderson localization of phonons can be observed. Generally, observation of localization for scattering waves is not simple, because the Rayleigh scattering is inversely proportional to a high power of wavelength. The situation is radically different for the out of plane vibrations, so-called flexural phonons, scattered by pinning centers induced by a substrate. In this case, the scattering time for vanishing wave vector tends to a finite limit. One may, therefore, expect that physics of the flexural phonons exhibits features characteristic for electron localization in two dimensions, albeit without complications caused by the electron-electron interactions. We confirm this idea by calculating statistical properties of the Anderson localization of flexural phonons for a model of elastic sheet in the presence of the pinning centers. Finally, we discuss possible manifestations of the flexural phonons, including the localized ones, in the electronic thermal conductance.