title: A Note on Permutation Binomials and Trinomials over Finite Fields

abstract: Let $p$ be an odd prime and $e$ be a positive integer. We completely explain the permutation binomials and trinomials arising from the reversed Dickson polynomials of the $(k+1)$-th kind $D_{n,k}(1,x)$ over $\mathbb{F}_{p^e}$ when $n=p^l+2$, where $l\in \mathbb{N}$.


title: Fixed point results for a new mapping related to mean nonexpansive mappings

abstract: Mean nonexpansive mappings were first introduced in 2007 by Goebel and Japon Pineda and advances have been made by several authors toward understanding their fixed point properties in various contexts. For any given $(\alpha_1, \alpha_2)$-nonexpansive mapping $T$ of a Banach space, many of the positive results have been derived from properties of the mapping $T_\alpha = \alpha_1 T + \alpha_2T^2= (\alpha_1I + \alpha_2T)\circ T$ which is nonexpansive. However, the related mapping $T \circ (\alpha_1I + \alpha_2T)$ has not yet been studied. In this paper, we investigate some fixed point properties of this new mapping and discuss relationships between $(\alpha_1I + \alpha_2T)\circ T$ and $T\circ(\alpha_1I + \alpha_2T)$.


title: Fundamental building blocks of strongly correlated wave functions

abstract: The calculation of realistic N-body wave functions for identical fermions is still an open problem in physics, chemistry, and materials science, even for N as small as two. A recently discovered fundamental algebraic structure of many-body Hilbert space allows an arbitrary many-fermion wave function to be written in terms of a finite number of antisymmetric functions called shapes. Shapes naturally generalize the single-Slater-determinant form for the ground state to more than one dimension. Their number is exactly $N!^{d-1}$ in $d$ dimensions. An efficient algorithm is described to generate all fermion shapes in spaces of odd dimension, which improves on a recently published general algorithm. The results are placed in the context of contemporary investigations of strongly correlated electrons.


title: Robust Confidence Intervals in High-Dimensional Left-Censored Regression

abstract: This paper develops robust confidence intervals in high-dimensional and left-censored regression. Type-I censored regression models are extremely common in practice, where a competing event makes the variable of interest unobservable. However, techniques developed for entirely observed data do not directly apply to the censored observations. In this paper, we develop smoothed estimating equations that augment the de-biasing method, such that the resulting estimator is adaptive to censoring and is more robust to the misspecification of the error distribution. We propose a unified class of robust estimators, including Mallow's, Schweppe's and Hill-Ryan's one-step estimator. In the ultra-high-dimensional setting, where the dimensionality can grow exponentially with the sample size, we show that as long as the preliminary estimator converges faster than $n^{-1/4}$, the one-step estimator inherits asymptotic distribution of fully iterated version. Moreover, we show that the size of the residuals of the Bahadur representation matches those of the simple linear models, $s^{3/4 } (\log (p \vee n))^{3/4} / n^{1/4}$ -- that is, the effects of censoring asymptotically disappear. Simulation studies demonstrate that our method is adaptive to the censoring level and asymmetry in the error distribution, and does not lose efficiency when the errors are from symmetric distributions. Finally, we apply the developed method to a real data set from the MAQC-II repository that is related to the HIV-1 study.


title: Painlev\'e II transcendents and their squares

abstract: We examine the relationship between the homogeneous second Painlev\'e equation and equation ${\bf XX}$ from the master list recorded by Ince.


title: Chains conditions in algebraic lattices

abstract: This work studies the relationship between the chains of an algebraic lattice and the order structure of the join-semilattice of its compact elements. The results are presented into four chapters, each corresponding to a paper written in collaboration with Maurice Pouzet.


title: Liquid Water through Density-Functional Molecular Dynamics: Plane-Wave vs Atomic-Orbital Basis Sets

abstract: We determine and compare structural, dynamical, and electronic properties of liquid water at near ambient conditions through density-functional molecular dynamics simulations, when using either plane-wave or atomic-orbital basis sets. In both frameworks, the electronic structure and the atomic forces are self-consistently determined within the same theoretical scheme based on a nonlocal density functional accounting for van der Waals interactions. The overall properties of liquid water achieved within the two frameworks are in excellent agreement with each other. Thus, our study supports that implementations with plane-wave or atomic-orbital basis sets yield equivalent results and can be used indiscriminately in study of liquid water or aqueous solutions.


title: Triangular Quantum Profiles: transmission probability and energy spectrum

abstract: Analytical expressions for the transition probability and the energy spectrum of the 1D Schr\"odinger equation with position dependent mass are presented for the triangular quantum barrier and quantum well. The transmission coefficient is obtained by using the wave functions written in terms of the Airy's functions and of the solutions of the Kummer's differential equation. In order to show the validity of our analyze, an example by taking some numerical values for GaAs heterostructure is presented.


title: Deep Quality: A Deep No-reference Quality Assessment System

abstract: Image quality assessment (IQA) continues to garner great interest in the research community, particularly given the tremendous rise in consumer video capture and streaming. Despite significant research effort in IQA in the past few decades, the area of no-reference image quality assessment remains a great challenge and is largely unsolved. In this paper, we propose a novel no-reference image quality assessment system called Deep Quality, which leverages the power of deep learning to model the complex relationship between visual content and the perceived quality. Deep Quality consists of a novel multi-scale deep convolutional neural network, trained to learn to assess image quality based on training samples consisting of different distortions and degradations such as blur, Gaussian noise, and compression artifacts. Preliminary results using the CSIQ benchmark image quality dataset showed that Deep Quality was able to achieve strong quality prediction performance (89% patch-level and 98% image-level prediction accuracy), being able to achieve similar performance as full-reference IQA methods.


title: Measuring the match between evaluators and evaluees: Cognitive distances between panel members and research groups at the journal level

abstract: When research groups are evaluated by an expert panel, it is an open question how one can determine the match between panel and research groups. In this paper, we outline two quantitative approaches that determine the cognitive distance between evaluators and evaluees, based on the journals they have published in. We use example data from four research evaluations carried out between 2009 and 2014 at the University of Antwerp. While the barycenter approach is based on a journal map, the similarity-adapted publication vector (SAPV) approach is based on the full journal similarity matrix. Both approaches determine an entity's profile based on the journals in which it has published. Subsequently, we determine the Euclidean distance between the barycenter or SAPV profiles of two entities as an indicator of the cognitive distance between them. Using a bootstrapping approach, we determine confidence intervals for these distances. As such, the present article constitutes a refinement of a previous proposal that operates on the level of Web of Science subject categories.


title: AR Sco: A White Dwarf Synchronar

abstract: The emission of the white dwarf-M dwarf binary AR Sco is driven by the rapid synchronization of its white dwarf, rather than by accretion. This requires a comparatively large magnetic field $\sim 100$ gauss at the M dwarf and $\sim 10^8$ gauss on the white dwarf, larger than the fields of most intermediate polars but within the range of fields of known magnetic white dwarfs. The spindown power is dissipated in the atmosphere of the M dwarf by magnetic reconnection, accelerating particles that produce the observed synchrotron radiation. The displacement of the optical maximum from conjunction may be explained either by dissipation in a bow wave as the white dwarf's magnetic field sweeps past the M dwarf or by a misaligned white dwarf's rotation axis and oblique magnetic moment. In the latter case the rotation axis precesses with a period of decades, predicting a drift in the orbital phase of maximum. Binaries whose emission is powered by synchronization may be termed synchronars, in analogy to magnetars.


title: MHD-kinetic transition in imbalanced Alfv\'enic turbulence

abstract: Alfv\'enic turbulence in space is usually imbalanced: amplitudes of waves propagating parallel and anti-parallel to the mean magnetic field $B_0$ are unequal. It is commonly accepted that the turbulence is driven by (counter-)collisions between these counter-propagating wave fractions. Contrary to this, we found a new ion-scale dynamical range of the turbulence established by (co-)collisions among waves co-propagating in the same direction along $B_0$. Co-collisions become stronger than counter-collisions and produce steep non-universal spectra above certain wavenumbers dependent on the imbalance. Spectral indexes of the strong turbulence vary around -3, such that steeper spectra follow larger imbalances. Intermittency steepens the -3 spectra further, up to -3.7. Our theoretical predictions are compatible with steep variable spectra observed in the solar wind at ion kinetic scales, but further verifications are needed by correlating observed spectra with measured imbalances.


title: Qudit quantum computation on matrix product states with global symmetry

abstract: Resource states that contain nontrivial symmetry-protected topological order are identified for universal single-qudit measurement-based quantum computation. Our resource states fall into two classes: one as the qudit generalizations of the 1D qubit cluster state, and the other as the higher-symmetry generalizations of the spin-1 Affleck-Kennedy-Lieb-Tasaki (AKLT) state, namely, with unitary, orthogonal, or symplectic symmetry. The symmetry in cluster states protects information propagation (identity gate), while the higher symmetry in AKLT-type states enables nontrivial gate computation. This work demonstrates a close connection between measurement-based quantum computation and symmetry-protected topological order.


title: Recovering 0 Kelvin Effective Hamiltonian Parameters from High-Temperature Disordered Phases

abstract: Effective Hamiltonians, when used in tandem with statistical mechanics techniques, offer a rigorous connection between 0 Kelvin ab-initio predictions and finite temperature experimental observations. For alloys, cluster expansion Hamiltonians can coarse-grain out the complex, many-body electron problem of density functional theory, yielding a series of simple site-wise basis functions (e.g., products of site occupancy variables) on an atomic scale. The resulting energy polynomial is computationally inexpensive, and hence suitable for the (tens of) thousands of calculations of large systems required by stochastic methods. We present a new method to run the statical mechanics problem "in reverse", using high-temperature observations and thermodynamic connections to construct an effective Hamiltonian and thereby predict the 0 Kelvin energy spectrum and associated ground states. By re-examining the cluster expansion formalism through the lens of entropy-maximization approaches, we develop an algorithm to select clusters and determine cluster interactions using only a few, high-temperature experiments on disordered phases. We demonstrate that our approach can recover not only the stable ground states at 0 Kelvin, but also the full phase behavior for three realistic two-dimensional and three-dimensional alloy test-cases.


title: Initial energy density of $\sqrt{s}=$ 7 and 8 TeV p+p collisions at the LHC

abstract: Results from the RHIC and LHC experiments show, that in relativistic heavy ion collisions, a new state of matter, a strongly interacting perfect fluid is created. Accelerating, exact and explicit solutions of relativistic hydrodynamics allow for a simple and natural description of this medium. A finite rapidity distribution arises from these solutions, leading to an advanced estimate of the initial energy density of high energy collisions. These solutions can be utilized to describe various aspects of proton-proton collisions, as originally suggested by Landau. We show that an advanced estimate based on hydrodynamics yields an initial energy density in $\sqrt{s}=7$ and 8 TeV p+p collisions at LHC on the same order as the critical energy density from lattice QCD, and a corresponding initial temperature around the critical temperature from QCD and the Hagedorn temperature. The multiplicity dependence of the estimated initial energy density suggests that in high multiplicity pp collisions at the LHC, there is large enough initial energy density to create a non-hadronic perfect fluid.


title: Simulating the radiofrequency dielectric response of relaxor ferroelectrics: Combination of Coarse-Grained Hamiltonians and Kinetic Monte Carlo

abstract: The radiofrequency dielectric response of the lead-free Ba(Zr$_{0.5}$Ti$_{0.5}$)O$_3$ relaxor ferroelectric is simulated using a coarse-grained Hamiltonian. This concept, taken from Real-Space Renormalization Group theories, allows depicting the collective behavior of correlated local modes gathered in blocks. Free-energy barriers for their thermally activated collective hopping are deduced from this {\it ab-initio}-based approach, and used as input data of Kinetic Monte Carlo simulations. The resulting numerical scheme allows to simulate the dielectric response for external field frequencies ranging from the kHz up to a few tens of MHz for the first time, and to, e.g., demonstrate that local (electric or elastic) random fields lead to the dielectric relaxation in the radiofrequency range that has been observed in relaxors.


title: Smooth Factors of Projective Actions of Higher Rank Lattices and Rigidity

abstract: We study smooth factors of the standard actions of lattices in higher rank semisimple Lie groups on flag manifolds. Under a mild condition on existence of a single differentiable sink, we show that these factors are $C^{\infty}$-conjugate to the standard actions on flag manifolds.


title: Cooperation in the two-population snowdrift game with punishment enforced through different mechanisms

abstract: I study two mechanisms based on punishment to promote cooperation in the two-population snowdrift game. The first mechanism follows the traditional approach in the literature and is based on the inclusion of a third additional strategy in the payoff matrix of the stage-game. The second mechanism consists of letting cooperators to punish defectors with a given exogenous frequency. While both mechanisms share the same result regarding the minimum required level of punishment in order to eliminate defectors in both populations, stability in the mechanism following the second approach is more robust in the sense that extinction of defectors is a globally asymptotically stable state for any interior initial conditions in the phase space. Results were obtained analytically through non-linear differential equations and also using an agent-based simulation. There was a good level of agreement between both approaches with respect to the evolutionary pattern over time and the possible steady-states.


title: Low Rank Independence Samplers in Bayesian Inverse Problems

abstract: In Bayesian inverse problems, the posterior distribution is used to quantify uncertainty about the reconstructed solution. In practice, Markov chain Monte Carlo algorithms often are used to draw samples from the posterior distribution. However, implementations of such algorithms can be computationally expensive. We present a computationally efficient scheme for sampling high-dimensional Gaussian distributions in ill-posed Bayesian linear inverse problems. Our approach uses Metropolis-Hastings independence sampling with a proposal distribution based on a low-rank approximation of the prior-preconditioned Hessian. We show the dependence of the acceptance rate on the number of eigenvalues retained and discuss conditions under which the acceptance rate is high. We demonstrate our proposed sampler by using it with Metropolis-Hastings-within-Gibbs sampling in numerical experiments in image deblurring, computerized tomography, and NMR relaxometry.


title: Primeval very low-mass stars and brown dwarfs. I. Six new L subdwarfs, classification and atmospheric properties

abstract: We have conducted a search for L subdwarf candidates within the photometric catalogues of the UKIRT Infrared Deep Sky Survey and Sloan Digital Sky Survey. Six of our candidates are confirmed as L subdwarfs spectroscopically at optical and/or near infrared wavelengths. We also present new optical spectra of three previously known L subdwarfs (WISEA J001450.17-083823.4, 2MASS J00412179+3547133, ULAS J124425.75+102439.3). We examined the spectral types and metallicity subclasses classification of known L subdwarfs. We summarised the spectroscopic properties of L subdwarfs with different spectral types and subclasses. We classify these new L subdwarfs by comparing their spectra to known L subdwarfs and L dwarf standards. We estimate temperatures and metallicities of 22 late type M and L subdwarfs by comparing their spectra to BT-Settl models. We find that L subdwarfs have temperatures between 1500 K and 2700 K, which are higher than similarly-typed L dwarfs by around 100-400 K depending on different subclasses and subtypes. We constrained the metallicity ranges of subclasses of M, L and T subdwarfs. We also discussed the spectral type and absolute magnitude relationships for L and T subdwarfs.


title: An Enumeration of the Supercharacter Theories of $C_p \times C_2 \times C_2$ for Prime $p$

abstract: The supercharacter theories of $C_p \times C_2 \times C_2$ were classified in the language of Schur rings by Evdokimov, Kov\'acs, and Ponomarenko in [EKP16]. It was shown that every nontrivial supercharacter theory of $C_p \times C_2 \times C_2$ can be constructed as a wedge product, a direct product, or is generated by automorphisms. We use this classification to give a precise count of the distinct supercharacter theories of $C_p\times C_2\times C_2$ and describe when a supercharacter theory can be constructed by more than one method. We also present an alternative proof of the classification using the language of supercharacter theories.


title: An extended characterization of a class of optimal three-weight cyclic codes over any finite field

abstract: A characterization of a class of optimal three-weight cyclic codes of dimension 3 over any finite field was recently presented in [10]. Shortly after this, a generalization for the sufficient numerical conditions of such characterization was given in [3]. The main purpose of this work is to show that the numerical conditions found in [3], are also necessary. As we will see later, an interesting feature of the present work, in clear contrast with these two preceding works, is that we use some new and non-conventional methods in order to achieve our goals. In fact, through these non-conventional methods, we not only were able to extend the characterization in [10], but also present a less complex proof of such extended characterization, which avoids the use of some of the sophisticated --but at the same time complex-- theorems, that are the key arguments of the proofs given in [10] and [3]. Furthermore, we also find the parameters for the dual code of any cyclic code in our extended characterization class. In fact, after the analysis of some examples, it seems that such dual codes always have the same parameters as the best known linear codes.


title: Holomorphic Flexibility Properties of Spaces of Elliptic Functions

abstract: Let $X$ be an elliptic curve and $\mathbb{P}$ the Riemann sphere. Since $X$ is compact, it is a deep theorem of Douady that the set $\mathcal{O}(X,\mathbb{P})$ consisting of holomorphic maps $X\to \mathbb{P}$ admits a complex structure. If $R_n$ denotes the set of maps of degree $n$, then Namba has shown for $n\geq2$ that $R_n$ is a $2n$-dimensional complex manifold. We study holomorphic flexibility properties of the spaces $R_2$ and $R_3$. Firstly, we show that $R_2$ is homogeneous and hence an Oka manifold. Secondly, we present our main theorem, that there is a $6$-sheeted branched covering space of $R_3$ that is an Oka manifold. It follows that $R_3$ is $\mathbb{C}$-connected and dominable. We show that $R_3$ is Oka if and only if $\mathbb{P}_2\backslash C$ is Oka, where $C$ is a cubic curve that is the image of a certain embedding of $X$ into $\mathbb{P}_2$. We investigate the strong dominability of $R_3$ and show that if $X$ is not biholomorphic to $\mathbb{C}/\Gamma_0$, where $\Gamma_0$ is the hexagonal lattice, then $R_3$ is strongly dominable. As a Lie group, $X$ acts freely on $R_3$ by precomposition by translations. We show that $R_3$ is holomorphically convex and that the quotient space $R_3/X$ is a Stein manifold. We construct an alternative $6$-sheeted Oka branched covering space of $R_3$ and prove that it is isomorphic to our first construction in a natural way. This alternative construction gives us an easier way of interpreting the fibres of the branched covering map.


title: Vacuum Cherenkov radiation and photon decay rates from generic Lorentz Invariance Violation

abstract: Among the most studied approaches to introduce the breaking of Lorentz symmetry, the generic approach is one of the most frequently used for phenomenology, it converges on the modification of the free particle dispersion relation. Using this approach in the photon sector, we have calculated the squared probability amplitude for vacuum Cherenkov radiation and photon decay by correcting the QED coupling at tree level and first order in LIV parameters. For the lower order energy correction we calculate the emission and decay rate for each process.


title: Gapped Fermions in Top-down Holographic Superconductors

abstract: We use holography to compute spectral functions of certain fermionic operators in three different finite-density, zero-temperature states of ABJM theory with a broken U(1) symmetry. In each of the three states, dual to previously studied domain wall solutions of four-dimensional gauged supergravity, we find that the fermionic operators have gapped spectra. In one case the gap can be traced to the small charge of the fermions, while in the other cases it is due to a particular interaction that mixes particles and holes.


title: Cavitation of Water by Volume-Controlled Stretching

abstract: A liquid subjected to negative pressure is thermodynamically metastable. Confined within a small volume, negative pressure can build up until cavities form spontaneously. The critical negative pressure for cavitation in water has been theoretically predicted to be in the range of -100 to -200 MPa at room temperature, whereas values around -30 MPa have been obtained by many experiments. The discrepancy has yet to be resolved. In this study we perform molecular dynamics simulations to study cavitation of water under volume controlled stretching. It is found that liquid water exhibits a nonlinear elastic compressibility (or stretchability) under hydrostatic tension and remains stable within the confined volume until spontaneous cavitation occurs at a critical strain. Subsequently, as the volume-controlled stretching continues, the cavity grows stably and the hydrostatic tension decreases continuously until the box volume is large enough for another transition to form a water droplet. A modified nucleation theory is proposed to predict the critical condition for cavitation. In particular, a strong dependence of the critical strain and stress for cavitation on the initial liquid volume is predicted by the modified nucleation theory, which may offer a possible explanation for the discrepancies in the values of the critical negative pressure obtained from experiments.


title: The Virial Relation and Intrinsic Shape of Early-Type Galaxies

abstract: Early-type galaxies (ETGs) are supposed to follow the virial relation $M = k_e \sigma_*^2 R_e / G$, with $M$ being the mass, $\sigma_*$ being the stellar velocity dispersion, $R_e$ being the effective radius, $G$ being Newton's constant, and $k_e$ being the virial factor, a geometry factor of order unity. Applying this relation to (a) the ATLAS3D sample of Cappellari et al. (2013) and (b) the sample of Saglia et al. (2016) gives ensemble-averaged factors $\langle k_e\rangle =5.15\pm0.09$ and $\langle k_e\rangle =4.01\pm0.18$, respectively, with the difference arising from different definitions of effective velocity dispersions. The two datasets reveal a statistically significant tilt of the empirical relation relative to the theoretical virial relation such that $M\propto(\sigma_*^2R_e)^{0.92}$. This tilt disappears when replacing $R_e$ with the semi-major axis of the projected half-light ellipse, $a$. All best-fit scaling relations show zero intrinsic scatter, implying that the mass plane of ETGs is fully determined by the virial relation. Whenever a comparison is possible, my results are consistent with, and confirm, the results by Cappellari et al. (2013). The difference between the relations using either $a$ or $R_e$ arises from a known lack of highly elliptical high-mass galaxies; this leads to a scaling $(1-\epsilon) \propto M^{0.12}$, with $\epsilon$ being the ellipticity and $R_e = a\sqrt{1-\epsilon}$. Accordingly, $a$, not $R_e$, is the correct proxy for the scale radius of ETGs. By geometry, this implies that early-type galaxies are axisymmetric and oblate in general, in agreement with published results from modeling based on kinematics and light distributions.


title: Shape of magnetic domain walls formed by coupling to mobile charges

abstract: Magnetic domain walls, which are crucially important in both fundamental physics and technical applications, often have a preference in their form due to many different origins, such as the crystalline shape, lattice symmetry, and magnetic anisotropy. We theoretically investigate yet another origin stemming from the coupling to mobile charges in itinerant magnets. Performing a large-scale numerical simulation in a minimal model for itinerant magnets, i.e., the Kondo lattice model with classical localized spins, we show that the shape of magnetic domain walls depends on the electronic band structure and electron filling. While Neel and 120 antiferromagnetic states do not show a strong preference in the shape of domain walls, noncoplanar spin states with scalar chiral ordering have distinct directional preferences of the domain walls depending on the electron filling. We find that the directional preference is rationalized by the wave-number dependence of the effective magnetic interactions induced by the mobile charges, which are set by the band structure and electron filling. We also observe that, in the noncoplanar chiral states, an electric current is induced along the domain walls owing to the spin Berry phase mechanism, with very different spatial distributions depending on whether the bulk state is metallic or insulating.


title: Tracking the Trackers: Towards Understanding the Mobile Advertising and Tracking Ecosystem

abstract: Third-party services form an integral part of the mobile ecosystem: they allow app developers to add features such as performance analytics and social network integration, and to monetize their apps by enabling user tracking and targeted ad delivery. At present users, researchers, and regulators all have at best limited understanding of this third-party ecosystem. In this paper we seek to shrink this gap. Using data from users of our ICSI Haystack app we gain a rich view of the mobile ecosystem: we identify and characterize domains associated with mobile advertising and user tracking, thereby taking an important step towards greater transparency. We furthermore outline our steps towards a public catalog and census of analytics services, their behavior, their personal data collection processes, and their use across mobile apps.


title: Simulated floating zone method

abstract: This paper provides the simulated floating zone (SFZ) method that is an efficient simulation technique to obtain thermal equilibrium states, especially useful when domain formation prevents the system from reaching a spatially-uniform stable state. In the SFZ method, the system is heated up locally, and the heated region is steadily shifted, similar to the floating zone method for growing a single crystal with less lattice defect and impurity in experiments. We demonstrate that the SFZ method suppresses domain formation and accelerates the optimization of the state, taking an example of a magnetic vortex crystal state realized in itinerant magnets. We show that the efficiency is maximized when the local heating temperature is tuned to be comparable to the characteristic energy scale of the ordered state.


title: Hydra: Leveraging Functional Slicing for Efficient Distributed SDN Controllers

abstract: The conventional approach to scaling Software Defined Networking (SDN) controllers today is to partition switches based on network topology, with each partition being controlled by a single physical controller, running all SDN applications. However, topological partitioning is limited by the fact that (i) performance of latency-sensitive (e.g., monitoring) SDN applications associated with a given partition may be impacted by co-located compute-intensive (e.g., route computation) applications; (ii) simultaneously achieving low convergence time and response times might be challenging; and (iii) communication between instances of an application across partitions may increase latencies. To tackle these issues, in this paper, we explore functional slicing, a complementary approach to scaling, where multiple SDN applications belonging to the same topological partition may be placed in physically distinct servers. We present Hydra, a framework for distributed SDN controllers based on functional slicing. Hydra chooses partitions based on convergence time as the primary metric, but places application instances across partitions in a manner that keeps response times low while considering communication between applications of a partition, and instances of an application across partitions. Evaluations using the Floodlight controller show the importance and effectiveness of Hydra in simultaneously keeping convergence times on failures small, while sustaining higher throughput per partition and ensuring responsiveness to latency-sensitive applications.


title: Recent results from the ARIANNA neutrino experiment

abstract: The ARIANNA experiment is currently taking data in its pilot-phase on the Ross ice-shelf. Fully autonomous stations measure radio signals in the frequency range from 100 MHz to 1 GHz. The seven station HRA was completed in December 2014, and augmented by two special purpose stations with unique configurations. In its full extent ARIANNA is targeted at detecting interactions of cosmogenic neutrinos (> 1016eV) in the ice-shelf. Downward-pointing antennas installed at the surface will record the radio emission created by neutrino-induced showers in the ice and exploit the fact that the ice- water surface acts as a mirror for radio emission. ARIANNA stations are independent, low-powered, easy to install and equipped with real-time communication via satellite modems. We report on the current status of the HRA, as well as air shower detections that have been made over the past year. Furthermore, we will discuss the search for neutrino emission, future plans and the energy-dependent sensitivity of the experiment.


title: Calculations of Magnetic properties of metals through the magnetic-field-containing relativistic tight-binding approximation method

abstract: Magnetic properties of metals are investigated through electronic structure calculations based on the recently-proposed magnetic-field-containing relativistic tight-binding approximation (MFRTB) method [Phys. Rev. B \textbf{91}, 075122 (2015)]. It is found that electronic energy bands for the metal immersed in the uniform magnetic field have a cluster structure in which multiple energy bands lie within a small energy width. Each cluster corresponds to the energy level that is derived on the basis of the semiclassical approximation. While the cluster is responsible for the de Haas-van Alphen (dHvA) oscillations, constituent energy bands of the cluster cause additional oscillation peaks of the magnetization. Also, the energy width of the cluster leads to the reduction of the amplitude of the dHvA oscillations, which can be observed as the pseudo Dingle temperature and/or the overestimation of the curvature of the Fermi surface.


title: Balancing Statistical and Computational Precision: A General Theory and Applications to Sparse Regression

abstract: Modern technologies are generating ever-increasing amounts of data. Making use of these data requires methods that are both statistically sound and computationally efficient. Typically, the statistical and computational aspects are treated separately. In this paper, we propose an approach to entangle these two aspects in the context of regularized estimation. Applying our approach to sparse and group-sparse regression, we show that it can improve on standard pipelines both statistically and computationally.


title: Review of multi-fidelity models

abstract: Multi-fidelity models provide a framework for integrating computational models of varying complexity, allowing for accurate predictions while optimizing computational resources. These models are especially beneficial when acquiring high-accuracy data is costly or computationally intensive. This review offers a comprehensive analysis of multi-fidelity models, focusing on their applications in scientific and engineering fields, particularly in optimization and uncertainty quantification. It classifies publications on multi-fidelity modeling according to several criteria, including application area, surrogate model selection, types of fidelity, combination methods and year of publication. The study investigates techniques for combining different fidelity levels, with an emphasis on multi-fidelity surrogate models. This work discusses reproducibility, open-sourcing methodologies and benchmarking procedures to promote transparency. The manuscript also includes educational toy problems to enhance understanding. Additionally, this paper outlines best practices for presenting multi-fidelity-related savings in a standardized, succinct and yet thorough manner. The review concludes by examining current trends in multi-fidelity modeling, including emerging techniques, recent advancements, and promising research directions.


title: Annotating Derivations: A New Evaluation Strategy and Dataset for Algebra Word Problems

abstract: We propose a new evaluation for automatic solvers for algebra word problems, which can identify mistakes that existing evaluations overlook. Our proposal is to evaluate such solvers using derivations, which reflect how an equation system was constructed from the word problem. To accomplish this, we develop an algorithm for checking the equivalence between two derivations, and show how derivation an- notations can be semi-automatically added to existing datasets. To make our experiments more comprehensive, we include the derivation annotation for DRAW-1K, a new dataset containing 1000 general algebra word problems. In our experiments, we found that the annotated derivations enable a more accurate evaluation of automatic solvers than previously used metrics. We release derivation annotations for over 2300 algebra word problems for future evaluations.


title: The 17 MeV Anomaly in Beryllium Decays and $U(1)$ Portal to Dark Matter

abstract: The experiment of Krasznahorkay \textit{et al} observed the transition of a $\rm{^{8}Be}$ excited state to its ground state and accompanied by an emission of $e^{+}e^{-}$ pair with 17 MeV invariant mass. This 6.8$\sigma$ anomaly can be fitted by a new light gauge boson. We consider the new particle as a $U(1)$ gauge boson, $Z'$, which plays as a portal linking dark sector and visible sector. In particular, we study the new $U(1)$ gauge symmetry as a hidden or non-hidden group separately. The generic hidden $U(1)$ model, referred to as dark $Z$ model, is excluded by imposing various experimental constraints. On the other hand, a non-hidden $Z'$ is allowed due to additional interactions between $Z'$ and Standard Model fermions. We also study the implication of the dark matter direct search on such a scenario. We found the search for the DM-nucleon scattering excludes the range of DM mass above 500 MeV. However, the DM-electron scattering for MeV-scale DM is still allowed by current constraints for non-hidden $U(1)$ models. It is possible to test the underlying $U(1)$ portal model by the future Si and Ge detectors with $5e^{-}$ threshold charges.


title: Critical Multipliers in Variational Systems via Second-order Generalized Differentiation

abstract: In this paper we introduce the notions of critical and noncritical multipliers for subdifferential variational systems extending to a general framework the corresponding notions by Izmailov and Solodov developed for classical Karush-Kuhn-Tucker (KKT) systems. It has been well recognized that critical multipliers are largely responsible for slow convergence of major primal-dual algorithms of optimization. The approach of this paper allows us to cover KKT systems arising in various classes of smooth and nonsmooth problems of constrained optimization including composite optimization, minimax problems, etc. Concentrating on a polyhedral subdifferential case and employing recent results of second-order subdifferential theory, we obtain complete characterizations of critical and noncritical multipliers via the problem data. It is shown that noncriticality is equivalent to a certain error bound for a perturbed variational system and that critical multipliers can be ruled out by full stability of local minimizers in problems of composite optimization. For the latter class we establish the equivalence between noncriticality of multipliers and robust isolated calmness of the associated solution map and then derive explicit characterizations of these notions via appropriate second-order sufficient conditions. It is finally proved that the Lipschitz-like/Aubin property of solution maps yields their robust isolated calmness.


title: Multilayer Spectral Graph Clustering via Convex Layer Aggregation

abstract: Multilayer graphs are commonly used for representing different relations between entities and handling heterogeneous data processing tasks. New challenges arise in multilayer graph clustering for assigning clusters to a common multilayer node set and for combining information from each layer. This paper presents a theoretical framework for multilayer spectral graph clustering of the nodes via convex layer aggregation. Under a novel multilayer signal plus noise model, we provide a phase transition analysis that establishes the existence of a critical value on the noise level that permits reliable cluster separation. The analysis also specifies analytical upper and lower bounds on the critical value, where the bounds become exact when the clusters have identical sizes. Numerical experiments on synthetic multilayer graphs are conducted to validate the phase transition analysis and study the effect of layer weights and noise levels on clustering reliability.


title: A Multiple-Comparison-Systems Method for Distributed Stability Analysis of Large-Scale Nonlinear Systems

abstract: Lyapunov functions provide a tool to analyze the stability of nonlinear systems without extensively solving the dynamics. Recent advances in sum-of-squares methods have enabled the algorithmic computation of Lyapunov functions for polynomial systems. However, for general large-scale nonlinear networks it is yet very difficult, and often impossible, both computationally and analytically, to find Lyapunov functions. In such cases, a system decomposition coupled to a vector Lyapunov functions approach provides a feasible alternative by analyzing the stability of the nonlinear network through a reduced-order comparison system. However, finding such a comparison system is not trivial and often, for a nonlinear network, there does not exist a single comparison system. In this work, we propose a multiple comparison systems approach for the algorithmic stability analysis of nonlinear systems. Using sum-of-squares methods we design a scalable and distributed algorithm which enables the computation of comparison systems using only communications between the neighboring subsystems. We demonstrate the algorithm by applying it to an arbitrarily generated network of interacting Van der Pol oscillators.


title: Neighborhood growth dynamics on the Hamming plane

abstract: We initiate the study of general neighborhood growth dynamics on two dimensional Hamming graphs. The decision to add a point is made by counting the currently occupied points on the horizontal and the vertical line through it, and checking whether the pair of counts lies outside a fixed Young diagram. We focus on two related extremal quantities. The first is the size of the smallest set that eventually occupies the entire plane. The second is the minimum of an energy-entropy functional that comes from the scaling of the probability of eventual full occupation versus the density of the initial product measure within a rectangle. We demonstrate the existence of this scaling and study these quantities for large Young diagrams.


title: Performance degradation of superlattice MOSFETs due to scattering in the contacts

abstract: Ideal, completely coherent quantum transport calculations had predicted that superlattice MOSFETs may offer steep subthreshold swing performance below 60mV/dec to around 39mV/dec. However, the high carrier density in the superlattice source suggest that scattering may significantly degrade the ideal device performance. Such effects of electron scattering and decoherence in the contacts of superlattice MOSFETs are examined through a multiscale quantum transport model developed in NEMO5. This model couples NEGF-based quantum ballistic transport in the channel to a quantum mechanical density of states dominated reservoir, which is thermalized through strong scattering with local quasi-Fermi levels determined by drift-diffusion transport. The simulations show that scattering increases the electron transmission in the nominally forbidden minigap therefore degrading the subthreshold swing (S.S.) and the ON/OFF DC current ratio. This degradation varies with both the scattering rate and the length of the scattering dominated regions. Different superlattice MOSFET designs are explored to mitigate the effects of such deleterious scattering. Specifically, shortening the spacer region between the superlattice and the channel from 3.5 nm to 0 nm improves the simulated S.S. from 51mV/dec. to 40mV/dec. I. INTRODUCTION


title: Geometric quantities arising from bubbling analysis of mean field equations

abstract: Let $E = \Bbb C/\Lambda$ be a flat torus and $G$ be its Green function with singularity at $0$. Consider the multiple Green function $G_n$ on $E^n$: $$G_{n}(z_1,\cdots,z_n) := \sum_{i < j} G(z_{i} - z_{j}) - n \sum_{i = 1} ^{n} G(z_{i}).$$ A critical point $a = (a_1, \cdots, a_n)$ of $G_n$ is called trivial if $\{a_1, \cdots, a_n\} = \{-a_1, \cdots, -a_n\}$. For such a point $a$, two geometric quantities $D(a)$ and $H(a)$ arising from bubbling analysis of mean field equations are introduced. $D(a)$ is a global quantity measuring asymptotic expansion and $H(a)$ is the Hessian of $G_n$ at $a$. By way of geometry of Lam\'e curves developed in our previous paper (Cambridge J. Math 3, 2015), we derive precise formulas to relate these two quantities.


title: The VINCIA Antenna Shower for Hadron Colliders

abstract: We summarise the main features of VINCIA's antenna-based treatment of QCD initial- and final-state showers, which includes iterated tree-level matrix-element corrections and automated evaluations of perturbative shower uncertainties. The latter are computed on the fly and are cast as a set of alternative weights for each generated event. The resulting algorithm has been made publicly available as a plug-in to the PYTHIA 8 event generator.


title: Functional Laws for Trimmed Levy Processes

abstract: Two different ways of trimming the sample path of a stochastic process in D[0, 1]: global ("trim as you go") trimming and record time ("lookback") trimming are analysed to find conditions for the corresponding operators to be continuous with respect to the (strong) J1-topology. A key condition is that there should be no ties among the largest ordered jumps of the limit process. As an application of the theory, via the continuous mapping theorem we prove limit theorems for trimmed Levy processes, using the functional convergence of the underlying process to a stable process. The results are applied to a reinsurance ruin time problem.


title: Matching preclusion for $n$-grid graphs

abstract: A matching preclusion set of a graph is an edge set whose deletion results in a graph without perfect matching or almost perfect matching. The Cartesian product of $n$ paths is called an $n$-grid graph. In this paper, we study the matching preclusion problems for $n$-grid graphs and obtain the following results. If an $n$-grid graph has an even order, then it has the matching preclusion number $n$, and every optimal matching preclusion set is trivial. If the $n$-grid graph has an odd order, then it has the matching preclusion number $n+1$, and all the optimal matching preclusion sets are characterized.


title: Holographic Photon Production in Heavy Ion Collisions

abstract: The thermal-photon emission from strongly coupled gauge theories at finite temperature is calculated using holographic models for QCD in the Veneziano limit (V-QCD). The emission rates are then embedded in hydrodynamic simulations combined with prompt photons from hard scattering and the thermal photons from hadron gas to analyze the spectra and anisotropic flow of direct photons at RHIC and LHC. The results from different sources responsible for the thermal photons in QGP including the weakly coupled QGP (wQGP) from perturbative calculations, strongly coupled $\mathcal{N}=4$ super Yang-Mills (SYM) plasma (as a benchmark for reference), and Gubser's phenomenological holographic model are then compared. It is found that the direct-photon spectra are enhanced in the strongly coupled scenario compared with the ones in the wQGP, especially at high momenta. Moreover, both the elliptic flow and triangular flow of direct photons are amplified at high momenta for V-QCD and the SYM plasma. The results are further compared with experimental observations.


title: Determining Hilbert Modular Forms by Central Values of Rankin-Selberg Convolutions: The Level Aspect

abstract: In this paper, we prove that a primitive Hilbert cusp form $\mathbf{g}$ is uniquely determined by the central values of the Rankin-Selberg $L$-functions $L(\mathbf{f}\otimes\mathbf{g}, \frac{1}{2})$, where $\mathbf{f}$ runs through all primitive Hilbert cusp forms of level $\mathfrak{q}$ for infinitely many prime ideals $\mathfrak{q}$. This result is a generalization of a theorem of Luo to the setting of totally real number fields.


title: Commutator-based linearization of $N = 1$ nonlinear supersymmetry

abstract: We consider the linearization of $N = 1$ nonlinear supersymmetry (NLSUSY) based on a commutator algebra in Volkov-Akulov NLSUSY theory. We show explicitly that $U(1)$ gauge and scalar supermultiplets in addition to a vector supermultiplet with general auxiliary fields in linear SUSY theories are obtained from a same set of bosonic and fermionic functionals (composites) which are expressed as simple products of the powers of a Nambu-Goldstone fermion and a fundamental determinant in the NLSUSY theory.


title: Determining Hilbert Modular Forms by Central Values of Rankin-Selberg Convolutions: The Weight Aspect

abstract: The purpose of this paper is to prove that a primitive Hilbert cusp form $\mathbf{g}$ is uniquely determined by the central values of the Rankin-Selberg $L$-functions $L(\mathbf{f}\otimes\mathbf{g}, \frac{1}{2})$, where $\mathbf{f}$ runs through all primitive Hilbert cusp forms of weight $k$ for infinitely many weight vectors $k$. This work is a generalization of a result of Ganguly, Hoffstein, and Sengupta to the setting of totally real number fields, and it is a weight aspect analogue of the authors recent work.


title: Spinon Majorana fermions

abstract: A realization of Majorana fermions is proposed in the frustrated magnets via the topological proximity effect. Specifically, we consider a theoretical model, where a topological insulator is coupled to a frustrated magnetic material through the spin exchange interaction. Using the renormalization group-based self-consistent mean-field approach, and calculating the self-energy correction due to the topological insulator, we find that the spin texture and the spin-momentum locking of the Dirac cone will be inherited by the spinons in the nearby frustrated magnets. This leads to a particular topological state of matter that supports the Majorana excitations. Unlike the conventional realization in SC systems, these Majorana fermions are the combination of spinons and anti-spinons, rather than electrons and holes. They can participate in the transport of spinons, leading to nontrivial properties of the spin transport.


title: Intrinsic Magnetoconductivity of Non-magnetic Metals

abstract: We present a comprehensive study of magnetoconductivity for general three-dimensional non-magnetic metals within the Berry-curvature-corrected semiclassical and Boltzmann framework. We find a new contribution, which is intrinsic in the sense that its ratio to the zero-magnetic-field conductivity is fully determined by the intrinsic band properties, independent of the transport relaxation time, showing a clear violation of Kohler's rule. Remarkably, this contribution can generally be positive for the longitudinal configuration, providing a new mechanism for the appearance of positive magnetoconductivity under longitudinal configuration besides the chiral anomaly effect.


title: The Evolving Definition of Sepsis

abstract: Sepsis affects millions of people worldwide each year. It occurs when a normal human immune response to a bacterial, viral or fungal infection becomes dysfunctional and triggers widespread inflammation that results in severe tissue damage that leads to organ failure, shock, and death. Sepsis, requires immediate treatment and has a high readmission rate for survivors. It is also one of the most expensive conditions to treat. In 2013, there were more than 1.6 million cases of sepsis in the United States with a financial cost of more than $23 billion. Sepsis was first described in antiquity, and given its current name, by the ancient Greek physician Hippocrates. Despite its long medical history, severity, and financial burden, the causes of sepsis are not well understood, and there is no standard approach to diagnosis and treatment. The definition of sepsis, the characterization of its clinical stages, and sepsis monitoring tools have changed three times in the past 25 years, most recently in March 2016. The universal adoption of this latest definition, sepsis-3, and a screening tool, qSOFA, are currently under debate in the medical community. A means to rapidly identify and treat sepsis could reduce the five million deaths due to sepsis each year worldwide. This paper reviews the evolution of the definition of sepsis and the controversy surrounding the sepsis-3 definition and the sepsis screening tool, qSOFA.


title: A Novel Progressive Multi-label Classifier for Classincremental Data

abstract: In this paper, a progressive learning algorithm for multi-label classification to learn new labels while retaining the knowledge of previous labels is designed. New output neurons corresponding to new labels are added and the neural network connections and parameters are automatically restructured as if the label has been introduced from the beginning. This work is the first of the kind in multi-label classifier for class-incremental learning. It is useful for real-world applications such as robotics where streaming data are available and the number of labels is often unknown. Based on the Extreme Learning Machine framework, a novel universal classifier with plug and play capabilities for progressive multi-label classification is developed. Experimental results on various benchmark synthetic and real datasets validate the efficiency and effectiveness of our proposed algorithm.


title: Quasi-positive curvature on a biquotient of $Sp(3)$

abstract: Suppose $\phi_3:Sp(1)\rightarrow Sp(2)$ denotes the unique irreducible $4$-dimensional representation of $Sp(1) = SU(2)$ and consider the two subgroups $H_1, H_2\subseteq Sp(3)$ with $H_1 = \{\operatorname{diag}(\phi_3(q_1), q_1): q_1 \in Sp(1)\}$ and $H_2 = \{\operatorname{diag}(\phi_3(q_2),1):q_2\in Sp(1)\}$. We show that the biquotient $H_1\backslash Sp(3)/H_2$ admits a quasi-positively curved Riemannian metric.


title: Statistical Modeling for Spatio-Temporal Degradation Data

abstract: This paper investigates the modeling of an important class of degradation data, which are collected from a spatial domain over time; for example, the surface quality degradation. Like many existing time-dependent stochastic degradation models, a special random field is constructed for modeling the spatio-temporal degradation process. In particular, we express the degradation at any spatial location and time as an additive superposition of two stochastic components: a dynamic spatial degradation generation process, and a spatio-temporal degradation propagation process. Some unique challenges are addressed, including the spatial heterogeneity of the degradation process, the spatial propagation of degradation to neighboring areas, the anisotropic and space-time non-separable covariance structure often associated with a complex spatio-temporal degradation process, and the computational issue related to parameter estimation. When the spatial dependence is ignored, we show that the proposed spatio-temporal degradation model incorporates some existing pure time-dependent degradation processes as its special cases. We also show the connection, under special conditions, between the proposed model and general physical degradation processes which are often defined by stochastic partial differential equations. A numerical example is presented to illustrate the modeling approach and model validation.


title: Ternary Quadratic Forms And Half-Integral Weight Modular Forms

abstract: Let $k$ be a positive integer such that $k\equiv3\mod4$, and let $N$ be a positive square-free integer. In this paper, we compute a basis for the two-dimensional subspace $S_{\frac{k}{2}}(\Gamma_{0}(4N),F)$ of half-integral weight modular forms associated, via the Shimura correspondence, to a newform $F\in S_{k-1}(\Gamma_{0}(N))$, which satisfies $L(F,\frac{1}{2})\neq0$. This is accomplished by using a result of Waldspurger, which allows one to produce a basis for the forms that correspond to a given $F$ via local considerations, once a form in the Kohnen space has been determined


title: Empty-car routing in ridesharing systems

abstract: This paper considers a closed queueing network model of ridesharing systems such as Didi Chuxing, Lyft, and Uber. We focus on empty-car routing, a mechanism by which we control car flow in the network to optimize system-wide utility functions, e.g. the availability of empty cars when a passenger arrives. We establish both process-level and steady-state convergence of the queueing network to a fluid limit in a large market regime where demand for rides and supply of cars tend to infinity, and use this limit to study a fluid-based optimization problem. We prove that the optimal network utility obtained from the fluid-based optimization is an upper bound on the utility in the finite car system for any routing policy, both static and dynamic, under which the closed queueing network has a stationary distribution. This upper bound is achieved asymptotically under the fluid-based optimal routing policy. Simulation results with real-world data released by Didi Chuxing demonstrate the benefit of using the fluid-based optimal routing policy compared to various other policies.


title: Tight bounds on the maximum number of shortest unique substrings

abstract: A substring Q of a string S is called a shortest unique substring (SUS) for interval [s,t] in S, if Q occurs exactly once in S, this occurrence of Q contains interval [s,t], and every substring of S which contains interval [s,t] and is shorter than Q occurs at least twice in S. The SUS problem is, given a string S, to preprocess S so that for any subsequent query interval [s,t] all the SUSs for interval [s,t] can be answered quickly. When s = t, we call the SUSs for [s,t] as point SUSs, and when s \leq t, we call the SUSs for [s,t] as interval SUSs. There exist optimal O(n)-time preprocessing scheme which answers queries in optimal O(k) time for both point and interval SUSs, where n is the length of S and k is the number of outputs for a given query. In this paper, we reveal structural, combinatorial properties underlying the SUS problem: Namely, we show that the number of intervals in S that correspond to point SUSs for all query positions in S is less than 1.5n, and show that this is a matching upper and lower bound. Also, we consider the maximum number of intervals in S that correspond to interval SUSs for all query intervals in S.


title: Convergence analysis of the direct extension of ADMM for multiple-block separable convex minimization

abstract: Recently, the alternating direction method of multipliers (ADMM) has found many efficient applications in various areas; and it has been shown that the convergence is not guaranteed when it is directly extended to the multiple-block case of separable convex minimization problems where there are $m\ge 3$ functions without coupled variables in the objective. This fact has given great impetus to investigate various conditions on both the model and the algorithm's parameter that can ensure the convergence of the direct extension of ADMM (abbreviated as "e-ADMM"). Despite some results under very strong conditions (e.g., at least $(m-1)$ functions should be strongly convex) that are applicable to the generic case with a general $m$, some others concentrate on the special case of $m=3$ under the relatively milder condition that only one function is assumed to be strongly convex. We focus on extending the convergence analysis from the case of $m=3$ to the more general case of $m\ge3$. That is, we show the convergence of e-ADMM for the case of $m\ge 3$ with the assumption of only $(m-2)$ functions being strongly convex; and establish its convergence rates in different scenarios such as the worst-case convergence rates measured by iteration complexity and the asymptotically linear convergence rate under stronger assumptions. Thus the convergence of e-ADMM for the general case of $m\ge 4$ is proved; this result seems to be still unknown even though it is intuitive given the known result of the case of $m=3$. Even for the special case of $m=3$, our convergence results turn out to be more general than the exiting results that are derived specifically for the case of $m=3$.


title: Deep Multi-Task Learning with Shared Memory

abstract: Neural network based models have achieved impressive results on various specific tasks. However, in previous works, most models are learned separately based on single-task supervised objectives, which often suffer from insufficient training data. In this paper, we propose two deep architectures which can be trained jointly on multiple related tasks. More specifically, we augment neural model with an external memory, which is shared by several tasks. Experiments on two groups of text classification tasks show that our proposed architectures can improve the performance of a task with the help of other related tasks.


title: Temperature-Dependent Band Structure of SrTiO$_3$ Interfaces

abstract: We build a theoretical model for the electronic properties of the two-dimensional (2D) electron gas that forms at the interface between insulating SrTiO$_3$ and a number of polar cap layers, including LaTiO$_3$, LaAlO$_3$, and GdTiO$_3$. The model treats conduction electrons within a tight-binding approximation, and the dielectric polarization via a Landau-Devonshire free energy that incorporates strontium titanate's strongly nonlinear, nonlocal, and temperature-dependent dielectric response. The self-consistent band structure comprises a mix of quantum 2D states that are tightly bound to the interface, and quasi-three-dimensional (3D) states that extend hundreds of unit cells into the SrTiO$_3$ substrate. We find that there is a substantial shift of electrons away from the interface into the 3D tails as temperature is lowered from 300 K to 10 K. This shift is least important at high electron densities ($\sim 10^{14}$ cm$^{-2}$), but becomes substantial at low densities; for example, the total electron density within 4~nm of the interface changes by a factor of two for 2D electron densities $\sim 10^{13}$ cm$^{-2}$. We speculate that the quasi-3D tails form the low-density high-mobility component of the interfacial electron gas that is widely inferred from magnetoresistance measurements.


title: Smoothness and monotone decreasingness of the solution to the BCS-Bogoliubov gap equation for superconductivity

abstract: We show the temperature dependence such as smoothness and monotone decreasingness with respect to the temperature of the solution to the BCS-Bogoliubov gap equation for superconductivity. Here the temperature belongs to the closed interval $[0,\, \tau]$ with $\tau>0$ nearly equal to half of the transition temperature. We show that the solution is continuous with respect to both the temperature and the energy, and that the solution is Lipschitz continuous and monotone decreasing with respect to the temperature. Moreover, we show that the solution is partially differentiable with respect to the temperature twice and the second-order partial derivative is continuous with respect to both the temperature and the energy, or that the solution is approximated by such a smooth function.

categories: math-ph cond-mat.stat-mech cond-mat.supr-con math.AP math.FA math.MP


title: Boson Stars in Higher Derivative Gravity

abstract: In this paper, we have constructed Boson star (BS) solutions in four dimensional scalar-Gauss-Bonnet (sGB) theory. In order to have non-trivial effect from Gauss-Bonnet term, we invoked non-minimal coupling between a complex scalar field and the Gauss-Bonnet term with a coupling parameter, $\alpha$. We show that the scalar field can no longer take arbitrary value at the center of the star. Furthermore, boson-stars in our higher derivative theory turn out to be slightly massive but much more compact than those in the usual Einstein's gravity. Interestingly, we found that for $\alpha<-0.4$ and $\alpha>0.8$, binding energy for all possible boson stars is always negative. This implies that these stars are intrinsically stable against the decay by dispersion. We also present the mass-radius and mass-frequency curves for boson-star and compare them with other compact objects in gravity models derived from Gauss-Bonnet term.


title: Combinatorial models for moduli spaces of open Riemann surfaces

abstract: We present a simplified formulation of open intersection numbers, as an alternative to the theory initiated by Pandharipande, Solomon and Tessler. The relevant moduli spaces consist of Riemann surfaces (either with or without boundary) with only interior marked points. These spaces have a combinatorial description using a generalization of ribbon graphs, with a straightforward compactification and corresponding intersection theory. Crucially, the generating functions for the two different constructions of open intersection numbers are identical. In particular, our construction provides a complete proof of the statement that this generating function is a solution of the MKP hierarchy, satisfies W-constraints, and additionally proves in the affirmative the Q-grading conjecture for distinguishing contributions from surfaces with different numbers of boundary components, as was previously proposed by the author.


title: First-principles study on stability and magnetism of NdFe11M and NdFe11MN for M=Ti, V, Cr, Mn, Fe, Co, Ni, Cu, Zn

abstract: Recently synthesized NdFe12N has excellent magnetic properties, while it is thermodynamically unstable. Using first-principles method, we study the effect of substitutional 3d transition metal elements to the mother compound NdFe12. We find that Co has positive effect on the stability of the ThMn12 structure. In contrast with Ti substitution, Co substitution does not reduce the magnetization significantly. The crystal field parameter <r^{2}>A_{0}^{2} is nearly unchanged by Co substitution, and nitrogenation to NdFe11Co greatly enhances <r^{2}>A_{0}^{2}. This suggests that Co is a good candidate as a substitutional element for NdFe12N.


title: EFANNA : An Extremely Fast Approximate Nearest Neighbor Search Algorithm Based on kNN Graph

abstract: Approximate nearest neighbor (ANN) search is a fundamental problem in many areas of data mining, machine learning and computer vision. The performance of traditional hierarchical structure (tree) based methods decreases as the dimensionality of data grows, while hashing based methods usually lack efficiency in practice. Recently, the graph based methods have drawn considerable attention. The main idea is that \emph{a neighbor of a neighbor is also likely to be a neighbor}, which we refer as \emph{NN-expansion}. These methods construct a $k$-nearest neighbor ($k$NN) graph offline. And at online search stage, these methods find candidate neighbors of a query point in some way (\eg, random selection), and then check the neighbors of these candidate neighbors for closer ones iteratively. Despite some promising results, there are mainly two problems with these approaches: 1) These approaches tend to converge to local optima. 2) Constructing a $k$NN graph is time consuming. We find that these two problems can be nicely solved when we provide a good initialization for NN-expansion. In this paper, we propose EFANNA, an extremely fast approximate nearest neighbor search algorithm based on $k$NN Graph. Efanna nicely combines the advantages of hierarchical structure based methods and nearest-neighbor-graph based methods. Extensive experiments have shown that EFANNA outperforms the state-of-art algorithms both on approximate nearest neighbor search and approximate nearest neighbor graph construction. To the best of our knowledge, EFANNA is the fastest algorithm so far both on approximate nearest neighbor graph construction and approximate nearest neighbor search. A library EFANNA based on this research is released on Github.


title: Optimal Power Consumption for Demand Response of Thermostatically Controlled Loads

abstract: We consider the problem of determining the optimal aggregate power consumption of a population of thermostatically controlled loads. This is motivated by the problem of synthesizing the demand response for a load serving entity (LSE) serving a population of such customers. We show how the LSE can opportunistically design the aggregate reference consumption to minimize its energy procurement cost, given day-ahead price, load and ambient temperature forecasts, while respecting each individual load's comfort range constraints. The resulting synthesis problem is shown to be amenable to optimal control techniques, but computationally difficult otherwise. Numerical simulations elucidate how the LSE can use the optimal aggregate power consumption trajectory thus computed, for the purpose of demand response.


title: Electromagnon resonance in a collinear spin state of a polar antiferromagnet Fe2Mo3O8

abstract: Magnetic excitations are investigated for a hexagonal polar magnet Fe2Mo3O8 by terahertz spectroscopy. We observed magnon modes including an electric-field active magnon, electromagnon, in the collinear antiferromagnetic phase with spins parallel to the c axis. We unravel the nature of these excitations by investigating the correlation between the evolution of the mode profile and the magnetic transition from antiferromagnetic to ferrimagnetic order induced by magnetic field or Zn-doping. We propose that the observed electromagnon mode involves the collective precession of the spins with oscillating in-plane electric polarization through the mechanism of the linear magnetoelectric effect.


title: Confining rigid balls by mimicking quadrupole ion trapping

abstract: The rotating saddle not only is an interesting system that is able to trap a ball near its saddle point, but can also intuitively illustrate the operating principles of quadrupole ion traps in modern physics. Unlike the conventional models based on the mass-point approximation, we study the stability of a ball in a rotating-saddle trap using rigid-body dynamics. The stabilization condition of the system is theoretically derived and subsequently verified by experiments. The results are compared with the previous mass-point model, giving large discrepancy as the curvature of the ball is comparable to that of the saddle. We also point out that the spin angular velocity of the ball is analogous to the cyclotron frequency of ions in an external magnetic field utilized in many prevailing ion-trapping schemes.


title: From visco to perfect plasticity in thermoviscoelastic materials

abstract: We consider a thermodynamically consistent model for thermoviscoplasticity. For the related PDE system, coupling the heat equation for the absolute temperature, the momentum balance with viscosity and inertia for the displacement variable, and the flow rule for the plastic strain, we propose two weak solvability concepts, 'entropic' and 'weak energy' solutions, where the highly nonlinear heat equation is suitably formulated. Accordingly, we prove two existence results by passing to the limit in a carefully devised time discretization scheme. Furthermore, we study the asymptotic behavior of weak energy solutions as the rate of the external data becomes slower and slower, which amounts to taking the vanishing-viscosity and inertia limit of the system. We prove their convergence to a global energetic solution to the Prandtl-Reuss model for perfect plasticity, whose evolution is `energetically' coupled to that of the (spatially constant) limiting temperature.


title: Fully Bayesian Estimation and Variable Selection in Partially Linear Wavelet Models

abstract: In this paper we propose a wavelet-based methodology for estimation and variable selection in partially linear models. The inference is conducted in the wavelet domain, which provides a sparse and localized decomposition appropriate for nonparametric components with various degrees of smoothness. A hierarchical Bayes model is formulated on the parameters of this representation, where the estimation and variable selection is performed by a Gibbs sampling procedure. For both the parametric and nonparametric part of the model we are using point-mass-at-zero contamination priors with a double exponential spread distribution. Only a few papers in the area of partially linear wavelet models exist, and we show that the proposed methodology is often superior to the existing methods with respect to the task of estimating model parameters. Moreover, the method is able to perform Bayesian variable selection by a stochastic search for the parametric part of the model.


title: Reducing DRAM Access Latency by Exploiting DRAM Leakage Characteristics and Common Access Patterns

abstract: DRAM-based memory is a critical factor that creates a bottleneck on the system performance since the processor speed largely outperforms the DRAM latency. In this thesis, we develop a low-cost mechanism, called ChargeCache, which enables faster access to recently-accessed rows in DRAM, with no modifications to DRAM chips. Our mechanism is based on the key observation that a recently-accessed row has more charge and thus the following access to the same row can be performed faster. To exploit this observation, we propose to track the addresses of recently-accessed rows in a table in the memory controller. If a later DRAM request hits in that table, the memory controller uses lower timing parameters, leading to reduced DRAM latency. Row addresses are removed from the table after a specified duration to ensure rows that have leaked too much charge are not accessed with lower latency. We evaluate ChargeCache on a wide variety of workloads and show that it provides significant performance and energy benefits for both single-core and multi-core systems.


title: Hereditarily Non Uniformly Perfect Sets

abstract: We introduce the concept of hereditarily non uniformly perfect sets, compact sets for which no compact subset is uniformly perfect, and compare them with the following: Hausdorff dimension zero sets, logarithmic capacity zero sets, Lebesgue 2-dimensional measure zero sets, and porous sets. In particular, we give an example of a compact set in the plane of Hausdorff dimension 2 (and positive logarithmic capacity) which is hereditarily non uniformly perfect.


title: On the (im)possibility of fairness

abstract: What does it mean for an algorithm to be fair? Different papers use different notions of algorithmic fairness, and although these appear internally consistent, they also seem mutually incompatible. We present a mathematical setting in which the distinctions in previous papers can be made formal. In addition to characterizing the spaces of inputs (the "observed" space) and outputs (the "decision" space), we introduce the notion of a construct space: a space that captures unobservable, but meaningful variables for the prediction. We show that in order to prove desirable properties of the entire decision-making process, different mechanisms for fairness require different assumptions about the nature of the mapping from construct space to decision space. The results in this paper imply that future treatments of algorithmic fairness should more explicitly state assumptions about the relationship between constructs and observations.


title: Decentralized Nonlinear Feedback Design with Separable Control Contraction Metrics

abstract: The problem under consideration is the synthesis of a distributed controller for a nonlinear network composed of input affine systems. The objective is to achieve exponential convergence of the solutions. To design such a feedback law, methods based on contraction theory are employed to render the controller-synthesis problem scalable and suitable to use distributed optimization. The nature of the proposed approach is constructive, because the computation of the desired feedback law is obtained by solving a convex optimization problem. An example illustrates the proposed methodology.


title: Fitting Formulas for Determining the Existence of S-type and P-type Habitable Zones in Binary Systems: First Results

abstract: We present initial work about attaining fitting formulas for the quick determination of the existence of S-type and P-type habitable zones in binary systems. Following previous work, we calculate the limits of the climatological habitable zone in binary systems (which sensitively depend on the system parameters) based on a joint constraint encompassing planetary orbital stability and a habitable region for a possible system planet. We also consider updated results on planetary climate models previously obtained by Kopparapu and collaborators. Fitting equations based on our work are presented for selected cases.


title: A Topological Algorithm for Determining How Road Networks Evolve Over Time

abstract: We provide an efficient algorithm for determining how a road network has evolved over time, given two snapshot instances from different dates. To allow for such determinations across different databases and even against hand drawn maps, we take a strictly topological approach in this paper, so that we compare road networks based strictly on graph-theoretic properties. Given two road networks of same region from two different dates, our approach allows one to match road network portions that remain intact and also point out added or removed portions. We analyze our algorithm both theoretically, showing that it runs in polynomial time for non-degenerate road networks even though a related problem is NP-complete, and experimentally, using dated road networks from the TIGER/Line archive of the U.S. Census Bureau.


title: Sensitivity of atmospheric neutrino experiments to neutrino non-standard interactions

abstract: We study the sensitivity of atmospheric neutrino experiments to the neutrino non-standard interactions (NSI) which is motivated by the tension between the two mass squared differences extracted from the KamLAND and solar neutrino experiments. In this study the sensitivity of the future Hyper-Kamiokande experiments for 4438 days to NSI is shown. Assuming that the mass hierarchy is known, we find that the best-fit value from the solar neutrino and KamLAND data can be tested at more than 8 $\sigma$, while the one from the global analysis can be examined at 5.0 $\sigma$ (1.4 $\sigma$) for the normal (inverted) mass hierarchy.


title: Extremely Red Quasars in BOSS

abstract: Red quasars are candidate young objects in an early transition stage of massive galaxy evolution. Our team recently discovered a population of extremely red quasars (ERQs) in the Baryon Oscillation Spectroscopic Survey (BOSS) that has a suite of peculiar emission-line properties including large rest equivalent widths (REWs), unusual "wingless" line profiles, large NV/Lya, NV/CIV, SiIV/CIV and other flux ratios, and very broad and blueshifted [OIII] 5007. Here we present a new catalog of CIV and NV emission-line data for 216,188 BOSS quasars to characterize the ERQ line properties further. We show that they depend sharply on UV-to-mid-IR color, secondarily on REW(CIV), and not at all on luminosity or the Baldwin Effect. We identify a "core" sample of 97 ERQs with nearly uniform peculiar properties selected via i-W3 > 4.6 (AB) and REW(CIV) > 100 A at redshifts 2.0-3.4. A broader search finds 235 more red quasars with similar unusual characteristics. The core ERQs have median luminosity log L (ergs/s) ~ 47.1, sky density 0.010 deg^-2, surprisingly flat/blue UV spectra given their red UV-to-mid-IR colors, and common outflow signatures including BALs or BAL-like features and large CIV emission-line blueshifts. Their SEDs and line properties are inconsistent with normal quasars behind a dust reddening screen. We argue that the core ERQs are a unique obscured quasar population with extreme physical conditions related to powerful outflows across the line-forming regions. Patchy obscuration by small dusty clouds could produce the observed UV extinctions without substantial UV reddening.


title: The effective cross section for double parton scattering within a holographic AdS/QCD approach

abstract: A first attempt to apply the AdS/QCD framework for a bottom-up approach to the evaluation of the effective cross section for double parton scattering in proton-proton collisions is presented. The main goal is the analytic evaluation of the dependence of the effective cross section on the longitudinal momenta of the involved partons, obtained within the holographic Soft-Wall model. If measured in high-energy processes at hadron colliders, this momentum dependence could open a new window on 2-parton correlations in a proton.


title: A chronicle of galaxy mass assembly in the EAGLE simulation

abstract: We analyse the mass assembly of central galaxies in the EAGLE hydrodynamical simulations. We build merger trees to connect galaxies to their progenitors at different redshifts and characterize their assembly histories by focusing on the time when half of the galaxy stellar mass was assembled into the main progenitor. We show that galaxies with stellar mass $M_*<10^{10.5}M_{\odot}$ assemble most of their stellar mass through star formation in the main progenitor (`in-situ' star formation). This can be understood as a consequence of the steep rise in star formation efficiency with halo mass for these galaxies. For more massive galaxies, however, an increasing fraction of their stellar mass is formed outside the main progenitor and subsequently accreted. Consequently, while for low-mass galaxies the assembly time is close to the stellar formation time, the stars in high-mass galaxies typically formed long before half of the present-day stellar mass was assembled into a single object, giving rise to the observed anti-hierarchical downsizing trend. In a typical present-day $M_*\geq10^{11}M_{\odot}$ galaxy, around $20\%$ of the stellar mass has an external origin. This fraction decreases with increasing redshift. Bearing in mind that mergers only make an important contribution to the stellar mass growth of massive galaxies, we find that the dominant contribution comes from mergers with galaxies of mass greater than one tenth of the main progenitor's mass. The galaxy merger fraction derived from our simulations agrees with recent observational estimates.


title: Formation of carbon nano and micro structures on C1+ irradiated copper surfaces

abstract: A series of experiments has identified mechanisms of carbon nano- and micro-structure formation at room temperature, without catalyst and in the environment of immiscible metallic surroundings. The structures include threaded nano fibres, graphitic sheets and carbon onions. Copper as substrate was used due to its immiscibility with carbon. Energetic carbon ions of 0.2-2.0 MeV irradiated Cu targets. Cu substrates, apertures and 3 mm diameter Transmission Electron Microscope copper grids were implanted with the carbon. We observed wide range of micrometer-size structures formed on Cu grids and along the edges of the irradiated apertures. These are shown to be threaded nano fibers (TNF) of few micrometer thicknesses with lengths varying from 10 to 3000 micrometer. Secondary electron microscopy (SEM) identifies the micrometer-size structures while Confocal microscopy was used to learn about the mechanisms by which C1+ irradiated Cu provides the growth environment. Huge carbon onions of diameters ranging from hundreds of nm to {\mu}m were observed in the as-grown and annealed samples. Transformations of the nanostructures were observed under prolonged electron irradiations of SEM and TEM. One of the immediate outcomes of our present study is relevant for the efforts to fabricate carbon onions with specific properties.


title: A New Statistic Feature of the Short-Time Amplitude Spectrum Values for Human's Unvoiced Pronunciation

abstract: In this paper, a new statistic feature of the discrete short-time amplitude spectrum is discovered by experiments for the signals of unvoiced pronunciation. For the random-varying short-time spectrum, this feature reveals the relationship between the amplitude's average and its standard for every frequency component. On the other hand, the association between the amplitude distributions for different frequency components is also studied. A new model representing such association is inspired by the normalized histogram of amplitude. By mathematical analysis, the new statistic feature discovered is proved to be necessary evidence which supports the proposed model, and also can be direct evidence for the widely used hypothesis of "identical distribution of amplitude for all frequencies".


title: Ageing underdamped scaled Brownian motion: ensemble and time averaged particle displacements, non-ergodicity, and the failure of the overdamping approximation

abstract: We investigate both analytically and by computer simulations the ensemble averaged, time averaged, non-ergodic, and ageing properties of massive particles diffusing in a medium with a time dependent diffusivity. We call this stochastic diffusion process the (ageing) underdamped scaled Brownian motion (UDSBM). We demonstrate how the mean squared displacement (MSD) and the time averaged MSD of UDSBM are affected by the inertial term in the Langevin equation, both at short, intermediate, and even long diffusion times. In particular, we quantify the ballistic regime for the MSD and the time averaged MSD as well as the spread of individual time averaged MSD trajectories. One of the main effects we observe is that---both for the MSD and the time averaged MSD---for superdiffusive UDSBM the ballistic regime is much shorter than for ordinary Brownian motion. In contrast, for subdiffusive UDSBM the ballistic region extends to much longer diffusion times. Therefore, particular care needs to be taken when the overdamped limit indeed provides a correct description, even in the long time limit. We also analyze to what extent ergodicity in the Boltzmann-Khinchin sense in this non-stationary system is broken, both for subdiffusive and superdiffusive UDSBM. Finally, the limiting case of ultraslow UDSBM is considered, with a mixed logarithmic and power law dependence of the ensemble and time averaged MSDs of the particles. In the limit of strong ageing, remarkably, the ordinary UDSBM and the ultraslow UDSBM behave similarly in the short time ballistic limit. The approaches developed here open new ways for considering other stochastic processes under physically important conditions when a finite particle mass and ageing in the system cannot be neglected.


title: On non-cyclic graph of finite groups

abstract: Here we study some algebraic properties of non-cyclic graphs. In this paper we show that $\overline{\Gamma}_G$ is isomorphic to $K_3\cup (n-4)K_1$ or $K_4\cup (n-5)K_1$ if and only if $G$ is isomorphic to $D_8$ or $D_{10}$, respectively. We characterize all groups of order $n$ like $G$ in which $\gamma(\Gamma_G)+\gamma(\overline{\Gamma}_G)\in \{n, n-1, n-2, n-3\}$, where $|Cyc(G)|=1$.


title: A numerical proof of the Grunbaum conjecture

abstract: The Hahn-Banach theorem states that onto each line in every normed space, there is a unitary projection, and Kadec and Snobar proved (using John's ellipsoid) that onto each $n$-dimensional subspace of any real normed space, there is a projection with norm at most $\lambda_n \leq \sqrt{n}$. Grunbaum conjectured that $\lambda_2=4/3<\sqrt{2}$ and several attempts have been made to prove this conjecture: Konig and Tomczak-Jaegermann published a proof that was shown incomplete by Chalmers and Lewicki, who gave their own (a bit intricate) proof. Here is a simpler proof, mostly based on their works, and partially on a few numerical studies of extrema of functions of 3 variables.


title: Solutions for dissipative quadratic open systems: part I - bosons

abstract: This is a work in two parts in which we show how to solve a large class of Lindblad master equations for non-interacting particles on $L$ sites. In part I we concentrate on bosonic particles. We show how to reduce the problem to diagonalizing an $L \times L$ non-Hermitian matrix. In particular, for boundary dissipative driving of a uniform chain, the matrix is a tridiagonal bordered Toeplitz matrix which can be solved analytically for the normal master modes and their relaxation rates (rapidities). In the regimes in which an analytical solution cannot be found, our approach can still provide a speed-up in the numerical evaluation. We use this numerical method to study the relaxation gap at non-equilibrium phase transitions in a boundary driven bosonic ladder with synthetic gauge fields. We conclude by showing how to construct the non-equilibrium steady state.


title: Underdamped scaled Brownian motion: (non-)existence of the overdamped limit in anomalous diffusion

abstract: It is quite generally assumed that the overdamped Langevin equation provides a quantitative description of the dynamics of a classical Brownian particle in the long time limit. We establish and investigate a paradigm anomalous diffusion process governed by an underdamped Langevin equation with an explicit time dependence of the system temperature and thus the diffusion and damping coefficients. We show that for this underdamped scaled Brownian motion (UDSBM) the overdamped limit fails to describe the long time behaviour of the system and may practically even not exist at all for a certain range of the parameter values. Thus persistent inertial effects play a non-negligible role even at significantly long times. From this study a general questions on the applicability of the overdamped limit to describe the long time motion of an anomalously diffusing particle arises, with profound consequences for the relevance of overdamped anomalous diffusion models. We elucidate our results in view of analytical and simulations results for the anomalous diffusion of particles in free cooling granular gases.


title: Formation and transformation of low density, onion-like carbon cages

abstract: A novel growth technique for low density, non-icosahedral carbon onion-like structures on Cu surface is described. The technique differs with the formation of carbon onions inside the C1+ implanted metal surfaces at high temperatures with densities ~ 2 g cm-3 in the form of multishelled icosahedral fullerenes wrapped around C60. We report spheroidal cage formation of shell with variable shell thickness, radii and curvature on C1+-irradiated Cu surfaces by the accumulating C atoms which emerge out of the edges of the implanted sheets and grids. Atom-by-atom C accreting structures grow along the edges, corners and crevices. These, in turn, form the open and closed multiple-shelled cages. Variable curvature is the most common feature of the growing structures. The growth at room temperature does not ensure sphericity of the cages due to the absence of high temperature annealing. These cages have very low density, hollow interiors and often exhibit the conspicuous cage-inside-cage structures. Another feature of the as-grown, non-spherical onions is the existence of spherical protrusions with different local radii within the same cage. Formation of cages with sizes ~ few nanometer to hundreds of nanometer depends upon the irradiation rate of C1+. In situ formation and transformations of the cages observed under 120 keV electron beam irradiation is described by using a nanoelastic model.


title: Evolution of CO$_2$, CH$_4$, and OCS abundances relative to H$_2$O in the coma of comet 67P around perihelion from Rosetta/VIRTIS-H observations

abstract: Infrared observations of the coma of 67P/Churyumov-Gerasimenko were carried out from July to September 2015, i.e., around perihelion (13 August 2015), with the high-resolution channel of the VIRTIS instrument onboard Rosetta. We present the analysis of fluorescence emission lines of H$_2$O, CO$_2$, $^{13}$CO$_2$, OCS, and CH$_4$ detected in limb sounding with the field of view at 2.7-5 km from the comet centre. Measurements are sampling outgassing from the illuminated southern hemisphere, as revealed by H$_2$O and CO$_2$ raster maps, which show anisotropic distributions, aligned along the projected rotation axis. An abrupt increase of water production is observed six days after perihelion. In the mean time, CO$_2$, CH$_4$, and OCS abundances relative to water increased by a factor of 2 to reach mean values of 32%, 0.47%, and 0.18%, respectively, averaging post-perihelion data. We interpret these changes as resulting from the erosion of volatile-poor surface layers. Sustained dust ablation due to the sublimation of water ice maintained volatile-rich layers near the surface until at least the end of the considered period, as expected for low thermal inertia surface layers. The large abundance measured for CO$_2$ should be representative of the 67P nucleus original composition, and indicates that 67P is a CO$_2$-rich comet. Comparison with abundance ratios measured in the northern hemisphere shows that seasons play an important role in comet outgassing. The low CO$_2$/H$_2$O values measured above the illuminated northern hemisphere are not original, but the result of the devolatilization of the uppermost layers.


title: Determinability and state estimation for switched differential-algebraic equations

abstract: The problem of state reconstruction and estimation is considered for a class of switched dynamical systems whose subsystems are modeled using linear differential-algebraic equations (DAEs). Since this system class imposes time-varying dynamic and static (in the form of algebraic constraints) relations on the evolution of state trajectories, an appropriate notion of observability is presented which accommodates these phenomena. Based on this notion, we first derive a formula for the reconstruction of the state of the system where we explicitly obtain an injective mapping from the output to the state. In practice, such a mapping may be difficult to realize numerically and hence a class of estimators is proposed which ensures that the state estimate converges asymptotically to the real state of the system.


title: Taking a Detour to Zero: An Alternative Formalization of Functions Beyond PR

abstract: There are two well known systems formalizing total recursion beyond primitive recursion (\textbf{PR}), system \textbf{T} by G\"odel and system \textbf{F} by Girard and Reynolds. system \textbf{T} defines recursion on typed objects and can construct every function of Heyting arithmetic (\textbf{HA}). System \textbf{F} introduces type variables which can define the recursion of system \textbf{T}. The result is a system as expressive as second-order Heyting arithmetic (\textbf{HA}$_{2}$). Though, both are able to express unimaginably fast growing functions, in some applications a more flexible formalism is needed. One such application is CERES cut-elimination for schematic \textbf{LK}-proofs ($CERES_{s}$) where the shape of the recursion is important. In this paper we introduce a formalism for fast growing functions without a type theory foundation. The recursion is indexed by ordered sets of natural numbers. We highlight the relationship between our recursion and the Wainer hierarchy to provide an comparison to existing systems. We can show that our formalism expresses the functions expressible using system \textbf{T}. We leave comparison to system \textbf{F} and beyond to future work.


title: Gaia Data Release 1: The reference frame and the optical properties of ICRF sources

abstract: As part of the data processing for Gaia Data Release~1 (Gaia DR1) a special astrometric solution was computed, the so-called auxiliary quasar solution. This gives positions for selected extragalactic objects, including radio sources in the second realisation of the International Celestial Reference Frame (ICRF2) that have optical counterparts bright enough to be observed with Gaia. A subset of these positions was used to align the positional reference frame of Gaia DR1 with the ICRF2. We describe the properties of the Gaia auxiliary quasar solution for a subset of sources matched to ICRF2, and compare their optical and radio positions at the sub-mas level. Their formal standard errors are better than 0.76~milliarcsec (mas) for 50% of the sources and better than 3.35~mas for 90%. Optical magnitudes are obtained in Gaia's unfiltered photometric G band. The comparison with the radio positions of the defining sources shows no systematic differences larger than a few tenths of a mas. The fraction of questionable solutions, not readily accounted for by the statistics, is less than 6%. Normalised differences have extended tails requiring case-by-case investigations for around 100 sources, but we have not seen any difference indisputably linked to an optical-radio offset in the sources.


title: Towards Fairness of Cryptocurrency Payments

abstract: Motivated by the great success and adoption of Bitcoin, a number of cryptocurrencies such as Litecoin, Dogecoin, and Ethereum are becoming increasingly popular. Although existing blockchain-based cryptocurrency schemes can ensure reasonable security for transactions, they do not consider any notion of fairness. Fair exchange allows two players to exchange digital "items", such as digital signatures, over insecure networks fairly, so that either each player gets the other's item, or neither player does. Given that blockchain participants typically do not trust each other, enabling fairness in existing cryptocurrencies is an essential but insufficiently explored problem. In this paper, we explore the solution space for enabling the fair exchange of a cryptocurrency payment for a receipt. We identify the timeliness of an exchange as an important property especially when one of the parties involved in the exchange is resource-constrained. We introduce the notion of strong timeliness for a fair exchange protocol and propose two fair payment-for-receipt protocol instantiations that leverage functionality of the blockchain to achieve strong timeliness. We implement both and compare their security and efficiency.