-
Average Nodal Count and the Nodal Count Condition for Graphs
Authors:
Lior Alon,
John Urschel
Abstract:
The nodal edge count of an eigenvector of the Laplacian of a graph is the number of edges on which it changes sign. This quantity extends to any real symmetric $n\times n$ matrix supported on a graph $G$ with $n$ vertices. The average nodal count, averaged over all eigenvectors of a given matrix, is known to be bounded between $\frac{n-1}{2}$ and $\frac{n-1}{2}+β(G)$, where $β(G)$ is the first Bet…
▽ More
The nodal edge count of an eigenvector of the Laplacian of a graph is the number of edges on which it changes sign. This quantity extends to any real symmetric $n\times n$ matrix supported on a graph $G$ with $n$ vertices. The average nodal count, averaged over all eigenvectors of a given matrix, is known to be bounded between $\frac{n-1}{2}$ and $\frac{n-1}{2}+β(G)$, where $β(G)$ is the first Betti number of $G$ (a topological quantity), and it was believed that generically the average should be around $\frac{n-1}{2}+β(G)/2$. We prove that this is not the case: the average is bounded between $\frac{n-1}{2}+β(G)/n$ and $\frac{n-1}{2}+β(G)-β(G)/n$, and we provide graphs and matrices that attain the upper and lower bounds for any possible choice of $n$ and $β$.
A natural condition on a matrix for defining the nodal count is that it has simple eigenvalues and non-vanishing eigenvectors. For any connected graph $G$, a generic real symmetric matrix supported on $G$ satisfies this nodal count condition. However, the situation for constant diagonal matrices is far more subtle. We completely characterize the graphs $G$ for which this condition is generically true, and show that if this is not the case, then any real symmetric matrix supported on $G$ with constant diagonal has a multiple eigenvalue or an eigenvector that vanishes somewhere. Finally, we discuss what can be said when this nodal count condition fails, and provide examples.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
On HRTF Notch Frequency Prediction Using Anthropometric Features and Neural Networks
Authors:
Lior Arbel,
Ishwarya Ananthabhotla,
Zamir Ben-Hur,
David Lou Alon,
Boaz Rafaely
Abstract:
High fidelity spatial audio often performs better when produced using a personalized head-related transfer function (HRTF). However, the direct acquisition of HRTFs is cumbersome and requires specialized equipment. Thus, many personalization methods estimate HRTF features from easily obtained anthropometric features of the pinna, head, and torso. The first HRTF notch frequency (N1) is known to be…
▽ More
High fidelity spatial audio often performs better when produced using a personalized head-related transfer function (HRTF). However, the direct acquisition of HRTFs is cumbersome and requires specialized equipment. Thus, many personalization methods estimate HRTF features from easily obtained anthropometric features of the pinna, head, and torso. The first HRTF notch frequency (N1) is known to be a dominant feature in elevation localization, and thus a useful feature for HRTF personalization. This paper describes the prediction of N1 frequency from pinna anthropometry using a neural model. Prediction is performed separately on three databases, both simulated and measured, and then by domain mixing in-between the databases. The model successfully predicts N1 frequency for individual databases and by domain mixing between some databases. Prediction errors are better or comparable to those previously reported, showing significant improvement when acquired over a large database and with a larger output range.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
Nodal count for a random signing of a graph with disjoint cycles
Authors:
Lior Alon,
Mark Goresky
Abstract:
Let $G$ be a simple, connected graph on $n$ vertices, and further assume that $G$ has disjoint cycles. Let $h$ be a real symmetric matrix supported on $G$ (for example, a discrete Schrödinger operator). The eigenvalues of $h$ are ordered increasingly, $λ_1 \le \cdots \le λ_n$, and if $φ$ is the eigenvector corresponding to $λ_k$, the nodal (edge) count $ν(h,k)$ is the number of edges $(rs)$ such t…
▽ More
Let $G$ be a simple, connected graph on $n$ vertices, and further assume that $G$ has disjoint cycles. Let $h$ be a real symmetric matrix supported on $G$ (for example, a discrete Schrödinger operator). The eigenvalues of $h$ are ordered increasingly, $λ_1 \le \cdots \le λ_n$, and if $φ$ is the eigenvector corresponding to $λ_k$, the nodal (edge) count $ν(h,k)$ is the number of edges $(rs)$ such that $ h_{rs}φ_{r}φ_{s}>0$. The nodal surplus is $σ(h,k)= ν(h,k) - (k-1)$. Let $h'$ be a random signing of $h$, that is a real symmetric matrix obtained from $h$ by changing the sign of some of its off-diagonal elements. If $h$ satisfies a certain generic condition, we show for each $k$ that the nodal surplus has a binomial distribution $σ(h',k)\sim Bin(β,\frac{1}{2})$. Part of the proof follows ideas developed by the first author together with Ram Band and Gregory Berkolaiko in a joint unpublished project studying a similar question on quantum graphs.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
iMagLS: Interaural Level Difference with Magnitude Least-Squares Loss for Optimized First-Order Head-Related Transfer Function
Authors:
Or Berebi,
Zamir Ben-Hur,
David Lou Alon,
Boaz Rafaely
Abstract:
Binaural reproduction for headphone-based listening is an active research area due to its widespread use in evolving technologies such as augmented and virtual reality (AR and VR). On the one hand, these applications demand high quality spatial audio perception to preserve the sense of immersion. On the other hand, recording devices may only have a few microphones, leading to low-order representat…
▽ More
Binaural reproduction for headphone-based listening is an active research area due to its widespread use in evolving technologies such as augmented and virtual reality (AR and VR). On the one hand, these applications demand high quality spatial audio perception to preserve the sense of immersion. On the other hand, recording devices may only have a few microphones, leading to low-order representations such as first-order Ambisonics (FOA). However, first-order Ambisonics leads to limited externalization and spatial resolution. In this paper, a novel head-related transfer function (HRTF) preprocessing optimization loss is proposed, and is minimized using nonlinear programming. The new method, denoted iMagLS, involves the introduction of an interaural level difference (ILD) error term to the now widely used MagLS optimization loss for the lateral plane angles. Results indicate that the ILD error could be substantially reduced, while the HRTF magnitude error remains similar to that obtained with MagLS. These results could prove beneficial to the overall spatial quality of first-order Ambisonics, while other reproduction methods could also benefit from considering this modified loss.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
An experimental system for detection and localization of hemorrhage using ultra-wideband microwaves with deep learning
Authors:
Eisa Hedayati,
Fatemeh Safari,
George Verghese,
Vito R. Ciancia,
Daniel K. Sodickson,
Seena Dehkharghani,
Leeor Alon
Abstract:
Stroke is a leading cause of mortality and disability. Emergent diagnosis and intervention are critical, and predicated upon initial brain imaging; however, existing clinical imaging modalities are generally costly, immobile, and demand highly specialized operation and interpretation. Low-energy microwaves have been explored as low-cost, small form factor, fast, and safe probes of tissue dielectri…
▽ More
Stroke is a leading cause of mortality and disability. Emergent diagnosis and intervention are critical, and predicated upon initial brain imaging; however, existing clinical imaging modalities are generally costly, immobile, and demand highly specialized operation and interpretation. Low-energy microwaves have been explored as low-cost, small form factor, fast, and safe probes of tissue dielectric properties, with both imaging and diagnostic potential. Nevertheless, challenges inherent to microwave reconstruction have impeded progress, hence microwave imaging (MWI) remains an elusive scientific aim. Herein, we introduce a dedicated experimental framework comprising a robotic navigation system to translate blood-mimicking phantoms within an anatomically realistic human head model. An 8-element ultra-wideband (UWB) array of modified antipodal Vivaldi antennas was developed and driven by a two-port vector network analyzer spanning 0.6-9.0 GHz at an operating power of 1 mw. Complex scattering parameters were measured, and dielectric signatures of hemorrhage were learned using a dedicated deep neural network for prediction of hemorrhage classes and localization. An overall sensitivity and specificity for detection >0.99 was observed, with Rayliegh mean localization error of 1.65 mm. The study establishes the feasibility of a robust experimental model and deep learning solution for UWB microwave stroke detection.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Gap distributions of Fourier quasicrystals via Lee-Yang polynomials
Authors:
Lior Alon,
Cynthia Vinzant
Abstract:
Recent work of Kurasov and Sarnak provides a method for constructing one-dimensional Fourier quasicrystals (FQ) from the torus zero sets of a special class of multivariate polynomials called Lee-Yang polynomials. In particular, they provided a non-periodic FQ with unit coefficients and uniformly discrete support, answering an open question posed by Meyer. Their method was later shown to generate a…
▽ More
Recent work of Kurasov and Sarnak provides a method for constructing one-dimensional Fourier quasicrystals (FQ) from the torus zero sets of a special class of multivariate polynomials called Lee-Yang polynomials. In particular, they provided a non-periodic FQ with unit coefficients and uniformly discrete support, answering an open question posed by Meyer. Their method was later shown to generate all one-dimensional Fourier quasicrystals with $\mathbb{N}$-valued coefficients ($ \mathbb{N} $-FQ).
In this paper, we characterize which Lee-Yang polynomials give rise to non-periodic $ \mathbb{N} $-FQs with unit coefficients and uniformly discrete support, and show that this property is generic among Lee-Yang polynomials. We also show that the infinite sequence of gaps between consecutive atoms of any $\mathbb{N}$-FQ has a well-defined distribution, which, under mild conditions, is absolutely continuous. This generalizes previously known results for the spectra of quantum graphs to arbitrary $\mathbb{N}$-FQs. Two extreme examples are presented: first, a sequence of $\mathbb{N}$-FQs whose gap distributions converge to a Poisson distribution. Second, a sequence of random Lee-Yang polynomials that results in random $\mathbb{N}$-FQs whose empirical gap distributions converge to that of a random unitary matrix (CUE).
△ Less
Submitted 11 August, 2023; v1 submitted 25 July, 2023;
originally announced July 2023.
-
Autonomous animal heating and cooling system for temperature-regulated MR experiments
Authors:
George Verghese,
Mihaly Voroslakos,
Stefan Markovic,
Assaf Tal,
Seena Dehkharghani,
Omid Yaghmazadeh,
Leeor Alon
Abstract:
Temperature is a hallmark parameter influencing almost all magnetic resonance properties (e.g., T\textsubscript{1}, T\textsubscript{2}, proton density, diffusion and more). In the pre-clinical setting, temperature has a large influence on animal physiology (e.g., respiration rate, heart rate, metabolism, cellular stress, and more) and needs to be carefully regulated, especially when the animal is…
▽ More
Temperature is a hallmark parameter influencing almost all magnetic resonance properties (e.g., T\textsubscript{1}, T\textsubscript{2}, proton density, diffusion and more). In the pre-clinical setting, temperature has a large influence on animal physiology (e.g., respiration rate, heart rate, metabolism, cellular stress, and more) and needs to be carefully regulated, especially when the animal is under anesthesia and thermoregulation is disrupted. We present an open-source heating and cooling system capable of stabilizing the temperature of the animal. The system was designed using Peltier modules capable of heating or cooling a circulating water bath with active temperature feedback. Feedback was obtained using a commercial thermistor, placed in the animal rectum, and a proportional{\text -}integral{\text -}derivative (PID) controller capable of locking the temperature. Operation was demonstrated in a phantom as well as mouse and rat animal models, where the standard deviation of the temperature of the animal upon convergence was less than a tenth of a degree. An application where brain temperature of a mouse was modulated was demonstrated using an invasive optical probe and non-invasive magnetic resonance spectroscopic thermometry measurements.
△ Less
Submitted 1 May, 2023;
originally announced May 2023.
-
Every real-rooted exponential polynomial is the restriction of a Lee-Yang polynomial
Authors:
Lior Alon,
Alex Cohen,
Cynthia Vinzant
Abstract:
A Lee-Yang polynomial $ p(z_{1},\ldots,z_{n}) $ is a polynomial that has no zeros in the polydisc $ \mathbb{D}^{n} $ and its inverse $ (\mathbb{C}\setminus\overline{\mathbb{D}})^{n} $. We show that any real-rooted exponential polynomial of the form $f(x) = \sum_{j=0}^s c_j e^{λ_j x}$ can be written as the restriction of a Lee-Yang polynomial to a positive line in the torus. Together with previous…
▽ More
A Lee-Yang polynomial $ p(z_{1},\ldots,z_{n}) $ is a polynomial that has no zeros in the polydisc $ \mathbb{D}^{n} $ and its inverse $ (\mathbb{C}\setminus\overline{\mathbb{D}})^{n} $. We show that any real-rooted exponential polynomial of the form $f(x) = \sum_{j=0}^s c_j e^{λ_j x}$ can be written as the restriction of a Lee-Yang polynomial to a positive line in the torus. Together with previous work by Olevskii and Ulanovskii, this implies that the Kurasov-Sarnak construction of $ \mathbb{N} $-valued Fourier quasicrystals from stable polynomials comprises every possible $ \mathbb{N} $-valued Fourier quasicrystal.
△ Less
Submitted 10 March, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Morse theory for discrete magnetic operators and nodal count distribution for graphs
Authors:
Lior Alon,
Mark Goresky
Abstract:
Given a discrete Schrödinger operator $h$ on a finite connected graph $G$ of $n$ vertices, the nodal count $φ(h,k)$ denotes the number of edges on which the $k$-th eigenvector changes sign. A {\em signing} $h'$ of $h$ is any real symmetric matrix constructed by changing the sign of some off-diagonal entries of $h$, and its nodal count is defined according to the signing. The set of signings of…
▽ More
Given a discrete Schrödinger operator $h$ on a finite connected graph $G$ of $n$ vertices, the nodal count $φ(h,k)$ denotes the number of edges on which the $k$-th eigenvector changes sign. A {\em signing} $h'$ of $h$ is any real symmetric matrix constructed by changing the sign of some off-diagonal entries of $h$, and its nodal count is defined according to the signing. The set of signings of $h$ lie in a naturally defined torus $\mathbb{T}_h$ of ``magnetic perturbations" of $h$. G. Berkolaiko discovered that every signing $h'$ of $h$ is a critical point of every eigenvalue $λ_k:\mathbb{T}_h \to \mathbb{R}$, with Morse index equal to the nodal surplus. We add further Morse theoretic information to this result. We show if $h_α \in \mathbb{T}_h$ is a critical point of $λ_k$ and the eigenvector vanishes at a single vertex $v$ of degree $d$, then the critical point lies in a nondegenerate critical submanifold of dimension $d+n-4$, closely related to the configuration space of a planar linkage. We compute its Morse index in terms of spectral data. The average nodal surplus distribution is the distribution of values of $φ(h',k)-(k-1)$, averaged over all signings $h'$ of $h$. If all critical points correspond to simple eigenvalues with nowhere-vanishing eigenvectors, then the average nodal surplus distribution is binomial. In general, we conjecture that the nodal surplus distribution converges to a Gaussian in a CLT fashion as the first Betti number of $G$ goes to infinity.
△ Less
Submitted 24 May, 2023; v1 submitted 1 December, 2022;
originally announced December 2022.
-
Quadrupolar $^{23}$Na$^{+}$ NMR Relaxation as a Probe of Subpicosecond Collective Dynamics in Aqueous Electrolyte Solutions
Authors:
Iurii Chubak,
Leeor Alon,
Emilia V. Silletta,
Guillaume Madelin,
Alexej Jerschow,
Benjamin Rotenberg
Abstract:
Nuclear magnetic resonance relaxometry represents a powerful tool for extracting dynamic information. Yet, obtaining links to molecular motion is challenging for many ions that relax through the quadrupolar mechanism, which is mediated by electric field gradient fluctuations and lacks a detailed microscopic description. For sodium ions in aqueous electrolytes, we combine ab initio calculations to…
▽ More
Nuclear magnetic resonance relaxometry represents a powerful tool for extracting dynamic information. Yet, obtaining links to molecular motion is challenging for many ions that relax through the quadrupolar mechanism, which is mediated by electric field gradient fluctuations and lacks a detailed microscopic description. For sodium ions in aqueous electrolytes, we combine ab initio calculations to account for electron cloud effects with classical molecular dynamics to sample long-time fluctuations, and obtain relaxation rates in good agreement with experiments over broad concentration and temperature ranges. We demonstrate that quadrupolar nuclear relaxation is sensitive to subpicosecond dynamics not captured by previous models based on water reorientation or cluster rotation. While ions affect the overall water retardation, experimental trends are mainly explained by dynamics in the first two solvation shells of sodium, which contain mostly water. This work thus paves the way to the quantitative understanding of quadrupolar relaxation in electrolyte and bioelectrolyte systems.
△ Less
Submitted 26 December, 2022; v1 submitted 13 June, 2022;
originally announced June 2022.
-
Generic Laplace eigenfunctions on metric graphs
Authors:
Lior Alon
Abstract:
It is known that up to certain pathologies, a compact metric graph with standard vertex conditions has a Baire-generic set of choices of edge lengths such that all Laplacian eigenvalues are simple and have eigenfunctions that do not vanish at the vertices. We provide a new notion of strong genericity, using subanalytic sets, that implies both Baire genericity and full Lebesgue measure. We show tha…
▽ More
It is known that up to certain pathologies, a compact metric graph with standard vertex conditions has a Baire-generic set of choices of edge lengths such that all Laplacian eigenvalues are simple and have eigenfunctions that do not vanish at the vertices. We provide a new notion of strong genericity, using subanalytic sets, that implies both Baire genericity and full Lebesgue measure. We show that the previous genericity results for metric graphs are strongly generic. In addition, we show that generically the derivative of an eigenfunction does not vanish at the vertices either. In fact, we show that generically an eigenfunction fails to satisfy any additional vertex condition. Finally, we show that any two different metric graphs with the same edge lengths do not share any non-zero eigenvalue, for a generic choice of lengths, except for a few explicit cases where the graphs have a common edge-reflection symmetry. The paper concludes by addressing three open conjectures for metric graphs that can benefit from the tools introduced in this paper.
△ Less
Submitted 24 May, 2022; v1 submitted 30 March, 2022;
originally announced March 2022.
-
Universality of nodal count distribution in large metric graphs
Authors:
Lior Alon,
Ram Band,
Gregory Berkolaiko
Abstract:
An eigenfunction of the Laplacian on a metric (quantum) graph has an excess number of zeros due to the graph's non-trivial topology. This number, called the nodal surplus, is an integer between 0 and the graph's first Betti number $β$. We study the distribution of the nodal surplus values in the countably infinite set of the graph's eigenfunctions. We conjecture that this distribution converges to…
▽ More
An eigenfunction of the Laplacian on a metric (quantum) graph has an excess number of zeros due to the graph's non-trivial topology. This number, called the nodal surplus, is an integer between 0 and the graph's first Betti number $β$. We study the distribution of the nodal surplus values in the countably infinite set of the graph's eigenfunctions. We conjecture that this distribution converges to Gaussian for any sequence of graphs of growing $β$. We prove this conjecture for several special graph sequences and test it numerically for a variety of well-known graph families. Accurate computation of the distribution is made possible by a formula expressing the nodal surplus distribution as an integral over a high-dimensional torus.
△ Less
Submitted 29 April, 2022; v1 submitted 10 June, 2021;
originally announced June 2021.
-
A Stroke Detection and Discrimination Framework using Broadband Microwave Scattering on Stochastic Models With Deep Learning
Authors:
Leeor Alon,
Seena Dehkharghani
Abstract:
Stroke poses an immense public health burden and remains among the primary causes of death and disability worldwide. Emergent therapy is often precluded by late or indeterminate times of onset before initial clinical presentation. Rapid, mobile, safe and low-cost stroke detection technology remains a deeply unmet clinical need. Past studies have explored the use of microwave and other small form-f…
▽ More
Stroke poses an immense public health burden and remains among the primary causes of death and disability worldwide. Emergent therapy is often precluded by late or indeterminate times of onset before initial clinical presentation. Rapid, mobile, safe and low-cost stroke detection technology remains a deeply unmet clinical need. Past studies have explored the use of microwave and other small form-factor strategies for rapid stroke detection; however, widespread clinical adoption remains unrealized. Here, we investigated the use of microwave scattering perturbations from ultra-wide-band antenna arrays to learn dielectric signatures of disease. Two deep neural networks (DNNs) were used for: 1) stroke detection ("classification network"), and 2) characterization of the hemorrhage location and size ("discrimination network"). Dielectric signatures were learned on a simulated cohort of 666 hemorrhagic stroke and control subjects using 2D stochastic head models. The classification network yielded a stratified K-fold stroke detection accuracy of 94.60% with standard deviation of 2.86% and an AUC of 0.996, while the discrimination network resulted in a mean squared error of <0.004 cm and <0.02 cm, for the stroke localization and size estimation, respectively. We report a novel approach to intelligent diagnostics using microwave wide-band scattering information thus circumventing conventional image-formation.
△ Less
Submitted 14 April, 2021; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Quantum graphs -- Generic eigenfunctions and their nodal count and Neumann count statistics
Authors:
Lior Alon
Abstract:
In this thesis, we study Laplacian eigenfunctions on metric graphs, also known as quantum graphs. We restrict the discussion to standard quantum graphs. These are finite connected metric graphs with functions that satisfy Neumann vertex conditions.
The first goal of this thesis is the study of the nodal count problem. That is the number of points on which the $n$th eigenfunction vanishes. We pro…
▽ More
In this thesis, we study Laplacian eigenfunctions on metric graphs, also known as quantum graphs. We restrict the discussion to standard quantum graphs. These are finite connected metric graphs with functions that satisfy Neumann vertex conditions.
The first goal of this thesis is the study of the nodal count problem. That is the number of points on which the $n$th eigenfunction vanishes. We provide a probabilistic setting using which we are able to define the nodal count\textquoteright s statistics. We show that the nodal count statistics admit a topological symmetry by which the first Betti number of the graph can be obtained. We revise a conjecture that predicts a universal Gaussian behavior of the nodal count statistics for large graphs and we prove it for a certain family of graphs.
The second goal is to formulate and study the Neumann count, which is the number of local extrema of the $n$th eigenfunction. This counting problem is motivated by the Neumann partitions of planar domains, a novel concept in spectral geometry. We provide uniform bounds on the Neumann count and investigate its statistics. We show that the Neumann count provides complimentary geometrical information to that obtained from the nodal count. We show that for a certain family of growing tree graphs the Neumann count statistics approaches a Gaussian distribution.
The third goal is a genericity result, which justifies the generality of the Neumann count discussion. To this day it was known that generically, eigenfunctions do not vanish on vertices. We generalize this result to derivatives at vertices as well. That is, generically, the derivatives of an eigenfunction on interior vertices do not vanish.
△ Less
Submitted 6 October, 2020;
originally announced October 2020.
-
ComPar: Optimized Multi-Compiler for Automatic OpenMP S2S Parallelization
Authors:
Idan Mosseri,
Lee-or Alon,
Re'em Harel,
Gal Oren
Abstract:
Parallelization schemes are essential in order to exploit the full benefits of multi-core architectures. In said architectures, the most comprehensive parallelization API is OpenMP. However, the introduction of correct and optimal OpenMP parallelization to applications is not always a simple task, due to common parallel management pitfalls, architecture heterogeneity and the current necessity for…
▽ More
Parallelization schemes are essential in order to exploit the full benefits of multi-core architectures. In said architectures, the most comprehensive parallelization API is OpenMP. However, the introduction of correct and optimal OpenMP parallelization to applications is not always a simple task, due to common parallel management pitfalls, architecture heterogeneity and the current necessity for human expertise in order to comprehend many fine details and abstract correlations. To ease this process, many automatic parallelization compilers were created over the last decade. Harel et al. [2020] tested several source-to-source compilers and concluded that each has its advantages and disadvantages and no compiler is superior to all other compilers in all tests. This indicates that a fusion of the compilers' best outputs under the best hyper-parameters for the current hardware setups can yield greater speedups. To create such a fusion, one should execute a computationally intensive hyper-parameter sweep, in which the performance of each option is estimated and the best option is chosen. We created a novel parallelization source-to-source multi-compiler named ComPar, which uses code segmentation-and-fusion with hyper-parameters tuning to achieve the best parallel code possible without any human intervention while maintaining the program's validity. In this paper we present ComPar and analyze its results on NAS and PolyBench benchmarks. We conclude that although the resources ComPar requires to produce parallel code are greater than other source-to-source parallelization compilers - as it depends on the number of parameters the user wishes to consider, and their combinations - ComPar achieves superior performance overall compared to the serial code version and other tested parallelization compilers. ComPar is publicly available at: https://github.com/Scientific-Computing-Lab-NRCN/compar.
△ Less
Submitted 27 May, 2020;
originally announced May 2020.
-
Neumann Domains on Quantum Graphs
Authors:
Lior Alon,
Ram Band
Abstract:
The Neumann points of an eigenfunction $f$ on a quantum (metric) graph are the interior zeros of $f'$. The Neumann domains of $f$ are the sub-graphs bounded by the Neumann points. Neumann points and Neumann domains are the counterparts of the well-studied nodal points and nodal domains.
We prove some foundational results in this field: bounds on the number of Neumann points and properties of the…
▽ More
The Neumann points of an eigenfunction $f$ on a quantum (metric) graph are the interior zeros of $f'$. The Neumann domains of $f$ are the sub-graphs bounded by the Neumann points. Neumann points and Neumann domains are the counterparts of the well-studied nodal points and nodal domains.
We prove some foundational results in this field: bounds on the number of Neumann points and properties of the probability distribution of this number. Two basic properties of Neumann domains are presented: the wavelength capacity and the spectral position. We state and prove bounds on those as well as key features of their probability distributions.
To rigorously investigate those probabilities, we establish the notion of random variables for quantum graphs. In particular, we provide conditions for considering spectral functions of quantum graphs as random variables with respect to the natural density on $\mathbb{N}$.
△ Less
Submitted 20 December, 2020; v1 submitted 27 November, 2019;
originally announced November 2019.
-
BACKUS: Comprehensive High-Performance Research Software Engineering Approach for Simulations in Supercomputing Systems
Authors:
Matan Rusanovsky,
Re'em Harel,
Lee-or Alon,
Idan Mosseri,
Harel Levin,
Gal Oren
Abstract:
High-Performance Computing (HPC) platforms enable scientific software to achieve breakthroughs in many research fields such as physics, biology, and chemistry, by employing Research Software Engineering (RSE) techniques. These include 1) novel parallelism paradigms such as Shared Memory Parallelism (with e.g. OpenMP 4.5); Distributed Memory Parallelism (with e.g. MPI 4); Hybrid Parallelism which c…
▽ More
High-Performance Computing (HPC) platforms enable scientific software to achieve breakthroughs in many research fields such as physics, biology, and chemistry, by employing Research Software Engineering (RSE) techniques. These include 1) novel parallelism paradigms such as Shared Memory Parallelism (with e.g. OpenMP 4.5); Distributed Memory Parallelism (with e.g. MPI 4); Hybrid Parallelism which combines them; and Heterogeneous Parallelism (for CPUs, co-processors and accelerators), 2) introducing advanced Software Engineering concepts such as Object Oriented Parallel Programming (OOPP); Parallel Unit testing; Parallel I/O Formats; Hybrid Parallel Visualization; and 3) Selecting the Best Practices in other necessary areas such as User Interface; Automatic Documentation; Version Control and Project Management. In this work we present BACKUS: Comprehensive High-Performance Research Software Engineering Approach for Simulations in Supercomputing Systems, which we found to fit best for long-lived parallel scientific codes.
△ Less
Submitted 14 October, 2019;
originally announced October 2019.
-
Multinuclear Absolute MR Thermometry
Authors:
Emilia Silletta,
Alexej Jerschow,
Guillaume Madelin,
Leeor Alon
Abstract:
Non-invasive measurement of absolute temperature is important for proper characterization of various pathologies and for evaluation of thermal dose during interventional procedures. The proton magnetic resonance (MR) frequency shift method can be used to map relative temperature changes in tissues; however, spatiotemporal variations in the main magnetic field and the lack of an internal frequency…
▽ More
Non-invasive measurement of absolute temperature is important for proper characterization of various pathologies and for evaluation of thermal dose during interventional procedures. The proton magnetic resonance (MR) frequency shift method can be used to map relative temperature changes in tissues; however, spatiotemporal variations in the main magnetic field and the lack of an internal frequency reference at each location challenge the determination of absolute temperature. Here, we introduce a novel multinuclear method for absolute MR thermometry, based on the fact that the proton and sodium nuclei exhibit a unique and distinct characteristic frequency dependence with temperature. A one-to-one map** between the precession frequency difference of the two nuclei and absolute temperature is demonstrated. Proof-of-concept experiments were conducted in aqueous solutions with different NaCl concentrations, in agarose gel samples, and in freshly excised ex vivo mouse tissues. One-dimensional chemical shift imaging was also conducted at two steady-state temperatures, demonstrating excellent agreement with infrared measurements.
△ Less
Submitted 29 May, 2019;
originally announced May 2019.
-
Neumann Domains on Graphs and Manifolds
Authors:
Lior Alon,
Ram Band,
Michael Bersudsky,
Sebastian Egger
Abstract:
The nodal set of a Laplacian eigenfunction forms a partition of the underlying manifold or graph. Another natural partition is based on the gradient vector field of the eigenfunction (on a manifold) or on the extremal points of the eigenfunction (on a graph). The submanifolds (or subgraphs) of this partition are called Neumann domains. This paper reviews the subject, as appears in a few recent wor…
▽ More
The nodal set of a Laplacian eigenfunction forms a partition of the underlying manifold or graph. Another natural partition is based on the gradient vector field of the eigenfunction (on a manifold) or on the extremal points of the eigenfunction (on a graph). The submanifolds (or subgraphs) of this partition are called Neumann domains. This paper reviews the subject, as appears in a few recent works and points out some open questions and conjectures. The paper concerns both manifolds and metric graphs and the exposition allows for a comparison between the results obtained for each of them.
△ Less
Submitted 19 May, 2018;
originally announced May 2018.
-
Nodal Statistics On Quantum Graphs
Authors:
Lior Alon,
Ram Band,
Gregory Berkolaiko
Abstract:
It has been suggested that the distribution of the suitably normalized number of zeros of Laplacian eigenfunctions contains information about the geometry of the underlying domain. We study this distribution (more precisely, the distribution of the "nodal surplus") for Laplacian eigenfunctions of a metric graph. The existence of the distribution is established, along with its symmetry. One consequ…
▽ More
It has been suggested that the distribution of the suitably normalized number of zeros of Laplacian eigenfunctions contains information about the geometry of the underlying domain. We study this distribution (more precisely, the distribution of the "nodal surplus") for Laplacian eigenfunctions of a metric graph. The existence of the distribution is established, along with its symmetry. One consequence of the symmetry is that the graph's first Betti number can be recovered as twice the average nodal surplus of its eigenfunctions. Furthermore, for graphs with disjoint cycles it is proven that the distribution has a universal form --- it is binomial over the allowed range of values of the surplus. To prove the latter result, we introduce the notion of a local nodal surplus and study its symmetry and dependence properties, establishing that the local nodal surpluses of disjoint cycles behave like independent Bernoulli variables.
△ Less
Submitted 13 January, 2018; v1 submitted 29 September, 2017;
originally announced September 2017.