Form factors and action of U_{\sqrt{-1}}(sl_2~) on infinite-cycles

Let ${\bf p}=\{P_{n,l}\}_{n,l\in\Z_{\ge 0}\atop n-2l=m}$ be a sequence of skew-symmetric polynomials in $X_1,...,X_l$ satisfying $\deg_{X_j}P_{n,l}\le n-1$, whose coefficients are symmetric Laurent polynomials in $z_1,...,z_n$. We call ${\bf p}$ an $\infty$-cycle if $P_{n+2,l+1}\bigl|_{X_{l+1}=z^{-1},z_{n-1}=z,z_n=-z} =z^{-n-1}\prod_{a=1}^l(1-X_a^2z^2)\cdot P_{n,l}$ holds for all $n,l$. These objects arise in integral representations for form factors of massive integrable field theory, i.e., the SU(2)-invariant Thirring model and the sine-Gordon model. The variables $\alpha_a=-\log X_a$ are the integration variables and $\beta_j=\log z_j$ are the rapidity variables. To each $\infty$-cycle there corresponds a form factor of the above models. Conjecturally all form-factors are obtained from the $\infty$-cycles. In this paper, we define an action of $U_{\sqrt{-1}}(\widetilde{\mathfrak{sl}}_2)$ on the space of $\infty$-cycles. There are two sectors of $\infty$-cycles depending on whether $n$ is even or odd. Using this action, we show that the character of the space of even (resp. odd) $\infty$-cycles which are polynomials in $z_1,...,z_n$ is equal to the level $(-1)$ irreducible character of $\hat{\mathfrak{sl}}_2$ with lowest weight $-\Lambda_0$ (resp. $-\Lambda_1$). We also suggest a possible tensor product structure of the full space of $\infty$-cycles.Comment: 27 pages, abstract and section 3.1 revise

A monomial basis for the Virasoro minimal series M(p,p') : the case 1<p'/p<2

Quadratic relations of the intertwiners are given explicitly in two cases of chiral conformal field theory, and monomial bases of the representation spaces are constructed by using the Fourier components of the intertwiners. The two cases are the (p,p')-minimal series for the Virasoro algebra where 1<p'/p<2, and the level k integrable highest weight modules for the affine Lie algebra \hat{sl}_2.Comment: Latex, 29 page

Form factors of descendant operators: Free field construction and reflection relations

The free field representation for form factors in the sinh-Gordon model and the sine-Gordon model in the breather sector is modified to describe the form factors of descendant operators, which are obtained from the exponential ones, \e^{\i\alpha\phi}, by means of the action of the Heisenberg algebra associated to the field $\phi(x)$. As a check of the validity of the construction we count the numbers of operators defined by the form factors at each level in each chiral sector. Another check is related to the so called reflection relations, which identify in the breather sector the descendants of the exponential fields \e^{\i\alpha\phi} and \e^{\i(2\alpha_0-\alpha)\phi} for generic values of $\alpha$. We prove the operators defined by the obtained families of form factors to satisfy such reflection relations. A generalization of the construction for form factors to the kink sector is also proposed.Comment: 29 pages; v2: minor corrections, some references added; v3: minor corrections; v4,v5: misprints corrected; v6: minor mistake correcte

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1

This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS (Tigars) project. These notes aim to support the development and evaluation of autonomous vehicles. Part 1 addresses: Assurance-overview and issues, Resilience and Safety Requirements, Open Systems Perspective and Formal Verification and Static Analysis of ML Systems. Part 2: Simulation and Dynamic Testing, Defence in Depth and Diversity, Security-Informed Safety Analysis, Standards and Guidelines