Showing 1–8 of 8 results for author: Khavkine, I

Operator $K$-theoretic analysis of random adjacency matrices

Authors: Bhishan Jacelon, Igor Khavkine

Abstract: We appeal to results from combinatorial random matrix theory to deduce that various random graph $\mathrm{C}^*$-algebras are asymptotically almost surely Kirchberg algebras with trivial $K_1$. This in particular implies that, with high probability, the stable isomorphism classes of such algebras are exhausted by variations of Cuntz algebras that we term 'Cuntz polygons'. These probabilistically ge… ▽ More We appeal to results from combinatorial random matrix theory to deduce that various random graph $\mathrm{C}^*$-algebras are asymptotically almost surely Kirchberg algebras with trivial $K_1$. This in particular implies that, with high probability, the stable isomorphism classes of such algebras are exhausted by variations of Cuntz algebras that we term 'Cuntz polygons'. These probabilistically generic algebras can be assembled into a Fraïssé class whose limit structure $\mathbb{G}$ is consequently relevant to any $K$-theoretic analysis of finite graph $\mathrm{C}^*$-algebras. We also use computer simulations to experimentally verify the behaviour predicted by theory and to estimate the asymptotic probabilities of obtaining stable isomorphism classes represented by actual Cuntz algebras. These probabilities depend on the frequencies with which the Sylow $p$-subgroups of $K_0$ are cyclic and in some cases can be computed from existing theory. For random symmetric $r$-regular multigraphs, current theory can describe these frequencies for finite sets of odd primes $p$ not dividing $r-1$. A novel aspect of the collected data is the observation of new heuristics outside of this case, leading to a conjecture for the asymptotic probability of these graphs yielding $\mathrm{C}^*$-algebras stably isomorphic to Cuntz algebras. For other models of random multigraphs including Bernoulli (di)graphs, the data also allow us to estimate and heuristically explain the (surprisingly high) asymptotic probabilities of exact isomorphism to a Cuntz algebra. Recognising the role played by Cuntz--Krieger algebras in the theory of symbolic dynamics, we also collect supplemental data to estimate (and in some cases, actually compute) the asymptotic probability of a random subshift of finite type being flow equivalent to a full shift. △ Less

Submitted 21 May, 2025; v1 submitted 4 July, 2023; originally announced July 2023.

Comments: Minor revision featuring a change of title. Summary data files and Python scripts included as ancillary files. This version appears in the New York Journal of Mathematics https://nyjm.albany.edu/j/2025/31-28.html

MSC Class: 46L35; 46L80; 15B52; 60B20; 37B10

Journal ref: New York J. Math. 31 (2025) 749-791

Compatibility complex for black hole spacetimes

Authors: Steffen Aksteiner, Lars Andersson, Thomas Bäckdahl, Igor Khavkine, Bernard Whiting

Abstract: The set of local gauge invariant quantities for linearized gravity on the Kerr spacetime presented by two of the authors (S.A, T.B.) in (arXiv:1803.05341) is shown to be complete. In particular, any gauge invariant quantity for linearized gravity on Kerr that is local and of finite order in derivatives can be expressed in terms of these gauge invariants and derivatives thereof. The proof is carrie… ▽ More The set of local gauge invariant quantities for linearized gravity on the Kerr spacetime presented by two of the authors (S.A, T.B.) in (arXiv:1803.05341) is shown to be complete. In particular, any gauge invariant quantity for linearized gravity on Kerr that is local and of finite order in derivatives can be expressed in terms of these gauge invariants and derivatives thereof. The proof is carried out by constructing a complete compatibility complex for the Killing operator, and demonstrating the equivalence of the gauge invariants from (arXiv:1803.05341) with the first compatibility operator from that complex. △ Less

Submitted 10 May, 2021; v1 submitted 19 October, 2019; originally announced October 2019.

Comments: 23 pages. Some remarks added

MSC Class: 83C57; 53A55; 58J10; 83C60

Journal ref: Commun. Math. Phys. (2021)

Conformal Killing Initial Data

Authors: Alfonso García-Parrado, Igor Khavkine

Abstract: We find necessary and sufficient conditions ensuring that the vacuum development of an initial data set of the Einstein's field equations admits a conformal Killing vector. We refer to these conditions as conformal Killing initial data (CKID) and they extend the well-known Killing initial data (KID) that have been known for a long time. The procedure used to find the CKID is a classical argument,… ▽ More We find necessary and sufficient conditions ensuring that the vacuum development of an initial data set of the Einstein's field equations admits a conformal Killing vector. We refer to these conditions as conformal Killing initial data (CKID) and they extend the well-known Killing initial data (KID) that have been known for a long time. The procedure used to find the CKID is a classical argument, which is reviewed and presented in a form that may have an independent interest, based on identifying a suitable propagation identity and checking the well-posedness of the corresponding initial value problem. As example applications, we review the derivation of the KID conditions, as well as give a more thorough treatment of the homothetic Killing initial data (HKID) conditions than was previously available in the literature. △ Less

Submitted 2 September, 2019; v1 submitted 3 May, 2019; originally announced May 2019.

Comments: v1: 12 pages; v2: 22 pages, major reorganization, main results in previous version were incomplete

Journal ref: J Math Phys 60, 122502 (2019)

Reducing triangular systems of ODEs with rational coefficients, with applications to coupled Regge-Wheeler equations

Authors: Igor Khavkine

Abstract: We concisely summarize a method of finding all rational solutions to an inhomogeneous rational ODE system of arbitrary order (but solvable for its highest order terms) by converting it into a finite dimensional linear algebra problem. This method is then used to solve the problem of conclusively deciding when certain rational ODE systems in upper triangular form can or cannot be reduced to diagona… ▽ More We concisely summarize a method of finding all rational solutions to an inhomogeneous rational ODE system of arbitrary order (but solvable for its highest order terms) by converting it into a finite dimensional linear algebra problem. This method is then used to solve the problem of conclusively deciding when certain rational ODE systems in upper triangular form can or cannot be reduced to diagonal form by differential operators with rational coefficients. As specific examples, we consider systems of coupled Regge-Wheeler equations, which have naturally appeared in previous work on vector and tensor perturbations on the Schwarzschild black hole spacetime. Our systematic approach reproduces and complements identities that have been previously found by trial and error methods. △ Less

Submitted 29 January, 2018; originally announced January 2018.

Comments: 11 pages

IDEAL characterization of isometry classes of FLRW and inflationary spacetimes

Authors: Giovanni Canepa, Claudio Dappiaggi, Igor Khavkine

Abstract: In general relativity, an IDEAL (Intrinsic, Deductive, Explicit, ALgorithmic) characterization of a reference spacetime metric $g_0$ consists of a set of tensorial equations $T[g]=0$, constructed covariantly out of the metric $g$, its Riemann curvature and their derivatives, that are satisfied if and only if $g$ is locally isometric to the reference spacetime metric $g_0$. The same notion can be e… ▽ More In general relativity, an IDEAL (Intrinsic, Deductive, Explicit, ALgorithmic) characterization of a reference spacetime metric $g_0$ consists of a set of tensorial equations $T[g]=0$, constructed covariantly out of the metric $g$, its Riemann curvature and their derivatives, that are satisfied if and only if $g$ is locally isometric to the reference spacetime metric $g_0$. The same notion can be extended to also include scalar or tensor fields, where the equations $T[g,φ]=0$ are allowed to also depend on the extra fields $φ$. We give the first IDEAL characterization of cosmological FLRW spacetimes, with and without a dynamical scalar (inflaton) field. We restrict our attention to what we call regular geometries, which uniformly satisfy certain identities or inequalities. They roughly split into the following natural special cases: constant curvature spacetime, Einstein static universe, and flat or curved spatial slices. We also briefly comment on how the solution of this problem has implications, in general relativity and inflation theory, for the construction of local gauge invariant observables for linear cosmological perturbations and for stability analysis. △ Less

Submitted 10 April, 2018; v1 submitted 18 April, 2017; originally announced April 2017.

Comments: v4: Fixed minor typos relative to published version. v3: 42 pages; restructured order of sections, fixed some inconsistent formulas; close to published version

Journal ref: Class. Quantum Grav. 35, 035013 (2018)

Synthetic geometry of differential equations: I. Jets and comonad structure

Authors: Igor Khavkine, Urs Schreiber

Abstract: We give an abstract formulation of the formal theory partial differential equations (PDEs) in synthetic differential geometry, one that would seamlessly generalize the traditional theory to a range of enhanced contexts, such as super-geometry, higher (stacky) differential geometry, or even a combination of both. A motivation for such a level of generality is the eventual goal of solving the open p… ▽ More We give an abstract formulation of the formal theory partial differential equations (PDEs) in synthetic differential geometry, one that would seamlessly generalize the traditional theory to a range of enhanced contexts, such as super-geometry, higher (stacky) differential geometry, or even a combination of both. A motivation for such a level of generality is the eventual goal of solving the open problem of covariant geometric pre-quantization of locally variational field theories, which may include fermions and (higher) gauge fields. (abridged) △ Less

Submitted 22 January, 2017; originally announced January 2017.

Comments: 68 pages, xypic commutative diagrams

MSC Class: 51K10; 58A03; 58A20

Presymplectic current and the inverse problem of the calculus of variations

Authors: Igor Khavkine

Abstract: The inverse problem of the calculus of variations asks whether a given system of partial differential equations (PDEs) admits a variational formulation. We show that the existence of a presymplectic form in the variational bicomplex, when horizontally closed on solutions, allows us to construct a variational formulation for a subsystem of the given PDE. No constraints on the differential order or… ▽ More The inverse problem of the calculus of variations asks whether a given system of partial differential equations (PDEs) admits a variational formulation. We show that the existence of a presymplectic form in the variational bicomplex, when horizontally closed on solutions, allows us to construct a variational formulation for a subsystem of the given PDE. No constraints on the differential order or number of dependent or independent variables are assumed. The proof follows a recent observation of Bridges, Hydon and Lawson and generalizes an older result of Henneaux from ordinary differential equations (ODEs) to PDEs. Uniqueness of the variational formulation is also discussed. △ Less

Submitted 11 November, 2013; v1 submitted 2 October, 2012; originally announced October 2012.

Comments: v2: 17 pages, no figures, BibTeX; minor corrections, close to published version

Report number: ITP-UU-12/43; SPIN-12/40 MSC Class: 49N45; 58E30; 70S05

Journal ref: J. Math. Phys. 54, 111502 (2013)

Recurrence relation for the 6j-symbol of su_q(2) as a symmetric eigenvalue problem

Authors: Igor Khavkine

Abstract: A well known recurrence relation for the 6j-symbol of the quantum group su_q(2) is realized as a tridiagonal, symmetric eigenvalue problem. This formulation can be used to implement an efficient numerical evaluation algorithm, taking advantage of existing specialized numerical packages. For convenience, all formulas relevant for such an implementation are collected in the appendix. This realizatio… ▽ More A well known recurrence relation for the 6j-symbol of the quantum group su_q(2) is realized as a tridiagonal, symmetric eigenvalue problem. This formulation can be used to implement an efficient numerical evaluation algorithm, taking advantage of existing specialized numerical packages. For convenience, all formulas relevant for such an implementation are collected in the appendix. This realization is a byproduct of an alternative proof of the recurrence relation, which generalizes a classical (q=1) result of Schulten and Gordon and uses the diagrammatic spin network formalism of Temperley-Lieb recoupling theory to simplify intermediate calculations. △ Less

Submitted 15 September, 2015; v1 submitted 12 September, 2010; originally announced September 2010.

Comments: v3: 13 pages, ws-ijgmmp; minor corrections, slight update to presentation; close to published version

Report number: ITP-UU-10/30, SPIN-10/26 MSC Class: 81R50; 20G42

Journal ref: Int. J. Geom. Methods Mod. Phys., 12, 1550117 (2015)