Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On the Assmus--Mattson type theorem for Type I and even formally self-dual codes
Published
• View Publication
• BIB
In the present paper, we give the Assmus--Mattson type theorem for near-extremal Type I and even formally self-dual codes. We show the existence of $1$-designs or $2$-designs for these codes. As a corollary, we prove the uniqueness of a self-orthogonal $2$-$(16,6,8)$ design.
Perfect Out-forests and Steiner Cycle Packing in Digraphs
In this paper, we study the complexity of two types of digraph packing problems: perfect out-forests problem and Steiner cycle packing problem.
For the perfect out-forest problem, we prove that it is NP-hard to decide whether a given strong digraph contains a 1-perfect out-forest. However, when restricted to a semicomplete digraph $D$, the problem of deciding whether $D$ contains an $i$-perfect out-forest becomes polynomial-time solvable, where $i\in \{0,1\}$. We also prove that it is NP-hard to find a 0-perfect out-forest of maximum size in a connected acyclic digraph, and it is NP-hard to find a 1-perfect out-forest of maximum size in a connected digraph.
For the Steiner cycle packing problem, when both $k\geq 2, \ell\geq 1$ are fixed integers, we show that the problem of deciding whether there are at least $\ell$ internally disjoint directed $S$-Steiner cycles in an Eulerian digraph $D$ is NP-complete, where $S\subseteq V(D)$ and $|S|=k$. However, when we consider the class of symmetric digraphs, the problem becomes polynomial-time solvable. We also show that the problem of deciding whether there are at least $\ell$ arc-disjoint directed $S$-Steiner cycles in a given digraph $D$ is NP-complete, where $S\subseteq V(D)$ and $|S|=k$.
On Promotion and Quasi-tangled Labelings of Posets
Published
• View Publication
• BIB
In 2022, Defant and Kravitz introduced extended promotion (denoted $\partial$), a map that acts on the set of labelings of a poset. Extended promotion is a generalization of Schützenberger's promotion operator, a well-studied map that permutes the set of linear extensions of a poset. It is known that if $L$ is a labeling of an $n$-element poset $P$, then $\partial^{n-1}(L)$ is a linear extension. This allows us to regard $\partial$ as a sorting operator on the set of all labelings of $P$, where we think of the linear extensions of $P$ as the labelings which have been sorted. The labelings requiring $n-1$ applications of $\partial$ to be sorted are called tangled; the labelings requiring $n-2$ applications are called quasi-tangled. In addition to computing the sizes of the fibers of promotion for rooted tree posets, we count the quasi-tangled labelings of a relatively large class of posets called inflated rooted trees with deflated leaves. Given an $n$-element poset with a unique minimal element with the property that the minimal element has exactly one parent, it follows from the aforementioned enumeration that this poset has $2(n-1)!-(n-2)!$ quasi-tangled labelings. Using similar methods, we outline an algorithmic approach to enumerating the labelings requiring $n-k-1$ applications to be sorted for any fixed $k\in\{1,\ldots,n-2\}$. We also make partial progress towards proving a conjecture of Defant and Kravitz on the maximum possible number of tangled labelings of an $n$-element poset.
Criteria for toroidal embedding of one-vertex ribbon graphs
The work provides a brief intuitive overview theory of graph on surfaces. We considers graphs with an additional structure, wich we call discs with ribbons, also known as one-vertex ribbon graphs. And solves the problem (Skopenkov's) about criteria for toroidal embedding of one-vertex ribbon graph.
Normal $2$-coverings of the finite simple groups and their generalizations
Given a finite group $G$, we say that $G$ has weak normal covering number $γ_w(G)$ if $γ_w(G)$ is the smallest integer with $G$ admitting proper subgroups $H_1,\ldots,H_{γ_w(G)}$ such that each element of $G$ has a conjugate in $H_i$, for some $i\in \{1,\ldots,γ_w(G)\}$, via an element in the automorphism group of $G$.
We prove that the weak normal covering number of every non-abelian simple group is at least $2$ and we classify the non-abelian simple groups attaining $2$. As an application, we classify the non-abelian simple groups having normal covering number $2$. We also show that the weak normal covering number of an almost simple group is at least two up to one exception.
We determine the weak normal covering number and the normal covering number of the almost simple groups having socle a sporadic simple group. Using similar methods we find the clique number of the invariably generating graph of the almost simple groups having socle a sporadic simple group.
On decomposing multigraphs into locally irregular submultigraphs
Published
• View Publication
• BIB
A locally irregular multigraph is a multigraph whose adjacent vertices have distinct degrees. The locally irregular edge coloring is an edge coloring of a multigraph $G$ such that every color induces a locally irregular submultigraph of $G$. We say that a multigraph $G$ is locally irregular colorable if it admits a locally irregular edge coloring and we denote by ${\rm lir}(G)$ the locally irregular chromatic index of $G$, which is the smallest number of colors required in a locally irregular edge coloring of a locally irregular colorable multigraph $G$. We conjecture that for every connected graph $G$, which is not isomorphic to $K_2$, multigraph $^2G$ obtained from $G$ by doubling each edge admits ${\rm lir}(^2G)\leq 2$. This concept is closely related to the well known 1-2-3 Conjecture, Local Irregularity Conjecture, (2, 2) Conjecture and other similar problems concerning edge colorings. We show this conjecture holds for graph classes like paths, cycles, wheels, complete graphs, complete $k$-partite graphs and bipartite graphs. We also prove the general bound for locally irregular chromatic index for all 2-multigraphs using our result for bipartite graphs.
Asymmetric colouring of locally compact permutation groups
Published
• View Publication
• BIB
Let $G \leq \mathrm{Sym} (X)$ for a countable set $X$. Call a colouring of $X$ asymmetric, if the identity is the only element of $G$ which preserves all colours. The motion (also called minimal degree) of $G$ is the minimal number of elements moved by an element $g \in G \setminus\{\mathrm{id}\}$. We show that every locally compact, closed permutation group with infinite motion admits an asymmetric $2$-colouring. This generalises a recent result by Babai and confirms a conjecture by Imrich, Smith, Tucker, and Watkins from 2015.
Recognizing well-dominated graphs is coNP-complete
Published
• View Publication
• BIB
A graph $G$ is well-covered if every minimal vertex cover of $G$ is minimum, and a graph $G$ is well-dominated if every minimal dominating set of $G$ is minimum. Studies on well-covered graphs were initiated in [Plummer, JCT 1970], and well-dominated graphs were first introduced in [Finbow, Hartnell and Nowakow, AC 1988]. Well-dominated graphs are well-covered, and both classes have been widely studied in the literature. The recognition of well-covered graphs was proved coNP-complete by [Chvátal and Slater, AODM 1993] and by [Sankaranarayana and Stewart, Networks 1992], but the complexity of recognizing well-dominated graphs has been left open since their introduction. We close this complexity gap by proving that recognizing well-dominated graphs is coNP-complete. This solves a well-known open question (c.f. [Levit and Tankus, DM 2017] and [Gözüpek, Hujdurovic and Milanič, DMTCS 2017]), which was first asked in [Caro, Sebő and Tarsi, JAlg 1996]. Surprisingly, our proof is quite simple, although it was a long-standing open problem. Finally, we show that recognizing well-totally-dominated graphs is coNP-complete, answering a question of [Bahad\ir, Ekim, and Gözüpek, AMC 2021].
Irrational quantum walks
Published
• View Publication
• BIB
The adjacency matrix of a graph G is the Hamiltonian for a continuous-time quantum walk on the vertices of G. Although the entries of the adjacency matrix are integers, its eigenvalues are generally irrational and, because of this, the behaviour of the walk is typically not periodic. In consequence we can usually only compute numerical approximations to parameters of the walk. In this paper, we develop theory to exactly study any quantum walk generated by an integral Hamiltonian. As a result, we provide exact methods to compute the average of the mixing matrices, and to decide whether pretty good (or almost) perfect state transfer occurs in a given graph. We also use our methods to study geometric properties of beautiful curves arising from entries of the quantum walk matrix, and discuss possible applications of these results.
Juggler's friezes
This note generalizes $\mathrm{SL}(k)$-friezes to configurations of numbers in which one of the boundary rows has been replaced by a ragged edge (described by a juggling function). We provide several equivalent definitions/characterizations of these juggler's friezes, in terms of determinants, linear recurrences, and a dual juggler's frieze. We generalize classic results, such as periodicity, duality, and a parametrization by part of a Grassmannian. We also provide a method of constructing such friezes from certain $k \times n$ matrices using the twist of a matrix.
On toral posets and contact Lie algebras
Published
• View Publication
• BIB
A $(2k+1)-$dimensional Lie algebra is called contact if it admits a one-form $\varphi$ such that $\varphi\wedge(d\varphi)^k\neq 0.$ Here, we extend recent work to describe a combinatorial procedure for generating contact, type-A Lie poset algebras whose associated posets have chains of arbitrary cardinality, and we conjecture that our construction leads to a complete characterization.
A note on the Assmus--Mattson theorem for some binary codes II
Published
• View Publication
• BIB
Let $C$ be a four-weight binary code, which has all one vector. Furthermore, we assume that $C$ supports $t$-designs for all weights obtained from the Assmus--Mattson theorem. We previously showed that $t\leq 5$. In the present paper, we show an analogue of this result in the cases of five and six-weight codes.
Computing the strong metric dimension for co-maximal ideal graphs of commutative rings
Published
• View Publication
• BIB
Let $R$ be a commutative ring with identity. The co-maximal ideal graph of $R$, denoted by $Γ(R)$, is a simple graph whose vertices are proper ideals of $R$ which are not contained in the Jacobson radical of $R$ and two distinct vertices $I, J$ are adjacent if and only if $I+J=R$. In this paper, we use Gallai$^{^,}$s Theorem and the concept of strong resolving graph to compute the strong metric dimension for co-maximal ideal graphs of commutative rings. Explicit formulae for the strong metric dimension, depending on whether the ring is reduced or not, are established.
Incidence geometries with trialities coming from maps with Wilson trialities
Published
• View Publication
• BIB
Triality is a classical notion in geometry that arose in the context of the Lie groups of type $D_4$. Another notion of triality, Wilson triality, appears in the context of reflexible maps. We build a bridge between these two notions, showing how to construct an incidence geometry with a triality from a map that admits a Wilson triality. We also extend a result by Jones and Poulton, showing that for every prime power $q$, the group ${\rm L}_2(q^3)$ has maps that admit Wilson trialities but no dualities.
CSGO: Constrained-Softassign Gradient Optimization For Large Graph Matching
Published
• View Publication
• BIB
Graph matching aims to find correspondences between two graphs. This paper integrates several well-known graph matching algorithms into a framework: the constrained gradient method. The primary difference among these algorithms lies in tuning a step size parameter and constraining operators. By leveraging these insights, we propose an adaptive step size parameter to guarantee the underlying algorithms' convergence, simultaneously enhancing their efficiency and robustness. For the constraining operator, we introduce a scalable softassign for large graph matching problems. Compared to the original softassign, our approach offers increased speed, improved robustness, and reduced risk of overflow. The advanced constraining operator enables a CSGO for large graph matching, which outperforms state-of-the-art methods in experiments. Notably, in attributed graph matching tasks, CSGO achieves an over 10X increase in speed compared to current constrained gradient algorithms.
The distinguishing index of graphs with infinite minimum degree
Published
• View Publication
• BIB
The distinguishing index $D'(G)$ of a graph $G$ is the least number of colors necessary to obtain an edge coloring of $G$ that is preserved only by the trivial automorphism. We show that if $G$ is a connected $α$-regular graph for some infinite cardinal $α$ then $D'(G) \le 2$, proving a conjecture of Lehner, Pilśniak, and Stawiski. We also show that if $G$ is a graph with infinite minimum degree and at most $2^α$ vertices of degree $α$ for every infinite cardinal $α$, then $D'(G) \le 3$. In particular, $D'(G) \le 3$ if $G$ has infinite minimum degree and order at most $2^{\aleph_0}$.
On distance-balanced generalized Petersen graphs
Published
• View Publication
• BIB
A connected graph $G$ of diameter ${\rm diam}(G) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}|=|W_{yx}|$ for every $x,y\in V(G)$ with $d_{G}(x,y)=\ell$, where $W_{xy}$ is the set of vertices of $G$ that are closer to $x$ than to $y$. We prove that the generalized Petersen graph $GP(n,k)$ is ${\rm diam}(GP(n,k))$-distance-balanced provided that $n$ is large enough relative to $k$. This partially solves a conjecture posed by Miklavič and Šparl \cite{Miklavic:2018}. We also determine ${\rm diam}(GP(n,k))$ when $n$ is large enough relative to $k$.
The proper conflict-free $k$-coloring problem and the odd $k$-coloring problem are NP-complete on bipartite graphs
Published in Discrete Appl. Math., 377:10-17, December 2025
• View Publication
• BIB
A proper coloring of a graph is \emph{proper conflict-free} if every non-isolated vertex $v$ has a neighbor whose color is unique in the neighborhood of $v$. A proper coloring of a graph is \emph{odd} if for every non-isolated vertex $v$, there is a color appearing an odd number of times in the neighborhood of $v$. For an integer $k$, the \textsc{PCF $k$-Coloring} problem asks whether an input graph admits a proper conflict-free $k$-coloring and the \textsc{Odd $k$-Coloring} asks whether an input graph admits an odd $k$-coloring. We show that for every integer $k\geq3$, both problems are NP-complete, even if the input graph is bipartite. Furthermore, we show that the \textsc{PCF $4$-Coloring} problem is NP-complete when the input graph is planar.
On the restricted size Ramsey number for a pair of cycles
For graphs $H_1,H_2$ by $r^*(H_1,H_2)$ we denote the minimum number of edges in a graph $G$ on $r(H_1,H_2)$ vertices such that $G\to (H_1,H_2)$. We show that for each pair of natural numbers $k,n$, $k\le n$, where $k$ is odd and $n$ is large enough, we have $$r^*(C_n,C_k)=\lceil (n+1)(2n-1)/2\rceil \,.$$
Maker-Breaker Metric Resolving Games on Graphs
Published
• View Publication
• BIB
Let $d(x,y)$ denote the length of a shortest path between vertices $x$ and $y$ in a graph $G$ with vertex set $V$. For a positive integer $k$, let $d_k(x,y)=\min\{d(x,y), k+1\}$ and $R_k\{x,y\}=\{z\in V: d_k(x,z) \neq d_k(y,z)\}$. A set $S \subseteq V$ is a \emph{distance-$k$ resolving set} of $G$ if $S \cap R_k\{x,y\} \neq\emptyset$ for distinct $x,y\in V$. In this paper, we study the maker-breaker distance-$k$ resolving game (MB$k$RG) played on a graph $G$ by two players, Maker and Breaker, who alternately select a vertex of $G$ not yet chosen. Maker wins by selecting vertices which form a distance-$k$ resolving set of $G$, whereas Breaker wins by preventing Maker from winning. We denote by $O_{R,k}(G)$ the outcome of MB$k$RG. Let $\mathcal{M}$, $\mathcal{B}$ and $\mathcal{N}$, respectively, denote the outcome for which Maker, Breaker, and the first player has a winning strategy in MB$k$RG. Given a graph $G$, the parameter $O_{R,k}(G)$ is a non-decreasing function of $k$ with codomain $\{-1=\mathcal{B}, 0=\mathcal{N}, 1=\mathcal{M}\}$. We exhibit pairs $G$ and $k$ such that the ordered pair $(O_{R,k}(G), O_{R, k+1}(G))$ realizes each member of the set $\{(\mathcal{B}, \mathcal{N}),(\mathcal{B}, \mathcal{M}),(\mathcal{N},\mathcal{M})\}$; we provide graphs $G$ such that $O_{R,1}(G)=\mathcal{B}$, $O_{R,2}(G)=\mathcal{N}$ and $O_{R,k}(G)=\mathcal{M}$ for $k\ge3$. Moreover, we obtain some general results on MB$k$RG and study the MB$k$RG played on some graph classes.