Questions tagged [laplacian]

The Laplacian matrix is the representation of a graph in matrix form.

111 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
14 votes
0 answers
627 views

Are harmonic mappings non-singular outside a set of measure zero?

Let $g$ be a smooth Riemannian metric on the closed $n$-dimensional unit disk $\mathbb D^n$. Let $f: \mathbb D^n \to \mathbb{R}^n$ be a smooth orientation-preserving immersion, and let $\omega :\...
Asaf Shachar's user avatar
  • 6,611
7 votes
0 answers
118 views

Steklov eigenvalue for circle valued functions

Let $(M,g)$ be a compact Riemannian manifold with boundary. It is well known that the first positive Steklov eigenvalue $\sigma_1$ of $M$ has the following variational characterization: $$\sigma_1(M,g)...
Eduardo Longa's user avatar
7 votes
0 answers
193 views

Surprising symmetry in the Ramanujan bound

The condition for a connected $(q+1)$-regular graph to be Ramanujan is that every nonzero eigenvalue $\lambda$ of the graph Laplacian satisfy $$q+1-2\sqrt{q}\le \lambda\le q+1+2\sqrt{q}.$$ With a ...
Antoine Labelle's user avatar
7 votes
0 answers
139 views

implicit function theorem and harmonic mapping

We are given two Riemannian manifolds $M,N$ of dimension $m$ and $n$ and a function $G \colon M \times N \to \mathbb{R}^n$ which satisfies the assumptions of the implicit function theorem, meaning ...
Adrien Boulanger's user avatar
7 votes
0 answers
130 views

Different definitions of fractional sobolev spaces

Let $\Omega$ be a bounded and smooth domain in $\mathbb R^d$. For any $s\in (0,1)$ we can define $H_s(\Omega)$ to be the space of functions $u\in L^2(\Omega)$ such that $$(x,y)\mapsto \frac{|u(x)-u(y)|...
Thomas's user avatar
  • 610
7 votes
0 answers
332 views

Locally symmetric spaces: spectrum of the Laplacian

Let $M = \Gamma\backslash X$ denote a locally symmetric space of non-compact type and $\Delta$ the Laplacian on $L^2(M)$. It is known that the spectrum of $\Delta$ decomposes into finitely many ...
espressionist's user avatar
7 votes
0 answers
385 views

Sequence of graphs with small $\lambda_1$ (the smallest nonzero eigenvalue of a regular finite graph)

The combinatorial laplacian on a finite graph $G$ can be defined as $ \Delta: \mathbb{C}^G \to \mathbb{C}^G$ sending the function $f:G \to \mathbb{C}$ to $(\Delta f)(v) = \sum_{v' \sim v} \big( f(v)-f(...
ARG's user avatar
  • 4,342
6 votes
0 answers
339 views

Recent work on Pseudo-Laplacian and Pseudo-cuspform in the spirit of Riemann Hypothesis after the work of Bombieri and Garrett

( This is my first MO question . I'm totally inexperienced on MO so, forgive me for my mistakes .) Paul Garrett and Enrico Bombieri were (are?) Secretly Working on Pseudo-Laplacians and Pseudo-...
user avatar
6 votes
0 answers
279 views

Complex factorization of the angular part of the Laplacian

Some time ago some research led me to the following equality: \begin{equation} \frac{1}{\sin^2 \phi }\frac{\partial^2 }{\partial \theta^2} +\frac{\partial^2 }{\partial \phi^2} +\cot \phi \frac{\...
Daniel Alayón-Solarz's user avatar
6 votes
0 answers
88 views

Density of squares of radial eigenfunctions

The eigenfunctions of the Laplace operator on the disc can be written in polar coordinates as $f(r,\theta)=R_{nk}(r)e^{ik\theta}$, where $k\in\mathbb Z$ and $n\in\mathbb N$ and the radial function is $...
Joonas Ilmavirta's user avatar
6 votes
0 answers
264 views

How to prove that the Laplace oparator of the Heisenberg group is sub-elliptic?

The Heisenberg group $H^3$ is the set $\mathbb C\times \mathbb R$ endowed with the group law $$ (z,t)\cdot(w,s) =\left (z+w, \,t+s+\tfrac{1}{2}\Im m(z \bar{w})\right). $$ For $z=x+ i y \in \mathbb C$ ...
Z. Alfata's user avatar
  • 640
5 votes
0 answers
129 views

Laplace Beltrami eigenvalues on surface of polytopes

The recently posted arxiv paper Spectrum of the Laplacian on Regular Polyhedra by Evan Greif, Daniel Kaplan, Robert S. Strichartz, and Samuel C. Wiese, collects numerical evidence for conjectured ...
Josiah Park's user avatar
  • 3,177
5 votes
0 answers
172 views

Permanent bound for Laplacian matrix of signed graph

In 1986, Prof. RB Bapat shown that (see here) if $G$ is a simple connected graph on $n$ vertices, then, the permanent per$\big(L(G)\big)\ge 2(n-1)\kappa(G)$, where $L(G)$ is the Laplacian matrix of $G$...
Ranveer Singh's user avatar
5 votes
0 answers
187 views

Hilbert Modular Surface: Eigenfunctions of The Laplacian

The spectrum of the Laplacian on $L^2$ of a Hilbert modular surface decomposes into a discrete part and a continuous part $[1/4,\infty)$. The continuous part contains eigenvalues $\geq 1/4$. I would ...
espressionist's user avatar
5 votes
0 answers
157 views

A conjecture on shape optimization for Dirichlet-Laplacian

For a given domain $G$, with sufficiently smooth boundary, in the plane we denote the first two eigenvalues of Dirichlet-Laplacian on $G$ of by $\lambda_1(G)$ and $\lambda_2(G)$. $\textbf{Open(?) ...
BigM's user avatar
  • 1,543
4 votes
0 answers
154 views

Upper bound for the first eigenvalue of the Laplacian on surfaces with boundary

Let $\Sigma$ be a compact smooth surface with boundary. Define $$\Lambda(\Sigma) := \sup \{ \lambda_1(\Sigma,g) \operatorname{Area}(\Sigma,g) : g \text{ is a smooth Riemannian metric on $\Sigma$} \}$$ ...
Eduardo Longa's user avatar
4 votes
0 answers
145 views

Products of eigenfunctions on compact Riemann surfaces

Let $M$ be a compact Riemann surface with genus $g\geq 2$, endowed with the Riemannian metric with constant sectional curvature $-1$. Let $f_1, f_2$ be two (global) eigenfunctions for the Laplace-...
clvolkov's user avatar
  • 193
4 votes
0 answers
91 views

Is the heat semigroup on a manifold the limit of the heat semigroups associated to a compact exhaustion?

Let $M$ be a paracompact Riemannian manifold, and $E \to M$ a Hermitian vector bundle endowed with a Hermitian connection $\nabla$. Write $M$ as an exhaustion $\bigcup _{j \ge 0} U_j$ with relatively ...
Alex M.'s user avatar
  • 5,207
4 votes
0 answers
135 views

Eigenvalues of Laplacian and eigenvalues of curvature operator

Let $(M^n,g)$ be a compact Riemannian manifold (without boundary). The symmetries of the curvature $R$ of (the Levi-Civita connection associated to) $g$ allow one to realise $R$ as a self-adjoint (...
GradStudent's user avatar
4 votes
0 answers
90 views

Spectrum of Laplace-Beltrami with piecewise constant coefficients

By the Laplace-Beltrami with piecewise constant coefficients I means the operator $-div (f\, \nabla .)$ in the 2-sphere. Where $f$ is a piecewise constant function that takes two values $1$ and $a>...
rihani's user avatar
  • 61
4 votes
0 answers
66 views

Is $\Delta \phi$ monotone operator on $H^1(\mathbb{R}^d)$ for monotone $\phi$

Let $H^1(\mathbb{R}^d)$ be the usual Sobolev space and let $\phi: \mathbb{R} \to \mathbb{R}$ be a non decreasing Lipschitz function with $\phi(0)=0$. Is the operator $\Delta \phi $ on $H^1(\mathbb{R}^...
MathAnimal's user avatar
4 votes
0 answers
166 views

Pointwise convergence of the eigenfunctions expansion of $f(x)=\frac{1}{|x|}$

Let $\Omega\subset \mathbb{R}^n$ a bounded domain with smooth boundary, $0<\lambda_1\leq \lambda_2 \leq \dots \leq \lambda_k\leq \dots$ the Dirichlet eigenvalues and $\{w_k\}_{k=1}^{+\infty}$ an $L^...
user avatar
4 votes
0 answers
130 views

System of eigenvalues of partial Laplacians and the Jacquet Langlands correspondence

I'm looking for a precise reference. I could not dig it up in the original paper of Jacquet-Langlands. Let $F$ be a totally real number field with $[F:\mathbb{Q}]=r$, let $B_1=M_2(F)$ be the split ...
Hugo Chapdelaine's user avatar
4 votes
0 answers
71 views

Tight bound on spectral gap of compact homogeneous manifold?

This paper by Peter Li proves a bound on the spectral gap of the Laplacian on a compact homogeneous manifold of diameter $d$: $$ \lambda_1 \ge c/d^2, $$ where $c=\pi^2/4$. Can this bound be ...
hwlin's user avatar
  • 361
4 votes
0 answers
475 views

Laplace spectra of "half" grid graph

Let $G=(E,V)$ be a simple graph. The graph Laplacian is given by $$ L= D-A,$$ where $D$ is the degree matrix (diagonal matrix with entries corresponding to the degree of the vertex) and $A$ the ...
ortofoxy's user avatar
4 votes
0 answers
64 views

Gradient of spectral function on noncompact homogeneous space

Let $(M,g)$ be a noncompact Riemannian manifold whose isometry group acts transitively on $M$, i.e. a (not necessarily normal) homogeneous space. Let $e_{\lambda}(x,y)$ be the integral kernel of $f \...
Chris Judge's user avatar
4 votes
0 answers
624 views

Eigenspaces of the Laplace operator on a unit ball

I am interested in structures of the eigenspaces of the Laplace operator on the $n$-dimensional unit ball with Neumann or Dirichlet boundary conditions as representations of the special orthogonal ...
cstefan's user avatar
  • 41
4 votes
0 answers
368 views

non-symmetric weak diagonal-dominant matrix, no decoupling: (a) is positive semi-definite? (b) has dim(ker)=1?

We are considering a matrix $A=(a_{ij})_{i,j=1,\ldots,d}\in\mathbb{R}^{d\times d}$ with the following property: $a_{ii}=-\sum_{j\neq i}a_{ij}$, i.e., the matrix is not only weak diagonal-dominant, but ...
Skrodde's user avatar
  • 329
4 votes
0 answers
193 views

What is the significance of the median eigenvalue of a graph Laplacian?

Crossposted on Mathematics SE When I look at the spectral density plots of my (usual) Laplacian graphs, they spike at the median eigenvalue. But what significance for the graph/matrix (which ...
user1038055's user avatar
3 votes
0 answers
73 views

Dirichlet-to-Neumann map is analytic

Let $M^n$, $n \geq 2$, be a compact smooth manifold with boundary and let $I \ni t \mapsto g_t$ be an analytic (with respect to t) $1$-parameter family of Riemannian metrics on $M$. For each $t \in I$,...
Eduardo Longa's user avatar
3 votes
0 answers
202 views

Are smooth functions with compact support a core for the Laplacian on compact manifolds with boundary?

If $M$ is a complete Riemannian manifold and $L$ is the Friedrichs extension of the Laplacian $-\Delta$, then it is known (first proven by Gaffney in the '50) that $C_0 ^\infty (M)$ is a core for $L$. ...
Alex M.'s user avatar
  • 5,207
3 votes
0 answers
82 views

Kronecker limit formula for antiperiodic boundary conditions

The celebrated Kronecker limit formula gives the $\zeta$-reguralized determinant of the Laplacian on the torus $\mathbb{R}/(\mathbb{Z}\omega_1+\mathbb{Z}\omega_2)$ in terms of Dedekind eta function of ...
Kostya_I's user avatar
  • 8,642
3 votes
0 answers
127 views

Differential operators on a compact Lie group associated to bracket-generating sets

Let $G$ be a compact connected Lie group of dimension $m$ with Lie algebra $\mathfrak g$. Let $\{X_1,\dots,X_h\}$ be a linearly independent set of $\mathfrak g$. Assume that $\{X_1,\dots,X_h\}$ is ...
emiliocba's user avatar
  • 2,321
3 votes
0 answers
169 views

The heat kernel in Hermitian bundles over Riemannian manifolds

In "Heat Kernels and Dirac Operators" by Berline, Getzler and Vergne, the authors construct a (unique) heat kernel associated to any generalized Laplacian in a vector bundle over a Riemannian manifold....
Alex M.'s user avatar
  • 5,207
3 votes
0 answers
84 views

Estimate a function given an estimate of its Laplacian

Let $f_\lambda\geq 0$ with $\lambda>0$, be smooth functions in the unit Euclidean ball $B\subset \mathbb{R}^n$ satisfying the following conditions: \begin{eqnarray*} \int_B |f_\lambda(x)|^2dx\leq 1,...
asv's user avatar
  • 21.1k
3 votes
0 answers
445 views

Fractional sobolev spaces

On the whole space $\mathbb R^d$, the fractional Sobolev space $H_s(\mathbb R^d)$ of order $s\in \mathbb R$ can be defined as the subspace of tempered distributions $T$ such that $\mathcal F T \in L^...
Thomas's user avatar
  • 610
3 votes
0 answers
169 views

Error term in the Euclidean Weyl law

Let $\Omega\subset \mathbb R^n$ be an open bounded set with smooth boundary. The Laplacian on $\Omega$ with Dirichlet boundary conditions has discrete spectrum $\lambda_1\le \lambda_2\le \ldots$ that ...
Dario's user avatar
  • 381
3 votes
0 answers
480 views

Spectrum of the Laplace-Beltrami operator on a domain of finite volume in the hyperbolic space $H^n$

What is known about the ($L^2$) spectrum of the minus Laplace-Beltrami operator ($- \Delta$) with zero boundary conditions on $B =H^n/\Gamma$, where $H^n$ is $n$-dimensional hyperbolic space ($n>1$...
Vladimir's user avatar
  • 359
3 votes
0 answers
300 views

Laplace-Beltrami of the Gauss map

Let $M$ be a surface in $\mathbb{R}^3$ given by a regular chart, say $X:M \longrightarrow \mathbb{R}^3$, with its first fundamental form $g$, Gauss map $N$, Gaussian curvature $K$ and mean curvature $...
fr78's user avatar
  • 31
3 votes
0 answers
145 views

Spectral theory of differential forms over a circle bundle

Here is the set up : I consider the unitary tangent bundle of a surface $(S,g)$ endowed with the Sasakian metric ; $(T^1S, g_s)$, in fact we have the following fibration : \begin{equation*} \mathbb{...
user avatar
3 votes
0 answers
156 views

Worst-Case Solution to (Stochastic) Matrix Inequality

EDIT: Some specific conjectures added. This problem comes with an associated stochastic process, but I phrase everything as linear algebra in case somebody from a non-probability community has seen ...
M.Burtke's user avatar
3 votes
0 answers
127 views

Effect of removing a Hamiltonian cycle on the Laplacian spectrum

Notation: $\lambda_{\max}(G)$ is the largest eigenvalue of the Laplacian matrix of the graph $G$ (aka the Laplacian index of $G$). Now suppose $G$ is a Hamiltonian graph with Hamiltonian cycle $C$. ...
Felix Goldberg's user avatar
2 votes
0 answers
141 views

Quasimode construction on a compact Riemannian manifold

Let $M$ be a closed Riemannian manifold, $\Delta$ be the usual Laplace-Betrami operator on $M$ and $\gamma : [0, L] \to M$ be a stable elliptic periodic geodesic of length $L$. I have heard in several ...
kobeahibe's user avatar
  • 111
2 votes
0 answers
72 views

Bound on the magnitude of the entries of the Laplacian pseudo-inverse

Let $L$ be the laplacian matrix of a connected graph $G$ with real positive weights and $N$ vertices, or that can be assumed to have binary weights for simplicity.My goal is to bound $\Vert L^+\Vert_{\...
sd24's user avatar
  • 21
2 votes
0 answers
127 views

The existence of a positive Green function for the Laplacian on $\mathbb R$

One can show explicitly and easily that the function $G(x,y) = \frac 1 2 |x-y|$ is a positive Green function for the Laplacian $\frac {\mathrm d ^2} {\mathrm d x ^2}$ on $\mathbb R$ (endowed with the ...
Alex M.'s user avatar
  • 5,207
2 votes
0 answers
101 views

Max-cut from Laplacian

(This question seems like very standard material for those well-versed in the subject. I thought I would get a quick answer from Math stackexchange, but to no avail.) Given a weighted graph with $n$ ...
Thomas's user avatar
  • 511
2 votes
0 answers
89 views

Dimension of Laplacian eigenspaces along a smooth 1-parameter family of metrics

Let $(M^n,g)$ be a closed Riemannian manifold, $n \geq 2$. For a smooth 1-parameter family $g_t$, $t \in (-\varepsilon, \varepsilon)$, of Riemannian metrics on $M$ with $g_0 = g$, let $\lambda_k(t)$, $...
Eduardo Longa's user avatar
2 votes
0 answers
124 views

A question about Gauss-Green formula - a weaker assumption

The question I have in mind is the following: how can we prove that for any $v\in H^1(\Omega)$ and for any $u\in H^1(\Omega)$ with $\Delta u\in L^2(\Omega)$ the Gauss-Green identity takes place $$\...
Bogdan's user avatar
  • 1,330
2 votes
0 answers
238 views

Largest eigenvalue of a Laplacian matrix to lower bound the prime counting function?

Let $L_n$ be the Laplacian matrix of the undirected graph $G_n = (V_n, E_n)$ (which is defined here: Why is this bipartite graph a partial cube, if it is? ) with sorted spectrum: $$\lambda_1 (G_n) \ge ...
mathoverflowUser's user avatar
2 votes
0 answers
110 views

Interpreting the Higher-order Hodge-Laplace Operator

As an operator on functions, one intuitive way to think about the Laplacian seems to be as an operator that returns the average difference between a function's value at a point and the values of its ...
richokicked800goals's user avatar