title: Investigation of Nonlinear Communication Channel with Small Dispersion via Stochastic Correlator Approach

abstract: We consider the optical fiber channel modelled by the nonlinear Schr\"{o}dinger equation with additive white Gaussian noise and with large signal-to-noise ratio. For the small dispersion case we present the approach to analyze the stochastic nonlinear Schr\"{o}dinger equation. Taking into account the averaging procedure (frequency filtering) of the output signal detector we find the first corrections in small dispersion parameter to the correlators of the input signal recovered by the backward propagation. These correlators are the important ingredients for the calculation of the channel capacity and the optimal input signal distribution. We assert that the information channel characteristics essentially depend on the procedures of the output signal filtering and the recovery of the transmitted signal.


title: Finding a Bounded-Degree Expander Inside a Dense One

abstract: It follows from the Marcus-Spielman-Srivastava proof of the Kadison-Singer conjecture that if $G=(V,E)$ is a $\Delta$-regular dense expander then there is an edge-induced subgraph $H=(V,E_H)$ of $G$ of constant maximum degree which is also an expander. As with other consequences of the MSS theorem, it is not clear how one would explicitly construct such a subgraph. We show that such a subgraph (although with quantitatively weaker expansion and near-regularity properties than those predicted by MSS) can be constructed with high probability in linear time, via a simple algorithm. Our algorithm allows a distributed implementation that runs in $\mathcal O(\log n)$ rounds and does $\mathcal O(n)$ total work with high probability. The analysis of the algorithm is complicated by the complex dependencies that arise between edges and between choices made in different rounds. We sidestep these difficulties by following the combinatorial approach of counting the number of possible random choices of the algorithm which lead to failure. We do so by a compression argument showing that such random choices can be encoded with a non-trivial compression. Our algorithm bears some similarity to the way agents construct a communication graph in a peer-to-peer network, and, in the bipartite case, to the way agents select servers in blockchain protocols.


title: Search for pressure-induced tricriticality in Cr

abstract: The antiferromagnetic ordering of chromium has long been known for its peculiar physical properties. One of them is the observation of the weak first-order character of the N'eel transition that is explained by the lack of a stable fixed point by Bak and Mukamel. Barak et al. predicted that by lowering the symmetry of the order parameter by the application of uniaxial pressure along the [110] direction changes the N'eel transition to second-order. In a previous experiment by Fawcett et al., irreversible broadening of the N\'eel transition was already observed between 160 bar and 300 bar, which could, however, be caused by plastic deformation. Using an improved setup with reduced stress inhomogeneities we succeeded to increase the pressure range until irreversible broadening is observed above 450 bar. Despite the observed tripling of the intensity of the magnetic Bragg peak $[0, 0, 1-\delta]$ at $p_{[110]}\geq450\,$bar, indicating a single $\bf{\text{Q}}_\pm$-domain state of the sample, no hints for a tricritical point were observed.


title: Classification of first order sesquilinear forms

abstract: A natural way to obtain a system of partial differential equations on a manifold is to vary a suitably defined sesquilinear form. The sesquilinear forms we study are Hermitian forms acting on sections of the trivial $\mathbb{C}^n$-bundle over a smooth $m$-dimensional manifold without boundary. More specifically, we are concerned with first order sesquilinear forms, namely, those generating first order systems. Our goal is to classify such forms up to $GL(n,\mathbb{C})$ gauge equivalence. We achieve this classification in the special case of $m=4$ and $n=2$ by means of geometric and topological invariants (e.g. Lorentzian metric, spin/spin$^c$ structure, electromagnetic covector potential) naturally contained within the sesquilinear form - a purely analytic object. Essential to our approach is the interplay of techniques from analysis, geometry, and topology.


title: On the cost of essentially fair clusterings

abstract: Clustering is a fundamental tool in data mining. It partitions points into groups (clusters) and may be used to make decisions for each point based on its group. However, this process may harm protected (minority) classes if the clustering algorithm does not adequately represent them in desirable clusters -- especially if the data is already biased. At NIPS 2017, Chierichetti et al. proposed a model for fair clustering requiring the representation in each cluster to (approximately) preserve the global fraction of each protected class. Restricting to two protected classes, they developed both a 4-approximation for the fair $k$-center problem and a $O(t)$-approximation for the fair $k$-median problem, where $t$ is a parameter for the fairness model. For multiple protected classes, the best known result is a 14-approximation for fair $k$-center. We extend and improve the known results. Firstly, we give a 5-approximation for the fair $k$-center problem with multiple protected classes. Secondly, we propose a relaxed fairness notion under which we can give bicriteria constant-factor approximations for all of the classical clustering objectives $k$-center, $k$-supplier, $k$-median, $k$-means and facility location. The latter approximations are achieved by a framework that takes an arbitrary existing unfair (integral) solution and a fair (fractional) LP solution and combines them into an essentially fair clustering with a weakly supervised rounding scheme. In this way, a fair clustering can be established belatedly, in a situation where the centers are already fixed.


title: Odd-dimensional orbifolds with all geodesics closed are covered by manifolds

abstract: Manifolds all of whose geodesics are closed have been studied a lot, but there are only few examples known. The situation is different if one allows in addition for orbifold singularities. We show, nevertheless, that the abundance of new examples is restricted to even dimensions. As one key ingredient we provide a characterization of orientable manifolds among orientable orbifolds in terms of characteristic classes.


title: Polarization Modeling and Predictions for DKIST Part 4: Calibration Accuracy Over Field of View, Retardance Spatial Uniformity And Achromat Design Sensitivity

abstract: Modern observatories and instruments require optics fabricated at larger sizes with more stringent performance requirements. The Daniel K. Inouye Solar Telescope will be the world's largest solar telescope at 4.0 m aperture delivering a 300 Watt beam and a 5 arc-minute field. Spatial variation of retardance is a limitation to calibration of the full field. Three polarimeters operate seven cameras simultaneously in narrow bandpasses from 380 nm to 1800 nm. The DKIST polarization calibration optics must be 120 mm in diameter at Gregorian focus to pass the beam and operate under high heat load, UV flux and environmental variability. Similar constraints apply to the instrument modulators with large beams near focal planes at F/18 to F/62. We assess how design factors can produce more spatial and spectral errors simulating elliptical retardance caused by polishing errors. We measure over 5deg circular retardance and spectral oscillations over +-2 for optics specified as strictly linear retarders. Spatial variations on scales larger than 10 mm contain 90% of the variation. Different designs can be a factor of 2 more sensitive to polishing errors with dissimilar spatial distributions even when using identical retardance bias values and materials. The calibration for the on axis beam is not impacted once circular retardance is included. Calibration of the full field is limited by spatial retardance variation unless techniques account for this variation. We show calibration retarder variation at amplitudes of 1deg retardance for field angles greater than roughly one arc minute for both quartz and MgF_2 retarders at visible wavelengths with significant variation between the three DKIST calibration retarders. We present polishing error maps to inform new calibration techniques attempting to deliver absolute accuracy of system calibration below effective cross-talk levels of 1deg retardance.


title: On the Relationship Between Inference and Data Privacy in Decentralized IoT Networks

abstract: In a decentralized Internet of Things (IoT) network, a fusion center receives information from multiple sensors to infer a public hypothesis of interest. To prevent the fusion center from abusing the sensor information, each sensor sanitizes its local observation using a local privacy mapping, which is designed to achieve both inference privacy of a private hypothesis and data privacy of the sensor raw observations. Various inference and data privacy metrics have been proposed in the literature. We introduce the concepts of privacy implication and non-guarantee to study the relationships between these privacy metrics. We propose an optimization framework in which both local differential privacy (data privacy) and information privacy (inference privacy) metrics are incorporated. In the parametric case where sensor observations' distributions are known \emph{a priori}, we propose a two-stage local privacy mapping at each sensor, and show that such an architecture is able to achieve information privacy and local differential privacy to within the predefined budgets. For the nonparametric case where sensor distributions are unknown, we adopt an empirical optimization approach. Simulation and experiment results demonstrate that our proposed approaches allow the fusion center to accurately infer the public hypothesis while protecting both inference and data privacy.


title: Universal Semi-Supervised Semantic Segmentation

abstract: In recent years, the need for semantic segmentation has arisen across several different applications and environments. However, the expense and redundancy of annotation often limits the quantity of labels available for training in any domain, while deployment is easier if a single model works well across domains. In this paper, we pose the novel problem of universal semi-supervised semantic segmentation and propose a solution framework, to meet the dual needs of lower annotation and deployment costs. In contrast to counterpoints such as fine tuning, joint training or unsupervised domain adaptation, universal semi-supervised segmentation ensures that across all domains: (i) a single model is deployed, (ii) unlabeled data is used, (iii) performance is improved, (iv) only a few labels are needed and (v) label spaces may differ. To address this, we minimize supervised as well as within and cross-domain unsupervised losses, introducing a novel feature alignment objective based on pixel-aware entropy regularization for the latter. We demonstrate quantitative advantages over other approaches on several combinations of segmentation datasets across different geographies (Germany, England, India) and environments (outdoors, indoors), as well as qualitative insights on the aligned representations.


title: A simple Boxed Molecular Kinetics approach to accelerate rare events in the stochastic kinetic master equation

abstract: The chemical master equation is a powerful theoretical tool for analysing the kinetics of complex multi-well potential energy surfaces in a wide range of different domains of chemical kinetics spanning combustion, atmospheric chemistry, gas surface chemistry, solution phase chemistry, and biochemistry. There are two well-established methodologies for solving the chemical master equation: a stochastic kinetic Monte Carlo approach and a matrix-based approach. In principle, the results yielded by both approaches are identical; the decision of which approach is better suited to a particular study depends on the details of the specific system under investigation. In this article, we present a rigorous method for accelerating stochastic approaches by several orders of magnitude, along with a method for unbiasing the accelerated results to recover the true value. The approach we take in this paper is inspired by the so-called boxed molecular dynamics (BXD) method, which has previously only been applied to accelerate rare events in molecular dynamics simulations. Here we extend BXD to design a simple algorithmic strategy for accelerating rare events in stochastic kinetic simulations. Tests on a number of systems show that the results obtained using the BXD rare event strategy are in good agreement with unbiased results. To carry out these tests, we have implemented a kinetic Monte Carlo approach in MESMER, which is a cross platform, open-source, and freely available master equation solver.


title: A Multi-step Piecewise Linear Approximation Based Solution for Load Pick-up Problem in Electrical Distribution System

abstract: The load pick-up (LPP) problem searches the optimal configuration of the electrical distribution system (EDS), aiming to minimize the power loss or provide maximum power to the load ends. The piecewise linearization (PWL) approximation method can be used to tackle the nonlinearity and nonconvexity in network power flow (PF) constraints, and transform the LPP model into a mixed-integer linear programming model (LPP-MILP model).However, for the PWL approximation based PF constraints, big linear approximation errors will affect the accuracy and feasibility of the LPP-MILP model's solving results. And the long modeling and solving time of the direct solution procedure of the LPP-MILP model may affect the applicability of the LPP optimization scheme. This paper proposes a multi-step PWL approximation based solution for the LPP problem in the EDS. In the proposed multi-step solution procedure, the variable upper bounds in the PWL approximation functions are dynamically renewed to reduce the approximation errors effectively. And the multi-step solution procedure can significantly decrease the modeling and solving time of the LPP-MILP model, which ensure the applicability of the LPP optimization scheme. For the two main application schemes for the LPP problem (i.e. network optimization reconfiguration and service restoration), the effectiveness of the proposed method is demonstrated via case studies using a real 13-bus EDS and a real 1066-bus EDS.


title: Towards models with a unified dynamical mechanism for elementary particle masses

abstract: Numerical evidence for a new dynamical mechanism of elementary particle mass generation has been found by lattice simulation in a simple, yet highly non-trivial SU(3) gauge model where a SU(2) doublet of strongly interacting fermions is coupled to a complex scalar field doublet via a Yukawa and a Wilson-like term. We point out that if, as a next step towards the construction of a realistic beyond-the-Standard-Model model, weak interactions are introduced, then also weak bosons get a mass by the very same non-perturbative mechanism. In this scenario fermion mass hierarchy can be naturally understood owing to the peculiar gauge coupling dependence of the non-perturbatively generated masses. Hence, if the phenomenological value of the mass of the top quark or the weak bosons has to be reproduced, the RGI scale of the theory must be much larger than $\Lambda_{QCD}$. This feature hints at the existence of new strong interactions and particles at a scale $\Lambda_T$ of a few TeV. In such a speculative framework the electroweak scale can be derived from the basic scale $\Lambda_T$ and the Higgs boson should arise as a bound state in the $WW+ZZ$ channel.


title: Non-perturbative generation of elementary fermion masses: a numerical study

abstract: In this talk we present a numerical lattice study of an SU(3) gauge model where an SU(2) doublet of non-Abelian strongly interacting fermions is coupled to a complex scalar field doublet via a Yukawa and a Wilson-like term. The model enjoys an exact symmetry, acting on all fields, which prevents UV power divergent fermion mass corrections, despite the presence of these two chiral breaking operators in the Lagrangian. In the phase where the scalar potential is non-degenerate and fermions are massless, the bare Yukawa coupling can be set at a critical value at which chiral fermion transformations become symmetries of the theory. Numerical simulations in the Nambu-Goldstone phase of the critical theory, for which the renormalized Yukawa coupling by construction vanishes, give evidence for non-perturbative generation of a UV finite fermion mass term in the effective action.


title: Correlation and Entanglement dynamics for two atoms distributed in two isolated thermal cavities

abstract: In this paper, correlation dynamics for two two-level atoms distributed in two isolated thermal cavities are studied, where the atomic state is initially prepared in a maximum entangled zero-and-two-excitation superposition state. We use two nonclasscal measures including geometric quantum discord via Schatten one norm and concurrence to analyze correlation dynamics for the two atoms when the two cavities have the same or different mean photon numbers. We find though correlation dynamics for these two measures have different features, they have the same characteristics in some particular time when the nonclassical correlation is robust against thermal photon numbers. This result may be important in quantum information processing and quantum computation.


title: Universal dimensional crossover of domain wall dynamics in ferromagnetic films

abstract: The magnetic domain wall motion driven by a magnetic field is studied in (Ga,Mn)As and (Ga,Mn)(As,P) films of different thicknesses. In the thermally activated creep regime, a kink in the velocity curves and a jump of the roughness exponent evidence a dimensional crossover in the domain wall dynamics. The measured values of the roughness exponent zeta_{1d} = 0.62 +/- 0.02 and zeta_{2d} = 0.45 +/- 0.04 are compatible with theoretical predictions for the motion of elastic line (d = 1) and surface (d = 2) in two and three dimensional media, respectively.


title: Blow up profiles for a quasilinear reaction-diffusion equation with weighted reaction

abstract: We perform a thorough study of the blow up profiles associated to the following second order reaction-diffusion equation with non-homogeneous reaction: $$ \partial_tu=\partial_{xx}(u^m) + |x|^{\sigma}u^p, $$ in the range of exponents $1<p<m$ and $\sigma>0$. We classify blow up solutions in self-similar form, that are likely to represent typical blow up patterns for general solutions. We thus show that the non-homogeneous coefficient $|x|^{\sigma}$ has a strong influence on the qualitative aspects related to the finite time blow up. More precisely, for $\sigma\sim0$, blow up profiles have similar behavior to the well-established profiles for the homogeneous case $\sigma=0$, and typically \emph{global blow up} occurs, while for $\sigma>0$ sufficiently large, there exist blow up profiles for which blow up \emph{occurs only at space infinity}, in strong contrast with the homogeneous case. This work is a part of a larger program of understanding the influence of unbounded weights on the blow up behavior for reaction-diffusion equations.


title: Hessian Riemannian gradient flows in convex programming

abstract: Motivated by a constrained minimization problem, it is studied the gradient flows with respect to Hessian Riemannian metrics induced by convex functions of Legendre type. The first result characterizes Hessian Riemannian structures on convex sets as those metrics that have a specific integration property with respect to variational inequalities, giving a new motivation for the introduction of Bregman-type distances. Then, the general evolution problem is introduced and a differential inclusion reformulation is given. A general existence result is proved and global convergence is established under quasi-convexity conditions, with interesting refinements in the case of convex minimization. Some explicit examples of these gradient flows are discussed. Dual trajectories are identified and sufficient conditions for dual convergence are examined for a convex program with positivity and equality constraints. Some convergence rate results are established. In the case of a linear objective function, several optimality characterizations of the orbits are given: optimal path of viscosity methods, continuous-time model of Bregman-type proximal algorithms, geodesics for some adequate metrics and projections of $\dot q$-trajectories of some Lagrange equations and completely integrable Hamiltonian systems.


title: Unexpected composition dependence of the first sharp diffraction peak in an alcohol-aldehyde liquid mixture: n-pentanol and pentanal

abstract: The total scattering structure factors of pure liquid n-pentanol, pentanal, and 5 of their mixtures, as determined by high energy synchrotron X-ray diffraction experiments, are presented. For the interpretation of measured data, molecular dynamics computer simulations are performed, utilizing 'all-atom' type force fields. The diffraction signals in general resemble each other over most of the monitored Q range above 1 ${\AA}^{-1}$, but the absolute values of the intensities of the small-angle scattering maximum ('pre-peak', 'first sharp diffraction peak'), around 0.6 ${\AA}^{-1}$, change in an unexpected fashion, non-linearly with the composition. MD simulations are not able to reproduce this low-Q behavior; on the other hand, they do reproduce the experimental diffraction data above 1 ${\AA}^{-1}$ rather accurately. Partial radial distribution functions are calculated based on the atomic coordinates in the simulated configurations. Inspection of the various O-O and O-H partial radial distribution functions clearly shows that both the alcoholic and the aldehydic oxygens form hydrogen bonds with the hydrogen atoms of the alcoholic OH-group.


title: Study of localized $CP$ violation in $B^-\rightarrow \pi^- \pi^+\pi^-$ and the branching ratio of $B^-\rightarrow \sigma(600)\pi^-$ in the QCD factorization approach

abstract: In this work, within the QCD factorization approach, we study the localized integrated $CP$ violation in the $B^-\rightarrow \pi^-\pi^+\pi^-$ decay and the branching fraction of the $B^-\rightarrow\sigma\pi^-$ decay. Both the resonance and nonresonance contributions are included when we study the localized $CP$ asymmetry in the $B^-\rightarrow \pi^-\pi^+\pi^-$ decay. The resonance contributions from the scalar $\sigma(600)$ and vector $\rho^0(770)$ mesons are included. For the $\sigma(600)$ meson, we apply both the Breit-Wigner and Bugg models to deal with its propagator, and obtain $\mathcal{B}(B^-\rightarrow \sigma(600)\pi^-)<1.67\times10^{-6}$ and $\mathcal{B}(B^-\rightarrow \sigma(600) \pi^-)<1.946\times10^{-5}$ in these two models, respectively. We find that there is no allowed divergence parameters $\rho_S$ and $\phi_S$ to satisfy the experimental data $\mathcal{A_{CP}}(\pi^-\pi^+\pi^-)=0.584\pm0.082\pm0.027\pm0.007$ in the region $m_{\pi^+\pi^- \mathrm{high}}^2>15$ $\mathrm{GeV}^2$ and $m_{\pi^+\pi^-\mathrm{low}}^2<0.4$ $\mathrm{GeV}^2$ and the upper limit of $\mathcal{B}(B^-\rightarrow \sigma(600)\pi^-)$ in the Breit-Wigner model, however, there exists the region $\rho_S\in[1.70,3.34]$ and $\phi_S \in [0.50,4.50]$ satisfying the data for $\mathcal{A_{CP}}(\pi^-\pi^+\pi^-)$ and the upper limit of $\mathcal{B}(B^-\rightarrow \sigma(600)\pi^-)$ in the Bugg model. This reveals that the Bugg model is more plausible than the Breit-Wigner model to describe the propagator of the $\sigma(600)$ meson even though the finite width effects are considered in both models. The large values of $\rho_S$ indicate that the contributions from weak annihilation and hard spectator scattering processes are both large, especially, the weak annihilation contribution should not be negleted for $B$ decays to final states including a scalar meson.


title: Cosmic ray ensembles as signatures of ultra-high energy photons interacting with the solar magnetic field

abstract: Propagation of ultra-high energy photons in the solar magnetosphere gives rise to cascades comprising thousands of photons. We study the cascade development using Monte Carlo simulations and find that the photons in the cascades are spatially extended over millions of kilometers on the plane distant from the Sun by 1 AU. We compare results from simulations which use two models of the solar magnetic field, and show that although signatures of such cascades are different for the models used, for practical detection purpose in the ground-based detectors, they are similar.


title: Quantum reservoir processing

abstract: The concurrent rise of artificial intelligence and quantum information poses opportunity for creating interdisciplinary technologies like quantum neural networks. Quantum reservoir processing, introduced here, is a platform for quantum information processing developed on the principle of reservoir computing that is a form of artificial neural network. A quantum reservoir processor can perform qualitative tasks like recognizing quantum states that are entangled as well as quantitative tasks like estimating a non-linear function of an input quantum state (e.g. entropy, purity or logarithmic negativity). In this way experimental schemes that require measurements of multiple observables can be simplified to measurement of one observable on a trained quantum reservoir processor.


title: Kinematic strangeness production in cluster hadronization

abstract: We present a modification to the non-perturbative strangeness production mechanisms in the Monte-Carlo event generator Herwig in order to make the processes more dynamic and collective. We compare the model to a series of observables for soft physics at both LEP and LHC.


title: Multiple Partitioning of Multiplex Signed Networks: Application to European Parliament Votes

abstract: For more than a decade, graphs have been used to model the voting behavior taking place in parliaments. However, the methods described in the literature suffer from several limitations. The two main ones are that 1) they rely on some temporal integration of the raw data, which causes some information loss, and/or 2) they identify groups of antagonistic voters, but not the context associated to their occurrence. In this article, we propose a novel method taking advantage of multiplex signed graphs to solve both these issues. It consists in first partitioning separately each layer, before grouping these partitions by similarity. We show the interest of our approach by applying it to a European Parliament dataset.


title: Unified Flow and Thermal Law-of-the-wall for Type-A and B Turbulent Boundary Layers

abstract: Systematic study of the existing statistical data from direct numerical simulations (DNS) lead to a logical and important classification of generic turbulent boundary layers (TBL), namely Type A,B and C TBL, based on the distribution patterns of time averaged wall shear stress. Among these three types, Type A and B TBLs are investigated in terms of its universal statistical laws of velocity and temperature with independency on both Reynolds (Re) and Prandtl (Pr) numbers. With reference to the analysis by von Karman in developing the conventional law of the wall for Type A TBL, the current study first physically distinguishes the time averaged local velocity scale from the ensemble averaged velocity scale, and properly defines the TBL temperature scale based on wall heat flux, similar to the well known frictional velocity scale based on wall shear stress. The unified law of the wall formulations are then derived for the inner layer of Type A and B thermal TBLs using these scales. The formulations are constructed by introducing the general damping and enhancing functions in inner layer, and further, these functions are extended to logarithmic coordinate based on the multiscale characteristics of TBL velocity profiles. The validations of the law are conducted both by the DNS guided near wall integration of Type B TBL governing equations, which uncovered the Re and Pr independency mechanisms of the law. The research advances the current understandings of the conventional TBL theory and develop the complete analytical forms of law of the wall for Type A and B TBLs, including inner layer, transition layer, logarithmic layer and wake layer.


title: The strong decay patterns of $Z_c$ and $Z_b$ states in the relativized quark model

abstract: Employing the relativized quark model and the quark-interchange model, we investigate the decay of the charged heavy quarkonium-like states $Z_c(3900)$, $Z_c(4020)$, $Z_c(4430)$, $Z_b(10610)$ and $Z_b(10650)$ into the ground and radially excited heavy quarkonia via emitting a pion meson. The $Z_c$ and $Z_b$ states are assumed to be hadronic molecules composed of open-flavor heavy mesons. The calculated decay ratios can be compared with the experimental data, which are useful in judging whether the molecule state assignment for the corresponding $Z_c$ or $Z_b$ state is reasonable or not. The theoretical framework constructed in this work will be helpful in revealing the underlying structures of some exotic hadrons.


title: An effective equidistribution result for $SL(2,R)\ltimes(R^2)^{\oplus k}$ and application to inhomogeneous quadratic forms

abstract: Let $G=$SL$(2,R)\ltimes(R^2)^{\oplus k}$ and let $\Gamma$ be a congruence subgroup of SL$(2,Z)\ltimes(Z^2)^{\oplus k}$. We prove a polynomially effective asymptotic equidistribution result for special types of unipotent orbits in $\Gamma\backslash G$ which project to pieces of closed horocycles in SL$(2,Z)\backslash$SL$(2,R)$. As an application, we prove an effective quantitative Oppenheim type result for the quadratic form $(m_1-\alpha)^2+(m_2-\beta)^2-(m_3-\alpha)^2-(m_4-\beta)^2$, for $(\alpha,\beta)$ of Diophantine type, following the approach by Marklof [24] using theta sums.


title: Local order in binary Ge-Te glasses - an experimental study

abstract: The structure of $\mathrm{Ge}_x\mathrm{Te}_{100-x}$ (x = 14.5, 18.7, 23.6) glasses prepared by twin roller quenching technique was investigated by neutron diffraction, X-ray diffraction and Ge-K-edge X-ray absorption spectroscopy measurements. Large scale structural models were obtained for each composition by fitting the experimental datasets in the framework of the reverse Monte Carlo technique. It was found that the majority of Ge and Te atoms satisfy the 8-N rule. Simulation results indicate that Ge-Ge bonding is not significant for x = 14.5 and 18.7. The shape and position of the first peak of the Ge-Ge partial pair correlation function evidence the presence of corner sharing tetrahedra already in compositions (x = 14.5 and 18.7) where 'sharing' of a Te atom by two Ge atoms could be avoided due to the low concentration of Ge.


title: Nonnegativity for hafnians of certain matrices

abstract: We show that a complex symmetric matrix of the form $A(Y,B) = \begin{bmatrix}Y & B\\ B^\top & \overline{Y} \end{bmatrix},$ where $B$ is Hermitian positive semidefinite, has a nonnegative hafnian. These are positive scalar multiples of matrices $A(Y,B)$ that are encodable in a Gaussian boson sampler. Further, the hafnian of this matrix is non-decreasing in $B$ in the sense that $\mathrm{haf}A(Y,L) \ge \mathrm{haf}A(Y,B)$ if $L \succeq B$.

categories: quant-ph math-ph math.CO math.MP math.NT


title: Matchable Image Retrieval by Learning from Surface Reconstruction

abstract: Convolutional Neural Networks (CNNs) have achieved superior performance on object image retrieval, while Bag-of-Words (BoW) models with handcrafted local features still dominate the retrieval of overlapping images in 3D reconstruction. In this paper, we narrow down this gap by presenting an efficient CNN-based method to retrieve images with overlaps, which we refer to as the matchable image retrieval problem. Different from previous methods that generates training data based on sparse reconstruction, we create a large-scale image database with rich 3D geometrics and exploit information from surface reconstruction to obtain fine-grained training data. We propose a batched triplet-based loss function combined with mesh re-projection to effectively learn the CNN representation. The proposed method significantly accelerates the image retrieval process in 3D reconstruction and outperforms the state-of-the-art CNN-based and BoW methods for matchable image retrieval. The code and data are available at https://github.com/hlzz/mirror.


title: Hall's criterion for nilpotence in semi-abelian categories

abstract: A well-known theorem of P. Hall, usually called Hall's criterion for nilpotence, states: a group G is nilpotent whenever it has a normal subgroup N such that G/[N,N] and N are nilpotent. We widely generalize this result, replacing groups with objects in an abstract semi-abelian category satisfying suitable conditions. In particular, these conditions are satisfied in any algebraically coherent semi-abelian category, and hence in many categories of classical algebraic structures (including a few where Hall's theorem is already known). Note that the categories of crossed modules, crossed Lie algebras, n-cat groups, and cocommutative Hopf algebras over fields are also algebraically coherent. We give, however, a counter-example showing that Hall's theorem does not hold in the (semi-abelian) variety of non-associative rings.


title: Strain field in graphene induced by nanopillar mesh

abstract: The mechanical and electronic properties of a graphene membrane placed on top of a superlattice of nanopillars are investigated. We use molecular dynamics (MD) simulations to access the deformation fields and the tight-binding approaches to calculate the electronic properties. The system of interest consists of a triangular lattice of nanopillars with a period of a=750 nm over which the graphene layer is deposited. Ripples form in the graphene layer that span across the unit cell, connecting neighbouring pillars, in agreement with recent experiments. We find that the resulting pseudo-magnetic field (PMF) varies strongly across the unit cell. We investigate the dependence of PMF on unit cell boundary conditions, height of the pillars, and the strength of the van der Waals interaction between graphene and the substrate. We find direct correspondence with typical experiments on pillars, showing intrinsic "slack" in the graphene membrane. PMF values are confirmed by the local density of states calculations performed at different positions of the unit cell showing pseudo-Landau levels at varying spacings. Our findings regarding the relaxed membrane configuration and the induced strains are transferable to other flexible 2D membranes.


title: Open and closed spin chains as multiprocessor wires: optimal engineering and reachability

abstract: We consider the perfect transfer of a state between arbitrary nodes of one-dimensional spin-1/2 chain with optimally engineered couplings. Motivated by the fact that such a system could be used as a data bus for connecting multiple quantum processors, we derive two necessary and sufficient conditions that have to be met in order to perfectly transfer a state between any two nodes and we employ them to examine both open and closed geometries. Analytical calculations and numerical optimizations are performed for both cases in order to determine the reachability of certain target states and to provide optimal values for the couplings which ensure perfect fidelity. An important finding is that even-sized closed chains allow for perfect transfer between any pair of sites and therefore are a promising platform for the implementation of data bus protocols.


title: Estimating Causal Effects With Partial Covariates For Clinical Interpretability

abstract: Estimating the causal effects of an intervention in the presence of confounding is a frequently occurring problem in applications such as medicine. The task is challenging since there may be multiple confounding factors, some of which may be missing, and inferences must be made from high-dimensional, noisy measurements. In this paper, we propose a decision-theoretic approach to estimate the causal effects of interventions where a subset of the covariates is unavailable for some patients during testing. Our approach uses the information bottleneck principle to perform a discrete, low-dimensional sufficient reduction of the covariate data to estimate a distribution over confounders. In doing so, we can estimate the causal effect of an intervention where only partial covariate information is available. Our results on a causal inference benchmark and a real application for treating sepsis show that our method achieves state-of-the-art performance, without sacrificing interpretability.


title: Single-pixel imaging with sampling distributed over simplex vertices

abstract: We propose a method of reduction of experimental noise in single-pixel imaging by expressing the subsets of sampling patterns as linear combinations of vertices of a multidimensional regular simplex. This method may be also directly extended to complementary sampling. The modified sampling consists only of non-negative patterns. The measurement becomes theoretically independent of the ambient illumination, and in practice becomes more robust to the varying conditions of the experiment. We show how the optimal dimensionality of the simplex depends on the level of measurement noise. We present experimental results of single-pixel imaging using binarized sampling and a real-time reconstruction with the Fourier domain regularized inversion method.


title: Fluctuating shapes of the fireballs in heavy-ion collisions

abstract: We argue that energy and momentum deposition from hard partons into quark-gluon plasma induces an important contribution to the final state hadron anisotropies. We also advocate a novel method of Event Shape Sorting which allow to analyse the azimuthal anisotropies of the fireball dynamics in more detail. A use of the method in femtoscopy is demonstrated.


title: Localized chaos of elliptically polarized cavity solitons in broad-area VCSEL with saturable absorber

abstract: We introduce a spin-flip model for a broad-area Vertical-Cavity Surface-Emitting Laser (VCSEL) with a saturable absorber. We demonstrate simultaneous existence of orthogonally linearly polarized and elliptically polarized cavity solitons. We show that polarization degree of freedom leads to period doubling route to spatially localized chaos of the elliptically polarized cavity solitons.


title: Adaptively accelerating reactive molecular dynamics using boxed molecular dynamics in energy space

abstract: The problem of observing rare events is pervasive among the molecular dynamics community and an array of different types of methods are commonly used to accelerate these long timescale processes. Typically, rare event acceleration methods require an a priori specification of the event to be accelerated. In recent work, we have demonstrated the application of boxed molecular dynamics to energy space, as a way to accelerate rare events in the stochastic chemical master equation. Here we build upon this work and apply the boxed molecular dynamics algorithm to the energy space of a molecule in classical trajectory simulations. Through this new BXD in energy (BXDE) approach we demonstrate that generic rare events (in this case chemical reactions) may be accelerated by multiple orders of magnitude compared to unbiased simulations. Furthermore, we show that the ratios of products formed from the BXDE simulations are similar to those formed in unbiased simulations at the same temperature.


title: EFANet: Exchangeable Feature Alignment Network for Arbitrary Style Transfer

abstract: Style transfer has been an important topic both in computer vision and graphics. Since the seminal work of Gatys et al. first demonstrates the power of stylization through optimization in the deep feature space, quite a few approaches have achieved real-time arbitrary style transfer with straightforward statistic matching techniques. In this work, our key observation is that only considering features in the input style image for the global deep feature statistic matching or local patch swap may not always ensure a satisfactory style transfer; see e.g., Figure 1. Instead, we propose a novel transfer framework, EFANet, that aims to jointly analyze and better align exchangeable features extracted from content and style image pair. In this way, the style features from the style image seek for the best compatibility with the content information in the content image, leading to more structured stylization results. In addition, a new whitening loss is developed for purifying the computed content features and better fusion with styles in feature space. Qualitative and quantitative experiments demonstrate the advantages of our approach.


title: Large-amplitude steady downstream water waves

abstract: We study wave-current interactions in two-dimensional water flows of constant vorticity over a flat bed. For large-amplitude periodic traveling waves that propagate at the water surface in the same direction as the underlying current (downstream waves), we prove explicit uniform bounds for their amplitude. In particular, our estimates show that the maximum amplitude of the waves becomes vanishingly small as the vorticity increases without limit. We also prove that the downstream waves on a global bifurcating branch are never overhanging, and that their mass flux and Bernoulli constant are uniformly bounded.


title: Tell me something my friends do not know: Diversity maximization in social networks

abstract: Social media have a great potential to improve information dissemination in our society, yet, they have been held accountable for a number of undesirable effects, such as polarization and filter bubbles. It is thus important to understand these negative phenomena and develop methods to combat them. In this paper we propose a novel approach to address the problem of breaking filter bubbles in social media. We do so by aiming to maximize the diversity of the information exposed to connected social-media users. We formulate the problem of maximizing the diversity of exposure as a quadratic-knapsack problem. We show that the proposed diversity-maximization problem is inapproximable, and thus, we resort to polynomial non-approximable algorithms, inspired by solutions developed for the quadratic-knapsack problem, as well as scalable greedy heuristics. We complement our algorithms with instance-specific upper bounds, which are used to provide empirical approximation guarantees for the given problem instances. Our experimental evaluation shows that a proposed greedy algorithm followed by randomized local search is the algorithm of choice given its quality-vs.-efficiency trade-off.


title: Unsupervised learning with sparse space-and-time autoencoders

abstract: We use spatially-sparse two, three and four dimensional convolutional autoencoder networks to model sparse structures in 2D space, 3D space, and 3+1=4 dimensional space-time. We evaluate the resulting latent spaces by testing their usefulness for downstream tasks. Applications are to handwriting recognition in 2D, segmentation for parts in 3D objects, segmentation for objects in 3D scenes, and body-part segmentation for 4D wire-frame models generated from motion capture data.


title: Clustering Residential Electricity Load Curves via Community Detection in Network

abstract: Performing analytic of household load curves (LCs) has significant value in predicting individual electricity consumption patterns, and hence facilitate developing demand-response strategy, and finally achieve energy efficiency improvement and emission reduction. LC clustering is a widely used analytic technology, which discovers electricity consumption patterns by grouping similar LCs into same sub-groups. However, previous clustering methods treat each LC in the data set as an individual time series, ignoring the inherent relationship among different LCs, restraining the performance of the clustering methods. What's more, due to the significant volatility and uncertainty of LCs, the previous LC clustering approaches inevitably result in either lager number of clusters or huge variances within a cluster, which is unacceptable for actual application needs. In this paper, we proposed an integrated approach to address this issue. First, we converted the LC clustering task into the community detection task in network. Second, we proposed a clustering approach incorporated with community detection to improve the performance of LC clustering, which includes network construction, community detection and typical load profile extraction. The method convert the data set into a network in which the inherent relationship among LCs is represented by the edges of the network. Third, we construct a multi-layer typical load profile directory to make the trade-off between variances within a cluster and the number of the clusters, enabling the researchers to assess the LCs and the customers in different layers according to practical application requirements. The experiments demonstrate that our integrated approach outperform the state-of-the-art methods.


title: Even and odd trees

abstract: In this paper we at first consider plane trees with the root vertex and a marked directed edge, outgoing from the root vertex. For such trees we introduce a new characteristic --- the \emph{parity}, using the bracket code. It turns out that the parity depends only on the root vertex (not on the marked edge). And in the case of an even number of vertices the parity does not depend on the root vertex also. Then we consider rotation groups of bipartite trees, study their properties and prove that in the case of even number of vertices rotation groups of even and odd trees are different.


title: Additivity of Reverse Derivable Maps

abstract: Let $R$ be any ring containing a non-tivial idempotent element $e$. Let $\Im: R\rightarrow R$ be a mapping such that $\Im(ab)=\Im(b)a+b\Im(a)$ for all $a,b\in R$. In this note, our aim is to show that under some suitable restrictions imposed on $R,$ $\Im$ is additive.


title: Modular cocycles and cup product

abstract: We extend to positive real weights Haberland's formula giving a cohomological description of the Petersson scalar product of modular cusp forms of positive even weight. This relation is based on the cup product of an Eichler cocycle and a Knopp cocycle. We also consider the cup product of two Eichler cocycles attached to modular forms. In the classical context of integral weights at least $2$ this cup product is uninteresting. We show evidence that for real weights this cup product may very well be non-trivial. We approach the question whether the cup product is a non-trivial coinvariant by duality with a space of entire modular forms. Under suitable conditions on the weights this leads to an explicit triple integral involving three modular forms. We use this representation to study the cup product numerically.


title: Waveforms of molecular oscillations reveal circadian timekeeping mechanisms

abstract: Circadian clocks play a pivotal role in orchestrating numerous physiological and developmental events. Waveform shapes of the oscillations of protein abundances can be informative about the underlying biochemical processes of circadian clocks. We derive a mathematical framework where waveforms do reveal hidden biochemical mechanisms of circadian timekeeping. We find that the cost of synthesizing proteins with particular waveforms can be substantially reduced by rhythmic protein half-lives over time, as supported by previous plant and mammalian data, as well as our own seedling experiment. We also find that previously-enigmatic, cyclic expression of positive arm components within the mammalian and insect clocks allows both a broad range of peak time differences between protein waveforms and the symmetries of the waveforms about the peak times. Such various peak-time differences may facilitate tissue-specific or developmental stage-specific multicellular processes. Our waveform-guided approach can be extended to various biological oscillators, including cell-cycle and synthetic genetic oscillators.

categories: q-bio.SC nlin.AO physics.bio-ph q-bio.MN


title: Computing with Chemical Reaction Networks: A Tutorial

abstract: Chemical reaction networks (CRNs) model the behavior of chemical reactions in well-mixed solutions and they can be designed to perform computations. In this tutorial we give an overview of various computational models for CRNs. Moreover, we discuss a method to implement arbitrary (abstract) CRNs in a test tube using DNA. Finally, we discuss relationships between CRNs and other models of computation.


title: Convective cells in Betelgeuse: imaging through spectropolarimetry

abstract: We assess the ability to image the photosphere of red supergiants and, in particular Betelgeuse, through the modelling of the observed linear polarization in atomic spectral lines. We also aim to analyse the resulting images over time, to measure the size and dynamics of the convective structures in these stars. Rayleigh scattering polarizes the continuum and spectral lines depolarize it.This depolarization is seen as a linear polarization signal parallel to the radial direction on the stellar disk. Integrated over the disk, it would result in a null signal, except if brightness asymmetries/inhomogeneities are present. This is the basic concept behind our imaging technique. The several tests and comparisons performed prove that our technique reliably retrieves the salient brightness structures in the photosphere of Betelgeuse, and should be relevant to other red supergiants. We demonstrate that these structures are convective cells, with a characteristic size of more than 60% of the stellar radius. We also derive the characteristic upflow and downflow speeds, 22 and 10 km/s respectively. We find weak magnetic fields concentrated in the downflow lanes in between granules. We follow those convective structures in time. Changes happen on timescales of one week, but individual structures can be tracked over four years of observations.


title: Double-beta decay of ${}^{130}$Te to the first $0^+$ excited state of ${}^{130}$Xe with CUORE-0

abstract: We report on a search for double beta decay of $^{130}$Te to the first $0^{+}$ excited state of $^{130}$Xe using a 9.8 kg$\cdot$yr exposure of $^{130}$Te collected with the CUORE-0 experiment. In this work we exploit different topologies of coincident events to search for both the neutrinoless and two-neutrino double-decay modes. We find no evidence for either mode and place lower bounds on the half-lives: $\tau^{0\nu}_{0^+}>7.9\cdot 10^{23}$ yr and $\tau^{2\nu}_{0^+}>2.4\cdot 10^{23}$ yr. Combining our results with those obtained by the CUORICINO experiment, we achieve the most stringent constraints available for these processes: $\tau^{0\nu}_{0^+}>1.4\cdot 10^{24}$ yr and $\tau^{2\nu}_{0^+}>2.5\cdot 10^{23}$ yr.


title: The Architecture of Mr. DLib's Scientific Recommender-System API

abstract: Recommender systems in academia are not widely available. This may be in part due to the difficulty and cost of developing and maintaining recommender systems. Many operators of academic products such as digital libraries and reference managers avoid this effort, although a recommender system could provide significant benefits to their users. In this paper, we introduce Mr. DLib's "Recommendations as-a-Service" (RaaS) API that allows operators of academic products to easily integrate a scientific recommender system into their products. Mr. DLib generates recommendations for research articles but in the future, recommendations may include call for papers, grants, etc. Operators of academic products can request recommendations from Mr. DLib and display these recommendations to their users. Mr. DLib can be integrated in just a few hours or days; creating an equivalent recommender system from scratch would require several months for an academic operator. Mr. DLib has been used by GESIS Sowiport and by the reference manager JabRef. Mr. DLib is open source and its goal is to facilitate the application of, and research on, scientific recommender systems. In this paper, we present the motivation for Mr. DLib, the architecture and details about the effectiveness. Mr. DLib has delivered 94m recommendations over a span of two years with an average click-through rate of 0.12%.


title: High-Resolution ALMA Observations of HD100546: Asymmetric Circumstellar Ring, and Circumplanetary Disk Upper Limits

abstract: We present long baseline Atacama Large Millimeter/submillimeter Array (ALMA) observations of the 870$\,\mu$m dust continuum emission and CO (3-2) from the protoplanetary disk around the Herbig Ae/Be star HD 100546, which is one of the few systems claimed to have two young embedded planets. These observations achieve a resolution of 4 au (3.8 mas), an rms noise of 66$\mu$Jy/beam, and reveal an asymmetric ring between $\sim$20-40 au with largely optically thin dust continuum emission. This ring is well fit by two concentric and overlapping Gaussian rings of different widths and a Vortex. In addition, an unresolved component is detected at a position consistent with the central star, which may trace the central inner disk ($<$2au in radius). We report a lack of compact continuum emission at the positions of both claimed protoplanets. We use this result to constrain the circumplanetary disk (CPD) mass and size of 1.44M$_{\rm Earth}$ and 0.44au in the optically thin and thick regime, respectively, for the case of the previously directly imaged protoplanet candidate at $\sim$55 au (HD100546 b). We compare these empirical CPD constraints to previous numerical simulations. This suggests that HD100546 b is inconsistent with several planet accretion models, while gas-starved models are also still compatible. We estimate the planetary mass as 1.65 M$_J$ by using the relation between planet, circumstellar, and circumplanetary masses derived from numerical simulations. Finally, the CO integrated intensity map shows a possible spiral arm feature that would match the spiral features identified in Near-Infrared scattered light polarized emission, which suggests a real spiral feature in the disk surface that needs to be confirmed with further observations.


title: Idealisers in Skew Group Rings

abstract: Let C be a commutative noetherian domain, G be a finitely generated abelian group which acts on C and B = C#G be the skew group ring. For a prime ideal I in C, we study the largest subring of B in which the right ideal IB becomes a two-sided ideal - the idealiser subring. We obtain necessary and sufficient conditions for when this idealiser subring is left and right noetherian. We also give an example of these conditions in practice which translates to an interesting number theoretic problem.


title: The R-Process Alliance: Spectroscopic Follow-up of Low-Metallicity Star Candidates from the Best & Brightest Survey

abstract: We present results from an observing campaign to identify low-metallicity stars in the Best & Brightest Survey. From medium-resolution (R ~ 1, 200 - 2, 000) spectroscopy of 857 candidates, we estimate the stellar atmospheric parameters (Teff, log g, and [Fe/H]), as well as carbon and alpha-element abundances. We find that 69% of the observed stars have [Fe/H] <= -1.0, 39% have [Fe/H] <= -2.0, and 2% have [Fe/H] <= -3.0. There are also 133 carbon-enhanced metal-poor (CEMP) stars in this sample, with 97 CEMP Group I and 36 CEMP Group II stars identified in the A(C) versus [Fe/H] diagram. A subset of the confirmed low-metallicity stars were followed-up with high-resolution spectroscopy, as part of the R-process Alliance, with the goal of identifying new highly and moderately r-process-enhanced stars. Comparison between the stellar atmospheric parameters estimated in this work and from high-resolution spectroscopy exhibit good agreement, confirming our expectation that medium-resolution observing campaigns are an effective way of selecting interesting stars for further, more targeted, efforts.


title: Adaptive Radial Basis Function-generated Finite Differences method for contact problems

abstract: This paper proposes an original adaptive refinement framework using Radial Basis Functions-generated Finite Differences method. Node distributions are generated with a Poisson Disk Sampling-based algorithm from a given continuous density function, which is altered during the refinement process based on the error indicator. All elements of the proposed adaptive strategy rely only on meshless concepts, which leads to great flexibility and generality of the solution procedure. The proposed framework is tested on four gradually more complex contact problems, governed by the Cauchy-Navier equations. First, a disk under pressure is considered and the computed stress field is compared to the closed form solution of the problem to assess the basic behaviour of the algorithm and the influence of free parameters. Second, a Hertzian contact problem, also with known closed form solution, is studied to analyse the proposed algorithm with an ad-hoc error indicator and to test both refinement and derefinement. A contact problem, typical for fretting fatigue, with no known closed form solution is considered and solved next. It is demonstrated that the proposed methodology can be used in practical application and produces results comparable with FEM without the need for manual refinement or any human intervention. In the last case, generality of the proposed approach is demonstrated by solving a 3-D Boussinesq's problem of the concentrated normal traction acting on an isotropic half-space.


title: ParsRec: A Novel Meta-Learning Approach to Recommending Bibliographic Reference Parsers

abstract: Bibliographic reference parsers extract machine-readable metadata such as author names, title, journal, and year from bibliographic reference strings. To extract the metadata, the parsers apply heuristics or machine learning. However, no reference parser, and no algorithm, consistently gives the best results in every scenario. For instance, one tool may be best in extracting titles in ACM citation style, but only third best when APA is used. Another tool may be best in extracting English author names, while another one is best for noisy data (i.e. inconsistent citation styles). In this paper, which is an extended version of our recent RecSys poster, we address the problem of reference parsing from a recommender-systems and meta-learning perspective. We propose ParsRec, a meta-learning based recommender-system that recommends the potentially most effective parser for a given reference string. ParsRec recommends one out of 10 open-source parsers: Anystyle-Parser, Biblio, CERMINE, Citation, Citation-Parser, GROBID, ParsCit, PDFSSA4MET, Reference Tagger, and Science Parse. We evaluate ParsRec on 105k references from chemistry. We propose two approaches to meta-learning recommendations. The first approach learns the best parser for an entire reference string. The second approach learns the best parser for each metadata type in a reference string. The second approach achieved a 2.6% increase in F1 (0.909 vs. 0.886) over the best single parser (GROBID), reducing the false positive rate by 20.2% (0.075 vs. 0.094), and the false negative rate by 18.9% (0.107 vs. 0.132).


title: Second Harmonic Generation from Phononic Epsilon-Near-Zero Berreman Modes in Ultrathin Polar Crystal Films

abstract: Immense optical field enhancement was predicted to occur for the Berreman mode in ultrathin films at frequencies in the vicinity of epsilon near zero (ENZ). Here, we report the first experimental proof of this prediction in the mid-infrared by probing the resonantly enhanced second harmonic generation (SHG) at the longitudinal optic phonon frequency from a deeply subwavelength-thin aluminum nitride (AlN) film. Employing a transfer matrix formalism, we show that the field enhancement is completely localized inside the AlN layer, revealing that the observed SHG signal of the Berreman mode is solely generated in the AlN film. Our results demonstrate that ENZ Berreman modes in intrinsically low-loss polar dielectric crystals constitute a promising platform for nonlinear nanophotonic applications.


title: Decentralizing Multicell Beamforming via Deterministic Equivalents

abstract: This paper focuses on developing a decentralized framework for coordinated minimum power beamforming wherein $L$ base stations (BSs), each equipped with $N$ antennas, serve $K$ single-antenna users with specific rate constraints. This is realized by considering user specific intercell interference (ICI) strength as the principal coupling parameter among BSs. First, explicit deterministic expressions for transmit powers are derived for spatially correlated channels in the asymptotic regime in which $N$ and $K$ grow large with a non-trivial ratio $K/N$. These asymptotic expressions are then used to compute approximations of the optimal ICI values that depend only on the channel statistics. By relying on the approximate ICI values as coordination parameters, a distributed non-iterative coordination algorithm, suitable for large networks with limited backhaul, is proposed. A heuristic algorithm is also proposed relaxing coordination requirements even further as it only needs pathloss values for non-local channels. The proposed algorithms satisfy the target rates for all users even when $N$ and $K$ are relatively small. Finally, the potential benefits of grouping users with similar statistics are investigated to further reduce the overhead and computational effort of the proposed solutions. Simulation results show that the proposed methods yield near-optimal performance.


title: Disentangling sources of influence in online social networks

abstract: Information propagation in online social networks is facilitated by two types of influence - endogenous (peer) influence that acts between users of the social network and exogenous (external) that corresponds to various external mediators such as online news media. However, inference of these influences from data remains a challenge, especially when data on the activation of users is scarce. In this paper we propose a methodology that yields estimates of both endogenous and exogenous influence using only a social network structure and a single activation cascade. Our method exploits the statistical differences between the two types of influence - endogenous is dependent on the social network structure and current state of each user while exogenous is independent of these. We evaluate our methodology on simulated activation cascades as well as on cascades obtained from several large Facebook political survey applications. We show that our methodology is able to provide estimates of endogenous and exogenous influence in online social networks, characterize activation of each individual user as being endogenously or exogenously driven, and identify most influential groups of users.


title: Hybrid models for simulating blood flow in microvascular networks

abstract: In this paper, we are concerned with the simulation of blood flow in microvascular networks and the surrounding tissue. To reduce the computational complexity of this issue, the network structures are modeled by a one-dimensional graph, whose location in space is determined by the centerlines of the three-dimensional vessels. The surrounding tissue is considered as a homogeneous porous medium. Darcy's equation is used to simulate flow in the extra-vascular space, where the mass exchange with the blood vessels is accounted for by means of line source terms. However, this model reduction approach still causes high computational costs, in particular, when larger parts of an organ have to be simulated. This observation motivates the consideration of a further model reduction step. Thereby, we homogenize the fine scale structures of the microvascular networks resulting in a new hybrid approach modeling the fine scale structures as a heterogeneous porous medium and the flow in the larger vessels by one-dimensional flow equations. Both modeling approaches are compared with respect to mass fluxes and averaged pressures. The simulations have been performed on a microvascular network that has been extracted from the cortex of a rat brain.


title: Automatic segmentation of the Foveal Avascular Zone in ophthalmological OCT-A images

abstract: Angiography by Optical Coherence Tomography is a non-invasive retinal imaging modality of recent appearance that allows the visualization of the vascular structure at predefined depths based on the detection of the blood movement. OCT-A images constitute a suitable scenario to analyse the retinal vascular properties of regions of interest, measuring the characteristics of the foveal vascular and avascular zones. Extracted parameters of this region can be used as prognostic factors that determine if the patient suffers from certain pathologies, indicating the associated pathological degree. The manual extraction of these biomedical parameters is a long, tedious and subjective process, introducing a significant intra and inter-expert variability, which penalizes the utility of the measurements. In addition, the absence of tools that automatically facilitate these calculations encourages the creation of computer-aided diagnosis frameworks that ease the doctor's work, increasing their productivity and making viable the use of this type of vascular biomarkers. We propose a fully automatic system that identifies and precisely segments the region of the foveal avascular zone (FAZ) using a novel ophthalmological image modality as is OCT-A. The system combines different image processing techniques to firstly identify the region where the FAZ is contained and, secondly, proceed with the extraction of its precise contour. The system was validated using a representative set of 168 OCT-A images, providing accurate results with the best correlation with the manual measurements of two experts clinician of 0.93 as well as a Jaccard's index of 0.82 of the best experimental case. This tool provides an accurate FAZ measurement with the desired objectivity and reproducibility, being very useful for the analysis of relevant vascular diseases through the study of the retinal microcirculation.


title: Quantifying Privacy in Nuclear Warhead Authentication Protocols

abstract: International verification of nuclear warheads is a practical problem in which the protection of secret warhead information is of paramount importance. We propose a measure that would enable a weapon owner to evaluate the privacy of a proposed protocol in a technology-neutral fashion. We show the problem is reducible to `natural' and `corrective' learning. The natural learning can be computed without assumptions about the inspector, while the corrective learning accounts for the inspector's prior knowledge. The natural learning provides the warhead owner a useful lower bound on the information leaked by the proposed protocol. Using numerical examples, we demonstrate that the proposed measure correlates better with the accuracy of a maximum a posteriori probability estimate than alternative measures.


title: Robustness against the channel effect in pathological voice detection

abstract: Many people are suffering from voice disorders, which can adversely affect the quality of their lives. In response, some researchers have proposed algorithms for automatic assessment of these disorders, based on voice signals. However, these signals can be sensitive to the recording devices. Indeed, the channel effect is a pervasive problem in machine learning for healthcare. In this study, we propose a detection system for pathological voice, which is robust against the channel effect. This system is based on a bidirectional LSTM network. To increase the performance robustness against channel mismatch, we integrate domain adversarial training (DAT) to eliminate the differences between the devices. When we train on data recorded on a high-quality microphone and evaluate on smartphone data without labels, our robust detection system increases the PR-AUC from 0.8448 to 0.9455 (and 0.9522 with target sample labels). To the best of our knowledge, this is the first study applying unsupervised domain adaptation to pathological voice detection. Notably, our system does not need target device sample labels, which allows for generalization to many new devices.


title: $Z$-boson polarization as a model-discrimination analyzer

abstract: Determining the spin of any new particle is critical in identifying the true theory among various extensions of the Standard Model (SM). The degree of $Z$-boson polarization in any two-body decay process $A\to B Z$ is sensitive to the spin assignments of two new particles $A$ and $B$. Considering all possible spin-0, 1/2 and 1 combinations in a renormalizable field theory, we demonstrate that $Z$-boson polarization can indeed play a role of a decisive and universal analyzer in distinguishing the different spin assignments.


title: Gradient-based iterative algorithms for solving Sylvester tensor equations and the associated tensor nearness problems

abstract: In this paper, an iterative algorithm is presented for solving Sylvester tensor equation $\mathscr{A}*_M\mathscr{X}+\mathscr{X}*_N\mathscr{C}=\mathscr{D}$, where $\mathscr{A}$, $\mathscr{C}$ and $\mathscr{D}$ are given tensors with appropriate sizes, and the symbol $*_N$ denotes the Einstein product. By this algorithm, the solvability of this tensor equation can be determined automatically, and the solution of which (when it is solvable) can be derived within finite iteration steps for any initial iteration tensors in the absence of roundoff errors. Particularly, the least F-norm solution of the aforementioned equation can be derived by choosing special initial iteration tensors. As application, we apply the proposed algorithm to the tensor nearness problem related to the Sylvester tensor equation mentioned above. It is proved that the solution to this problem can also be obtained within finite iteration steps by solving another Sylvester tensor equation. The performed numerical experiments show that the algorithm we propose here is promising.


title: Influence of surface restructuring on the activity of SrTiO3 photoelectrodes for photocatalytic hydrogen reduction

abstract: Perovskite photoelectrodes are being extensively studied in search for photocatalytic materials that can produce hydrogen through water splitting. The solar-to-hydrogen efficiency of these materials is critically dependent on the electrochemical state of their surface. Here, we develop an embedded quantum-mechanical approach using the self-consistent continuum solvation (SCCS) model to predict the relation between band alignment, electrochemical stability, and photocatalytic activity taking into account the long-range polarization of the semiconductor electrode under electrical bias. Using this comprehensive model, we calculate the charge-voltage response of various reconstructions of a solvated SrTiO3 surface, revealing that interfacial charge trapping exerts primary control on the electrical response and surface stability of the photoelectrode. Our results provide a detailed molecular-level interpretation of the enhanced photocatalytic activity of SrTiO3 upon voltage-induced restructuring of the semiconductor-solution interface.


title: Holographic Weyl anomaly for GJMS operators: one Laplacian to rule them all

abstract: The holographic Weyl anomaly for GJMS operators (or conformal powers of the Laplacian) are obtained in four and six dimensions. In the context of AdS/CFT correspondence, free conformal scalars with higher-derivative kinetic operators are induced by an ordinary second-derivative massive bulk scalar. At one-loop quantum level, the duality dictionary for partition functions entails an equality between the functional determinants of the corresponding kinetic operators and, in particular, it provides a holographic route to their Weyl anomalies. The heat kernel of a single bulk massive scalar field encodes the Weyl anomaly (type-A and type-B) coefficients for the whole tower of GJMS operators whenever they exist, as in the case of Einstein manifolds where they factorize into product of Laplacians. While a holographic derivation of the type-A Weyl anomaly was already worked out some years back, in this note we compute holographically (for the first time to the best of our knowledge) the type-B Weyl anomaly for the whole family of GJMS operators in four and six dimensions. There are two key ingredients that enable this novel holographic derivation that would be quite a daunting task otherwise: (i) a simple prescription for obtaining the holographic Weyl anomaly for higher-curvature gravities, previously found by the authors, that allows to read off directly the anomaly coefficients from the bulk action; and (ii) an implied WKB-exactness, after resummation, of the heat kernel for the massive scalar on a Poincar\'e-Einstein bulk metric with an Einstein metric on its conformal infinity. The holographically computed Weyl anomaly coefficients are explicitly verified on the boundary by exploiting the factorization of GJMS operators on Einstein manifolds and working out the relevant heat kernel coefficient.


title: Machine learning-based Raman amplifier design

abstract: A multi-layer neural network is employed to learn the mapping between Raman gain profile and pump powers and wavelengths. The learned model predicts with high-accuracy, low-latency and low-complexity the pumping setup for any gain profile.


title: Heterogeneous multireference alignment for images with application to 2-D classification in single particle reconstruction

abstract: Motivated by the task of 2-D classification in single particle reconstruction by cryo-electron microscopy (cryo-EM), we consider the problem of heterogeneous multireference alignment of images. In this problem, the goal is to estimate a (typically small) set of target images from a (typically large) collection of observations. Each observation is a rotated, noisy version of one of the target images. For each individual observation, neither the rotation nor which target image has been rotated are known. As the noise level in cryo-EM data is high, clustering the observations and estimating individual rotations is challenging. We propose a framework to estimate the target images directly from the observations, completely bypassing the need to cluster or register the images. The framework consists of two steps. First, we estimate rotation-invariant features of the images, such as the bispectrum. These features can be estimated to any desired accuracy, at any noise level, provided sufficiently many observations are collected. Then, we estimate the images from the invariant features. Numerical experiments on synthetic cryo-EM datasets demonstrate the effectiveness of the method. Ultimately, we outline future developments required to apply this method to experimental data.


title: A Symbolic coding of the Morse boundary

abstract: Let $X$ be a proper geodesic metric space. We give a new construction of the Morse Boundary that realizes its points as equivalence classes of functions on $X$ which behave similar to the "distance to a point" function. When $G=\langle S \rangle $ is a finitely generated group and $X=Cay(G,S)$, we use this construction to give a symbolic presentation of the Morse boundary as a space of "derivatives" on $Cay(G,S).$ The collection of such derivatives naturally embeds in the shift space $\mathcal{A}^G$ for some finite set $\mathcal{A}.$


title: Catastrophe machines a few nanometers in size

abstract: Using molecular dynamic simulations of short oligomeric fragments of thermosensitive polymers exposed to power loads, we established three effects characteristic of classical catastrophe machines such as the Euler arch. These effects include the threshold effect (smooth responses of the oligomer to external forces below the threshold load), the bifurcation effect (the emergence of a new conformational state above the critical loads), and the hysteresis effect (different values of the critical loads when moving forth and back in the parametric force space). A nanoscale Euler arch made from short oligomers demonstrates low-frequency, mechanic-like vibrations near the bifurcation points, which we associate with an effect similar to thermal activated bistability. All of these effects may be attractive for designing molecular machines and nanodevices with mechanic-like functioning.


title: Compact Modeling of I-V Characteristics, Temperature Dependency, Variations, and Noise of Integrated, Reproducible Metal-Oxide Memristors

abstract: We present a comprehensive phenomenological model for the crossbar integrated metal-oxide continuous-state memristors. The model consists of static and dynamic equations, which are obtained by fitting a large amount of experimental data, collected on several hundred devices. The static equation describes the device current, at non-disturbing voltages, as a sum of three components, representing the average behavior and its device-to-device and temporal variations. All three components are expressed as functions of the applied voltage, ambient temperature, and the current memory state. The dynamic equation models the change in the memory state as a function of the applied voltage stress and the current memory state, and is also expressed as a sum of the average and the device-to-device variation terms. Both equations are explicit, computationally inexpensive, and suitable for SPICE modeling. At the same time, the model has good predictive power, which is supported by the validation results. The presented model is useful for realistic simulations of various mixed-signal computing circuits, such as image compression and image classification applications, discussed in this paper.


title: CMUT on Glass Substrate for Next-Generation Medical Imaging and Beyond

abstract: CMUT technology was invented and has been widely researched on silicon substrates. In recent years, fabrication of CMUT on glass substrates has raised significant interests because a number of advantages it can offer. First, parasitic capacitance could be easily reduced since glass is an insulating material. Second, insulation steps required in the silicon-based CMUT fabrication process could be avoided, leading to a reduced fabrication complexity. Third, anodic bonding can be used when the substrate is borosilicate glass, which is a low-temperature bonding technique and has a high tolerance to bonding surface area and roughness in addition to the advantages of silicon wafer bonding. Moreover, glass transparency can enable novel applications beyond pulse-echo ultrasound medical imaging and enlarge the potential markets of CMUTs.


title: Balayage of measures and subharmonic functions on a system of rays. I. Classic case

abstract: We develop classical balayage (sweeping) measures and subharmonic functions on the ray system $S$ with a general origin on the complex plane $\mathbb C$. This allows for a subharmonic function $v$ on $\mathbb C$ to construct also a subharmonic function on $\mathbb C$ that is harmonic outside $S$ and coincides with $v$ on $S$. We give applications to the relationship between the growth of an entire function on $S$ and the distribution of its zeros, the conditions of complete regular growth of entire and subharmonic functions on the ray system, to the problems of incompleteness of exponential systems in the spaces of holomorphic functions in nonconvex unbounded open sets narrowing near infinity. This first part of our work contains the necessary preparatory material for the construction of a new type of finite genus balayage on $S$ in the second part.


title: Detection of standing internal gravity waves in experiments with convection over a wavy heated wall

abstract: Convection over a wavy heated bottom wall in the air flow has been studied in experiments with the Rayleigh number $\sim 10^8$. It is shown that the mean temperature gradient in the flow core inside a large-scale circulation is directed upward, that corresponds to the stably stratified flow. In the experiments with a wavy heated bottom wall, we detect large-scale standing internal gravity waves excited in the regions with the stably stratified flow. The wavelength and the period of these waves are much larger than the turbulent spatial and time scales, respectively. In particular, the frequencies of the observed large-scale waves vary from 0.006 Hz to 0.07 Hz, while the turbulent time in the integral scale is about 0.5 s. The measured spectra of these waves contains several localized maxima, that implies an existence of waveguide resonators for the large-scale standing internal gravity waves. For comparisons, experiments with convection over a smooth plane bottom wall at the same mean temperature difference between bottom and upper walls have been also conducted. In these experiments various locations with a stably stratified flow are also found and the large-scale standing internal gravity waves are observed in these regions.


title: Balayage of measures and subharmonic functions on a system of rays. II. Balayage of finite genus and regularity of growth on one ray

abstract: We expand the classical balayage of measures and subharmonic functions on a system of rays $S$ with a common origin on the complex plane $\mathbb C$. This allows for an arbitrary subharmonic function $v$ of finite order on $\mathbb C$ build $\delta$-subharmonic function on $\mathbb C$, harmonic outside $S$ coinciding with $v$ on $S$ outside the polar set, of the same order of growth as $v$. We give applications to the relationship of the growth of an entire function in $S$ with the distribution of its zeros.


title: Zeros of holomorphic functions in the unit disk and $\rho$-trigonometrically convex functions

abstract: Let $M$\/ be a subharmonic function with Riesz measure $\mu_M$ on the unit disk $\mathbb D$ in the complex plane $\mathbb C$. Let $f$ be a nonzero holomorphic function on $\mathbb D$ such that $f$ vanishes on ${\sf Z}\subset \mathbb D$, and satisfies $|f| \leq \exp M$ on $\mathbb D$. Then restrictions on the growth of $\mu_M$ near the boundary of $D$ imply certain restrictions on the distribution of $\sf Z$. We give a quantitative study of this phenomenon in terms of special non-radial test functions constructed using $\rho$-trigonometrically convex functions.


title: Zero sets of holomorphic functions in the unit ball: non-radial growth characteristics

abstract: Let $f$ be a nonzero holomorphic function in the unit ball $\mathbb B$ of the $n$-dimensional complex Euclidean space $\mathbb C^n$ such that the function $f$ vanishes on the set ${\sf Z}\subset \mathbb B$ and satisfies the constraint $|f|\leq \exp M$ on $\mathbb B$, where $M\not\equiv \pm \infty$ is $\delta$-subharmonic function on $\mathbb B$ with Riesz charge $\mu_M$. We give a scale of integral uniform constraints from above on the distribution of the set ${\sf Z}$ via the charge $\nu_M$ in terms of $(2n-2)$-Hausdorff measure of the set $\sf Z$, as well as test convex radial functions and $\rho$-subspherical functions on the unit sphere $\mathbb S \subset \mathbb C^n$, which at $n=1$ can be interpreted as $2\pi$-periodic $\rho$-trigonometrically convex functions on the real axis $\mathbb R \subset \mathbb C$.


title: Unpredictable Solutions of Linear Differential Equations

abstract: In this study, the existence and uniqueness of the unpredictable solution for a non-homogeneous linear system of ordinary differential equations is considered. The hyperbolic case is under discussion. New properties of unpredictable functions are discovered. The presence of the solutions confirms the existence of Poincar\'e chaos. Simulations illustrating the chaos are provided.


title: On the Distribution of Zero Sets of Holomorphic Functions. III. Conversion Theorems

abstract: Let $D$ be a domain in the complex plane $\mathbb C$. It follows from first part of our work that if a non-zero holomorphic function $f$ on $D$ vanishes on a sequence ${\sf Z}\subset D$ and satisfies $|f|\leq M$ on $D$, where $M$ is a subharmonic function on $D$, then the the distribution of ${\sf Z}$ is subordinated to the Riesz measure $\nu_M$ of $M$ in a certain sense. Here we show that this result is "almost reversible".


title: BiHom-alternative, BiHom-Malcev and BiHom-Jordan algebras

abstract: The purpose of this paper is to introduce and study BiHom-alternative algebras and BiHom-Malcev algebras. It is shown that BiHom-alternative algebras are BiHom-Malcev admissible and BiHom-Jordan admissible. Moreover, BiHom-type generalizations of some well known identities in alternative algebras, including the Moufang identities, are obtained.


title: Scattering features and variability of the Crab pulsar

abstract: We report on Westerbork Synthesis Radio Telescope observations of the Crab pulsar at 350 MHz from 2012 November 24 until 2015 June 21. During this period we consistently observe variations in the pulse profile of the Crab. Both variations in the scattering width of the pulse profile as well as delayed copies, also known as echoes, are seen regularly. These observations support the classification of two types of echoes: those that follow the truncated exponential shape expected for the thin-screen scattering approximation, and echoes that show a smoother, more Gaussian shape. During a sequence of high-cadence observations in 2015, we find that these non-exponential echoes evolve in time by approaching the main pulse and interpulse in phase, overlapping the main pulse and interpulse, and later receding. We find a pulse scatter-broadening time scale, $\tau$, scaling with frequency as $\nu^{\alpha}$, with $\alpha=-3.9\pm0.5$, which is consistent with expected values for thin-screen scattering models


title: Learning to Skip Ineffectual Recurrent Computations in LSTMs

abstract: Long Short-Term Memory (LSTM) is a special class of recurrent neural network, which has shown remarkable successes in processing sequential data. The typical architecture of an LSTM involves a set of states and gates: the states retain information over arbitrary time intervals and the gates regulate the flow of information. Due to the recursive nature of LSTMs, they are computationally intensive to deploy on edge devices with limited hardware resources. To reduce the computational complexity of LSTMs, we first introduce a method that learns to retain only the important information in the states by pruning redundant information. We then show that our method can prune over 90% of information in the states without incurring any accuracy degradation over a set of temporal tasks. This observation suggests that a large fraction of the recurrent computations are ineffectual and can be avoided to speed up the process during the inference as they involve noncontributory multiplications/accumulations with zero-valued states. Finally, we introduce a custom hardware accelerator that can perform the recurrent computations using both sparse and dense states. Experimental measurements show that performing the computations using the sparse states speeds up the process and improves energy efficiency by up to 5.2x when compared to implementation results of the accelerator performing the computations using dense states.


title: A Diophantine inequality with four prime variables

abstract: Let $N$ be a sufficiently large real number. In this paper, it is proved that, for $1<c<\frac{1193}{889}$, the following Diophantine inequality \begin{equation*} \big|p_1^c+p_2^c+p_3^c+p_4^c-N\big|<\log^{-1}N \end{equation*} is solvable in prime variables $p_1,p_2,p_3,p_4$, which improves the result of Mu.


title: All two-loop MHV remainder functions in multi-Regge kinematics

abstract: We introduce a method to extract the symbol of the coefficient of $(2\pi i)^2$ of MHV remainder functions in planar N=4 Super Yang-Mills in multi-Regge kinematics region directly from the symbol in full kinematics. At two loops this symbol can be uplifted to the full function in a unique way, without any beyond-the-symbol ambiguities. We can therefore determine all two-loop MHV amplitudes at function level in all kinematic regions with different energy signs in multi-Regge kinematics. We analyse our results and we observe that they are consistent with the hypothesis of a contribution from the exchange of a three-Reggeon composite state starting from two loops and eight points in certain kinematic regions.


title: A Convolutional Neural Network based Live Object Recognition System as Blind Aid

abstract: This paper introduces a live object recognition system that serves as a blind aid. Visually impaired people heavily rely on their other senses such as touch and auditory signals for understanding the environment around them. The act of knowing what object is in front of the blind person without touching it (by hand or some other tool) is very difficult. In some cases, the physical contact between the person and object can be dangerous, and even lethal. This project employs a Convolutional Neural Network for recognition of pre-trained objects on the ImageNet dataset. A camera, aligned with the system's predetermined orientation serves as input to the computer system, which has the object recognition Neural Network deployed to carry out real-time object detection. Output from the network can then be parsed to present to the visually impaired person either in the form of audio or Braille text.


title: Quantifying Attacker Capability Via Model Checking Multiple Properties (Extended Version)

abstract: This work aims to solve a practical problem, i.e., how to quantify the risk brought upon a system by different attackers. The answer is useful for optimising resource allocation for system defence. Given a set of safety requirements, we quantify the attacker capability in terms of the set of safety requirements an attacker can compromise. Given a system (in the presence of an attacker), model checking it against each safety requirement one by one is expensive and wasteful since the same state space is explored many times. We thus propose model checking multiple properties efficiently by means of coalgebraic model checking using enhanced coinduction techniques. We apply the proposed technique to a real-world water treatment system and the results show that our approach can effectively reduce the effort required for model checking.


title: Kleene Algebra with Observations

abstract: Kleene algebra with tests (KAT) is an algebraic framework for reasoning about the control flow of sequential programs. Generalising KAT to reason about concurrent programs is not straightforward, because axioms native to KAT in conjunction with expected axioms for concurrency lead to an anomalous equation. In this paper, we propose Kleene algebra with observations (KAO), a variant of KAT, as an alternative foundation for extending KAT to a concurrent setting. We characterise the free model of KAO, and establish a decision procedure w.r.t. its equational theory.


title: Transversality via gauge transformations for pseudo holomorphic disks in projectivized vector bundles

abstract: We show that one can achieve transversality for lifts of holomorphic disks to a projectivized vector bundle by locally enlarging the structure group and considering the action of gauge transformations on the almost complex structure, which eases computation considerably. As an application we prove a special case of the Arnold-Givental conjecture.


title: Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis

abstract: Gas is a measurement unit of the computational effort that it will take to execute every single operation that takes part in the Ethereum blockchain platform. Each instruction executed by the Ethereum Virtual Machine (EVM) has an associated gas consumption specified by Ethereum. If a transaction exceeds the amount of gas allotted by the user (known as gas limit), an out-of-gas exception is raised. There is a wide family of contract vulnerabilities due to out-of-gas behaviours. We report on the design and implementation of GASTAP, a Gas-Aware Smart contracT Analysis Platform, which takes as input a smart contract (either in EVM, disassembled EVM, or in Solidity source code) and automatically infers sound gas upper bounds for all its public functions. Our bounds ensure that if the gas limit paid by the user is higher than our inferred gas bounds, the contract is free of out-of-gas vulnerabilities.


title: Type-II Zeeman slowing: Characterization and comparison to conventional radiative beam slowing schemes

abstract: We describe a novel Zeeman slowing method reported in (Petzold et al (2018 New J. Phys. 20 042001)) and compare it to conventional radiative beam slowing schemes. The scheme is designed to work on a type-II level structure making it particularly attractive for radiative beam slowing of molecules. Working on the D$_{1}$-line of atomic $^{39}$K, we demonstrate efficient slowing of an atomic beam from $\mathrm{400 \, m \, s^{-1}}$ down to $\mathrm{35 \, m \, s^{-1}}$ with a final flux of $3.3 \cdot 10^{9} \, \mathrm{cm}^{-2}\mathrm{s^{-1}}$. We give experimental details and compare our results to other established radiative slowing schemes in atomic and molecular physics. We find type-II Zeeman slowing to outperform white-light slowing commonly used in molecular beam slowing and to be comparably efficient as traditional type-I Zeeman slowing being the standard beam slowing technique in atomic physics.


title: The existence and stability of marginally trapped surfaces

abstract: Marginally outer trapped surfaces (MOTSs, or marginal surfaces in short) are routinely used in numerical simulations of black hole spacetimes. They are an invaluable tool for locating and characterizing black holes quasi-locally in real time while the simulation is ongoing. It is often believed that a MOTS can behave unpredictably under time evolution; an existing MOTS can disappear, and a new one can appear without any apparent reason. In this paper we show that in fact the behavior of a MOTS is perfectly predictable and its behavior is dictated by a single real parameter, the \emph{stability parameter}, which can be monitored during the course of a numerical simulation. We demonstrate the utility of the stability parameter to fully understand the variety of marginal surfaces that can be present in binary black hole initial data. We also develop a new horizon finder capable of locating very highly distorted marginal surfaces and we show that even in these cases, the stability parameter perfectly predicts the existence and stability of marginal surfaces.


title: Generalized metallic pseudo-Riemannian structures

abstract: We generalize the notion of metallic structure in the pseudo-Riemannian setting, define the metallic Norden structure and study its integrability. We construct a metallic natural connection recovering as particular case the Ganchev and Mihova connection, which we extend to a metallic natural connection on the generalized tangent bundle. Moreover, we construct metallic pseudo-Riemannian structures on the tangent and cotangent bundles.


title: On diagonal solutions of the reflection equation

abstract: We study solutions of the reflection equation associated with the quantum affine algebra $U_{q}(\hat{gl}(N))$ and obtain diagonal K-operators in terms of the Cartan elements of a quotient of $U_{q}(gl(N))$. We also consider intertwining relations for these K-operators and find an augmented q-Onsager algebra like symmetry behind them.


title: Necessary and sufficient conditions for macrorealism using two and three-time Leggett-Garg inequalities

abstract: The Leggett-Garg (LG) inequalities were introduced, as a temporal parallel of the Bell inequalities, to test macroscopic realism -- the view that a macroscopic system evolving in time possesses definite properties which can be determined without disturbing the future or past state. The original LG inequalities are only a necessary condition for macrorealism, and are therefore not a decisive test. We argue, for the case of measurements of a single dichotomic variable Q, that when the original four three-time LG inequalities are augmented with a set of twelve two-time inequalities also of the LG form, Fine's theorem applies and these augmented conditions are then both necessary and sufficient. A comparison is carried out with the alternative necessary and sufficient conditions for macrorealism based on no-signaling in time conditions which ensure that all probabilities for Q at one and two times are independent of whether earlier or intermediate measurements are made. We argue that the two tests differ in their implementation of the key requirement of non-invasive measurability so are testing different notions of macrorealism, and these notions are elucidated.


title: A geometric way to build strong mixed-integer programming formulations

abstract: We give an explicit geometric way to build mixed-integer programming (MIP) formulations for unions of polyhedra. The construction is simply described in terms of spanning hyperplanes in an r-dimensional linear space. The resulting MIP formulation is ideal, and uses exactly r integer variables and 2 x (# of spanning hyperplanes) general inequality constraints. We use this result to derive novel logarithmic-sized ideal MIP formulations for discontinuous piecewise linear functions and structures appearing in robotics and power systems problems.


title: Existence and extinction in finite time for Stratonovich gradient noise porous media equations

abstract: We study existence and uniqueness of distributional solutions to the stochastic partial differential equation $dX - ( \nu \Delta X + \Delta \psi (X) ) dt = \sum_{i=1}^N \langle b_i, \nabla X \rangle \circ d\beta_i$ in $]0,T[ \times \mathcal{O}$, with $X(0) = x(\xi)$ in $\mathcal{O}$ and $X = 0$ on $]0,T[ \times \partial \mathcal{O}$. Moreover, we prove extinction in finite time of the solutions in the special case of fast diffusion model and of self-organized criticality model.