Parallel Metric Tree Embedding based on an Algebraic View on Moore-Bellman-Ford

A \emph{metric tree embedding} of expected \emph{stretch~$\alpha \geq 1$} maps a weighted $n$-node graph $G = (V, E, \omega)$ to a weighted tree $T = (V_T, E_T, \omega_T)$ with $V \subseteq V_T$ such that, for all $v,w \in V$, $\operatorname{dist}(v, w, G) \leq \operatorname{dist}(v, w, T)$ and $operatorname{E}[\operatorname{dist}(v, w, T)] \leq \alpha \operatorname{dist}(v, w, G)$. Such embeddings are highly useful for designing fast approximation algorithms, as many hard problems are easy to solve on tree instances. However, to date the best parallel $(\operatorname{polylog} n)$-depth algorithm that achieves an asymptotically optimal expected stretch of $\alpha \in \operatorname{O}(\log n)$ requires $\operatorname{\Omega}(n^2)$ work and a metric as input. In this paper, we show how to achieve the same guarantees using $\operatorname{polylog} n$ depth and $\operatorname{\tilde{O}}(m^{1+\epsilon})$ work, where $m = |E|$ and $\epsilon > 0$ is an arbitrarily small constant. Moreover, one may further reduce the work to $\operatorname{\tilde{O}}(m + n^{1+\epsilon})$ at the expense of increasing the expected stretch to $\operatorname{O}(\epsilon^{-1} \log n)$. Our main tool in deriving these parallel algorithms is an algebraic characterization of a generalization of the classic Moore-Bellman-Ford algorithm. We consider this framework, which subsumes a variety of previous "Moore-Bellman-Ford-like" algorithms, to be of independent interest and discuss it in depth. In our tree embedding algorithm, we leverage it for providing efficient query access to an approximate metric that allows sampling the tree using $\operatorname{polylog} n$ depth and $\operatorname{\tilde{O}}(m)$ work. We illustrate the generality and versatility of our techniques by various examples and a number of additional results

Residues and Topological Yang-Mills Theory in Two Dimensions

A residue formula which evaluates any correlation function of topological $SU_n$ Yang-Mills theory with arbitrary magnetic flux insertion in two dimensions are obtained. Deformations of the system by two form operators are investigated in some detail. The method of the diagonalization of a matrix valued field turns out to be useful to compute various physical quantities. As an application we find the operator that contracts a handle of a Riemann surface and a genus recursion relation.Comment: 23 pages, some references added, to appear in Rev.Math.Phy

Hybrid expansions for local structural relaxations

A model is constructed in which pair potentials are combined with the cluster expansion method in order to better describe the energetics of structurally relaxed substitutional alloys. The effect of structural relaxations away from the ideal crystal positions, and the effect of ordering is described by interatomic-distance dependent pair potentials, while more subtle configurational aspects associated with correlations of three- and more sites are described purely within the cluster expansion formalism. Implementation of such a hybrid expansion in the context of the cluster variation method or Monte Carlo method gives improved ability to model phase stability in alloys from first-principles.Comment: 8 pages, 1 figur

High frequency magnetic behavior through the magnetoimpedance effect in CoFeB/(Ta, Ag, Cu) multilayered ferromagnetic thin films

We studied the dynamics of magnetization through an investigation of the magnetoimpedance effect in CoFeB/(Ta, Ag, Cu) multilayered thin films grown by magnetron sputtering. Impedance measurements were analyzed in terms of the mechanisms responsible for their variations at different frequency intervals and the magnetic and structural properties of the multilayers. Analysis of the mechanisms responsible for magnetoimpedance according to frequency and external magnetic field showed that for the CoFeB/Cu multilayer, ferromagnetic resonance (FMR) contributes significantly to the magnetoimpedance effect at frequencies close to 470 MHz. This frequency is low when compared to the results obtained for CoFeB/Ta and CoFeB/Ag multilayers and is a result of the anisotropy distribution and non-formation of regular bilayers in this sample. The MImax values occurred at different frequencies according to the used non-magnetic metal. Variations between 25% and 30% were seen for a localized frequency band, as in the case of CoFeB/Ta and CoFeB/Ag, as well as for a wide frequency range, in the case of CoFeB/Cu.Comment: 14 pages, 5 figure

Reachability problems for products of matrices in semirings

We consider the following matrix reachability problem: given $r$ square matrices with entries in a semiring, is there a product of these matrices which attains a prescribed matrix? We define similarly the vector (resp. scalar) reachability problem, by requiring that the matrix product, acting by right multiplication on a prescribed row vector, gives another prescribed row vector (resp. when multiplied at left and right by prescribed row and column vectors, gives a prescribed scalar). We show that over any semiring, scalar reachability reduces to vector reachability which is equivalent to matrix reachability, and that for any of these problems, the specialization to any $r\geq 2$ is equivalent to the specialization to $r=2$. As an application of this result and of a theorem of Krob, we show that when $r=2$, the vector and matrix reachability problems are undecidable over the max-plus semiring $(Z\cup\{-\infty\},\max,+)$. We also show that the matrix, vector, and scalar reachability problems are decidable over semirings whose elements are ``positive'', like the tropical semiring $(N\cup\{+\infty\},\min,+)$.Comment: 21 page

Vibration and buckling of thin-walled composite I-beams with arbitrary lay-ups under axial loads and end moments

A finite element model with seven degrees of freedom per node is developed to study vibration and buckling of thin-walled composite I-beams with arbitrary lay-ups under constant axial loads and equal end moments. This model is based on the classical lamination theory, and accounts for all the structural coupling coming from material anisotropy. The governing differential equations are derived from the Hamilton’s principle. Numerical results are obtained for thin-walled composite I-beams to investigate the effects of axial force, bending moment and fiber orientation on the buckling moments, natural frequencies, and corresponding vibration mode shapes as well as axial-moment-frequency interaction curves

Discounting in LTL

In recent years, there is growing need and interest in formalizing and reasoning about the quality of software and hardware systems. As opposed to traditional verification, where one handles the question of whether a system satisfies, or not, a given specification, reasoning about quality addresses the question of \emph{how well} the system satisfies the specification. One direction in this effort is to refine the "eventually" operators of temporal logic to {\em discounting operators}: the satisfaction value of a specification is a value in $[0,1]$, where the longer it takes to fulfill eventuality requirements, the smaller the satisfaction value is. In this paper we introduce an augmentation by discounting of Linear Temporal Logic (LTL), and study it, as well as its combination with propositional quality operators. We show that one can augment LTL with an arbitrary set of discounting functions, while preserving the decidability of the model-checking problem. Further augmenting the logic with unary propositional quality operators preserves decidability, whereas adding an average-operator makes some problems undecidable. We also discuss the complexity of the problem, as well as various extensions

Mixed valency in cerium oxide crystallographic phases: Determination of valence of the different cerium sites by the bond valence method

We have applied the bond valence method to cerium oxides to determine the oxidation states of the Ce ion at the various site symmetries of the crystals. The crystals studied include cerium dioxide and the two sesquioxides along with some selected intermediate phases which are crystallographically well characterized. Our results indicate that cerium dioxide has a mixed-valence ground state with an f-electron population on the Ce site of 0.27 while both the A- and C-sesquioxides have a nearly pure f^1 configuration. The Ce sites in most of the intermediate oxides have non-integral valences. Furthermore, many of these valences are different from the values predicted from a naive consideration of the stoichiometric valence of the compound

Quiver Theories from D6-branes via Mirror Symmetry

We study N=1 four dimensional quiver theories arising on the worldvolume of D3-branes at del Pezzo singularities of Calabi-Yau threefolds. We argue that under local mirror symmetry D3-branes become D6-branes wrapped on a three torus in the mirror manifold. The type IIB (p,q) 5-brane web description of the local del Pezzo, being closely related to the geometry of its mirror manifold, encodes the geometry of 3-cycles and is used to obtain gauge groups, quiver diagrams and the charges of the fractional branes.Comment: 30 pages, citations adde

First-principles equation of state and phase stability for the Ni-Al system under high pressures

The equation of state (EOS) of alloys at high pressures is generalized with the cluster expansion method. It is shown that this provides a more accurate description. The low temperature EOSs of Ni-Al alloys on FCC and BCC lattices are obtained with density functional calculations, and the results are in good agreement with experiments. The merits of the generalized EOS model are confirmed by comparison with the mixing model. In addition, the FCC phase diagram of the Ni-Al system is calculated by cluster variation method (CVM) with both spin-polarized and non-spin-polarized effective cluster interactions (ECI). The influence of magnetic energy on the phase stability is analyzed. A long-standing discrepancy between ab initio formation enthalpies and experimental data is addressed by defining a better reference state. This aids both evaluation of an ab initio phase diagram and understanding the thermodynamic behaviors of alloys and compounds. For the first time the high-pressure behavior of order-disorder transition is investigated by ab initio calculations. It is found that order-disorder temperatures follow the Simon melting equation. This may be instructive for experimental and theoretical research on the effect of an order-disorder transition on shock Hugoniots.Comment: 27 pages, 12 figure