title: Redundancy implies robustness for bang-bang strategies

abstract: We develop in this paper a method ensuring robustness properties to bang-bang strategies , for general nonlinear control systems. Our main idea is to add bang arcs in the form of needle-like variations of the control. With such bang-bang controls having additional degrees of freedom, steering the control system to some given target amounts to solving an overdeter-mined nonlinear shooting problem, what we do by developing a least-square approach. In turn, we design a criterion to measure the quality of robustness of the bang-bang strategy, based on the singular values of the end-point mapping, and which we optimize. Our approach thus shows that redundancy implies robustness, and we show how to achieve some compromises in practice, by applying it to the attitude control of a 3d rigid body.


title: A generic multiresolution preconditioner for sparse symmetric systems

abstract: We introduce a new general purpose multiresolution preconditioner for symmetric linear systems. Most existing multiresolution preconditioners use some standard wavelet basis that relies on knowledge of the geometry of the underlying domain. In constrast, based on the recently proposed Multiresolution Matrix Factorization (MMF) algorithm, we construct a preconditioner that discovers a custom wavelet basis adapted to the given linear system without making any geometric assumptions. Some advantages of the new approach are fast preconditioner-vector products, invariance to the ordering of the rows/columns, and the ability to handle systems of any size. Numerical experiments on finite difference discretizations of model PDEs and off-the-shelf matrices illustrate the effectiveness of the MMF preconditioner.


title: Estimation and Inference on Treatment Effects Under Treatment-Based Sampling

abstract: Causal inference in a program evaluation setting faces the problem of external validity when the treatment effect in the target population is different from the treatment effect identified from the population of which the sample is representative. This paper focuses on a situation where such discrepancy arises by a stratified sampling design based on the individual treatment status and other characteristics. In such settings, the design probability is known from the sampling design but the target population depends on the underlying population share vector which is often unknown, and except for special cases, the treatment effect parameters are not identified. In this paper, we propose a method of constructing confidence sets that are valid for a given range of population shares. When a benchmark population share vector and a corresponding estimator of a treatment effect parameter are given, we develop a method to discover the scope of external validity with familywise error rate control. Finally, we derive an optimal sampling design which minimizes the semiparametric efficiency bound given a population share associated with a target population. We provide Monte Carlo simulation results and an empirical application to demonstrate the usefulness of our proposals.


title: Complete Call-by-Value Calculi of Control Operators, I

abstract: We give new call-by-value calculi of control operators that are complete for the continuation-passing style semantics. Various anticipated computational properties are induced from the completeness. In the first part of a series of papers, we give the characterization of termination properties using the continuation-passing style semantics as well as the union-intersection type discipline.


title: Simple groups of Morley rank 5 are bad

abstract: By exploiting the geometry of involutions in $N_\circ^\circ$-groups of finite Morley rank, we show that any simple group of Morley rank $5$ is a bad group all of whose proper definable connected subgroups are nilpotent of rank at most $2$. The main result is then used to catalog the nonsoluble connected groups of Morley rank $5$.


title: Controlling a Population

abstract: We introduce a new setting where a population of agents, each modelled by a finite-state system, are controlled uniformly: the controller applies the same action to every agent. The framework is largely inspired by the control of a biological system, namely a population of yeasts, where the controller may only change the environment common to all cells. We study a synchronisation problem for such populations: no matter how individual agents react to the actions of the controller , the controller aims at driving all agents synchronously to a target state. The agents are naturally represented by a non-deterministic finite state automaton (NFA), the same for every agent, and the whole system is encoded as a 2-player game. The first player (Controller) chooses actions, and the second player (Agents) resolves non-determinism for each agent. The game with m agents is called the m-population game. This gives rise to a parameterized control problem (where control refers to 2 player games), namely the population control problem: can Controller control the m-population game for all $m $\in$ N$ whatever Agents does? In this paper, we prove that the population control problem is decidable, and it is a EXPTIME-complete problem. As far as we know, this is one of the first results on parameterized control. Our algorithm, not based on cutoff techniques, produces winning strategies which are symbolic, that is, they do not need to count precisely how the population is spread between states. We also show that if there is no winning strategy, then there is a population size M such that Controller wins the m-population game if and only if $m $\le$ M$. Surprisingly, M can be doubly exponential in the number of states of the NFA, with tight upper and lower bounds.


title: Valley Vortex States in Sonic Crystals

abstract: Valleytronics is quickly emerging as an exciting field in fundamental and applied research. In this Letter, we study the acoustic version of valley states in sonic crystals and reveal a vortex nature of such states. Besides the selection rules established for exciting valley polarized states, a mimicked spin Hall effect of sound is proposed further. The extraordinary chirality of valley vortex states, detectable in experiments, may open new possibility in sound manipulations. This is appealing to scalar acoustics that lacks spin degree of freedom inherently. Besides, the valley selection enables a handy way to create vortex matter in acoustics, in which the vortex chirality can be controlled flexibly. Potential applications can be anticipated with the exotic interaction of acoustic vortices with matter, such as to trigger the rotation of the trapped microparticles without contact.


title: A modern study of HD166734: a massive supergiant system

abstract: Aims. HD166734 is an eccentric eclipsing binary system composed of two supergiant O-type stars, orbiting with a 34.5-day period. In this rare configuration for such stars, the two objects mainly evolve independently, following single-star evolution so far. This system provides a chance to study the individual parameters of two supergiant massive stars and to derive their real masses. Methods. An intensive monitoring was dedicated to HD166734.We analyzed mid- and high-resolution optical spectra to constrain the orbital parameters of this system. We also studied its light curve for the first time, obtained in the VRI filters. Finally, we disentangled the spectra of the two stars and modeled them with the CMFGEN atmosphere code in order to determine the individual physical parameters. Results. HD166734 is a O7.5If+O9I(f) binary. We confirm its orbital period but we revise the other orbital parameters. In comparison to what we found in the literature, the system is more eccentric and, now, the hottest and the most luminous component is also the most massive one. The light curve exhibits only one eclipse and its analysis indicates an inclination of 63.0{\deg} $\pm$ 2.7{\deg}. The photometric analysis provides us with a good estimation of the luminosities of the stars, and therefore their exact positions in the Hertzsprung-Russell diagram. The evolutionary and the spectroscopic masses show good agreement with the dynamical masses of 39.5 Msun for the primary and 33.5 Msun for the secondary, within the uncertainties. The two components are both enriched in helium and in nitrogen and depleted in carbon. In addition, the primary also shows a depletion in oxygen. Their surface abundances are however not different from those derived from single supergiant stars, yielding, for both components, an evolution similar to that of single stars.


title: Inhomogeneous Chiral Phase in Quark Matter

abstract: Recent development of inhomogeneous chiral phase in Kyoto group is briefly reviewed. First, the nesting effect of the Fermi surface is emphasized as a key mechanism leading to inhomogeneous chiral phase. After introduction of inhomogeneous chiral phase, some topological aspect is discussed in 1+1 dimensions and in the presence of the magnetic field in 1+3 dimensions. Spectral asymmetry gives rise to anomalous quark number and is closely related to chiral anomaly. It may induce spontaneous magnetization and a novel Lifshitz point may appear on the line $\mu=0$. Some astronomical implications are briefly discussed. Finally, the effects of the fluctuations around the order parameter are discussed; the propagator of the fluctuations exhibits a singularity at finite momentum and changes the properties of the phase transition through loop diagrams.


title: Wild theories with o-minimal open core

abstract: Let $T$ be a consistent o-minimal theory extending the theory of densely ordered groups and let $T'$ be a consistent theory. Then there is a complete theory $T^*$ extending $T$ such that $T$ is an open core of $T^*$, but every model of $T^*$ interprets a model of $T'$. If $T'$ is NIP, $T^*$ can be chosen to be NIP as well. From this we deduce the existence of an NIP expansion of the real field that has no distal expansion.


title: External Evaluation of Event Extraction Classifiers for Automatic Pathway Curation: An extended study of the mTOR pathway

abstract: This paper evaluates the impact of various event extraction systems on automatic pathway curation using the popular mTOR pathway. We quantify the impact of training data sets as well as different machine learning classifiers and show that some improve the quality of automatically extracted pathways.


title: An X-ray view of HD166734, a massive supergiant system

abstract: The X-ray emission of the O+O binary HD166734 was monitored using Swift and XMM-Newton observatories, leading to the discovery of phase-locked variations. The presence of an f line in the He-like triplets further supports a wind-wind collision as the main source of the X-rays in HD166734. While temperature and absorption do not vary significantly along the orbit, the X-ray emission strength varies by one order of magnitude, with a long minimum state (Delta(phi)~0.1) occurring after a steep decrease. The flux at minimum is compatible with the intrinsic emission of the O-stars in the system, suggesting a possible disappearance of colliding wind emission. While this minimum cannot be explained by eclipse or occultation effects, a shock collapse may occur at periastron in view of the wind properties. Afterwards, the recovery is long, with an X-ray flux proportional to the separation d (in hard band) or to d^2 (in soft band). This is incompatible with an adiabatic nature for the collision (which would instead lead to "F_X propto 1/d"), but could be reconciled with a radiative character of the collision, though predicted temperatures are lower and more variable than in observations. An increase in flux around phi~0.65 and the global asymmetry of the light curve remain unexplained, however.


title: Interplay between the edge-state magnetism and long-range Coulomb interaction in zigzag graphene nanoribbons: quantum Monte Carlo study

abstract: We perform projective quantum Monte Carlo simulations of zigzag graphene nanoribbons within a realistic model with long-range Coulomb interactions. Increasing the relative strength of nonlocal interactions with respect to the on-site repulsion does not generate a phase transition but has a number of nontrivial effects. At the single-particle level we observe a marked enhancement of the Fermi velocity at the Dirac points. At the two-particle level, spin- and charge-density-wave fluctuations compete. As a consequence, the edge magnetic moment is reduced but the edge dispersion relation increases in the sense that the single-particle gap at momentum $q=\pi/|{\pmb a}_1|$ grows. We attribute this to nonlocal charge fluctuations which assist the spin fluctuations to generate the aforementioned gap. In contrast, the net result of the interaction-induced renormalization of different energy scales is a constant spin-wave velocity of the edge modes. However, since the particle-hole continuum is shifted to higher energies---due to the renormalization of the Fermi velocity---Landau damping is reduced. As a result, a roughly linear spin-wave-like mode at the edge spreads out through a larger part of the Brillouin zone.


title: Semigroup and Category-Theoretic Approaches to Partial Symmetry

abstract: This thesis is about trying to understand various aspects of partial symmetry using ideas from semigroup and category theory. In Chapter 2 it is shown that the left Rees monoids underlying self-similar group actions are precisely monoid HNN-extensions. In particular it is shown that every group HNN-extension arises from a self-similar group action. Examples of these monoids are constructed from fractals. These ideas are generalised in Chapter 3 to a correspondence between left Rees categories, self-similar groupoid actions and category HNN-extensions of groupoids, leading to a deeper relationship with Bass-Serre theory. In Chapter 4 of this thesis a functor $K$ between the category of orthogonally complete inverse semigroups and the category of abelian groups is constructed in two ways, one in terms of idempotent matrices and the other in terms of modules over inverse semigroups, and these are shown to be equivalent. It is found that the $K$-group of a Cuntz-Krieger semigroup of a directed graph $G$ is isomorphic to the operator $K^{0}$-group of the Cuntz-Krieger algebra of $G$ and the $K$-group of a Boolean algebra is isomorphic to the topological $K^{0}$-group of the corresponding Boolean space under Stone duality.


title: Nonlinear electric field effect on perpendicular magnetic anisotropy in Fe/MgO interfaces

abstract: The electric field effect on magnetic anisotropy was studied in an ultrathin Fe(001) monocrystalline layer sandwiched between Cr buffer and MgO tunnel barrier layers, mainly through post-annealing temperature and measurement temperature dependences. A large coefficient of the electric field effect of more than 200 fJ/Vm was observed in the negative range of electric field, as well as an areal energy density of perpendicular magnetic anisotropy (PMA) of around 600 uJ/m2. More interestingly, nonlinear behavior, giving rise to a local minimum around +100 mV/nm, was observed in the electric field dependence of magnetic anisotropy, being independent of the post-annealing and measurement temperatures. The insensitivity to both the interface conditions and the temperature of the system suggests that the nonlinear behavior is attributed to an intrinsic origin such as an inherent electronic structure in the Fe/MgO interface. The present study can contribute to the progress in theoretical studies, such as ab initio calculations, on the mechanism of the electric field effect on PMA.


title: A new derivation of the relationship between diffusion coefficient and entropy in classical Brownian motion by the ensemble method

abstract: The diffusion coefficient--a measure of dissipation, and the entropy--a measure of fluctuation are found to be intimately correlated in many physical systems. Unlike the fluctuation dissipation theorem in linear response theory, the correlation is often strongly non-linear. To understand this complex dependence, we consider the classical Brownian diffusion in this work. Under certain rational assumption, i.e. in the bi-component fluid mixture, the mass of the Brownian particle $M$ is far greater than that of the bath molecule $m$, we can adopt the weakly couple limit. Only considering the first-order approximation of the mass ratio $m/M$, we obtain a linear motion equation in the reference frame of the observer as a Brownian particle. Based on this equivalent equation, we get the Hamiltonian at equilibrium. Finally, using canonical ensemble method, we define a new entropy that is similar to the Kolmogorov-Sinai entropy. Further, we present an analytic expression of the relationship between the diffusion coefficient $D$ and the entropy $S$ in the thermal equilibrium, that is to say, $D =\frac{\hbar}{eM} \exp{[S/(k_Bd)]}$, where $d$ is the dimension of the space, $k_B$ the Boltzmann constant, $\hbar $ the reduced Planck constant and $e$ the Euler number. This kind of scaling relation has been well-known and well-tested since the similar one for single component is firstly derived by Rosenfeld with the expansion of volume ratio.


title: A spatiotemporal model with visual attention for video classification

abstract: High level understanding of sequential visual input is important for safe and stable autonomy, especially in localization and object detection. While traditional object classification and tracking approaches are specifically designed to handle variations in rotation and scale, current state-of-the-art approaches based on deep learning achieve better performance. This paper focuses on developing a spatiotemporal model to handle videos containing moving objects with rotation and scale changes. Built on models that combine Convolutional Neural Networks (CNNs) and Recurrent Neural Networks (RNNs) to classify sequential data, this work investigates the effectiveness of incorporating attention modules in the CNN stage for video classification. The superiority of the proposed spatiotemporal model is demonstrated on the Moving MNIST dataset augmented with rotation and scaling.


title: Coherent combination of probabilistic outputs for group decision making: an algebraic approach

abstract: Current decision support systems address domains that are heterogeneous in nature and becoming progressively larger. Such systems often require the input of expert judgement about a variety of different fields and an intensive computational power to produce the scores necessary to rank the available policies. Recently, integrating decision support systems have been introduced to enable a formal Bayesian multi-agent decision analysis to be distributed and consequently efficient. In such systems, where different panels of experts oversee disjoint but correlated vectors of variables, each expert group needs to deliver only certain summaries of the variables under their jurisdiction to properly derive an overall score for the available policies. Here we present an algebraic approach that makes this methodology feasible for a wide range of modelling contexts and that enables us to identify the summaries needed for such a combination of judgements. We are also able to demonstrate that coherence, in a sense we formalize here, is still guaranteed when panels only share a partial specification of their model with other panel members. We illustrate this algebraic approach by applying it to a specific class of Bayesian networks and demonstrate how we can use it to derive closed form formulae for the computations of the joint moments of variables that determine the score of different policies.


title: A fully autonomous data center for the space-borne hard X-ray Compton polarimeter POLAR developed at PSI

abstract: POLAR is a space-borne hard X-ray Compton polarimeter built by a collaboration of institutes from Switzerland, China and Poland. Precise detection of the polarization can be a powerful tool to unveil emission mechanisms of e.g. Gamma-Ray Bursts (GRB) or Solar Flares (SF). POLAR is equipped with an array of 1600 scintillator bars dimensioned for precise measurements of the polarization of hard X-rays in the energy range from 50 keV to 500 keV. The instrument was launched into space on September 15th, 2016 on-board the Chinese Space Laboratory TG-2 for up to 3 years long observation period. Telemetry data from its operation in space may reach up tp 50 GB daily. To store and process such a huge amount of data both dedicated hardware and specialized software are required. Moreover, constant data inflow also requires a fully automated and safeguarded data processing. For this purpose, a dedicated data centre was established at PSI. We present its design concept and structure as well as demonstrate main features with respect to data processing, quick look utilities and alerting functions.


title: A Kind of Magic

abstract: We introduce the extended Freudenthal-Rosenfeld-Tits magic square based on six algebras: the reals $\mathbb{R}$, complexes $\mathbb{C}$, ternions $\mathbb{T}$, quaternions $\mathbb{H}$, sextonions $\mathbb{S}$ and octonions $\mathbb{O}$. The ternionic and sextonionic rows/columns of the magic square yield non-reductive Lie algebras, including $\mathfrak{e}_{7\scriptscriptstyle{\frac{1}{2}}}$. It is demonstrated that the algebras of the extended magic square appear quite naturally as the symmetries of supergravity Lagrangians. The sextonionic row (for appropriate choices of real forms) gives the non-compact global symmetries of the Lagrangian for the $D=3$ maximal $\mathcal{N}=16$, magic $\mathcal{N}=4$ and magic non-supersymmetric theories, obtained by dimensionally reducing the $D=4$ parent theories on a circle, with the graviphoton left undualised. In particular, the extremal intermediate non-reductive Lie algebra $\tilde{\mathfrak{e}}_{7(7)\scriptscriptstyle{\frac{1}{2}}}$ (which is not a subalgebra of $\mathfrak{e}_{8(8)}$) is the non-compact global symmetry algebra of $D=3$, $\mathcal{N}=16$ supergravity as obtained by dimensionally reducing $D=4$, $\mathcal{N}=8$ supergravity with $\mathfrak{e}_{7(7)}$ symmetry on a circle. The ternionic row (for appropriate choices of real forms) gives the non-compact global symmetries of the Lagrangian for the $D=4$ maximal $\mathcal{N}=8$, magic $\mathcal{N}=2$ and magic non-supersymmetric theories obtained by dimensionally reducing the parent $D=5$ theories on a circle. In particular, the Kantor-Koecher-Tits intermediate non-reductive Lie algebra $\mathfrak{e}_{6(6)\scriptscriptstyle{\frac{1}{4}}}$ is the non-compact global symmetry algebra of $D=4$, $\mathcal{N}=8$ supergravity as obtained by dimensionally reducing $D=5$, $\mathcal{N}=8$ supergravity with $\mathfrak{e}_{6(6)}$ symmetry on a circle.


title: 21SSD: a public database of simulated 21-cm signals from the epoch of reionization

abstract: The 21-cm signal from the Epoch of Reionization (EoR) is expected to be detected in the next few years, either with existing instruments or by the upcoming SKA and HERA projects. In this context there is a pressing need for publicly available high-quality templates covering a wide range of possible signals. These are needed both for end-to-end simulations of the up-coming instruments, as well as to develop signal analysis methods. In this work we present such a set of templates, publicly available, for download at https://21ssd.obspm.fr/. The database contains 21-cm brightness temperature lightcones at high and low resolution, and several derived statistical quantities for 45 models spanning our choice of 3D parameter space. These data are the result of fully coupled radiative hydrodynamic high resolution ($1024^3$) simulations performed with the LICORICE code. Both X-ray and Lyman line transfer is performed to account for heating and Wouthuysen-Field coupling fluctuations. We also present a first exploitation of the data using the power spectrum and the Pixel Distribution Function (PDF) as functions of redshifts, computed from lightcone data. We analyse how these two quantities behave when varying the model parameters while taking into account the thermal noise expected of a typical SKA survey. Finally, we show that the power spectrum and the PDF have different -- and to some extent complementary -- abilities to distinguish between different models. This opens the door to formulating an optimal sampling of the parameter space, dependant on the chosen diagnostics.


title: Caroli formula in near-field heat transfer between parallel graphene sheets

abstract: In this work we conduct a close-up investigation into the nature of near-field heat transfer (NFHT) of two graphene sheets in parallel-plate geometry. We develop a fully microscopic and quantum approach using nonequilibrium Green's function method. A Caroli formula for heat flux is proposed and numerically verified. We show our near-field-to-black-body heat flux ratios generally exhibit $1/d^{\alpha}$ dependence, with an effective exponent $\alpha \approx 2.2$, at long distances exceeding 100 nm and up to one micron; in the opposite $d\rightarrow 0$ limit, the values converge to a range within an order of magnitude. We justify this feature by noting it is owing to the breakdown of local conductivity theory, which predicts a $1/d$ dependence. Furthermore, from the numerical result, we find in addition to thermal wavelength, $\lambda_{th}$, a shorter distance scale $\sim$ 10 - 100 nm, comparable to the graphene thermal length ($\hbar v_{F}/k_{B} T$) or Fermi wavelength ($k_{F}^{-1}$), marks the transition point between the short- and long-distance transfer behaviors; within that point, relatively large variation of heat flux in response to doping level becomes a typical characteristic. The emergence of such large variation is tied to relative NFHT contributions from the intra- and inter-band transitions. Beyond that point, scaling of thermal flux $\propto 1/d^{\alpha}$ can be generally observed.


title: Color reconnection effects on resonance production

abstract: We present studies that show how multi-parton interaction and color reconnection affect the hadro-chemistry in proton-proton (pp) collisions with special focus on the production of resonances using the PYTHIA8 event generator. We find that color reconnection suppresses the relative production of meson resonances such as $\rho_{0}$ and K*, providing an alternative explanation for the K*/K decrease observed in proton-proton collisions as a function of multiplicity by the ALICE collaboration. Detailed studies of the underlying mechanism causing meson resonance suppression indicate that color reconnection leads to shorter, less energetic strings whose fragmentation is less likely to produce more massive hadrons for a given quark content, therefore reducing ratios such as K*/K and $\rho_0/\pi$ in high-multiplicity pp collisions. In addition, we have also studied the effects of allowing string junctions to form and found that these may also contribute to resonance suppression.


title: Computing all border bases for ideals of points

abstract: In this paper we consider the problem of computing all possible order ideals and also sets connected to 1, and the corresponding border bases, for the vanishing ideal of a given finite set of points. In this context two different approaches are discussed: based on the Buchberger-M\"oller Algorithm, we first propose a new algorithm to compute all possible order ideals and the corresponding border bases for an ideal of points. The second approach involves adapting the Farr-Gao Algorithm for finding all sets connected to 1, as well as the corresponding border bases, for an ideal of points. It should be noted that our algorithms are term ordering free. Therefore they can compute successfully all border bases for an ideal of points. Both proposed algorithms have been implemented and their efficiency is discussed via a set of benchmarks.


title: Colder Freeze-in Axinos Decaying into Photons

abstract: We point out that 7 keV axino dark matter (DM) in the R-parity violating (RPV) supersymmetric (SUSY) Dine-Fischler-Srednicki-Zhitnitsky model can simultaneously reproduce the 3.5keV X-ray excess, and evade stringent constraints from the Ly-alpha forest data. Peccei-Quinn symmetry breaking naturally generates both axino interactions with minimal SUSY standard model particles and RPV interactions. The RPV interaction introduces an axino-neutrino mixing and provides axino DM as a variant of sterile neutrino DM, whose decay into a monochromatic photon can be detected by X-ray observations. Axinos, on the other hand, are produced by freeze-in processes of thermal particles in addition to the Dodelson-Widrow mechanism of sterile neutrinos. The resultant phase space distribution tends to be colder than the Fermi-Dirac distribution. The inherent entropy production from late-time saxion decay makes axinos even colder. The linear matter power spectrum satisfies even the latest and strongest constraints from the Ly-alpha forest data.


title: Computational Krylov-based methods for large-scale differential Sylvester matrix problems

abstract: In the present paper, we propose Krylov-based methods for solving large-scale differential Sylvester matrix equations having a low rank constant term. We present two new approaches for solving such differential matrix equations. The first approach is based on the integral expression of the exact solution and a Krylov method for the computation of the exponential of a matrix times a block of vectors. In the second approach, we first project the initial problem onto a block (or extended block) Krylov subspace and get a low-dimensional differential Sylvester matrix equation. The latter problem is then solved by some integration numerical methods such as BDF or Rosenbrock method and the obtained solution is used to build the low rank approximate solution of the original problem. We give some new theoretical results such as a simple expression of the residual norm and upper bounds for the norm of the error. Some numerical experiments are given in order to compare the two approaches.


title: Microscopic Theory of Surface Topological Order for Topological Crystalline Superconductors

abstract: We construct microscopic Hamiltonians for symmetry-preserving topologically ordered states on the surface of topological crystalline superconductors, protected by a $\mathbb{Z}_2$ reflection symmetry. Starting from $\nu$ Majorana cones on the surface, we show that the semion-fermion topological order emerges for $\nu=2$, and more generally, $\mathrm{SO}(\nu)_\nu$ topological order for all $\nu\geq 2$ and $\mathrm{Sp}(n)_n$ for $\nu=2n$.


title: Non-local Gehring lemmas in spaces of homogeneous type and applications

abstract: We prove a self-improving property for reverse H{\"o}lder inequalities with non-local right hand side. We attempt to cover all the most important situations that one encounters when studying elliptic and parabolic partial differential equations as well as certain fractional equations. We also consider non-local extensions of A$\infty$ weights. We write our results in spaces of homogeneous type.


title: Logical properties of random graphs from small addable classes

abstract: We establish zero-one laws and convergence laws for monadic second-order logic (MSO) (and, a fortiori, first-order logic) on a number of interesting graph classes. In particular, we show that MSO obeys a zero-one law on the class of connected planar graphs, the class of connected graphs of tree-width at most $k$ and the class of connected graphs excluding the $k$-clique as a minor. In each of these cases, dropping the connectivity requirement leads to a class where the zero-one law fails but a convergence law for MSO still holds.


title: Semi-empirical seismic relations of A-F stars from CoRoT and Kepler legacy data

abstract: Asteroseismology is witnessing a revolution thanks to high-precise asteroseismic space data (MOST, CoRoT, Kepler, BRITE), and their large ground-based follow-up programs. Those instruments have provided an unprecedented large amount of information, which allows us to scrutinize its statistical properties in the quest for hidden relations among pulsational and/or physical observables. This approach might be particularly useful for stars whose pulsation content is difficult to interpret. This is the case of intermediate-mass classical pulsating stars (i.e. gamma Dor, delta Scuti, hybrids) for which current theories do not properly predict the observed oscillation spectra. Here we establish a first step in finding such hidden relations from Data Mining techniques for these stars. We searched for those hidden relations in a sample of delta Scuti and hybrid stars observed by CoRoT and Kepler (74 and 153, respectively). No significant correlations between pairs of observables were found. However, two statistically significant correlations emerged from multivariable correlations in the observed seismic data, which describe the total number of observed frequencies and the largest one, respectively. Moreover, three different sets of stars were found to cluster according to their frequency density distribution. Such sets are in apparent agreement with the asteroseismic properties commonly accepted for A-F pulsating stars.


title: Interesting features of a general class of higher derivative theories of quantum gravity

abstract: We investigate some classical and quantum aspects of a general class of higher derivative theories of gravity. We propose a generalized version of the so-called Teyssandier gauge condition and we investigative its implications on the linearized field equations. An exhaustive investigation on the particle spectra is done, including a discussion on the appearance of ghost-like particles. We investigate the UV properties and we determine the power-counting renormalizability of the theory. Finally we probe a conjecture which relates renormalizability with the cancellation of Newtonian singularities.


title: A geometric characterization of the classical Lie algebras

abstract: A nonzero element x in a Lie algebra g over a field F with Lie product [ , ] is called a extremal element if [x, [x, g]] is contained in Fx. Long root elements in classical Lie algebras are examples of extremal elements. Arjeh Cohen et al. initiated the investigation of Lie algebras generated by extremal elements in order to provide a geometric characterization of the classical Lie algebras generated by their long root el- ements. He and Gabor Ivanyos studied the so-called extremal geometry with as points the 1-dimensional subspaces of g generated by extremal elements of g and as lines the 2-dimensional subspaces of g all whose nonzero vectors are extremal. For simple finite dimensional g this geometry turns out to be a root shadow space of a spherical building. In this paper we show that the isomorphism type of g is determined by its extremal geometry, provided the building has rank at least 3.


title: Relativistic protons in the Coma galaxy cluster: first gamma-ray constraints ever on turbulent reacceleration

abstract: The Fermi-LAT collaboration recently published deep upper limits to the gamma-ray emission of the Coma cluster, a cluster that hosts the prototype of giant radio halos. In this paper we extend previous studies and use a formalism that combines particle reacceleration by turbulence and the generation of secondary particles in the intracluster medium to constrain relativistic protons and their role for the origin of the radio halo. We conclude that a pure hadronic origin of the radio halo is clearly disfavoured as it would require magnetic fields that are too strong. For instance $B_0 > 21 \mu$G is found in the cluster center assuming that the magnetic energy density scales with thermal density, to be compared with $B_0 \sim 4-5 \mu$G as inferred from Rotation Measures (RM) under the same assumption. However secondary particles can still generate the observed radio emission if they are reaccelerated. For the first time the deep gamma-ray limits allow us to derive meaningful constraints if the halo is generated during phases of reacceleration of relativistic protons and their secondaries by cluster-scale turbulence. In this paper we explore a relevant range of parameter-space of reacceleration models. Within this parameter space a fraction of model configurations is already ruled out by current gamma-ray limits, including the cases that assume weak magnetic fields in the cluster core, $B \leq 2-3 \mu$G. Interestingly, we also find that the flux predicted by a large fraction of model configurations that assume a magnetic field consistent with RM is not far from the limits. This suggests that a detection of gamma rays from the cluster might be possible in the near future, provided that the electrons generating the radio halo are secondaries reaccelerated and the magnetic field in the cluster is consistent with that inferred from RM.


title: Quasilocalized states of self stress in packing-derived networks

abstract: States of self stress (SSS) are assignments of forces on the edges of a network that satisfy mechanical equilibrium in the absence of external forces. In this work we show that a particular class of quasilocalized SSS in packing-derived networks, first introduced in [D. M. Sussman, C. P. Goodrich, and A. J. Liu, Soft Matter 12, 3982 (2016)], are characterized by a lengthscale $\ell_c$ that scales as $1/\sqrt{z_c-z}$ where $z$ is the mean connectivity of the network, and $z_c\!\equiv\!4$ is the Maxwell threshold in two dimensions, at odds with previous claims. Our results verify the previously proposed analogy between quasilocalized SSS and the mechanical response to a local dipolar force in random networks of relaxed Hookean springs. We show that the normalization factor that distinguishes between quasilocalized SSS and the response to a local dipole constitutes a measure of the mechanical coupling of the forced spring to the elastic network in which it is embedded. We further demonstrate that the lengthscale that characterizes quasilocalized SSS does not depend on its associated degree of mechanical coupling, but instead only on the network connectivity.


title: Model for Constructing an Options Portfolio with a Certain Payoff Function

abstract: The portfolio optimization problem is a basic problem of financial analysis. In the study, an optimization model for constructing an options portfolio with a certain payoff function has been proposed. The model is formulated as an integer linear programming problem and includes an objective payoff function and a system of constraints. In order to demonstrate the performance of the proposed model, we have constructed the portfolio on the European call and put options of Taiwan Futures Exchange. The optimum solution was obtained using the MATLAB software. Our approach is quite general and has the potential to design options portfolios on financial markets.


title: Solving post-Newtonian accurate Kepler Equation

abstract: We provide an elegant way of solving analytically the third post-Newtonian (3PN) accurate Kepler equation, associated with the 3PN-accurate generalized quasi-Keplerian parametrization for compact binaries in eccentric orbits. An additional analytic solution is presented to check the correctness of our compact solution and we perform comparisons between our PN-accurate analytic solution and a very accurate numerical solution of the PN-accurate Kepler equation. We adapt our approach to compute crucial 3PN-accurate inputs that will be required to compute analytically both the time and frequency domain ready-to-use amplitude-corrected PN-accurate search templates for compact binaries in inspiralling eccentric orbits.


title: Stick-slip Phenomena and Memory Effects in Moving Vortex Matter

abstract: Manipulating vortices in non-conventional superconductors is nowadays a challenging path toward controlling functionalities for superconducting nanodevices. Here, we directly observe and control single vortex core trajectories with unmatched resolution using a new scanning tunneling spectroscopy at very low temperature. Our data show the depinning threshold of a Bragg-glass in a weakly disordered superconductor, a clean 2H-NbSe2 crystal. We first experimentally capture the linear and collective response, the Campbell regime. Upon strong drives, the oscillating trajectories perform a series of stick-slip motions that mimics the lattice periodicity. We then theoretically elucidate this peculiar non-linear regime by solving the Langevin dynamics equations. We additionally explore the impact of initial conditions and reveal an enhancement of the long-range correlations with the cooling procedure. Finally, our work establishes a connection between theory of vortex pinning, memory effects and vortex lineshapes, thus offering a new platform to investigate the relationship between viscous media and individual controllable objects in any many-body systems.


title: Structured Matrix Estimation and Completion

abstract: We study the problem of matrix estimation and matrix completion under a general framework. This framework includes several important models as special cases such as the gaussian mixture model, mixed membership model, bi-clustering model and dictionary learning. We consider the optimal convergence rates in a minimax sense for estimation of the signal matrix under the Frobenius norm and under the spectral norm. As a consequence of our general result we obtain minimax optimal rates of convergence for various special models.


title: On the representation theory of the Drinfeld double of the Fomin-Kirillov algebra $\mathcal{FK}_3$

abstract: Let $\mathcal{D}$ be the Drinfeld double of $\mathcal{FK}_3\#\Bbbk{\mathbb S}_3$. The simple $\mathcal{D}$-modules were described in arXiv:1409.0438. In the present work, we describe the indecomposable summands of the tensor product between them. We classify the extensions of the simple modules and show that $\mathcal{D}$ is of wild representation type. We also investigate the projective modules and their tensor products.


title: Excitons in core-only, core-shell and core-crown CdSe nanoplatelets: interplay between in-plane electron-hole correlation, spatial and dielectric confinement

abstract: Using semi-analytical models we calculate the energy, effective Bohr radius and radiative lifetime of neutral excitons confined in CdSe colloidal nanoplatelets (NPLs). The excitonic properties are largely governed by the electron-hole in-plane correlation, which in NPLs is enhanced by the quasi-two-dimensional motion and the dielectric mismatch with the organic environment. In NPLs with lateral size $L \gtrsim 20$ nm the exciton behavior is essentially that in a quantum well, with superradiance leading to exciton lifetimes of 1 ps or less, only limited by the NPL area. However, for $L < 20$ nm excitons enter an intermediate confinement regime, hence departing from the quantum well behavior. In heterostructured NPLs, different response is observed for core/shell and core/crown configurations. In the former, the strong vertical confinement limits separation of electrons and holes even for type-II band alignment. The exciton behavior is then similar to that in core-only NPL, albeit with weakened dielectric effects. In the latter, charge separation is also inefficient if band alignment is quasi-type-II (e.g. in CdSe/CdS), because electron-hole interaction drives both carriers into the core. However, it becomes very efficient for type-II alignment, for which we predict exciton lifetimes reaching $\mu s$.


title: Fractional derivative in spaces of continuous functions

abstract: This is a first version of a paper concerning abstract evolution equation with fractional time derivatives. Maximal regularity results in spaces of continuous and Hoelder continuous functions are described.


title: Quantum-dot based photonic quantum networks

abstract: Quantum dots embedded in photonic nanostructures have in recent years proven to be a very powerful solid-state platform for quantum optics experiments. The combination of near-unity radiative coupling of a single quantum dot to a photonic mode and the ability to eliminate decoherence processes imply that an unprecedented light-matter interface can be obtained. As a result, high-cooperativity photon-emitter quantum interfaces can be constructed opening a path-way to deterministic photonic quantum gates for quantum-information processing applications. In the present manuscript, I review current state-of-the-art on quantum dot devices and their applications for quantum technology. The overarching long-term goal of the research field is to construct photonic quantum networks where remote entanglement can be distributed over long distances by photons.


title: A geometric characterization of the symplectic Lie algebra

abstract: A nonzero element $x$ in a Lie algebra $\mathfrak{g}$ with Lie product $[ , ]$ is called extremal if $[x,[x,y]]$ is a multiple of $x$ for all $y$. In this paper we characterize the (finitary) symplectic Lie algebras as simple Lie algebras generated by their extremal elements satisying the condition that any two noncommuting extremal elements $x,y$ generate an $\mathfrak{sl}_2$ and any third extremal element $z$ commutes with at least one extremal element in this $\mathfrak{sl}_2$.


title: DCCast: Efficient Point to Multipoint Transfers Across Datacenters

abstract: Using multiple datacenters allows for higher availability, load balancing and reduced latency to customers of cloud services. To distribute multiple copies of data, cloud providers depend on inter-datacenter WANs that ought to be used efficiently considering their limited capacity and the ever-increasing data demands. In this paper, we focus on applications that transfer objects from one datacenter to several datacenters over dedicated inter-datacenter networks. We present DCCast, a centralized Point to Multi-Point (P2MP) algorithm that uses forwarding trees to efficiently deliver an object from a source datacenter to required destination datacenters. With low computational overhead, DCCast selects forwarding trees that minimize bandwidth usage and balance load across all links. With simulation experiments on Google's GScale network, we show that DCCast can reduce total bandwidth usage and tail Transfer Completion Times (TCT) by up to $50\%$ compared to delivering the same objects via independent point-to-point (P2P) transfers.


title: On some subgroups of linear groups over $\mathbb{F}_2$ generated by elements of order $3$

abstract: Let $V$ be a vector space over the field of order $2$. We investigate subgroups of the linear group $GL(V)$ which are generated by a conjugacy class $D$ of elements of order $3$ such that all $d$ in $D$ have $2$-dimensional commutator space $[V,d]$.


title: Spans of cospans in a topos

abstract: For a topos $\mathbf{T}$, there is a bicategory $\mathbf{MonicSp(Csp(T))}$ whose objects are those of $\mathbf{T}$, morphisms are cospans in $\mathbf{T}$, and 2-morphisms are isomorphism classes of monic spans of cospans in $\mathbf{T}$. Using a result of Shulman, we prove that $\mathbf{MonicSp(Csp(T))}$ is symmetric monoidal, and moreover, that it is compact closed in the sense of Stay. We provide an application which illustrates how to encode double pushout rewrite rules as $2$-morphisms inside a compact closed sub-bicategory of $\mathbf{MonicSp(Csp(Graph))}$.


title: The geometry of hyperbolic lines in polar spaces

abstract: In this paper we consider partial linear spaces induced on the point set of a polar space, but with as lines the hyperbolic lines of this polar space. We give some geometric characterizations of these and related spaces. The results have applications in group theory, in the theory of Lie algebras and in graph theory.


title: On the evolution of high-B radio pulsars with measured braking indices

abstract: We have investigated the long-term evolutions of the high-magnetic field radio pulsars (HBRPs) with measured braking indices in the same model that was applied earlier to individual anomalous X-ray pulsars (AXPs), soft gamma repeaters (SGRs) and dim isolated neutron stars (XDINs). We have shown that the rotational properties (period, period derivative and braking index) and the X-ray luminosity of individual HBRPs can be acquired simultaneously by the neutron stars evolving with fallback discs. The model sources reach the observed properties of HBRPs in the propeller phases, when pulsed radio emission is allowed, at ages consistent with the estimated ages of the supernova remnants of the sources. Our results indicate that the strength of magnetic dipole fields of HBRPs are comparable to and even greater than those of AXP/SGRs and XDINs, but still one or two orders of magnitude smaller than the values inferred from the magnetic dipole torque formula. The possible evolutionary paths of the sources imply that they will lose their seemingly HBRP property after about a few 10^4 yr, because either their rapidly decreasing period derivatives will lead them into the normal radio pulsar population, or they will evolve into the accretion phase switching off the radio pulses.


title: Enumerating Lambda Terms by Weighted Length of Their De Bruijn Representation

abstract: John Tromp introduced the so-called 'binary lambda calculus' as a way to encode lambda terms in terms of 0-1-strings using the de Bruijn representation along with a weighting scheme. Later, Grygiel and Lescanne conjectured that the number of binary lambda terms with $m$ free indices and of size $n$ (encoded as binary words of length $n$ and according to Tromp's weights) is $o(n^{-3/2} \tau^{-n})$ for $\tau \approx 1.963448\ldots$. We generalize the proposed notion of size and show that for several classes of lambda terms, including binary lambda terms with $m$ free indices, the number of terms of size $n$ is $\Theta{n^{-3/2} \rho^{-n}}$ with some class dependent constant $\rho$, which in particular disproves the above mentioned conjecture. The methodology used is setting up the generating functions for the classes of lambda terms. These are infinitely nested radicals which are investigated then by a singularity analysis. We show further how some properties of random lambda terms can be analyzed and present a way to sample lambda terms uniformly at random in a very efficient way. This allows to generate terms of size more than one million within a reasonable time, which is significantly better than the samplers presented in the literature so far.


title: AE regularity of interval matrices

abstract: Consider a linear system of equations with interval coefficients, and each interval coefficient is associated with either a universal or an existential quantifier. The AE solution set and AE solvability of the system is defined by $\forall\exists$-quantification. Herein, we deal with the problem what properties must the coefficient matrix have in order that there is guaranteed an existence of an AE solution. Based on this motivation, we introduce a concept of AE regularity, which implies that the AE solution set is nonempty and the system is AE solvable for every right-hand side. We discuss characterization of AE regularity, and we also focus on various classes of matrices that are implicitly AE regular. Some of these classes are polynomially decidable, and therefore give an efficient way for checking AE regularity. We also state open problems related to computational complexity and characterization.


title: Hydrodynamics interactions of clusters of drops: a study of the coalescence phenomena with the finite volume method

abstract: In this work has been proposed a numerical scheme with the aim of simulate the coalescence process between water drops immersed in a continuous phase (n-heptane). This numerical scheme is based in the Finite Volume method and two different values for the initial velocity of the drops were chosen. Depending of the initial velocity of collision some scenarios emerge, such as: permanent coalescence, formation of satellite drops etc. For some snap shots the streamlines are calculated for the different process of permanent coalescence. These streamlines allow the understanding of the dynamics of the droplets immersed on the n-heptane phase. The model used for the surface tension is presented and its effects on the dynamics of coalescence of the droplets are showed, which after some time tends to the spherical form.


title: Planar S-systems: Global stability and the center problem

abstract: S-systems are simple examples of power-law dynamical systems (polynomial systems with real exponents). For planar S-systems, we study global stability of the unique positive equilibrium and solve the center problem. Further, we construct a planar S-system with two limit cycles.


title: Hydrodynamics calculations of clusters of drops using the finite volume method

abstract: In this paper is described a numerical scheme that is used to simulate the coalescence process between clusters of water drops immersed in a continuous hydrocarbon phase (n-heptane). Two different values for the initial velocity of the drops were chosen. Depending of the initial velocity of collision some scenarios emerge, such as: permanent coalescence, formation of satellite drops etc. For some snap shots the streamlines are calculated for the different process of permanent coalescence. These streamlines allow the understanding of the dynamics of the droplets immersed on the n-heptane phase.


title: Long-time expansion of a Bose-Einstein condensate: Can Anderson localization be observed?

abstract: We numerically explore the long-time expansion of a one-dimensional Bose-Einstein condensate in a disorder potential employing the Gross-Pitaevskii equation. The goal is to search for unique signatures of Anderson localization in the presence of particle-particle interactions. Using typical experimental parameters we show that the time scale for which the non-equilibrium dynamics of the interacting system begins to diverge from the non-interacting system exceeds the observation times up to now accessible in the experiment. We find evidence that the long-time evolution of the wavepacket is characterized by (sub)diffusive spreading and a growing effective localization length suggesting that interactions destroy Anderson localization.


title: Radio Exploration of Planetary Habitability: Conference Summary

abstract: Radio Exploration of Planetary Habitability was the fifth in the series of American Astronomical Society's Topical Conference Series. Notable aspects of the conference included the interdisciplinary nature of both the topics and the intellectual breadth of the participants, the diversity of approaches to studying this topic presented by recent discoveries and of the participants themselves, the expanding meaning of the topic of "star-planet interactions," and the expectation of an increasingly statistical approach to the topic. Potential areas of future research include the actual extent to which planetary magnetic fields shield planetary atmospheres; the planetary dynamo process itself, particularly once multiple extrasolar planetary magnetic fields are confirmed; and "planet-star interactions." A major major topic of the conference concerned observational opportunities, highlighted by a number of new or upcoming, specialized observatories to observe exoplanets especially at radio wavelengths. This article summarizes these main points of the conference and expands briefly upon these potential avenues for future investigation. A future meeting on this topic, given the variety of data sets being generated over the next few years, is warranted.


title: Sampling of Temporal Networks: Methods and Biases

abstract: Temporal networks have been increasingly used to model a diversity of systems that evolve in time; for example human contact structures over which dynamic processes such as epidemics take place. A fundamental aspect of real-life networks is that they are sampled within temporal and spatial frames. Furthermore, one might wish to subsample networks to reduce their size for better visualization or to perform computationally intensive simulations. The sampling method may affect the network structure and thus caution is necessary to generalize results based on samples. In this paper, we study four sampling strategies applied to a variety of real-life temporal networks. We quantify the biases generated by each sampling strategy on a number of relevant statistics such as link activity, temporal paths and epidemic spread. We find that some biases are common in a variety of networks and statistics, but one strategy, uniform sampling of nodes, shows improved performance in most scenarios. Our results help researchers to better design network data collection protocols and to understand the limitations of sampled temporal network data.


title: Double non-perturbative gluon exchange: an update on the soft Pomeron contribution to pp scattering

abstract: We employ a set of recent, theoretically motivated, fits to non-perturbative unquenched gluon propagators to check in how far double gluon exchange can be used to describe the soft sector of pp scattering data (total and differential cross section). In particular, we use the refined Gribov--Zwanziger gluon propagator (as arising from dealing with the Gribov gauge fixing ambiguity) and the massive Cornwall-type gluon propagator (as motivated from Dyson-Schwinger equations) in conjunction with a perturbative quark-gluon vertex, next to a model based on the non-perturbative quark-gluon Maris-Tandy vertex, popular from Bethe-Salpeter descriptions of hadronic bound states. We compare the cross sections arising from these models with "older" ISR and more recent TOTEM and ATLAS data. The lower the value of total energy \sqrt{s}, the better the results appear to be.


title: Spectral analysis of the blood flow in the foot microvascular bed during thermal testing in patients with diabetes mellitus

abstract: Timely diagnostics of microcirculatory system abnormalities which are the most severe diabetic complications, is a significant problem of modern health care. Functional abnormalities manifest themselves earlier than the structural one and their assessment is the focus of present-day studies. In this study, the Laser Doppler flowmetry, a noninvasive technique for the cutaneous blood flow monitoring, was used together with local temperature tests and wavelet analysis. The study of the blood flow in the microvascular bed of toes was carried out in control group of 40 subjects, and two diabetic groups differing in the type of diabetes mellitus (17 of DM1 and 23 of DM2). The temperature tests demonstrated that diabetic patients have impaired vasodilation in response to local heating. The study of oscillating components shows a significant difference of the spectral properties even in the basal conditions. Low frequency pulsations of the blood flow associated with endothelial and activities are lower in both diabetes groups as well as the ones connected with cardiac activity. Local thermal tests induce variations both in the perfusion and its spectral characteristics, which are different in the groups under consideration. We assume that the results obtained provide a deeper understanding of pathological processes involved in the progress of microvascular abnormalities due to diabetes mellitus.


title: Electromagnetic Field Enhancement in Bloch Surface Waves

abstract: We present a systematic comparison between guided modes supported by slab waveguides and Bloch Surface Waves (BSWs) propagating at the surface of truncated periodic multilayers. We show that, contrary to common belief, the best surface field enhancement achievable for guided modes in a slab waveguide is comparable to that observed for BSWs. At the same time, we demonstrate that, if one is interested in maximizing the electromagnetic energy density at a generic point of a dielectric planar structure, BSWs are often preferable to modes in which light is confined uniquely by total internal reflection. Since these results are wavelength independent and have been obtained by considering a very wide range of refractive indices of the structure constituent materials, we believe they can prove helpful in the design of future structures for the control and the enhancement of the light-matter interaction.


title: Deep Discrete Hashing with Self-supervised Pairwise Labels

abstract: Hashing methods have been widely used for applications of large-scale image retrieval and classification. Non-deep hashing methods using handcrafted features have been significantly outperformed by deep hashing methods due to their better feature representation and end-to-end learning framework. However, the most striking successes in deep hashing have mostly involved discriminative models, which require labels. In this paper, we propose a novel unsupervised deep hashing method, named Deep Discrete Hashing (DDH), for large-scale image retrieval and classification. In the proposed framework, we address two main problems: 1) how to directly learn discrete binary codes? 2) how to equip the binary representation with the ability of accurate image retrieval and classification in an unsupervised way? We resolve these problems by introducing an intermediate variable and a loss function steering the learning process, which is based on the neighborhood structure in the original space. Experimental results on standard datasets (CIFAR-10, NUS-WIDE, and Oxford-17) demonstrate that our DDH significantly outperforms existing hashing methods by large margin in terms of~mAP for image retrieval and object recognition. Code is available at \url{https://github.com/htconquer/ddh}.


title: On a Twisted Version of Linnik and Selberg's Conjecture on Sums of Kloosterman Sums

abstract: We generalise the work of Sarnak-Tsimerman to twisted sums of Kloosterman sums and thus give evidence towards the twisted Linnik-Selberg Conjecture.


title: Revealing evolutions in dynamical networks

abstract: The description of large temporal graphs requires effective methods giving an appropriate mesoscopic partition. Many approaches exist today to detect communities in static graphs. However, many networks are intrinsically dynamical, and need a dynamic mesoscale description, as interpreting them as static networks would cause loss of important information. For example, dynamic processes such as the emergence of new scientific disciplines, their fusion, split or death need a mesoscopic description of the evolving network of scientific articles. There are two straightforward approaches to describe an evolving network using methods developed for static networks. The first finds the community structure of the aggregated network; however, this approach discards most temporal information, and may lead to inappropriate descriptions, as very different dynamic data can give rise to the identical static graphs. The opposite approach closely follows the evolutions and builds networks for successive time slices by selecting the relevant nodes and edges, the mesoscopic structure of each of these slices is found independently and the structures are connected to obtain a temporal description. By using an optimal structural description at each time slice, this method avoids the inertia of the aggregated approach. The inherent fuzziness of the communities leads to noise and artifacts. Here, we present an approach that distinguishes real trends and noise in the mesoscopic description of data using the continuity of social evolutions. To be follow the dynamics, we compute partitions for each time slice, but to avoid transients generated by noise, we modify the community description at time t using the structures found at times t-1 and t+1. We show the relevance of our method on the analysis of a scientific network showing the birth of a new subfield, wavelet analysis.


title: A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4

abstract: Being able to soundly estimate roundoff errors of finite-precision computations is important for many applications in embedded systems and scientific computing. Due to the discrepancy between continuous reals and discrete finite-precision values, automated static analysis tools are highly valuable to estimate roundoff errors. The results, however, are only as correct as the implementations of the static analysis tools. This paper presents a formally verified and modular tool which fully automatically checks the correctness of finite-precision roundoff error bounds encoded in a certificate. We present implementations of certificate generation and checking for both Coq and HOL4 and evaluate it on a number of examples from the literature. The experiments use both in-logic evaluation of Coq and HOL4, and execution of extracted code outside of the logics: we benchmark Coq extracted unverified OCaml code and a CakeML-generated verified binary.


title: Modal noise in an integrated photonic lantern fed diffraction-limited spectrograph

abstract: In an attempt to develop a streamlined astrophotonic instrument, we demonstrate the realization of an all-photonic device capable of both multimode to single mode conversion and spectral dispersion on an 8-m class telescope with efficient coupling. The device was a monolithic photonic spectrograph which combined an integrated photonic lantern, and an efficient arrayed waveguide grating device. During on-sky testing, we discovered a previously unreported type of noise that made spectral extraction and calibration extremely difficult. The source of the noise was traced to a wavelength-dependent loss mechanism between the feed fiber's multimode near-field pattern, and the modal acceptance profile of the integrated photonic lantern. Extensive modeling of the photonic components replicates the wavelength-dependent loss, and demonstrates an identical effect on the final spectral output. We outline that this could be mitigated by directly injecting into the integrated photonic lantern.


title: On quantum Gaussian optimizers conjecture in the case q=p

abstract: The quantum Gaussian optimizers conjecture says that q-p norm of a Bosonic Gaussian channel is attained on "Gaussian" operators. Recently R.L. Frank and E.H. Lieb confirmed the hypothesis in the case q=p for gauge-covariant channels with arbitrary number of modes s [3]. In the present note we remark that in the case q=p our results in [6] and [9] in fact allow to prove the hypothesis for all Gaussian channels. Thus the condition of gauge covariance, rather crucial in the case q=1,s>1, plays no role in the case q=p.


title: Sound Mixed-Precision Optimization with Rewriting

abstract: Finite-precision arithmetic computations face an inherent tradeoff between accuracy and efficiency. The points in this tradeoff space are determined, among other factors, by different data types but also evaluation orders. To put it simply, the shorter a precision's bit-length, the larger the roundoff error will be, but the faster the program will run. Similarly, the fewer arithmetic operations the program performs, the faster it will run; however, the effect on the roundoff error is less clear-cut. Manually optimizing the efficiency of finite-precision programs while ensuring that results remain accurate enough is challenging. The unintuitive and discrete nature of finite-precision makes estimation of roundoff errors difficult; furthermore the space of possible data types and evaluation orders is prohibitively large. We present the first fully automated and sound technique and tool for optimizing the performance of floating-point and fixed-point arithmetic kernels. Our technique combines rewriting and mixed-precision tuning. Rewriting searches through different evaluation orders to find one which minimizes the roundoff error at no additional runtime cost. Mixed-precision tuning assigns different finite precisions to different variables and operations and thus provides finer-grained control than uniform precision. We show that when these two techniques are designed and applied together, they can provide higher performance improvements than each alone.


title: Temperature Dependent Energy Levels of Electrons on Liquid Helium

abstract: We present measurements of the resonant microwave absorption by the Rydberg energy levels of surface state electrons on the surface of superfluid liquid helium, in the frequency range 165 - 220 GHz. The resonant frequency was strongly temperature dependent from 0.1 to 2 K. The experiments are in agreement with recent theoretical calculations of the renormalisation of the electron energy levels due to zero-point and thermal ripplons, analogous to a condensed matter Lamb shift. The temperature-dependent contribution to the linewidth for excitation to the first excited state at 189.6 GHz is compared with other measurements and theoretical predictions.


title: Sparse Approximation of 3D Meshes using the Spectral Geometry of the Hamiltonian Operator

abstract: The discrete Laplace operator is ubiquitous in spectral shape analysis, since its eigenfunctions are provably optimal in representing smooth functions defined on the surface of the shape. Indeed, subspaces defined by its eigenfunctions have been utilized for shape compression, treating the coordinates as smooth functions defined on the given surface. However, surfaces of shapes in nature often contain geometric structures for which the general smoothness assumption may fail to hold. At the other end, some explicit mesh compression algorithms utilize the order by which vertices that represent the surface are traversed, a property which has been ignored in spectral approaches. Here, we incorporate the order of vertices into an operator that defines a novel spectral domain. We propose a method for representing 3D meshes using the spectral geometry of the Hamiltonian operator, integrated within a sparse approximation framework. We adapt the concept of a potential function from quantum physics and incorporate vertex ordering information into the potential, yielding a novel data-dependent operator. The potential function modifies the spectral geometry of the Laplacian to focus on regions with finer details of the given surface. By sparsely encoding the geometry of the shape using the proposed data-dependent basis, we improve compression performance compared to previous results that use the standard Laplacian basis and spectral graph wavelets.


title: On Sound Relative Error Bounds for Floating-Point Arithmetic

abstract: State-of-the-art static analysis tools for verifying finite-precision code compute worst-case absolute error bounds on numerical errors. These are, however, often not a good estimate of accuracy as they do not take into account the magnitude of the computed values. Relative errors, which compute errors relative to the value's magnitude, are thus preferable. While today's tools do report relative error bounds, these are merely computed via absolute errors and thus not necessarily tight or more informative. Furthermore, whenever the computed value is close to zero on part of the domain, the tools do not report any relative error estimate at all. Surprisingly, the quality of relative error bounds computed by today's tools has not been systematically studied or reported to date. In this paper, we investigate how state-of-the-art static techniques for computing sound absolute error bounds can be used, extended and combined for the computation of relative errors. Our experiments on a standard benchmark set show that computing relative errors directly, as opposed to via absolute errors, is often beneficial and can provide error estimates up to six orders of magnitude tighter, i.e. more accurate. We also show that interval subdivision, another commonly used technique to reduce over-approximations, has less benefit when computing relative errors directly, but it can help to alleviate the effects of the inherent issue of relative error estimates close to zero.


title: A moderate deviation principle for 2D stochastic primitive equations

abstract: In this paper, we establish a central limit theorem and a moderate deviations for 2D stochastic primitive equations with multiplicative noise. The proof is mainly based on the weak convergence approach.


title: Projective Algebras and Primitive Subquasivarieties in Varieties with Factor Congruences

abstract: We prove that in the varieties where every compact congruence is a factor congruence and every nontrivial algebra contains a minimal subalgebra, a finitely presented algebra is projective if and only if it has every minimal algebra as its homomorphic image. Using this criterion of projectivity, we describe the primitive subquasivarieties of discriminator varieties that have a finite minimal algebra which embeds in every nontrivial algebra from this variety. In particular, we describe the primitive quasivarieties of discriminator varieties of monadic Heyting algebras, Heyting algebras with regular involution, Heyting algebras with dual pseudocomplement, and double-Heyting algebras.


title: Protected pseudohelical edge states in proximity graphene ribbons and flakes

abstract: We investigate topological properties of models that describe graphene on realistic substrates which induce proximity spin-orbit coupling in graphene. A $\mathbb{Z}_2$ phase diagram is calculated for the parameter space of (generally different) intrinsic spin-orbit coupling on the two graphene sublattices, in the presence of Rashba coupling. The most fascinating case is that of staggered intrinsic spin-orbit coupling which, despite being topologically trivial, $\mathbb{Z}_2 = 0$, does exhibit edge states protected against time-reversal scattering for zigzag ribbons as wide as micrometers. We call these states pseudohelical as their helicity is locked to the sublattice. The spin character and robustness of the pseudohelical modes is best exhibited on a finite flake, which shows that the edge states have zero $g$-factor, carry a finite spin current in the crossection of the flake, and exhibit spin-flip reflectionless tunneling at the armchair edges.


title: A Technical Note: Two-Step PECE Methods for Approximating Solutions To First- and Second-Order ODEs

abstract: Two-step predictor/corrector methods are provided to solve three classes of problems that present themselves as systems of ordinary differential equations (ODEs). In the first class, velocities are given from which displacements are to be solved. In the second class, velocities and accelerations are given from which displacements are to be solved. And in the third class, accelerations are given from which velocities and displacements are to be solved. Two-step methods are not self starting, so compatible one-step methods are provided to take that first step with. An algorithm is presented for controlling the step size so that the local truncation error does not exceed a specified tolerance.


title: Global Optimization with Orthogonality Constraints via Stochastic Diffusion on Manifold

abstract: Orthogonality constrained optimization is widely used in applications from science and engineering. Due to the nonconvex orthogonality constraints, many numerical algorithms often can hardly achieve the global optimality. We aim at establishing an efficient scheme for finding global minimizers under one or more orthogonality constraints. The main concept is based on noisy gradient flow constructed from stochastic differential equations (SDE) on the Stiefel manifold, the differential geometric characterization of orthogonality constraints. We derive an explicit representation of SDE on the Stiefel manifold endowed with a canonical metric and propose a numerically efficient scheme to simulate this SDE based on Cayley transformation with theoretical convergence guarantee. The convergence to global optimizers is proved under second-order continuity. The effectiveness and efficiency of the proposed algorithms are demonstrated on a variety of problems including homogeneous polynomial optimization, computation of stability number, and 3D structure determination from Common Lines in Cryo-EM.


title: Critical link of self-similarity and visualisation for jump-diffusions driven by $\alpha$-stable noise

abstract: The purpose of this paper is to derive a critical link of parameters for the self-similar trajectories of jump-diffusions which are described as solutions of stochastic differential equations driven by $\alpha$-stable noise. This is done by a multivariate Lagrange interpolation approach. To this end, we utilise computer simulation algorithm in MATLAB to visualise the trajectories of the jump-diffusions for various combinations of parameters arising in the stochastic differential equations.


title: Many-body kinetics of dynamic nuclear polarization by the cross effect

abstract: Dynamic nuclear polarization (DNP) is an out-of-equilibrium method for generating non-thermal spin polarization which provides large signal enhancements in modern diagnostic methods based on nuclear magnetic resonance. A particular instance is cross effect DNP, which involves the interaction of two coupled electrons with the nuclear spin ensemble. Here we develop a theory for this important DNP mechanism and show that the non-equilibrium nuclear polarization build-up is effectively driven by three-body incoherent Markovian dissipative processes involving simultaneous state changes of two electrons and one nucleus. Our theoretical approach allows for the first time simulations of the polarization dynamics on an individual spin level for ensembles consisting of hundreds of nuclear spins. The insight obtained by these simulations can be used to find optimal experimental conditions for cross effect DNP and to design tailored radical systems that provide optimal DNP efficiency.


title: Object-Oriented Software for Functional Data

abstract: This paper introduces the funData R package as an object-oriented implementation of functional data. It implements a unified framework for dense univariate and multivariate functional data on one- and higher dimensional domains as well as for irregular functional data. The aim of this package is to provide a user-friendly, self-contained core toolbox for functional data, including important functionalities for creating, accessing and modifying functional data objects, that can serve as a basis for other packages. The package further contains a full simulation toolbox, which is a useful feature when implementing and testing new methodological developments. Based on the theory of object-oriented data analysis, it is shown why it is natural to implement functional data in an object-oriented manner. The classes and methods provided by funData are illustrated in many examples using two freely available datasets. The MFPCA package, which implements multivariate functional principal component analysis, is presented as an example for an advanced methodological package that uses the funData package as a basis, including a case study with real data. Both packages are publicly available on GitHub and CRAN.


title: Encoding Equivariant Commutativity via Operads

abstract: In this paper, we prove a conjecture of Blumberg and Hill regarding the existence of $N_\infty$-operads associated to given sequences $\mathcal{F} = (\mathcal{F}_n)_{n \in \mathbb{N}}$ of families of subgroups of $G\times \Sigma_n$. For every such sequence, we construct a model structure on the category of $G$-operads, and we use these model structures to define $E_\infty^{\mathcal{F}}$-operads, generalizing the notion of an $N_\infty$-operad, and to prove the Blumberg-Hill conjecture. We then explore questions of admissibility, rectification, and preservation under left Bousfield localization for these $E_\infty^{\mathcal{F}}$-operads, obtaining some new results as well for $N_\infty$-operads.


title: SigNet: Convolutional Siamese Network for Writer Independent Offline Signature Verification

abstract: Offline signature verification is one of the most challenging tasks in biometrics and document forensics. Unlike other verification problems, it needs to model minute but critical details between genuine and forged signatures, because a skilled falsification might often resembles the real signature with small deformation. This verification task is even harder in writer independent scenarios which is undeniably fiscal for realistic cases. In this paper, we model an offline writer independent signature verification task with a convolutional Siamese network. Siamese networks are twin networks with shared weights, which can be trained to learn a feature space where similar observations are placed in proximity. This is achieved by exposing the network to a pair of similar and dissimilar observations and minimizing the Euclidean distance between similar pairs while simultaneously maximizing it between dissimilar pairs. Experiments conducted on cross-domain datasets emphasize the capability of our network to model forgery in different languages (scripts) and handwriting styles. Moreover, our designed Siamese network, named SigNet, exceeds the state-of-the-art results on most of the benchmark signature datasets, which paves the way for further research in this direction.


title: Syntactic Markovian Bisimulation for Chemical Reaction Networks

abstract: In chemical reaction networks (CRNs) with stochastic semantics based on continuous-time Markov chains (CTMCs), the typically large populations of species cause combinatorially large state spaces. This makes the analysis very difficult in practice and represents the major bottleneck for the applicability of minimization techniques based, for instance, on lumpability. In this paper we present syntactic Markovian bisimulation (SMB), a notion of bisimulation developed in the Larsen-Skou style of probabilistic bisimulation, defined over the structure of a CRN rather than over its underlying CTMC. SMB identifies a lumpable partition of the CTMC state space a priori, in the sense that it is an equivalence relation over species implying that two CTMC states are lumpable when they are invariant with respect to the total population of species within the same equivalence class. We develop an efficient partition-refinement algorithm which computes the largest SMB of a CRN in polynomial time in the number of species and reactions. We also provide an algorithm for obtaining a quotient network from an SMB that induces the lumped CTMC directly, thus avoiding the generation of the state space of the original CRN altogether. In practice, we show that SMB allows significant reductions in a number of models from the literature. Finally, we study SMB with respect to the deterministic semantics of CRNs based on ordinary differential equations (ODEs), where each equation gives the time-course evolution of the concentration of a species. SMB implies forward CRN bisimulation, a recently developed behavioral notion of equivalence for the ODE semantics, in an analogous sense: it yields a smaller ODE system that keeps track of the sums of the solutions for equivalent species.


title: Rotation of Cometary Nuclei: New Lightcurves and an Update of the Ensemble Properties of Jupiter-Family Comets

abstract: We report new lightcurves and phase functions for nine Jupiter-family comets (JFCs). They were observed in the period 2004-2015 with various ground telescopes as part of the Survey of Ensemble Physical Properties of Cometary Nuclei (SEPPCoN) as well as during devoted observing campaigns. We add to this a review of the properties of 35 JFCs with previously published rotation properties. The photometric time-series were obtained in Bessel R, Harris R and SDSS r' filters and were absolutely calibrated using stars from the Pan-STARRS survey. This specially-developed method allowed us to combine data sets taken at different epochs and instruments with absolute-calibration uncertainty down to 0.02 mag. We used the resulting time series to improve the rotation periods for comets 14P/Wolf, 47P/Ashbrook-Jackson, 94P/Russell, and 110P/Hartley 3 and to determine the rotation rates of comets 93P/Lovas and 162P/Siding-Spring for the first time. In addition to this, we determined the phase functions for seven of the examined comets and derived geometric albedos for eight of them. We confirm the known cut-off in bulk densities at $\sim$0.6 g $\mathrm{cm^{-3}}$ if JFCs are strengthless. Using the model of Davidsson (2001) for prolate ellipsoids with typical density and elongations, we conclude that none of the known JFCs require tensile strength larger than 10-25 Pa to remain stable against rotational instabilities. We find evidence for an increasing linear phase function coefficient with increasing geometric albedo. The median linear phase function coefficient for JFCs is 0.046 mag/deg and the median geometric albedo is 4.2 per cent.


title: Update of the trigger system of the PandaX-II experiment

abstract: PandaX-II experiment is a dark matter direct detection experiment using about half-ton of liquid xenon as the sensitive target. The electrical pulses detected by photomultiplier tubes from scintillation photons of xenon are recorded by waveform digitizers. The data acquisition of Pandax-II relies on a trigger system that generates common trigger signals for all waveform digitizers. Previously an analog device-based trigger system was used for the data acquisition system. In this paper we present a new FPGA-based trigger system. The design of this system and trigger algorithms are described. The performance of this system on real data is presented.


title: Spin-tensor decomposition of nuclear transition matrix elements for neutrinoless double-$\beta $ decay of $^{76}$Ge and $^{82}$Se nuclei within PHFB approach

abstract: Employing the PHFB model, nuclear transition matrix elements $M^{\left( K\right) }$ for the neutrinoless double-$\beta^{-} $ decay of $\ ^{76}$Ge and $^{82}$Se isotopes are calculated within mechanisms involving light as well as heavy Majorana neutrinos, and classical Majorons by considering the spin-tensor decomposition of realistic KUO and empirical JUN45 effective two-body interaction. It is noticed that the effects due to the SRC on NTMEs $M^{\left( 0\nu \right) }$ and $M^{\left( 0N\right) }$ due to the exchange of light and heavy Majorana neutrinos, respectively, is maximally incorporated by the central part of the effective two-body interaction, which varies by a small amount with the inclusion of spin-orbit and tensor components. The maximum uncertainty in the average NTMEs $\overline{M}^{(0\nu)}$ and $\overline{M}^{(0N)}$ turns out to be about 10\% and 37\%, respectively.


title: Final value problems for parabolic differential equations and their well-posedness

abstract: This article concerns the basic understanding of parabolic final value problems, and a large class of such problems is proved to be well posed. The clarification is obtained via explicit Hilbert spaces that characterise the possible data, giving existence, uniqueness and stability of the corresponding solutions. The data space is given as the graph normed domain of an unbounded operator occurring naturally in the theory. It induces a new compatibility condition, which relies on the fact, shown here, that analytic semigroups always are invertible in the class of closed operators. The general set-up is evolution equations for Lax--Milgram operators in spaces of vector distributions. As a main example, the final value problem of the heat equation on a smooth open set is treated, and non-zero Dirichlet data are shown to require a non-trivial extension of the compatibility condition by addition of an improper Bochner integral.


title: Studies of the hydrodynamic evolution of the dense baryonic matter produced in relativistic heavy ion collisions

abstract: We use the relativistic perfect-fluid hydrodynamics to describe the space-time evolution of dense baryonic matter produced in the central nucleus-nucleus collisions at HIRFL-CSR, HIAF, FAIR-CBM, NICA-MPD, and RHIC-BES. The transverse flow of the fireball with cylindrical symmetry and boost invariant along the longitudinal direction is also analyzed. Based on the relativistic kinetic theory, we also present the first preliminary calculation on the production of low-mass dileptons and low-pT photons can be considered as the signals of the dense baryonic matter produced in the central Au-Au and U-U collisions. We find that the rapid cooling of the expanding dense baryonic matter with transverse flow effect can lead to the suppression of the low-mass dileptons and low-pT photons production at HIRFL-CSR, HIAF, FAIR-CBM, NICA-MPD, and RHIC-BES energies.


title: Start-up Shear of Concentrated Colloidal Hard Spheres: Stresses, Dynamics and Structure

abstract: The transient response of model hard sphere glasses is examined during the application of steady rate start-up shear using Brownian Dynamics (BD) simulations, experimental rheology and confocal microscopy. With increasing strain the glass initially exhibits an almost linear elastic stress increase, a stress peak at the yield point and then reaches a constant steady state. The stress overshoot has a non-monotonic dependence with Peclet number, Pe, and volume fraction, {\phi}, determined by the available free volume and a competition between structural relaxation and shear advection. Examination of the structural properties under shear revealed an increasing anisotropic radial distribution function, g(r), mostly in the velocity - gradient (xy) plane, which decreases after the stress peak with considerable anisotropy remaining in the steady-state. Low rates minimally distort the structure, while high rates show distortion with signatures of transient elongation. As a mechanism of storing energy, particles are trapped within a cage distorted more than Brownian relaxation allows, while at larger strains, stresses are relaxed as particles are forced out of the cage due to advection. Even in the steady state, intermediate super diffusion is observed at high rates and is a signature of the continuous breaking and reformation of cages under shear.


title: A quantum dynamics method for excited electrons in molecular aggregate system using a group diabatic Fock matrix

abstract: We introduce a practical calculation scheme for the description of excited electron dynamics in molecular aggregated systems within a locally group diabatic Fock representation. This scheme makes it easy to analyze the interacting time-dependent excitations of local sites in complex systems. In addition, light-electron couplings are considered. The present scheme is intended for investigations on the migration dynamics of excited electrons in light-energy conversion systems. The scheme was applied to two systems: a naphthalene(NPTL)-tetracyanoethylene(TCNE) dimer and a 20-mer circle of ethylene molecules. Through local group analyses of the dynamical electrons, we obtained an intuitive understanding of the electron transfers between the monomers.


title: Integrated Safety and Security Risk Assessment Methods: A Survey of Key Characteristics and Applications

abstract: Over the last years, we have seen several security incidents that compromised system safety, of which some caused physical harm to people. Meanwhile, various risk assessment methods have been developed that integrate safety and security, and these could help to address the corresponding threats by implementing suitable risk treatment plans. However, an overarching overview of these methods, systematizing the characteristics of such methods, is missing. In this paper, we conduct a systematic literature review, and identify 7 integrated safety and security risk assessment methods. We analyze these methods based on 5 different criteria, and identify key characteristics and applications. A key outcome is the distinction between sequential and non-sequential integration of safety and security, related to the order in which safety and security risks are assessed. This study provides a basis for developing more effective integrated safety and security risk assessment methods in the future.


title: First-principles Green's-function method for surface calculations: a pseudopotential localized basis set approach

abstract: We present an efficient implementation of a surface Green's-function method for atomistic modeling of surfaces within the framework of density functional theory using a pseudopotential localized basis set approach. In this method, the system is described as a truly semi-infinite solid with a surface region coupled to an electron reservoir, thereby overcoming several fundamental drawbacks of the traditional slab approach. The versatility of the method is demonstrated with several applications to surface physics and chemistry problems that are inherently difficult to address properly with the slab method, including metal work function calculations, band alignment in thin-film semiconductor heterostructures, surface states in metals and topological insulators, and surfaces in external electrical fields. Results obtained with the surface Green's-function method are compared to experimental measurements and slab calculations to demonstrate the accuracy of the approach.


title: Surface wave control for large arrays of microwave kinetic inductance detectors

abstract: Large ultra-sensitive detector arrays are needed for present and future observatories for far infra-red, submillimeter wave (THz), and millimeter wave astronomy. With increasing array size, it is increasingly important to control stray radiation inside the detector chips themselves, the surface wave. We demonstrate this effect with focal plane arrays of 880 lens-antenna coupled Microwave Kinetic Inductance Detectors (MKIDs). Presented here are near field measurements of the MKID optical response versus the position on the array of a reimaged optical source. We demonstrate that the optical response of a detector in these arrays saturates off-pixel at the $\sim-30$ dB level compared to the peak pixel response. The result is that the power detected from a point source at the pixel position is almost identical to the stray response integrated over the chip area. With such a contribution, it would be impossible to measure extended sources, while the point source sensitivity is degraded due to an increase of the stray loading. However, we show that by incorporating an on-chip stray light absorber, the surface wave contribution is reduced by a factor $>$10. With the on-chip stray light absorber the point source response is close to simulations down to the $\sim-35$ dB level, the simulation based on an ideal Gaussian illumination of the optics. In addition, as a crosscheck we show that the extended source response of a single pixel in the array with the absorbing grid is in agreement with the integral of the point source measurements.


title: Supercritical Gr\"uneisen parameter and its universality at the Frenkel line

abstract: We study thermo-mechanical properties of matter at extreme conditions deep in the supercritical state, at temperatures exceeding the critical one up to four orders of magnitude. We calculate the Gr\"{u}neisen parameter {\gamma} and find that it decreases with temperature from 3 to 1 on isochores depending on the density. Our results indicate that from the perspective of thermo-mechanical properties, the supercritical state is characterized by the wide range of {\gamma} which includes the solid-like values - an interesting finding in view of the common perception of the supercritical state as being an intermediate state between gases and liquids. We rationalize this result by considering the relative weights of oscillatory and diffusive components of the supercritical system below the Frenkel line. We also find that {\gamma} is nearly constant at the Frenkel line above the critical point and explain this universality in terms of pressure and temperature scaling of system properties along the lines where particle dynamics changes qualitatively.


title: On the shape of random P\'olya structures

abstract: Panagiotou and Stufler recently proved an important fact on their way to establish the scaling limits of random P\'olya trees: a uniform random P\'olya tree of size $n$ consists of a conditioned critical Galton-Watson tree $C_n$ and many small forests, where with probability tending to one, as $n$ tends to infinity, any forest $F_n(v)$, that is attached to a node $v$ in $C_n$, is maximally of size $\vert F_n(v)\vert=O(\log n)$. Their proof used the framework of a Boltzmann sampler and deviation inequalities. In this paper, first, we employ a unified framework in analytic combinatorics to prove this fact with additional improvements for $\vert F_n(v)\vert$, namely $\vert F_n(v)\vert=\Theta(\log n)$. Second, we give a combinatorial interpretation of the rational weights of these forests and the defining substitution process in terms of automorphisms associated to a given P\'olya tree. Third, we derive the limit probability that for a random node $v$ the attached forest $F_n(v)$ is of a given size. Moreover, structural properties of those forests like the number of their components are studied. Finally, we extend all results to other P\'olya structures.


title: Localization optoacoustic tomography

abstract: Localization-based imaging has revolutionized fluorescence optical microscopy and has also enabled unprecedented ultrasound images of microvascular structures in deep tissues. Herein, we introduce a new concept of localization optoacoustic tomography (LOAT) that employs rapid sequential acquisition of three-dimensional optoacoustic images from flowing absorbing particles. We show that the new method enables breaking through the spatial resolution barrier of acoustic diffraction while further enhancing the visibility of structures under limited-view tomographic conditions. Given the intrinsic sensitivity of optoacoustics to multiple hemodynamic and oxygenation parameters, LOAT may enable new level of performance in studying functional and anatomical alterations of microcirculation.


title: Temporal recompression through a scattering medium via a broadband transmission matrix

abstract: The transmission matrix is a unique tool to control light through a scattering medium. A monochromatic transmission matrix does not allow temporal control of broadband light. Conversely, measuring multiple transmission matrices with spectral resolution allows fine temporal control when a pulse is temporally broadened upon multiple scattering, but requires very long measurement time. Here, we show that a single linear operator, measured for a broadband pulse with a co-propagating reference, naturally allows for spatial focusing, and interestingly generates a two-fold temporal recompression at the focus, compared with the natural temporal broadening. This is particularly relevant for non-linear imaging techniques in biological tissues.