A series of three symposia took place on the topic of trace formulas, each with an accompanying proceedings volume. The present volume is the third and final in this series and focuses on relative trace formulas in relation to special values of L-functions, integral representations, arithmetic cycles, theta correspondence and branching laws. The first volume focused on Arthur’s trace formula, and the second volume focused on methods from algebraic geometry and representation theory. The three proceedings volumes have provided a snapshot of some of the current research, in the hope of stimulating further research on these topics. The collegial format of the symposia allowed a homogeneous set of experts to isolate key difficulties going forward and to collectively assess the feasibility of diverse approaches.

Following the method developed by Waldspurger and Beuzart-Plessis in their proofs of the local Gan-Gross-Prasad conjecture, the author is able to prove the geometric side of a local relative trace formula for the Ginzburg-Rallis model. Then by applying such formula, the author proves a multiplicity formula of the Ginzburg-Rallis model for the supercuspidal representations. Using that multiplicity formula, the author proves the multiplicity one theorem for the Ginzburg-Rallis model over Vogan packets in the supercuspidal case.

This volume is the proceedings of the conference on Automorphic Representations, L-functions and Applications: Progress and Prospects, held at the Department of Mathematics of The Ohio State University, March 27-30, 2003, in honor of the 60th birthday of Steve Rallis. The theory of automorphic representations, automorphic L-functions and their applications to arithmetic continues to be an area of vigorous and fruitful research. The contributed papers in this volume represent many of the most recent developments and directions, including Rankin-Selberg L-functions (Bump, Ginzburg-Jiang-Rallis, Lapid-Rallis) the relative trace formula (Jacquet, Mao-Rallis) automorphic representations (Gan-Gurevich, Ginzburg-Rallis-Soudry) representation theory of p-adic groups (Baruch, Kudla-Rallis, Moeglin, Cogdell-Piatetski-Shapiro-Shahidi) p-adic methods (Harris-Li-Skinner, Vigneras), and arithmetic applications (Chinta-Friedberg-Hoffstein). The survey articles by Bump, on the Rankin-Selberg method, and by Jacquet, on the relative trace formula, should be particularly useful as an introduction to the key ideas about these important topics. This volume should be of interest both to researchers and students in the area of automorphic representations, as well as to mathematicians in other areas interested in having an overview of current developments in this important field.

The Arthur-Selberg trace formula is an equality between two kinds of traces: the geometric terms given by the conjugacy classes of a group and the spectral terms given by the induced representations. In general, these terms require a truncation in order to converge, which leads to an equality of truncated kernels. The formulas are difficult in general and even the case of $GL$(2) is nontrivial. The book gives proof of Arthur's trace formula of the 1970s and 1980s, with special attention given to $GL$(2). The problem is that when the truncated terms converge, they are also shown to be polynomial in the truncation variable and expressed as ``weighted'' orbital and ``weighted'' characters. In some important cases the trace formula takes on a simple form over $G$. The author gives some examples of this, and also some examples of Jacquet's relative trace formula. This work offers for the first time a simultaneous treatment of a general group with the case of $GL$(2). It also treats the trace formula with the example of Jacquet's relative formula. Features: Discusses why the terms of the geometric and spectral type must be truncated, and why the resulting truncations are polynomials in the truncation of value $T$. Brings into play the significant tool of ($G, M$) families and how the theory of Paley-Weiner is applied. Explains why the truncation formula reduces to a simple formula involving only the elliptic terms on the geometric sides with the representations appearing cuspidally on the spectral side (applies to Tamagawa numbers). Outlines Jacquet's trace formula and shows how it works for $GL$(2).

The second of three volumes devoted to the study of the trace formula, these proceedings focus on automorphic representations of higher rank groups. Based on research presented at the 2016 Simons Symposium on Geometric Aspects of the Trace Formula that took place in Schloss Elmau, Germany, the volume contains both original research articles and articles that synthesize current knowledge and future directions in the field. The articles discuss topics such as the classification problem of representations of reductive groups, the structure of Langlands and Arthur packets, interactions with geometric representation theory, and conjectures on the global automorphic spectrum. Suitable for both graduate students and researchers, this volume presents the latest research in the field. Readers of the first volume Families of Automorphic Forms and the Trace Formula will find this a natural continuation of the study of the trace formula.

Number Theory, Trace Formulas and Discrete Groups: Symposium in Honor of Atle Selberg Oslo, Norway, July 14-21, 1987 is a collection of papers presented at the 1987 Selberg Symposium, held at the University of Oslo. This symposium contains 30 lectures that cover the significant contribution of Atle Selberg in the field of mathematics. This book is organized into three parts encompassing 29 chapters. The first part presents a brief introduction to the history and developments of the zeta-function. The second part contains lectures on Selberg's considerable research studies on understanding the principles of several aspects of mathematics, including in modular forms, the Riemann zeta function, analytic number theory, sieve methods, discrete groups, and trace formula. The third part is devoted to Selberg's further research works on these topics, with particular emphasis on their practical applications. Some of these research studies, including the integral representations of Einstein series and L-functions; first eigenvalue for congruence groups; the zeta function of a Kleinian group; and the Waring's problem are discussed. This book will prove useful to mathematicians, researchers, and students.

The authors give an adelic treatment of the Kuznetsov trace formula as a relative trace formula on $\operatorname{GL}(2)$ over $\mathbf{Q}$. The result is a variant which incorporates a Hecke eigenvalue in addition to two Fourier coefficients on the spectral side. The authors include a proof of a Weil bound for the generalized twisted Kloosterman sums which arise on the geometric side. As an application, they show that the Hecke eigenvalues of Maass forms at a fixed prime, when weighted as in the Kuznetsov formula, become equidistributed relative to the Sato-Tate measure in the limit as the level goes to infinity.

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications.

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.