Showing 1–50 of 325 results for author: Wood, D

Planar graphs in blowups of fans

Authors: Vida Dujmović, Gwenaël Joret, Piotr Micek, Pat Morin, David R. Wood

Abstract: We show that every $n$-vertex planar graph is contained in the graph obtained from a fan by blowing up each vertex by a complete graph of order $O(\sqrt{n}\log^2 n)$. Equivalently, every $n$-vertex planar graph $G$ has a set $X$ of $O(\sqrt{n}\log^2 n)$ vertices such that $G-X$ has bandwidth $O(\sqrt{n}\log^2 n)$. This result holds in the more general setting of graphs contained in the strong prod… ▽ More We show that every $n$-vertex planar graph is contained in the graph obtained from a fan by blowing up each vertex by a complete graph of order $O(\sqrt{n}\log^2 n)$. Equivalently, every $n$-vertex planar graph $G$ has a set $X$ of $O(\sqrt{n}\log^2 n)$ vertices such that $G-X$ has bandwidth $O(\sqrt{n}\log^2 n)$. This result holds in the more general setting of graphs contained in the strong product of a bounded treewidth graph and a path, which includes bounded genus graphs, graphs excluding a fixed apex graph as a minor, and $k$-planar graphs for fixed $k$. These results are obtained using two ingredients. The first is a new local sparsification lemma, which shows that every $n$-vertex planar graph $G$ has a set of $O((n\log n)/D)$ vertices whose removal results in a graph with local density at most $D$. The second is a generalization of a method of Feige and Rao, that relates bandwidth and local density using volume-preserving Euclidean embeddings. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: 34 pages including 4 figures, many formulas, and two appendices

Muon spectroscopy investigation of anomalous dynamic magnetism in NiI$_2$

Authors: T. L. Breeze, B. M. Huddart, A. Hernández-Melían, N. P. Bentley, D. A. Mayoh, G. D. A. Wood, G. Balakrishnan, J. Wilkinson, F. L. Pratt, S. J. Clark, T. Lancaster

Abstract: We present the results of muon-spin relaxation ($μ^{+}$SR) measurements of the van der Waals magnet NiI$_2$, which probe magnetic phase transitions at $T_{\mathrm{N1}}=73$K and $T_{\mathrm{N2}}=60$K. Supporting density functional theory (DFT) calculations allow the determination of a single muon stop** site whose magnetic environment is consistent with the proposed ground-state magnetic structur… ▽ More We present the results of muon-spin relaxation ($μ^{+}$SR) measurements of the van der Waals magnet NiI$_2$, which probe magnetic phase transitions at $T_{\mathrm{N1}}=73$K and $T_{\mathrm{N2}}=60$K. Supporting density functional theory (DFT) calculations allow the determination of a single muon stop** site whose magnetic environment is consistent with the proposed ground-state magnetic structure. $μ^{+}$SR measurements of the dynamics reveal behavior consistent with spin-wave excitations below $T_{\mathrm{N2}}$, with an additional contribution from a nonmagnetic component of the material. In the region $T_{\mathrm{N1}}<T<T_{\mathrm{N2}}$ the system is magnetically ordered throughout the bulk, but the character of the dynamics changes qualitatively, resulting in an unusual region of temperature-independent fluctuations. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Comments: 5 pages, 3 figures, submitted to PRB letters

Triangle-free graphs with diameter 2

Authors: Alice Devillers, Nina Kamčev, Brendan McKay, Padraig Ó Catháin, Gordon Royle, Geertrui Van de Voorde, Ian Wanless, David R. Wood

Abstract: There are finitely many graphs with diameter $2$ and girth 5. What if the girth 5 assumption is relaxed? Apart from stars, are there finitely many triangle-free graphs with diameter $2$ and no $K_{2,3}$ subgraph? This question is related to the existence of triangle-free strongly regular graphs, but allowing for a range of co-degrees gives the question a more extremal flavour. More generally, for… ▽ More There are finitely many graphs with diameter $2$ and girth 5. What if the girth 5 assumption is relaxed? Apart from stars, are there finitely many triangle-free graphs with diameter $2$ and no $K_{2,3}$ subgraph? This question is related to the existence of triangle-free strongly regular graphs, but allowing for a range of co-degrees gives the question a more extremal flavour. More generally, for fixed $s$ and $t$, are there infinitely many twin-free triangle-free $K_{s,t}$-free graphs with diameter 2? This paper presents partial results regarding these questions, including computational results, potential Cayley-graph and probabilistic constructions. △ Less

Submitted 31 May, 2024; originally announced June 2024.

EdgeSphere: A Three-Tier Architecture for Cognitive Edge Computing

Authors: Christian Makaya, Keith Grueneberg, Bongjun Ko, David Wood, Nirmit Desai, Xi** Wang

Abstract: Computing at the edge is increasingly important as Internet of Things (IoT) devices at the edge generate massive amounts of data and pose challenges in transporting all that data to the Cloud where they can be analyzed. On the other hand, harnessing the edge data is essential for offering cognitive applications, if the challenges, such as device capabilities, connectivity, and heterogeneity can be… ▽ More Computing at the edge is increasingly important as Internet of Things (IoT) devices at the edge generate massive amounts of data and pose challenges in transporting all that data to the Cloud where they can be analyzed. On the other hand, harnessing the edge data is essential for offering cognitive applications, if the challenges, such as device capabilities, connectivity, and heterogeneity can be overcome. This paper proposes a novel three-tier architecture, called EdgeSphere, which harnesses resources of the edge devices, to analyze the data in situ at the edge. In contrast to the state-of-the-art cloud and mobile applications, EdgeSphere applications span across cloud, edge gateways, and edge devices. At its core, EdgeSphere builds on Apache Mesos to optimize resources usage and scheduling. EdgeSphere has been applied to practical scenarios and this paper describes the engineering challenges faced as well as innovative solutions. △ Less

Submitted 26 May, 2024; originally announced May 2024.

Dominating $K_t$-Models

Authors: Freddie Illingworth, David R. Wood

Abstract: A $\textit{dominating $K_t$-model}$ in a graph $G$ is a sequence $(T_1,\dots,T_t)$ of pairwise disjoint non-empty connected subgraphs of $G$, such that for $1 \leqslant i<j \leqslant t$ every vertex in $T_j$ has a neighbour in $T_i$. Replacing "every vertex in $T_j$" by "some vertex in $T_j$" retrieves the standard definition of $K_t$-model, which is equivalent to $K_t$ being a minor of $G$. We ex… ▽ More A $\textit{dominating $K_t$-model}$ in a graph $G$ is a sequence $(T_1,\dots,T_t)$ of pairwise disjoint non-empty connected subgraphs of $G$, such that for $1 \leqslant i<j \leqslant t$ every vertex in $T_j$ has a neighbour in $T_i$. Replacing "every vertex in $T_j$" by "some vertex in $T_j$" retrieves the standard definition of $K_t$-model, which is equivalent to $K_t$ being a minor of $G$. We explore in what sense dominating $K_t$-models behave like (non-dominating) $K_t$-models. The two notions are equivalent for $t \leqslant 3$, but are already very different for $t = 4$, since the 1-subdivision of any graph has no dominating $K_4$-model. Nevertheless, we show that every graph with no dominating $K_4$-model is 2-degenerate and 3-colourable. More generally, we prove that every graph with no dominating $K_t$-model is $2^{t-2}$-colourable. Motivated by the connection to chromatic number, we study the maximum average degree of graphs with no dominating $K_t$-model. We give an upper bound of $2^{t-2}$, and show that random graphs provide a lower bound of $(1-o(1))t\log t$, which we conjecture is asymptotically tight. This result is in contrast to the $K_t$-minor-free setting, where the maximum average degree is $Θ(t\sqrt{\log t})$. The natural strengthening of Hadwiger's Conjecture arises: is every graph with no dominating $K_t$-model $(t-1)$-colourable? We provide two pieces of evidence for this: (1) It is true for almost every graph, (2) Every graph $G$ with no dominating $K_t$-model has a $(t-1)$-colourable induced subgraph on at least half the vertices, which implies there is an independent set of size at least $\frac{\lvert V(G) \rvert}{2t-2}$. △ Less

Submitted 23 May, 2024; originally announced May 2024.

MSC Class: 05C83

Artificial intelligence for abnormality detection in high volume neuroimaging: a systematic review and meta-analysis

Authors: Siddharth Agarwal, David A. Wood, Mariusz Grzeda, Chandhini Suresh, Munaib Din, James Cole, Marc Modat, Thomas C Booth

Abstract: Purpose: Most studies evaluating artificial intelligence (AI) models that detect abnormalities in neuroimaging are either tested on unrepresentative patient cohorts or are insufficiently well-validated, leading to poor generalisability to real-world tasks. The aim was to determine the diagnostic test accuracy and summarise the evidence supporting the use of AI models performing first-line, high-vo… ▽ More Purpose: Most studies evaluating artificial intelligence (AI) models that detect abnormalities in neuroimaging are either tested on unrepresentative patient cohorts or are insufficiently well-validated, leading to poor generalisability to real-world tasks. The aim was to determine the diagnostic test accuracy and summarise the evidence supporting the use of AI models performing first-line, high-volume neuroimaging tasks. Methods: Medline, Embase, Cochrane library and Web of Science were searched until September 2021 for studies that temporally or externally validated AI capable of detecting abnormalities in first-line CT or MR neuroimaging. A bivariate random-effects model was used for meta-analysis where appropriate. PROSPERO: CRD42021269563. Results: Only 16 studies were eligible for inclusion. Included studies were not compromised by unrepresentative datasets or inadequate validation methodology. Direct comparison with radiologists was available in 4/16 studies. 15/16 had a high risk of bias. Meta-analysis was only suitable for intracranial haemorrhage detection in CT imaging (10/16 studies), where AI systems had a pooled sensitivity and specificity 0.90 (95% CI 0.85 - 0.94) and 0.90 (95% CI 0.83 - 0.95) respectively. Other AI studies using CT and MRI detected target conditions other than haemorrhage (2/16), or multiple target conditions (4/16). Only 3/16 studies implemented AI in clinical pathways, either for pre-read triage or as post-read discrepancy identifiers. Conclusion: The paucity of eligible studies reflects that most abnormality detection AI studies were not adequately validated in representative clinical cohorts. The few studies describing how abnormality detection AI could impact patients and clinicians did not explore the full ramifications of clinical implementation. △ Less

Submitted 9 May, 2024; originally announced May 2024.

Letter to the Editor: What are the legal and ethical considerations of submitting radiology reports to ChatGPT?

Authors: Siddharth Agarwal, David Wood, Robin Carpenter, Yiran Wei, Marc Modat, Thomas C Booth

Abstract: This letter critically examines the recent article by Infante et al. assessing the utility of large language models (LLMs) like GPT-4, Perplexity, and Bard in identifying urgent findings in emergency radiology reports. While acknowledging the potential of LLMs in generating labels for computer vision, concerns are raised about the ethical implications of using patient data without explicit approva… ▽ More This letter critically examines the recent article by Infante et al. assessing the utility of large language models (LLMs) like GPT-4, Perplexity, and Bard in identifying urgent findings in emergency radiology reports. While acknowledging the potential of LLMs in generating labels for computer vision, concerns are raised about the ethical implications of using patient data without explicit approval, highlighting the necessity of stringent data protection measures under GDPR. △ Less

Submitted 9 May, 2024; originally announced May 2024.

A self-supervised text-vision framework for automated brain abnormality detection

Authors: David A. Wood, Emily Guilhem, Sina Kafiabadi, Ayisha Al Busaidi, Kishan Dissanayake, Ahmed Hammam, Nina Mansoor, Matthew Townend, Siddharth Agarwal, Yiran Wei, Asif Mazumder, Gareth J. Barker, Peter Sasieni, Sebastien Ourselin, James H. Cole, Thomas C. Booth

Abstract: Artificial neural networks trained on large, expert-labelled datasets are considered state-of-the-art for a range of medical image recognition tasks. However, categorically labelled datasets are time-consuming to generate and constrain classification to a pre-defined, fixed set of classes. For neuroradiological applications in particular, this represents a barrier to clinical adoption. To address… ▽ More Artificial neural networks trained on large, expert-labelled datasets are considered state-of-the-art for a range of medical image recognition tasks. However, categorically labelled datasets are time-consuming to generate and constrain classification to a pre-defined, fixed set of classes. For neuroradiological applications in particular, this represents a barrier to clinical adoption. To address these challenges, we present a self-supervised text-vision framework that learns to detect clinically relevant abnormalities in brain MRI scans by directly leveraging the rich information contained in accompanying free-text neuroradiology reports. Our training approach consisted of two-steps. First, a dedicated neuroradiological language model - NeuroBERT - was trained to generate fixed-dimensional vector representations of neuroradiology reports (N = 50,523) via domain-specific self-supervised learning tasks. Next, convolutional neural networks (one per MRI sequence) learnt to map individual brain scans to their corresponding text vector representations by optimising a mean square error loss. Once trained, our text-vision framework can be used to detect abnormalities in unreported brain MRI examinations by scoring scans against suitable query sentences (e.g., 'there is an acute stroke', 'there is hydrocephalus' etc.), enabling a range of classification-based applications including automated triage. Potentially, our framework could also serve as a clinical decision support tool, not only by suggesting findings to radiologists and detecting errors in provisional reports, but also by retrieving and displaying examples of pathologies from historical examinations that could be relevant to the current case based on textual descriptors. △ Less

Submitted 11 June, 2024; v1 submitted 4 May, 2024; originally announced May 2024.

Comments: Under Review

New bounds on heavy axions with an X-ray free electron laser

Authors: Jack W. D. Halliday, Giacomo Marocco, Konstantin A. Beyer, Charles Heaton, Motoaki Nakatsutsumi, Thomas R. Preston, Charles D. Arrowsmith, Carsten Baehtz, Sebastian Goede, Oliver Humphries, Alejandro Laso Garcia, Richard Plackett, Pontus Svensson, Georgios Vacalis, Justin Wark, Daniel Wood, Ulf Zastrau, Robert Bingham, Ian Shipsey, Subir Sarkar, Gianluca Gregori

Abstract: We present new exclusion bounds obtained at the European X-ray Free Electron Laser facility (EuXFEL) on axion-like particles (ALPs) in the mass range 10^{-3} eV < m_a < 10^{4} eV. Our experiment exploits the Primakoff effect via which photons can, in the presence of a strong external electric field, decay into axions, which then convert back into photons after passing through an opaque wall. While… ▽ More We present new exclusion bounds obtained at the European X-ray Free Electron Laser facility (EuXFEL) on axion-like particles (ALPs) in the mass range 10^{-3} eV < m_a < 10^{4} eV. Our experiment exploits the Primakoff effect via which photons can, in the presence of a strong external electric field, decay into axions, which then convert back into photons after passing through an opaque wall. While similar searches have been performed previously at a 3^rd generation synchrotron [1], our work demonstrates improved sensitivity, exploiting the higher brightness of X-rays at EuXFEL. △ Less

Submitted 6 July, 2024; v1 submitted 26 April, 2024; originally announced April 2024.

Comments: 7 pages, 6 figures

Defective and Clustered Colouring of Graphs with Given Girth

Authors: Marcin Briański, Robert Hickingbotham, David R. Wood

Abstract: The defective chromatic number of a graph class $\mathcal{G}$ is the minimum integer $k$ such that for some integer $d$, every graph in $\mathcal{G}$ is $k$-colourable such that each monochromatic component has maximum degree at most $d$. Similarly, the clustered chromatic number of a graph class $\mathcal{G}$ is the minimum integer $k$ such that for some integer $c$, every graph in $\mathcal{G}$… ▽ More The defective chromatic number of a graph class $\mathcal{G}$ is the minimum integer $k$ such that for some integer $d$, every graph in $\mathcal{G}$ is $k$-colourable such that each monochromatic component has maximum degree at most $d$. Similarly, the clustered chromatic number of a graph class $\mathcal{G}$ is the minimum integer $k$ such that for some integer $c$, every graph in $\mathcal{G}$ is $k$-colourable such that each monochromatic component has at most $c$ vertices. This paper determines or establishes bounds on the defective and clustered chromatic numbers of graphs with given girth in minor-closed classes defined by the following parameters: Hadwiger number, treewidth, pathwidth, treedepth, circumference, and feedback vertex number. One striking result is that for any integer $k$, for the class of triangle-free graphs with treewidth $k$, the defective chromatic number, clustered chromatic number and chromatic number are all equal. The same result holds for graphs with treedepth $k$, and generalises for graphs with no $K_p$ subgraph. We also show, via a result of Kühn and Osthus~[2003], that $K_t$-minor-free graphs with girth $g\geq 5$ are properly $O(t^{c_g})$ colourable, where $c_g\in(0,1)$ with $c_g\to 0$, thus asymptotically improving on Hadwiger's Conjecture. △ Less

Submitted 23 April, 2024; originally announced April 2024.

International environmental treaties: An honest or a misguided effort

Authors: Reza Hafezi, David A. Wood, Firouzeh Rosa Taghikhah

Abstract: Climate change and environmental concerns represent a global crisis accompanied by significant economic challenges. Regular international conferences held to address these issues, such as in the UK (2021) and Egypt (2022), spark debate about the effectiveness and practicality of international commitments. This study examines international treaties from a different perspective, emphasizing the need… ▽ More Climate change and environmental concerns represent a global crisis accompanied by significant economic challenges. Regular international conferences held to address these issues, such as in the UK (2021) and Egypt (2022), spark debate about the effectiveness and practicality of international commitments. This study examines international treaties from a different perspective, emphasizing the need to understand the power dynamics and stakeholder interests that delay logical actions to mitigate anthropogenic contributions to climate change and their impacts. Environmental and social concerns tend to increase within nations as their economies develop, where they fight to keep acceptable standards of living while reducing emissions volume. So, nations play disproportionate roles in global decision-making based on the size of their economies. Addressing climate change requires a paradigm shift to emphasize acknowledging and adhering to global commitments through civil pressure, rather than relying on traditional yet biased systems of international political diplomacy. Here, climate-friendly actions are evaluated and ideas to promote such activities are proposed. We introduce a "transition regime" as a solution to this metastasis challenge which gradually infects all nations. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Field-orientation-dependent magnetic phases in GdRu$_2$Si$_2$ probed with muon-spin spectroscopy

Authors: B. M. Huddart, A. Hernández-Melián, G. D. A. Wood, D. A. Mayoh, M. Gomilšek, Z. Guguchia, C. Wang, S. J. Blundell, G. Balakrishnan, T. Lancaster

Abstract: Centrosymmetric GdRu$_2$Si$_2$ exhibits a variety of multi-Q magnetic states as a function of temperature and applied magnetic field, including a square skyrmion-lattice phase. The material's behavior is strongly dependent on the direction of the applied field, with different phase diagrams resulting for fields applied parallel or perpendicular to the crystallographic $c$ axis. Here, we present th… ▽ More Centrosymmetric GdRu$_2$Si$_2$ exhibits a variety of multi-Q magnetic states as a function of temperature and applied magnetic field, including a square skyrmion-lattice phase. The material's behavior is strongly dependent on the direction of the applied field, with different phase diagrams resulting for fields applied parallel or perpendicular to the crystallographic $c$ axis. Here, we present the results of muon-spin relaxation ($μ^+$SR) measurements on single crystals of GdRu$_2$Si$_2$. Our analysis is based on the computation of muon stop** sites and consideration of zero-point motion effects, allowing direct comparison with the underlying spin textures in the material. Using transverse-field $μ^+$SR with fields applied along either the [001] or [100] crystallographic directions, we distinguish between the magnetic phases in this system via their distinct muon response, providing additional evidence for the skyrmion and meron-lattice phases, while also suggesting the existence of RKKY-driven muon hyperfine coupling. Zero-field $μ^+$SR provides clear evidence for a transition between two distinct magnetically-ordered phases at 39 K. △ Less

Submitted 14 March, 2024; originally announced March 2024.

Comments: 15 pages, 8 figures

Grid Minors and Products

Authors: Vida Dujmović, Pat Morin, David R. Wood, David Worley

Abstract: Motivated by recent developments regarding the product structure of planar graphs, we study relationships between treewidth, grid minors, and graph products. We show that the Cartesian product of any two connected $n$-vertex graphs contains an $Ω(\sqrt{n})\timesΩ(\sqrt{n})$ grid minor. This result is tight: The lexicographic product (which includes the Cartesian product as a subgraph) of a star an… ▽ More Motivated by recent developments regarding the product structure of planar graphs, we study relationships between treewidth, grid minors, and graph products. We show that the Cartesian product of any two connected $n$-vertex graphs contains an $Ω(\sqrt{n})\timesΩ(\sqrt{n})$ grid minor. This result is tight: The lexicographic product (which includes the Cartesian product as a subgraph) of a star and any $n$-vertex tree has no $ω(\sqrt{n})\timesω(\sqrt{n})$ grid minor. △ Less

Submitted 27 February, 2024; v1 submitted 21 February, 2024; originally announced February 2024.

Longevity Studies of CSC Prototypes Operating with Ar+CO$_{2}$ Gas Mixture and Different Fractions of CF$_{4}$

Authors: Emanuela Barberis, Nebojsa Begovic, Nicholas Haubrich, Mikhail Ignatenko, Andrey Korytov, Ota Kukral, Ekaterina Kuznetsova, Armando Lanaro, Andrew MacCabe, Predrag Milenovic, Dubravka Milovanovic, Guenakh Mitselmakher, Aleksandra Radulovic, Boris Rajcic, Jake Rosenzweig, Bingran Wang, Jian Wang, Andrew Wisecarver, Darien Wood, Emma Yeager

Abstract: Studies of Cathode Strip Chamber longevity, comparing Ar+CO2 gas mixtures with fractions of 5%, 2%, and 0% CF4, were performed using several small cathode strip prototype chambers. In each trial, a localized source of radiation was used to irradiate up to an accumulated charge of about 300 mC/cm. Additionally, longevity of a uniformly irradiated prototype operating with 2% CF4 was studied at the C… ▽ More Studies of Cathode Strip Chamber longevity, comparing Ar+CO2 gas mixtures with fractions of 5%, 2%, and 0% CF4, were performed using several small cathode strip prototype chambers. In each trial, a localized source of radiation was used to irradiate up to an accumulated charge of about 300 mC/cm. Additionally, longevity of a uniformly irradiated prototype operating with 2% CF4 was studied at the CERN Gamma Irradiation Facility GIF++. Post-hoc analysis of the chamber electrodes using spectroscopy techniques was also done. △ Less

Submitted 6 February, 2024; originally announced February 2024.

On mission Twitter Profiles: A Study of Selective Toxic Behavior

Authors: Hina Qayyum, Muhammad Ikram, Benjamin Zi Hao Zhao, an D. Wood, Nicolas Kourtellis, Mohamed Ali Kaafar

Abstract: The argument for persistent social media influence campaigns, often funded by malicious entities, is gaining traction. These entities utilize instrumented profiles to disseminate divisive content and disinformation, sha** public perception. Despite ample evidence of these instrumented profiles, few identification methods exist to locate them in the wild. To evade detection and appear genuine, sm… ▽ More The argument for persistent social media influence campaigns, often funded by malicious entities, is gaining traction. These entities utilize instrumented profiles to disseminate divisive content and disinformation, sha** public perception. Despite ample evidence of these instrumented profiles, few identification methods exist to locate them in the wild. To evade detection and appear genuine, small clusters of instrumented profiles engage in unrelated discussions, diverting attention from their true goals. This strategic thematic diversity conceals their selective polarity towards certain topics and fosters public trust. This study aims to characterize profiles potentially used for influence operations, termed 'on-mission profiles,' relying solely on thematic content diversity within unlabeled data. Distinguishing this work is its focus on content volume and toxicity towards specific themes. Longitudinal data from 138K Twitter or X, profiles and 293M tweets enables profiling based on theme diversity. High thematic diversity groups predominantly produce toxic content concerning specific themes, like politics, health, and news classifying them as 'on-mission' profiles. Using the identified ``on-mission" profiles, we design a classifier for unseen, unlabeled data. Employing a linear SVM model, we train and test it on an 80/20% split of the most diverse profiles. The classifier achieves a flawless 100% accuracy, facilitating the discovery of previously unknown ``on-mission" profiles in the wild. △ Less

Submitted 25 January, 2024; originally announced January 2024.

Journal ref: 2023 IEEE International Conference on Big Data (BigData)

Exploring the Distinctive Tweeting Patterns of Toxic Twitter Users

Authors: Hina Qayyum, Muhammad Ikram, Benjamin Zi Hao Zhao, Ian D. Wood, Nicolas Kourtellis, Mohamed Ali Kaafar

Abstract: In the pursuit of bolstering user safety, social media platforms deploy active moderation strategies, including content removal and user suspension. These measures target users engaged in discussions marked by hate speech or toxicity, often linked to specific keywords or hashtags. Nonetheless, the increasing prevalence of toxicity indicates that certain users adeptly circumvent these measures. Thi… ▽ More In the pursuit of bolstering user safety, social media platforms deploy active moderation strategies, including content removal and user suspension. These measures target users engaged in discussions marked by hate speech or toxicity, often linked to specific keywords or hashtags. Nonetheless, the increasing prevalence of toxicity indicates that certain users adeptly circumvent these measures. This study examines consistently toxic users on Twitter (rebranded as X) Rather than relying on traditional methods based on specific topics or hashtags, we employ a novel approach based on patterns of toxic tweets, yielding deeper insights into their behavior. We analyzed 38 million tweets from the timelines of 12,148 Twitter users and identified the top 1,457 users who consistently exhibit toxic behavior, relying on metrics like the Gini index and Toxicity score. By comparing their posting patterns to those of non-consistently toxic users, we have uncovered distinctive temporal patterns, including contiguous activity spans, inter-tweet intervals (referred to as 'Burstiness'), and churn analysis. These findings provide strong evidence for the existence of a unique tweeting pattern associated with toxic behavior on Twitter. Crucially, our methodology transcends Twitter and can be adapted to various social media platforms, facilitating the identification of consistently toxic users based on their posting behavior. This research contributes to ongoing efforts to combat online toxicity and offers insights for refining moderation strategies in the digital realm. We are committed to open research and will provide our code and data to the research community. △ Less

Submitted 25 January, 2024; originally announced January 2024.

Comments: 2023 IEEE International Conference on Big Data (BigData)

Homogenisation of nonlinear blood flow in periodic networks: the limit of small haematocrit heterogeneity

Authors: Y. Ben-Ami, B. D. Wood, J. M. Pitt-Francis, P. K. Maini, H. M. Byrne

Abstract: In this work we develop a homogenisation methodology to upscale mathematical descriptions of microcirculatory blood flow from the microscale (where individual vessels are resolved) to the macroscopic (or tissue) scale. Due to the assumed two-phase nature of blood and specific features of red blood cells (RBCs), mathematical models for blood flow in the microcirculation are highly nonlinear, coupli… ▽ More In this work we develop a homogenisation methodology to upscale mathematical descriptions of microcirculatory blood flow from the microscale (where individual vessels are resolved) to the macroscopic (or tissue) scale. Due to the assumed two-phase nature of blood and specific features of red blood cells (RBCs), mathematical models for blood flow in the microcirculation are highly nonlinear, coupling the flow and RBC concentrations (haematocrit). In contrast to previous works which accomplished blood-flow homogenisation by assuming that the haematocrit level remains constant, here we allow for spatial heterogeneity in the haematocrit concentration and thus begin with a nonlinear microscale model. We simplify the analysis by considering the limit of small haematocrit heterogeneity which prevails when variations in haematocrit concentration between neighbouring vessels are small. Homogenisation results in a system of coupled, nonlinear partial differential equations describing the flow and haematocrit transport at the macroscale, in which a nonlinear Darcy-type model relates the flow and pressure gradient via a haematocrit-dependent permeability tensor. During the analysis we obtain further that haematocrit transport at the macroscale is governed by a purely advective equation. Applying the theory to particular examples of two- and three-dimensional geometries of periodic networks, we calculate the effective permeability tensor associated with blood flow in these vascular networks. We demonstrate how the statistical distribution of vessel lengths and diameters, together with the average haematocrit level, affect the statistical properties of the macroscopic permeability tensor. These data can be used to simulate blood flow and haematocrit transport at the macroscale. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: 34 pages, 8 figures

MSC Class: 76Z05; 35B27; 76M50; 34B45; 92-08

Non-Homotopic Drawings of Multigraphs

Authors: António Girão, Freddie Illingworth, Alex Scott, David R. Wood

Abstract: A multigraph drawn in the plane is non-homotopic if no two edges connecting the same pair of vertices can be continuously deformed into each other without passing through a vertex, and is $k$-crossing if every pair of edges (self-)intersects at most $k$ times. We prove that the number of edges in an $n$-vertex non-homotopic $k$-crossing multigraph is at most $6^{13 n (k + 1)}$, which is a big impr… ▽ More A multigraph drawn in the plane is non-homotopic if no two edges connecting the same pair of vertices can be continuously deformed into each other without passing through a vertex, and is $k$-crossing if every pair of edges (self-)intersects at most $k$ times. We prove that the number of edges in an $n$-vertex non-homotopic $k$-crossing multigraph is at most $6^{13 n (k + 1)}$, which is a big improvement over previous upper bounds. We also study this problem in the setting of monotone drawings where every edge is an x-monotone curve. We show that the number of edges, $m$, in such a drawing is at most $2 \binom{2n}{k + 1}$ and the number of crossings is $Ω\bigl(\frac{m^{2 + 1/k}}{n^{1 + 1/k}}\bigr)$. For fixed $k$ these bounds are both best possible up to a constant multiplicative factor. △ Less

Submitted 19 January, 2024; originally announced January 2024.

Comments: 19 pages

NEURO HAND: A weakly supervised Hierarchical Attention Network for interpretable neuroimaging abnormality Detection

Authors: David A. Wood

Abstract: Clinical neuroimaging data is naturally hierarchical. Different magnetic resonance imaging (MRI) sequences within a series, different slices covering the head, and different regions within each slice all confer different information. In this work we present a hierarchical attention network for abnormality detection using MRI scans obtained in a clinical hospital setting. The proposed network is su… ▽ More Clinical neuroimaging data is naturally hierarchical. Different magnetic resonance imaging (MRI) sequences within a series, different slices covering the head, and different regions within each slice all confer different information. In this work we present a hierarchical attention network for abnormality detection using MRI scans obtained in a clinical hospital setting. The proposed network is suitable for non-volumetric data (i.e. stacks of high-resolution MRI slices), and can be trained from binary examination-level labels. We show that this hierarchical approach leads to improved classification, while providing interpretability through either coarse inter- and intra-slice abnormality localisation, or giving importance scores for different slices and sequences, making our model suitable for use as an automated triaging system in radiology departments. △ Less

Submitted 16 January, 2024; v1 submitted 6 November, 2023; originally announced November 2023.

First observation and study of the $K^{\pm} \rightarrow π^{0} π^{0} μ^{\pm} ν$ decay

Authors: NA48/2 Collaboration, :, J. R. Batley, G. Kalmus, C. Lazzeroni, D. J. Munday, M. W. Slater, S. A. Wotton, R. Arcidiacono, A. Ceccucci, G. Bocquet, N. Cabibbo, D. Cundy, V. Falaleev, L. Gatignon, M. Fidecaro, A. Gonidec, W. Kubischta, A. Maier, A. Norton, M. Patel, A. Peters, S. Balev, P. L. Frabetti, E. Gersabeck , et al. (100 additional authors not shown)

Abstract: The NA48/2 experiment at CERN reports the first observation of the $K^{\pm} \rightarrow π^{0} π^{0} μ^{\pm} ν$ decay based on a sample of 2437 candidates with 15% background contamination collected in 2003--2004. The decay branching ratio in the kinematic region of the squared dilepton mass above $0.03$~GeV$^2/c^4$ is measured to be $(0.65 \pm 0.03) \times 10^{-6}$. The extrapolation to the full k… ▽ More The NA48/2 experiment at CERN reports the first observation of the $K^{\pm} \rightarrow π^{0} π^{0} μ^{\pm} ν$ decay based on a sample of 2437 candidates with 15% background contamination collected in 2003--2004. The decay branching ratio in the kinematic region of the squared dilepton mass above $0.03$~GeV$^2/c^4$ is measured to be $(0.65 \pm 0.03) \times 10^{-6}$. The extrapolation to the full kinematic space, using a specific model, is found to be $(3.45 \pm 0.16) \times 10^{-6}$, in agreement with chiral perturbation theory predictions. △ Less

Submitted 25 March, 2024; v1 submitted 31 October, 2023; originally announced October 2023.

Comments: 16 pages, 9 figures

Journal ref: JHEP 03(2024)137

Model-agnostic variable importance for predictive uncertainty: an entropy-based approach

Authors: Danny Wood, Theodore Papamarkou, Matt Benatan, Richard Allmendinger

Abstract: In order to trust the predictions of a machine learning algorithm, it is necessary to understand the factors that contribute to those predictions. In the case of probabilistic and uncertainty-aware models, it is necessary to understand not only the reasons for the predictions themselves, but also the reasons for the model's level of confidence in those predictions. In this paper, we show how exist… ▽ More In order to trust the predictions of a machine learning algorithm, it is necessary to understand the factors that contribute to those predictions. In the case of probabilistic and uncertainty-aware models, it is necessary to understand not only the reasons for the predictions themselves, but also the reasons for the model's level of confidence in those predictions. In this paper, we show how existing methods in explainability can be extended to uncertainty-aware models and how such extensions can be used to understand the sources of uncertainty in a model's predictive distribution. In particular, by adapting permutation feature importance, partial dependence plots, and individual conditional expectation plots, we demonstrate that novel insights into model behaviour may be obtained and that these methods can be used to measure the impact of features on both the entropy of the predictive distribution and the log-likelihood of the ground truth labels under that distribution. With experiments using both synthetic and real-world data, we demonstrate the utility of these approaches to understand both the sources of uncertainty and their impact on model performance. △ Less

Submitted 28 May, 2024; v1 submitted 19 October, 2023; originally announced October 2023.

Clustered Colouring of Odd-$H$-Minor-Free Graphs

Authors: Robert Hickingbotham, Raphael Steiner, David R. Wood

Abstract: The clustered chromatic number of a graph class $\mathcal{G}$ is the minimum integer $c$ such that every graph $G\in\mathcal{G}$ has a $c$-colouring where each monochromatic component in $G$ has bounded size. We study the clustered chromatic number of graph classes $\mathcal{G}_H^{\text{odd}}$ defined by excluding a graph $H$ as an odd-minor. How does the structure of $H$ relate to the clustered c… ▽ More The clustered chromatic number of a graph class $\mathcal{G}$ is the minimum integer $c$ such that every graph $G\in\mathcal{G}$ has a $c$-colouring where each monochromatic component in $G$ has bounded size. We study the clustered chromatic number of graph classes $\mathcal{G}_H^{\text{odd}}$ defined by excluding a graph $H$ as an odd-minor. How does the structure of $H$ relate to the clustered chromatic number of $\mathcal{G}_H^{\text{odd}}$? Using a proof method by Norin, Scott, Seymour and Wood (2019), we show that the clustered chromatic number of $\mathcal{G}_H^{\text{odd}}$ is tied to the tree-depth of $H$. △ Less

Submitted 29 August, 2023; originally announced August 2023.

Powers of planar graphs, product structure, and blocking partitions

Authors: Marc Distel, Robert Hickingbotham, Michał T. Seweryn, David R. Wood

Abstract: We prove that the $k$-power of any planar graph $G$ is contained in $H\boxtimes P\boxtimes K_{f(Δ(G),k)}$ for some graph $H$ with treewidth $15\,288\,899$, some path $P$, and some function $f$. This resolves an open problem of Ossona de Mendez. In fact, we prove a more general result in terms of shallow minors that implies similar results for many `beyond planar' graph classes, without dependence… ▽ More We prove that the $k$-power of any planar graph $G$ is contained in $H\boxtimes P\boxtimes K_{f(Δ(G),k)}$ for some graph $H$ with treewidth $15\,288\,899$, some path $P$, and some function $f$. This resolves an open problem of Ossona de Mendez. In fact, we prove a more general result in terms of shallow minors that implies similar results for many `beyond planar' graph classes, without dependence on $Δ(G)$. For example, we prove that every $k$-planar graph is contained in $H\boxtimes P\boxtimes K_{f(k)}$ for some graph $H$ with treewidth $15\,288\,899$ and some path $P$, and some function $f$. This resolves an open problem of Dujmović, Morin and Wood. We generalise all these results for graphs of bounded Euler genus, still with an absolute bound on the treewidth. At the heart of our proof is the following new concept of independent interest. An $\ell$-blocking partition of a graph $G$ is a partition of $V(G)$ into connected sets such that every path of length greater than $\ell$ in $G$ contains at least two vertices in one part. We prove that every graph of Euler genus $g$ has a $894$-blocking partition with parts of size bounded by a function of $Δ(G)$ and $g$. Motivated by this result, we study blocking partitions in their own right. We show that every graph has a $2$-blocking partition with parts of size bounded by a function of $Δ(G)$ and $\textrm{tw}(G)$. On the other hand, we show that 4-regular graphs do not have $\ell$-blocking partitions with bounded size parts. △ Less

Submitted 14 August, 2023; originally announced August 2023.

A max-affine spline approximation of neural networks using the Legendre transform of a convex-concave representation

Authors: Adam Perrett, Danny Wood, Gavin Brown

Abstract: This work presents a novel algorithm for transforming a neural network into a spline representation. Unlike previous work that required convex and piecewise-affine network operators to create a max-affine spline alternate form, this work relaxes this constraint. The only constraint is that the function be bounded and possess a well-define second derivative, although this was shown experimentally t… ▽ More This work presents a novel algorithm for transforming a neural network into a spline representation. Unlike previous work that required convex and piecewise-affine network operators to create a max-affine spline alternate form, this work relaxes this constraint. The only constraint is that the function be bounded and possess a well-define second derivative, although this was shown experimentally to not be strictly necessary. It can also be performed over the whole network rather than on each layer independently. As in previous work, this bridges the gap between neural networks and approximation theory but also enables the visualisation of network feature maps. Mathematical proof and experimental investigation of the technique is performed with approximation error and feature maps being extracted from a range of architectures, including convolutional neural networks. △ Less

Submitted 16 July, 2023; originally announced July 2023.

The grid-minor theorem revisited

Authors: Vida Dujmović, Robert Hickingbotham, Jędrzej Hodor, Gweanël Joret, Hoang La, Piotr Micek, Pat Morin, Clément Rambaud, David R. Wood

Abstract: We prove that for every planar graph $X$ of treedepth $h$, there exists a positive integer $c$ such that for every $X$-minor-free graph $G$, there exists a graph $H$ of treewidth at most $f(h)$ such that $G$ is isomorphic to a subgraph of $H\boxtimes K_c$. This is a qualitative strengthening of the Grid-Minor Theorem of Robertson and Seymour (JCTB 1986), and treedepth is the optimal parameter in s… ▽ More We prove that for every planar graph $X$ of treedepth $h$, there exists a positive integer $c$ such that for every $X$-minor-free graph $G$, there exists a graph $H$ of treewidth at most $f(h)$ such that $G$ is isomorphic to a subgraph of $H\boxtimes K_c$. This is a qualitative strengthening of the Grid-Minor Theorem of Robertson and Seymour (JCTB 1986), and treedepth is the optimal parameter in such a result. As an example application, we use this result to improve the upper bound for weak coloring numbers of graphs excluding a fixed graph as a minor. △ Less

Submitted 6 July, 2023; originally announced July 2023.

Develo** and implementing an Einsteinian science curriculum from Years 3 to 10: Part B Teacher upskilling: response to training and teacher's classroom experience

Authors: Te**der Kaur, Magdalena Kersting, Kyla Adams, David Blair, David Treagust, Anastasia Popkova, Shon Boublil, Jesse Santoso, Li Ju, Marjan Zadnik, David Wood, Elaine Horne, Darren McGoran, Susan Scott, Grady Venville

Abstract: Recent years have seen a growing interest in modernizing physics and science curricula around the world. While many science educators and curriculum developers design instructional resources to successfully introduce topics of Einsteinian physics to young learners, it is clear that successful curriculum development needs to rest on successful teacher professional development.Teachers with or witho… ▽ More Recent years have seen a growing interest in modernizing physics and science curricula around the world. While many science educators and curriculum developers design instructional resources to successfully introduce topics of Einsteinian physics to young learners, it is clear that successful curriculum development needs to rest on successful teacher professional development.Teachers with or without science backgrounds were trained in short professional learning workshops or completed micro-credential courses. The courses enabled teachers to gain knowledge and confidence to deliver the Einstein-First program. Detailed lesson plans and instructional videos for teachers define the lessons. Questionnaires were used to collect data, and teacher interviews were conducted following the various teacher training programs. The research results show that teachers effectively deliver the Einsteinian physics programs and that their subject matter and pedagogical content knowledge increased. In addition, teacher attitudes were favorable towards modernizing the physics curriculum. We conclude that it is feasible to upskill teachers from diverse backgrounds in Einsteinian physics and break the cycle that has inhibited the modernization of school curricula. △ Less

Submitted 19 December, 2023; v1 submitted 29 June, 2023; originally announced June 2023.

Develo** and implementing an Einsteinian science curriculum from Years 3 to 10 : Part A Concepts, rationale and learning outcomes

Authors: Te**der Kaur, Magdalena Kersting, David Blair, Kyla Adams, David Treagust, Jesse Santoso, Anastasia Popkova, Shon Boublil, Marjan Zadnik, Li Ju, David Wood, Elaine Horne, Darren McGoran

Abstract: There has been a growing realisation that school science curricula do not adequately reflect the revolutionary changes in our scientific understanding of the 20th century. This discrepancy between current school education and our modern scientific understanding has led to calls for the modernisation of the science curriculum. Although there have been attempts to introduce topics of Einsteinian phy… ▽ More There has been a growing realisation that school science curricula do not adequately reflect the revolutionary changes in our scientific understanding of the 20th century. This discrepancy between current school education and our modern scientific understanding has led to calls for the modernisation of the science curriculum. Although there have been attempts to introduce topics of Einsteinian physics (i.e., quantum physics and relativity) to school education, often at the secondary level, we still lack a seamless curriculum in which modern science concepts are gradually introduced in primary and middle schools. Guided by the Model of Educational Reconstruction and following a mixed-methods research design, the Einstein-First project aims to address this gap. Einstein-First has developed and implemented an Einsteinian curriculum from Years 3 to 10 (students aged 7- 16) that resolves the disconnect between science in schools and the modern world. This paper presents the concepts, rationale, and learning outcomes of the curriculum implementation in six Australian schools with 315 students across Years 3 to 10. Our findings lay the foundation for informed curriculum development towards a school education that can enhance students' understanding and appreciation of the fundamental concepts of modern science and its impact on our society. △ Less

Submitted 21 November, 2023; v1 submitted 29 June, 2023; originally announced June 2023.

Proof of the Clustered Hadwiger Conjecture

Authors: Vida Dujmović, Louis Esperet, Pat Morin, David R. Wood

Abstract: Hadwiger's Conjecture asserts that every $K_h$-minor-free graph is properly $(h-1)$-colourable. We prove the following improper analogue of Hadwiger's Conjecture: for fixed $h$, every $K_h$-minor-free graph is $(h-1)$-colourable with monochromatic components of bounded size. The number of colours is best possible regardless of the size of monochromatic components. It solves an open problem of Edwa… ▽ More Hadwiger's Conjecture asserts that every $K_h$-minor-free graph is properly $(h-1)$-colourable. We prove the following improper analogue of Hadwiger's Conjecture: for fixed $h$, every $K_h$-minor-free graph is $(h-1)$-colourable with monochromatic components of bounded size. The number of colours is best possible regardless of the size of monochromatic components. It solves an open problem of Edwards, Kang, Kim, Oum and Seymour [\emph{SIAM J. Disc. Math.} 2015], and concludes a line of research initiated in 2007. Similarly, for fixed $t\geq s$, we show that every $K_{s,t}$-minor-free graph is $(s+1)$-colourable with monochromatic components of bounded size. The number of colours is best possible, solving an open problem of van de Heuvel and Wood [\emph{J.~London Math.\ Soc.} 2018]. We actually prove a single theorem from which both of the above results are immediate corollaries. For an excluded apex minor, we strengthen the result as follows: for fixed $t\geq s\geq 3$, and for any fixed apex graph $X$, every $K_{s,t}$-subgraph-free $X$-minor-free graph is $(s+1)$-colourable with monochromatic components of bounded size. The number of colours is again best possible. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Comments: 81 pages!

MSC Class: 05C15 ACM Class: G.2.2

Centralised Design and Production of the Ultra-High Vacuum and Laser-Stabilisation Systems for the AION Ultra-Cold Strontium Laboratories

Authors: B. Stray, O. Ennis, S. Hedges, S. Dey, M. Langlois, K. Bongs, S. Lellouch, M. Holynski, B. Bostwick, J. Chen, Z. Eyler, V. Gibson, T. L. Harte, M. Hsu, M. Karzazi, J. Mitchell, N. Mouelle, U. Schneider, Y. Tang, K. Tkalcec, Y. Zhi, K. Clarke, A. Vick, K. Bridges, J. Coleman , et al. (47 additional authors not shown)

Abstract: This paper outlines the centralised design and production of the Ultra-High-Vacuum sidearm and Laser-Stabilisation systems for the AION Ultra-Cold Strontium Laboratories. Commissioning data on the residual gas and steady-state pressures in the sidearm chambers, on magnetic field quality, on laser stabilisation, and on the loading rate for the 3D Magneto-Optical Trap are presented. Streamlining the… ▽ More This paper outlines the centralised design and production of the Ultra-High-Vacuum sidearm and Laser-Stabilisation systems for the AION Ultra-Cold Strontium Laboratories. Commissioning data on the residual gas and steady-state pressures in the sidearm chambers, on magnetic field quality, on laser stabilisation, and on the loading rate for the 3D Magneto-Optical Trap are presented. Streamlining the design and production of the sidearm and laser stabilisation systems enabled the AION Collaboration to build and equip in parallel five state-of-the-art Ultra-Cold Strontium Laboratories within 24 months by leveraging key expertise in the collaboration. This approach could serve as a model for the development and construction of other cold atom experiments, such as atomic clock experiments and neutral atom quantum computing systems, by establishing dedicated design and production units at national laboratories. △ Less

Submitted 31 May, 2023; originally announced May 2023.

Comments: 27 pages, 21 figures

Report number: AION-REPORT/2023-03

Introduction to Engineering Mathematics and Analysis: Modeling Physical Systems Using the Language of Mathematics

Authors: Brian D Wood

Abstract: An introduction to applied mathematics written for students in engineering and science. Focus is on a rigorous presentation that also builds understanding by discussion, analogy, and examples. Discussion of concepts involved in modeling physical processes is a central theme in the text. Updated with new chapter on feedforward neural networks. An introduction to applied mathematics written for students in engineering and science. Focus is on a rigorous presentation that also builds understanding by discussion, analogy, and examples. Discussion of concepts involved in modeling physical processes is a central theme in the text. Updated with new chapter on feedforward neural networks. △ Less

Submitted 8 May, 2023; originally announced May 2023.

MSC Class: 00-01 (Primary) 00A06; 00A71; 34-00; 35-00; 44-01; 44A10 (Secondary)

The Double-$Q$ Ground State with Topological Charge Stripes in the Skyrmion Candidate $\text{GdRu}_{\text{2}}\text{Si}_{\text{2}}$

Authors: G. D. A. Wood, D. D. Khalyavin, D. A. Mayoh, J. Bouaziz, A. E. Hall, S. J. R. Holt, F. Orlandi, P. Manuel, S. Blügel, J. B. Staunton, O. A. Petrenko, M. R. Lees, G. Balakrishnan

Abstract: $\text{GdRu}_{\text{2}}\text{Si}_{\text{2}}$ is a centrosymmetric magnet in which a skyrmion lattice has recently been discovered. Here, we investigate the magnetic structure of the zero field ground state using neutron diffraction on single crystal and polycrystalline $^{\text{160}}\text{GdRu}_{\text{2}}\text{Si}_{\text{2}}$. In addition to observing the principal propagation vectors $\mathbf{q}_… ▽ More $\text{GdRu}_{\text{2}}\text{Si}_{\text{2}}$ is a centrosymmetric magnet in which a skyrmion lattice has recently been discovered. Here, we investigate the magnetic structure of the zero field ground state using neutron diffraction on single crystal and polycrystalline $^{\text{160}}\text{GdRu}_{\text{2}}\text{Si}_{\text{2}}$. In addition to observing the principal propagation vectors $\mathbf{q}_{1}$ and $\mathbf{q}_{2}$, we discover higher order magnetic satellites, notably $\mathbf{q}_{1} + 2\mathbf{q}_{2}$. The appearance of these satellites are explained within the framework of a new double-$Q$ constant-moment solution. Using powder diffraction we implement a quantitative refinement of this model. This structure, which contains vortexlike motifs, is shown to have a one-dimensional topological charge density. △ Less

Submitted 26 June, 2023; v1 submitted 28 April, 2023; originally announced April 2023.

Comments: Accepted PRB Letter (14.4.2023)

A photo-click thiol-ene collagen-based hydrogel platform for skeletal muscle tissue engineering

Authors: Roisin Holmes, Xuebin B. Yang, David J. Wood, Giuseppe Tronci

Abstract: UV-cured collagen-based hydrogels hold promise in skeletal muscle regeneration due to their soft elastic properties and porous architecture. However, the complex triple helix conformation of collagen and environmental conditions, i.e. molecular oxygen, pose risks to reaction controllability, wet-state integrity and reproducibility. To address this challenge, a photo-click hydrogel platform is pres… ▽ More UV-cured collagen-based hydrogels hold promise in skeletal muscle regeneration due to their soft elastic properties and porous architecture. However, the complex triple helix conformation of collagen and environmental conditions, i.e. molecular oxygen, pose risks to reaction controllability, wet-state integrity and reproducibility. To address this challenge, a photo-click hydrogel platform is presented through an oxygen-insensitive thiol-ene reaction between 2-iminothiolane (2IT)-functionalized type I collagen and multi-arm, non-homopolymerizable norbornene-terminated polyethylene glycol (PEG). UV-induced network formation is demonstrated by oscillatory time sweeps on the reacting thiol-ene mixture, so that significantly increased storage moduli are measured and adjusted depending on the photo-initiator concentration. Variations in PEG functionality (4-arm and 8-arm) and PEG content generate hydrogels with skeletal muscle native stiffness (Ec= 1.3-11.5 kPa), diffusion-controlled swelling behavior and erosion-driven degradability. In vitro, no cytotoxic effect is detected on C2C12 murine myoblasts, while myogenic differentiation is successfully accomplished on hydrogel-seeded cells in low serum culture medium. In vivo, 7-day subcutaneous implantation of selected thiol-ene hydrogel in rats reveal higher cell infiltration, blood vessel formation, and denser tissue interface compared to a clinical gold standard collagen matrix (Mucograft, Geistlich). These results therefore support the applicability and further development of this hydrogel platform for skeletal muscle regeneration. △ Less

Submitted 12 April, 2023; v1 submitted 29 March, 2023; originally announced April 2023.

Comments: 10 figures, 1 table; accepted in Macromolecular Materials and Engineering

The Excluded Tree Minor Theorem Revisited

Authors: Vida Dujmović, Robert Hickingbotham, Gwenaël Joret, Piotr Micek, Pat Morin, David R. Wood

Abstract: We prove that for every tree $T$ of radius $h$, there is an integer $c$ such that every $T$-minor-free graph is contained in $H\boxtimes K_c$ for some graph $H$ with pathwidth at most $2h-1$. This is a qualitative strengthening of the Excluded Tree Minor Theorem of Robertson and Seymour (GM I). We show that radius is the right parameter to consider in this setting, and $2h-1$ is the best possible… ▽ More We prove that for every tree $T$ of radius $h$, there is an integer $c$ such that every $T$-minor-free graph is contained in $H\boxtimes K_c$ for some graph $H$ with pathwidth at most $2h-1$. This is a qualitative strengthening of the Excluded Tree Minor Theorem of Robertson and Seymour (GM I). We show that radius is the right parameter to consider in this setting, and $2h-1$ is the best possible bound. △ Less

Submitted 27 March, 2023; originally announced March 2023.

Journal ref: Combinatorics, Probability and Computing (2024), 33, pp. 85--90

A longitudinal study of the top 1% toxic Twitter profiles

Authors: Hina Qayyum, Benjamin Zi Hao Zhao, Ian D. Wood, Muhammad Ikram, Mohamed Ali Kaafar, Nicolas Kourtellis

Abstract: Toxicity is endemic to online social networks including Twitter. It follows a Pareto like distribution where most of the toxicity is generated by a very small number of profiles and as such, analyzing and characterizing these toxic profiles is critical. Prior research has largely focused on sporadic, event centric toxic content to characterize toxicity on the platform. Instead, we approach the pro… ▽ More Toxicity is endemic to online social networks including Twitter. It follows a Pareto like distribution where most of the toxicity is generated by a very small number of profiles and as such, analyzing and characterizing these toxic profiles is critical. Prior research has largely focused on sporadic, event centric toxic content to characterize toxicity on the platform. Instead, we approach the problem of characterizing toxic content from a profile centric point of view. We study 143K Twitter profiles and focus on the behavior of the top 1 percent producers of toxic content on Twitter, based on toxicity scores of their tweets availed by Perspective API. With a total of 293M tweets, spanning 16 years of activity, the longitudinal data allow us to reconstruct the timelines of all profiles involved. We use these timelines to gauge the behavior of the most toxic Twitter profiles compared to the rest of the Twitter population. We study the pattern of tweet posting from highly toxic accounts, based on the frequency and how prolific they are, the nature of hashtags and URLs, profile metadata, and Botometer scores. We find that the highly toxic profiles post coherent and well articulated content, their tweets keep to a narrow theme with lower diversity in hashtags, URLs, and domains, they are thematically similar to each other, and have a high likelihood of bot like behavior, likely to have progenitors with intentions to influence, based on high fake followers score. Our work contributes insight into the top 1 percent of toxic profiles on Twitter and establishes the profile centric approach to investigate toxicity on Twitter to be beneficial. △ Less

Submitted 25 March, 2023; originally announced March 2023.

Stable Synchronous Propagation of Signals by Feedforward Networks

Authors: Ian Stewart, David Wood

Abstract: We analyse the dynamics of networks in which a central pattern generator (CPG) transmits signals along one or more feedforward chains in a synchronous or phase-synchronous manner. Such propagating signals are common in biology, especially in locomotion and peristalsis, and are of interest for continuum robots. We construct such networks as feedforward lifts of the CPG. If the CPG dynamics is perio… ▽ More We analyse the dynamics of networks in which a central pattern generator (CPG) transmits signals along one or more feedforward chains in a synchronous or phase-synchronous manner. Such propagating signals are common in biology, especially in locomotion and peristalsis, and are of interest for continuum robots. We construct such networks as feedforward lifts of the CPG. If the CPG dynamics is periodic, so is the lifted dynamics. Synchrony with the CPG manifests as a standing wave, and a regular phase pattern creates a travelling wave. We discuss Liapunov, asymptotic, and Floquet stability of the lifted periodic orbit and introduce transverse versions of these conditions that imply stability for signals propagating along arbitrarily long chains. We compare these notions to a simpler condition, transverse stability of the synchrony subspace, which is equivalent to Floquet stability when nodes are 1-dimensional. △ Less

Submitted 7 September, 2023; v1 submitted 8 February, 2023; originally announced February 2023.

Comments: 38 pages, 9 figures

MSC Class: 05C20; 34A34; 34C15; 34C25; 34D06; 34D20; 37C27; 37C75; 37C80; 37N25; 92B25; 92C20; 92C42

Long Spin Coherence and Relaxation Times in Nanodiamonds Milled from Polycrystalline $^{12}$C Diamond

Authors: James E March, Benjamin D Wood, Colin J Stephen, Laura Durán Fervenza, Ben G Breeze, Soumen Mandal, Andrew M Edmonds, Daniel J Twitchen, Matthew L Markham, Oliver A Williams, Gavin W Morley

Abstract: The negatively charged nitrogen-vacancy centre (NV$^-$) in diamond has been utilized in a wide variety of sensing applications. The centre's long spin coherence and relaxation times ($T_2^*$, $T_2$ and $T_1$) at room temperature are crucial to this, as they often limit sensitivity. Using NV$^-$ centres in nanodiamonds allows for operations in environments inaccessible to bulk diamond, such as intr… ▽ More The negatively charged nitrogen-vacancy centre (NV$^-$) in diamond has been utilized in a wide variety of sensing applications. The centre's long spin coherence and relaxation times ($T_2^*$, $T_2$ and $T_1$) at room temperature are crucial to this, as they often limit sensitivity. Using NV$^-$ centres in nanodiamonds allows for operations in environments inaccessible to bulk diamond, such as intracellular sensing. We report long spin coherence and relaxation times at room temperature for single NV$^-$ centres in isotopically-purified polycrystalline ball-milled nanodiamonds. Using a spin-locking pulse sequence, we observe spin coherence times, $T_2$, up 786 $\pm$ 200 $μ$s. We also measure $T_2^*$ times up to 2.06 $\pm$ 0.24 $μ$s and $T_1$ times up to 4.32 $\pm$ 0.60 ms. Scanning electron microscopy and atomic force microscopy measurements show that the diamond containing the NV$^{-}$ centre with the longest $T_1$ time is smaller than 100 nm. EPR measurements give an N$_{s}$$^{0}$ concentration of 0.15 $\pm$ 0.02 ppm for the nanodiamond sample. △ Less

Submitted 20 April, 2023; v1 submitted 24 January, 2023; originally announced January 2023.

Comments: 13 pages, 3 figures

Journal ref: Phys. Rev. Applied 20, 044045 (2023)

A Unified Theory of Diversity in Ensemble Learning

Authors: Danny Wood, Tingting Mu, Andrew Webb, Henry Reeve, Mikel Luján, Gavin Brown

Abstract: We present a theory of ensemble diversity, explaining the nature of diversity for a wide range of supervised learning scenarios. This challenge has been referred to as the holy grail of ensemble learning, an open research issue for over 30 years. Our framework reveals that diversity is in fact a hidden dimension in the bias-variance decomposition of the ensemble loss. We prove a family of exact bi… ▽ More We present a theory of ensemble diversity, explaining the nature of diversity for a wide range of supervised learning scenarios. This challenge has been referred to as the holy grail of ensemble learning, an open research issue for over 30 years. Our framework reveals that diversity is in fact a hidden dimension in the bias-variance decomposition of the ensemble loss. We prove a family of exact bias-variance-diversity decompositions, for a wide range of losses in both regression and classification, e.g., squared, cross-entropy, and Poisson losses. For losses where an additive bias-variance decomposition is not available (e.g., 0/1 loss) we present an alternative approach: quantifying the effects of diversity, which turn out to be dependent on the label distribution. Overall, we argue that diversity is a measure of model fit, in precisely the same sense as bias and variance, but accounting for statistical dependencies between ensemble members. Thus, we should not be maximising diversity as so many works aim to do -- instead, we have a bias/variance/diversity trade-off to manage. △ Less

Submitted 7 February, 2024; v1 submitted 10 January, 2023; originally announced January 2023.

Journal ref: Journal of Machine Learning Research, 24(359), 2023

Treewidth, Circle Graphs and Circular Drawings

Authors: Robert Hickingbotham, Freddie Illingworth, Bojan Mohar, David R. Wood

Abstract: A circle graph is an intersection graph of a set of chords of a circle. We describe the unavoidable induced subgraphs of circle graphs with large treewidth. This includes examples that are far from the `usual suspects'. Our results imply that treewidth and Hadwiger number are linearly tied on the class of circle graphs, and that the unavoidable induced subgraphs of a vertex-minor-closed class with… ▽ More A circle graph is an intersection graph of a set of chords of a circle. We describe the unavoidable induced subgraphs of circle graphs with large treewidth. This includes examples that are far from the `usual suspects'. Our results imply that treewidth and Hadwiger number are linearly tied on the class of circle graphs, and that the unavoidable induced subgraphs of a vertex-minor-closed class with large treewidth are the usual suspects if and only if the class has bounded rank-width. Using the same tools, we also study the treewidth of graphs $G$ that have a circular drawing whose crossing graph is well-behaved in some way. In this setting, we show that if the crossing graph is $K_t$-minor-free, then $G$ has treewidth at most $12t-23$ and has no $K_{2,4t}$-topological minor. On the other hand, we show that there are graphs with arbitrarily large Hadwiger number that have circular drawings whose crossing graphs are $2$-degenerate. △ Less

Submitted 21 December, 2022; originally announced December 2022.

MSC Class: 05C83; 05C10; 05C62

Product structure extension of the Alon--Seymour--Thomas theorem

Authors: Marc Distel, Vida Dujmović, David Eppstein, Robert Hickingbotham, Gwenaël Joret, Piotr Micek, Pat Morin, Michał T. Seweryn, David R. Wood

Abstract: Alon, Seymour and Thomas [1990] proved that every $n$-vertex graph excluding $K_t$ as a minor has treewidth less than $t^{3/2}\sqrt{n}$. Illingworth, Scott and Wood [2022] recently refined this result by showing that every such graph is a subgraph of some graph with treewidth $t-2$, where each vertex is blown up by a complete graph of order $O(\sqrt{tn})$. Solving an open problem of Illingworth, S… ▽ More Alon, Seymour and Thomas [1990] proved that every $n$-vertex graph excluding $K_t$ as a minor has treewidth less than $t^{3/2}\sqrt{n}$. Illingworth, Scott and Wood [2022] recently refined this result by showing that every such graph is a subgraph of some graph with treewidth $t-2$, where each vertex is blown up by a complete graph of order $O(\sqrt{tn})$. Solving an open problem of Illingworth, Scott and Wood [2022], we prove that the treewidth bound can be reduced to $4$ while kee** blowups of order $O_t(\sqrt{n})$. As an extension of the Lipton--Tarjan theorem, in the case of planar graphs, we show that the treewidth can be further reduced to $2$, which is best possible. We generalise this result for $K_{3,t}$-minor-free graphs, with blowups of order $O(t\sqrt{n})$. This setting includes graphs embeddable on any fixed surface. △ Less

Submitted 6 April, 2024; v1 submitted 16 December, 2022; originally announced December 2022.

Comments: Title changed, author added, and results for $K_{3,t}$-minor-free graphs added in v2. Referee comments incorporated into v4

Bounded-Degree Planar Graphs Do Not Have Bounded-Degree Product Structure

Authors: Vida Dujmović, Gwenaël Joret, Piotr Micek, Pat Morin, David R. Wood

Abstract: Product structure theorems are a collection of recent results that have been used to resolve a number of longstanding open problems on planar graphs and related graph classes. One particularly useful version states that every planar graph $G$ is contained in the strong product of a $3$-tree $H$, a path $P$, and a $3$-cycle $K_3$; written as $G\subseteq H\boxtimes P\boxtimes K_3$. A number of resea… ▽ More Product structure theorems are a collection of recent results that have been used to resolve a number of longstanding open problems on planar graphs and related graph classes. One particularly useful version states that every planar graph $G$ is contained in the strong product of a $3$-tree $H$, a path $P$, and a $3$-cycle $K_3$; written as $G\subseteq H\boxtimes P\boxtimes K_3$. A number of researchers have asked if this theorem can be strengthened so that the maximum degree in $H$ can be bounded by a function of the maximum degree in $G$. We show that no such strengthening is possible. Specifically, we describe an infinite family $\mathcal{G}$ of planar graphs of maximum degree $5$ such that, if an $n$-vertex member $G$ of $\mathcal{G}$ is isomorphic to a subgraph of $H\boxtimes P\boxtimes K_c$ where $P$ is a path and $H$ is a graph of maximum degree $Δ$ and treewidth $t$, then $tΔc \ge 2^{Ω(\sqrt{\log\log n})}$. △ Less

Submitted 13 May, 2024; v1 submitted 5 December, 2022; originally announced December 2022.

Comments: Small corrections, clearer notation

Journal ref: Electronic Journal of Combinatorics, 31/2:P2.51, 2024

Unintended Memorization and Timing Attacks in Named Entity Recognition Models

Authors: Rana Salal Ali, Benjamin Zi Hao Zhao, Hassan Jameel Asghar, Tham Nguyen, Ian David Wood, Dali Kaafar

Abstract: Named entity recognition models (NER), are widely used for identifying named entities (e.g., individuals, locations, and other information) in text documents. Machine learning based NER models are increasingly being applied in privacy-sensitive applications that need automatic and scalable identification of sensitive information to redact text for data sharing. In this paper, we study the setting… ▽ More Named entity recognition models (NER), are widely used for identifying named entities (e.g., individuals, locations, and other information) in text documents. Machine learning based NER models are increasingly being applied in privacy-sensitive applications that need automatic and scalable identification of sensitive information to redact text for data sharing. In this paper, we study the setting when NER models are available as a black-box service for identifying sensitive information in user documents and show that these models are vulnerable to membership inference on their training datasets. With updated pre-trained NER models from spaCy, we demonstrate two distinct membership attacks on these models. Our first attack capitalizes on unintended memorization in the NER's underlying neural network, a phenomenon NNs are known to be vulnerable to. Our second attack leverages a timing side-channel to target NER models that maintain vocabularies constructed from the training data. We show that different functional paths of words within the training dataset in contrast to words not previously seen have measurable differences in execution time. Revealing membership status of training samples has clear privacy implications, e.g., in text redaction, sensitive words or phrases to be found and removed, are at risk of being detected in the training dataset. Our experimental evaluation includes the redaction of both password and health data, presenting both security risks and privacy/regulatory issues. This is exacerbated by results that show memorization with only a single phrase. We achieved 70% AUC in our first attack on a text redaction use-case. We also show overwhelming success in the timing attack with 99.23% AUC. Finally we discuss potential mitigation approaches to realize the safe use of NER models in light of the privacy and security implications of membership inference attacks. △ Less

Submitted 3 November, 2022; originally announced November 2022.

Comments: This is the full version of the paper with the same title accepted for publication in the Proceedings of the 23rd Privacy Enhancing Technologies Symposium, PETS 2023

Graphs of Linear Growth have Bounded Treewidth

Authors: Rutger Campbell, Marc Distel, J. Pascal Gollin, Daniel J. Harvey, Kevin Hendrey, Robert Hickingbotham, Bojan Mohar, David R. Wood

Abstract: A graph class $\mathcal{G}$ has linear growth if, for each graph $G \in \mathcal{G}$ and every positive integer $r$, every subgraph of $G$ with radius at most $r$ contains $O(r)$ vertices. In this paper, we show that every graph class with linear growth has bounded treewidth. A graph class $\mathcal{G}$ has linear growth if, for each graph $G \in \mathcal{G}$ and every positive integer $r$, every subgraph of $G$ with radius at most $r$ contains $O(r)$ vertices. In this paper, we show that every graph class with linear growth has bounded treewidth. △ Less

Submitted 24 October, 2022; originally announced October 2022.

Tree-Partitions with Small Bounded Degree Trees

Authors: Marc Distel, David R. Wood

Abstract: A "tree-partition" of a graph $G$ is a partition of $V(G)$ such that identifying the vertices in each part gives a tree. It is known that every graph with treewidth $k$ and maximum degree $Δ$ has a tree-partition with parts of size $O(kΔ)$. We prove the same result with the extra property that the underlying tree has maximum degree $O(Δ)$ and $O(|V(G)|/k)$ vertices. A "tree-partition" of a graph $G$ is a partition of $V(G)$ such that identifying the vertices in each part gives a tree. It is known that every graph with treewidth $k$ and maximum degree $Δ$ has a tree-partition with parts of size $O(kΔ)$. We prove the same result with the extra property that the underlying tree has maximum degree $O(Δ)$ and $O(|V(G)|/k)$ vertices. △ Less

Submitted 28 July, 2023; v1 submitted 22 October, 2022; originally announced October 2022.

Clustered Coloring of Graphs with Bounded Layered Treewidth and Bounded Degree

Authors: Chun-Hung Liu, David R. Wood

Abstract: The clustering of a graph coloring is the maximum size of monochromatic components. This paper studies colorings with bounded clustering in graph classes with bounded layered treewidth, which include planar graphs, graphs of bounded Euler genus, graphs embeddable on a fixed surface with a bounded number of crossings per edge, map graphs, amongst other examples. Our main theorem says that every gra… ▽ More The clustering of a graph coloring is the maximum size of monochromatic components. This paper studies colorings with bounded clustering in graph classes with bounded layered treewidth, which include planar graphs, graphs of bounded Euler genus, graphs embeddable on a fixed surface with a bounded number of crossings per edge, map graphs, amongst other examples. Our main theorem says that every graph with layered treewidth at most $k$ and with maximum degree at most $Δ$ is $3$-colorable with clustering $O(k^{19}Δ^{37})$. This is the first known polynomial bound on the clustering. This greatly improves upon a corresponding result of Esperet and Joret for graphs of bounded genus. △ Less

Submitted 25 September, 2022; originally announced September 2022.

Comments: This paper is extracted from arXiv:1905.08969. The corresponding part in arXiv:1905.08969 will be deleted

Refined list version of Hadwiger's conjecture

Authors: Yangyan Gu, Yiting Jiang, David R. Wood, Xuding Zhu

Abstract: Assume $λ=\{k_1,k_2, \ldots, k_q\}$ is a partition of $k_λ = \sum_{i=1}^q k_i$. A $λ$-list assignment of $G$ is a $k_λ$-list assignment $L$ of $G$ such that the colour set $\bigcup_{v \in V(G)}L(v)$ can be partitioned into $|λ|= q$ sets $C_1,C_2,\ldots,C_q$ such that for each $i$ and each vertex $v$ of $G$, $|L(v) \cap C_i| \ge k_i$. We say $G$ is \emph{$λ$-choosable} if $G$ is $L$-colourable for… ▽ More Assume $λ=\{k_1,k_2, \ldots, k_q\}$ is a partition of $k_λ = \sum_{i=1}^q k_i$. A $λ$-list assignment of $G$ is a $k_λ$-list assignment $L$ of $G$ such that the colour set $\bigcup_{v \in V(G)}L(v)$ can be partitioned into $|λ|= q$ sets $C_1,C_2,\ldots,C_q$ such that for each $i$ and each vertex $v$ of $G$, $|L(v) \cap C_i| \ge k_i$. We say $G$ is \emph{$λ$-choosable} if $G$ is $L$-colourable for any $λ$-list assignment $L$ of $G$. The concept of $λ$-choosability is a refinement of choosability that puts $k$-choosability and $k$-colourability in the same framework. If $|λ|$ is close to $k_λ$, then $λ$-choosability is close to $k_λ$-colourability; if $|λ|$ is close to $1$, then $λ$-choosability is close to $k_λ$-choosability. This paper studies Hadwiger's Conjecture in the context of $λ$-choosability. Hadwiger's Conjecture is equivalent to saying that every $K_t$-minor-free graph is $\{1 \star (t-1)\}$-choosable for any positive integer $t$. We prove that for $t \ge 5$, for any partition $λ$ of $t-1$ other than $\{1 \star (t-1)\}$, there is a $K_t$-minor-free graph $G$ that is not $λ$-choosable. We then construct several types of $K_t$-minor-free graphs that are not $λ$-choosable, where $k_λ- (t-1)$ gets larger as $k_λ-|λ|$ gets larger. In partcular, for any $q$ and any $ε> 0$, there exists $t_0$ such that for any $t \ge t_0$, for any partition $λ$ of $\lfloor (2-ε)t \rfloor$ with $|λ| =q$, there is a $K_t$-minor-free graph that is not $λ$-choosable. The $q=1$ case of this result was recently proved by Steiner, and our proof uses a similar argument. We also generalize this result to $(a,b)$-list colouring. △ Less

Submitted 14 September, 2022; originally announced September 2022.

Product structure of graph classes with strongly sublinear separators

Authors: Zdeněk Dvořák, David R. Wood

Abstract: We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more precise result, we show that if any hereditary graph class $\mathcal{G}$ admits $O(n^{1-ε})$ separators, then for any fixed $δ\in(0,ε)$ every $n$-vertex graph in… ▽ More We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more precise result, we show that if any hereditary graph class $\mathcal{G}$ admits $O(n^{1-ε})$ separators, then for any fixed $δ\in(0,ε)$ every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-depth and a complete graph of size $O(n^{1-ε+δ})$. This result holds with $δ=0$ if we allow $H$ to have tree-depth $O(\log\log n)$. Moreover, using extensions of classical isoperimetric inequalties for grids graphs, we show the dependence on $δ$ in our results and the above $\text{td}(H)\in O(\log\log n)$ bound are both best possible. We prove that $n$-vertex graphs of bounded treewidth are subgraphs of the product of a graph with tree-depth $t$ and a complete graph of size $O(n^{1/t})$, which is best possible. Finally, we investigate the conjecture that for any hereditary graph class $\mathcal{G}$ that admits $O(n^{1-ε})$ separators, every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-width and a complete graph of size $O(n^{1-ε})$. We prove this for various classes $\mathcal{G}$ of interest. △ Less

Submitted 27 September, 2023; v1 submitted 22 August, 2022; originally announced August 2022.

Comments: v2: added bad news subsection; v3: removed section "Polynomial Expansion Classes" which had an error, added section "Lower Bounds", and added a new author; v4: minor revisions and corrections;

Task Oriented Video Coding: A Survey

Authors: Daniel Wood

Abstract: Video coding technology has been continuously improved for higher compression ratio with higher resolution. However, the state-of-the-art video coding standards, such as H.265/HEVC and Versatile Video Coding, are still designed with the assumption the compressed video will be watched by humans. With the tremendous advance and maturation of deep neural networks in solving computer vision tasks, mor… ▽ More Video coding technology has been continuously improved for higher compression ratio with higher resolution. However, the state-of-the-art video coding standards, such as H.265/HEVC and Versatile Video Coding, are still designed with the assumption the compressed video will be watched by humans. With the tremendous advance and maturation of deep neural networks in solving computer vision tasks, more and more videos are directly analyzed by deep neural networks without humans' involvement. Such a conventional design for video coding standard is not optimal when the compressed video is used by computer vision applications. While the human visual system is consistently sensitive to the content with high contrast, the impact of pixels on computer vision algorithms is driven by specific computer vision tasks. In this paper, we explore and summarize recent progress on computer vision task oriented video coding and emerging video coding standard, Video Coding for Machines. △ Less

Submitted 20 November, 2022; v1 submitted 15 August, 2022; originally announced August 2022.

Comments: arXiv admin note: text overlap with arXiv:2201.10162, arXiv:2001.03004, arXiv:2001.03569, arXiv:2110.09241, arXiv:2203.05890, arXiv:2203.05927, arXiv:2106.03511, arXiv:2001.02915, arXiv:2102.01307, arXiv:1812.10067, arXiv:2203.05944, arXiv:2201.02689, arXiv:2105.12653, arXiv:2112.10948, arXiv:1803.05788 by other authors

Defective Colouring of Hypergraphs

Authors: António Girão, Freddie Illingworth, Alex Scott, David R. Wood

Abstract: We prove that the vertices of every $(r + 1)$-uniform hypergraph with maximum degree $Δ$ may be coloured with $c(\fracΔ{d + 1})^{1/r}$ colours such that each vertex is in at most $d$ monochromatic edges. This result, which is best possible up to the value of the constant $c$, generalises the classical result of Erdős and Lovász who proved the $d = 0$ case. We prove that the vertices of every $(r + 1)$-uniform hypergraph with maximum degree $Δ$ may be coloured with $c(\fracΔ{d + 1})^{1/r}$ colours such that each vertex is in at most $d$ monochromatic edges. This result, which is best possible up to the value of the constant $c$, generalises the classical result of Erdős and Lovász who proved the $d = 0$ case. △ Less

Submitted 16 August, 2022; v1 submitted 21 July, 2022; originally announced July 2022.

Comments: 11 pages; revised argument in section 2.2, results unchanged

MSC Class: 05C15

2-Layer Graph Drawings with Bounded Pathwidth

Authors: David R. Wood

Abstract: We determine which properties of 2-layer drawings characterise bipartite graphs of bounded pathwidth. We determine which properties of 2-layer drawings characterise bipartite graphs of bounded pathwidth. △ Less

Submitted 14 July, 2022; originally announced July 2022.

Product structure of graph classes with bounded treewidth

Authors: Rutger Campbell, Katie Clinch, Marc Distel, J. Pascal Gollin, Kevin Hendrey, Robert Hickingbotham, Tony Huynh, Freddie Illingworth, Youri Tamitegama, Jane Tan, David R. Wood

Abstract: We show that many graphs with bounded treewidth can be described as subgraphs of the strong product of a graph with smaller treewidth and a bounded-size complete graph. To this end, define the "underlying treewidth" of a graph class $\mathcal{G}$ to be the minimum non-negative integer $c$ such that, for some function $f$, for every graph ${G \in \mathcal{G}}$ there is a graph $H$ with… ▽ More We show that many graphs with bounded treewidth can be described as subgraphs of the strong product of a graph with smaller treewidth and a bounded-size complete graph. To this end, define the "underlying treewidth" of a graph class $\mathcal{G}$ to be the minimum non-negative integer $c$ such that, for some function $f$, for every graph ${G \in \mathcal{G}}$ there is a graph $H$ with ${\text{tw}(H) \leq c}$ such that $G$ is isomorphic to a subgraph of ${H \boxtimes K_{f(\text{tw}(G))}}$. We introduce disjointed coverings of graphs and show they determine the underlying treewidth of any graph class. Using this result, we prove that the class of planar graphs has underlying treewidth 3; the class of $K_{s,t}$-minor-free graphs has underlying treewidth $s$ (for ${t \geq \max\{s,3\}}$); and the class of $K_t$-minor-free graphs has underlying treewidth ${t-2}$. In general, we prove that a monotone class has bounded underlying treewidth if and only if it excludes some fixed topological minor. We also study the underlying treewidth of graph classes defined by an excluded subgraph or excluded induced subgraph. We show that the class of graphs with no $H$ subgraph has bounded underlying treewidth if and only if every component of $H$ is a subdivided star, and that the class of graphs with no induced $H$ subgraph has bounded underlying treewidth if and only if every component of $H$ is a star. △ Less

Submitted 17 July, 2022; v1 submitted 6 June, 2022; originally announced June 2022.