Related papers: On Modal {\mu}-Calculus over Finite Graphs with Bo…

We give bounds on the L(2,1)-labeling number of a simple graph in terms of its order and its maximum degree. We also describe an infinite class of graphs of which the elements have the highest L(2,1)-labeling numbers in terms of their…

We prove that there exists an absolute constant $C>0$ such that, for any positive integer $k$, every graph $G$ with minimum degree at least $Ck$ admits a vertex-partition $V(G)=S\cup T$, where both $G[S]$ and $G[T]$ have minimum degree at…

Let $\Sigma$ be a surface with boundary $b(\Sigma)$, $\mathcal{L}$ be a collection of $k$ disjoint $b(\Sigma)$-paths in $\Sigma$, and $P$ be a non-separating $b(\Sigma)$-path in $\Sigma$. We prove that there is a homeomorphism $\phi: \Sigma…

We classify all possible charge lattices and 1-form symmetry groups for $\mathcal{N}=2$ SCFTs with characteristic dimension $\varkappa \neq \{1,2\}$. For rank-$r$ SCFTs that are not stacks of lower rank theories the order of the 1-form…

It is shown that any graph with maximum degree $\Delta$ in which the average degree of the induced subgraph on the set of all neighbors of any vertex exceeds $\frac{6k^2}{6k^2 + 1}\Delta + k + 6$ is either $(\Delta - k)$-colorable or…

A graph $G$ is said to be $k$-$\gamma_{c}$-critical if the connected domination number $\gamma_{c}(G)$ is equal to $k$ and $\gamma_{c}(G + uv) < k$ for any pair of non-adjacent vertices $u$ and $v$ of $G$. Let $\zeta$ be the number of cut…

Motivated by SYK-like models describing near-BPS black holes in string/M-theory, we consider gauging the U$(1)$ symmetry of the complex SYK model in the presence of a Wilson line with charge $k$. At a fixed background gauge field, solutions…

Let $H$ be a $k$-partite $k$-graph with $n$ vertices in each partition class, and let $\delta_{k-1}(H)$ denote the minimum co-degree of $H$. We characterize those $H$ with $\delta_{k-1}(H) \geq n/2$ and with no perfect matching. As a…

(see paper for full abstract) Given a vertex-weighted directed graph $G=(V,E)$ and a set $T=\{t_1, t_2, \ldots t_k\}$ of $k$ terminals, the objective of the SCSS problem is to find a vertex set $H\subseteq V$ of minimum weight such that…

In this paper, we examine the modal aspects of higher groups in Shulman's Cohesive Homotopy Type Theory. We show that every higher group sits within a modal fracture hexagon which renders it into its discrete, infinitesimal, and…

We consider bounds on maximum nullity of a graph via transversal numbers of compatible collections of forts. Results include generalizations of theorems from symmetric to combinatorially symmetric matrices, special bases of matrix…

In a $\mathcal{N}=2$ superconformal gauge theory with matter hypermultiplets transforming in the symmetric and anti-symmetric representations of SU($N$), we study the integrated correlators of two Coulomb-branch operators and two moment-map…

The largest connected component in duplication-divergence growing graphs with symmetric coupled divergence is studied. Finite-size scaling reveals a phase transition occurring at a divergence rate $\delta_c$. The $\delta_c$ found stands…

In this note, we show that a complete $k$-partite graph is the only graph with clique number $k$ among all degree-equivalent simple graphs. This result gives a lower bound on the clique number, which is sharper than existing bounds on a…

Let k be a field, Q a finite directed graph, and kQ its path algebra. Make kQ an N-graded algebra by assigning each arrow a positive degree. Let I be an ideal in kQ generated by a finite number of paths and write A = kQ/I. Let QGr A denote…

We study a broad class of graph partitioning problems, where each problem is specified by a graph $G=(V,E)$, and parameters $k$ and $p$. We seek a subset $U\subseteq V$ of size $k$, such that $\alpha_1m_1 + \alpha_2m_2$ is at most (or at…

We show that the number of entire maximal graphs with finitely many singular points that are conformally equivalent is a universal constant that depends only on the number of singularities, namely 2^$ for graphs with n+1 singularities. We…

The coalgebraic $\mu$-calculus provides a generic semantic framework for fixpoint logics with branching types beyond the standard relational setup, e.g. probabilistic, weighted, or game-based. Previous work on the coalgebraic $\mu$-calculus…

Let $K$ be a field with a discrete valuation, and let $p$ be a prime. It is known that if $\Gamma \lhd \Gamma_0 < \mathrm{PGL}_2(K)$ is a Schottky group normally contained in a larger group which is generated by order-$p$ elements each…

In this paper we introduce the graph $\Gamma_{sc}(G)$ associated with a group $G$, called the solvable conjugacy class graph (abbreviated as SCC-graph), whose vertices are the nontrivial conjugacy classes of $G$ and two distinct conjugacy…