arXiv Science⌕ Search

arXiv subjects

Kevin Walker

Publications and source records attributed to Kevin Walker.

At least 19 recordsLinked to original sources
arXiv2024

Update on the German and Australasian Optical Ground Station Networks

Networks of ground stations designed to transmit and receive at optical wavelengths through the atmosphere offer an opportunity to provide on-demand, high-bandwidth, secure communications with spacecraft in Earth orbit and beyond. This work describes the operation and activities of current Free Space Optical Communication (FSOC) ground stations in Germany and Australasia. In Germany, FSOC facilities are located at the Oberpfaffenhofen campus of the Deutsches Zentrum fur Luft- und Raumfahrt (German Aerospace Center, DLR), the Laser-Bodenstation in Trauen (Responsive Space Cluster Competence Center, DLR), and the Research Center Space of the University of the Bundeswehr Munich in Neubiberg. The DLR also operates a ground station in Almeria, Spain as part of the European Optical Nucleus Network. The Australasian Optical Ground Station Network (AOGSN) is a proposed network of 0.5 -- 0.7m class optical telescopes located across Australia and New Zealand. The development and progress for each node of the AOGSN is reported, along with optimisation of future site locations based on cloud cover analysis.

astro-ph.IM↗
arXiv2024

Invariants of surfaces in smooth 4-manifolds from link homology

We construct analogs of Khovanov-Jacobsson classes and the Rasmussen invariant for links in the boundary of any smooth oriented 4-manifold. The main tools are skein lasagna modules based on equivariant and deformed versions of $\mathfrak{gl}_N$ link homology, for which we prove non-vanishing and decomposition results. Along the way, we characterize precise technical conditions that allow a link homology theory to extend to skein lasagna 4-manifold invariants, we establish a decomposition theorem for deformed $\mathfrak{gl}_N$ skein lasagna modules, and we illustrate how Hopf link homology classes can be used to extend the functoriality of link homology theories to immersed link cobordisms.

math.GT↗
arXiv2022

Skein lasagna modules and handle decompositions

The skein lasagna module is an extension of Khovanov-Rozansky homology to the setting of a four-manifold and a link in its boundary. This invariant plays the role of the Hilbert space of an associated fully extended (4+epsilon)-dimensional TQFT. We give a general procedure for expressing the skein lasagna module in terms of a handle decomposition for the four-manifold. We use this to calculate a few examples, and show that the skein lasagna module can sometimes be locally infinite dimensional.

math.GT↗
arXiv2022

V-LinkNet: Learning Contextual Inpainting Across Latent Space of Generative Adversarial Network

Image inpainting is a key technique in image processing task to predict the missing regions and generate realistic images. Given the advancement of existing generative inpainting models with feature extraction, propagation and reconstruction capabilities, there is lack of high-quality feature extraction and transfer mechanisms in deeper layers to tackle persistent aberrations on the generated inpainted regions. Our method, V-LinkNet, develops high-level feature transference to deep level textural context of inpainted regions our work, proposes a novel technique of combining encoders learning through a recursive residual transition layer (RSTL). The RSTL layer easily adapts dual encoders by increasing the unique semantic information through direct communication. By collaborating the dual encoders structure with contextualised feature representation loss function, our system gains the ability to inpaint with high-level features. To reduce biases from random mask-image pairing, we introduce a standard protocol with paired mask-image on the testing set of CelebA-HQ, Paris Street View and Places2 datasets. Our results show V-LinkNet performed better on CelebA-HQ and Paris Street View using this standard protocol. We will share the standard protocol and our codes with the research community upon acceptance of this paper.

cs.CV↗
arXiv2021

Foreground-guided Facial Inpainting with Fidelity Preservation

Facial image inpainting, with high-fidelity preservation for image realism, is a very challenging task. This is due to the subtle texture in key facial features (component) that are not easily transferable. Many image inpainting techniques have been proposed with outstanding capabilities and high quantitative performances recorded. However, with facial inpainting, the features are more conspicuous and the visual quality of the blended inpainted regions are more important qualitatively. Based on these facts, we design a foreground-guided facial inpainting framework that can extract and generate facial features using convolutional neural network layers. It introduces the use of foreground segmentation masks to preserve the fidelity. Specifically, we propose a new loss function with semantic capability reasoning of facial expressions, natural and unnatural features (make-up). We conduct our experiments using the CelebA-HQ dataset, segmentation masks from CelebAMask-HQ (for foreground guidance) and Quick Draw Mask (for missing regions). Our proposed method achieved comparable quantitative results when compare to the state of the art but qualitatively, it demonstrated high-fidelity preservation of facial components.

cs.CV↗
arXiv2021

A universal state sum

We define a universal state sum construction which specializes to most previously known state sums (Turaev-Viro, Dijkgraaf-Witten, Crane-Yetter, Douglas-Reutter, Witten-Reshetikhin-Turaev surgery formula, Brown-Arf). The input data for the state sum is an n-category satisfying various conditions, including finiteness, semisimplicity and n-pivotality. From this n-category one constructs an n+1-dimensional TQFT, and applying the TQFT gluing rules to a handle decomposition of an n+1-manifold produces the state sum.

math.QA↗
arXiv2020

R-MNet: A Perceptual Adversarial Network for Image Inpainting

Facial image inpainting is a problem that is widely studied, and in recent years the introduction of Generative Adversarial Networks, has led to improvements in the field. Unfortunately some issues persists, in particular when blending the missing pixels with the visible ones. We address the problem by proposing a Wasserstein GAN combined with a new reverse mask operator, namely Reverse Masking Network (R-MNet), a perceptual adversarial network for image inpainting. The reverse mask operator transfers the reverse masked image to the end of the encoder-decoder network leaving only valid pixels to be inpainted. Additionally, we propose a new loss function computed in feature space to target only valid pixels combined with adversarial training. These then capture data distributions and generate images similar to those in the training data with achieved realism (realistic and coherent) on the output images. We evaluate our method on publicly available dataset, and compare with state-of-the-art methods. We show that our method is able to generalize to high-resolution inpainting task, and further show more realistic outputs that are plausible to the human visual system when compared with the state-of-the-art methods.

cs.CV↗
arXiv2020

Symmetric Skip Connection Wasserstein GAN for High-Resolution Facial Image Inpainting

The state-of-the-art facial image inpainting methods achieved promising results but face realism preservation remains a challenge. This is due to limitations such as; failures in preserving edges and blurry artefacts. To overcome these limitations, we propose a Symmetric Skip Connection Wasserstein Generative Adversarial Network (S-WGAN) for high-resolution facial image inpainting. The architecture is an encoder-decoder with convolutional blocks, linked by skip connections. The encoder is a feature extractor that captures data abstractions of an input image to learn an end-to-end mapping from an input (binary masked image) to the ground-truth. The decoder uses learned abstractions to reconstruct the image. With skip connections, S-WGAN transfers image details to the decoder. Additionally, we propose a Wasserstein-Perceptual loss function to preserve colour and maintain realism on a reconstructed image. We evaluate our method and the state-of-the-art methods on CelebA-HQ dataset. Our results show S-WGAN produces sharper and more realistic images when visually compared with other methods. The quantitative measures show our proposed S-WGAN achieves the best Structure Similarity Index Measure (SSIM) of 0.94.

cs.CV↗
arXiv2019

Invariants of 4-manifolds from Khovanov-Rozansky link homology

We use Khovanov-Rozansky gl(N) link homology to define invariants of oriented smooth 4-manifolds, as skein modules constructed from certain 4-categories with well-behaved duals. The technical heart of this construction is a proof of the sweep-around property, which makes these link homologies well defined in the 3-sphere.

math.QA↗
arXiv2017

Fermion condensation and super pivotal categories

We study fermionic topological phases using the technique of fermion condensation. We give a prescription for performing fermion condensation in bosonic topological phases which contain a fermion. Our approach to fermion condensation can roughly be understood as coupling the parent bosonic topological phase to a phase of physical fermions, and condensing pairs of physical and emergent fermions. There are two distinct types of objects in fermionic theories, which we call "m-type" and "q-type" particles. The endomorphism algebras of q-type particles are complex Clifford algebras, and they have no analogues in bosonic theories. We construct a fermionic generalization of the tube category, which allows us to compute the quasiparticle excitations in fermionic topological phases. We then prove a series of results relating data in condensed theories to data in their parent theories; for example, if $\mathcal{C}$ is a modular tensor category containing a fermion, then the tube category of the condensed theory satisfies $\textbf{Tube}(\mathcal{C}/\psi) \cong \mathcal{C} \times (\mathcal{C}/\psi)$. We also study how modular transformations, fusion rules, and coherence relations are modified in the fermionic setting, prove a fermionic version of the Verlinde dimension formula, construct a commuting projector lattice Hamiltonian for fermionic theories, and write down a fermionic version of the Turaev-Viro-Barrett-Westbury state sum. A large portion of this work is devoted to three detailed examples of performing fermion condensation to produce fermionic topological phases: we condense fermions in the Ising theory, the $SO(3)_6$ theory, and the $\frac{1}{2}\text{E}_6$ theory, and compute the quasiparticle excitation spectrum in each of these examples.

cond-mat.str-el↗
arXiv2016

Reflection and time reversal symmetry enriched topological phases of matter: path integrals, non-orientable manifolds, and anomalies

We study symmetry-enriched topological (SET) phases in 2+1 space-time dimensions with spatial reflection and/or time-reversal symmetries. We provide a systematic construction of a wide class of reflection and time-reversal SET phases in terms of a topological path integral defined on general space-time manifolds. An important distinguishing feature of different topological phases with reflection and/or time-reversal symmetry is the value of the path integral on non-orientable space-time manifolds. We derive a simple general formula for the path integral on the manifold $\Sigma^2 \times S^1$, where $\Sigma^2$ is a two-dimensional non-orientable surface and $S^1$ is a circle. This also gives an expression for the ground state degeneracy of the SET on the surface $\Sigma^2$ that depends on the reflection symmetry fractionalization class, generalizing the Verlinde formula for ground state degeneracy on orientable surfaces. Consistency of the action of the mapping class group on non-orientable manifolds leads us to a constraint that can detect when a time-reversal or reflection SET phase is anomalous in (2+1)D and, thus, can only exist at the surface of a (3+1)D symmetry protected topological (SPT) state. Given a (2+1)D reflection and/or time-reversal SET phase, we further derive a general formula that determines which (3+1)D reflection and/or time-reversal SPT phase hosts the (2+1)D SET phase as its surface termination. A number of explicit examples are studied in detail.

cond-mat.str-el↗
arXiv2016

Twisted Interferometry: the topological perspective

Three manifold topology is used to analyze the effect of anyonic interferometers in which the probe anyons' path along an arm crosses itself, leading to a "twisted" or braided space-time trajectory for the probe anyons. In the case of Ising non-Abelian anyons, twisted interferometry is shown to be able to generate a topologically protected $\pi/8$-phase gate, which cannot be generated from quasiparticle braiding.

quant-ph↗
arXiv2014

The centre of the extended Haagerup subfactor has 22 simple objects

We explain a technique for discovering the number of simple objects in $Z(C)$, the center of a fusion category $C$, as well as the combinatorial data of the induction and restriction functors at the level of Grothendieck rings. The only input is the fusion ring $K(C)$ and the dimension function $K(C) \to \mathbb{C}$. The method is not guaranteed to succeed (it may give spurious answers besides the correct one, or it may simply take too much computer time), but it seems it often does. We illustrate by showing that there are 22 simple objects in the center of the extended Haagerup subfactor [arXiv:0909.4099].

math.CT↗
arXiv2013

Twisted Interferometry

We propose and analyze the effect of anyonic interferometers that are designed such that the probe anyons traveling in a given path through the interferometer twist or braid around each other. These "twisted" interferometers are found to provide operational utility that may not be available from anyon braiding operations and standard (untwisted) anyonic interferometry measurements. In particular, it enables Ising anyons to generate "magic states," which can be used to implement pi/8-phase gates. We consider the possible implementations of such twisted interferometers in quantum Hall systems, 2D p_x + i p_y superconductors, and 2D Majorana heterostructures, and discuss obstacles and challenges associated with implementation.

quant-ph↗
arXiv2011

Higher categories, colimits, and the blob complex

We summarize our axioms for higher categories, and describe the blob complex. Fixing an n-category C, the blob complex associates a chain complex B_*(W;C)$ to any n-manifold W. The 0-th homology of this chain complex recovers the usual topological quantum field theory invariants of W. The higher homology groups should be viewed as generalizations of Hochschild homology (indeed, when W=S^1 they coincide). The blob complex has a very natural definition in terms of homotopy colimits along decompositions of the manifold W. We outline the important properties of the blob complex, and sketch the proof of a generalization of Deligne's conjecture on Hochschild cohomology and the little discs operad to higher dimensions.

math.CT↗
arXiv2011

(3+1)-TQFTs and Topological Insulators

Levin-Wen models are microscopic spin models for topological phases of matter in (2+1)-dimension. We introduce a generalization of such models to (3+1)-dimension based on unitary braided fusion categories, also known as unitary premodular categories. We discuss the ground state degeneracy on 3-manifolds and statistics of excitations which include both points and defect loops. Potential connections with recently proposed fractional topological insulators and projective ribbon permutation statistics are described.

cond-mat.str-el↗
arXiv2010

The blob complex

Given an n-manifold M and an n-category C, we define a chain complex (the "blob complex") B_*(M;C). The blob complex can be thought of as a derived category analogue of the Hilbert space of a TQFT, and as a generalization of Hochschild homology to n-categories and n-manifolds. It enjoys a number of nice formal properties, including a higher dimensional generalization of Deligne's conjecture about the action of the little disks operad on Hochschild cochains. Along the way, we give a definition of a weak n-category with strong duality which is particularly well suited for work with TQFTs.

math.AT↗