title: Physical interpretation of generalized two-mode squeezing operator revealed by virtue of the transformation of entangled state representation

abstract: By virtue of the integration method within P-ordered product of operators and the property of entangled state representation, we reveal new physical interpretation of the generalized two-mode squeezing operator (GTSO), and find it be decomposed as the product of free-space propagation operator, single-mode and two-mode squeezing operators, as well as thin lens transformation operator. This docomposition is useful to design of opticl devices for generating various squeezed states of light. Transformation of entangled state representation induced by GTSO is emphasized.


title: Neural Programmer: Inducing Latent Programs with Gradient Descent

abstract: Deep neural networks have achieved impressive supervised classification performance in many tasks including image recognition, speech recognition, and sequence to sequence learning. However, this success has not been translated to applications like question answering that may involve complex arithmetic and logic reasoning. A major limitation of these models is in their inability to learn even simple arithmetic and logic operations. For example, it has been shown that neural networks fail to learn to add two binary numbers reliably. In this work, we propose Neural Programmer, an end-to-end differentiable neural network augmented with a small set of basic arithmetic and logic operations. Neural Programmer can call these augmented operations over several steps, thereby inducing compositional programs that are more complex than the built-in operations. The model learns from a weak supervision signal which is the result of execution of the correct program, hence it does not require expensive annotation of the correct program itself. The decisions of what operations to call, and what data segments to apply to are inferred by Neural Programmer. Such decisions, during training, are done in a differentiable fashion so that the entire network can be trained jointly by gradient descent. We find that training the model is difficult, but it can be greatly improved by adding random noise to the gradient. On a fairly complex synthetic table-comprehension dataset, traditional recurrent networks and attentional models perform poorly while Neural Programmer typically obtains nearly perfect accuracy.


title: Normally Hyperbolic Invariant Laminations and diffusive behaviour for the generalized Arnold example away from resonances

abstract: In this paper we study existence of Normally Hyperbolic Invariant Laminations (NHIL) for a nearly integrable system given by the product of the pendulum and the rotator perturbed with a small coupling between the two. This example was introduced by Arnold. Using a {\it separatrix map}, introduced in a low dimensional case by Zaslavskii-Filonenko and studied in a multidimensional case by Treschev and Piftankin, for an open class of trigonometric perturbations we prove that NHIL do exist. Moreover, using a second order expansion for the separatrix map from [GKZ], we prove that the system restricted to this NHIL is a skew product of nearly integrable cylinder maps. Application of the results from [CK] about random iteration of such skew products show that in the proper $\varepsilon$-dependent time scale the push forward of a Bernoulli measure supported on this NHIL weakly converges to an Ito diffusion process on the line as $\varepsilon$ tends to zero.


title: DUDE-Seq: Fast, Flexible, and Robust Denoising for Targeted Amplicon Sequencing

abstract: We consider the correction of errors from nucleotide sequences produced by next-generation targeted amplicon sequencing. The next-generation sequencing (NGS) platforms can provide a great deal of sequencing data thanks to their high throughput, but the associated error rates often tend to be high. Denoising in high-throughput sequencing has thus become a crucial process for boosting the reliability of downstream analyses. Our methodology, named DUDE-Seq, is derived from a general setting of reconstructing finite-valued source data corrupted by a discrete memoryless channel and effectively corrects substitution and homopolymer indel errors, the two major types of sequencing errors in most high-throughput targeted amplicon sequencing platforms. Our experimental studies with real and simulated datasets suggest that the proposed DUDE-Seq not only outperforms existing alternatives in terms of error-correction capability and time efficiency, but also boosts the reliability of downstream analyses. Further, the flexibility of DUDE-Seq enables its robust application to different sequencing platforms and analysis pipelines by simple updates of the noise model. DUDE-Seq is available at http://data.snu.ac.kr/pub/dude-seq.


title: Compact Open Spectral Sets In $\mathbb{Q}_p$

abstract: In this article, we prove that a compact open set in the field $\mathbb{Q}_p$ of $p$-adic numbers is a spectral set if and only if it tiles $\mathbb{Q}_p$ by translation, and also if and only if it is $p$-homogeneous which is easy to check. We also characterize spectral sets in $\mathbb{Z}/p^n \mathbb{Z}$ ($p\ge 2$ prime, $n\ge 1$ integer) by tiling property and also by homogeneity. Moreover, we construct a class of singular spectral measures in $\mathbb{Q}_p$, some of which are self-similar measures.


title: On the Origin of Polar Coding

abstract: Polar coding was conceived originally as a technique for boosting the cutoff rate of sequential decoding, along the lines of earlier schemes of Pinsker and Massey. The key idea in boosting the cutoff rate is to take a vector channel (either given or artificially built), split it into multiple correlated subchannels, and employ a separate sequential decoder on each subchannel. Polar coding was originally designed to be a low-complexity recursive channel combining and splitting operation of this type, to be used as the inner code in a concatenated scheme with outer convolutional coding and sequential decoding. However, the polar inner code turned out to be so effective that no outer code was actually needed to achieve the original aim of boosting the cutoff rate to channel capacity. This paper explains the cutoff rate considerations that motivated the development of polar coding.


title: Nonparametric Canonical Correlation Analysis

abstract: Canonical correlation analysis (CCA) is a classical representation learning technique for finding correlated variables in multi-view data. Several nonlinear extensions of the original linear CCA have been proposed, including kernel and deep neural network methods. These approaches seek maximally correlated projections among families of functions, which the user specifies (by choosing a kernel or neural network structure), and are computationally demanding. Interestingly, the theory of nonlinear CCA, without functional restrictions, had been studied in the population setting by Lancaster already in the 1950s, but these results have not inspired practical algorithms. We revisit Lancaster's theory to devise a practical algorithm for nonparametric CCA (NCCA). Specifically, we show that the solution can be expressed in terms of the singular value decomposition of a certain operator associated with the joint density of the views. Thus, by estimating the population density from data, NCCA reduces to solving an eigenvalue system, superficially like kernel CCA but, importantly, without requiring the inversion of any kernel matrix. We also derive a partially linear CCA (PLCCA) variant in which one of the views undergoes a linear projection while the other is nonparametric. Using a kernel density estimate based on a small number of nearest neighbors, our NCCA and PLCCA algorithms are memory-efficient, often run much faster, and perform better than kernel CCA and comparable to deep CCA.


title: A family of self-avoiding random walks interpolating the loop-erased random walk and a self-avoiding walk on the Sierpinski gasket

abstract: We show that the `erasing-larger-loops-first' (ELLF) method, which was first introduced for erasing loops from the simple random walk on the Sierpinski gasket, does work also for non-Markov random walks, in particular, self-repelling walks to construct a new family of self-avoiding walks on the Sierpinski gasket. The one-parameter family constructed in this method continuously connects the loop-erased random walk and a self-avoiding walk which has the same asymptotic behavior as the `standard' self-avoiding walk. We prove the existence of the scaling limit and study some path properties: The exponent governing the short-time behavior of the scaling limit varies continuously in the parameter. The limit process is almost surely self-avoiding, while its path Hausdorff dimension is the reciprocal of the exponent above, which is strictly greater than 1.


title: A Simple DFT-aided Spatial Basis Expansion Model and Channel Estimation Strategy for TDD/FDD Massive MIMO Systems

abstract: This paper proposes a new transmission strategy for the multiuser massive multiple-input multiple-output (MIMO) systems, including uplink/downlink channel estimation and user scheduling for data transmission. A discrete Fourier transform (DFT) aided spatial basis expansion model (SBEM) is first introduced to represent the uplink/downlink channels with much few parameter dimensions by exploiting angle reciprocity and the physical characteristics of the uniform linear array (ULA). With SBEM, both uplink and downlink channel estimation of multiuser can be carried out with very few amount of training resources, which significantly reduces the training overhead and feedback cost. Meanwhile, the pilot contamination problem in the uplink raining is immediately relieved by exploiting the spatial information of users. To enhance the spectral efficiency and to fully utilize the spatial resources, we also design a greedy user scheduling scheme during the data transmission period. Compared to existing low-rank models, the newly proposed SBEM offers an alternative for channel acquisition without need of channel statistics for both TDD and FDD systems based on the angle reciprocity. Moreover, the proposed method can be efficiently deployed by the fast Fourier transform (FFT). Various numerical results are provided to corroborate the proposed studies.


title: Lattice simulation of $QC_2D$ with $N_f=2$ at non-zero baryon density

abstract: The lattice simulations of $QC_2D$ with two flavors of staggered fermions and non-zero quark chemical potential $\mu_q$ have been performed. Dependencies of the Polyakov loop, chiral condensate and baryon number density on $\mu_q$ were studied. We found that an increase of the baryon chemical potential leads to chiral symmetry restoration. At small values of $\mu_q$, our results for the baryon number density agree with ChPT predictions.


title: Ion-beam assisted laser fabrication of sensing plasmonic nanostructures

abstract: Simple high-performance two-stage hybrid technique was developed for fabrication of different plasmonic nanostructures, including nanorods, nanorings, as well as more complex structures on glass substrates. In this technique a thin noble metal film on a dielectric substrate is irradiated by a tightly focused single nanosecond laser pulse and then the modified region is slowly polished by an accelerated argon ion (Ar+) beam. As a result, each nanosecond laser pulse locally modifies the initial metal film through initiation of fast melting and subsequent hydrodynamic processes, while the following Ar+-ion polishing removes the rest of the film, revealing the hidden topography features and fabricating separate plasmonic structures on the glass substrate. We demonstrate that the shape and lateral size of the resulting functional plasmonic nanostructures depends on the laser pulse energy and metal film thickness, while subsequent Ar+-ion polishing enables to vary height of the resulting nanostructures. The plasmonic properties of the fabricated nanostructures were characterized by dark-field micro-spectroscopy, Raman and photoluminescence measurements from single nanofeatures, as well as by supporting numerical calculations of the related electromagnetic near-fields and Purcell factors. The developed simple two-stage technique represents a next step towards direct large-scale laser-induced fabrication of highly-ordered arrays of complex plasmonic nanostructures.


title: The specific charged hadron multiplicity in ep and eD semi-inclusive deep-inelastic scattering in the PYTHIA and PACIAE models

abstract: We employed the PYTHIA 6.4 model and the extended parton and hadron cascade model PACIAE 2.2 to comparatively investigate the DIS normalized specific charged hadron multiplicity in the 27.6 GeV electron semi-inclusive deep-inelastic scattering off proton and deuteron. The PYTHIA and PACIAE results calculated with default model parameters not well and fairly well reproduce the corresponding HERMES data, respectively. In addition, we have discussed the effects of the differences between the PYTHIA and PACIAE models.


title: Strong decay patterns of the hidden-charm pentaquark states $P_c(4380)$ and $P_c(4450)$

abstract: With the heavy quark symmetry and spin rearrangement scheme, we study the strong decay behavior of the hidden-charm pentaquark states with $J^P={\frac{3}{2}}^{\pm}, {\frac{5}{2}}^{\pm}$ assuming they are molecular candidates composed of ${\bar D}^{(\ast)}$ and ${\Sigma}_c^{(\ast)}$. We obtain several typical ratios of the partial decay widths of the hidden-charm pentaquarks. For the three S-wave $(\bar{D}\Sigma_c^*)$, $(\bar{D}^*\Sigma_c)$ and $(\bar{D}^*\Sigma_c^*)$ molecular pentaquarks with $J^P={{3}/{2}}^{-}$, we have obtained the ratio of their $J/\psi N$ decay widths: $\Gamma\left[(\bar D{\Sigma^{\ast}_c})\right]:\Gamma\left[({\bar D}^{\ast}{\Sigma}_c)\right]:\Gamma\left[({\bar D}^{\ast}{\Sigma^{\ast}_c})\right]=2.7:1.0:5.4$, which may be useful to further test the possible molecular assignment of the $P_c$ states.


title: Synthesizing Short-Circuiting Validation of Data Structure Invariants

abstract: This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with efficient, short-circuiting dynamic validation of arbitrarily rich data constraints. A data structure invariant checker is an inductive predicate in separation logic with an executable interpretation; a short-circuiting checker is an invariant checker that stops checking whenever it detects at run time that an assertion for some sub-structure has been fully proven statically. At a high level, our approach does two things: it statically proves the separation properties of data structure invariants using a static shape analysis in a standard way but then leverages this proof in a novel manner to synthesize short-circuiting dynamic validation of the data properties. As a consequence, we enable dynamic validation to make up for imprecision in sound static analysis while simultaneously leveraging the static verification to make the remaining dynamic validation efficient. We show empirically that short-circuiting can yield asymptotic improvements in dynamic validation, with low overhead over no validation, even in cases where static verification is incomplete.


title: Probe light-shift elimination in Generalized Hyper-Ramsey quantum clocks

abstract: We present a new interrogation scheme for the next generation of quantum clocks to suppress frequency-shifts induced by laser probing fields themselves based on Generalized Hyper-Ramsey resonances. Sequences of composite laser pulses with specific selection of phases, frequency detunings and durations are combined to generate a very efficient and robust frequency locking signal with almost a perfect elimination of the light-shift from off resonant states and to decouple the unperturbed frequency measurement from the laser's intensity. The frequency lock point generated from synthesized error signals using either $\pi/4$ or $3\pi/4$ laser phase-steps during the intermediate pulse is tightly protected against large laser pulse area variations and errors in potentially applied frequency shift compensations. Quantum clocks based on weakly allowed or completely forbidden optical transitions in atoms, ions, molecules and nuclei will benefit from these hyper-stable laser frequency stabilization schemes to reach relative accuracies below the 10$^{-18}$ level.


title: Enhanced effects of the Lorentz invariance and Einstein equivalence principle violation in 229Th nuclear transition

abstract: The Lorentz invariance and Einstein equivalence principle violating effects in the narrow 7.8 eV transition in 229Th nucleus may be 100 000 times larger than in atoms. This transition may be investigated using high precision laser spectroscopy methods, has a very small width, and suppressed systematic effects. Similar values of the effects are expected in 73 eV 235U nuclear transition which is coming within the reach of the laser spectroscopy. Mossbauer transitions give another possibility.


title: 2MTF V. Cosmography, Beta, and the residual bulk flow

abstract: Using the Tully-Fisher relation, we derive peculiar velocities for the 2MASS Tully-Fisher Survey and describe the velocity field of the nearby Universe. We use adaptive kernel smoothing to map the velocity field, and compare it to reconstructions based on the redshift space galaxy distributions of the 2MASS Redshift Survey (2MRS) and the IRAS Point Source Catalog Redshift Survey (PSCz). With a standard $\chi^2$ minimization fit to the models, we find that the PSCz model provides a better fit to the 2MTF velocity field data than does the 2MRS model, and provides a value of $\beta$ in greater agreement with literature values. However, when we subtract away the monopole deviation in the velocity zeropoint between data and model, the 2MRS model also produces a value of $\beta$ in agreement with literature values. We also calculate the `residual bulk flow': the component of the bulk flow not accounted for by the models. This is $\sim 250$ km/s when performing the standard fit, but drops to $\sim 150$ km/s for both models when the aforementioned monopole offset between data and models is removed. This smaller number is more in line with theoretical expectations, and suggests that the models largely account for the major structures in the nearby Universe responsible for the bulk velocity.


title: Long time well-posdness of the Prandtl equations in Sobolev space

abstract: In this paper, we study the long time well-posedness for the nonlinear Prandtl boundary layer equation on the half plane. While the initial data are small perturbations of some monotonic shear profile, we prove the existence, uniqueness and stability of solutions in weighted Sobolev space by energy methods. The key point is that the life span of the solution could be any large $T$ as long as its initial date is a perturbation around the monotonic shear profile of small size like $e^{-T}$. The nonlinear cancellation properties of Prandtl equations under the monotonic assumption are the main ingredients to establish a new energy estimate.


title: Production of associated $\chi_b$ and open charm at the LHC

abstract: In the present paper we study the production of $\chi_b + c\bar c$ at the LHC within single parton scattering approach. A special attention payed to the feed-down from $\chi_b$ states to the associated $\Upsilon + c\bar c$ production, which was recently studied by the LHCb. We have found that this feed-down is about percents of the total cross section seen in the experiment. It is shown that the shapes of the differential distributions are almost same as found by the LHCb except the azimuthal asymmetry, which is almost flat in the experiment. We conclude that the precise study of the single parton scattering contributions is necessary for the correct isolation of other possible production channels such as double parton scattering.


title: Accurate Measurements of Cross-plane Thermal Conductivity of Thin Films by Dual-Frequency Time-Domain Thermoreflectance (TDTR)

abstract: Accurate measurements of the cross-plane thermal conductivity {\Lambda}_cross of a high-thermal-conductivity thin film on a low-thermal-conductivity ({\Lambda}_s) substrate (e.g., {\Lambda}_cross/{\Lambda}_s>20) are challenging, due to the low thermal resistance of the thin film compared to that of the substrate. In principle, {\Lambda}_cross could be measured by time-domain thermoreflectance (TDTR), using a high modulation frequency f_h and a large laser spot size. However, with one TDTR measurement at f_h, the uncertainty of the TDTR measurement is usually high due to low sensitivity of TDTR signals to {\Lambda}_cross and high sensitivity to the thickness h_Al of Al transducer deposited on the sample for TDTR measurements. We observe that in most TDTR measurements, the sensitivity to h_Al only depends weakly on the modulation frequency f. Thus, we performed an additional TDTR measurement at a low modulation frequency f_0, such that the sensitivity to h_Al is comparable but the sensitivity to {\Lambda}cross is near zero. We then analyze the ratio of the TDTR signals at f_h to that at f_0, and thus significantly improve the accuracy of our {\Lambda}cross measurements. As a demonstration of the dual-frequency approach, we measured the cross-plane thermal conductivity of a 400-nm-thick nickel-iron alloy film and a 3-{\mu}m-thick Cu film, both with an accuracy of ~10%. The dual-frequency TDTR approach is useful for future studies of thin films.


title: Vertex-weighted graphs and freeness of $ \psi $-graphical arrangements

abstract: Let $ G $ be a simple graph of $ \ell $ vertices $ \{1, \dots, \ell \} $ with edge set $ E_{G} $. The graphical arrangement $ \mathcal{A}_{G} $ consists of hyperplanes $ \{x_{i}-x_{j}=0\} $, where $ \{i, j \} \in E_{G} $. It is well known that three properties, chordality of $ G $, supersolvability of $ \mathcal{A}_{G} $, and freeness of $ \mathcal{A}_{G} $ are equivalent. Recently, Richard P. Stanley introduced $ \psi $-graphical arrangement $ \mathcal{A}_{G, \psi} $ as a generalization of graphical arrangements. Lili Mu and Stanley characterized the supersolvability of the $ \psi $-graphical arrangements and conjectured that the freeness and the supersolvability of $ \psi $-graphical arrangements are equivalent. In this paper, we will prove the conjecture.


title: A Survey of Heterogeneous Information Network Analysis

abstract: Most real systems consist of a large number of interacting, multi-typed components, while most contemporary researches model them as homogeneous networks, without distinguishing different types of objects and links in the networks. Recently, more and more researchers begin to consider these interconnected, multi-typed data as heterogeneous information networks, and develop structural analysis approaches by leveraging the rich semantic meaning of structural types of objects and links in the networks. Compared to widely studied homogeneous network, the heterogeneous information network contains richer structure and semantic information, which provides plenty of opportunities as well as a lot of challenges for data mining. In this paper, we provide a survey of heterogeneous information network analysis. We will introduce basic concepts of heterogeneous information network analysis, examine its developments on different data mining tasks, discuss some advanced topics, and point out some future research directions.


title: Deep learning is a good steganalysis tool when embedding key is reused for different images, even if there is a cover source-mismatch

abstract: Since the BOSS competition, in 2010, most steganalysis approaches use a learning methodology involving two steps: feature extraction, such as the Rich Models (RM), for the image representation, and use of the Ensemble Classifier (EC) for the learning step. In 2015, Qian et al. have shown that the use of a deep learning approach that jointly learns and computes the features, is very promising for the steganalysis. In this paper, we follow-up the study of Qian et al., and show that, due to intrinsic joint minimization, the results obtained from a Convolutional Neural Network (CNN) or a Fully Connected Neural Network (FNN), if well parameterized, surpass the conventional use of a RM with an EC. First, numerous experiments were conducted in order to find the best " shape " of the CNN. Second, experiments were carried out in the clairvoyant scenario in order to compare the CNN and FNN to an RM with an EC. The results show more than 16% reduction in the classification error with our CNN or FNN. Third, experiments were also performed in a cover-source mismatch setting. The results show that the CNN and FNN are naturally robust to the mismatch problem. In Addition to the experiments, we provide discussions on the internal mechanisms of a CNN, and weave links with some previously stated ideas, in order to understand the impressive results we obtained.


title: Minimality of p-adic rational maps with good reduction

abstract: A rational map with good reduction in the field $\mathbb{Q}\_p$ of $p$-adic numbers defines a $1$-Lipschitz dynamical system on the projective line $\mathbb{P}^1(\mathbb{Q}\_p)$ over $\mathbb{Q}\_p$. The dynamical structure of such a system is completely described by a minimal decomposition. That is to say, $\mathbb{P}^1(\mathbb{Q}\_p)$ is decomposed into three parts: finitely many periodic orbits; finite or countably many minimal subsystems each consisting of a finite union of balls; and the attracting basins of periodic orbits and minimal subsystems. For any prime $p$, a criterion of minimality for rational maps with good reduction is obtained. When $p=2$, a condition in terms of the coefficients of the rational map is proved to be necessary for the map being minimal and having good reduction, and sufficient for the map being minimal and $1$-Lipschitz. It is also proved that a rational map having good reduction of degree $2$, $3$ and $4$ can never be minimal on the whole space $\mathbb{P}^1(\mathbb{Q}\_2)$.


title: Entropic Uncertainty Relations and their Applications

abstract: Heisenberg's uncertainty principle forms a fundamental element of quantum mechanics. Uncertainty relations in terms of entropies were initially proposed to deal with conceptual shortcomings in the original formulation of the uncertainty principle and, hence, play an important role in quantum foundations. More recently, entropic uncertainty relations have emerged as the central ingredient in the security analysis of almost all quantum cryptographic protocols, such as quantum key distribution and two-party quantum cryptography. This review surveys entropic uncertainty relations that capture Heisenberg's idea that the results of incompatible measurements are impossible to predict, covering both finite- and infinite-dimensional measurements. These ideas are then extended to incorporate quantum correlations between the observed object and its environment, allowing for a variety of recent, more general formulations of the uncertainty principle. Finally, various applications are discussed, ranging from entanglement witnessing to wave-particle duality to quantum cryptography.


title: Ground-State Cooling of a Mechanical Oscillator by Interference in Andreev Reflection

abstract: We study the ground-state cooling of a mechanical oscillator linearly coupled to the charge of a quantum dot inserted between a normal metal and a superconducting contact. Such a system can be realized, e.g., by a suspended carbon nanotube quantum dot with a capacitive coupling to a gate contact. Focusing on the subgap transport regime, we analyze the inelastic Andreev reflections which drive the resonator to a nonequilibrium state. For small coupling, we obtain that vibration-assisted reflections can occur through two distinct interference paths. The interference determines the ratio between the rates of absorption and emission of vibrational energy quanta. We show that ground-state cooling of the mechanical oscillator can be achieved for many of the oscillator's modes simultaneously or for single modes selectively, depending on the experimentally tunable coupling to the superconductor.


title: Non-classical non-Gaussian state of a mechanical resonator via selectively incoherent damping in three-mode optomechanical systems

abstract: We theoretically propose a scheme for the generation of a non-classical single-mode motional state of a mechanical resonator (MR) in the three-mode optomechanical systems, in which two optical modes of the cavities are linearly coupled to each other and one mechanical mode of the MR is optomechanically coupled to the two optical modes with the same coupling strength simultaneously. One cavity is driven by a coherent laser light. By properly tuning the frequency of the weak driving field, we obtain engineered Liouvillian superoperator via engineering the selective interaction Hamiltonian confined to the Fock subspaces. In this case, the motional state of the MR can be prepared into a non-Gaussian state, which possesses the sub-Poisson statistics although its Wigner function is positive.


title: Renormalization-Scale Uncertainty in the Decay Rate of False Vacuum

abstract: We study radiative corrections to the decay rate of false vacua, paying particular attention to the renormalization-scale dependence of the decay rate. The decay rate exponentially depends on the bounce action. The bounce action itself is renormalization scale dependent. To make the decay rate scale-independent, radiative corrections, which are due to the field fluctuations around the bounce, have to be included. We show quantitatively that the inclusion of the fluctuations suppresses the scale dependence, and hence is important for the precise calculation of the decay rate. We also apply our analysis to a supersymmetric model and show that the radiative corrections are important for the Higgs-stau system with charge breaking minima.


title: Hadoop Mapreduce Performance Enhancement Using In-node Combiners

abstract: While advanced analysis of large dataset is in high demand, data sizes have surpassed capabilities of conventional software and hardware. Hadoop framework distributes large datasets over multiple commodity servers and performs parallel computations. We discuss the I/O bottlenecks of Hadoop framework and propose methods for enhancing I/O performance. A proven approach is to cache data to maximize memory-locality of all map tasks. We introduce an approach to optimize I/O, the in-node combining design which extends the traditional combiner to a node level. The in-node combiner reduces the total number of intermediate results and curtail network traffic between mappers and reducers.


title: Dynamics and flow-coupling in two-layer turbulent thermal convection

abstract: We present an experimental investigation of the dynamics and flow-coupling of convective turbulent flows in a cylindrical Rayleigh-Benard convection cell with two immiscible fluids, water and fluorinert FC-77 electronic liquid (FC77). It is found that one large-scale circulation (LSC) roll exists in each of the fluid layers, and that their circulation planes have two preferred azimuthal orientations separated by $\sim\pi$. A surprising finding of the study is that cessations/reversals of the LSC in FC77 of the two-layer system occur much more frequently than they do in single-layer turbulent RBC, and that a cessation is most likely to result in a flow reversal of the LSC, which is in sharp contrast with the uniform distribution of the orientational angular change of the LSC before and after cessations in single-layer turbulent RBC. This implies that the dynamics governing cessations and reversals in the two systems are very different. Two coupling modes, thermal coupling (flow directions of the two LSCs are opposite to each other at the fluid-fluid interface) and viscous coupling (flow directions of the two LSCs are the same at the fluid-fluid interface), are identified with the former one as the predominant mode. That most cessations (in the FC77 layer) end up as reversals can be understood as a symmetry breaking imposed by the orientation of the LSC in the water layer, which remained unchanged most of the time. Furthermore, the frequently occurring cessations and reversals are caused by the system switching between its two metastable states, i.e. thermal and viscous coupling modes. It is also observed that the strength of the LSC in water becomes weaker when the LSC in FC77 rotates faster azimuthally and that the flow strength in FC77 becomes stronger when the LSC in water rotates faster azimuthally, i.e. the influence of the LSC in one fluid layer on the other is not symmetric.


title: Representation of homothetic forward performance processes in stochastic factor models via ergodic and infinite horizon BSDE

abstract: In an incomplete market, with incompleteness stemming from stochastic factors imperfectly correlated with the underlying stocks, we derive representations of homothetic (power, exponential and logarithmic) forward performance processes in factor-form using ergodic BSDE. We also develop a connection between the forward processes and infinite horizon BSDE, and, moreover, with risk-sensitive optimization. In addition, we develop a connection, for large time horizons, with a family of classical homothetic value function processes with random endowments.


title: Slicings of parallelogram polyominoes: Catalan, Schr\"oder, Baxter, and other sequences

abstract: We provide a new succession rule (i.e. generating tree) associated with Schr\"oder numbers, that interpolates between the known succession rules for Catalan and Baxter numbers. We define Schr\"oder and Baxter generalizations of parallelogram polyominoes, called slicings, which grow according to these succession rules. In passing, we also exhibit Schr\"oder subclasses of Baxter classes, namely a Schr\"oder subset of triples of non-intersecting lattice paths, a new Schr\"oder subset of Baxter permutations, and a new Schr\"oder subset of mosaic floorplans. Finally, we define two families of subclasses of Baxter slicings: the $m$-skinny slicings and the $m$-row-restricted slicings, for $m \in \mathbb{N}$. Using functional equations and the kernel method, their generating functions are computed in some special cases, and we conjecture that they are algebraic for any $m$.


title: Self-regular black holes quantized by means of an analogue to hydrogen atoms

abstract: We suggest a quantum black hole model that is based on an analogue to hydrogen atoms. A self-regular Schwarzschild-AdS black hole is investigated, where the mass density of the extreme black hole is given by the probability density of the ground state of hydrogen atoms and the mass densities of non-extreme black holes are given by the probability densities of excited states with no angular momenta. Such an analogue is inclined to adopt quantization of black hole horizons. In this way, the total mass of black holes is quantized. Furthermore, the quantum hoop conjecture and the Correspondence Principle are discussed.


title: Semi-continuity for total dimension divisors of \'etale sheaves

abstract: In this article, we extend a pull-back inequality for total dimension divisors of \'etale sheavs due to Saito. Using this formula, we generalize Deligne and Laumon's lower semi-continuous property for Swan conductors of \'etale sheaves on relative curves to higher relative dimensions in a geometric situation.


title: Quality assessment of voice converted speech using articulatory features

abstract: We propose a novel application based on acoustic-to-articulatory inversion towards quality assessment of voice converted speech. The ability of humans to speak effortlessly requires coordinated movements of various articulators, muscles, etc. This effortless movement contributes towards naturalness, intelligibility and speakers identity which is partially present in voice converted speech. Hence, during voice conversion, the information related to speech production is lost. In this paper, this loss is quantified for male voice, by showing increase in RMSE error for voice converted speech followed by showing decrease in mutual information. Similar results are obtained in case of female voice. This observation is extended by showing that articulatory features can be used as an objective measure. The effectiveness of proposed measure over MCD is illustrated by comparing their correlation with Mean Opinion Score.


title: A Neural Transducer

abstract: Sequence-to-sequence models have achieved impressive results on various tasks. However, they are unsuitable for tasks that require incremental predictions to be made as more data arrives or tasks that have long input sequences and output sequences. This is because they generate an output sequence conditioned on an entire input sequence. In this paper, we present a Neural Transducer that can make incremental predictions as more input arrives, without redoing the entire computation. Unlike sequence-to-sequence models, the Neural Transducer computes the next-step distribution conditioned on the partially observed input sequence and the partially generated sequence. At each time step, the transducer can decide to emit zero to many output symbols. The data can be processed using an encoder and presented as input to the transducer. The discrete decision to emit a symbol at every time step makes it difficult to learn with conventional backpropagation. It is however possible to train the transducer by using a dynamic programming algorithm to generate target discrete decisions. Our experiments show that the Neural Transducer works well in settings where it is required to produce output predictions as data come in. We also find that the Neural Transducer performs well for long sequences even when attention mechanisms are not used.


title: The CM class number one problem for curves of genus $2$

abstract: The CM class number one problem for elliptic curves asked to find all elliptic curves defined over the rationals with non-trivial endomorphism ring. For genus-2 curves it is the problem of determining all CM curves of genus $2$ defined over the reflex field. We solve the problem by showing that the list given in Bouyer and Streng [LMS J. Comput. Math., 18(1):507{538, 2015] is complete.


title: Isogeometric Boundary Element Analysis with elasto-plastic inclusions. Part 1: Plane problems

abstract: In this work a novel approach is presented for the isogeometric Boundary Element analysis of domains that contain inclusions with different elastic properties than the ones used for computing the fundamental solutions. In addition the inclusion may exhibit inelastic material behavior. In this paper only plane stress/strain problems are considered. In our approach the geometry of the inclusion is described using NURBS basis functions. The advantage over currently used methods is that no discretization into cells is required in order to evaluate the arising volume integrals. The other difference to current approaches is that Kernels of lower singularity are used in the domain term. The implementation is verified on simple finite and infinite domain examples with various boundary conditions. Finally a practical application in geomechanics is presented.


title: Nuclear physics from QCD on lattice

abstract: We have presented a strategy to study nuclei and nuclear matters from first principles, namely, from QCD. We first compute nucleon-nucleon potentials numerically in lattice QCD, and then use them to investigate properties of nuclei and nuclear matter by various methods developed in nuclear physics. As a demonstration that this strategy works, mass and structure of ^4^He, ^16^O and ^40^Ca, and equation of state of nuclear matters are determined with the lattice QCD induced two-nucleon potentials in a heavy quark region as an input. We have found that these nuclei and the symmetric nuclear matter are bound at one quark mass corresponding to the pseudo-scalar meson (pion) mass of 469 MeV (the octet baryon (nucleon) mass of 1161 MeV). The obtained binding energy per nucleon has a uniform mass-number A dependence which is consistent to the Bethe-Weizsacker mass formula qualitatively. The present study demonstrates that our strategy works well to investigate various properties of atomic nuclei and nuclear matter starting from QCD, without depending on models or experimental information about the nuclear force.


title: Order and chaos in a three dimensional galaxy model

abstract: We explore the orbital dynamics of a realistic three dimensional model describing the properties of a disk galaxy with a spherically symmetric central dense nucleus and a triaxial dark matter halo component. Regions of phase space with regular and chaotic motion are identified depending on the parameter values for triaxiality of the dark matter halo and for breaking the rotational symmetry. The four dimensional Poincar\'e map of the three degrees of freedom system is analyzed by a study of its restriction to various two dimensional invariant subsets of its domain.


title: Ground-state densities of repulsive two-component Fermi gases

abstract: We investigate separations of trapped balanced two-component atomic Fermi gases with repulsive contact interaction. Candidates for ground-state densities are obtained from the imaginary-time evolution of a nonlinear pseudo-Schr\"odinger equation in three dimensions, rather than from the cumbersome variational equations. With the underlying hydrodynamical approach, gradient corrections to the Thomas-Fermi approximation are conveniently included and are shown to be vital for reliable density profiles. We provide critical repulsion strengths that mark the onset of phase transitions in a harmonic trap. We present transitions from identical density profiles of the two fermion species towards isotropic and anisotropic separations for various confinements, including harmonic and double-well-type traps. Our proposed method is suited for arbitrary trap geometries and can be straightforwardly extended to study dynamics in the light of ongoing experiments on degenerate Fermi gases.


title: Operational Interpretation of Renyi Information Measures via Composite Hypothesis Testing Against Product and Markov Distributions

abstract: We revisit the problem of asymmetric binary hypothesis testing against a composite alternative hypothesis. We introduce a general framework to treat such problems when the alternative hypothesis adheres to certain axioms. In this case we find the threshold rate, the optimal error and strong converse exponents (at large deviations from the threshold) and the second order asymptotics (at small deviations from the threshold). We apply our results to find operational interpretations of various Renyi information measures. In case the alternative hypothesis is comprised of bipartite product distributions, we find that the optimal error and strong converse exponents are determined by variations of Renyi mutual information. In case the alternative hypothesis consists of tripartite distributions satisfying the Markov property, we find that the optimal exponents are determined by variations of Renyi conditional mutual information. In either case the relevant notion of Renyi mutual information depends on the precise choice of the alternative hypothesis. As such, our work also strengthens the view that different definitions of Renyi mutual information, conditional entropy and conditional mutual information are adequate depending on the context in which the measures are used.


title: Plasmon Weyl Degeneracies in Magnetized Plasma

abstract: In this letter, we report the presence of novel type of plasmon Weyl points in a naturally existing material - magnetized plasma. In such a medium, conventional, purely longitudinal bulk plasma oscillations exists only along the direction of applied magnetic field (z direction). With strong enough magnetic field, there exist helical propagating modes along z direction with circular polarizations. The orthogonality between the longitudinal bulk plasmon mode and the transverse helical propagating modes guarantees their crossing at the bulk plasmon frequency. These crossing points, embedded in the bulk plasmon dispersion line, serve as monopoles in the k space - the so called Weyl points. These Weyl points lead to salient observable features. These include the highly intriguing observation that, at a magnetized plasma surface which is parallel to the applied magnetic field, reflection of an electromagnetic wave with in-plane wave-vector close to the Weyl points exhibits chiral behavior only in half of the k plane, which is bounded by the projection of the bulk plasmon dispersion line. We also verify the presence of 'Fermi arcs' connecting the two Weyl points with opposite chiralities when magnetized plasma interfaces with trivial photonic materials. Our study introduces the concept of Weyl photonics into homogeneous strongly dispersive photonic materials, which could pave way for realizing new topological photonic devices.


title: Integral points on conic log K3 surfaces

abstract: Adapting a powerful method of Swinnerton-Dyer, we give explicit sufficient conditions for the existence of integral points on certain schemes which are fibered into affine conics. This includes, in particular, cases where the scheme is geometrically a smooth log K3 surface. To the knowledge of the author, this is the first family of log K3 surfaces for which such conditions are established.


title: D -> \pi l \nu and D -> K l \nu form factors with Nf=2+1+1 Twisted fermions

abstract: We present a lattice QCD determination of the vector and scalar form factors of the semileptonic decays D->\pi l \nu and D -> K l \nu which are relevant for the extraction of the CKM matrix elements |Vcd| and |Vcs| from experimental data. Our analysis is based on the gauge configurations produced by the European Twisted Mass Collaboration with Nf = 2+1+1 dynamical fermions. We simulated at three different values of the lattice spacing and with pion masses as small as 210 MeV. Our preliminary estimates for the vector form factor at zero 4-momentum transfer are f+(D -> \pi)(0) = 0.610 (23) and f+(D -> K)(0) = 0.747 (22), where the uncertainties are only statistical. By combining our results with the experimental values of f+(D -> \pi)(0) |Vcd| and f+(D -> K)(0) |Vcs| we obtain |Vcd| = 0.2336 (93) and |Vcs| = 0.975 (30), which together with the PDG determination of |Vcb| are in agreement with the unitarity constraint of the Standard Model.


title: A study of the C$_3$H$_2$ isomers and isotopologues: first interstellar detection of HDCCC

abstract: The partially deuterated linear isomer HDCCC of the ubiquitous cyclic carbene ($c$-C$_3$H$_2$) was observed in the starless cores TMC-1C and L1544 at 96.9 GHz, and a confirming line was observed in TMC-1 at 19.38 GHz. To aid the identification in these narrow line sources, four centimetre-wave rotational transitions (two in the previously reported $K_a =0$ ladder, and two new ones in the $K_a =1$ ladder), and 23 transitions in the millimetre band between 96 and 272 GHz were measured in high-resolution laboratory spectra. Nine spectroscopic constants in a standard asymmetric top Hamiltonian allow the principal transitions of astronomical interest in the $K_a \le 3$ rotational ladders to be calculated to within 0.1 km s$^{-1}$ in radial velocity up to 400 GHz. Conclusive evidence for the identification of the two astronomical lines of HDCCC was provided by the $V_{\rm{LSR}}$ which is the same as that of the normal isotopic species (H$_2$CCC) in the three narrow line sources. In these sources, deuterium fractionation in singly substituted H$_2$CCC (HDCCC/H$_2$CCC $\sim4\%\text{-}19\%$) is comparable to that in $c$-C$_3$H$_2$ ($c$-C$_3$H$_2$/$c$-C$_3$HD $\sim5\%\text{-}17\%$), and similarly in doubly deuterated $c$-C$_3$H$_2$ ($c$-C$_3$D$_2$/$c$-C$_3$HD $\sim3\%\text{-}17\%$), implying that the efficiency of the deuteration processes in the H$_2$CCC and $c$-C$_3$H$_2$ isomers are comparable in dark clouds.


title: Particle Motion in Generalized Dirac's Monopoles of dimension 2k+1

abstract: By using Meng's idea in his generalization of the classical MICZ-Kepler problem, we obtained the equations of motion of a charged particle in the field of generalized Dirac monopole in odd dimensional Euclidean spaces. The main result is that for every particle trajectory $\mathbf{r}: I\to\mathbb{R}^{2k+1} \setminus \{0\}$, there is a 2-dimensional cone with vertex at the origin on which $\mathbf{r}$ is a~geodesic.


title: Momentum dependence of kaon semileptonic form factors with Nf=2+1+1 Twisted Mass fermions

abstract: We present a lattice QCD determination of the vector and scalar form factors of the kaon semileptonic decay $K \to \pi \ell \nu$, which is relevant for the determination of the CKM matrix element $|V_{us}|$ from experimental data. Our results are based on the gauge configurations produced by the European Twisted Mass Collaboration with Nf = 2+1+1 dynamical fermions. We simulated at three different values of the lattice spacing and with pion masses as small as 210 MeV. Our estimate for the vector form factor at zero 4-momentum transfer is $f_+(0) = 0.9709 (46)$, where the uncertainty is both statistical and systematic. By combining our result with the latest experimental value of $f_+(0)|V_{us}|$ we obtain $|V_{us}| = 0.2230 (11)$, which satisfies the unitarity constraint of the Standard Model at the permille level using the updated determination of $|V_{ud}|$ coming from superallowed nuclear $\beta$ decays. We present also the momentum dependence of the vector and scalar form factors in the whole range of values of the squared 4-momentum transfer measured in $K_{\ell 3}$ decays, obtaining a good agreement with the experimental data.


title: Classifying orbits in the restricted three-body problem

abstract: The case of the planar circular restricted three-body problem is used as a test field in order to determine the character of the orbits of a small body which moves under the gravitational influence of the two heavy primary bodies. We conduct a thorough numerical analysis on the phase space mixing by classifying initial conditions of orbits and distinguishing between three types of motion: (i) bounded, (ii) escape and (iii) collisional. The presented outcomes reveal the high complexity of this dynamical system. Furthermore, our numerical analysis shows a remarkable presence of fractal basin boundaries along all the escape regimes. Interpreting the collisional motion as leaking in the phase space we related our results to both chaotic scattering and the theory of leaking Hamiltonian systems. We also determined the escape and collisional basins and computed the corresponding escape/collisional times. We hope our contribution to be useful for a further understanding of the escape and collisional mechanism of orbits in the restricted three-body problem.


title: Newtorites in bar detectors of gravitational wave

abstract: The detection of particles with only gravitational interactions (Newtorites) in gravitational bar detectors was studied in 1984 by Bernard, De Rujula and Lautrup. The negative results of dark matter searches suggest to look to exotic possibilities like Newtorites. The limits obtained with the Nautilus bar detector will be presented and the possible improvements will be discussed. Since the gravitational coupling is very weak, the possible limits are very far from what is needed for dark matter, but for large masses are the best limits obtained on the Earth. An update of limits for MACRO particles will be given.


title: A non-Golod ring with a trivial product on its Koszul homology

abstract: We present a monomial ideal $\mathfrak{a} \subset S$ such that $S/\mathfrak{a}$ is not Golod, even though the product on its Koszul homology is trivial. This constitutes a counterexample to a well-known result by Berglund and J\"ollenbeck (the error can be traced to a mistake in an earlier article by J\"ollenbeck). On the positive side, we show that if $R$ is a monomial ring such that the $r$-ary Massey product vanish for all $r \leq \max(2, \mathrm{reg} R-2)$, then $R$ is Golod. In particular, if $R$ is the Stanley-Reisner ring of a simplicial complex of dimension at most $3$, then $R$ is Golod if and only if the product on its Koszul homology is trivial. Moreover, we show that if $\Delta$ is a triangulation of a $\Bbbk$-orientable manifold whose Stanley-Reisner ring is Golod, then $\Delta$ is $2$-neighborly. This extends a recent result of Iriye and Kishimoto.


title: On the global offensive alliance in unicycle graphs

abstract: For a graph $G=(V,E)$, a set $S\subseteq V$ is a dominating set if every vertex in $V-S$ has at least a neighbor in $S$. A dominating set $S$ is a global offensive alliance if for each vertex $v$ in $V-S$ at least half the vertices from the closed neighborhood of $v$ are in $S.$ The domination number $\gamma(G)$ is the minimum cardinality of a dominating set of $G$, and the global offensive alliance number $\gamma_{o}(G)$ is the minimum cardinality of a global offensive alliance of $G$. We show that if $G$ is a connected unicycle graph of order $n$ with $l(G)$ leaves and $s(G)$ support vertices then $\gamma_{o}(G)\geq\frac{n-l(G)+s(G)}{3}$. Moreover, we characterize all extremal unicycle graphs attaining this bound.


title: Controlled Polar Asymmetry of Few-Cycle and Intense Mid-Infrared Pulses

abstract: We demonstrate synthesis of super-octave-spanning and phase-locked transients in the multi-terahertz frequency range with amplitudes exceeding 13 MV/cm. Sub-cycle polar asymmetry of the electric field is adjusted by changing the relative phase between superposed fundamental and second harmonic components. The resultant broken symmetry of the field profile is directly resolved via ultrabroadband electro-optic sampling. Access to such waveforms provides a direct route for control of low-energy degrees of freedom in condensed matter as well as non-perturbative light-matter interactions.


title: All the self-testings of the singlet for two binary measurements

abstract: Self-testing refers to the possibility of characterizing uniquely (up to local isometries) the state and measurements contained in quantum devices, based only on the observed input-output statistics. Already in the basic case of the two-qubit singlet, self-testing is not unique: the two known criteria (the maximal violation of the CHSH inequality and the Mayers-Yao correlations) are not equivalent. It is unknown how many criteria there are. In this paper, we find the whole set of criteria for the ideal self-testing of singlet with two measurements and two outcomes on each side: it coincides with all the extremal points of the quantum set that can be obtained by measuring the singlet.


title: Decay $B\to K^\ast(\to K\pi) \ell^+ \ell^-$ in covariant quark model

abstract: Our article is devoted to the study of the rare $B\to K^\ast \ell^+\ell^-$~decay where $\ell=e,\mu,\tau$. We compute the relevant form factors in the framework of the covariant quark model with infrared confinement in the full kinematical momentum transfer region. The calculated form factors are used to evaluate branching fractions and polarization observables in the cascade decay $B\to K^\ast(\to K\pi)\ell^+\ell^-$. We compare the obtained results with available experimental data and the results from other theoretical approaches.


title: Detecting electron neutrinos from solar dark matter annihilation by JUNO

abstract: We explore the electron neutrino signals from light dark matter (DM) annihilation in the Sun for the large liquid scintillator detector JUNO. In terms of the spectrum features of three typical DM annihilation channels $\chi \chi \rightarrow \nu \bar{\nu},\tau^+ \tau^-, b \bar{b}$, we take two sets of selection conditions to calculate the expected signals and atmospheric neutrino backgrounds based on the Monte Carlo simulation data. Then the JUNO sensitivities to the spin independent DM-nucleon and spin dependent DM-proton cross sections are presented. It is found that the JUNO projected sensitivities are much better than the current spin dependent direct detection experimental limits for the $\nu \bar{\nu}$ and $\tau^+ \tau^-$ channels. In the spin independent case, the JUNO will give the better sensitivity to the DM-nucleon cross section than the LUX and CDMSlite limits for the $\nu \bar{\nu}$ channel with the DM mass lighter than 6.5 GeV. If the $\nu \bar{\nu}$ or $\tau^+ \tau^-$ channel is dominant, the future JUNO results are very helpful for us to understand the tension between the DAMA annual modulation signal and other direct detection exclusions.


title: Escape dynamics in a Hamiltonian system with four exit channels

abstract: We reveal the escape mechanism of orbits in a Hamiltonian system with four exit channels composed of two-dimensional perturbed harmonic oscillators. We distinguish between trapped chaotic, non-escaping regular and escaping orbits by conducting a thorough and systematic numerical investigation in both the configuration and the phase space. We locate the different basins of escape and we relate them withe the corresponding escape times of orbits. The SALI method is used for determining the ordered or chaotic nature of the orbits. It was observed that trapped and non-escaping orbits coexist with several escape basins. When the energy is very close to the escape energy the escape rate of orbits is huge, while as the value of the energy increases the orbits escape more quickly to infinity. Furthermore, initial conditions of orbits located near the boundaries of the basins of escape and also in the vicinity of the fractal domains were found to posses the largest escape rates. The degree of the fractality of the phase space was calculated as a function of the value of the energy. Our results were compared with earlier related work.


title: Running coupling of the sextet composite Higgs model

abstract: The scale-dependent renormalized coupling of SU(3) gauge theory coupled to Nf = 2 flavors of massless Dirac flavors in the sextet representation is presented in the range 0 < g^2 < 6.5. This range includes the location where the beta-function turns zero in the MSbar scheme to 3-loop and 4-loop approximations, however our non-perturbative result shows a monotonically increasing beta-function. Our lattice calclulations are carried out at several lattice spacings allowing for a controlled continuum extrapolation. We also comment on a recent similar calculation by Hasenfratz tet al.


title: Sherlock: Scalable Fact Learning in Images

abstract: We study scalable and uniform understanding of facts in images. Existing visual recognition systems are typically modeled differently for each fact type such as objects, actions, and interactions. We propose a setting where all these facts can be modeled simultaneously with a capacity to understand unbounded number of facts in a structured way. The training data comes as structured facts in images, including (1) objects (e.g., $<$boy$>$), (2) attributes (e.g., $<$boy, tall$>$), (3) actions (e.g., $<$boy, playing$>$), and (4) interactions (e.g., $<$boy, riding, a horse $>$). Each fact has a semantic language view (e.g., $<$ boy, playing$>$) and a visual view (an image with this fact). We show that learning visual facts in a structured way enables not only a uniform but also generalizable visual understanding. We propose and investigate recent and strong approaches from the multiview learning literature and also introduce two learning representation models as potential baselines. We applied the investigated methods on several datasets that we augmented with structured facts and a large scale dataset of more than 202,000 facts and 814,000 images. Our experiments show the advantage of relating facts by the structure by the proposed models compared to the designed baselines on bidirectional fact retrieval.


title: A discontinuous Galerkin Method for the EEG Forward Problem using the Subtraction Approach

abstract: In order to perform electroencephalography (EEG) source reconstruction, i.e., to localize the sources underlying a measured EEG, the electric potential distribution at the electrodes generated by a dipolar current source in the brain has to be simulated, which is the so-called EEG forward problem. To solve it accurately, it is necessary to apply numerical methods that are able to take the individual geometry and conductivity distribution of the subject's head into account. In this context, the finite element method (FEM) has shown high numerical accuracy with the possibility to model complex geometries and conductive features, e.g., white matter conductivity anisotropy. In this article, we introduce and analyze the application of a discontinuous Galerkin (DG) method, a finite element method that includes features of the finite volume framework, to the EEG forward problem. The DG-FEM approach fulfills the conservation property of electric charge also in the discrete case, making it attractive for a variety of applications. Furthermore, as we show, this approach can alleviate modeling inaccuracies that might occur in head geometries when using classical FE methods, e.g., so-called "skull leakage effects", which may occur in areas where the thickness of the skull is in the range of the mesh resolution. Therefore, we derive a DG formulation of the FEM subtraction approach for the EEG forward problem and present numerical results that highlight the advantageous features and the potential benefits of the proposed approach.


title: Context-Free Commutative Grammars with Integer Counters and Resets

abstract: We study the computational complexity of reachability, coverability and inclusion for extensions of context-free commutative grammars with integer counters and reset operations on them. Those grammars can alternatively be viewed as an extension of communication-free Petri nets. Our main results are that reachability and coverability are inter-reducible and both NP-complete. In particular, this class of commutative grammars enjoys semi-linear reachability sets. We also show that the inclusion problem is, in general, coNEXP-complete and already $\Pi_2^\text{P}$-complete for grammars with only one non-terminal symbol. Showing the lower bound for the latter result requires us to develop a novel $\Pi_2^\text{P}$-complete variant of the classic subset sum problem.


title: Unsteady flows of heat-conducting non-Newtonian fluids in~Musielak-Orlicz spaces

abstract: Our purpose is to show the existence of weak solutions for unsteady flow of non-Newtonian incompressible nonhomogeneous, heat-conducting fluids with generalised form of the stress tensor without any restriction on its upper growth. Motivated by fluids of nonstandard rheology we focus on the general form of growth conditions for the stress tensor which makes anisotropic Musielak-Orlicz spaces a suitable function space for the considered problem. We do not assume any smallness condition on initial data in order to obtain long-time existence. Within the proof we use monotonicity methods, integration by parts adapted to nonreflexive spaces and Young measure techniques


title: Asymptotics of surface-plasmon redshift saturation at sub-nanometric separations

abstract: Many promising nanophotonics endeavours hinge upon the unique plasmonic properties of nanometallic structures with narrow non-metallic gaps, which support super-concentrated bonding modes that singularly redshift with decreasing separations. In this letter, we present a descriptive physical picture, complemented by elementary asymptotic formulae, of a nonlocal mechanism for plasmon-redshift saturation at subnanometric gap widths. Thus, by considering the electron-charge and field distributions in the close vicinity of the metal-vacuum interface, we show that nonlocality is asymptotically manifested as an effective potential discontinuity. For bonding modes in the near-contact limit, the latter discontinuity is shown to be effectively equivalent to a widening of the gap. As a consequence, the resonance-frequency near-contact asymptotics are a renormalisation of the corresponding local ones. Specifically, the renormalisation furnishes an asymptotic plasmon-frequency lower bound that scales with the $1/4$-power of the Fermi wavelength. We demonstrate these remarkable features in the prototypical cases of nanowire and nanosphere dimers, showing agreement between our elementary expressions and previously reported numerical computations.


title: Resolving the Innermost Region of the Accretion Disk of the Lensed Quasar Q 2237+0305 through Gravitational Microlensing

abstract: We study three high magnification microlensing events, generally recognized as probable caustic crossings, in the optical light curves of the multiply imaged quasar Q 2237+0305. We model the light curve of each event as the convolution of a standard thin disk luminosity profile with a straight fold caustic. We also allow for a linear gradient that can account for an additional varying background effect of microlensing. This model not only matches noticeably well the global shape of each of the three independent microlensing events but also gives remarkably similar estimates for the disk size parameter. The measured average half-light radius, $R_{1/2}=(3.0\pm 1.5)\sqrt{M/0.3M\odot}$ light-days, agrees with previous estimates. In the three events, the core of the magnification profile exhibits "fine structure" related to the innermost region of the accretion disk (located at a radial distance of $2.7\pm 1.4$ Schwarzschild radii according to our measurement). Relativistic beaming at the internal rim of the accretion disk can explain the shape and size of the fine structure, although alternative explanations are also possible. This is the first direct measurement of the size of a structure, likely the innermost stable circular orbit, at $\sim 3$ Schwarzschild radii in a quasar accretion disk. The monitoring of thousands of lensed quasars with future telescopes will allow the study of the event horizon environment of black holes in hundreds of quasars in a wide range of redshifts $(0.5<z<5)$.


title: ARMageddon: Cache Attacks on Mobile Devices

abstract: In the last 10 years, cache attacks on Intel x86 CPUs have gained increasing attention among the scientific community and powerful techniques to exploit cache side channels have been developed. However, modern smartphones use one or more multi-core ARM CPUs that have a different cache organization and instruction set than Intel x86 CPUs. So far, no cross-core cache attacks have been demonstrated on non-rooted Android smartphones. In this work, we demonstrate how to solve key challenges to perform the most powerful cross-core cache attacks Prime+Probe, Flush+Reload, Evict+Reload, and Flush+Flush on non-rooted ARM-based devices without any privileges. Based on our techniques, we demonstrate covert channels that outperform state-of-the-art covert channels on Android by several orders of magnitude. Moreover, we present attacks to monitor tap and swipe events as well as keystrokes, and even derive the lengths of words entered on the touchscreen. Eventually, we are the first to attack cryptographic primitives implemented in Java. Our attacks work across CPUs and can even monitor cache activity in the ARM TrustZone from the normal world. The techniques we present can be used to attack hundreds of millions of Android devices.


title: Fast clustering for scalable statistical analysis on structured images

abstract: The use of brain images as markers for diseases or behavioral differences is challenged by the small effects size and the ensuing lack of power, an issue that has incited researchers to rely more systematically on large cohorts. Coupled with resolution increases, this leads to very large datasets. A striking example in the case of brain imaging is that of the Human Connectome Project: 20 Terabytes of data and growing. The resulting data deluge poses severe challenges regarding the tractability of some processing steps (discriminant analysis, multivariate models) due to the memory demands posed by these data. In this work, we revisit dimension reduction approaches, such as random projections, with the aim of replacing costly function evaluations by cheaper ones while decreasing the memory requirements. Specifically, we investigate the use of alternate schemes, based on fast clustering, that are well suited for signals exhibiting a strong spatial structure, such as anatomical and functional brain images. Our contribution is twofold: i) we propose a linear-time clustering scheme that bypasses the percolation issues inherent in these algorithms and thus provides compressions nearly as good as traditional quadratic-complexity variance-minimizing clustering schemes, ii) we show that cluster-based compression can have the virtuous effect of removing high-frequency noise, actually improving subsequent estimations steps. As a consequence, the proposed approach yields very accurate models on several large-scale problems yet with impressive gains in computational efficiency, making it possible to analyze large datasets.


title: Effects of L\'evy noise on the dynamics of sine-Gordon solitons in long Josephson junctions

abstract: We numerically investigate the generation of solitons in current-biased long Josephson junctions in relation to the superconducting lifetime and the voltage drop across the device. The dynamics of the junction is modelled with a sine-Gordon equation driven by an oscillating field and subject to an external non-Gaussian noise. A wide range of $\alpha$-stable L\'evy distributions is considered as noise source, with varying stability index $\alpha$ and asymmetry parameter $\beta$. In junctions longer than a critical length, the mean switching time (MST) from superconductive to the resistive state assumes a values independent of the device length. Here, we demonstrate that such a value is directly related to the mean density of solitons which move into or from the washboard potential minimum corresponding to the initial superconductive state. Moreover, we observe: (i) a connection between the total mean soliton density and the mean potential difference across the junction; (ii) an inverse behavior of the mean voltage in comparison with the MST, with varying the junction length; (iii) evidences of non-monotonic behaviors, such as stochastic resonant activation and noise enhanced stability, of MST versus the driving frequency and noise intensity for different values of $\alpha$ and $\beta$; (iv) finally, these non-monotonic behaviors are found to be related to the mean density of solitons formed along the junction.


title: Genus two enumerative invariants in del-Pezzo surfaces with a fixed complex structure

abstract: We obtain a formula for the number of genus two curves with a fixed complex structure of a given degree on a del-Pezzo surface that pass through an appropriate number of generic points of the surface. This is done by extending the symplectic approach of Aleksey Zinger. This enumerative problem is expressed as the difference between the symplectic invariant and an intersection number on the moduli space of rational curves on the surface.


title: Coarse-to-fine Face Alignment with Multi-Scale Local Patch Regression

abstract: Facial landmark localization plays an important role in face recognition and analysis applications. In this paper, we give a brief introduction to a coarse-to-fine pipeline with neural networks and sequential regression. First, a global convolutional network is applied to the holistic facial image to give an initial landmark prediction. A pyramid of multi-scale local image patches is then cropped to feed to a new network for each landmark to refine the prediction. As the refinement network outputs a more accurate position estimation than the input, such procedure could be repeated several times until the estimation converges. We evaluate our system on the 300-W dataset [11] and it outperforms the recent state-of-the-arts.


title: Graph-based denoising for time-varying point clouds

abstract: Noisy 3D point clouds arise in many applications. They may be due to errors when constructing a 3D model from images or simply to imprecise depth sensors. Point clouds can be given geometrical structure using graphs created from the similarity information between points. This paper introduces a technique that uses this graph structure and convex optimization methods to denoise 3D point clouds. A short discussion presents how those methods naturally generalize to time-varying inputs such as 3D point cloud time series.


title: The tail empirical process of regularly varying functions of geometrically ergodic Markov chains

abstract: We consider a stationary regularly varying time series which can be expressedas a function of a geometrically ergodic Markov chain. We obtain practical conditionsfor the weak convergence of the tail array sums and feasible estimators ofcluster statistics. These conditions include the so-called geometric drift or Foster-Lyapunovcondition and can be easily checked for most usual time series models witha Markovian structure. We illustrate these conditions on several models and statisticalapplications. A counterexample is given to show a different limiting behaviorwhen the geometric drift condition is not fulfilled.


title: Tip-Induced Molecule Anchoring in Ni-Phthalocyanine on Au(111) Substrate

abstract: Pinning single molecules at desired positions can provide opportunities to fabricate bottom-up designed molecular machines. Using the combined approach of scanning tunneling microscopy and density functional theory, we report on tip-induced anchoring of Niphthalocyanine molecules on an Au(111) substrate. We demonstrate that the tip-induced current leads to the dehydrogenation of a benzene-like ligand in the molecule, which subsequently creates chemical bonds between the molecule and the substrate. It is also found that the diffusivity of Ni-phthalocyanine molecules is dramatically reduced when the molecules are anchored on the Au adatoms produced by bias pulsing. The tip-induced molecular anchoring would be readily applicable to other functional molecules that contain similar ligands.


title: Self-excitation of surface plasmon polaritons

abstract: The novel effect of self-excitation of surface plasmons (SESP) in a plasmonic nanocavity is predicted and its theory is developed from first principles. It is assumed that the cavity is formed by a nanogap between two metals and contains polarizable inclusions. Basing on the dyadic Green's function of the structure, the equations for the field in the cavity are investigated. It is shown that under certain conditions the field becomes unstable that leads to its self-excitation. The threshold criterion for self-excitation as well as the frequency of self-oscillation are derived in an analytical form. The SESP effect is explained in terms of a positive feedback for the polarization of inclusions provided by the field reflected from the cavity walls. Such a mechanism does not imply stimulated emission that distinguishes it from SPASER or plasmon laser.


title: Performing Highly Accurate Predictions Through Convolutional Networks for Actual Telecommunication Challenges

abstract: We investigated how the application of deep learning, specifically the use of convolutional networks trained with GPUs, can help to build better predictive models in telecommunication business environments, and fill this gap. In particular, we focus on the non-trivial problem of predicting customer churn in telecommunication operators. Our model, called WiseNet, consists of a convolutional network and a novel encoding method that transforms customer activity data and Call Detail Records (CDRs) into images. Experimental evaluation with several machine learning classifiers supports the ability of WiseNet for learning features when using structured input data. For this type of telecommunication business problems, we found that WiseNet outperforms machine learning models with hand-crafted features, and does not require the labor-intensive step of feature engineering. Furthermore, the same model has been applied without retraining to a different market, achieving consistent results. This confirms the generalization property of WiseNet and the ability to extract useful representations.


title: Explicit estimates for solutions to higher order elliptic PDEs via Morse index

abstract: In this paper, we establish $L^{\infty}$ and $L^{p}$ estimates for solutions of some polyharmonic elliptic equations via the Morse index. As far as we know, it seems to be the first time that such explicit estimates are obtained for polyharmonic problems.


title: Escapes in Hamiltonian systems with multiple exit channels: Part II

abstract: We explore the escape dynamics in open Hamiltonian systems with multiple channels of escape continuing the work initiated in Part I. A thorough numerical investigation is conducted distinguishing between trapped (ordered and chaotic) and escaping orbits. The determination of the location of the basins of escape towards the different escape channels and their correlations with the corresponding escape periods of the orbits is undoubtedly an issue of paramount importance. We consider four different cases depending on the perturbation function which controls the number of escape channels on the configuration space. In every case, we computed extensive samples of orbits in both the configuration and the phase space by numerically integrating the equations of motion as well as the variational equations. It was found that in all examined cases regions of non-escaping motion coexist with several basins of escape. The larger escape periods have been measured for orbits with initial conditions in the vicinity of the fractal structure, while the lowest escape rates belong to orbits with initial conditions inside the basins of escape. In addition, we related the model potential with applications in the field of reactive multichannel scattering. We hope that our numerical analysis will be useful for a further understanding of the escape mechanism of orbits in open Hamiltonian systems with two degrees of freedom.


title: The distribution of atomic hydrogen in EAGLE galaxies: morphologies, profiles, and HI holes

abstract: We compare the mass and internal distribution of atomic hydrogen (HI) in 2200 present-day central galaxies with M_star > 10^10 M_Sun from the 100 Mpc EAGLE Reference simulation to observational data. Atomic hydrogen fractions are corrected for self-shielding using a fitting formula from radiative transfer simulations and for the presence of molecular hydrogen using an empirical or a theoretical prescription from the literature. The resulting neutral hydrogen fractions, M_(HI+H2)/M_star, agree with observations to better than 0.1 dex for galaxies with M_star between 10^10 and 10^11 M_Sun. Our fiducial, empirical H2 model based on gas pressure results in galactic HI mass fractions, M_HI/M_star, that agree with observations from the GASS survey to better than 0.3 dex, but the alternative theoretical H2 formula leads to a negative offset in M_HI/M_star of up to 0.5 dex. Visual inspection reveals that most HI disks in simulated HI-rich galaxies are vertically disturbed, plausibly due to recent accretion events. Many galaxies (up to 80 per cent) contain spuriously large HI holes, which are likely formed as a consequence of the feedback implementation in EAGLE. The HI mass-size relation of all simulated galaxies is close to (but 16 per cent steeper than) observed, and when only galaxies without large holes in the HI disc are considered, the agreement becomes excellent (better than 0.1 dex). The presence of large HI holes also makes the radial HI surface density profiles somewhat too low in the centre, at \Sigma_HI > 1 M_Sun pc^-2 (by a factor of <~ 2 compared to data from the Bluedisk survey). In the outer region (\Sigma_HI < 1 M_Sun pc^-2), the simulated profiles agree quantitatively with observations. Scaled by HI size, the simulated profiles of HI-rich (M_HI > 10^9.8 M_Sun) and control galaxies (10^9.1 M_Sun > M_HI > 10^9.8 M_Sun) follow each other closely, as observed. (Abridged)


title: Critical behaviour of coherence and correlation of counterpropagating twin beams

abstract: This work analyses the temporal coherence and correlation of twin beams generated in a quasi-phase matched nonlinear crystal in a counterpropagating configuration, ranging from the low-gain regime, where counterpropagating photon pairs are generated spontaneously, to the regime of stimulated pair production, close to the MOPO (Mirrorless Optical Parametric Oscillator) threshold. Here we show a critical divergence of the correlation time and slowing down of quantum fluctuations originating from the feedback mechanism responsible of the MOPO threshold.


title: Algebraic Kan extensions along morphisms of internal algebra classifiers

abstract: An algebraic left Kan extension is a left Kan extension which interacts well with the algebraic structure present in the given situation, and these appear in various subjects such as the homotopy theory of operads and in the study of conformal field theories. In the most interesting examples, the functor along which we left Kan extend goes between categories that enjoy universal properties which express the meaning of the calculation we are trying to understand. These universal properties say that the categories in question are universal examples of some categorical structure possessing some kind of internal structure, and so fall within the theory of internal algebra classifiers described in earlier work of the author. In this article conditions of a monad-theoretic nature are identified which give rise to morphisms between such universal objects, which satisfy the key condition of Guitart-exactness, which guarantees the algebraicness of left Kan extending along them. The resulting setting explains the algebraicness of the left Kan extensions arising in operad theory, for instance from the theory of Feynman categories of Kaufmann and Ward, generalisations thereof, and also includes the situations considered by Batanin and Berger in their work on the homotopy theory of algebras of polynomial monads.


title: Microscopic Theory of Traffic Flow Instability Governing Traffic Breakdown at Highway Bottlenecks: Growing Wave of Increase in Speed in Synchronized Flow

abstract: We have revealed a growing local speed wave of increase in speed that can randomly occur in synchronized flow (S) at a highway bottleneck. The development of such a traffic flow instability leads to free flow (F) at the bottleneck; therefore, we call this instability as an S$\rightarrow$F instability. Whereas the S$\rightarrow$F instability leads to a local {\it increase in speed} (growing acceleration wave), in contrast, the classical traffic flow instability introduced in 50s--60s and incorporated later in a huge number of traffic flow models leads to a growing wave of a local {\it decrease in speed} (growing deceleration wave). We have found that the S$\rightarrow$F instability can occur only, if there is a finite time delay in driver over-acceleration. The initial speed disturbance of increase in speed (called "speed peak") that initiates the S$\rightarrow$F instability occurs usually at the downstream front of synchronized flow at the bottleneck. There can be many speed peaks with random amplitudes that occur randomly over time. It has been found that the S$\rightarrow$F instability exhibits the nucleation nature: Only when a speed peak amplitude is large enough, the S$\rightarrow$F instability occurs; in contrast, speed peaks of smaller amplitudes cause dissolving speed waves of a local increase in speed(dissolving acceleration waves) in synchronized flow. We have found that the S$\rightarrow$F instability governs traffic breakdown -- a phase transition from free flow to synchronized flow (F$\rightarrow$S transition) at the bottleneck: The nucleation nature of the S$\rightarrow$F instability explains the metastability of free flow with respect to an F$\rightarrow$S Transition at the bottleneck.


title: Torsion Galois representations over CM fields and Hecke algebras in the derived category

abstract: We construct algebras of endomorphisms in the derived category of the cohomology of arithmetic manifolds, which are generated by Hecke operators. We construct Galois representations with coefficients in these Hecke algebras and apply this technique to sharpen recent results of P. Scholze.


title: Perturbative versus non-perturbative decoupling of heavy quarks

abstract: We simulate a theory with $N_f=2$ heavy quarks of mass $M$. At energies much smaller than $M$ the heavy quarks decouple and the theory can be described by an effective theory which is a pure gauge theory to leading order in $1/M$. We present results for the mass dependence of ratios such as $t_0(M)/t_0(0)$. We compute these ratios from simulations and compare them to the perturbative prediction. The latter relies on a factorisation formula for the ratios which is valid to leading order in $1/M$.


title: Weak solutions to the full Navier-Stokes-Fourier system with slip boundary conditions in time dependent domains

abstract: We consider the compressible Navier-Stokes-Fourier system on time-dependent domains with prescribed motion of the boundary, supplemented with slip boundary conditions for the velocity. Assuming that the pressure can be decomposed into an elastic part and a thermal part, we prove global-in-time existence of weak solutions. Our approach is based on the penalization of the boundary behavior, viscosity, and the pressure in the weak formulation. Moreover, the thermal energy equation is in the weak formulation replaced by the thermal energy inequality complemented with the global total energy inequality. In the approximation scheme the thermal energy inequality is consider to be satisfied in the renormalized sense.


title: A data-driven approach to $\pi^{0}, \eta$ and $\eta^{\prime}$ single and double Dalitz decays

abstract: The dilepton invariant mass spectra and integrated branching ratios of the single and double Dalitz decays $\mathcal{P}\to\ell^{+}\ell^{-}\gamma$ and $\mathcal{P}\to\ell^{+}\ell^{-}\ell^{+}\ell^{-}$ ($\mathcal{P}=\pi^{0}, \eta, \eta^{\prime}$; $\ell=e$ or $\mu$) are predicted by means of a data-driven approach based on the use of rational approximants applied to $\pi^{0}, \eta$ and $\eta^{\prime}$ transition form factor experimental data in the space-like region.


title: Drude weight and optical conductivity of a two-dimensional heavy-hole gas with $k$-cubic spin-orbit interactions

abstract: We present detailed theoretical study on zero-frequency Drude weight and optical conductivity of a two-dimensional heavy-hole gas(2DHG) with $k$-cubic Rashba and Dresselhaus spin-orbit interactions. The presence of $k$-cubic spin-orbit couplings strongly modifies the Drude weight in comparison to the electron gas with $k$-linear spin-orbit couplings. For large hole density and strong $k$-cubic spin-orbit couplings, the density dependence of Drude weight deviates from the linear behavior. We establish a relation between optical conductivity and the Berry connection. Unlike two-dimensional electron gas with $k$-linear spin-orbit couplings, we explicitly show that the optical conductivity does not vanish even for equal strength of the two spin-orbit couplings. We attribute this fact to the non-zero Berry phase for equal strength of $k$-cubic spin-orbit couplings. The least photon energy needed to set in the optical transition in hole gas is one order of magnitude smaller than that of electron gas. Types of two van Hove singularities appear in the optical spectrum are also discussed.


title: Quantum Monte Carlo Calculations for Carbon Nanotubes

abstract: We show how lattice Quantum Monte Carlo can be applied to the electronic properties of carbon nanotubes in the presence of strong electron-electron correlations. We employ the path-integral formalism and use methods developed within the lattice QCD community for our numerical work. Our lattice Hamiltonian is closely related to the hexagonal Hubbard model augmented by a long-range electron-electron interaction. We apply our method to the single-quasiparticle spectrum of the (3,3) armchair nanotube configuration, and consider the effects of strong electron-electron correlations. Our approach is equally applicable to other nanotubes, as well as to other carbon nanostructures. We benchmark our Monte Carlo calculations against the two- and four-site Hubbard models, where a direct numerical solution is feasible.


title: Tales told by coloured tangles

abstract: Tangle machines are a topologically inspired diagrammatic formalism to describe information flow in networks. This paper begins with an expository account of tangle machines motivated by the problem of describing `covariance intersection' fusion of Gaussian estimators in networks. It then gives two examples in which tangle machines tell stories of adiabatic quantum computations, and discusses learning tangle machines from data.


title: Atmospheric effects of stellar cosmic rays on Earth-like exoplanets orbiting M-dwarfs

abstract: M-dwarf stars are generally considered favourable for rocky planet detection. However, such planets may be subject to extreme conditions due to possible high stellar activity. The goal of this work is to determine the potential effect of stellar cosmic rays on key atmospheric species of Earth-like planets orbiting in the habitable zone of M-dwarf stars and show corresponding changes in the planetary spectra. We build upon the cosmic rays model scheme of Grenfell et al. (2012), who considered cosmic ray induced NOx production, by adding further cosmic ray induced production mechanisms (e.g. for HOx) and introducing primary protons of a wider energy range (16 MeV - 0.5 TeV). Previous studies suggested that planets in the habitable zone that are subject to strong flaring conditions have high atmospheric methane concentrations, while their ozone biosignature is completely destroyed. Our current study shows, however, that adding cosmic ray induced HOx production can cause a decrease in atmospheric methane abundance of up to 80\%. Furthermore, the cosmic ray induced HOx molecules react with NOx to produce HNO$_3$, which produces strong HNO$_3$ signals in the theoretical spectra and reduces NOx-induced catalytic destruction of ozone so that more than 25\% of the ozone column remains. Hence, an ozone signal remains visible in the theoretical spectrum (albeit with a weaker intensity) when incorporating the new cosmic ray induced NOx and HOx schemes, even for a constantly flaring M-star case. We also find that HNO$_3$ levels may be high enough to be potentially detectable. Since ozone concentrations, which act as the key shield against harmful UV radiation, are affected by cosmic rays via NOx-induced catalytic destruction of ozone, the impact of stellar cosmic rays on surface UV fluxes is also studied.


title: Soft Theorems from String Theory

abstract: Soft behaviour of closed string amplitudes involving dilatons, gravitons and anti-symmetric tensors, is studied in the framework of bosonic string theory. The leading double soft limit of gluons is analysed as well, starting from scattering amplitudes computed in the open bosonic string. Field theory expressions are then obtained by sending the string tension to infinity. The presented results have been derived in the papers of Ref.[1].


title: Coates-Wiles homomorphisms and Iwasawa cohomology for Lubin-Tate extensions

abstract: For the $p$-cyclotomic tower of $\mathbb{Q}_p$ Fontaine established a description of local Iwasawa cohomology with coefficients in a local Galois representation $V$ in terms of the $\psi$-operator acting on the attached etale $(\varphi,\Gamma)$-module $D(V)$. In this article we generalize Fontaine's result to the case of arbitratry Lubin-Tate towers $L_\infty$ over finite extensions $L$ of $\mathbb{Q}_p$ by using the Kisin-Ren/Fontaine equivalence of categories between Galois representations and $(\varphi_L,\Gamma_L)$-module and extending parts of [Herr L.: Sur la cohomologie galoisienne des corps $p$-adiques. Bull. Soc. Math. France 126, 563-600 (1998)], [Scholl A. J.: Higher fields of norms and $(\phi,\Gamma)$-modules. Documenta Math.\ 2006, Extra Vol., 685-709]. Moreover, we prove a kind of explicit reciprocity law which calculates the Kummer map over $L_\infty$ for the multiplicative group twisted with the dual of the Tate module $T$ of the Lubin-Tate formal group in terms of Coleman power series and the attached $(\varphi_L,\Gamma_L)$-module. The proof is based on a generalized Schmid-Witt residue formula. Finally, we extend the explicit reciprocity law of Bloch and Kato [Bloch S., Kato K.: $L$-functions and Tamagawa numbers of motives. The Grothendieck Festschrift, Vol. I, 333-400, Progress Math., 86, Birkh\"auser Boston 1990] Thm. 2.1 to our situation expressing the Bloch-Kato exponential map for $L(\chi_{LT}^r)$ in terms of generalized Coates-Wiles homomorphisms, where the Lubin-Tate characater $\chi_{LT}$ describes the Galois action on $T.$


title: A stroll along the gamma

abstract: We provide the first in-depth study of the "smart path" interpolation between an arbitrary probability measure and the gamma-$(\alpha, \lambda)$ distribution. We propose new explicit representation formulae for the ensuing process as well as a new notion of relative Fisher information with a gamma target distribution. We use these results to prove a differential and an integrated De Bruijn identity which hold under minimal conditions, hereby extending the classical formulae which follow from Bakry, Emery and Ledoux's $\Gamma$-calculus. Exploiting a specific representation of the "smart path", we obtain a new proof of the logarithmic Sobolev inequality for the gamma law with $\alpha\geq 1/2$ as well as a new type of HSI inequality linking relative entropy, Stein discrepancy and standardized Fisher information for the gamma law with $\alpha\geq 1/2$.


title: Phase behavior near and beyond the thermodynamic stability threshold

abstract: The phase behavior of stabilized dispersions of macromolecules is most easily described in terms of the effective interaction between the centers of mass of solute particles. For molecules like polymer chains, dendrimers, etc., the effective pair potential is {\em finite} at the origin, allowing "particles" to freely interpenetrate each other. Using a double-Gaussian model (DGM) for demonstration, we studied the behavior of the system as a function of the attraction strength $\eta$. Above a critical strength $\eta_{\rm c}$, the infinite-size system is Ruelle-unstable, in that it collapses to a cluster of finite volume. As $\eta_{\rm c}$ is approached from below, the liquid-vapor region exhibits an anomalous widening at low temperature, and the liquid density apparently diverges at the stability threshold. Above $\eta_{\rm c}$, the thermodynamic plane is divided in two regions, differing in the value of the {\em average} waiting time for collapse, being finite and small on one side of the boundary line, while large or even infinite in the other region. Upon adding a small hard core to the DGM potential, stability is fully recovered and the boundary line is converted to the spinodal line of a transition between fluid phases. We argue that the destabilization of a colloidal dispersion, as induced by the addition of salt or other flocculant, finds a suggestive analogy in the process by which a strengthening of the attraction pushes a stabilized-DGM system inside the fluid-fluid spinodal region.


title: PageRank in undirected random graphs

abstract: PageRank has numerous applications in information retrieval, reputation systems, machine learning, and graph partitioning.In this paper, we study PageRank in undirected random graphs with expansion property. The Chung-Lu random graph representsan example of such graphs. We show that in the limit, as the size of the graph goes to infinity, PageRank can be represented by a mixture of the restart distribution and the vertex degree distribution.

categories: cs.SI cs.DM math.PR math.SP physics.soc-ph


title: A framework for deadlock detection in core ABS

abstract: We present a framework for statically detecting deadlocks in a concurrent object-oriented language with asynchronous method calls and cooperative scheduling of method activations. Since this language features recursion and dynamic resource creation, deadlock detection is extremely complex and state-of-the-art solutions either give imprecise answers or do not scale. In order to augment precision and scalability we propose a modular framework that allows several techniques to be combined. The basic component of the framework is a front-end inference algorithm that extracts abstract behavioural descriptions of methods, called contracts, which retain resource dependency information. This component is integrated with a number of possible different back-ends that analyse contracts and derive deadlock information. As a proof-of-concept, we discuss two such back-ends: (i) an evaluator that computes a fixpoint semantics and (ii) an evaluator using abstract model checking.


title: Stability and convergence analysis of a class of continuous piecewise polynomial approximations for time fractional differential equations

abstract: We propose and study a class of numerical schemes to approximate time fractional differential equations. The methods are based on the approximation of the Caputo fractional derivative by continuous piecewise polynomials, which is strongly related to the backward differentiation formulae for the integer-order case. We investigate their theoretical properties, such as the local truncation error and global error analyses with respect to a sufficiently smooth solution, and the numerical stability in terms of the stability region and $A(\frac{\pi}{2})$-stability by refining the technique proposed in \cite{LubichC:1986b}. Numerical experiments are given to verify the theoretical investigations.


title: Stable Yang-Mills connections on Special Holonomy Manifolds

abstract: We prove that energy minimizing Yang-Mills connections on a compact $G_{2}$-manifold has holonomy equal to $G_{2}$ are $G_{2}$-instantons, subject to an extra condition on the curvature. Furthermore, we show that energy minimizing connections on a compact Calabi-Yau $3$-fold has holonomy equal to $SU(3)$ subject to a similar condition are holomorphic.