Exploiting parallelism within multidimensional multirate digital signal processing systems

The intense requirements for high processing rates of multidimensional Digital Signal Processing systems in practical applications justify the Application Specific Integrated Circuits designs and parallel processing implementations. In this dissertation, we propose novel theories, methodologies and architectures in designing high-performance VLSI implementations for general multidimensional multirate Digital Signal Processing systems by exploiting the parallelism within those applications. To systematically exploit the parallelism within the multidimensional multirate DSP algorithms, we develop novel transformations including (1) nonlinear I/O data space transforms, (2) intercalation transforms, and (3) multidimensional multirate unfolding transforms. These transformations are applied to the algorithms leading to systematic methodologies in high-performance architectural designs. With the novel design methodologies, we develop several architectures with parallel and distributed processing features for implementing multidimensional multirate applications. Experimental results have shown that those architectures are much more efficient in terms of execution time and/or hardware cost compared with existing hardware implementations

Safe abstractions of data encodings in formal security protocol models

When using formal methods, security protocols are usually modeled at a high level of abstraction. In particular, data encoding and decoding transformations are often abstracted away. However, if no assumptions at all are made on the behavior of such transformations, they could trivially lead to security faults, for example leaking secrets or breaking freshness by collapsing nonces into constants. In order to address this issue, this paper formally states sufficient conditions, checkable on sequential code, such that if an abstract protocol model is secure under a Dolev-Yao adversary, then a refined model, which takes into account a wide class of possible implementations of the encoding/decoding operations, is implied to be secure too under the same adversary model. The paper also indicates possible exploitations of this result in the context of methods based on formal model extraction from implementation code and of methods based on automated code generation from formally verified model

Custodial SO(4) symmetry and CP violation in N-Higgs-doublet potentials

We study the implementation of global $SO(4)\sim SU(2)_L\otimes SU(2)_R$ symmetry in general potentials with N-Higgs-doublets in order to obtain models with custodial $SO(3)_C$ symmetry. We conclude that any implementation of the custodial SO(4) symmetry is equivalent, by a basis transformation, to a canonical one if $SU(2)_L$ is the gauge factor, $U(1)_Y$ is embedded in $SU(2)_R$ and we require $N$ copies of the doublet representation of $SU(2)_R$. The invariance by SO(4) automatically leads to a CP invariant potential and the basis of the canonical implementation of SO(4) is aligned to a basis where CP-symmetry acts in the standard fashion. We show different but equivalent implementations for the 2HDM, including an implementation not previously considered.Comment: 22pp, REVTeX4. Published versio

Pairing dynamics in particle transport

We analyze the effect of pairing on particle transport in time-dependent theories based on the Hartree-Fock-Bogoliubov (HFB) or BCS approximations. The equations of motion for the HFB density matrices are unique and the theory respects the usual conservation laws defined by commutators of the conserved quantity with the Hamiltonian. In contrast, the theories based on the BCS approximation are more problematic. In the usual formulation of TDHF+BCS, the equation of continuity is violated and one sees unphysical oscillations in particle densities. This can be ameliorated by freezing the occupation numbers during the evolution in TDHF+BCS, but there are other problems with the BCS that make it doubtful for reaction dynamics. We also compare different numerical implementations of the time-dependent HFB equations. The equations of motion for the $U$ and $V$ Bogoliubov transformations are not unique, but it appears that the usual formulation is also the most efficient. Finally, we compare the time-dependent HFB solutions with numerically exact solutions of the two-particle Schrodinger equation. Depending on the treatment of the initial state, the HFB dynamics produces a particle emission rate at short times similar to that of the Schrodinger equation. At long times, the total particle emission can be quite different, due to inherent mean-field approximation of the HFB theory.Comment: 11 pages, 9 figure

Universal entanglement signatures of foliated fracton phases

Fracton models exhibit a variety of exotic properties and lie beyond the conventional framework of gapped topological order. In a previous work, we generalized the notion of gapped phase to one of foliated fracton phase by allowing the addition of layers of gapped two-dimensional resources in the adiabatic evolution between gapped three-dimensional models. Moreover, we showed that the X-cube model is a fixed point of one such phase. In this paper, according to this definition, we look for universal properties of such phases which remain invariant throughout the entire phase. We propose multi-partite entanglement quantities, generalizing the proposal of topological entanglement entropy designed for conventional topological phases. We present arguments for the universality of these quantities and show that they attain non-zero constant value in non-trivial foliated fracton phases.Comment: 17 pages, 7 figure