Semi-Automated SVG Programming via Direct Manipulation

Direct manipulation interfaces provide intuitive and interactive features to a broad range of users, but they often exhibit two limitations: the built-in features cannot possibly cover all use cases, and the internal representation of the content is not readily exposed. We believe that if direct manipulation interfaces were to (a) use general-purpose programs as the representation format, and (b) expose those programs to the user, then experts could customize these systems in powerful new ways and non-experts could enjoy some of the benefits of programmable systems. In recent work, we presented a prototype SVG editor called Sketch-n-Sketch that offered a step towards this vision. In that system, the user wrote a program in a general-purpose lambda-calculus to generate a graphic design and could then directly manipulate the output to indirectly change design parameters (i.e. constant literals) in the program in real-time during the manipulation. Unfortunately, the burden of programming the desired relationships rested entirely on the user. In this paper, we design and implement new features for Sketch-n-Sketch that assist in the programming process itself. Like typical direct manipulation systems, our extended Sketch-n-Sketch now provides GUI-based tools for drawing shapes, relating shapes to each other, and grouping shapes together. Unlike typical systems, however, each tool carries out the user's intention by transforming their general-purpose program. This novel, semi-automated programming workflow allows the user to rapidly create high-level, reusable abstractions in the program while at the same time retaining direct manipulation capabilities. In future work, our approach may be extended with more graphic design features or realized for other application domains.Comment: In 29th ACM User Interface Software and Technology Symposium (UIST 2016

Clear and Compress: Computing Persistent Homology in Chunks

We present a parallelizable algorithm for computing the persistent homology of a filtered chain complex. Our approach differs from the commonly used reduction algorithm by first computing persistence pairs within local chunks, then simplifying the unpaired columns, and finally applying standard reduction on the simplified matrix. The approach generalizes a technique by G\"unther et al., which uses discrete Morse Theory to compute persistence; we derive the same worst-case complexity bound in a more general context. The algorithm employs several practical optimization techniques which are of independent interest. Our sequential implementation of the algorithm is competitive with state-of-the-art methods, and we improve the performance through parallelized computation.Comment: This result was presented at TopoInVis 2013 (http://www.sci.utah.edu/topoinvis13.html

The M2/M5 BPS Partition Functions from Supergravity

In the framework of the AdS/CFT duality, we calculate the supersymmetric partition function of the superconformal field theories living in the world volume of either $N$ $M2$-branes or $N$ $M5$-branes. We used the dual supergravity partition function in a saddle point approximation over supersymmetric Black Holes. Since our BHs are written in asymptotically global $AdS_{d+1}$ co-ordinates, the dual SCFTs are in $R x S^{d}$ for $d=2,5$. The resulting partition function shows phase transitions, constraints on the phase space and allowed us to identify unstable BPS Black hole in the $AdS$ phase. These configurations should correspond to unstable configurations in the dual theory. We also report an intriguing relation between the most general Witten Index, computed in the above theories, and our BPS partition functions.Comment: 9 pages, 2 columns, 4 figures, revtex, typos corrected, reference adde

Nonextensive Quantum H-Theorem

A proof of the quantum $H$-theorem taking into account nonextensive effects on the quantum entropy $S^Q_q$ is shown. The positiveness of the time variation of $S^Q_q$ combined with a duality transformation implies that the nonextensive parameter $q$ lies in the interval [0,2]. It is also shown that the equilibrium states are described by quantum $q$-power law extensions of the Fermi-Dirac and Bose-Einstein distributions. Such results reduce to the standard ones in the extensive limit, thereby showing that the nonextensive entropic framework can be harmonized with the quantum distributions contained in the quantum statistics theory.Comment: 5 pages, LaTe

A monopole solution from noncommutative multi-instantons

We extend the relation between instanton and monopole solutions of the selfduality equations in SU(2) gauge theory to noncommutative space-times. Using this approach and starting from a noncommutative multi-instanton solution we construct a U(2) monopole configuration which lives in 3 dimensional ordinary space. This configuration resembles the Wu-Yang monopole and satisfies the selfduality (Bogomol'nyi) equations for a U(2) Yang-Mills-Higgs system.Comment: 19 pages; title and abstract changed, brane interpretation corrected. Version to appear in JHE

Probing ferroelectricity in highly conducting materials through their elastic response: persistence of ferroelectricity in metallic BaTiO3-d

The question whether ferroelectricity (FE) may coexist with a metallic or highly conducting state, or rather it must be suppressed by the screening from the free charges, is the focus of a rapidly increasing number of theoretical studies and is finally receiving positive experimental responses. The issue is closely related to the thermoelectric and multiferroic (also magnetic) applications of FE materials, where the electrical conductivity is required or spurious. In these circumstances, the traditional methods for probing ferroelectricity are hampered or made totally ineffective by the free charges, which screen the polar response to an external electric field. This fact may explain why more than 40 years passed between the first proposals of FE metals and the present experimental and theoretical activity. The measurement of the elastic moduli, Young's modulus in the present case, versus temperature is an effective method for studying the influence of doping on a FE transition because the elastic properties are unaffected by electrical conductivity. In this manner, it is shown that the FE transitions of BaTiO3-d are not suppressed by electron doping through O vacancies; only the onset temperatures are depressed, but the magnitudes of the softenings, and hence of the piezoelectric activity, are initially even increased

Formation of even-numbered hydrogen cluster cations in ultracold helium droplets

Neutral hydrogen clusters are grown in ultracold helium nanodroplets by successive pickup of hydrogen molecules. Even-numbered hydrogen cluster cations are observed upon electron-impact ionization with and without attached helium atoms and in addition to the familiar odd-numbered H(n)(+). The helium matrix affects the fragmentation dynamics that usually lead to the formation of overwhelmingly odd-numbered H(n)(+). The use of high-resolution mass spectrometry allows the unambiguous identification of even-numbered H(n)(+) up to n congruent to 120 by their mass excess that distinguishes them from He(n)(+), mixed He(m)H(n)(+), and background ions. The large range in size of these hydrogen cluster ions is unprecedented, as is the accuracy of their definition. Apart from the previously observed magic number n = 6, pronounced drops in the abundance of even-numbered cluster ions are seen at n = 30 and 114, which suggest icosahedral shell closures at H(6)(+)(H(2))(12) and H(6)(+)(H(2))(54). Possible isomers of H(6)(+) are identified at the quadratic configuration interaction with inclusion of single and double excitations (QCISD)/aug-cc-pVTZ level of theory (C) 2008 American Institute of Physics. [DOI: 10.1063/1.3035833

Metallic Continuum Quantum Ferromagnets at Finite Temperature

We study via renormalization group (RG) and large N methods the problem of continuum SU(N) quantum Heisenberg ferromagnets (QHF) coupled to gapless electrons. We establish the phase diagram of the dissipative problem and investigate the changes in the Curie temperature, magnetization, and magnetic correlation length due to dissipation and both thermal and quantum fluctuations. We show that the interplay between the topological term (Berry's phase) and dissipation leads to non-trivial effects for the finite temperature critical behavior.Comment: Corrected typos, new discussion of T=0 results, to appear in Europhys. Let