Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The Unit-Zero Divisor Graph of a Commutative Ring
This paper introduces a new approach to associating a graph with a commutative ring. Let $R$ be a commutative ring with identity. The unit-zero divisor graph of a commutative ring $R$, denoted by $G_{UZ}(R)$, offers a novel framework for exploring the interaction between ring and graph structures. The vertex set of $G_{UZ}(R)$ consists of all elements of the ring $R$. Two distinct vertices $x$ and $y$ in $G_{UZ}(R)$ are adjacent if and only if $x + y$ is a unit and $xy$ is a zero divisor in $R$. This dual adjacency condition gives rise to a graph that reflects both the additive and multiplicative behavior of the ring. This study investigates key structural properties of $G_{UZ}(R)$, including regularity, bipartiteness, planarity, and Hamiltonicity. In addition, it examines how these graph features are influenced by the algebraic structure of the ring, particularly the group of units, the set of zero divisors, ideals, and the Jacobson radical.
Numerical semigroups from rational matrices III: semigroups of matricial dimension two and a counterexample to the lonely element conjecture
We characterize semigroups in $\{0,1,2,\ldots\}$ of matricial dimension $2$ and produce a counterexample to the conjecture that a numerical semigroup whose small elements are lonely has matricial dimension at most $2$.
Recursive characterisation of skew morphisms of finite cyclic groups
A skew morphism of a finite group $G$ is an element $\varphi$ of $\mathrm{Sym}(G)$ preserving the identity element of $G$ and having the property that for each $a\in G$ there exists a non-negative integer $i_a$ such that $\varphi(ab)=\varphi(a)\varphi^{i_a}(b)$ for all $b\in G$. In this paper we show that if a skew morphism $\varphi$ of $\mathbb{Z}_n$ is not an automorphism of $\mathbb{Z}_n$, then it is uniquely determined by a triple $(h,α,β)$ where $h$ is an element of $\mathbb{Z}_n$, $α$ is a skew morphism of $\mathbb{Z}_a$ where $a<n$, and $β$ is a skew morphism of $\mathbb{Z}_b$ where either $b<n$, or $b=n$ and $|\langle β\rangle| <|\langle \varphi\rangle|$. Conversely, we also list necessary and sufficient conditions for a triple $(h,α,β)$ to define a skew morphism of a given cyclic group. In particular, this gives a recursive characterisation of skew morphisms for all finite cyclic groups. We use this characterisation to prove new theorems about skew morphisms of cyclic groups and to generate a census of all skew morphisms for cyclic groups of order up to $2000$.
Two Tiling is Undecidable
We show that the following problem is undecidable: given two polygonal prototiles, determine whether the plane can be tiled with rotated and translated copies of them. This improves a result of Demaine and Langerman [SoCG 2025], who showed undecidability for three tiles.
Along the way, we show that tiling with one prototile is undecidable if there can be edge-to-edge matching rules. This is the first result to show undecidability for monotiling with only local matching constraints.
A short proof of a central limit theorem for the order of the giant component and $k$-core
In this note we outline a new and simple approach to proving central limit theorems for various 'global' graph parameters which have robust 'local' approximations, using the Efron--Stein inequality, which relies on a combinatorial analysis of the stability of these approximations under resampling an edge. As an application, we give short proofs of a central limit theorem for the order of the giant component and of the $k$-core for sparse random graphs.
2-reachable subsets in two-colored graphs
A subset $X$ of vertices in a graph $G$ is a {\em diameter 2 subset} if the distance of any two vertices of $X$ is at most two {\em in $G[X]$}. Relaxing this notion, a subset $X$ of vertices in a graph $G$ is a {\em 2-reachable subset} if the distance of any two vertices of $X$ is at most two {\em in $G$}. Related to recent attempts to strengthen a well-known conjecture of Ryser, English et al. conjectured that the vertices of a $2$-edge-colored cocktail party graph (the graph obtained from a complete graph with an even number of vertices by deleting a perfect matching) can be covered by the vertices of two monochromatic diameter $2$ subsets. In this note we prove the relaxed form of this conjecture, replacing diameter $2$ by $2$-reachable. An immediate corollary is that $2$-colored cocktail party graphs on $n$ vertices must contain a monochromatic $2$-reachable subset with at least $n\over 2$ vertices (and this is best possible).
Thrackles on nonplanar surfaces
A thrackle is a drawing of a graph on a surface such that (i) adjacent edges only intersect at their common vertex; and (ii) nonadjacent edges intersect at exactly one point, at which they cross. Conway conjectured that if a graph with $n$ vertices and $m$ edges can be thrackled on the plane, then $m\le n$. Conway's conjecture remains open; the best bound known is that $m\le 1.393n$. Cairns and Nikolayevsky extended this conjecture to the orientable surface $S_g$ of genus $g > 0$, claiming that if a graph with $n$ vertices and $m$ edges has a thrackle on $S_g$, then $m \le n + 2g$. We disprove this conjecture. In stark contrast with the planar case, we show that for each $g>0$ there is a connected graph with $n$ vertices and $2n + 2g -8$ edges that can be thrackled on $S_g$. This leaves relatively little room for further progress involving thrackles on orientable surfaces, as every connected graph with $n$ vertices and $m$ edges that can be thrackled on $S_g$ satisfies that $m \le 2n + 4g - 2$. We prove a similar result for nonorientable surfaces. We also derive nontrivial upper and lower bounds on the minimum $g$ such that $K_{m,n}$ and $K_n$ can be thrackled on $S_g$.
Restriction coefficients for partitions with at most three columns
Let $r \geq 0$, and let $λ$ and $μ$ be partitions such that $λ_1 \leq r + 1$. We present a combinatorial interpretation of the plethysm coefficient $\langle s_λ, s_μ[s_r] \rangle$. As a consequence, we solve the restriction problem for partitions with at most three columns. That is, for all partitions $λ$ with $λ_1 \leq 3$, we find a combinatorial interpretation for the multiplicities of the irreducible $\mathfrak{S}_n$-submodules of the Schur module $\mathbb{S}^λ\mathbb{C}^n$, considered as an $\mathfrak{S}_n$-module.
The Domination and Secure Domination Numbers of Direct Product of Cliques with Paths and Cycles
In this paper, we obtain the exact values of several domination parameters for the direct product of a complete graph with a path or a cycle. Specifically, we determine the domination number, independent domination number, $[1,2]$-domination number, secure domination number, and 2-domination number for this family of graphs. We show that, in these graphs, the independent domination number and the $[1,2]$-domination number coincide with the domination number, while the secure domination number coincides with the 2-domination number. Additionally, as a consequence of our findings, we provide counterexamples to disprove some erroneous results in the literature.
Antidirected paths in oriented graphs
We show that for any integer $k \ge 4$, every oriented graph with minimum semidegree bigger than $\frac{1}{2}(k-1+\sqrt{k-3})$ contains an antidirected path of length $k$. Consequently, every oriented graph on $n$ vertices with more than $(k-1+\sqrt{k-3})n$ edges contains an antidirected path of length $k$. This asymptotically proves the antidirected path version of a conjecture of Stein and of a conjecture of Addario-Berry, Havet, Linhares Sales, Reed and Thomassé, respectively.
Lexicographical ordering by spectral moments of bicyclic hypergraphs
For bicyclic hypergraphs, ordering by spectral moment ($S$-order) is investigated in this paper. We give the first and last hypergraphs in an $S$-order of linear bicyclic uniform hypergraphs with given girth and number of edges.
Applications of Combinatorics on Words with Symbolic Dynamics
In this paper, we explore applications of combinatorics on words across various domains, including data compression, error detection, cryptographic protocols, and pseudorandom number generation. The examination of the theoretical foundations enabling these applications, emphasizing important concepts of mathematical relationships and algorithms. In data compression, we discuss the Lempel-Ziv family of algorithms and Lyndon factorization, with the number of Lyndon words of length \( n \) over an alphabet of size \( k \) given by \[ L(n,k) = \frac{1}{n} \sum_{d|n} μ(d) k^{n/d}. \] We address cryptographic protocols and pseudorandom number generation, highlighting the role of pseudorandomness theory and complexity measures. Also, by explore de Bruijn sequences, topological entropy, and synchronizing words in their practical contexts, demonstrating their contributions to optimizing information storage, ensuring data integrity, and enhancing cybersecurity.
On Domination Exponents for Pairs of Graphs
Understanding graph density profiles is notoriously challenging. Even for pairs of graphs, complete characterizations are known only in very limited cases, such as edges versus cliques. This paper explores a relaxation of the graph density profile problem by examining the homomorphism density domination exponent $C(H_1, H_2)$. This is the smallest real number $c \geq 0$ such that $t(H_1, T) \geq t(H_2, T)^c$ for all target graphs $T$ (if such a $c$ exists) where $t(H,T)$ is the homomorphism density from $H$ to $T$. We demonstrate that infinitely many families of graphs are required to realize $C(H_1, H_2)$ for all connected graphs $H_1$, $H_2$. We derive the homomorphism density domination exponent for a variety of graph pairs, including paths and cycles. As a couple of typical examples, we obtain exact values when $H_1$ is an even cycle and $H_2$ contains a Hamiltonian cycle, and provide asymptotically sharp bounds when both $H_1$ and $H_2$ are odd cycles.
Approximate polymorphisms of predicates
A generalized polymorphism of a predicate $P \subseteq \{0,1\}^m$ is a tuple of functions $f_1,\dots,f_m\colon \{0,1\}^n \to \{0,1\}$ satisfying the following property: If $x^{(1)},\dots,x^{(m)} \in \{0,1\}^n$ are such that $(x^{(1)}_i,\dots,x^{(m)}_i) \in P$ for all $i$, then also $(f_1(x^{(1)}),\dots,f_m(x^{(m)})) \in P$.
We show that if $f_1,\dots,f_m$ satisfy this property for most $x^{(1)},\dots,x^{(m)}$ (as measured with respect to an arbitrary full support distribution $μ$ on $P$), then $f_1,\dots,f_m$ are close to a generalized polymorphism of $P$ (with respect to the marginals of $μ$).
Our main result generalizes several results in the literature: linearity testing, quantitative Arrow theorems, approximate intersecting families, AND testing, and more generally $f$-testing.
Finding long cycles in a percolated expander graphs
Given a graph $G$, the percolated graph $G_p$ has each edge independently retained with probability $p$. Collares, Diskin, Erde, and Krivelevich initiated the study of large structures in percolated single-scale vertex expander graphs, wherein every set of exactly $k$ vertices of $G$ has at least $dk$ neighbours before percolation. We extend their result to a conjectured stronger form, proving that if $p = (1+\varepsilon)/d$ and $G$ is a graph on at least $k$ vertices which expands as above, then $G_p$ contains a cycle of length $Ω_\varepsilon(kd)$ with probability at least $1-\exp(-Ω_\varepsilon(k/d))$ as $k\rightarrow\infty$.
Lexicographic products and lexicographic powers of graphs -- a walk matrix approach
The characteristic polynomial and the spectrum of the lexicographic product of graphs $H[G]$, a specific instance of the generalized composition (also called $H$-join), are explicitly determined for arbitrary graphs $H$ and $G$, in terms of the eigenvalues of $G$ and an $H[G]$ associated matrix $\widetilde{\bf W}$, which relates $H$ with $G$. This study also establishes conditions under which a main eigenvalue of $G$ is a main or non-main eigenvalue of the matrix $\widetilde{\bf W}$, when the nullity of the graph $H$ is $η>0$. In such a case, we prove that every main eigenvalue of $G$ is an eigenvalue of $\widetilde{\bf W}$ with multiplicity at least $η$ which is non-main for $\bf \widetilde{W}$ if and only if $0$ is a non-main eigenvalue of $H$. Furthermore, the spectra of the lexicographic powers of arbitrary graphs $G$ are analysed by applying the obtained results.
The multinomial dimer model
An $N$-dimer cover of a graph is a collection of edges (with multiplicity) such that each vertex is contained in exactly $N$ edges in the collection. The multinomial dimer model is a natural probability measure on $N$-dimer covers. We study the behavior of these measures on periodic bipartite graphs in ${\mathbb R}^d$, in the scaling limit as the multiplicity $N$ and then the size of the graph go to infinity.
In this iterated limit, we prove a large deviation principle, where the rate function is the integral of an explicit surface tension, and show that random configurations concentrate on a limit shape which is the unique solution to an associated Euler-Lagrange equation. We further show that the associated critical gauge functions, which exist in the $N\to\infty$ limit on each finite graph, converge in the scaling limit to a limiting gauge function which solves a dual Euler-Lagrange equation.
We use our techniques to compute explicit limit shapes in some two and three dimensional examples, such as the Aztec diamond and ``Aztec cuboid". These $3d$ examples are the first stat mech models in dimensions $d\ge3$ where limit shapes can be computed explicitly.
Graphon Quantum Filtering Systems
We consider a non-exchangeable system of interacting quantum particles with mean-field type interactions, subject to continuous measurement on dense graphs. In the mean-field limit, we derive a graphon-based quantum filtering system, establish its well-posedness, and prove propagation of chaos for multi-class bosonic systems with blockwise interactions. We then discuss applications to quantum state preparation and quantum graphon games.
Oriented hypergraphs and generalizing the Harary-Sachs theorem to integer matrices
Incidence-based generalizations of cycle covers, called contributors, extend the Harary-Sachs coefficient theorem for characteristic polynomials of the adjacency matrix of graphs. All minors of the Laplacian resulting from an integer matrix are characterized using their associated oriented hypergraph through a new minimal collection of contributors to produce the coefficients of the total-minor polynomial. We prove that the natural grouping of contributors via tail-equivalence is necessarily cancellative for any contributor family that reuses an edge. We then provide a new combinatorial proof on the non-0 isospectrality of the traditional characteristic polynomials of the Laplacian and its dual.
Flag-transitive point-primitive quasi-symmetric $2$-designs and exceptional groups of Lie type
Let $\mathcal{D}$ be a non-trivial quasi-symmetric $2$-design with two block intersection numbers $x=0$ and $2\leq y\leq10$, and suppose that $G$ is an automorphism group of $\mathcal{D}$. If $G$ is flag-transitive and point-primitive, then it is known that $G$ is either of affine type or almost simple type. In this paper, we show that the socle of $G$ cannot be a finite simple exceptional group of Lie type.