Showing 1–50 of 220 results for author: Froehlich, J

An integrated multi-size collision model for flotation

Authors: Benedikt Tiedemann, Moritz Kreuseler, Jochen Fröhlich

Abstract: The accuracy obtained with CFD and process simulations of flotation critically depends on the quality and robustness of the underlying models for the non-resolved sub-processes. An important issue in flotation is the collision between particles and air bubbles. Many models have been developed, but their accuracy for applications in flotation is limited. In particular, the significant size differen… ▽ More The accuracy obtained with CFD and process simulations of flotation critically depends on the quality and robustness of the underlying models for the non-resolved sub-processes. An important issue in flotation is the collision between particles and air bubbles. Many models have been developed, but their accuracy for applications in flotation is limited. In particular, the significant size difference between particles and bubbles and their intricate coupling to the turbulent flow field pose severe challenges. The present paper first reviews presently employed collision models, highlighting their advantages and disadvantages when applied to flotation. On this basis, the "Integrated Multi-Size Collision model" (IMSC) is proposed. After a detailed evaluation, it combines existing approaches from various sources and introduces new developments designed to address present shortcomings. The model is validated by own DNS data as well as data from the literature. It is shown that, overall, the IMSC provides better predictions for the collision rate in typical flotation conditions than presently employed collision models and covers the entire parameter range of the flotation process very well. Using the available data, some of the underlying modelling assumptions are validated. Finally, a comprehensive overview of the model is provided for further use in Euler-Euler frameworks or process simulations. △ Less

Submitted 4 June, 2025; originally announced June 2025.

Predictive processing frameworks for perception can explain recent drone sightings in the United States

Authors: Joel Frohlich, Leonardo Christov-Moore, Nicco Reggente

Abstract: We draw on the predictive processing theory of perception to explain why healthy, intelligent, honest, and psychologically normal people might easily misperceive lights in the sky as threatening or extraordinary objects, especially in the context of WEIRD (western, educated, industrial, rich, and democratic) societies. We argue that the uniquely sparse properties of skyborne and celestial stimuli… ▽ More We draw on the predictive processing theory of perception to explain why healthy, intelligent, honest, and psychologically normal people might easily misperceive lights in the sky as threatening or extraordinary objects, especially in the context of WEIRD (western, educated, industrial, rich, and democratic) societies. We argue that the uniquely sparse properties of skyborne and celestial stimuli make it difficult for an observer to update prior beliefs, which can be easily fit to observed lights. Moreover, we hypothesize that humans have likely evolved to perceive the sky and its perceived contents as deeply meaningful. Finally, we briefly discuss the possible role of generalized distrust in scientific institutions and ultimately argue for the importance of astronomy education for producing a society with prior beliefs that support veridical perception. △ Less

Submitted 5 May, 2025; originally announced May 2025.

Comments: 7 pages including references, 3 figures

ImaginateAR: AI-Assisted In-Situ Authoring in Augmented Reality

Authors: Jaewook Lee, Filippo Aleotti, Diego Mazala, Guillermo Garcia-Hernando, Sara Vicente, Oliver James Johnston, Isabel Kraus-Liang, Jakub Powierza, Donghoon Shin, Jon E. Froehlich, Gabriel Brostow, Jessica Van Brummelen

Abstract: While augmented reality (AR) enables new ways to play, tell stories, and explore ideas rooted in the physical world, authoring personalized AR content remains difficult for non-experts, often requiring professional tools and time. Prior systems have explored AI-driven XR design but typically rely on manually-defined environments and fixed asset libraries, limiting creative flexibility and real-wor… ▽ More While augmented reality (AR) enables new ways to play, tell stories, and explore ideas rooted in the physical world, authoring personalized AR content remains difficult for non-experts, often requiring professional tools and time. Prior systems have explored AI-driven XR design but typically rely on manually-defined environments and fixed asset libraries, limiting creative flexibility and real-world relevance. We introduce ImaginateAR, a mobile AI-assisted AR authoring system that aims to let anyone build anything, anywhere -- simply by speaking their imagination. ImaginateAR is powered by custom pipelines for offline scene understanding, fast 3D asset generation, and LLM-driven speech interaction. Users might say "a dragon enjoying a campfire" (P7) and iteratively refine the scene using both AI and manual tools. Our technical evaluation shows that ImaginateAR produces more accurate outdoor scene graphs and generates 3D meshes faster than prior methods. A three-part user study (N=20) revealed preferred roles for AI in authoring, what and how users create in free-form use, and design implications for future AR authoring tools. △ Less

Submitted 30 April, 2025; originally announced April 2025.

Coding for Computation: Efficient Compression of Neural Networks for Reconfigurable Hardware

Authors: Hans Rosenberger, Rodrigo Fischer, Johanna S. Fröhlich, Ali Bereyhi, Ralf R. Müller

Abstract: As state of the art neural networks (NNs) continue to grow in size, their resource-efficient implementation becomes ever more important. In this paper, we introduce a compression scheme that reduces the number of computations required for NN inference on reconfigurable hardware such as FPGAs. This is achieved by combining pruning via regularized training, weight sharing and linear computation codi… ▽ More As state of the art neural networks (NNs) continue to grow in size, their resource-efficient implementation becomes ever more important. In this paper, we introduce a compression scheme that reduces the number of computations required for NN inference on reconfigurable hardware such as FPGAs. This is achieved by combining pruning via regularized training, weight sharing and linear computation coding (LCC). Contrary to common NN compression techniques, where the objective is to reduce the memory used for storing the weights of the NNs, our approach is optimized to reduce the number of additions required for inference in a hardware-friendly manner. The proposed scheme achieves competitive performance for simple multilayer perceptrons, as well as for large scale deep NNs such as ResNet-34. △ Less

Submitted 24 April, 2025; originally announced April 2025.

Comments: Accepted at the 2025 IEEE Statistical Signal Processing (SSP) Workshop, Edinburgh

A collision model for very flexible Cosserat rods and immersed-boundary fluid-structure coupling

Authors: Bastian Löhrer, Rolf Krause, Jochen Fröhlich

Abstract: The paper presents a constraint-based collision model for Cosserat rods, able to handle dynamic or static contact between a large number of highly flexible structures. The model provides the required collision impulses prior to updating the solution of the rods, with the impulses accounted for as external loads. The procedure avoids the need to modify the structure solver itself and circumvents an… ▽ More The paper presents a constraint-based collision model for Cosserat rods, able to handle dynamic or static contact between a large number of highly flexible structures. The model provides the required collision impulses prior to updating the solution of the rods, with the impulses accounted for as external loads. The procedure avoids the need to modify the structure solver itself and circumvents any iteration between the collision model and the solver for the Cosserat rods, maintaining the efficiency of any chosen Cosserat solver. The collision model is adopted from Tschisgale et al. (Arch. Appl. Mech., 2019) and extended towards higher stability, which is found necessary in the case of very flexible rods. Furthermore, the model is supplemented with additional terms that arise when the colliding rods are immersed in a fluid. The latter is accounted for by an immersed-boundary method. A large number of tests are conducted to demonstrate the functionality of the final model. △ Less

Submitted 29 April, 2025; v1 submitted 25 March, 2025; originally announced March 2025.

Comments: 53 pages, 33 figures; affiliation and funding updated

Accessibility for Whom? Perceptions of Sidewalk Barriers Across Disability Groups and Implications for Designing Personalized Maps

Authors: Chu Li, Rock Yuren Pang, Delphine Labbé, Yochai Eisenberg, Maryam Hosseini, Jon E. Froehlich

Abstract: Despite diverse mobility needs worldwide, existing mapping tools fail to address the varied experiences of different mobility device users. This paper presents a large-scale online survey exploring how five mobility groups -- users of canes, walkers, mobility scooters, manual wheelchairs, and motorized wheelchairs -- perceive sidewalk barriers. Using 52 sidewalk barrier images, respondents evaluat… ▽ More Despite diverse mobility needs worldwide, existing mapping tools fail to address the varied experiences of different mobility device users. This paper presents a large-scale online survey exploring how five mobility groups -- users of canes, walkers, mobility scooters, manual wheelchairs, and motorized wheelchairs -- perceive sidewalk barriers. Using 52 sidewalk barrier images, respondents evaluated their confidence in navigating each scenario. Our findings (N=190) reveal variations in barrier perceptions across groups, while also identifying shared concerns. To further demonstrate the value of this data, we showcase its use in two custom prototypes: a visual analytics tool and a personalized routing tool. Our survey findings and open dataset advance work in accessibility-focused maps, routing algorithms, and urban planning. △ Less

Submitted 27 February, 2025; originally announced February 2025.

Comments: Manuscript accepted at CHI'25

Cosmological Magnetic Fields from Ultralight Dark Matter

Authors: Robert Brandenberger, Jürg Fröhlich, Hao Jiao

Abstract: We propose a mechanism for the generation of magnetic fields on cosmological scales that is operative after recombination. An essential ingredient is an instability (of parametric resonance type) of the electromagnetic field driven by an oscillating pseudo-scalar dark matter field, $φ$, that is coupled to the electromagnetic field tensor via a $φF \wedge F$ term in the Lagrangian of axion-electrod… ▽ More We propose a mechanism for the generation of magnetic fields on cosmological scales that is operative after recombination. An essential ingredient is an instability (of parametric resonance type) of the electromagnetic field driven by an oscillating pseudo-scalar dark matter field, $φ$, that is coupled to the electromagnetic field tensor via a $φF \wedge F$ term in the Lagrangian of axion-electrodynamics. We find that magnetic fields larger than the observational lower bounds can be generated soon after recombination on scales of $1 {\rm{Mpc}}$. △ Less

Submitted 26 February, 2025; originally announced February 2025.

Comments: 5 pages

ArtInsight: Enabling AI-Powered Artwork Engagement for Mixed Visual-Ability Families

Authors: Arnavi Chheda-Kothary, Ritesh Kanchi, Chris Sanders, Kevin Xiao, Aditya Sengupta, Melanie Kneitmix, Jacob O. Wobbrock, Jon E. Froehlich

Abstract: We introduce ArtInsight, a novel AI-powered system to facilitate deeper engagement with child-created artwork in mixed visual-ability families. ArtInsight leverages large language models (LLMs) to craft a respectful and thorough initial description of a child's artwork, and provides: creative AI-generated descriptions for a vivid overview, audio recording to capture the child's own description of… ▽ More We introduce ArtInsight, a novel AI-powered system to facilitate deeper engagement with child-created artwork in mixed visual-ability families. ArtInsight leverages large language models (LLMs) to craft a respectful and thorough initial description of a child's artwork, and provides: creative AI-generated descriptions for a vivid overview, audio recording to capture the child's own description of their artwork, and a set of AI-generated questions to facilitate discussion between blind or low-vision (BLV) family members and their children. Alongside ArtInsight, we also contribute a new rubric to score AI-generated descriptions of child-created artwork and an assessment of state-of-the-art LLMs. We evaluated ArtInsight with five groups of BLV family members and their children, and as a case study with one BLV child therapist. Our findings highlight a preference for ArtInsight's longer, artistically-tailored descriptions over those generated by existing BLV AI tools. Participants highlighted the creative description and audio recording components as most beneficial, with the former helping ``bring a picture to life'' and the latter centering the child's narrative to generate context-aware AI responses. Our findings reveal different ways that AI can be used to support art engagement, including before, during, and after interaction with the child artist, as well as expectations that BLV adults and their sighted children have about AI-powered tools. △ Less

Submitted 10 March, 2025; v1 submitted 26 February, 2025; originally announced February 2025.

Comments: 21 pages, 30th International Conference on Intelligent User Interfaces (IUI 2025)

Journal ref: 30th International Conference on Intelligent User Interfaces 2025

Making Urban Art Accessible: Current Art Access Techniques, Design Considerations, and the Role of AI

Authors: Lucy Jiang, Jon E. Froehlich, Leah Findlater

Abstract: Public artwork, from vibrant wall murals to captivating sculptures, can enhance the aesthetic of urban spaces, foster a sense of community and cultural identity, and help attract visitors. Despite its benefits, most public art is visual, making it often inaccessible to blind and low vision (BLV) people. In this workshop paper, we first draw on art literature to help define the space of public art,… ▽ More Public artwork, from vibrant wall murals to captivating sculptures, can enhance the aesthetic of urban spaces, foster a sense of community and cultural identity, and help attract visitors. Despite its benefits, most public art is visual, making it often inaccessible to blind and low vision (BLV) people. In this workshop paper, we first draw on art literature to help define the space of public art, identify key differences with curated art shown in museums or galleries, and discuss implications for accessibility. We then enumerate how existing art accessibility techniques may (or may not) transfer to urban art spaces. We close by presenting future research directions and reflecting on the growing role of AI in making art accessible. △ Less

Submitted 27 October, 2024; originally announced October 2024.

Comments: ASSETS 2024 Workshop Submission (The Future of Urban Accessibility: The Role of AI)

WhY shape matters: Hydrodynamics of a Y-shaped membraneless electrolyzer

Authors: Karl Schoppmann, Hannes Rox, Erik Frense, Frank Rüdiger, Xuegeng Yang, Kerstin Eckert, Jochen Fröhlich

Abstract: A novel Y-shaped membraneless flow-through electrolyzer is introduced to achieve a homogeneous electrochemical reaction across the entire electrode in a cost-efficient cell design with effective product separation. Numerical simulations of the electrolyte flow and electrical current within the already known I- and T-shaped cells motivate the newly proposed Y-shape cell. Furthermore, a new design c… ▽ More A novel Y-shaped membraneless flow-through electrolyzer is introduced to achieve a homogeneous electrochemical reaction across the entire electrode in a cost-efficient cell design with effective product separation. Numerical simulations of the electrolyte flow and electrical current within the already known I- and T-shaped cells motivate the newly proposed Y-shape cell. Furthermore, a new design criterion is developed based on the balance between bubble removal and gas generation. As proof-of-concept experimental results using the Y-shaped electrolyzer are presented, showing homogeneous gas distributions across the electrode and efficient product separation by the electrolyte flow. △ Less

Submitted 30 September, 2024; originally announced September 2024.

Comments: 30 pages (21 pages manuscript + 9 pages supplemental material), 8 figures

Engaging with Children's Artwork in Mixed Visual-Ability Families

Authors: Arnavi Chheda-Kothary, Jacob O. Wobbrock, Jon E. Froehlich

Abstract: We present two studies exploring how blind or low-vision (BLV) family members engage with their sighted children's artwork, strategies to support understanding and interpretation, and the potential role of technology, such as AI, therein. Our first study involved 14 BLV individuals, and the second included five groups of BLV individuals with their children. Through semi-structured interviews with… ▽ More We present two studies exploring how blind or low-vision (BLV) family members engage with their sighted children's artwork, strategies to support understanding and interpretation, and the potential role of technology, such as AI, therein. Our first study involved 14 BLV individuals, and the second included five groups of BLV individuals with their children. Through semi-structured interviews with AI descriptions of children's artwork and multi-sensory design probes, we found that BLV family members value artwork engagement as a bonding opportunity, preferring the child's storytelling and interpretation over other nonvisual representations. Additionally, despite some inaccuracies, BLV family members felt that AI-generated descriptions could facilitate dialogue with their children and aid self-guided art discovery. We close with specific design considerations for supporting artwork engagement in mixed visual-ability families, including enabling artwork access through various methods, supporting children's corrections of AI output, and distinctions in context vs. content and interpretation vs. description of children's artwork. △ Less

Submitted 30 July, 2024; v1 submitted 26 July, 2024; originally announced July 2024.

CookAR: Affordance Augmentations in Wearable AR to Support Kitchen Tool Interactions for People with Low Vision

Authors: Jaewook Lee, Andrew D. Tjahjadi, Jiho Kim, Junpu Yu, Minji Park, Jiawen Zhang, Jon E. Froehlich, Yapeng Tian, Yuhang Zhao

Abstract: Cooking is a central activity of daily living, supporting independence as well as mental and physical health. However, prior work has highlighted key barriers for people with low vision (LV) to cook, particularly around safely interacting with tools, such as sharp knives or hot pans. Drawing on recent advancements in computer vision (CV), we present CookAR, a head-mounted AR system with real-time… ▽ More Cooking is a central activity of daily living, supporting independence as well as mental and physical health. However, prior work has highlighted key barriers for people with low vision (LV) to cook, particularly around safely interacting with tools, such as sharp knives or hot pans. Drawing on recent advancements in computer vision (CV), we present CookAR, a head-mounted AR system with real-time object affordance augmentations to support safe and efficient interactions with kitchen tools. To design and implement CookAR, we collected and annotated the first egocentric dataset of kitchen tool affordances, fine-tuned an affordance segmentation model, and developed an AR system with a stereo camera to generate visual augmentations. To validate CookAR, we conducted a technical evaluation of our fine-tuned model as well as a qualitative lab study with 10 LV participants for suitable augmentation design. Our technical evaluation demonstrates that our model outperforms the baseline on our tool affordance dataset, while our user study indicates a preference for affordance augmentations over the traditional whole object augmentations. △ Less

Submitted 27 July, 2024; v1 submitted 18 July, 2024; originally announced July 2024.

AltGeoViz: Facilitating Accessible Geovisualization

Authors: Chu Li, Rock Yuren Pang, Ather Sharif, Arnavi Chheda-Kothary, Jeffrey Heer, Jon E. Froehlich

Abstract: Geovisualizations are powerful tools for exploratory spatial analysis, enabling sighted users to discern patterns, trends, and relationships within geographic data. However, these visual tools have remained largely inaccessible to screen-reader users. We present AltGeoViz, a new system we designed to facilitate geovisualization exploration for these users. AltGeoViz dynamically generates alt-text… ▽ More Geovisualizations are powerful tools for exploratory spatial analysis, enabling sighted users to discern patterns, trends, and relationships within geographic data. However, these visual tools have remained largely inaccessible to screen-reader users. We present AltGeoViz, a new system we designed to facilitate geovisualization exploration for these users. AltGeoViz dynamically generates alt-text descriptions based on the user's current map view, providing summaries of spatial patterns and descriptive statistics. In a study of five screen-reader users, we found that AltGeoViz enabled them to interact with geovisualizations in previously infeasible ways. Participants demonstrated a clear understanding of data summaries and their location context, and they could synthesize spatial understandings of their explorations. Moreover, we identified key areas for improvement, such as the addition of intuitive spatial navigation controls and comparative analysis features. △ Less

Submitted 9 December, 2024; v1 submitted 19 June, 2024; originally announced June 2024.

Comments: IEEE VIS 2024

SonifyAR: Context-Aware Sound Generation in Augmented Reality

Authors: Xia Su, Jon E. Froehlich, Eunyee Koh, Chang Xiao

Abstract: Sound plays a crucial role in enhancing user experience and immersiveness in Augmented Reality (AR). However, current platforms lack support for AR sound authoring due to limited interaction types, challenges in collecting and specifying context information, and difficulty in acquiring matching sound assets. We present SonifyAR, an LLM-based AR sound authoring system that generates context-aware s… ▽ More Sound plays a crucial role in enhancing user experience and immersiveness in Augmented Reality (AR). However, current platforms lack support for AR sound authoring due to limited interaction types, challenges in collecting and specifying context information, and difficulty in acquiring matching sound assets. We present SonifyAR, an LLM-based AR sound authoring system that generates context-aware sound effects for AR experiences. SonifyAR expands the current design space of AR sound and implements a Programming by Demonstration (PbD) pipeline to automatically collect contextual information of AR events, including virtual content semantics and real world context. This context information is then processed by a large language model to acquire sound effects with Recommendation, Retrieval, Generation, and Transfer methods. To evaluate the usability and performance of our system, we conducted a user study with eight participants and created five example applications, including an AR-based science experiment, an improving case for AR headset safety, and an assisting example for low vision AR users. △ Less

Submitted 11 August, 2024; v1 submitted 11 May, 2024; originally announced May 2024.

Comments: To appear in UIST2024

A Theory of Quantum Jumps

Authors: Jürg Fröhlich, Zhou Gang, Alessandro Pizzo

Abstract: Using the principles of the ETH - Approach to Quantum Mechanics we study fluorescence and the phenomenon of ``quantum jumps'' in idealized models of atoms coupled to the quantized electromagnetic field. In a limiting regime where the orbital motion of the atoms is neglected and the velocity of light tends to infinity we derive explicit non-linear stochastic differential equations describing the ef… ▽ More Using the principles of the ETH - Approach to Quantum Mechanics we study fluorescence and the phenomenon of ``quantum jumps'' in idealized models of atoms coupled to the quantized electromagnetic field. In a limiting regime where the orbital motion of the atoms is neglected and the velocity of light tends to infinity we derive explicit non-linear stochastic differential equations describing the effective time evolution of states of individual atoms. These equations give rise to a measure on state-trajectories with quantum jumps which is a quantum-mechanical analogue of the Wiener measure of Brownian motion. Our results amount to a derivation of the fundamental randomness in the quantum-mechanical description of microscopic systems from basic principles in the context of some simple models. △ Less

Submitted 21 May, 2024; v1 submitted 16 April, 2024; originally announced April 2024.

Comments: 0 figures, to be submitted for publication in a journal

MSC Class: 81Sxx; 82C10

GazePointAR: A Context-Aware Multimodal Voice Assistant for Pronoun Disambiguation in Wearable Augmented Reality

Authors: Jaewook Lee, Jun Wang, Elizabeth Brown, Liam Chu, Sebastian S. Rodriguez, Jon E. Froehlich

Abstract: Voice assistants (VAs) like Siri and Alexa are transforming human-computer interaction; however, they lack awareness of users' spatiotemporal context, resulting in limited performance and unnatural dialogue. We introduce GazePointAR, a fully-functional context-aware VA for wearable augmented reality that leverages eye gaze, pointing gestures, and conversation history to disambiguate speech queries… ▽ More Voice assistants (VAs) like Siri and Alexa are transforming human-computer interaction; however, they lack awareness of users' spatiotemporal context, resulting in limited performance and unnatural dialogue. We introduce GazePointAR, a fully-functional context-aware VA for wearable augmented reality that leverages eye gaze, pointing gestures, and conversation history to disambiguate speech queries. With GazePointAR, users can ask "what's over there?" or "how do I solve this math problem?" simply by looking and/or pointing. We evaluated GazePointAR in a three-part lab study (N=12): (1) comparing GazePointAR to two commercial systems; (2) examining GazePointAR's pronoun disambiguation across three tasks; (3) and an open-ended phase where participants could suggest and try their own context-sensitive queries. Participants appreciated the naturalness and human-like nature of pronoun-driven queries, although sometimes pronoun use was counter-intuitive. We then iterated on GazePointAR and conducted a first-person diary study examining how GazePointAR performs in-the-wild. We conclude by enumerating limitations and design considerations for future context-aware VAs. △ Less

Submitted 11 April, 2024; originally announced April 2024.

RASSAR: Room Accessibility and Safety Scanning in Augmented Reality

Authors: Xia Su, Han Zhang, Kaiming Cheng, Jaewook Lee, Qiaochu Liu, Wyatt Olson, Jon Froehlich

Abstract: The safety and accessibility of our homes is critical to quality of life and evolves as we age, become ill, host guests, or experience life events such as having children. Researchers and health professionals have created assessment instruments such as checklists that enable homeowners and trained experts to identify and mitigate safety and access issues. With advances in computer vision, augmente… ▽ More The safety and accessibility of our homes is critical to quality of life and evolves as we age, become ill, host guests, or experience life events such as having children. Researchers and health professionals have created assessment instruments such as checklists that enable homeowners and trained experts to identify and mitigate safety and access issues. With advances in computer vision, augmented reality (AR), and mobile sensors, new approaches are now possible. We introduce RASSAR, a mobile AR application for semi-automatically identifying, localizing, and visualizing indoor accessibility and safety issues such as an inaccessible table height or unsafe loose rugs using LiDAR and real-time computer vision. We present findings from three studies: a formative study with 18 participants across five stakeholder groups to inform the design of RASSAR, a technical performance evaluation across ten homes demonstrating state-of-the-art performance, and a user study with six stakeholders. We close with a discussion of future AI-based indoor accessibility assessment tools, RASSAR's extensibility, and key application scenarios. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: To Appear in CHI 2024

LabelAId: Just-in-time AI Interventions for Improving Human Labeling Quality and Domain Knowledge in Crowdsourcing Systems

Authors: Chu Li, Zhihan Zhang, Michael Saugstad, Esteban Safranchik, Minchu Kulkarni, Xiaoyu Huang, Shwetak Patel, Vikram Iyer, Tim Althoff, Jon E. Froehlich

Abstract: Crowdsourcing platforms have transformed distributed problem-solving, yet quality control remains a persistent challenge. Traditional quality control measures, such as prescreening workers and refining instructions, often focus solely on optimizing economic output. This paper explores just-in-time AI interventions to enhance both labeling quality and domain-specific knowledge among crowdworkers. W… ▽ More Crowdsourcing platforms have transformed distributed problem-solving, yet quality control remains a persistent challenge. Traditional quality control measures, such as prescreening workers and refining instructions, often focus solely on optimizing economic output. This paper explores just-in-time AI interventions to enhance both labeling quality and domain-specific knowledge among crowdworkers. We introduce LabelAId, an advanced inference model combining Programmatic Weak Supervision (PWS) with FT-Transformers to infer label correctness based on user behavior and domain knowledge. Our technical evaluation shows that our LabelAId pipeline consistently outperforms state-of-the-art ML baselines, improving mistake inference accuracy by 36.7% with 50 downstream samples. We then implemented LabelAId into Project Sidewalk, an open-source crowdsourcing platform for urban accessibility. A between-subjects study with 34 participants demonstrates that LabelAId significantly enhances label precision without compromising efficiency while also increasing labeler confidence. We discuss LabelAId's success factors, limitations, and its generalizability to other crowdsourced science domains. △ Less

Submitted 14 March, 2024; originally announced March 2024.

Phase Transitions, Spontaneous Symmetry Breaking, and Goldstone's Theorem

Authors: Jürg Fröhlich

Abstract: Some important rigorous results on phase transitions accompanied by the spontaneous breaking of symmetries in statistical mechanics and relativistic quantum field theory are reviewed. Basic ideas, mainly inspired by quantum field theory, underlying the proofs of some of these results are sketched. The Goldstone theorem is proven, and the Mermin-Wagner-Hohenberg theorem concerning the absence of co… ▽ More Some important rigorous results on phase transitions accompanied by the spontaneous breaking of symmetries in statistical mechanics and relativistic quantum field theory are reviewed. Basic ideas, mainly inspired by quantum field theory, underlying the proofs of some of these results are sketched. The Goldstone theorem is proven, and the Mermin-Wagner-Hohenberg theorem concerning the absence of continuous symmetry breaking in one and two dimensions is recalled. Comments concerning rigorous results on the Kosterlitz-Thouless transition in the two-dimensional classical XY model are made. △ Less

Submitted 1 December, 2023; originally announced December 2023.

Comments: 25 pages, 0 figures, contribution to Encyclopedia of Condensed Matter Physics, Second Edition, T. Chakraborty (ed), Elsevier 2024

MSC Class: 82-02; 82B26

Journal ref: Encyclopedia of Condensed Matter Physics, Second Edition, T. Chakraborty (ed.), Elsevier 2024

Two Results in the Quantum Theory of Measurements

Authors: Simone Del Vecchio, Jürg Fröhlich, Alessandro Pizzo, Alessio Ranallo

Abstract: Two theorems with applications to the quantum theory of measurements are stated and proven. The first one clarifies and amends von Neumann's Measurement Postulate used in the Copenhagen interpretation of quantum mechanics. The second one clarifies the relationship between ``events'' and ``measurements'' and the meaning of measurements in the $ETH$-Approach to quantum mechanics. Two theorems with applications to the quantum theory of measurements are stated and proven. The first one clarifies and amends von Neumann's Measurement Postulate used in the Copenhagen interpretation of quantum mechanics. The second one clarifies the relationship between ``events'' and ``measurements'' and the meaning of measurements in the $ETH$-Approach to quantum mechanics. △ Less

Submitted 1 December, 2023; originally announced December 2023.

Comments: 14 pages, 0 figures, volume in memory of Giovanni Morchio, to be published by Springer-Nature in 2024

MSC Class: 81-06; 81P15

HandSight: DeCAF & Improved Fisher Vectors to Classify Clothing Color and Texture with a Finger-Mounted Camera

Authors: Alexander J. Medeiros, Lee Stearns, Jon E. Froehlich

Abstract: We demonstrate the use of DeCAF and Improved Fisher Vector image features to classify clothing texture. The issue of choosing clothes is a problem for the blind every day. This work attempts to solve the issue with a finger-mounted camera and state-of-the-art classification algorithms. To evaluate our solution, we collected 520 close-up images across 29 pieces of clothing. We contribute (1) the HC… ▽ More We demonstrate the use of DeCAF and Improved Fisher Vector image features to classify clothing texture. The issue of choosing clothes is a problem for the blind every day. This work attempts to solve the issue with a finger-mounted camera and state-of-the-art classification algorithms. To evaluate our solution, we collected 520 close-up images across 29 pieces of clothing. We contribute (1) the HCTD, an image dataset taken with a NanEyeGS camera, a camera small enough to be mounted on the finger, and (2) evaluations of state-of-the-art recognition algorithms applied to our dataset - achieving an accuracy >95%. Throughout the paper, we will discuss previous work, evaluate the current work, and finally, suggest the project's future direction. △ Less

Submitted 20 November, 2023; originally announced November 2023.

Comments: 10 pages, 15 figures

MSC Class: H.5.m

Boundary effects and the stability of the low energy spectrum of the AKLT model

Authors: Simone Del Vecchio, Jürg Fröhlich, Alessandro Pizzo, Alessio Ranallo

Abstract: In this paper we study the low-lying spectrum of the AKLT model perturbed by small, finite-range potentials and with open boundary conditions imposed at the edges of the chain. Our analysis is based on the \emph{local, iterative Lie Schwinger block-diagonalization method} which allows us to control small interaction terms localized near the boundary of the chain that are responsible for the possib… ▽ More In this paper we study the low-lying spectrum of the AKLT model perturbed by small, finite-range potentials and with open boundary conditions imposed at the edges of the chain. Our analysis is based on the \emph{local, iterative Lie Schwinger block-diagonalization method} which allows us to control small interaction terms localized near the boundary of the chain that are responsible for the possible splitting of the ground-state energy of the AKLT Hamiltonian into energy levels separated by small gaps. This improves earlier results concerning the persistence of the so called \emph{bulk} gap in these models, besides illustrating the power of our general methods in a non-trivial application. △ Less

Submitted 1 November, 2024; v1 submitted 5 August, 2023; originally announced August 2023.

Vehicle Occurrence-based Parking Space Detection

Authors: Paulo R. Lisboa de Almeida, Jeovane Honório Alves, Luiz S. Oliveira, Andre Gustavo Hochuli, João V. Fröhlich, Rodrigo A. Krauel

Abstract: Smart-parking solutions use sensors, cameras, and data analysis to improve parking efficiency and reduce traffic congestion. Computer vision-based methods have been used extensively in recent years to tackle the problem of parking lot management, but most of the works assume that the parking spots are manually labeled, impacting the cost and feasibility of deployment. To fill this gap, this work p… ▽ More Smart-parking solutions use sensors, cameras, and data analysis to improve parking efficiency and reduce traffic congestion. Computer vision-based methods have been used extensively in recent years to tackle the problem of parking lot management, but most of the works assume that the parking spots are manually labeled, impacting the cost and feasibility of deployment. To fill this gap, this work presents an automatic parking space detection method, which receives a sequence of images of a parking lot and returns a list of coordinates identifying the detected parking spaces. The proposed method employs instance segmentation to identify cars and, using vehicle occurrence, generate a heat map of parking spaces. The results using twelve different subsets from the PKLot and CNRPark-EXT parking lot datasets show that the method achieved an AP25 score up to 95.60\% and AP50 score up to 79.90\%. △ Less

Submitted 16 June, 2023; originally announced June 2023.

Comments: Accepted for presentation at the 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2023)

Low energy spectrum of the XXZ model coupled to a magnetic field

Authors: Simone Del Vecchio, Jürg Fröhlich, Alessandro Pizzo, Alessio Ranallo

Abstract: For a class of Hamiltonians of $XXZ$ spin chains in a uniform external magnetic field that are small quantum perturbations of an Ising Hamiltonian, it is shown that the spectral gap above the ground-state energy remains strictly positive when the perturbation is turned on, uniformly in the length of the chain. This result is proven for perturbations of both the ferromagnetic and the antiferromagne… ▽ More For a class of Hamiltonians of $XXZ$ spin chains in a uniform external magnetic field that are small quantum perturbations of an Ising Hamiltonian, it is shown that the spectral gap above the ground-state energy remains strictly positive when the perturbation is turned on, uniformly in the length of the chain. This result is proven for perturbations of both the ferromagnetic and the antiferromagnetic Ising Hamiltonian. In the antiferromagnetic case, the external magnetic field is required to be small. For a chain of an even number of sites, the two-fold degenerate ground-state energy of the unperturbed antiferromagnetic Hamiltonian may split into two energy levels separated by a very small gap. These results are proven by using a new, quite subtle refinement of a method developed in earlier work and used to iteratively block-diagonalize Hamiltonians of systems confined to ever larger subsets of a lattice by using strictly local unitary conjugations. The new method developed in this paper provides complete control of boundary effects on the low-energy spectrum of perturbed Ising chains uniformly in their length. △ Less

Submitted 21 January, 2025; v1 submitted 5 June, 2023; originally announced June 2023.

Gauge Invariance and Anomalies in Condensed Matter Physics

Authors: Jürg Fröhlich

Abstract: This paper begins with a summary of a powerful formalism for the study of electronic states in condensed matter physics called "Gauge Theory of States/Phases of Matter." The chiral anomaly, which plays quite a prominent role in that formalism, is recalled. I then sketch an application of the chiral anomaly in 1+1 dimensions to quantum wires. Subsequently, some elements of the quantum Hall effect i… ▽ More This paper begins with a summary of a powerful formalism for the study of electronic states in condensed matter physics called "Gauge Theory of States/Phases of Matter." The chiral anomaly, which plays quite a prominent role in that formalism, is recalled. I then sketch an application of the chiral anomaly in 1+1 dimensions to quantum wires. Subsequently, some elements of the quantum Hall effect in two-dimensional (2D) gapped ("incompressible") electron liquids are reviewed. In particular, I discuss the role of anomalous chiral edge currents and of anomaly inflow in 2D gapped electron liquids with explicitly or spontaneously broken time reversal, i.e., in Hall- and Chern insulators. The topological Chern-Simons action yielding the transport equations valid in the bulk of such systems and the associated anomalous edge action are derived. The results of a general classification of "abelian" Hall insulators are outlined. After some remarks on induced Chern-Simons actions, I sketch results on certain 2D chiral photonic wave guides. I then continue with an analysis of chiral edge spin-currents and the bulk response equations in time-reversal invariant 2D topological insulators of electron gases with spin-orbit interactions. The "chiral magnetic effect" in 3D systems and axion-electrodynamics are reviewed next. This prepares the ground for an outline of a general theory of 3D topological insulators, including "axionic insulators". Some remarks on Weyl semi-metals, which exhibit the chiral magnetic effect, and on Mott transitions in 3D systems with dynamical axion-like degrees of freedom conclude this review.} △ Less

Submitted 26 March, 2023; originally announced March 2023.

Comments: 4 figures, 42 pages; will appear in 'Journal of Mathematical Physics' (AIP publishing)

MSC Class: 81T50

Journal ref: JMP22-AR-MATP2022-01853

A Completion of Quantum Mechanics

Authors: Jürg Fröhlich, Zhou Gang, Alessandro Pizzo

Abstract: A proposal of how to complete non-relativistic quantum mechanics to a physically meaningful, mathematically precise and logically coherent theory is reviewed. Our proposal leads to a general, non-linear stochastic law for the time-evolution of states of individual physical systems. An application of the general formalism to the quantum theory of fluorescence of an atom coupled to the radiation fie… ▽ More A proposal of how to complete non-relativistic quantum mechanics to a physically meaningful, mathematically precise and logically coherent theory is reviewed. Our proposal leads to a general, non-linear stochastic law for the time-evolution of states of individual physical systems. An application of the general formalism to the quantum theory of fluorescence of an atom coupled to the radiation field is sketched. Some remarks on relativistic quantum theory conclude our review. △ Less

Submitted 2 December, 2023; v1 submitted 20 March, 2023; originally announced March 2023.

Comments: 2 figures

MSC Class: 81P15; 60G17

Linear Computation Coding: Exponential Search and Reduced-State Algorithms

Authors: Hans Rosenberger, Johanna S. Fröhlich, Ali Bereyhi, Ralf R. Müller

Abstract: Linear computation coding is concerned with the compression of multidimensional linear functions, i.e. with reducing the computational effort of multiplying an arbitrary vector to an arbitrary, but known, constant matrix. This paper advances over the state-of-the art, that is based on a discrete matching pursuit (DMP) algorithm, by a step-wise optimal search. Offering significant performance gains… ▽ More Linear computation coding is concerned with the compression of multidimensional linear functions, i.e. with reducing the computational effort of multiplying an arbitrary vector to an arbitrary, but known, constant matrix. This paper advances over the state-of-the art, that is based on a discrete matching pursuit (DMP) algorithm, by a step-wise optimal search. Offering significant performance gains over DMP, it is however computationally infeasible for large matrices and high accuracy. Therefore, a reduced-state algorithm is introduced that offers performance superior to DMP, while still being computationally feasible even for large matrices. Depending on the matrix size, the performance gain over DMP is on the order of at least 10%. △ Less

Submitted 13 January, 2023; originally announced January 2023.

Comments: Accepted as paper for presentation at Data Compression Conference (DCC) 2023, Snowbird, UT. 10 pages, 4 figures

On the Evolution of States in a Quantum-Mechanical Model of Experiments

Authors: Jürg Fröhlich, Zhou Gang

Abstract: The postulates of von Neumann and Lüders concerning measurements in quantum mechanics are discussed and criticized in the context of a simple model proposed by Gisin. The main purpose of our paper is to analyze some mathematical aspects of that model and to draw some general lessons on the so-called ``measurement problem'' in quantum mechanics pointing towards the need to introduce general princip… ▽ More The postulates of von Neumann and Lüders concerning measurements in quantum mechanics are discussed and criticized in the context of a simple model proposed by Gisin. The main purpose of our paper is to analyze some mathematical aspects of that model and to draw some general lessons on the so-called ``measurement problem'' in quantum mechanics pointing towards the need to introduce general principles that determine the law for the stochastic time evolution of states of individual physical systems. △ Less

Submitted 5 December, 2022; originally announced December 2022.

Comments: 13 pages

MSC Class: 81P15; 60G17

A Pilot Study of Sidewalk Equity in Seattle Using Crowdsourced Sidewalk Assessment Data

Authors: Chu Li, Lisa Orii, Mikey Saugstad, Stephen J. Mooney, Yochai Eisenberg, Delphine Labbé, Joy Hammel, Jon E. Froehlich

Abstract: We examine the potential of using large-scale open crowdsourced sidewalk data from Project Sidewalk to study the distribution and condition of sidewalks in Seattle, WA. While potentially noisier than professionally gathered sidewalk datasets, crowdsourced data enables large, cross-regional studies that would be otherwise expensive and difficult to manage. As an initial case study, we examine spati… ▽ More We examine the potential of using large-scale open crowdsourced sidewalk data from Project Sidewalk to study the distribution and condition of sidewalks in Seattle, WA. While potentially noisier than professionally gathered sidewalk datasets, crowdsourced data enables large, cross-regional studies that would be otherwise expensive and difficult to manage. As an initial case study, we examine spatial patterns of sidewalk quality in Seattle and their relationship to racial diversity, income level, built density, and transit modes. We close with a reflection on our approach, key limitations, and opportunities for future work. △ Less

Submitted 5 October, 2022; originally announced November 2022.

Comments: Workshop paper presented at "The 1st ASSETS'22 Workshop on The Future or urban Accessibility (UrbanAccess'22)"

Towards Semi-automatic Detection and Localization of Indoor Accessibility Issues using Mobile Depth Scanning and Computer Vision

Authors: Xia Su, Kaiming Cheng, Han Zhang, Jaewook Lee, Jon E. Froehlich

Abstract: To help improve the safety and accessibility of indoor spaces, researchers and health professionals have created assessment instruments that enable homeowners and trained experts to audit and improve homes. With advances in computer vision, augmented reality (AR), and mobile sensors, new approaches are now possible. We introduce RASSAR (Room Accessibility and Safety Scanning in Augmented Reality),… ▽ More To help improve the safety and accessibility of indoor spaces, researchers and health professionals have created assessment instruments that enable homeowners and trained experts to audit and improve homes. With advances in computer vision, augmented reality (AR), and mobile sensors, new approaches are now possible. We introduce RASSAR (Room Accessibility and Safety Scanning in Augmented Reality), a new proof-of-concept prototype for semi-automatically identifying, categorizing, and localizing indoor accessibility and safety issues using LiDAR + camera data, machine learning, and AR. We present an overview of the current RASSAR prototype and a preliminary evaluation in a single home. △ Less

Submitted 5 October, 2022; originally announced October 2022.

Comments: Workshop paper presented at "The 1st ASSETS'22 Workshop on The Future or urban Accessibility (UrbanAccess'22)"

Towards Mapping and Assessing Sidewalk Accessibility Across Sociocultural and Geographic Contexts

Authors: Jon E. Froehlich, Michael Saugstad, Manaswi Saha, Matthew Johnson

Abstract: Despite the important role of sidewalks in supporting mobility, accessibility, and public health, there is a lack of high-quality datasets and corresponding analyses on sidewalk existence and condition. Our work explores a twofold vision: first, to develop scalable mechanisms to locate and assess sidewalks in cities across the world, and second, to use this data to support new urban analyses and m… ▽ More Despite the important role of sidewalks in supporting mobility, accessibility, and public health, there is a lack of high-quality datasets and corresponding analyses on sidewalk existence and condition. Our work explores a twofold vision: first, to develop scalable mechanisms to locate and assess sidewalks in cities across the world, and second, to use this data to support new urban analyses and mobility tools. We report on two preliminary urban science explorations enabled by our approach: exploring geo-spatial patterns and key correlates of sidewalk accessibility and examining differences in sidewalk infrastructure across regions. △ Less

Submitted 27 July, 2022; originally announced July 2022.

Comments: Workshop paper at the Data4Good workshop hosted as part of AVI2020. See https://sites.google.com/view/data4good/program

Towards Global-Scale Crowd+AI Techniques to Map and Assess Sidewalks for People with Disabilities

Authors: Maryam Hosseini, Mikey Saugstad, Fabio Miranda, Andres Sevtsuk, Claudio T. Silva, Jon E. Froehlich

Abstract: There is a lack of data on the location, condition, and accessibility of sidewalks across the world, which not only impacts where and how people travel but also fundamentally limits interactive mapping tools and urban analytics. In this paper, we describe initial work in semi-automatically building a sidewalk network topology from satellite imagery using hierarchical multi-scale attention models,… ▽ More There is a lack of data on the location, condition, and accessibility of sidewalks across the world, which not only impacts where and how people travel but also fundamentally limits interactive mapping tools and urban analytics. In this paper, we describe initial work in semi-automatically building a sidewalk network topology from satellite imagery using hierarchical multi-scale attention models, inferring surface materials from street-level images using active learning-based semantic segmentation, and assessing sidewalk condition and accessibility features using Crowd+AI. We close with a call to create a database of labeled satellite and streetscape scenes for sidewalks and sidewalk accessibility issues along with standardized benchmarks. △ Less

Submitted 18 August, 2022; v1 submitted 27 June, 2022; originally announced June 2022.

Comments: CVPR 2022 AVA (Accessibility, Vision, and Autonomy Meet) Workshop

The Importance of Subcellular Structures to the Modeling of Biological Cells in the Context of Computational Bioelectromagnetics Simulations

Authors: Kevin Jerbic, Jan Taro Svejda, Benedikt Sievert, Andreas Rennings, Jürg Fröhlich, Daniel Erni

Abstract: Numerical investigation of the interaction of electromagnetic fields with eukaryotic cells requires specifically adapted computer models. Virtual microdosimetry, used to investigate exposure, requires volumetric cell models, which are numerically challenging. For this reason, a method is presented here to determine the current and power densities occurring in single cells and their distinct compar… ▽ More Numerical investigation of the interaction of electromagnetic fields with eukaryotic cells requires specifically adapted computer models. Virtual microdosimetry, used to investigate exposure, requires volumetric cell models, which are numerically challenging. For this reason, a method is presented here to determine the current and power densities occurring in single cells and their distinct compartments in a spatially accurate manner as a first step towards multicellular models within the microstructure of tissue layers. To achieve this, 3D models of the electromagnetic exposure of generic eukaryotic cells of different shape (i.e. spherical and ellipsoidal) and internal complexity (i.e. different organelles) are performed in a virtual, FEM-based capacitor experiment in the frequency range from 10 Hz to 100 GHz. In this context, the spectral response of the current and power distribution within the cell compartments is investigated and any effects that occur are attributed either to the dispersive material properties of these compartments or to the geometric characteristics of the cell model investigated in each case. In these investigations, the cell is represented as an anisotropic body with an internal distributed membrane system of low conductivity that mimics the endoplasmic reticulum in a simplified manner. This will be used to determine which details of the cell interior need to be modeled, how the electric field and the current density will be distributed in this region, and where the electromagnetic energy is absorbed in the microstructure regarding electromagnetic microdosimetry. Results show that for 5G frequencies, membranes make a significant contribution to the absorption losses. △ Less

Submitted 17 April, 2023; v1 submitted 20 June, 2022; originally announced June 2022.

Comments: 22 pages, 10 figures | Updates: [v1] initial upload; [v2] COPYRIGHT NOTICE added after publication of the manuscript

Journal ref: Bioelectromagnetics, vol. 44, no. 1-2, pp. 26-46, 2023

After the Dark Ages

Authors: Jürg Fröhlich

Abstract: After recalling some puzzles in cosmology and briefly reviewing the Friedmann-Lemaître cosmos a simple unified model of the ``Dark Sector'' is described. This model involves a scalar field and a pseudo-scalar axion field that give rise to Dark Energy in the form of ``quintessence'' and to ``fuzzy'' Dark Matter, respectively. Predictions of the model concerning the late-time evolution of the Univer… ▽ More After recalling some puzzles in cosmology and briefly reviewing the Friedmann-Lemaître cosmos a simple unified model of the ``Dark Sector'' is described. This model involves a scalar field and a pseudo-scalar axion field that give rise to Dark Energy in the form of ``quintessence'' and to ``fuzzy'' Dark Matter, respectively. Predictions of the model concerning the late-time evolution of the Universe and possible implications for the problem of the observed Matter-Antimatter Asymmetry in the Universe are sketched. △ Less

Submitted 24 May, 2022; originally announced May 2022.

Comments: 17 pages (including bibliography), no figures

MSC Class: 83F05

ProtoSound: A Personalized and Scalable Sound Recognition System for Deaf and Hard-of-Hearing Users

Authors: Dhruv Jain, Khoa Huynh Anh Nguyen, Steven Goodman, Rachel Grossman-Kahn, Hung Ngo, Aditya Kusupati, Ruofei Du, Alex Olwal, Leah Findlater, Jon E. Froehlich

Abstract: Recent advances have enabled automatic sound recognition systems for deaf and hard of hearing (DHH) users on mobile devices. However, these tools use pre-trained, generic sound recognition models, which do not meet the diverse needs of DHH users. We introduce ProtoSound, an interactive system for customizing sound recognition models by recording a few examples, thereby enabling personalized and fi… ▽ More Recent advances have enabled automatic sound recognition systems for deaf and hard of hearing (DHH) users on mobile devices. However, these tools use pre-trained, generic sound recognition models, which do not meet the diverse needs of DHH users. We introduce ProtoSound, an interactive system for customizing sound recognition models by recording a few examples, thereby enabling personalized and fine-grained categories. ProtoSound is motivated by prior work examining sound awareness needs of DHH people and by a survey we conducted with 472 DHH participants. To evaluate ProtoSound, we characterized performance on two real-world sound datasets, showing significant improvement over state-of-the-art (e.g., +9.7% accuracy on the first dataset). We then deployed ProtoSound's end-user training and real-time recognition through a mobile application and recruited 19 hearing participants who listened to the real-world sounds and rated the accuracy across 56 locations (e.g., homes, restaurants, parks). Results show that ProtoSound personalized the model on-device in real-time and accurately learned sounds across diverse acoustic contexts. We close by discussing open challenges in personalizable sound recognition, including the need for better recording interfaces and algorithmic improvements. △ Less

Submitted 22 February, 2022; originally announced February 2022.

Comments: Published at the ACM CHI Conference on Human Factors in Computing Systems (CHI) 2022

The appearance of particle tracks in detectors -- II: the semi-classical realm

Authors: Tristan Benoist, Martin Fraas, Jürg Fröhlich

Abstract: The appearance of tracks, close to classical orbits, left by charged quantum particles propagating inside a detector, such as a cavity periodically illuminated by light pulses, is studied for a family of idealized models. In the semi-classical regime, which is reached when one considers highly energetic particles, we present a detailed, mathematically rigorous analysis of this phenomenon. If the H… ▽ More The appearance of tracks, close to classical orbits, left by charged quantum particles propagating inside a detector, such as a cavity periodically illuminated by light pulses, is studied for a family of idealized models. In the semi-classical regime, which is reached when one considers highly energetic particles, we present a detailed, mathematically rigorous analysis of this phenomenon. If the Hamiltonian of the particles is quadratic in position- and momentum operators, as in the examples of a freely moving particle or a particle in a homogeneous external magnetic field, we show how symmetries, such as spherical symmetry, of the initial state of a particle are broken by tracks consisting of infinitely many approximately measured particle positions and how, in the classical limit, the initial position and velocity of a classical particle trajectory can be reconstructed from the observed particle track. △ Less

Submitted 19 February, 2022; originally announced February 2022.

Comments: 29 pages, no figures

MSC Class: 81P15

Irreversibility and the Arrow of Time

Authors: Jürg Fröhlich

Abstract: Within the general formalism of quantum theory irreversibility and the arrow of time in the evolution of various physical systems are studied. Irreversible behavior often manifests itself in the guise of entropy production. This motivates me to begin this paper with a brief review of quantum-mechanical entropy, a subject that Elliott Lieb has made outstanding contributions to, followed by an enume… ▽ More Within the general formalism of quantum theory irreversibility and the arrow of time in the evolution of various physical systems are studied. Irreversible behavior often manifests itself in the guise of entropy production. This motivates me to begin this paper with a brief review of quantum-mechanical entropy, a subject that Elliott Lieb has made outstanding contributions to, followed by an enumeration of examples of irreversible behavior and of an arrow of time analyzed in later sections. Subsequently, a derivation of the laws of thermodynamics from (quantum) statistical mechanics, and, in particular, of the Second Law of thermodynamics, in the forms given to it by Clausius and Carnot, is presented. In a third part, results on diffusive (Brownian) motion of a quantum particle interacting with a quasi-free quantum-mechanical heat bath are reviewed. This is followed by an outline of a theory of friction by emission of Cherenkov radiation of sound waves in a system consisting of a particle moving through a Bose- Einstein condensate and interacting with it. In what may be the most important section of this paper, the fundamental arrow of time inherent in Quantum Mechanics is discussed. △ Less

Submitted 9 February, 2022; originally announced February 2022.

Comments: 28 pages, 3 figures

MSC Class: 81P05; 81P17; 81Q99; 81S22; 82C03; 82C70

The Euclidean $φ^4_2$ theory as a limit of an interacting Bose gas

Authors: Jürg Fröhlich, Antti Knowles, Benjamin Schlein, Vedran Sohinger

Abstract: We prove that the complex Euclidean field theory with local quartic self-interaction in two dimensions arises as a limit of an interacting Bose gas at positive temperature, when the density of the gas becomes large and the range of the interaction becomes small. The field theory is supported on distributions of negative regularity, which requires a renormalization by divergent mass and energy coun… ▽ More We prove that the complex Euclidean field theory with local quartic self-interaction in two dimensions arises as a limit of an interacting Bose gas at positive temperature, when the density of the gas becomes large and the range of the interaction becomes small. The field theory is supported on distributions of negative regularity, which requires a renormalization by divergent mass and energy counterterms. We obtain convergence of the relative partition function and uniform convergence of the renormalized reduced density matrices. The proof is based on three main ingredients: (a) a quantitative analysis of the infinite-dimensional saddle point argument for the functional integral introduced in [32] using continuity properties of Brownian paths, (b) a Nelson-type estimate for a general nonlocal field theory in two dimensions, and (c) repeated Gaussian integration by parts in field space to obtain uniform control on the renormalized correlation functions. As a byproduct of our proof, in two and three dimensions we also extend the results on the mean-field limit from [32,56] to unbounded interaction potentials satisfying the optimal integrability conditions proposed by Bourgain [13]. △ Less

Submitted 9 January, 2023; v1 submitted 19 January, 2022; originally announced January 2022.

MSC Class: 35Q55; 81V70; 60G60; 82B10; 35Q40; 81T08

Towards a Dark Sector Model from String Theory

Authors: Heliudson Bernardo, Robert Brandenberger, Jürg Fröhlich

Abstract: An embedding of a unified dark sector model into string theory with the following features is proposed: The model-independent axion descending from the Kalb-Ramond 2-form field is identified with the dark-matter field, and the real part of a Kähler modulus field -- the ``radius'' of one of the extra spatial dimensions -- accounts for dark energy. The expectation value of the dilaton field is stabi… ▽ More An embedding of a unified dark sector model into string theory with the following features is proposed: The model-independent axion descending from the Kalb-Ramond 2-form field is identified with the dark-matter field, and the real part of a Kähler modulus field -- the ``radius'' of one of the extra spatial dimensions -- accounts for dark energy. The expectation value of the dilaton field is stabilized by a gaugino condensation mechanism. A dark-energy potential corresponding to a realistic low energy scale results from some gentle tuning of the stabilized expectation value of the dilaton. The resulting potential reproduces the one in a previous dark-sector model proposed by two of us. △ Less

Submitted 8 February, 2022; v1 submitted 12 January, 2022; originally announced January 2022.

Comments: 21 pages; construction slightly refined, references added

A collision model for DNS with ellipsoidal particles in viscous fluid

Authors: Ramandeep Jain, Silvio Tschisgale, Jochen Fröhlich

Abstract: The article proposes an algorithm to model the collision between arbitrary ellipsoids in viscous fluid. It is composed of several steps, each improving upon the standard procedure employed in the current literature. First, an efficient contact detection algorithm is presented. Then, the semi-implicit Immersed Boundary Method of Tschisgale et al. (2018) is enhanced by the collision forces using the… ▽ More The article proposes an algorithm to model the collision between arbitrary ellipsoids in viscous fluid. It is composed of several steps, each improving upon the standard procedure employed in the current literature. First, an efficient contact detection algorithm is presented. Then, the semi-implicit Immersed Boundary Method of Tschisgale et al. (2018) is enhanced by the collision forces using the hard-sphere approach, so that the resulting model accounts for fluid forces throughout the entire collision process. Additionally, a new lubrication model is proposed that applies a constant lubrication force in the region where hydrodynamic forces are not resolved by the spatial grid. The new collision model is validated against benchmark test cases of particle wall collisions with excellent agreement. Furthermore, the collision of an ellipsoidal particle with a wall is investigated. The normal restitution coefficient in the case of ellipsoidal particles does not solely depend upon the Stokes number as in the case of spherical particles but is also a function of its shape, and the orientation before the collision. Using the new model, the effect of these parameters on the rebound trajectory is studied. It is found that the maximum normal restitution coefficient decreases significantly as the flatness of the particle increases. Also, the coefficient of restitution depends on the particle orientation, a tendency increasing with particle flatness. >>>>>>>>>>>>>>> Note, that the distance algorithm described in the paper is subject of a Corrigendum: https://www.sciencedirect.com/science/article/pii/S0301932222000313/pdfft?md5=1c1b8e790efdc6785c47297d89906fe6&pid=1-s2.0-S0301932222000313-main.pdf <<<<<<<<<<<<<<< △ Less

Submitted 10 March, 2022; v1 submitted 12 January, 2022; originally announced January 2022.

Journal ref: International Journal of Multiphase Flow, Volume 120, November 2019, 103087

Social, Environmental, and Technical: Factors at Play in the Current Use and Future Design of Small-Group Captioning

Authors: Emma J. McDonnell, Ping Liu, Steven M. Goodman, Raja Kushalnagar, Jon E. Froehlich, Leah Findlater

Abstract: Real-time captioning is a critical accessibility tool for many d/Deaf and hard of hearing (DHH) people. While the vast majority of captioning work has focused on formal settings and technical innovations, in contrast, we investigate captioning for informal, interactive small-group conversations, which have a high degree of spontaneity and foster dynamic social interactions. This paper reports on s… ▽ More Real-time captioning is a critical accessibility tool for many d/Deaf and hard of hearing (DHH) people. While the vast majority of captioning work has focused on formal settings and technical innovations, in contrast, we investigate captioning for informal, interactive small-group conversations, which have a high degree of spontaneity and foster dynamic social interactions. This paper reports on semi-structured interviews and design probe activities we conducted with 15 DHH participants to understand their use of existing real-time captioning services and future design preferences for both in-person and remote small-group communication. We found that our participants' experiences of captioned small-group conversations are shaped by social, environmental, and technical considerations (e.g., interlocutors' pre-established relationships, the type of captioning displays available, and how far captions lag behind speech). When considering future captioning tools, participants were interested in greater feedback on non-speech elements of conversation (e.g., speaker identity, speech rate, volume) both for their personal use and to guide hearing interlocutors toward more accessible communication. We contribute a qualitative account of DHH people's real-time captioning experiences during small-group conversation and future design considerations to better support the groups being captioned, both in person and online. △ Less

Submitted 21 September, 2021; originally announced September 2021.

Comments: 25 pages, 3 figures, to be published in the PACMHCI-CSCW2 October 2021 edition, to be presented at CSCW 2021

Block-diagonalization of infinite-volume lattice Hamiltonians with unbounded interactions

Authors: Simone Del Vecchio, Juerg Fröhlich, Alessandro Pizzo

Abstract: In this paper we extend the local iterative Lie-Schwinger block-diagonalization method - introduced in [DFPR3] for quantum lattice systems with bounded interactions in arbitrary dimension- to systems with unbounded interactions, i.e., systems of bosons. We study Hamiltonians that can be written as the sum of a gapped operator consisting of a sum of on-site terms and a perturbation given by relativ… ▽ More In this paper we extend the local iterative Lie-Schwinger block-diagonalization method - introduced in [DFPR3] for quantum lattice systems with bounded interactions in arbitrary dimension- to systems with unbounded interactions, i.e., systems of bosons. We study Hamiltonians that can be written as the sum of a gapped operator consisting of a sum of on-site terms and a perturbation given by relatively bounded (but unbounded) interaction potentials of short range multiplied by a real coupling constant t. For sufficiently small values of |t| independent of the size of the lattice, we prove that the spectral gap above the ground-state energy of such Hamiltonians remains strictly positive. As in [DFPR3], we iteratively construct a sequence of local block-diagonalization steps based on unitary conjugations of the original Hamiltonian and inspired by the Lie-Schwinger procedure. To control the ranges and supports of the effective potentials generated in the course of our block-diagonalization steps, we use methods introduced in [DFPR3] for Hamiltonians with bounded interactions potentials. However, due to the unboundedness of the interaction potentails, weighted operator norms must be introduced, and some of the steps of the inductive proof by which we control the weighted norms of the effective potentials require special care to cope with matrix elements of unbounded operators. We stress that no large-field problems appear in our construction. In this respect our operator methods turn out to be an efficient tool to separate the low-energy spectral region of the Hamiltonian from other spectral regions, where the unbounded nature of the interaction potentials would become manifest. △ Less

Submitted 31 August, 2021; originally announced August 2021.

Comments: 54 pages. arXiv admin note: text overlap with arXiv:2007.07667

Scale-dependent anisotropy, energy transfer and intermittency in bubble-laden turbulent flows

Authors: Tian Ma, Bernhard Ott, Jochen Frohlich, Andrew D. Bragg

Abstract: Data from Direct Numerical Simulations of disperse bubbly flows in a vertical channel are used to study the effect of the bubbles on the carrier-phase turbulence. A new method is developed, based on the barycentric map approach, that allows to quantify the anisotropy and componentiality of the flow at any scale. Using this the bubbles are found to significantly enhance flow anisotropy at all scale… ▽ More Data from Direct Numerical Simulations of disperse bubbly flows in a vertical channel are used to study the effect of the bubbles on the carrier-phase turbulence. A new method is developed, based on the barycentric map approach, that allows to quantify the anisotropy and componentiality of the flow at any scale. Using this the bubbles are found to significantly enhance flow anisotropy at all scales compared with the unladen case, and for some bubble cases, very strong anisotropy persists down to the smallest flow scales. The strongest anisotropy observed was for the cases involving small bubbles. Concerning the inter-scale energy transfer, our results indicate that for the bubble-laden cases, the energy transfer is from large to small scales, just as for the unladen case. However, there is evidence of an upscale transfer when considering the transfer of energy associated with particular components of the velocity field. Although the direction of the energy transfer is the same with and without the bubbles, the transfer is much stronger for the bubble-laden cases, suggesting that the bubbles play a strong role in enhancing the activity of the nonlinear term in the flow. The normalized forms of the fourth and sixth-order structure functions are also considered, and reveal that the introduction of bubbles into the flow strongly enhances intermittency in the dissipation range, but suppresses it at larger scales. This strong enhancement of the dissipation scale intermittency has significant implications for understanding how the bubbles might modify the mixing properties of turbulent flows. △ Less

Submitted 1 April, 2021; originally announced April 2021.

A bibliometric analysis of citation diversity in accessibility and HCI research

Authors: Lucy Lu Wang, Kelly Mack, Emma McDonnell, Dhruv Jain, Leah Findlater, Jon E. Froehlich

Abstract: Accessibility research sits at the junction of several disciplines, drawing influence from HCI, disability studies, psychology, education, and more. To characterize the influences and extensions of accessibility research, we undertake a study of citation trends for accessibility and related HCI communities. We assess the diversity of venues and fields of study represented among the referenced and… ▽ More Accessibility research sits at the junction of several disciplines, drawing influence from HCI, disability studies, psychology, education, and more. To characterize the influences and extensions of accessibility research, we undertake a study of citation trends for accessibility and related HCI communities. We assess the diversity of venues and fields of study represented among the referenced and citing papers of 836 accessibility research papers from ASSETS and CHI, finding that though publications in computer science dominate these citation relationships, the relative proportion of citations from papers on psychology and medicine has grown over time. Though ASSETS is a more niche venue than CHI in terms of citational diversity, both conferences display standard levels of diversity among their incoming and outgoing citations when analyzed in the context of 53K papers from 13 accessibility and HCI conference venues. △ Less

Submitted 11 March, 2021; originally announced March 2021.

Comments: 11 pages, 5 figures, 3 tables, 2 appendices; CHI LBW 2021; accessible PDF available at https://makeabilitylab.cs.washington.edu/

What Do We Mean by "Accessibility Research"? A Literature Survey of Accessibility Papers in CHI and ASSETS from 1994 to 2019

Authors: Kelly Mack, Emma McDonnell, Dhruv Jain, Lucy Lu Wang, Jon E. Froehlich, Leah Findlater

Abstract: Accessibility research has grown substantially in the past few decades, yet there has been no literature review of the field. To understand current and historical trends, we created and analyzed a dataset of accessibility papers appearing at CHI and ASSETS since ASSETS' founding in 1994. We qualitatively coded areas of focus and methodological decisions for the past 10 years (2010-2019, N=506 pape… ▽ More Accessibility research has grown substantially in the past few decades, yet there has been no literature review of the field. To understand current and historical trends, we created and analyzed a dataset of accessibility papers appearing at CHI and ASSETS since ASSETS' founding in 1994. We qualitatively coded areas of focus and methodological decisions for the past 10 years (2010-2019, N=506 papers), and analyzed paper counts and keywords over the full 26 years (N=836 papers). Our findings highlight areas that have received disproportionate attention and those that are underserved--for example, over 43% of papers in the past 10 years are on accessibility for blind and low vision people. We also capture common study characteristics, such as the roles of disabled and nondisabled participants as well as sample sizes (e.g., a median of 13 for participant groups with disabilities and older adults). We close by critically reflecting on gaps in the literature and offering guidance for future work in the field. △ Less

Submitted 3 February, 2021; v1 submitted 11 January, 2021; originally announced January 2021.

The Time-Evolution of States in Quantum Mechanics

Authors: Jürg Fröhlich, Alessandro Pizzo

Abstract: It is argued that the Schrödinger equation does not yield a correct description of the quantum-mechanical time evolution of states of isolated (open) systems featuring events. A precise general law for the time evolution of states replacing the Schrödinger equation is formulated within the so-called ETH-Approach to Quantum Mechanics. This law eliminates the infamous "measurement problem." Our gene… ▽ More It is argued that the Schrödinger equation does not yield a correct description of the quantum-mechanical time evolution of states of isolated (open) systems featuring events. A precise general law for the time evolution of states replacing the Schrödinger equation is formulated within the so-called ETH-Approach to Quantum Mechanics. This law eliminates the infamous "measurement problem." Our general results are illustrated by an analysis of simple models describing a very heavy atom coupled to the quantized radiation field in a limit where the speed of light tends to infinity. The discussion of these models is the main subject of our paper. △ Less

Submitted 4 January, 2021; originally announced January 2021.

Comments: 46 pages, 1 figure

MSC Class: 81-02; 81P15; 81R15; 81V45

Interacting loop ensembles and Bose gases

Authors: Jürg Fröhlich, Antti Knowles, Benjamin Schlein, Vedran Sohinger

Abstract: We study interacting Bose gases in thermal equilibrium on a lattice. We establish convergence of the grand canonical Gibbs states of such gases to their mean-field (classical field) and large-mass (classical particle) limits. The former is a classical field theory for a complex scalar field with quartic self-interaction. The latter is a classical theory of point particles with two-body interaction… ▽ More We study interacting Bose gases in thermal equilibrium on a lattice. We establish convergence of the grand canonical Gibbs states of such gases to their mean-field (classical field) and large-mass (classical particle) limits. The former is a classical field theory for a complex scalar field with quartic self-interaction. The latter is a classical theory of point particles with two-body interactions. Our analysis is based on representations in terms of ensembles of interacting random loops, the Ginibre loop ensemble for Bose gases and the Symanzik loop ensemble for classical scalar field theories. For small enough interactions, our results also hold in infinite volume. △ Less

Submitted 20 September, 2022; v1 submitted 9 December, 2020; originally announced December 2020.

Comments: Revised version

MSC Class: 60G60; 82B10; 81V70

An immersed boundary method for the fluid-structure interaction of slender flexible structures in viscous fluid

Authors: S. Tschisgale, J. Fröhlich

Abstract: This paper presents a numerical method for the simulation of fluid-structure interaction specifically tailored to interactions between Newtonian fluids and a large number of slender viscoelastic Cosserat rods. Because of their high flexibility and low weight the rods considered here exhibit large deflections, even under moderate fluid loads. Their motion, in turn, modifies the flow so that fluid a… ▽ More This paper presents a numerical method for the simulation of fluid-structure interaction specifically tailored to interactions between Newtonian fluids and a large number of slender viscoelastic Cosserat rods. Because of their high flexibility and low weight the rods considered here exhibit large deflections, even under moderate fluid loads. Their motion, in turn, modifies the flow so that fluid and structures are strongly coupled to each other which is numerically very challenging. The paper proposes a new coupling approach based on an immersed boundary method which improves upon existing methods for this problem. It is numerically stable and exempt from any global iteration between the fluid part and the structure part, thus yielding high stability and low computational cost of the coupling scheme. The contribution presents the underlying methodology and its algorithmic realization, including an assessment of accuracy and convergence by systematic studies. Various validation cases illustrate performance and versatility of the proposed method. △ Less

Submitted 27 July, 2020; originally announced August 2020.

Linearizing the hybridizable discontinuous Galerkin method: A linearly scaling operator

Authors: Immo Huismann, Jörg Stiller, Jochen Fröhlich

Abstract: This paper proposes a matrix-free residual evaluation technique for the hybridizable discontinuous Galerkin method requiring a number of operations scaling only linearly with the number of degrees of freedom. The method results from application of tensor-product bases on cuboidal Cartesian elements, a specific choice for the penalty parameter, and the fast diagonalization technique. In combination… ▽ More This paper proposes a matrix-free residual evaluation technique for the hybridizable discontinuous Galerkin method requiring a number of operations scaling only linearly with the number of degrees of freedom. The method results from application of tensor-product bases on cuboidal Cartesian elements, a specific choice for the penalty parameter, and the fast diagonalization technique. In combination with a linearly scaling, face-wise preconditioner, a linearly scaling iteration time for a conjugate gradient method is attained. This allows for solutions in 1 $μs$ per unknown on one CPU core - a number typically associated with low-order methods. △ Less

Submitted 23 July, 2020; originally announced July 2020.

Local iterative block-diagonalization of gapped Hamiltonians: a new tool in singular perturbation theory

Authors: Simone Del Vecchio, Juerg Froehlich, Alessandro Pizzo, Stefano Rossi

Abstract: In this paper the local iterative Lie-Schwinger block-diagonalization method, introduced in [FP], [DFPR1], and [DFPR2] for quantum chains, is extended to higher-dimensional quantum lattice systems with Hamiltonians that can be written as the sum of an unperturbed gapped operator, consisting of a sum of on-site terms, and a perturbation consisting of bounded interaction potentials of short range mu… ▽ More In this paper the local iterative Lie-Schwinger block-diagonalization method, introduced in [FP], [DFPR1], and [DFPR2] for quantum chains, is extended to higher-dimensional quantum lattice systems with Hamiltonians that can be written as the sum of an unperturbed gapped operator, consisting of a sum of on-site terms, and a perturbation consisting of bounded interaction potentials of short range mutltiplied by a real coupling constant t. Our goal is to prove that the spectral gap above the ground-state energy of such Hamiltonians persists for sufficiently small values of |t|, independently of the size of the lattice. New ideas and concepts are necessary to extend our method to systems in dimension d > 1: As in our earlier work, a sequence of local block-diagonalization steps based on judiciously chosen unitary conjugations of the original Hamiltonian is introduced. The supports of effective interaction potentials generated in the course of these block-diagonalization steps can be identified with what we call minimal rectangles contained in the lattice, a concept that serves to tackle combinatorial problems that arise in the course of iterating the block-diagonalization steps. For a given minimal rectangle, control of the effective interaction potentials generated in each block-diagonalization step with support in the given rectangle is achieved by exploiting a variety of rather subtle mechanisms which include, for example, the use of weighted sums of paths consisting of overlapping rectangles and of large denominators, expressed in terms of sums of orthogonal projections, that serve to control analogous sums of projections in the numerators resulting from the unitary conjugations of the interaction potential terms involved in the local block-diagonalization step. △ Less

Submitted 30 November, 2020; v1 submitted 15 July, 2020; originally announced July 2020.

Comments: 47 pages

Journal ref: J. Math. Phys. 63, 073503 (2022)