Showing 1–11 of 11 results for author: Joswig, M

Confirmable Workflows in OSCAR

Authors: Michael Joswig, Lars Kastner, Benjamin Lorenz

Abstract: We discuss what is special about the reproducibility of workflows in computer algebra. It is emphasized how the programming language Julia and the new computer algebra system OSCAR support such a reproducibility, and how users can benefit for their own work. We discuss what is special about the reproducibility of workflows in computer algebra. It is emphasized how the programming language Julia and the new computer algebra system OSCAR support such a reproducibility, and how users can benefit for their own work. △ Less

Submitted 9 April, 2024; originally announced April 2024.

Comments: 15 pages

MSC Class: 68N30

A FAIR File Format for Mathematical Software

Authors: Antony Della Vecchia, Michael Joswig, Benjamin Lorenz

Abstract: We describe a generic JSON based file format which is suitable for computations in computer algebra. This is implemented in the computer algebra system OSCAR, but we also indicate how it can be used in a different context. We describe a generic JSON based file format which is suitable for computations in computer algebra. This is implemented in the computer algebra system OSCAR, but we also indicate how it can be used in a different context. △ Less

Submitted 1 September, 2023; originally announced September 2023.

The Polyhedral Geometry of Truthful Auctions

Authors: Michael Joswig, Max Klimm, Sylvain Spitz

Abstract: The difference set of an outcome in an auction is the set of types that the auction mechanism maps to the outcome. We give a complete characterization of the geometry of the difference sets that can appear for a dominant strategy incentive compatible multi-unit auction showing that they correspond to regular subdivisions of the unit cube. This observation is then used to construct mechanisms that… ▽ More The difference set of an outcome in an auction is the set of types that the auction mechanism maps to the outcome. We give a complete characterization of the geometry of the difference sets that can appear for a dominant strategy incentive compatible multi-unit auction showing that they correspond to regular subdivisions of the unit cube. This observation is then used to construct mechanisms that are robust in the sense that the set of items allocated to a player does change only slightly when the player's reported type is changed slightly. △ Less

Submitted 3 November, 2022; originally announced November 2022.

Comments: 13 pages, 4 figures

MSC Class: 91B03 (Primary); 52B20; 14T15 (Secondary)

Generalized permutahedra and optimal auctions

Authors: Michael Joswig, Max Klimm, Sylvain Spitz

Abstract: We study a family of convex polytopes, called SIM-bodies, which were introduced by Giannakopoulos and Koutsoupias (2018) to analyze so-called Straight-Jacket Auctions. First, we show that the SIM-bodies belong to the class of generalized permutahedra. Second, we prove an optimality result for the Straight-Jacket Auctions among certain deterministic auctions. Third, we employ computer algebra metho… ▽ More We study a family of convex polytopes, called SIM-bodies, which were introduced by Giannakopoulos and Koutsoupias (2018) to analyze so-called Straight-Jacket Auctions. First, we show that the SIM-bodies belong to the class of generalized permutahedra. Second, we prove an optimality result for the Straight-Jacket Auctions among certain deterministic auctions. Third, we employ computer algebra methods and mathematical software to explicitly determine optimal prices and revenues. △ Less

Submitted 2 August, 2021; originally announced August 2021.

Comments: 24 pages, 2 figures

MSC Class: 91B03 (52B12; 68W30; 14T15)

Geometric Disentanglement by Random Convex Polytopes

Authors: Michael Joswig, Marek Kaluba, Lukas Ruff

Abstract: We propose a new geometric method for measuring the quality of representations obtained from deep learning. Our approach, called Random Polytope Descriptor, provides an efficient description of data points based on the construction of random convex polytopes. We demonstrate the use of our technique by qualitatively comparing the behavior of classic and regularized autoencoders. This reveals that a… ▽ More We propose a new geometric method for measuring the quality of representations obtained from deep learning. Our approach, called Random Polytope Descriptor, provides an efficient description of data points based on the construction of random convex polytopes. We demonstrate the use of our technique by qualitatively comparing the behavior of classic and regularized autoencoders. This reveals that applying regularization to autoencoder networks may decrease the out-of-distribution detection performance in latent space. While our technique is similar in spirit to $k$-means clustering, we achieve significantly better false positive/negative balance in clustering tasks on autoencoded datasets. △ Less

Submitted 13 February, 2021; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: 23 pages, preprint; extended experiments and theoretical analysis of RPD in v2

Random growth on a Ramanujan graph

Authors: Janko Boehm, Michael Joswig, Lars Kastner, Andrew Newman

Abstract: The behavior of a certain random growth process is analyzed on arbitrary regular and non-regular graphs. Our argument is based on the Expander Mixing Lemma, which entails that the results are strongest for Ramanujan graphs, which asymptotically maximize the spectral gap. Further, we consider Erdős--Rényi random graphs and compare our theoretical results with computational experiments on flip graph… ▽ More The behavior of a certain random growth process is analyzed on arbitrary regular and non-regular graphs. Our argument is based on the Expander Mixing Lemma, which entails that the results are strongest for Ramanujan graphs, which asymptotically maximize the spectral gap. Further, we consider Erdős--Rényi random graphs and compare our theoretical results with computational experiments on flip graphs of point configurations. The latter is relevant for enumerating triangulations. △ Less

Submitted 22 October, 2019; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: 22 pages, 7 figures, 1 table. This version makes several changes based on feedback of the first version. This includes a change to the title and a new section with results on Erdős--Rényi random graphs

MSC Class: 05C81 (68R10; 52B55)

Parallel Enumeration of Triangulations

Authors: Charles Jordan, Michael Joswig, Lars Kastner

Abstract: We report on the implementation of an algorithm for computing the set of all regular triangulations of finitely many points in Euclidean space. This algorithm, which we call down-flip reverse search, can be restricted, e.g., to computing full triangulations only; this case is particularly relevant for tropical geometry. Most importantly, down-flip reverse search allows for massive parallelization,… ▽ More We report on the implementation of an algorithm for computing the set of all regular triangulations of finitely many points in Euclidean space. This algorithm, which we call down-flip reverse search, can be restricted, e.g., to computing full triangulations only; this case is particularly relevant for tropical geometry. Most importantly, down-flip reverse search allows for massive parallelization, i.e., it scales well even for many cores. Our implementation allows to compute the triangulations of much larger point sets than before. △ Less

Submitted 10 April, 2018; v1 submitted 14 September, 2017; originally announced September 2017.

Comments: 27 pages, 5 figures

MSC Class: 52B55 (68U05)

Journal ref: Electronic Journal of Combinatorics 25/3 (2018), Paper 3.6, 27; http://www.combinatorics.org/ojs/index.php/eljc/article/view/v25i3p6

The polymake XML file format

Authors: Ewgenij Gawrilow, Simon Hampe, Michael Joswig

Abstract: We describe an XML file format for storing data from computations in algebra and geometry. We also present a formal specification based on a RELAX-NG schema. We describe an XML file format for storing data from computations in algebra and geometry. We also present a formal specification based on a RELAX-NG schema. △ Less

Submitted 17 May, 2016; originally announced May 2016.

Comments: 8 pages. Extended abstract for the 5th International Congress on Mathematical Software (ICMS), Berlin 2016

DGD Gallery: Storage, sharing, and publication of digital research data

Authors: Michael Joswig, Milan Mehner, Stefan Sechelmann, Jan Techter, Alexander I. Bobenko

Abstract: We describe a project, called the "Discretization in Geometry and Dynamics Gallery", or DGD Gallery for short, whose goal is to store geometric data and to make it publicly available. The DGD Gallery offers an online web service for the storage, sharing, and publication of digital research data. We describe a project, called the "Discretization in Geometry and Dynamics Gallery", or DGD Gallery for short, whose goal is to store geometric data and to make it publicly available. The DGD Gallery offers an online web service for the storage, sharing, and publication of digital research data. △ Less

Submitted 16 November, 2015; originally announced December 2015.

Comments: 19 pages, 8 figures, to appear in "Advances in Discrete Differential Geometry", ed. A. I. Bobenko, Springer, 2016

Journal ref: "Advances in Discrete Differential Geometry", ed. A. I. Bobenko, pp. 421-439, Springer, 2016

Rigid Multiview Varieties

Authors: Michael Joswig, Joe Kileel, Bernd Sturmfels, André Wagner

Abstract: The multiview variety from computer vision is generalized to images by $n$ cameras of points linked by a distance constraint. The resulting five-dimensional variety lives in a product of $2n$ projective planes. We determine defining polynomial equations, and we explore generalizations of this variety to scenarios of interest in applications. The multiview variety from computer vision is generalized to images by $n$ cameras of points linked by a distance constraint. The resulting five-dimensional variety lives in a product of $2n$ projective planes. We determine defining polynomial equations, and we explore generalizations of this variety to scenarios of interest in applications. △ Less

Submitted 5 July, 2016; v1 submitted 10 September, 2015; originally announced September 2015.

Comments: 12 pages, 1 figure

MSC Class: 14M99; 68T45

Journal ref: Int. J. Algebra Comput. 26 (2016) 775-788

Frontiers of sphere recognition in practice

Authors: Michael Joswig, Davide Lofano, Frank H. Lutz, Mimi Tsuruga

Abstract: Sphere recognition is known to be undecidable in dimensions five and beyond, and no polynomial time method is known in dimensions three and four. Here we report on positive and negative computational results with the goal to explore the limits of sphere recognition from a practical point of view. An important ingredient are randomly constructed discrete Morse functions. Sphere recognition is known to be undecidable in dimensions five and beyond, and no polynomial time method is known in dimensions three and four. Here we report on positive and negative computational results with the goal to explore the limits of sphere recognition from a practical point of view. An important ingredient are randomly constructed discrete Morse functions. △ Less

Submitted 25 November, 2021; v1 submitted 15 May, 2014; originally announced May 2014.

Comments: 27 pages, 4 figures, 8 tables, revised and updated, new Section 3.2 on processing Regina's census of 4-manifolds with up to six pentachora

MSC Class: 57Q15; 57Q05; 57M05; 57M40; 57N12; 52B70; 52B05; 52B22; 55N35