title: Smith Normal Form of a Multivariate Matrix Associated with Partitions

abstract: Consideration of a question of E. R. Berlekamp led Carlitz, Roselle, and Scoville to give a combinatorial interpretation of the entries of certain matrices of determinant~1 in terms of lattice paths. Here we generalize this result by refining the matrix entries to be multivariate polynomials, and by determining not only the determinant but also the Smith normal form of these matrices. A priori the Smith form need not exist but its existence follows from the explicit computation. It will be more convenient for us to state our results in terms of partitions rather than lattice paths.


title: An example of a reducible Severi variety

abstract: We construct a positive-dimensional, reducible Severi variety on a toric surface.


title: Full Abstraction for PCF

abstract: An intensional model for the programming language PCF is described, in which the types of PCF are interpreted by games, and the terms by certain "history-free" strategies. This model is shown to capture definability in PCF. More precisely, every compact strategy in the model is definable in a certain simple extension of PCF. We then introduce an intrinsic preorder on strategies, and show that it satisfies some striking properties, such that the intrinsic preorder on function types coincides with the pointwise preorder. We then obtain an order-extensional fully abstract model of PCF by quotienting the intensional model by the intrinsic preorder. This is the first syntax-independent description of the fully abstract model for PCF. (Hyland and Ong have obtained very similar results by a somewhat different route, independently and at the same time). We then consider the effective version of our model, and prove a Universality Theorem: every element of the effective extensional model is definable in PCF. Equivalently, every recursive strategy is definable up to observational equivalence.


title: An energy function and its application to the periodic behavior of k-reversible processes

abstract: We consider the graph dynamical systems known as k-reversible processes. In such processes, each vertex in the graph has one of two possible states at each discrete time step. Each vertex changes its state between the current time and the next if and only if it currently has at least k neighbors in a state different than its own. For such processes, we present a monotonic function similar to the decreasing energy functions used to study threshold networks. Using this new function, we show an alternative proof for the maximum period length in a k-reversible process and provide better upper bounds on the transient length in both the general case and the case of trees.


title: A novel method based solely on FPGA units enabling measurement of time and charge of analog signals in Positron Emission Tomography

abstract: This article presents a novel technique for precise measurement of time and charge based solely on FPGA (Field Programmable Gate Array) device and few satellite discrete electronic components used in Positron Emission Tomography (PET). Described approach simplifies electronic circuits, reduces the power consumption, lowers costs, merges front-end electronics with digital electronics and also makes more compact final design. Furthermore, it allows to measure time when analog signals cross a reference voltage at different threshold levels with a very high precision of $\sim$ 10ps (rms) and thus enables sampling of signals in a voltage domain.


title: A 3D Strange Attractor with a Distinctive Silhouette. The Butterfly Effect Revisited

abstract: We propose firstly an autonomous system of three first order differential equations which has two nonlinear terms and generating a new and distinctive strange attractor. Furthermore, this new 3D chaotic system performs a new feature of the Sensitive Dependency on Initial Conditions (SDIC) popularized as the Butterfly Effect discovered by Lorenz (1963). We noticed that the variation of the Initial Conditions for our system leads not only to different attractors but also to a singular phenomenon of overlapped attractors.


title: Application of WLS strips for position determination in Strip PET tomograph based on plastic scintillators

abstract: A method of determination of a gamma quantum absorption point in a plastic scintillator block using a matrix of wavelength-shifting (WLS) strips is proposed. Application of this method for improvement of position resolution in newly proposed PET detectors based on plastic scintillators is presented. The method enables to reduce parallax errors in reconstruction of images which occurs in the presently used Positron Emission Tomography scanners.


title: Gap formation in a self-gravitating disk and the associated migration of the embedded giant planet

abstract: We present the results of our recent study on the interactions between a giant planet and a self-gravitating gas disk. We investigate how the disk's self-gravity affects the gap formation process and the migration of the giant planet. Two series of 1-D and 2-D hydrodynamic simulations are performed. We select several surface densities and focus on the gravitationally stable region. To obtain more reliable gravity torques exerted on the planet, a refined treatment of disk's gravity is adopted in the vicinity of the planet. Our results indicate that the net effect of the disk's self-gravity on the gap formation process depends on the surface density of the disk. We notice that there are two critical values, \Sigma_I and \Sigma_II. When the surface density of the disk is lower than the first one, \Sigma_0 < \Sigma_I, the effect of self-gravity suppresses the formation of a gap. When \Sigma_0 > \Sigma_I, the self-gravity of the gas tends to benefit the gap formation process and enlarge the width/depth of the gap. According to our 1-D and 2-D simulations, we estimate the first critical surface density \Sigma_I \approx 0.8MMSN. This effect increases until the surface density reaches the second critical value \Sigma_II. When \Sigma_0 > \Sigma_II, the gravitational turbulence in the disk becomes dominant and the gap formation process is suppressed again. Our 2-D simulations show that this critical surface density is around 3.5MMSN. We also study the associated orbital evolution of a giant planet. Under the effect of the disk's self-gravity, the migration rate of the giant planet increases when the disk is dominated by gravitational turbulence. We show that the migration timescale associates with the effective viscosity and can be up to 10^4 yr.


title: Non-smooth unobservable states in control problem for the wave equation in ${\mathbb R}^3$ (corrected)

abstract: The paper deals with a dynamical system \begin{align*} &u_{tt}-\Delta u=0, \qquad (x,t) \in {\mathbb R}^3 \times (-\infty,0) \\ &u \mid_{|x|<-t} =0 , \qquad t<0\\ &\lim_{s \to \infty} su((s+\tau)\omega,-s)=f(\tau,\omega), \qquad (\tau,\omega) \in [0,\infty)\times S^2\,, \end{align*} where $u=u^f(x,t)$ is a solution ({\it wave}), $f \in {\cal F} :=L_2\left([0,\infty);L_2\left(S^2\right)\right)$ is a {\it control}. For the reachable sets ${\cal U}^\xi:=\{u^f(\cdot, -\xi)\,|\,\, f \in {\cal F}\}\,\,(\xi\geqslant 0)$, the embedding ${\cal U}^\xi \subset {\cal H}^\xi:=\{y \in L_2({\mathbb R}^3)\,|\,\,\,y|_{|x|<\xi}=0\}$ holds, whereas the subspaces ${\cal D}^\xi:={\cal H}^\xi \ominus {\cal U}^\xi$ of unreachable ({\it unobservable}) states are nonzero for $\xi> 0$. There was a conjecture motivated by some geometrical optics arguments that the elements of ${\cal D}^\xi$ are $C^\infty$-smooth with respect to $|x|$. We provide rather unexpected counterexamples of $h\in {\cal D}^\xi$ with ${\rm sing\,supp\,}h \subset \{x\in{\mathbb R}^3|\,\,|x|=\xi_0>\xi\}$.


title: The quark contents of the nucleon and their implication for dark matter search

abstract: We present results concerning the light and strange quark contents of the nucleon using $N_f=2+1+1$ flavours of maximally twisted mass fermions. The corresponding $\sigma$-terms are casting light on the origin of the nucleon mass and their values are important to interpret experimental data from direct dark matter searches. We discuss our strategy to estimate systematic uncertainties arising in our computations. Our preliminary results for the $\sigma-$terms read $\sigma_{\pi N} = 37(2.6)(24.7) \mev$ and $\sigma_s=28(8)(10) \mev$. We present our recent final analysis of the $y_N$ parameter and found $y_N=0.135(46)$ including systematics\cite{Alexandrou:2013nda}.


title: Strong antibunching in a generalized Rabi model

abstract: We consider a generalized version of the Rabi model that includes a nonlinear, dispersive-type atom-field interaction in addition to the usual linear dipole coupling, as well as cavity dissipation. An effective system of this sort arises, for example, in a quantum simulation of the Rabi model based upon Raman transitions in an optical cavity QED setting [A. L. Grimsmo and S. Parkins, Phys. Rev. A {\bf87}, 033814 (2013)]. For a suitable choice of the nonlinear interaction strength, near degeneracies of the states in the cavity-mode vacuum and single-photon subspaces, in combination with cavity loss, gives rise to an essentially closed cycle of excitations and photon emissions within these subspaces. Consequently, the cavity output field is strongly antibunched. We develop a quantum-trajectory-based description of the system that models its key properties very well, and use a simple dressed-state picture to explain the novel structure of the cavity fluorescence spectrum. We also present numerical results for a potential realization of the system using a rubidium atom coupled strongly to a high-finesse optical cavity mode.


title: Isospin-asymmetric nuclear matter

abstract: This study uses classical molecular dynamics to simulate infinite nuclear matter and study the effect of isospin asymmetry on bulk properties such as energy per nucleon, pressure, saturation density, compressibility and symmetry energy. The simulations are performed on systems embedded in periodic boundary conditions with densities and temperatures in the ranges $\rho$=0.02 to 0.2 fm$^{-3}$ and T = 1, 2, 3, 4 and 5 MeV, and with isospin content of $x=Z/A$=0.3, 0.4 and 0.5. The results indicate that symmetric and asymmetric matter are self-bound at some temperatures and exhibit phase transitions from a liquid phase to a liquid-gas mixture. The main effect of isospin asymmetry is found to be a reduction of the equilibrium densities, a softening of the compressibility and a disappearance of the liquid-gas phase transition. A procedure leading to the evaluation of the symmetry energy and its variation with the temperature was devised, implemented and compared to mean field theory results.


title: Paving Rectangular Regions with Rectangular Tiles: Tatami and Non-Tatami Tilings

abstract: The number of complete tilings of m X n floors for tiles of shape 1 X 2, 1 X 3, 1 X 4 and 2 X 3 is computed numerically for floors up to width m=9 and variable floor lengths n. Counts are obtained for two classes, for fixed tile stack orientation on one hand and for counts up to rotations and reflections on the other hand. Counts are refined by the number of points on the floor where 4 tiles meet, i.e., by the degree of violation of the requirement for Tatami tilings.


title: Physical aspects of heterogeneities in multi-component lipid membranes

abstract: Ever since the raft model for biomembranes has been proposed, the traditional view of biomembranes based on the fluid-mosaic model has been altered. In the raft model, dynamical heterogeneities in multi-component lipid bilayers play an essential role. Focusing on the lateral phase separation of biomembranes and vesicles, we review some of the most relevant research conducted over the last decade. We mainly refer to those experimental works that are based on physical chemistry approach, and to theoretical explanations given in terms of soft matter physics. In the first part, we describe the phase behavior and the conformation of multi-component lipid bilayers. After formulating the hydrodynamics of fluid membranes in presence of the surrounding solvent, we discuss the domain growth-law and decay rate of concentration fluctuations. Finally, we review several attempts to describe membrane rafts as two-dimensional microemulsion.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.chem-ph physics.flu-dyn


title: The detached-binary channel for the formation of contact binaries

abstract: The detached-binary channel is an important channel for the formation of contact binaries, according to which a detached binary might evolve into contact by evolutionary expansion of the components, or angular momentum loss through the effect of magnetic braking (MB). We have carried out a detailed binary population synthesis (BPS) study of this channel, and obtained the parameter regions for detached binaries to evolve into contact. Combining the observations from the $\emph{Kepler}$ satellite with our results, we found that the ratio of the birth rate of the progenitors of contact binaries to that of contact binaries is greater than about 1.2. This suggests that for the detached-binary channel, the progenitors can be sufficient to produce observed contact binaries. In this channel, we find that the distribution of orbital period for contact binaries has a peak at about 0.25 days and a tail extending to longer periods, and the formation timescale of contact binaries has a large range from $\sim1$\,Myr to 15\,Gyr. These results show that the detached-binary channel could explain satisfactorily the main observational characteristics of contact binaries, in particular the distribution of orbital period shown by the $\emph{Kepler}$ observations and the existence of very young contact binaries.


title: Broadband high-resolution two-photon spectroscopy with laser frequency combs

abstract: Two-photon excitation spectroscopy with broad spectral span is demonstrated at Doppler-limited resolution. We describe first Fourier transform two-photon spectroscopy of an atomic sample with two mode-locked laser oscillators in a dual-comb technique. Each transition is uniquely identified by the modulation imparted by the interfering comb excitations. The temporal modulation of the spontaneous two-photon fluorescence is monitored with a single photodetector, and the spectrum is revealed by a Fourier transform.


title: Distributed multinomial regression

abstract: This article introduces a model-based approach to distributed computing for multinomial logistic (softmax) regression. We treat counts for each response category as independent Poisson regressions via plug-in estimates for fixed effects shared across categories. The work is driven by the high-dimensional-response multinomial models that are used in analysis of a large number of random counts. Our motivating applications are in text analysis, where documents are tokenized and the token counts are modeled as arising from a multinomial dependent upon document attributes. We estimate such models for a publicly available data set of reviews from Yelp, with text regressed onto a large set of explanatory variables (user, business, and rating information). The fitted models serve as a basis for exploring the connection between words and variables of interest, for reducing dimension into supervised factor scores, and for prediction. We argue that the approach herein provides an attractive option for social scientists and other text analysts who wish to bring familiar regression tools to bear on text data.


title: Propagation of extragalactic photons at ultra-high energy with the EleCa code

abstract: Ultra-high energy (UHE) photons play an important role as an independent probe of the photo-pion production mechanism by UHE cosmic rays. Their observation, or non-observation, may constrain astrophysical scenarios for the origin of UHECRs and help to understand the nature of the flux suppression observed by several experiments at energies above $10^{19.5}$ eV. Whereas the interaction length of UHE photons above $10^{17}$ eV ranges from a few hundred kpc up to tenths of Mpc, photons can interact with the extragalactic background radiation initiating the development of electromagnetic cascades which affect the fluxes of photons observed at Earth. The interpretation of the current experimental results rely on the simulations of the UHE photon propagation. In this paper, we present the novel Monte Carlo code EleCa to simulate the $Ele$ctromagnetic $Ca$scading initiated by high-energy photons and electrons. We provide an estimation of the surviving probability for photons inducing electromagnetic cascades as a function of their distance from the observer and we calculate the distances within which we expect to observe UHE photons with energy between $10^{17}$ and $10^{19}$ eV. Furthermore, the flux of GZK photons at Earth is investigated in several astrophysical scenarios where we vary both injection spectrum and composition at the source and the intensity of the intervening extragalactic magnetic field. Although the photon propagation depends on several astrophysical factors, our numerical predictions combined with future experimental observations (or non-observations) of UHE photons -- in the energy range between $10^{17.5}$ eV and $10^{20}$ eV -- can help to constrain these scenarios.


title: Measurement of the triple-differential cross section for photon + jets production in proton-proton collisions at sqrt(s) = 7 TeV

abstract: A measurement of the triple-differential cross section (sigma as a function of the photon pt and eta and the jet eta) in photon + jets final states using a data sample from proton-proton collisions at sqrt(s) = 7 TeV is presented. This sample corresponds to an integrated luminosity of 2.14 inverse femtobarns collected by the CMS detector at the LHC. Photons and jets are reconstructed within a pseudorapidity range of abs(eta) < 2.5, and are required to have transverse momenta in the range 40 < pt(gamma) < 300 GeV and pt(jet) > 30 GeV, respectively. The measurements are compared to theoretical predictions from the SHERPA leading-order QCD Monte Carlo event generator and the next-to-leading-order perturbative QCD calculation from JETPHOX. The predictions are found to be consistent with the data over most of the examined kinematic region.


title: An outflow perpendicular to the radio jet in the Seyfert nucleus of NGC5929

abstract: We report the observation of an outflow perpendicular to the radio jet in near-infrared integral field spectra of the inner 250 pc of the Seyfert 2 galaxy NGC 5929. The observations were obtained with the Gemini Near infrared Integral Field Spectrograph at a spatial resolution of ~20 pc and spectral resolution R~5300 and reveal a region 50 pc wide crossing the nucleus and extending by 300 pc perpendicularly to the known radio jet in this galaxy. Along this structure - which we call SE-NW strip - the emission-line profiles show two velocity components, one blueshifted and the other redshifted by -150 km/s and 150 km/s, respectively, relative to the systemic velocity. We interpret these two components as due to an outflow perpendicular to the radio jet, what is supported by low frequency radio emission observed along the same region. We attribute this feature to the interaction of ambient gas with an "equatorial outflow" predicted in recent accretion disk and torus wind models. Perpendicularly to the SE-NW strip, thus approximately along the radio jet, single component profiles show blueshifts of ~-150 km/s to the north-east and similar redshifts to the south-west, which can be attributed to gas counter-rotating relative to the stellar kinematics. More double-peaked profiles are observed in association with the two radio hot-spots, attributed to interaction of the radio jet with surrounding gas.


title: Operator content of the critical Potts model in d dimensions and logarithmic correlations

abstract: Using the symmetric group $S_Q$ symmetry of the $Q$-state Potts model, we classify the (scalar) operator content of its underlying field theory in arbitrary dimension. In addition to the usual identity, energy and magnetization operators, we find fields that generalize the $N$-cluster operators well-known in two dimensions, together with their subleading counterparts. We give the explicit form of all these operators -- up to non-universal constants -- both on the lattice and in the continuum limit for the Landau theory. We compute exactly their two- and three-point correlation functions on an arbitrary graph in terms of simple probabilities, and give the general form of these correlation functions in the continuum limit at the critical point. Specializing to integer values of the parameter $Q$, we argue that the analytic continuation of the $S_Q$ symmetry yields logarithmic correlations at the critical point in arbitrary dimension, thus implying a mixing of some scaling fields by the scale transformation generator. All these logarithmic correlation functions are given a clear geometrical meaning, which can be checked in numerical simulations. Several physical examples are discussed, including bond percolation, spanning trees and forests, resistor networks and the Ising model. We also briefly address the generalization of our approach to the $O(n)$ model.


title: SUSY naturalness without prejudice

abstract: Unlike the Standard Model (SM), supersymmetric models stabilize the electroweak (EW) scale $v$ at the quantum level and {\it predict} that $v$ is a function of the TeV-valued SUSY parameters ($\gamma_\alpha$) of the UV Lagrangian. We show that the (inverse of the) covariance matrix of the model in the basis of these parameters and the usual deviation $\delta\chi^2$ (from $\chi^2_{min}$ of a model) automatically encode information about the "traditional" EW fine-tuning measuring this stability, {\it provided that} the EW scale $v\sim m_Z$ is indeed regarded as a function $v=v(\gamma)$. It is known that large EW fine-tuning may signal an incomplete theory of soft terms and can be reduced when relations among $\gamma_\alpha$ exist (due to GUT symmetries, etc). The global correlation coefficient of this matrix can help one investigate if such relations are present. An upper bound on the usual EW fine-tuning measure ("in quadrature") emerges from the analysis of the $\delta\chi^2$ and the s-standard deviation confidence interval by using $v=v(\gamma)$ and the theoretical approximation (loop order) considered for the calculation of the observables. This upper bound avoids subjective criteria for the "acceptable" level of EW fine-tuning for which the model is still "natural".


title: Towards a Formalism-Based Toolkit for Automotive Applications

abstract: The success of a number of projects has been shown to be significantly improved by the use of a formalism. However, there remains an open issue: to what extent can a development process based on a singular formal notation and method succeed. The majority of approaches demonstrate a low level of flexibility by attempting to use a single notation to express all of the different aspects encountered in software development. Often, these approaches leave a number of scalability issues open. We prefer a more eclectic approach. In our experience, the use of a formalism-based toolkit with adequate notations for each development phase is a viable solution. Following this principle, any specific notation is used only where and when it is really suitable and not necessarily over the entire software lifecycle. The approach explored in this article is perhaps slowly emerging in practice - we hope to accelerate its adoption. However, the major challenge is still finding the best way to instantiate it for each specific application scenario. In this work, we describe a development process and method for automotive applications which consists of five phases. The process recognizes the need for having adequate (and tailored) notations (Problem Frames, Requirements State Machine Language, and Event-B) for each development phase as well as direct traceability between the documents produced during each phase. This allows for a stepwise verification/validation of the system under development. The ideas for the formal development method have evolved over two significant case studies carried out in the DEPLOY project.


title: On Using Complex Event Processing for Dynamic Demand Response Optimization in Microgrid

abstract: Demand-side load reduction is a key benefit of Smart Grids. However, existing demand response optimization (DR) programs fail to effectively leverage the near-realtime information available from smart meters and Building Area Networks to respond dynamically to changing energy use profiles. We investigate the use of semantic Complex Event Processing (CEP) patterns to model and detect dynamic situations in a campus microgrid to facilitate adaptive DR. Our focus is on demand-side management rather than supply-side constraints. Continuous data from information sources like smart meters and building sensors are abstracted as event streams. Event patterns for situations that assist with DR are detected from them. Specifically, we offer a taxonomy of event patterns that can guide operators to define situations of interest and we illustrate its efficacy for DR by applying these patterns on realtime events in the USC Campus microgrid using our CEP framework


title: Branched Hamiltonians and Supersymmetry

abstract: Some examples of branched Hamiltonians are explored both classically and in the context of quantum mechanics, as recently advocated by Shapere and Wilczek. These are in fact cases of switchback potentials, albeit in momentum space, as previously analyzed for quasi-Hamiltonian chaotic dynamical systems in a classical setting, and as encountered in analogous renormalization group flows for quantum theories which exhibit RG cycles. A basic two-worlds model, with a pair of Hamiltonian branches related by supersymmetry, is considered in detail.


title: On finite groups in which coprime commutators are covered by few cyclic subgroups

abstract: The coprime commutators $\gamma_j^*$ and $\delta_j^*$ were recently introduced as a tool to study properties of finite groups that can be expressed in terms of commutators of elements of coprime orders. They are defined as follows. Let $G$ be a finite group. Every element of $G$ is both a $\gamma_1^*$-commutator and a $\delta_0^*$-commutator. Now let $j\geq 2$ and let $X$ be the set of all elements of $G$ that are powers of $\gamma_{j-1}^*$-commutators. An element $g$ is a $\gamma_j^*$-commutator if there exist $a\in X$ and $b\in G$ such that $g=[a,b]$ and $(|a|,|b|)=1$. For $j\geq 1$ let $Y$ be the set of all elements of $G$ that are powers of $\delta_{j-1}^*$-commutators. The element $g$ is a $\delta_j^*$-commutator if there exist $a,b\in Y$ such that $g=[a,b]$ and $(|a|,|b|)=1$. The subgroups of $G$ generated by all $\gamma_j^*$-commutators and all $\delta_j^*$-commutators are denoted by $\gamma_j^*(G)$ and $\delta_j^*(G)$, respectively. For every $j\geq2$ the subgroup $\gamma_j^*(G)$ is precisely the last term of the lower central series of $G$ (which throughout the paper is denoted by $\gamma_\infty(G)$) while for every $j\geq1$ the subgroup $\delta_j^*(G)$ is precisely the last term of the lower central series of $\delta_{j-1}^*(G)$, that is, $\delta_j^*(G)=\gamma_\infty(\delta_{j-1}^*(G))$. In the present paper we prove that if $G$ possesses $m$ cyclic subgroups whose union contains all $\gamma_j^*$-commutators of $G$, then $\gamma_j^*(G)$ contains a subgroup $\Delta$, of $m$-bounded order, which is normal in $G$ and has the property that $\gamma_{j}^{*}(G)/\Delta$ is cyclic. If $j\geq2$ and $G$ possesses $m$ cyclic subgroups whose union contains all $\delta_j^*$-commutators of $G$, then the order of $\delta_j^*(G)$ is $m$-bounded.


title: Agent Approach in Support of Enterprise Application Integration

abstract: The present approach highlights the synergies between application integration and interaction protocols. Since both fields have advanced in different directions, a number of important technical problems can be addressed by their proper synthesis. In our previous work, we proposed a methodological approach based on Interaction Protocols for Enterprise Applica tion Integration (EAI). This approach permits to specify MAS (Multi-Agent System) interaction protocols, verify their behavior and use them to integrate multiple business applications. The result of the proposed approach is a validated interaction protocol. Based on this protocol, we define in this paper, an agent- based architecture for the EAI. It includes all the concepts nec- essary to support communication and coordination mechanisms such as inter-agent and agent-Web services communication.


title: Phenomenological studies of the low energy dynamics in the $ppK^+K^-$ system

abstract: In this article we review studies of the near threshold $pp \to ppK^+K^-$ reaction done with the COSY-11 and ANKE detectors. We discuss phenomenological studies of the $ppK^+K^-$ dynamics, in particular the recent investigations on the $K^+K^-$ final state interaction are presented.


title: An algebraic view of bacterial genome evolution

abstract: Rearrangements of bacterial chromosomes can be studied mathematically at several levels, most prominently at a local, or sequence level, as well as at a topological level. The biological changes involved locally are inversions, deletions, and transpositions, while topologically they are knotting and catenation. These two modelling approaches share some surprising algebraic features related to braid groups and Coxeter groups. The structural approach that is at the core of algebra has long found applications in sciences such as physics and analytical chemistry, but only in a small number of ways so far in biology. And yet there are examples where an algebraic viewpoint may capture a deeper structure behind biological phenomena. This article discusses a family of biological problems in bacterial genome evolution for which this may be the case, and raises the prospect that the tools developed by algebraists over the last century might provide insight to this area of evolutionary biology. .


title: A novel method for calibration and monitoring of time synchronization of TOF-PET scanners by means of cosmic rays

abstract: All of the present methods for calibration and monitoring of TOF-PET scanner detectors utilize radioactive isotopes such as e.g. $^{22}$Na or $^{68}$Ge, which are placed or rotate inside the scanner. In this article we describe a novel method based on the cosmic rays application to the PET calibration and monitoring methods. The concept allows to overcome many of the drawbacks of the present methods and it is well suited for newly developed TOF-PET scanners with a large longitudinal field of view. The method enables also monitoring of the quality of the scintillator materials and in general allows for the continuous quality assurance of the PET detector performance.


title: J-PET analysis framework for the prototype TOF-PET detector

abstract: Novel TOF-PET scanner solutions demand, apart from the state of the art detectors, software for fast processing of the gathered data, monitoring of the whole scanner and reconstruction of the PET image. In this article we present an analysis framework for the novel STRIP-PET scanner developed by the J-PET collaboration in the Institute of Physics of the Jagiellonian University. This software is based on the ROOT package used in many particle physics experiments.


title: Strangeness and charm in quark-gluon hadronization

abstract: This dissertation presents a theoretical study of soft hadron production in relativistic heavy-ion collisions. We explore the principles governing the hadronization of the expanding QGP fireball, and to understand its properties. Much of the ongoing effort is to demonstrate the validity of a QGP hadronization model which describes the particle production data accurately. We begin with a centrality study of multistrange hadrons from Au-Au collisions at 62.4 GeV at RHIC. We show that the statistical hadronization model (SHM) well describes particle production in QGP hadronization. For all centralities, the physical properties are compatible with the earlier proposed critical hadronization pressure suggesting universal hadronization conditions of QGP. Heavy-ion collisions at LHC present a new challenge for SHM in describing particle production at TeV energy scales. We show that the chemical non-equilibrium model gives a good description of the hadron production in Pb--Pb collisions at 2.76 TeV consistently as a function of centrality. Moreover, the model parameters assume expected values suggested by previous studies at lower energies. The quark-gluon plasma fireball hadronizes at the same universal hadronization conditions, that is a common critical pressure, entropy and energy density. At LHC energies, a significant amount of charm is expected to be produced and it is therefore crucial to incorporate charm into the present description of particle production. We present an upgraded SHARE with CHARM program, that quantifies the effect of charm on the yield of lighter hadrons and physical properties of the hadronizing fireball. In addition to light flavors ($u,d,s$), SHARE with CHARM describes charm hadron production and decays. We observe, that according to present experimental results, charm decays mainly affect the yields of multistrange particles.


title: Henselian Elements

abstract: Henselian elements are roots of polynomials which satisfy the conditions of Hensel's Lemma. In this paper we prove that for a finite field extension $(F|L,v)$, if $F$ is contained in the absolute inertia field of $L$, then the valuation ring $\mathcal O_F$ of $(F,v)$ is generated as an $\mathcal O_L$-algebra by henselian elements. Moreover, we give a list of equivalent conditions under which $\mathcal O_F$ is generated over $\mathcal O_L$ by finitely many henselian elements. We prove that if the chain of prime ideals of $\mathcal O_L$ is well-ordered, then these conditions are satisfied. We give an example of a finite valued inertial extension $(F|L,v)$ for which $\mathcal O_F$ is not a finitely generated $\mathcal O_L$-algebra. We also present a theorem that relates the problem of local uniformization with the theory of henselian elements.


title: On the Gorenstein and $\mathfrak{F}$-cohomological dimensions

abstract: We prove that for any discrete group $G$ with finite $\mathfrak{F}$-cohomological dimension, the Gorenstein cohomological dimension equals the $\mathfrak{F}$-cohomological dimension. This is achieved by constructing a long exact sequence of cohomological functors, analogous to that constructed by Avramov and Martsinkovsky, containing the $\mathfrak{F}$-cohomology and complete $\mathfrak{F}$-cohomology. As a corollary we improve upon a theorem of Degrijse concerning subadditivity of the $\mathfrak{F}$-cohomological dimension under group extensions.


title: How Soil Organic Matter Composition Controls Hexachlorobenzene-Soil-Interactions: Adsorption Isotherms and Quantum Chemical Modelling

abstract: Hazardous persistent organic pollutants (POPs) interact in soil with the soil organic matter (SOM) but this interaction is insufficiently understood at the molecular level. We investigated the adsorption of hexachlorobenzene (HCB) on soil samples with systematically modified SOM. These samples included the original soil, the soil modified by adding a hot water extract (HWE) fraction (soil+3 HWE and soil+6 HWE), and the pyrolyzed soil. The SOM contents increased in the order pyrolyzed soil < original soil < soil+3 HWE < soil+6 HWE. For the latter three samples this order was also valid for the HCB adsorption. The pyrolyzed soil adsorbed more HCB than the other samples at low initial concentrations, but at higher concentrations the HCB adsorption became weaker than in the samples with HWE addition. This adsorption behaviour combined with the differences in the chemical composition between the soil samples suggested that alkylated aromatic, phenol, and lignin monomer compounds contributed most to the HCB adsorption. To obtain a molecular level understanding, a test set has been developed on the basis of elemental analysis which comprises 32 representative soil constituents. The calculated binding free energy for HCB with each representative system shows that HCB binds to SOM stronger than to soil minerals. For SOM, HCB binds to alkylated aromatic, phenols, lignin monomers, and hydrophobic aliphatic compounds stronger than to polar aliphatic compounds confirming the above adsorption isotherms. Moreover, quantitative structure-activity relationship (QSAR) of the binding free energy with independent physical properties of the test set systems for the first time indicated that the polarizability, the partial charge on the carbon atoms, and the molar volume are the most important properties controlling HCB-SOM interactions.


title: Monotonicity and regularity of the speed for excited random walks in higher dimensions

abstract: We introduce a method for studying monotonicity of the speed of excited random walks in high dimensions, based on a formula for the speed obtained via cut-times and Girsanov's transform. While the method gives rise to similar results as have been or can be obtained via the expansion method of van der Hofstad and Holmes, it may be more palatable to a general probabilistic audience. We also revisit the law of large numbers for stationary cookie environments. In particular, we introduce a new notion of $e_1-$exchangeable cookie environment and prove the law of large numbers for this case.


title: Fermi bubble simulations: black hole feedback in the Milky Way

abstract: The $Fermi$ gamma-ray telescope discovered a pair of bubbles at the Galactic center. These structures are spatially-correlated with the microwave emission detected by the WMAP and Planck satellites. These bubbles were likely inflated by a jet launched from the vicinity of a supermassive black hole in the Galactic center. Using MHD simulations, which self-consistently include interactions between cosmic rays and magnetic fields, we build models of the supersonic jet propagation, cosmic ray transport, and the magnetic field amplification within the $Fermi$ bubbles. Our key findings are that: (1) the synthetic $Fermi$ gamma-ray and WMAP microwave spectra based on our simulations are consistent with the observations, suggesting that a single population of cosmic ray leptons may simultaneously explain the emission across a range of photon energies; (2) the model fits the observed centrally-peaked microwave emission if a second, more recent, pair of jets embedded in the $Fermi$ bubbles is included in the model. This is consistent with the observationally-based suggestion made by Su & Finkbeiner (2012); (3) the radio emission from the bubbles is expected to be strongly polarized due to the relatively high level of field ordering caused by elongated turbulent vortices. This effect is caused by the interaction of the shocks driven by the jets with the preexisting interstellar medium turbulence; (4) a layer of enhanced rotation measure in the shock-compressed region could exist in the bubble vicinity but the level of this enhancement depends on the details of the magnetic topology.


title: Shooting String Holography of Jet Quenching at RHIC and LHC

abstract: We derive a new formula for jet energy loss using finite endpoint momentum shooting strings initial conditions in SYM plasmas to overcome the difficulties of previous falling string holographic scenarios. We apply the new formula to compute the nuclear modification factor RAA and the elliptic flow parameter v2 of light hadrons at RHIC and LHC. We show furthermore that Gauss-Bonnet quadratic curvature corrections to the AdS5 geometry improve the agreement with the recent data.


title: Current induced torques between ferromagnets and compensated antiferromagnets: symmetry and phase coherence effects

abstract: It is shown that the current-induced torques between a ferromagnetic layer and an antiferromagnetic layer with a compensated interface vanish when the ferromagnet is aligned with an axis of spin-rotation symmetry of the antiferromagnet. For properly chosen geometries this implies that the current induced torque can stabilize the out-of-plane (or hard axis) orientation of the ferromagnetic layer. This current-induced torque relies on phase coherent transport, and we calculate the robustness of this torque to phase breaking scattering. From this it is shown that the torque is not linearly dependent on applied current, but has an absolute maximum.


title: A Tidal Disruption Event in a Nearby Galaxy Hosting an Intermediate Mass Black Hole

abstract: We report the serendipitous discovery of a bright point source flare in the Abell cluster 1795 with archival EUVE and Chandra observations. Assuming the EUVE emission is associated with the Chandra source, the X-ray 0.5-7 keV flux declined by a factor of ~2300 over a time span of 6 years, following a power-law decay with index ~2.44+-0.40. The Chandra data alone vary by a factor of ~20. The spectrum is well fit by a blackbody with a constant temperature of kT~0.09 keV (~10^6 K). The flare is spatially coincident with the nuclear region of a faint, inactive galaxy with a photometric redshift consistent at the one sigma level with the cluster (z=0.062476). We argue that these properties are indicative of a tidal disruption of a star by a black hole with log(M_BH/M_sun)~5.5+-0.5. If so, such a discovery indicates that tidal disruption flares may be used to probe black holes in the intermediate mass range, which are very difficult to study by other means.


title: Analytical Studies of Quasi Steady-State Model in Power System Long-Term Stability Analysis

abstract: In this paper, a theoretical foundation for the Quasi Steady-State (QSS) model in power system long-term stability analysis is developed. Sufficient conditions under which the QSS model gives accurate approximations of the long-term stability model in terms of trajectory and !-limit set are derived. These sufficient conditions provide some physical insights regarding the reason for the failure of the QSS model. Additionally, several numerical examples are presented to illustrate the analytical results derived.


title: Bishop-Runge approximations and inversion of a Riemann-Klein theorem

abstract: In this paper we give results about projective embeddings of Riemann surfaces, smooth or nodal, which we apply to the inverse Dirichlet-to-Neumann problem and to the inversion of a Riemann-Klein theorem. To produce useful embeddings, we adapt a technique of Bishop in the open bordered case and use Runge type harmonic approximation theorem in the compact case.


title: Automated identification and characterization of parcels (AICP) with OpenStreetMap and Points of Interest

abstract: Against the paucity of urban parcels in China, this paper proposes a method to automatically identify and characterize parcels (AICP) with OpenStreetMap (OSM) and Points of Interest (POI) data. Parcels are the basic spatial units for fine-scale urban modeling, urban studies, as well as spatial planning. Conventional ways of identification and characterization of parcels rely on remote sensing and field surveys, which are labor intensive and resource-consuming. Poorly developed digital infrastructure, limited resources, and institutional barriers have all hampered the gathering and application of parcel data in developing countries. Against this backdrop, we employ OSM road networks to identify parcel geometries and POI data to infer parcel characteristics. A vector-based CA model is adopted to select urban parcels. The method is applied to the entire state of China and identifies 82,645 urban parcels in 297 cities. Notwithstanding all the caveats of open and/or crowd-sourced data, our approach could produce reasonably good approximation of parcels identified from conventional methods, thus having the potential to become a useful supplement.


title: Direct limits in the heart of a t-structure: the case of a torsion pair

abstract: We study the behavior of direct limits in the heart of a t-structure. We prove that, for any compactly generated t-structure in a triangulated category with exact coproducts, countable direct limits are exact in its heart. Then, for a given Grothendieck category G and a torsion pair t = (T ;F) in G, we show that if the heart of the associated t-structure in the derived category D(G) is AB5, then F is closed under taking direct limits. The reverse implication is true, even implying that the heart is a Grothendieck category, for a wide class of torsion pairs which include the hereditary ones, those for which T is a cogenerating class and those for which F is a generating class. The results allow to extend well-known results by Buan-Krause, Bazzoni and Colpi-Gregorio to the general context of Grothendieck categories and to improve some results of (co)tlting theory of modules.


title: On reconstruction formulas for the ray transform acting on symmetric differentials on surfaces

abstract: The present article proposes a partial answer to the explicit inversion of the tensor tomography problem in two dimensions, by proving injectivity over certain kinds of tensors and providing reconstruction formulas for them. These tensors are symmetric differentials of any order as well as other types obtained after taking their transverse covariant derivative once. Such reconstruction formulas require introducing additional types of fiberwise Hilbert transforms which satisfy a convenient generalization of the Pestov-Uhlmann commutator formula \cite{Pestov2005}. Numerical simulations in {\tt MatLab} are provided using the author's code presented in \cite{Monard2013}, justifying the exactness of the formulas in some cases of simple and near-simple metrics, and displaying issues encountered as one increases either curvature, lack of simplicity, or tensor order, in all of which cases the formulas derived in the first part become theoretically insufficient.


title: p-adic L-functions of automorphic forms and exceptional zeros

abstract: Let F be a number field, p a prime number. We construct the (multi-variable) p-adic L-function of an automorphic representation of $GL_2(A_F)$ (with certain conditions at places above p and $\infty$), which interpolates the complex L-function at the central critical point. We use this construction to prove that the p-adic L-function of a modular elliptic curve E over F has vanishing order greater or equal to the number of primes above p at which E has split multiplicative reduction, as predicted by the exceptional zero conjecture. This is a generalization of analogous results by Spie{\ss} (arXiv:1207.2289) over totally real fields.


title: Co-annihilating Dark Matter: Effective Operator Analysis and Collider Phenomenology

abstract: We study dark matter (DM) models in which there are two dark sector particles, $\chi_1$ and $\chi_2$, of near mass. In such models, co-annihilation of $\chi_1$ and $\chi_2$ may be the dominant process controlling the DM relic density during freezeout in the early universe. In this scenario, there is no significant contribution to direct and indirect detection signals, unless there exists an extreme degeneracy in the masses of the lightest dark sector particles. Therefore, relic density constraints and collider searches provide the most relevant information about these models. We consider Dirac fermion dark matter which couples to standard model (SM) particles via an effective operator. For the collider phenomenology, where an effective field theory may not be valid, we adopt a simple Z' model to provide an appropriate UV completion. We explore the interesting LHC signals that arise from the dark matter production process $pp \rightarrow \overline{\chi_1} + \chi_2 + \textrm{ jet}$, followed by the decay $\chi_2 \rightarrow \chi_1 + SM$.


title: On the quantitative distribution of polynomial nilsequences - erratum

abstract: This is an erratum to 'On the quantitative distribution of polynomial nilsequences' [GT]. The proof of Theorem 8.6 of that paper, which claims a distribution result for multiparameter polynomial sequences on nilmanifolds, was incorrect. We provide two fixes for this issue here. First, we deduce the "equal sides" case $N_1 = \dots = N_t = N$ of [GT, Theorem 8.6] from the 1-parameter results in [GT]. This is the same basic mode of argument we attempted in the original paper, though the details are different. The equal sides case is the only one required in applications such as the proof of the inverse conjectures for the Gowers norms due to the authors and Ziegler. Second, we sketch a proof that [GT, Theorem 8.6] does in fact hold in its originally stated form, that is to say without the equal sides condition. To obtain this statement the entire argument of [GT] must be run in the context of multiparameter polynomial sequences $g : \mathbb{Z}^t \rightarrow G$ rather than 1-parameter sequences $g : \mathbb{Z} \rightarrow G$ as is currently done.


title: Tuning a Schottky barrier in a photoexcited topological insulator with transient Dirac cone electron-hole asymmetry

abstract: The advent of Dirac materials has made it possible to realize two dimensional gases of relativistic fermions with unprecedented transport properties in condensed matter. Their photoconductive control with ultrafast light pulses is opening new perspectives for the transmission of current and information. Here we show that the interplay of surface and bulk transient carrier dynamics in a photoexcited topological insulator can control an essential parameter for photoconductivity - the balance between excess electrons and holes in the Dirac cone. This can result in a strongly out of equilibrium gas of hot relativistic fermions, characterized by a surprisingly long lifetime of more than 50 ps, and a simultaneous transient shift of chemical potential by as much as 100 meV. The unique properties of this transient Dirac cone make it possible to tune with ultrafast light pulses a relativistic nanoscale Schottky barrier, in a way that is impossible with conventional optoelectronic materials.


title: On the frame bundle adapted to a submanifold

abstract: Let $M$ be a submanifold of a Riemannian manifold $(N,g)$. $M$ induces a subbundle $O(M,N)$ of adapted frames over $M$ of the bundle of orthonormal frames $O(N)$. Riemannian metric $g$ induces natural metric on $O(N)$. We study the geometry of a submanifold $O(M,N)$ in $O(N)$. We characterize the horizontal distribution of $O(M,N)$ and state its correspondence with the horizontal lift in $O(N)$ induced by the Levi--Civita connection on $N$. In the case of extrinsic geometry, we show that minimality is equivalent to harmonicity of the Gauss map of the submanifold $M$ with deformed Riemannian metric. In the case of intrinsic geometry we compute the curvatures.


title: Temperature and high strain rate dependence of tensile deformation behavior in single crystal iron from dislocation dynamics simulations

abstract: We conduct dislocation dynamics (DD) simulations of Fe periodic single crystals under tensile load at several high strain rates and temperatures. The simulations are enabled by the recent development of temperature-dependent dislocation mobility relations obtained from atomistic calculations. The plastic evolution in the simulations is governed by rapid initial dislocation multiplication, followed by a saturation of the flow stress when the subpopulation of slow plastic carriers becomes stabilized by dislocation annihilation. Above 500 K, edge dislocations coexist with screw dislocations and contribute proportionaly to the value of the flow stress. The DD simulations are used to interpret shock-loading experiments in Fe in terms of the relative importance of different strengthening mechanisms. We find that in the $10^4$-to-$10^6$ s$^{-1}$ strain rate regime, work hardening explains the hardening of shock-loaded bulk Fe crystals.


title: Lorentzian Flat Lie Groups Admitting a Timelike Left-Invariant Killing Vector Field

abstract: We call a connected Lie group endowed with a left-invariant Lorentzian flat metric Lorentzian flat Lie group. In this Note, we determine all Lorentzian flat Lie groups admitting a timelike left-invariant Killing vector field. We show that these Lie groups are 2-solvable and unimodular and hence geodesically complete. Moreover, we show that a Lorentzian flat Lie group $(\mathrm{G},\mu)$ admits a timelike left-invariant Killing vector field if and only if $\mathrm{G}$ admits a left-invariant Riemannian metric which has the same Levi-Civita connection of $\mu$. Finally, we give an useful characterization of left-invariant pseudo-Riemannian flat metrics on Lie groups $\mathrm{G}$ satisfying the property: for any couple of left invariant vector fields $X$ and $Y$ their Lie bracket $[X,Y]$ is a linear combination of $X$ and $Y$.


title: On monoids of monotone injective partial selfmaps of $L_n\times_{\operatorname{lex}}\mathbb{Z}$ with co-finite domains and images

abstract: We study the semigroup $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ of monotone injective partial selfmaps of the set of $L_n\times_{\operatorname{lex}}\mathbb{Z}$ having co-finite domain and image, where $L_n\times_{\operatorname{lex}}\mathbb{Z}$ is the lexicographic product of $n$-elements chain and the set of integers with the usual order. We show that $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ is bisimple and establish its projective congruences. We prove that $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ is finitely generated, and for $n=1$ every automorphism of $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ is inner and show that in the case $n\geqslant 2$ the semigroup $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ has non-inner automorphisms. Also we show that every Baire topology $\tau$ on $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ such that $(\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}}),\tau)$ is a Hausdorff semitopological semigroup is discrete, construct a non-discrete Hausdorff semigroup inverse topology on $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$, and prove that the discrete semigroup $\mathscr{I\!O}\!_{\infty}(\mathbb{Z}^n_{\operatorname{lex}})$ cannot be embedded into some classes of compact-like topological semigroups and that its remainder under the closure in a topological semigroup $S$ is an ideal in $S$.


title: Inverse questions for the large sieve

abstract: Suppose that an infinite set $A$ occupies at most $\frac{1}{2}(p+1)$ residue classes modulo $p$, for every sufficiently large prime $p$. The squares, or more generally the integer values of any quadratic, are an example of such a set. By the large sieve inequality the number of elements of $A$ that are at most $X$ is $O(X^{1/2})$, and the quadratic examples show that this is sharp. The simplest form of the inverse large sieve problem asks whether they are the only examples. We prove a variety of results and formulate various conjectures in connection with this problem, including several improvements of the large sieve bound when the residue classes occupied by $A$ have some additive structure. Unfortunately we cannot solve the problem itself.


title: The Raman dressed spin-1 spin-orbit coupled quantum gas

abstract: The recently realized spin-orbit coupled quantum gases (Y.-J Lin {\it et al}., Nature 471, 83-86 (2011); P. Wang {\it et al}., PRL 109, 095301 (2012); L. W. Cheuk {\it et al}., PRL 109, 095302 (2012)) mark a breakthrough in the cold atom community. In these experiments, two hyperfine states are selected from a hyperfine manifold to mimic a pseudospin-1/2 spin-orbit coupled system by the method of Raman dressing, which is applicable to both bosonic and fermionic gases. In this work, we show that the method used in these experiments can be generalized to create any large pseudospin spin-orbit coupled gas if more hyperfine states are coupled equally by the Raman lasers. As an example, we study in detail a quantum gas with three hyperfine states coupled by the Raman lasers, and show when the state-dependent energy shifts of the three states are comparable, triple-degenerate minima will appear at the bottom of the band dispersions, thus realizing a spin-1 spin-orbit coupled quantum gas. A novel feature of this three minima regime is that there can be two different kinds of stripe phases with different wavelengths, which has an interesting connection to the ferromagnetic and polar phases of spin-1 spinor BECs without spin-orbit coupling.


title: Minimum Delay Huffman Code in Backward Decoding Procedure

abstract: For some applications where the speed of decoding and the fault tolerance are important, like in video storing, one of the successful answers is Fix-Free Codes. These codes have been applied in some standards like H.263+ and MPEG-4. The cost of using fix-free codes is to increase the redundancy of the code which means the increase in the amount of bits we need to represent any peace of information. Thus we investigated the use of Huffman Codes with low and negligible backward decoding delay. We showed that for almost all cases there is always a Minimum Delay Huffman Code for a given length vector. The average delay of this code for anti-uniform sources is calculated, that is in agreement with the simulations, and it is shown that this delay is one bit for large alphabet sources. Also an algorithm is proposed which will find the minimum delay code with a good performance.


title: Optimal Strategies for a Long-Term Static Investor

abstract: The optimal strategies for a long-term static investor are studied. Given a portfolio of a stock and a bond, we derive the optimal allocation of the capitols to maximize the expected long-term growth rate of a utility function of the wealth. When the bond has constant interest rate, three models for the underlying stock price processes are studied: Heston model, 3/2 model and jump diffusion model. We also study the optimal strategies for a portfolio in which the stock price process follows a Black-Scholes model and the bond process has a Vasicek interest rate that is correlated to the stock price.


title: Moderate and Large Deviations for the Erd\H{o}s-Kac Theorem

abstract: The Erd\H{o}s-Kac theorem is a celebrated result in number theory which says that the number of distinct prime factors of a uniformly chosen random integer satisfies a central limit theorem. In this paper, we establish the large deviations and moderate deviations for this problem in a very general setting for a wide class of additive functions.


title: Convex separably rationally connected complete intersections

abstract: We give a generalization of a result of R. Pandharipande to arbitrary characteristic: We prove that, if $X$ is a convex, separably rationally connected, smooth complete intersection in $\mathbb{P}^N$ over an algebraically closed field of arbitrary characteristic, then $X$ is rational homogeneous.


title: Robust Low-rank Tensor Recovery: Models and Algorithms

abstract: Robust tensor recovery plays an instrumental role in robustifying tensor decompositions for multilinear data analysis against outliers, gross corruptions and missing values and has a diverse array of applications. In this paper, we study the problem of robust low-rank tensor recovery in a convex optimization framework, drawing upon recent advances in robust Principal Component Analysis and tensor completion. We propose tailored optimization algorithms with global convergence guarantees for solving both the constrained and the Lagrangian formulations of the problem. These algorithms are based on the highly efficient alternating direction augmented Lagrangian and accelerated proximal gradient methods. We also propose a nonconvex model that can often improve the recovery results from the convex models. We investigate the empirical recoverability properties of the convex and nonconvex formulations and compare the computational performance of the algorithms on simulated data. We demonstrate through a number of real applications the practical effectiveness of this convex optimization framework for robust low-rank tensor recovery.


title: Rethinking State-Machine Replication for Parallelism

abstract: State-machine replication, a fundamental approach to designing fault-tolerant services, requires commands to be executed in the same order by all replicas. Moreover, command execution must be deterministic: each replica must produce the same output upon executing the same sequence of commands. These requirements usually result in single-threaded replicas, which hinders service performance. This paper introduces Parallel State-Machine Replication (P-SMR), a new approach to parallelism in state-machine replication. P-SMR scales better than previous proposals since no component plays a centralizing role in the execution of independent commands---those that can be executed concurrently, as defined by the service. The paper introduces P-SMR, describes a "commodified architecture" to implement it, and compares its performance to other proposals using a key-value store and a networked file system.


title: Bounding the Test Log-Likelihood of Generative Models

abstract: Several interesting generative learning algorithms involve a complex probability distribution over many random variables, involving intractable normalization constants or latent variable normalization. Some of them may even not have an analytic expression for the unnormalized probability function and no tractable approximation. This makes it difficult to estimate the quality of these models, once they have been trained, or to monitor their quality (e.g. for early stopping) while training. A previously proposed method is based on constructing a non-parametric density estimator of the model's probability function from samples generated by the model. We revisit this idea, propose a more efficient estimator, and prove that it provides a lower bound on the true test log-likelihood, and an unbiased estimator as the number of generated samples goes to infinity, although one that incorporates the effect of poor mixing. We further propose a biased variant of the estimator that can be used reliably with a finite number of samples for the purpose of model comparison.


title: Global small solution to the 2D MHD system with a velocity damping term

abstract: This paper studies the global well-posedness of the incompressible magnetohydrodynamic (MHD) system with a velocity damping term. We establish the global existence and uniqueness of smooth solutions when the initial data is close to an equilibrium state. In addition, explicit large-time decay rates for various Sobolev norms of the solutions are also given.


title: Sparse CCA via Precision Adjusted Iterative Thresholding

abstract: Sparse Canonical Correlation Analysis (CCA) has received considerable attention in high-dimensional data analysis to study the relationship between two sets of random variables. However, there has been remarkably little theoretical statistical foundation on sparse CCA in high-dimensional settings despite active methodological and applied research activities. In this paper, we introduce an elementary sufficient and necessary characterization such that the solution of CCA is indeed sparse, propose a computationally efficient procedure, called CAPIT, to estimate the canonical directions, and show that the procedure is rate-optimal under various assumptions on nuisance parameters. The procedure is applied to a breast cancer dataset from The Cancer Genome Atlas project. We identify methylation probes that are associated with genes, which have been previously characterized as prognosis signatures of the metastasis of breast cancer.


title: Pathwise stochastic integrals for model free finance

abstract: We present two different approaches to stochastic integration in frictionless model free financial mathematics. The first one is in the spirit of It\^o's integral and based on a certain topology which is induced by the outer measure corresponding to the minimal superhedging price. The second one is based on the controlled rough path integral. We prove that every "typical price path" has a naturally associated It\^o rough path, and justify the application of the controlled rough path integral in finance by showing that it is the limit of non-anticipating Riemann sums, a new result in itself. Compared to the first approach, rough paths have the disadvantage of severely restricting the space of integrands, but the advantage of being a Banach space theory. Both approaches are based entirely on financial arguments and do not require any probabilistic structure.


title: Extended Glauber Model of Antiproton-Nucleus Annihilation for All Energies and Mass Numbers

abstract: Previous analytical formulas in the Glauber model for high-energy nucleus-nucleus collisions developed by Wong are utilized and extended to study antiproton-nucleus annihilations for both high and low energies, after taking into account the effects of Coulomb and nuclear interactions, and the change of the antiproton momentum inside a nucleus. The extended analytical formulas capture the main features of the experimental antiproton-nucleus annihilation cross sections for all energies and mass numbers. At high antiproton energies, they exhibit the granular property for the lightest nuclei and the black-disk limit for the heavy nuclei. At low antiproton energies, they display the effect of the antiproton momentum increase due to the nuclear interaction for the light nuclei, and the effect of the magnification due to the attractive Coulomb interaction for the heavy nuclei.


title: Growth Rates of Algebras, II: Wiegold Dichotomy

abstract: We investigate the function $d_\mathbf{A}(n)$, which gives the size of a least size generating set for $\mathbf{A}^n$, in the case where $\mathbf{A}$ has a cube term. We show that if $\mathbf{A}$ has a $k$-cube term and $\mathbf{A}^k$ is finitely generated, then $d_\mathbf{A}(n) \in O(\log(n))$ if $\mathbf{A}$ is perfect and $d_\mathbf{A}(n) \in O(n)$ if $\mathbf{A}$ is imperfect. When $\mathbf{A}$ is finite, then one may replace "Big Oh" with "Big Theta" in these estimates.


title: Automatic parametrization and mesh deformation for CFD optimization

abstract: We present an automatic and memory efficient methods of morphing-based parametrization of shapes in CFD optimization. Method is based on Kriging and Radial Basis Function interpolation methods.


title: Towards a unified theory of Sobolev inequalities

abstract: We discuss our work on pointwise inequalities for the gradient which are connected with the isoperimetric profile associated to a given geometry. We show how they can be used to unify certain aspects of the theory of Sobolev inequalities. In particular, we discuss our recent papers on fractional order inequalities, Coulhon type inequalities, transference and dimensionless inequalities and our forthcoming work on sharp higher order Sobolev inequalities that can be obtained by iteration.


title: Ordered Biclique Partitions and Communication Complexity Problems

abstract: An ordered biclique partition of the complete graph $K_n$ on $n$ vertices is a collection of bicliques (i.e., complete bipartite graphs) such that (i) every edge of $K_n$ is covered by at least one and at most two bicliques in the collection, and (ii) if an edge $e$ is covered by two bicliques then each endpoint of $e$ is in the first class in one of these bicliques and in the second class in other one. In this note, we give an explicit construction of such a collection of size $n^{1/2+o(1)}$, which improves the $O(n^{2/3})$ bound shown in the previous work [Disc. Appl. Math., 2014]. As the immediate consequences of this result, we show (i) a construction of $n \times n$ 0/1 matrices of rank $n^{1/2+o(1)}$ which have a fooling set of size $n$, i.e., the gap between rank and fooling set size can be at least almost quadratic, and (ii) an improved lower bound $(2-o(1)) \log N$ on the nondeterministic communication complexity of the clique vs. independent set problem, which matches the best known lower bound on the deterministic version of the problem shown by Kushilevitz, Linial and Ostrovsky [Combinatorica, 1999].


title: Time-like graphical models

abstract: We study continuous processes indexed by a special family of graphs. Processes indexed by vertices of graphs are known as probabilistic graphical models. Burdzy and Pal in their paper proposed a continuous version of graphical models -- processes indexed by time-like graphs. We construct a more general family of continuous processes on a wider family of graphs, find new properties and solve the conjecture of uniqueness of the distribution for the process indexed by graphs with infinite number of vertices. We present new results showing connections to the stochastic heat equation, Markov random fields, martingales indexed by directed sets and branching Markov processes.


title: An Overview of Geometric Asymptotic Analysis of Continuous and Discrete Painlev\'e Equations

abstract: The classical Painlev\'e equations are so well known that it may come as a surprise to learn that the asymptotic description of its solutions remains incomplete. The problem lies mainly with the description of families of solutions in the complex domain. Where asymptotic descriptions are known, they are stated in the literature as valid for large connected domains, which include movable poles of families of solutions. However, asymptotic analysis necessarily assumes that the solutions are bounded and so these domains must be punctured at locations corresponding to movable poles, leading to asymptotic results that may not be uniformly valid. To overcome these issues, we recently carried out asymptotic analysis in Okamoto's geometric space of initial values for the first and second Painlev\'e equations. In this paper, we review this method and indicate how it may be extended to the discrete Painlev\'e equations.

categories: nlin.SI math-ph math.AG math.CA math.DS math.MP


title: Spin Seebeck power generators

abstract: We derive expressions for the efficiency and figure of merit of two spin caloritronic devices based on the spin Seebeck effect (SSE), i.e., the generation of spin currents by a temperature gradient. The inverse spin Hall effect is conventionally used to detect the SSE and offers advantages for large area applications. We also propose a device that converts spin current into electric one by means of a spin-valve detector, which scales favorably to small sizes and approaches a figure of merit of 0.5 at room temperature.


title: Analysis of contact Cauchy-Riemann maps II: canonical neighborhoods and exponential convergence for the Morse-Bott case

abstract: This is a sequel to the papers [OW1], [OW2]. In [OW1], the authors introduced a canonical affine connection on $M$ associated to the contact triad $(M,\lambda,J)$. In [OW2], they used the connection to establish a priori $W^{k,p}$-coercive estimates for maps $w: \dot \Sigma \to M$ satisfying $\overline{\partial}^\pi w= 0, \, d(w^*\lambda \circ j) = 0$ \emph{without involving symplectization}. We call such a pair $(w,j)$ a contact instanton. In this paper, we first prove a canonical neighborhood theorem of the locus $Q$ foliated by closed Reeb orbits of a Morse-Bott contact form. Then using a general framework of the three-interval method, we establish exponential decay estimates for contact instantons $(w,j)$ of the triad $(M,\lambda,J)$, with $\lambda$ a Morse-Bott contact form and $J$ a CR-almost complex structure adapted to $Q$, under the condition that the asymptotic charge of $(w,j)$ at the associated puncture vanishes. We also apply the three-interval method to the symplectization case and provide an alternative approach via tensorial calculations to exponential decay estimates in the Morse-Bott case for the pseudoholomorphic curves on the symplectization of contact manifolds. This was previously established by Bourgeois [Bou] (resp. by Bao [Ba]), by using special coordinates, for the cylindrical (resp. for the asymptotically cylindrical) ends. The exponential decay result for the Morse-Bott case is an essential ingredient in the set-up of the moduli space of pseudoholomorphic curves which plays a central role in contact homology and symplectic field theory (SFT).


title: Geometric Property (T)

abstract: This paper discusses `geometric property (T)'. This is a property of metric spaces introduced in earlier work of the authors for its applications to K-theory. Geometric property (T) is a strong form of `expansion property': in particular for a sequence of finite graphs $(X_n)$, it is strictly stronger than $(X_n)$ being an expander in the sense that the Cheeger constants $h(X_n)$ are bounded below. We show here that geometric property (T) is a coarse invariant, i.e. depends only on the large-scale geometry of a metric space $X$. We also discuss the relationships between geometric property (T) and amenability, property (T), and various coarse geometric notions of a-T-menability. In particular, we show that property (T) for a residually finite group is characterised by geometric property (T) for its finite quotients.


title: Factorized Three-body S-Matrix Restrained by Yang-Baxter Equation and Quantum Entanglements

abstract: This paper investigates the physical effects of Yang-Baxter equation (YBE) to quantum entanglements through the 3-body S-matrix in entangling parameter space. The explicit form of 3-body S-matrix $\breve{R}_{123}(\theta,\varphi)$ based on the 2-body S-matrices is given due to the factorization condition of YBE. The corresponding chain Hamiltonian has been obtained and diagonalized, also the Berry phase for 3-body system is given. It turns out that by choosing different spectral parameters the $\breve{R}(\theta,\varphi)$-matrix gives GHZ and W state respectively. The extended 1-D Kitaev toy model has been derived. Examples of the role of the model in entanglement transfer are discussed.


title: Battery Placement on Performance of VAR Controls

abstract: Battery's role in the development of smart grid is gaining greater attention as an energy storage device that can be integrated with a Photovoltaic (PV) cell in the distribution circuit. As more PVs are connected to the system, real power injection to the distribution can cause fluctuation in the voltage. Due to the rapid fluctuation of the voltage, a more advanced volt-ampere reactive (VAR) power control scheme on a fast time scale is used to minimize the voltage deviation on the distribution. Employing both global and local dynamic VAR control schemes in our previous work, we show the effects of battery placement on the performance of VAR controls in the example of a single branch radial distribution circuit. Simulations verify that having battery placement at the rear in the distribution circuit can provide smaller voltage variations and higher energy savings than front battery placement when used with dynamic VAR control algorithms.


title: First Measurement of the Cross-Correlation of CMB Lensing and Galaxy Lensing

abstract: We measure the cross-correlation of cosmic microwave background lensing convergence maps derived from Atacama Cosmology Telescope data with galaxy lensing convergence maps as measured by the Canada-France-Hawaii Telescope Stripe 82 Survey. The CMB-galaxy lensing cross power spectrum is measured for the first time with a significance of 4.2{\sigma}, which corresponds to a 12% constraint on the amplitude of density fluctuations at redshifts ~ 0.9. With upcoming improved lensing data, this novel type of measurement will become a powerful cosmological probe, providing a precise measurement of the mass distribution at intermediate redshifts and serving as a calibrator for systematic biases in weak lensing measurements.


title: On finite groups with nine centralizers

abstract: Given a finite group $G$, let $Cent(G)$ denote the set of distinct centralizers of elements of $G$. The group $G$ is called $n$-centralizer if $|Cent(G)|=n$ and primitive $n$-centralizer if $|Cent(G)|=|Cent(\frac{G}{Z(G)})|=n$. In this paper, we characterize the $9$-centralizer and the primitive $9$-centralizer groups.


title: Non-trivial Local Attractors of a Three-dimensional Dynamical System

abstract: Based on both qualitative method and numerical tests for a series of particular cases in the parameter region, a=1, 0<b <1, it is shown that the three-dimensional system (2) may have a series of interesting phenomena on the non-trivial local attractors, such as the faint attractor (this term is suggested by the author), the local attractor with complex structure, twin spatial limit closed orbits, the bifurcation of rotation numbers, and the spatial limit cycle, etc.. The system (2) is a very rich source in the study of dynamical system theory.


title: A Re-examination of the isometric embedding approach to General Relativity

abstract: We consider gravitational field equations which are Einstein equations written in terms of embedding coordinates in some higher dimensional Minkowski space. Our main focus is to address some tricky issues relating to the Cauchy problem and possible non-equivalence with the intrinsic Einstein theory. The well known theory introduced by Regge and Teitelboim in 9+1 dimensions is cast in Cauchy-Kowalevskaya form and therefore local existence and uniqueness results follow for \emph{analytic} initial data. In seeking a weakening of the regularity conditions for initial data, we are led naturally to propose a 13+1 dimensional theory. By imposing an appropriate conserved initial value constraint we are able, in the neighbourhood of a generic (free) embedding, to obtain a system of nonlinear hyperbolic differential equations. The questions of long time or global existence and uniqueness are formidable, but we offer arguments to suggest that the situation is not hopeless if the theory is modified in an appropriate way. We also present a modification of the perturbation method of G\"{u}nther to weighted Sobolev spaces, appropriate to noncompact initial data surfaces with asymptotic fall-off conditions.


title: Approximating Hereditary Discrepancy via Small Width Ellipsoids

abstract: The Discrepancy of a hypergraph is the minimum attainable value, over two-colorings of its vertices, of the maximum absolute imbalance of any hyperedge. The Hereditary Discrepancy of a hypergraph, defined as the maximum discrepancy of a restriction of the hypergraph to a subset of its vertices, is a measure of its complexity. Lovasz, Spencer and Vesztergombi (1986) related the natural extension of this quantity to matrices to rounding algorithms for linear programs, and gave a determinant based lower bound on the hereditary discrepancy. Matousek (2011) showed that this bound is tight up to a polylogarithmic factor, leaving open the question of actually computing this bound. Recent work by Nikolov, Talwar and Zhang (2013) showed a polynomial time $\tilde{O}(\log^3 n)$-approximation to hereditary discrepancy, as a by-product of their work in differential privacy. In this paper, we give a direct simple $O(\log^{3/2} n)$-approximation algorithm for this problem. We show that up to this approximation factor, the hereditary discrepancy of a matrix $A$ is characterized by the optimal value of simple geometric convex program that seeks to minimize the largest $\ell_{\infty}$ norm of any point in a ellipsoid containing the columns of $A$. This characterization promises to be a useful tool in discrepancy theory.


title: Higher Spin Currents in Wolf Space: Part I

abstract: For the N=4 superconformal coset theory described by SU(N+2)/SU(N) (that contains a Wolf space) with N=3, the N=2 WZW affine current algebra with constraints is obtained. The 16 generators of the large N=4 linear superconformal algebra are described by those WZW affine currents explicitly. By factoring out four spin-1/2 currents and the spin-1 current from these 16 generators, the remaining 11 generators (spin-2 current, four spin-3/2 currents, and six spin-1 currents) corresponding to the large N=4 nonlinear superconformal algebra are obtained. Based on the recent work by Gaberdiel and Gopakumar on the large N=4 holography, the extra 16 currents, with spin contents (1, 3/2, 3/2, 2), (3/2, 2, 2, 5/2), (3/2, 2, 2, 5/2), and (2, 5/2, 5/2, 3) described in terms of N=2 multiplets, are obtained and realized by the WZW affine currents. As a first step towards N=4 W algebra (which is NOT known so far), the operator product expansions (OPEs) between the above 11 currents and these extra 16 higher spin currents are found explicitly. It turns out that the composite fields with definite U(1) charges, made of above (11+16) currents (which commute with the Wolf space subgroup SU(N=3) x SU(2) x U(1) currents), occur in the right hand sides of these OPEs.


title: On structure of the polarization operator in a magnetic field

abstract: The polarization operator is investigated at arbitrary photon energy in a constant and homogeneous magnetic field for the strength H less than the Schwinger critical value. The effective mass of a real photon with a preset polarization is considered in the quantum energy region as well as in the quasiclassical one. Obtained in the quantum region expressions include the singular terms at the creation threshold of electron and positron on Landau levels.


title: Interpolation theorems for operators in non-commutative vector-valued symmetric spaces

abstract: We prove the version of interpolation theorem for non-commutative vector-valued fully symmetric spaces associated with fully symmetric Banach function spaces and a von Neumann algebra equipped with a faithful semifinite normal trace.


title: Channel and Noise Models for Nonlinear Molecular Communication Systems

abstract: Recently, a tabletop molecular communication platform has been developed for transmitting short text messages across a room. The end-to-end system impulse response for this platform does not follow previously published theoretical works because of imperfect receiver, transmitter, and turbulent flows. Moreover, it is observed that this platform resembles a nonlinear system, which makes the rich body of theoretical work that has been developed by communication engineers not applicable to this platform. In this work, we first introduce corrections to the previous theoretical models of the end-to-end system impulse response based on the observed data from experimentation. Using the corrected impulse response models, we then formulate the nonlinearity of the system as noise and show that through simplifying assumptions it can be represented as Gaussian noise. Through formulating the system's nonlinearity as the output a linear system corrupted by noise, the rich toolbox of mathematical models of communication systems, most of which are based on linearity assumption, can be applied to this platform.


title: Distributed Algorithms for Large-Scale Graphs

abstract: Motivated by the increasing need for fast processing of large-scale graphs, we study a number of fundamental graph problems in a message-passing model for distributed computing, called $k$-machine model, where we have $k$ machines that jointly perform computations on $n$-node graphs. The graph is assumed to be partitioned in a balanced fashion among the $k$ machines, a common implementation in many real-world systems. Communication is point-to-point via bandwidth-constrained links, and the goal is to minimize the round complexity, i.e., the number of communication rounds required to finish a computation. We present a generic methodology that allows to obtain efficient algorithms in the $k$-machine model using distributed algorithms for the classical CONGEST model of distributed computing. Using this methodology, we obtain algorithms for various fundamental graph problems such as connectivity, minimum spanning trees, shortest paths, maximal independent sets, and finding subgraphs, showing that many of these problems can be solved in $\tilde{O}(n/k)$ rounds; this shows that one can achieve speedup nearly linear in $k$. To complement our upper bounds, we present lower bounds on the round complexity that quantify the fundamental limitations of solving graph problems distributively. We first show a lower bound of $\Omega(n/k)$ rounds for computing a spanning tree of the input graph. This result implies the same bound for other fundamental problems such as computing a minimum spanning tree, breadth-first tree, or shortest paths tree. We also show a $\tilde \Omega(n/k^2)$ lower bound for connectivity, spanning tree verification and other related problems. The latter lower bounds follow from the development and application of novel results in a random-partition variant of the classical communication complexity model.


title: Pair Production of Majorana Neutrinos by Annihilation of Charged Particles in High Energy Collision

abstract: Assuming that neutrinos have non-vanishing magnetic moments, we discuss the possibility of pair production through annihilation of charged fermions in high-energy collisions. Adopting the Pauli interaction for photon-neutrino coupling, we calculate the neutrino pair production cross section in the photon channel and compare the result with the standard model in $ Z^{0} $ channel. we demonstrated that the enhancement of the production rate for Majorana neutrino pairs over the standard model rate can be possible at the center-of-mass energy of $10 - 100$ TeV for the Large Hadron Collider or the ultra-high-energy cosmic Ray when the transition magnetic moment is not smaller than $10^{-9} - 10^{-10} \mu_B$.


title: Novelty Detection Under Multi-Instance Multi-Label Framework

abstract: Novelty detection plays an important role in machine learning and signal processing. This paper studies novelty detection in a new setting where the data object is represented as a bag of instances and associated with multiple class labels, referred to as multi-instance multi-label (MIML) learning. Contrary to the common assumption in MIML that each instance in a bag belongs to one of the known classes, in novelty detection, we focus on the scenario where bags may contain novel-class instances. The goal is to determine, for any given instance in a new bag, whether it belongs to a known class or a novel class. Detecting novelty in the MIML setting captures many real-world phenomena and has many potential applications. For example, in a collection of tagged images, the tag may only cover a subset of objects existing in the images. Discovering an object whose class has not been previously tagged can be useful for the purpose of soliciting a label for the new object class. To address this novel problem, we present a discriminative framework for detecting new class instances. Experiments demonstrate the effectiveness of our proposed method, and reveal that the presence of unlabeled novel instances in training bags is helpful to the detection of such instances in testing stage.


title: The primitive cohomology of the theta divisor of an abelian fivefold

abstract: The primitive cohomology of the theta divisor of a principally polarized abelian variety of dimension $g$ is a Hodge structure of level $g-3$. The Hodge conjecture predicts that it is contained in the image, under the Abel-Jacobi map, of the cohomology of a family of curves in the theta divisor. In this paper we use the Prym map to show that this version of the Hodge conjecture is true for the theta divisor of a general abelian fivefold.


title: Enhancement of Critical Current Densities in (Ba,K)Fe2As2 by 320 MeV Au Irradiation in Single Crystals and by High-Pressure Sintering in PIT Wires

abstract: We demonstrate a large enhancement of critical current density (Jc) up to 1.0x10^7 A/cm2 at 5 K under self-field in (Ba,K)Fe2As2 single crystals by irradiating 320 MeV Au ions. With the very promising potential of this material in mind, we have fabricated a (Ba,K)Fe2As2 superconducting wire through a powder-in-tube method combined with the hot isostatic pressing technique, whose effectiveness has been proven in industrial Bi2223 tapes. The Jc in the wire at 4.2 K has reached 37 kA/cm2 under self-field and 3.0 kA/cm2 at 90 kOe. Magneto-optical imaging of the wire confirmed the large intergranular Jc in the wire core.


title: Charmed Tetraquarks Tcc and Tcs from Dynamical Lattice QCD Simulations

abstract: Charmed tetraquarks $T_{cc}=(cc\bar{u}\bar{d})$ and $T_{cs}=(cs\bar{u}\bar{d})$ are studied through the S-wave meson-meson interactions, $D$-$D$, $\bar{K}$-$D$, $D$-$D^{*}$ and $\bar{K}$-$D^{*}$, on the basis of the (2+1)-flavor lattice QCD simulations with the pion mass $m_{\pi} \simeq $410, 570 and 700 MeV. For the charm quark, the relativistic heavy quark action is employed to treat its dynamics on the lattice. Using the HAL QCD method, we extract the S-wave potentials in lattice QCD simulations, from which the meson-meson scattering phase shifts are calculated. The phase shifts in the isospin triplet ($I$=1) channels indicate repulsive interactions, while those in the $I=0$ channels suggest attraction, growing as $m_{\pi}$ decreases. This is particularly prominent in the $T_{cc} (J^P=1^+,I=0)$ channel, though neither bound state nor resonance are found in the range $m_{\pi} =410-700$ MeV. We make a qualitative comparison of our results with the phenomenological diquark picture.


title: Using virtual parts to optimize the metrology process

abstract: In the measurement process, there are many parameters affecting the measurement results: the influence of the probe system, material stiffness of measured workpiece, the calibration of the probe with a reference sphere, the thermal effects. We want to obtain the limits of a measurement methodology to be able to validate a result. The study is applied to a simple part. We observe the dispersion of the position of different drilled holes (XYZ values in a coordinate system) when we change the quality of the part and the method of calculation. We use the Design of Experiment (Taguchi method) to realize our study. We study the influence of the part quality on a measurement results. We consider two parameters to define the part quality (flatness and perpendicularity). We will also study the influence of different methods of calculation to determine the coordinate system. We can use two options in Metrolog XG software (tangent plane with or without orientation constraint). The originality of this paper is that we present a method for the design of experiment that uses CATIA (CAD system) to generate the measured parts. In this way we can realize a design of experiment with a largest number of experimental results. This is a positive point for a statistical analysis. We are also free to define the parts we want to study without manufacturing difficulties.


title: Evaluating the Usefulness of Paratransgenesis for Malaria Control

abstract: Malaria is a serious global health problem which is especially devastating to the developing world. Mosquitoes are the carriers of the parasite responsible for the disease, and hence malaria control programs focus on controlling mosquito populations. This is done primarily through the spraying of insecticides, or through the use of insecticide treated bed nets. However, usage of these insecticides exerts massive selection pressure on mosquitoes, resulting in insecticide resistant mosquito breeds. Hence, developing alternative strategies is crucial for sustainable malaria control. Here we explore the usefulness of paratransgenesis, i.e., introducing genetically engineered bacteria which secrete anti-plasmodium molecules, inside the mosquito midgut. The bacteria enter a mosquito's midgut when it drinks from a sugar bait, i.e., a sugar solution containing the bacterium. We formulate a mathematical model for evaluating the number of such baits required for preventing an outbreak. We study scenarios where vectors and hosts mix homogeneously as well as heterogeneously. We perform a full stability analysis and calculate the basic reproductive number for both the cases. Additionally, for the heterogeneous mixing scenario, we propose a targeted bait distribution strategy. The optimal bait allocation is calculated and is found to be extremely efficient in terms of bait usage. Our analyses suggest that paratransgenesis can prevent an outbreak, and hence it offers a viable and sustainable path to malaria control.


title: Structural and Dielectric Characterization on Multiferroic xNi0.9Zn0.1Fe2O4/(1-x)PbZr0.52Ti0.48O3 Particulate Composite

abstract: We have carried out the powder x-ray diffraction and dielectric studies on multiferroic particulate composite xNi0.9Zn0.1Fe2O4/(1-x)PbZr0.52Ti0.48O3 with x=0.15, 0.30, 0.45, 0.60, 0.75 and 0.90 to explore the structural and ferroelectric properties. A conventional double sintering method was used to prepare the xNi0.9Zn0.1Fe2O4/(1-x)PbZr0.52Ti0.48O3 composites. The structure of one of the component Ni0.9Zn0.1Fe2O4 is spinel cubic with space group Fd3m, while the other component PbZr0.52Ti0.48O3 is selected around the morphotropic phase boundary region in which the tetragonal and monoclinic phases with space group P4mm and Cm coexist respectively. We have carried out Rietveld refinement of the structure to check the formation of ideal composites with separate ferroelectric and ferrite phases. Even though the structural characterization does not reveal the formation of any new phase due to reaction between the two components of the composite during sintering, the tetragonality of the PbZr0.52Ti0.48O3 continuously decreases with increasing the ferrite fraction while the lattice parameter of ferrite phase increases with increasing fraction of the ferroelectric phase. Similarly, the dielectric study reveals clear shift in the ferroelectric to paraelectric phase transition temperature of PbZr0.52Ti0.48O3 during composite formation suggesting that part of Ni2+, Zn2+/ Fe3+ ions are diffusing at the B-site of PbZr0.52Ti0.48O3 replacing Ti4+, which in turn decreases its transition temperature. Scanning electron micrograph of sintered pellet surface confirms the presence of two types of particle morphology in the particulate composite, corresponding to ferrite and ferroelectric phases.


title: Asteroseismic analysis of the CoRoT target HD49933

abstract: The frequency ratios and of HD 49933 exhibit an increase at high frequencies. This behavior also exists in the ratios of other stars, which is considered to result from the low signal-to-noise ratio and the larger line width at the high-frequency end and could not be predicted by stellar models in previous work. Our calculations show that the behavior not only can be reproduced by stellar models, but can be predicted by asymptotic formulas of the ratios. The frequency ratios of the Sun, too, can be reproduced well by the asymptotic formulas. The increased behavior derives from the fact that the gradient of mean molecular weight at the bottom of the radiative region hinders the propagation of p-modes, while the hindrance does not exist in the convective core. This behavior should exist in the ratios of stars with a large convective core. The characteristic of the ratios at high frequencies provides a strict constraint on stellar models and aids in determining the size of the convective core and the extent of overshooting. Observational constraints point to a star with $M=1.28\pm0.01 M_{\odot}$, $R=1.458\pm0.005 R_{\odot}$, $t=1.83\pm0.1$ Gyr, $r_{cc}=0.16\pm0.02 R_{\odot}$, $\alpha=1.85\pm0.05$, and $\delta_{ov}=0.6\pm0.2$ for HD 49933.


title: A Complete Solution Classification and Unified Algorithmic Treatment for the One- and Two-Step Asymmetric S-Transverse Mass (MT2) Event Scale Statistic

abstract: The MT2 or "s-transverse mass" statistic was developed to associate a parent mass scale to a missing transverse energy signature, given that escaping particles are generally expected in pairs, while collider experiments are sensitive to just a single transverse momentum vector sum. This document focuses on the generalized extension of that statistic to asymmetric one- and two-step decay chains, with arbitrary child particle masses and upstream missing transverse momentum. It provides a unified theoretical formulation, complete solution classification, taxonomy of critical points, and technical algorithmic prescription for treatment of the MT2 event scale. An implementation of the described algorithm is available for download, and is also a deployable component of the author's selection cut software package AEACuS (Algorithmic Event Arbiter and Cut Selector). Appendices address combinatoric event assembly, algorithm validation, and a complete pseudocode.


title: Chiral symmetry and axial U(1) symmetry in finite temperature QCD with domain-wall fermion

abstract: We study the restoration of the spontaneously broken chiral symmetry and the anomalously broken axial U(1) symmetry in finite temperature QCD at zero chemical potential. We use 2 flavors lattice QCD with optimal domain-wall fermion on the $ 16^3 \times 6 $ lattice, with the extent $ N_s = 16 $ in the fifth dimension, in the temperature range $ T = 130-230 $ MeV. To examine the restoration of the chiral symmetry and the axial $ U(1) $ symmetry, we use diluted $ Z_2 $ noises to calculate the chiral condensate, and the chiral susceptibilities in the scalar and pseudoscalar meson channels, for flavor singlet and non-singlet respectively. From the degeneracy of the chiral susceptibilities around $ T_c $, it suggests that the axial $ U(1) $ symmetry is restored in the chirally symmetric phase. Moreover, we examine the spectral density $ \rho(\lambda_c) $ of the 4D effective Dirac operator with exact chiral symmetry, which is obtained by computing zero modes plus (180+180) conjugate pairs of low-lying modes for each gauge configuration. The suppression of low modes in the spectral density provides a consistency check of the restoration of axial $ U(1) $ symmetry in the chirally symmetric phase.