-
The discrete dislocation dynamics of multiple dislocation loops
Authors:
Stefania Patrizi,
Mary Vaughan
Abstract:
We consider a nonlocal reaction-diffusion equation that physically arises from the classical Peierls-Nabarro model for dislocations in crystalline structures. Our initial configuration corresponds to multiple slip loop dislocations in $\mathbb{R}^n$, $n \geq 2$. After suitably rescaling the equation with a small phase parameter $\varepsilon>0$, the rescaled solution solves a fractional Allen-Cahn…
▽ More
We consider a nonlocal reaction-diffusion equation that physically arises from the classical Peierls-Nabarro model for dislocations in crystalline structures. Our initial configuration corresponds to multiple slip loop dislocations in $\mathbb{R}^n$, $n \geq 2$. After suitably rescaling the equation with a small phase parameter $\varepsilon>0$, the rescaled solution solves a fractional Allen-Cahn equation. We show that, as $\varepsilon \to 0$, the limiting solution exhibits multiple interfaces evolving independently and according to their mean curvature.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
A convergence result for the derivation of front propagation in nonlocal phase field models
Authors:
Stefania Patrizi,
Mary Vaughan
Abstract:
We prove that the mean curvature of a smooth surface in $\mathbb{R}^n$, $n\geq 2$, arises as the limit of a sequence of functions that are intrinsically related to the difference between an $n$- and $1$-dimensional fractional Laplacian of a phase transition. Depending on the order of the fractional Laplace operator, we recover the fractional mean curvature or the classical mean curvature of the su…
▽ More
We prove that the mean curvature of a smooth surface in $\mathbb{R}^n$, $n\geq 2$, arises as the limit of a sequence of functions that are intrinsically related to the difference between an $n$- and $1$-dimensional fractional Laplacian of a phase transition. Depending on the order of the fractional Laplace operator, we recover the fractional mean curvature or the classical mean curvature of the surface. Moreover, we show that this is an essential ingredient for deriving the evolution of fronts in fractional reaction-diffusion equations such as those for atomic dislocations in crystals.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Interior Schauder estimates for fractional elliptic equations in nondivergence form
Authors:
P. R. Stinga,
M. Vaughan
Abstract:
We obtain sharp interior Schauder estimates for solutions to nonlocal Poisson problems driven by fractional powers of nondivergence form elliptic operators $(-a^{ij}(x) \partial_{ij})^s$, for $0<s<1$, in bounded domains under minimal regularity assumptions on the coefficients $a^{ij}(x)$. Solutions to the fractional problem are characterized by a local degenerate/singular extension problem. We int…
▽ More
We obtain sharp interior Schauder estimates for solutions to nonlocal Poisson problems driven by fractional powers of nondivergence form elliptic operators $(-a^{ij}(x) \partial_{ij})^s$, for $0<s<1$, in bounded domains under minimal regularity assumptions on the coefficients $a^{ij}(x)$. Solutions to the fractional problem are characterized by a local degenerate/singular extension problem. We introduce a novel notion of viscosity solutions for the extension problem and implement Caffarelli's perturbation methodology in the corresponding degenerate/singular Monge--Ampère geometry to prove Schauder estimates in the extension. This in turn implies interior Schauder estimates for solutions to the fractional nonlocal equation. Furthermore, we prove a new Hopf lemma, the interior Harnack inequality and Hölder regularity in the Monge--Ampère geometry for viscosity solutions to the extension problem.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Continuous symmetrizations and uniqueness of solutions to nonlocal equations
Authors:
Matias G. Delgadino,
M. Vaughan
Abstract:
We show that nonlocal seminorms are strictly decreasing under the continuous Steiner rearrangement. This implies that all solutions to nonlocal equations which arise as critical points of nonlocal energies are radially symmetric and decreasing. Moreover, we show uniqueness of solutions by exploiting the convexity of the energies under a tailored interpolation in the space of radially symmetric and…
▽ More
We show that nonlocal seminorms are strictly decreasing under the continuous Steiner rearrangement. This implies that all solutions to nonlocal equations which arise as critical points of nonlocal energies are radially symmetric and decreasing. Moreover, we show uniqueness of solutions by exploiting the convexity of the energies under a tailored interpolation in the space of radially symmetric and decreasing functions. As an application, we consider the long time dynamics of a higher order nonlocal equation which models the growth of symmetric cracks in an elastic medium.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Relative State Quantum Logic
Authors:
Martin Paul Vaughan
Abstract:
A projective quantum logic in terms of relative states is developed, emphasizing the importance of information transfer between a system under study and its environment. The need for accounting for the historical evolution of system is highlighted and it is found that the conjunction of observations involving conjugate variables can be consistently defined but is found to be non-commutative. It is…
▽ More
A projective quantum logic in terms of relative states is developed, emphasizing the importance of information transfer between a system under study and its environment. The need for accounting for the historical evolution of system is highlighted and it is found that the conjunction of observations involving conjugate variables can be consistently defined but is found to be non-commutative. It is shown that the Birkhoff and von Neumann approach to quantum logic is unable to deal with such conjunctions. It is found that whilst the proposed scheme is still not distributive in general, the discrepancy is directly related to interference effects that may disappear when information is transferred from the system to its environment. It is argued that the probabilities associated with projections be mapped to an orthocomplemented ternary logic, in which it is shown that the law of the excluded middle still holds.
△ Less
Submitted 13 March, 2022;
originally announced March 2022.
-
Permutations whose reverse shares the same recording tableau in the RSK correspondence
Authors:
Tucker J. Ervin,
Blake Jackson,
Jay Lane,
Kyungyong Lee,
Son Dang Nguyen,
Jack O'Donohue,
Michael Vaughan
Abstract:
The RSK correspondence is a bijection between permutations and pairs of standard Young tableaux with identical shape, where the tableaux are commonly denoted $P$ (insertion) and $Q$ (recording). It has been an open problem to demonstrate…
▽ More
The RSK correspondence is a bijection between permutations and pairs of standard Young tableaux with identical shape, where the tableaux are commonly denoted $P$ (insertion) and $Q$ (recording). It has been an open problem to demonstrate $$ |\{w \in \mathfrak{S}_n | \, Q(w) = Q(w^r)\}| = \begin{cases}
\displaystyle 2^{\frac{n-1}{2}}{n-1 \choose \frac{n-1}{2}} & n \text{ odd} \newline
\displaystyle 0 & n \text{ even} \end{cases}, $$ where $w^r$ is the reverse permutation of $w$. First we show that for each $w$ where $Q(w) = Q(w^r)$ the recording tableau $Q(w)$ has a symmetric hook shape and satisfies a certain simple property. From these two results, we succeed in proving the desired identity.
△ Less
Submitted 19 August, 2021;
originally announced August 2021.
-
Quantum Information and the Mind-Body Problem
Authors:
Martin Paul Vaughan
Abstract:
The mind-body problem is reviewed in the context of a non-technical account of quantum information theory. The importance of clearly defining: `what is physical?' is highlighted, since only then can we give meaning to the concept `non-physical'. Physicality is defined in terms of interaction, which is in turn defined to be a correlated exchange of information. This is asserted to be the basis of a…
▽ More
The mind-body problem is reviewed in the context of a non-technical account of quantum information theory. The importance of clearly defining: `what is physical?' is highlighted, since only then can we give meaning to the concept `non-physical'. Physicality is defined in terms of interaction, which is in turn defined to be a correlated exchange of information. This is asserted to be the basis of any meaningful concept of epistemology. Hence, it is argued that a non-physical entity can not `know' anything about the world. Information transfer is then discussed in terms of quantum entanglement and an argument for our perception of time is presented. It is then contended that the notion of `mind' may be meaningfully discussed in the context of a quantum theoretic framework.
△ Less
Submitted 3 October, 2021; v1 submitted 6 June, 2021;
originally announced June 2021.
-
Fractional elliptic equations in nondivergence form: definition, applications and Harnack inequality
Authors:
P. R. Stinga,
M. Vaughan
Abstract:
We define the fractional powers $L^s=(-a^{ij}(x)\partial_{ij})^s$, $0 < s < 1$, of nondivergence form elliptic operators $L=-a^{ij}(x)\partial_{ij}$ in bounded domains $Ω\subset\mathbb{R}^n$, under minimal regularity assumptions on the coefficients $a^{ij}(x)$ and on the boundary $\partialΩ$. We show that these fractional operators appear in several applications such as fractional Monge--Ampère eq…
▽ More
We define the fractional powers $L^s=(-a^{ij}(x)\partial_{ij})^s$, $0 < s < 1$, of nondivergence form elliptic operators $L=-a^{ij}(x)\partial_{ij}$ in bounded domains $Ω\subset\mathbb{R}^n$, under minimal regularity assumptions on the coefficients $a^{ij}(x)$ and on the boundary $\partialΩ$. We show that these fractional operators appear in several applications such as fractional Monge--Ampère equations, elasticity, and finance. The solution $u$ to the nonlocal Poisson problem $$\begin{cases} (-a^{ij}(x) \partial_{ij})^su = f&\hbox{in}~Ω\\ u=0&\hbox{on}~\partialΩ\end{cases}$$ is characterized by a local degenerate/singular extension problem. We develop the method of sliding paraboloids in the Monge--Ampère geometry and prove the interior Harnack inequality and Hölder estimates for solutions to the extension problem when the coefficients $a^{ij}(x)$ are bounded, measurable functions. This in turn implies the interior Harnack inequality and Hölder estimates for solutions $u$ to the fractional problem.
△ Less
Submitted 14 July, 2021; v1 submitted 29 December, 2020;
originally announced December 2020.
-
The Concept of Entropic Time: A Preliminary Discussion
Authors:
Martin Paul Vaughan
Abstract:
The deep connection between entropy and information is discussed in terms of both classical and quantum physics. The mechanism of information transfer between systems via entanglement is explored in the context of decoherence theory. The concept of entropic time is then introduced on the basis of information acquisition, which is argued to be effectively irreversible and consistent with both the S…
▽ More
The deep connection between entropy and information is discussed in terms of both classical and quantum physics. The mechanism of information transfer between systems via entanglement is explored in the context of decoherence theory. The concept of entropic time is then introduced on the basis of information acquisition, which is argued to be effectively irreversible and consistent with both the Second Law of Thermodynamics and our psychological perception of time. This is distinguished from the notion of parametric time, which serves as the temporal parameter for the unitary evolution of a physical state in non-relativistic quantum mechanics. The atemporal nature of the `collapse' of the state vector associated with such information gain is discussed in light of relativistic considerations. The interpretation of these ideas in terms of both subjective and objective collapse models is also discussed. It is shown that energy is conserved under subjective collapse schemes whereas, in general, under objective collapse it is not. This is consistent with the fact that the latter is inherently non-unitary and that energy conservation arises out of time symmetry in the first place.
△ Less
Submitted 1 January, 2021; v1 submitted 1 November, 2020;
originally announced November 2020.
-
The application of HEXS and HERFD XANES for accurate structural characterization of actinide nanomaterials: application to ThO2
Authors:
Lucia Amidani,
Gavin B. M. Vaughan,
Tatiana V. Plakhova,
Anna Yu. Romanchuk,
Evgeny Gerber,
Roman Svetogorov,
Stephan Weiss,
Yves Joly,
Stephan N. Kalmykov,
Kristina O. Kvashnina
Abstract:
Structural characterization of actinide nanoparticles (NPs) is of primary importance and hard to achieve, especially for non-homogeneous samples with NPs below 3 nm. By combining High Energy X-ray Scattering (HEXS) and High-Energy-Resolution Fluorescence Detected X-ray Near-Edge Structure (HERFD XANES), we characterized for the first time both short- and medium-range order of ThO2 NPs obtained by…
▽ More
Structural characterization of actinide nanoparticles (NPs) is of primary importance and hard to achieve, especially for non-homogeneous samples with NPs below 3 nm. By combining High Energy X-ray Scattering (HEXS) and High-Energy-Resolution Fluorescence Detected X-ray Near-Edge Structure (HERFD XANES), we characterized for the first time both short- and medium-range order of ThO2 NPs obtained by chemical precipitation. With this methodology, a novel insight into the structure of NPs at different steps of their formation process is achieved. The Pair Distribution Function (PDF) reveals a high concentration of ThO2 small units similar to Th hexamer clusters mixed with 1 nm ThO2 NPs in the initial steps of formation. Drying the precipitates at 150 C promotes recrystallization of the smallest units into more thermodynamically stable ThO2 NPs. HERFD XANES at Th M4 edge, a direct probe of the f states, shows variations that we correlate to the break of the local symmetry around Th atoms, which most likely concerns surface atoms. Together, HEXS and HERFD are a powerful methodology to investigate actinide NPs and their formation mechanism.
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
The missing pieces of the PuO 2 nanoparticle puzzle
Authors:
Evgeny Gerber,
Anna Yu Romanchuk,
Ivan Pidchenko,
Lucia Amidani,
Andre Rossberg,
Christoph Hennig,
Gavin B M Vaughan,
Alexander Trigub,
Tolganay Egorova,
Stephen Bauters,
Tatiana Plakhova,
Myrtille O J Y Hunault,
Stephan Weiss,
Sergei M Butorin,
Andreas C Scheinost,
Stepan N Kalmykov,
Kristina O Kvashnina
Abstract:
The nanoscience field often produces results more mystifying than any other discipline. It has been argued that changes in the plutonium dioxide (PuO2) particle size from bulk to nano can have a drastic effect on PuO2 properties. Here we report a full characterization of PuO2 nanoparticles (NPs) at the atomic level and probe their local and electronic structures by a variety of methods available a…
▽ More
The nanoscience field often produces results more mystifying than any other discipline. It has been argued that changes in the plutonium dioxide (PuO2) particle size from bulk to nano can have a drastic effect on PuO2 properties. Here we report a full characterization of PuO2 nanoparticles (NPs) at the atomic level and probe their local and electronic structures by a variety of methods available at the synchrotron.
△ Less
Submitted 15 October, 2020;
originally announced October 2020.
-
Dynamics of laterally-coupled pairs of spin-VCSELs
Authors:
Martin P Vaughan,
Hadi Susanto,
Ian D Henning,
Mike J Adams
Abstract:
A newly-developed normal mode model of laser dynamics in a generalised array of waveguides is applied to extend the spin-flip model (SFM) to pairs of evanescently-coupled spin-VCSELS. The effect of high birefringence is explored, revealing new dynamics and regions of bistability. It is shown that optical switching of the polarisation states of the lasers may be controlled through the optical pump…
▽ More
A newly-developed normal mode model of laser dynamics in a generalised array of waveguides is applied to extend the spin-flip model (SFM) to pairs of evanescently-coupled spin-VCSELS. The effect of high birefringence is explored, revealing new dynamics and regions of bistability. It is shown that optical switching of the polarisation states of the lasers may be controlled through the optical pump and that, under certain conditions, the polarisation of one laser may be switched by controlling the intensity and polarisation in the other.
△ Less
Submitted 13 January, 2020;
originally announced January 2020.
-
Analysis of evanescently-coupled pairs of spin-polarised vertical-cavity surface-emitting lasers
Authors:
MP Vaughan,
H Susanto,
ID Henning,
MJ Adams
Abstract:
A general model for the dynamics of arrays of coupled, spin-polarised lasers is derived, which is shown to reduce to both the spin flip model in a single cavity and the coupled mode model for a pair of guides in the appropriate limit. The general model is able to deal with waveguides of any geometry with any number of supported normal modes. A unique feature of the model is that it allows for inde…
▽ More
A general model for the dynamics of arrays of coupled, spin-polarised lasers is derived, which is shown to reduce to both the spin flip model in a single cavity and the coupled mode model for a pair of guides in the appropriate limit. The general model is able to deal with waveguides of any geometry with any number of supported normal modes. A unique feature of the model is that it allows for independent polarisation of the pum** in each laser. The particular geometry is shown to be introduced via `overlap factors', which are a generalisation of the optical confinement factor. These factors play an important role in determining the laser dynamics. The model is specialised to the case of a general double-guided structure, which is then analysed and simulated numerically. For this case it is found that increasing the ellipticity of the pum** tends to enhance the regions where stable solutions are predicted in the plane of pum** strength versus guide separation.
△ Less
Submitted 14 December, 2019;
originally announced December 2019.
-
Spin-valve Josephson junctions with perpendicular magnetic anisotropy for cryogenic memory
Authors:
N. Satchell,
P. M. Shepley,
M. Algarni,
M. Vaughan,
E. Darwin,
M. Ali,
M. C. Rosamond,
L. Chen,
E. H. Linfield,
B. J. Hickey,
G. Burnell
Abstract:
We demonstrate a Josephson junction with a weak link containing two ferromagnets, with perpendicular magnetic anisotropy and independent switching fields in which the critical current can be set by the mutual orientation of the two layers. Such pseudospin-valve Josephson junctions are a candidate cryogenic memory in an all superconducting computational scheme. Here, we use Pt/Co/Pt/CoB/Pt as the w…
▽ More
We demonstrate a Josephson junction with a weak link containing two ferromagnets, with perpendicular magnetic anisotropy and independent switching fields in which the critical current can be set by the mutual orientation of the two layers. Such pseudospin-valve Josephson junctions are a candidate cryogenic memory in an all superconducting computational scheme. Here, we use Pt/Co/Pt/CoB/Pt as the weak link of the junction with $d_\text{Co} = 0.6$ nm, $d_\text{CoB} = 0.3$ nm, and $d_\text{Pt} = 5$ nm and obtain a $60\%$ change in the critical current for the two magnetization configurations of the pseudospin-valve. Ferromagnets with perpendicular magnetic anisotropy have advantages over magnetization in-plane systems which have been exclusively considered to this point, as in principle the magnetization and magnetic switching of layers in the junction should not affect the in-plane magnetic flux.
△ Less
Submitted 13 January, 2020; v1 submitted 25 November, 2019;
originally announced November 2019.
-
On the Origin of Superconductivity at Nickel-Bismuth Interfaces
Authors:
Matthew Vaughan,
Nathan Satchell,
Mannan Ali,
Christy J. Kinane,
Gavin B. G. Stenning,
Sean Langridge,
Gavin Burnell
Abstract:
Unconventional superconductivity has been suggested to be present at the interface between bismuth and nickel in thin-film bilayers. In this work, we study the structural, magnetic and superconducting properties of sputter deposited Bi/Ni bilayers. As-grown, our films do not display a superconducting transition, however, when stored at room temperature, after about 14 days our bilayers develop a s…
▽ More
Unconventional superconductivity has been suggested to be present at the interface between bismuth and nickel in thin-film bilayers. In this work, we study the structural, magnetic and superconducting properties of sputter deposited Bi/Ni bilayers. As-grown, our films do not display a superconducting transition, however, when stored at room temperature, after about 14 days our bilayers develop a superconducting transition up to 3.8 K. To systematically study the effect of low temperature annealing on our bilayers, we perform structural characterization with X-ray diffraction and polarized neutron reflectometry, along with magnetometry and low temperature electrical transport measurements on samples annealed at $70\,^\circ$C. We show that the onset of superconductivity in our samples is coincident with the formation of ordered NiBi$_3$ intermetallic alloy, a known $s$-wave superconductor. We calculate that the annealing process has an activation energy of $(0.86\pm 0.06)$eV. As a consequence, gentle heating of the bilayers will cause formation of the superconducting NiBi$_3$ at the Ni/Bi interface, which poses a challenge to studying any distinct properties of Bi/Ni bilayers without degrading that interface.
△ Less
Submitted 23 November, 2019;
originally announced November 2019.
-
Structure and efficiency in bacterial photosynthetic light-harvesting
Authors:
Susannah Bourne Worster,
Clement Stross,
Felix M. W. C. Vaughan,
Noah Linden,
Frederick R. Manby
Abstract:
Photosynthetic organisms use networks of chromophores to absorb sunlight and deliver the energy to reaction centres, where charge separation triggers a cascade of chemical steps to store the energy. We present a detailed model of the light-harvesting complexes in purple bacteria, including explicit interaction with sunlight; energy loss through radiative and non-radiative processes; and dephasing…
▽ More
Photosynthetic organisms use networks of chromophores to absorb sunlight and deliver the energy to reaction centres, where charge separation triggers a cascade of chemical steps to store the energy. We present a detailed model of the light-harvesting complexes in purple bacteria, including explicit interaction with sunlight; energy loss through radiative and non-radiative processes; and dephasing and thermalizing effects of coupling to a vibrational bath. An important feature of the model is that we capture the effect of slow vibrational modes by introducing time-dependent disorder. Our model describes the experimentally observed high efficiency of light harvesting, despite the absence of long-range quantum coherence. The one-exciton part of the quantum state fluctuates due to slow vibrational changes, but remains highly mixed at all times. This lack of long-range coherence suggests a relatively minor role for structure in determining the efficiency of bacterial light harvesting. To investigate this we built hypothetical models with randomly arranged chromophores, but still observed high efficiency when typical nearest-neighbour distances are comparable with those found in nature. This helps to explain the efficiency of energy transport in organisms whose chromophore networks differ widely in structure, while also suggesting new design criteria for efficient artificial light-harvesting devices.
△ Less
Submitted 14 August, 2019;
originally announced August 2019.
-
The Dual Kaczmarz Algorithm
Authors:
Anna Aboud,
Emelie Curl,
Steven N. Harding,
M. Vaughan,
Eric S. Weber
Abstract:
The Kaczmarz algorithm is an iterative method for solving a system of linear equations. It can be extended so as to reconstruct a vector $x$ in a (separable) Hilbert space from the inner-products $\{\langle x, φ_{n} \rangle\}$. The Kaczmarz algorithms defines a sequence of approximations from the sequence $\{\langle x, φ_{n} \rangle\}$; these approximations only converge to $x$ when $\{φ_{n}\}$ is…
▽ More
The Kaczmarz algorithm is an iterative method for solving a system of linear equations. It can be extended so as to reconstruct a vector $x$ in a (separable) Hilbert space from the inner-products $\{\langle x, φ_{n} \rangle\}$. The Kaczmarz algorithms defines a sequence of approximations from the sequence $\{\langle x, φ_{n} \rangle\}$; these approximations only converge to $x$ when $\{φ_{n}\}$ is ${effective}$. We dualize the Kaczmarz algorithm so that $x$ can be obtained from $\{\langle x, φ_{n} \rangle\}$ by using a second sequence $\{ψ_{n}\}$ in the reconstruction. This allows for the recovery of $x$ even when the sequence $\{φ_{n}\}$ is not effective; in particular, our dualization yields a reconstruction when the sequence $\{φ_{n}\}$ is $almost$ $effective$. We also obtain some partial results characterizing when the sequence of approximations from $\{\langle x, φ_{n} \rangle\}$ using $\{ψ_{n}\}$ converges to $x$, in which case $\{(φ_n, ψ_n)\}$ is called an $effective$ $pair$.
△ Less
Submitted 31 October, 2018;
originally announced November 2018.
-
One-sided fractional derivatives, fractional Laplacians, and weighted Sobolev spaces
Authors:
P. R. Stinga,
M. Vaughan
Abstract:
We characterize one-sided weighted Sobolev spaces $W^{1,p}(\mathbb{R},ω)$, where $ω$ is a one-sided Sawyer weight, in terms of a.e.~and weighted $L^p$ limits as $α\to1^-$ of Marchaud fractional derivatives of order $α$. Similar results for weighted Sobolev spaces $W^{2,p}(\mathbb{R}^n,ν)$, where $ν$ is an $A_p$-Muckenhoupt weight, are proved in terms of limits as $s\to1^-$ of fractional Laplacians…
▽ More
We characterize one-sided weighted Sobolev spaces $W^{1,p}(\mathbb{R},ω)$, where $ω$ is a one-sided Sawyer weight, in terms of a.e.~and weighted $L^p$ limits as $α\to1^-$ of Marchaud fractional derivatives of order $α$. Similar results for weighted Sobolev spaces $W^{2,p}(\mathbb{R}^n,ν)$, where $ν$ is an $A_p$-Muckenhoupt weight, are proved in terms of limits as $s\to1^-$ of fractional Laplacians $(-Δ)^s$. These are Bourgain--Brezis--Mironescu-type characterizations for weighted Sobolev spaces. We also complement their work by studying a.e.~and weighted $L^p$ limits as $α,s\to0^+$.
△ Less
Submitted 28 June, 2019; v1 submitted 31 October, 2018;
originally announced October 2018.
-
Jordan Normal and Rational Normal Form Algorithms
Authors:
Bernard Parisse,
Morgane Vaughan
Abstract:
In this paper, we present a determinist Jordan normal form algorithms based on the Fadeev formula: \[(λ\cdot I-A) \cdot B(λ)=P(λ) \cdot I\] where $B(λ)$ is $(λ\cdot I-A)$'s comatrix and $P(λ)$ is $A$'s characteristic polynomial. This rational Jordan normal form algorithm differs from usual algorithms since it is not based on the Frobenius/Smith normal form but rather on the idea already remarked…
▽ More
In this paper, we present a determinist Jordan normal form algorithms based on the Fadeev formula: \[(λ\cdot I-A) \cdot B(λ)=P(λ) \cdot I\] where $B(λ)$ is $(λ\cdot I-A)$'s comatrix and $P(λ)$ is $A$'s characteristic polynomial. This rational Jordan normal form algorithm differs from usual algorithms since it is not based on the Frobenius/Smith normal form but rather on the idea already remarked in Gantmacher that the non-zero column vectors of $B(λ_0)$ are eigenvectors of $A$ associated to $λ_0$ for any root $λ_0$ of the characteristical polynomial. The complexity of the algorithm is $O(n^4)$ field operations if we know the factorization of the characteristic polynomial (or $O(n^5 \ln(n))$ operations for a matrix of integers of fixed size). This algorithm has been implemented using the Maple and Giac/Xcas computer algebra systems.
△ Less
Submitted 2 December, 2004;
originally announced December 2004.