-
An Approach to Symbolic Regression Using Feyn
Authors:
Kevin René Broløs,
Meera Vieira Machado,
Chris Cave,
Jaan Kasak,
Valdemar Stentoft-Hansen,
Victor Galindo Batanero,
Tom Jelen,
Casper Wilstrup
Abstract:
In this article we introduce the supervised machine learning tool called Feyn. The simulation engine that powers this tool is called the QLattice. The QLattice is a supervised machine learning tool inspired by Richard Feynman's path integral formulation, that explores many potential models that solves a given problem. It formulates these models as graphs that can be interpreted as mathematical equ…
▽ More
In this article we introduce the supervised machine learning tool called Feyn. The simulation engine that powers this tool is called the QLattice. The QLattice is a supervised machine learning tool inspired by Richard Feynman's path integral formulation, that explores many potential models that solves a given problem. It formulates these models as graphs that can be interpreted as mathematical equations, allowing the user to completely decide on the trade-off between interpretability, complexity and model performance.
We touch briefly upon the inner workings of the QLattice, and show how to apply the python package, Feyn, to scientific problems. We show how it differs from traditional machine learning approaches, what it has in common with them, as well as some of its commonalities with symbolic regression. We describe the benefits of this approach as opposed to black box models.
To illustrate this, we go through an investigative workflow using a basic data set and show how the QLattice can help you reason about the relationships between your features and do data discovery.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
Kirchberg--Wassermann exactness vs exactness: reduction to the unimodular totally disconnected case
Authors:
Chris Cave,
Joachim Zacharias
Abstract:
We show that in order to prove that every second countable locally compact groups with exact reduced group C*-algebra is exact in the dynamical sense (i.e. KW-exact) it suffices to show this for totally disconnected groups.
We show that in order to prove that every second countable locally compact groups with exact reduced group C*-algebra is exact in the dynamical sense (i.e. KW-exact) it suffices to show this for totally disconnected groups.
△ Less
Submitted 18 March, 2018;
originally announced March 2018.
-
Exactness of locally compact groups
Authors:
Jacek Brodzki,
Chris Cave,
Kang Li
Abstract:
We give some new characterizations of exactness for locally compact second countable groups. In particular, we prove that a locally compact second countable group is exact if and only if it admits a topologically amenable action on a compact Hausdorff space. This answers an open question by Anantharaman-Delaroche.
We give some new characterizations of exactness for locally compact second countable groups. In particular, we prove that a locally compact second countable group is exact if and only if it admits a topologically amenable action on a compact Hausdorff space. This answers an open question by Anantharaman-Delaroche.
△ Less
Submitted 22 March, 2017; v1 submitted 6 March, 2016;
originally announced March 2016.
-
Equivariant compression of certain direct limit groups and amalgamated free products
Authors:
Chris Cave,
Dennis Dreesen
Abstract:
We give a means of estimating the equivariant compression of a group G in terms of properties of open subgroups G_i whose direct limit is G. Quantifying a result by S.R. Gal, we also study the behaviour of the equivariant compression under amalgamated free products G1*_H G2 where H is of finite index in both G_1 and G_2.
We give a means of estimating the equivariant compression of a group G in terms of properties of open subgroups G_i whose direct limit is G. Quantifying a result by S.R. Gal, we also study the behaviour of the equivariant compression under amalgamated free products G1*_H G2 where H is of finite index in both G_1 and G_2.
△ Less
Submitted 7 February, 2016; v1 submitted 18 September, 2013;
originally announced September 2013.
-
Embeddability of generalized wreath products and box spaces
Authors:
Chris Cave,
Dennis Dreesen,
Ana Khukhro
Abstract:
Given two finitely generated groups that coarsely embed into a Hilbert space, it is known that their wreath product also embeds coarsely into a Hilbert space. We introduce a wreath product construction for general metric spaces X,Y,Z and derive a condition, called the (delta-polynomial) path lifting property, such that coarse embeddability of X,Y and Z implies coarse embeddability of X\wr_Z Y. We…
▽ More
Given two finitely generated groups that coarsely embed into a Hilbert space, it is known that their wreath product also embeds coarsely into a Hilbert space. We introduce a wreath product construction for general metric spaces X,Y,Z and derive a condition, called the (delta-polynomial) path lifting property, such that coarse embeddability of X,Y and Z implies coarse embeddability of X\wr_Z Y. We also give bounds on the compression of X\wr_Z Y in terms of delta and the compressions of X,Y and Z. Next, we investigate the stability of the property of admitting a box space which coarsely embeds into a Hilbert space under the taking of wreath products. We show that if an infinite finitely generated residually finite group H has a coarsely embeddable box space, then G\wr H has a coarsely embeddable box space if G is finitely generated abelian. This leads, in particular, to new examples of bounded geometry coarsely embeddable metric spaces without property A.
△ Less
Submitted 11 July, 2013;
originally announced July 2013.
-
Embeddings of locally compact hyperbolic groups into Lp-spaces
Authors:
Dennis Dreesen,
Chris Cave
Abstract:
In the last years, there has been a large amount of research on embeddability properties of finitely generated hyperbolic groups. In this paper, we elaborate on the more general class of locally compact hyperbolic groups. We compute the equivariant $L_p$-compression in a number of locally compact examples, such as the groups $SO(n,1)$: by proving that the equivariant $L_p$-compression of a locally…
▽ More
In the last years, there has been a large amount of research on embeddability properties of finitely generated hyperbolic groups. In this paper, we elaborate on the more general class of locally compact hyperbolic groups. We compute the equivariant $L_p$-compression in a number of locally compact examples, such as the groups $SO(n,1)$: by proving that the equivariant $L_p$-compression of a locally compact compactly generated group is minimal for $p=2$, we calculate all equivariant $L_p$-compressions of $SO(n,1)$. Next, we show that although there are locally compact, non-discrete hyperbolic groups $G$ with Kazhdan's property ($T$), it is true that any locally compact hyperbolic group admits a proper affine isometric action on an $L_p$-space for $p$ larger than the Ahlfors regular conformal dimension of $\partial G$. This answers a question asked by Yves de Cornulier. Finally, we elaborate on the locally compact version of property $(A)$ and show that, as in the discrete case, a locally compact second countable group has property (A) if its non-equivariant compression is greater than 1/2.
△ Less
Submitted 20 June, 2014; v1 submitted 18 March, 2013;
originally announced March 2013.
-
PERCEVAL: a Computer-Driven System for Experimentation on Auditory and Visual Perception
Authors:
Carine André,
Alain Ghio,
Christian Cavé,
Bernard Teston
Abstract:
Since perception tests are highly time-consuming, there is a need to automate as many operations as possible, such as stimulus generation, procedure control, perception testing, and data analysis. The computer-driven system we are presenting here meets these objectives. To achieve large flexibility, the tests are controlled by scripts. The system's core software resembles that of a lexical-synta…
▽ More
Since perception tests are highly time-consuming, there is a need to automate as many operations as possible, such as stimulus generation, procedure control, perception testing, and data analysis. The computer-driven system we are presenting here meets these objectives. To achieve large flexibility, the tests are controlled by scripts. The system's core software resembles that of a lexical-syntactic analyzer, which reads and interprets script files sent to it. The execution sequence (trial) is modified in accordance with the commands and data received. This type of operation provides a great deal of flexibility and supports a wide variety of tests such as auditory-lexical decision making, phoneme monitoring, gating, phonetic categorization, word identification, voice quality, etc. To achieve good performance, we were careful about timing accuracy, which is the greatest problem in computerized perception tests.
△ Less
Submitted 30 May, 2007;
originally announced May 2007.
