title: TARANET: Traffic-Analysis Resistant Anonymity at the NETwork layer

abstract: Modern low-latency anonymity systems, no matter whether constructed as an overlay or implemented at the network layer, offer limited security guarantees against traffic analysis. On the other hand, high-latency anonymity systems offer strong security guarantees at the cost of computational overhead and long delays, which are excessive for interactive applications. We propose TARANET, an anonymity system that implements protection against traffic analysis at the network layer, and limits the incurred latency and overhead. In TARANET's setup phase, traffic analysis is thwarted by mixing. In the data transmission phase, end hosts and ASes coordinate to shape traffic into constant-rate transmission using packet splitting. Our prototype implementation shows that TARANET can forward anonymous traffic at over 50~Gbps using commodity hardware.


title: Interior and exterior curves of finite Blaschke products

abstract: In this paper, for a Blaschke product of degree d, we give some geometrical properties that lie between the interior curve and the exterior curve.


title: Geometric Lower Bounds for Distributed Parameter Estimation under Communication Constraints

abstract: We consider parameter estimation in distributed networks, where each sensor in the network observes an independent sample from an underlying distribution and has $k$ bits to communicate its sample to a centralized processor which computes an estimate of a desired parameter. We develop lower bounds for the minimax risk of estimating the underlying parameter for a large class of losses and distributions. Our results show that under mild regularity conditions, the communication constraint reduces the effective sample size by a factor of $d$ when $k$ is small, where $d$ is the dimension of the estimated parameter. Furthermore, this penalty reduces at most exponentially with increasing $k$, which is the case for some models, e.g., estimating high-dimensional distributions. For other models however, we show that the sample size reduction is re-mediated only linearly with increasing $k$, e.g. when some sub-Gaussian structure is available. We apply our results to the distributed setting with product Bernoulli model, multinomial model, Gaussian location models, and logistic regression which recover or strengthen existing results. Our approach significantly deviates from existing approaches for developing information-theoretic lower bounds for communication-efficient estimation. We circumvent the need for strong data processing inequalities used in prior work and develop a geometric approach which builds on a new representation of the communication constraint. This approach allows us to strengthen and generalize existing results with simpler and more transparent proofs.


title: Non-Abelian adiabatic geometric transformations in a cold Strontium gas

abstract: Topology, geometry, and gauge fields play key roles in quantum physics as exemplified by fundamental phenomena such as the Aharonov-Bohm effect, the integer quantum Hall effect, the spin Hall, and topological insulators. The concept of topological protection has also become a salient ingredient in many schemes for quantum information processing and fault-tolerant quantum computation. The physical properties of such systems crucially depend on the symmetry group of the underlying holonomy. We study here a laser-cooled gas of strontium atoms coupled to laser fields through a 4-level resonant tripod scheme. By cycling the relative phases of the tripod beams, we realize non-Abelian SU(2) geometrical transformations acting on the dark-states of the system and demonstrate their non-Abelian character. We also reveal how the gauge field imprinted on the atoms impact their internal state dynamics. It leads to a new thermometry method based on the interferometric displacement of atoms in the tripod beams.


title: Path connected components of the space of Volterra-type integral operators

abstract: We study the topological structure of the space of Volterra-type integral operators on Fock spaces endowed with the operator norm. We proved that the space has the same connected and path connected components which is the set of all compact operators acting on the Fock spaces. We also obtained a characterization of isolated points of the space of the operators and showed that there exists no essentially isolated Volterra-type integral operator.


title: New Bounds on Axion-Like Particles From the Fermi Large Area Telescope observation of PKS $2155-304$

abstract: The axion-like particle (ALP)-photon mixing in the magnetic field around $\gamma$-ray sources or along the line-of-sight could induce oscillation between photons and ALPs, which then causes irregularities in the $\gamma$-ray spectra. In this work we try to search for such spectral irregularities in the spectrum of PKS $2155-304$ using 8.6 years of the Fermi Large Area Telescope (Fermi-LAT) data. No significant evidence for the presence of ALP-photon oscillation is obtained, and the parameter space of ALPs is constrained. The exclusion region sensitively depends on the poorly known magnetic field of host galaxy cluster of PKS $2155-304$. If the magnetic field is as high as $\sim 10~{\rm \mu G}$, the "hole"-like parameter region allowed in Ref.~\cite{Fermi} can be ruled out.


title: Direct Multipixel Imaging and Spectroscopy of an Exoplanet with a Solar Gravity Lens Mission

abstract: The remarkable optical properties of the solar gravitational lens (SGL) include major brightness amplification (~1e11 at wavelength of 1 um) and extreme angular resolution (~1e-10 arcsec) in a narrow field of view. A mission to the SGL carrying a modest telescope and coronagraph opens up a possibility for direct megapixel imaging and high-resolution spectroscopy of a habitable Earth-like exoplanet at a distance of up to 100 light years. The entire image of such a planet is compressed by the SGL into a region with a diameter of ~1.3 km in the vicinity of the focal line. The telescope, acting as a single pixel detector while traversing this region, can build an image of the exoplanet with kilometer-scale resolution of its surface, enough to see its surface features and signs of habitability. We report here on the results of our initial study of a mission to the deep outer regions of our solar system, with the primary mission objective of conducting direct megapixel high-resolution imaging and spectroscopy of a potentially habitable exoplanet by exploiting the remarkable optical properties of the SGL. Our main goal was to investigate what it takes to operate spacecraft at such enormous distances with the needed precision. Specifically, we studied i) how a space mission to the focal region of the SGL may be used to obtain high-resolution direct imaging and spectroscopy of an exoplanet by detecting, tracking, and studying the Einstein ring around the Sun, and ii) how such information could be used to detect signs of life on another planet. Our results indicate that a mission to the SGL with an objective of direct imaging and spectroscopy of a distant exoplanet is challenging, but possible. We composed a list of recommendations on the mission architectures with risk and return tradeoffs and discuss an enabling technology development program.


title: The discrete Laplacian of a 2-simplicial complex

abstract: In this paper, we introduce the notion of oriented faces especially triangles in a connected oriented locally finite graph. This framework then permits to define the Laplace operator on this structure of the 2-simplicial complex. We develop the notion of $\chi$-completeness for the graphs, based on the cutoff functions. Moreover, we study essential self-adjointness of the discrete Laplacian from the $\chi$-completeness geometric hypothesis.


title: Independence of surface morphology and reconstruction during the thermal preparation of perovskite oxide surfaces

abstract: Using a CO$_2$ laser to directly heat the crystals from the back side, SrTiO$_3$ substrates may be thermally prepared in situ for epitaxy without the need for ex-situ etching and annealing. We find that the formation of large terraces with straight steps at 900-1100 {\deg}C is independent from the formation of the ideal surface reconstruction for epitaxy, which requires temperatures in excess of 1200 {\deg}C to complete. The process may be universal, at least for perovskite oxide surfaces, as it also works, at different temperatures, for LaAlO$_3$ and NdGaO$_3$, two other widely used oxide substrate materials.


title: Contextuality and bundle diagrams

abstract: Contextuality describes the nontrivial dependence of measurement outcomes on particular choices of jointly measurable observables. In this work we review and generalize the bundle diagram representation introduced in [S. Abramsky et al., 24th EACSL Annual Conference on Computer Science Logic, 41, 211-228, (2015)] in order to graphically demonstrate the contextuality of diverse empirical models.


title: Challenges of Growing Social Media Networks From the Bottom-Up Through the Agent Perspective

abstract: We develop an agent-based model in order to understand agent/node behaviors that generate social media networks. We use simple rules to synthetically generate a backcloth (friend/follow) network collected using Twitter's API. The Twitter network was collected using seeds for known terrorist propaganda accounts in 2015. Model parameter adjustments were made to reproduce the collected network's summary statistics, stylized facts and general structural measures. We produced an approximate network in line with the general properties of our collected data. We present our findings with a focus on the challenging aspects of this reproduction. We find that while it is possible to generate a social media network utilizing a few simple rules, numerous challenges arise requiring departure from the agent viewpoint and the development of more useful methods. We present numerous weaknesses and challenges in our reproduction and propose potential solutions for future efforts.


title: Relevance of the minimum degree to dynamic fluctuation in strongly heterogeneous networks

abstract: The fluctuation of dynamic variables in complex networks is known to depend on the dimension and the heterogeneity of the substrate networks. Previous studies, however, have reported inconsistent results for the scaling behavior of fluctuation in strongly heterogeneous networks. To understand the origin of this conflict, we study the dynamic fluctuation on scale-free networks with a common small degree exponent but different mean degrees and minimum degrees constructed by using the configuration model and the static model. It turns out that the global fluctuation of dynamic variables diverges algebraically and logarithmically with the system size when the minimum degree is one and two, respectively. Such different global fluctuations are traced back to different, linear and sub-linear, growth of local fluctuation at individual nodes with their degrees, implying a crucial role of degree-one nodes in controlling correlation between distinct hubs.


title: Implications of Neutron Star Properties for the Existence of Light Dark Matter

abstract: It was recently suggested that the discrepancy between two methods of measuring the lifetime of the neutron may be a result of an unseen decay mode into a dark matter particle which is almost degenerate with the neutron. We explore the consequences of this for the properties of neutron stars, finding that their known properties are in conflict with the existence of such a particle.


title: Multilevel quantum Otto heat engines with identical particles

abstract: A quantum Otto heat engine is studied with multilevel identical particles trapped in one-dimensional box potential as working substance. The symmetrical wave function for Bosons and the anti-symmetrical wave function for Fermions are considered. In two-particle case, we focus on the ratios of $W^i$ ($i=B,F$) to $W_s$, where $W^B$ and $W^F$ are the work done by two Bosons and Fermions respectively, and $W_s$ is the work output of a single particle under the same conditions. Due to the symmetric of the wave functions, the ratios are not equal to $2$. Three different regimes, low temperature regime, high temperature regime, and intermediate temperature regime, are analyzed, and the effects of energy level number and the differences between the two baths are calculated. In the multiparticle case, we calculate the ratios of $W^i_M/M$ to $W_s$, where $W^i_M/M$ can be seen as the average work done by a single particle in multiparticle heat engine. For other working substances whose energy spectrum have the form of $E_n\sim n^2$, the results are similar. For the case $E_n\sim n$, two different conclusions are obtained.


title: Exact Sampling of Determinantal Point Processes without Eigendecomposition

abstract: Determinantal point processes (DPPs) enable the modeling of repulsion: they provide diverse sets of points. The repulsion is encoded in a kernel $K$ that can be seen as a matrix storing the similarity between points. The diversity comes from the fact that the inclusion probability of a subset is equal to the determinant of a submatrice of $K$. The exact algorithm to sample DPPs uses the spectral decomposition of $K$, a computation that becomes costly when dealing with a high number of points. Here, we present an alternative exact algorithm in the discrete setting that avoids the eigenvalues and the eigenvectors computation. Instead, it relies on Cholesky decompositions. This is a two steps strategy: first, it samples a Bernoulli point process with an appropriate distribution, then it samples the target DPP distribution through a thinning procedure. Not only is the method used here innovative, but this algorithm can be competitive with the original algorithm or even faster for some applications specified here.


title: Orbital degeneracy loci II: Gorenstein orbits

abstract: In [BFMT17] we introduced orbital degeneracy loci as generalizations of degeneracy loci of morphisms between vector bundles. Orbital degeneracy loci can be constructed from any stable subvariety of a representation of an algebraic group. In this paper we show that their canonical bundles can be conveniently controlled in the case where the affine coordinate ring of the subvariety is Gorenstein. We then study in a systematic way the subvarieties obtained as orbit closures in representations with finitely many orbits, and we determine the canonical bundles of the corresponding orbital degeneracy loci in the Gorenstein cases. Applications are given to the construction of low dimensional varieties with negative or trivial canonical bundle.


title: Anomalous Hall effect in semiconductor quantum wells in proximity to chiral p-wave superconductors

abstract: By using the gauge-invariant optical Bloch equation, we perform a microscopic kinetic investigation on the anomalous Hall effect in chiral p-wave superconducting states. Specifically, the intrinsic anomalous Hall conductivity in the absence of the magnetic field is zero as a consequence of Galilean invariance in our description. As for the extrinsic channel, a finite anomalous Hall current is obtained from the impurity scattering with the optically excited normal quasiparticle current even at zero temperature. From our kinetic description, it can be clearly seen that the excited normal quasiparticle current is due to an induced center-of-mass momentum of Cooper pairs through the acceleration driven by ac electric field. For the induced anomalous Hall current, we show that the conventional skew-scattering channel in the linear response makes the dominant contribution in the strong impurity interaction. In this case, our kinetic description as a supplementary viewpoint mostly confirms the results of Kubo formalism in the literature. Nevertheless, in the weak impurity interaction, this skew-scattering channel becomes marginal and we reveal that a novel induction channel from the Born contribution dominates the anomalous Hall current. This novel channel, which has long been overlooked in the literature, is due to the particle-hole asymmetry by nonlinear optical excitation. Finally, we study the case in the chiral p-wave superconducting state with a transverse conical magnetization, which breaks the Galilean invariance. In this situation, the intrinsic anomalous Hall conductivity is no longer zero. Comparison of this intrinsic channel with the extrinsic one from impurity scattering is addressed.


title: Inference from modelling the chemodynamical evolution of the Milky Way disc

abstract: In this thesis, the field star Initial Mass Function (IMF) and chemical evolution parameters for the Milky Way (MW) are derived using a forward modelling technique in combination with Bayesian statistics. Starting from a local MM disc model, observations of stellar samples in the Solar Neighbourhood are synthesised and compared to the corresponding volume-complete observational samples of Hipparcos stars. The resulting IMF, derived from observations in the range from 0.5 to 8Msun, is a two-slope broken power law with powers of -1.49 +- 0.08 and -3.02 +- 0.06 for the low-mass slope and the high-mass slope, respectively, with a break at 1.39 +- 0.05Msun. In order to constrain the IMF for stars more massive than 8Msun, a fast and flexible chemical enrichment code, Chempy, was developed, which is also able to reproduce spatial and stellar population selections of observational samples. The inferred high-mass slope for stellar masses above 6Msun is -2.28 +- 0.09, accounting for the systematic effects of different yield sets from the literature. This shows that constraints from chemical modelling, similarly to hydrodynamical simulations of the Galaxy, demand a Salpeter high-mass index. This is hard to recover from star count analysis given the rareness of high-mass stars.


title: Critical Liouville measure as a limit of subcritical measures

abstract: We study how the Gaussian multiplicative chaos (GMC) measures $\mu^\gamma$ corresponding to the 2D Gaussian free field change when $\gamma$ approaches the critical parameter $2$. In particular, we show that as $\gamma\to 2^{-}$, $(2-\gamma)^{-1}\mu^\gamma$ converges in probability to $2\mu'$, where $\mu'$ is the critical GMC measure.


title: Observation of Interface Superconductivity in a SnSe2-Epitaxial Graphene van der Waals Heterostructure

abstract: We report on the direct observation of interface superconductivity in single-unit-cell SnSe2 films grown on graphitized SiC(0001) substrate by means of van der Waals epitaxy. Tunneling spectrum in the superconducting state reveals rather conventional character with a fully gapped order parameter. The occurrence of superconductivity is further confirmed by the presence of vortices under external magnetic field. Through interface engineering, we unravel the mechanism of superconductivity that originates from a two-dimensional electron gas formed at the interface of SnSe2 and graphene. Our finding opens up novel strategies to hunt for and understand interface superconductivity based on van der Waals heterostructures.


title: Efficient Neural Audio Synthesis

abstract: Sequential models achieve state-of-the-art results in audio, visual and textual domains with respect to both estimating the data distribution and generating high-quality samples. Efficient sampling for this class of models has however remained an elusive problem. With a focus on text-to-speech synthesis, we describe a set of general techniques for reducing sampling time while maintaining high output quality. We first describe a single-layer recurrent neural network, the WaveRNN, with a dual softmax layer that matches the quality of the state-of-the-art WaveNet model. The compact form of the network makes it possible to generate 24kHz 16-bit audio 4x faster than real time on a GPU. Second, we apply a weight pruning technique to reduce the number of weights in the WaveRNN. We find that, for a constant number of parameters, large sparse networks perform better than small dense networks and this relationship holds for sparsity levels beyond 96%. The small number of weights in a Sparse WaveRNN makes it possible to sample high-fidelity audio on a mobile CPU in real time. Finally, we propose a new generation scheme based on subscaling that folds a long sequence into a batch of shorter sequences and allows one to generate multiple samples at once. The Subscale WaveRNN produces 16 samples per step without loss of quality and offers an orthogonal method for increasing sampling efficiency.


title: Del Pezzo surfaces and Mori fiber spaces in positive characteristic

abstract: We settle a question that originates from results and remarks by Koll\'ar on extremal ray in the minimal model program: In positive characteristics, there are no Mori fibrations on threefolds with only terminal singularities whose generic fibers are geometrically non-normal surfaces. To show this we establish some general structure results for del Pezzo surfaces over imperfect ground fields. This relies on Reid's classification of non-normal del Pezzo surfaces over algebraically closed fields, combined with a detailed analysis of geometrical non-reducedness over imperfect fields of p-degree one.


title: Abstract Completion, Formalized

abstract: Completion is one of the most studied techniques in term rewriting and fundamental to automated reasoning with equalities. In this paper we present new correctness proofs of abstract completion, both for finite and infinite runs. For the special case of ground completion we present a new proof based on random descent. We moreover extend the results to ordered completion, an important extension of completion that aims to produce ground-complete presentations of the initial equations. We present new proofs concerning the completeness of ordered completion for two settings. Moreover, we revisit and extend results of M\'etivier concerning canonicity of rewrite systems. All proofs presented in the paper have been formalized in Isabelle/HOL.


title: The Brown-Halmos theorem for a pair of abstract Hardy spaces

abstract: Let $H[X]$ and $H[Y]$ be abstract Hardy spaces built upon Banach function spaces $X$ and $Y$ over the unit circle $\mathbb{T}$. We prove an analogue of the Brown-Halmos theorem for Toeplitz operators $T_a$ acting from $H[X]$ to $H[Y]$ under the only assumption that the space $X$ is separable and the Riesz projection $P$ is bounded on the space $Y$. We specify our results to the case of variable Lebesgue spaces $X=L^{p(\cdot)}$ and $Y=L^{q(\cdot)}$ and to the case of Lorentz spaces $X=Y=L^{p,q}(w)$, $1<p<\infty$, $1\le q<\infty$ with Muckenhoupt weights $w\in A_p(\mathbb{T})$.


title: Ratio ergodic theorems: From Hopf to Birkhoff and Kingman

abstract: Hopf's ratio ergodic theorem has an inherent symmetry which we exploit to provide a simplification of standard proofs of Hopf's and Birkhoff's ergodic theorems. We also present a ratio ergodic theorem for conservative transformations on a $\sigma$-finite measure space, generalizing Kingman's ergodic theorem for subadditive sequences and generalizing previous results by Akcoglu and Sucheston.


title: Tuning the electronic and chemisorption properties of hexagonal MgO nanotubes by doping - Theoretical study

abstract: Oxide materials offer a wide range of interesting physical and chemical properties. Even more versatile behavior of oxides is seen at the nanoscale, qualifying these materials for a number of applications. In this study we used DFT calculations to investigate the physical and chemical properties of small hexagonal MgO nanotubes of different length. We analyzed the effect of Li, B, C, N, and F doping on the properties of the nanotubes. We find that all dopants favor the edge positions when, incorporated into the nanotubes. Doping results in the net magnetization whose value depends on the type of the impurity. Using the CO molecule as a probe, we studied the adsorption properties of pristine and doped MgO nanotubes. Our results show that the dopant sites are also the centers of significantly altered chemical reactivity. While pristine MgO nanotubes adsorb CO weakly, very strong adsorption at the dopant sites (B-, C-, and N-doped nanotubes) or neighboring edge atoms (F- and Li-doped nanotubes) is observed. Our results suggest that impurity engineering in oxide materials can be a promising strategy for the development of novel materials with possible use as selective adsorbents or catalysts.


title: (No) Influence of Continuous Integration on the Commit Activity in GitHub Projects

abstract: A core goal of Continuous Integration (CI) is to make small incremental changes to software projects, which are integrated frequently into a mainline repository or branch. This paper presents an empirical study that investigates if developers adjust their commit activity towards the above-mentioned goal after projects start using CI. We analyzed the commit and merge activity in 93 GitHub projects that introduced the hosted CI system Travis CI, but have previously been developed for at least one year before introducing CI. In our analysis, we only found one non-negligible effect, an increased merge ratio, meaning that there were more merging commits in relation to all commits after the projects started using Travis CI. This effect has also been reported in related work. However, we observed the same effect in a random sample of 60 GitHub projects not using CI. Thus, it is unlikely that the effect is caused by the introduction of CI alone. We conclude that: (1) in our sample of projects, the introduction of CI did not lead to major changes in developers' commit activity, and (2) it is important to compare the commit activity to a baseline before attributing an effect to a treatment that may not be the cause for the observed effect.


title: Building a coverage hole-free communication tree

abstract: Wireless networks are present everywhere but their management can be tricky since their coverage may contain holes even if the network is fully connected. In this paper we propose an algorithm that can build a communication tree between nodes of a wireless network with guarantee that there is no coverage hole in the tree. We use simplicial homology to compute mathematically the coverage, and Prim's algorithm principle to build the communication tree. Some simulation results are given to study the performance of the algorithm and compare different metrics. In the end, we show that our algorithm can be used to create coverage hole-free communication groups with a limited number of hops.


title: Another Identity for Complete Bell Polynomials based on Ramanujan's Congruences

abstract: Let $p(n)$ be the number of partition of a positive integer $n$. We derive a new identity for complete Bell polynomials based on a generating function of $p(7n+5)$ given by Ramanujan.


title: Deterministic factoring with oracles

abstract: We revisit the problem of integer factorization with number-theoretic oracles, including a well-known problem: can we factor an integer $N$ unconditionally, in deterministic polynomial time, given the value of the Euler totient $$\Phi$(N)$? We show that this can be done, under certain size conditions on the prime factors of N. The key technique is lattice basis reduction using the LLL algorithm. Among our results, we show for example that if $N$ is a squarefree integer with a prime factor $p > $\sqrt$ N$ , then we can recover p in deterministic polynomial time given $$\Phi$(N)$. We also shed some light on the analogous problems for Carmichael's function, and the order oracle that is used in Shor's quantum factoring algorithm.


title: A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report

abstract: The assignment of weights to attacks in a classical Argumentation Framework allows to compute semantics by taking into account the different importance of each argument. We represent a Weighted Argumentation Framework by a non-binary matrix, and we characterize the basic extensions (such as w-admissible, w- stable, w-complete) by analysing sub-blocks of this matrix. Also, we show how to reduce the matrix into another one of smaller size, that is equivalent to the original one for the determination of extensions. Furthermore, we provide two algorithms that allow to build incrementally w-grounded and w-preferred extensions starting from a w-admissible extension.


title: Plasmonic modes in nanowire dimers: A study based on the hydrodynamic Drude model including nonlocal and nonlinear effects

abstract: A combined analytical and numerical study of the modes in two distinct plasmonic nanowire systems is presented. The computations are based on a Discontinuous Galerkin Time-Domain approach and a fully nonlinear and nonlocal hydrodynamic Drude model for the metal is utilized. In the linear regime, these computations demonstrate the strong influence of nonlocality on the field distributions as well as on the scattering and absorption spectra. Based on these results, second-harmonic generation efficiencies are computed over a frequency range that covers all relevant modes of the linear spectra. In order to interprete the physical mechanisms that lead to corresponding field distributions, the associated linear quasi-electrostatic problem is solved analytically via conformal transformation techniques. This provides an intuitive classification of the linear excitations of the systems that is then applied to the full Maxwell case. Based on this classification, group theory facilitates the determination of the selection rules for the efficient excitation of modes, both in the linear and the nonlinear regime. This leads to significantly enhanced second-harmonic generation via judiciously exploiting the system symmetries. These results regarding the mode structure and second-harmonic generation are of direct relevance to other nano-antenna systems.


title: Luminosity of a collider with asymmetric beams

abstract: A formula for the collider luminosity is derived for a head-on collision of two beams with different parameters. Three particular cases are presented: the collision of two identical axially symmetric bunches, the collision of a bunch with a coasting beam, and the collision of two coasting beams. The colliding beams have coinciding longitudinal axes. The formula is valid for colliding both counter propagating and co-propagating ("merging") beams.


title: On the vibron nature in the system of two parallel macromolecular chains: the influence of interchain coupling

abstract: We studied the properties of the intramolecular vibrational excitation (vibron) at finite temperature in a system which consists of two parallel macromolecular chains. It was assumed that vibron interacts exclusively with dispersionless optical phonons and the whole system is considered to be in thermal equilibrium. Particular attention has been paid to the examination of the impact of the temperature and strength of the interchain coupling on the \emph{small polaron} crossover. For that purpose we employed partial dressing method which enables the study of the degree of the phonon dressing of the vibron excitations in a wide area of system parameter space. We found that in the non--adiabatic regime the degree of dressing as a function of coupling constant continuously increases reflecting the smooth transition of the slightly dressed, practically free vibron, to a heavily dressed one: small polaron. As "adiabaticity" rises this transition becomes increasingly steeper, and finally, in the adiabatic limit, a discontinuous "jump" of the degree of dressing is observed. The interchain coupling manifests itself through the increase of the effective adiabatic parameter of the system.

categories: cond-mat.mes-hall cond-mat.soft physics.bio-ph quant-ph


title: Possible charge-density-wave signatures in the anomalous resistivity of Li-intercalated multilayer MoS2

abstract: We fabricate ion-gated field-effect transistors (iFET) on mechanically exfoliated multilayer MoS$_2$. We encapsulate the flake by Al$_2$O$_3$, leaving the device channel exposed at the edges only. A stable Li$^+$ intercalation in the MoS$_2$ lattice is induced by gating the samples with a Li-based polymeric electrolyte above $\sim$ 330 K and the doping state is fixed by quenching the device to $\sim$ 300 K. This intercalation process induces the emergence of anomalies in the temperature dependence of the sheet resistance and its first derivative, which are typically associated with structural/electronic/magnetic phase transitions. We suggest that these anomalies in the resistivity of MoS$_2$ can be naturally interpreted as the signature of a transition to a charge-density-wave phase induced by lithiation, in accordance with recent theoretical calculations.


title: Stark points and Hida-Rankin p-adic L-function

abstract: This article is devoted to the elliptic Stark conjecture formulated by Darmon, Lauder and Rotger [DLR], which proposes a formula for the transcendental part of a $p$-adic avatar of the leading term at $s=1$ of the Hasse-Weil-Artin $L$-series $L(E,\varrho_1\otimes \varrho_2,s)$ of an elliptic curve $E$ twisted by the tensor product $\varrho_1\otimes \varrho_2$ of two odd $2$-dimensional Artin representations, when the order of vanishing is two. The main ingredient of this formula is a $2\times 2$ $p$-adic regulator involving the $p$-adic formal group logarithm of suitable Stark points on $E$. This conjecture was proved in [DLR] in the setting where $\varrho_1$ and $\varrho_2$ are induced from characters of the same imaginary quadratic field $K$. In this note we prove a refinement of this result, that was discovered experimentally in Remark 3.4 of [DLR] in a few examples. Namely, we are able to determine the algebraic constant up to which the main theorem of [DLR] holds in a particular setting where the Hida-Rankin $p$-adic $L$-function associated to a pair of Hida families can be exploited to provide an alternative proof of the same result. This constant encodes local and global invariants of both $E$ and $K$.


title: Kinematics, Turbulence and Star Formation of z ~1 Strongly Lensed Galaxies seen with MUSE

abstract: We analyse a sample of 8 highly magnified galaxies at redshift 0.6<z<1.5 observed with MUSE, exploring the resolved properties of these galaxies at sub-kiloparsec scales. Combining multi-band HST photometry and MUSE spectra, we derive the stellar mass, global star formation rates, extinction and metallicity from multiple nebular lines, concluding that our sample is representative of z~1 star-forming galaxies. We derive the 2D kinematics of these galaxies from the [OII] emission and model it with a new method that accounts for lensing effects and fits multiple images simultaneously. We use these models to calculate the 2D beam-smearing correction and derive intrinsic velocity dispersion maps. We find them to be fairly homogeneous, with relatively constant velocity dispersions between 15 - 80 km/s and Gini coefficient of <0.3. We do not find any evidence for higher (or lower) velocity dispersions at the positions of bright star-forming clumps. We derive resolved maps of dust attenuation and attenuation-corrected star formation rates from emission lines for two objects in the sample. We use this information to study the relation between resolved star formation rate and velocity dispersion. We find that these quantities are not correlated, and the high-velocity dispersions found for relatively low star-forming densities seems to indicate that, at sub-kiloparsec scales, turbulence in high-z discs is mainly dominated by gravitational instability rather than stellar feedback.


title: Sequence-Aware Recommender Systems

abstract: Recommender systems are one of the most successful applications of data mining and machine learning technology in practice. Academic research in the field is historically often based on the matrix completion problem formulation, where for each user-item-pair only one interaction (e.g., a rating) is considered. In many application domains, however, multiple user-item interactions of different types can be recorded over time. And, a number of recent works have shown that this information can be used to build richer individual user models and to discover additional behavioral patterns that can be leveraged in the recommendation process. In this work we review existing works that consider information from such sequentially-ordered user- item interaction logs in the recommendation process. Based on this review, we propose a categorization of the corresponding recommendation tasks and goals, summarize existing algorithmic solutions, discuss methodological approaches when benchmarking what we call sequence-aware recommender systems, and outline open challenges in the area.


title: Non-Relativistic Maxwell Chern-Simons Gravity

abstract: We consider a non-relativistic (NR) limit of $(2+1)$-dimensional Maxwell Chern-Simons (CS) gravity with gauge algebra [Maxwell] $\oplus \ u(1)\oplus u(1)$. We obtain a finite NR CS gravity with a degenerate invariant bilinear form. We find two ways out of this difficulty: To consider i) [Maxwell] $\oplus\ u(1)$, which does not contain Extended Bargmann gravity (EBG); or, ii) the NR limit of [Maxwell] $\oplus\ u(1)\oplus u(1)\oplus u(1)$, which is a Maxwellian generalization of the EBG.


title: Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL

abstract: A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-order logic is presented. This embedding is proven sound and complete, that is, faithful. The work presented here provides the theoretical foundation for the implementation and automation of dyadic deontic logic within off-the-shelf higher-order theorem provers and proof assistants.


title: Tibet$^\prime$s Window on Primordial Gravitational Waves

abstract: As an essential part of Chinaâs Gravitational Waves Program, the Ali CMB Polarization Telescope (AliCPT) is a ground-based experiment aiming at the Primordial Gravitational Waves (PGWs) by measuring B-mode polarization of Cosmic Microwave Background (CMB). First proposed in 2014 and currently in fast construction phase, AliCPT is Chinaâs first CMB project that plans for commissioning in 2019. Led by the Institute of High Energy Physics (IHEP) under the Chinese Academy of Sciences (CAS), the project is a worldwide collaboration of more than fifteen universities and research institutes. Ali CMB Project is briefly introduced.

categories: astro-ph.IM astro-ph.CO gr-qc hep-ph hep-th


title: Galaxy And Mass Assembly (GAMA): The environmental dependence of the galaxy main sequence

abstract: Aims. We aim to investigate if the environment (characterised by the host dark matter halo mass) plays any role in shaping the galaxy star formation main sequence (MS). Methods. The Galaxy and Mass Assembly project (GAMA) combines a spectroscopic survey with photometric information in 21 bands from the far-ultraviolet (FUV) to the far-infrared (FIR). Stellar masses and dust-corrected star-formation rates (SFR) are derived from spectral energy distribution (SED) modelling using MAGPHYS. We use the GAMA galaxy group catalogue to examine the variation of the fraction of star-forming galaxies (SFG) and properties of the MS with respect to the environment. Results. We examine the environmental dependence for stellar mass selected samples without preselecting star-forming galaxies and study any dependence on the host halo mass separately for centrals and satellites out to z ~ 0.3. We find the SFR distribution at fixed stellar mass can be described by the combination of two Gaussians (referred to as the star-forming Gaussian and the quiescent Gaussian). Using the observed bimodality to define SFG, we investigate how the fraction of SFG F(SFG) and properties of the MS change with environment. For centrals, the position of the MS is similar to the field but with a larger scatter. No significant dependence on halo mass is observed. For satellites, the position of the MS is almost always lower (by ~0.2 dex) compared to the field and the width is almost always larger. F(SFG) is similar between centrals (in different halo mass bins) and field galaxies. However, for satellites F(SFG) decreases with increasing halo mass and this dependence is stronger towards lower redshift.


title: Resilience against Misbehaving Nodes in Asynchronous Networks

abstract: Network systems are one of the most active research areas in the engineering community as they feature a paradigm shift from centralized to distributed control and computation. When dealing with network systems, a fundamental challenge is to ensure their functioning even when some of the network nodes do not operate as intended due to faults or attacks. The objective of this paper is to address the problem of resilient consensus in a context where the nodes have their own clocks, possibly operating in an asynchronous way, and can make updates at arbitrary time instants. The results represent a first step towards the development of resilient event-triggered and self-triggered coordination protocols.


title: Experimental study of heterogeneous organic chemistry induced by far ultraviolet light: Implications for growth of organic aerosols by CH3 addition in the atmospheres of Titan and early Earth

abstract: Formation of organic aerosols driven by photochemical reactions has been observed and suggested in CH4-containing atmospheres, including Titan and early Earth. However the detailed production and growth mechanisms of organic aerosols driven by solar far ultraviolet (FUV) light remain poorly constrained. We conducted laboratory experiments simulating photochemical reactions in a CH4-CO2 atmosphere driven by the FUV radiations dominated by the Lyman-{\alpha} line. In the experiments, we analyzed time variations in thickness and infrared spectra of solid organic film formed on an optical window in a reaction cell. Gas species formed by FUV irradiation were also analyzed and compared with photochemical model calculations. Our experimental results show that the growth rate of the organic film decreases as the CH4/CO2 ratio of reactant gas mixture decreases, and that the decrease becomes very steep for CH4/CO2 < 1. Comparison with photochemical model calculations suggests that polymerizations of gas-phase hydrocarbons, such as polyynes and aromatics, cannot account for the growth rate of the organic film but that the addition reaction of CH3 radicals onto the organic film with the reaction probability around 10-2 can explain the growth rate. At CH4/CO2 < 1, etching by O atom formed by CO2 photolysis would reduce or inhibit the growth of the organic film. Our results suggest that organic aerosols would grow through CH3 addition onto the surface during the precipitation of aerosol particles in the middle atmosphere of Titan and early Earth. On Titan, effective CH3 addition would reduce C2H6 production in the atmosphere. On early Earth, growth of aerosol particles would be less efficient than those on Titan, possibly resulting in small-sized monomers and influencing UV shielding.


title: Boundedness of solutions for the reversible system with low regularity in time

abstract: In the present paper, it is proved that all solutions are bounded for the reversible system \ddot{x}+\sum_{i=0}^{l}b_{i}(t)x^{2i+1}\dot{x}+x^{2n+1}+\sum_{i=0}^{n-1}a_{i}(t)x^{2i+1}=0, 0\leq l\leq [\frac{n}{2}]-1,t\in\mathbb{T}^{1}=\mathbb{R}/\mathbb{Z}, where a_{i}(t)\in C^{1}(\mathbb{T}^{1})\;([\frac{n-1}{2}]+1\leq i\leq n-1), a_{j}(t)\in L^{1}(\mathbb{T}^{1})\;(0\leq j\leq [\frac{n-1}{2}]) and b_{k}(t)\in C^{1}(\mathbb{T}^{1})\;(0\leq k\leq l).


title: The envelope of the power spectra of over a thousand \delta Scuti stars. The $\bar{T}_{eff}$-$\nu_{max}$ scaling relation

abstract: CoRoT and Kepler high-precision photometric data allowed the detection and characterization of the oscillation parameters in stars other than the Sun. Moreover, thanks to the scaling relations, it is possible to estimate masses and radii for thousands of solar-type oscillating stars. Recently, a \Delta\nu - \rho relation has been found for \delta Scuti stars. Now, analyzing several hundreds of this kind of stars observed with CoRoT and Kepler, we present an empiric relation between their frequency at maximum power of their oscillation spectra and their effective temperature. Such a relation can be explained with the help of the \kappa-mechanism and the observed dispersion of the residuals is compatible with they being caused by the gravity-darkening effect.


title: A projector-based convergence proof of the Ginelli algorithm for covariant Lyapunov vectors

abstract: Linear perturbations of solutions of dynamical systems exhibit different asymptotic growth rates, which are naturally characterized by so-called covariant Lyapunov vectors (CLVs). Due to an increased interest of CLVs in applications, several algorithms were developed to compute them. The Ginelli algorithm is among the most commonly used. Although several properties of the algorithm have been analyzed, there exists no mathematically rigorous convergence proof yet. In this article we extend existing approaches in order to construct a projector-based convergence proof of Ginelli's algorithm. One of the main ingredients will be an asymptotic characterization of CLVs via the Multiplicative Ergodic Theorem. In the proof, we keep a rather general setting allowing even for degenerate Lyapunov spectra.


title: Group-velocity-controlled and gate-tunable directional excitation of polaritons in graphene-boron nitride heterostructures

abstract: A fundamental building block in nano-photonics is the ability to directionally excite highly squeezed optical mode dynamically, particularly with an electrical bias. Such capabilities would enable the active manipulation of light propagation for information processing and transfer. However, when the optical source is built-in, it remains challenging to steer the excitation directionality in a flexible way. Here, we reveal a novel mechanism for tunable directional excitation of highly squeezed polaritons in graphene-hexagonal boron nitride (hBN) heterostructures. The effect relies on controlling the sign of the group velocity of the coupled plasmon-phonon polaritons, which can be flipped by simply tuning the chemical potential of graphene (through electrostatic gating) in the heterostructures. Graphene-hBN heterostructure thus present a promising platform toward nano-photonic circuits and nano-devices with electrically reconfigurable functionalities.


title: Multi-RATs Support to Improve V2X Communication

abstract: As the next generation of wireless system targets at providing a wider range of services with divergent QoS requirements, new applications will be enabled by the fifth generation (5G) network. Among the emerging applications, vehicle-to-everything (V2X) communication is an important use case targeted by 5G to enable an improved traffic safety and traffic efficiency. Since the V2X communication requires a low end-to-end (E2E) latency and an ultra-high reliability, the legacy cellular networks can not meet the service requirement. In this work, we inspect on the system performance of applying the LTE-Uu and PC5 interfaces to enable the V2X communication. With the LTE-Uu interface, one V2X data packet is transmitted through the cellular network infrastructure, while the PC5 interface facilitates the direct V2X communication without involving the network infrastructure in user-plane. In addition, due to the high reliability requirement, the application of a single V2X transmission technology can not meet the targets in some scenarios. Therefore, we also propose a multi-radio access technologies (multi-RATs) scheme where the data packet travels through both the LTE-Uu and PC5 interfaces to obtain a diversity gain. Last but not least, in order to derive the system performance, a system level simulator is implemented in this work. The numerical results provide us insights on how the different technologies will perform in different scenarios and also validate the proposed multi-RATs scheme.


title: The geometry of off-the-grid compressed sensing

abstract: This paper presents a sharp geometric analysis of the recovery performance of sparse regularization. More specifically, we analyze the BLASSO method which estimates a sparse measure (sum of Dirac masses) from randomized sub-sampled measurements. This is a "continuous", often called off-the-grid, extension of the compressed sensing problem, where the $\ell^1$ norm is replaced by the total variation of measures. This extension is appealing from a numerical perspective because it avoids to discretize the the space by some grid. But more importantly, it makes explicit the geometry of the problem since the positions of the Diracs can now freely move over the parameter space. On a methodological level, our contribution is to propose the Fisher geodesic distance on this parameter space as the canonical metric to analyze super-resolution in a way which is invariant to reparameterization of this space. Switching to the Fisher metric allows us to take into account measurement operators which are not translation invariant, which is crucial for applications such as Laplace inversion in imaging, Gaussian mixtures estimation and training of multilayer perceptrons with one hidden layer. On a theoretical level, our main contribution shows that if the Fisher distance between spikes is larger than a Rayleigh separation constant, then the BLASSO recovers in a stable way a stream of Diracs, provided that the number of measurements is proportional (up to log factors) to the number of Diracs. We measure the stability using an optimal transport distance constructed on top of the Fisher geodesic distance. Our result is (up to log factor) sharp and does not require any randomness assumption on the amplitudes of the underlying measure. Our proof technique relies on an infinite-dimensional extension of the so-called "golfing scheme" which operates over the space of measures and is of general interest.


title: AEkNN: An AutoEncoder kNN-based classifier with built-in dimensionality reduction

abstract: High dimensionality, i.e. data having a large number of variables, tends to be a challenge for most machine learning tasks, including classification. A classifier usually builds a model representing how a set of inputs explain the outputs. The larger is the set of inputs and/or outputs, the more complex would be that model. There is a family of classification algorithms, known as lazy learning methods, which does not build a model. One of the best known members of this family is the kNN algorithm. Its strategy relies on searching a set of nearest neighbors, using the input variables as position vectors and computing distances among them. These distances loss significance in high-dimensional spaces. Therefore kNN, as many other classifiers, tends to worse its performance as the number of input variables grows. In this work AEkNN, a new kNN-based algorithm with built-in dimensionality reduction, is presented. Aiming to obtain a new representation of the data, having a lower dimensionality but with more informational features, AEkNN internally uses autoencoders. From this new feature vectors the computed distances should be more significant, thus providing a way to choose better neighbors. A experimental evaluation of the new proposal is conducted, analyzing several configurations and comparing them against the classical kNN algorithm. The obtained conclusions demonstrate that AEkNN offers better results in predictive and runtime performance.


title: Non-adiabatic effects in periodically driven-dissipative open quantum systems

abstract: We present a general method to calculate the quasi-stationary state of a driven-dissipative system coupled to a transmission line (and more generally, to a reservoir) under periodic modulation of its parameters. Using Floquet's theorem, we formulate the differential equation for the system's density operator which has to be solved for a single period of modulation. On this basis we also provide systematic expansions in both the adiabatic and high-frequency regime. Applying our method to three different systems -- two- and three-level models as well as the driven nonlinear cavity -- we propose periodic modulation protocols of parameters leading to a temporary suppression of effective dissipation rates, and study the arising non-adiabatic features in the response of these systems.


title: Community Paper on Radio Astronomy Infrastructures

abstract: Radio astronomy has experienced phenomenal progress in recent years due to advances in digital technologies and processing speed, the development of new technologies, and the prospect for new powerful facilities A new generation of radio interferometers is opening new windows to the Universe. LOFAR, the world largest telescope, extended the classical radio window at low frequencies. ALMA started a new era at millimetre wavelengths and the planned SKA will revolutionize the sciences of the Universe, well beyond the traditional limits of astronomy. Radio astronomy research is making leaps with enhancements in resolution, sensitivity, and image fidelity. In Germany, the community has access to excellent facilities and training opportunities. The Effelsberg telescope remains the flagship of radio astronomical research at centimeter wavelengths and serves as a test bed for new technologies, LOFAR has notably expanded the German community and now includes six German stations and a LOFAR long term archive coordinated by the GLOW consortium. The SKA will be a transformational astronomical facility in the coming decade(s), and the German community is looking forward to broadly participate in SKA-enabled research.


title: Translating solitons of the mean curvature flow asymptotic to hyperplanes in $\mathbb{R}^{n+1}$

abstract: A translating soliton is a hypersurface $M$ in $\mathbb{R}^{n+1}$ such that the family $M_t= M- t \,\mathbf{e}_{n+1}$ is a mean curvature flow, i.e., such that normal component of the velocity at each point is equal to the mean curvature at that point $\mathbf{H}=\mathbf{e}_{n+1}^{\perp}.$ In this paper we obtain a characterization of hyperplanes which are parallel to $\mathbf{e}_{n+1}$ and the family of tilted grim reaper cylinders as the only translating solitons in $\mathbb{R}^{n+1}$ which are $C^1$-asymptotic to two half-hyperplanes outside a non-vertical cylinder. This result was proven for translators in $\mathbb{R}^3$ by the second author, Perez-Garcia, Savas-Halilaj and Smoczyk under the additional hypotheses that the genus of the surface was locally bounded and the cylinder was perpendicular to the translating velocity.


title: Parameterized verification of synchronization in constrained reconfigurable broadcast networks

abstract: Reconfigurable broadcast networks provide a convenient formalism for modelling and reasoning about networks of mobile agents broadcasting messages to other agents following some (evolving) communication topology. The parameterized verification of such models aims at checking whether a given property holds irrespective of the initial configuration (number of agents, initial states and initial communication topology). We focus here on the synchronization property, asking whether all agents converge to a set of target states after some execution. This problem is known to be decidable in polynomial time when no constraints are imposed on the evolution of the communication topology (while it is undecidable for static broadcast networks). In this paper we investigate how various constraints on reconfigurations affect the decidability and complexity of the synchronization problem. In particular, we show that when bounding the number of reconfigured links between two communications steps by a constant, synchronization becomes undecidable; on the other hand, synchronization remains decidable in PTIME when the bound grows with the number of agents.


title: On degrees of birational mappings

abstract: We prove that the degrees of the iterates ${\rm deg}(f^n)$ of a birational map satisfy $\liminf({\rm deg}(f^n))<+\infty$ if and only if the sequence ${\rm deg}(f^n)$ is bounded, and that the growth of ${\rm deg}(f^n)$ can not be arbitrarily slow, unless ${\rm deg}(f^n)$ is bounded.


title: Optimized Algorithms to Sample Determinantal Point Processes

abstract: In this technical report, we discuss several sampling algorithms for Determinantal Point Processes (DPP). DPPs have recently gained a broad interest in the machine learning and statistics literature as random point processes with negative correlation, i.e., ones that can generate a "diverse" sample from a set of items. They are parametrized by a matrix $\mathbf{L}$, called $L$-ensemble, that encodes the correlations between items. The standard sampling algorithm is separated in three phases: 1/~eigendecomposition of $\mathbf{L}$, 2/~an eigenvector sampling phase where $\mathbf{L}$'s eigenvectors are sampled independently via a Bernoulli variable parametrized by their associated eigenvalue, 3/~a Gram-Schmidt-type orthogonalisation procedure of the sampled eigenvectors. In a naive implementation, the computational cost of the third step is on average $\mathcal{O}(N\mu^3)$ where $\mu$ is the average number of samples of the DPP. We give an algorithm which runs in $\mathcal{O}(N\mu^2)$ and is extremely simple to implement. If memory is a constraint, we also describe a dual variant with reduced memory costs. In addition, we discuss implementation details often missing in the literature.


title: Random triangles in random graphs

abstract: In a recent paper, Oliver Riordan shows that for $r \ge 4$ and $p$ up to and slightly larger than the threshold for a $K_r$-factor, the hypergraph formed by the copies of $K_r$ in $G(n,p)$ contains a copy of the binomial random hypergraph $H=H_r(n,\pi)$ with $\pi \sim p^{r \choose 2}$. For $r=3$, he gives a slightly weaker result where the density in the random hypergraph is reduced by a constant factor. Recently, Jeff Kahn announced an asymptotically sharp bound for the threshold in Shamir's hypergraph matching problem for all $r \ge 3$. With Riordan's result, this immediately implies an asymptotically sharp bound for the threshold of a $K_r$-factor in $G(n,p)$ for $r \ge 4$. In this note, we resolve the missing case $r=3$ by modifying Riordan's argument. This means that Kahn's result also implies a sharp bound for triangle factors in $G(n,p)$.


title: Hexagonal Ti2B2 monolayer: A Promising Anode Material Offering High Rate Capability for Li-Ion and Na-Ion Batteries

abstract: Combining first-principles density functional method and crystal structure prediction techniques, we report a series of hexagonal two-dimensional (2D) transition metal borides (TMBs) including Sc2B2, Ti2B2, V2B2, Cr2B2, Y2B2, Zr2B2, and Mo2B2. Their dynamic and thermal stabilities are testified by phonon and molecular dynamics simulations. We investigate the potential of 2D Ti2B2 monolayer as the anode material for Li-ion batteries (LIBs) and Na-ion batteries (NIBs). The Ti2B2 monolayer possesses high theoretical specific capacities of 456 and 1027 mAhg-1 for Li and Na, respectively. The very high Li/Na diffusivity with ultralow energy barrier of 0.017/0.008 eV indicates an excellent charge-discharge capability. In addition, the good electronic conductivity during the whole lithiation process is found by electronic structure calculations. The very small change in volume after the adsorption of one, two, and three layers of Li and Na ions indicates that the Ti2B2 monolayer is robust. These results highlight the suitability of Ti2B2 monolayer as well as the other 2D TMBs as excellent anode materials for both LIBs and NIBs.


title: IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases

abstract: Storage systems based on Weak Consistency provide better availability and lower latency than systems that use Strong Consistency, especially in geo-replicated settings. However, under Weak Consistency, it is harder to ensure the correctness of applications, as the execution of uncoordinated operations may lead to invalid states. In this paper we show how to modify an application to make it run correctly under Weak Consistency. We developed an analysis that detects which operations need to be corrected, and proposes possible modifications to operations to prevent inconsistencies. This analysis allows the programmer to choose the preferred semantics for each problematic execution, while preserving the original semantics of operations when no conflicts occur. The modified application runs with small overhead when compared with its Weak Consistency counterpart, which cannot preserve application correctness.


title: Diagonal entropy in many-body systems: Volume effect and quantum phase transitions

abstract: We investigate the diagonal entropy(DE) of the ground state for quantum many-body systems, including the XY model and the Ising model with next nearest neighbour interactions. We focus on the DE of a subsystem of L continuous spins. We show that the DE in many-body systems, regardless of integrability, can be represented as a volume term plus a logarithmic correction and a constant offset. Quantum phase transition points can be explicitly identified by the three coefficients thereof. Besides, by combining entanglement entropy and the relative entropy of quantum coherence, as two celebrated representatives of quantumness, we simply obtain the DE, which naturally has the potential to reveal the information of quantumness. More importantly, the DE is concerning only the diagonal form of the ground state reduced density matrix, making it feasible to measure in real experiments, and therefore it has immediate applications in demonstrating quantum supremacy on state-of-the-art quantum simulators.


title: The asymptotic behaviour of convex combinations of firmly nonexpansive mappings

abstract: We show that in the framework of CAT(0) spaces, any convex combination of two mappings which are firmly nonexpansive -- or which satisfy the more general property $(P_2)$ -- is asymptotically regular, conditional on its fixed point set being nonempty, and, in addition, also $\Delta$-convergent to such a fixed point. These results are established by the construction and study of a convex combination metric on the Cartesian square of a CAT(0) space. We also derive a uniform rate of asymptotic regularity in the sense of proof mining. All these results are then interpreted in the special case of the mappings being projections onto closed, convex sets.


title: The nonlinear states of viscous capillary jets confined in the axial direction

abstract: We report an experimental and theoretical study of the global stability and nonlinear dynamics of vertical jets of viscous liquid confined in the axial direction due to their impact on a bath of the same liquid. Previous works demonstrated that in the absence of axial confinement the steady liquid thread becomes unstable due to an axisymmetric global mode for values of the flow rate, $Q$, below a certain critical value, $Q_c$, giving rise to oscillations of increasing amplitude that finally lead to a dripping regime (Sauter & Buggisch, J. Fluid Mech., 2005; Rubio-Rubio et al., J. Fluid Mech., 2013). Here we focus on the effect of the jet length, $L$, on the transitions that take place for decreasing values of $Q$. The linear stability analysis shows good agreement with our experiments, revealing that $Q_c$ increases monotonically with $L$, reaching the semi-infinite jet asymptote for large values of $L$. Moreover, as $L$ decreases a quasi-static limit is reached, whereby $Q_c \to 0$ and the neutral conditions are given by a critical length determined by hydrostatics. Our experiments have also revealed the existence of a new regime intermediate between steady jetting and dripping, in which the thread reaches a limit-cycle state without breakup. We thus show that there exist three possible states depending on the values of the control parameters, namely steady jetting, oscillatory jetting and dripping. For two different combinations of liquid viscosity, and injector radius, $R$, the boundaries separating these regimes have been determined in the $Q-L$ parameter plane, showing that steady jetting exists for small enough values of $L$ or large enough values of $Q$, dripping prevails for small enough values of $Q$ or sufficiently large values of $L$, and oscillatory jetting takes place in an intermediate region whose size increases with the liquid viscosity and decreases with $R$.


title: Coloring black boxes: visualization of neural network decisions

abstract: Neural networks are commonly regarded as black boxes performing incomprehensible functions. For classification problems networks provide maps from high dimensional feature space to K-dimensional image space. Images of training vector are projected on polygon vertices, providing visualization of network function. Such visualization may show the dynamics of learning, allow for comparison of different networks, display training vectors around which potential problems may arise, show differences due to regularization and optimization procedures, investigate stability of network classification under perturbation of original vectors, and place new data sample in relation to training data, allowing for estimation of confidence in classification of a given sample. An illustrative example for the three-class Wine data and five-class Satimage data is described. The visualization method proposed here is applicable to any black box system that provides continuous outputs.


title: Pure spin currents in magnetically ordered insulator/normal metal heterostructures

abstract: Pure spin currents, i.e. the transport of angular momentum without an accompanying charge current, represent a new, promising avenue in modern spintronics from both a fundamental and an application point of view. Such pure spin currents can not only flow in electrical conductors via mobile charge carriers, but also in magnetically ordered electrical insulators as a flow of spin excitation quanta. Over the course of the last years remarkable results have been obtained in heterostructures consisting of magnetically ordered insulators interfaced with a normal metal, where a pure spin current flows across the interface. This topical review article deals with the fundamental principles, experimental findings and recent developments in the field of pure spin currents in magnetically ordered insulators. We here put our focus onto four different manifestations of pure spin currents in such heterostructures: The spin pumping effect, the longitudinal spin Seebeck effect, the spin Hall magnetoresistance and the all-electrical detection of magnon transport in non-local device concepts. In this article, we utilize a common theoretical framework to explain all four effects and explain important material systems (especially rare-earth iron garnets) used in the experiments. For each effect we introduce basic measurement techniques and detection schemes and discuss their application in the experiment. We account for the remarkable progress achieved in each field by reporting the recent progress in each field and by discussing research highlights obtained in our group. Finally, we conclude the review article with an outlook on future challenges and obstacles in the field of pure spin currents in magnetically ordered insulator / normal metal heterostructures.


title: Local geometric control of a certain mechanism with the growth vector (4,7)

abstract: We study local control of the mechanism with the growth vector (4,7). We study controllability and extremal trajectories on the nilpotent approximation as an example of the control theory on Lie group. We give solutions of the system an show examples of local extremal trajectories.


title: A femtoscopic Correlation Analysis Tool using the Schr\"odinger equation (CATS)

abstract: We present a new analysis framework called "Correlation Analysis Tool using the Schr\"odinger equation" (CATS) which computes the two-particle femtoscopy correlation function $C(k)$, with $k$ being the relative momentum for the particle pair. Any local interaction potential and emission source function can be used as an input and the wave function is evaluated exactly. In this paper we present a study on the sensitivity of $C(k)$ to the interaction potential for different particle pairs: p-p, p-$\mathrm{\Lambda}$, $\mathrm{K^-}$-p, $\mathrm{K^+}$-p, p-$\mathrm{\Xi}^-$ and $\mathrm{\Lambda}$-$\mathrm{\Lambda}$. For the p-p Argonne $v_{18}$ and Reid Soft-Core potentials have been tested. For the other pair systems we present results based on strong potentials obtained from effective Lagrangians such as $\chi$EFT for p-$\mathrm{\Lambda}$, J\"ulich models for $\mathrm{K(\bar{K})}$-N and Nijmegen models for $\mathrm{\Lambda}$-$\mathrm{\Lambda}$. For the p-$\mathrm{\Xi}^-$ pairs we employ the latest lattice results from the HAL QCD collaboration. Our detailed study of different interacting particle pairs as a function of the source size and different potentials shows that femtoscopic measurements can be exploited in order to constrain the final state interactions among hadrons. In particular, small collision systems of the order of 1~fm, as produced in pp collisions at the LHC, seem to provide a suitable environment for quantitative studies of this kind.


title: The electric quadrupole channel of the 7.8 eV $~^{229}\mathrm{Th}$ transition

abstract: The unique isomeric transition at 7.8 eV in $~^{229}\mathrm{Th}$ has a magnetic dipole ($M1$) and an electric quadrupole ($E2$) multipole mixing. So far, the $E2$ component has been widely disregarded. Here, we investigate the nuclear physics nature and the impact of the $E2$ decay channel for the nuclear coupling to the atomic shell based on the newest theoretical predictions for the corresponding reduced nuclear transition probabilities. Our results show that the contribution of the $E2$ channel is dominant or at least of the same order of magnitude for internal conversion or electronic bridge transitions involving the atomic orbitals $7p$, $6d$ and $5f$. Notable exceptions are the internal conversion of the $7s$ electron and the electronic bridge between the electronic states $7s$ and $7p$, for which the $M1$ component dominates by two to three orders of magnitude. Caution is therefore advised when considering isomeric excitation or decay via nuclear coupling to the atomic shell, as the involved orbitals determine which multipole transition component dominates.


title: GPU Implementation and Optimization of a Flexible MAP Decoder for Synchronization Correction

abstract: In this paper we present an optimized parallel implementation of a flexible MAP decoder for synchronization error correcting codes, supporting a very wide range of code sizes and channel conditions. On mid-range GPUs we demonstrate decoding speedups of more than two orders of magnitude over a CPU implementation of the same optimized algorithm, and more than an order of magnitude over our earlier GPU implementation. The prominent challenge is to maintain high parallelization efficiency over a wide range of code sizes and channel conditions, and different execution hardware. We ensure this with a dynamic strategy for choosing parallel execution parameters at run-time. We also present a variant that trades off some decoding speed for significantly reduced memory requirement, with no loss to the decoder's error correction performance. The increased throughput of our implementation and its ability to work with less memory allow us to analyse larger codes and poorer channel conditions, and makes practical use of such codes more feasible.


title: Business Rules in e-Government Applications

abstract: The introduction of Information and Communication Technologies (ICT) into public administrations has been radically changing the way organizations cooperate and, more generally, the way to think about business processes over organizational boundaries. In this paper we describe our approach to combining business processes with business rules in order to integrate effectively single units in an inter- or intra-organizational cooperation. Business rules represent the knowledge that an administration has about its business; with regard to this, they can express strategies, contracts and can influence not only staff relations, but, finally, citizen relations, as well. In other words, business rules are the core of an administration and affect either the business processes or the behaviours of the system participants. They are typically expressed implicitly in business contracts and they are embedded within the source code of many application modules. So a concise and declarative statement of business behaviour is converted into a set of programming instructions, which are spread widely throughout the whole information system. In this way, business rules are difficult to change and keep consistent over the time. For this reason, it is necessary to reengineer the system in order to logically and perhaps physically externalize rules from the application code. In our proposed approach, we describe a cooperation as a collection of tasks combined in certain ways according to the organization logic specified by business rules. Our rule-driven methodology has the goal to make the business process design more adaptable to the changes of internal or external environment.


title: Subgroups of elliptic elements of the Cremona group

abstract: The Cremona group is the group of birational transformations of the complex projective plane. In this paper we classify its subgroups that consist only of elliptic elements using elementary model theory. This yields in particular a description of the structure of torsion subgroups. As an appliction, we prove the Tits alternative for arbitrary subgroups of the Cremona group, generalizing a result of Cantat. We also describe solvable subgroups of the Cremona group and their derived length, refining results from D\'eserti.


title: Non-classicality of coherent state mixtures

abstract: Mixtures of coherent states are commonly regarded as classical. Here we show that there is a quantum advantage in discriminating between coherent states in a mixture, implying the presence of quantum properties in the mixture, which are however not captured by commonly used non-classicality measures. We identify a set of desired properties for any non-classicality measure that aims to capture these quantum features, and define the discord potential CD, which we show to satisfy all those properties. We compare the discord potential with recently proposed coherence monotones, and prove that the coherence monotones diverge for classically distinguishable states, thus indicating their failure to quantify non-classicality in this limit. On the technical side, we provide a simple method of calculating the discord as well as other information-theoretic quantities for the (non-Gaussian) output of any input state with positive P-function.


title: Graph polynomials and symmetries

abstract: In a recent paper, we studied the interaction between the automorphism group of a graph and its Tutte polynomial. More precisely, we proved that certain symmetries of graphs are clearly reflected by their Tutte polynomials. The purpose of this paper is to extend this study to other graph polynomials. In particular, we prove that if a graph $G$ has a symmetry of prime order $p$, then its characteristic polynomial, with coefficients in the finite filed $\mathbb{F}_p$, is determined by the characteristic polynomial of its quotient graph $\overline G$. Similar results are also proved for some generalization of the Tutte polynomial.


title: Uncertainty relation based on Wigner-Yanase-Dyson skew information with quantum memory

abstract: We present uncertainty relations based on Wigner--Yanase--Dyson skew information with quantum memory. Uncertainty inequalities both in product and summation forms are derived. \mbox{It is} shown that the lower bounds contain two terms: one characterizes the degree of compatibility of two measurements, and the other is the quantum correlation between the measured system and the quantum memory. Detailed examples are given for product, separable and entangled states.


title: Loss revives bistable state near the exceptional point in a non-Hermitian microwave photonic meta-molecule

abstract: By exploring the extraordinary property of exceptional points (EPs) in non-Hermitian systems, we here demonstrate that losses can play constructive roles in controlling bistable states. We experimentally realize the EP in a non-Hermitian meta-molecule of coupled resonators in microwave regime. By increasing the loss, we first observe the bistable state suppression at the weak-dissipative regime, but then the bistable state recovery in strong-dissipative regime. Both the experimental and theoretical analysis demonstrate that the revival of bistable states results from the revival of the field intensity after the system encounters EPs, in spite of the increasing loss. Our results provide an alternative way to controlling and manifesting bistable systems, so as to achieve flexible photonic devices, not limited to the microwave regime.


title: Generic steady state bifurcations in monoid equivariant dynamics with applications in homogeneous coupled cell systems

abstract: We prove that steady state bifurcations in finite-dimensional dynamical systems that are symmetric with respect to a monoid representation generically occur along an absolutely indecomposable subrepresentation. This is stated as a conjecture in B. Rink and J. Sanders, "Coupled cell networks and their hidden symmetries", SIAM J. Math. Anal., 46 (2014). It is a generalization of the well-known fact that generic steady state bifurcations in equivariant dynamical systems occur along an absolutely irreducible subrepresentation if the symmetries form a group - finite or compact Lie. Our generalization also includes non-compact symmetry groups. The result has applications in bifurcation theory of homogeneous coupled cell networks as they can be embedded (under mild additional assumptions) into monoid equivariant systems.


title: New exact results on density matrix for XXX spin chain

abstract: Using the fermionic basis we obtain the expectation values of all $\slt$-invariant and $C$-invariant local operators on 10 sites for the anisotropic six-vertex model on a cylinder with generic Matsubara data. This is equivalent to the generalised Gibbs ensemble for the XXX spin chain. In the case when the $\slt$ and $C$ symmetries are not broken this computation is equivalent to finding the entire density matrix up to 10 sites. As application, we compute the entanglement entropy without and with temperature, and compare the results with CFT predictions.


title: Stateful Behavioral Types for ABS

abstract: It is notoriously hard to correctly implement a multiparty protocol which involves asynchronous/concurrent interactions and the constraints on states of multiple participants. To assist developers in implementing such protocols, we propose a novel specification language to specify interactions within multiple object-oriented actors and the side-effects on heap memory of those actors; a behavioral-type-based analysis is presented for type checking. Our specification language formalizes a protocol as a global type, which describes the procedure of asynchronous method calls, the usage of futures, and the heap side-effects with a first-order logic. To characterize runs of instances of types, we give a model-theoretic semantics for types and translate them into logical constraints over traces. We prove protocol adherence: If a program is well-typed w.r.t. a protocol, then every trace of the program adheres to the protocol, i.e., every trace is a model for the formula of its type.


title: Complex Octahedral Tilt Phases in the Ferroelectric Perovskite System Li$_x$Na$_{1-x}$NbO$_3$

abstract: High-temperature phase behavior in the system LixNa1-xNbO3 has been studied by using high-resolution powder neutron diffraction. Each of the three compositions studied in the Na-rich part of the phase diagram (x = 0.03, 0.08 and 0.12) shows evidence for distinct and complex structural modulations based on different tilting schemes of NbO6 octahedral units. Whilst octahedral tilting is prevalent in the structural chemistry of perovskites the nature of complexity of the phases observed here is unprecedented. Neither of the long-range tilt phases observed in NaNbO3 itself occurs here; instead a novel phase with a well-defined 4-fold superlattice is observed for the composition Li0.12Na0.88NbO3, and yet more complex phases with modulations based on 20-fold and 30-fold repeats are observed for Li0.03Na0.97NbO3 and Li0.08Na0.92NbO3, respectively. This peculiar structural behavior makes the system LixNa1-xNbO3 the most structurally complex 'simple' perovskite known.


title: Tracing the atomic nitrogen abundance in star-forming regions with ammonia deuteration

abstract: Partitioning of elemental nitrogen in star-forming regions is not well constrained. Most nitrogen is expected to be partitioned among atomic nitrogen, molecular nitrogen (N2), and icy N-bearing molecules, such as ammonia (NH3) and N2. Atomic nitrogen is not directly observable in the cold gas. In this paper, we propose an indirect way to constrain the amount of atomic nitrogen in the cold gas of star-forming clouds, via deuteration in ammonia ice, the [ND2H/NH2D]/[NH2D/NH3] ratio. Using gas-ice astrochemical simulations, we show that if atomic nitrogen remains as the primary reservoir of nitrogen during cold ice formation stages, the [ND2H/NH2D]/[NH2D/NH3] ratio is close to the statistical value of 1/3 and lower than unity, whereas if atomic nitrogen is largely converted into N-bearing molecules, the ratio should be larger than unity. Observability of ammonia isotopologues in the inner hot regions around low-mass protostars, where ammonia ice has sublimated, is also discussed. We conclude that the [ND2H/NH2D]/[NH2D/NH3] ratio can be quantified using a combination of VLA and ALMA observations with reasonable integration times, at least toward IRAS 16293-2422 where high molecular column densities are expected.


title: Electronic entropy in Green's-function calculations at finite temperatures

abstract: We revise critically existing approaches to evaluation of thermodynamic potentials within the Green's function calculations at finite electronic temperatures. We focus on the entropy and show that usual technical problems related to the multivalued nature of the complex logarithm can be overcome. This results in a simple expression for the electronic entropy, which does not require any contour integration in the complex energy plane. Properties of the developed formalism are discussed and its illustrating applications to selected model systems and to bcc iron with disordered local magnetic moments are presented as well.


title: Benchmarking Distributed Stream Data Processing Systems

abstract: The need for scalable and efficient stream analysis has led to the development of many open-source streaming data processing systems (SDPSs) with highly diverging capabilities and performance characteristics. While first initiatives try to compare the systems for simple workloads, there is a clear gap of detailed analyses of the systems' performance characteristics. In this paper, we propose a framework for benchmarking distributed stream processing engines. We use our suite to evaluate the performance of three widely used SDPSs in detail, namely Apache Storm, Apache Spark, and Apache Flink. Our evaluation focuses in particular on measuring the throughput and latency of windowed operations, which are the basic type of operations in stream analytics. For this benchmark, we design workloads based on real-life, industrial use-cases inspired by the online gaming industry. The contribution of our work is threefold. First, we give a definition of latency and throughput for stateful operators. Second, we carefully separate the system under test and driver, in order to correctly represent the open world model of typical stream processing deployments and can, therefore, measure system performance under realistic conditions. Third, we build the first benchmarking framework to define and test the sustainable performance of streaming systems. Our detailed evaluation highlights the individual characteristics and use-cases of each system.


title: Spherical harmonics and rigged Hilbert spaces

abstract: This paper is devoted to study discrete and continuous bases for spaces supporting representations of SO(3) and SO(3,2) where the spherical harmonics are involved. We show how discrete and continuous bases coexist on appropriate choices of rigged Hilbert spaces. We prove the continuity of relevant operators and the operators in the algebras spanned by them using appropriate topologies on our spaces. Finally, we discuss the properties of the functionals that form the continuous basis.


title: Holomorphic Curves into Algebraic Varieties Intersecting Divisors in Subgeneral Position

abstract: Recently, there are many developments on the second main theorem for holomorphic curves into algebraic varieties intersecting divisors in general position or subgeneral position. In this paper, we refine the concept of subgeneral position by introducing the notion of the index of subgeneral position. With this new notion we give some surprising improvement of the previous known second main theorem type results. Moreover, via the analogue between Nevanlinna theory and Diophantine approximation, the corresponding Schmidt's subspace type theorems are also established in the final section.


title: Note on the reflectance of mirrors exposed to a strontium beam

abstract: The high chemical reactivity of strontium, which can opacify a viewport exposed to a strontium atomic source, is a concern for some atomic physics experiments where it is sometimes necessary to send a laser beam counter-propagating relative to the atomic beam. While a number of experiments use heated sapphire windows to reduce strontium deposition and increase the viewport lifetime, here we study another possibility, consisting of sending the laser beam into the atomic flux by reflecting it off a mirror at 45$^{\circ}$ exposed to the strontium flux. We present our attempt to find a substrate that can be exposed to strontium and maintain high reflectivity. We first present the formation of a strontium metallic mirror under high flux ($> 10^{13}$ at/s/cm$^2$) on a sapphire substrate, and measure its reflectivity at 45$^\circ$ to be 0.65 (S) and 0.51 (P). On two other substrates, initially reflective metallic mirrors, we show for slightly lower fluxes (i.e., a factor of 3) that some reaction - most probably oxidation - is able to prevent the formation of the metallic layer even in high vacuum conditions. Instead, we observe the growth of a dielectric transparent medium. Despite the continuous deposition of strontium, the back surface reflectivity continues to dominate. We show the unusual evolution of reflectivity on these substrates, and emphasize two observations: i) a sharp threshold in the strontium flux separating transparent material growth from lossy material growth; ii) strontium's highly efficient capture of oxygen, even from rarefied sources: here mostly the residual high vacuum pressure (10$^{-7}$mbar full pressure) and possibly a protective SiO$_2$ surface on one of the substrates.


title: Definable isomorphism problem

abstract: We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying structure of atoms, we prove decidability of the problem. The core result is parameter-elimination: existence of an isomorphism definable with parameters implies existence of an isomorphism definable without parameters.


title: Central Limit theorem for toric \kahler manifolds

abstract: Associated to the Bergman kernels of a polarized toric \kahler manifold $(M, \omega, L, h)$ are sequences of measures $\{\mu_k^z\}_{k=1}^{\infty}$ parametrized by the points $z \in M$. For each $z$ in the open orbit, we prove a central limit theorem for $\mu_k^z$. The center of mass of $\mu_k^z$ is the image of $z$ under the moment map; after re-centering at $0$ and dilating by $\sqrt{k}$, the re-normalized measure tends to a centered Gaussian whose variance is the Hessian of the \kahler potential at $z$. We further give a remainder estimate of Berry-Esseen type. The sequence $\{\mu_k^z\}$ is generally not a sequence of convolution powers and the proofs only involve \kahler analysis.


title: Market Impact: A Systematic Study of Limit Orders

abstract: This paper is devoted to the important yet little explored subject of the market impact of limit orders. Our analysis is based on a proprietary database of metaorders - large orders that are split into smaller pieces before being sent to the market. We first address the case of aggressive limit orders and then, that of passive limit orders. In both cases, we provide empirical evidence of a power law behaviour for the temporary market impact. The relaxation of the price following the end of the metaorder is also studied, and the long-term impact is shown to stabilize at a level of approximately two-thirds of the maximum impact. Finally, a fair pricing condition during the life cycle of the metaorders is empirically validated.


title: The Durham Adaptive Optics Simulation Platform (DASP): Current status

abstract: The Durham Adaptive Optics Simulation Platform (DASP) is a Monte-Carlo modelling tool used for the simulation of astronomical and solar adaptive optics systems. In recent years, this tool has been used to predict the expected performance of the forthcoming extremely large telescope adaptive optics systems, and has seen the addition of several modules with new features, including Fresnel optics propagation and extended object wavefront sensing. Here, we provide an overview of the features of DASP and the situations in which it can be used. Additionally, the user tools for configuration and control are described.


title: Interpretable Charge Predictions for Criminal Cases: Learning to Generate Court Views from Fact Descriptions

abstract: In this paper, we propose to study the problem of COURT VIEW GENeration from the fact description in a criminal case. The task aims to improve the interpretability of charge prediction systems and help automatic legal document generation. We formulate this task as a text-to-text natural language generation (NLG) problem. Sequenceto-sequence model has achieved cutting-edge performances in many NLG tasks. However, due to the non-distinctions of fact descriptions, it is hard for Seq2Seq model to generate charge-discriminative court views. In this work, we explore charge labels to tackle this issue. We propose a label-conditioned Seq2Seq model with attention for this problem, to decode court views conditioned on encoded charge labels. Experimental results show the effectiveness of our method.


title: The Laplacian spectrum of power graphs of some finite abelian p-groups

abstract: The power graph $\mathcal{G}(G)$ of a group $G$ is a simple graph whose vertices are the elements of $G$ and two distinct vertices are adjacent if one is a power of other. In this paper, we investigate the Laplacian spectrum of the power graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$ of finite abelian $p$-group $\mathbb{Z}_{p^m}^n$. In particular, we prove that the spectrum of group $\mathbb{Z}_{p^m}^n$ is contained in the Laplacian spectrum of graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$. For a finite abelian group $G$ whose power graph $\mathcal{G}(G)$ is planar, we also prove that the spectrum of group $G$ is contained in the Laplacian spectrum of graph $\mathcal{G}(G)$.


title: Silicon-plasmonic integrated circuits for terahertz signal generation and coherent detection

abstract: Optoelectronic signal processing offers great potential for generation and detection of ultra-broadband waveforms in the THz range, so-called T-waves. However, fabrication of the underlying high-speed photodiodes and photoconductors still relies on complex processes using dedicated III-V semiconductor substrates. This severely limits the application potential of current T-wave transmitters and receivers, in particular when it comes to highly integrated systems that combine photonic signal processing with optoelectronic conversion to THz frequencies. In this paper, we demonstrate that these limitations can be overcome by plasmonic internal photoemission detectors (PIPED). PIPED can be realized on the silicon photonic platform and hence allow to leverage the enormous opportunities of the associated device portfolio. In our experiments, we demonstrate both T-wave signal generation and coherent detection at frequencies of up to 1 THz. To proof the viability of our concept, we monolithically integrate a PIPED transmitter and a PIPED receiver on a common silicon photonic chip and use them for measuring the complex transfer impedance of an integrated T-wave device.


title: On the classification of rational four-dimensional unital division algebras

abstract: In a paper by E. Dieterich 2017, the category $\mathscr{C}(k)$ of four-dimensional unital division algebras, whose right nucleus is non-trivial and whose automorphism group contains Klein's four group $V$, is studied over a general ground field $k$ with $\mathrm{char}\,k\neq 2$. In particular, the objects in $\mathscr{C}(k)$ are exhaustively constructed from parameters in $k^3$ and explicit isomorphism conditions for the constructed objects are found in terms of these parameters. In this paper, we specialize to the case $k=\mathbb{Q}$ and present results towards a classification of $\mathscr{C}(\mathbb{Q})$. In particular, for each field $\ell$ with $[\ell:k]=2$ we present explicity a two-parameter family of pairwise non-isomorphic non-associative objects in $\mathscr{C}(\mathbb{Q})$ that admit $\ell$ as a subfield and we provide a method for classifying the full subcategory of central skew fields admitting $\ell$ as a subfield and $kV$-submodule. We also classify the subcategory of $\mathscr{C}(\mathbb{Q})$ of all four-dimensional Galois extensions of $\mathbb{Q}$ with Galois group $V$ that admit $\ell$ as a subfield.


title: Exponential-constructible functions in $P$-minimal structures

abstract: Exponential-constructible functions are an extension of the class of constructible functions. This extension was formulated by Cluckers-Loeser in the context of semi-algebraic and sub-analytic structures, when they studied stability under integration. In this paper we will present a natural refinement of their definition that allows for stability results to hold within the wider class of P-minimal structures. One of the main technical improvements is that we remove the requirement of definable Skolem functions from the proofs. As a result, we obtain stability in particular for all intermediate structures between the semi-algebraic and the sub-analytic languages.


title: Graph Similarity and Approximate Isomorphism

abstract: The graph similarity problem, also known as approximate graph isomorphism or graph matching problem, has been extensively studied in the machine learning community, but has not received much attention in the algorithms community: Given two graphs $G,H$ of the same order $n$ with adjacency matrices $A_G,A_H$, a well-studied measure of similarity is the Frobenius distance \[ \mathrm{dist}(G,H):=\min_{\pi}\|A_G^\pi-A_H\|_F, \] where $\pi$ ranges over all permutations of the vertex set of $G$, where $A_G^\pi$ denotes the matrix obtained from $A_G$ by permuting rows and columns according to $\pi$, and where $\|M\|_F$ is the Frobenius norm of a matrix $M$. The (weighted) graph similarity problem, denoted by SIM (WSIM), is the problem of computing this distance for two graphs of same order. This problem is closely related to the notoriously hard quadratic assignment problem (QAP), which is known to be NP-hard even for severely restricted cases. It is known that SIM (WSIM) is NP-hard; we strengthen this hardness result by showing that the problem remains NP-hard even for the class of trees. Identifying the boundary of tractability for WSIM is best done in the framework of linear algebra. We show that WSIM is NP-hard as long as one of the matrices has unbounded rank or negative eigenvalues: hence, the realm of tractability is restricted to positive semi-definite matrices of bounded rank. Our main result is a polynomial time algorithm for the special case where one of the matrices has a bounded clustering number, a parameter arising from spectral graph drawing techniques.


title: Programmable interference between two microwave quantum memories

abstract: Interference experiments provide a simple yet powerful tool to unravel fundamental features of quantum physics. Here we engineer an RF-driven, time-dependent bilinear coupling that can be tuned to implement a robust 50:50 beamsplitter between stationary states stored in two superconducting cavities in a three-dimensional architecture. With this, we realize high contrast Hong-Ou- Mandel (HOM) interference between two spectrally-detuned stationary modes. We demonstrate that this coupling provides an efficient method for measuring the quantum state overlap between arbitrary states of the two cavities. Finally, we showcase concatenated beamsplitters and differential phase shifters to implement cascaded Mach-Zehnder interferometers, which can control the signature of the two-photon interference on-demand. Our results pave the way toward implementation of scalable boson sampling, the application of linear optical quantum computing (LOQC) protocols in the microwave domain, and quantum algorithms between long-lived bosonic memories.