Some short notes on oriented line graphs and related matrices

2026-01-05T06:21:08Z

Oriented line graph, introduced by Kotani and Sunada (2000), is closely related to Hashimato's non-backtracking matrix (1989). It is known that for regular graphs $G$, the eigenvalues of the adjacency matrix of the oriented line graph $\vec{L}(G)$ of $G$ are the reciprocals of the poles of the Ihara zeta function of $G$. We determine the characteristic polynomial of the $z$-Hermitian adjacency matrix of $\vec{L}(G)$ for each $z\in \mathbb{C}$ and $d$-regular graph $G$ with $d\geq 3$. Special cases of this matrix include the Hermitian adjacency matrix of $\vec{L}(G)$ and the adjacency matrix of the underlying undirected graph of $\vec{L}(G)$. We also exhibit an application to star coloring of graphs.

A Tale of Santa Claus, Hypergraphs and Matroids

2026-01-04T23:30:20Z

A well-known problem in scheduling and approximation algorithms is the Santa Claus problem. Suppose that Santa Claus has a set of gifts, and he wants to distribute them among a set of children so that the least happy child is made as happy as possible. Here, the value that a child $i$ has for a present $j$ is of the form $p_{ij} \in \{ 0,p_j\}$. A polynomial time algorithm by Annamalai et al. gives a $12.33$-approximation and is based on a modification of Haxell's hypergraph matching argument. In this paper, we introduce a matroid version of the Santa Claus problem. Our algorithm is also based on Haxell's augmenting tree, but with the introduction of the matroid structure we solve a more general problem with cleaner methods. Our result can then be used as a blackbox to obtain a $(6+\varepsilon)$-approximation for Santa Claus. This factor also compares against a natural, compact LP for Santa Claus.

From Historical Puzzles to Grammatical Constraints: Circular Partitions, Generalized Run-Length Encodings, and Polynomial-Time Decidability

2026-01-04T04:56:56Z

Motivated by a historical combinatorial problem that resembles the well-known Josephus problem, we investigate circular partition algorithms and formulate problems in deterministic finite automata with practical algorithms. The historical problem involves arranging individuals on a circle and eliminating every k-th person until a desired group remains. We analyze both removal and non-removal approaches to circular partitioning, establishing conditions for balanced partitions and providing explicit algorithms. We introduce generalized run-length encodings over partitioned alphabets to capture alternating letter patterns, computing their cardinalities using Stirling numbers of the second kind. Connecting these combinatorial structures to formal language theory, we formulate an existence problem: given a context-free grammar over a dictionary and block-pattern constraints on letters, does a valid sentence exist? We prove decidability in polynomial time by showing block languages are regular and applying standard parsing techniques. Complete algorithms with complexity analysis are provided and validated through implementation on both historical and synthetic instances.

Bounds on Codes Correcting Transpositions of Consecutive Symbols

2026-01-03T10:17:24Z

The problem of correcting transpositions (or swaps) of consecutive symbols in $ q $-ary strings is studied. Lower bounds on asymptotically achievable rates of codes correcting $ t = τn $ transpositions are derived. The first bound is obtained by analyzing the average cardinality of ``transposition balls'' and evaluating the appropriate version of the generalized Gilbert--Varshamov bound, while the second bound follows from a construction of codes correcting an arbitrary number of transpositions (i.e., zero-error codes). Asymptotic bounds on the cardinality of optimal codes correcting $ t = \textrm{const} $ transpositions are also derived.

Improving the Graph Challenge Reference Implementation

2026-01-02T19:51:12Z

The MIT/IEEE/Amazon Graph Challenge provides a venue for individuals and teams to showcase new innovations in large-scale graph and sparse data analysis. The Anonymized Network Sensing Graph Challenge processes over 100 billion network packets to construct privacy-preserving traffic matrices, with a GraphBLAS reference implementation demonstrating how hypersparse matrices can be applied to this problem. This work presents a refactoring and benchmarking of a section of the reference code to improve clarity, adaptability, and performance. The original Python implementation spanning approximately 1000 lines across 3 files has been streamlined to 325 lines across two focused modules, achieving a 67% reduction in code size while maintaining full functionality. Using pMatlab and pPython distributed array programming libraries, the addition of parallel maps allowed for parallel benchmarking of the data. Scalable performance is demonstrated for large-scale summation and analysis of traffic matrices. The resulting implementation increases the potential impact of the Graph Challenge by providing a clear and efficient foundation for participants.

Algorithmic Applications of Tyshkevich's Graph Decomposition: A Primer and a Toolkit

2026-01-02T19:05:29Z

A graph that is completely determined by its degree sequence is called a unigraph. In 2000, Regina Tyshkevich published one of the most important papers on unigraphs. There are two parts to the paper: a decomposition theorem that describes how every graph can be broken into a sequence of basic graphs and a complete classification of all basic unigraphs. Together, they reveal how every unigraph is constructed. We provide an informal overview of Tyshkevich's results and show how they enable the computation of various graph parameters of unigraphs in linear time. We also created a toolkit (https://chelseal11.github.io/tyshkevich_decomposition_toolkit/) that implements the algorithms described in this write-up.

Quantum Approaches to the Minimum Edge Multiway Cut Problem

2026-01-02T15:26:36Z

We investigate the minimum edge multiway cut problem, a fundamental task in evaluating the resilience of telecommunication networks. This study benchmarks the problem across three quantum computing paradigms: quantum annealing on a D-Wave quantum processing unit, photonic variational quantum circuits simulated on Quandela s Perceval platform, and IBM s gate-based Quantum Approximate Optimization Algorithm (QAOA). We assess the comparative feasibility of these approaches for early-stage quantum optimization, highlighting trade-offs in circuit constraints, encoding overhead, and scalability. Our findings suggest that quantum annealing currently offers the most scalable performance for this class of problems, while photonic and gate-based approaches remain limited by hardware and simulation depth. These results provide actionable insights for designing quantum workflows targeting combinatorial optimization in telecom security and resilience analysis.

Towards a conjecture on long induced rainbow paths in triangle-free graphs

2026-01-02T08:01:54Z

Given a triangle-free graph $G$ with chromatic number $k$ and a proper vertex coloring $φ$ of $G$, it is conjectured that $G$ contains an induced rainbow path on $k$ vertices under $φ$. Scott and Seymour proved the existence of an induced rainbow path on $(\log \log \log k)^{\frac{1}{3}- o(1)}$ vertices. We improve this to $(\log k)^{\frac{1}{2}- o(1)}$ vertices. Further, we prove the existence of an induced path that sees $\frac{k}{2}$ colors.

Symmetric Submodular Functions, Uncrossable Functions, and Structural Submodularity

2025-12-31T23:58:51Z

Diestel, et al. (see Order 35 (2017), JCT-A 167 (2019), arXiv:1805.01439) introduced the notion of abstract separation systems that satisfy a submodularity property, and they call this structural submodularity. Williamson, Goemans, Mihail, and Vazirani (Combinatorica 15 (1995)) call a family of sets $\mathcal{F}$ uncrossable if the following holds: for any pair of sets $A,B\in\mathcal{F}$, both $A\cap{B},A\cup{B}$ are in $\mathcal{F}$, or both $A-B,B-A$ are in $\mathcal{F}$. Bansal, Cheriyan, Grout, and Ibrahimpur (Algorithmica 86 (2024), arXiv:2209.11209) call a family of sets $\mathcal{F}$ pliable if the following holds: for any pair of sets $A,B\in\mathcal{F}$, at least two of the sets $A\cap{B},A\cup{B},A-B,B-A$ are in $\mathcal{F}$. We say that a pliable family of sets $\mathcal{F}$ satisfies structural submodularity if the following holds: for any pair of crossing sets $A,B\in\mathcal{F}$, at least one of the sets $A\cap{B},A\cup{B}$ is in $\mathcal{F}$, and at least one of the sets $A-B,B-A$ is in $\mathcal{F}$. For any positive integer $d\geq2$, we construct a pliable family of sets $\mathcal{F}$ that satisfies structural submodularity such that (a) there do not exist a symmetric submodular function $g$ and $λ\in{\mathbb Q}$ such that $\mathcal{F} = \{ S \,:\, g(S)<λ\}$, and (b) $\mathcal{F}$ cannot be partitioned into $d$ (or fewer) uncrossable families.

Solution to a problem on isolation of cliques in uniform hypergraphs

2025-12-31T20:50:17Z

A copy of a hypergraph $F$ is called an $F$-copy. Let $K_k^r$ denote the complete $r$-uniform hypergraph whose vertex set is $[k] = \{1, \dots, k\}$ (that is, the edges of $K_k^r$ are the $r$-element subsets of $[k]$). Given an $r$-uniform $n$-vertex hypergraph $H$, the $K_k^r$-isolation number of $H$, denoted by $ι(H, K_k^r)$, is the size of a smallest subset $D$ of the vertex set of $H$ such that the closed neighbourhood $N[D]$ of $D$ intersects the vertex sets of the $K_k^r$-copies contained by $H$ (equivalently, $H-N[D]$ contains no $K_k^r$-copy). In this note, we show that if $2 \leq r \leq k$ and $H$ is connected, then $ι(H, K_k^r) \leq \frac{n}{k+1}$ unless $H$ is a $K_k^r$-copy or $k = r = 2$ and $H$ is a $5$-cycle. This solves a recent problem of Li, Zhang and Ye. The result for $r = 2$ (that is, $H$ is a graph) was proved by Fenech, Kaemawichanurat and the author, and is used to prove the result for any $r$. The extremal structures for $r = 2$ were determined by various authors. We use this to determine the extremal structures for any $r$.

Geometric characterisation of structural and regular equivalences in undirected (hyper)graphs

2025-12-31T16:47:19Z

Similarity notions between vertices in a graph, such as structural and regular equivalence, are one of the main ingredients in clustering tools in complex network science. We generalise structural and regular equivalences for undirected hypergraphs and provide a characterisation of structural and regular equivalences of undirected graphs and hypergraphs through neighbourhood graphs and Ollivier-Ricci curvature. Our characterisation sheds new light on these similarity notions opening a new avenue for their exploration. These characterisations also enable the construction of a possibly wide family of regular partitions, thereby offering a new route to a task that has so far been computationally challenging.

Maximum Independent Set when excluding an induced minor: $K_1 + tK_2$ and $tC_3 \uplus C_4$

2025-12-31T14:09:20Z

Dallard, Milanič, and Štorgel [arXiv '22] ask if for every class excluding a fixed planar graph $H$ as an induced minor, Maximum Independent Set can be solved in polynomial time, and show that this is indeed the case when $H$ is any planar complete bipartite graph, or the 5-vertex clique minus one edge, or minus two disjoint edges. A positive answer would constitute a far-reaching generalization of the state-of-the-art, when we currently do not know if a polynomial-time algorithm exists when $H$ is the 7-vertex path. Relaxing tractability to the existence of a quasipolynomial-time algorithm, we know substantially more. Indeed, quasipolynomial-time algorithms were recently obtained for the $t$-vertex cycle, $C_t$ [Gartland et al., STOC '21] and the disjoint union of $t$ triangles, $tC_3$ [Bonamy et al., SODA '23]. We give, for every integer $t$, a polynomial-time algorithm running in $n^{O(t^5)}$ when $H$ is the friendship graph $K_1 + tK_2$ ($t$ disjoint edges plus a vertex fully adjacent to them), and a quasipolynomial-time algorithm running in $n^{O(t^2 \log n)+f(t)}$, with $f$ a single-exponential function, when $H$ is $tC_3 \uplus C_4$ (the disjoint union of $t$ triangles and a 4-vertex cycle). The former extends a classical result on graphs excluding $tK_2$ as an induced subgraph [Alekseev, DAM '07], while the latter extends Bonamy et al.'s result.

On Prime Matrix Product Factorizations

2025-12-31T13:53:32Z

A graph $G$ factors into graphs $H$ and $K$ via a matrix product if $A = BC$, where $A$, $B$, and $C$ are the adjacency matrices of $G$, $H$, and $K$, respectively. The graph $G$ is prime if, in every such factorization, one of the factors is a perfect matching that is, it corresponds to a permutation matrix. We characterize all prime graphs, then using this result we classify all factorable forests, answering a question of Akbari et al. [\emph{Linear Algebra and its Applications} (2025)]. We prove that every torus is factorable, and we characterize all possible factorizations of grids, addressing two questions posed by Maghsoudi et al. [\emph{Journal of Algebraic Combinatorics} (2025)].

On an Erdős--Lov'asz problem: 3-critical 3-graphs of minimum degree 7

2025-12-31T13:19:18Z

Erdős and Lov'asz asked whether there exists a "3-critical" 3-uniform hypergraph in which every vertex has degree at least 7. The original formulation does not specify what 3-critical means, and two non-equivalent notions have appeared in the literature and in later discussions of the problem. In this paper we resolve the question under both interpretations. For the transversal interpretation (criticality with respect to the transversal number), we prove that a 3-uniform hypergraph $H$ with $τ(H)=3$ and $τ(H-e)=2$ for every edge $e$ has at most 10 edges; in particular, $δ(H)\le 6$, and this bound is sharp, witnessed by the complete 3-graph $K^{(3)}_5$. For the chromatic interpretation (criticality with respect to weak vertex-colourings), we give an explicit 3-uniform hypergraph on 9 vertices with $χ(H)=3$ and minimum degree $δ(H)=7$ such that deleting any single edge or any single vertex makes it 2-colourable. The criticality of the example is certified by explicit witness 2-colourings listed in the appendices, together with a short verification script.

A Unified Approach to Submodular Maximization Under Noise

2025-12-31T09:43:30Z

We consider the problem of maximizing a submodular function with access to a noisy value oracle for the function instead of an exact value oracle. Similar to prior work, we assume that the noisy oracle is persistent in that multiple calls to the oracle for a specific set always return the same value. In this model, Hassidim and Singer (2017) design a $(1-1/e)$-approximation algorithm for monotone submodular maximization subject to a cardinality constraint, and Huang et al (2022) design a $(1-1/e)/2$-approximation algorithm for monotone submodular maximization subject to any arbitrary matroid constraint. In this paper, we design a meta-algorithm that allows us to take any "robust" algorithm for exact submodular maximization as a black box and transform it into an algorithm for the noisy setting while retaining the approximation guarantee. By using the meta-algorithm with the measured continuous greedy algorithm, we obtain a $(1-1/e)$-approximation (resp. $1/e$-approximation) for monotone (resp. non-monotone) submodular maximization subject to a matroid constraint under noise. Furthermore, by using the meta-algorithm with the double greedy algorithm, we obtain a $1/2$-approximation for unconstrained (non-monotone) submodular maximization under noise.