Showing 1–15 of 15 results for author: Schepers, J

Exemplary Natural Images Explain CNN Activations Better than State-of-the-Art Feature Visualization

Authors: Judy Borowski, Roland S. Zimmermann, Judith Schepers, Robert Geirhos, Thomas S. A. Wallis, Matthias Bethge, Wieland Brendel

Abstract: Feature visualizations such as synthetic maximally activating images are a widely used explanation method to better understand the information processing of convolutional neural networks (CNNs). At the same time, there are concerns that these visualizations might not accurately represent CNNs' inner workings. Here, we measure how much extremely activating images help humans to predict CNN activati… ▽ More Feature visualizations such as synthetic maximally activating images are a widely used explanation method to better understand the information processing of convolutional neural networks (CNNs). At the same time, there are concerns that these visualizations might not accurately represent CNNs' inner workings. Here, we measure how much extremely activating images help humans to predict CNN activations. Using a well-controlled psychophysical paradigm, we compare the informativeness of synthetic images by Olah et al. (2017) with a simple baseline visualization, namely exemplary natural images that also strongly activate a specific feature map. Given either synthetic or natural reference images, human participants choose which of two query images leads to strong positive activation. The experiments are designed to maximize participants' performance, and are the first to probe intermediate instead of final layer representations. We find that synthetic images indeed provide helpful information about feature map activations ($82\pm4\%$ accuracy; chance would be $50\%$). However, natural images - originally intended as a baseline - outperform synthetic images by a wide margin ($92\pm2\%$). Additionally, participants are faster and more confident for natural images, whereas subjective impressions about the interpretability of the feature visualizations are mixed. The higher informativeness of natural images holds across most layers, for both expert and lay participants as well as for hand- and randomly-picked feature visualizations. Even if only a single reference image is given, synthetic images provide less information than natural images ($65\pm5\%$ vs. $73\pm4\%$). In summary, synthetic images from a popular feature visualization method are significantly less informative for assessing CNN activations than natural images. We argue that visualization methods should improve over this baseline. △ Less

Submitted 2 May, 2021; v1 submitted 23 October, 2020; originally announced October 2020.

Comments: Published at ICLR 2021. Joint first and last authors. Code is available at https://bethgelab.github.io/testing_visualizations/

On stratifications for planar tensegrities with a small number of vertices

Authors: Oleg Karpenkov, Jan Schepers, Brigitte Servatius

Abstract: In this paper we discuss several results about the structure of the configuration space of two-dimensional tensegrities with a small number of points. We briefly describe the technique of surgeries that is used to find geometric conditions for tensegrities. Further we introduce a new surgery for three-dimensional tensegrities. Within this paper we formulate additional open problems related to the… ▽ More In this paper we discuss several results about the structure of the configuration space of two-dimensional tensegrities with a small number of points. We briefly describe the technique of surgeries that is used to find geometric conditions for tensegrities. Further we introduce a new surgery for three-dimensional tensegrities. Within this paper we formulate additional open problems related to the stratification space of tensegrities. △ Less

Submitted 17 January, 2012; originally announced January 2012.

MSC Class: 52C30; 05C10

Unimodality questions for integrally closed lattice polytopes

Authors: Jan Schepers, Leen Van Langenhoven

Abstract: It is a famous open question whether every integrally closed reflexive polytope has a unimodal Ehrhart delta-vector. We generalize this question to arbitrary integrally closed lattice polytopes and we prove unimodality for the delta-vector of lattice parallelepipeds. This is the first nontrivial class of integrally closed polytopes. Moreover, we suggest a new approach to the problem for reflexive… ▽ More It is a famous open question whether every integrally closed reflexive polytope has a unimodal Ehrhart delta-vector. We generalize this question to arbitrary integrally closed lattice polytopes and we prove unimodality for the delta-vector of lattice parallelepipeds. This is the first nontrivial class of integrally closed polytopes. Moreover, we suggest a new approach to the problem for reflexive polytopes via triangulations. △ Less

Submitted 17 October, 2011; originally announced October 2011.

Comments: 16 pages

MSC Class: 52B20; 05A20; 11B68

Arc Spaces and Rogers-Ramanujan Identities

Authors: Clemens Bruschek, Hussein Mourtada, Jan Schepers

Abstract: Arc spaces have been introduced in algebraic geometry as a tool to study singularities but they show strong connections with combinatorics as well. Exploiting these relations we obtain a new approach to the classical Rogers-Ramanujan Identities. The linking object is the Hilbert-Poincaré series of the arc space over a point of the base variety. In the case of the double point this is precisely the… ▽ More Arc spaces have been introduced in algebraic geometry as a tool to study singularities but they show strong connections with combinatorics as well. Exploiting these relations we obtain a new approach to the classical Rogers-Ramanujan Identities. The linking object is the Hilbert-Poincaré series of the arc space over a point of the base variety. In the case of the double point this is precisely the generating series for the integer partitions without equal or consecutive parts. △ Less

Submitted 7 February, 2011; v1 submitted 25 January, 2011; originally announced January 2011.

Comments: 23 pages, introduction rewritten and inaccuracies corrected

MSC Class: 14B05; 11P84; 05A17; 13P10

Gorenstein polytopes and their stringy E-functions

Authors: Benjamin Nill, Jan Schepers

Abstract: Inspired by ideas from algebraic geometry, Batyrev and the first named author have introduced the stringy E-function of a Gorenstein polytope. We prove that this a priori rational function is actually a polynomial, which is part of a conjecture of Batyrev and the first named author. The proof relies on a comparison result for the lattice point structure of a Gorenstein polytope P, a face F of P an… ▽ More Inspired by ideas from algebraic geometry, Batyrev and the first named author have introduced the stringy E-function of a Gorenstein polytope. We prove that this a priori rational function is actually a polynomial, which is part of a conjecture of Batyrev and the first named author. The proof relies on a comparison result for the lattice point structure of a Gorenstein polytope P, a face F of P and the face of the dual Gorenstein polytope corresponding to F. In addition, we study joins of Gorenstein polytopes and introduce the notion of an irreducible Gorenstein polytope. We show how these concepts relate to the decomposition of nef-partitions. △ Less

Submitted 27 May, 2010; originally announced May 2010.

Comments: 23 pages

MSC Class: 52B20; 14M25; 14J32

Stringy Hodge numbers of strictly canonical nondegenerate singularities

Authors: Jan Schepers

Abstract: We describe a class of isolated nondegenerate hypersurface singularities that give a polynomial contribution to Batyrev's stringy E-function. These singularities are obtained by imposing a natural condition on the facets of the Newton polyhedron, and they are strictly canonical. We prove that Batyrev's conjecture concerning the nonnegativity of stringy Hodge numbers is true for complete varietie… ▽ More We describe a class of isolated nondegenerate hypersurface singularities that give a polynomial contribution to Batyrev's stringy E-function. These singularities are obtained by imposing a natural condition on the facets of the Newton polyhedron, and they are strictly canonical. We prove that Batyrev's conjecture concerning the nonnegativity of stringy Hodge numbers is true for complete varieties with such singularities, under some additional hypotheses on the defining polynomials (e.g. convenient or weighted homogeneous). The proof uses combinatorics on lattice polytopes. The results form a strong generalisation of previously obtained results for Brieskorn singularities. △ Less

Submitted 30 March, 2009; originally announced March 2009.

Comments: 23 pages

MSC Class: 14E15; 14J17; 32S25; 52B20

Covers of surfaces with fixed branch locus

Authors: Bas Edixhoven, Robin de Jong, Jan Schepers

Abstract: Given a connected smooth projective surface X over the complex numbers, together with a simple normal crossings divisor D on it, we study finite normal covers Y of X that are unramified outside D. Given moreover a fibration of X onto a curve C, we prove that the `height' of Y over C is bounded linearly in terms of the degree of Y over X. We indicate how an arithmetic analogue of this result, if… ▽ More Given a connected smooth projective surface X over the complex numbers, together with a simple normal crossings divisor D on it, we study finite normal covers Y of X that are unramified outside D. Given moreover a fibration of X onto a curve C, we prove that the `height' of Y over C is bounded linearly in terms of the degree of Y over X. We indicate how an arithmetic analogue of this result, if true, can be auxiliary in proving the existence of a polynomial time algorithm that computes the mod-l Galois representations associated to a given smooth projective geometrically connected surface over the rational numbers. A precise conjecture is formulated. △ Less

Submitted 24 February, 2009; v1 submitted 1 July, 2008; originally announced July 2008.

Comments: main result improved and alternative proofs added (both after Esnault-Viehweg); a precise conjecture included for the arithmetic case

MSC Class: 14E20; 14E22; 14E15

Journal ref: Int. Jnl. Math 21 (2010), 859--874

Geometry of configuration spaces of tensegrities

Authors: Franck Doray, Oleg Karpenkov, Jan Schepers

Abstract: Consider a graph G with n vertices. In this paper we study geometric conditions for an n-tuple of points in R^d to admit a tensegrity with underlying graph G. We introduce and investigate a natural stratification, depending on G, of the configuration space of all n-tuples in R^d. In particular we find surgeries on graphs that give relations between different strata. Based on numerous examples we… ▽ More Consider a graph G with n vertices. In this paper we study geometric conditions for an n-tuple of points in R^d to admit a tensegrity with underlying graph G. We introduce and investigate a natural stratification, depending on G, of the configuration space of all n-tuples in R^d. In particular we find surgeries on graphs that give relations between different strata. Based on numerous examples we give a description of geometric conditions defining the strata for plane tensegrities, we conjecture that the list of such conditions is sufficient to describe any stratum. We conclude the paper with particular examples of strata for tensegrities in the plane with a small number of vertices. △ Less

Submitted 30 June, 2008; v1 submitted 30 June, 2008; originally announced June 2008.

MSC Class: 52C30; 05C10

On the Hard Lefschetz property of stringy Hodge numbers

Authors: Jan Schepers

Abstract: For projective varieties with a certain class of 'mild' isolated singularities and for projective threefolds with arbitrary Gorenstein canonical singularities, we show that the stringy Hodge numbers satisfy the Hard Lefschetz property. This result fits nicely with a 6-dimensional counterexample of Mustata and Payne for the Hard Lefschetz property for stringy Hodge numbers in general. We also giv… ▽ More For projective varieties with a certain class of 'mild' isolated singularities and for projective threefolds with arbitrary Gorenstein canonical singularities, we show that the stringy Hodge numbers satisfy the Hard Lefschetz property. This result fits nicely with a 6-dimensional counterexample of Mustata and Payne for the Hard Lefschetz property for stringy Hodge numbers in general. We also give such an example, ours is a hypersurface singularity. △ Less

Submitted 8 March, 2008; originally announced March 2008.

Comments: 15 pages

MSC Class: 14E15; 14J17; 32S50

Stringy E-functions of hypersurfaces and of Brieskorn singularities

Authors: J. Schepers, W. Veys

Abstract: We show that for a hypersurface Batyrev's stringy E-function can be seen as a residue of the Hodge zeta function, a specialization of the motivic zeta function of Denef and Loeser. This is a nice application of inversion of adjunction. If an affine hypersurface is given by a polynomial that is non-degenerate with respect to its Newton polyhedron, then the motivic zeta function and thus the strin… ▽ More We show that for a hypersurface Batyrev's stringy E-function can be seen as a residue of the Hodge zeta function, a specialization of the motivic zeta function of Denef and Loeser. This is a nice application of inversion of adjunction. If an affine hypersurface is given by a polynomial that is non-degenerate with respect to its Newton polyhedron, then the motivic zeta function and thus the stringy E-function can be computed from this Newton polyhedron (by work of Artal, Cassou-Nogues, Luengo and Melle based on an algorithm of Denef and Hoornaert). We use this procedure to obtain an easy way to compute the contribution of a Brieskorn singularity to the stringy E-function. As a corollary, we prove that stringy Hodge numbers of varieties with a certain class of strictly canonical Brieskorn singularities are nonnegative. We conclude by computing an interesting 6-dimensional example. It shows that a result, implying nonnegativity of stringy Hodge numbers in lower dimensional cases, obtained in our previous paper, is not true in higher dimension. △ Less

Submitted 6 June, 2007; originally announced June 2007.

Comments: 21 pages

MSC Class: 14E15; 14J17; 32S25

An exact algorithm for higher-dimensional orthogonal packing

Authors: Sandor P. Fekete, Joerg Schepers, Jan C. van der Veen

Abstract: Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. Combining the use of our data structure for characterizing feasible packings with our new classes of lower bounds, and other heuristics, we develop a two-level tree search algorithm for solving higher-dimensional packing problems to optimality. Computational res… ▽ More Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. Combining the use of our data structure for characterizing feasible packings with our new classes of lower bounds, and other heuristics, we develop a two-level tree search algorithm for solving higher-dimensional packing problems to optimality. Computational results are reported, including optimal solutions for all two--dimensional test problems from recent literature. This is the third in a series of articles describing new approaches to higher-dimensional packing; see cs.DS/0310032 and cs.DS/0402044. △ Less

Submitted 11 April, 2006; originally announced April 2006.

Comments: 31 pages, 6 figures, 9 tables, to appear in Operations Research; full and updated journal version of sketches that appeared as parts of an extended abstract in ESA'97

ACM Class: F.2.2

Stringy Hodge numbers for a class of isolated singularities and for threefolds

Authors: J. Schepers, W. Veys

Abstract: Batyrev has defined the stringy E-function for complex varieties with at most log terminal singularities. It is a rational function in two variables if the singularities are Gorenstein. Furthermore, if the variety is projective and its stringy E-function is a polynomial, Batyrev defined its stringy Hodge numbers essentially as the coefficients of this E-function, generalizing the usual notion of… ▽ More Batyrev has defined the stringy E-function for complex varieties with at most log terminal singularities. It is a rational function in two variables if the singularities are Gorenstein. Furthermore, if the variety is projective and its stringy E-function is a polynomial, Batyrev defined its stringy Hodge numbers essentially as the coefficients of this E-function, generalizing the usual notion of Hodge numbers of a nonsingular projective variety. He conjectured that they are nonnegative. We prove this for a class of `mild' isolated singularities (the allowed singularities depend on the dimension). As a corollary we obtain a proof of Batyrev's conjecture for threefolds in full generality. In these cases, we also give an explicit description of the stringy Hodge numbers and we suggest a possible generalized definition of stringy Hodge numbers if the E-function is not a polynomial. △ Less

Submitted 17 March, 2009; v1 submitted 13 March, 2006; originally announced March 2006.

Comments: 13 pages, minor inaccuracies from version 2 corrected

MSC Class: 14E15; 14J17; 32S50

Journal ref: Int. Math. Res. Not., Vol. 2007, article ID rnm016

Stringy E-functions of varieties with A-D-E singularities

Authors: Jan Schepers

Abstract: The stringy E-function for normal irreducible complex varieties with at worst log terminal singularities was introduced by Batyrev. It is defined by data from a log resolution. If the variety is projective and Gorenstein and the stringy E-function is a polynomial, Batyrev also defined the stringy Hodge numbers as a generalization of the Hodge numbers of nonsingular projective varieties, and conj… ▽ More The stringy E-function for normal irreducible complex varieties with at worst log terminal singularities was introduced by Batyrev. It is defined by data from a log resolution. If the variety is projective and Gorenstein and the stringy E-function is a polynomial, Batyrev also defined the stringy Hodge numbers as a generalization of the Hodge numbers of nonsingular projective varieties, and conjectured that they are nonnegative. We compute explicit formulae for the contribution of an A-D-E singularity to the stringy E-function in arbitrary dimension. With these results we can say when the stringy E-function of a variety with such singularities is a polynomial and in that case we prove that the stringy Hodge numbers are nonnegative. △ Less

Submitted 14 December, 2005; v1 submitted 14 November, 2005; originally announced November 2005.

Comments: 29 pages, 8 figures and 5 tables, to appear in Manuscripta Math

MSC Class: 14E15; 14J17; 32S25

A General Framework for Bounds for Higher-Dimensional Orthogonal Packing Problems

Authors: Sandor P. Fekete, Joerg Schepers

Abstract: Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. In the context of a branch-and-bound framework for solving these packing problems to optimality, it is of crucial importance to have good and easy bounds for an optimal solution. Previous efforts have produced a number of special classes of such bounds. Unfortun… ▽ More Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. In the context of a branch-and-bound framework for solving these packing problems to optimality, it is of crucial importance to have good and easy bounds for an optimal solution. Previous efforts have produced a number of special classes of such bounds. Unfortunately, some of these bounds are somewhat complicated and hard to generalize. We present a new approach for obtaining classes of lower bounds for higher-dimensional packing problems; our bounds improve and simplify several well-known bounds from previous literature. In addition, our approach provides an easy framework for proving correctness of new bounds. △ Less

Submitted 18 February, 2004; originally announced February 2004.

Comments: 16 pages, 4 figures, Latex, to appear in Mathematical Methods of Operations Research

ACM Class: F.2.2

A combinatorial characterization of higher-dimensional orthogonal packing

Authors: Sandor P. Fekete, Joerg Schepers

Abstract: Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. Previous efforts for exact algorithms have been unable to avoid structural problems that appear for instances in two- or higher-dimensional space. We present a new approach for modeling packings, using a graph-theoretical characterization of feasible packings. O… ▽ More Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. Previous efforts for exact algorithms have been unable to avoid structural problems that appear for instances in two- or higher-dimensional space. We present a new approach for modeling packings, using a graph-theoretical characterization of feasible packings. Our characterization allows it to deal with classes of packings that share a certain combinatorial structure, instead of having to consider one packing at a time. In addition, we can make use of elegant algorithmic properties of certain classes of graphs. This allows our characterization to be the basis for a successful branch-and-bound framework. This is the first in a series of papers describing new approaches to higher-dimensional packing. △ Less

Submitted 16 October, 2003; originally announced October 2003.

Comments: 21 pages, 8 figures, Latex, to appear in Mathematics of Operations Research

ACM Class: F.2.2