Transition nets and Markov chains

  • Thread starter deferro
  • Start date
  • Tags
    Transition
In summary, the conversation discusses the use of automata in studying quantum mechanics and information theory. The main focus is on the need for better abstractions of 0 and 1 in three and two dimensions, which can be achieved through the use of Hall liquids and the AB effect. It is also mentioned that computation requires communication and a physical medium, and that binary computers are a set of 2-dimensional gates that can be run on different physical machines with different amounts of time. The conversation also touches on the difference between electronic and quantum circuits, and the importance of AND operations in logical flow.
  • #1
deferro
49
0
Has anyone here done any study with automata?

i'm interested in deriving a general model, in a state + transition encoded way; that's a parsing grammnar approach to start with, then generalize it further to a sort of wavevector/wavefunction algebra; a QM model since I study QI at the mo.
IS needs QM reps that are/are not crammed with complicated "machine instructions" - we need better abstractions of 0,1 in 3 and 2 dimensions. Hall liquids and the AB effect essentially encode these "new" algebras. :)
 
Technology news on Phys.org
  • #2
Hm. OK; The fundamental principle of information is that: there isn't any if time and space are not real, for any signal s(t). Or, there is no physical way to communicate in zero time, or over any distance unless energy is transferred (as information, spatially encoded in time for signal s).

So that: Temporal + spatial displacements extend (as communications) to surfaces where they are transported, copied/erased, and polarized. There would be no possibility of computation without communication, so that Shannon's "information principle", is that information requires a physical medium or circuit, and spatial extent in time.

Essentially a binary computer is a set of 2-dimensional gates in, or on a manifold M; linear transformations of 'information' (bits of stored charge) in registers which are extensions of 2n bits, or w bits wide, therefore represent a time-independent algebra A, for the manifold M|(s,t), and velocities are of 'logic' as a path for a computation through a number n-1 of registers, where the 1st is the 'input' and the last or nth is the 'output'.

Computational flow is independent of the physical realization of the logic that 'runs' any process; since two different physical computers can determine the same result, but in different amounts of time. Here 'time' is a background-independence; we can build machines that 'compute' physically in indeterminate time, because Brownian motion is the physical 'force' acting on the flow in logical terms.
We might not want to wait centuries or millions of years, but the Brownian machine will give as good or accurate a result as we like - it's a question of design.

We like answers in shorter amounts of time, or polynomial time. P-time rules the C-space, there is no way to determine that a 'program' will take a given path, and halt with the "correct answer"; however, it always has one, even if it's not what was expected.

A machine which is digitized "uses" - u uses v - charge (in electrons) as the deformed potential. Spin or magnetic interactions are overwhelmed by the geometry - there are no inductive currents, except for stray ones. If information is written in another, external form, then magnetic effects can be used to transform the computational and physical basis.

There is a difference; in electronic machines the two are always assumed to be congruent, but this isn't the case in quantum circuits since you only get a result when you perturb the system. Preparing a circuit is equivalent to running an algorithm, the recovery means adjusting the phase of a state so a preserved phase-difference evolves as a pure state.
This is what happens in polarization - sunglasses absorb 1/2 the "glare" = incident light polarized the 'wrong way', and delivers a remainder in parallel mode to you, or to your vision. You are in the quantum world when you wear them, since removing the filters means you see classical glare (yep, still there). The filters process photons either singly or as a group - it doesn't matter because you see the result 'now', not when the glasses actually do anything.

Flow is linear because of the register path, but thermodynamic interference might mean a halt occurs even though the process is evolving to a result. In an electronic/thermodynamic system the interference is unimportant for a temperature within a certain physical limit; so that classical machines are restricted to polynomial time processing by temperature and the physical basis.

The sum + product logic of digital machines means that flow occurs because Boole products remove or erase something, summation doesn't. In that sense summation (OR,XOR) is a diffusion, production (AND) is a dispersion. The first is expansive, the second linear and closed/open for some path through a register map B(x), then M(x')|n> -> M(x)|i> + B|i>; or "output = input x + map B over x(i)". The index i counts up to n-1 and the result is in M(x) after n steps of P-time.

An input x(n) is transformed into a result by M(x) which is a computation C(x)|i> where products make potential (logic) vanish or get absorbed by the path taken, since AND loses one bit per 2-d switch, only one input can be recovered or recalled as the one that 'threw' the switch, the other is lost irrecoverably. AND is not therefore affine but required for logical flow in any M that computes information, by communicating it.
 
Last edited:
  • #3


Transition nets and Markov chains are both mathematical models used to analyze and describe the behavior of systems that change over time. Transition nets are a type of directed graph that represent the states and transitions of a system, while Markov chains are a specific type of stochastic process that models the probability of a system transitioning from one state to another.

As for automata, it is a term used to describe any self-operating machine or system. In the context of computer science, automata refer to mathematical models of computation, such as finite state machines and Turing machines.

I have not personally conducted any studies specifically on automata, but I am familiar with their use in formal language theory and computer science. However, I am interested in exploring the application of transition nets and Markov chains in the context of quantum mechanics and quantum information. By using these models, we can potentially derive a general framework for understanding and analyzing complex quantum systems, which could lead to better abstractions and representations of 0s and 1s in multiple dimensions. Additionally, concepts like Hall liquids and the Aharonov-Bohm effect may provide insights into new algebras that could enhance our understanding of quantum information. This is an exciting and promising area of study that could have significant implications for the future of quantum computing and information processing.
 

1. What is a transition net?

A transition net, also known as a Petri net, is a mathematical model used to represent and analyze systems with concurrent processes. It consists of a network of nodes and directed arcs, where the nodes represent states or events and the arcs represent transitions between those states or events.

2. What is a Markov chain?

A Markov chain is a stochastic process that follows the Markov property, which states that the future state of the system only depends on the current state and not on the previous states. It is commonly used to model systems that evolve over time, such as weather patterns, stock prices, and population dynamics.

3. How are transition nets and Markov chains related?

Transition nets can be used to model and analyze Markov chains. The nodes in the transition net represent the states in the Markov chain, and the arcs represent the probabilities of transitioning between those states. By simulating the transition net, we can obtain information about the behavior of the Markov chain, such as the probability of being in a certain state at a given time.

4. What are some real-world applications of transition nets and Markov chains?

Transition nets and Markov chains have a wide range of applications in various fields, including computer science, engineering, economics, and biology. They are commonly used for modeling and analyzing systems with concurrent processes, such as computer networks, manufacturing systems, and biochemical reactions. They are also used for predicting and forecasting future events based on past data, such as stock market trends and weather patterns.

5. What are the limitations of using transition nets and Markov chains?

Transition nets and Markov chains are powerful tools for modeling and analyzing systems, but they have some limitations. They assume that the system being modeled is memoryless, meaning that the future state only depends on the current state and not on the previous states. This may not always be true in real-world systems. Additionally, they rely on accurate input data and assumptions, so any errors or uncertainties in the data can affect the accuracy of the model.

Similar threads

  • Beyond the Standard Models
Replies
10
Views
2K
  • Beyond the Standard Models
Replies
24
Views
7K
Replies
9
Views
6K
  • Beyond the Standard Models
9
Replies
311
Views
160K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
1
Views
1K
  • General Math
Replies
13
Views
9K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
1
Views
2K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
5
Views
2K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
5
Views
2K
Back
Top