title: Free energy, friction, and mass profiles from short molecular dynamics trajectories

abstract: We address the problem of constructing accurate mathematical models of the dynamics of molecular systems projected on a collective variable. To this aim we introduce an algorithm optimizing the parameters of a standard or generalized Langevin equation until the latter reproduces in a faithful way a set of molecular dynamics trajectories. In particular, using solvated proline dipeptide as a test case, we report evidence that ~100 short trajectories initiated at the top of a high barrier encode all the information needed to reconstruct free energy, friction, and mass profiles, including non-Markovian effects. The approach allows accessing the thermodynamics and kinetics of activated processes in a conceptually direct way, it employs only standard unbiased molecular dynamics trajectories, and is competitive in computational cost with respect to existing enhanced sampling methods. Furthermore, the systematic construction of Langevin models for different choices of collective variables starting from the same initial data could help in reaction coordinate optimization.


title: Recurrence quantification analysis as a post-processing technique in adaptive optics high-contrast imaging

abstract: In this work we explore the possibility of using Recurrence Quantification Analysis (RQA) in astronomical high-contrast imaging to statistically discriminate the signal of faint objects from speckle noise. To this end, we tested RQA on a sequence of high frame rate (1 kHz) images acquired with the SHARK-VIS forerunner at the Large Binocular Telescope. Our tests show promising results in terms of detection contrasts at angular separations as small as $50$ mas, especially when RQA is applied to a very short sequence of data ($2$ s). These results are discussed in light of possible science applications and with respect to other techniques like, for example, Angular Differential Imaging and Speckle-Free Imaging.


title: Adaptive Planar Point Location

abstract: We present self-adjusting data structures for answering point location queries in convex and connected subdivisions. Let $n$ be the number of vertices in a convex or connected subdivision. Our structures use $O(n)$ space. For any convex subdivision $S$, our method processes any online query sequence $\sigma$ in $O(\mathrm{OPT} + n)$ time, where $\mathrm{OPT}$ is the minimum time required by any linear decision tree for answering point location queries in $S$ to process $\sigma$. For connected subdivisions, the processing time is $O(\mathrm{OPT} + n + |\sigma|\log(\log^* n))$. In both cases, the time bound includes the $O(n)$ preprocessing time.


title: Complete intersection Jordan types in height two

abstract: We determine every Jordan type partition that occurs as the Jordan block decomposition for the multiplication map by a linear form in a height two homogeneous complete intersection (CI) Artinian algebra $A$ over an algebraically closed field $\sf k$ of characteristic zero or large enough. We show that these CI Jordan type partitions are those satisfying specific numerical conditions; also, given the Hilbert function $H(A)$, they are completely determined by which higher Hessians of $A$ vanish at the point corresponding to the linear form. We also show new combinatorial results about such partitions, and in particular we give ways to construct them from a branch label or hook code, showing how branches are attached to a fundamental triangle to form the Ferrers graph.


title: Classification Using Link Prediction

abstract: Link prediction in a graph is the problem of detecting the missing links that would be formed in the near future. Using a graph representation of the data, we can convert the problem of classification to the problem of link prediction which aims at finding the missing links between the unlabeled data (unlabeled nodes) and their classes. To our knowledge, despite the fact that numerous algorithms use the graph representation of the data for classification, none are using link prediction as the heart of their classifying procedure. In this work, we propose a novel algorithm called CULP (Classification Using Link Prediction) which uses a new structure namely Label Embedded Graph or LEG and a link predictor to find the class of the unlabeled data. Different link predictors along with Compatibility Score - a new link predictor we proposed that is designed specifically for our settings - has been used and showed promising results for classifying different datasets. This paper further improved CULP by designing an extension called CULM which uses a majority vote (hence the M in the acronym) procedure with weights proportional to the predictions' confidences to use the predictive power of multiple link predictors and also exploits the low level features of the data. Extensive experimental evaluations shows that both CULP and CULM are highly accurate and competitive with the cutting edge graph classifiers and general classifiers.


title: Cooperative behavior of molecular motions giving rise to two glass transitions in the same supercooled mesophase of a smectogenic odd liquid crystal dimer

abstract: In the present work, a detailed analysis of the glassy behavior and the relaxation dynamics of the liquid crystal dimer {\alpha}-(4-cyanobiphenyl-4'-yloxy)-{\omega}-(1-pyrenimine-benzylidene-4'-oxy) heptane (CBO7O.Py) throughout both nematic and smectic A mesophases by means of broadband dielectric spectroscopy has been performed. CBO7O.Py shows three different dielectric relaxation modes and two glass transition (Tg) temperatures: the higher Tg is due to the freezing of the molecular motions responsible of the relaxation mode with the lowest frequency (\mu 1L); the lower Tg is due to the motions responsible of the two relaxation modes with highest frequencies (\mu 1H and \mu 2), which converge just at their corresponding Tg. It is shown how the three modes follow a critical-like description via the dynamic scaling model. The two modes with lowest frequencies (\mu 1L and \mu 1H) are cooperative in the whole range of the mesophases, whereas the highest frequency mode (\mu 2) is cooperative just below some cross-over temperature. In terms of fragility, at the glass transition, the ensemble (\mu 1H +\mu 2) presents a value of the steepness index and \mu 1L a different one, meaning that fragility is a property intrinsic of the molecular motion itself. Finally, the steepness index seem to have a universal behavior with temperature for the dielectric relaxation modes of liquid crystal dimers, being almost constant at high temperatures and increasing drastically when cooling the compound down to the glass transition from a temperature about (3/4)TNI.


title: General predictions for the neutron star crustal moment of inertia

abstract: The neutron star crustal EoS and transition point properties are computed within a unified meta-modeling approach. A Bayesian approach is employed including two types of filters: bulk nuclear properties are controlled from low density effective field theory (EFT) predictions as well as the present knowledge from nuclear experiments, while the surface energy is adjusted on experimental nuclear masses. Considering these constraints, a quantitative prediction of crustal properties can be reached with controlled confidence intervals and increased precision with respect to previous calculations: {$\approx 11\%$} dispersion on the crustal width and {$\approx 27\%$} dispersion on the fractional moment of inertia. The crust moment of inertia is also evaluated as a function of the neutron star mass, and predictions for mass and radii are given for different pulsars. The possible crustal origin of Vela pulsar glitches is discussed within the present estimations of crustal entrainment, disfavoring a large entrainment phenomenon if the Vela mass is above $1.4M_\odot$. Further refinement of the present predictions requires a better estimation of the high order isovector empirical parameters, e.g. $K_{sym}$ and $Q_{sym}$, and a better control of the surface properties of extremely neutron rich nuclei.


title: Joint Activity Detection and Channel Estimation for IoT Networks: Phase Transition and Computation-Estimation Tradeoff

abstract: Massive device connectivity is a crucial communication challenge for Internet of Things (IoT) networks, which consist of a large number of devices with sporadic traffic. In each coherence block, the serving base station needs to identify the active devices and estimate their channel state information for effective communication. By exploiting the sparsity pattern of data transmission, we develop a structured group sparsity estimation method to simultaneously detect the active devices and estimate the corresponding channels. This method significantly reduces the signature sequence length while supporting massive IoT access. To determine the optimal signature sequence length, we study \emph{the phase transition behavior} of the group sparsity estimation problem. Specifically, user activity can be successfully estimated with a high probability when the signature sequence length exceeds a threshold; otherwise, it fails with a high probability. The location and width of the phase transition region are characterized via the theory of conic integral geometry. We further develop a smoothing method to solve the high-dimensional structured estimation problem with a given limited time budget. This is achieved by sharply characterizing the convergence rate in terms of the smoothing parameter, signature sequence length and estimation accuracy, yielding a trade-off between the estimation accuracy and computational cost. Numerical results are provided to illustrate the accuracy of our theoretical results and the benefits of smoothing techniques.


title: Characterizing the properties of nearby molecular filaments observed with Herschel

abstract: [Abridged] Molecular filaments have received special attention recently, thanks to new observational results on their properties. In particular, our early analysis of filament properties revealed a narrow distribution of median widths centered at a value of about 0.1 pc. Here, we extend and complement our initial study with the analysis of the filamentary structures observed in eight nearby molecular clouds. We use the column density maps derived from Herschel data and the DisPerSE algorithm to trace a network of filaments in each cloud. We build synthetic maps to assess the completeness limit of our extracted sample and validate our measurements. Our analysis yields a selected sample of 599 filaments with aspect ratios larger than 3 and column density contrasts larger than 0.3. We show that our sample is more than 95% complete for column density contrasts larger than 1, with only 5% of spurious detections. On average, more than 15% of the total gas mass in the clouds, and more than 80% of the dense gas mass, is found to be in the form of filaments, respectively. Analysis of the radial column density profiles of the 599 filaments indicates a narrow distribution of crest-averaged inner widths, with a median value of 0.10 pc and an interquartile range of 0.07 pc. In contrast, the filaments span wide ranges in length, central column density, column density contrast, and mass per unit length. The characteristic filament width is well resolved by Herschel observations, and a median value of 0.1 pc is consistently found using three distinct estimates based on (1) a direct measurement of the width at half power after background subtraction, as well as (2) Gaussian and (3) Plummer fits. The existence of a characteristic filament width is further supported by the presence of a tight correlation between mass per unit length and central column density for the observed filaments.


title: Throughput Optimizations for FPGA-based Deep Neural Network Inference

abstract: Deep neural networks are an extremely successful and widely used technique for various pattern recognition and machine learning tasks. Due to power and resource constraints, these computationally intensive networks are difficult to implement in embedded systems. Yet, the number of applications that can benefit from the mentioned possibilities is rapidly rising. In this paper, we propose novel architectures for the inference of previously learned and arbitrary deep neural networks on FPGA-based SoCs that are able to overcome these limitations. Our key contributions include the reuse of previously transferred weight matrices across multiple input samples, which we refer to as batch processing, and the usage of compressed weight matrices, also known as pruning. An extensive evaluation of these optimizations is presented. Both techniques allow a significant mitigation of data transfers and speed-up the network inference by one order of magnitude. At the same time, we surpass the data throughput of fully-featured x86-based systems while only using a fraction of their energy consumption.


title: From the colour glass condensate to filamentation: Systematics of classical Yang-Mills theory

abstract: The non-equilibrium early time evolution of an ultra-relativistic heavy ion collision is often described by classical lattice Yang-Mills theory, starting from the colour glass condensate (CGC) effective theory with an anisotropic energy momentum tensor as initial condition. In this work we investigate the systematics associated with such studies and their dependence on various model parameters (IR, UV cutoffs and the amplitude of quantum fluctuations) which are not yet fixed by experiment. We perform calculations for SU(2) and SU(3), both in a static box and in an expanding geometry. Generally, the dependence on model parameters is found to be much larger than that on technical parameters like the number of colours, boundary conditions or the lattice spacing. In a static box, all setups lead to isotropisation through chromo-Weibel instabilities, which is illustrated by the accompanying filamentation of the energy density. However, the associated time scale depends strongly on the model parameters and in all cases is longer than the phenomenologically expected one. In the expanding system, no isotropisation is observed for any parameter choice. We show how investigations at fixed initial energy density can be used to better constrain some of the model parameters.


title: Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)

abstract: This volume constitutes the pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018). It is formed of those papers selected by the program committee for presentation at the workshop. After discussion at the workshop, the program committee will select a number of papers to be invited for the second round of refereeing and selection for the formal proceedings.


title: The global distribution of active Ionian Volcanoes and implications for tidal heating models

abstract: Tidal heating is the major source of heat in the outer Solar System. Because of its strong tidal interaction with Jupiter and the other Galilean Satellites, Io is incredibly volcanically active. We use the directly measured volcanic activity level of Io's volcanoes as a proxy for surface heat flow and compare to tidal heating model predictions. Volcanic activity is a better proxy for heat flow than simply the locations of volcanic constructs. We determine the volcanic activity level using three data sets: Galileo PPR, Galileo NIMS, and New Horizons LEISA. We also present a systematic reanalysis of the Galileo NIMS observations to determine the 3.5 micron brightness of 51 active volcanoes. We find that potential differences in volcanic style between high and low latitudes make high latitude observations unreliable in distinguishing between tidal heating models. Observations of Io's polar areas, such as those by JUNO, are necessary to unambiguously understand Io's heat flow. However, all three of the data sets examined show a relative dearth of volcanic brightness near 180 W (anti-Jovian point) and the equator and the only data set with good observations of the sub-Jovian point (LEISA) also shows a lack of volcanic brightness in that region. These observations are more consistent with the mantle-heating model than the asthenospheric-heating model. Furthermore, all three of the data sets are consistent with four-fold symmetry in longitude and peak heat flow at mid-latitudes, which best matches with the combined heating case of Tackley et al. (2001).


title: Spins in Semiconductor Nanocrystals

abstract: Semiconductor nanocrystals are being used as hosts to trap and manipulate single spins. Spins in nanocrystals can have different properties than their bulk counterparts, owing both to quantum confinement and surface effects. We will show that spins can be generated in nanocrystals by the insertion of impurities, either magnetic or not, or by magnetic polarons present at dangling bonds at their surfaces. This chapter reports theoretical contributions to this field, where the Density Functional Theory is used to simulate these functionalized nanocrystals.


title: A Constant Introduction of Additional Food Does Not Yield Pest Eradication in Finite Time

abstract: Biological control, the use of predators and pathogens to control target pests, is a promising alternative to chemical control. It is hypothesized that the introduced predators efficacy can be boosted by providing them with an additional food source. The current literature \cite{SP11} claims that if the additional food is of sufficient constant quantity and quality then pest eradication is possible in \emph{finite} time. The purpose of the current manuscript is to show that to the contrary, pest eradication is \emph{not possible} in finite time, for \emph{any} quantity and quality of constant additional food. However for a density dependent quantity of additional food, we show pest eradication in finite time is indeed possible. Our results have large scale implications for the effective design of biological control methods involving additional food.


title: Picometer-stable hexagonal optical bench to verify LISA phase extraction linearity and precision

abstract: The Laser Interferometer Space Antenna (LISA) and its metrology chain have to fulfill stringent performance requirements to enable the space-based detection of gravitational waves. This implies the necessity of performance verification methods. In particular, the extraction of the interferometric phase, implemented by a phasemeter, needs to be probed for linearity and phase noise contributions. This Letter reports on a hexagonal quasimonolithic optical bench implementing a three-signal test for this purpose. Its characterization as sufficiently stable down to picometer levels is presented as well as its usage for a benchmark phasemeter performance measurement under LISA conditions. These results make it a candidate for the core of a LISA metrology verification facility.


title: SurfelMeshing: Online Surfel-Based Mesh Reconstruction

abstract: We address the problem of mesh reconstruction from live RGB-D video, assuming a calibrated camera and poses provided externally (e.g., by a SLAM system). In contrast to most existing approaches, we do not fuse depth measurements in a volume but in a dense surfel cloud. We asynchronously (re)triangulate the smoothed surfels to reconstruct a surface mesh. This novel approach enables to maintain a dense surface representation of the scene during SLAM which can quickly adapt to loop closures. This is possible by deforming the surfel cloud and asynchronously remeshing the surface where necessary. The surfel-based representation also naturally supports strongly varying scan resolution. In particular, it reconstructs colors at the input camera's resolution. Moreover, in contrast to many volumetric approaches, ours can reconstruct thin objects since objects do not need to enclose a volume. We demonstrate our approach in a number of experiments, showing that it produces reconstructions that are competitive with the state-of-the-art, and we discuss its advantages and limitations. The algorithm (excluding loop closure functionality) is available as open source at https://github.com/puzzlepaint/surfelmeshing .


title: $ hp $-version collocation method for a class of nonlinear Volterra integral equations of the first kind

abstract: In this paper, we present a collocation method for nonlinear Volterra integral equation of the first kind. This method benefits from the idea of $hp$-version projection methods. We provide an approximation based on the Legendre polynomial interpolation. The convergence of the proposed method is completely studied and an error estimate under the $L^2$-norm is provided. Finally, several numerical experiments are presented in order to verify the obtained theoretical results.


title: Towards Cereceda's conjecture for planar graphs

abstract: The reconfiguration graph $R_k(G)$ of the $k$-colourings of a graph $G$ has as vertex set the set of all possible $k$-colourings of $G$ and two colourings are adjacent if they differ on the colour of exactly one vertex. Cereceda conjectured ten years ago that, for every $k$-degenerate graph $G$ on $n$ vertices, $R_{k+2}(G)$ has diameter $\mathcal{O}({n^2})$. The conjecture is wide open, with a best known bound of $\mathcal{O}({k^n})$, even for planar graphs. We improve this bound for planar graphs to $2^{\mathcal{O}({\sqrt{n}})}$. Our proof can be transformed into an algorithm that runs in $2^{\mathcal{O}({\sqrt{n}})}$ time.


title: Probing hyperbolic polaritons using infrared attenuated total reflectance micro-spectroscopy

abstract: Hyperbolic polariton modes are highly appealing for a broad range of applications in nanophotonics, including surfaced enhanced sensing, sub-diffractional imaging and reconfigurable metasurfaces. Here we show that attenuated total reflectance micro-spectroscopy (ATR) using standard spectroscopic tools can launch hyperbolic polaritons in a Kretschmann-Raether configuration. We measure multiple hyperbolic and dielectric modes within the naturally hyperbolic material hexagonal boron nitride as a function of different isotopic enrichments and flake thickness. This overcomes the technical challenges of measurement approaches based on nanostructuring, or scattering scanning nearfield optical microscopy. Ultimately, our ATR approach allows us to compare the optical properties of small-scale materials prepared by different techniques systematically


title: $L_p$-spectrum and Lieb-Thirring inequalities for Schr\"odinger operators on the hyperbolic plane

abstract: This paper deals with the $L_p$-spectrum of Schr\"odinger operators on the hyperbolic plane. We establish Lieb-Thirring type inequalities for discrete eigenvalues and study their dependence on $p$. Some bounds on individual eigenvalues are derived as well.


title: On Bialgebras, Comodules, Descent Data and Thom Spectra in $\infty$-categories

abstract: This paper lays some of the foundations for working with not-necessarily-commutative bialgebras and their categories of comodules in $\infty$-categories. We prove that the categories of comodules and modules over a bialgebra always admit suitably structured monoidal structures in which the tensor product is taken in the ambient category (as opposed to a relative (co)tensor product over the underlying algebra or coalgebra of the bialgebra). We give two examples of higher coalgebraic structure: first, following Hess we show that for a map of $\mathbb{E}_n$-ring spectra $\phi\colon A\to B$, the associated $\infty$-category of descent data is equivalent to the category of comodules over $B\otimes_A B$, the so-called descent coring; secondly, we show that Thom spectra are canonically equipped with a highly structured comodule structure which is equivalent to the $\infty$-categorical Thom diagonal of Ando, Blumberg, Gepner, Hopkins and Rezk (which we describe explicitly) and that this highly structured diagonal decomposes the Thom isomorphism for an oriented Thom spectrum in the expected way.


title: Smeared phase transitions in percolation on real complex networks

abstract: Percolation on complex networks is used both as a model for dynamics on networks, such as network robustness or epidemic spreading, and as a benchmark for our models of networks, where our ability to predict percolation measures our ability to describe the networks themselves. In many applications, correctly identifying the phase transition of percolation on real-world networks is of critical importance. Unfortunately, this phase transition is obfuscated by the finite size of real systems, making it hard to distinguish finite size effects from the inaccuracy of a given approach that fails to capture important structural features. Here, we borrow the perspective of smeared phase transitions and argue that many observed discrepancies are due to the complex structure of real networks rather than to finite size effects only. In fact, several real networks often used as benchmarks feature a smeared phase transition where inhomogeneities in the topological distribution of the order parameter do not vanish in the thermodynamic limit. We find that these smeared transitions are sometimes better described as sequential phase transitions within correlated subsystems. Our results shed light not only on the nature of the percolation transition in complex systems, but also provide two important insights on the numerical and analytical tools we use to study them. First, we propose a measure of local susceptibility to better detect both clean and smeared phase transitions by looking at the topological variability of the order parameter. Second, we highlight a shortcoming in state-of-the-art analytical approaches such as message passing, which can detect smeared transitions but not characterize their nature.


title: Benchmark Analysis of Representative Deep Neural Network Architectures

abstract: This work presents an in-depth analysis of the majority of the deep neural networks (DNNs) proposed in the state of the art for image recognition. For each DNN multiple performance indices are observed, such as recognition accuracy, model complexity, computational complexity, memory usage, and inference time. The behavior of such performance indices and some combinations of them are analyzed and discussed. To measure the indices we experiment the use of DNNs on two different computer architectures, a workstation equipped with a NVIDIA Titan X Pascal and an embedded system based on a NVIDIA Jetson TX1 board. This experimentation allows a direct comparison between DNNs running on machines with very different computational capacity. This study is useful for researchers to have a complete view of what solutions have been explored so far and in which research directions are worth exploring in the future; and for practitioners to select the DNN architecture(s) that better fit the resource constraints of practical deployments and applications. To complete this work, all the DNNs, as well as the software used for the analysis, are available online.


title: Risk-Averse Stochastic Convex Bandit

abstract: Motivated by applications in clinical trials and finance, we study the problem of online convex optimization (with bandit feedback) where the decision maker is risk-averse. We provide two algorithms to solve this problem. The first one is a descent-type algorithm which is easy to implement. The second algorithm, which combines the ellipsoid method and a center point device, achieves (almost) optimal regret bounds with respect to the number of rounds. To the best of our knowledge this is the first attempt to address risk-aversion in the online convex bandit problem.


title: Contracting projected entangled pair states is average-case hard

abstract: An accurate calculation of the properties of quantum many-body systems is one of the most important yet intricate challenges of modern physics and computer science. In recent years, the tensor network ansatz has established itself as one of the most promising approaches enabling striking efficiency of simulating static properties of one-dimensional systems and abounding numerical applications in condensed matter theory. In higher dimensions, however, a connection to the field of computational complexity theory has shown that the accurate normalization of the two-dimensional tensor networks called projected entangled pair states (PEPS) is #P-complete. Therefore, an efficient algorithm for PEPS contraction would allow to solve exceedingly difficult combinatorial counting problems, which is considered highly unlikely. Due to the importance of understanding two- and three-dimensional systems the question currently remains: Are the known constructions typical of states relevant for quantum many-body systems? In this work, we show that an accurate evaluation of normalization or expectation values of PEPS is as hard to compute for typical instances as for special configurations of highest computational hardness. We discuss the structural property of average-case hardness in relation to the current research on efficient algorithms attempting tensor network contraction, hinting at a wealth of possible further insights into the average-case hardness of important problems in quantum many-body theory.


title: Bayesian inference in high-dimensional linear models using an empirical correlation-adaptive prior

abstract: In the context of a high-dimensional linear regression model, we propose the use of an empirical correlation-adaptive prior that makes use of information in the observed predictor variable matrix to adaptively address high collinearity, determining if parameters associated with correlated predictors should be shrunk together or kept apart. Under suitable conditions, we prove that this empirical Bayes posterior concentrates around the true sparse parameter at the optimal rate asymptotically. A simplified version of a shotgun stochastic search algorithm is employed to implement the variable selection procedure, and we show, via simulation experiments across different settings and a real-data application, the favorable performance of the proposed method compared to existing methods.


title: Improving the Generalization of Adversarial Training with Domain Adaptation

abstract: By injecting adversarial examples into training data, adversarial training is promising for improving the robustness of deep learning models. However, most existing adversarial training approaches are based on a specific type of adversarial attack. It may not provide sufficiently representative samples from the adversarial domain, leading to a weak generalization ability on adversarial examples from other attacks. Moreover, during the adversarial training, adversarial perturbations on inputs are usually crafted by fast single-step adversaries so as to scale to large datasets. This work is mainly focused on the adversarial training yet efficient FGSM adversary. In this scenario, it is difficult to train a model with great generalization due to the lack of representative adversarial samples, aka the samples are unable to accurately reflect the adversarial domain. To alleviate this problem, we propose a novel Adversarial Training with Domain Adaptation (ATDA) method. Our intuition is to regard the adversarial training on FGSM adversary as a domain adaption task with limited number of target domain samples. The main idea is to learn a representation that is semantically meaningful and domain invariant on the clean domain as well as the adversarial domain. Empirical evaluations on Fashion-MNIST, SVHN, CIFAR-10 and CIFAR-100 demonstrate that ATDA can greatly improve the generalization of adversarial training and the smoothness of the learned models, and outperforms state-of-the-art methods on standard benchmark datasets. To show the transfer ability of our method, we also extend ATDA to the adversarial training on iterative attacks such as PGD-Adversial Training (PAT) and the defense performance is improved considerably.


title: The local universality of Muttalib-Borodin biorthogonal ensembles with parameter $\theta = \frac{1}{2}$

abstract: The Muttalib-Borodin biorthogonal ensemble is a probability density function for $n$ particles on the positive real line that depends on a parameter $\theta$ and an external field $V$. For $\theta=\frac{1}{2}$ we find the large $n$ behavior of the associated correlation kernel with only few restrictions on $V$. The idea is to relate the ensemble to a type II multiple orthogonal polynomial ensemble that can in turn be related to a $3\times 3$ Riemann-Hilbert problem which we then solve with the Deift-Zhou steepest descent method. The main ingredient is the construction of the local parametrix at the origin, with the help of Meijer G-functions, and its matching condition with a global parametrix. We will present a new iterative technique to obtain the matching condition, which we expect to be applicable in more general situations as well.


title: Geometric normal subgroups in mapping class groups of punctured surfaces

abstract: We prove that many normal subgroups of the extended mapping class group of a surface with punctures are geometric, that is, that their automorphism groups and abstract commensurator groups are isomorphic to the extended mapping class group. In order to apply our theorem to a normal subgroup we require that the "minimal supports" of its elements satisfy a certain complexity condition that is easy to check in practice. The key ingredient is proving that the automorphism groups of many simplicial complexes associated to punctured surfaces are isomorphic to the extended mapping class group. This resolves many cases of a metaconjecture of N. V. Ivanov and extends work of Brendle-Margalit, who prove the result for surfaces without punctures.


title: Large birefringence and linear dichroism in TiS3 nanosheets

abstract: TiS3 nanosheets have proven to be promising candidates for ultrathin optoelectronic devices due to their direct narrow band-gap and the strong light-matter interaction. In addition, the marked in-plane anisotropy of TiS3 is appealing for the fabrication of polarization sensitive optoelectronic devices. Herein, we study the optical contrast of TiS3 nanosheets of variable thickness on SiO2/Si substrates, from which we obtain the complex refractive index in the visible spectrum. We find that TiS3 exhibits very large birefringence, larger than that of well-known strong birefringent materials like TiO2 or calcite, and linear dichroism. These findings are in qualitative agreement with ab initio calculations that suggest an excitonic origin for the birefringence and linear dichroism of the material.


title: Quantum asymptotic spectra of graphs and non-commutative graphs, and quantum Shannon capacities

abstract: We study quantum versions of the Shannon capacity of graphs and non-commutative graphs. We introduce the asymptotic spectrum of graphs with respect to quantum and entanglement-assisted homomorphisms, and we introduce the asymptotic spectrum of non-commutative graphs with respect to entanglement-assisted homomorphisms. We apply Strassen's spectral theorem (J. Reine Angew. Math., 1988) in order to obtain dual characterizations of the corresponding Shannon capacities and asymptotic preorders in terms of their asymptotic spectra. This work extends the study of the asymptotic spectrum of graphs initiated by Zuiddam (Combinatorica, 2019) to the quantum domain. We then exhibit spectral points in the new quantum asymptotic spectra and discuss their relations with the asymptotic spectrum of graphs. In particular, we prove that the (fractional) real and complex Haemers bounds upper bound the quantum Shannon capacity, which is defined as the regularization of the quantum independence number (Man\v{c}inska and Roberson, J. Combin. Theory Ser. B, 2016), and that the fractional real and complex Haemers bounds are elements in the quantum asymptotic spectrum of graphs. This is in contrast to the Haemers bounds defined over certain finite fields, which can be strictly smaller than the quantum Shannon capacity. Moreover, since the Haemers bound can be strictly smaller than the Lov\'asz theta function (Haemers, IEEE Trans. Inf. Theory, 1979), we find that the quantum Shannon capacity and the Lov\'asz theta function do not coincide. As a consequence, two well-known conjectures in quantum information theory cannot both be true.


title: Computer-assisted proofs in PDE: a survey

abstract: In this survey we present some recent results concerning computer-assisted proofs in partial differential equations, focusing in those coming from problems in incompressible fluids. Particular emphasis is put on the techniques, as opposed to the results themselves.


title: Bayesian Prediction of Future Street Scenes using Synthetic Likelihoods

abstract: For autonomous agents to successfully operate in the real world, the ability to anticipate future scene states is a key competence. In real-world scenarios, future states become increasingly uncertain and multi-modal, particularly on long time horizons. Dropout based Bayesian inference provides a computationally tractable, theoretically well grounded approach to learn likely hypotheses/models to deal with uncertain futures and make predictions that correspond well to observations -- are well calibrated. However, it turns out that such approaches fall short to capture complex real-world scenes, even falling behind in accuracy when compared to the plain deterministic approaches. This is because the used log-likelihood estimate discourages diversity. In this work, we propose a novel Bayesian formulation for anticipating future scene states which leverages synthetic likelihoods that encourage the learning of diverse models to accurately capture the multi-modal nature of future scene states. We show that our approach achieves accurate state-of-the-art predictions and calibrated probabilities through extensive experiments for scene anticipation on Cityscapes dataset. Moreover, we show that our approach generalizes across diverse tasks such as digit generation and precipitation forecasting.


title: On the tensor structure of modules for compact orbifold vertex operator algebras

abstract: Suppose $V^G$ is the fixed-point vertex operator subalgebra of a compact group $G$ acting on a simple abelian intertwining algebra $V$. We show that if all irreducible $V^G$-modules contained in $V$ live in some braided tensor category of $V^G$-modules, then they generate a tensor subcategory equivalent to the category $\mathrm{Rep}\,G$ of finite-dimensional representations of $G$, with associativity and braiding isomorphisms modified by the abelian $3$-cocycle defining the abelian intertwining algebra structure on $V$. Additionally, we show that if the fusion rules for the irreducible $V^G$-modules contained in $V$ agree with the dimensions of spaces of intertwiners among $G$-modules, then the irreducibles contained in $V$ already generate a braided tensor category of $V^G$-modules. These results do not require rigidity on any tensor category of $V^G$-modules and thus apply to many examples where braided tensor category structure is known to exist but rigidity is not known; for example they apply when $V^G$ is $C_2$-cofinite but not necessarily rational. When $V^G$ is both $C_2$-cofinite and rational and $V$ is a vertex operator algebra, we use the equivalence between $\mathrm{Rep}\,G$ and the corresponding subcategory of $V^G$-modules to show that $V$ is also rational. As another application, we show that a certain category of modules for the Virasoro algebra at central charge $1$ admits a braided tensor category structure equivalent to $\mathrm{Rep}\,SU(2)$, up to modification by an abelian $3$-cocycle.


title: Shannon Entropy for Neutrosophic Information

abstract: The paper presents an extension of Shannon entropy for neutrosophic information. This extension uses a new formula for distance between two neutrosophic triplets. In addition, the obtained results are particularized for bifuzzy, intuitionistic and paraconsistent fuzzy information.


title: Cluster categories and rational curves

abstract: We study rational curves on smooth complex Calabi--Yau threefolds via noncommutative algebra. By the general theory of derived noncommutative deformations due to Efimov, Lunts and Orlov, the structure sheaf of a rational curve in a smooth CY 3-fold $Y$ is pro-represented by a nonpositively graded dg algebra $\Gamma$. The curve is called nc rigid if $H^0\Gamma$ is finite dimensional. When $C$ is contractible, $H^0\Gamma$ is isomorphic to the contraction algebra defined by Donovan and Wemyss. More generally, one can show that there exists a $\Gamma$ pro-representing the (derived) multi-pointed deformation (defined by Kawamata) of a collection of rational curves $C_1,\ldots,C_t$ so that ${\mathrm{dim}}({\rm{Hom}}_Y({\mathcal{O}}_{C_i},{\mathcal{O}}_{C_j}))=\delta_{ij}$. The collection is called nc rigid if $H^0\Gamma$ is finite dimensional. We prove that $\Gamma$ is a homologically smooth bimodule 3CY algebra. As a consequence, we define a (2CY) cluster category ${\mathcal{C}}_\Gamma$ for such a collection of rational curves in $Y$. It has finite-dimensional morphism spaces iff the collection is nc rigid. When $\bigcup_{i=1}^tC_i$ is (formally) contractible by a morphism $\hat{Y}\to \hat{X}$, ${\mathcal{C}}_\Gamma$ is equivalent to the singularity category of $\hat{X}$ and thus categorifies the contraction algebra of Donovan and Wemyss. The Calabi-Yau structure on $Y$ determines a canonical class $[w]$ (defined up to right equivalence) in the zeroth Hochschild homology of $H^0\Gamma$. Using our previous work on the noncommutative Mather--Yau theorem and singular Hochschild cohomology, we prove that the singularities underlying a 3-dimensional smooth flopping contraction are classified by the derived equivalence class of the pair $(H^0\Gamma, [w])$. We also give a new necessary condition for contractibility of rational curves in terms of $\Gamma$.


title: Intrinsic dissipation in superconducting junctions probed by qubit spectroscopy

abstract: We propose to study frequency dependent intrinsic dissipation in a highly transparent Josephson junction by means of qubit spectroscopy. The spectral density of the effective dissipative bath may contain significant contributions from Andreev bound states coupled to fluctuations of the Josephson phase. Varying either the bias current applied to the junction or magnetic flux through a superconducting ring in the rf-SQUID setup, one can tune the level splitting value close to the bottom of the Josephson potential well. Monitoring the qubit energy relaxation time one can probe the spectral density of the effective dissipative bath and unambiguously identify the contribution emerging from Andreev levels.


title: CBPF: leveraging context and content information for better recommendations

abstract: Recommender systems help users to find their appropriate items among large volumes of information. Different types of recommender systems have been proposed. Among these, context-aware recommender systems aim at personalizing as much as possible the recommendations based on the context situation in which the user is. In this paper we present an approach integrating contextual information into the recommendation process by modeling either item-based or user-based influence of the context on ratings, using the Pearson Correlation Coefficient. The proposed solution aims at taking advantage of content and contextual information in the recommendation process. We evaluate and show effectiveness of our approach on three different contextual datasets and analyze the performances of the variants of our approach based on the characteristics of these datasets, especially the sparsity level of the input data and amount of available information.


title: A Game-Theoretic Foundation of Deception: Knowledge Acquisition and Fundamental Limits

abstract: Deception is a technique to mislead human or computer systems by manipulating beliefs and information. Successful deception is characterized by the information-asymmetric, dynamic, and strategic behaviors of the deceiver and the deceivee. This paper proposes a game-theoretic framework of a deception game to model the strategic behaviors of the deceiver and deceivee and construct strategies for both attacks and defenses over a continuous one-dimensional information space. We use the signaling game model to capture the information-asymmetric, dynamic, and strategic behaviors of deceptions by modeling the deceiver as a privately-informed player called sender and the deceivee as an uninformed player called receiver. We characterize perfect Bayesian Nash equilibrium (PBNE) solution of the game and study the deceivability. We highlight the condition of deceivee's knowledge enhancement through evidences to maintain the equilibrium and analyze the impacts of direct deception costs and players' conflict of interest on the deceivability.


title: Combining pair-density functional theory and variational two-electron reduced-density matrix methods

abstract: Complete active space self-consistent field (CASSCF) computations can be realized at polynomial cost via the variational optimization of the active-space two-electron reduced-density matrix (2-RDM). Like conventional approaches to CASSCF, variational 2-RDM (v2RDM)-driven CASSCF captures nondynamical electron correlation in the active space, but it lacks a description of the remaining dynamical correlation effects. Such effects can be modeled through a combination of v2RDM-CASSCF and on-top pair-density functional theory (PDFT). The resulting v2RDM-CASSCF-PDFT approach provides a computationally inexpensive framework for describing both static and dynamical correlation effects in multiconfigurational and strongly correlated systems. On-top pair-density functionals can be derived from familiar Kohn-Sham exchange-correlation (XC) density functionals through the translation of the v2RDM-CASSCF reference densities [Li Manni et al., J. Chem. Theory Comput. 10, 3669-3680 (2014)]. Translated and fully-translated on-top PDFT versions of several common XC functionals are applied to the potential energy curves of N2, H2O, and CN-, as well as to the singlet/triplet energy splittings in the linear polyacene series. Using v2RDM-CASSCF-PDFT and the translated PBE functional, the singlet/triplet energy splitting of an infinitely-long acene molecule is estimated to be 4.87 kcal/mol.


title: Analysis of the shortest relay queue policy in a cooperative random access network with collisions

abstract: The scope of this work is twofold: On the one hand, strongly motivated by emerging engineering issues in multiple access communication systems, we investigate the performance of a slotted-time relay-assisted cooperative random access wireless network with collisions and with join the shortest queue relay-routing protocol. For this model, we investigate the stability condition, and apply different methods to derive the joint equilibrium distribution of the queue lengths. On the other hand, using the cooperative communication system as a vehicle for illustration, we investigate and compare three different approaches for this type of multi-dimensional stochastic processes, namely the compensation approach, the power series algorithm (PSA), and the probability generating function (PGF) approach. We present an extensive numerical comparison of the compensation approach and PSA, and discuss which method performs better in terms of accuracy and computation time. We also provide details on how to compute the PGF in terms of a solution of a Riemann-Hilbert boundary value problem.


title: Examples of surfaces which are Ulrich-wild

abstract: We give examples of surfaces which are Ulrich-wild, i.e. that support families of dimension $p$ of pairwise non-isomorphic, indecomposable, Ulrich bundles for arbitrary large $p$.


title: Molecules on rails: friction anisotropy and preferential sliding directions of organic nanocrystallites on two-dimensional materials

abstract: Two-dimensional (2D) materials are envisaged as ultra-thin solid lubricants for nano-mechanical systems. So far, their frictional properties at the nanoscale have been studied by standard friction force microscopy. However, lateral manipulation of nanoparticles is a more suitable method to study the dependence of friction on the crystallography of two contacting surfaces. Still, such experiments are lacking. In this study, we combine atomic force microscopy (AFM) based lateral manipulation and molecular dynamics simulations in order to investigate the movements of organic needle-like nanocrystallites grown by van der Waals epitaxy on graphene and hexagonal boron nitride. We observe that nanoneedle fragments -- when pushed by an AFM tip -- do not move along the original pushing directions. Instead, they slide on the 2D materials preferentially along the needles' growth directions, which act as invisible rails along commensurate directions. Further, when the nanocrystallites were rotated by applying a torque with the AFM tip across the preferential sliding directions, we find an increase of the torsional signal of the AFM cantilever. We demonstrate in conjunction with simulations that both, the significant friction anisotropy and preferential sliding directions are determined by the complex epitaxial relation and arise from the commensurate and incommensurate states between the organic nanocrystallites and the 2D materials.


title: Electrical detection of current generated spin in topological insulator surface states: Role of interface resistance

abstract: Current generated spin polarization in topological insulator (TI) surface states due to spin-momentum locking has been detected recently using ferromagnet/tunnel barrier contacts, where the projection of the TI spin onto the magnetization of the ferromagnet is measured as a voltage. However, opposing signs of the spin voltage have been reported, which had been tentatively attributed to the coexistence of trivial two-dimensional electron gas states on the TI surface which may exhibit opposite current-induced polarization than that of the TI Dirac surface states. Models based on electrochemical potential have been presented to determine the sign of the spin voltage expected for the TI surface states. However, these models neglect critical experimental parameters which also affect the sign measured. Here we present a Mott two-spin current resistor model which takes into account these parameters such as spin-dependent interface resistances, and show that such inclusion can lead to a crossing of the voltage potential profiles for the spin-up and spin-down electrons within the channel, which can lead to measured spin voltages of either sign. These findings offer a resolution of the ongoing controversy regarding opposite signs of spin signal reported in the literature, and highlight the importance of including realistic experimental parameters in the model.


title: Action growth rate for a higher curvature gravitational theory

abstract: In this paper, we use the "complexity equals action" (CA) conjecture to discuss the action growth rate in a black hole with multiple Killing horizons for a higher curvature theory of gravity. Based on the Noether charge formalism of Iyer and Wald, a general formalism can be resorting to finding the action growth rate within the WDW patch at the late time approximation. Moreover, as an application, we apply this formalism to a $U(1)$ invariance matter fields and utilise our results in two specific cases. Our results are universal and can be considered as the extension of the asymptotic AdS to the arbitrary asymptotic one.


title: Atomistic Mechanism of the Nucleation of Methylammonium Lead Iodide Perovskite from Solution

abstract: In the ongoing intense quest to increase the photoconversion efficiencies of lead halide perovskites, it has become evident that optimizing the morphology of the material is essential to achieve high peformance. Despite the fact that nucleation plays a key role in controlling the crystal morphology, very little is known about the nucleation and crystal growth processes. Here, we perform metadynamics simulations of nucleation of methylammonium lead triiodide (MAPI) in order to unravel the atomistic details of perovskite crystallization from a $\gamma$-butyrolactone solution. The metadynamics trajectories show that the nucleation process takes place in several stages. Initially, dense amorphous clusters mainly consisting of lead and iodide appear from the homogeneous solution. These clusters evolve into lead iodide (PbI$_{2}$) like structures. Subsequently, methylammonium (MA$^{+}$) ions diffuse into this PbI$_{2}$-like aggregates triggering the transformation into a perovskite crystal through a solid-solid transformation. Demonstrating the crucial role of the monovalent cations in crystallization, our simulations provide key insights into the evolution of the perovskite microstructure which is essential to make high-quality perovskite based solar cells and optoelectronics.


title: Riemannian Adaptive Optimization Methods

abstract: Several first order stochastic optimization methods commonly used in the Euclidean domain such as stochastic gradient descent (SGD), accelerated gradient descent or variance reduced methods have already been adapted to certain Riemannian settings. However, some of the most popular of these optimization tools - namely Adam , Adagrad and the more recent Amsgrad - remain to be generalized to Riemannian manifolds. We discuss the difficulty of generalizing such adaptive schemes to the most agnostic Riemannian setting, and then provide algorithms and convergence proofs for geodesically convex objectives in the particular case of a product of Riemannian manifolds, in which adaptivity is implemented across manifolds in the cartesian product. Our generalization is tight in the sense that choosing the Euclidean space as Riemannian manifold yields the same algorithms and regret bounds as those that were already known for the standard algorithms. Experimentally, we show faster convergence and to a lower train loss value for Riemannian adaptive methods over their corresponding baselines on the realistic task of embedding the WordNet taxonomy in the Poincare ball.


title: Solving q-Virasoro constraints

abstract: We show how q-Virasoro constraints can be derived for a large class of (q,t)-deformed eigenvalue matrix models by an elementary trick of inserting certain q-difference operators under the integral, in complete analogy with full-derivative insertions for beta-ensembles. From free-field point of view the models considered have zero momentum of the highest weight, which leads to an extra constraint T_{-1} Z = 0. We then show how to solve these q-Virasoro constraints recursively and comment on the possible applications for gauge theories, for instance calculation of (supersymmetric) Wilson loop averages in gauge theories on D^2 \cross S^1 and S^3.


title: On fundamental Fourier coefficients of Siegel modular forms

abstract: We prove that if $F$ is a non-zero (possibly non-cuspidal) vector-valued Siegel modular form of any degree, then it has infinitely many non-zero Fourier coefficients which are indexed by half-integral matrices having odd, square-free (and thus fundamental) discriminant. The proof uses an induction argument in the setting of vector-valued modular forms. In an Appendix, as an application of a variant of our result and building upon the work of A. Pollack, we show how to obtain an unconditional proof of the functional equation of the spinor $L$-function of a holomorphic cuspidal Siegel eigenform of degree $3$.


title: Trimers of MnO6 octahedra and ferrimagnetism of Ba4NbMn3O12

abstract: Ba4NbMn3O12 is reported, synthesized by a solid state method in air. The crystal structure, determined by performing refinements on room temperature powder X-ray diffraction data by the Rietveld method, consists of Mn3O12 trimers in the configuration of three face-sharing MnO6 octahedra, with the trimers arranged in triangular planes. An effective moment of 4.82 {\mu}B/f.u is observed and competing antiferromagnetic and ferromagnetic interactions between Mn ions are inferred from the Weiss temperature of -4 K and the ferrimagnetic ordering transition of approximately 42 K. Ba4NbMn3O12 is a semiconductor with a transport activation energy of 0.37 eV.


title: $\mathbb{Z}_4$ parafermions in weakly interacting superconducting constrictions at the helical edge of quantum spin Hall insulators

abstract: Parafermions are generalizations of Majorana fermions that may appear in interacting topological systems. They are known to be powerful building blocks of topological quantum computers. Existing proposals for realizations of parafermions typically rely on strong electronic correlations which are hard to achieve in the laboratory. We identify a novel physical system in which parafermions generically develop. It is based on a quantum point contact formed by the helical edge states of a quantum spin Hall insulator in vicinity to an ordinary $s$-wave superconductor. Interestingly, our analysis suggests that $\mathbb{Z}_4$ parafermions are emerging bound states in this setup -- even in the {\it weakly interacting} regime.


title: Bisectors and pinned distances

abstract: We prove, under suitable conditions, a lower bound on the number of pinned distances determined by small subsets of two-dimensional vector spaces over fields. For finite subsets of the Euclidean plane we prove an upper bound for their bisector energy.


title: Renormalization of gravitational Wilson lines

abstract: We continue the study of the Wilson line representation of conformal blocks in two-dimensional conformal field theory; these have an alternative interpretation as gravitational Wilson lines in the context of the AdS$_3$/CFT$_2$ correspondence. The gravitational Wilson line involves a path-ordered exponential of the stress tensor, and its expectation value can be computed perturbatively in an expansion in inverse powers of the central charge $c$. The short-distance singularities which occur in the associated stress tensor correlators require systematic regularization and renormalization prescriptions, whose consistency with conformal Ward identities presents a subtle problem. The regularization used here combines dimensional regularization and analytic continuation. Representation theoretic arguments, based on SL(2,R) current algebra, predict an exact result for the Wilson line anomalous dimension and, by building on previous work, we verify that the perturbative calculations using our regularization and renormalization prescriptions reproduce the exact result to order $1/c^3$ included. We also discuss a related, but somewhat simpler, Wilson line in Wess-Zumino-Witten models that yields current algebra conformal blocks, and we emphasize the distinction between Wilson lines constructed out of non-holomorphic and purely holomorphic currents.


title: A nonparametric projection-based estimator for the probability of causation, with application to water sanitation in Kenya

abstract: Current estimation methods for the probability of causation (PC) make strong parametric assumptions or are inefficient. We derive a nonparametric influence-function-based estimator for a projection of PC, which allows for simple interpretation and valid inference by making weak structural assumptions. We apply our estimator to real data from an experiment in Kenya, which found, by estimating the average treatment effect, that protecting water springs reduces childhood disease. However, before scaling up this intervention, it is important to determine whether it was the exposure, and not something else, that caused the outcome. Indeed, we find that some children, who were exposed to a high concentration of bacteria in drinking water and had a diarrheal disease, would likely have contracted the disease absent the exposure since the estimated PC for an average child in this study is 0.12 with a 95% confidence interval of (0.11, 0.13). Our nonparametric method offers researchers a way to estimate PC, which is essential if one wishes to determine not only the average treatment effect, but also whether an exposure likely caused the observed outcome.


title: 2HDECAY - A program for the Calculation of Electroweak One-Loop Corrections to Higgs Decays in the Two-Higgs-Doublet Model Including State-of-the-Art QCD Corrections

abstract: We present the program package 2HDECAY for the calculation of the partial decay widths and branching ratios of the Higgs bosons of a general CP-conserving 2-Higgs doublet model (2HDM). The tool includes the full electroweak one-loop corrections to all two-body on-shell Higgs decays in the 2HDM that are not loop-induced. It combines them with the state-of-the-art QCD corrections that are already implemented in the program HDECAY. For the renormalization of the electroweak sector an on-shell scheme is implemented for most of the renormalization parameters. Exceptions are the soft-$\mathbb{Z}_2$-breaking squared mass scale $m_{12}^2$, where an $\overline{\text{MS}}$ condition is applied, as well as the 2HDM mixing angles $\alpha$ and $\beta$, for which several distinct renormalization schemes are implemented. The tool 2HDECAY can be used for phenomenological analyses of the branching ratios of Higgs decays in the 2HDM. Furthermore, the separate output of the electroweak contributions to the tree-level partial decay widths for several different renormalization schemes allows for an efficient analysis of the impact of the electroweak corrections and the remaining theoretical error due to missing higher-order corrections. The latest version of the program package 2HDECAY can be downloaded from the URL https://github.com/marcel-krause/2HDECAY .


title: AND Protocols Using Only Uniform Shuffles

abstract: Secure multi-party computation using a deck of playing cards has been a subject of research since the "five-card trick" introduced by den Boer in 1989. One of the main problems in card-based cryptography is to design committed-format protocols to compute a Boolean AND operation subject to different runtime and shuffle restrictions by using as few cards as possible. In this paper, we introduce two AND protocols that use only uniform shuffles. The first one requires four cards and is a restart-free Las Vegas protocol with finite expected runtime. The second one requires five cards and always terminates in finite time.


title: Nonlinear control for an uncertain electromagnetic actuator

abstract: This paper presents the design of a nonlinear control law for a typical electromagnetic actuator system. Electromagnetic actuators are widely implemented in industrial applications, and especially as linear positioning system. In this work, we aim at taking into account a magnetic phenomenon that is usually neglected: flux fringing. This issue is addressed with an uncertain modeling approach. The proposed control law consists of two steps, a backstepping control regulates the mechanical part and a sliding mode approach controls the coil current and the magnetic force implicitly. An illustrative example shows the effectiveness of the presented approach.


title: A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics

abstract: After Dung's founding work in Abstract Argumentation Frameworks there has been a growing interest in extending the Dung's semantics in order to describe more complex or real life situations. Several of these approaches take the direction of weighted or probabilistic extensions. One of the most prominent probabilistic approaches is that of constellation Probabilistic Abstract Argumentation Frameworks from Li~et~al. In this paper, we present a normal form for constellation probabilistic abstract argumentation frameworks. Furthermore, we present a transformation from general constellation probabilistic abstract argumentation frameworks to the presented normal form. In this way we illustrate that the simpler normal form has equal representation power with the general one.


title: Sasakian immersions into the sphere

abstract: The aim of this paper is to study Sasakian immersions of compact Sasakian manifolds into the odd-dimensional sphere equipped with the standard Sasakian structure. We obtain a complete classification of such manifolds in the Einstein and $\eta$-Einstein cases when the codimension of the immersion is $4$. Moreover, we exhibit infinite families of compact Sasakian $\eta$--Einstein manifolds which cannot admit a Sasakian immersion into any odd-dimensional sphere. Finally, we show that, after possibly performing a ${\mathcal {D}}$-homothetic deformation, a homogeneous Sasakian manifold can be Sasakian immersed into some odd-dimensional sphere if and only if $S$ is regular and either $S$ is simply--connected or its fundamental group is finite cyclic.


title: MQTT+: Enhanced Syntax and Broker Functionalities for Data Filtering, Processing and Aggregation

abstract: In the last few years, the Message Queueing Telemetry Transport (MQTT) publish/subscribe protocol emerged as the de facto standard communication protocol for IoT, M2M and wireless sensor networks applications. Such popularity is mainly due to the extreme simplicity of the protocol at the client side, appropriate for low-cost and resource-constrained edge devices. Other nice features include a very low protocol overhead, ideal for limited bandwidth scenarios, the support of different Quality of Services (QoS) and many others. However, when an edge device is interested in performing processing operations over the data published by multiple clients, the use of MQTT may result in high network bandwidth usage and high energy consumption for the end devices, which is unacceptable in resource constrained scenarios. To overcome these issues, we propose in this paper MQTT+, which provides an enhanced protocol syntax and enrich the pub/sub broker with data filtering, processing and aggregation functionalities. MQTT+ is implemented starting from an open source MQTT broker and evaluated in different application scenarios.


title: Geometric Constellation Shaping for Fiber Optic Communication Systems via End-to-end Learning

abstract: In this paper, an unsupervised machine learning method for geometric constellation shaping is investigated. By embedding a differentiable fiber channel model within two neural networks, the learning algorithm is optimizing for a geometric constellation shape. The learned constellations yield improved performance to state-of-the-art geometrically shaped constellations, and include an implicit trade-off between amplification noise and nonlinear effects. Further, the method allows joint optimization of system parameters, such as the optimal launch power, simultaneously with the constellation shape. An experimental demonstration validates the findings. Improved performances are reported, up to 0.13 bit/4D in simulation and experimentally up to 0.12 bit/4D.


title: Modular structures and extended-modular-group-structures after Hecke pairs

abstract: The simplices and the complexes arsing form the grading of the fundamental (desymmetrized) domain of arithmetical groups and non-arithmetical groups, as well as their extended (symmetrized) ones are described also for oriented manifolds in dim greater than 2. The conditions for the definition of fibers are summarized after Hamiltonian analysis, the latters can in some cases be reduced to those for sections for graded groups, such as the Picard groups and the Vinberg group.The cases for which modular structures rather than modular-groupstructure measures can be analyzed for non-arithmetic groups, i.e. also in the cases for which Gelfand triples (rigged spaces) have to be substituted by Hecke couples, as, for Hecke groups, the existence of intertwining operators after the calculation of the second commutator within the Haar measures for the operators of the correspondingly-generated C-[star] algebras is straightforward. The results hold also for (also non-abstract) groups with measures on (manifold) boundaries. The Poincar\'e invariance of the representation of Wigner-Bargmann (spin 1/2) particles is analyzed within the Fock-space interaction representation. The well-posed-ness of initial conditions and boundary ones for the connected (families of) equations is discussed. As an example, Picard-related equations can be classified according to the genus of the modular curve(s) attached to the solutions(s). From the Hamiltonian analysis, further results in the contraction of the congruence (extended sub-)groups for non-arithmetical groups for the construction of tori is provided as an alternative to the free diffeomorphism group. In addition, the presence of Poincar\'e complexes is found compatible with non-local interactions, i.e. both lattices interactions or spin-like ones.


title: On the detectability of transiting planets orbiting white dwarfs using LSST

abstract: White dwarfs are one of the few types of stellar objects for which we know almost nothing about the possible existence of companion planets. Recent evidence for metal contaminated atmospheres, circumstellar debris disks and transiting planetary debris all indicate that planets may be likely. However, white dwarf transit surveys are challenging due to the intrinsic faintness of such objects, the short timescale of the transits and the low transit probabilities due to their compact radii. The Large Synoptic Survey Telescope (LSST) offers a remedy to these problems as a deep, half-sky survey with fast exposures encompassing approximately 10 million white dwarfs with $r<24.5$ apparent magnitude. We simulate LSST photometric observations of 3.5 million white dwarfs over a ten-year period and calculate the detectability of companion planets with $P<10$ d via transits. We find typical detection rates in the range of $5 \times 10^{-6}$ to $4 \times 10^{-4}$ for Ceres-sized bodies to Earth-sized worlds, yielding $\sim 50$ to $4\,000$ detections for a 100% occurrence rate of each. For terrestrial planets in the continuously habitable zone, we find detection rates of $\sim 10^{-3}$ indicating that LSST would reveal hundreds of such worlds for occurrence rates in the range of 1% to 10%.


title: Computing Dynamic User Equilibria on Large-Scale Networks: From Theory to Software Implementation

abstract: Dynamic user equilibrium (DUE) is the most widely studied form of dynamic traffic assignment, in which road travelers engage in a non-cooperative Nash-like game with departure time and route choices. DUE models describe and predict the time-varying traffic flows on a network consistent with traffic flow theory and travel behavior. This paper documents theoretical and numerical advances in synthesizing traffic flow theory and DUE modeling, by presenting a holistic computational theory of DUE with numerical implementation encapsulated in a MATLAB software package. In particular, the dynamic network loading (DNL) sub-problem is formulated as a system of differential algebraic equations based on the fluid dynamic model, which captures the formation, propagation and dissipation of physical queues as well as vehicle spillback on networks. Then, the fixed-point algorithm is employed to solve the DUE problems on several large-scale networks. We make openly available the MATLAB package, which can be used to solve DUE problems on user-defined networks, aiming to not only help DTA modelers with benchmarking a wide range of DUE algorithms and solutions, but also offer researchers a platform to further develop their own models and applications. Updates of the package and computational examples are available at https://github.com/DrKeHan/DTA.


title: The epimorphisms of the category Haus are exactly the image-dense morphisms

abstract: This document presents the proof that the epimorphisms of the category of Hausdorff spaces are exactly the image dense morphisms. While it is a classical result; its proof is difficult to find in internet. Consequently, I decided to write the proof on my way and to share my knowledge freely on Arxiv. This document can interest any student in Pure Mathematics in the topics of topology and category theory. The image-dense morphisms are clearly epimorphisms. To etablish the converse, I use an analogous to the Kolmogorov quotient that I call Hausdorff quotient. Thanks to this Hausdorff quotient, one can prove that the Haus-category is a reflective subcategory of the category of topological spaces. As it is also a full subcategory, we deduce a necessary and sufficient condition for a topological space to be Hausdorff. We use this condition to show that if a morphism f:A->B is not image-dense, then the Hausdorff quotient of the quotient B/cl(f(A)) has at least two points. Moreover, we show that if f is an epimorphism, the Hausdorff quotient of the quotient B/cl(f(A)) has at most one point. We deduce the result.


title: Petersson norms of not necessarily cuspidal Jacobi modular forms and applications

abstract: We extend the usual notion of Petersson inner product on the space of cuspidal Jacobi forms to include non-cuspidal forms as well. This is done by examining carefully the relation between certain "growth-killing" invariant differential operators on $\mathbf H_2$ and those on $\mathbf{H}_1 \times \mathbf{C}$ (here $\mathbf H_n$ denotes the Siegel upper half space of degree $n$). As applications, we can understand better the growth of Petersson norms of Fourier Jacobi coefficients of Klingen Eisenstein series, which in turn has applications to finer issues about representation numbers of quadratic forms, and as a by-product we also show that \textit{any} Siegel modular form of degree $2$ is determined by its `fundamental' Fourier coefficients.


title: Binary Asteroseismic Modelling: isochrone-cloud methodology and application to Kepler gravity-mode pulsators

abstract: The simultaneous presence of variability due to both pulsations and binarity is no rare phenomenon. Unfortunately, the complexities of dealing with even one of these sources of variability individually means that the other signal is often treated as a nuisance and discarded. However, both types of variability offer means to probe fundamental stellar properties in robust ways through asteroseismic and binary modelling. We present an efficient methodology that includes both binary and asteroseismic information to estimate fundamental stellar properties based on a grid-based modelling approach. We report parameters for three gravity mode pulsating {\it Kepler} binaries , such as mass, radius, age, as well the mass of the convective core and location of the overshoot region. We discuss the presence of parameter degeneracies and the way our methodology deals with them. We provide asteroseismically calibrated isochrone-clouds to the community; these are a generalisation of isochrones when allowing for different values of the core overshooting in the two components of the binary.


title: Human Motion Prediction using Semi-adaptable Neural Networks

abstract: Human motion prediction is an important component to facilitate human robot interaction. Robots need to accurately predict human's future movement in order to safely plan its own motion trajectories and efficiently collaborate with humans. Many recent approaches predict human's movement using deep learning methods, such as recurrent neural networks. However, existing methods lack the ability to adapt to time-varying human behaviors, and many of them do not quantify uncertainties in the prediction. This paper proposes an approach that uses a semi-adaptable neural network for human motion prediction, and provides uncertainty bounds of the predictions in real time. In particular, a neural network is trained offline to represent the human motion transition model, and then recursive least square parameter adaptation algorithm (RLS-PAA) is adopted for online parameter adaptation of the neural network and for uncertainty estimation. Experiments on several human motion datasets verify that the proposed method significantly outperforms the state-of-the-art approach in terms of prediction accuracy and computation efficiency.


title: The Profiling Machine: Active Generalization over Knowledge

abstract: The human mind is a powerful multifunctional knowledge storage and management system that performs generalization, type inference, anomaly detection, stereotyping, and other tasks. A dynamic KR system that appropriately profiles over sparse inputs to provide complete expectations for unknown facets can help with all these tasks. In this paper, we introduce the task of profiling, inspired by theories and findings in social psychology about the potential of profiles for reasoning and information processing. We describe two generic state-of-the-art neural architectures that can be easily instantiated as profiling machines to generate expectations and applied to any kind of knowledge to fill gaps. We evaluate these methods against Wikidata and crowd expectations, and compare the results to gain insight in the nature of knowledge captured by various profiling methods. We make all code and data available to facilitate future research.


title: Mean Field Control and Mean Field Game Models with Several Populations

abstract: In this paper, we investigate the interaction of two populations with a large number of indistinguishable agents. The problem consists in two levels: the interaction between agents of a same population, and the interaction between the two populations. In the spirit of mean field type control (MFC) problems and mean field games (MFG), each population is approximated by a continuum of infinitesimal agents. We define four different problems in a general context and interpret them in the framework of MFC or MFG. By calculus of variations, we derive formally in each case the adjoint equations for the necessary conditions of optimality. Importantly, we find that in the case of a competition between two coalitions, one needs to rely on a system of Master equations in order to describe the equilibrium. Examples are provided, in particular linear-quadratic models for which we obtain systems of ODEs that can be related to Riccati equations.


title: Common Misconceptions About Angular Momentum

abstract: Angular momentum is taught in every classical mechanics course. It is a difficult topic with misconceptions commonly forming significant barriers to student success. My intention in writing this paper is to combat some of the most common misconceptions and to help prepare freshman and sophomore students for success in their upper-level classical mechanics courses. The paper begins with a discussion of several fundamental equations relating to angular momentum. A number of special cases are then examined and the paper concludes after presenting a set of three examples.


title: Multiscale Modelling of Fibres Dynamics and Cell Adhesion within Moving Boundary Cancer Invasion

abstract: Cancer cell invasion is recognised as one of the hallmarks of cancer and involves several inner-related multiscale processes that ultimately contribute to its spread into the surrounding tissue. In order to gain a deeper understanding of the tumour invasion process, we pay special attention to the interacting dynamics between the cancer cell population and various constituents of the surrounding tumour microenvironment. To that end, we consider the key role that ECM plays within the human body tissue, providing not only structure and support to surrounding cells, but also acting as a platform for cells communication and spatial movement. There are several other vital structures within the ECM, however we are going to focus primarily on fibrous proteins, such as fibronectin. These fibres play a crucial role in tumour progression, enabling the anchorage of tumour cells to the ECM. In this work we consider the two-scale dynamic cross-talk between cancer cells and a two component ECM (consisting of both a fibre and a non-fibre phase). To that end, we incorporate the interlinked two-scale dynamics of cells-ECM interactions within the tumour support that contributes simultaneously both to cell-adhesion and to the dynamic rearrangement and restructuring of the ECM fibres. Furthermore, this is embedded within a multiscale moving boundary approach for the invading cancer cell population, in the presence of cell-adhesion at the tissue scale and cell-scale fibre redistribution activity and leading edge matrix degrading enzyme molecular proteolytic processes. The overall modelling framework will be accompanied by computational results that will explore the impact on cancer invasion patterns of different levels of cell adhesion in conjunction with the continuous ECM fibres rearrangement.


title: Caulking the Leakage Effect in MEEG Source Connectivity Analysis

abstract: Simplistic estimation of neural connectivity in MEEG sensor space is impossible due to volume conduction. The only viable alternative is to carry out connectivity estimation in source space. Among the neuroscience community this is claimed to be impossible or misleading due to Leakage: linear mixing of the reconstructed sources. To address this problematic we propose a novel solution method that caulks the Leakage in MEEG source activity and connectivity estimates: BC-VARETA. It is based on a joint estimation of source activity and connectivity in the frequency domain representation of MEEG time series. To achieve this, we go beyond current methods that assume a fixed gaussian graphical model for source connectivity. In contrast we estimate this graphical model in a Bayesian framework by placing priors on it, which allows for highly optimized computations of the connectivity, via a new procedure based on the local quadratic approximation under quite general prior models. A further contribution of this paper is the rigorous definition of leakage via the Spatial Dispersion Measure and Earth Movers Distance based on the geodesic distances over the cortical manifold. Both measures are extended for the first time to quantify Connectivity Leakage by defining them on the cartesian product of cortical manifolds. Using these measures, we show that BC-VARETA outperforms most state of the art inverse solvers by several orders of magnitude.


title: On Theory for BART

abstract: Ensemble learning is a statistical paradigm built on the premise that many weak learners can perform exceptionally well when deployed collectively. The BART method of Chipman et al. (2010) is a prominent example of Bayesian ensemble learning, where each learner is a tree. Due to its impressive performance, BART has received a lot of attention from practitioners. Despite its wide popularity, however, theoretical studies of BART have begun emerging only very recently. Laying the foundations for the theoretical analysis of Bayesian forests, Rockova and van der Pas (2017) showed optimal posterior concentration under conditionally uniform tree priors. These priors deviate from the actual priors implemented in BART. Here, we study the exact BART prior and propose a simple modification so that it also enjoys optimality properties. To this end, we dive into branching process theory. We obtain tail bounds for the distribution of total progeny under heterogeneous Galton-Watson (GW) processes exploiting their connection to random walks. We conclude with a result stating the optimal rate of posterior convergence for BART.


title: Force between Kinks with Long-range Tails

abstract: In a scalar field theory that has a symmetric octic potential with a quartic minimum and two quadratic minima, kink and mirror kink solutions have long-range tails. We calculate the force between these kinks when their long-range tails overlap. This is a nonlinear problem, solved using an adiabatic ansatz for the accelerating kinks that leads to a modified, first-order Bogomolny equation. We find the force is repulsive and decays with the fourth power of the kink separation.


title: Enumerating minimal dominating sets in $K_t$-free graphs and variants

abstract: It is a long-standing open problem whether the minimal dominating sets of a graph can be enumerated in output-polynomial time. In this paper we investigate this problem in graph classes defined by forbidding an induced subgraph. In particular, we provide output-polynomial time algorithms for $K_t$-free graphs and variants. This answers a question of Kant\'e et al. about enumeration in bipartite graphs.


title: Eigentriads and Eigenprogressions on the Tonnetz

abstract: We introduce a new multidimensional representation, named eigenprogression transform, that characterizes some essential patterns of Western tonal harmony while being equivariant to time shifts and pitch transpositions. This representation is deep, multiscale, and convolutional in the piano-roll domain, yet incurs no prior training, and is thus suited to both supervised and unsupervised MIR tasks. The eigenprogression transform combines ideas from the spiral scattering transform, spectral graph theory, and wavelet shrinkage denoising. We report state-of-the-art results on a task of supervised composer recognition (Haydn vs. Mozart) from polyphonic music pieces in MIDI format.


title: Various concepts of Riesz energy of measures and application to condensers with touching plates

abstract: We investigate minimum weak $\alpha$-Riesz energy problems with external fields in both the unconstrained and constrained settings for generalized condensers $(A_1,A_2)$ such that the closures of $A_1$ and $A_2$ in $\mathbb R^n$ are allowed to intersect one another. (Such problems with the standard $\alpha$-Riesz energy in place of the weak one would be unsolvable, which justifies the need for the concept of weak energy when dealing with condenser problems.) We obtain sufficient and/or necessary conditions for the existence of minimizers, provide descriptions of their supports and potentials, and single out their characteristic properties. To this end we have discovered an intimate relation between minimum weak $\alpha$-Riesz energy problems over signed measures associated with $(A_1,A_2)$ and minimum $\alpha$-Green energy problems over positive measures carried by $A_1$. Crucial for our analysis of the latter problems is the perfectness of the $\alpha$-Green kernel, established in our recent paper. As an application of the results obtained, we describe the support of the $\alpha$-Green equilibrium measure.


title: Critical Higgs inflation in a Viable Motivated Model

abstract: An extension of the Standard Model with three right-handed neutrinos and a simple invisible axion model can account for all experimentally confirmed signals of new physics (neutrino oscillations, dark matter and baryon asymmetry) in addition to solving the strong CP problem, stabilizing the electroweak vacuum and satisfying all current observational bounds. We show that this model can also implement critical Higgs inflation, which corresponds to the frontier between stability and metastability of the electroweak vacuum. This leads to a value of the non-minimal coupling between the Higgs and the Ricci scalar that is much lower than the one usually quoted in Higgs inflation away from criticality. Then, an advantage is that the scale of perturbative unitarity breaking on flat spacetime can be very close to the Planck mass, where anyhow new physics is required. The higher dimensional operators are under control in this inflationary setup. The dependence of the cutoff on the Higgs background is also taken into account as appropriate when the Higgs is identified with the inflaton. Furthermore, critical Higgs inflation enjoys a robust inflationary attractor that makes it an appealing setup for the early universe. In the proposed model, unlike in the Standard Model, critical Higgs inflation can be realized without any tension with the observed quantities, such as the top mass and the strong coupling.


title: A short survey on observability

abstract: The exploration of the notion of observability exhibits transparently the rich interplay between algebraic and geometric ideas in \emph{geometric invariant theory}. The concept of \emph{observable subgroup} was introduced in the early 1960s with the purpose of studying extensions of representations from an affine algebraic subgroup to the whole group. The extent of its importance in \emph{representation and invariant theory} in particular for Hilbert's $14^{\text{th}}$ problem was noticed almost immediately. An important strenghtening appeared in the mid 1970s when the concept of \emph{strong observability} was introduced and it was shown that the notion of observability can be understood as an intermediate step in the notion of reductivity (or semisimplicity), when adequately generalized. More recently starting in 2010, the concept of observable subgroup was expanded to include the concept of \emph{observable action} of an affine algebraic group on an affine variety, launching a series of new applications. In 2006 the related concept of \emph{observable adjunction} was introduced, and its application to module categories over tensor categories was noticed. In the current survey, we follow (approximately) the historical development of the subject introducing along the way, the definitions and some of the main results including some of the proofs. For the unproven parts, precise references are mentioned.


title: Topological Stability of Kinetic $k$-Centers

abstract: We study the $k$-center problem in a kinetic setting: given a set of continuously moving points $P$ in the plane, determine a set of $k$ (moving) disks that cover $P$ at every time step, such that the disks are as small as possible at any point in time. Whereas the optimal solution over time may exhibit discontinuous changes, many practical applications require the solution to be stable: the disks must move smoothly over time. Existing results on this problem require the disks to move with a bounded speed, but this model allows positive results only for $k<3$. Hence, the results are limited and offer little theoretical insight. Instead, we study the topological stability of $k$-centers. Topological stability was recently introduced and simply requires the solution to change continuously, but may do so arbitrarily fast. We prove upper and lower bounds on the ratio between the radii of an optimal but unstable solution and the radii of a topologically stable solution -- the topological stability ratio -- considering various metrics and various optimization criteria. For $k = 2$ we provide tight bounds, and for small $k > 2$ we can obtain nontrivial lower and upper bounds. Finally, we provide an algorithm to compute the topological stability ratio in polynomial time for constant $k$.


title: Sobolev bounds and convergence of Riemannian manifolds

abstract: We consider sequences of compact Riemannian manifolds with uniform Sobolev bounds on their metric tensors, and prove that their distance functions are uniformly bounded in the H\"{o}lder sense. This is done by establishing a general trace inequality on Riemannian manifolds which is an interesting result on its own. We provide examples demonstrating how each of our hypotheses are necessary. In the Appendix by the first author with Christina Sormani, we prove that sequences of compact integral current spaces without boundary (including Riemannian manifolds) that have uniform H\"{o}lder bounds on their distance functions have subsequences converging in the Gromov--Hausdorff (GH) sense. If in addition they have a uniform upper bound on mass (volume) then they converge in the Sormani--Wenger Intrinsic Flat (SWIF) sense to a limit whose metric completion is the GH limit. We provide an example of a sequence developing a cusp demonstrating why the SWIF and GH limits may not agree.


title: IAU-FM6-- Angular momentum -- Conference summary

abstract: Angular momentum (AM) is a key parameter to understand galaxy formation and evolution. AM originates in tidal torques between proto-structures at turn around, and from this the specific AM is expected to scale as a power-law of slope 2/3 with mass. However, subsequent evolution re-shuffles this through matter accretion from filaments, mergers, star formation and feedback, secular evolution and AM exchange between baryons and dark matter. Outer parts of galaxies are essential to study since they retain most of the AM and the diagnostics of the evolution. Galaxy IFU surveys have recently provided a wealth of kinematical information in the local universe. In the future, we can expect more statistics in the outer parts, and evolution at high z, including atomic gas with SKA.


title: Graph Diffusion-Embedding Networks

abstract: We present a novel graph diffusion-embedding networks (GDEN) for graph structured data. GDEN is motivated by our closed-form formulation on regularized feature diffusion on graph. GDEN integrates both regularized feature diffusion and low-dimensional embedding simultaneously in a unified network model. Moreover, based on GDEN, we can naturally deal with structured data with multiple graph structures. Experiments on semi-supervised learning tasks on several benchmark datasets demonstrate the better performance of the proposed GDEN when comparing with the traditional GCN models.


title: Doric: Foundations for Statistical Fault Localisation

abstract: To fix a software bug, you must first find it. As software grows in size and complexity, finding bugs is becoming harder. To solve this problem, measures have been developed to rank lines of code according to their "suspiciousness" wrt being faulty. Engineers can then inspect the code in descending order of suspiciousness until a fault is found. Despite advances, ideal measures --- ones which are at once lightweight, effective, and intuitive --- have not yet been found. We present Doric, a new formal foundation for statistical fault localisation based on classical probability theory. To demonstrate Doric's versatility, we derive cl, a lightweight measure of the likelihood some code caused an error. cl returns probabilities, when spectrum-based heuristics (sbhs) usually return difficult to interpret scores. cl handles fundamental fault scenarios that spectrum-based measures cannot and can also meaningfully identify causes with certainty. We demonstrate its effectiveness in, what is to our knowledge, the largest scale experiment in the fault localisation literature. For Defects4J benchmarks, cl permits a developer to find a fault after inspecting 6 lines of code 41.18% of the time. Furthermore, cl is more accurate at locating faults than all known 127 sbh. In particular, on Steimann's benchmarks one would expect to find a fault by investigating 5.02 methods, as opposed to 9.02 with the best performing sbh.


title: Photon assisted braiding of Majorana fermions in a cavity

abstract: We study the dynamical process of braiding Majorana bound states in the presence of the coupling to photons in a microwave cavity. We show theoretically that the $\pi/4$ phase associated with the braiding of Majoranas, as well as the parity of the ground state are imprinted into the photonic field of the cavity, which can be detected by dispersive readouts techniques. These manifestations are purely dynamical, they occur in the absence of any splitting of the MBS that are exchanged, and they disappear in the static setups studied previously. Conversely, the cavity can affect the braiding phase, which in turn should allow for cavity controlled braiding.


title: Optimal Pricing For MHR and $\lambda$-Regular Distributions

abstract: We study the performance of anonymous posted-price selling mechanisms for a standard Bayesian auction setting, where $n$ bidders have i.i.d. valuations for a single item. We show that for the natural class of Monotone Hazard Rate (MHR) distributions, offering the same, take-it-or-leave-it price to all bidders can achieve an (asymptotically) optimal revenue. In particular, the approximation ratio is shown to be $1+O(\ln \ln n/\ln n)$, matched by a tight lower bound for the case of exponential distributions. This improves upon the previously best-known upper bound of $e/(e-1)\approx 1.58$ for the slightly more general class of regular distributions. In the worst case (over $n$), we still show a global upper bound of $1.35$. We give a simple, closed-form description of our prices which, interestingly enough, relies only on minimal knowledge of the prior distribution, namely just the expectation of its second-highest order statistic. Furthermore, we extend our techniques to handle the more general class of $\lambda$-regular distributions that interpolate between MHR ($\lambda=0$) and regular ($\lambda=1$). Our anonymous pricing rule now results in an asymptotic approximation ratio that ranges smoothly, with respect to $\lambda$, from $1$ (MHR distributions) to $e/(e-1)$ (regular distributions). Finally, we explicitly give a class of continuous distributions that provide matching lower bounds, for every $\lambda$.


title: Generalized homology and Atiyah-Hirzebruch spectral sequence in crystalline symmetry protected topological phenomena

abstract: We propose that symmetry protected topological (SPT) phases with crystalline symmetry are formulated by equivariant generalized homologies $h^G_n(X)$ over a real space manifold $X$ with $G$ a crystalline symmetry group. The Atiyah-Hirzebruch spectral sequence unifies various notions in crystalline SPT phases such as the layer construction, higher-order SPT phases and Lieb-Schultz-Mattis type theorems. Our formulation is applicable to interacting systems with onsite and crystalline symmetries as well as free fermions.