title: Bi-HKT and bi-Kaehler supersymmetric sigma models

abstract: We study CKT (or bi-HKT) N = 4 supersymmetric quantum mechanical sigma models. They are characterized by the usual and the mirror sectors displaying each HKT geometry. When the metric involves isometries, a Hamiltonian reduction is possible. The most natural such reduction with respect to a half of bosonic target space coordinates produces an N = 4 model, related to the twisted Kaehler model due to Gates, Hull and Rocek, but including certain extra F-terms in the superfield action.


title: Superfluid flow past an obstacle in annular Bose--Einstein condensates

abstract: We investigate the flow of a one-dimensional nonlinear Schrodinger model with periodic boundary conditions past an obstacle, motivated by recent experiments with Bose--Einstein condensates in ring traps. Above certain rotation velocities, localized solutions with a nontrivial phase profile appear. In striking difference from the infinite domain, in this case there are many critical velocities. At each critical velocity, the steady flow solutions disappear in a saddle-center bifurcation. These interconnected branches of the bifurcation diagram lead to additions of circulation quanta to the phase of the associated solution. This, in turn, relates to the manifestation of persistent current in numerous recent experimental and theoretical works, the connections to which we touch upon. The complex dynamics of the identified waveforms and the instability of unstable solution branches are demonstrated.


title: Super-Earth Atmospheres: Self-Consistent Gas Accretion and Retention

abstract: Some recently discovered short-period Earth to Neptune sized exoplanets (super Earths) have low observed mean densities which can only be explained by voluminous gaseous atmospheres. Here, we study the conditions allowing the accretion and retention of such atmospheres. We self-consistently couple the nebular gas accretion onto rocky cores and the subsequent evolution of gas envelopes following the dispersal of the protoplanetary disk. Specifically, we address mass-loss due to both photo-evaporation and cooling of the planet. We find that planets shed their outer layers (dozens of percents in mass) following the disk's dispersal (even without photo-evaporation), and their atmospheres shrink in a few Myr to a thickness comparable to the radius of the underlying rocky core. At this stage, atmospheres containing less particles than the core (equivalently, lighter than a few % of the planet's mass) can be blown away by heat coming from the cooling core, while heavier atmospheres cool and contract on a timescale of Gyr at most. By relating the mass-loss timescale to the accretion time, we analytically identify a Goldilocks region in the mass-temperature plane in which low-density super Earths can be found: planets have to be massive and cold enough to accrete and retain their atmospheres, while not too massive or cold, such that they do not enter runaway accretion and become gas giants (Jupiters). We compare our results to the observed super-Earth population and find that low-density planets are indeed concentrated in the theoretically allowed region. Our analytical and intuitive model can be used to investigate possible super-Earth formation scenarios.


title: Gaseous time projection chambers for rare event detection: Results from the T-REX project. I. Double beta decay

abstract: As part of the T-REX project, a number of R&D and prototyping activities have been carried out during the last years to explore the applicability of gaseous Micromegas-read TPCs in rare event searches like double beta decay (DBD), axion research and low-mass WIMP searches. In both this and its companion paper, we compile the main results of the project and give an outlook of application prospects for this detection technique. While in the companion paper we focus on axions and WIMPs, in this paper we focus on the results regarding the measurement of the DBD of $^{136}$Xe in a high pressure Xe (HPXe) TPC. Particularly relevant are the results obtained in Xe + TMA mixtures with microbulk Micromegas, showing very promising results in terms of gain, stability of operation, and energy resolution at pressures up to 10 bar. TMA at levels of $\sim$1\% reduces electron diffusion by a factor of 10 with respect to pure Xe, improving the quality of the topological pattern, with a positive impact on the discrimination capability. Operation with a medium size prototype (30 cm diameter and 38 cm drift) of 1 kg of Xe at 10 bar in the fiducial volumen has allowed to test the detection concept in realistic experimental conditions. Microbulk Micromegas are able to image the DBD ionization signature with high quality while, at the same time, measuring its energy deposition with a resolution of at least $\sim$3% FWHM @ Q$_{\beta\beta}$, and probably down to $\sim$1% FWHM. In addition, first results on the topological signature information show promising background discrimination capabilities out of reach of other experimental implementations. Moreover, microbulk Micromegas have very low levels of intrinsic radioactivity, and offer cost-effective scaling-up options. All these results demonstrate that Micromegas-read HPXe TPC is a very competitive technique for the next generation DBD experiments.


title: Finsler fluid dynamics in $\mathrm{SO}(4)$ symmetric cosmology

abstract: We discuss the most general Finsler spacetime geometry obeying the cosmological symmetry group $\mathrm{SO}(4)$. On this background geometry we derive the equations of motion for the most general kinetic fluid obeying the same cosmological symmetry. For this purpose we propose a set of coordinates on the tangent bundle of the spacetime manifold which greatly simplifies the cosmological symmetry generators.


title: Learning Transferrable Knowledge for Semantic Segmentation with Deep Convolutional Neural Network

abstract: We propose a novel weakly-supervised semantic segmentation algorithm based on Deep Convolutional Neural Network (DCNN). Contrary to existing weakly-supervised approaches, our algorithm exploits auxiliary segmentation annotations available for different categories to guide segmentations on images with only image-level class labels. To make the segmentation knowledge transferrable across categories, we design a decoupled encoder-decoder architecture with attention model. In this architecture, the model generates spatial highlights of each category presented in an image using an attention model, and subsequently generates foreground segmentation for each highlighted region using decoder. Combining attention model, we show that the decoder trained with segmentation annotations in different categories can boost the performance of weakly-supervised semantic segmentation. The proposed algorithm demonstrates substantially improved performance compared to the state-of-the-art weakly-supervised techniques in challenging PASCAL VOC 2012 dataset when our model is trained with the annotations in 60 exclusive categories in Microsoft COCO dataset.


title: Epitaxial growth and Photoluminescence Excitation spectroscopy of CdSe Quantum Dots in (Zn,Cd)Se barrier

abstract: Design, epitaxial growth, and resonant spectroscopy of CdSe Quantum Dots (QDs) embedded in an innovative (Zn,Cd)Se barrier are presented. The (Zn,Cd)Se barrier enables shifting of QDs energy emission down to 1.87 eV, that is below the energy of Mn$^{2+}$ ions internal transition (2.1 eV). This opens a perspective for implementation of epitaxial CdSe QDs doped with several Mn ions as, e. g., the light sources in high quantum yield magnetooptical devices. Polarization resolved Photoluminescence Excitation measurements of individual QDs reveal sharp ($\Gamma <$ 150 $\mu$eV) maxima and transfer of optical polarization to QD confining charged exciton state with efficiency attaining 26 %. The QD doping with single Mn$^{2+}$ ions is achieved.


title: Quasi-periodic Fast-mode Magnetosonic Wave Trains Within Coronal Waveguides Associated with Flares and CMEs

abstract: Quasi-periodic, fast-mode, propagating wave trains (QFPs) are a new observational phenomenon recently discovered in the solar corona by the Solar Dynamics Observatory with extreme ultraviolet (EUV) imaging observations. They originate from flares and propagate at speeds up to ~2000 km/s within funnel-shaped waveguides in the wakes of coronal mass ejections (CMEs). QFPs can carry sufficient energy fluxes required for coronal heating during their occurrences. They can provide new diagnostics for the solar corona and their associated flares. We present recent observations of QFPs focusing on their spatio-temporal properties, temperature dependence, and statistical correlation with flares and CMEs. Of particular interest is the 2010-Aug-01 C3.2 flare with correlated QFPs and drifting zebra and fiber radio bursts, which might be different manifestations of the same fast-mode wave trains. We also discuss the potential roles of QFPs in accelerating and/or modulating the solar wind.


title: Probabilistic Model-Based Approach for Heart Beat Detection

abstract: Nowadays, hospitals are ubiquitous and integral to modern society. Patients flow in and out of a veritable whirlwind of paperwork, consultations, and potential inpatient admissions, through an abstracted system that is not without flaws. One of the biggest flaws in the medical system is perhaps an unexpected one: the patient alarm system. One longitudinal study reported an 88.8% rate of false alarms, with other studies reporting numbers of similar magnitudes. These false alarm rates lead to a number of deleterious effects that manifest in a significantly lower standard of care across clinics. This paper discusses a model-based probabilistic inference approach to identifying variables at a detection level. We design a generative model that complies with an overview of human physiology and perform approximate Bayesian inference. One primary goal of this paper is to justify a Bayesian modeling approach to increasing robustness in a physiological domain. We use three data sets provided by Physionet, a research resource for complex physiological signals, in the form of the Physionet 2014 Challenge set-p1 and set-p2, as well as the MGH/MF Waveform Database. On the extended data set our algorithm is on par with the other top six submissions to the Physionet 2014 challenge.


title: From Higher Spins to Strings: A Primer

abstract: A contribution to the collection of reviews "Introduction to Higher Spin Theory" edited by S. Fredenhagen, this introductory article is a pedagogical account of higher-spin fields and their connections with String Theory. We start with the motivations for and a brief historical overview of the subject. We discuss the Wigner classifications of unitary irreducible Poincar\'e-modules, write down covariant field equations for totally symmetric massive and massless representations in flat space, and consider their Lagrangian formulation. After an elementary exposition of the AdS unitary representations, we review the key no-go and yes-go results concerning higher-spin interactions, e.g., the Velo-Zwanziger acausality and its string-theoretic resolution among others. The unfolded formalism, which underlies Vasiliev's equations, is then introduced to reformulate the flat-space Bargmann-Wigner equations and the AdS massive-scalar Klein-Gordon equation, and to state the "central on-mass-shell theorem". These techniques are used for deriving the unfolded form of the boundary-to-bulk propagator in $AdS_4$, which in turn discloses the asymptotic symmetries of (supersymmetric) higher-spin theories. The implications for string-higher-spin dualities revealed by this analysis are then elaborated.


title: Deterministic separation of arbitrary photon pair states in integrated quantum circuits

abstract: Entangled photon pairs generated within integrated devices must often be spatially separated for their subsequent manipulation in quantum circuits. Separation that is both deterministic and universal can in principle be achieved through anti-coalescent two-photon quantum interference. However, such interference-facilitated pair separation (IFPS) has not been extensively studied in the integrated setting, where the strong polarization and wavelength dependencies of integrated couplers -- as opposed to bulk-optics beamsplitters -- can have important implications for performance beyond the identical-photon regime. This paper provides a detailed review of IFPS and examines how these dependencies impact separation fidelity and interference visibility. Focus is given to IFPS mediated by an integrated directional coupler. The analysis applies equally to both on-chip and in-fiber implementations, and can be expanded to other coupler architectures such as multimode interferometers. When coupler dispersion is present, the separation performance can depend on photon bandwidth, spectral entanglement, and the linearity of the dispersion. Under appropriate conditions, reduction in the separation fidelity due to loss of non-classical interference can be perfectly compensated for by classical wavelength demultiplexing effects. This work informs the design as well as the performance assessment of circuits for achieving universal photon pair separation for states with tunable arbitrary properties.


title: A scalable quasi-Bayesian framework for Gaussian graphical models

abstract: This paper deals with the Bayesian estimation of high dimensional Gaussian graphical models. We develop a quasi-Bayesian implementation of the neighborhood selection method of Meinshausen and Buhlmann (2006) for the estimation of Gaussian graphical models. The method produces a product-form quasi-posterior distribution that can be efficiently explored by parallel computing. We derive a non-asymptotic bound on the contraction rate of the quasi-posterior distribution. The result shows that the proposed quasi-posterior distribution contracts towards the true precision matrix at a rate given by the worst contraction rate of the linear regressions that are involved in the neighborhood selection. We develop a Markov Chain Monte Carlo algorithm for approximate computations, following an approach from Atchade (2015). We illustrate the methodology with a simulation study. The results show that the proposed method can fit Gaussian graphical models at a scale unmatched by other Bayesian methods for graphical models.


title: Regularized Riesz energies of submanifolds

abstract: Given a closed submanifold, or a compact regular domain, in euclidean space, we consider the Riesz energy defined as the double integral of some power of the distance between pairs of points. When this integral diverges, we compare two different regularization techniques (Hadamard's finite part and analytic continuation), and show that they give essentially the same result. We prove that some of these energies are invariant under Moebius transformations, thus giving a generalization to higher dimensions of the Moebius energy of knots.


title: The Stokes problem with Navier slip boundary condition: Minimal fractional Sobolev regularity of the domain

abstract: We prove well-posedness in reflexive Sobolev spaces of weak solutions to the stationary Stokes problem with Navier slip boundary condition over bounded domains $\Omega$ of $\mathbb{R}^n$ of class $W^{2-1/s}_s$, $s>n$. Since such domains are of class $C^{1,1-n/s}$, our result improves upon the recent one by Amrouche-Seloula, who assume $\Omega$ to be of class $C^{1,1}$. We deal with the slip boundary condition directly via a new localization technique, which features domain, space and operator decompositions. To flatten the boundary of $\Omega$ locally, we construct a novel $W^2_s$ diffeomorphism for $\Omega$ of class $W^{2-1/s}_s$. The fractional regularity gain, from $2-1/s$ to $2$, guarantees that the Piola transform is of class $W^1_s$. This allows us to transform $W^1_r$ vector fields without changing their regularity, provided $r\le s$, and preserve the unit normal which is H\"older. It is in this sense that the boundary regularity $W^{2-1/s}_s$ seems to be minimal.


title: Towards Approaches to Continuous Assessment of Cyber Risk in Security of Computer Networks

abstract: We review the current status and research challenges in the area of cyber security often called continuous monitoring and risk scoring (CMRS). We focus on two most salient aspects of CMRS. First, continuous collection of data through automated feeds; hence the term continuous monitoring. Typical data collected for continuous monitoring purposes include network traffic information as well as host information from host-based agents. Second, analysis of the collected data in order to assess the risks - the risk scoring. This assessment may include flagging especially egregious vulnerabilities and exposures, or computing metrics that provide an overall characterization of the network's risk level. Currently used risk metrics are often simple sums or counts of vulnerabilities and missing patches. The research challenges pertaining to CMRS fall mainly into two categories. The first centers on the problem of integrating and fusing highly heterogeneous information. The second group of challenges is the lack of rigorous approaches to computing risk. Existing risk scoring algorithms remain limited to ad hoc heuristics such as simple sums of vulnerability scores or counts of things like missing patches or open ports, etc. Weaknesses and potentially misleading nature of such metrics are well recognized. For example, the individual vulnerability scores are dangerously reliant on subjective, human, qualitative input, potentially inaccurate and expensive to obtain. Further, the total number of vulnerabilities may matters far less than how vulnerabilities are distributed over hosts, or over time. Similarly, neither topology of the network nor the roles and dynamics of inter-host interactions are considered by simple sums of vulnerabilities or missing patches.


title: Modulation instability and controllable rogue waves with multiple compression points for periodically modulated coupled Hirota equations

abstract: Based on modulation instability analysis and generalized Darboux transformation, we derive a hierarchy of rogue wave solutions for a variable-coefficients coupled Hirota equations. The explicit first-order rogue wave solution is presented, and the dark-bright and composite rogue waves with multiple compression points are shown by choosing sufficiently large periodic modulation amplitudes in the coefficients of the coupled equations. Also, the dark-bright and composite Peregrine combs are generated from the multiple compression points. For the second-order case, the darkbright three sisters, rogue wave quartets and sextets structures with one or more rogue waves involving multiple compression points are put forward, respectively. Furthermore, some wave characteristics such as the difference between light intensity and continuous wave background, and pulse energy evolution of the dark rogue wave solution features multiple compression points are discussed.


title: A 2-Calabi-Yau realization of finite-type cluster algebras with universal coefficients

abstract: We categorify various finite-type cluster algebras with coefficients using completed orbit categories associated to Frobenius categories. Namely, the Frobenius categories we consider are the categories of finitely generated Gorenstein projective modules over the singular Nakajima category associated to a Dynkin diagram and their standard Frobenius quotients. In particular, we are able to categorify all finite-type skew-symmetric cluster algebras with universal coefficients and finite-type Grassmannian cluster algebras. Along the way, we classify the standard Frobenius models of a certain family of triangulated orbit categories which include all finite-type $n$-cluster categories, for all integers $n\geq 1$.


title: Surface spin-electron acoustic waves in magnetically ordered metals

abstract: Degenerate plasmas with motionless ions show existence of three surface waves: the Langmuir wave, the electromagnetic wave, and the zeroth sound. Applying the separated spin evolution quantum hydrodynamics to half-space plasma we demonstrate the existence of the surface spin-electron acoustic wave (SSEAW). We study dispersion of the SSEAW. We show that there is hybridization between the surface Langmuir wave and the SSEAW at rather small spin polarization. In the hybridization area the dispersion branches are located close to each other. In this area there is a strong interaction between these waves leading to the energy exchange. Consequently, generating the Langmuir waves with the frequencies close to hybridization area we can generate the SSEAWs. Thus, we report a method of creation of the SEAWs.


title: An Experimental Evaluation of Computational Techniques for Planning and Assessment of International Interventions

abstract: We describe the experimental methodology developed and employed in a series of experiments within the Defense Advanced Research Projects Agency (DARPA) Conflict Modeling, Planning, and Outcomes Exploration (COMPOEX) Program. The primary purpose of the effort was development of tools and methods for analysis, planning and predictive assessment of plans for complex operations where integrated political-military-economic-social-infrastructure and information (PMESII) considerations play decisive roles. As part of the program, our team executed several broad-based experiments, involving dozens of experts from several agencies simultaneously. The methodology evolved from one experiment to another because of the lessons learned. The paper presents the motivation, objectives, and structure of this interagency experiment series; the methods we explored in the experiments; and the results, lessons learned and recommendations for future efforts of such nature.


title: Multi-Level Cause-Effect Systems

abstract: We present a domain-general account of causation that applies to settings in which macro-level causal relations between two systems are of interest, but the relevant causal features are poorly understood and have to be aggregated from vast arrays of micro-measurements. Our approach generalizes that of Chalupka et al. (2015) to the setting in which the macro-level effect is not specified. We formalize the connection between micro- and macro-variables in such situations and provide a coherent framework describing causal relations at multiple levels of analysis. We present an algorithm that discovers macro-variable causes and effects from micro-level measurements obtained from an experiment. We further show how to design experiments to discover macro-variables from observational micro-variable data. Finally, we show that under specific conditions, one can identify multiple levels of causal structure. Throughout the article, we use a simulated neuroscience multi-unit recording experiment to illustrate the ideas and the algorithms.


title: Toward a Research Agenda in Adversarial Reasoning: Computational Approaches to Anticipating the Opponent's Intent and Actions

abstract: This paper defines adversarial reasoning as computational approaches to inferring and anticipating an enemy's perceptions, intents and actions. It argues that adversarial reasoning transcends the boundaries of game theory and must also leverage such disciplines as cognitive modeling, control theory, AI planning and others. To illustrate the challenges of applying adversarial reasoning to real-world problems, the paper explores the lessons learned in the CADET - a battle planning system that focuses on brigade-level ground operations and involves adversarial reasoning. From this example of current capabilities, the paper proceeds to describe RAID - a DARPA program that aims to build capabilities in adversarial reasoning, and how such capabilities would address practical requirements in Defense and other application areas.


title: Graphs and Metric 2-step Nilpotent Lie Algebras

abstract: Dani and Mainkar introduced a method for constructing a 2-step nilpotent Lie algebra $\mathfrak{n}_G$ from a simple directed graph $G$ in 2005. There is a natural inner product on $\mathfrak{n}_G$ arising from the construction. We study geometric properties of the associated simply connected 2-step nilpotent Lie group $N$ with Lie algebra $\mathfrak{n}_G$. We classify singularity properties of the Lie algebra $\mathfrak{n}_G$ in terms of the graph $G$. A comprehensive description is given of graphs $G$ which give rise to Heisenberg-like Lie algebras. Conditions are given on the graph $G$ and on a lattice $\Gamma \subseteq N$ for which the quotient $\Gamma \backslash N$, a compact nilmanifold, has a dense set of smoothly closed geodesics.


title: Nonsymmetric Dependence Measures: the Discrete Case

abstract: Following our previous work on copula-based nonsymmetric dependence measures, we introduce similar measures for discrete random variables. The measures cover the range between two extremes: independence and complete dependence, which take minimum value exactly on independence and take maximum value exactly on complete dependence. We find that the * product on copulas in the continuous case reduces to matrix product of transition matrices in the discrete case and we use it to prove the DPI condition. The measures can also be extended to detect dependence between groups of discrete random variables or conditional dependence. Unlike the continuous case, one drawback is that the value of the measures depends on marginal distributions.


title: Complete population inversion of Bose particles by an adiabatic cycle

abstract: We show that an adiabatic cycle excites Bose particles confined in a one-dimensional box. During the adiabatic cycle, a wall described by a $\delta$-shaped potential is applied and its strength and position are slowly varied. When the system is initially prepared in the ground state, namely, in the zero-temperature equilibrium state, the adiabatic cycle brings all bosons into the first excited one-particle state, leaving the system in a nonequilibrium state. The absorbed energy during the cycle is proportional to the number of bosons.


title: Sparse Reconstruction of Compressive Sensing MRI using Cross-Domain Stochastically Fully Connected Conditional Random Fields

abstract: Magnetic Resonance Imaging (MRI) is a crucial medical imaging technology for the screening and diagnosis of frequently occurring cancers. However image quality may suffer by long acquisition times for MRIs due to patient motion, as well as result in great patient discomfort. Reducing MRI acquisition time can reduce patient discomfort and as a result reduces motion artifacts from the acquisition process. Compressive sensing strategies, when applied to MRI, have been demonstrated to be effective at decreasing acquisition times significantly by sparsely sampling the \emph{k}-space during the acquisition process. However, such a strategy requires advanced reconstruction algorithms to produce high quality and reliable images from compressive sensing MRI. This paper proposes a new reconstruction approach based on cross-domain stochastically fully connected conditional random fields (CD-SFCRF) for compressive sensing MRI. The CD-SFCRF introduces constraints in both \emph{k}-space and spatial domains within a stochastically fully connected graphical model to produce improved MRI reconstruction. Experimental results using T2-weighted (T2w) imaging and diffusion-weighted imaging (DWI) of the prostate show strong performance in preserving fine details and tissue structures in the reconstructed images when compared to other tested methods even at low sampling rates.


title: A Relaxed Drift Diffusion Model for Phylogenetic Trait Evolution

abstract: Understanding the processes that give rise to quantitative measurements associated with molecular sequence data remains an important issue in statistical phylogenetics. Examples of such measurements include geographic coordinates in the context of phylogeography and phenotypic traits in the context of comparative studies. A popular approach is to model the evolution of continuously varying traits as a Brownian diffusion process. However, standard Brownian diffusion is quite restrictive and may not accurately characterize certain trait evolutionary processes. Here, we relax one of the major restrictions of standard Brownian diffusion by incorporating a nontrivial estimable drift into the process. We introduce a relaxed drift diffusion model for the evolution of multivariate continuously varying traits along a phylogenetic tree via Brownian diffusion with drift. Notably, the relaxed drift model accommodates branch-specific variation of drift rates while preserving model identifiability. We implement the relaxed drift model in a Bayesian inference framework to simultaneously reconstruct the evolutionary histories of molecular sequence data and associated multivariate continuous trait data, and provide tools to visualize evolutionary reconstructions. We illustrate our approach in three viral examples. In the first two, we examine the spatiotemporal spread of HIV-1 in central Africa and West Nile virus in North America and show that a relaxed drift approach uncovers a clearer, more detailed picture of the dynamics of viral dispersal than standard Brownian diffusion. Finally, we study antigenic evolution in the context of HIV-1 resistance to three broadly neutralizing antibodies. Our analysis reveals evidence of a continuous drift at the HIV-1 population level towards enhanced resistance to neutralization by the VRC01 monoclonal antibody over the course of the epidemic.


title: On Sun-to-Earth Propagation of Coronal Mass Ejections: 2. Slow Events and Comparison with Others

abstract: As a follow-up study on Sun-to-Earth propagation of fast coronal mass ejections (CMEs), we examine the Sun-to-Earth characteristics of slow CMEs combining heliospheric imaging and in situ observations. Three events of particular interest, the 2010 June 16, 2011 March 25 and 2012 September 25 CMEs, are selected for this study. We compare slow CMEs with fast and intermediate-speed events, and obtain key results complementing the attempt of \citet{liu13} to create a general picture of CME Sun-to-Earth propagation: (1) the Sun-to-Earth propagation of a typical slow CME can be approximately described by two phases, a gradual acceleration out to about 20-30 solar radii, followed by a nearly invariant speed around the average solar wind level, (2) comparison between different types of CMEs indicates that faster CMEs tend to accelerate and decelerate more rapidly and have shorter cessation distances for the acceleration and deceleration, (3) both intermediate-speed and slow CMEs would have a speed comparable to the average solar wind level before reaching 1 AU, (4) slow CMEs have a high potential to interact with other solar wind structures in the Sun-Earth space due to their slow motion, providing critical ingredients to enhance space weather, and (5) the slow CMEs studied here lack strong magnetic fields at the Earth but tend to preserve a flux-rope structure with axis generally perpendicular to the radial direction from the Sun. We also suggest a "best" strategy for the application of a triangulation concept in determining CME Sun-to-Earth kinematics, which helps to clarify confusions about CME geometry assumptions in the triangulation and to improve CME analysis and observations.


title: PersisDroid: Android Performance Diagnosis via Anatomizing Asynchronous Executions

abstract: Android applications (apps) grow dramatically in recent years. Apps are user interface (UI) centric typically. Rapid UI responsiveness is key consideration to app developers. However, we still lack a handy tool for profiling app performance so as to diagnose performance problems. This paper presents PersisDroid, a tool specifically designed for this task. The key notion of PersisDroid is that the UI-triggered asynchronous executions also contribute to the UI performance, and hence its performance should be properly captured to facilitate performance diagnosis. However, Android allows tremendous ways to start the asynchronous executions, posing a great challenge to profiling such execution. This paper finds that they can be grouped into six categories. As a result, they can be tracked and profiled according to the specifics of each category with a dynamic instrumentation approach carefully tailored for Android. PersisDroid can then properly profile the asynchronous executions in task granularity, which equips it with low-overhead and high compatibility merits. Most importantly, the profiling data can greatly help the developers in detecting and locating performance anomalies. We code and open-source release PersisDroid. The tool is applied in diagnosing 20 open-source apps, and we find 11 of them contain potential performance problems, which shows its effectiveness in performance diagnosis for Android apps.


title: A Combined Deep-Learning and Deformable-Model Approach to Fully Automatic Segmentation of the Left Ventricle in Cardiac MRI

abstract: Segmentation of the left ventricle (LV) from cardiac magnetic resonance imaging (MRI) datasets is an essential step for calculation of clinical indices such as ventricular volume and ejection fraction. In this work, we employ deep learning algorithms combined with deformable models to develop and evaluate a fully automatic segmentation tool for the LV from short-axis cardiac MRI datasets. The method employs deep learning algorithms to learn the segmentation task from the ground true data. Convolutional networks are employed to automatically detect the LV chamber in MRI dataset. Stacked autoencoders are utilized to infer the shape of the LV. The inferred shape is incorporated into deformable models to improve the accuracy and robustness of the segmentation. We validated our method using 45 cardiac MR datasets taken from the MICCAI 2009 LV segmentation challenge and showed that it outperforms the state-of-the art methods. Excellent agreement with the ground truth was achieved. Validation metrics, percentage of good contours, Dice metric, average perpendicular distance and conformity, were computed as 96.69%, 0.94, 1.81mm and 0.86, versus those of 79.2%-95.62%, 0.87-0.9, 1.76-2.97mm and 0.67-0.78, obtained by other methods, respectively.


title: The initial value problem in Lagrangian drift kinetic theory

abstract: Existing high-order variational drift kinetic theories contain unphysical rapidly varying modes that are not seen at low-orders. These unphysical modes, which may be rapidly oscillating, damped, or growing, are ushered in by a failure of conventional high-order drift kinetic theory to preserve the structure of its parent model's initial value problem (Vlasov-Poisson for electrostatics, Vlasov-Darwin or Vlasov-Maxwell for electromagnetics.) In short, the system phase space is unphysically enlarged in conventional high-order variational drift kinetic theory. I present an alternative, "renormalized" variational approach to drift kinetic theory that manifestly respects the parent model's initial value problem. The basic philosophy underlying this alternate approach is that high-order drift kinetic theory ought to be derived by truncating the all-orders system phase space Lagrangian instead of the usual "field+particle" Lagrangian. For the sake of clarity, this story is told first through the lens of a finite-dimensional toy model of high-order variational drift kinetics, the analogous full-on drift kinetic results are discussed subsequently. The renormalized drift kinetic system, while just as accurate as conventional formulations, does not support the troublesome rapidly varying mode.


title: Reference-Based Almost Stochastic Dominance Rules with Application in Risk-Averse Optimization

abstract: Stochastic dominance is a preference relation of uncertain prospect defined over a class of utility functions. While this utility class represents basic properties of risk aversion, it includes some extreme utility functions rarely characterizing a rational decision maker's preference. In this paper we introduce reference-based almost stochastic dominance (RSD) rules which well balance the general representation of risk aversion and the individualization of the decision maker's risk preference. The key idea is that, in the general utility class, we construct a neighborhood of the decision maker's individual utility function, and represent a preference relation over this neighborhood. The RSD rules reveal the maximum dominance level quantifying the decision maker's robust preference between alternative choices. We also propose RSD constrained stochastic optimization model and develop an approximation algorithm based on Bernstein polynomials. This model is illustrated on a portfolio optimization problem.


title: Inter-species entanglement of Bose-Bose mixtures trapped in optical lattices

abstract: In the present work we discuss inter-species entanglement in Bose-Bose mixtures trapped in optical lattices. This work is motivated by the observation that, in the presence of a second component, the Mott-insulator lobe shifts {\em{differently}} on the hole- and particle-side with respect to the Mott lobe of the single species system (Phys. Rev. A 82, 021601, Laser Phys. 21, 1443). We use perturbation theory, formulated in a Hilbert space decomposed by means of lattice symmetries, in order to show that the nonuniform shift of the Mott lobe is a consequence of an inter-species entanglement which differs in the lowest excited states to remove and add a particle. Our results indicate that inter-species entanglement in mixtures can provide a new perspective in understanding quantum phase transitions. To validate our approach, we compare our results from perturbation theory with quantum Monte Carlo simulations.


title: Partition functions of integrable lattice models and combinatorics of symmetric polynomials

abstract: We review and present new studies on the relation between the partition functions of integrable lattice models and symmetric polynomials, and its combinatorial representation theory based on the correspondence, including our work. In particular, we examine the correspondence between the wavefunctions of the XXZ type, Felderhof type and the boson type integrable models and symmetric polynomials such as the Schur, Grothendieck and symplectic Schur functions. We also give a brief report of our work on generalizing the correspondence between the Felderhof models and factorial Schur and symplectic Schur functions.


title: Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems

abstract: One of the advantages of adopting a Model Based Development (MBD) process is that it enables testing and verification at early stages of development. However, it is often desirable to not only verify/falsify certain formal system specifications, but also to automatically explore the properties that the system satisfies. In this work, we present a framework that enables property exploration for Cyber-Physical Systems. Namely, given a parametric specification with multiple parameters, our solution can automatically infer the ranges of parameters for which the property does not hold on the system. In this paper, we consider parametric specifications in Metric or Signal Temporal Logic (MTL or STL). Using robust semantics for MTL, the parameter mining problem can be converted into a Pareto optimization problem for which we can provide an approximate solution by utilizing stochastic optimization methods. We include algorithms for the exploration and visualization of multi-parametric specifications. The framework is demonstrated on an industrial size, high-fidelity engine model as well as examples from related literature.


title: Jahn-Teller distortion driven magnetic polarons in magnetite

abstract: The first known magnetic mineral, magnetite (Fe$_3$O$_4$), has unusual properties which have fascinated mankind for centuries; it undergoes the Verwey transition at $T_{\rm V}$ $\sim$120 K with an abrupt change in structure and electrical conductivity. The mechanism of the Verwey transition however remains contentious. Here we use resonant inelastic X-ray scattering (RIXS) over a wide temperature range across the Verwey transition to identify and separate out the magnetic excitations derived from nominal Fe$^{2+}$ and Fe$^{3+}$ states. Comparison of the RIXS results with crystal-field multiplet calculations shows that the spin-orbital $dd$ excitons of the Fe$^{2+}$ sites arise from a tetragonal Jahn-Teller active polaronic distortion of the Fe$^{2+}$O$_6$ octahedra. These low-energy excitations, which get weakened for temperatures above 350 K but persist at least up to 550 K, are distinct from optical excitations and best explained as magnetic polarons.


title: First principles study of electronic structure for cubane-like and ring-shaped structures of M4O4, M4S4 clusters (M = Mn, Fe, Co, Ni, Cu)

abstract: Spin-polarized DFT has been used to perform a comprehensive study of the geometric structures and electronic properties for isolated M4X4 nano-clusters between their two stable isomers - a planar rhombus-like 2D structure and a cubane-like 3D structure with M = Mn, Fe, Co, Ni, Cu ; X = O, S. These two structural patterns of the M4X4 clusters are commonly found as building blocks in several poly-nuclear transition metal complexes in inorganic chemistry. The effect of the van der Waals corrections to the physical properties have been considered in the electronic structure calculations employing the empirical Grimme's correction (DFT+D2). We report here an interesting trend in their relative structural stability - the isolated M4O4 clusters prefer to stabilize more in the planar structure, while the cubane-like 3D structure is more favourable for most of the isolated M4S4 clusters than their planar 2D counterparts. Our study reveals that this contrasting trend in the relative structural stability is expected to be driven by an interesting interplay between the s-d and p-d hybridization effects of the constituents' valence electrons.


title: Realizing congruence subgroups inside the diffeomorphism group of a product of homotopy spheres

abstract: Let M be a smooth manifold which is homeomorphic to the n-fold product of S^k, where k is odd. There is an induced homomorphism from the group of diffeomorphisms of M to the automorphism group of H k (M ; Z). We prove that the image of this homomorphism contains a congruence subgroup of SL_n (Z) whenever n is at least 3.


title: Histogram Meets Topic Model: Density Estimation by Mixture of Histograms

abstract: The histogram method is a powerful non-parametric approach for estimating the probability density function of a continuous variable. But the construction of a histogram, compared to the parametric approaches, demands a large number of observations to capture the underlying density function. Thus it is not suitable for analyzing a sparse data set, a collection of units with a small size of data. In this paper, by employing the probabilistic topic model, we develop a novel Bayesian approach to alleviating the sparsity problem in the conventional histogram estimation. Our method estimates a unit's density function as a mixture of basis histograms, in which the number of bins for each basis, as well as their heights, is determined automatically. The estimation procedure is performed by using the fast and easy-to-implement collapsed Gibbs sampling. We apply the proposed method to synthetic data, showing that it performs well.


title: Radiative neutrino mass model with degenerate right-handed neutrinos

abstract: The radiative neutrino mass model can relate neutrino masses and dark matter at a TeV scale. If we apply this model to thermal leptogenesis, we need to consider resonant leptogenesis at that scale. It requires both finely degenerate masses for the right-handed neutrinos and a tiny neutrino Yukawa coupling. We propose an extension of the model with a U(1) gauge symmetry, in which these conditions are shown to be simultaneously realized through a TeV scale symmetry breaking. Moreover, this extension can bring about a small quartic scalar coupling between the Higgs doublet scalar and an inert doublet scalar which characterizes the radiative neutrino mass generation. It also is the origin of the $Z_2$ symmetry which guarantees the stability of dark matter. Several assumptions which are independently supposed in the original model are closely connected through this extension.


title: Bridging the Gap between Stochastic Gradient MCMC and Stochastic Optimization

abstract: Stochastic gradient Markov chain Monte Carlo (SG-MCMC) methods are Bayesian analogs to popular stochastic optimization methods; however, this connection is not well studied. We explore this relationship by applying simulated annealing to an SGMCMC algorithm. Furthermore, we extend recent SG-MCMC methods with two key components: i) adaptive preconditioners (as in ADAgrad or RMSprop), and ii) adaptive element-wise momentum weights. The zero-temperature limit gives a novel stochastic optimization method with adaptive element-wise momentum weights, while conventional optimization methods only have a shared, static momentum weight. Under certain assumptions, our theoretical analysis suggests the proposed simulated annealing approach converges close to the global optima. Experiments on several deep neural network models show state-of-the-art results compared to related stochastic optimization algorithms.


title: Some remarks on bielliptic and trigonal curves

abstract: We prove some results on algebraic curves $X$ of genus $g\geq 2$ in characteristic $0$. For example: Assume that $X$ has an automorphism $\sigma$ of prime order $p\geq 5$. If $\sigma$ has no fixed points, then $X$ cannot be trigonal. On the other hand, if $\sigma$ has fixed points, then $X$ is bielliptic only if it belongs to one of three extremal types of curves of small genus.


title: Enhanced magnetism of Cu$_n$ clusters capped with N and endohedrally doped with Cr

abstract: The focus of our work is on the production of highly magnetic materials out of Cu clusters. We have studied the relative effects of N-capping as well as N mono-doping on the structural stability and electronic properties of the small Cu clusters using first principles density functional theory based electronic structure calculations. We find that the N-capped clusters are more promising in producing giant magnetic moments, such as 14 $\mu_B$ for the Cu$_6$N$_6$ cluster and 29 $\mu_B$ for the icosahedral Cu$_{13}$N$_{12}$ clusters. This is accompanied by a substantial enhancement in their stability. We suggest that these giant magnetic moments of the capped Cu$_n$ clusters have relevance to the observed room temperature ferromagnetism of Cu doped GaN. For cage-like hollow Cu-clusters, an endohedral Cr-doping together with the N-capping appears as the most promising means to produce stable giant magnetic moments in the copper clusters.


title: Purely electrical detection of a skyrmion in constricted geometry

abstract: How to detect the skyrmion position is a crucial problem in future skyrmionics since it corresponds to the reading process of information. We propose a method to detect the skyrmion position purely electrically by measuring the Hall conductance in a constricted geometry. The Hall conductance becomes maximum when a skyrmion is at the lead position. It is possible to detect the skyrmion position even at room temperature. We find an optimized width of the sample determined by the skyrmion radius. We also investigate the effects of elastic and inelastic scatterings, and finite temperature. We find that the local density of states become minimum at the skyrmion position. Our results will be a basis of future skyrmion electronics.


title: Campaigning in Heterogeneous Social Networks: Optimal Control of SI Information Epidemics

abstract: We study the optimal control problem of maximizing the spread of an information epidemic on a social network. Information propagation is modeled as a Susceptible-Infected (SI) process and the campaign budget is fixed. Direct recruitment and word-of-mouth incentives are the two strategies to accelerate information spreading (controls). We allow for multiple controls depending on the degree of the nodes/individuals. The solution optimally allocates the scarce resource over the campaign duration and the degree class groups. We study the impact of the degree distribution of the network on the controls and present results for Erdos-Renyi and scale free networks. Results show that more resource is allocated to high degree nodes in the case of scale free networks but medium degree nodes in the case of Erdos-Renyi networks. We study the effects of various model parameters on the optimal strategy and quantify the improvement offered by the optimal strategy over the static and bang-bang control strategies. The effect of the time varying spreading rate on the controls is explored as the interest level of the population in the subject of the campaign may change over time. We show the existence of a solution to the formulated optimal control problem, which has non-linear isoperimetric constraints, using novel techniques that is general and can be used in other similar optimal control problems. This work may be of interest to political, social awareness, or crowdfunding campaigners and product marketing managers, and with some modifications may be used for mitigating biological epidemics.


title: Microscopic nuclear structure models and methods : Chiral symmetry, Wobbling motion and $\gamma-$bands

abstract: A systematic investigation of the nuclear observables related to the triaxial degree of freedom is presented using the multi-quasiparticle triaxial projected shell model (TPSM) approach. These properties correspond to the observation of $\gamma$-bands, chiral doublet bands and the wobbling mode. In the TPSM approach, $\gamma$-bands are built on each quasiparticle configuration and it is demonstrated that some observations in high-spin spectroscopy that have remained unresolved for quite some time could be explained by considering $\gamma$-bands based on two-quasiparticle configurations. It is shown in some Ce-, Nd- and Ge-isotopes that the two observed aligned or s-bands originate from the same intrinsic configuration with one of them as the $\gamma$-band based on a two-quasiparticle configuration. In the present work, we have also performed a detailed study of $\gamma$-bands observed up to the highest spin in Dysposium, Hafnium, Mercury and Uranium isotopes. Furthermore, several measurements related to chiral symmetry breaking and wobbling motion have been reported recently. These phenomena, which are possible only for triaxial nuclei, have been investigated using the TPSM approach. It is shown that doublet bands observed in lighter odd-odd Cs-isotopes can be considered as candidates for chiral symmetry breaking. Transverse wobbling motion recently observed in $^{135}$Pr has also been investigated and it is shown that TPSM approach provides a reasonable description of the measured properties.


title: Technique of production of argon-37 at proton cyclotron and detector for measurements

abstract: The technology of production of the isotope Ar-37 at proton cyclotron is developed. It is based on irradiation of the Cl-37 target with the protons of energy of a few a MeV. The example of production of tiny amount of Ar-37 is described and discussed. The detectors to measure the intensity of the sample is discussed.


title: Electromagnetic vs. Lense-Thirring alignment of black hole accretion discs

abstract: Accretion discs and black holes (BHs) have angular momenta that are generally misaligned with respect to each other, which can lead to warps in the discs and bends in any jets produced. We consider a disc that is misaligned at large radii and torqued by Lense-Thirring (LT) precession and a Blandford-Znajek (BZ) jet torque. We consider a variety of disc states that include radiatively inefficient thick discs, radiatively efficient thin discs, and super-Eddington accretion discs. The magnetic field strength of the BZ jet is chosen as either from standard equipartition arguments or from magnetically arrested disc (MAD) simulations. We show that standard thin accretion discs can reach spin-disc alignment out to large radii long before LT would play a role, as caused by the slow infall time that gives even a weak BZ jet time to align the disc. We show that geometrically thick radiatively inefficient discs and super-Eddington discs in the MAD state reach disc-spin alignment near the black hole when density profiles are shallow as in magnetohydrodynamical simulations, while the BZ jet aligns discs with steep density profiles (as in advection-dominated accretion flows) with the BH spin out to larger radii. Our results imply that the BZ jet torque should affect the cosmological evolution of BH spin magnitude and direction, BH spin measurements in active galactic nuclei and X-ray binaries, and the interpretations for Event Horizon Telescope observations of discs or jets in strong-field gravity regimes.


title: Caratheodory's solution of the Cauchy problem and question Z.Grande

abstract: It is shown that for a function $f:\mathbb R^2\to \mathbb R$ which is measurable with respect to the first variable and upper semicontinuous quasicontinuous and increasing with respect to the second variable there exists a Caratheodory's solution $y(x)=y_0+\int\limits_{x_0}^xf(t,y(t))d\mu(t)$ of the Cauchy problem $y'(x)=f(x,y(x))$ with the initial condition $y(x_0)=y_0$. There are constructed examples which indicate to essentiality of condition of increasing and give the negative answer to a question of Z.~Grande.


title: How Nanobubbles Nucleate at a Hydrophobic/Water Interface

abstract: Experimental investigations of hydrophobic/water interfaces often return controversial results, possibly due to the unknown role of gas accumulation at the interfaces. Here, during advanced atomic force microscopy of the initial evolution of gas-containing structures at a highly ordered pyrolytic graphite/water interface, a fluid phase first appeared as a circular wetting layer ~0.3 nm in thickness and was later transformed into a cap-shaped nanostructure (an interfacial nanobubble). Two-dimensional ordered domains were nucleated and grew over time outside or at the perimeter of the fluid regions, eventually confining growth of the fluid regions to the vertical direction. We determined that interfacial nanobubbles and fluid layers have very similar mechanical properties, suggesting low interfacial tension with water and a liquid-like nature, explaining their high stability and their roles in boundary slip and bubble nucleation. These ordered domains may be the interfacial hydrophilic gas hydrates and/or the long-sought chemical surface heterogeneities responsible for contact line pinning and contact angle hysteresis. The gradual nucleation and growth of hydrophilic ordered domains renders the original homogeneous hydrophobic/water interface more heterogeneous over time, which would have great consequence for interfacial properties that affect diverse phenomena, including interactions in water, chemical reactions, and the self-assembly and function of biological molecules.


title: A Study on Power Side Channels on Mobile Devices

abstract: Power side channel is a very important category of side channels, which can be exploited to steal confidential information from a computing system by analyzing its power consumption. In this paper, we demonstrate the existence of various power side channels on popular mobile devices such as smartphones. Based on unprivileged power consumption traces, we present a list of real-world attacks that can be initiated to identify running apps, infer sensitive UIs, guess password lengths, and estimate geo-locations. These attack examples demonstrate that power consumption traces can be used as a practical side channel to gain various confidential information of mobile apps running on smartphones. Based on these power side channels, we discuss possible exploitations and present a general approach to exploit a power side channel on an Android smartphone, which demonstrates that power side channels pose imminent threats to the security and privacy of mobile users. We also discuss possible countermeasures to mitigate the threats of power side channels.


title: Study of morphology effects on magnetic interactions and band gap variations for 3$d$ late transition metal bi-doped ZnO nano structures by hybrid DFT calculations

abstract: Using density functional theory (DFT) based electronic structure calculations, the effects of morphology of semiconducting nano structures on the magnetic interaction between two magnetic dopant atoms as well as a possibility of tuning band gaps have been studied in case of the bi-doped (ZnO)$_{24}$ nano structures with the impurity dopant atoms of the 3$d$ late transition metals (TM) - Mn, Fe, Co, Ni and Cu. To explore the morphology effect, three different structures of the host (ZnO)$_{24}$ nano-system having different degrees of spatial confinement, have been considered : a two dimensional (2D) nanosheet, an one dimensional (1D) nanotube and a finite cage-shaped nanocluster. The present study employs hybrid density functional theory to accurately describe the electronic structure of all the systems. It is shown here that the magnetic coupling between the two dopant atoms, remains mostly anti-ferromagnetic in course of changing the morphology from the sheet geometry to the cage-shaped geometry of the host systems, except for the case of energetically most stable bi-Mn doping, which shows a transition from ferromagnetic to anti-ferromagnetic coupling with decreasing aspect ratio of the host system. The effect of the shape change, however, has a significant effect on the overall band gap variations of both the pristine as well as all the bi-doped systems, irrespective of the nature of the dopant atoms and provides a means for easy tunability of their optoelectronic properties.


title: Electrical properties of RF sputtered PMN-PT thin films on LCMO buffered platinized glass substrate

abstract: Lead based relaxor ferroelectric thin films have been of technological importance due to excellent properties for several commercial applications. However subtleness and high cost of fabrication have plagued of these materials. In this work a systematic study of PMN-PT thin films grown on LCMO buffered platinized glass substrates has been undertaken. The films were grown at room temperature using RF magnetron sputtering. Single phase PMN-PT films could be obtained by exsitu thermal annealing in air for 2h at temperatures 550 and 650 degree C. The films annealed at temperatures lower than 550 degree C and films without buffer layer showed presence of pyrochlore. Effect of annealing temperature on the microstructure, dielectric and ferroelectric properties of the PMN-PT films has been investigated. Scanning electron micrographs of single phase PMN-PT films show a bimodal grain size distribution for films annealed at 550 and 650 degree C. A high dielectric constant of 1300 and a remnant polarization (2Pr) of 17micro C/cm2 were observed for film annealed at 650 degree C.


title: Enhanced diffusion of molecular motors in the presence of adenosine triphosphate and external force

abstract: The diffusion of a molecular motor in the presence of a constant external force is considered on the basis of a simple theoretical model. The motor is represented by a Brownian particle moving in a series of parabolic potentials placed periodically on a line, and the potential is switched stochastically from one parabola to another by a chemical reaction, which corresponds to the ATP hydrolysis or synthesis in motor proteins. It is found that the diffusion coefficient as a function of the force exhibits peaks. The mechanism of this diffusion enhancement and the possibility of observing it in F1-ATPase, a biological rotary motor, are discussed.


title: Reflections on Zeilinger-Brukner information interpretation of quantum mechanics

abstract: In this short review I present my personal reflections on Zeilinger-Brukner information interpretation of quantum mechanics (QM). In general, this interpretation is very attractive for me. However, its rigid coupling to the notion of irreducible quantum randomness is a very complicated issue which I plan to address in more detail. This note may be useful for general public interested in quantum foundations, especially because I try to analyze essentials of the information interpretation critically (i.e., not just emphasizing its advantages as it is commonly done). This review is written in non-physicist friendly manner. Experts actively exploring this interpretation may be interested in the paper as well, as in the comments of "an external observer" who have been monitoring the development of this approach to QM during the last 18 years. The last part of this review is devoted to the general methodology of science with references to views of de Finetti, Wigner, and Peres.


title: Generalized Vaidya spacetime for cubic gravity

abstract: We present a kind of generalized Vaidya solutions of a new cubic gravity in five dimensions whose field equations in spherically spacetime are always second order like the Lovelock gravity. We also study the thermodynamics of its apparent horizon and get its entropy expression and generalized Misner-Sharp energy. Finally we present the first law and second law hold in this gravity. Although all the results are analogue to those in Lovelock gravity, we in fact introduce the contribution of new cubic term in five dimensions where cubic Lovelock term is just zero.


title: Neutrino Physics and Astrophysics with IceCube

abstract: In this contribution we summarize the selected highlights of IceCube in the domain of high-energy astrophysics and particle physics. We discuss the highest-energy neutrino detection and its interpretation after 4 years of data. The significance is such that the discovery of a non terrestrial component can be claimed but its origin is not yet clarified. The high energy non-atmospheric component is seen also in other analyses with smaller significance, for instance when using muon neutrino induced events coming from the Northern hemisphere. Flavor mixing is probed along cosmic distances in an analysis using also cascade neutrino events. The results on the search for neutrino sources is presented including the results of a joint analysis with Pierre Auger and Telescope Array which is sensitive to correlations between highest energy neutrinos and UHECRs measured by the three experiments. Moreover, recent results on dark matter searches from the Sun are discussed. Finally, the results on standard neutrino oscillations are presented.


title: All-optical pulse compression of broadband microwave signal based on stimulated Brillouin scattering

abstract: Pulse compression processing based on stimulated Brillouin scattering (SBS) in an optical fiber is theoretically and experimentally demonstrated. Broadband microwave signal is electro-optically modulated onto the pump lightwave that is launched into one end of the fiber. Acoustic wave in the fiber inherits the amplitude and phase information of the pump lightwave and thus the coupling between the acoustic wave and pump lightwave leads to the auto-correlated process of the pump lightwave as well as the modulated microwave signal. Derivation of the SBS coupling equations shows that the short-pulse probe lightwave amplified by the pump lightwave possesses the nature of auto-correlation formula. All-optical pulse compression of the broadband microwave signal is implemented after a subtraction between the detected probe pulse with and without SBS. A proof-of-concept experiment is carried out. The pulse compression of a linear frequency-modulated microwave signal with 1 GHz sweep range at the carrier frequency of 4.3 GHz is successfully realized, which well matches the theoretical analysis.


title: Diversity Enhancement for Micro-Differential Evolution

abstract: The differential evolution (DE) algorithm suffers from high computational time due to slow nature of evaluation. In contrast, micro-DE (MDE) algorithms employ a very small population size, which can converge faster to a reasonable solution. However, these algorithms are vulnerable to a premature convergence as well as to high risk of stagnation. In this paper, MDE algorithm with vectorized random mutation factor (MDEVM) is proposed, which utilizes the small size population benefit while empowers the exploration ability of mutation factor through randomizing it in the decision variable level. The idea is supported by analyzing mutation factor using Monte-Carlo based simulations. To facilitate the usage of MDE algorithms with very-small population sizes, new mutation schemes for population sizes less than four are also proposed. Furthermore, comprehensive comparative simulations and analysis on performance of the MDE algorithms over various mutation schemes, population sizes, problem types (i.e. uni-modal, multi-modal, and composite), problem dimensionalities, and mutation factor ranges are conducted by considering population diversity analysis for stagnation and trapping in local optimum situations. The studies are conducted on 28 benchmark functions provided for the IEEE CEC-2013 competition. Experimental results demonstrate high performance and convergence speed of the proposed MDEVM algorithm.


title: Limits on Excited Quarks from the ATLAS Multi-jet Search

abstract: We interpret the recent ATLAS multi-jet search results using 20.3 fb-1 data at sqrt(s)=8 TeV in the context of searching for excited quarks. Within the effective field theory framework, using the null results of that search, our analysis shows that the excited quark mass below 5 TeV can be excluded at the 95% confidence level. Our analysis also indicates that when the validation of effective field theory is considered, the limit can be largely compromised.


title: Inducing Generalized Multi-Label Rules with Learning Classifier Systems

abstract: In recent years, multi-label classification has attracted a significant body of research, motivated by real-life applications, such as text classification and medical diagnoses. Although sparsely studied in this context, Learning Classifier Systems are naturally well-suited to multi-label classification problems, whose search space typically involves multiple highly specific niches. This is the motivation behind our current work that introduces a generalized multi-label rule format -- allowing for flexible label-dependency modeling, with no need for explicit knowledge of which correlations to search for -- and uses it as a guide for further adapting the general Michigan-style supervised Learning Classifier System framework. The integration of the aforementioned rule format and framework adaptations results in a novel algorithm for multi-label classification whose behavior is studied through a set of properly defined artificial problems. The proposed algorithm is also thoroughly evaluated on a set of multi-label datasets and found competitive to other state-of-the-art multi-label classification methods.


title: Circulants and critical points of polynomials

abstract: We prove that for any circulant matrix $C$ of size $n\times n$ with the monic characteristic polynomial $p(z)$, the spectrum of its $(n-1)\times(n-1)$ submatrix $C_{n-1}$ constructed with first $n-1$ rows and columns of $C$ consists of all critical points of $p(z)$. Using this fact we provide a simple proof for the Schoenberg conjecture recently proved by R. Pereira and S. Malamud. We also prove full generalization of a higher order Schoenberg-type conjecture proposed by M. de Bruin and A. Sharma and recently proved by W.S. Cheung and T.W. Ng. in its original form, i.e. for polynomials whose mass centre of roots equals zero. In this particular case, our inequality is stronger than it was conjectured by de Bruin and Sharma. Some Schmeisser's-like results on majorization of critical point of polynomials are also obtained.


title: Determination of Rashba-coupling strength for surface two-dimensional electron gas in InAs nanowires

abstract: A key concept in the field of semiconductor spintronics is an electric field control of spins via the spin-orbit coupling (SOC) and the SOC strength governs efficiency of this control. We propose a new approach that allows the experimental determination of the Rashba SOC strength for ballistic InAs nanowires. The energy spectrum and ballistic transport of carriers through the nanowire with surface two-dimensional electron gas (2DEG) in a homogeneous magnetic field are studied. A general formula for the linear-response one-dimensional ballistic thermopower is derived in the case of complex subband structure. The ballistic conductance and the thermopower are shown to reveal specific features due to strong SOC that allows us to propose a method for the SOC strength determination.


title: Semiclassical limits, Lagrangian states and coboundary equations

abstract: Assume that $f$ is a continuous transformation $f:S^1 \to S^1$. We consider here the cases where $f$ is either the transformation $f(z)=z^2$ or $f$ is a smooth diffeomorphism of the circle $S^1$. Consider a fixed continuous potential $\tau:S^1=[0,1) \to \mathbb{R}$, $\nu\in \mathbb{R}$ and $\varphi:S^1 \to \mathbb{C}$ (a quantum state). The transformation $\hat F_{\nu}$ acting on $\varphi:S^1 \to \mathbb{C}$, $\hat F_{\nu}(\varphi) = \phi$, defined by $\displaystyle \phi(z) = \hat F_{\nu} (\varphi(z)) = \varphi(f(z))e^{i\nu\tau(z)}$ describes a discrete time dynamical evolution of the quantum state $\varphi$. Given $S: \mathbb{R}\to \mathbb{R}$ we define the Lagrangian state $$\varphi_{x}^S(z) = \sum_{k\in\mathbb{Z}} e^{\frac{iS (z-k)}{\hbar}} e^{-\frac{(z-k-x)^2}{4\hbar}}.$$ In this case $\hat F_{\nu}(\varphi_{x}^S(z)) = \sum_{k\in\mathbb{Z}}e^{\frac{iS (f(z)-k)}{\hbar}}e^{-\frac{(f(z)-k-x)^2}{4\hbar}}e^{i\nu\tau(z)}$. Under suitable conditions on $S$ the micro-support of $\varphi^S_x (z)$, when $\hbar \to 0$, is $(x,S'(x))$. One of meanings of the semiclassical limit in Quantum Mechanics is to take $\nu=\frac{1}{\hbar}$ and $\hbar \to 0$. We address the question of finding $S$ such that $\varphi^S_x$ satisfies the property: $ \forall x$, we have that $\hat{F}_\nu(\varphi^S_x)$ has micro-support on the graph of $y\to S'(y)$ (which is the micro-support of $\varphi^S_x$). In other words: which $S$ is such that $\hat{F}_\nu$ leaves the micro-support of $\varphi^S_x$ invariant? This is related to a coboundary equation for $\tau$, twist conditions and the boundary of the fat attractor.


title: Exact unitary transformation for Rashba rings in magnetic and electric fields

abstract: An exact solution for single electron states on mezoscopic rings with the Rashba coupling and in the presence of external magnetic and electric fields is derived by means of a unitary transformation. The transformation maps the model to a bare ring, which gives the possibility of a very simple formulation of single or many electron problems. As an example some exact results for spin and energy levels are presented.


title: Quantum processes in short and intensive electromagnetic fields

abstract: This work provides an overview of our recent results in studying two most important and widely discussed quantum processes: electron-positron pairs production off a probe photon propagating through a polarized short-pulsed electromagnetic (e.g.\ laser) wave field or generalized Breit-Wheeler process, and a single a photon emission off an electron interacting with the laser pules, so-called non-linear Compton scattering. We show that the probabilities of particle production in both processes are determined by interplay of two dynamical effects, where the first one is related to the shape and duration of the pulse and the second one is non-linear dynamics of the interaction of charged fermions with a strong electromagnetic field. We elaborate suitable expressions for the production probabilities and cross sections, convenient for studying evolution of the plasma in presence of strong electromagnetic fields


title: A weakly universal cellular automaton on the pentagrid with two states

abstract: In this paper, we prove that there is a weakly universal cellular automaton on the pentagrid with two states. This paper improves in some sense a previous result with three states. Both results make use of \textit{\`a la Moore} neighbourhood. However, the result with three states is rotation invariant while that with two states is not. In both cases, at each step of the computation, the set of non quiescent states has always infinitely many cycles.


title: Classification of graphs based on homotopy equivalence. Homotopy equivalent graphs. Basic graphs and complexity of homotopy equivalence classes of graphs

abstract: Graph classification plays an important role is data mining, and various methods have been developed recently for classifying graphs. In this paper, we propose a novel method for graph classification that is based on homotopy equivalence of graphs. Graphs are called homotopy equivalent if one of them can be converted to the other one by contractible transformations. A basic graph and the complexity of a homotopy equivalence class are defined and investigated. It is shown all graphs belonging to a given homotopy equivalence class have similar topological properties and are represented by a basic graph with the minimal number of points and edges. Diagrams are given of basic graphs with the complexity N<7. The advantage of this classification is that it relies on computer experiments demonstrating a close connection between homotopy equivalent topological spaces and homotopy equivalent graphs.


title: Attacks on practical quantum key distribution systems (and how to prevent them)

abstract: With the emergence of an information society, the idea of protecting sensitive data is steadily gaining importance. Conventional encryption methods may not be sufficient to guarantee data protection in the future. Quantum key distribution (QKD) is an emerging technology that exploits fundamental physical properties to guarantee perfect security in theory. However, it is not easy to ensure in practice that the implementations of QKD systems are exactly in line with the theoretical specifications. Such theory-practice deviations can open loopholes and compromise the security. Several of such loopholes have been discovered and investigated in the last decade. These activities have motivated the proposal and implementation of appropriate countermeasures, thereby preventing future attacks and enhancing the practical security of QKD. This article introduces the so-called field of quantum hacking by summarizing a variety of attacks and their prevention mechanisms.


title: Photoluminescence from Silicon nanoparticles embedded in ammonium silicon hexafluoride

abstract: Silicon (Si) nanoparticles (NPs) were synthesized by transforming Si wafer surface to ammonium silicon hexafluoride (ASH) or (NH4)2SiF6 under acid vapor treatment. Si-NPs are embedded within the polycrystalline (ASH) layer formed on the Si surface exhibit a strong green-orange photoluminescence (PL). Difference measurements revealed a major double component spectra consisting of a broad band associated with the ASH-Si wafer interfacial porous oxide layer and a high energy band attributable to Si-NPs embedded in the ASH. The origin of the latter emission can be explained in terms of quantum/spatial confinement effects probably mediated by oxygen related defects in or around Si-NPs. Although Si-NPs are derived from the interface they are much smaller in size than those embedded within the interfacial porous oxide layer (SiOx, 1 < x < 2). Transmission electron microscopy (TEM) combined with Raman scattering and Fourier transformed infrared (FTIR) analysis confirmed the presence of Si-NPs and Si-O bondings pointing to the role of oxygen related defects. The presence of oxygen of up to 4.5 at.% in the (NH4)2SiF6 layer was confirmed by energy dispersive spectroscopy (EDS) analysis.


title: Dark Matter Theories in the Light of Diphoton Excess

abstract: A new type of dark matter (DM) theories are proposed in the light of the standard model (SM) singlet scalar $\phi$ which is responsible for the diphoton excess at the LHC Run 2. In the so-called $\phi$-portal DM models, after taking into account the LHC constraints and DM direct detection limits, we show that in the perturbative framework DM as either a SM singlet scalar or Dirac fermion can be allowed in a wide mass range between 400 GeV and 3 TeV. The DM can be directly detected in SM multi-jets and missing energy.


title: Collective magnetic response of inhomogeneous nanoisland FeNi films around the percolation transition

abstract: By using superconducting quantum interference device (SQUID) magnetometry we investigated anisotropic high-field (H < 7 T) low-temperature (10 K) magnetization response of inhomogeneous nanoisland FeNi films grown by rf sputtering deposition on Sitall (TiO2) glass substrates. In the grown FeNi films, the FeNi layer nominal thickness varied from 0.6 to 2.5 nm, across the percolation transition at the d_c=1.8 nm. We discovered that, beyond conventional spin-magnetism of Fe21Ni79 permalloy, the extracted out-of-plane magnetization response of the nanoisland FeNi films is not saturated in the range of investigated magnetic fields and exhibits paramagnetic-like behavior. We found that the anomalous out-of-plane magnetization response exhibits an escalating slope with increase in the nominal film thickness from 0.6 to 1.1 nm, however, it decreases with further increase in the film thickness, and then practically vanishes on approaching the FeNi film percolation threshold. At the same time, the in-plane response demonstrates saturation behavior above 1.5-2 T, competing with anomalously large diamagnetic-like response, which becomes pronounced at high magnetic fields. It is possible that the supported-metal interaction leads to the creation of a thin charge-transfer (CT) layer and a Schottky barrier at the FeNi film/Sitall (TiO2) interface. Then, in the system with nanoscale circular domains, the observed anomalous paramagnetic-like magnetization response can be associated with a large orbital moment of the localized electrons. The observed magnetization response is determined by the interplay between the paramagnetic- and diamagnetic-like contributions.


title: Ellipsometry studies of Si/Ge superlattices with embedded Ge dots

abstract: In this paper, we present an analysis for treating the spectroscopic ellipsometry response of Si/Ge superlattices (SL) with embedded Ge dots. Spectroscopic ellipsometry (SE) measurement at room temperature was used to investigate optical and electronic properties of Si/Ge SL which were grown on silicon (Si) wafers having <111> crystallographic orientation. The results of the SE analysis between 200 nm and 1000 nm indicate that the SL system can effectively be described using interdiffusion/intermixing model by assuming a multicrystalline Si and Si1-xGex intermixing layers. The electronic transitions deduced from analysis reveal Si, Ge and alloying related critical energy points.


title: Near-IR photoluminescence from Si/Ge nanowire grown silicon wafers: effect of HF treatment

abstract: We present the room temperature (RT) near-infrared (NIR) photoluminescence (PL) properties of Si/Ge nanowire (NW) grown silicon wafers which were treated by vapor of HF:HNO3 chemical mixture. This treatment activates or enhances the PL intensity at NIR region ranging from 1000 nm to 1800 nm. The PL consists of a silicon band-edge emission and a broad composite band which was centered at around 1400-1600 nm. The treatment modifies the wafer surface particularly at defect sites particularly pits around NWs and NW surfaces by etching and oxidation of Si and Ge. This process can induce spatial confinement of carriers where band-to-band (BB) emission is the dominant property in Si capped strained Si/Ge NW grown wafers. Strong signals were observed at sub-band gap energies in Ge capped Si/Ge NW grown wafers. It was found that NIR PL is a competitive property between the Si BB transition and deep-level emission which is mainly attributable to Si related defects, Ge dots and strained Ge layers. The enhancement in BB and deep-level PL was discussed in terms of strain, oxygen related defects, dots formation and carrier confinement effects. The results demonstrate the effectiveness of this method in enhancing and tuning NIR PL properties for possible applications.


title: Controlled thinning and surface smoothening of silicon nanopillars

abstract: A convenient method has been developed to thin electron beam fabricated Silicon nanopillars under controlled surface manipulation by transforming the surface of the pillars to an oxide shell layer followed by the growth of sacrificial ammonium silicon fluoride coating. The results show the formation of an oxide shell and a Silicon core without significantly changing the original length and shape of the pillars. The oxide shell layer thickness can be controlled from few nanometers up to few hundred nanometers. While down sizing in diameter, smooth Si pillar surfaces of less than 10 nm roughness within 2 {\mu}m were produced after exposure to vapors of HF and HNO3 mixture as evidenced by transmission electron microscopy (TEM) analysis. The attempt to expose for long durations leads to the growth of a thick oxide whose strain effect on pillars can be assessed by coupled LO-TO vibrational modes of Si-O bonds. Photoluminescence (PL) on the pillar structures which have been down sized exhibit visible and infrared emissions, which are attributable to microscopic pillars and to the confinement of excited carriers in Si core, respectively. The formation of a smooth core-shell structures while reducing the diameter of the Si pillars has a potential in fabricating nanoscale electronic devices and functional components.


title: Orbital angular momentum in a topological superconductor with Chern number higher than $1$

abstract: We investigate the bulk orbital angular momentum (AM) in a two-dimensional hole-doped topological superconductor (SC) which is composed of a hole-doped semiconductor thin film, a magnetic insulator, and an $s$-wave SC and is characterized by the Chern number $C = -3$. In the topological phase, $L_z/N$ is strongly reduced from the intrinsic value by the non-particle-hole-symmetric edge states as in the corresponding chiral $f$-wave SCs when the spin-orbit interactions (SOIs) are small, while this reduction of $L_z/N$ does not work for the large SOIs. Here $L_z$ and $N$ are the bulk orbital AM and the total number of particles at zero temperature, respectively. As a result, $L_z/N$ is discontinuous or continuous at the topological phase transition depending on the strengths of the SOIs. We also discuss the effects of the edge states by calculating the radial distributions of the orbital AM.


title: Discovery of periodic class II methanol masers associated with G339.986-0.425 region

abstract: Ten new class II methanol masers from the 6.7-GHz Methanol Multibeam survey catalogues III and IV were selected for a monitoring programme at both 6.7 and 12.2 GHz with the 26m Hartebeesthoek Radio Astronomy Observatory (HartRAO) radio telescope for two years and nine months, from August 2012 to May 2015. In the sample, only masers associated with G339.986-0.425 were found to show periodic variability at both 6.7 and 12.2 GHz. The existence of periodic variation was tested with four independent methods. The analytical method gave the best estimation of the period, which was 246 $\pm$ 1 days. The time series of G339.986-0.425 show strong correlations across velocity channels and between the 6.7 and 12.2 GHz masers. The time delay was also measured across channels and shows structure across the spectrum which is continuous between different maser components.


title: Covariance constraints for light front wave functions

abstract: Light front wave functions (LFWFs) are often utilized to model parton distributions and form factors where their transverse and longitudinal momenta are tied to each other in some manner that is often guided by convenience. On the other hand, the cross talk of transverse and longitudinal momenta is governed by Poincar\'e symmetry and thus popular LFWF models are often not usable to model more intricate quantities such as generalized parton distributions. In this contribution a closer look to this issue is given and it is shown how to overcome the issue for two--body LFWFs.


title: Electrically tuned super-capacitors

abstract: We show how to increase the capacitance of super-capacitors by modifying the otherwise passive separator layer and turn it into an active diode-like structure. We demonstrate 15% capacitance increase for a diode-like separators without a bias. Additional 15% capacitance increase has been observed for biased separators.


title: Transformation of germanium to fluogermanates

abstract: The surface of a single crystal Germanium wafer was transformed to crystals of germanium fluorides and oxides upon exposure to a vapor of HF and HNO3 chemical mixture. Structure analysis indicate that the transformation results in a germanate polycrystalline layer consisting of germanium oxide and ammonium fluogermanate with a preferential crystal growth orientation in <101> direction. Local vibrational mode analysis confirms the presence of N-H and Ge-F vibrational modes in addition to Ge-O stretching modes. Energy dispersive studies reveal the presence of hexagonal {\alpha}-phase GeO2 crystal clusters and ammonium fluogermanates around these clusters in addition to a surface oxide layer. Electronic band structure as probed by ellipsometry has been associated with the germanium oxide crystals and disorder induced band tailing effects at the interface of the germanate layer and the bulk Ge wafer. The acid vapor exposure causes Ge surface to emit a yellow photoluminescence at room temperature.


title: Search for supersymmetry in events with soft leptons, low jet multiplicity, and missing transverse momentum in proton-proton collisions at sqrt(s) = 8 TeV

abstract: Results are presented from a search for supersymmetric particles in scenarios with a compressed mass spectrum. The data sample corresponds to 19.7 inverse femtobarns of proton-proton collisions recorded by the CMS experiment at sqrt(s) = 8 TeV. The search targets top squark pair production in scenarios with mass differences Delta m = m(top squark) - m(neutralino) below the W-boson mass and with top-squark decays in the four-body mode (top squark to b l nu neutralino), where the neutralino is assumed to be the lightest supersymmetric particle (LSP). The signature includes a high transverse momentum (pt) jet associated with initial-state radiation, one or two low-pt leptons, and significant missing transverse energy. The event yields observed in data are consistent with the expected background contributions from standard model processes. Limits are set on the cross section for top squark pair production as a function of the top squark and LSP masses. Assuming a 100% branching fraction for the four-body decay mode, top-squark masses below 316 GeV are excluded for Delta m = 25 GeV at 95% CL. The dilepton data are also interpreted under the assumption of chargino-neutralino production, with subsequent decays to sleptons or sneutrinos. Assuming a difference between the common lightest chargino/next lightest neutralino mass and the LSP mass of 20 GeV and a tau-enriched decay scenario, masses in the range m(chargino) < 307 GeV are excluded at 95% CL.


title: Boundedness and decay of scalar waves at the Cauchy horizon of the Kerr spacetime

abstract: Adapting and extending the techniques developed in recent work with Vasy for the study of the Cauchy horizon of cosmological spacetimes, we obtain boundedness, regularity and decay of linear scalar waves on subextremal Reissner-Nordstr\"om and (slowly rotating) Kerr spacetimes, without any symmetry assumptions; in particular, we provide simple microlocal and scattering theoretic proofs of analogous results by Franzen. We show polynomial decay of linear waves relative to a Sobolev space of order slightly above $1/2$. This complements the generic $H^1_{\mathrm{loc}}$ blow-up result of Luk and Oh.


title: Analysis of linear waves near the Cauchy horizon of cosmological black holes

abstract: We show that linear scalar waves are bounded and continuous up to the Cauchy horizon of Reissner-Nordstr\"om-de Sitter and Kerr-de Sitter spacetimes, and in fact decay exponentially fast to a constant along the Cauchy horizon. We obtain our results by modifying the spacetime beyond the Cauchy horizon in a suitable manner, which puts the wave equation into a framework in which a number of standard as well as more recent microlocal regularity and scattering theory results apply. In particular, the conormal regularity of waves at the Cauchy horizon - which yields the boundedness statement - is a consequence of radial point estimates, which are microlocal manifestations of the blue-shift and red-shift effects.


title: Optical characterization of dislocation free Ge and GeOI wafers

abstract: Optical properties of dislocations free state-of-the-art Germanium(Ge) and Germanium-oninsulator(GeOI) wafers have been characterized using Fourier transformed infrared spectroscopy at oblique incidence, attenuated total reflectance, laser Raman scattering, linear and nonlinear optical transmission. In n-type Ge, in addition to vibrational modes observed in intrinsic(i) Ge, a band at 535cm-1 which is likely due to carbon and a strong peak at 668 cm-1 were observed at non-normal incidence. Despite the strong heavy hole to light hole absorption band at low energies, the 668 cm-1 peak was also observed in p-Ge. The appearance of new bands and the enhancement in band strength are in general observed in both type of wafers at oblique incidence. GeOI exhibits a strong disorder induced LO-TO coupling mode which can only be observed at non-normal incidence. Optical absorption at the near bang edge reveals the presence of doping related disorder and band shrinkage, which is supported also by Ge-Ge one-phonon line broadening at 301 cm-1. Different nonlinear optical absorption behavior was observed in n-Ge, p-Ge and GeOI wafers. The p-Ge becomes transparent to CO2 laser line at 10.6 micrometer, while transmitted power decreases in n-Ge with increasing UV-VIS pump power.


title: Numerical solutions for a Timoshenko-type system with thermoelasticity with second sound

abstract: In this work, we consider a nonlinear vibrating Timoshenko system with thermoelasticity with second sound. We recall first the results of well-posdness and regularity and the asymptotic behavior of the energy obtained in \cite{Ayadi}. Then, we use a fourth order finite difference scheme to compute the numerical solutions and thus we show the energy decay in several cases depending on the stability number. R\'esum\'e : Dans ce travail, on consid\`ere le syst\`eme de Timoshenko non-lin\'eaire avec Thermo-\'elasticit\'e et deuxi\`eme son. On rappelle d'abord les r\'esultats d'existence, de r\'egularit\'e et du comportement asymptotique de l'\'energie obtenus dans \cite{Ayadi}. Ensuite, on valide num\'eriquement ces r\'esultats th\'eoriques. Pour cela, on utilise une m\'ethode de diff\'erences finies d'ordre $4$. Ainsi la solution num\'erique obtenue permet de valider la d\'ecroissance de l'\'energie dans plusieurs cas selon la valeur du param\`etre de stabilit\'e.


title: Numerical experiments on the detailed energy conversion and spectrum studies in a corona current sheet

abstract: In this paper, we study the energy conversion and spectra in a corona current sheet by 2.5-dimensional MHD numerical simulations. Numerical results show that many Petschek-like fine structures with slow-mode shocks mediated by plasmoid instabilities develop during the magnetic reconnection process. The termination shocks can also be formed above the primary magnetic island and at the head of secondary islands. These shocks play important roles in generating thermal energy in a corona current sheet. For a numerical simulation with initial conditions close to the solar corona environment, the ratio of the generated thermal energy to the total dissipated magnetic energy is around $1/5$ before secondary islands appear. After secondary islands appear, the generated thermal energy starts to increase sharply and this ratio can reach a value about $3/5$. In an environment with a relatively lower plasma density and plasma $\beta$, the plasma can be heated to a much higher temperature. After secondary islands appear, the one dimensional energy spectra along the current sheet do not behave as a simple power law and the spectrum index increases with the wave number. The average spectrum index for the magnetic energy spectrum along the current sheet is about $1.8$. The two dimensional spectra intuitively show that part of the high energy is cascaded to large $kx$ and $ky$ space after secondary islands appear. The plasmoid distribution function calculated from numerical simulations behaves as a power law closer to $f(\psi) \sim \psi^{-1}$ in the intermediate $\psi$ regime. By using $\eta_{eff} = v_{inflow}\cdot L$, the effective magnetic diffusivity is estimated about $10^{11}\sim10^{12}$~m$^2$\,s$^{-1}$.


title: Discovering topic structures of a temporally evolving document corpus

abstract: In this paper we describe a novel framework for the discovery of the topical content of a data corpus, and the tracking of its complex structural changes across the temporal dimension. In contrast to previous work our model does not impose a prior on the rate at which documents are added to the corpus nor does it adopt the Markovian assumption which overly restricts the type of changes that the model can capture. Our key technical contribution is a framework based on (i) discretization of time into epochs, (ii) epoch-wise topic discovery using a hierarchical Dirichlet process-based model, and (iii) a temporal similarity graph which allows for the modelling of complex topic changes: emergence and disappearance, evolution, splitting, and merging. The power of the proposed framework is demonstrated on two medical literature corpora concerned with the autism spectrum disorder (ASD) and the metabolic syndrome (MetS) -- both increasingly important research subjects with significant social and healthcare consequences. In addition to the collected ASD and metabolic syndrome literature corpora which we made freely available, our contribution also includes an extensive empirical analysis of the proposed framework. We describe a detailed and careful examination of the effects that our algorithms's free parameters have on its output, and discuss the significance of the findings both in the context of the practical application of our algorithm as well as in the context of the existing body of work on temporal topic analysis. Our quantitative analysis is followed by several qualitative case studies highly relevant to the current research on ASD and MetS, on which our algorithm is shown to capture well the actual developments in these fields.


title: A Framework for Dependent Types and Effects

abstract: We generalise Levy's call-by-push-value (CBPV) to dependent type theory, to gain a better understanding of how to combine dependent types with effects. We define a dependently typed extension of CBPV, dCBPV-, and show that it has a very natural small-step operational semantics, which satisfies subject reduction and (depending on the effects present) determinism and strong normalization, and an elegant categorical semantics, which - surprisingly - is no more complicated than the simply typed semantics. We have full and faithful translations from a dependently typed version of Moggi's monadic metalanguage and of a call-by-name (CBN) dependent type theory into dCBPV- which give rise to the expected operational behaviour. However, it turns out that dCBPV- does not suffice to encode call-by-value (CBV) dependent type theory or the strong (dependent) elimination rules for positive connectives in CBN-dependent type theory. To mend this problem, we discuss a second, more expressive system dCBPV+, which additionally has a principle of Kleisli extension for dependent functions. We obtain the desired CBV- and CBN-translations of dependent type theory into dCBPV+. It too has a natural categorical semantics and operational semantics. However, depending on the effects we consider, we may lose uniqueness of typing, as the type of a computation may become more specified as certain effects are executed. This idea can be neatly formalized using a notion of subtyping. We hope that the theoretical framework of this paper on the one hand provides at least a partial answer to the fundamental type theoretic question of how one can understand the relationship between computational effects and dependent types. On the other hand, we hope it can contribute a small-step towards the ultimate goal of an elegant fully fledged language for certified effectful programming.


title: A hierarchy of Poisson brackets in non-equilibrium thermodynamics

abstract: Reversible evolution of macroscopic and mesoscopic systems can be conveniently constructed from two ingredients: an energy functional and a Poisson bracket. The goal of this paper is to elucidate how the Poisson brackets can be constructed and what additional features we also gain by the construction. In particular, the Poisson brackets governing reversible evolution in one-particle kinetic theory, kinetic theory of binary mixtures, binary fluid mixtures, classical irreversible thermodynamics and classical hydrodynamics are derived from Liouville equation. Although the construction is quite natural, a few examples where it does not work are included (e.g. the BBGKY hierarchy). Finally, a new infinite grand-canonical hierarchy of Poisson brackets is proposed, which leads to Poisson brackets expressing non-local phenomena such as turbulent motion or evolution of polymeric fluids. Eventually, Lie-Poisson structures standing behind some of the brackets are identified.