English
Related papers

Related papers: Complexity and Algorithms for Euler Characteristic…

200 papers

We define a parametric variant of generalized Euler sums and construct contour integration to give some explicit evaluations of these parametric Euler sums. In particular, we establish several explicit formulas of (Hurwitz) zeta functions,…

Number Theory · Mathematics 2022-03-22 Junjie Quan , Xiyu Wang , Xiaoxue Wei , Ce Xu

We develop a general method for computing the homological Euler characteristic of finite index subgroups G of GL_m(O_K) where O_K is the ring of integers in a number field K. With this method we find, that for large, explicitly computed…

Group Theory · Mathematics 2007-05-23 Ivan E. Horozov

We consider the problem of computing a lightest derivation of a global structure using a set of weighted rules. A large variety of inference problems in AI can be formulated in this framework. We generalize A* search and heuristics derived…

Artificial Intelligence · Computer Science 2011-10-12 P. F. Felzenszwalb , D. McAllester

In this paper we use Euler-Seidel matrices method to find out some properties of exponential and geometric polynomials and numbers. Some known results are reproved and some new results are obtained.

Number Theory · Mathematics 2010-04-20 Ayhan Dil , Veli Kurt

We continue the study of counting complexity begun in [Buergisser, Cucker 04] and [Buergisser, Cucker, Lotz 05] by proving upper and lower bounds on the complexity of computing the Hilbert polynomial of a homogeneous ideal. We show that the…

Symbolic Computation · Computer Science 2007-05-23 Peter Buergisser , Martin Lotz

A central problem in topological data analysis is that of computing the homology of a given simplicial complex. Said complexes can have arbitrary large number of simplices, as can happen, for example, if the space is the Rips-Vietoris or…

Combinatorics · Mathematics 2021-11-11 Francisco Martinez-Figueroa

An explicit construction of closed, orientable, smooth, aspherical 4-manifolds with any odd Euler characteristic greater than 12 is presented. The manifolds constructed here are all Haken manifolds in the sense of B. Foozwell and H.…

Geometric Topology · Mathematics 2017-10-18 Allan L. Edmonds

We prove several claims made by Kontsevich about the orbifold Euler characteristic of the three types of graph homology introduced by him. For this purpose, first we develop a simplified version of the Feynman diagram method, which requires…

Quantum Algebra · Mathematics 2007-05-23 Ferenc Gerlits

Let $G$ be a $(2,m,n)$-group and let $x$ be the number of distinct primes dividing $\chi$, the Euler characteristic of $G$. We prove, first, that, apart from a finite number of known exceptions, a non-abelian simple composition factor $T$…

Group Theory · Mathematics 2014-02-26 Nick Gill

We present a method to simplify expressions in the context of an equational theory. The basic ideas and concepts of the method have been presented previously elsewhere but here we tackle the difficult task of making it efficient in…

Logic in Computer Science · Computer Science 2020-03-16 Baudouin Le Charlier

Using the notion of contiguity of simplicial maps, we adapt Farber's topological complexity to the realm of simplicial complexes. We show that, for a finite simplicial complex $K$, our discretized concept recovers the topological complexity…

Algebraic Topology · Mathematics 2017-01-27 Jesús González

We present normal forms for elliptic curves over a field of characteristic $2$ analogous to Edwards normal form, and determine bases of addition laws, which provide strikingly simple expressions for the group law. We deduce efficient…

Number Theory · Mathematics 2016-01-15 David Kohel

This article presents a methodology that automatically derives a combinatorial specification for a permutation class C, given its basis B of excluded patterns and the set of simple permutations in C, when these sets are both finite. This is…

Combinatorics · Mathematics 2016-11-01 Frédérique Bassino , Mathilde Bouvel , Adeline Pierrot , Carine Pivoteau , Dominique Rossin

A new class of functions is presented. The structure of the algorithm, particularly the selection criteria (branching), is used to define the fundamental property of the new class. The most interesting property of the new functions is that…

Computational Complexity · Computer Science 2020-02-25 Rade Vuckovac

This article surveys the Euler calculus - an integral calculus based on Euler characteristic - and its applications to data, sensing, networks, and imaging.

Algebraic Topology · Mathematics 2012-02-03 Justin Curry , Robert Ghrist , Michael Robinson

We discuss Euler characteristics for finitely generated modules over Iwasawa algebras. We show that the Euler characteristic of a module is well-defined whenever the 0th homology group is finite if and only if the relevant compact p-adic…

Representation Theory · Mathematics 2009-10-08 Simon Wadsley

In this article, we introduce congruential Euler numbers, which are a further generalization of generalized Euler numbers. We prove the $p$-adic congruences of congruential Euler numbers, which include answers to a conjecture related to…

Number Theory · Mathematics 2026-05-12 Yuta Nishibuchi

In this paper, by using the method of Contour Integral Representations and the Theorem of Residues and integral representations of series, we discuss the analytic representa- tions of parametric Euler sums that involve harmonic numbers…

Number Theory · Mathematics 2017-01-16 Ce Xu

We show that a large number of elementary cellular automata are computationally simple. This work is the first systematic classification of elementary cellular automata based on a formal notion of computational complexity. Thanks to the…

Computational Complexity · Computer Science 2014-06-23 Pierre-Étienne Meunier

Let S be a compact, connected surface and H in C^2(T^* S) a Tonelli Hamiltonian. This note extends V. V. Kozlov's result on the Euler characteristic of S when H is real-analytically integrable, using a definition of topologically-tame…

Dynamical Systems · Mathematics 2013-10-14 Leo T. Butler