title: Stabilization of Boij-S\"oderberg Decompositions of Ideal Powers

abstract: Given an ideal $I$ we investigate the decompositions of Betti diagrams of the graded family of ideals $\{I^k \}_k$ formed by taking powers of $I$. We prove conjectures of Engstr\"om and show that there is a stabilization in the Boij-S\"oderberg decompositions of $I^k$ for $k>>0$ when $I$ is a homogeneous ideal with generators in a single degree. In particular, the number of terms in the decompositions with positive coefficients remains constant for $k>>0$, the pure diagrams appearing in each decomposition have the same shape, and the coefficients of these diagrams are given by polynomials in $k$. We also show that a similar result holds for decompositions with arbitrary coefficients arising from other chains of pure diagrams.


title: Uniqueness Properties for Discrete equations and Carleman estimates

abstract: Using Carleman estimates, we give a lower bound for solutions to the discrete Schr\"odinger equation in both dynamic and stationary settings that allows us to prove uniqueness results, under some assumptions on the decay of the solutions.


title: Thermodynamically Consistent Coarse-Graining of Polymers

abstract: Book Chapter from "Coarse-Grained Modeling of Biomolecules" part of the submitted "Series in Computational Biophysics"


title: Coronoids, Patches and Generalised Altans

abstract: In this paper we revisit coronoids, in particular multiple coronoids. We consider a mathematical formalisation of the theory of coronoid hydrocarbons that is solely based on incidence between hexagons of the infinite hexagonal grid in the plane. In parallel, we consider perforated patches, which generalise coronoids: in addition to hexagons, other polygons may also be present. Just as coronoids may be considered as benzenoids with holes, perforated patches are patches with holes. Both cases, coronoids and perforated patches, admit a generalisation of the altan operation that can be performed at several holes simultaneously. A formula for the number of Kekul\'e structures of a generalised altan can be derived easily if the number of Kekul\'e structures is known for the original graph. Pauling Bond Orders for generalised altans are also easy to derive from those of the original graph.


title: A GeV source in the direction of Supernova Remnant CTB 37B

abstract: Supernova remnants (SNRs) are the most attractive candidates for the acceleration sites of Galactic cosmic rays. We report the detection of GeV $\gamma$-ray emission with the Pass 8 events recorded by Fermi Large Area Telescope (Fermi-LAT) in the vicinity of the shell type SNR CTB 37B that is likely associated with the TeV $\gamma-$ray source HESS J1713-381. The photon spectrum of CTB 37B is consistent with a power-law with an index of $1.89\pm0.08$ in the energy range of $0.5-500$ GeV, and the measured flux connects smoothly with that of HESS J1713-381 at a few hundred GeV. No significant spatial extension and time variation are detected. The multi-wavelength data can be well fitted with either a leptonic model or a hadronic one. However, parameters of both models suggest more efficient particle acceleration than typical SNRs. Meanwhile, the X-ray and $\gamma$-ray spectral properties of CTB 37B show that it is an interesting source bridging young SNRs dominated by non-thermal emission and old SNRs interacting with molecular clouds.


title: A microrod-resonator Brillouin laser with 240 Hz absolute linewidth

abstract: We demonstrate an ultralow-noise microrod-resonator based laser that oscillates on the gain supplied by the stimulated Brillouin scattering optical nonlinearity. Microresonator Brillouin lasers are known to offer an outstanding frequency noise floor, which is limited by fundamental thermal fluctuations. Here, we show experimental evidence that thermal effects also dominate the close-to-carrier frequency fluctuations. The 6-mm diameter microrod resonator used in our experiments has a large optical mode area of ~100 {\mu}m$^2$, and hence its 10 ms thermal time constant filters the close-to-carrier optical frequency noise. The result is an absolute laser linewidth of 240 Hz with a corresponding white-frequency noise floor of 0.1 Hz$^2$/Hz. We explain the steady-state performance of this laser by measurements of its operation state and of its mode detuning and lineshape. Our results highlight a mechanism for noise that is common to many microresonator devices due to the inherent coupling between intracavity power and mode frequency. We demonstrate the ability to reduce this noise through a feedback loop that stabilizes the intracavity power.


title: Rational Cherednik algebras and categorification

abstract: In this survey article we review Kac-Moody and Heisenberg algebra actions on the categories $\mathcal{O}$ of the rational Cherednik algebras associated to groups $G(\ell,1,n)$. Using these actions we solve basic representation theoretic problems for these categories such as the classification of finite dimensional irreducible representations and computation of characters of the irreducibles.


title: Predicting protein dynamics from structural ensembles

abstract: The biological properties of proteins are uniquely determined by their structure and dynamics. A protein in solution populates a structural ensemble of metastable configurations around the global fold. From overall rotation to local fluctuations, the dynamics of proteins can cover several orders of magnitude in time scales. We propose a simulation-free coarse-grained approach which utilizes knowledge of the important metastable folded states of the protein to predict the protein dynamics. This approach is based upon the Langevin Equation for Protein Dynamics (LE4PD), a Langevin formalism in the coordinates of the protein backbone. The linear modes of this Langevin formalism organize the fluctuations of the protein, so that more extended dynamical cooperativity relates to increasing energy barriers to mode diffusion. The accuracy of the LE4PD is verified by analyzing the predicted dynamics across a set of seven different proteins for which both relaxation data and NMR solution structures are available. Using experimental NMR conformers as the input structural ensembles, LE4PD predicts quantitatively accurate results, with correlation coefficient \r{ho} = .93 to NMR backbone relaxation measurements for the seven proteins. The NMR solution structure derived ensemble and predicted dynamical relaxation is compared with molecular dy- namics simulation-derived structural ensembles and LE4PD predictions, and are consistent in the timescale of the simulations. The use of the experimental NMR conformers frees the approach from computationally demanding simulations.


title: Pipe3D, a pipeline to analyze Integral Field Spectroscopy data: I. New fitting phylosophy of FIT3D

abstract: We present an improved version of FIT3D, a fitting tool for the analysis of the spectroscopic properties of the stellar populations and the ionized gas derived from moderate resolution spectra of galaxies. FIT3D is a tool developed to analyze Integral Field Spectroscopy data and it is the basis of Pipe3D, a pipeline already used in the analysis of datasets like CALIFA, MaNGA, and SAMI. We describe the philosophy behind the fitting procedure, and in detail each of the different steps in the analysis. We present an extensive set of simulations in order to estimate the precision and accuracy of the derived parameters for the stellar populations. In summary, we find that using different stellar population templates we reproduce the mean properties of the stellar population (age, metallicity, and dust attenuation) within ~0.1 dex. A similar approach is adopted for the ionized gas, where a set of simulated emission- line systems was created. Finally, we compare the results of the analysis using FIT3D with those provided by other widely used packages for the analysis of the stellar population (Starlight, Steckmap, and analysis based on stellar indices) using real high S/N data. In general we find that the parameters for the stellar populations derived by FIT3D are fully compatible with those derived using these other tools.


title: Discovery potential for the neutral charmoniumlike $Z^{0}(4200)$ by $\bar{p}p$ annihilation

abstract: Inspired by the observation of charmoniumlike $Z(4200)$, we explore the discovery potential of the neutral $Z^{0}(4200)$ production by antiproton-proton annihilation with an effective Lagrangian approach. By investigating the $\bar{p}p\rightarrow J/\psi \pi ^{0}$ process including the $Z^{0}(4200)$ signal and background contributions, it is found that the center of mass energy $E_{c.m.}\simeq 4.0-4.5$ GeV is the best energy window for searching the neutral $Z^{0}(4200)$, where the signal can be clearly distinguished from background. The relevant calculations is not only helpful to search for the neutral $Z^{0}(4200)$ in the future experiment, but also will promote the understanding the nature and production mechanism of neutral $Z^{0}(4200)$ better.


title: Quantum entanglement degrees amplifier

abstract: The quantum entangled degrees of entangled states become smaller with the transmission distance increasing, how to keep the purity of quantum entangled states is the puzzle in quantum communication. In the paper, we have designed a new type entanglement degrees amplifier by one-dimensional photonic crystal, which is similar as the relay station of classical electromagnetic communication. We find when the entangled states of two-photon and three-photon pass through photonic crystal, their entanglement degrees can be magnified, which make the entanglement states can be long range propagation and the quantum communication can be really realized.


title: The Unified Hydrodynamics and the Pseudorapidity Distributions in Heavy Ion Collisions at BNL-RHIC and CERN-LHC Energies

abstract: The charged particles produced in nucleus-nucleus collisions are divided into two parts. One is from the hot and dense matter created in collisions. The other is from leading particles. The hot and dense matter is assumed to expand according to unified hydrodynamics and freezes out into charged particles from a space-like hypersurface with a fixed proper time of Tau_FO.The leading particles are conventionally taken as the particles which inherit the quantum numbers of colliding nucleons and carry off most of incident energy. The rapidity distributions of the charged particles from these two parts are formulated analytically, and a comparison is made between the theoretical results and the experimental measurements performed in Au-Au and Pb-Pb collisions at the respective BNL-RHIC and CERN-LHC energies. The theoretical results are well consistent with experimental data.


title: Two-photon assisted clock comparison to picosecond precision

abstract: We have experimentally demonstrated a clock comparison scheme utilizing time-correlated photon pairs generated from the spontaneous parametric down conversion process of a laser pumped beta-barium borate crystal. The coincidence of two-photon events are analyzed by the cross correlation of the two time stamp sequences. Combining the coarse and fine part of the time differences at different resolutions, a 64 ps precision for clock synchronization has been realized. We also investigate the effects of hardware devices used in the system on the precision of clock comparison. The results indicate that the detector's time jitter and the background noise will degrade the system performance. With this method, comparison and synchronization of two remote clocks could be implemented with a precision at the level of a few tens of picoseconds.


title: Magnetoelectric effect in organic molecular solids

abstract: The Magnetoelectric (ME) effect in solids is a prominent cross correlation phenomenon, in which the electric field (${\bm E}$) controls the magnetization (${\bm M}$) and the magnetic field (${\bm H}$) controls the electric polarization (${\bm P}$). A rich variety of ME effects and their potential in practical applications have been investigated so far within the transition-metal compounds. Here, we report a possible way to realize the ME effect in organic molecular solids, in which two molecules build a dimer unit aligned on a lattice site. The linear ME effect is predicted in a long-range ordered state of spins and electric dipoles, as well as in a disordered state. One key of the ME effect is a hidden ferroic order of the spin-charge composite object. We provide a new guiding principle of the ME effect in materials without transition-metal elements, which may lead to flexible and lightweight multifunctional materials.


title: Measuring dark energy with the $E_{\rm iso}-E_{\rm p}$ correlation of gamma-ray bursts using model-independent methods

abstract: In this paper, we use two model-independent methods to standardize long gamma-ray bursts (GRBs) using the $E_{\rm iso}-E_{\rm p}$ correlation, where $E_{\rm iso}$ is the isotropic-equivalent gamma-ray energy and $E_{\rm p}$ is the spectral peak energy. We update 42 long GRBs and try to make constraint on cosmological parameters. The full sample contains 151 long GRBs with redshifts from 0.0331 to 8.2. The first method is the simultaneous fitting method. The extrinsic scatter $\sigma_{\rm ext}$ is taken into account and assigned to the parameter $E_{\rm iso}$. The best-fitting values are $a=49.15\pm0.26$, $b=1.42\pm0.11$, $\sigma_{\rm ext}=0.34\pm0.03$ and $\Omega_m=0.79$ in the flat $\Lambda$CDM model. The constraint on $\Omega_m$ is $0.55<\Omega_m<1$ at the 1$\sigma$ confidence level. If reduced $\chi^2$ method is used, the best-fit results are $a=48.96\pm0.18$, $b=1.52\pm0.08$ and $\Omega_m=0.50\pm0.12$. The second method is using type Ia supernovae (SNe Ia) to calibrate the $E_{\rm iso}-E_{\rm p}$ correlation. We calibrate 90 high-redshift GRBs in the redshift range from 1.44 to 8.1. The cosmological constraints from these 90 GRBs are $\Omega_m=0.23^{+0.06}_{-0.04}$ for flat $\Lambda$CDM, and $\Omega_m=0.18\pm0.11$ and $\Omega_{\Lambda}=0.46\pm0.51$ for non-flat $\Lambda$CDM. For the combination of GRB and SNe Ia sample, we obtain $\Omega_m=0.271\pm0.019$ and $h=0.701\pm0.002$ for the flat $\Lambda$CDM, and for the non-flat $\Lambda$CDM, the results are $\Omega_m=0.225\pm0.044$, $\Omega_{\Lambda}=0.640\pm0.082$ and $h=0.698\pm0.004$. These results from calibrated GRBs are consistent with that of SNe Ia. Meanwhile, the combined data can improve cosmological constraints significantly, comparing to SNe Ia alone. Our results show that the $E_{\rm iso}-E_{\rm p}$ correlation is promising to probe the high-redshift universe.


title: Expected-Delay-Summing Weak Bisimilarity for Markov Automata

abstract: A new weak bisimulation semantics is defined for Markov automata that, in addition to abstracting from internal actions, sums up the expected values of consecutive exponentially distributed delays possibly intertwined with internal actions. The resulting equivalence is shown to be a congruence with respect to parallel composition for Markov automata. Moreover, it turns out to be comparable with weak bisimilarity for timed labeled transition systems, thus constituting a step towards reconciling the semantics for stochastic time and deterministic time.


title: CARMA: Collective Adaptive Resource-sharing Markovian Agents

abstract: In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems. CARMA is a stochastic process algebra equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in open-ended and unpredictable environments. This class of systems is typically composed of a huge number of interacting agents that dynamically adjust and combine their behaviour to achieve specific goals. A CARMA model, termed a collective, consists of a set of components, each of which exhibits a set of attributes. To model dynamic aggregations, which are sometimes referred to as ensembles, CARMA provides communication primitives that are based on predicates over the exhibited attributes. These predicates are used to select the participants in a communication. Two communication mechanisms are provided in the CARMA language: multicast-based and unicast-based. In this paper, we first introduce the basic principles of CARMA and then we show how our language can be used to support specification with a simple but illustrative example of a socio-technical collective adaptive system.


title: Efficient Checking of Individual Rewards Properties in Markov Population Models

abstract: In recent years fluid approaches to the analysis of Markov populations models have been demonstrated to have great pragmatic value. Initially developed to estimate the behaviour of the system in terms of the expected values of population counts, the fluid approach has subsequently been extended to more sophisticated interrogations of models through its embedding within model checking procedures. In this paper we extend recent work on checking CSL properties of individual agents within a Markovian population model, to consider the checking of properties which incorporate rewards.


title: Quantitative Information Flow for Scheduler-Dependent Systems

abstract: Quantitative information flow analyses measure how much information on secrets is leaked by publicly observable outputs. One area of interest is to quantify and estimate the information leakage of composed systems. Prior work has focused on running disjoint component systems in parallel and reasoning about the leakage compositionally, but has not explored how the component systems are run in parallel or how the leakage of composed systems can be minimised. In this paper we consider the manner in which parallel systems can be combined or scheduled. This considers the effects of scheduling channels where resources may be shared, or whether the outputs may be incrementally observed. We also generalise the attacker's capability, of observing outputs of the system, to consider attackers who may be imperfect in their observations, e.g. when outputs may be confused with one another, or when assessing the time taken for an output to appear. Our main contribution is to present how scheduling and observation effect information leakage properties. In particular, that scheduling can hide some leaked information from perfect observers, while some scheduling may reveal secret information that is hidden to imperfect observers. In addition we present an algorithm to construct a scheduler that minimises the min-entropy leakage and min-capacity in the presence of any observer.


title: A Definition Scheme for Quantitative Bisimulation

abstract: FuTS, state-to-function transition systems are generalizations of labeled transition systems and of familiar notions of quantitative semantical models as continuous-time Markov chains, interactive Markov chains, and Markov automata. A general scheme for the definition of a notion of strong bisimulation associated with a FuTS is proposed. It is shown that this notion of bisimulation for a FuTS coincides with the coalgebraic notion of behavioral equivalence associated to the functor on Set given by the type of the FuTS. For a series of concrete quantitative semantical models the notion of bisimulation as reported in the literature is proven to coincide with the notion of quantitative bisimulation obtained from the scheme. The comparison includes models with orthogonal behaviour, like interactive Markov chains, and with multiple levels of behavior, like Markov automata. As a consequence of the general result relating FuTS bisimulation and behavioral equivalence we obtain, in a systematic way, a coalgebraic underpinning of all quantitative bisimulations discussed.


title: Rooted branching bisimulation as a congruence for probabilistic transition systems

abstract: We propose a probabilistic transition system specification format, referred to as probabilistic RBB safe, for which rooted branching bisimulation is a congruence. The congruence theorem is based on the approach of Fokkink for the qualitative case. For this to work, the theory of transition system specifications in the setting of labeled transition systems needs to be extended to deal with probability distributions, both syntactically and semantically. We provide a scheduler-free characterization of probabilistic branching bisimulation as adapted from work of Andova et al. for the alternating model. Counter examples are given to justify the various conditions required by the format.


title: Semiring-based Specification Approaches for Quantitative Security

abstract: Our goal is to provide different semiring-based formal tools for the specification of security requirements: we quantitatively enhance the open-system approach, according to which a system is partially specified. Therefore, we suppose the existence of an unknown and possibly malicious agent that interacts in parallel with the system. Two specification frameworks are designed along two different (but still related) lines. First, by comparing the behaviour of a system with the expected one, or by checking if such system satisfies some security requirements: we investigate a novel approximate behavioural-equivalence for comparing processes behaviour, thus extending the Generalised Non Deducibility on Composition (GNDC) approach with scores. As a second result, we equip a modal logic with semiring values with the purpose to have a weight related to the satisfaction of a formula that specifies some requested property. Finally, we generalise the classical partial model-checking function, and we name it as quantitative partial model-checking in such a way to point out the necessary and sufficient conditions that a system has to satisfy in order to be considered as secure, with respect to a fixed security/functionality threshold-value.


title: Probabilistic Output Analysis by Program Manipulation

abstract: The aim of a probabilistic output analysis is to derive a probability distribution of possible output values for a program from a probability distribution of its input. We present a method for performing static output analysis, based on program transformation techniques. It generates a probability function as a possibly uncomputable expression in an intermediate language. This program is then analyzed, transformed, and approximated. The result is a closed form expression that computes an over approximation of the output probability distribution for the program. We focus on programs where the possible input follows a known probability distribution. Tests in programs are not assumed to satisfy the Markov property of having fixed branching probabilities independently of previous history.


title: MPC on manifolds with an application to the control of spacecraft attitude on SO(3)

abstract: We develop a model predictive control (MPC) design for systems with discrete-time dynamics evolving on smooth manifolds. We show that the properties of conventional MPC for dynamics evolving on $\mathbb R^n$ are preserved and we develop a design procedure for achieving similar properties. We also demonstrate that for discrete-time dynamics on manifolds with Euler characteristic not equal to 1, there do not exist globally stabilizing, continuous control laws. The MPC law is able to achieve global asymptotic stability on these manifolds, because the MPC law may be discontinuous. We apply the method to spacecraft attitude control, where the spacecraft attitude evolves on the Lie group SO(3) and for which a continuous globally stabilizing control law does not exist. In this case, the MPC law is discontinuous and achieves global stability.


title: Optimal Design of Networks of Positive Linear Systems under Stochastic Uncertainty

abstract: In this paper, we study networks of positive linear systems subject to time-invariant and random uncertainties. We present linear matrix inequalities for checking the stability of the whole network around the origin with prescribed probability and decay rate. Based on this condition, we then give an efficient method, based on geometric programming, to find the optimal parameters of the probability distribution describing the uncertainty. We illustrate our results by analyzing the stability of a viral spreading process in the presence of random uncertainties.


title: Existence and uniqueness of the global conservative weak solutions for the integrable Novikov equation

abstract: The integrable Novikov equation can be regarded as one of the Camassa-Holm-type equations with cubic nonlinearity. In this paper, we prove the global existence and uniqueness of the H\"older continuous energy conservative solutions for the Cauchy problem of the Novikov equation.


title: Quasi-Monte Carlo integration using digital nets with antithetics

abstract: Antithetic sampling, which goes back to the classical work by Hammersley and Morton (1956), is one of the well-known variance reduction techniques for Monte Carlo integration. In this paper we investigate its application to digital nets over $\mathbb{Z}_b$ for quasi-Monte Carlo (QMC) integration, a deterministic counterpart of Monte Carlo, of functions defined over the $s$-dimensional unit cube. By looking at antithetic sampling as a geometric technique in a compact totally disconnected abelian group, we first generalize the notion of antithetic sampling from base $2$ to an arbitrary base $b\ge 2$. Then we analyze the QMC integration error of digital nets over $\mathbb{Z}_b$ with $b$-adic antithetics. Moreover, for a prime $b$, we prove the existence of good higher order polynomial lattice point sets with $b$-adic antithetics for QMC integration of smooth functions in weighted Sobolev spaces. Numerical experiments based on Sobol' point sets up to $s=100$ show that the rate of convergence can be improved for smooth integrands by using antithetic sampling technique, which is quite encouraging beyond the reach of our theoretical result and motivates future work to address.


title: High Probability Guarantees in Repeated Games: Theory and Applications in Information Theory

abstract: We introduce a "high probability" framework for repeated games with incomplete information. In our non-equilibrium setting, players aim to guarantee a certain payoff with high probability, rather than in expected value. We provide a high probability counterpart of the classical result of Mertens and Zamir for the zero-sum repeated games. Any payoff that can be guaranteed with high probability can be guaranteed in expectation, but the reverse is not true. Hence, unlike the average payoff case where the payoff guaranteed by each player is the negative of the payoff by the other player, the two guaranteed payoffs would differ in the high probability framework. One motivation for this framework comes from information transmission systems, where it is customary to formulate problems in terms of asymptotically vanishing probability of error. An application of our results to a class of compound arbitrarily varying channels is given.


title: From local averaging to emergent global behaviors: the fundamental role of network interconnections

abstract: Distributed averaging is one of the simplest and most studied network dynamics. Its applications range from cooperative inference in sensor networks, to robot formation, to opinion dynamics. A number of fundamental results and examples scattered through the literature are gathered here and originally presented, emphasizing the deep interplay between the network interconnection structure and the emergent global behavior.


title: Entropy Production and the Pressure-Volume Curve of the Lung

abstract: We investigate analytically the production of entropy during a breathing cycle in healthy and diseased lungs. First, we calculate entropy production in healthy lungs by applying the laws of thermodynamics to the well-known transpulmonary pressure-volume ($P-V$) curves of the lung under the assumption that lung tissue behaves as an entropy spring-like rubber. The bulk modulus, $B$, of the lung is also derived from these calculations. Second, we extend this approach to elastic recoil disorders of the lung such as occur in pulmonary fibrosis and emphysema. These diseases are characterized by particular alterations in the $P-V$ relationship. For example, in fibrotic lungs $B$ increases monotonically with disease progression, while in emphysema the opposite occurs. These diseases can thus be mimicked simply by making appropriate adjustments to the parameters of the $P-V$ curve. Using Clausius's formalism, we show that entropy production, $\Delta S$, is related to the hysteresis area, $\Delta A$, enclosed by the $P-V$ curve during a breathing cycle, namely, $\Delta S=\Delta A/T$, where $T$ is the body temperature. Although $\Delta A$ is highly dependent on the disease, such formula applies to healthy as well as diseased lungs, regardless of the disease stage. Finally, we use {\it ansatzs} to predict analytically the entropy produced by the fibrotic and emphysematous lungs.


title: Network Independent Rates in Distributed Learning

abstract: We propose a new belief update rule for Distributed Non-Bayesian learning in time-varying directed graphs, where a group of agents tries to collectively identify a hypothesis that best describes a sequence of observed data. We show that the proposed update rule, inspired by the Push-Sum algorithm, is consistent, moreover we provide an explicit characterization of its convergence rate. Our main result states that, after a transient time, all agents will concentrate their beliefs at a network independent rate. Network independent rates were not available for other consensus based distributed learning algorithms.


title: On uncrossing games for skew-supermodular functions

abstract: In this note, we consider the uncrossing game for a skew-supermodular function $f$, which is a two-player game with players, Red and Blue, and abstracts the uncrossing procedure in the cut-covering linear program associated with $f$. Extending the earlier results by Karzanov for $\{0,1\}$-valued skew-supermodular functions, we present an improved polynomial time strategy for Red to win, and give a strongly polynomial time uncrossing procedure for dual solutions of the cut-covering LP as its consequence. We also mention its implication on the optimality of laminar solutions.


title: Error Estimation for Multi-Stage Runge-Kutta IMEX Schemes

abstract: Implicit-Explicit (IMEX) schemes are widely used for time integration methods for approximating solutions to a large class of problems. In this work, we develop accurate a posteriori error estimates of a quantity of interest for approximations obtained from multi-stage IMEX schemes. This is done by first defining a finite element method that is nodally equivalent to an IMEX scheme, then using typical methods for adjoint-based error estimation. The use of a nodally equivalent finite element method allows a decomposition of the error into multiple components, each describing the effect of a different portion of the method on the total error in a quantity of interest.


title: A Novel Scattered Pilot Design for FBMC/OQAM Systems

abstract: Filter bank multi-carrier with offset quadrature amplitude modulation (FBMC/OQAM) has been heavily studied as an alternative waveform for 5G systems. Its advantages of higher spectrum efficiency, localized frequency response and insensitivity to synchronization errors may enable promising performance when orthogonal frequency division multiplexing (OFDM) fails. However, performing channel estimation under the intrinsic interference has been a fundamental obstacle towards adopting FBMC/OQMA in a practical system. Several schemes are available but the performance is far from satisfaction. In this paper, we will show the existing methods are trapped by the paradigm that a clean pilot is mandatory so as to explicitly carry a reference symbol to the receiver for the purpose of channel estimation. By breaking this paradigm, a novel dual dependent pilot scheme is proposed, which gives up the independent pilot and derives dual pilots from the imposed interference. By doing this, the interference between pilots can be fully utilized. Consequentially, the new scheme significantly outperforms existing solutions and the simulation results show FBMC/OQAM can achieve close-to-OFDM performance in a practical system even with the presence of strong intrinsic interference.


title: Appearance of novel modes of $\bar{D}$ mesons in the Dual Chiral Density Wave

abstract: We calculate dispersion relations for $\bar{D}(0^-)$, $\bar{D}^*(1^-)$, $\bar{D}_0^*(0^+)$ and $\bar{D}_1(1^+)$ mesons in the Dual Chiral Density Wave (DCDW) where the chiral symmetry is spontaneously broken by inhomogeneous chiral condensate. Employing the Bloch's theorem, we show that all the modes have opposite group velocity to the momentum in the low-momentum region and the energy is minimized at non-zero momentum. Furthermore, the magnitude of momentum which realizes the minimum energy is equal to the wave number of the density wave.


title: A study of transverse momentum distributions of jets produced in p-p, p-\bar p, d-Au, Au-Au, and Pb-Pb collisions at high energies

abstract: The transverse momentum distributions of jets produced in p-p, p-\bar p, d-Au, Au-Au, and Pb-Pb collisions at high energies with different selected conditions are analyzed by using a multi-source thermal model. The multi-component (mostly two-component) Erlang distribution used in our description is in good agreement with the experimental data measured by the STAR, D0, CDF II, ALICE, ATLAS, and CMS Collaborations. Related parameters are extracted from the transverse momentum distributions and some information on different interacting systems are obtained. In the two-component Erlang distribution, the first component has usually two or more sources which are contributed by strong scattering interactions between two quarks or more quarks and gluons, while the second component has mostly two sources which are contributed by harder head-on scattering between two quarks.


title: Spectral analysis of random-to-random Markov chains

abstract: We compute the eigenvalues and eigenspaces of random-to-random Markov chains. We use a family of maps which reveal a remarkable recursive structure of the eigenspaces, yielding an explicit and effective construction of all eigenbases starting from bases of the kernels.


title: Optimization over Sparse Symmetric Sets via a Nonmonotone Projected Gradient Method

abstract: We consider the problem of minimizing a Lipschitz differentiable function over a class of sparse symmetric sets that has wide applications in engineering and science. For this problem, it is known that any accumulation point of the classical projected gradient (PG) method with a constant stepsize $1/L$ satisfies the $L$-stationarity optimality condition that was introduced in [3]. In this paper we introduce a new optimality condition that is stronger than the $L$-stationarity optimality condition. We also propose a nonmonotone projected gradient (NPG) method for this problem by incorporating some support-changing and coordintate-swapping strategies into a projected gradient method with variable stepsizes. It is shown that any accumulation point of NPG satisfies the new optimality condition and moreover it is a coordinatewise stationary point. Under some suitable assumptions, we further show that it is a global or a local minimizer of the problem. Numerical experiments are conducted to compare the performance of PG and NPG. The computational results demonstrate that NPG has substantially better solution quality than PG, and moreover, it is at least comparable to, but sometimes can be much faster than PG in terms of speed.


title: Tractable Fully Bayesian Inference via Convex Optimization and Optimal Transport Theory

abstract: We consider the problem of transforming samples from one continuous source distribution into samples from another target distribution. We demonstrate with optimal transport theory that when the source distribution can be easily sampled from and the target distribution is log-concave, this can be tractably solved with convex optimization. We show that a special case of this, when the source is the prior and the target is the posterior, is Bayesian inference. Here, we can tractably calculate the normalization constant and draw posterior i.i.d. samples. Remarkably, our Bayesian tractability criterion is simply log concavity of the prior and likelihood: the same criterion for tractable calculation of the maximum a posteriori point estimate. With simulated data, we demonstrate how we can attain the Bayes risk in simulations. With physiologic data, we demonstrate improvements over point estimation in intensive care unit outcome prediction and electroencephalography-based sleep staging.


title: Estimates of the thermal conductivity and the thermoelectric properties of PbTiO$_3$ from first principles

abstract: The lattice thermal conductivity ($\kappa_{\rm L}$) of PbTiO$_3$ (PTO) is estimated using a combination of {\em ab initio} calculations and semiclassical Boltzmann transport equation. The computed $\kappa_{\rm L}$ is remarkably low, nearly comparable with the $\kappa_{\rm L}$ of good thermoelectric materials such as PbTe. In addition, a semiclassical analysis of the electronic transport quantities is presented, which suggests excellent thermoelectric properties, with a figure of merit $zT$ well over 1 for a wide range of temperature. For thermoelectric applications, the $\kappa_{\rm L}$ could be further reduced by utilizing different morphologies and compositions.


title: Isometric Immersion of Surface with Negative Gauss Curvature and the Lax-Friedrichs Scheme

abstract: The isometric immersion of two-dimensional Riemannian manifold with negative Gauss curvature into the three-dimensional Euclidean space is considered through the Gauss-Codazzi equations for the first and second fundamental forms. The large $L^\infty$ solution is obtained which leads to a $C^{1,1}$ isometric immersion. The approximate solutions are constructed by the the Lax-Friedrichs finite-difference scheme with the fractional step. The uniform estimate is established by studying the equations satisfied by the Riemann invariants and using the sign of the nonlinear part. The $H^{-1}$ compactness is also derived. A compensated compactness framework is applied to obtain the existence of large $L^\infty$ solution to the Gauss-Codazzi equations for the surfaces more general than those in literature.


title: An Independent Process Approximation to Sparse Random Graphs with a Prescribed Number of Edges and Triangles

abstract: We prove a $pre$-$asymptotic$ bound on the total variation distance between the uniform distribution over two types of undirected graphs with $n$ nodes. One distribution places a prescribed number of $k_T$ triangles and $k_S$ edges not involved in a triangle independently and uniformly over all possibilities, and the other is the uniform distribution over simple graphs with exactly $k_T$ triangles and $k_S$ edges not involved in a triangle. As a corollary, for $k_S = o(n)$ and $k_T = o(n)$ as $n$ tends to infinity, the total variation distance tends to $0$, at a rate that is given explicitly. Our main tool is Chen-Stein Poisson approximation, hence our bounds are explicit for all finite values of the parameters.


title: Design, development and performance study of six-gap glass MRPC detectors

abstract: The Multigap Resistive Plate Chambers (MRPCs) are gas ionization detectors with multiple gas sub-gaps made of resistive electrodes. The high voltage (HV) is applied on the outer surfaces of outermost resistive plates only, while the interior plates are left electrically floating. The presence of multiple narrow sub--gaps with high electric field results in faster signals on the outer electrodes, thus improving the detector's time resolution. Due to their excellent performance and relatively low cost, the MRPC detector has found potential application in Time-of-Flight (TOF) systems. Here we present the design, fabrication, optimization of the operating parameters such as the HV, the gas mixture composition, and, performance of six--gap glass MRPC detectors of area 27cm $\times$ 27 cm, which are developed in order to find application as trigger detectors, in TOF measurement etc. The design has been optimized with unique spacers and blockers to ensure a proper gas flow through the narrow sub-gaps, which are 250 $\mu$m wide. The gas mixture consisting of R134A, Isobutane and SF$_{6}$, and the fraction of each constituting gases has been optimized after studying the MRPC performance for a set of different concentrations. The counting efficiency of the MRPC is about 95% at $17.9$ kV. At the same operating voltage, the time resolution, after correcting for the walk effect, is found to be about $219$ ps.


title: Evaluation of the cosmological constant in inflation with a massive non-minimal scalar field

abstract: In Schroedinger picture we study the possible effects of trans-Planckian physics on the quantum evolution of massive non-minimally coupled scalar field in de Sitter space. For the nonlinear Corley-Jacobson type dispersion relations with quartic or sextic correction, we obtain the time evolution of the vacuum state wave functional during slow-roll inflation, and calculate explicitly the corresponding expectation value of vacuum energy density. We find that the vacuum energy density is finite. For the usual dispersion parameter choice, the vacuum energy density for quartic correction to the dispersion relation is larger than for sextic correction, while for some other parameter choices, the vacuum energy density for quartic correction is smaller than for sextic correction. We also use the backreaction to constrain the magnitude of parameters in nonlinear dispersion relation, and show how the cosmological constant depends on the parameters and the energy scale during the inflation at the grand unification phase transition.


title: Estimating network edge probabilities by neighborhood smoothing

abstract: The estimation of probabilities of network edges from the observed adjacency matrix has important applications to predicting missing links and network denoising. It has usually been addressed by estimating the graphon, a function that determines the matrix of edge probabilities, but this is ill-defined without strong assumptions on the network structure. Here we propose a novel computationally efficient method, based on neighborhood smoothing to estimate the expectation of the adjacency matrix directly, without making the structural assumptions that graphon estimation requires. The neighborhood smoothing method requires little tuning, has a competitive mean-squared error rate, and outperforms many benchmark methods on link prediction in simulated and real networks.


title: The impact of initial conditions in N-body simulations of debris discs

abstract: Numerical simulations are a crucial tool to understand the relationship between debris discs and planetary companions. However, simulations throughout the literature have been conducted with various initial conditions often with little or no justification. In this paper, we aim to study the dependence on the initial conditions of N-body simulations modelling the interaction between a massive and eccentric planet on an exterior debris disc. To achieve this, we first classify three broad approaches used in the literature and provide some physical context for when each category should be used. We then run a series of N-body simulations, that include radiation forces acting on small grains, with varying initial conditions across the three categories. We test the influence of the initial parent body belt width, eccentricity, and alignment with the planet on the resulting debris disc structure and compare the final peak emission location, disc width and offset of synthetic disc images produced with a radiative transfer code. We also track the evolution of the forced eccentricity of the dust grains induced by the planet, as well as resonance dust trapping. We find that an initially broad parent body belt always results in a broader debris disc than an initially narrow parent body belt. While simulations with a parent body belt with low initial eccentricity (e ~ 0) and high initial eccentricity (0 < e < 0.3) resulted in similar broad discs, we find that purely secular forced initial conditions, where the initial disc eccentricity is set to the forced value and the disc is aligned with the planet, always result in a narrower disc. We conclude that broad debris discs can be modelled by using either a dynamically cold or dynamically warm parent belt, while in contrast eccentric narrow debris rings are reproduced using a secularly forced parent body belt.


title: Computable Measure of Total Quantum Correlation of Multipartite Systems

abstract: Quantum discord as a measure of the quantum correlations cannot be easily computed for most of density operators. In this paper, we present a measure of the total quantum correlations that is operationally simple and can be computed effectively for an arbitrary mixed state of a multipartite system. The measure is based on the coherence vector of the party whose quantumness is investigated as well as the correlation matrix of this part with the remainder of the system. Being able to detect the quantumness of multipartite systems, such as detecting the quantum critical points in spin chains, alongside with the computability characteristic of the measure, make it a useful indicator to be exploited in the cases which are out of the scope of the other known measures.


title: An Electrochemical Potentiostat Interface for Mobile Devices: Enabling Remote Medical Diagnostics

abstract: An electrochemical potentiostat interface for mobile devices has been designed and implemented. The interface consists of a potentiostat module, a microcontroller module, and a Bluetooth module. The potentiostat module performs electrochemical measurements and detects the responses from the samples. The microcontroller module controls the test and communication processes. The Bluetooth module links the system to a mobile device, where the mobile device acts as a control-console, data storage system, communication unit, and graphical plotter for the overall diagnostic processes. This interface is suitable for point-of-care and remote diagnostics, enhancing the capabilities of mobile devices in telemedicine.


title: Semi-analytical quasi-normal mode theory for the local density of states in coupled photonic crystal cavity-waveguide structures

abstract: We present and validate a semi-analytical quasi-normal mode (QNM) theory for the local density of states (LDOS) in coupled photonic crystal (PhC) cavity-waveguide structures. By means of an expansion of the Green's function on one or a few QNMs, a closed-form expression for the LDOS is obtained, and for two types of two-dimensional PhCs, with one and two cavities side-coupled to an extended waveguide, the theory is validated against numerically exact computations. For the single cavity, a slightly asymmetric spectrum is found, which the QNM theory reproduces, and for two cavities a non-trivial spectrum with a peak and a dip is found, which is reproduced only when including both the two relevant QNMs in the theory. In both cases, we find relative errors below 1% in the bandwidth of interest.


title: Phase transition and thermodynamic geometry of Einstein-Maxwell-dilaton black holes

abstract: In this paper, we consider a linearly charged dilatonic black holes and study their thermodynamical behavior in the context of phase transition and thermodynamic geometry. We show that, depending on the values of the parameters, these type of black holes may enjoy two types of phase transition. We also find that there are three critical behaviors near the critical points for these black holes; nonphysical unstable to physical stable, large to small, and small to large black holes phase transition. Next, we employ a thermodynamical metric for studying thermodynamical geometry of these black holes. We show that the characteristic behavioral of Ricci scalar of this metric enables one to recognize the type of phase transition and critical behavior of the black holes near phase transition points. Finally, we will extend thermodynamical space by considering dilaton parameter as extensive parameter. We will show that by this consideration, Weinhold, Ruppeiner and Quevedo metrics provide extra divergencies which are not related to any phase transition point whereas our new method is providing an effective machinery.


title: The young cluster NGC 2282 : a multi-wavelength perspective

abstract: We present the analysis of the stellar content of NGC~2282, a young cluster in the Monoceros constellation, using deep optical $BVI$ and IPHAS photometry along with infrared (IR) data from UKIDSS and $Spitzer$-IRAC. Based on the stellar surface density analysis using nearest neighborhood method, the radius of the cluster is estimated as $\sim$ 3.15$\arcmin$. From optical spectroscopic analysis of 8 bright sources, we have classified three early B-type members in the cluster, which includes, HD 289120, a previously known B2V type star, a Herbig Ae/Be star (B0.5 Ve) and a B5 V star. From spectrophotometric analyses, the distance to the cluster has been estimated as $\sim$ 1.65 kpc. The $K$-band extinction map is estimated using nearest neighborhood technique, and the mean extinction within the cluster area is found to be A$_V$ $\sim$ 3.9 mag. Using IR colour-colour criteria and H$_\alpha$-emission properties, we have identified a total of 152 candidate young stellar objects (YSOs) in the region, of which, 75 are classified as Class II, 9 are Class I YSOs. Our YSO catalog also includes 50 H$_\alpha$-emission line sources, identified using slitless spectroscopy and IPHAS photometry data. Based on the optical and near-IR colour-magnitude diagram analyses, the cluster age has been estimated to be in the range of 2 $-$ 5 Myr, which is in agreement with the estimated age from disc fraction ($\sim$ 58\%). Masses of these YSOs are found to be $\sim$ 0.1$-$2.0 M$_\odot$. Spatial distribution of the candidate YSOs shows spherical morphology, more or less similar to the surface density map.


title: On Extraction of Chemical Potentials of Quarks from Particle Transverse Momentum Spectra in High Energy Collisions

abstract: We present two methods to extract the chemical potentials of quarks in high energy collisions. The first method is based on the ratios of negatively/positively charged particles, and the temperatures extracted from the transverse momentum spectra of related hadrons are needed. The second method is based on the chemical potentials of some particles, and we also need the transverse momentum spectra of related hadrons. To extract the quark chemical potentials, we would like to propose experimental collaborations to measure simultaneously not only the transverse momentum spectra of anti-p, p, K^-, K^+, pion^-, and pion^+, but also those of D^-, D^+, B^-, and B^+ (even those of Delta^++, Delta^-, and Omega^-) in high energy nuclear collisions


title: "Creeping conductance" in nonstationary granular systems and artificial arrays

abstract: We consider a nonstationary array of conductors, connected by resistances that fluctuate with time. The charge transfer between a particular pair of conductors is supposed to be dominated by "electrical breakdowns" -- the moments when the corresponding resistance is close to zero. An amount of charge, transferred during a particular breakdown, is controlled by the condition of minimum for the electrostatic energy of the system. We find the conductivity, relaxation rate, and fluctuations for such a system within the "classical approximation", valid, if the typical transferred charge is large compared to $e$. We discuss possible realizations of the model for colloidal systems and arrays of polymer-linked grains.


title: Finite Element Approximation of the Laplace-Beltrami Operator on a Surface with Boundary

abstract: We develop a finite element method for the Laplace-Beltrami operator on a surface with boundary and nonhomogeneous Dirichlet boundary conditions. The method is based on a triangulation of the surface and the boundary conditions are enforced weakly using Nitsche's method. We prove optimal order a priori error estimates for piecewise continuous polynomials of order $k \geq 1$ in the energy and $L^2$ norms that take the approximation of the surface and the boundary into account.


title: The cycle classes of divisorial Maroni loci

abstract: We determine the cycle classes of effective divisors in the compactified Hurwitz spaces of curves of genus g with a linear system of degree d that extend the Maroni divisors on the open Hurwitz space. Our approach uses Chern classes associated to a global-to-local evaluation map of a vector bundle over a generic $P^1$-bundle over the Hurwitz space.


title: Flavor anomalies at the LHC and the R-parity violating supersymmetric model extended with vectorlike particles

abstract: In this paper, we consider a solution to explain the three discrepancies with the standard model (SM) predictions in flavor observables, i.e. anomalies in $B\rightarrow K^\ast\mu^+\mu^-$ and $R_K=\mathcal{B}(B\rightarrow K\mu^+\mu^-)/\mathcal{B}(B\rightarrow K e^+e^-)$ at the LHCb and an excess in $h\rightarrow \mu\tau$ at the CMS in the context of R-parity violating (RPV) supersymmetry. We demonstrate that these anomalies can be explained within a unified framework: the minimal supersymmetry model (MSSM) extended with $5+\overline{5}$ vectorlike (VL) particles. The new trilinear RPV couplings involving VL particles in our model can solve the $b\rightarrow s$ anomalies , and the mixing between the SM-like Higgs boson and the VL sneutrino can yield the extra $h \rightarrow \mu \tau$ decay mode.


title: Several results from numerical investigation of nonlinear waves connected to blood flow in an elastic tube of variable radius

abstract: We investigate flow of incompressible fluid in a cylindrical tube with elastic walls. The radius of the tube may change along its length. The discussed problem is connected to the blood flow in large human arteries and especially to nonlinear wave propagation due to the pulsations of the heart. The long-wave approximation for modeling of waves in blood is applied. The obtained model Korteweg-deVries equation possessing a variable coefficient is reduced to a nonlinear dynamical system of 3 first order differential equations. The low probability of arising of a solitary wave is shown. Periodic wave solutions of the model system of equations are studied and it is shown that the waves that are consequence of the irregular heart pulsations may be modeled by a sequence of parts of such periodic wave solutions.


title: Computational comparison of surface metrics for PDE constrained shape optimization

abstract: We compare surface metrics for shape optimization problems with constraints, consisting mainly of partial differential equations (PDE), from a computational point of view. In particular, classical Laplace-Beltrami type based metrics are compared with Steklov-Poincar\'e type metrics. The test problem is the minimization of energy dissipation of a body in a Stokes flow. We therefore set up a quasi-Newton method on appropriate shape manifolds together with an augmented Lagrangian framework, in order to enable a straightforward integration of geometric constraints for the shape. The comparison is focussed towards convergence behavior as well as effects on the mesh quality during shape optimization.


title: Transverse momentum and pseudorapidity distributions of final-state particles and spatial structure pictures of interacting system in p-Pb collisions at \sqrt{s_{NN}}=5.02 TeV

abstract: The transverse momentum and pseudorapidity distributions of final-state particles produced in proton-lead (p-Pb) collisions at center-of-mass energy per nucleon pair \sqrt{s_{NN}}=5.02 TeV are studied in the framework of a multisource thermal model. Experimental results measured by the ALICE and CMS Collaborations are described by the Tsallis transverse momentum distribution and the two-cylinder pseudorapidity distribution. Based on the parameter values extracted from the transverse momentum and pseudorapidity distributions, some other quantities are extracted. Then, the structure pictures of interacting system at the stage of kinetic freeze-out in some spaces are obtained.


title: On pseudorapidity distribution and speed of sound in high energy heavy ion collisions based on a new revised Landau hydrodynamic model

abstract: We propose a new revised Landau hydrodynamic model to study systematically the pseudorapidity distributions of charged particles produced in heavy ion collisions over an energy range from a few GeV to a few TeV per nucleon pair. The interacting system is divided into three sources namely the central, target, and projectile sources respectively. The large central source is described by the Landau hydrodynamic model and further revised by the contributions of the small target/projectile sources. In the calculation, to avoid the errors caused by an unapt conversion or non-division, the rapidity and pseudorapidity distributions are obtained respectively. The modeling results are in agreement with the available experimental data at relativistic heavy ion collider (RHIC), large hadron collider (LHC), and other energies for different centralities. The value of square speed of sound parameter in different collisions has been extracted by us from the widths of rapidity distributions. Our results show that, in heavy ion collisions at RHIC and LHC energies, the central source undergoes through a phase transition from hadronic gas to quark-gluon plasma (QGP) liquid phase; meanwhile, the target/projectile sources remain in the state of hadronic gas. The present work confirms that the QGP is of liquid type rather than that of a gas. The whole region of participants undergoes through a mixed phase consisting of a large quantity of (>90%) QGP liquid and a small quantity of (<10%) hadronic gas.


title: The Chaotic Representation Property of Compensated-Covariation Stable Families of Martingales

abstract: In the present paper, we study the chaotic representation property for certain families of square integrable martingales. For this purpose, we introduce the notion of compensated-covariation stability of such families. The chaotic representation property will be defined using iterated integrals with respect to a given family of square integrable martingales having deterministic mutual predictable covariation. The main result of the present paper is: If $\mathscr{X}$ is a compensated-covariation stable family of square integrable martingales such that $\langle{X},{Y}\rangle$ is deterministic for all $X,Y\in\mathscr{X}$ and, furthermore, the system of monomials generated by $\mathscr{X}$ is total in $L^2(\Omega,\mathscr{F}^\mathscr{X}_T,\mathbb{P})$, then $\mathscr{X}$ possesses the chaotic representation property. We shall apply this result to the case of L\'evy processes. Relative to the filtration generated by a L\'evy process, we construct families of martingales which possess the chaotic representation property. As an illustration of the general results, we will also discuss applications to continuous Gaussian families of martingales and independent families of compensated Poisson processes. We conclude the paper by giving, for the case of L\'evy processes, several examples of concrete families $\mathscr{X}$ of martingales including Teugels martingales.


title: A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs -- Extended Version --

abstract: A simple dynamically-typed, (purely) object-oriented language is defined. A structural operational semantics as well as a Hoare-style program logic for reasoning about programs in the language in multiple notions of correctness are given. The Hoare logic is proved to be both sound and (relative) complete and is -- to the best of our knowledge -- the first such logic presented for a dynamically-typed language.


title: On Productions of Net-baryons in Central Au-Au Collisions at RHIC Energies

abstract: The transverse momentum and rapidity distributions of net-baryons (baryons minus anti-baryons) produced in central gold-gold (Au-Au) collisions at 62.4 and 200 GeV are analyzed in the framework of a multisource thermal model. Each source in the model is described by the Tsallis statistics to extract the effective temperature and entropy index from the transverse momentum distribution. The two parameters are used as input to describe the rapidity distribution and to extract the rapidity shift and contribution ratio. Then, the four types of parameters are used to structure some scatter plots of the considered particles in some three-dimensional (3D) spaces at the stage of kinetic freeze-out, which are expected to show different characteristics for different particles and processes. The related methodology can be used in the analyzes of particle production and event holography, which are useful for us to better understand the interacting mechanisms.


title: Electron dynamics in the normal state of cuprates: spectral function, Fermi surface and ARPES data

abstract: An influence of the electron-phonon interaction on excitation spectrum and damping in a narrow band electron subsystem of cuprates has been investigated. Within the framework of the t-J model an approach to solving a problem of account of both strong electron correlations and local electron-phonon binding with characteristic Einstein mode $\omega _0$ in the normal state has been presented. In approximation Hubbard-I it was found an exact solution to the polaron bands. We established that in the low-dimensional system with a pure kinematic part of Hamiltonian a complicated excitation spectrum is realized. It is determined mainly by peculiarities of the lattice Green's function. In the definite area of the electron concentration and hopping integrals a correlation gap may be possible on the Fermi level. Also, in specific cases it is observed a doping evolution of the Fermi surface. We found that the strong electron-phonon binding enforces a degree of coherence of electron-polaron excitations near the Fermi level and spectrum along the nodal direction depends on wave vector module weakly. It corresponds to ARPES data. A possible origin of the experimentally observed kink in the nodal direction of cuprates is explained by fine structure of the polaron band to be formed near the mode -$\omega _0$.


title: Probabilistic Threshold Indexing for Uncertain Strings

abstract: Strings form a fundamental data type in computer systems. String searching has been extensively studied since the inception of computer science. Increasingly many applications have to deal with imprecise strings or strings with fuzzy information in them. String matching becomes a probabilistic event when a string contains uncertainty, i.e. each position of the string can have different probable characters with associated probability of occurrence for each character. Such uncertain strings are prevalent in various applications such as biological sequence data, event monitoring and automatic ECG annotations. We explore the problem of indexing uncertain strings to support efficient string searching. In this paper we consider two basic problems of string searching, namely substring searching and string listing. In substring searching, the task is to find the occurrences of a deterministic string in an uncertain string. We formulate the string listing problem for uncertain strings, where the objective is to output all the strings from a collection of strings, that contain probable occurrence of a deterministic query string. Indexing solution for both these problems are significantly more challenging for uncertain strings than for deterministic strings. Given a construction time probability value $\tau$, our indexes can be constructed in linear space and supports queries in near optimal time for arbitrary values of probability threshold parameter greater than $\tau$. To the best of our knowledge, this is the first indexing solution for searching in uncertain strings that achieves strong theoretical bound and supports arbitrary values of probability threshold parameter. We also propose an approximate substring search index that can answer substring search queries with an additive error in optimal time. We conduct experiments to evaluate the performance of our indexes.


title: Two-dimensional models of early-type fast rotating stars: the ESTER project

abstract: In this talk I present the latest results of the ESTER project that has taken up the challenge of building two dimensional (axisymmetric) models of stars rotating at any rotation rate. In particular, I focus on main sequence massive and intermediate mass stars. I show what should be expected in such stars as far as the differential rotation and the associated meridional circulation are concerned, notably the emergence of a Stewartson layer along the tangent cylinder of the core. I also indicate what may be inferred about the evolution of an intermediate-mass star at constant angular momentum and how Be stars may form. I finally give some comparisons between models and observations of the gravity darkening on some nearby fast rotators as it has been derived from interferometric observations. In passing, I also discuss how 2D models can help to recover the fundamental parameters of a star.


title: Early-time cosmological solutions in scalar-Gauss-Bonnet theory

abstract: We consider a gravitational theory that contains the Einstein term, a scalar field and the quadratic Gauss-Bonnet term. We focus on the early-universe dynamics, and demonstrate that the Ricci scalar does not affect the cosmological solutions at early times, when the curvature is strong. We then consider a pure scalar-GB theory with a quadratic coupling function: for a negative coupling parameter, we obtain solutions that contain always an inflationary, de Sitter phase, while for a positive coupling function, we find instead expanding singularity-free solutions.


title: A Low-Noise CMOS Pixel Direct Charge Sensor, Topmetal-II-

abstract: We report the design and characterization of a CMOS pixel direct charge sensor, Topmetal-II-, fabricated in a standard 0.35um CMOS Integrated Circuit process. The sensor utilizes exposed metal patches on top of each pixel to directly collect charge. Each pixel contains a low-noise charge-sensitive preamplifier to establish the analog signal and a discriminator with tunable threshold to generate hits. The analog signal from each pixel is accessible through time-shared multiplexing over the entire array. Hits are read out digitally through a column-based priority logic structure. Tests show that the sensor achieved a <15e- analog noise and a 200e- minimum threshold for digital readout per pixel. The sensor is capable of detecting both electrons and ions drifting in gas. These characteristics enable its use as the charge readout device in future Time Projection Chambers without gaseous gain mechanism, which has unique advantages in low background and low rate-density experiments.


title: The Dirac equation in an external electromagnetic field: symmetry algebra and exact integration

abstract: Integration of the Dirac equation with an external electromagnetic field is explored in the framework of the method of separation of variables and of the method of noncommutative integration. We have found a new type of solutions that are not obtained by separation of variables for several external electromagnetic fields. We have considered an example of crossed electric and magnetic fields of a special type for which the Dirac equation admits a nonlocal symmetry operator


title: Thermalization of Topological Entropy after a Quantum Quench

abstract: In two spatial dimensions, topological order is robust for static deformations at zero temperature, while it is fragile at any finite temperature. How robust is topological order after a quantum quench? In this paper we show that topological order thermalizes under the unitary evolution after a quantum quench. If the quench preserves gauge symmetry, there is a residual topological entropy exactly like in the finite temperature case. We obtain this result by studying the time evolution of the topological 2-R\'enyi entropy in a fully analytical, exact way. These techniques can be then applied to systems with strong disorder to show whether a many-body localization phenomenon appears in topologically ordered systems.


title: Free infinite divisibility for powers of random variables

abstract: We prove that $X^r$ follows an FID distribution if: (1) $X$ follows a free Poisson distribution without an atom at 0 and $r\in(-\infty,0]\cup[1,\infty)$; (2) $X$ follows a free Poisson distribution with an atom at 0 and $r\geq1$; (3) $X$ follows a mixture of some HCM distributions and $|r|\geq1$; (4) $X$ follows some beta distributions and $r$ is taken from some interval. In particular, if $S$ is a standard semicircular element then $|S|^r$ is freely infinitely divisible for $r\in(-\infty,0]\cup[2,\infty)$. Also we consider the symmetrization of the above probability measures, and in particular show that $|S|^r \,\text{sign}(S)$ is freely infinitely divisible for $r\geq2$. Therefore $S^n$ is freely infinitely divisible for every $n\in\mathbb N$. The results on free Poisson and semicircular random variables have a good correspondence with classical ID properties of powers of gamma and normal random variables.


title: The structural origin of the hard-sphere glass transition in granular packing

abstract: Glass transition is accompanied by a rapid growth of the structural relaxation time and a concomitant decrease of configurational entropy. It remains unclear whether the transition has a thermodynamic origin, and whether the dynamic arrest is associated with the growth of a certain static order. Using granular packing as a model hard-sphere glass, we show the glass transition as a thermodynamic phase transition with a "hidden" polytetrahedral order. This polytetrahedral order is spatially correlated with the slow dynamics. It is geometrically frustrated and has a peculiar fractal dimension. Additionally, as the packing fraction increases, its growth follows an entropy-driven nucleation process, similar to that of the random first-order transition theory. Our study essentially identifies a long-sought-after structural glass order in hard-sphere glasses.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech


title: Q-operators for higher spin eight vertex models with an even number of sites

abstract: We construct the Q-operator for generalised eight vertex models associated to higher spin representations of the Sklyanin algebra, following Baxter's 1973 paper. As an application, we prove the sum rule for the Bethe roots.


title: Anticyclotomic p-adic l-functions and the exceptional zero phenomenon

abstract: Let A be a modular elliptic curve over a totally real field F, and let E/F be a totally imaginary quadratic extension. In the event of exceptional zero phenomenon, we prove a formula for the derivative of the multivariable anticyclotomic p-adic L-function attached to (A,E), in terms of the Hasse-Weil L-function and certain p-adic periods attached to the respective automorphic forms. Our methods are based on a new construction of the anticyclotomic p-adic L-function by means of the corresponding automorphic representation.


title: Photocurrent generation at ABA/ABC lateral junction in tri-layer graphene photodetector

abstract: Metal-graphene-metal photodetectors utilize photocurrent generated near the graphene/metal junctions and have many advantages including high speed and broad-band operation. Here, we report on photocurrent generation at ABA/ABC stacking domain junctions in tri-layer graphene with a responsivity of 0.18 A/W. Unlike usual metal-graphene-metal devices, the photocurrent is generated in the middle of the graphene channel, not confined to the vicinity of the metal electrodes. The magnitude and the direction of the photocurrent depend on the back-gate bias. Theoretical calculations show that there is a built-in band offset between the two stacking domains, and the dominant mechanism of the photocurrent is the photo-thermoelectric effect due to the Seebeck coefficient difference.


title: Links between deterministic and stochastic approaches for invasion in growth-fragmentation-death models

abstract: We present two approaches to study invasion in growth-fragmentation-death mod- els. The first one is based on a stochastic individual based model, which is a piecewise deterministic branching process with a continuum of types, and the second one is based on an integro-differential model. The invasion of the population is described by the survival probability for the former model and by an eigenproblem for the latter one. We study these two notions of invasion fitness, giving different characterizations of the growth of the population, and we make links between these two complementary points of view. In particular we prove that the two approaches lead to the same crite- rion of possible invasion. Based on Krein-Rutman theory, we also give a proof of the existence of a solution to the eigenproblem, which satisfies the conditions needed for our study of the stochastic model, hence providing a set of assumptions under which both approaches can be carried out. Finally, we motivate our work in the context of adaptive dynamics in a chemostat model.


title: Strong $D^{*}_sD_{s}\eta^{(\prime)}$ and $B^{*}_sB_{s}\eta^{(\prime)}$ vertices from QCD light-cone sum rules

abstract: The strong $D^{*}_sD_{s}\eta^{(\prime)}$ and $B^{*}_sB_{s}\eta^{(\prime)}$ vertices are studied and the relevant couplings are calculated in the context of the light-cone QCD sum rule method with twist-4 accuracy by including the next-to-leading order corrections. In the analysis, both the quark and gluon components of the $\eta$ and $\eta^{\prime}$ mesons and the axial anomaly corrected higher twist distributions are included.


title: A Reider-type theorem for higher syzygies on abelian surfaces

abstract: Building on the theory of infinitesimal Newton--Okounkov bodies and previous work of Lazarsfeld--Pareschi--Popa, we present a Reider-type theorem for higher syzygies of ample line bundles on abelian surfaces. As an application of our methods we confirm a conjecture of Gross and Popescu on abelian surfaces with a very ample primitive polarization of type $(1,d)$, whenever $d\geq 23$.


title: Weak charged and neutral current induced one pion production off the nucleon

abstract: We present a study of neutrino/antineutrino induced charged and neutral current single pion production off the nucleon. For this, we have considered $P_{33}(1232)$ resonance, non-resonant background terms, other higher resonances like $P_{11}(1440)$, $S_{11}(1535)$, $D_{13}(1520)$, $S_{11}(1650)$ and $P_{13}(1720)$. For the non-resonant background terms a microscopic approach based on SU(2) non-linear sigma model has been used. The vector form factors for the resonances are obtained by using the relationship between the electromagnetic resonance form factors and helicity amplitudes provided by MAID. Axial coupling $C_5^{A}(0)$ in the case of $P_{33}(1232)$ resonance is obtained by fitting the ANL and BNL $\nu$-deuteron reanalyzed scattering data. The results are presented with and without deuteron effect for the total scattering cross sections for all possible channels viz. $\nu_l(\bar\nu_l)~+~N\rightarrow l^-(l^+)~+~N^\prime~+~\pi^i$; $\nu_l(\bar\nu_l)~+~N\rightarrow \nu_l(\bar\nu_l)~+~N^\prime~+~\pi^i$, where $N, N^\prime=p,n$, $\pi^i=~\pi^\pm$ or $\pi^0$ and $l=e, \mu$.


title: On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t

abstract: For a nonnegative integer $t$, let $c_t$ be the asymptotic density of natural numbers $n$ for which $s(n + t) \geq s(n)$, where $s(n)$ denotes the sum of digits of $n$ in base $2$. We prove that $c_t > 1/2$ for $t$ in a set of asymptotic density $1$, thus giving a partial solution to a conjecture of T. W. Cusick stating that $c_t > 1/2$ for all t. Interestingly, this problem has several equivalent formulations, for example that the polynomial $X(X + 1)\cdots(X + t - 1)$ has less than $2^t$ zeros modulo $2^{t+1}$. The proof of the main result is based on Chebyshev's inequality and the asymptotic analysis of a trivariate rational function, using methods from analytic combinatorics.


title: Measurement of cosmic-ray air showers with the Tunka Radio Extension (Tunka-Rex)

abstract: Tunka-Rex is a radio detector for cosmic-ray air showers in Siberia, triggered by Tunka-133, a co-located air-Cherenkov detector. The main goal of Tunka-Rex is the cross-calibration of the two detectors by measuring the air-Cherenkov light and the radio signal emitted by the same air showers. This way we can explore the precision of the radio-detection technique, especially for the reconstruction of the primary energy and the depth of the shower maximum. The latter is sensitive to the mass of the primary cosmic-ray particles. In this paper we describe the detector setup and explain how electronics and antennas have been calibrated. The analysis of data of the first season proves the detection of cosmic-ray air showers and therefore, the functionality of the detector. We confirm the expected dependence of the detection threshold on the geomagnetic angle and the correlation between the energy of the primary cosmic-ray particle and the radio amplitude. Furthermore, we compare reconstructed amplitudes of radio pulses with predictions from CoREAS simulations, finding agreement within the uncertainties.


title: Wavelet analysis and HHG in nanorings Their applications in logic gates and memory mass devices

abstract: We study the application of one nanoring driven by a laser field in different states of polarization in logic circuits. In particular we show that assigning boolean values to different state of the incident laser field and to the emitted signals, we can create logic gates such as OR, XOR and AND. We also show the possibility to make logic circuits such as half-adder and full-adder using one and two nanoring respectively. Using two nanorings we made the Toffoli gate. Finally we use the final angular momentum acquired by the electron to store information and hence show the possibility to use an array of nanorings as a mass memory device.


title: The Birkhoff theorem for unitary matrices of prime dimension

abstract: The Birkhoff's theorem states that any doubly stochastic matrix lies inside a convex polytope with the permutation matrices at the corners. It can be proven that a similar theorem holds for unitary matrices with equal line sums for prime dimensions.


title: Semantics, Representations and Grammars for Deep Learning

abstract: Deep learning is currently the subject of intensive study. However, fundamental concepts such as representations are not formally defined -- researchers "know them when they see them" -- and there is no common language for describing and analyzing algorithms. This essay proposes an abstract framework that identifies the essential features of current practice and may provide a foundation for future developments. The backbone of almost all deep learning algorithms is backpropagation, which is simply a gradient computation distributed over a neural network. The main ingredients of the framework are thus, unsurprisingly: (i) game theory, to formalize distributed optimization; and (ii) communication protocols, to track the flow of zeroth and first-order information. The framework allows natural definitions of semantics (as the meaning encoded in functions), representations (as functions whose semantics is chosen to optimized a criterion) and grammars (as communication protocols equipped with first-order convergence guarantees). Much of the essay is spent discussing examples taken from the literature. The ultimate aim is to develop a graphical language for describing the structure of deep learning algorithms that backgrounds the details of the optimization procedure and foregrounds how the components interact. Inspiration is taken from probabilistic graphical models and factor graphs, which capture the essential structural features of multivariate distributions.


title: Often harder than in the Constructive Case: Destructive Bribery in CP-nets

abstract: We study the complexity of the destructive bribery problem---an external agent tries to prevent a disliked candidate from winning by bribery actions---in voting over combinatorial domains, where the set of candidates is the Cartesian product of several issues. This problem is related to the concept of the margin of victory of an election which constitutes a measure of robustness of the election outcome and plays an important role in the context of electronic voting. In our setting, voters have conditional preferences over assignments to these issues, modelled by CP-nets. We settle the complexity of all combinations of this problem based on distinctions of four voting rules, five cost schemes, three bribery actions, weighted and unweighted voters, as well as the negative and the non-negative scenario. We show that almost all of these cases are NP-complete or NP-hard for weighted votes while approximately half of the cases can be solved in polynomial time for unweighted votes.


title: Stable and polarized Betatron x-ray radiation from a laser plasma accelerator in ionization injection regime

abstract: Betatron x-ray source from laser plasma interaction combines high brightness, few femtosecond duration and broad band energy spectrum. However, despite these unique features the Betatron source has a crippling drawback preventing its use for applications. Its properties significantly vary shot-to-shot and none of the developments performed so far resolved this problem. In this letter we present a simple method that allows to produce stable and bright Betatron x-ray beams. In addition, we demonstrate that this scheme provides polarized and easily tunable radiation. Experimental results show that the pointing stability is better than 10% of the beam divergence, with flux fluctuation of the order of 20% and a polarization degree reaching up to 80%


title: 2d Partition Function in Omega-background and Vortex/Instanton Correspondence

abstract: We derive the exact vortex partition function in 2d $\mathcal{N}$ = (2,2) gauge theory on the Omega-background, applying the localization scheme in the Higgs phase. We show that the partition function at a finite Omega-deformation parameter $\epsilon$ satisfies a system of differential equations, which can be interpreted as a quantized version of the twisted F-term equations characterizing the SUSY vacua. Using the differential equations derived in this paper, we show the correspondence between the partition function of the two-dimensional vortex string worldsheet theory and the Nekrasov partition function at the root of Higgs branch of the four-dimensional $\mathcal{N}$ = 2 theory with two Omega-deformation parameters $(\epsilon_1,\epsilon_2)$.


title: The derived equivalence classification of gentle two-cycle algebras

abstract: We complete the derived equivalence classification of the gentle two-cycle algebras initiated in earlier papers by Avella-Alaminos and Bobinski-Malicki.


title: Normal, cohyponormal and normaloid weighted composition operators on the Hardy and weighted Bergman spaces

abstract: If $\psi$ is analytic on the open unit disk $\mathbb{D}$ and $\varphi$ is an analytic self-map of $\mathbb{D}$, the weighted composition operator $C_{\psi,\varphi}$ is defined by $C_{\psi,\varphi}f(z)=\psi(z)f (\varphi (z))$, when $f$ is analytic on $\mathbb{D}$. In this paper, we study normal, cohyponormal, hyponormal and normaloid weighted composition operators on the Hardy and weighted Bergman spaces. First, for some weighted Hardy spaces $H^{2}(\beta)$, we prove that if $C_{\psi,\varphi}$ is cohyponormal on $H^{2}(\beta)$, then $\psi$ never vanishes on $\mathbb{D}$ and $\varphi$ is univalent, when $\psi \not \equiv 0$ and $\varphi$ is not a constant function. Moreover, for $\psi=K_{a}$, where $|a| < 1$, we investigate normal, cohyponormal and hyponormal weighted composition operators $C_{\psi,\varphi}$. After that, for $\varphi $ which is a hyperbolic or parabolic automorphism, we characterize all normal weighted composition operators $C_{\psi,\varphi}$, when $\psi \not \equiv 0$ and $\psi$ is analytic on $\overline{\mathbb{D}}$. Finally, we find all normal weighted composition operators which are bounded below.


title: Green's Function Formalism for Waveguide QED Applications

abstract: We present a quantum-field-theoretical framework based on path integrals and Feynman diagrams for the investigation of the quantum-optical properties of one-dimensional waveguiding structures with embedded quantum impurities. In particular, we obtain the Green's functions for a waveguide with an embedded two-level system in the single- and two-excitation sector for arbitrary dispersion relations. In the single excitation sector, we show how to sum the diagrammatic perturbation series to all orders and thus obtain explicit expressions for physical quantities such as the spectral density and the scattering matrix. In the two-excitation sector, we show that strictly linear dispersion relations exhibit the special property that the corresponding diagrammatic perturbation series terminates after two terms, again allowing for closed-form expressions for physical quantities. In the case of general dispersion relations, notably those exhibiting a band edge or waveguide cut-off frequencies, the perturbation series cannot be summed explicitly. Instead, we derive a self-consistent T-matrix equation that reduces the computational effort to that of a single-excitation computation. This analysis allows us to identify a Fano resonance between the occupied quantum impurity and a free photon in the waveguide as a unique signature of the few-photon nonlinearity inherent in such systems. In addition, our diagrammatic approach allows for the classification of different physical processes such as the creation of photon-photon correlations and interaction-induced radiation trapping - the latter being absent for strictly linear dispersion relations. Our framework can serve as the basis for further studies that involve more complex scenarios such as several and many-level quantum impurities, networks of coupled waveguides, disordered systems, and non-equilibrium effects.


title: Learning dynamic Boltzmann machines with spike-timing dependent plasticity

abstract: We propose a particularly structured Boltzmann machine, which we refer to as a dynamic Boltzmann machine (DyBM), as a stochastic model of a multi-dimensional time-series. The DyBM can have infinitely many layers of units but allows exact and efficient inference and learning when its parameters have a proposed structure. This proposed structure is motivated by postulates and observations, from biological neural networks, that the synaptic weight is strengthened or weakened, depending on the timing of spikes (i.e., spike-timing dependent plasticity or STDP). We show that the learning rule of updating the parameters of the DyBM in the direction of maximizing the likelihood of given time-series can be interpreted as STDP with long term potentiation and long term depression. The learning rule has a guarantee of convergence and can be performed in a distributed matter (i.e., local in space) with limited memory (i.e., local in time).


title: Mid-concavity of survival probability for isotropic Levy processes

abstract: Let $X$ be a symmetric, pure jump, unimodal Levy process in $\mathbb{R}$ with an infinite Levy measure. We prove that for any fixed $t > 0$ the survival probability $P^x(\tau_{(-a,a)} > t)$ is nondecreasing on $(-a,0]$, nonincreasing on $[0,a)$ and concave on $(-a/2,a/2)$, where $a > 0$ and $\tau_{(-a,a)}$ is the first exit time of the process $X$ from $(-a,a)$. We also show a similar statement for sets $(-a,a) \times F \subset \mathbb{R}^d$.


title: Edge-based nonlinear diffusion for finite element approximations of convection-diffusion equations and its relation to algebraic flux-correction schemes

abstract: For the case of approximation of convection--diffusion equations using piecewise affine continuous finite elements a new edge-based nonlinear diffusion operator is proposed that makes the scheme satisfy a discrete maximum principle. The diffusion operator is shown to be Lipschitz continuous and linearity preserving. Using these properties we provide a full stability and error analysis, which, in the diffusion dominated regime, shows existence, uniqueness and optimal convergence. Then the algebraic flux correction method is recalled and we show that the present method can be interpreted as an algebraic flux correction method for a particular definition of the flux limiters. The performance of the method is illustrated on some numerical test cases in two space dimensions.


title: Nonlinear stability criteria for the HMF Model

abstract: We study the nonlinear stability of a large class of inhomogeneous steady state solutions to the Hamiltonian Mean Field (HMF) model. Under a simple criterion, we prove the nonlinear stability of steady states which are decreasing functions of the microscopic energy. To achieve this task, we extend to this context the strategy based on generalized rearrangement techniques which was developed recently for the gravitational Vlasov-Poisson equation. Explicit stability inequalities are established and our analysis is able to treat non compactly supported steady states to HMF, which are physically relevant in this context but induces additional difficulties, compared to the Vlasov-Poisson system.


title: On initial direction, orientation and discreteness in the analysis of circular variables

abstract: In this paper, we propose a discrete circular distribution obtained by extending the wrapped Poisson distribution. This new distribution, the Invariant Wrapped Poisson (IWP), enjoys numerous advantages: simple tractable density, parameter-parsimony and interpretability, good circular dependence structure and easy random number generation thanks to known marginal/conditional distributions. Existing discrete circular distributions strongly depend on the initial direction and orientation, i.e. a change of the reference system on the circle may lead to misleading inferential results. We investigate the invariance properties, i.e. invariance under change of initial direction and of the reference system orientation, for several continuous and discrete distributions. We prove that the introduced IWP distribution satisfies these two crucial properties. We estimate parameters in a Bayesian framework and provide all computational details to implement the algorithm. Inferential issues related to the invariance properties are discussed through numerical examples on artificial and real data.


title: Tuned and GPU-accelerated parallel data mining from comparable corpora

abstract: The multilingual nature of the world makes translation a crucial requirement today. Parallel dictionaries constructed by humans are a widely-available resource, but they are limited and do not provide enough coverage for good quality translation purposes, due to out-of-vocabulary words and neologisms. This motivates the use of statistical translation systems, which are unfortunately dependent on the quantity and quality of training data. Such has a very limited availability especially for some languages and very narrow text domains. Is this research we present our improvements to Yalign mining methodology by reimplementing the comparison algorithm, introducing a tuning scripts and by improving performance using GPU computing acceleration. The experiments are conducted on various text domains and bi-data is extracted from the Wikipedia dumps.


title: Dark Matter at the LHC and IceCube - a Simplified Model Interpretation

abstract: We present an interpretation of searches for Dark Matter in a simplified model approach. Considering Majorana fermion Dark Matter and a neutral vector mediator with axial-vector interactions we explore mono-jet searches at the LHC and searches for neutrinos from Dark Matter annihilation in the Sun at IceCube and place new limits on model parameter space. Further, we compare the simplified model with its effective field theory approximation and discuss the validity of the latter one.


title: A weak Galerkin finite element scheme with boundary continuity for second-order elliptic problems

abstract: A new weak Galerkin (WG) finite element method for solving the second-order elliptic problems on polygonal meshes by using polynomials of boundary continuity is introduced and analyzed. The WG method is utilizing weak functions and their weak derivatives which can be approximated by polynomials in different combination of polynomial spaces. Different combination gives rise to different weak Galerkin finite element methods, which makes WG methods highly flexible and efficient in practical computation. This paper explores the possibility of certain combination of polynomial spaces that minimize the degree of freedom in the numerical scheme, yet without losing the accuracy of the numerical approximation. Error estimates of optimal order are established for the corresponding WG approximations in both a discrete $H^1$ norm and the standard $L^2$ norm. In addition, the paper also presents some numerical experiments to demonstrate the power of the WG method. The numerical results show a great promise of the robustness, reliability, flexibility and accuracy of the WG method.


title: Chemical evolution of the HC3N and N2H+ molecules in dense cores of the Vela C giant molecular cloud complex

abstract: We have observed the HC3N (J=10-9) and N2H+ (J=1-0) lines toward the Vela C molecular clouds with the Mopra 22 m telescope to study chemical characteristics of dense cores. The intensity distributions of these molecules are similar to each other at an angular resolution of 53", corresponding to 0.19 pc suggesting that these molecules trace the same dense cores. We identified 25 local peaks in the velocity-integrated intensity maps of the HC3N and/or N2H+ emission. Assuming LTE conditions, we calculated the column densities of these molecules and found a tendency that N2H+/HC3N abundance ratio seems to be low in starless regions while it seems to be high in star-forming regions, similar to the tendencies in the NH3/CCS, NH3/HC3N, and N2H+/CCS abundance ratios found in previous studies of dark clouds and the Orion A GMC. We suggest that carbon chain molecules, including HC3N, may trace chemically young molecular gas and N-bearing molecules, such as N2H+, may trace later stages of chemical evolution in the Vela C molecular clouds. It may be possible that the N2H+/HC3N abundance ratio of ~ 1.4 divides the star-forming and starless peaks in the Vela C, although it is not as clear as those in NH3/CCS, NH3/HC3N, and N2H+/CCS for the Orion A GMC. This less clear separation may be caused by our lower spatial resolution or the misclassification of star-forming and starless peaks due to the larger distance of the Vela C. It might be also possible that the HC3N (J=10-9) transition is not a good chemical evolution tracer compared with CCS (J=4-3 and 7-6) transitions.


title: Active Eavesdropping via Spoofing Relay Attack

abstract: This paper studies a new active eavesdropping technique via the so-called spoofing relay attack, which could be launched by the eavesdropper to significantly enhance the information leakage rate from the source over conventional passive eaves-dropping. With this attack, the eavesdropper acts as a relay to spoof the source to vary transmission rate in favor of its eavesdropping performance by either enhancing or degrading the effective channel of the legitimate link. The maxi-mum information leakage rate achievable by the eavesdropper and the corresponding optimal operation at the spoofing relay are obtained. It is shown that such a spoofing relay attack could impose new challenges from a physical-layer security perspective since it leads to significantly higher information leakage rate than conventional passive eavesdropping.


title: Neural-based machine translation for medical text domain. Based on European Medicines Agency leaflet texts

abstract: The quality of machine translation is rapidly evolving. Today one can find several machine translation systems on the web that provide reasonable translations, although the systems are not perfect. In some specific domains, the quality may decrease. A recently proposed approach to this domain is neural machine translation. It aims at building a jointly-tuned single neural network that maximizes translation performance, a very different approach from traditional statistical machine translation. Recently proposed neural machine translation models often belong to the encoder-decoder family in which a source sentence is encoded into a fixed length vector that is, in turn, decoded to generate a translation. The present research examines the effects of different training methods on a Polish-English Machine Translation system used for medical data. The European Medicines Agency parallel text corpus was used as the basis for training of neural and statistical network-based translation systems. The main machine translation evaluation metrics have also been used in analysis of the systems. A comparison and implementation of a real-time medical translator is the main focus of our experiments.


title: A rigidity result for crossed products of actions of Baumslag-Solitar groups

abstract: Let BS(n_1,m_1) $\curvearrowright$ X_1 and BS(n_2,m_2) $\curvearrowright$ X_2 be two ergodic essentially free probability measure preserving actions of nonamenable Baumslag-Solitar groups whose canonical almost normal abelian subgroups act aperiodically. We prove that an isomorphism between the corresponding crossed product II_1 factors forces BS(n_1,m_1) $\cong$ BS(n_2,m_2) when |n_1| $\neq$ |m_1| and BS(n_1,m_1) $\cong$ BS(n_2,$\pm$m_2) when |n_1| = |m_1|. This improves an orbit equivalence rigidity result obtained by Houdayer and Raum.