Showing 1–29 of 29 results for author: Williams, J D

DELPHI: Data for Evaluating LLMs' Performance in Handling Controversial Issues

Authors: David Q. Sun, Artem Abzaliev, Hadas Kotek, Zidi Xiu, Christopher Klein, Jason D. Williams

Abstract: Controversy is a reflection of our zeitgeist, and an important aspect to any discourse. The rise of large language models (LLMs) as conversational systems has increased public reliance on these systems for answers to their various questions. Consequently, it is crucial to systematically examine how these models respond to questions that pertaining to ongoing debates. However, few such datasets exi… ▽ More Controversy is a reflection of our zeitgeist, and an important aspect to any discourse. The rise of large language models (LLMs) as conversational systems has increased public reliance on these systems for answers to their various questions. Consequently, it is crucial to systematically examine how these models respond to questions that pertaining to ongoing debates. However, few such datasets exist in providing human-annotated labels reflecting the contemporary discussions. To foster research in this area, we propose a novel construction of a controversial questions dataset, expanding upon the publicly released Quora Question Pairs Dataset. This dataset presents challenges concerning knowledge recency, safety, fairness, and bias. We evaluate different LLMs using a subset of this dataset, illuminating how they handle controversial issues and the stances they adopt. This research ultimately contributes to our understanding of LLMs' interaction with controversial issues, paving the way for improvements in their comprehension and handling of complex societal debates. △ Less

Submitted 7 November, 2023; v1 submitted 27 October, 2023; originally announced October 2023.

Comments: Accepted to EMNLP Industry Track 2023

Intelligent Assistant Language Understanding On Device

Authors: Cecilia Aas, Hisham Abdelsalam, Irina Belousova, Shruti Bhargava, Jianpeng Cheng, Robert Daland, Joris Driesen, Federico Flego, Tristan Guigue, Anders Johannsen, Partha Lal, Jiarui Lu, Joel Ruben Antony Moniz, Nathan Perkins, Dhivya Piraviperumal, Stephen Pulman, Diarmuid Ó Séaghdha, David Q. Sun, John Torr, Marco Del Vecchio, Jay Wacker, Jason D. Williams, Hong Yu

Abstract: It has recently become feasible to run personal digital assistants on phones and other personal devices. In this paper we describe a design for a natural language understanding system that runs on device. In comparison to a server-based assistant, this system is more private, more reliable, faster, more expressive, and more accurate. We describe what led to key choices about architecture and techn… ▽ More It has recently become feasible to run personal digital assistants on phones and other personal devices. In this paper we describe a design for a natural language understanding system that runs on device. In comparison to a server-based assistant, this system is more private, more reliable, faster, more expressive, and more accurate. We describe what led to key choices about architecture and technologies. For example, some approaches in the dialog systems literature are difficult to maintain over time in a deployment setting. We hope that sharing learnings from our practical experiences may help inform future work in the research community. △ Less

Submitted 7 August, 2023; originally announced August 2023.

Feedback Effect in User Interaction with Intelligent Assistants: Delayed Engagement, Adaption and Drop-out

Authors: Zidi Xiu, Kai-Chen Cheng, David Q. Sun, Jiannan Lu, Hadas Kotek, Yuhan Zhang, Paul McCarthy, Christopher Klein, Stephen Pulman, Jason D. Williams

Abstract: With the growing popularity of intelligent assistants (IAs), evaluating IA quality becomes an increasingly active field of research. This paper identifies and quantifies the feedback effect, a novel component in IA-user interactions: how the capabilities and limitations of the IA influence user behavior over time. First, we demonstrate that unhelpful responses from the IA cause users to delay or r… ▽ More With the growing popularity of intelligent assistants (IAs), evaluating IA quality becomes an increasingly active field of research. This paper identifies and quantifies the feedback effect, a novel component in IA-user interactions: how the capabilities and limitations of the IA influence user behavior over time. First, we demonstrate that unhelpful responses from the IA cause users to delay or reduce subsequent interactions in the short term via an observational study. Next, we expand the time horizon to examine behavior changes and show that as users discover the limitations of the IA's understanding and functional capabilities, they learn to adjust the scope and wording of their requests to increase the likelihood of receiving a helpful response from the IA. Our findings highlight the impact of the feedback effect at both the micro and meso levels. We further discuss its macro-level consequences: unsatisfactory interactions continuously reduce the likelihood and diversity of future user engagements in a feedback loop. △ Less

Submitted 18 April, 2023; v1 submitted 17 March, 2023; originally announced March 2023.

Comments: PAKDD 2023

Class Clown: Data Redaction in Machine Unlearning at Enterprise Scale

Authors: Daniel L. Felps, Amelia D. Schwickerath, Joyce D. Williams, Trung N. Vuong, Alan Briggs, Matthew Hunt, Evan Sakmar, David D. Saranchak, Tyler Shumaker

Abstract: Individuals are gaining more control of their personal data through recent data privacy laws such the General Data Protection Regulation and the California Consumer Privacy Act. One aspect of these laws is the ability to request a business to delete private information, the so called "right to be forgotten" or "right to erasure". These laws have serious financial implications for companies and org… ▽ More Individuals are gaining more control of their personal data through recent data privacy laws such the General Data Protection Regulation and the California Consumer Privacy Act. One aspect of these laws is the ability to request a business to delete private information, the so called "right to be forgotten" or "right to erasure". These laws have serious financial implications for companies and organizations that train large, highly accurate deep neural networks (DNNs) using these valuable consumer data sets. However, a received redaction request poses complex technical challenges on how to comply with the law while fulfilling core business operations. We introduce a DNN model lifecycle maintenance process that establishes how to handle specific data redaction requests and minimize the need to completely retrain the model. Our process is based upon the membership inference attack as a compliance tool for every point in the training set. These attack models quantify the privacy risk of all training data points and form the basis of follow-on data redaction from an accurate deployed model; excision is implemented through incorrect label assignment within incremental model updates. △ Less

Submitted 8 December, 2020; originally announced December 2020.

Comments: 8 pages, 7 figures

Improving Human-Labeled Data through Dynamic Automatic Conflict Resolution

Authors: David Q. Sun, Hadas Kotek, Christopher Klein, Mayank Gupta, William Li, Jason D. Williams

Abstract: This paper develops and implements a scalable methodology for (a) estimating the noisiness of labels produced by a typical crowdsourcing semantic annotation task, and (b) reducing the resulting error of the labeling process by as much as 20-30% in comparison to other common labeling strategies. Importantly, this new approach to the labeling process, which we name Dynamic Automatic Conflict Resolut… ▽ More This paper develops and implements a scalable methodology for (a) estimating the noisiness of labels produced by a typical crowdsourcing semantic annotation task, and (b) reducing the resulting error of the labeling process by as much as 20-30% in comparison to other common labeling strategies. Importantly, this new approach to the labeling process, which we name Dynamic Automatic Conflict Resolution (DACR), does not require a ground truth dataset and is instead based on inter-project annotation inconsistencies. This makes DACR not only more accurate but also available to a broad range of labeling tasks. In what follows we present results from a text classification task performed at scale for a commercial personal assistant, and evaluate the inherent ambiguity uncovered by this annotation strategy as compared to other common labeling strategies. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Comments: Conference Paper at COLING 2020: https://www.aclweb.org/anthology/2020.coling-main.316/

Bootstrap Aggregation for Point-based Generalized Membership Inference Attacks

Authors: Daniel L. Felps, Amelia D. Schwickerath, Joyce D. Williams, Trung N. Vuong, Alan Briggs, Matthew Hunt, Evan Sakmar, David D. Saranchak, Tyler Shumaker

Abstract: An efficient scheme is introduced that extends the generalized membership inference attack to every point in a model's training data set. Our approach leverages data partitioning to create variable sized training sets for the reference models. We then train an attack model for every single training example for a reference model configuration based upon output for each individual point. This allows… ▽ More An efficient scheme is introduced that extends the generalized membership inference attack to every point in a model's training data set. Our approach leverages data partitioning to create variable sized training sets for the reference models. We then train an attack model for every single training example for a reference model configuration based upon output for each individual point. This allows us to quantify the membership inference attack vulnerability of each training data point. Using this approach, we discovered that smaller amounts of reference model training data led to a stronger attack. Furthermore, the reference models do not need to be of the same architecture as the target model, providing additional attack efficiencies. The attack may also be performed by an adversary even when they do not have the complete original data set. △ Less

Submitted 17 November, 2020; originally announced November 2020.

Comments: 8 pages, 6 figures, 8 tables

Conversational Semantic Parsing for Dialog State Tracking

Authors: Jianpeng Cheng, Devang Agrawal, Hector Martinez Alonso, Shruti Bhargava, Joris Driesen, Federico Flego, Shaona Ghosh, Dain Kaplan, Dimitri Kartsaklis, Lin Li, Dhivya Piraviperumal, Jason D Williams, Hong Yu, Diarmuid O Seaghdha, Anders Johannsen

Abstract: We consider a new perspective on dialog state tracking (DST), the task of estimating a user's goal through the course of a dialog. By formulating DST as a semantic parsing task over hierarchical representations, we can incorporate semantic compositionality, cross-domain knowledge sharing and co-reference. We present TreeDST, a dataset of 27k conversations annotated with tree-structured dialog stat… ▽ More We consider a new perspective on dialog state tracking (DST), the task of estimating a user's goal through the course of a dialog. By formulating DST as a semantic parsing task over hierarchical representations, we can incorporate semantic compositionality, cross-domain knowledge sharing and co-reference. We present TreeDST, a dataset of 27k conversations annotated with tree-structured dialog states and system acts. We describe an encoder-decoder framework for DST with hierarchical representations, which leads to 20% improvement over state-of-the-art DST approaches that operate on a flat meaning space of slot-value pairs. △ Less

Submitted 13 May, 2021; v1 submitted 24 October, 2020; originally announced October 2020.

Comments: Publish as a conference paper at EMNLP 2020

Noise Robust Named Entity Understanding for Voice Assistants

Authors: Deepak Muralidharan, Joel Ruben Antony Moniz, Sida Gao, Xiao Yang, Justine Kao, Stephen Pulman, Atish Kothari, Ray Shen, Yinying Pan, Vivek Kaul, Mubarak Seyed Ibrahim, Gang Xiang, Nan Dun, Yidan Zhou, Andy O, Yuan Zhang, Pooja Chitkara, Xuan Wang, Alkesh Patel, Kushal Tayal, Roger Zheng, Peter Grasch, Jason D. Williams, Lin Li

Abstract: Named Entity Recognition (NER) and Entity Linking (EL) play an essential role in voice assistant interaction, but are challenging due to the special difficulties associated with spoken user queries. In this paper, we propose a novel architecture that jointly solves the NER and EL tasks by combining them in a joint reranking module. We show that our proposed framework improves NER accuracy by up to… ▽ More Named Entity Recognition (NER) and Entity Linking (EL) play an essential role in voice assistant interaction, but are challenging due to the special difficulties associated with spoken user queries. In this paper, we propose a novel architecture that jointly solves the NER and EL tasks by combining them in a joint reranking module. We show that our proposed framework improves NER accuracy by up to 3.13% and EL accuracy by up to 3.6% in F1 score. The features used also lead to better accuracies in other natural language understanding tasks, such as domain classification and semantic parsing. △ Less

Submitted 10 August, 2021; v1 submitted 29 May, 2020; originally announced May 2020.

Comments: NAACL 2021 Industry Track

MSC Class: 68T50 ACM Class: I.2.7

Active Learning for Domain Classification in a Commercial Spoken Personal Assistant

Authors: Xi C. Chen, Adithya Sagar, Justine T. Kao, Tony Y. Li, Christopher Klein, Stephen Pulman, Ashish Garg, Jason D. Williams

Abstract: We describe a method for selecting relevant new training data for the LSTM-based domain selection component of our personal assistant system. Adding more annotated training data for any ML system typically improves accuracy, but only if it provides examples not already adequately covered in the existing data. However, obtaining, selecting, and labeling relevant data is expensive. This work present… ▽ More We describe a method for selecting relevant new training data for the LSTM-based domain selection component of our personal assistant system. Adding more annotated training data for any ML system typically improves accuracy, but only if it provides examples not already adequately covered in the existing data. However, obtaining, selecting, and labeling relevant data is expensive. This work presents a simple technique that automatically identifies new helpful examples suitable for human annotation. Our experimental results show that the proposed method, compared with random-selection and entropy-based methods, leads to higher accuracy improvements given a fixed annotation budget. Although developed and tested in the setting of a commercial intelligent assistant, the technique is of wider applicability. △ Less

Submitted 29 August, 2019; originally announced August 2019.

NAIL: A General Interactive Fiction Agent

Authors: Matthew Hausknecht, Ricky Loynd, Greg Yang, Adith Swaminathan, Jason D. Williams

Abstract: Interactive Fiction (IF) games are complex textual decision making problems. This paper introduces NAIL, an autonomous agent for general parser-based IF games. NAIL won the 2018 Text Adventure AI Competition, where it was evaluated on twenty unseen games. This paper describes the architecture, development, and insights underpinning NAIL's performance. Interactive Fiction (IF) games are complex textual decision making problems. This paper introduces NAIL, an autonomous agent for general parser-based IF games. NAIL won the 2018 Text Adventure AI Competition, where it was evaluated on twenty unseen games. This paper describes the architecture, development, and insights underpinning NAIL's performance. △ Less

Submitted 14 February, 2019; v1 submitted 12 February, 2019; originally announced February 2019.

Learning to Globally Edit Images with Textual Description

Authors: Hai Wang, Jason D. Williams, SingBing Kang

Abstract: We show how we can globally edit images using textual instructions: given a source image and a textual instruction for the edit, generate a new image transformed under this instruction. To tackle this novel problem, we develop three different trainable models based on RNN and Generative Adversarial Network (GAN). The models (bucket, filter bank, and end-to-end) differ in how much expert knowledge… ▽ More We show how we can globally edit images using textual instructions: given a source image and a textual instruction for the edit, generate a new image transformed under this instruction. To tackle this novel problem, we develop three different trainable models based on RNN and Generative Adversarial Network (GAN). The models (bucket, filter bank, and end-to-end) differ in how much expert knowledge is encoded, with the most general version being purely end-to-end. To train these systems, we use Amazon Mechanical Turk to collect textual descriptions for around 2000 image pairs sampled from several datasets. Experimental results evaluated on our dataset validate our approaches. In addition, given that the filter bank model is a good compromise between generality and performance, we investigate it further by replacing RNN with Graph RNN, and show that Graph RNN improves performance. To the best of our knowledge, this is the first computational photography work on global image editing that is purely based on free-form textual instructions. △ Less

Submitted 12 October, 2018; originally announced October 2018.

Hybrid Code Networks: practical and efficient end-to-end dialog control with supervised and reinforcement learning

Authors: Jason D. Williams, Kavosh Asadi, Geoffrey Zweig

Abstract: End-to-end learning of recurrent neural networks (RNNs) is an attractive solution for dialog systems; however, current techniques are data-intensive and require thousands of dialogs to learn simple behaviors. We introduce Hybrid Code Networks (HCNs), which combine an RNN with domain-specific knowledge encoded as software and system action templates. Compared to existing end-to-end approaches, HCNs… ▽ More End-to-end learning of recurrent neural networks (RNNs) is an attractive solution for dialog systems; however, current techniques are data-intensive and require thousands of dialogs to learn simple behaviors. We introduce Hybrid Code Networks (HCNs), which combine an RNN with domain-specific knowledge encoded as software and system action templates. Compared to existing end-to-end approaches, HCNs considerably reduce the amount of training data required, while retaining the key benefit of inferring a latent representation of dialog state. In addition, HCNs can be optimized with supervised learning, reinforcement learning, or a mixture of both. HCNs attain state-of-the-art performance on the bAbI dialog dataset, and outperform two commercially deployed customer-facing dialog systems. △ Less

Submitted 24 April, 2017; v1 submitted 10 February, 2017; originally announced February 2017.

Comments: Accepted as a long paper for the 55th Annual Meeting of the Association for Computational Linguistics (ACL 2017)

Sample-efficient Deep Reinforcement Learning for Dialog Control

Authors: Kavosh Asadi, Jason D. Williams

Abstract: Representing a dialog policy as a recurrent neural network (RNN) is attractive because it handles partial observability, infers a latent representation of state, and can be optimized with supervised learning (SL) or reinforcement learning (RL). For RL, a policy gradient approach is natural, but is sample inefficient. In this paper, we present 3 methods for reducing the number of dialogs required t… ▽ More Representing a dialog policy as a recurrent neural network (RNN) is attractive because it handles partial observability, infers a latent representation of state, and can be optimized with supervised learning (SL) or reinforcement learning (RL). For RL, a policy gradient approach is natural, but is sample inefficient. In this paper, we present 3 methods for reducing the number of dialogs required to optimize an RNN-based dialog policy with RL. The key idea is to maintain a second RNN which predicts the value of the current policy, and to apply experience replay to both networks. On two tasks, these methods reduce the number of dialogs/episodes required by about a third, vs. standard policy gradient methods. △ Less

Submitted 18 December, 2016; originally announced December 2016.

End-to-end LSTM-based dialog control optimized with supervised and reinforcement learning

Authors: Jason D. Williams, Geoffrey Zweig

Abstract: This paper presents a model for end-to-end learning of task-oriented dialog systems. The main component of the model is a recurrent neural network (an LSTM), which maps from raw dialog history directly to a distribution over system actions. The LSTM automatically infers a representation of dialog history, which relieves the system developer of much of the manual feature engineering of dialog state… ▽ More This paper presents a model for end-to-end learning of task-oriented dialog systems. The main component of the model is a recurrent neural network (an LSTM), which maps from raw dialog history directly to a distribution over system actions. The LSTM automatically infers a representation of dialog history, which relieves the system developer of much of the manual feature engineering of dialog state. In addition, the developer can provide software that expresses business rules and provides access to programmatic APIs, enabling the LSTM to take actions in the real world on behalf of the user. The LSTM can be optimized using supervised learning (SL), where a domain expert provides example dialogs which the LSTM should imitate; or using reinforcement learning (RL), where the system improves by interacting directly with end users. Experiments show that SL and RL are complementary: SL alone can derive a reasonable initial policy from a small number of training dialogs; and starting RL optimization with a policy trained with SL substantially accelerates the learning rate of RL. △ Less

Submitted 3 June, 2016; originally announced June 2016.

On the Hausdorff Continuity of Free Lèvy Processes and Free Convolution Semigroups

Authors: John D. Williams

Abstract: Let $μ$ denote a Borel probability measure and let $\{ μ_{t} \}_{t\geq 1}$ denote the free additive convolution semigroup of Nica and Speicher. We show that the support of these measures varies continuously in the Hausdorff metric for $t >1$. We utilize complex analytic methods and, in particular, a characterization of the absolutely continuous portion of these supports due to Huang. Let $μ$ denote a Borel probability measure and let $\{ μ_{t} \}_{t\geq 1}$ denote the free additive convolution semigroup of Nica and Speicher. We show that the support of these measures varies continuously in the Hausdorff metric for $t >1$. We utilize complex analytic methods and, in particular, a characterization of the absolutely continuous portion of these supports due to Huang. △ Less

Submitted 29 July, 2016; v1 submitted 30 September, 2015; originally announced October 2015.

Comments: Small revisions at the referees behest. To be published in the Journal of Mathematical Analysis and its Applications

MSC Class: 46L54; 30E20

B-Valued Free Convolution for Unbounded Operators

Authors: John D. Williams

Abstract: Consider the $\mathcal{B}$-valued probability space $(\mathcal{A}, E, \mathcal{B})$, where $\mathcal{A}$ is a tracial von Neumann algebra. We extend the theory of operator valued free probability to the algebra of affiliated operators $\tilde{\mathcal{A}}$. For a random variable $X \in \tilde{\mathcal{A}}^{sa}$ we study the Cauchy transform $G_{X}$ and show that the operator algebra… ▽ More Consider the $\mathcal{B}$-valued probability space $(\mathcal{A}, E, \mathcal{B})$, where $\mathcal{A}$ is a tracial von Neumann algebra. We extend the theory of operator valued free probability to the algebra of affiliated operators $\tilde{\mathcal{A}}$. For a random variable $X \in \tilde{\mathcal{A}}^{sa}$ we study the Cauchy transform $G_{X}$ and show that the operator algebra $(\mathcal{B} \cup \{X\})"$ can be recovered from this function. In the case where $\mathcal{B}$ is finite dimensional, we show that, when $X, Y \in \tilde{\mathcal{A}}^{sa}$ are assumed to be $\mathcal{B}$-free, the $\mathcal{R}$-transforms are defined on universal subsets of the resolvent and satisfy $$ \mathcal{R}_{X} + \mathcal{R}_{Y} = \mathcal{R}_{X + Y}. $$ Examples indicating a failure of the theory for infinite dimensional $\mathcal{B}$ are provided. Lastly, we show that the class of functions that arise as the Cauchy transform of affiliated operators is, in a natural way, the closure of the set of Cauchy transforms of bounded operators. △ Less

Submitted 17 December, 2015; v1 submitted 9 July, 2015; originally announced July 2015.

Comments: Several small errors corrected. Streamlined proofs. To be published in Indiana University Journal or Mathematics

MSC Class: 46L54; 46E40

Operator-Valued Monotone Convolution Semigroups and an Extension of the Bercovici-Pata Bijection

Authors: Michael Anshelevich, John D. Williams

Abstract: In a 1999 paper, Bercovici and Pata showed that a natural bijection between the classically, free and Boolean infinitely divisible measures held at the level of limit theorems of triangular arrays. This result was extended to include monotone convolution by the authors. In recent years, operator-valued versions of free, Boolean and monotone probability have also been developed. Belinschi, Popa and… ▽ More In a 1999 paper, Bercovici and Pata showed that a natural bijection between the classically, free and Boolean infinitely divisible measures held at the level of limit theorems of triangular arrays. This result was extended to include monotone convolution by the authors. In recent years, operator-valued versions of free, Boolean and monotone probability have also been developed. Belinschi, Popa and Vinnikov showed that the Bercovici-Pata bijection holds for the operator-valued versions of free and Boolean probability. In this article, we extend the bijection to include monotone probability theory even in the operator-valued case. To prove this result, we develop the general theory of composition semigroups of non-commutative functions and largely recapture Berkson and Porta's classical results on composition semigroups of complex functions in operator-valued setting. As a biproduct, we deduce that operator-valued monotonically infinitely divisible distributions belong to monotone convolution semigroups. Finally, in the appendix, we extend the result of the second author on the classification of Cauchy transforms for non-commutative distributions to the Cauchy transforms associated to more general completely positive maps. △ Less

Submitted 19 May, 2015; v1 submitted 3 December, 2014; originally announced December 2014.

Comments: v2: numerous changes throughout

MSC Class: Primary 46L53; Secondary 30D05; 47D06; 60E07

Operator-valued Jacobi parameters and examples of operator-valued distributions

Authors: Michael Anshelevich, John D. Williams

Abstract: In the setting of distributions taking values in a $C^\ast$-algebra $\mathcal{B}$, we define generalized Jacobi parameters and study distributions they generate. These include numerous known examples and one new family, of $\mathcal{B}$-valued free binomial distributions, for which we are able to compute free convolution powers. Moreover, we develop a convenient combinatorial method for calculatin… ▽ More In the setting of distributions taking values in a $C^\ast$-algebra $\mathcal{B}$, we define generalized Jacobi parameters and study distributions they generate. These include numerous known examples and one new family, of $\mathcal{B}$-valued free binomial distributions, for which we are able to compute free convolution powers. Moreover, we develop a convenient combinatorial method for calculating the joint distributions of $\mathcal{B}$-free random variables with Jacobi parameters, utilizing two-color non-crossing partitions. This leads to several new explicit examples of free convolution computations in the operator-valued setting. Additionally, we obtain a counting algorithm for the number of two-color non-crossing pairings of relative finite depth, using only free probabilistic techniques. Finally, we show that the class of distributions with Jacobi parameters is not closed under free convolution. △ Less

Submitted 17 December, 2015; v1 submitted 3 December, 2014; originally announced December 2014.

Comments: v3: A major revision, following comments by a referee

MSC Class: 46L54; 05A19

Existence of 2-parameter crossings, with applications

Authors: Jonathan D. Williams

Abstract: A Morse 2-function is a generic smooth map from a manifold M of arbitrary finite dimension to a surface B. Its critical set maps to an immersed collection of cusped arcs in B. The aim of this paper is to explain exactly when it is possible to move these arcs around in B by a homotopy and to give a library of examples when M is a closed 4-manifold. The last two sections give applications to the the… ▽ More A Morse 2-function is a generic smooth map from a manifold M of arbitrary finite dimension to a surface B. Its critical set maps to an immersed collection of cusped arcs in B. The aim of this paper is to explain exactly when it is possible to move these arcs around in B by a homotopy and to give a library of examples when M is a closed 4-manifold. The last two sections give applications to the theory of crown diagrams of smooth 4-manifolds. △ Less

Submitted 3 December, 2019; v1 submitted 6 November, 2014; originally announced November 2014.

Comments: accepted version

Holomorphic polygons and smooth 4-manifold invariants

Authors: Jonathan D. Williams

Abstract: Any smooth, closed oriented 4-manifold has a surface diagram of arbitrarily high genus g>2 that specifies it up to diffeomorphism. The goal of this paper is to prove the following statement: For any smooth, closed oriented 4-manifold M, there is a sequence of weak A-infinity algebras indexed by g, and the homotopy equivalence class of each entry of this sequence is a diffeomorphism invariant of M. Any smooth, closed oriented 4-manifold has a surface diagram of arbitrarily high genus g>2 that specifies it up to diffeomorphism. The goal of this paper is to prove the following statement: For any smooth, closed oriented 4-manifold M, there is a sequence of weak A-infinity algebras indexed by g, and the homotopy equivalence class of each entry of this sequence is a diffeomorphism invariant of M. △ Less

Submitted 10 October, 2013; originally announced October 2013.

Comments: 31 pages. Preliminary: Comments welcome

MSC Class: 57R17

Analytic Function Theory for Operator-Valued Free Probability

Authors: John D. Williams

Abstract: It is a classical result in complex analysis that the class of functions that arise as the Cauchy transform of probability measures may be characterized entirely in terms of their analytic and asymptotic properties. Such transforms are a main object of study in non-commutative probability theory as the function theory encodes information on the probability measures and the various convolution oper… ▽ More It is a classical result in complex analysis that the class of functions that arise as the Cauchy transform of probability measures may be characterized entirely in terms of their analytic and asymptotic properties. Such transforms are a main object of study in non-commutative probability theory as the function theory encodes information on the probability measures and the various convolution operations. In extending this theory to operator-valued free probability theory, the analogue of the Cauchy transform is a non-commutative function with domain equal to the non-commutative upper-half plane. In this paper, we prove an analogous characterization of the Cauchy transforms, again, entirely in terms of their analytic and asymptotic behavior. We further characterize those functions which arise as the Voiculescu transform of $\boxplus$-infinitely divisible $\mathcal{B}$-valued distributions. As consequences of these results, we provide a characterization of infinite divisibility in terms of the domain of the relevant Voiculescu transform, provide a purely analytic definition of the semigroups of completely positive maps associated to infinitely divisible distributions and provide a Nevanlinna representation for non-commutative functions with the appropriate asymptotic behavior. △ Less

Submitted 27 May, 2014; v1 submitted 3 September, 2013; originally announced September 2013.

Comments: Final version. Streamlined with simpler arguments. To be published in Crelle's journal

MSC Class: 46L54; 46L52; 47A56

Quantum symmetric states on free product C*-algebras

Authors: Kenneth J. Dykema, Claus Köstler, John D. Williams

Abstract: We introduce symmetric states and quantum symmetric states on universal unital free product C*-algebras an arbitrary unital C*-algebra A with itself infinitely many times, as a generalization of the notions of exchangeable and quantum exchangeable random variables. We prove existence of conditional expectations onto tail algebras in various settings and we define a natural C*-subalgebra of the tai… ▽ More We introduce symmetric states and quantum symmetric states on universal unital free product C*-algebras an arbitrary unital C*-algebra A with itself infinitely many times, as a generalization of the notions of exchangeable and quantum exchangeable random variables. We prove existence of conditional expectations onto tail algebras in various settings and we define a natural C*-subalgebra of the tail algebra, called the tail C*-algebra. Extending and building on the proof of the noncommutative de Finetti theorem of Koestler and Speicher, we prove a de Finetti type theorem that characterizes quantum symmetric states in terms of amalgamated free products over the tail C*-algebra, and we provide a convenient description of the set of all quantum symmetric states on the free product C*-algebra in terms of C*-algebras generated by homomorphic images of A and the tail C*-algebra. This description allows a characterization of the extreme quantum symmetric states. Similar results are proved for the subset of tracial quantum symmetric states, though in terms of von Neumann algebras and normal conditional expectations. The central quantum symmetric states are those for which the tail algebra is in the center of the von Neumann algebra, and we show that the central quantum symmetric states form a Choquet simplex whose extreme points are the free product states, while the tracial central quantum symmetric states form a Choquet simplex whose extreme points are the free product traces. △ Less

Submitted 22 September, 2014; v1 submitted 30 May, 2013; originally announced May 2013.

Comments: 37 pages. Version 3 corrects a mistake in the earlier versions about existence of a normal conditional expectation onto the tail algebra; and the final results are slightly different than before. Version 2 contains some minor additions to Version 1

MSC Class: 46L53 (46L54; 81S25; 46L10)

Limit theorems for monotonic convolution and the Chernoff product formula

Authors: Michael Anshelevich, John D. Williams

Abstract: Bercovici and Pata showed that the correspondence between classically, freely, and Boolean infinitely divisible distributions holds on the level of limit theorems. We extend this correspondence also to distributions infinitely divisible with respect to the additive monotone convolution. Because of non-commutativity of this convolution, we use a new technique based on the Chernoff product formula.… ▽ More Bercovici and Pata showed that the correspondence between classically, freely, and Boolean infinitely divisible distributions holds on the level of limit theorems. We extend this correspondence also to distributions infinitely divisible with respect to the additive monotone convolution. Because of non-commutativity of this convolution, we use a new technique based on the Chernoff product formula. In fact, the correspondence between the Boolean and monotone limit theorems extends from probability measures to positive measures of total weight at most one. Finally, we study this correspondence for multiplicative monotone convolution, where the Bercovici-Pata bijection no longer holds. △ Less

Submitted 19 February, 2013; v1 submitted 19 September, 2012; originally announced September 2012.

Comments: v4: minor corrections. v3: Results extended from probability measures to finite measures. v2: Significant improvements following comments by J.C. Wang; Introduction also modified

MSC Class: 46L53 (Primary) 30D05; 46L54; 47D06; 60B10 (Secondary)

An Analogue of Hinucin's Characterization of Infinite Divisibility for Operator-Valued Free Probability

Authors: John D. Williams

Abstract: Let $B$ be a finite, separable von Neumann algebra. We prove that a $B$-valued distribution $μ$ that is the weak limit of an infinitesimal array is infinitely divisible. The proof of this theorem utilizes the Steinitz lemma and may be adapted to provide a nonstandard proof of this type of theorem for various other probabilistic categories. We also develop weak topologies for this theory and prove… ▽ More Let $B$ be a finite, separable von Neumann algebra. We prove that a $B$-valued distribution $μ$ that is the weak limit of an infinitesimal array is infinitely divisible. The proof of this theorem utilizes the Steinitz lemma and may be adapted to provide a nonstandard proof of this type of theorem for various other probabilistic categories. We also develop weak topologies for this theory and prove the corresponding compactness and convergence results. △ Less

Submitted 7 November, 2011; v1 submitted 12 October, 2011; originally announced October 2011.

Comments: Several revisions, excised theorems incompatible with the final form of the paper

Uniform Convergence and the Central Limit Theorem

Authors: John D. Williams

Abstract: We prove results about uniform convergence of densities in the free central limit theorem without assumptions of boundedness on the support. We prove results about uniform convergence of densities in the free central limit theorem without assumptions of boundedness on the support. △ Less

Submitted 8 April, 2011; originally announced April 2011.

Uniqueness of surface diagrams of smooth 4-manifolds

Authors: Jonathan D. Williams

Abstract: In the author's earlier work there appeared a new way to specify any smooth closed 4-manifold by a surface diagram, which consists of an orientable surface decorated with simple closed curves. These curves are cyclically indexed, and each curve has a unique transverse intersection with the next. Each surface diagram comes from a certain type of map from the 4-manifold to the two-sphere. The aim of… ▽ More In the author's earlier work there appeared a new way to specify any smooth closed 4-manifold by a surface diagram, which consists of an orientable surface decorated with simple closed curves. These curves are cyclically indexed, and each curve has a unique transverse intersection with the next. Each surface diagram comes from a certain type of map from the 4-manifold to the two-sphere. The aim of this paper is to give a uniqueness theorem stating that surface diagrams coming from maps within a fixed homotopy class are unique up to four moves: stabilization, handleslide, multislide, and shift. △ Less

Submitted 24 April, 2018; v1 submitted 31 March, 2011; originally announced March 2011.

Comments: Informal material added for readability in numerous places and many details and intermediate steps added to the later arguments in response to referee comments; references updated. 62 pages, many figures

MSC Class: 57M50

A Khintchine Decomposition for Free Probability

Authors: John D. Williams

Abstract: Let $μ$ be a probability measure on the real line. In this paper we prove that there exists a decomposition $μ= μ_{0} \boxplus μ_{1} \boxplus \... \boxplus μ_{n} \boxplus \...$ such that $μ_{0}$ is infinitely divisible and $μ_{i}$ is indecomposable for $i \geq 1$. Additionally, we prove that the family of all $\boxplus$-divisors of a measure $μ$ is compact up to translation. Analogous results are… ▽ More Let $μ$ be a probability measure on the real line. In this paper we prove that there exists a decomposition $μ= μ_{0} \boxplus μ_{1} \boxplus \... \boxplus μ_{n} \boxplus \...$ such that $μ_{0}$ is infinitely divisible and $μ_{i}$ is indecomposable for $i \geq 1$. Additionally, we prove that the family of all $\boxplus$-divisors of a measure $μ$ is compact up to translation. Analogous results are also proven in the case of multiplicative convolution. △ Less

Submitted 8 April, 2011; v1 submitted 24 September, 2010; originally announced September 2010.

Comments: Minor revisions, updated references

The h-principle for broken Lefschetz fibrations

Authors: Jonathan D. Williams

Abstract: It is known that an arbitrary smooth, oriented 4-manifold admits the structure of what is called a broken Lefschetz fibration. Given a broken fibration, there are certain modifications, realized as homotopies of the fibration map, that enable one to construct infinitely many distinct fibrations of the same manifold. The aim of this paper is to prove that these modifications are sufficient to obt… ▽ More It is known that an arbitrary smooth, oriented 4-manifold admits the structure of what is called a broken Lefschetz fibration. Given a broken fibration, there are certain modifications, realized as homotopies of the fibration map, that enable one to construct infinitely many distinct fibrations of the same manifold. The aim of this paper is to prove that these modifications are sufficient to obtain every broken fibration in a given homotopy class of smooth maps. One notable application is that adding an additional "projection" move generates all broken fibrations, regardless of homotopy class. The paper ends with further applications and open problems. △ Less

Submitted 1 July, 2009; v1 submitted 4 May, 2009; originally announced May 2009.

Comments: 46 pages, submitted to Geometry & Topology. Corrected various typos, and a new section 4.0.2 gives uniqueness independent of homotopy class

MSC Class: 57R70 (secondary)

Journal ref: Geom. Topol. 14 (2010) 1015-1061

Two-Loop Quark Self-Energy in a New Formalism (II): Renormalization of the Quark Propagator in the Light-Cone Gauge

Authors: George Leibbrandt, Jimmy D. Williams

Abstract: The complete two-loop correction to the quark propagator, consisting of the spider, rainbow, gluon bubble and quark bubble diagrams, is evaluated in the noncovariant light-cone gauge (lcg). (The overlap** self-energy diagram had already been computed.) The chief technical tools include the powerful matrix integration technique, the n^*-prescription for the spurious poles of 1/qn, and the detai… ▽ More The complete two-loop correction to the quark propagator, consisting of the spider, rainbow, gluon bubble and quark bubble diagrams, is evaluated in the noncovariant light-cone gauge (lcg). (The overlap** self-energy diagram had already been computed.) The chief technical tools include the powerful matrix integration technique, the n^*-prescription for the spurious poles of 1/qn, and the detailed analysis of the boundary singularities in five- and six-dimensional parameter space. It is shown that the total divergent contribution to the two-loop correction Sigma_2 contains both covariant and noncovariant components, and is a local function of the external momentum p, even off the mass-shell, as all nonlocal divergent terms cancel exactly. Consequently, both the quark mass and field renormalizations are local. The structure of Sigma_2 implies a quark mass counterterm of the form $δm (lcg) = m\tildeα_s C_F(3+\tildeα_sW) + {\rm O} (\tildeα_s^3)$, $\tildeα_s = g^2Γ(\eps)(4π)^{\eps -2}$, with W depending only on the dimensional regulator epsilon, and on the numbers of colors and flavors. It turns out that δm(lcg) is identical to the mass counterterm in the general linear covariant gauge. Our results are in agreement with the Bassetto-Dalbosco-Soldati renormalization scheme. △ Less

Submitted 25 November, 1999; originally announced November 1999.

Comments: 36 pages Latex, 5 eps figures, to appear in Nucl.Phys.B

Report number: CERN-TH/99-201

Journal ref: Nucl.Phys. B566 (2000) 373-401