Related papers: Digital Version of Green`s Theorem and its Applica…
Practical methods to compute dipole strengths for a three-body system by using a discretized continuum are analyzed. New techniques involving Green's function are developed, either by correcting the tail of the approximate wave function in…
A surface integral equation solver is proposed for fast and accurate simulation of interconnects embedded in stratified media. A novel technique for efficient computation of the multilayer Green's function is proposed. Using the Taylor…
In contrast to interacting systems, the ground state of free systems has a highly ordered pattern of quantum correlations, as witnessed by Wick's decomposition. Here, we quantify the effect of interactions by measuring the violation they…
Many-body theory is largely based on self-consistent equations that are constructed in terms of the physical quantity of interest itself, for example the density. Therefore, the calculation of important properties such as total energies or…
We present a method to determine the impurity Greens function of the interacting resonant level model (IRLM) using numerical simulation techniques based on the expansion of a resolvent expression in terms of Chebyshev polynomials. The…
Coverage Types provide a suitable type mechanism that integrates under-approximation logic to support Property-Based Testing. They are used to type the return value of a function that represents an input test generator. This allows us to…
Validation is often defined as the process of determining the degree to which a model is an accurate representation of the real world from the perspective of its intended uses. Validation is crucial as industries and governments depend…
A general technique to analyze the classical interaction between ideal topological insulators, and electromagnetic sources and fields, has been previously elaborated. Nevertheless it is not immediately applicable in the laboratory as it…
We present a nontrivial model system of interacting electrons that can be solved analytically in the GW approximation. We obtain the particle number from the GW Green's function strictly analytically, and prove that there is a genuine…
This review is devoted to the different techniques that have been developed to compute the phase-coherent transport properties of quantum nanoelectronic systems connected to electrodes. Beside a review of the different algorithms proposed…
I review the application of self-consistent Green's functions methods to study the properties of infinite nuclear systems. Improvements over the last decade, including the consistent treatment of three-nucleon forces and the development of…
The Green functions play a big role in the calculation of the local density of states of the carbon nanostructures. We investigate their nature for the variously oriented and disclinated graphene-like surface. Next, we investigate the case…
We address the problem of detecting and mitigating the effect of malicious attacks to the sensors of a linear dynamical system. We develop a novel, efficient algorithm that uses a Satisfiability-Modulo-Theory approach to isolate the…
Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quality of complex embedded systems. Given appropriate…
What is the role of coherence in determining the distribution of work done on a quantum system? We approach this question from an operational perspective and consider a setup in which the internal energy of a closed system is recorded by a…
Transport in molecular electronic devices is different from that in semiconductor mesoscopic devices in two important aspects: (1) the effect of the electronic structure and (2) the effect of the interface to the external contact. A…
Coverage problem in wireless sensor networks measures how well a region or parts of it is sensed by the deployed sensors. Definition of coverage metric depends on its applications for which sensors are deployed. In this paper, we introduce…
A general formula for the orbital magnetic moment of interacting electrons in solids is derived using the many-electron Green function method. The formula factorizes into two parts, a part that contains the information about the…
We introduce and study a new optimization problem called Hyper Vertex Cover. This problem is a generalization of the standard vertex cover to hypergraphs: one seeks a configuration of particles with minimal density such that every hyperedge…
We introduce a new form of density functional theory for the {\em ab initio} description of electronic systems in contact with a molecular liquid environment. This theory rigorously joins an electron density-functional for the electrons of…