title: Defeating jamming with the power of silence: a game-theoretic analysis

abstract: The timing channel is a logical communication channel in which information is encoded in the timing between events. Recently, the use of the timing channel has been proposed as a countermeasure to reactive jamming attacks performed by an energy-constrained malicious node. In fact, whilst a jammer is able to disrupt the information contained in the attacked packets, timing information cannot be jammed and, therefore, timing channels can be exploited to deliver information to the receiver even on a jammed channel. Since the nodes under attack and the jammer have conflicting interests, their interactions can be modeled by means of game theory. Accordingly, in this paper a game-theoretic model of the interactions between nodes exploiting the timing channel to achieve resilience to jamming attacks and a jammer is derived and analyzed. More specifically, the Nash equilibrium is studied in the terms of existence, uniqueness, and convergence under best response dynamics. Furthermore, the case in which the communication nodes set their strategy and the jammer reacts accordingly is modeled and analyzed as a Stackelberg game, by considering both perfect and imperfect knowledge of the jammer's utility function. Extensive numerical results are presented, showing the impact of network parameters on the system performance.


title: Evolutionary Dynamics with Fluctuating Population Sizes and Strong Mutualism

abstract: Game theory ideas provide a useful framework for studying evolutionary dynamics in a well-mixed environment. This approach, however, typically enforces a strictly fixed overall population size, deemphasizing natural growth processes. We study a competitive Lotka-Volterra model, with number fluctuations, that accounts for natural population growth and encompasses interaction scenarios typical of evolutionary games. We show that, in an appropriate limit, the model describes standard evolutionary games with both genetic drift and overall population size fluctuations. However, there are also regimes where a varying population size can strongly influence the evolutionary dynamics. We focus on the strong mutualism scenario and demonstrate that standard evolutionary game theory fails to describe our simulation results. We then analytically and numerically determine fixation probabilities as well as mean fixation times using matched asymptotic expansions, taking into account the population size degree of freedom. These results elucidate the interplay between population dynamics and evolutionary dynamics in well-mixed systems.


title: On the kinetics that moves Myosin V

abstract: Molecular motor proteins such as Myosin V, Dynein or Kinesin are no ratchets, at least not with a flashing asymmetric potential; the crucial asymmetry is in the dynamical activity. We make that explicit in terms of a simple Markov model, emphasizing the kinetic (and non-thermodynamic) aspects of stochastic transport. The analysis shows the presence of a fluctuation symmetry in that part of the dynamical activity which is antisymmetric under reversal of trailing and leading head of the motor. The direction of the motor motion is determined by it.


title: 4-Dimensional Power Geometry and its Application to $P_1$ -- $P_5$

abstract: In the first section of this work we introduce 4-dimensional Power Geometry for second-order ODEs of a polynomial form. In the next five sections we apply this construction to the first five Painlev\'e equations.


title: Bias in Estimators of Archaic Admixture

abstract: This article evaluates bias in one class of methods used to estimate archaic admixture in modern humans. These methods study the pattern of allele sharing among modern and archaic genomes. They are sensitive to "ghost" admixture, which occurs when a population receives archaic DNA from sources not acknowledged by the statistical model. The effect of ghost admixture depends on two factors: branch-length bias and population-size bias. Branch-length bias occurs because a given amount of admixture has a larger effect if the two populations have been separated for a long time. Population-size bias occurs because differences in population size distort branch lengths in the gene genealogy. In the absence of ghost admixture, these effects are small. They become important, however, in the presence of ghost admixture. Estimators differ in the pattern of response. Increasing a given parameter may inflate one estimator but deflate another. For this reason, comparisons among estimators are informative. Using such comparisons, this article supports previous findings that the archaic population was small and that Europeans received little gene flow from archaic populations other than Neanderthals. It also identifies an inconsistency in estimates of archaic admixture into Melanesia.


title: Plasmon decay and thermal transport from spin-charge coupling in generic Luttinger liquids

abstract: We discuss the violation of spin-charge separation in generic nonlinear Luttinger liquids and investigate its effect on the relaxation and thermal transport of genuine spin-1/2 electron liquids in ballistic quantum wires. We identify basic scattering processes compatible with the symmetry of the problem and conservation laws that lead to the decay of plasmons into the spin modes. We derive a closed set of coupled kinetic equations for the spin-charge excitations and solve the problem of thermal conductance of interacting electrons for an arbitrary relation between the quantum wire length and spin-charge thermalization length.


title: Brownian scattering of a spinon in a Luttinger liquid

abstract: We consider strongly interacting one-dimensional electron liquids where elementary excitations carry either spin or charge. At small temperatures a spinon created at the bottom of its band scatters off low-energy spin- and charge-excitations and follows the diffusive motion of a Brownian particle in momentum space. We calculate the mobility characterizing these processes, and show that the resulting diffusion coefficient of the spinon is parametrically enhanced at low temperatures compared to that of a mobile impurity in a spinless Luttinger liquid. We briefly discuss that this hints at the relevance of spin in the process of equilibration of strongly interacting one-dimensional electrons, and comment on implications for transport in clean single channel quantum wires.


title: Large-scale environment of $z\sim 5.7$ CIV absorption systems -II. Spectroscopy of Lyman-$\alpha$ emitters

abstract: The flow of baryons to and from a galaxy, which is fundamental for galaxy formation and evolution, can be studied with galaxy-metal absorption system pairs. Our search for galaxies around CIV absorption systems at $z\sim5.7$ showed an excess of photometric Lyman-$\alpha$ emitter (LAE) candidates in the fields J1030+0524 and J1137+3549. Here we present spectroscopic follow-up of 33 LAEs in both fields. In the first field, three out of the five LAEs within 10$h^{{-}1}$ projected comoving Mpc from the CIV system are within $\pm500$ km s$^{{-}1}$ from the absorption at $z_{\text{CIV}}=5.7242\pm0.0001$. The closest candidate (LAE 103027+052419) is robustly confirmed at $212.8^{+14}_{-0.4}h^{-1}$ physical kpc from the CIV system. In the second field, the LAE sample is selected at a lower redshift ($\Delta z\sim0.04$) than the CIV absorption system as a result of the filter transmission and, thus, do not trace its environment. The observed properties of LAE 103027+052419 indicate that it is near the high-mass end of the LAE distribution, probably having a large HI column density and large-scale outflows. Therefore, our results suggest that the CIV system is likely produced by a star-forming galaxy which has been injecting metals into the intergalactic medium since $z>6$. Thus, the CIV system is either produced by LAE 103027+052419, implying that outflows can enrich larger volumes at $z>6$ than at $z\sim3.5$, or an undetected dwarf galaxy. In either case, CIV systems like this one trace the ionized intergalactic medium at the end of cosmic hydrogen reionization and may trace the sources of the ionizing flux density.


title: A New Method for Indirect Mass Measurements using the Integral Charge Asymmetry at the LHC

abstract: Processes producing a charged final state at the LHC have a positive integral charge asymmetry. We propose a novel method for an indirect measurement of the mass of these final states based upon the process integral charge asymmetry. First, the theoretical prediction of the integral charge asymmetry and its related uncertainties are studied through parton level cross sections calculations. Then, the experimental extraction of the integral charge asymmetry of a given signal, in the presence of some background, is performed using particle level simulations. Process dependent templates enable to convert the measured integral charge asymmetry into an estimated mass of the charged final state. Finally, a combination of the experimental and the theoretical uncertainties determines the full uncertainty of the indirect mass measurement. This new method applies to all charged current processes at the LHC. In this article, we demonstrate its effectiveness at extracting the mass of the W boson, as a first step, and the sum of the masses of a chargino and a neutralino in case these supersymmetric particles are produced by pair, as a second step.


title: Coherency Tuning via Phase Conjugation in Fiber Laser Networks

abstract: Phase-locking of large mode area Yb photonic crystal fiber amplifiers via stimulated Brillouin scattering phase conjugation is analyzed. The wavefront reversing mirrors are proposed for chirped pulse fiber laser networks. The chirp control via both nonresonant Kerr and resonant index is considered.


title: Model selection for the segmentation of multiparameter exponential family distributions

abstract: We consider the segmentation problem of univariate distributions from the exponential family with multiple parameters. In segmentation, the choice of the number of segments remains a difficult issue due to the discrete nature of the change-points. In this general exponential family distribution framework, we propose a penalized log-likelihood estimator where the penalty is inspired by papers of L. Birg\'e and P. Massart. The resulting estimator is proved to satisfy an oracle inequality. We then further study the particular case of categorical variables by comparing the values of the key constants when derived from the specification of our general approach and when obtained by working directly with the characteristics of this distribution. Finally, a simulation study is conducted to assess the performance of our criterion for the exponential distribution, and an application on real data modelled by the categorical distribution is provided.


title: High-Temperature Performance of MoS2 Thin-Film Transistors: DC and Pulse Current-Voltage Characteristics

abstract: The measurements of the high - temperature current - voltage characteristics of MoS2 thin - film transistors show that the devices remain functional to temperatures of at least as high as 500 K. The temperature increase results in decreased threshold voltage and mobility. The comparison of the DC and pulse measurements shows that the DC sub - linear and super - linear output characteristics of MoS2 thin - films devices result from the Joule heating and the interplay of the threshold voltage and mobility temperature dependences. At temperatures above 450 K, an intriguing phenomenon of the "memory step" - a kink in the drain current - occurs at zero gate voltage irrespective of the threshold voltage value. The memory step effect was attributed to the slow relaxation processes in thin films similar to those in graphene and electron glasses. The obtained results suggest new applications for MoS2 thin - film transistors in extreme - temperature electronics and sensors.


title: Suppressing Alignment: Joint PAPR and Out-of-Band Power Leakage Reduction for OFDM-Based Systems

abstract: Orthogonal frequency division multiplexing (OFDM) inherently suffers from two major drawbacks: high out-of-band (OOB) power leakage and high peak-to-average power ratio (PAPR). This paper proposes a novel approach called suppressing alignment for the joint reduction of the OOB power leakage and PAPR. The proposed approach exploits the temporal degrees of freedom provided by the cyclic prefix(CP), a necessary redundancy in OFDM systems, to generate a suppressing signal, that when added to the OFDM symbol, results in marked reduction in both the OOB power leakage and PAPR. Additionally, and in order to not cause any interference to the information data carried by the OFDM symbol, the proposed approach utilizes the wireless channel to perfectly align the suppressing signal with the CP duration at the OFDM receiver. Essentially, maintaining a bit error rate (BER) performance similar to legacy OFDM without requiring any change in the receiver structure.


title: On Shift Harnack Inequalities for Subordinate Semigroups and Moment Estimates for L\'evy Processes

abstract: We show that shift Harnack type inequalities (in the sense of F.-Y.~Wang \cite{Wan14}) are preserved under Bochner's subordination. The proofs are based on two types of moment estimates for subordinators. As a by-product we establish moment estimates for general L\'evy processes.


title: Unambiguous identification of monolayer phosphorene by phase-shifting interferometry

abstract: Monolayer phosphorene provides a unique two-dimensional (2D) platform to investigate the fundamental many-body interactions. However, owing to its high instability, unambiguous identification of monolayer phosphorene has been elusive. Consequently, many important fundamental properties, such as exciton dynamics, remain underexplored. We report a rapid, noninvasive, and highly accurate approach based on optical interferometry to determine the layer number of phosphorene, and confirm the results with reliable photoluminescence measurements. Based on the measured optical gap and the calculated electronic energy gap, we determined the exciton binding energy to be ~0.4 eV for the monolayer phosphorene on SiO2/Si substrate, which agrees well with theoretical predictions. Our results open new avenues for exploring fundamental phenomena and novel optoelectronic applications using monolayer phosphorene.


title: Special Reduced Multiplets and Minimal Representations for SO(p,q)

abstract: Using our previous results on the systematic construction of invariant differential operators for non-compact semisimple Lie groups we classify the special reduced multiplets and minimal representations in the case of SO(p,q).


title: Quantifying Natural and Artificial Intelligence in Robots and Natural Systems with an Algorithmic Behavioural Test

abstract: One of the most important aims of the fields of robotics, artificial intelligence and artificial life is the design and construction of systems and machines as versatile and as reliable as living organisms at performing high level human-like tasks. But how are we to evaluate artificial systems if we are not certain how to measure these capacities in living systems, let alone how to define life or intelligence? Here I survey a concrete metric towards measuring abstract properties of natural and artificial systems, such as the ability to react to the environment and to control one's own behaviour.


title: First Passage Value

abstract: For many stochastic dynamic systems, the Mean First Passage Time (MFPT) is a useful concept, which gives expected time before a state of interest. This work is an extension of MFPT in several ways. (1) We show that for some systems the system-wide MFPT, calculated using the second largest eigenvalue only, captures most of the fundamental dynamics, even for quite complex, high-dimensional systems. (2) We generalize MFPT to Mean First Passage Value (MFPV), which gives a more general value of interest, e.g., energy expenditure, distance, or time. (3) We provide bounds on First Passage Value (FPV) for a given confidence level. At the heart of this work, we emphasize that for our goals, many hybrid systems can be approximated as Markov Decision Processes. So, many systems can be controlled effectively using this framework. However, our framework is particularly useful for metastable systems. Such systems exhibit interesting long-living behaviors from which they are guaranteed to inevitably escape (e.g., eventually arriving at a distinct failure or success state). Our goal is then either minimizing or maximizing the value until escape, depending on the application.


title: On the Shadow Simplex Method for Curved Polyhedra

abstract: We study the simplex method over polyhedra satisfying certain "discrete curvature" lower bounds, which enforce that the boundary always meets vertices at sharp angles. Motivated by linear programs with totally unimodular constraint matrices, recent results of Bonifas et al (SOCG 2012), Brunsch and R\"oglin (ICALP 2013), and Eisenbrand and Vempala (2014) have improved our understanding of such polyhedra. We develop a new type of dual analysis of the shadow simplex method which provides a clean and powerful tool for improving all previously mentioned results. Our methods are inspired by the recent work of Bonifas and the first named author (SODA 2015), who analyzed a remarkably similar process as part of an algorithm for the Closest Vector Problem with Preprocessing. For our first result, we obtain a constructive diameter bound of $O(\frac{n^2}{\delta} \ln \frac{n}{\delta})$ for $n$-dimensional polyhedra with curvature parameter $\delta \in [0,1]$. For the class of polyhedra arising from totally unimodular constraint matrices, this implies a bound of $O(n^3 \ln n)$. For linear optimization, given an initial feasible vertex, we show that an optimal vertex can be found using an expected $O(\frac{n^3}{\delta} \ln \frac{n}{\delta})$ simplex pivots, each requiring $O(m n)$ time to compute. An initial feasible solution can be found using $O(\frac{m n^3}{\delta} \ln \frac{n}{\delta})$ pivot steps.


title: SVEN: Informative Visual Representation of Complex Dynamic Structure

abstract: Graphs change over time, and typically variations on the small multiples or animation pattern is used to convey this dynamism visually. However, both of these classical techniques have significant drawbacks, so a new approach, Storyline Visualization of Events on a Network (SVEN) is proposed. SVEN builds on storyline techniques, conveying nodes as contiguous lines over time. SVEN encodes time in a natural manner, along the horizontal axis, and optimizes the vertical placement of storylines to decrease clutter (line crossings, straightness, and bends) in the drawing. This paper demonstrates SVEN on several different flavors of real-world dynamic data, and outlines the remaining near-term future work.


title: Electronic states of zigzag graphene nanoribbons with edges reconstructed with topological defects

abstract: The energy spectrum and electronic density of states (DOS) of zigzag graphene nanoribbons with edges reconstructed with topological defects are investigated within the tight-binding method. In case of the Stone-Wales zz (57) edge the low-energy spectrum is markedly changed in comparison to the pristine zz edge. We found that the electronic DOS at the Fermi level is different from zero at any width of graphene nanoribbons. In contrast, for ribbons with heptagons only at one side and pentagons at another one the energy gap at the Fermi level is open and the DOS is equal to zero. The reason is the influence of uncompensated topological charges on the localized edge states, which are topological in nature. This behavior is similar to that found for the structured external electric potentials along the edges.


title: General Majorana Neutrino Mass Matrix from a Low Energy SU(3) Family Symmetry with Sterile Neutrinos

abstract: Within the framework of a local SU(3) family symmetry model, we report a general analysis of the mechanism for neutrino mass generation and mixing, including light sterile neutrinos. In this scenario, ordinary heavy fermions, top and bottom quarks and tau lepton, become massive at tree level from Dirac See-saw mechanisms implemented by the introduction of a new set of $SU(2)_L$ weak singlet vector-like fermions, U,D,E,N, with N a sterile neutrino. Right-handed and the $N_{L,R}$ sterile neutrinos allow the implementation of a 8x8 general Majorana neutrino mass matrix with four or five massless neutrinos at tree level. Hence, light fermions, including light neutrinos get masses from radiative corrections mediated by the massive SU(3) gauge bosons. We report the corresponding Majorana neutrino mass matrix up to one loop. Previous numerical analysis of the free parameters show out solutions for quarks and charged lepton masses within a parameter space region where the vector-like fermion masses $M_U, M_D, M_E$, and the SU(3) family gauge boson masses lie in the low energy region of $\mathcal{O} (1-20)\,$TeV, with light neutrinos within the correct order of square neutrino mass differences: $m_2^2-m_1^2 \approx 7 \times 10^{-5}\;\text{eV}^2$, $m_3^2-m_1^2 \approx 2 \times 10^{-3}\;\text{eV}^2$, and at least one sterile neutrino of the order $\approx 0.5\;\text{eV}$. A more precise fit of the parameters is still needed to account also for the quark and lepton mixing.


title: An Optically Obscured AGN in a Low Mass, Irregular Dwarf Galaxy: A Multi-Wavelength Analysis of J1329+3234

abstract: Supermassive black holes (SMBHs) are found ubiquitously in large, bulge-dominated galaxies throughout the local universe, yet little is known about their presence and properties in bulgeless and low-mass galaxies. This is a significant deficiency, since the mass distribution and occupation fraction of nonstellar black holes provide important observational constraints on SMBH seed formation theories and many dwarf galaxies have not undergone major mergers that would erase information on their original black hole population. Using data from the Wide-field Infrared Survey Explorer, we discovered hundreds of bulgeless and dwarf galaxies that display mid-infrared signatures of extremely hot dust highly suggestive of powerful accreting massive black holes, despite having no signatures of black hole activity at optical wavelengths. Here we report, in our first follow-up X-ray investigation of this population, that the irregular dwarf galaxy J132932.41+323417.0 (z = 0.0156) contains a hard, unresolved X-ray source detected by XMM-Newton with luminosity L_2-10 keV = 2.4 x 10^40 erg/s, over two orders of magnitude greater than that expected from star formation, strongly suggestive of the presence of an accreting massive black hole. While enhanced X-ray emission and hot dust can be produced in extremely low metallicity environments, J132932.41+323417.0 is not extremely metal poor (~40% solar). With a stellar mass of 2.0 x 10^8 M_Sol, this galaxy is similar in mass to the Small Magellanic Cloud, and is one of the lowest mass galaxies with evidence for a massive nuclear black hole currently known.


title: RG domain wall for the N=1 minimal superconformal models

abstract: We specify Gaiotto's proposal for the RG domain wall between some coset CFT models to the case of two minimal N=1 SCFT models $SM_p$ and $SM_{p-2}$ related by the RG flow initiated by the top component of the Neveu-Schwarz superfield $\Phi_{1,3}$ . We explicitly calculate the mixing coefficients for several classes of fields and compare the results with the already known in literature results obtained through perturbative analysis. Our results exactly match with both leading and next to leading order perturbative calculations.


title: Symmetry reduction of turbulent pipe flows

abstract: We propose and apply a Fourier-based symmetry reduction scheme to remove, or quotient, the streamwise translation symmetry of Laser-Induced-Fluorescence measurements of turbulent pipe flows that are viewed as dynamical systems in a high-dimensional state space. We also explain the relation between Taylor's hypothesis and the comoving frame velocity $U_{d}$ of the turbulent orbit in state space. In particular, in physical space we observe flow structures that deform as they advect downstream at a speed that differs significantly from $U_{d}$. Indeed, the symmetry reduction analysis of planar dye concentration fields at Reynolds number $\mathfrak{\mathsf{Re}}=3200$ reveals that the speed $u$ at which high concentration peaks advect is roughly 1.43 times $U_{d}$. In a physically meaningful symmetry-reduced frame, the excess speed $u-U_{d}\approx0.43U_{d}$ can be explained in terms of the so-called geometric phase velocity $U_{g}$ associated with the orbit in state space. The 'self-propulsion velocity' $U_{g}$ is induced by the shape-changing dynamics of passive scalar structures observed in the symmetry-reduced frame, in analogy with that of a swimmer at low Reynolds numbers.


title: The equation of state in two-, three-, and four-color QCD at non-zero temperature and density

abstract: We calculate the equation of state at non-zero temperature and density from first principles in two-, three- and four-color QCD with two fermion flavors in the fundamental and two-index, antisymmetric representation. By matching low-energy results (from a `hadron resonance gas') to high-energy results from (resummed) perturbative QCD, we obtain results for the pressure and trace anomaly that are in quantitative agreement with full lattice-QCD studies for three colors at zero chemical potential. Our results for non-zero chemical potential at zero temperature constitute predictions for the equation of state in QCD-like theories that can be tested by traditional lattice studies for two-color QCD with two fundamental fermions and four-color QCD with two two-index, antisymmetric fermions. We find that the speed of sound squared at zero temperature can exceed one third, which may be relevant for the phenomenology of high-mass neutron stars.


title: A generalization of Poletsky's classical theorem and a characterization of thinness of a subset in $\C^n$

abstract: In this paper we generalize Poletsky's classical theorem to a situation where the kernel of Poisson functional is not upper semicontinuous. We give a characterization of thinness of a subset at a point in $\C^n$ in term of analytic discs.


title: A univalent universe in finite order arithmetic

abstract: Homotopy Type Theory with a univalent universe $\,\mathcal{U}_0$ is interpreted at the strength of finite order arithmetic. We eliminate Grothendieck universes, avoid the axiom of replacement, and bound all uses of separation.


title: Social optimality in quantum Bayesian games

abstract: A significant aspect of the study of quantum strategies is the exploration of the game-theoretic solution concept of the Nash equilibrium in relation to the quantization of a game. Pareto optimality is a refinement on the set of Nash equilibria. A refinement on the set of Pareto optimal outcomes is known as social optimality in which the sum of players' payoffs are maximized. This paper analyzes social optimality in a Bayesian game that uses the setting of generalized Einstein-Podolsky-Rosen experiments for its physical implementation. We show that for the quantum Bayesian game a direct connection appears between the violation of Bell's inequality and the social optimal outcome of the game and that it attains a superior socially optimal outcome.


title: Shift of Fermi level by substitutional impurity-atom doping in diamond and cubic- and hexagonal-boron nitrides II. Generalized Gradient Approximation

abstract: In succession to the first paper (arXiv 1406.6204v5), the impurity-atom concentrations when the Fermi levels are either at the valence band maximum (VBM) or the conduction band minimum (CBM) were identified for diamond, cubic boron nitride (cBN), and hexagonal boron nitride (hBN) using the Korringa-Kohn-Rostoker (KKR) scheme using the local density approximation (LDA). In the present paper, the generalized gradient approximation (GGA) was used instead of the LDA for exchange-correlation. The impurity atoms were B and N for diamond, Be, Si, and C for cBN, and Be for hBN; these impurity atoms were known in the first paper to form degenerate states by increased impurity-atom concentrations. The impurity-atom concentrations when the Fermi level was located either at the VBM or the CBM were as follows: (i) the B concentration was 0.27 at.% in B-doped diamond, (ii) the N concentration was 0.25 at.% in N-doped diamond, (iii) the concentration of Be substituting B was 0.88 at.% in cBN, (iv) the concentration of Si substituting B was 0.06 at.% in cBN, (v) the concentration of C substituting B was 0.07 at.% in cBN, (vi) the concentration of C substituting N was 0.88 at.% in cBN, and (vii) the concentration of Be substituting B was 1.80 at.% in hBN. The values of (iv) and (v) were significantly smaller than the corresponding values in paper I, but it was attributed to the input parameters used in the present paper, hence it was concluded that the computed concentrations were not sensitive to the GGA used.


title: Star Formation in High-Redshift Cluster Ellipticals

abstract: We measure the star formation rates (SFRs) of massive ($M_{\star}>10^{10.1}M_{\odot}$) early-type galaxies (ETGs) in a sample of 11 high-redshift ($1.0 < z < 1.5$) galaxy clusters drawn from the IRAC Shallow Cluster Survey (ISCS). We identify ETGs visually from Hubble Space Telescope imaging and select likely cluster members as having either an appropriate spectroscopic redshift or red sequence color. Mid-infrared SFRs are measured using Spitzer 24 $\mu$m data for isolated cluster galaxies for which contamination by neighbors, and active galactic nuclei, can be ruled out. Cluster ETGs show enhanced specific star formation rates (sSFRs) compared to cluster galaxies in the local Universe, but have sSFRs more than four times lower than that of field ETGs at $1 < z < 1.5$. Relative to the late-type cluster population, isolated ETGs show substantially quenched mean SFRs, yet still contribute 12% of the overall star formation activity measured in $1 < z < 1.5$ clusters. We find that new ETGs are likely being formed in ISCS clusters; the fraction of cluster galaxies identified as ETGs increases from 34% to 56% from $z \sim 1.5 \rightarrow 1.25$. While the fraction of cluster ETGs that are highly star-forming ($\textrm{SFR}\geq26\ M_{\odot}$ yr$^{-1}$) drops from 27% to 10% over the same period, their sSFRs are roughly constant. All these factors taken together suggest that, particularly at $z\gtrsim1.25$, the events that created these distant cluster ETGs$-$likely mergers, at least among the most massive$-$were both recent and gas-rich.


title: Exact Green's function for a multi-orbital Anderson impurity at high bias voltages

abstract: We study the nonequilibrium Keldysh Green's function for an N-orbital Anderson model at high bias voltages, extending a previous work, which for the case only with the spin degrees of freedom N=2, to arbitrary N. Our approach uses an effective non-Hermitian Hamiltonian that is defined with respect to a Liouville-Fock space in the context of a thermal field theory. The result correctly captures the relaxation processes at high energies, and is asymptotically exact not only in the high-bias limit but also in the high-temperature limit at thermal equilibrium. We also present an explicit continued-fraction representation of the Green's function. It clearly shows that the imaginary part is recursively determined by the decay rate of intermediate states with at most N-1 particle-hole-pair excitations. These high-bias properties follow from the conservations of a generalized charge and current in the Liouville-Fock space. We also examine temperature dependence of the spectral function in equilibrium, comparing the exact results with both the finite-T and infinite-T results of the non-crossing approximation (NCA).


title: Bi-conformal symmetry and static Green functions in the Schwarzschild-Tangherlini spacetimes

abstract: We study static massless minimally coupled scalar field created by a source in a static D-dimensional spacetime. We demonstrate that the corresponding equation for this field is invariant under a special transformation of the background metric. This transformation consists of the static conformal transformation of the spatial part of the metric accompanied by a properly chosen transformation of the red-shift factor. Both transformations are determined by one function of the spatial coordinates. We show that in a case of higher dimensional spherically symmetric black holes one can find such a bi-conformal transformation that the symmetry of the D-dimensional metric is enhanced after its application. Namely, the metric becomes a direct sum of the metric on a unit sphere and the metric of 2D anti-de Sitter space. The method of the heat kernels is used to find the Green function in this new space, that allows one, after dimensional reduction, to obtain a static Green function in the original space of the static black hole. The general useful representation of static Green functions is obtained in the Schwarzschild-Tangherlini spacetimes of arbitrary dimension. The exact explicit expressions for the static Green functions are obtained in such metrics for D < 6. It is shown that in the four dimensional case the corresponding Green function coincides with the Copson solution.


title: Off-grid DOA Estimation Based on Analysis of the Convexity of Maximum Likelihood Function

abstract: Spatial compressive sensing (SCS) has recently been applied to direction-of-arrival (DOA) estimation owing to advantages over conventional ones. However the performance of compressive sensing (CS)-based estimation methods decreases when true DOAs are not exactly on the discretized sampling grid. We solve the off-grid DOA estimation problem using the deterministic maximum likelihood (DML) estimation method. In this work, we analyze the convexity of the DML function in the vicinity of the global solution. Especially under the condition of large array, we search for an approximately convex range around the ture DOAs to guarantee the DML function convex. Based on the convexity of the DML function, we propose a computationally efficient algorithm framework for off-grid DOA estimation. Numerical experiments show that the rough convex range accords well with the exact convex range of the DML function with large array and demonstrate the superior performance of the proposed methods in terms of accuracy, robustness and speed.


title: Ground-state properties of a triangular triple quantum dot connected to superconducting leads

abstract: We study ground-state properties of a triangular triple quantum dot connected to two superconducting (SC) leads. In this system orbital motion along the triangular configuration causes various types of quantum phases, such as a Kondo effect with a four-fold degenerate state and the Nagaoka ferromagnetic mechanism, depending on the electron filling. The ground state also evolves as the Cooper pairs penetrate from the SC leads. We describe the phase diagram in a wide range of the parameter space, varying the gate voltage, the couplings between the dots and leads, and also the Josephson phase between the SC gaps. The results are obtained in the limit of large SC gap, carrying out exact diagonalization of an effective Hamiltonian. We also discuss a classification of the quantum states according to the fixed point of the Wilson numerical renormalization group (NRG). Furthermore, we show that the Bogoliubov zero-energy excitation determines the ground state of a $\pi$ Josephson junction at small electron fillings.


title: Cooperative Equilibrium: A solution predicting cooperative play

abstract: Nash equilibrium (NE) assumes that players always make a best response. However, this is not always true; sometimes people cooperate even it is not a best response to do so. For example, in the Prisoner's Dilemma, people often cooperate. Are there rules underlying cooperative behavior? In an effort to answer this question, we propose a new equilibrium concept: perfect cooperative equilibrium (PCE), and two related variants: max-PCE and cooperative equilibrium. PCE may help explain players' behavior in games where cooperation is observed in practice. A player's payoff in a PCE is at least as high as in any NE. However, a PCE does not always exist. We thus consider {\alpha}-PCE, where {\alpha} takes into account the degree of cooperation; a PCE is a 0-PCE. Every game has a Pareto-optimal max-PCE (M-PCE); that is, an {\alpha}-PCE for a maximum {\alpha}. We show that M-PCE does well at predicting behavior in quite a few games of interest. We also consider cooperative equilibrium (CE), another generalization of PCE that takes punishment into account. Interestingly, all Pareto-optimal M-PCE are CE. We prove that, in 2-player games, a PCE (if it exists), a M-PCE, and a CE can all be found in polynomial time using bilinear programming. This is a contrast to Nash equilibrium, which is PPAD complete even in 2-player games [Chen, Deng, and Teng 2009]. We compare M-PCE to the coco value [Kalai and Kalai 2009], another solution concept that tries to capture cooperation, both axiomatically and in terms of an algebraic characterization, and show that the two are closely related, despite their very different definitions.


title: A Relativistic Dynamical Collapse Model

abstract: A model is discussed where all operators are constructed from a quantum scalar field whose energy spectrum takes on all real values. The Schr\"odinger picture wave function depends upon space and time coordinates for each particle, as well as an inexorably increasing evolution parameter $s$ which labels a foliation of space-like hypersurfaces. The model is constructed to be manifestly Lorentz invariant in the interaction picture. Free particle states and interactions are discussed in this framework. Then, the formalism of the CSL (Continuous Spontaneous Localization) theory of dynamical collapse is applied. The collapse-generating operator is chosen to to be the particle number space-time density. Unlike previous relativistically invariant models, the vacuum state is not excited. The collapse dynamics depends upon two parameters, a parameter $\Lambda$ which represents the collapse rate/volume and a scale factor $\ell$. A common example of collapse dynamics, involving a clump of matter in a superposition of two locations, is analyzed. The collapse rate is shown to be identical to that of non-relativistic CSL when the GRW-CSL choice of $\ell=a=10^{-5}$cm, is made, along with $\Lambda=\lambda/a^{3}$ (GRW-CSL choice $\lambda=10^{-16}s^{-1}$). However, it is also shown that the change of mass of a nucleon over the age of the universe is then unacceptably large. The case where $\ell$ is the size of the universe is then considered. It is shown that the collapse behavior is satisfactory and the change of mass over the age of the universe is acceptably small, when $\Lambda= \lambda/\ell a^{2}$.


title: Performance of Compressive Parameter Estimation via K-Median Clustering

abstract: Compressive sensing (CS) has attracted significant attention in parameter estimation tasks, where parametric dictionaries (PDs) collect signal observations for a sampling of the parameter space and yield sparse representations for signals of interest when the sampling is dense. While this sampling also leads to high dictionary coherence, one can leverage structured sparsity models to prevent highly coherent dictionary elements from appearing simultaneously in the recovered signal. However, the resulting approaches depend heavily on the careful setting of the maximum allowable coherence; furthermore, their guarantees are not concerned with general parameter estimation performance. We propose the use of earth mover's distance (EMD), as applied to a pair of true and estimated PD coefficient vectors, to measure the parameter estimation error. We formally analyze the connection between the EMD and the parameter estimation error and show that the EMD provides a better-suited metric for parameter estimation performance than the Euclidean distance. Additionally, we analyze the previously described relationship between K-median clustering and EMD-optimal sparse approximation and leverage it to develop improved PD-based parameter estimation algorithms. Finally, our numerical experiments verify our theoretical results and show that the proposed compressive parameter estimation algorithms have improved performance over existing approaches.


title: $\R^{n} \rtimes G(n)$ is Algebraically Determined

abstract: Let $G$ be a Polish (i.e., complete separable metric topological) group. Define $G$ to be an algebraically determined Polish group if for any Polish group $L$ and algebraic isomorphism $\varphi: L \mapsto G$, we have that $\varphi$ is a topological isomorphism. Let $M(n,\R)$ be the set of $n \times n$ matrices with real coefficients and let the group $G$ in the above definition be the natural semidirect product $\R^{n} \rtimes G(n)$, where $n \ge 2$ and $G(n)$ is one of the following groups: either the general linear group $GL(n,\R) = \left\{ A \in M(n,\R) \ | \ \det(A) \ne 0 \right\}$, or the special linear group $SL(n,\R) = \left\{ A \in GL(n,\R) \ | \ \det(A) = 1 \right\}$, or $|SL(n,\R)| = \left\{ A \in GL(n,\R) \ | \ |\det(A)| = 1 \right\}$ or $GL^{+}(n,\R) = \left\{ A \in GL(n,\R) \ | \ \det(A) > 0 \right\}$. These groups are of fundamental importance for linear algebra and geometry. The purpose of this paper is to prove that the natural semidirect product $\R^{n} \rtimes G(n)$ is an algebraically determined Polish group. Such a result is not true for $\complexes^{n} \rtimes GL(n,\complexes)$ nor even for $\R^{3} \rtimes SO(3,\R)$. The proof of this result is done in a sequence of steps designed to verify the hypotheses of the road map Theorem 2. A key intermediate result is that $\varphi^{-1}(SO(n,\R))$ is an analytic subgroup of $L$ for every $n \ge 2$.


title: Decentralized Formation Control with A Quadratic Lyapunov Function

abstract: In this paper, we investigate a decentralized formation control algorithm for an undirected formation control model. Unlike other formation control problems where only the shape of a configuration counts, we emphasize here also its Euclidean embedding. By following this decentralized formation control law, the agents will converge to certain equilibrium of the control system. In particular, we show that there is a quadratic Lyapunov function associated with the formation control system whose unique local (global) minimum point is the target configuration. In view of the fact that there exist multiple equilibria (in fact, a continuum of equilibria) of the formation control system, and hence there are solutions of the system which converge to some equilibria other than the target configuration, we apply simulated annealing, as a heuristic method, to the formation control law to fix this problem. Simulation results show that sample paths of the modified stochastic system approach the target configuration.


title: The QCD equation of state to $\mathcal{O}(\mu_B^4)$

abstract: We present results from an ongoing calculation of the QCD equation of state at finite baryon chemical potential $\mu_B$. We use the method of Taylor expansions to circumvent the sign problem and calculate the expansion coefficients to sixth order using HISQ fermions. We work at two lattice spacings, namely $N_\tau=6$ and 8 and, though we do not take the continuum limit, demonstrate that cutoff effects remain under control. We also use our results to construct an equation of state along the freeze-out curve. Using our sixth-order results as a cross-check, we demonstrate that our fourth-order equation of state is suitable for the modeling of dense matter created in heavy ion collisions with center-of-mass energies down to $s_{NN}^{1/2}\sim20$ GeV.


title: New charged shear-free relativistic models with heat flux

abstract: We study shear-free spherically symmetric relativistic gravitating fluids with heat flow and electric charge. The solution to the Einstein-Maxwell system is governed by the generalised pressure isotropy condition which contains a contribution from the electric field. This condition is a highly nonlinear partial differential equation. We analyse this master equation using Lie's group theoretic approach. The Lie symmetry generators that leave the equation invariant are found. The first generator is independent of the electromagnetic field. The second generator depends critically on the form of the charge, which is determined explicitly in general. We provide exact solutions to the gravitational potentials using the symmetries admitted by the equation. Our new exact solutions contain earlier results without charge. We show that other charged solutions, related to the Lie symmetries, may be generated using the algorithm of Deng. This leads to new classes of charged Deng models which are generalisations of conformally flat metrics.


title: Lie symmetries for a conformally flat radiating star

abstract: We consider a relativistic radiating spherical star in conformally flat spacetimes. In particular we study the junction condition relating the radial pressure to the heat flux at the boundary of the star which is a nonlinear partial differential equation. The Lie symmetry generators that leave the equation invariant are identified and we generate an optimal system. Each element of the optimal system is used to reduce the partial differential equation to an ordinary differential equation which is further analysed. We identify new categories of exact solutions to the boundary conditions. Two classes of solutions are of interest. The first class depends on a self similar variable. The second class is separable in the spacetime variables.


title: Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part I)

abstract: We study how convergence of an observer whose state lives in a copy of the given system's space can be established using a Riemannian metric. We show that the existence of an observer guaranteeing the property that a Riemannian distance between system and observer solutions is nonincreasing implies that the Lie derivative of the Riemannian metric along the system vector field is conditionally negative. Moreover, we establish that the existence of this metric is related to the observability of the system's linearization along its solutions. Moreover, if the observer has an infinite gain margin then the level sets of the output function are geodesically convex. Conversely, we establish that, if a complete Riemannian metric has a Lie derivative along the system vector field that is conditionally negative and is such that the output function has a monotonicity property, then there exists an observer with an infinite gain margin.


title: Adjacency Criterion For Gradient Flow With Multiple Local Maxima

abstract: In this paper, we investigate the geometry of a general class of gradient flows with multiple local maxima. we decompose the underlying space into disjoint regions of attraction and establish the adjacency criterion. The criterion states a necessary and sufficient condition for two regions of attraction of stable equilibria to be adjacent. We then apply this criterion on a specific type of gradient flow which has as many as n! local maxima. In particular, we characterize the set of equilibria, compute the index of each critical manifold and moreover, find all pairs of adjacent neighbors. As an application of the adjacency criterion, we introduce a stochastic version of the double bracket flow and set up a Markov model to approximate the sample path behavior. The study of this specific prototype with its special structure provides insight into many other difficult problems involving simulated annealing.


title: A relativistic algorithm with isotropic coordinates

abstract: We study spherically symmetric spacetimes for matter distributions with isotropic pressures. We generate new exact solutions to the Einstein field equations which also contains isotropic pressures. We develop an algorithm that produces a new solution if a particular solution is known. The algorithm leads to a nonlinear Bernoulli equation which can be integrated in terms of arbitrary functions. We use a conformally flat metric to show that the integrals may be expressed in terms of elementary functions. It is important to note that we utilise isotropic coordinates unlike other treatments.


title: Weather on Other Worlds. III. A Survey for T Dwarfs with High Amplitude Optical Variability

abstract: We have monitored twelve T dwarfs with the Kitt Peak 2.1m telescope using an f814w filter (0.7-0.95 microns) to place in context the remarkable 10-20% variability exhibited by the nearby T dwarf Luhman 16B in this wavelength regime. The motivation was the poorly known red optical behavior of T dwarfs, which have been monitored almost exclusively at infrared wavelengths, where variability amplitudes greater than 10% have been found to be very rare. We detect highly significant variability in two T dwarfs. The T2.5 dwarf 2MASS 13243559+6358284 shows consistent ~17% variability on two consecutive nights. The T2 dwarf 2MASS J16291840+0335371 exhibits ~10% variability that may evolve from night to night, similarly to Luhman 16B. Both objects were previously known to be variable in the infrared, but with considerably lower amplitudes. We also find evidence for variability in the T6 dwarf J162414.37+002915.6, but since it has lower significance, we conservatively refrain from claiming this object as a variable. We explore and rule out various telluric effects, demonstrating that the variations we detect are astrophysically real. We suggest that high-amplitude photometric variability for T dwarfs is likely more common in the red optical than at longer wavelengths. The two new members of the growing class of high-amplitude variable T dwarfs offer excellent prospects for further study of cloud structures and their evolution.


title: Implicit Temporal Differences

abstract: In reinforcement learning, the TD($\lambda$) algorithm is a fundamental policy evaluation method with an efficient online implementation that is suitable for large-scale problems. One practical drawback of TD($\lambda$) is its sensitivity to the choice of the step-size. It is an empirically well-known fact that a large step-size leads to fast convergence, at the cost of higher variance and risk of instability. In this work, we introduce the implicit TD($\lambda$) algorithm which has the same function and computational cost as TD($\lambda$), but is significantly more stable. We provide a theoretical explanation of this stability and an empirical evaluation of implicit TD($\lambda$) on typical benchmark tasks. Our results show that implicit TD($\lambda$) outperforms standard TD($\lambda$) and a state-of-the-art method that automatically tunes the step-size, and thus shows promise for wide applicability.


title: Two approaches to minimax formula of the additive eigenvalue for quasiconvex Hamiltonians

abstract: Two different proofs for an inf-sup type representation formula (minimax formula) of the additive eigenvalues corresponding to first-order Hamilton-Jacobi equations are given for quasiconvex (level-set convex) Hamiltonians not necessarily convex. The first proof, which is similar to known proofs for convex Hamiltonians, invokes a Jensen-like inequality for quasiconvex functions instead of the standard Jensen's inequality. The second proof is completely different with elementary calculations. It is based on convergence of derivatives of mollified Lipschitz continuous functions whose proof is also given. These methods also relate to an approximation problem of viscosity solutions.


title: A note on balancing binomial coefficients

abstract: In 2014, T. Komatsu and L. Szalay studied the balancing binomial coefficients. In this paper, we focus on the following Diophantine equation $$\binom{1}{5}+\binom{2}{5}+...+\binom{x-1}{5}=\binom{x+1}{5}+...+\binom{y}{5}$$ where $y>x>5$ are integer unknowns. We prove that the only integral solution is $(x,y)=(14,15)$. Our method is mainly based on the linear form in elliptic logarithms.


title: Willmore surfaces in spheres via loop groups II: a coarse classification of Willmore two-spheres by potentials

abstract: Applying the DPW version of the theory developed by Burstall and Guest for harmonic maps of finite uniton type, we derive a coarse classification of Willmore two-spheres in $S^{n+2}$ in terms of the normalized potential of their (harmonic) conformal Gauss maps. Moreover, for the case of $S^6$, some geometric properties of the corresponding Willmore two-spheres are discussed. The classical classification of Willmore two-spheres in $S^4$ are also derived as a corollary.


title: Floquet resonant states and validity of the Floquet-Magnus expansion in the periodically driven Friedrichs models

abstract: The Floquet eigenvalue problem is analyzed for periodically driven Friedrichs models on discrete and continuous space. In the high-frequency regime, there exists a Floquet bound state consistent with the Floquet-Magnus expansion in the discrete Friedrichs model, while it is not the case in the continuous model. In the latter case, however, the bound state predicted by the Floquet-Magnus expansion appears as a metastable state whose lifetime diverges in the limit of large frequencies. We obtain the lifetime by evaluating the imaginary part of the quasi-energy of the Floquet resonant state. In the low-frequency regime, there is no Floquet bound state and instead the Floquet resonant state with exponentially small imaginary part of the quasi-energy appears, which is understood as the quantum tunneling in the energy space.


title: The dark matter self-interaction and its impact on the critical mass for dark matter evaporations inside the sun

abstract: We study the capture, annihilation and evaporation of dark matter (DM) inside the Sun. It has been shown that the DM self-interaction can increase the DM number inside the Sun. We demonstrate that this enhancement becomes more significant in the regime of small DM mass, given a fixed DM self-interaction cross section. This leads to the enhancement of neutrino flux from DM annihilation. On the other hand, for DM mass as low as as a few GeVs, not only the DM-nuclei scatterings can cause the DM evaporation, DM self-interaction also provides non-negligible contributions to this effect. Consequently, the critical mass for DM evaporation (typically 3 ~ 4 GeV without the DM self-interaction) can be slightly increased. We discuss the prospect of detecting DM self-interaction in IceCube- PINGU using the annihilation channels $\chi\chi\rightarrow\nu\bar{\nu},\:\tau^{-}\tau^{+}$ as examples. The PINGU sensitivities to DM self-interaction cross section $\sigma_{\chi\chi}$ are estimated for track and cascade events.


title: Kazhdan-Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$

abstract: We provide combinatorial rules to compute Kazhdan--Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$ when the Hecke algebra has unequal parameters. They are obtained by filling regions delimited by paths with ballot strips. We also extend the binary tree algorithm introduced by Lascoux and Sch\"utzenberger to our case.


title: Locally Weighted Learning for Naive Bayes Classifier

abstract: As a consequence of the strong and usually violated conditional independence assumption (CIA) of naive Bayes (NB) classifier, the performance of NB becomes less and less favorable compared to sophisticated classifiers when the sample size increases. We learn from this phenomenon that when the size of the training data is large, we should either relax the assumption or apply NB to a "reduced" data set, say for example use NB as a local model. The latter approach trades the ignored information for the robustness to the model assumption. In this paper, we consider using NB as a model for locally weighted data. A special weighting function is designed so that if CIA holds for the unweighted data, it also holds for the weighted data. The new method is intuitive and capable of handling class imbalance. It is theoretically more sound than the locally weighted learners of naive Bayes that base classification only on the $k$ nearest neighbors. Empirical study shows that the new method with appropriate choice of parameter outperforms seven existing classifiers of similar nature.


title: Geometrical structures on the prolongation of a pre-Lie algebroid on fibered manifolds and application to Partial Finsler geometry on foliated anchored bundle

abstract: A pre-Lie algebroid is an anchored bundle provided with an almost Lie bracket such that the anchor is compatible with the Lie bracket of vector fields. We firstly show how most geometrical structures intensively studied in the framework of Lie algebroid can easily be extended in the pre-Lie algebroid context. The principal purpose of this paper is to show that how all these results only depend of the foliated structure and do not depend of the pre-Lie algebroid structure that we can put on a foliated anchored bundle. As application, we obtain a Finsler connection on a foliated anchored bundle which induces the classical Finsler connection on each leaf and a similar result for the Chern connection.


title: M\"obius transformations and the configuration space of a Hilbert snake

abstract: The purpose of this paper is to give a simpler proof to the problem of controllability of a Hilbert snake \cite{PeSa}. Using the action of the M\"obius group of the unit sphere on the configuration space, in the context of a separable Hilbert space. We give a generalization of the Theorem of accessibility contained in \cite{Ha} and \cite{Ro} for articulated arms and snakes in a finite dimensional Hilbert space


title: A hybrid variational-perturbation calculation of the ro-vibrational spectrum of nitric acid

abstract: Rotation-vibration spectra of the nitric acid molecule, HNO\3, are calculated for wavenumbers up to 7000~\cm. Calculations are performed using a Hamiltonian expressed in internal curvilinear vibrational coordinates solved using a hybrid variational-perturbation method. An initial potential energy surface (PES) and dipole moment function (DMF) are calculated {\it ab initio} at the CCSD(T)/aug-cc-pVQZ level of theory. Parameters of the PES and DMF are varied to minimize differences between the calculated and experimental transition frequencies and intensities. The average, absolute deviation between calculated and experimental values is 0.2~\cm\ for frequencies in the fundamental bands and 0.4~\cm\ for those in the first overtone and lowest combination bands. For the intensities, the calculated and experimental values differ by 0.3\% and 40\% for the fundamentals and overtones, respectively. The optimized PES and DMF are used to calculate the room-temperature ro-vibrational spectrum. These calculation reproduce both the form of the absorption bands, and fine details of the observed spectra, including the rotational structure of the vibrational bands and the numerous hot absorption band. Many of these hot bands are found to be missing from the compilation in HITRAN. A room temperature line list comprising $2 \times 10^{9}$ lines is computed.


title: Risk measuring under liquidity risk

abstract: We present a general framework for measuring the liquidity risk. The theoretical framework defines a class of risk measures that incorporate the liquidity risk into the standard risk measures. We consider a one-period risk measurement model. The liquidity risk is defined as the risk that a given security or a portfolio of securities cannot be easily sold or bought by the financial institutions without causing significant changes in prices. The new risk measures present some differences with respect to the standard risk measures. In particular, they are increasing monotonic and convex cash sub-additive on long positions. The contrary, in certain situations, holds for the sell positions. For the long positions case, we provide these new risk measures with a dual representation. In some specific cases also the sell positions can be equipped with a dual representation. We apply our framework to the situation in which financial institutions break up large trades into many small ones. Dual representation results are also obtained. We give many practical examples of risk measures and derive for each of them the respective capital requirement. As a particular example, we discuss the VaR measure.


title: Weights of Cliques in a Random Graph Model Based on Three-Interactions

abstract: A random graph evolution rule is considered. The graph evolution is based on interactions of three vertices. The weight of a clique is the number of its interactions. The asymptotic behaviour of the weights is described. It is known that the weight distribution of the vertices is asymptotically a power law. Here it is proved that the weight distributions both of the edges and the triangles are also asymptotically power laws. The proofs are based on discrete time martingale methods. Some numerical results are also presented.


title: An Uplink Interference Analysis for Massive MIMO Systems with MRC and ZF Receivers

abstract: This paper considers an uplink cellular system, in which each base station (BS) is equipped with a large number of antennas to serve multiple single-antenna user equipments (UEs) simultaneously. Uplink training with pilot reusing is adopted to acquire the channel state information (CSI) and maximum ratio combining (MRC) or zero forcing (ZF) reception is used for handling multiuser interference. Leveraging stochastic geometry to model the spatial distribution of UEs, we analyze the statistical distributions of the interferences experienced by a typical uplink: intra-cell interference, inter-cell interference and interference due to pilot contamination. For a practical but still large number of BS antennas, a key observation for MRC reception is that it is the intra-cell interference that accounts for the dominant portion of the total interference. In addition, the interference due to pilot contamination tends to have a much wider distribution range than the inter-cell interference when shadowing is strong, although their mean powers are roughly equal. For ZF reception, on the other hand, we observe a significant reduction of the intra-cell interference compared to MRC reception, while the inter-cell interference and the interference due to pilot contamination remains almost the same, thus demonstrating a substantial superiority over MRC reception.


title: The equation of state of quark-gluon matter from lattice QCD with two flavors of twisted-mass Wilson fermions

abstract: We report on lattice QCD results for the thermodynamic equation of state of quark-gluon matter obtained with Nf=2 degenerate quark flavors. For the fermion field discretization we are using the Wilson-twisted mass prescription. Simulations have been carried out at three values of the bare quark masses corresponding to pion masses of 360, 430 and 640 MeV. We highlight the importance of a good control of the lattice cutoff dependence of the trace anomaly which we have studied at several values of the inverse temperature 1/T = a Nt with a time-like lattice extent up to Nt=12. We contrast our results with those of other groups obtained for Nf=0 and Nf=2+1. At low temperature we also confront them with hadron resonance gas model predictions for the trace anomaly.


title: SENNS: Sparse Extraction Neural NetworkS for Feature Extraction

abstract: By drawing on ideas from optimisation theory, artificial neural networks (ANN), graph embeddings and sparse representations, I develop a novel technique, termed SENNS (Sparse Extraction Neural NetworkS), aimed at addressing the feature extraction problem. The proposed method uses (preferably deep) ANNs for projecting input attribute vectors to an output space wherein pairwise distances are maximized for vectors belonging to different classes, but minimized for those belonging to the same class, while simultaneously enforcing sparsity on the ANN outputs. The vectors that result from the projection can then be used as features in any classifier of choice. Mathematically, I formulate the proposed method as the minimisation of an objective function which can be interpreted, in the ANN output space, as a negative factor of the sum of the squares of the pair-wise distances between output vectors belonging to different classes, added to a positive factor of the sum of squares of the pair-wise distances between output vectors belonging to the same classes, plus sparsity and weight decay terms. To derive an algorithm for minimizing the objective function via gradient descent, I use the multi-variate version of the chain rule to obtain the partial derivatives of the function with respect to ANN weights and biases, and find that each of the required partial derivatives can be expressed as a sum of six terms. As it turns out, four of those six terms can be computed using the standard back propagation algorithm; the fifth can be computed via a slight modification of the standard backpropagation algorithm; while the sixth one can be computed via simple arithmetic. Finally, I propose experiments on the ARABASE Arabic corpora of digits and letters, the CMU PIE database of faces, the MNIST digits database, and other standard machine learning databases.


title: Noncommutative field with constant background fields and neutral fermion

abstract: Introducing constant background fields into the noncommutative gauge theory, we first obtain a Hermitian fermion Lagrangian which involves a Lorentz violation term, then we generalize it to a new deformed canonical noncommutation relations for fermion field. Massless neutrino oscillation in the deformed canonical noncommutation relations is analyzed. The restriction of the noncommutative coefficients is also discussed. By comparing with the existing experimental data of conventional neutrino oscillations, the order of noncommutative deformed coefficients is given from different ways.


title: Dalitz plot analyses of $B^0 \to D^- D^0 K^+$ and $B^+ \to \overline{D}^0 D^0 K^+$ decays

abstract: We present Dalitz plot analyses for the decays of $B$ mesons to $D^- D^0 K^+$ and $\overline{D}^0 D^0 K^+$. We report the observation of the $D^{*}_{s1}(2700)^+$ resonance in these two channels and obtain measurements of the mass $M(D^{*}_{s1}(2700)^+) = 2699 {}^{+14}_{-7} \, \mathrm{MeV}/c^2$ and of the width $\Gamma(D^{*}_{s1}(2700)^+) = 127 {}^{+24}_{-19} \, \mathrm{MeV}$, including statistical and systematic uncertainties. In addition, we observe an enhancement in the $D^0K^+$ invariant mass around 2350--2500 MeV/$c^2$ in both decays $B^0 \to D^- D^0 K^+$ and $B^+ \to \overline{D}^0 D^0 K^+$, which we are not able to interpret. The results are based on $429~\mathrm{fb}^{-1}$ of data containing $471\times10^6\, B\overline{B}$ pairs collected at the $\Upsilon{(4S)}$ resonance with the BaBar detector at the SLAC National Accelerator Laboratory.


title: Correlation of Data Reconstruction Error and Shrinkages in Pair-wise Distances under Principal Component Analysis (PCA)

abstract: In this on-going work, I explore certain theoretical and empirical implications of data transformations under the PCA. In particular, I state and prove three theorems about PCA, which I paraphrase as follows: 1). PCA without discarding eigenvector rows is injective, but looses this injectivity when eigenvector rows are discarded 2). PCA without discarding eigen- vector rows preserves pair-wise distances, but tends to cause pair-wise distances to shrink when eigenvector rows are discarded. 3). For any pair of points, the shrinkage in pair-wise distance is bounded above by an L1 norm reconstruction error associated with the points. Clearly, 3). suggests that there might exist some correlation between shrinkages in pair-wise distances and mean square reconstruction error which is defined as the sum of those eigenvalues associated with the discarded eigenvectors. I therefore decided to perform numerical experiments to obtain the corre- lation between the sum of those eigenvalues and shrinkages in pair-wise distances. In addition, I have also performed some experiments to check respectively the effect of the sum of those eigenvalues and the effect of the shrinkages on classification accuracies under the PCA map. So far, I have obtained the following results on some publicly available data from the UCI Machine Learning Repository: 1). There seems to be a strong cor- relation between the sum of those eigenvalues associated with discarded eigenvectors and shrinkages in pair-wise distances. 2). Neither the sum of those eigenvalues nor pair-wise distances have any strong correlations with classification accuracies. 1


title: Temporal effects in trend prediction: identifying the most popular nodes in the future

abstract: Prediction is an important problem in different science domains. In this paper, we focus on trend prediction in complex networks, i.e. to identify the most popular nodes in the future. Due to the preferential attachment mechanism in real systems, nodes' recent degree and cumulative degree have been successfully applied to design trend prediction methods. Here we took into account more detailed information about the network evolution and proposed a temporal-based predictor (TBP). The TBP predicts the future trend by the node strength in the weighted network with the link weight equal to its exponential aging. Three data sets with time information are used to test the performance of the new method. We find that TBP have high general accuracy in predicting the future most popular nodes. More importantly, it can identify many potential objects with low popularity in the past but high popularity in the future. The effect of the decay speed in the exponential aging on the results is discussed in detail.


title: Inhomogeneous broadening of optical transitions of 87Rb atoms in an optical nanofiber trap

abstract: We experimentally demonstrate optical trapping of 87Rb atoms using a two-color evanescent field around an optical nanofiber. In our trapping geometry, a blue-detuned traveling wave whose polarization is nearly parallel to the polarization of a red-detuned standing wave produces significant vector light shifts that lead to broadening of the absorption profile of a near-resonant beam at the trapping site. A model that includes scalar, vector, and tensor light shifts of the probe transition $5S_{1/2}$-$5P_{3/2}$ from the trapping beams, weighted by the temperature-dependent position of the atoms in the trap, qualitatively describes the observed asymmetric profile and explains differences with previous experiments that used Cs atoms. The model provides a consistent way to extract the number of atoms in the trap.


title: An Improved Approximation Algorithm for the Traveling Salesman Problem with Relaxed Triangle Inequality

abstract: Given a complete edge-weighted graph G, we present a polynomial time algorithm to compute a degree-four-bounded spanning Eulerian subgraph of 2G that has at most 1.5 times the weight of an optimal TSP solution of G. Based on this algorithm and a novel use of orientations in graphs, we obtain a (3 beta/4 + 3 beta^2/4)-approximation algorithm for TSP with beta-relaxed triangle inequality (beta-TSP), where beta >= 1. A graph G is an instance of beta-TSP, if it is a complete graph with non-negative edge weights that are restricted as follows. For each triple of vertices u,v,w in V(G), c({u,v}) <= beta (c({u,w}) + c({w,v})).


title: Do M\"arzke-Wheeler effects influence on measured data in nature?

abstract: We wonder whether M\"arzke-Wheeler effects influence on measured data in nature. Through a formula developed in this letter for the calculation of the M\"arzke-Wheeler map of a general accelerated observer, we study the influence of the M\"arzke-Wheeler acceleration effect on the NASA's Pioneer anomaly and found that it is about a fifth of the anomaly value. Due to statistical errors in the measured anomaly, it is not possible to neither confirm nor neglect the influence of the M\"arzke-Wheeler acceleration effect on the measured Pioneer data. We hope that the ideas presented here could encourage other research teams in the search for other observational objects that could finally answer the question posed in this letter.


title: The Dirac Operator with Complex-Valued Summable Potential

abstract: The paper deals with the Dirac operator generated on the finite interval $[0,\pi]$ by the differential expression $-B\mathbf{y}'+Q(x)\mathbf{y}$, where $$ B=\begin{pmatrix}0&1\\-1&0\end{pmatrix},\qquad Q(x)=\begin{pmatrix}q_1(x)&q_2(x)\\q_3(x)&q_4(x)\end{pmatrix}, $$ and the entries $q_j(x)$ belong to~$L_p[0,\pi]$ for some $p\geqslant 1$. The classes of regular and strongly regular operators of this form are defined, depending on the boundary conditions. The asymptotic formulas for the eigenvalues and eigenfunctions of such operators are obtained with remainders depending on~$p$. It it is proved that the system of eigen and associated functions of a regular operator forms a Riesz basis with parentheses in the space~$(L_2[0,\pi])^2$ and the usual Riesz basis, provided that the operator is strongly regular.


title: Quantum black holes and effective quantum gravity approaches

abstract: This is the text of the invited talk I have given at the Karl Schwarzschild Meeting in Frankfurt in 2013.


title: Bi-directional Shape Correspondences (BSC): A Novel Technique for 2-d Shape Warping in Quadratic Time?

abstract: We propose Bidirectional Shape Correspondence (BSC) as a possible improvement on the famous shape contexts (SC) framework. Our proposals derive from the observation that the SC framework enforces a one-to-one correspondence between sample points, and that this leads to two possible drawbacks. First, this denies the framework the opportunity to effect advantageous many-to-many matching between points on the two shapes being compared. Second, this calls for the Hungarian algorithm which unfortunately usurps cubic time. While the dynamic-space-warping dynamic programming algorithm has provided a standard solution to the first problem above, it demands quintic time for general multi-contour shapes, and w times quadratic time for the special case of single-contour shapes, even after an heuristic search window of width w has been chosen. Therefore, in this work, we propose a simple method for computing "many-to-many" correspondences for the class of all 2-d shapes in quadratic time. Our approach is to explicitly let each point on the first shape choose a best match on the second shape, and vice versa. Along the way, we also propose the use of data-clustering techniques for dealing with the outliers problem, and, from another viewpoint, it turns out that this clustering can be seen as an autonomous, rather than pre-computed, sampling of shape boundary.


title: Individual adaptation: an adaptive MCMC scheme for variable selection problems

abstract: The increasing size of data sets has lead to variable selection in regression becoming increasingly important. Bayesian approaches are attractive since they allow uncertainty about the choice of variables to be formally included in the analysis. The application of fully Bayesian variable selection methods to large data sets is computationally challenging. We describe an adaptive Markov chain Monte Carlo approach called Individual Adaptation which adjusts a general proposal to the data. We show that the algorithm is ergodic and discuss its use within parallel tempering and sequential Monte Carlo approaches. We illustrate the use of the method on two data sets including a gene expression analysis with 22 577 variables.


title: New results on classical and quantum counter automata

abstract: We show that one-way quantum one-counter automaton with zero-error is more powerful than its probabilistic counterpart on promise problems. Then, we obtain a similar separation result between Las Vegas one-way probabilistic one-counter automaton and one-way deterministic one-counter automaton. We also obtain new results on classical counter automata regarding language recognition. It was conjectured that one-way probabilistic one blind-counter automata cannot recognize Kleene closure of equality language [A. Yakaryilmaz: Superiority of one-way and realtime quantum machines. RAIRO - Theor. Inf. and Applic. 46(4): 615-641 (2012)]. We show that this conjecture is false, and also show several separation results for blind/non-blind counter automata.


title: KMS weights on graph C*-algebras II Factor types and ground states

abstract: We determine the factor types of the extremal KMS weights for generalized gauge actions on a graph algebra, and the ground states for the restriction of the action to a corner defined from a vertex. The assumptions on the graph and the action varies a bit, but they all cover, at the very least, the case of the gauge action on a strongly connected graph with at most countably many exits. These are the graphs for which all the KMS weights of the gauge action were determined in the first part of this work.


title: Constraints on dark radiation from cosmological probes

abstract: We present joint constraints on the number of effective neutrino species N_eff and the sum of neutrino masses M_nu, based on a technique which exploits the full information contained in the one-dimensional Lyman-Alpha forest flux power spectrum, complemented by additional cosmological probes. In particular, we obtain N_eff=2.91(+0.21)(-0.22) (95% CL) and M_nu<0.15 eV (95% CL) when we combine BOSS Lyman-Alpha forest data with CMB (Planck+ACT+SPT+WMAP polarization) measurements, and N_eff=2.88(+0.20)(-0.20) (95% CL) and M_nu<0.14 eV (95% CL) when we further add baryon acoustic oscillations. Our results provide evidence for the Cosmic Neutrino Background from N_eff~3 (N_eff=0 is rejected at more than 14 sigma), and rule out the possibility of a sterile neutrino thermalized with active neutrinos (i.e., N_eff=4) - or more generally any decoupled relativistic relic with Delta N_eff ~ 1 - at a significance of over 5 sigma, the strongest bound to date, implying that there is no need for exotic neutrino physics in the concordance LCDM model.


title: Duality invariance in massive theories

abstract: In this work, we show that duality symmetry can be implemented for massive theories at the level of the action, whenever we can formulate appropriates gauge invariant actions. For a massive vectorial field, we use a known gauge invariant description, while for a massive graviton, we introduce a novel gauge invariant action in order to show duality invariance.


title: Performance comparison between Java and JNI for optimal implementation of computational micro-kernels

abstract: General purpose CPUs used in high performance computing (HPC) support a vector instruction set and an out-of-order engine dedicated to increase the instruction level parallelism. Hence, related optimizations are currently critical to improve the performance of applications requiring numerical computation. Moreover, the use of a Java run-time environment such as the HotSpot Java Virtual Machine (JVM) in high performance computing is a promising alternative. It benefits from its programming flexibility, productivity and the performance is ensured by the Just-In-Time (JIT) compiler. Though, the JIT compiler suffers from two main drawbacks. First, the JIT is a black box for developers. We have no control over the generated code nor any feedback from its optimization phases like vectorization. Secondly, the time constraint narrows down the degree of optimization compared to static compilers like GCC or LLVM. So, it is compelling to use statically compiled code since it benefits from additional optimization reducing performance bottlenecks. Java enables to call native code from dynamic libraries through the Java Native Interface (JNI). Nevertheless, JNI methods are not inlined and require an additional cost to be invoked compared to Java ones. Therefore, to benefit from better static optimization, this call overhead must be leveraged by the amount of computation performed at each JNI invocation. In this paper we tackle this problem and we propose to do this analysis for a set of micro-kernels. Our goal is to select the most efficient implementation considering the amount of computation defined by the calling context. We also investigate the impact on performance of several different optimization schemes which are vectorization, out-of-order optimization, data alignment, method inlining and the use of native memory for JNI methods.


title: Distinguishing nonlinear processes in atomic media via orbital angular momentum transfer

abstract: We suggest a technique based on the transfer of topological charge from applied laser radiation to directional and coherent optical fields generated in ladder-type excited atomic media to identify the major processes responsible for their appearance. As an illustration, in Rb vapours we analyse transverse intensity and phase profiles of the forward-directed collimated blue and near-IR light using self-interference and astigmatic transformation techniques when either or both of two resonant laser beams carry orbital angular momentum. Our observations unambiguously demonstrate that emission at 1.37 {\mu}m is the result of a parametric four-wave mixing process involving only one of the two applied laser fields.


title: Representation of (Left) Ideal Regular Languages by Synchronizing Automata

abstract: We follow language theoretic approach to synchronizing automata and \v{C}ern\'{y}'s conjecture initiated in a series of recent papers. We find a precise lower bound for the reset complexity of a principal ideal languages. Also we show a strict connection between principal left ideals and synchronizing automata. We characterize regular languages whose minimal deterministic finite automaton is synchronizing and possesses a reset word belonging to the recognized language.


title: Construction of invisible conductivity perturbations for the point electrode model in electrical impedance tomography

abstract: We explain how to build invisible isotropic conductivity perturbations of the unit conductivity in the framework of the point electrode model for two-dimensional electrical impedance tomography. The theoretical approach, based on solving a fixed point problem, is constructive and allows the implementation of an algorithm for approximating the invisible perturbations. The functionality of the method is demonstrated via numerical examples.


title: Information-theoretic applications of the logarithmic probability comparison bound

abstract: A well-known technique in estimating probabilities of rare events in general and in information theory in particular (used, e.g., in the sphere-packing bound), is that of finding a reference probability measure under which the event of interest has probability of order one and estimating the probability in question by means of the Kullback-Leibler divergence. A method has recently been proposed in [2], that can be viewed as an extension of this idea in which the probability under the reference measure may itself be decaying exponentially, and the Renyi divergence is used instead. The purpose of this paper is to demonstrate the usefulness of this approach in various information-theoretic settings. For the problem of channel coding, we provide a general methodology for obtaining matched, mismatched and robust error exponent bounds, as well as new results in a variety of particular channel models. Other applications we address include rate-distortion coding and the problem of guessing.


title: On the role of $L^3$ and $H^{\frac{1}{2}}$ norms in hydrodynamics

abstract: In this paper, we extend some results proved in previous references for three-dimensional Navier-Stokes equations. We show that when the norm of the velocity field is small enough in $L^3({I\!\!R}^3)$, then a global smooth solution of the Navier-Stokes equations is ensured. We show that a similar result holds when the norm of the velocity field is small enough in $H^{\frac{1}{2}}({I\!\!R}^3)$. The scale invariance of these two norms is discussed.


title: Deformed entropy and information relations for composite and noncomposite systems

abstract: The notion of conditional entropy is extended to noncomposite systems. The q-deformed entropic inequalities, which usually are associated with correlations of the subsystem degrees of freedom in bipartite systems, are found for the noncomposite systems. New entropic inequalities for quantum tomograms of qudit states including the single qudit states are obtained. The Araki{Lieb inequality is found for systems without subsystems.


title: Canonical Flow in the Space of Gauge Parameters

abstract: Gauge dependence of one-particle irreducible (1-PI) amplitudes in SU(N) Yang-Mills theory is shown to be generated by a canonical flow with respect to (w.r.t.) the extended Slavnov-Taylor (ST) identity, induced by the transformation of the gauge parameter under the BRST symmetry. For linear covariant gauges, the analytic expansion in the gauge parameter of 1-PI amplitudes is given in terms of coefficients evaluated in the Landau gauge and of derivatives w.r.t. the gauge parameter of the generating functional of the flow. An application to the gauge flow of the gluon propagator is considered.


title: A differential game for a multiclass queueing model in the moderate-deviation heavy-traffic regime

abstract: We study a differential game that governs the moderate-deviation heavy-traffic asymptotics of a multiclass single-server queueing control problem with a risk-sensitive cost. We consider a cost set on a finite but sufficiently large time horizon, and show that this formulation leads to stationary feedback policies for the game. Several aspects of the game are explored, including its characterization via a (one-dimensional) free boundary problem, the semi-explicit solution of an optimal strategy, and the specification of a saddle point. We emphasize the analogy to the well-known Harrison-Taksar free boundary problem which plays a similar role in the diffusion-scale heavy-traffic literature.


title: Asymptotic symmetries of three-dimensional higher-spin gravity: the metric approach

abstract: The asymptotic structure of three-dimensional higher-spin anti-de Sitter gravity is analyzed in the metric approach, in which the fields are described by completely symmetric tensors and the dynamics is determined by the standard Einstein-Fronsdal action improved by higher order terms that secure gauge invariance. Precise boundary conditions are given on the fields. The asymptotic symmetries are computed and shown to form a non-linear W-algebra, in complete agreement with what was found in the Chern-Simons formulation. The W-symmetry generators are two-dimensional traceless and divergenceless rank-s symmetric tensor densities of weight s (s = 2, 3, ...), while asymptotic symmetries emerge at infinity through the conformal Killing vector and conformal Killing tensor equations on the two-dimensional boundary, the solution space of which is infinite-dimensional. For definiteness, only the spin 3 and spin 4 cases are considered, but these illustrate the features of the general case: emergence of the W-extended conformal structure, importance of the improvement terms in the action that maintain gauge invariance, necessity of the higher spin gauge transformations of the metric, role of field redefinitions.


title: An asymptotic optimality result for the multiclass queue with finite buffers in heavy traffic

abstract: For a multiclass G/G/1 queue with finite buffers, admission and scheduling control, and holding and rejection costs, we construct a policy that is asymptotically optimal in the heavy traffic limit. The policy is specified in terms of a single parameter which constitutes the free boundary point from the Harrison-Taksar free boundary problem, but otherwise depends "explicitly" on the problem data. The c mu priority rule is also used by the policy, but in a way that is novel, and, in particular, different than that used in problems with infinite buffers. We also address an analogous problem where buffer constraints are replaced by throughput time constraints.


title: A new treatment for some periodic Schr\"{o}dinger operators I: the eigenvalue

abstract: We study the problem of how the Floquet property manifests for periodic Schr\"{o}dinger operators which are known to have multiple of asymptotic spectral solutions. The main conclusions are made for elliptic potentials, we demonstrate that for each period of the elliptic function there is a relation about the Floquet exponent and the monodromy of wave function. Among them there are two relations not explained by the classical Floquet theory. These relations produce both old and new asymptotic solutions consistent with results already known.


title: Bulk and soft-edge universality for singular values of products of Ginibre random matrices

abstract: It has been shown by Akemann, Ipsen and Kieburg that the squared singular values of products of $M$ rectangular random matrices with independent complex Gaussian entries are distributed according to a determinantal point process with a correlation kernel that admits a representation in terms of Meijer G-functions. We prove the universality of the local statistics of the squared singular values, namely, the bulk universality given by the sine kernel and the edge universality given by the Airy kernel. The proof is based on the asymptotic analysis for the double contour integral representation of the correlation kernel. Our strategy can be generalized to deal with other models of products of random matrices introduced recently and to establish similar universal results. Two more examples are investigated, one is the product of $M$ Ginibre matrices and the inverse of $K$ Ginibre matrices studied by Forrester, and the other one is the product of $M-1$ Ginibre matrices with one truncated unitary matrix considered by Kuijlaars and Stivigny.


title: Morrey type spaces and multiplication operator in Sobolev spaces

abstract: The paper deals with the operator $u\rightarrow gu$ defined in the Sobolev space $W^{r,p}(\Omega)$ and which takes values in $L^p(\Omega)$ when $\Omega$ is an unbounded open subset in $R^n$. The functions $g$ belong to wider spaces of $L^p$ connected with the Morrey type spaces. $L^p$ estimates and compactness results are stated.


title: Marker-based estimation of heritability in immortal populations

abstract: Heritability is a central parameter in quantitative genetics, both from an evolutionary and a breeding perspective. For plant traits heritability is traditionally estimated by comparing within and between genotype variability. This approach estimates broad-sense heritability, and does not account for different genetic relatedness. With the availability of high-density markers there is growing interest in marker based estimates of narrow-sense heritability, using mixed models in which genetic relatedness is estimated from genetic markers. Such estimates have received much attention in human genetics but are rarely reported for plant traits. A major obstacle is that current methodology and software assume a single phenotypic value per genotype, hence requiring genotypic means. An alternative that we propose here, is to use mixed models at individual plant or plot level. Using statistical arguments, simulations and real data we investigate the feasibility of both approaches, and how these affect genomic prediction with G-BLUP and genome-wide association studies. Heritability estimates obtained from genotypic means had very large standard errors and were sometimes biologically unrealistic. Mixed models at individual plant or plot level produced more realistic estimates, and for simulated traits standard errors were up to 13 times smaller. Genomic prediction was also improved by using these mixed models, with up to a 49% increase in accuracy. For GWAS on simulated traits, the use of individual plant data gave almost no increase in power. The new methodology is applicable to any complex trait where multiple replicates of individual genotypes can be scored. This includes important agronomic crops, as well as bacteria and fungi.


title: Resonant photo-ionization of Yb+ to Yb2+

abstract: We demonstrate the controlled creation of a $\mathrm{^{174}Yb^{2+}}$ ion by photo-ionizing $\mathrm{^{174}Yb^+}$ with weak continuous-wave lasers at ultraviolet wavelengths. The photo-ionization is performed by resonantly exciting transitions of the $\mathrm{^{174}Yb^+}$ ion in three steps. Starting from an ion crystal of two laser-cooled $\mathrm{^{174}Yb^+}$ ions localized in a radio-frequency trap, the verification of the ionization process is performed by characterizing the properties of the resulting mixed-species ion-crystal. The obtained results facilitate fundamental studies of physics involving $\mathrm{Yb^{2+}}$ ions.


title: Polarities & Focussing: a journey from Realisability to Automated Reasoning

abstract: This dissertation explores the roles of polarities and focussing in various aspects of Computational Logic. These concepts play a key role in the the interpretation of proofs as programs, a.k.a. the Curry-Howard correspondence, in the context of classical logic. Arising from linear logic, they allow the construction of meaningful semantics for cut-elimination in classical logic, some of which relate to the Call-by-Name and Call-by-Value disciplines of functional programming. The first part of this dissertation provides an introduction to these interpretations, highlighting the roles of polarities and focussing. For instance: proofs of positive formulae provide structured data, while proofs of negative formulae consume such data; focussing allows the description of the interaction between the two kinds of proofs as pure pattern-matching. This idea is pushed further in the second part of this dissertation, and connected to realisability semantics, where the structured data is interpreted algebraically, and the consumption of such data is modelled with the use of an orthogonality relation. Most of this part has been proved in the Coq proof assistant. Polarities and focussing were also introduced with applications to logic programming in mind, where computation is proof-search. In the third part of this dissertation, we push this idea further by exploring the roles that these concepts can play in other applications of proof-search, such as theorem proving and more particularly automated reasoning. We use these concepts to describe the main algorithm of SAT-solvers and SMT-solvers: DPLL. We then describe the implementation of a proof-search engine called Psyche. Its architecture, based on the concept of focussing, offers a platform where smart techniques from automated reasoning (or a user interface) can safely and trustworthily be implemented via the use of an API.


title: On the Ozarow-Leung Scheme for the Gaussian Broadcast Channel with Feedback

abstract: In this work, we consider linear-feedback schemes for the two-user Gaussian broadcast channel with noiseless feedback. We extend the transmission scheme of [Ozarow and Leung, 1984] by applying estimators with memory instead of the memoryless estimators used by Ozarow and Leung (OL) in their original work. A recursive formulation of the mean square errors achieved by the proposed estimators is provided, along with a proof for the existence of a fixed point. This enables characterizing the achievable rates of the extended scheme. Finally, via numerical simulations it is shown that the extended scheme can improve upon the original OL scheme in terms of achievable rates, as well as achieve a low probability of error after a finite number of channel uses.


title: On Sets of Premises

abstract: Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with the same premises and the same conclusions become equal. In terms of categorial proof theory, this is a consequence of a simple fact concerning adjunction with a full and faithful functor applied to the adjunction between the diagonal functor and the product biendofunctor, which corresponds to the conjunction connective.


title: Quarks and Anomalies

abstract: A nonperturbative understanding of neutral pion decay was an essential step towards the idea that strong interactions are governed by a color gauge theory for quarks. Some aspects of this work and related problems are still important.


title: Principal Sensitivity Analysis

abstract: We present a novel algorithm (Principal Sensitivity Analysis; PSA) to analyze the knowledge of the classifier obtained from supervised machine learning techniques. In particular, we define principal sensitivity map (PSM) as the direction on the input space to which the trained classifier is most sensitive, and use analogously defined k-th PSM to define a basis for the input space. We train neural networks with artificial data and real data, and apply the algorithm to the obtained supervised classifiers. We then visualize the PSMs to demonstrate the PSA's ability to decompose the knowledge acquired by the trained classifiers.


title: On the dualization of Born-Infeld theories

abstract: We construct a general Lagrangian, quadratic in the field strengths of $n$ abelian gauge fields, which interpolates between BI actions of n abelian vectors and actions, quadratic in the vector field-strengths, describing Maxwell fields coupled to non-dynamical scalars, in which the electric-magnetic duality symmetry is manifest. Depending on the choice of the parameters in the Lagrangian, the resulting BI actions may be inequivalent, exhibiting different duality groups. In particular we find, in our general setting, for different choices of the parameters, a ${\rm U}(n)$-invariant BI action, possibly related to the one in \cite{Aschieri:2008ns}, as well as the recently found $\mathcal{N}=2$ supersymmetric BI action \cite{Ferrara:2014oka}.