My Math Forum  

Go Back   My Math Forum > Science Forums > Computer Science

Computer Science Computer Science Forum

LinkBack Thread Tools Display Modes
February 12th, 2015, 02:01 AM   #1
Senior Member
Joined: Jan 2013

Posts: 209
Thanks: 3

Defining a new symmetry group - n dimensional permutation invariance of lambda

Symmetry group - Wikipedia, the free encyclopedia

Edit Distance and Pascals Simplex both do this in any number of dimensions, are both examples of algorithms which use this symmetry group.

Edit distance - Wikipedia, the free encyclopedia
Given any 2 text, or more generally sequences of bits (or if you must think in text, "0" and "1" are on the keyboard even if they cost 8-16 bits in memory that way)... Edit Distance finds the smallest set of changes to 1 of them which results in the other, allowing the remove of any letter/digit (like push backspace or delete) or adding a new letter/digit (0 or 1). Removing or adding has a cost, which reduces the value of the "energy function" of Edit Distance. At each square in a 2d grid, when filled in Breadth First by Manhatten Distance (down movements + right movements), so you get a triangle increasing by 1 square thick on its (perpendicular to the common kind of) diagonal for all those squares simultaneously. Each square calculated next depends only on the square to its left and the square above it. That is the symmetry group I am defining. It gets the same result regardless of if its parameters are leftSquare then upSquare or upSquare then leftSquare. Any permutation of those gets the same lambda function calculated and stored in the next square downright of 2 other squares.

Pascal's simplex - Wikipedia, the free encyclopedia
The simple common case of 2 dimensions is Pascal's triangle - Wikipedia, the free encyclopedia and has the same flow of updating things in a 2d grid as the Edit Distance algorithm.

Clique (graph theory) - Wikipedia, the free encyclopedia and NP-complete - Wikipedia, the free encyclopedia
Now we come to the subject of a million dollar millenium prize. Hopfield/boltzmann energy function is, intuitively to those who can hold it in their mind, evidence P not equal NP because its not hillclimbable and gets stuck in local minimum. The clique math problem is also in this symmetry group, in as many dimensions as n nodes. Each lambda function is updated based on the n cells behind it in n perpendicular directions. For example, if n is 2, its the same directions of cells as in Pascals Triangle and Edit Distance. The symmetry group doesnt say what lambda function is run on those n other lambda functions (by currying n times); It only says that it returns the same lambda when given the same n parameters in any order (n factorial number of possible permutations), but only for any n lambda functions that it could have generated from an earlier n dimensional recursion.

n dimensional recursion, the unique property of this symmetry group. In Edit Distance and Pascals Triangle, n is 2 because each cell's value is defined by the values in 2 cells (up and left) before it. Pascals Simplex, Edit Distance, and Clique all expand to any number of dimensions the same way. P equals NP if any lambda function of those as fast as P describes, given each possible order of dimensions, choose what cell to calculate next using this symmetry group. Each next cell's value depends on at first fewer cells which are in a clique or not in a clique but being explored to determine which are in some other set of nodes which are a bigger clique. Whatever its path of exploration and logic that guides the order of cells to explore, it will find the clique after all 2^n cells are calculated, the last being the corner of the 2x2x2x2x2... n dimensions hypercube of 2 cells on each side. The question of P equals NP is, can it be found in every possible case faster than 2^n, faster than exponential, something more like n^5 or n^3000?

Matrix multiplication - Wikipedia, the free encyclopedia
To most experts surprise, what had been done in a triple loop (3 dimensions of counting) for many years was found to take less than size^3 time, and repeatedly faster algorithms where found and today its around size^2.3 instead of 3. This is another sample of, at least something related to, the symmetry group in how it appears to depend on each cell depending on adjacent cells in 3 dimensions. I'm not sure what lambda function does that, but the shape of the problem appears that way.

Less directly related to... RSA (cryptosystem) - Wikipedia, the free encyclopedia and Chinese remainder theorem - Wikipedia, the free encyclopedia and Modular arithmetic - Wikipedia, the free encyclopedia RSA uses a symmetry in integers x^y and y^x circling around the multiply of 2 other primes. The church encoding of modular arithmetic is the normal church encoding for arithmetic where parameter function returns next higher integer or 0 if equal to the multiply of those 2 primes, and the other parameter is any integer in that range. Those 2 parameters are normally 0 and +1 function to start, and then they become other numbers as arithmetic is done relative to the current sum/multiply/etc, and those do not ring. The strength of RSA could therefore be proven, whatever it may be, by a brute force search of such lambda functions on all RSA keys up to a small integer whose kolmogorov complexity exceeds the smallest definition of NPComplete or any chosen measure of difficulty to prove it harder than. The symmetry of it is, like x+y=y+x, "x^y and y^x circling around the multiply of 2 other primes", and its not directly related to the symmetry group defined above, but it appears to be somewhere branched from a few levels deeper recursion of it. The symmetry group is on the level of adding multidimensional array indexs. The next level is multiplying indexs. Then RSA is the level of exponent indexs.

Less directly related to... Octave - Wikipedia, the free encyclopedia describes each adjacent 12 keys on a musical keyboard, each 12th next key 2 times the frequency. The related duplication in sine waves of any frequencies in "cooley tukey fast fourier transform" (FFT) Cooley–Tukey FFT algorithm - Wikipedia, the free encyclopedia is optimized from observations^2 to observations*logBase2(observations), both of which by todays standards ignore how many digits are in the observed numbers (like 2 64 bit floating points in a complex number), but the point about FFT is it folds a symmetry onto itself repeatedly.
BenFRayfield is offline  

  My Math Forum > Science Forums > Computer Science

defining, dimensional, group, invariance, lambda, permutation, symmetry

Search tags for this page
Click on a term to search for related topics.
Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Permutation group conjugates Grayham1990 Abstract Algebra 0 March 11th, 2012 04:23 AM
Invariance and alpha/omega limit sets lu5t Applied Math 1 June 6th, 2011 06:30 PM
dirac measure and invariance gentleman Applied Math 0 May 5th, 2010 03:25 PM
limit of this integral as lambda goes to infinity APK Real Analysis 2 October 15th, 2009 04:04 AM
affine transformation invariance dervish Algebra 0 May 23rd, 2008 08:23 AM

Copyright © 2019 My Math Forum. All rights reserved.