Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor

Author(s):  
Nikolaos I. Deligiannis ◽  
Riccardo Cantoro ◽  
Tobias Faller ◽  
Tobias Paxian ◽  
Bernd Becker ◽  
...  
Author(s):  
Michael Kachelriess

After a brief review of the operator approach to quantum mechanics, Feynmans path integral, which expresses a transition amplitude as a sum over all paths, is derived. Adding a linear coupling to an external source J and a damping term to the Lagrangian, the ground-state persistence amplitude is obtained. This quantity serves as the generating functional Z[J] for n-point Green functions which are the main target when studying quantum field theory. Then the harmonic oscillator as an example for a one-dimensional quantum field theory is discussed and the reason why a relativistic quantum theory should be based on quantum fields is explained.


2021 ◽  
Vol 2021 (2) ◽  
Author(s):  
Pietro Benetti Genolini ◽  
Matan Grinberg ◽  
Paul Richmond

Abstract We revisit the construction in four-dimensional gauged Spin(4) supergravity of the holographic duals to topologically twisted three-dimensional $$ \mathcal{N} $$ N = 4 field theories. Our focus in this paper is to highlight some subtleties related to preserving supersymmetry in AdS/CFT, namely the inclusion of finite counterterms and the necessity of a Legendre transformation to find the dual to the field theory generating functional. Studying the geometry of these supergravity solutions, we conclude that the gravitational free energy is indeed independent from the metric of the boundary, and it vanishes for any smooth solution.


2015 ◽  
Vol 24 (07) ◽  
pp. 1550094 ◽  
Author(s):  
Jizhong Shen ◽  
Liang Geng ◽  
Xuexiang Wu

Flip-flop is an important unit in digital integrated circuits, whose characteristics have a deep impact on the performance of the circuits. To reduce the power dissipation of flip-flops, clock triggering edge control technique is proposed, which is feasible to block one or two triggering edges of a clock cycle if they are redundant in dual-edge pulse-triggered flip-flops (DEPFFs). Based on this technique, redundant pulses can be suppressed when the input stays unchanged, and all the redundant triggerings are eliminated to reduce redundant transitions at the internal nodes of the flip-flop, so the power dissipation can be decreased. Then a novel DEPFF based on clock triggering edge control (DEPFF-CEC) technique is proposed. Based on the SMIC 65-nm technology, the post layout simulation results show that the proposed DEPFF-CEC gains an improvement of 8.03–39.83% in terms of power dissipation when the input switching activity is 10%, as compared with its counterparts. Thus, it is suitable for energy-efficient designs whose input data switching activity is low.


1983 ◽  
Vol 15 (01) ◽  
pp. 39-53 ◽  
Author(s):  
Ed Waymire ◽  
Vijay K. Gupta

The Pólya process is employed to illustrate certain features of the structure of infinitely divisible stochastic point processes in connection with the representation for the probability generating functional introduced by Milne and Westcott in 1972. The Pólya process is used to provide a counterexample to the result of Ammann and Thall which states that the class of stochastic point processes with the Milne and Westcott representation is the class of regular infinitely divisble point processes. So the general representation problem is still unsolved. By carrying the analysis of the Pólya process further it is possible to see the extent to which the general representation is valid. In fact it is shown in the case of the Pólya process that there is a critical value of a parameter above which the representation breaks down. This leads to a proper version of the representation in the case of regular infinitely divisible point processes.


Sign in / Sign up

Export Citation Format

Share Document