Showing 1–50 of 161 results for author: Hartmann, B

A Knowledge-Component-Based Methodology for Evaluating AI Assistants

Authors: Laryn Qi, J. D. Zamfirescu-Pereira, Taehan Kim, Björn Hartmann, John DeNero, Narges Norouzi

Abstract: We evaluate an automatic hint generator for CS1 programming assignments powered by GPT-4, a large language model. This system provides natural language guidance about how students can improve their incorrect solutions to short programming exercises. A hint can be requested each time a student fails a test case. Our evaluation addresses three Research Questions: RQ1: Do the hints help students im… ▽ More We evaluate an automatic hint generator for CS1 programming assignments powered by GPT-4, a large language model. This system provides natural language guidance about how students can improve their incorrect solutions to short programming exercises. A hint can be requested each time a student fails a test case. Our evaluation addresses three Research Questions: RQ1: Do the hints help students improve their code? RQ2: How effectively do the hints capture problems in student code? RQ3: Are the issues that students resolve the same as the issues addressed in the hints? To address these research questions quantitatively, we identified a set of fine-grained knowledge components and determined which ones apply to each exercise, incorrect solution, and generated hint. Comparing data from two large CS1 offerings, we found that access to the hints helps students to address problems with their code more quickly, that hints are able to consistently capture the most pressing errors in students' code, and that hints that address a few issues at once rather than a single bug are more likely to lead to direct student progress. △ Less

Submitted 8 June, 2024; originally announced June 2024.

61A-Bot: AI homework assistance in CS1 is fast and cheap -- but is it helpful?

Authors: J. D. Zamfirescu-Pereira, Laryn Qi, Björn Hartmann, John DeNero, Narges Norouzi

Abstract: Chatbot interfaces for LLMs enable students to get immediate, interactive help on homework assignments, but even a thoughtfully-designed bot may not serve all pedagogical goals. In this paper, we report on the development and deployment of a GPT-4-based interactive homework assistant ("61A-Bot") for students in a large CS1 course; over 2000 students made over 100,000 requests of our bot across two… ▽ More Chatbot interfaces for LLMs enable students to get immediate, interactive help on homework assignments, but even a thoughtfully-designed bot may not serve all pedagogical goals. In this paper, we report on the development and deployment of a GPT-4-based interactive homework assistant ("61A-Bot") for students in a large CS1 course; over 2000 students made over 100,000 requests of our bot across two semesters. Our assistant offers one-shot, contextual feedback, through both a "Get Help" button within a popular code editor, as well as a "get feedback" feature within our command-line autograder. These triggers wrap student code in a custom prompt that supports our pedagogical goals and avoids providing solutions directly. We discuss our development process and deployment, then analyze possible impacts of our Bot on students, primarily through student feedback and how long it takes students to complete homework problems. We ask: how does access to 61A-Bot impact homework completion time and subsequent course performance? In addition to reductions in homework-related question rates in our course forum, we find substantial reductions in homework completion time. These are most pronounced for students in the 50th-80th percentile, with reductions of over 30 minutes, over 4 standard deviations faster than the mean in prior semesters. However, it is not clear that these effects transfer to assignment contexts where the Bot is not available: we observe speedups in some contexts, no change in others, and some assignments later in the semester even show a slowdown instead. Though we have begun to disentangle these effects, further research is needed. △ Less

Submitted 8 June, 2024; originally announced June 2024.

Comments: 6 pages, 3 figures, 1 table, 1 page of references

Azimuthal geodesics in closed FLRW cosmologies II

Authors: Christian G Böhmer, Antonio d'Alfonso del Sordo, Betti Hartmann, Linus Elias Münch

Abstract: We study azimuthal geodesics in closed Friedmann-Lemâitre-Robertson-Walker (FLRW) cosmological models and give the angular distance travelled by a test particle moving along such a geodesic during one cycle of expansion and re-collapse of the universe. We extend previous results regarding the path followed by light rays to the two-fluid case, also including a cosmological constant, as well as to m… ▽ More We study azimuthal geodesics in closed Friedmann-Lemâitre-Robertson-Walker (FLRW) cosmological models and give the angular distance travelled by a test particle moving along such a geodesic during one cycle of expansion and re-collapse of the universe. We extend previous results regarding the path followed by light rays to the two-fluid case, also including a cosmological constant, as well as to massive test particles. △ Less

Submitted 28 April, 2024; originally announced April 2024.

Comments: 19 pages, 9 figures

Who Validates the Validators? Aligning LLM-Assisted Evaluation of LLM Outputs with Human Preferences

Authors: Shreya Shankar, J. D. Zamfirescu-Pereira, Björn Hartmann, Aditya G. Parameswaran, Ian Arawjo

Abstract: Due to the cumbersome nature of human evaluation and limitations of code-based evaluation, Large Language Models (LLMs) are increasingly being used to assist humans in evaluating LLM outputs. Yet LLM-generated evaluators simply inherit all the problems of the LLMs they evaluate, requiring further human validation. We present a mixed-initiative approach to ``validate the validators'' -- aligning LL… ▽ More Due to the cumbersome nature of human evaluation and limitations of code-based evaluation, Large Language Models (LLMs) are increasingly being used to assist humans in evaluating LLM outputs. Yet LLM-generated evaluators simply inherit all the problems of the LLMs they evaluate, requiring further human validation. We present a mixed-initiative approach to ``validate the validators'' -- aligning LLM-generated evaluation functions (be it prompts or code) with human requirements. Our interface, EvalGen, provides automated assistance to users in generating evaluation criteria and implementing assertions. While generating candidate implementations (Python functions, LLM grader prompts), EvalGen asks humans to grade a subset of LLM outputs; this feedback is used to select implementations that better align with user grades. A qualitative study finds overall support for EvalGen but underscores the subjectivity and iterative process of alignment. In particular, we identify a phenomenon we dub \emph{criteria drift}: users need criteria to grade outputs, but grading outputs helps users define criteria. What is more, some criteria appears \emph{dependent} on the specific LLM outputs observed (rather than independent criteria that can be defined \emph{a priori}), raising serious questions for approaches that assume the independence of evaluation from observation of model outputs. We present our interface and implementation details, a comparison of our algorithm with a baseline approach, and implications for the design of future LLM evaluation assistants. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Comments: 16 pages, 4 figures, 2 tables

Generating Automatic Feedback on UI Mockups with Large Language Models

Authors: Peitong Duan, Jeremy Warner, Yang Li, Bjoern Hartmann

Abstract: Feedback on user interface (UI) mockups is crucial in design. However, human feedback is not always readily available. We explore the potential of using large language models for automatic feedback. Specifically, we focus on applying GPT-4 to automate heuristic evaluation, which currently entails a human expert assessing a UI's compliance with a set of design guidelines. We implemented a Figma plu… ▽ More Feedback on user interface (UI) mockups is crucial in design. However, human feedback is not always readily available. We explore the potential of using large language models for automatic feedback. Specifically, we focus on applying GPT-4 to automate heuristic evaluation, which currently entails a human expert assessing a UI's compliance with a set of design guidelines. We implemented a Figma plugin that takes in a UI design and a set of written heuristics, and renders automatically-generated feedback as constructive suggestions. We assessed performance on 51 UIs using three sets of guidelines, compared GPT-4-generated design suggestions with those from human experts, and conducted a study with 12 expert designers to understand fit with existing practice. We found that GPT-4-based feedback is useful for catching subtle errors, improving text, and considering UI semantics, but feedback also decreased in utility over iterations. Participants described several uses for this plugin despite its imperfect suggestions. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Comments: To appear at ACM CHI 2024

Rambler: Supporting Writing With Speech via LLM-Assisted Gist Manipulation

Authors: Susan Lin, Jeremy Warner, J. D. Zamfirescu-Pereira, Matthew G. Lee, Sauhard Jain, Michael Xuelin Huang, Piyawat Lertvittayakumjorn, Shanqing Cai, Shumin Zhai, Björn Hartmann, Can Liu

Abstract: Dictation enables efficient text input on mobile devices. However, writing with speech can produce disfluent, wordy, and incoherent text and thus requires heavy post-processing. This paper presents Rambler, an LLM-powered graphical user interface that supports gist-level manipulation of dictated text with two main sets of functions: gist extraction and macro revision. Gist extraction generates key… ▽ More Dictation enables efficient text input on mobile devices. However, writing with speech can produce disfluent, wordy, and incoherent text and thus requires heavy post-processing. This paper presents Rambler, an LLM-powered graphical user interface that supports gist-level manipulation of dictated text with two main sets of functions: gist extraction and macro revision. Gist extraction generates keywords and summaries as anchors to support the review and interaction with spoken text. LLM-assisted macro revisions allow users to respeak, split, merge and transform dictated text without specifying precise editing locations. Together they pave the way for interactive dictation and revision that help close gaps between spontaneous spoken words and well-structured writing. In a comparative study with 12 participants performing verbal composition tasks, Rambler outperformed the baseline of a speech-to-text editor + ChatGPT, as it better facilitates iterative revisions with enhanced user control over the content while supporting surprisingly diverse user strategies. △ Less

Submitted 7 March, 2024; v1 submitted 19 January, 2024; originally announced January 2024.

Comments: To appear at ACM CHI 2024

Azimuthal geodesics in closed FLRW cosmologies

Authors: Christian G. Boehmer, Antonio d'Alfonso del Sordo, Betti Hartmann

Abstract: Modern cosmology is closely linked to our understanding of radial null geodesics as these model the propagation of light signals through an expanding universe. Azimuthal geodesics, on the other hand, are perhaps best known for their relevance within closed cosmological models. Such models typically have a finite lifetime: the universe expands up to a maximum size after which it recollapses during… ▽ More Modern cosmology is closely linked to our understanding of radial null geodesics as these model the propagation of light signals through an expanding universe. Azimuthal geodesics, on the other hand, are perhaps best known for their relevance within closed cosmological models. Such models typically have a finite lifetime: the universe expands up to a maximum size after which it recollapses during the so-called big crunch. An azimuthal geodesic starting at the beginning of the universe will travel a finite angular distance during the expansion and recollapse. It is well-known that this angle is $2π$ for a matter-dominated universe and $π$ for a radiation-dominated solution. Here we derive the simple formula $$Δ\varphi = \frac{2π}{1+3w}$$ for an arbitrary linear equation of state parameter $w$. To the best of our knowledge this result has not been reported elsewhere and fills a small gap in the literature. △ Less

Submitted 9 January, 2024; originally announced January 2024.

Comments: 7 pages

Geodesic Motion in a Swirling Universe: The complete set of solutions

Authors: Rogério Capobianco, Betti Hartmann, Jutta Kunz

Abstract: We study the geodesic motion in a space-time describing a swirling universe. We show that the geodesic equations can be fully decoupled in the Hamilton-Jacobi formalism leading to an additional constant of motion. The analytical solutions to the geodesic equations can be given in terms of elementary and elliptic functions. We also consider a space-time describing a static black hole immersed in a… ▽ More We study the geodesic motion in a space-time describing a swirling universe. We show that the geodesic equations can be fully decoupled in the Hamilton-Jacobi formalism leading to an additional constant of motion. The analytical solutions to the geodesic equations can be given in terms of elementary and elliptic functions. We also consider a space-time describing a static black hole immersed in a swirling universe. In this case, full separation of variables is not possible and the geodesic equations have to be solved numerically. △ Less

Submitted 28 December, 2023; originally announced December 2023.

Comments: 16 pages, 5 figures

StreamFunnel: Facilitating Communication Between a VR Streamer and Many Spectators

Authors: Haohua Lyu, Cyrus Vachha, Qianyi Chen, Balasaravanan Thoravi Kumaravel, Bjöern Hartmann

Abstract: The increasing adoption of Virtual Reality (VR) systems in different domains have led to a need to support interaction between many spectators and a VR user. This is common in game streaming, live performances, and webinars. Prior CSCW systems for VR environments are limited to small groups of users. In this work, we identify problems associated with interaction carried out with large groups of us… ▽ More The increasing adoption of Virtual Reality (VR) systems in different domains have led to a need to support interaction between many spectators and a VR user. This is common in game streaming, live performances, and webinars. Prior CSCW systems for VR environments are limited to small groups of users. In this work, we identify problems associated with interaction carried out with large groups of users. To address this, we introduce an additional user role: the co-host. They mediate communications between the VR user and many spectators. To facilitate this mediation, we present StreamFunnel, which allows the co-host to be part of the VR application's space and interact with it. The design of StreamFunnel was informed by formative interviews with six experts. StreamFunnel uses a cloud-based streaming solution to enable remote co-host and many spectators to view and interact through standard web browsers, without requiring any custom software. We present results of informal user testing which provides insights into StreamFunnel's ability to facilitate these scalable interactions. Our participants, who took the role of a co-host, found that StreamFunnel enables them to add value in presenting the VR experience to the spectators and relaying useful information from the live chat to the VR user. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: 12 pages, 7 figures

OmniFill: Domain-Agnostic Form Filling Suggestions Using Multi-Faceted Context

Authors: Timothy J. Aveni, Armando Fox, Björn Hartmann

Abstract: Predictive suggestion systems offer contextually-relevant text entry completions. Existing approaches, like autofill, often excel in narrowly-defined domains but fail to generalize to arbitrary workflows. We introduce a conceptual framework to analyze the compound demands of a particular suggestion context, yielding unique opportunities for large language models (LLMs) to infer suggestions for a w… ▽ More Predictive suggestion systems offer contextually-relevant text entry completions. Existing approaches, like autofill, often excel in narrowly-defined domains but fail to generalize to arbitrary workflows. We introduce a conceptual framework to analyze the compound demands of a particular suggestion context, yielding unique opportunities for large language models (LLMs) to infer suggestions for a wide range of domain-agnostic form-filling tasks that were out of reach with prior approaches. We explore these opportunities in OmniFill, a prototype that collects multi-faceted context including browsing and text entry activity to construct an LLM prompt that offers suggestions in situ for arbitrary structured text entry interfaces. Through a user study with 18 participants, we found that OmniFill offered valuable suggestions and we identified four themes that characterize users' behavior and attitudes: an "opportunistic scrapbooking" approach; a trust placed in the system; value in partial success; and a need for visibility into prompt context. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Comments: 14 pages, 5 figures

Prompting for Discovery: Flexible Sense-Making for AI Art-Making with Dreamsheets

Authors: Shm Garanganao Almeda, J. D. Zamfirescu-Pereira, Kyu Won Kim, Pradeep Mani Rathnam, Bjoern Hartmann

Abstract: Design space exploration (DSE) for Text-to-Image (TTI) models entails navigating a vast, opaque space of possible image outputs, through a commensurately vast input space of hyperparameters and prompt text. Minor adjustments to prompt input can surface unexpectedly disparate images. How can interfaces support end-users in reliably steering prompt-space explorations towards interesting results? Our… ▽ More Design space exploration (DSE) for Text-to-Image (TTI) models entails navigating a vast, opaque space of possible image outputs, through a commensurately vast input space of hyperparameters and prompt text. Minor adjustments to prompt input can surface unexpectedly disparate images. How can interfaces support end-users in reliably steering prompt-space explorations towards interesting results? Our design probe, DreamSheets, supports exploration strategies with LLM-based functions for assisted prompt construction and simultaneous display of generated results, hosted in a spreadsheet interface. The flexible layout and novel generative functions enable experimentation with user-defined workflows. Two studies, a preliminary lab study and a longitudinal study with five expert artists, revealed a set of strategies participants use to tackle the challenges of TTI design space exploration, and the interface features required to support them - like using text-generation to define local "axes" of exploration. We distill these insights into a UI mockup to guide future interfaces. △ Less

Submitted 1 March, 2024; v1 submitted 15 October, 2023; originally announced October 2023.

Comments: 13 pages, 14 figures, currently under review

Improving power-grid systems via topological changes, or how self-organized criticality can help stability

Authors: Géza Ódor, István Papp, Kristóf Benedek, Bálint Hartmann

Abstract: Cascade failures in power grids occur when the failure of one component or subsystem causes a chain reaction of failures in other components or subsystems, ultimately leading to a widespread blackout or outage. Controlling cascade failures on power grids is important for many reasons like economic impact, national security, public safety and even rippled effects like troubling transportation syste… ▽ More Cascade failures in power grids occur when the failure of one component or subsystem causes a chain reaction of failures in other components or subsystems, ultimately leading to a widespread blackout or outage. Controlling cascade failures on power grids is important for many reasons like economic impact, national security, public safety and even rippled effects like troubling transportation systems. Monitoring the networks on node level has been suggested by many, either controlling all nodes of a network or by subsets. This study identifies sensitive graph elements of the weighted European power-grids (from 2016, 2022) by two different methods. Bridges are determined between communities and "weak" nodes are selected by the lowest local synchronization of the swing equation. In the latter case we add bypasses of the same number as the bridges at weak nodes, and we compare the synchronization, cascade failure behavior by the dynamical improvement with the purely topological changes. The results are also compared if bridges are removed from networks, which results in a case similar to islanding, and with the addition of links at randomly selected places. Bypassing was found to improve synchronization the best, while the average cascade sizes are the lowest with bridge additions. However, for very large or small global couplings these network changes do not help, they seem to be useful near the synchronization transition region, where self-organization drives the power-grid. Thus, we provide a demonstration for the Braess' Paradox on continent-sized power grid simulations and uncover the limitations of this phenomenon. We also determine the cascade size distributions and justify the power-law tails near the transition point on these grids. △ Less

Submitted 3 November, 2023; v1 submitted 13 October, 2023; originally announced October 2023.

Comments: 11 pages 12 figures

Interactively Optimizing Layout Transfer for Vector Graphics

Authors: Jeremy Warner, Shuyao Zhou, Bjoern Hartmann

Abstract: One of the most common ways to represent and share visual designs is with vector graphics. Designers working with vector graphics often explore layout alternatives and generate them by moving and resizing elements. The motivation for this can range from establishing a different visual flow, adapting a design to a different aspect ratio, standardizing spacing, or redirecting the design's visual emp… ▽ More One of the most common ways to represent and share visual designs is with vector graphics. Designers working with vector graphics often explore layout alternatives and generate them by moving and resizing elements. The motivation for this can range from establishing a different visual flow, adapting a design to a different aspect ratio, standardizing spacing, or redirecting the design's visual emphasis. Existing designs can serve as a source of inspiration for layout modification across these goals. However, generating these layout alternatives still requires significant manual effort in rearranging large groups of elements. We present VLT, short for Vector Layout Transfer, a novel graphic design tool that enables flexible transfer of layouts between designs. It provides designers with multiple levels of semantic layout editing controls, powered by automatic graphics correspondence and layout optimization algorithms. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 9 pages, 4 figures

Interactive Flexible Style Transfer for Vector Graphics

Authors: Jeremy Warner, Kyu Won Kim, Bjoern Hartmann

Abstract: Vector graphics are an industry-standard way to represent and share visual designs. Designers frequently source and incorporate styles from existing designs into their own work. Unfortunately, popular design tools aren't well suited for this task. We present VST, Vector Style Transfer, a novel design tool for flexibly transferring visual styles between vector graphics. The core of VST lies in leve… ▽ More Vector graphics are an industry-standard way to represent and share visual designs. Designers frequently source and incorporate styles from existing designs into their own work. Unfortunately, popular design tools aren't well suited for this task. We present VST, Vector Style Transfer, a novel design tool for flexibly transferring visual styles between vector graphics. The core of VST lies in leveraging automation while respecting designers' tastes and the subjectivity inherent to style transfer. In VST, designers tune a cross-design element correspondence and customize which style attributes to change. We report results from a user study in which designers used VST to control style transfer between several designs, including designs participants created with external tools beforehand. VST shows that enabling design correspondence tuning and customization is one way to support interactive, flexible style transfer. We also find that someone using VST can significantly reduce the time and work for style transfer compared to experienced designers using industry-standard tools. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 14 pages, 12 figures

Dynamical heterogeneity and universality of power-grids

Authors: Bálint Hartmann, Géza Ódor, István Papp, Kristóf Benedek, Shengfeng Deng, Jeffrey Kelling

Abstract: While weak, tuned asymmetry can improve, strong heterogeneity destroys synchronization in the electric power system. We study the level of heterogeneity, by comparing large high voltage (HV) power-grids of Europe and North America. We provide an analysis of power capacities and loads of various energy sources from the databases and found heavy tailed distributions with similar characteristics. Gra… ▽ More While weak, tuned asymmetry can improve, strong heterogeneity destroys synchronization in the electric power system. We study the level of heterogeneity, by comparing large high voltage (HV) power-grids of Europe and North America. We provide an analysis of power capacities and loads of various energy sources from the databases and found heavy tailed distributions with similar characteristics. Graph topological measures, community structures also exhibit strong similarities, while the cable admittance distributions can be well fitted with the same power-laws (PL), related to the length distributions. The community detection analysis shows the level of synchronization in different domains of the European HV power grids, by solving a set of swing equations. We provide numerical evidence for frustrated synchronization and Chimera states and point out the relation of topology and level of synchronization in the subsystems. We also provide empirical data analysis of the frequency heterogeneities within the Hungarian HV network and find q-Gaussian distributions related to super-statistics of time-lagged fluctuations, which agree well with former results on the Nordic Grid. △ Less

Submitted 13 September, 2023; v1 submitted 29 August, 2023; originally announced August 2023.

Comments: 15 pages, 15 figures

Note on super-critical charged boson stars

Authors: Yves Brihaye, Betti Hartmann

Abstract: We study the transition of charged boson stars from sub- to super-criticality. This transition is defined as that choice of coupling constants for which the Coulomb repulsion of two individual bosons (that make up the star) exactly cancels their gravitational attraction. It was recently shown that without self-interaction super-critical boson stars are unstable to decay into their individual const… ▽ More We study the transition of charged boson stars from sub- to super-criticality. This transition is defined as that choice of coupling constants for which the Coulomb repulsion of two individual bosons (that make up the star) exactly cancels their gravitational attraction. It was recently shown that without self-interaction super-critical boson stars are unstable to decay into their individual constituents. Here we show that this is no longer true for the self-interacting case and that boson stars can possess spatial oscillations in the scalar field. We also discuss the corresponding black hole solutions that carry charged scalar hair. △ Less

Submitted 1 September, 2023; v1 submitted 24 July, 2023; originally announced July 2023.

Comments: v2: results on black holes added

Charged and rotating boson stars in 5-dimensional Einstein-Maxwell(-Chern-Simons) theory

Authors: Yves Brihaye, Betti Hartmann

Abstract: We study charged and rotating boson stars in 5-dimensional Einstein-Maxwell(-Chern-Simons) theory assuming the two angular momenta associated to the two orthogonal planes of rotation to be equal. Next to the angular momenta, the boson stars carry electric charge and magnetic moment. Interestingly, we find new branches of Einstein-Maxwell-Chern-Simons solutions for which the spatial part of the gau… ▽ More We study charged and rotating boson stars in 5-dimensional Einstein-Maxwell(-Chern-Simons) theory assuming the two angular momenta associated to the two orthogonal planes of rotation to be equal. Next to the angular momenta, the boson stars carry electric charge and magnetic moment. Interestingly, we find new branches of Einstein-Maxwell-Chern-Simons solutions for which the spatial part of the gauge potential possesses nodes. Consequently, the magnetic moment and the gyromagnetic ratio have opposite sign as compared to the solutions on the main branch. For sufficiently large energy density we find that the solutions possess ergoregions. △ Less

Submitted 16 April, 2023; originally announced April 2023.

Comments: 11 pages including 8 figures

Revisiting and modeling power-law distributions in empirical outage data of power systems

Authors: Bálint Hartmann, Shengfeng Deng, Géza Ódor, Jeffrey Kelling

Abstract: The size distribution of planned and forced outages and following restoration times in power systems have been studied for almost two decades and has drawn great interest as they display heavy tails. Understanding of this phenomenon has been done by various threshold models, which are self-tuned at their critical points, but as many papers pointed out, explanations are intuitive, and more empirica… ▽ More The size distribution of planned and forced outages and following restoration times in power systems have been studied for almost two decades and has drawn great interest as they display heavy tails. Understanding of this phenomenon has been done by various threshold models, which are self-tuned at their critical points, but as many papers pointed out, explanations are intuitive, and more empirical data is needed to support hypotheses. In this paper, the authors analyze outage data collected from various public sources to calculate the outage energy and outage duration exponents of possible power-law fits. Temporal thresholds are applied to identify crossovers from initial short-time behavior to power-law tails. We revisit and add to the possible explanations of the uniformness of these exponents. By performing power spectral analyses on the outage event time series and the outage duration time series, it is found that, on the one hand, while being overwhelmed by white noise, outage events show traits of self-organized criticality (SOC), which may be modeled by a crossover from random percolation to directed percolation branching process with dissipation, coupled to a conserved density. On the other hand, in responses to outages, the heavy tails in outage duration distributions could be a consequence of the highly optimized tolerance (HOT) mechanism, based on the optimized allocation of maintenance resources. △ Less

Submitted 12 July, 2023; v1 submitted 22 March, 2023; originally announced March 2023.

Comments: 16 pages, 8 figures

Journal ref: PRX Energy 2 (2023) 033007

Transformation of social relationships in COVID-19 America: Remote communication may amplify political echo chambers

Authors: Byungkyu Lee, Kangsan Lee, Benjamin Hartmann

Abstract: The COVID-19 pandemic, with millions of Americans compelled to stay home and work remotely, presented an opportunity to explore the dynamics of social relationships in a predominantly remote world. Using the 1972-2022 General Social Surveys, we found that the pandemic significantly disrupted the patterns of social gatherings with family, friends, and neighbors, but only momentarily. Drawing from t… ▽ More The COVID-19 pandemic, with millions of Americans compelled to stay home and work remotely, presented an opportunity to explore the dynamics of social relationships in a predominantly remote world. Using the 1972-2022 General Social Surveys, we found that the pandemic significantly disrupted the patterns of social gatherings with family, friends, and neighbors, but only momentarily. Drawing from the nationwide ego-network surveys of 41,033 Americans from 2020 to 2022, we found that the size and composition of core networks remained stable, though political homophily increased among non-kin relationships compared to previous surveys between 1985 and 2016. Critically, heightened remote communication during the initial phase of the pandemic was associated with increased interaction with the same partisans, though political homophily decreased during the later phase of the pandemic when in-person contacts increased. These results underscore the crucial role of social institutions and social gatherings in promoting spontaneous encounters with diverse political backgrounds. △ Less

Submitted 17 November, 2023; v1 submitted 9 March, 2023; originally announced March 2023.

Conversation Regression Testing: A Design Technique for Prototyping Generalizable Prompt Strategies for Pre-trained Language Models

Authors: J. D. Zamfirescu-Pereira, Bjoern Hartmann, Qian Yang

Abstract: Pre-trained language models (LLMs) such as GPT-3 can carry fluent, multi-turn conversations out-of-the-box, making them attractive materials for chatbot design. Further, designers can improve LLM chatbot utterances by prepending textual prompts -- instructions and examples of desired interactions -- to its inputs. However, prompt-based improvements can be brittle; designers face challenges systema… ▽ More Pre-trained language models (LLMs) such as GPT-3 can carry fluent, multi-turn conversations out-of-the-box, making them attractive materials for chatbot design. Further, designers can improve LLM chatbot utterances by prepending textual prompts -- instructions and examples of desired interactions -- to its inputs. However, prompt-based improvements can be brittle; designers face challenges systematically understanding how a prompt strategy might impact the unfolding of subsequent conversations across users. To address this challenge, we introduce the concept of Conversation Regression Testing. Based on sample conversations with a baseline chatbot, Conversation Regression Testing tracks how conversational errors persist or are resolved by applying different prompt strategies. We embody this technique in an interactive design tool, BotDesigner, that lets designers identify archetypal errors across multiple conversations; shows common threads of conversation using a graph visualization; and highlights the effects of prompt changes across bot design iterations. A pilot evaluation demonstrates the usefulness of both the concept of regression testing and the functionalities of BotDesigner for chatbot designers. △ Less

Submitted 6 February, 2023; originally announced February 2023.

Comments: 9 pages, 7 figures

Charged and radially excited boson stars (in Anti-de Sitter)

Authors: Y. Brihaye, F. Console, B. Hartmann

Abstract: We study charged and radially excited boson stars in both asymptotically flat as well as asymptotically Anti-de Sitter space-time. We demonstrate that two different types of radially excited solutions exist~: one that persists in the linear limit of small scalar fields, in which analytical arguments suggest the existence of these solutions, and one that appears only in the highly non-linear regime… ▽ More We study charged and radially excited boson stars in both asymptotically flat as well as asymptotically Anti-de Sitter space-time. We demonstrate that two different types of radially excited solutions exist~: one that persists in the linear limit of small scalar fields, in which analytical arguments suggest the existence of these solutions, and one that appears only in the highly non-linear regime of the model. We also demonstrate that the formation of wavy scalar hair discussed previously for black holes and boson stars in asymptotically flat space-time persists for asymptotically Anti-de Sitter space-time. △ Less

Submitted 16 September, 2022; originally announced September 2022.

Synchronization dynamics on the EU and US power grids

Authors: Géza Ódor, Shengfeng Deng, Bálint Hartmann, Jeffrey Kelling

Abstract: Dynamical simulation of the cascade failures on the EU and USA high-voltage power grids has been done via solving the second-order Kuramoto equation. We show that synchronization transition happens by increasing the global coupling parameter $K$ with metasatble states depending on the initial conditions so that hysteresis loops occur. We provide analytic results for the time dependence of frequenc… ▽ More Dynamical simulation of the cascade failures on the EU and USA high-voltage power grids has been done via solving the second-order Kuramoto equation. We show that synchronization transition happens by increasing the global coupling parameter $K$ with metasatble states depending on the initial conditions so that hysteresis loops occur. We provide analytic results for the time dependence of frequency spread in the large $K$ approximation and by comparing it with numerics of $d=2,3$ lattices, we find agreement in the case of ordered initial conditions. However, different power-law (PL) tails occur, when the fluctuations are strong. After thermalizing the systems we allow a single line cut failure and follow the subsequent overloads with respect to threshold values $T$. The PDFs $p(N_f)$ of the cascade failures exhibit PL tails near the synchronization transition point $K_c$. Near $K_c$ the exponents of the PL-s for the US power grid vary with $T$ as $1.4 \le τ\le 2.1$, in agreement with the empirical blackout statistics, while on the EU power grid we find somewhat steeper PL-s characterized by $1.4 \le τ\le 2.4$. Below $K_c$ we find signatures of $T$-dependent PL-s, caused by frustrated synchronization, reminiscent of Griffiths effects. Here we also observe stability growth following the blackout cascades, similar to intentional islanding, but for $K > K_c$ this does not happen. For $T < T_c$, bumps appear in the PDFs with large mean values, known as "dragon king" blackout events. We also analyze the delaying/stabilizing effects of instantaneous feedback or increased dissipation and show how local synchronization behaves on geographic maps. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Comments: 14 pages, 19 figures

Journal ref: Phys. Rev. E 106 (2022) 034311

Predicting and Explaining Mobile UI Tappability with Vision Modeling and Saliency Analysis

Authors: Eldon Schoop, Xin Zhou, Gang Li, Zhourong Chen, Björn Hartmann, Yang Li

Abstract: We use a deep learning based approach to predict whether a selected element in a mobile UI screenshot will be perceived by users as tappable, based on pixels only instead of view hierarchies required by previous work. To help designers better understand model predictions and to provide more actionable design feedback than predictions alone, we additionally use ML interpretability techniques to hel… ▽ More We use a deep learning based approach to predict whether a selected element in a mobile UI screenshot will be perceived by users as tappable, based on pixels only instead of view hierarchies required by previous work. To help designers better understand model predictions and to provide more actionable design feedback than predictions alone, we additionally use ML interpretability techniques to help explain the output of our model. We use XRAI to highlight areas in the input screenshot that most strongly influence the tappability prediction for the selected region, and use k-Nearest Neighbors to present the most similar mobile UIs from the dataset with opposing influences on tappability perception. △ Less

Submitted 5 April, 2022; originally announced April 2022.

Comments: CHI'22

Boson stars and black holes with wavy scalar hair

Authors: Yves Brihaye, Betti Hartmann

Abstract: In this paper, we follow up on the discovery of a new type of solution in the Einstein-Maxwell system coupled minimally to a self-interacting complex scalar field. For sufficiently large gravitational coupling and sufficiently small electromagnetic coupling we demonstrate that boson stars as well as black holes can carry scalar hair that shows a distinct new feature~: a number of spatial oscillati… ▽ More In this paper, we follow up on the discovery of a new type of solution in the Einstein-Maxwell system coupled minimally to a self-interacting complex scalar field. For sufficiently large gravitational coupling and sufficiently small electromagnetic coupling we demonstrate that boson stars as well as black holes can carry scalar hair that shows a distinct new feature~: a number of spatial oscillations in the scalar field away from the core or horizon, respectively. These spatial oscillations appear also in the curvature invariants and hence should be a detectable feature of the space-time. As a first hint that this is true, we show that the effective potential for null geodesics in this space-time possesses a local minimum indicating that in the spatial region where oscillations occur a new stable photon sphere should be possible. We also study the interior of the black holes with scalar hair and show that the curvature singularity appears at a finite value of the radius and that black holes with wavy scalar hair have this singularity very close to the center. △ Less

Submitted 3 May, 2022; v1 submitted 23 December, 2021; originally announced December 2021.

Comments: Matches version accepted for publication in Phys. Rev. D apart from Fig. 16 which is improved as compared to PRD version

(Un)balanced holographic superconductors with electric and spin motive force coupling

Authors: Nathalia P. Aprile, Betti Hartmann, Jutta Kunz

Abstract: We study holographic phase transitions in (2+1) dimensions that possess interacting phases which result from a direct coupling between the two U(1) gauge fields. This can be interpreted as a non-minimal interaction between the electric and spin motive forces of the dual model. We first present a new analytical solution of the Einstein-Maxwell equations that describes a black hole with charge non-e… ▽ More We study holographic phase transitions in (2+1) dimensions that possess interacting phases which result from a direct coupling between the two U(1) gauge fields. This can be interpreted as a non-minimal interaction between the electric and spin motive forces of the dual model. We first present a new analytical solution of the Einstein-Maxwell equations that describes a black hole with charge non-equivalent to the sum of the asymptotic charges of the two U(1) gauge fields and briefly discuss formation of uncharged scalar hair on this solution. We then study the formation of charged scalar hair on an uncharged black hole background and discuss the dual description of balanced as well as unbalanced superconductors. △ Less

Submitted 11 December, 2021; originally announced December 2021.

Horndeski Proca stars with vector hair

Authors: Y. Brihaye, B. Hartmann, B. Kleihaus, J. Kunz

Abstract: We study Proca stars in a vector-tensor gravity model inspired by Horndeski's generalized Einstein-Maxwell field equations, supplemented with a mass term for the vector field. We discuss the effects of the non-minimal coupling term on the properties of the resulting Proca stars. %and show that they can form vector hair. We show that the sign of the coupling constant is crucial in determining the g… ▽ More We study Proca stars in a vector-tensor gravity model inspired by Horndeski's generalized Einstein-Maxwell field equations, supplemented with a mass term for the vector field. We discuss the effects of the non-minimal coupling term on the properties of the resulting Proca stars. %and show that they can form vector hair. We show that the sign of the coupling constant is crucial in determining the generic properties of these generalized Proca star solutions, as soon as the magnitude of the coupling constant is sufficiently large to allow for significant deviations from the standard Proca star case. For negative coupling constant we observe a new type of limiting behavior for the generalized Proca stars, where the spacetime splits into an interior region with matter fields and an exterior Schwarzschild region. △ Less

Submitted 31 January, 2022; v1 submitted 25 September, 2021; originally announced September 2021.

Comments: v2: three figures added, discussion on photon orbits added; matches version accepted for publication in Phys. Rev. D

Spherically symmetric charged black holes with wavy scalar hair

Authors: Y. Brihaye, B. Hartmann

Abstract: We study standard Einstein-Maxwell theory minimally coupled to a complex valued and self-interacting scalar field. We demonstrate that new, previously unnoticed spherically symmetric, charged black hole solutions with scalar hair exist in this model for sufficiently large gravitational coupling and sufficiently small electromagnetic coupling. The novel scalar hair has the form of a spatially oscil… ▽ More We study standard Einstein-Maxwell theory minimally coupled to a complex valued and self-interacting scalar field. We demonstrate that new, previously unnoticed spherically symmetric, charged black hole solutions with scalar hair exist in this model for sufficiently large gravitational coupling and sufficiently small electromagnetic coupling. The novel scalar hair has the form of a spatially oscillating ''wave packet'' and back-reacts on the space-time such that both the Ricci and the Kretschmann scalar, respectively, possess qualitatively similar oscillations. △ Less

Submitted 4 August, 2021; originally announced August 2021.

How Does the Vulnerability of an Evolving Power Grid Change?

Authors: Balint Hartmann

Abstract: In this paper the seven-decade historical dataset of the Hungarian power system is used to perform vulnerability assessment applying a complex network approach. In this paper the seven-decade historical dataset of the Hungarian power system is used to perform vulnerability assessment applying a complex network approach. △ Less

Submitted 19 April, 2021; originally announced April 2021.

eduPIC: an introductory particle based code for radio-frequency plasma simulation

Authors: Zoltan Donko, Aranka Derzsi, Mate Vass, Benedek Horvath, Sebastian Wilczek, Botond Hartmann, Peter Hartmann

Abstract: For the self-consistent description of various plasma sources operated in the low-pressure (nonlocal, kinetic) regime, the Particle-In-Cell simulation approach, combined with the Monte Carlo treatment of collision processes (PIC/MCC), has become an important tool during the past decades. PIC/MCC simulation codes have been developed and maintained by many research groups, some of these codes are av… ▽ More For the self-consistent description of various plasma sources operated in the low-pressure (nonlocal, kinetic) regime, the Particle-In-Cell simulation approach, combined with the Monte Carlo treatment of collision processes (PIC/MCC), has become an important tool during the past decades. PIC/MCC simulation codes have been developed and maintained by many research groups, some of these codes are available to the community as freeware resources. While this computational approach has already been present for a number of decades, the rapid evolution of the computing infrastructure makes it increasingly more popular and accessible, as simulations of simple systems can be executed now on personal computers or laptops. During the past few years we have experienced an increasing interest in lectures and courses dealing with the basics of particle simulations, including the PIC/MCC technique. In a response to this, this paper (i) provides a tutorial on the physical basis and the algorithms of the PIC/MCC technique and (ii) presents a basic (spatially one-dimensional) electrostatic PIC/MCC simulation code for Capacitively Coupled Plasmas, whose source is made freely available in various programming languages. We share the code in C/C++ versions, as well as in a version written in Rust, which is a rapidly emerging computational language. Our code intends to be a "starting tool" for those who are interested in learning the details of the PIC/MCC technique and would like to develop the "skeleton" code further, for their research purposes. △ Less

Submitted 17 March, 2021; originally announced March 2021.

Spontaneous scalarization of self-gravitating magnetic fields

Authors: Yves Brihaye, Rogério Capobianco, Betti Hartmann

Abstract: In this paper, we study the spontaneous scalarization of an extended, self-gravitating system which is static, cylindrically symmetric and possesses electromagnetic fields. We demonstrate that a real massive scalar field condenses on this Melvin magnetic universe solution when introducing a non-minimal coupling between the scalar field and (a) the magnetic field and (b) the curvature of the space-… ▽ More In this paper, we study the spontaneous scalarization of an extended, self-gravitating system which is static, cylindrically symmetric and possesses electromagnetic fields. We demonstrate that a real massive scalar field condenses on this Melvin magnetic universe solution when introducing a non-minimal coupling between the scalar field and (a) the magnetic field and (b) the curvature of the space-time, respectively. We find that in both cases, the solutions exist on a finite interval of the coupling constant and that solutions with a number of nodes $k$ in the scalar field exist. For case (a) we observe that the intervals of existence are mutually exclusive for different $k$. △ Less

Submitted 16 March, 2021; originally announced March 2021.

Journal ref: Phys. Rev. D 103, 124020 (2021)

Spontaneously vectorized Einstein-Gauss-Bonnet black holes

Authors: Simon Barton, Betti Hartmann, Burkhard Kleihaus, Jutta Kunz

Abstract: We construct spontaneously vectorized black holes where a real vector field is coupled to the Gauss-Bonnet invariant. We employ three coupling functions for the vector field, and determine the respective domains of existence of the vectorized black holes. These domains of existence are bounded by the marginally stable Schwarzschild black holes and the critical vectorized black holes. We also addre… ▽ More We construct spontaneously vectorized black holes where a real vector field is coupled to the Gauss-Bonnet invariant. We employ three coupling functions for the vector field, and determine the respective domains of existence of the vectorized black holes. These domains of existence are bounded by the marginally stable Schwarzschild black holes and the critical vectorized black holes. We also address the effects of a mass term. For a given black hole mass the horizon radius is smaller for the vectorized black holes than for the Schwarzschild black holes. Since the vector field vanishes at the horizon, there is no contribution from the Gauss-Bonnet term to the entropy of the vectorized black holes. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Comments: 12 pages, 8 figures

Calculation of multipole moments of axistationary electrovacuum spacetimes

Authors: Gyula Fodor, Etevaldo dos Santos Costa Filho, Betti Hartmann

Abstract: The multipole moments of stationary axially symmetric vacuum or electrovacuum spacetimes can be expressed in terms of the power series expansion coefficients of the Ernst potential on the axis. In this paper we present a simpler, more efficient calculation of the multipole moments, applying methods introduced by Bäckdahl and Herberthson. For the non-vacuum electromagnetic case, our results for the… ▽ More The multipole moments of stationary axially symmetric vacuum or electrovacuum spacetimes can be expressed in terms of the power series expansion coefficients of the Ernst potential on the axis. In this paper we present a simpler, more efficient calculation of the multipole moments, applying methods introduced by Bäckdahl and Herberthson. For the non-vacuum electromagnetic case, our results for the octupole and higher moments differ from the results already published in the literature. The reason for this difference is that we correct an earlier unnoticed mistake in the power series solution of the Ernst equations. We also apply the presented method to directly calculate the multipole moments of a 5-parameter charged magnetized generalization of the Kerr and Tomimatsu-Sato exact solutions. △ Less

Submitted 10 December, 2020; originally announced December 2020.

Comments: 44 pages. Two Mathematica and two equivalent Maple programs are provided as ancillary files

Journal ref: Phys. Rev. D 104, 064012 (2021)

Opportunities and Challenges for Circuit Board Level Hardware Description Languages

Authors: Richard Lin, Björn Hartmann

Abstract: Board-level hardware description languages (HDLs) are one approach to increasing automation and raising the level of abstraction for designing electronics. These systems borrow programming languages concepts like generators and type systems, but also must be designed with human factors in mind to serve existing hardware engineers. In this work, we look at one recent prototype system, and discuss o… ▽ More Board-level hardware description languages (HDLs) are one approach to increasing automation and raising the level of abstraction for designing electronics. These systems borrow programming languages concepts like generators and type systems, but also must be designed with human factors in mind to serve existing hardware engineers. In this work, we look at one recent prototype system, and discuss open questions spanning from fundamental models through usable interfaces. △ Less

Submitted 16 November, 2020; originally announced November 2020.

Comments: HATRA 2020 workshop paper

Inflation inside non-topological defects and scalar black holes

Authors: Y. Brihaye, F. Cônsole, B. Hartmann

Abstract: In this paper, we demonstrate that a phenomenon described as "topological inflation" during which inflation occurs inside the core of topological defects, has a non-topological counterpart. This appears in a simple set-up containing Einstein gravity coupled minimally to an electromagnetic field as well as a self-interacting, complex valued scalar field. The U(1) symmetry of the model is unbroken a… ▽ More In this paper, we demonstrate that a phenomenon described as "topological inflation" during which inflation occurs inside the core of topological defects, has a non-topological counterpart. This appears in a simple set-up containing Einstein gravity coupled minimally to an electromagnetic field as well as a self-interacting, complex valued scalar field. The U(1) symmetry of the model is unbroken and leads to the existence of globally regular solutions, so-called boson stars, that develop a horizon for sufficiently strong gravitational coupling. We also find that the same phenomenon exists for black holes with scalar hair. △ Less

Submitted 29 October, 2020; originally announced October 2020.

Comments: 13 pages; Manuscript prepared for special edition of "Symmetry" in celebration of Yves Brihaye's career

Searching for small-world and scale-free behaviour in long-term historical data of a real-world power grid

Authors: Bálint Hartmann, Viktória Sugár

Abstract: In this paper the authors use the 70-year-long historical dataset of the Hungarian power grid to perform complex network analysis, which is the first attempt to evaluate small-world and scale-free properties on long-term real-world data. In this paper the authors use the 70-year-long historical dataset of the Hungarian power grid to perform complex network analysis, which is the first attempt to evaluate small-world and scale-free properties on long-term real-world data. △ Less

Submitted 19 October, 2020; originally announced October 2020.

Strong gravity effects of charged Q-clouds and inflating black holes

Authors: Yves Brihaye, Betti Hartmann

Abstract: In this paper, we re-examine charged Q-clouds around spherically symmetric, static black holes. In particular, we demonstrate that for fixed coupling constants two different branches of charged scalar clouds exist around Schwarzschild black holes. This had not been noticed previously. We find that the new solutions possess a "hard wall" at maximal possible gauge coupling. This wall separates the i… ▽ More In this paper, we re-examine charged Q-clouds around spherically symmetric, static black holes. In particular, we demonstrate that for fixed coupling constants two different branches of charged scalar clouds exist around Schwarzschild black holes. This had not been noticed previously. We find that the new solutions possess a "hard wall" at maximal possible gauge coupling. This wall separates the interior (containing the black hole horizon), in which the scalar field is trapped in the "false vacuum", from the "true vacuum" exterior. When taking back-reaction onto the space-time into account, we find that at maximal possible back reaction, the black hole solutions corresponding to these two branches either become extremal black holes with diverging scalar field derivative on the horizon or inflating black holes with a second, "cosmological" horizon which - outside this second horizon - correspond to extremal Reissner-Nordström black holes. △ Less

Submitted 17 September, 2020; originally announced September 2020.

Computer-Aided Personalized Education

Authors: Rajeev Alur, Richard Baraniuk, Rastislav Bodik, Ann Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra Richardson, Armando Solar-Lezama, Candace Thille, Moshe Vardi

Abstract: The shortage of people trained in STEM fields is becoming acute, and universities and colleges are straining to satisfy this demand. In the case of computer science, for instance, the number of US students taking introductory courses has grown three-fold in the past decade. Recently, massive open online courses (MOOCs) have been promoted as a way to ease this strain. This at best provides access t… ▽ More The shortage of people trained in STEM fields is becoming acute, and universities and colleges are straining to satisfy this demand. In the case of computer science, for instance, the number of US students taking introductory courses has grown three-fold in the past decade. Recently, massive open online courses (MOOCs) have been promoted as a way to ease this strain. This at best provides access to education. The bigger challenge though is coping with heterogeneous backgrounds of different students, retention, providing feedback, and assessment. Personalized education relying on computational tools can address this challenge. While automated tutoring has been studied at different times in different communities, recent advances in computing and education technology offer exciting opportunities to transform the manner in which students learn. In particular, at least three trends are significant. First, progress in logical reasoning, data analytics, and natural language processing has led to tutoring tools for automatic assessment, personalized instruction including targeted feedback, and adaptive content generation for a variety of subjects. Second, research in the science of learning and human-computer interaction is leading to a better understanding of how different students learn, when and what types of interventions are effective for different instructional goals, and how to measure the success of educational tools. Finally, the recent emergence of online education platforms, both in academia and industry, is leading to new opportunities for the development of a shared infrastructure. This CCC workshop brought together researchers developing educational tools based on technologies such as logical reasoning and machine learning with researchers in education, human-computer interaction, and cognitive psychology. △ Less

Submitted 7 July, 2020; originally announced July 2020.

Comments: A Computing Community Consortium (CCC) workshop report, 12 pages

Report number: ccc2016report_6

Power-law distributions of dynamic cascade failures in power-grid models

Authors: Géza Ódor, Bálint Hartmann

Abstract: Power-law distributed cascade failures are well known in power-grid systems. Understanding this phenomena has been done by various DC threshold models, self-tuned at their critical point. Here we attempt to describe it using an AC threshold model, with a second-order Kuramoto type equation of motion of the power-flow. We have focused on the exploration of network heterogeneity effects, starting fr… ▽ More Power-law distributed cascade failures are well known in power-grid systems. Understanding this phenomena has been done by various DC threshold models, self-tuned at their critical point. Here we attempt to describe it using an AC threshold model, with a second-order Kuramoto type equation of motion of the power-flow. We have focused on the exploration of network heterogeneity effects, starting from homogeneous 2D lattices to the US power-grid, possessing identical nodes and links, to a realistic electric power-grid obtained from the Hungarian electrical database. The last one exhibits node dependent parameters, topologically marginally on the verge of robust networks. We show that too weak quenched heterogeneity, coming solely from the probabilistic self-frequencies of nodes (2D lattice) is not sufficient to find power-law distributed cascades. On the other hand too strong heterogeneity destroys the synchronization of the system. We found agreement with the empirically observed power-law failure size distributions on the US grid, as well as on the Hungarian networks near the synchronization transition point. We have also investigated the consequence of replacing the usual Gaussian self-frequencies to exponential distributed ones, describing renewable energy sources. We found a drop in the steady state synchronization averages, but the cascade size distribution both for the US and Hungarian systems remained insensitive and have kept the universal tails, characterized by the exponent $τ\simeq 1.8$. We have also investigated the effect of an instantaneous feedback mechanism in case of the Hungarian power-grid. △ Less

Submitted 12 June, 2020; v1 submitted 7 May, 2020; originally announced May 2020.

Comments: Extended version with minor changes, accepted in Entropy 22 pages, 13 figures

Journal ref: Entropy 22 (2020) 666

Boson and neutron stars with increased density

Authors: Y. Brihaye, L. Ducobu, B. Hartmann

Abstract: We discuss boson stars and neutron stars, respectively, in a scalar-tensor gravity model with an explicitly time-dependent real scalar field. While the boson stars in our model -- in contrast to the neutron stars -- do not possess a hard core, we find that the qualitative effects of the formation of scalar hair are similar in both cases : the presence of the gravity scalar allows both type of star… ▽ More We discuss boson stars and neutron stars, respectively, in a scalar-tensor gravity model with an explicitly time-dependent real scalar field. While the boson stars in our model -- in contrast to the neutron stars -- do not possess a hard core, we find that the qualitative effects of the formation of scalar hair are similar in both cases : the presence of the gravity scalar allows both type of stars to exist for larger central density as well as larger mass at given radius than their General Relativity counterparts. In particular, we find new types of neutron stars with scalar hair which have radii very close to the corresponding Schwarzschild radius and hence are comparable in density to black holes. This new branch of solutions is stable with respect to the decay into individual baryons. △ Less

Submitted 3 May, 2022; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: Matches version published in Phys. Lett. B

Scalarization of asymptotically Anti-de Sitter black holes with applications to holographic phase transitions

Authors: Yves Brihaye, Betti Hartmann, Nathália Pio Aprile, Jon Urrestilla

Abstract: We study the spontaneous scalarization of spherically symmetric, static and asymptotically Anti-de Sitter (aAdS) black holes in a scalar-tensor gravity model with non-mininal coupling of the form $φ^2\left(α{\cal R} + γ{\cal G}\right)$, where $α$ and $γ$ are constants, while ${\cal R}$ and ${\cal G}$ are the Ricci scalar and Gauss-Bonnet term, respectively. Since these terms act as an effective ``… ▽ More We study the spontaneous scalarization of spherically symmetric, static and asymptotically Anti-de Sitter (aAdS) black holes in a scalar-tensor gravity model with non-mininal coupling of the form $φ^2\left(α{\cal R} + γ{\cal G}\right)$, where $α$ and $γ$ are constants, while ${\cal R}$ and ${\cal G}$ are the Ricci scalar and Gauss-Bonnet term, respectively. Since these terms act as an effective ``mass'' for the scalar field, non-trivial values of the scalar field in the black hole space-time are possible for {\it a priori} vanishing scalar field mass. In particular, we demonstrate that the scalarization of an aAdS black hole requires the curvature invariant $-\left(α{\cal R} + γ{\cal G}\right)$ to drop below the Breitenlohner-Freedman bound close to the black hole horizon, while it asymptotes to a value well above the bound. The dimension of the dual operator on the AdS boundary depends on the parameters $α$ and $γ$ and we demonstrate that -- for fixed operator dimension -- the expectation value of this dual operator increases with decreasing temperature of the black hole, i.e. of the dual field theory. When taking backreaction of the space-time into account, we find that the scalarization of the black hole is the dual description of a phase transition in a strongly coupled quantum system, i.e. corresponds to a holographic phase transition. A possible application are liquid-gas quantum phase transitions, e.g. in $^4$He. Finally, we demonstrate that extremal black holes with $AdS_2\times S^2$ near-horizon geometry {\it cannot support regular scalar fields on the horizon} in the scalar-tensor model studied here. △ Less

Submitted 12 May, 2020; v1 submitted 5 November, 2019; originally announced November 2019.

Comments: v2: discussion on Fefferman-Graham construction added; discussion on applications to condensed matter systems added; matches version accepted for publication in Phys. Rev.D

Journal ref: Phys. Rev. D 101, 124016 (2020)

Real scalar field kink(-antikink)s and their perturbation spectra in a closed universe

Authors: Betti Hartmann, Gabriel Luchini, Clisthenis P. Constantinidis, Carlos F. S. Pereira

Abstract: In this paper we demonstrate that solitons of a simple real scalar field model that are {\it static and linearly stable} do exist when considered in a (3+1)-dimensional, spatially compact space-time background, the static Einstein universe, which is a good approximation to the observed universe for sufficiently small time intervals. We study the properties of these solutions for a $Φ^4$-potential… ▽ More In this paper we demonstrate that solitons of a simple real scalar field model that are {\it static and linearly stable} do exist when considered in a (3+1)-dimensional, spatially compact space-time background, the static Einstein universe, which is a good approximation to the observed universe for sufficiently small time intervals. We study the properties of these solutions for a $Φ^4$-potential and demonstrate that next to the fundamental solutions, excited configurations exist. We also investigate general perturbations about the solitons, determine their eigenfrequency spectra and compare them with those of the perturbations about the vacua of the model. We find that the degeneracy with respect to the multipoles of the perturbation, which is present for the vacua, does no longer exist in the presence of the soliton. Moreover, specific perturbations correspond to zero modes of the system. Our results have applications in condensed matter physics as well as computations of quantum effects (e.g. the Casimir energy) in spatially compact space-times in the presence of soliton-like objects. △ Less

Submitted 28 January, 2020; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: 14 pages including 7 figures; v2: discussion on perturbations considerably extended with new results, new figure, references added

Journal ref: Phys. Rev. D 101, 076004 (2020)

Spontaneous scalarization of boson stars

Authors: Yves Brihaye, Betti Hartmann

Abstract: We study the spontaneous scalarization of spherically symmetric, asymptotically flat boson stars in the $(α{\cal R} + γ{\cal G}) φ^2$ scalar-tensor gravity model. These compact objects are made of a complex valued scalar field that has harmonic time dependence, while their space-time is static and they can reach densities and masses similar to that of supermassive black holes. We find that boson s… ▽ More We study the spontaneous scalarization of spherically symmetric, asymptotically flat boson stars in the $(α{\cal R} + γ{\cal G}) φ^2$ scalar-tensor gravity model. These compact objects are made of a complex valued scalar field that has harmonic time dependence, while their space-time is static and they can reach densities and masses similar to that of supermassive black holes. We find that boson stars can be scalarized for both signs of the scalar-tensor coupling $α$ and $γ$, respectively. This is, in particular, true for boson stars that are {\it a priori} stable with respect to decay into individual bosonic particles. A fundamental difference between the $α$- and $γ$-scalarization exists, though: while we find an interval in $α> 0$ for which boson stars can {\it never} be scalarized when $γ=0$, there is no restriction on $γ\neq 0$ when $α=0$. Typically, two branches of solutions exist that differ in the way the boson star gets scalarized: either the scalar field is maximal at the center of the star, or on a shell with finite radius which roughly corresponds to the outer radius of the boson star. We also demonstrate that the former solutions can be radially excited. △ Less

Submitted 27 May, 2019; v1 submitted 25 March, 2019; originally announced March 2019.

Comments: 10 pages including 5 figures and one table; v2: results on scalar-Gauss-Bonnet model added (including 3 new figures), references added, 15 pages, 8 figures, 1 table

Spontaneous scalarization of charged black holes at the approach to extremality

Authors: Yves Brihaye, Betti Hartmann

Abstract: We study static, spherically symmetric and electrically charged black hole solutions in a quadratic Einstein-scalar-Gauss-Bonnet gravity model. Very similar to the uncharged case, black holes undergo spontaneous scalarization for sufficiently large scalar-tensor coupling $γ$ - a phenomenon attributed to a tachyonic instability of the scalar field system. While in the uncharged case, this effect is… ▽ More We study static, spherically symmetric and electrically charged black hole solutions in a quadratic Einstein-scalar-Gauss-Bonnet gravity model. Very similar to the uncharged case, black holes undergo spontaneous scalarization for sufficiently large scalar-tensor coupling $γ$ - a phenomenon attributed to a tachyonic instability of the scalar field system. While in the uncharged case, this effect is only possible for positive values of $γ$, we show that for sufficiently large values of the electric charge $Q$ two independent domains of existence in the $γ$-$Q$-plane appear: one for positive $γ$ and one for negative $γ$. We demonstrate that this new domain for negative $γ$ exists because of the fact that the near-horizon geometry of a nearly extremally charged black hole is $AdS_2\times S^2$.This new domain appears for electric charges larger than approximately 74$\%$ of the extremal charge. For positive $γ$ we observe that a singularity with diverging curvature invariants forms outside the horizon when approaching extremality. △ Less

Submitted 15 February, 2019; originally announced February 2019.

Comments: 13 pages including 6 figures and one table

Charged scalar-tensor solitons and black holes with (approximate) Anti-de Sitter asymptotics

Authors: Yves Brihaye, Betti Hartmann

Abstract: We discuss charged and static solutions in a shift-symmetric scalar-tensor gravity model including a negative cosmological constant. The solutions are only approximately Anti-de Sitter (AdS) asymptotically. While spherically symmetric black holes with scalar-tensor hair do exist in our model, the uncharged spherically symmetric scalar-tensor solitons constructed recently cannot be generalised to i… ▽ More We discuss charged and static solutions in a shift-symmetric scalar-tensor gravity model including a negative cosmological constant. The solutions are only approximately Anti-de Sitter (AdS) asymptotically. While spherically symmetric black holes with scalar-tensor hair do exist in our model, the uncharged spherically symmetric scalar-tensor solitons constructed recently cannot be generalised to include charge. We point out that this is due to the divergence of the electric monopole at the origin of the coordinate system, while higher order multipoles are well-behaved. We also demonstrate that black holes with scalar hair exist only for horizon value larger than that of the corresponding {\it extremal} Reissner-Nordström-AdS (RNAdS) solution, i.e. that we cannot construct solutions with arbitrarily small horizon radius. We demonstrate that for fixed $Q$ a horizon radius exists at which the specific heat $C_Q$ diverges - signalling a transition from thermodynamically unstable to stable black holes. In contrast to the RNAdS case, however, we have only been able to construct a stable phase of large horizon black holes, while a stable phase of small horizon black holes does not (seem to) exist. △ Less

Submitted 8 January, 2019; v1 submitted 11 October, 2018; originally announced October 2018.

Comments: v2: minor changes in figure captions; clarifications added; reference added; matches version accepted for publication in JHEP

Critical phenomena of charged Einstein-Gauss-Bonnet black holes with charged scalar hair

Authors: Yves Brihaye, Betti Hartmann

Abstract: Einstein-Gauss-Bonnet-gravity (EGB) coupled minimally to a $U(1)$ gauged, massive scalar field possesses -- for appropriate choices of the $U(1)$ charge -- black hole solutions that carry charged scalar hair if the frequency of the harmonic time-dependence of the scalar field is equal to the upper bound on the superradiant frequency. The existence of these solutions has first been discussed in \ci… ▽ More Einstein-Gauss-Bonnet-gravity (EGB) coupled minimally to a $U(1)$ gauged, massive scalar field possesses -- for appropriate choices of the $U(1)$ charge -- black hole solutions that carry charged scalar hair if the frequency of the harmonic time-dependence of the scalar field is equal to the upper bound on the superradiant frequency. The existence of these solutions has first been discussed in \cite{Grandi:2017zgz}. In this paper, we demonstrate that the critical value of the scalar charge results from the requirement of non-extremality of the charged black hole solutions and the fact that the scalar field should not escape to infinity. Moreover, we investigate the hairy black holes in more detail and demonstrate that the branch of these solutions joins the branch of the corresponding charged EGB black hole for vanishing scalar field, but is {\it not} connected to the branch of boson stars in the limit of vanishing horizon radius. This indicates that it is unlikely that these black holes appear from the collapse of the corresponding boson stars. Finally, we prove a No-hair theorem for charged scalar fields with harmonic time-dependence for static, spherically symmetric, asymptotically flat electro-vacuum black holes in $d$ space-time dimensions and hence demonstrate that the GB term is crucial for the existence of the hairy black holes discussed in this paper. △ Less

Submitted 27 April, 2018; originally announced April 2018.

Comments: 13 pages including 6 figures

Heterogeneity effects in power-grid network models

Authors: Géza Ódor, Bálint Hartmann

Abstract: We have compared the phase synchronization transition of the second order Kuramoto model on 2D lattices and on large, synthetic power grid networks, generated from real data. The latter are weighted, hierarchical modular networks. Due to the inertia the synchronization transitions are of first order type, characterized by fast relaxation and hysteresis by varying the global coupling parameter K. F… ▽ More We have compared the phase synchronization transition of the second order Kuramoto model on 2D lattices and on large, synthetic power grid networks, generated from real data. The latter are weighted, hierarchical modular networks. Due to the inertia the synchronization transitions are of first order type, characterized by fast relaxation and hysteresis by varying the global coupling parameter K. Finite size scaling analysis shows that there is no real phase transition in the thermodynamic limit, unlike in the mean-field model. The order parameter and its fluctuations depend on the network size without any real singular behavior. In case of power grids the phase synchronization breaks down at lower global couplings, than in case of 2D lattices of the same sizes, but the hysteresis is much narrower or negligible due to the low connectivity of the graphs. The temporal behavior of de-synchronization avalanches after a sudden quench to low K values, has been followed and duration distributions with power-law tails have been detected. This suggests rare region effects, caused by frozen disorder, resulting in heavy tailed distributions, even without a self organization mechanism as a consequence of a catastrophic drop event in the couplings. △ Less

Submitted 21 July, 2018; v1 submitted 29 January, 2018; originally announced January 2018.

Comments: 10 pages, 10 Figures, accepted version in PRE

Journal ref: Phys. Rev. E 98, 022305 (2018)

Solitons and black hole in shift symmetric scalar-tensor gravity with cosmological constant

Authors: Yves Brihaye, Betti Hartmann, Jon Urrestilla

Abstract: We demonstrate the existence of static, spherically symmetric globally regular, i.e. solitonic solutions of a shift-symmetric scalar-tensor gravity model with negative cosmological constant. The norm of the Noether current associated to the shift symmetry is finite in the full space-time. We also discuss the corresponding black hole solutions and demonstrate that the interplay between the scalar-t… ▽ More We demonstrate the existence of static, spherically symmetric globally regular, i.e. solitonic solutions of a shift-symmetric scalar-tensor gravity model with negative cosmological constant. The norm of the Noether current associated to the shift symmetry is finite in the full space-time. We also discuss the corresponding black hole solutions and demonstrate that the interplay between the scalar-tensor coupling and the cosmological constant leads to the existence of new branches of solutions. To linear order in the scalar-tensor coupling, the asymptotic space-time corresponds to an Anti-de Sitter space-time with a non-trivial scalar field on its conformal boundary. This allows the interpretation of our solutions in the context of the AdS/CFT correspondence. Finally, we demonstrate that - for physically relevant, small values of the scalar-tensor coupling - solutions with positive cosmological constant do not exist in our model. △ Less

Submitted 6 December, 2017; originally announced December 2017.

Excited cosmic strings with superconducting currents

Authors: Betti Hartmann, Florent Michel, Patrick Peter

Abstract: We present a detailed analysis of {\it excited} cosmic string solutions which possess superconducting currents. These currents can be excited inside the string core, and - if the condensate is large enough - can lead to the excitations of the Higgs field. Next to the case with global unbroken symmetry, we discuss also the effects of the gauging of this symmetry and show that excited condensates pe… ▽ More We present a detailed analysis of {\it excited} cosmic string solutions which possess superconducting currents. These currents can be excited inside the string core, and - if the condensate is large enough - can lead to the excitations of the Higgs field. Next to the case with global unbroken symmetry, we discuss also the effects of the gauging of this symmetry and show that excited condensates persist when coupled to an electromagnetic field. The space-time of such strings is also constructed by solving the Einstein equations numerically and we show how the local scalar curvature is modified by the excitation. We consider the relevance of our results on the cosmic string network evolution as well as observations of primordial gravitational waves and cosmic rays. △ Less

Submitted 6 December, 2017; v1 submitted 2 October, 2017; originally announced October 2017.

Comments: 20 pages; v2: matches version accepted for publication in Phys. Rev. D

Journal ref: Phys. Rev. D 96, 123531 (2017)

TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences

Authors: Ryo Suzuki, Gustavo Soares, Andrew Head, Elena Glassman, Ruan Reis, Melina Mongiovi, Loris D'Antoni, Bjoern Hartmann

Abstract: Recent advances in program synthesis offer means to automatically debug student submissions and generate personalized feedback in massive programming classrooms. When automatically generating feedback for programming assignments, a key challenge is designing pedagogically useful hints that are as effective as the manual feedback given by teachers. Through an analysis of teachers' hint-giving pract… ▽ More Recent advances in program synthesis offer means to automatically debug student submissions and generate personalized feedback in massive programming classrooms. When automatically generating feedback for programming assignments, a key challenge is designing pedagogically useful hints that are as effective as the manual feedback given by teachers. Through an analysis of teachers' hint-giving practices in 132 online Q&A posts, we establish three design guidelines that an effective feedback design should follow. Based on these guidelines, we develop a feedback system that leverages both program synthesis and visualization techniques. Our system compares the dynamic code execution of both incorrect and fixed code and highlights how the error leads to a difference in behavior and where the incorrect code trace diverges from the expected solution. Results from our study suggest that our system enables students to detect and fix bugs that are not caught by students using another existing visual debugging tool. △ Less

Submitted 12 August, 2017; originally announced August 2017.

Comments: VL/HCC 2017

ACM Class: H.5.2

Charged black holes in a generalized scalar-tensor gravity model

Authors: Yves Brihaye, Betti Hartmann

Abstract: We study 4-dimensional charged and static black holes in a generalized scalar-tensor gravity model, in which a shift symmetry for the scalar field exists. For vanishing scalar field the solution corresponds to the Reissner-Nordström (RN) solution, while solutions of the full scalar-gravity model have to be constructed numerically. We demonstrate that these black holes support galilean scalar hair… ▽ More We study 4-dimensional charged and static black holes in a generalized scalar-tensor gravity model, in which a shift symmetry for the scalar field exists. For vanishing scalar field the solution corresponds to the Reissner-Nordström (RN) solution, while solutions of the full scalar-gravity model have to be constructed numerically. We demonstrate that these black holes support galilean scalar hair up to a maximal value of the scalar-tensor coupling that depends on the value of the charge and can be up to roughly twice as large as that for uncharged solutions. The Hawking temperature $T_{\rm H}$ of the hairy black holes at maximal scalar-tensor coupling decreases continuously with the increase of the charge and reaches $T_{\rm H}=0$ for the highest possible charge that these solutions can carry. However, in this limit, the scalar-tensor coupling needs to vanish. The limiting solution hence corresponds to the extremal RN solution, which does not support regular galilaen scalar hair due to its AdS$_2\times S^2$ near-horizon geometry. △ Less

Submitted 30 June, 2017; v1 submitted 15 April, 2017; originally announced April 2017.

Comments: 11 pages including 5 figures; v2: comments on conserved Noether current added, references added; matches version accepted for publication in Phys. Lett. B

Report number: MITP/17-032