English
Related papers

Related papers: An automatic procedure to determine groups of nonp…

200 papers

The pursue of what are properties that can be identified to permit an automated reasoning program to generate and find new and interesting theorems is an interesting research goal (pun intended). The automatic discovery of new theorems is a…

Artificial Intelligence · Computer Science 2024-01-23 Pedro Quaresma , Pierluigi Graziani , Stefano M. Nicoletti

The information geometry of the 2-manifold of gamma probability density functions provides a framework in which pseudorandom number generators may be evaluated using a neighbourhood of the curve of exponential density functions. The process…

Computation · Statistics 2009-07-13 C. T. J. Dodson

We describe a procedure which verifies that a group given by generators and relators is word-hyperbolic. This procedure always works with a group which is word-hyperbolic, provided there is sufficient memory and time devoted to the problem.…

Group Theory · Mathematics 2007-05-23 David B. A. Epstein , Derek F. Holt

We develop a theoretical study of non-terminating hypergeometric summations with one free parameter. Composing various methods in complex and asymptotic analysis, geometry and arithmetic of certain transcendental curves and rational…

Classical Analysis and ODEs · Mathematics 2017-09-08 Katsunori Iwasaki

In previous work we determined automorphism groups of cyclic algebraic curves defined over fields of any odd characteristic. In this paper we determine parametric equations of families of curves for each automorphism group for such curves.

Algebraic Geometry · Mathematics 2013-01-22 R. Sanjeewa , T. Shaska

We introduce a machine-learning approach (denoted Symmetry Seeker Neural Network) capable of automatically discovering discrete symmetry groups in physical systems. This method identifies the finite set of parameter transformations that…

Computational Physics · Physics 2023-07-26 Pablo Calvo-Barlés , Sergio G. Rodrigo , Eduardo Sánchez-Burillo , Luis Martín-Moreno

Learning curves model a classifier's test error as a function of the number of training samples. Prior works show that learning curves can be used to select model parameters and extrapolate performance. We investigate how to use learning…

Machine Learning · Computer Science 2021-04-06 Derek Hoiem , Tanmay Gupta , Zhizhong Li , Michal M. Shlapentokh-Rothman

This paper proposes a novel, nonparametric, interpoint distance-based measure to investigate whether there exist any groups in a set of given data, and if so then, how many groups are prevailing in total. It is a cluster accuracy index…

Methodology · Statistics 2026-05-21 Soumita Modak

Complex networks provide a powerful mathematical representation of complex systems in nature and society. To understand complex networks, it is crucial to explore their internal structures, also called structural regularities. The task of…

Social and Information Networks · Computer Science 2015-12-02 Yi Chen , Xiao-long Wang , Xin Xiang , Bu-zhou Tang , Qing-cai Chen , Bo Yuan , Jun-zhao Bu

In network tomography, one goal is to identify a small set of failed links in a network, by sending a few packets through the network and seeing which reach their destination. This problem can be seen as a variant of combinatorial group…

Information Theory · Computer Science 2018-09-12 Bruce Spang , Mary Wootters

We study the group of automorphisms of the affine plane preserving some given curve, over any field. The group is proven to be algebraic, except in the case where the curve is a bunch of parallel lines. Moreover, a classification of the…

Algebraic Geometry · Mathematics 2016-11-24 Jérémy Blanc , Immanuel Stampfli

This paper develops and implements a nonparametric test of Random Utility Models. The motivating application is to test the null hypothesis that a sample of cross-sectional demand distributions was generated by a population of rational…

Statistics Theory · Mathematics 2018-12-06 Yuichi Kitamura , Jörg Stoye

An important concept in digital geometry for computer imagery is that of tunnel. In this paper we obtain a formula for the number of tunnels as a function of the number of the object vertices, pixels, holes, connected components, and 2x2…

Discrete Mathematics · Computer Science 2007-05-23 Valentin Brimkov , Angelo Maimone , Giorgio Nordo

An outer automorphism of a free group is geometric if it can be represented by a homeomorphism of a compact surface. Bestvina and Handel gave an algorithmic characterization of geometric irreducible outer automorphisms using relative train…

Group Theory · Mathematics 2024-01-26 Edgar A. Bering , Yulan Qing , Derrick R. Wigglesworth

A polynomial algorithm for graphs' isomorphism testing is constructed in assumption that there exists a corresponding polynomial algorithm for graphs with trivial automorphism group.

Combinatorics · Mathematics 2007-05-23 Aleksandr Golubchik

We study partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutations in the equivalence classes. These permutations are the linear…

Statistics Theory · Mathematics 2007-06-13 Jason Morton , Lior Pachter , Anne Shiu , Bernd Sturmfels , Oliver Wienand

A key problem in statistical modeling is model selection, how to choose a model at an appropriate level of complexity. This problem appears in many settings, most prominently in choosing the number ofclusters in mixture models or the number…

Machine Learning · Statistics 2011-08-05 Samuel J. Gershman , David M. Blei

In clinical trials the comparison of two different populations is a frequently addressed problem. Non-linear (parametric) regression models are commonly used to describe the relationship between covariates as the dose and a response…

Methodology · Statistics 2019-02-12 Kathrin Möllenhoff , Frank Bretz , Holger Dette

Penalized regression is an attractive framework for variable selection problems. Often, variables possess a grouping structure, and the relevant selection problem is that of selecting groups, not individual variables. The group lasso has…

Computation · Statistics 2016-07-20 Patrick Breheny , Jian Huang

We study the sample complexity of nondeterministically testable graph parameters and improve existing bounds on it by several orders of magnitude. The technique used would be also of independent interest. We also discuss the special case of…

Data Structures and Algorithms · Computer Science 2016-08-05 Marek Karpinski , Roland Markó