Closed Type Families with Overlapping Equations

Open, type-level functions are a recent innovation in Haskell that move Haskell towards the expressiveness of dependent types, while retaining the look and feel of a practical programming language. This paper shows how to increase expressiveness still further, by adding closed type functions whose equations may overlap, and may have non-linear patterns over an open type universe. Although practically useful and simple to implement, these features go be- yond conventional dependent type theory in some respects, and have a subtle metatheory

Symmetry in RLT cuts for the quadratic assignment and standard quadratic optimization problems

The reformulation-linearization technique (RLT), introduced in [W.P. Adams, H.D. Sher-ali, A tight linearization and an algorithm for zero-one quadratic programming problems, Management Science, 32(10):1274{1290, 1986], provides a way to compute linear program-ming bounds on the optimal values of NP-hard combinatorial optimization problems. In this paper we show that, in the presence of suitable algebraic symmetry in the original problem data, it is sometimes possible to compute level two RLT bounds with additional linear matrix inequality constraints. As an illustration of our methodology, we compute the best-known bounds for certain graph partitioning problems on strongly regular graphs

Signatures of Inelastic Scattering in Coulomb-Blockade Quantum Dots

We calculate the finite-temperature conductance peak-height distributions in Coublomb-blockade quantum dots in the limit where the inelastic scattering rate in the dot is large compared with the mean elastic tunneling rate. The relative reduction of the standard deviation of the peak-height distribution by a time-reversal symmetry-breaking magnetic field, which is essentially temperature-independent in the elastic limit, is enhanced by the inclusion of inelastic scattering at finite temperature. We suggest this quantity as an independent experimental probe for inelastic scattering in closed dots.Comment: 4 pages, 3 eps figures, revtex

Breather Statics and Dynamics in Klein--Gordon Chains with a Bend

In this communication, we examine a nonlinear model with an impurity emulating a bend. We justify the geometric interpretation of the model and connect it with earlier work on models including geometric effects. We focus on both the bifurcation and stability analysis of the modes that emerge as a function of the strength of the bend angle, but we also examine dynamical effects including the scattering of mobile localized modes (discrete breathers) off of such a geometric structure. The potential outcomes of such numerical experiments (including transmission, trapping within the bend as well as reflection) are highlighted and qualitatively explained. Such models are of interest both theoretically in understanding the interplay of breathers with curvature, but also practically in simple models of photonic crystals or of bent chains of DNA.Comment: 14 pages, 16 figure

Simplified approach to the application of the geometric collective model

The predictions of the geometric collective model (GCM) for different sets of Hamiltonian parameter values are related by analytic scaling relations. For the quartic truncated form of the GCM -- which describes harmonic oscillator, rotor, deformed gamma-soft, and intermediate transitional structures -- these relations are applied to reduce the effective number of model parameters from four to two. Analytic estimates of the dependence of the model predictions upon these parameters are derived. Numerical predictions over the entire parameter space are compactly summarized in two-dimensional contour plots. The results considerably simplify the application of the GCM, allowing the parameters relevant to a given nucleus to be deduced essentially by inspection. A precomputed mesh of calculations covering this parameter space and an associated computer code for extracting observable values are made available through the Electronic Physics Auxiliary Publication Service. For illustration, the nucleus 102Pd is considered.Comment: RevTeX 4, 15 pages, to be published in Phys. Rev.

Asymptotic behavior of small solutions for the discrete nonlinear Schr\"odinger and Klein-Gordon equations

We show decay estimates for the propagator of the discrete Schr\"odinger and Klein-Gordon equations in the form \norm{U(t)f}{l^\infty}\leq C (1+|t|)^{-d/3}\norm{f}{l^1}. This implies a corresponding (restricted) set of Strichartz estimates. Applications of the latter include the existence of excitation thresholds for certain regimes of the parameters and the decay of small initial data for relevant $l^p$ norms. The analytical decay estimates are corroborated with numerical results.Comment: 13 pages, 4 figure

Calculation of dephasing times in closed quantum dots

Dephasing of one-particle states in closed quantum dots is analyzed within the framework of random matrix theory and Master equation. Combination of this analysis with recent experiments on the magnetoconductance allows for the first time to evaluate the dephasing times of closed quantum dots. These dephasing times turn out to depend on the mean level spacing and to be significantly enhanced as compared with the case of open dots. Moreover, the experimental data available are consistent with the prediction that the dephasing of one-particle states in finite closed systems disappears at low enough energies and temperatures.Comment: 4 pages, 3 figure

Observation of breathers in Josephson ladders

We report on the observation of spatially-localized excitations in a ladder of small Josephson junctions. The excitations are whirling states which persist under a spatially-homogeneous force due to the bias current. These states of the ladder are visualized using a low temperature scanning laser microscopy. We also compute breather solutions with high accuracy in corresponding model equations. The stability analysis of these solutions is used to interpret the measured patterns in the I-V characteristics

Calculation of the Density of States Using Discrete Variable Representation and Toeplitz Matrices

A direct and exact method for calculating the density of states for systems with localized potentials is presented. The method is based on explicit inversion of the operator $E-H$. The operator is written in the discrete variable representation of the Hamiltonian, and the Toeplitz property of the asymptotic part of the obtained {\it infinite} matrix is used. Thus, the problem is reduced to the inversion of a {\it finite} matrix

Disorder Induced Ferromagnetism in Restricted Geometries

We study the influence of on-site disorder on the magnetic properties of the ground state of the infinite $U$ Hubbard model. We find that for one dimensional systems disorder has no influence, while for two dimensional systems disorder enhances the spin polarization of the system. The tendency of disorder to enhance magnetism in the ground state may be relevant to recent experimental observations of spin polarized ground states in quantum dots and small metallic grains.Comment: 4 pages, 4 figure