arXiv subjects

Dennis Müller

Publications and source records attributed to Dennis Müller.

34 records · Page 2Linked to original sources

arXiv2022

An Interactive Explanatory AI System for Industrial Quality Control

Machine learning based image classification algorithms, such as deep neural network approaches, will be increasingly employed in critical settings such as quality control in industry, where transparency and comprehensibility of decisions are crucial. Therefore, we aim to extend the defect detection task towards an interactive human-in-the-loop approach that allows us to integrate rich background knowledge and the inference of complex relationships going beyond traditional purely data-driven approaches. We propose an approach for an interactive support system for classifications in an industrial quality control setting that combines the advantages of both (explainable) knowledge-driven and data-driven machine learning methods, in particular inductive logic programming and convolutional neural networks, with human expertise and control. The resulting system can assist domain experts with decisions, provide transparent explanations for results, and integrate feedback from users; thus reducing workload for humans while both respecting their expertise and without removing their agency or accountability.

cs.LG↗

arXiv2022

Situating "Ethics in Mathematics" as a Philosophy of Mathematics Ethics Education

In this paper, we situate the educational movement of "Ethics in Mathematics," as outlined by the Cambridge University Ethics in Mathematics Project, in the wider area of mathematics ethics education. By focusing on the core message coming out of Ethics in Mathematics, its target group, and educational philosophy, we set it into relation with "Mathematics for Social Justice" and Paul Ernest's recent work on ethics of mathematics. We conclude that, although both Ethics in Mathematics and Mathematics for Social Justice appear antagonistic at first glance, they can be understood as complementary rather than competing educational strategies.

math.HO↗

arXiv2021

A Hippocratic Oath for mathematicians? Mapping the landscape of ethics in mathematics

While the consequences of mathematically-based software, algorithms and strategies have become ever wider and better appreciated, ethical reflection on mathematics has remained primitive. We review the somewhat disconnected suggestions of commentators in recent decades with a view to piecing together a coherent approach to ethics in mathematics. Calls for a Hippocratic Oath for mathematicians are examined and it is concluded that while lessons can be learned from the medical profession, the relation of mathematicians to those affected by their work is significantly different. There is something to be learned also from the codes of conduct of cognate but professionalised quantitative disciplines such as engineering and accountancy, as well as from legal principles bearing on professional work. We conclude with recommendations that professional societies in mathematics should sponsor an (international) code of ethics, institutional mission statements for mathematicians and syllabuses for incorporation into mathematics degrees.

math.HO↗

arXiv2021

Duality Relations for Overlaps of Integrable Boundary States in AdS/dCFT

The encoding of all possible sets of Bethe equations for a spin chain with SU(N|M) symmetry into a QQ-system calls for an expression of spin chain overlaps entirely in terms of Q-functions. We take a significant step towards deriving such a universal formula in the case of overlaps between Bethe eigenstates and integrable boundary states, of relevance for AdS/dCFT, by determining the transformation properties of the overlaps under fermionic as well as bosonic dualities which allows us to move between any two descriptions of the spin chain encoded in the QQ-system. An important part of our analysis involves introducing a suitable regularization for singular Bethe root configurations.

hep-th↗

arXiv2021

Disambiguating Symbolic Expressions in Informal Documents

We propose the task of disambiguating symbolic expressions in informal STEM documents in the form of LaTeX files - that is, determining their precise semantics and abstract syntax tree - as a neural machine translation task. We discuss the distinct challenges involved and present a dataset with roughly 33,000 entries. We evaluated several baseline models on this dataset, which failed to yield even syntactically valid LaTeX before overfitting. Consequently, we describe a methodology using a transformer language model pre-trained on sources obtained from arxiv.org, which yields promising results despite the small size of the dataset. We evaluate our model using a plurality of dedicated techniques, taking the syntax and semantics of symbolic expressions into account.

cs.LG↗

arXiv2021

Yangian Bootstrap for Conformal Feynman Integrals

We explore the idea to bootstrap Feynman integrals using integrability. In particular, we put the recently discovered Yangian symmetry of conformal Feynman integrals to work. As a prototypical example we demonstrate that the D-dimensional box integral with generic propagator powers is completely fixed by its symmetries to be a particular linear combination of Appell hypergeometric functions. In this context the Bloch-Wigner function arises as a special Yangian invariant in 4D. The bootstrap procedure for the box integral is naturally structured in algorithmic form. We then discuss the Yangian constraints for the six-point double box integral as well as for the related hexagon. For the latter we argue that the constraints are solved by a set of generalized Lauricella functions and we comment on complications in identifying the integral as a certain linear combination of these. Finally, we elaborate on the close relation to the Mellin-Barnes technique and argue that it generates Yangian invariants as sums of residues.

hep-th↗

arXiv2021

Overlaps and Fermionic Dualities for Integrable Super Spin Chains

The psu(2,2|4) integrable super spin chain underlying the AdS/CFT correspondence has integrable boundary states which describe set-ups where k D3-branes get dissolved in a probe D5-brane. Overlaps between Bethe eigenstates and these boundary states encode the one-point functions of conformal operators and are expressed in terms of the superdeterminant of the Gaudin matrix that in turn depends on the Dynkin diagram of the symmetry algebra. The different possible Dynkin diagrams of super Lie algebras are related via fermionic dualities and we determine how overlap formulae transform under these dualities. As an application we show how to consistently move between overlap formulae obtained for k=1 from different Dynkin diagrams.

hep-th↗

arXiv2020

Massive Conformal Symmetry and Integrability for Feynman Integrals

In the context of planar holography, integrability plays an important role for solving certain massless quantum field theories such as N=4 SYM theory. In this letter we show that integrability also features in the building blocks of massive quantum field theories. At one-loop order we prove that all massive n-gon Feynman integrals in generic spacetime dimensions are invariant under a massive Yangian symmetry. At two loops similar statements can be proven for graphs built from two n-gons. At generic loop order we conjecture that all graphs cut from regular tilings of the plane with massive propagators on the boundary are invariant. We support this conjecture by a number of numerical tests for higher loops and legs. The observed Yangian extends the bosonic part of the massive dual conformal symmetry that was found a decade ago on the Coulomb branch of N=4 SYM theory. By translating the Yangian level-one generators from dual to original momentum space, we introduce a massive generalization of momentum space conformal symmetry. Even for non-dual conformal integrals this novel symmetry persists. The Yangian can thus be understood as the closure of massive dual conformal symmetry and this new massive momentum space conformal symmetry, which suggests an interpretation via AdS/CFT. As an application of our findings, we bootstrap the hypergeometric building blocks for examples of massive Feynman integrals.

hep-th↗

arXiv2020

Yangian Bootstrap for Massive Feynman Integrals

We extend the study of the recently discovered Yangian symmetry of massive Feynman integrals and its relation to massive momentum space conformal symmetry. After proving the symmetry statements in detail at one and two loop orders, we employ the conformal and Yangian constraints to bootstrap various one-loop examples of massive Feynman integrals. In particular, we explore the interplay between Yangian symmetry and hypergeometric expressions of the considered integrals. Based on these examples we conjecture single series representations for all dual conformal one-loop integrals in D spacetime dimensions with generic massive propagators.

hep-th↗

arXiv2020

Integrable boundary states in D3-D5 dCFT: beyond scalars

A D3-D5 intersection gives rise to a defect CFT, wherein the rank of the gauge group jumps by k units across a domain wall. The one-point functions of local operators in this set-up map to overlaps between on-shell Bethe states in the underlying spin chain and a boundary state representing the D5 brane. Focussing on the k=1 case, we extend the construction to gluonic and fermionic sectors, which was prohibitively difficult to achieve for k>1. As a byproduct, we test an all-loop proposal for the one-point functions in the su(2) sector at the half-wrapping order of perturbation theory.

hep-th↗

arXiv2020

The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems

Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics. In the last decades we have seen a cambric explosion of increasingly powerful but also diverging systems. To give researchers a guide to this space of systems, we devise a novel conceptualization of mathematical software that focuses on five aspects: inference covers formal logic and reasoning about mathematical statements via proofs and models, typically with strong emphasis on correctness; computation covers algorithms and software libraries for representing and manipulating mathematical objects, typically with strong emphasis on efficiency; concretization covers generating and maintaining collections of mathematical objects conforming to a certain pattern, typically with strong emphasis on complete enumeration; narration covers describing mathematical contexts and relations, typically with strong emphasis on human readability; finally, organization covers representing mathematical contexts and objects in machine-actionable formal languages, typically with strong emphasis on expressivity and system interoperability. Despite broad agreement that an ideal system would seamlessly integrate all these aspects, research has diversified into families of highly specialized systems focusing on a single aspect and possibly partially integrating others, each with their own communities, challenges, and successes. In this survey, we focus on the commonalities and differences of these systems from the perspective of a future multi-aspect system.

cs.MS↗

arXiv2019

Rapid Prototyping Formal Systems in MMT: 5 Case Studies

Logical frameworks are meta-formalisms in which the syntax and semantics of object logics and related formal systems can be defined. This allows object logics to inherit implementations from the framework including, e.g., parser, type checker, or module system. But if the desired object logic falls outside the comfort zone of the logical framework, these definitions may become cumbersome or infeasible. Therefore, the MMT system abstracts even further than previous frameworks: it assumes no type system or logic at all and allows its kernel algorithms to be customized by almost arbitrary sets of rules. In particular, this allows implementing standard logical frameworks like LF in MMT. But it does so without chaining users to one particular meta-formalism: users can flexibly adapt MMT whenever the object logic demands it. In this paper, we present a series of case studies that do just that, defining increasingly complex object logics in MMT. We use elegant declarative logic definitions wherever possible, but inject entirely new rules into the kernel when necessary. Our experience shows that the MMT approach allows deriving prototype implementations of very diverse formal systems very easily and quickly.

cs.LO↗

arXiv2017

Alignment-based Translations Across Formal Systems Using Interface Theories

Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the large differences between the logical foundations, the implementations of the systems, and the structure of the respective libraries. Practical solutions for exchanging theorems across theorem provers have remained both weak and brittle. Consequently, libraries are not easily reusable across systems, and substantial effort must be spent on reformalizing and proving basic results in each system. Notably, this problem exists already if we only try to exchange theorem statements and forgo exchanging proofs. In previous work we introduced alignments as a lightweight standard for relating concepts across libraries and conjectured that it would provide a good base for translating expressions. In this paper, we demonstrate the feasibility of this approach. We use a foundationally uncommitted framework to write interface theories that abstract from logical foundation, implementation, and library structure. Then we use alignments to record how the concepts in the interface theories are realized in several major proof assistant libraries, and we use that information to translate expressions across libraries. Concretely, we present exemplary interface theories for several areas of mathematics and - in total - several hundred alignments that were found manually.

cs.LO↗

arXiv2017

Yangian Symmetry for Fishnet Feynman Graphs

Various classes of fishnet Feynman graphs are shown to feature a Yangian symmetry over the conformal algebra. We explicitly discuss scalar graphs in three, four and six spacetime dimensions as well as the inclusion of fermions in four dimensions. The Yangian symmetry results in novel differential equations for these families of largely unsolved Feynman integrals. Notably, the considered fishnet graphs in three and four dimensions dominate the correlation functions and scattering amplitudes in specific double scaling limits of planar, gamma-twisted N=4 super Yang-Mills or ABJM theory. Consequently, the study of fishnet graphs allows us to get deep insights into the integrability of the planar AdS/CFT correspondence.

hep-th↗

arXiv2017

Yangian Symmetry for Bi-Scalar Loop Amplitudes

We establish an all-loop conformal Yangian symmetry for the full set of planar amplitudes in the recently proposed integrable bi-scalar field theory in four dimensions. This chiral theory is a particular double scaling limit of gamma-twisted weakly coupled N=4 SYM theory. Each amplitude with a certain order of scalar particles is given by a single fishnet Feynman graph of disc topology cut out of a regular square lattice. The Yangian can be realized by the action of a product of Lax operators with a specific sequence of inhomogeneity parameters on the boundary of the disc. Based on this observation, the Yangian generators of level one for generic bi-scalar amplitudes are explicitly constructed. Finally, we comment on the relation to the dual conformal symmetry of these scattering amplitudes.

hep-th↗

arXiv2017

A Central Limit Theorem for Lipschitz-Killing Curvatures of Gaussian Excursions

This paper studies the excursion set of a real stationary isotropic Gaussian random field above a fixed level. We show that the standardized Lipschitz-Killing curvatures of the intersection of the excursion set with a window converges in distribution to a normal distribution as the window grows to the $d$-dimensional Euclidean space. Moreover a lower bound for the asymptotic variance is shown.

math.PR↗