Skip to main content
minor grammar fixes
Source Link
Russ Woodroofe
  • 3.4k
  • 1
  • 24
  • 22

How does the high dimensional-dimensional combinatorial laplacianLaplacian work?

When considering the boundary and coboundary maps, we have the common definitions that the boundary map based on the space of chains $C_k(X)$ is $$\partial_k([v_0,...,v_k])=\sum_{i=0}^k (-1)^i[v_0,...,v_{i-1},v_{i+1},...,v_k],$$ and the coboundary map $\delta_k$ based on the space of cochains $C^k(X)$ is the adjoint operator of $\partial_{k+1}$, i.e. $$(\delta_k f)([v_0,...,v_{k+1}])=f(\partial_{k+1}[v_0,...,v_{k+1}]) =\sum_{i=0}^k (-1)^if([v_0,...,v_{i-1},v_{i+1},...,v_{k+1}])$$$$(\delta_k f)([v_0,...,v_{k+1}])=f(\partial_{k+1}[v_0,...,v_{k+1}]) =\sum_{i=0}^k (-1)^if([v_0,...,v_{i-1},v_{i+1},...,v_{k+1}]).$$

See https://magnus.ece.gatech.edu/Papers/MuhammadEgerstedtMTNS06.pdf page 4.

In the paper, the authors define the $k$-combinatorial Laplacians $\Delta_k:C^k(X;\mathbb{R})\to C^k(X;\mathbb{R})$ and $\mathcal{L}_k:C_k(X;\mathbb{R})\to C_k(X;\mathbb{R})$ by $$\Delta_k=\delta_{k-1} \delta^*_{k-1}+\delta^*_k\delta_k $$ $$\mathcal{L}_k=\partial_{k+1} \partial^*_{k+1}+\partial^*_k\partial_k $$

Here is my question:

For me, neither of these two $k$-combinatiorial Laplacians seem well defined-defined. For example, $\delta_k$ works on a cochain $f\in C^k(X;\mathbb{R})$ and after that we get a cochain in $C^{k+1}(X;\mathbb{R})$, but how can we proceed with $\delta^*_k$? Since $\delta^*_k = \partial_{k+1}$, how can we put $\partial_{k+1}$ on a cochain?

Can you give me an example of the $\delta^*_k\delta_k$ on any cochain $f$?

For instance, what is, $\delta^*_1\delta_1 f([v_0,v_1])= \partial_2\delta_1 f([v_0,v_1])$?

How does high dimensional combinatorial laplacian work?

When considering the boundary and coboundary maps, we have the common definitions that the boundary map based on the space of chains $C_k(X)$ is $$\partial_k([v_0,...,v_k])=\sum_{i=0}^k (-1)^i[v_0,...,v_{i-1},v_{i+1},...,v_k],$$ and the coboundary map $\delta_k$ based on the space of cochains $C^k(X)$ is the adjoint operator of $\partial_{k+1}$, i.e. $$(\delta_k f)([v_0,...,v_{k+1}])=f(\partial_{k+1}[v_0,...,v_{k+1}]) =\sum_{i=0}^k (-1)^if([v_0,...,v_{i-1},v_{i+1},...,v_{k+1}])$$

See https://magnus.ece.gatech.edu/Papers/MuhammadEgerstedtMTNS06.pdf page 4.

In the paper, the authors define the $k$-combinatorial Laplacians $\Delta_k:C^k(X;\mathbb{R})\to C^k(X;\mathbb{R})$ and $\mathcal{L}_k:C_k(X;\mathbb{R})\to C_k(X;\mathbb{R})$ by $$\Delta_k=\delta_{k-1} \delta^*_{k-1}+\delta^*_k\delta_k $$ $$\mathcal{L}_k=\partial_{k+1} \partial^*_{k+1}+\partial^*_k\partial_k $$

Here is my question:

For me, neither of these two $k$-combinatiorial Laplacians seem well defined. For example, $\delta_k$ works on a cochain $f\in C^k(X;\mathbb{R})$ and after that we get a cochain in $C^{k+1}(X;\mathbb{R})$, but how can we proceed with $\delta^*_k$? Since $\delta^*_k = \partial_{k+1}$, how can we put $\partial_{k+1}$ on a cochain?

Can you give me an example of the $\delta^*_k\delta_k$ on any cochain $f$?

For instance, what is, $\delta^*_1\delta_1 f([v_0,v_1])= \partial_2\delta_1 f([v_0,v_1])$?

How does the high-dimensional combinatorial Laplacian work?

When considering the boundary and coboundary maps, we have the common definitions that the boundary map based on the space of chains $C_k(X)$ is $$\partial_k([v_0,...,v_k])=\sum_{i=0}^k (-1)^i[v_0,...,v_{i-1},v_{i+1},...,v_k],$$ and the coboundary map $\delta_k$ based on the space of cochains $C^k(X)$ is the adjoint operator of $\partial_{k+1}$, i.e. $$(\delta_k f)([v_0,...,v_{k+1}])=f(\partial_{k+1}[v_0,...,v_{k+1}]) =\sum_{i=0}^k (-1)^if([v_0,...,v_{i-1},v_{i+1},...,v_{k+1}]).$$

See https://magnus.ece.gatech.edu/Papers/MuhammadEgerstedtMTNS06.pdf page 4.

In the paper, the authors define the $k$-combinatorial Laplacians $\Delta_k:C^k(X;\mathbb{R})\to C^k(X;\mathbb{R})$ and $\mathcal{L}_k:C_k(X;\mathbb{R})\to C_k(X;\mathbb{R})$ by $$\Delta_k=\delta_{k-1} \delta^*_{k-1}+\delta^*_k\delta_k $$ $$\mathcal{L}_k=\partial_{k+1} \partial^*_{k+1}+\partial^*_k\partial_k $$

Here is my question:

For me, neither of these two $k$-combinatiorial Laplacians seem well-defined. For example, $\delta_k$ works on a cochain $f\in C^k(X;\mathbb{R})$ and after that we get a cochain in $C^{k+1}(X;\mathbb{R})$, but how can we proceed with $\delta^*_k$? Since $\delta^*_k = \partial_{k+1}$, how can we put $\partial_{k+1}$ on a cochain?

Can you give me an example of the $\delta^*_k\delta_k$ on any cochain $f$?

For instance, what is, $\delta^*_1\delta_1 f([v_0,v_1])= \partial_2\delta_1 f([v_0,v_1])$?

grammar, spelling
Source Link
Ben McKay
  • 26.3k
  • 7
  • 67
  • 102

How does high dimensional combinatorial laplacian workswork?

When considering the boundary and coboundary maps, we have the common definitions that the boundary mapsmap based on the space of chains $C_k(X)$ areis $$\partial_k([v_0,...,v_k])=\sum_{i=0}^k (-1)^i[v_0,...,v_{i-1},v_{i+1},...,v_k],$$ and the coboundary mapsmap $\delta_k$ based on the space of cochains $C^k(X)$ is the adjoint operator of $\partial_{k+1}$, asi.e. $$(\delta_k f)([v_0,...,v_{k+1}])=f(\partial_{k+1}[v_0,...,v_{k+1}]) =\sum_{i=0}^k (-1)^if([v_0,...,v_{i-1},v_{i+1},...,v_{k+1}])$$

See https://magnus.ece.gatech.edu/Papers/MuhammadEgerstedtMTNS06.pdf page 4.

In the paper, it defines the kauthors define the $k$-combinatorial Laplacians $\Delta_k:C^k(X;\mathbb{R})\to C^k(X;\mathbb{R})$ and $\mathcal{L}_k:C_k(X;\mathbb{R})\to C_k(X;\mathbb{R})$ by $$\Delta_k=\delta_{k-1} \delta^*_{k-1}+\delta^*_k\delta_k $$ $$\mathcal{L}_k=\partial_{k+1} \partial^*_{k+1}+\partial^*_k\partial_k $$

Here is my question:

For me, neither of these two k$k$-combinatiorial Laplacians confirms me how it worksseem well defined. For example, $\delta_k$ works on a cochain $f\in C^k(X;\mathbb{R})$ and after that we get a cochain in $C^{k+1}(X;\mathbb{R})$, but how can we proceed with $\delta^*_k$? Since $\delta^*_k = \partial_{k+1}$, how can we put $\partial_{k+1}$ on a cochain?

In other words, canCan you possibly give me an example of the $\delta^*_k\delta_k$ on any cochain $f$?

LikeFor instance, what is, $\delta^*_1\delta_1 f([v_0,v_1])= \partial_2\delta_1 f([v_0,v_1])=?$$\delta^*_1\delta_1 f([v_0,v_1])= \partial_2\delta_1 f([v_0,v_1])$?

How does high dimensional combinatorial laplacian works?

When considering the boundary and coboundary maps, we have the common definitions that the boundary maps based on the space of chains $C_k(X)$ are $$\partial_k([v_0,...,v_k])=\sum_{i=0}^k (-1)^i[v_0,...,v_{i-1},v_{i+1},...,v_k],$$ and the coboundary maps $\delta_k$ based on the space of cochains $C^k(X)$ is the adjoint operator of $\partial_{k+1}$, as $$(\delta_k f)([v_0,...,v_{k+1}])=f(\partial_{k+1}[v_0,...,v_{k+1}]) =\sum_{i=0}^k (-1)^if([v_0,...,v_{i-1},v_{i+1},...,v_{k+1}])$$

See https://magnus.ece.gatech.edu/Papers/MuhammadEgerstedtMTNS06.pdf page 4.

In the paper, it defines the k-combinatorial Laplacians $\Delta_k:C^k(X;\mathbb{R})\to C^k(X;\mathbb{R})$ and $\mathcal{L}_k:C_k(X;\mathbb{R})\to C_k(X;\mathbb{R})$ by $$\Delta_k=\delta_{k-1} \delta^*_{k-1}+\delta^*_k\delta_k $$ $$\mathcal{L}_k=\partial_{k+1} \partial^*_{k+1}+\partial^*_k\partial_k $$

Here is my question:

For me, neither of these two k-combinatiorial Laplacians confirms me how it works. For example, $\delta_k$ works on a cochain $f\in C^k(X;\mathbb{R})$ and after that we get a cochain in $C^{k+1}(X;\mathbb{R})$, but how can we proceed with $\delta^*_k$? Since $\delta^*_k = \partial_{k+1}$, how can we put $\partial_{k+1}$ on a cochain?

In other words, can you possibly give me an example of the $\delta^*_k\delta_k$ on any cochain $f$?

Like, $\delta^*_1\delta_1 f([v_0,v_1])= \partial_2\delta_1 f([v_0,v_1])=?$

How does high dimensional combinatorial laplacian work?

When considering the boundary and coboundary maps, we have the common definitions that the boundary map based on the space of chains $C_k(X)$ is $$\partial_k([v_0,...,v_k])=\sum_{i=0}^k (-1)^i[v_0,...,v_{i-1},v_{i+1},...,v_k],$$ and the coboundary map $\delta_k$ based on the space of cochains $C^k(X)$ is the adjoint operator of $\partial_{k+1}$, i.e. $$(\delta_k f)([v_0,...,v_{k+1}])=f(\partial_{k+1}[v_0,...,v_{k+1}]) =\sum_{i=0}^k (-1)^if([v_0,...,v_{i-1},v_{i+1},...,v_{k+1}])$$

See https://magnus.ece.gatech.edu/Papers/MuhammadEgerstedtMTNS06.pdf page 4.

In the paper, the authors define the $k$-combinatorial Laplacians $\Delta_k:C^k(X;\mathbb{R})\to C^k(X;\mathbb{R})$ and $\mathcal{L}_k:C_k(X;\mathbb{R})\to C_k(X;\mathbb{R})$ by $$\Delta_k=\delta_{k-1} \delta^*_{k-1}+\delta^*_k\delta_k $$ $$\mathcal{L}_k=\partial_{k+1} \partial^*_{k+1}+\partial^*_k\partial_k $$

Here is my question:

For me, neither of these two $k$-combinatiorial Laplacians seem well defined. For example, $\delta_k$ works on a cochain $f\in C^k(X;\mathbb{R})$ and after that we get a cochain in $C^{k+1}(X;\mathbb{R})$, but how can we proceed with $\delta^*_k$? Since $\delta^*_k = \partial_{k+1}$, how can we put $\partial_{k+1}$ on a cochain?

Can you give me an example of the $\delta^*_k\delta_k$ on any cochain $f$?

For instance, what is, $\delta^*_1\delta_1 f([v_0,v_1])= \partial_2\delta_1 f([v_0,v_1])$?

added 3 characters in body
Source Link

When considering the boundary and coboundary maps, we have the common definitions that the boundary maps based on the space of chains $C_k(X)$ are $$\partial_k([v_0,...,v_k])=\sum_{i=0}^k (-1)^i[v_0,...,v_{i-1},v_{i+1},...,v_k],$$ and the coboundary maps $\delta_k$ based on the space of cochains $C^k(X)$ is the dualadjoint operator of $\partial_{k+1}$, as $$(\delta_k f)([v_0,...,v_{k+1}])=f(\partial_{k+1}[v_0,...,v_{k+1}]) =\sum_{i=0}^k (-1)^if([v_0,...,v_{i-1},v_{i+1},...,v_{k+1}])$$

See https://magnus.ece.gatech.edu/Papers/MuhammadEgerstedtMTNS06.pdf page 4.

In the paper, it defines the k-combinatorial Laplacians $\Delta_k:C^k(X;\mathbb{R})\to C^k(X;\mathbb{R})$ and $\mathcal{L}_k:C_k(X;\mathbb{R})\to C_k(X;\mathbb{R})$ by $$\Delta_k=\delta_{k-1} \delta^*_{k-1}+\delta^*_k\delta_k $$ $$\mathcal{L}_k=\partial_{k+1} \partial^*_{k+1}+\partial^*_k\partial_k $$

Here is my question:

For me, neither of these two k-combinatiorial Laplacians confirms me how it works. For example, $\delta_k$ works on a cochain $f\in C^k(X;\mathbb{R})$ and after that we get a cochain in $C^{k+1}(X;\mathbb{R})$, but how can we proceed with $\delta^*_k$? Since $\delta^*_k = \partial_{k+1}$, how can we put $\partial_{k+1}$ on a cochain?

In other words, can you possibly give me an example of the $\delta^*_k\delta_k$ on any cochain $f$?

Like, $\delta^*_1\delta_1 f([v_0,v_1])= \partial_2\delta_1 f([v_0,v_1])=?$

When considering the boundary and coboundary maps, we have the common definitions that the boundary maps based on the space of chains $C_k(X)$ are $$\partial_k([v_0,...,v_k])=\sum_{i=0}^k (-1)^i[v_0,...,v_{i-1},v_{i+1},...,v_k],$$ and the coboundary maps $\delta_k$ based on the space of cochains $C^k(X)$ is the dual operator of $\partial_{k+1}$, as $$(\delta_k f)([v_0,...,v_{k+1}])=f(\partial_{k+1}[v_0,...,v_{k+1}]) =\sum_{i=0}^k (-1)^if([v_0,...,v_{i-1},v_{i+1},...,v_{k+1}])$$

See https://magnus.ece.gatech.edu/Papers/MuhammadEgerstedtMTNS06.pdf page 4.

In the paper, it defines the k-combinatorial Laplacians $\Delta_k:C^k(X;\mathbb{R})\to C^k(X;\mathbb{R})$ and $\mathcal{L}_k:C_k(X;\mathbb{R})\to C_k(X;\mathbb{R})$ by $$\Delta_k=\delta_{k-1} \delta^*_{k-1}+\delta^*_k\delta_k $$ $$\mathcal{L}_k=\partial_{k+1} \partial^*_{k+1}+\partial^*_k\partial_k $$

Here is my question:

For me, neither of these two k-combinatiorial Laplacians confirms me how it works. For example, $\delta_k$ works on a cochain $f\in C^k(X;\mathbb{R})$ and after that we get a cochain in $C^{k+1}(X;\mathbb{R})$, but how can we proceed with $\delta^*_k$? Since $\delta^*_k = \partial_{k+1}$, how can we put $\partial_{k+1}$ on a cochain?

In other words, can you possibly give me an example of the $\delta^*_k\delta_k$ on any cochain $f$?

Like, $\delta^*_1\delta_1 f([v_0,v_1])= \partial_2\delta_1 f([v_0,v_1])=?$

When considering the boundary and coboundary maps, we have the common definitions that the boundary maps based on the space of chains $C_k(X)$ are $$\partial_k([v_0,...,v_k])=\sum_{i=0}^k (-1)^i[v_0,...,v_{i-1},v_{i+1},...,v_k],$$ and the coboundary maps $\delta_k$ based on the space of cochains $C^k(X)$ is the adjoint operator of $\partial_{k+1}$, as $$(\delta_k f)([v_0,...,v_{k+1}])=f(\partial_{k+1}[v_0,...,v_{k+1}]) =\sum_{i=0}^k (-1)^if([v_0,...,v_{i-1},v_{i+1},...,v_{k+1}])$$

See https://magnus.ece.gatech.edu/Papers/MuhammadEgerstedtMTNS06.pdf page 4.

In the paper, it defines the k-combinatorial Laplacians $\Delta_k:C^k(X;\mathbb{R})\to C^k(X;\mathbb{R})$ and $\mathcal{L}_k:C_k(X;\mathbb{R})\to C_k(X;\mathbb{R})$ by $$\Delta_k=\delta_{k-1} \delta^*_{k-1}+\delta^*_k\delta_k $$ $$\mathcal{L}_k=\partial_{k+1} \partial^*_{k+1}+\partial^*_k\partial_k $$

Here is my question:

For me, neither of these two k-combinatiorial Laplacians confirms me how it works. For example, $\delta_k$ works on a cochain $f\in C^k(X;\mathbb{R})$ and after that we get a cochain in $C^{k+1}(X;\mathbb{R})$, but how can we proceed with $\delta^*_k$? Since $\delta^*_k = \partial_{k+1}$, how can we put $\partial_{k+1}$ on a cochain?

In other words, can you possibly give me an example of the $\delta^*_k\delta_k$ on any cochain $f$?

Like, $\delta^*_1\delta_1 f([v_0,v_1])= \partial_2\delta_1 f([v_0,v_1])=?$

Source Link
Loading