Showing 1–36 of 36 results for author: Finch, S

Half-Iterates of $x$exp$(x)$, $x+1/x$ and arcsinh$(x)$

Authors: Steven Finch

Abstract: Given $θ(x)$, one method (EJ) for solving Abel's equation $g(θ(x)) = g(x) \pm 1$ is significantly faster than a rival method (ML). On the other hand, ML evaluates a limit characterizing the principal solution $g(x)$ directly while EJ finds $g(x) + δ$, where $δ$ is possibly nonzero but independent of $x$. If an exact expression for $δ$ is known, then the "intrinsicality" of ML carries over and rela… ▽ More Given $θ(x)$, one method (EJ) for solving Abel's equation $g(θ(x)) = g(x) \pm 1$ is significantly faster than a rival method (ML). On the other hand, ML evaluates a limit characterizing the principal solution $g(x)$ directly while EJ finds $g(x) + δ$, where $δ$ is possibly nonzero but independent of $x$. If an exact expression for $δ$ is known, then the "intrinsicality" of ML carries over and relative quickness of EJ is preserved. We study $δ$, as determined by $θ$, and continue tangentially our earlier exploration of compositional square roots. △ Less

Submitted 25 June, 2025; v1 submitted 9 June, 2025; originally announced June 2025.

Comments: A distinct preprint covering half-iterates of $x(1+x)$, $\sin(x)$ and $\exp(x/e)$ appears at arXiv:2506.07625v1. Reading this earlier work will help to motivate the study of $δ$ in the current paper. 15 pages; 4 figures

MSC Class: 39B12 (Primary) 11B37; 26A18; 39-08; 39B22; 65D20 (Secondary)

Compositional Square Roots of $\exp(x)$ and $1+x^2$

Authors: Steven Finch

Abstract: Our work began as an effort to understand calculations by Morris & Szekeres (1961) and Walker (1991) regarding fractional iteration. Our work began as an effort to understand calculations by Morris & Szekeres (1961) and Walker (1991) regarding fractional iteration. △ Less

Submitted 7 June, 2025; v1 submitted 28 April, 2025; originally announced April 2025.

Comments: 15 pages; typo in v. 2 at base of p. 3 fixed (involving 1.645...)

MSC Class: 39B12 (Primary) 11B37; 26A18; 39-08; 39B22; 65D20 (Secondary)

Exercises in Iterational Asymptotics III

Authors: Steven Finch

Abstract: The nonlinear recurrences we consider here include simple continued fractions for the Golden & Silver means and a parametric family of cubics in connection with Abel's functional equation. The nonlinear recurrences we consider here include simple continued fractions for the Golden & Silver means and a parametric family of cubics in connection with Abel's functional equation. △ Less

Submitted 17 March, 2025; originally announced March 2025.

Comments: 12 pages, 6 figures

MSC Class: 11B37 (Primary) 26A18; 39B22; 39-08; 41A60; 65D20 (Secondary)

Abel's Functional Equation and Interrelations

Authors: Steven Finch

Abstract: Convex solutions $A,B,I,J$ of four Abel equations are numerically studied. We do not know exact formulas for any of these functions, but conjecture that $A,B$ and $I,J$ are closely related. [Corrigendum at end.] Convex solutions $A,B,I,J$ of four Abel equations are numerically studied. We do not know exact formulas for any of these functions, but conjecture that $A,B$ and $I,J$ are closely related. [Corrigendum at end.] △ Less

Submitted 18 March, 2025; v1 submitted 1 March, 2025; originally announced March 2025.

Comments: 15 pages; 4 figures

MSC Class: 39B22 (Primary) 11B37; 26A18; 39-08; 41A60; 65D20 (Secondary)

Exercises in Iterational Asymptotics II

Authors: Steven Finch

Abstract: The nonlinear recurrences we consider here include the functions $3x(1-x)$ and $\cos(x)$, which possess attractive fixed points $2/3$ and $0.739...$ (Dottie's number). Detailed asymptotics for oscillatory convergence are found, starting with a 1960 paper by Wolfgang Thron. Another function, $x/(1+x\ln(1+x))$, gives rise to a sequence with monotonic convergence to $0$ but requires substantial work… ▽ More The nonlinear recurrences we consider here include the functions $3x(1-x)$ and $\cos(x)$, which possess attractive fixed points $2/3$ and $0.739...$ (Dottie's number). Detailed asymptotics for oscillatory convergence are found, starting with a 1960 paper by Wolfgang Thron. Another function, $x/(1+x\ln(1+x))$, gives rise to a sequence with monotonic convergence to $0$ but requires substantial work to calculate its associated constant $C$. △ Less

Submitted 5 March, 2025; v1 submitted 10 January, 2025; originally announced January 2025.

Comments: 12 pages

MSC Class: 39A20 (Primary) 11B37; 26A18; 37E05; 41A60; 65D20 (Secondary)

Finding A Voice: Evaluating African American Dialect Generation for Chatbot Technology

Authors: Sarah E. Finch, Ellie S. Paek, Sejung Kwon, Ikseon Choi, Jessica Wells, Rasheeta Chandler, Jinho D. Choi

Abstract: As chatbots become increasingly integrated into everyday tasks, designing systems that accommodate diverse user populations is crucial for fostering trust, engagement, and inclusivity. This study investigates the ability of contemporary Large Language Models (LLMs) to generate African American Vernacular English (AAVE) and evaluates the impact of AAVE usage on user experiences in chatbot applicati… ▽ More As chatbots become increasingly integrated into everyday tasks, designing systems that accommodate diverse user populations is crucial for fostering trust, engagement, and inclusivity. This study investigates the ability of contemporary Large Language Models (LLMs) to generate African American Vernacular English (AAVE) and evaluates the impact of AAVE usage on user experiences in chatbot applications. We analyze the performance of three LLM families (Llama, GPT, and Claude) in producing AAVE-like utterances at varying dialect intensities and assess user preferences across multiple domains, including healthcare and education. Despite LLMs' proficiency in generating AAVE-like language, findings indicate that AAVE-speaking users prefer Standard American English (SAE) chatbots, with higher levels of AAVE correlating with lower ratings for a variety of characteristics, including chatbot trustworthiness and role appropriateness. These results highlight the complexities of creating inclusive AI systems and underscore the need for further exploration of diversity to enhance human-computer interactions. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Popa's "Recurrent Sequences" and Reciprocity

Authors: Steven Finch

Abstract: Dumitru Popa found asymptotic expansions for certain nonlinear recurrences, but left open the numerical evaluation of associated constants. We address this issue. A change of variables involving reciprocals and the algorithm of Mavecha & Laohakosol play a key role in our computations. Dumitru Popa found asymptotic expansions for certain nonlinear recurrences, but left open the numerical evaluation of associated constants. We address this issue. A change of variables involving reciprocals and the algorithm of Mavecha & Laohakosol play a key role in our computations. △ Less

Submitted 20 June, 2025; v1 submitted 16 December, 2024; originally announced December 2024.

Comments: 16 pages

MSC Class: 39A20 (Primary) 11B37; 26A18; 37E05; 41A60; 65D20 (Secondary)

Exercises in Iterational Asymptotics

Authors: Steven Finch

Abstract: The problems and solutions contained here, all associated with nonlinear recurrences and long-term trends, are new (as far as is known). The problems and solutions contained here, all associated with nonlinear recurrences and long-term trends, are new (as far as is known). △ Less

Submitted 5 March, 2025; v1 submitted 24 November, 2024; originally announced November 2024.

Comments: 11 pages

MSC Class: 39A20 (Primary) 11B37; 26A18; 37E05; 41A60; 65D20 (Secondary)

What do sin$(x)$ and arcsinh$(x)$ have in Common?

Authors: Steven Finch

Abstract: N. G. de Bruijn (1958) studied the asymptotic expansion of iterates of sin$(x)$ with $0 < x \leq π/2$. Bencherif & Robin (1994) generalized this result to increasing analytic functions $f(x)$ with an attractive fixed point at 0 and $x > 0$ suitably small. Mavecha & Laohakosol (2013) formulated an algorithm for explicitly deriving required parameters. We review their method, testing it initally on… ▽ More N. G. de Bruijn (1958) studied the asymptotic expansion of iterates of sin$(x)$ with $0 < x \leq π/2$. Bencherif & Robin (1994) generalized this result to increasing analytic functions $f(x)$ with an attractive fixed point at 0 and $x > 0$ suitably small. Mavecha & Laohakosol (2013) formulated an algorithm for explicitly deriving required parameters. We review their method, testing it initally on the logistic function $\ell(x)$, a certain radical function $r(x)$, and later on several transcendental functions. Along the way, we show how $\ell(x)$ and $r(x)$ are kindred functions; the same is also true for sin$(x)$ and arcsinh$(x)$. △ Less

Submitted 3 November, 2024; originally announced November 2024.

Comments: 24 pages

MSC Class: 39A20 (Primary) 11B37; 26A18; 37E05; 41A60; 65D20 (Secondary)

Iterated Radical Expansions and Convergence

Authors: Steven Finch

Abstract: We treat three recurrences involving square roots, the first of which arises from an infinite simple radical expansion for the Golden mean, whose precise convergence rate was made famous by Richard Bruce Paris in 1987. A never-before-seen proof of an important formula is given. The other recurrences are non-exponential yet equally interesting. Asymptotic series developed for each of these two exam… ▽ More We treat three recurrences involving square roots, the first of which arises from an infinite simple radical expansion for the Golden mean, whose precise convergence rate was made famous by Richard Bruce Paris in 1987. A never-before-seen proof of an important formula is given. The other recurrences are non-exponential yet equally interesting. Asymptotic series developed for each of these two examples feature a constant, dependent on the initial condition but otherwise intrinsic to the function at hand. △ Less

Submitted 4 November, 2024; v1 submitted 2 October, 2024; originally announced October 2024.

Comments: 12 pages

MSC Class: 39A20 (Primary) 11B37; 26A18; 37E05; 40A20; 65D20 (Secondary)

Generalized Logistic Maps and Convergence

Authors: Steven Finch

Abstract: We treat three cubic recurrences, two of which generalize the famous iterated map $x \mapsto x (1-x)$ from discrete chaos theory. A feature of each asymptotic series developed here is a constant, dependent on the initial condition but otherwise intrinsic to the function at hand. We treat three cubic recurrences, two of which generalize the famous iterated map $x \mapsto x (1-x)$ from discrete chaos theory. A feature of each asymptotic series developed here is a constant, dependent on the initial condition but otherwise intrinsic to the function at hand. △ Less

Submitted 5 November, 2024; v1 submitted 23 September, 2024; originally announced September 2024.

Comments: 13 pages

MSC Class: 39A20 (Primary) 05C05; 05C30; 11B37; 26A18; 37E05 (Secondary)

A Deceptively Simple Quadratic Recurrence

Authors: Steven Finch

Abstract: Standard techniques for treating linear recurrences no longer apply for quadratic recurrences. It is not hard to determine asymptotics for a specific parametrized model over a wide domain of values (all $p \neq 1/2$ here). The gap between theory and experimentation seems insurmountable, however, at a single outlier ($p = 1/2$). Standard techniques for treating linear recurrences no longer apply for quadratic recurrences. It is not hard to determine asymptotics for a specific parametrized model over a wide domain of values (all $p \neq 1/2$ here). The gap between theory and experimentation seems insurmountable, however, at a single outlier ($p = 1/2$). △ Less

Submitted 6 November, 2024; v1 submitted 5 September, 2024; originally announced September 2024.

Comments: 9 pages

MSC Class: 39A20 (Primary) 05C05; 05C30; 11B37; 60G40; 62L15 (Secondary)

Leveraging Explicit Reasoning for Inference Integration in Commonsense-Augmented Dialogue Models

Authors: Sarah E. Finch, Jinho D. Choi

Abstract: Open-domain dialogue systems need to grasp social commonsense to understand and respond effectively to human users. Commonsense-augmented dialogue models have been proposed that aim to infer commonsense knowledge from dialogue contexts in order to improve response quality. However, existing approaches to commonsense-augmented dialogue rely on implicit reasoning to integrate commonsense inferences… ▽ More Open-domain dialogue systems need to grasp social commonsense to understand and respond effectively to human users. Commonsense-augmented dialogue models have been proposed that aim to infer commonsense knowledge from dialogue contexts in order to improve response quality. However, existing approaches to commonsense-augmented dialogue rely on implicit reasoning to integrate commonsense inferences during response generation. In this study, we explore the impact of explicit reasoning against implicit reasoning over commonsense for dialogue response generation. Our findings demonstrate that separating commonsense reasoning into explicit steps for generating, selecting, and integrating commonsense into responses leads to better dialogue interactions, improving naturalness, engagement, specificity, and overall quality. Subsequent analyses of these findings unveil insights into the effectiveness of various types of commonsense in generating responses and the particular response traits enhanced through explicit reasoning for commonsense integration. Our work advances research in open-domain dialogue by achieving a new state-of-the-art in commonsense-augmented response generation. △ Less

Submitted 21 January, 2025; v1 submitted 13 June, 2024; originally announced June 2024.

Comments: Accepted to COLING 2025 (https://aclanthology.org/2025.coling-main.152/)

ConvoSense: Overcoming Monotonous Commonsense Inferences for Conversational AI

Authors: Sarah E. Finch, Jinho D. Choi

Abstract: Mastering commonsense understanding and reasoning is a pivotal skill essential for conducting engaging conversations. While there have been several attempts to create datasets that facilitate commonsense inferences in dialogue contexts, existing datasets tend to lack in-depth details, restate information already present in the conversation, and often fail to capture the multifaceted nature of comm… ▽ More Mastering commonsense understanding and reasoning is a pivotal skill essential for conducting engaging conversations. While there have been several attempts to create datasets that facilitate commonsense inferences in dialogue contexts, existing datasets tend to lack in-depth details, restate information already present in the conversation, and often fail to capture the multifaceted nature of commonsense reasoning. In response to these limitations, we compile a new synthetic dataset for commonsense reasoning in dialogue contexts using GPT, ConvoSense, that boasts greater contextual novelty, offers a higher volume of inferences per example, and substantially enriches the detail conveyed by the inferences. Our dataset contains over 500,000 inferences across 12,000 dialogues with 10 popular inference types, which empowers the training of generative commonsense models for dialogue that are superior in producing plausible inferences with high novelty when compared to models trained on the previous datasets. To the best of our knowledge, ConvoSense is the first of its kind to provide such a multitude of novel inferences at such a large scale. △ Less

Submitted 27 January, 2024; originally announced January 2024.

Comments: accepted to TACL 2024; final author's version of paper; pre-MIT Press publication version

Exploring the Impact of Human Evaluator Group on Chat-Oriented Dialogue Evaluation

Authors: Sarah E. Finch, James D. Finch, Jinho D. Choi

Abstract: Human evaluation has been widely accepted as the standard for evaluating chat-oriented dialogue systems. However, there is a significant variation in previous work regarding who gets recruited as evaluators. Evaluator groups such as domain experts, university students, and professional annotators have been used to assess and compare dialogue systems, although it is unclear to what extent the choic… ▽ More Human evaluation has been widely accepted as the standard for evaluating chat-oriented dialogue systems. However, there is a significant variation in previous work regarding who gets recruited as evaluators. Evaluator groups such as domain experts, university students, and professional annotators have been used to assess and compare dialogue systems, although it is unclear to what extent the choice of an evaluator group can affect results. This paper analyzes the evaluator group impact on dialogue system evaluation by testing 4 state-of-the-art dialogue systems using 4 distinct evaluator groups. Our analysis reveals a robustness towards evaluator groups for Likert evaluations that is not seen for Pairwise, with only minor differences observed when changing evaluator groups. Furthermore, two notable limitations to this robustness are observed, which reveal discrepancies between evaluators with different levels of chatbot expertise and indicate that evaluator objectivity is beneficial for certain dialogue metrics. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Leveraging Large Language Models for Automated Dialogue Analysis

Authors: Sarah E. Finch, Ellie S. Paek, Jinho D. Choi

Abstract: Developing high-performing dialogue systems benefits from the automatic identification of undesirable behaviors in system responses. However, detecting such behaviors remains challenging, as it draws on a breadth of general knowledge and understanding of conversational practices. Although recent research has focused on building specialized classifiers for detecting specific dialogue behaviors, the… ▽ More Developing high-performing dialogue systems benefits from the automatic identification of undesirable behaviors in system responses. However, detecting such behaviors remains challenging, as it draws on a breadth of general knowledge and understanding of conversational practices. Although recent research has focused on building specialized classifiers for detecting specific dialogue behaviors, the behavior coverage is still incomplete and there is a lack of testing on real-world human-bot interactions. This paper investigates the ability of a state-of-the-art large language model (LLM), ChatGPT-3.5, to perform dialogue behavior detection for nine categories in real human-bot dialogues. We aim to assess whether ChatGPT can match specialized models and approximate human performance, thereby reducing the cost of behavior detection tasks. Our findings reveal that neither specialized models nor ChatGPT have yet achieved satisfactory results for this task, falling short of human performance. Nevertheless, ChatGPT shows promising potential and often outperforms specialized detection models. We conclude with an in-depth examination of the prevalent shortcomings of ChatGPT, offering guidance for future research to enhance LLM capabilities. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: Accepted to SIGDIAL 2023

Stochastic Reservoir Calculations

Authors: Steven Finch

Abstract: Prabhu (1958) obtained the stationary distribution of storage level $Z_{t}$ in a reservoir of finite volume $v$, given an inflow $X_{t}$ and an outflow $Y_{t}$. Time $t$ is assumed to be discrete, $X_{t} \sim$ Gamma$(p,μ)$ are independent and $p$ is a positive integer. The mean inflow is $p/μ$; the target outflow is $m$ (constant). We attempt to clarify intricate details, often omitted in the lite… ▽ More Prabhu (1958) obtained the stationary distribution of storage level $Z_{t}$ in a reservoir of finite volume $v$, given an inflow $X_{t}$ and an outflow $Y_{t}$. Time $t$ is assumed to be discrete, $X_{t} \sim$ Gamma$(p,μ)$ are independent and $p$ is a positive integer. The mean inflow is $p/μ$; the target outflow is $m$ (constant). We attempt to clarify intricate details, often omitted in the literature, by working through several examples. Of special interest are the probabilities of depletion ($Z_{t}=0$) and spillage ($Z_{t}=v$). For prescribed {$v,p,μ$}, what value of $m$ minimizes both of these? △ Less

Submitted 8 January, 2023; originally announced January 2023.

Comments: 12 pages; 4 figures

MSC Class: 60K30 (Primary) 60-03; 44A10; 60G10; 68Q87; 90B05; 90-03 (Secondary)

Don't Forget Your ABC's: Evaluating the State-of-the-Art in Chat-Oriented Dialogue Systems

Authors: Sarah E. Finch, James D. Finch, Jinho D. Choi

Abstract: Despite tremendous advancements in dialogue systems, stable evaluation still requires human judgments producing notoriously high-variance metrics due to their inherent subjectivity. Moreover, methods and labels in dialogue evaluation are not fully standardized, especially for open-domain chats, with a lack of work to compare and assess the validity of those approaches. The use of inconsistent eval… ▽ More Despite tremendous advancements in dialogue systems, stable evaluation still requires human judgments producing notoriously high-variance metrics due to their inherent subjectivity. Moreover, methods and labels in dialogue evaluation are not fully standardized, especially for open-domain chats, with a lack of work to compare and assess the validity of those approaches. The use of inconsistent evaluation can misinform the performance of a dialogue system, which becomes a major hurdle to enhance it. Thus, a dimensional evaluation of chat-oriented open-domain dialogue systems that reliably measures several aspects of dialogue capabilities is desired. This paper presents a novel human evaluation method to estimate the rates of many dialogue system behaviors. Our method is used to evaluate four state-of-the-art open-domain dialogue systems and compared with existing approaches. The analysis demonstrates that our behavior method is more suitable than alternative Likert-style or comparative approaches for dimensional evaluation of these systems. △ Less

Submitted 28 July, 2023; v1 submitted 18 December, 2022; originally announced December 2022.

Comments: Accepted to ACL 2023; first two authors contributed equally

D/M/1 Queue: Policies and Control

Authors: Steven Finch

Abstract: Equilibrium G/M/1-FIFO waiting times are exponentially distributed, as first proved by Smith (1953). For other client-sorting policies, such generality is not feasible. Assume that interarrival times are constant. Symbolics for the D/M/1-LIFO density are completely known; numerics for D/M/1-SIRO arise via an unpublished recursion due to Burke (1967). Consider a weighted sum of two costs, one from… ▽ More Equilibrium G/M/1-FIFO waiting times are exponentially distributed, as first proved by Smith (1953). For other client-sorting policies, such generality is not feasible. Assume that interarrival times are constant. Symbolics for the D/M/1-LIFO density are completely known; numerics for D/M/1-SIRO arise via an unpublished recursion due to Burke (1967). Consider a weighted sum of two costs, one from keeping clients waiting for treatment and the other from having the server idle. With this in mind, what is the optimal interarrival time and how does this depend on the choice of policy? △ Less

Submitted 27 October, 2022; v1 submitted 16 October, 2022; originally announced October 2022.

Comments: 14 pages; 2 figures

MSC Class: 60K25 (Primary) 60-03; 33B99; 44A10; 34Kxx; 68Q87; 90B22; 90-03 (Secondary)

M/D/1 Queues with LIFO and SIRO Policies

Authors: Steven Finch

Abstract: While symbolics for the equilibrium M/D/1-LIFO waiting time density are completely known, corresponding numerics for M/D/1-SIRO are derived from recursions due to Burke (1959). Implementing an inverse Laplace transform-based approach for the latter remains unworkable. While symbolics for the equilibrium M/D/1-LIFO waiting time density are completely known, corresponding numerics for M/D/1-SIRO are derived from recursions due to Burke (1959). Implementing an inverse Laplace transform-based approach for the latter remains unworkable. △ Less

Submitted 17 October, 2022; v1 submitted 21 August, 2022; originally announced August 2022.

Comments: 12 pages; 2 figures; typo fixed in third equation on second page

MSC Class: 60K25 (Primary) 60-03; 44A10; 34Kxx; 68Q87; 90B22; 90-03 (Secondary)

M/G/1-FIFO Queue with Uniform Service Times

Authors: Steven Finch

Abstract: An exact formula for the equilibrium M/U/1 waiting time density is now effectively known. What began as a numeric exploration became a symbolic banquet. Inverse Laplace transforms provided breadcrumbs in the trail; delay differential equations subsequently gave clear-cut precision. We also remark on tail probability asymptotics and on queue lengths. An exact formula for the equilibrium M/U/1 waiting time density is now effectively known. What began as a numeric exploration became a symbolic banquet. Inverse Laplace transforms provided breadcrumbs in the trail; delay differential equations subsequently gave clear-cut precision. We also remark on tail probability asymptotics and on queue lengths. △ Less

Submitted 17 October, 2022; v1 submitted 21 June, 2022; originally announced June 2022.

Comments: 14 pages; 3 figures

MSC Class: 60K25 (Primary) 60-03; 44A10; 34Kxx; 68Q87; 90B22; 90-03 (Secondary)

Components and Cycles of Random Mappings

Authors: Steven Finch

Abstract: Each connected component of a mapping $\{1,2,...,n\}\rightarrow\{1,2,...,n\}$ contains a unique cycle. The largest such component can be studied probabilistically via either a delay differential equation or an inverse Laplace transform. The longest such cycle likewise admits two approaches: we find an (apparently new) density formula for its length. Implications of a constraint -- that exactly one… ▽ More Each connected component of a mapping $\{1,2,...,n\}\rightarrow\{1,2,...,n\}$ contains a unique cycle. The largest such component can be studied probabilistically via either a delay differential equation or an inverse Laplace transform. The longest such cycle likewise admits two approaches: we find an (apparently new) density formula for its length. Implications of a constraint -- that exactly one component exists -- are also examined. For instance, the mean length of the longest cycle is $(0.7824...)\sqrt n$ in general, but for the special case, it is $(0.7978...)\sqrt n$, a difference of less than $2\%$. △ Less

Submitted 11 May, 2022; originally announced May 2022.

Comments: 16 pages

MSC Class: 05A16 (Primary) 05A05; 05A15; 92D25; 68Q87; 11Y60; 44A10; 34Kxx (Secondary)

Joint Probabilities within Random Permutations

Authors: Steven Finch

Abstract: A celebrated analogy between prime factorizations of integers and cycle decompositions of permutations is explored here. Asymptotic formulas characterizing semismooth numbers (possessing at most several large factors) carry over to random permutations. We offer a survey of practical methods for computing relevant probabilities of a bivariate or trivariate flavor. A celebrated analogy between prime factorizations of integers and cycle decompositions of permutations is explored here. Asymptotic formulas characterizing semismooth numbers (possessing at most several large factors) carry over to random permutations. We offer a survey of practical methods for computing relevant probabilities of a bivariate or trivariate flavor. △ Less

Submitted 1 May, 2022; v1 submitted 21 March, 2022; originally announced March 2022.

Comments: 22 pages, 7 figures

MSC Class: 05A16 (Primary) 05A05; 05A15; 11B37; 11B75; 92D25; 68Q87; 11Y60 (Secondary)

Second Best, Third Worst, Fourth in Line

Authors: Steven Finch

Abstract: We investigate decomposable combinatorial labeled structures more fully, focusing on the exp-log class of type a=1 or 1/2. For instance, the modal length of the second longest cycle in a random n-permutation is (0.2350...)n, whereas the modal length of the second smallest component in a random n-mapping is 2 (conjecturally, given n>=434). As in earlier work, our approach is to establish how well e… ▽ More We investigate decomposable combinatorial labeled structures more fully, focusing on the exp-log class of type a=1 or 1/2. For instance, the modal length of the second longest cycle in a random n-permutation is (0.2350...)n, whereas the modal length of the second smallest component in a random n-mapping is 2 (conjecturally, given n>=434). As in earlier work, our approach is to establish how well existing theory matches experimental data and to raise open questions. △ Less

Submitted 30 April, 2022; v1 submitted 15 February, 2022; originally announced February 2022.

Comments: 17 pages

MSC Class: 05A16 (Primary) 05A05; 05A15; 11B37; 11B75; 92D25; 68Q87; 11Y60 (Secondary)

Rounds, Color, Parity, Squares

Authors: Steven Finch

Abstract: This is a sequel to our paper "Permute, Graph, Map, Derange", involving decomposable combinatorial labeled structures in the exp-log class of type a=1/2, 1, 3/2, 2. As before, our approach is to establish how well existing theory matches experimental data and to raise open questions. This is a sequel to our paper "Permute, Graph, Map, Derange", involving decomposable combinatorial labeled structures in the exp-log class of type a=1/2, 1, 3/2, 2. As before, our approach is to establish how well existing theory matches experimental data and to raise open questions. △ Less

Submitted 23 January, 2022; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: 13 pages; some typographical errors now fixed and clarifications newly provided

MSC Class: 05A16 (Primary) 05A05; 05A15; 11B37; 11B75; 92D25; 68Q87; 11Y60 (Secondary)

Permute, Graph, Map, Derange

Authors: Steven Finch

Abstract: We study decomposable combinatorial labeled structures in the exp-log class, specifically, two examples of type a=1 and two examples of type a=1/2. Our approach is to establish how well existing theory matches experimental data. For instance, the median length of the longest cycle in a random n-permutation is (0.6065...)*n, whereas the median length of the largest component in a random n-mapping i… ▽ More We study decomposable combinatorial labeled structures in the exp-log class, specifically, two examples of type a=1 and two examples of type a=1/2. Our approach is to establish how well existing theory matches experimental data. For instance, the median length of the longest cycle in a random n-permutation is (0.6065...)*n, whereas the median length of the largest component in a random n-mapping is (0.7864...)*n. Unsolved problems are highlighted, in the hope that someone else might address these someday. △ Less

Submitted 23 January, 2022; v1 submitted 10 November, 2021; originally announced November 2021.

Comments: 17 pages; some problems now solved and clarifications newly provided

MSC Class: 05A16 (Primary) 05A05; 05A15; 11B37; 11B75; 05C80; 68Q87; 11Y60 (Secondary

What Went Wrong? Explaining Overall Dialogue Quality through Utterance-Level Impacts

Authors: James D. Finch, Sarah E. Finch, Jinho D. Choi

Abstract: Improving user experience of a dialogue system often requires intensive developer effort to read conversation logs, run statistical analyses, and intuit the relative importance of system shortcomings. This paper presents a novel approach to automated analysis of conversation logs that learns the relationship between user-system interactions and overall dialogue quality. Unlike prior work on uttera… ▽ More Improving user experience of a dialogue system often requires intensive developer effort to read conversation logs, run statistical analyses, and intuit the relative importance of system shortcomings. This paper presents a novel approach to automated analysis of conversation logs that learns the relationship between user-system interactions and overall dialogue quality. Unlike prior work on utterance-level quality prediction, our approach learns the impact of each interaction from the overall user rating without utterance-level annotation, allowing resultant model conclusions to be derived on the basis of empirical evidence and at low cost. Our model identifies interactions that have a strong correlation with the overall dialogue quality in a chatbot setting. Experiments show that the automated analysis from our model agrees with expert judgments, making this work the first to show that such weakly-supervised learning of utterance-level quality prediction is highly achievable. △ Less

Submitted 31 October, 2021; originally announced November 2021.

Comments: Accepted at the 3rd Workshop on NLP for ConvAI

An Approach to Inference-Driven Dialogue Management within a Social Chatbot

Authors: Sarah E. Finch, James D. Finch, Daniil Huryn, William Hutsell, Xiaoyuan Huang, Han He, Jinho D. Choi

Abstract: We present a chatbot implementing a novel dialogue management approach based on logical inference. Instead of framing conversation a sequence of response generation tasks, we model conversation as a collaborative inference process in which speakers share information to synthesize new knowledge in real time. Our chatbot pipeline accomplishes this modelling in three broad stages. The first stage tra… ▽ More We present a chatbot implementing a novel dialogue management approach based on logical inference. Instead of framing conversation a sequence of response generation tasks, we model conversation as a collaborative inference process in which speakers share information to synthesize new knowledge in real time. Our chatbot pipeline accomplishes this modelling in three broad stages. The first stage translates user utterances into a symbolic predicate representation. The second stage then uses this structured representation in conjunction with a larger knowledge base to synthesize new predicates using efficient graph matching. In the third and final stage, our bot selects a small subset of predicates and translates them into an English response. This approach lends itself to understanding latent semantics of user inputs, flexible initiative taking, and responses that are novel and coherent with the dialogue context. △ Less

Submitted 31 October, 2021; originally announced November 2021.

Comments: Published in 4th Proceedings of Alexa Prize (Alexa Prize 2020)

Covariance within Random Integer Compositions

Authors: Steven Finch

Abstract: Fix a positive integer $N$. Select an additive composition $ξ$ of $N$ uniformly out of $2^{N-1}$ possibilities. The interplay between the number of parts in $ξ$ and the maximum part in $ξ$ is our focus. It is not surprising that correlations $ρ(N)$ between these quantities are negative; we earlier gave inconclusive evidence that $\lim_{N \to \infty} ρ(N)$ is strictly less than zero. A proof of thi… ▽ More Fix a positive integer $N$. Select an additive composition $ξ$ of $N$ uniformly out of $2^{N-1}$ possibilities. The interplay between the number of parts in $ξ$ and the maximum part in $ξ$ is our focus. It is not surprising that correlations $ρ(N)$ between these quantities are negative; we earlier gave inconclusive evidence that $\lim_{N \to \infty} ρ(N)$ is strictly less than zero. A proof of this result would imply asymptotic dependence. We now retract our presumption in such an unforeseen outcome. Similar experimental findings apply when $ξ$ is a 1-free composition, i.e., possessing only parts $\geq 2$. △ Less

Submitted 19 October, 2020; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 10 pages

MSC Class: 68R15 (Primary) 05A05; 05A15; 11B37; 11B75; 68Q87; 97K50; 97N60 (Secondary)

Emora: An Inquisitive Social Chatbot Who Cares For You

Authors: Sarah E. Finch, James D. Finch, Ali Ahmadvand, Ingyu, Choi, Xiangjue Dong, Ruixiang Qi, Harshita Sahijwani, Sergey Volokhin, Zihan Wang, Zihao Wang, Jinho D. Choi

Abstract: Inspired by studies on the overwhelming presence of experience-sharing in human-human conversations, Emora, the social chatbot developed by Emory University, aims to bring such experience-focused interaction to the current field of conversational AI. The traditional approach of information-sharing topic handlers is balanced with a focus on opinion-oriented exchanges that Emora delivers, and new co… ▽ More Inspired by studies on the overwhelming presence of experience-sharing in human-human conversations, Emora, the social chatbot developed by Emory University, aims to bring such experience-focused interaction to the current field of conversational AI. The traditional approach of information-sharing topic handlers is balanced with a focus on opinion-oriented exchanges that Emora delivers, and new conversational abilities are developed that support dialogues that consist of a collaborative understanding and learning process of the partner's life experiences. We present a curated dialogue system that leverages highly expressive natural language templates, powerful intent classification, and ontology resources to provide an engaging and interesting conversational experience to every user. △ Less

Submitted 9 September, 2020; originally announced September 2020.

Comments: Published in 3rd Proceedings of Alexa Prize (Alexa Prize 2019)

Towards Unified Dialogue System Evaluation: A Comprehensive Analysis of Current Evaluation Protocols

Authors: Sarah E. Finch, Jinho D. Choi

Abstract: As conversational AI-based dialogue management has increasingly become a trending topic, the need for a standardized and reliable evaluation procedure grows even more pressing. The current state of affairs suggests various evaluation protocols to assess chat-oriented dialogue management systems, rendering it difficult to conduct fair comparative studies across different approaches and gain an insi… ▽ More As conversational AI-based dialogue management has increasingly become a trending topic, the need for a standardized and reliable evaluation procedure grows even more pressing. The current state of affairs suggests various evaluation protocols to assess chat-oriented dialogue management systems, rendering it difficult to conduct fair comparative studies across different approaches and gain an insightful understanding of their values. To foster this research, a more robust evaluation protocol must be set in place. This paper presents a comprehensive synthesis of both automated and human evaluation methods on dialogue systems, identifying their shortcomings while accumulating evidence towards the most effective evaluation dimensions. A total of 20 papers from the last two years are surveyed to analyze three types of evaluation protocols: automated, static, and interactive. Finally, the evaluation dimensions used in these papers are compared against our expert evaluation on the system-user dialogue data collected from the Alexa Prize 2020. △ Less

Submitted 10 June, 2020; originally announced June 2020.

Comments: Accepted by SIGDIAL 2020

Variance of Longest Run Duration in a Random Bitstring

Authors: Steven Finch

Abstract: We continue an earlier study, starting with unconstrained $n$-bitstrings, focusing now less on average behavior and more on uncertainty. The interplay between $\bullet$ longest runs of 0s and of 1s, when bitstrings are multus $\bullet$ longest runs of 0s and bitsums (# of 1s), when bitstrings are solus $\\$ is examined. While negative correlations approach zero as $n \rightarrow \infty$ in t… ▽ More We continue an earlier study, starting with unconstrained $n$-bitstrings, focusing now less on average behavior and more on uncertainty. The interplay between $\bullet$ longest runs of 0s and of 1s, when bitstrings are multus $\bullet$ longest runs of 0s and bitsums (# of 1s), when bitstrings are solus $\\$ is examined. While negative correlations approach zero as $n \rightarrow \infty$ in the former (for clumped 1s), the limit is evidently nonzero in the latter (for separated 1s). Similar analysis is possible when both 0s and 1s are clumped (bimultus), and when 0s are clumped but 1s are separated (persolus). Our methods are experimentally-based. △ Less

Submitted 20 July, 2020; v1 submitted 25 May, 2020; originally announced May 2020.

Comments: 15 pages

MSC Class: 68R15 (Primary) 05A05; 05A15; 68Q87; 97K50; 97N60 (Secondary)

Cantor-solus and Cantor-multus Distributions

Authors: Steven Finch

Abstract: The Cantor distribution is obtained from bitstrings; the Cantor-solus distribution (a new name) admits only strings without adjacent 1 bits. We review moments and order statistics associated with these. The Cantor-multus distribution is introduced -- which instead admits only strings without isolated 1 bits -- and more complicated formulas emerge. The Cantor distribution is obtained from bitstrings; the Cantor-solus distribution (a new name) admits only strings without adjacent 1 bits. We review moments and order statistics associated with these. The Cantor-multus distribution is introduced -- which instead admits only strings without isolated 1 bits -- and more complicated formulas emerge. △ Less

Submitted 20 March, 2020; originally announced March 2020.

Comments: 12 pages

MSC Class: 68Q87 (Primary) 68R15; 05A05; 05A15; 97K50; 97N60 (Secondary)

Recursive PGFs for BSTs and DSTs

Authors: Steven Finch

Abstract: We review fundamentals underlying binary search trees and digital search trees, with (atypical) emphasis on recursive formulas for associated probability generating functions. Other topics include higher moments of BST search costs and combinatorics for a certain finite-key analog of DSTs. We review fundamentals underlying binary search trees and digital search trees, with (atypical) emphasis on recursive formulas for associated probability generating functions. Other topics include higher moments of BST search costs and combinatorics for a certain finite-key analog of DSTs. △ Less

Submitted 7 February, 2020; originally announced February 2020.

Comments: 16 pages, 6 figures

MSC Class: 68Q87 (Primary) 68Q25; 68P10; 05A15; 05C05; 05C30; 97K50; 97N60 (Secondary)

Resolving Conflicts and Electing Leaders

Authors: Steven Finch

Abstract: We review distributed algorithms for transmitting data ($n$ real numbers) under a broadcast communication model, as well as for maximum finding and for sorting. Our interest is in the basics of recursive formulas and corresponding asymptotics as ${n\to\infty}$. The emphasis is on concrete examples rather than general theory. We review distributed algorithms for transmitting data ($n$ real numbers) under a broadcast communication model, as well as for maximum finding and for sorting. Our interest is in the basics of recursive formulas and corresponding asymptotics as ${n\to\infty}$. The emphasis is on concrete examples rather than general theory. △ Less

Submitted 9 December, 2019; originally announced December 2019.

Comments: 26 pages, 5 figures

MSC Class: 68Q87 (Primary) 68Q25; 68W15; 68W20; 68P10; 90C27; 05C05; 97K50; 97N60 (Secondary)

Towards a Workbench for Acquisition of Domain Knowledge from Natural Language

Authors: Andrei Mikheev, Steven Finch

Abstract: In this paper we describe an architecture and functionality of main components of a workbench for an acquisition of domain knowledge from large text corpora. The workbench supports an incremental process of corpus analysis starting from a rough automatic extraction and organization of lexico-semantic regularities and ending with a computer supported analysis of extracted data and a semi-automati… ▽ More In this paper we describe an architecture and functionality of main components of a workbench for an acquisition of domain knowledge from large text corpora. The workbench supports an incremental process of corpus analysis starting from a rough automatic extraction and organization of lexico-semantic regularities and ending with a computer supported analysis of extracted data and a semi-automatic refinement of obtained hypotheses. For doing this the workbench employs methods from computational linguistics, information retrieval and knowledge engineering. Although the workbench is currently under implementation some of its components are already implemented and their performance is illustrated with samples from engineering for a medical domain. △ Less

Submitted 30 April, 1996; originally announced April 1996.

Comments: 8 pages, compressed postscript; Proceedings of EACL-95 Dublin, Ireland