Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Algebraic Structures on Graphs Joined by Edges
Let the join of two graphs be the union of two disjoint graphs connected by $j$ edges in a one-to-one manner. In previous work by Gyurov and Pinzon, which generalized the results of Badura and Rara, the determinant of the adjacency matrix of two $j$-joined graphs was decomposed to sums of determinants of these graphs with vertex deletions or directed graph handles. In this paper, we find the necessary and sufficient properties of a graph $G$ so that for any graph $H$, the determinant of $G$ joined with $H$ and $H$ joined with $G$ is equal to the determinant of $H$. Subsequently, we define a homomorphism from a quotient of graphs with the $j$-join operation to the monoid of integer matrices under multiplication. We demonstrate through examples that this homomorphism allows us to more easily calculate determinants of chains of joined graphs. This generalizes the work done on determinants of grids and cylinders done in various other works.
$p$-numerical semigroups with $p$-symmetric properties, II
Published
• View Publication
• BIB
Recently, the concept of the $p$-numerical semigroup with $p$-symmetric properties has been introduced. When $p=0$, the classical numerical semigroup with symmetric properties is recovered. In this paper, we further study the $p$-numerical semigroup with $p$-almost symmetric properties. We also give $p$-generalized formulas of Watanabe and Johnson, and introduce $p$-Arf numerical semigroup and study its properties.
On Oriented Diameter of Power Graphs
Published
• View Publication
• BIB
In this paper, we study the oriented diameter of power graphs of groups. We show that a $2$-edge connected power graph of a finite group has oriented diameter at most $4$. We prove that the power graph of the cyclic group of order $n$ has oriented diameter $2$ for all $n\neq 1,2,4,6$. For non-cyclic finite nilpotent groups, we show that the oriented diameter of corresponding power graphs is at least $3$. Moreover, we provide necessary and sufficient conditions for the oriented diameter of $2$-edge connected power graphs of finite non-cyclic nilpotent groups to be either $3$ or $4$. This, in turn, gives an algorithm for computing the oriented diameter of the power graph of a given nilpotent group that runs in time polynomial in the size of the group.
Combined voltage assignments, factored lifts, and their spectra
We consider lifting eigenvalues and eigenvectors of graphs to their {\em factored lifts}, derived by means of a {\em combined voltage assignment} in a group. The latter extends the concept of (ordinary) voltage assignments known from regular coverings and corresponds to the cases of generalized covers of Potočnik and Toledo (2021) in which a group of automorphisms of a lift acts freely on its arc set. With the help of group representations and certain matrices over complex group rings associated with the graphs to be lifted, we develop a method for the determination of the complete spectra of the factored lift graphs and derive a sufficient condition for lifting eigenvectors.
Bootstrap percolation on rhombus tilings
2-boostrap percolation on a graph is a diffusion process where a vertex gets infected whenever it has at least 2 infected neighbours, and then stays infected forever. It has been much studied on the infinite grid for random Bernoulli initial configurations, starting from the seminal result of van Enter that establishes that the entire grid gets almost surely entirely infected for any non-trivial initial probability of infection. In this paper, we generalize this result to any adjacency graph of any rhombus tiling of the plane, including aperiodic ones like Penrose tilings. We actually show almost sure infection of the entire graph for a larger class of measure than non-trivial Bernoulli ones. Our proof strategy combines a geometry toolkit for infected clusters based on chain-convexity, and uniform probabilistic bounds on particular geometric patterns that play the role of 0-1 laws or ergodicity, which are not available in our settings due to the lack of symmetry of the graph considered.
Four fault-free $B_{n-2}$'s in $B_{n}$ under the random node fault model
Let $n\geq 4$. Each $B_{n-2}$ in $B_n$ has one of the forms $a_1a_2X^{n-2}$, $a_1X^{n-2}a_2$ and $X^{n-2}a_1a_2$. Let $1-p$ be the fault probiability of each node in the $n$-dimensional bubble-sort network $B_{n}$ under the random node fault model. In this paper, we determine the probability that there are four distinct fault-free $B_{n-2}$'s in $B_{n}$ by considering all possible combinatorial cases of the four fault-free $B_{n-2}$'s.
The First Zagreb Index Conditions for Some Hamiltonian Properties of Graphs
Let $G = (V, E)$ be a graph. The first Zagreb index of a graph $G$ is defined as $\sum_{u \in V} d^2(u)$, where $d(u)$ is the degree of vertex $u$ in $G$. Using the Pólya-Szegő inequality, we in this paper present the first Zagreb index conditions for some Hamiltonian properties of a graph and an upper bound for the first Zagreb index of a graph.
Bounds for the trace norm of $A_α$ matrix of digraphs
Published
• View Publication
• BIB
Let $D$ be a digraph of order $n$ with adjacency matrix $A(D)$. For $α\in[0,1)$, the $A_α$ matrix of $D$ is defined as $A_α(D)=αΔ^{+}(D)+(1-α)A(D)$, where $Δ^{+}(D)=\mbox{diag}~(d_1^{+},d_2^{+},\dots,d_n^{+})$ is the diagonal matrix of vertex outdegrees of $D$. Let $σ_{1α}(D),σ_{2α}(D),\dots,σ_{nα}(D)$ be the singular values of $A_α(D)$. Then the trace norm of $A_α(D)$, which we call $α$ trace norm of $D$, is defined as $\|A_α(D)\|_*=\sum_{i=1}^{n}σ_{iα}(D)$. In this paper, we find the singular values of some basic digraphs and characterize the digraphs $D$ with $\mbox{Rank}~(A_α(D))=1$. As an application of these results, we obtain a lower bound for the trace norm of $A_α$ matrix of digraphs and determine the extremal digraphs. In particular, we determine the oriented trees for which the trace norm of $A_α$ matrix attains minimum. We obtain a lower bound for the $α$ spectral norm $σ_{1α}(D)$ of digraphs and characterize the extremal digraphs. As an application of this result, we obtain an upper bound for the $α$ trace norm of digraphs and characterize the extremal digraphs.
On a question of Erdős and Nešetřil about minimal cuts in a graph
Answering a question of Erdős and Nešetřil, we show that the maximum number of inclusion-wise minimal vertex cuts in a graph on $n$ vertices is at most $1.8899^n$ for large enough $n$.
On the critical group of the k-partite graph
Published
• View Publication
• BIB
The critical group of a connected graph is closely related to the graph Laplacian, and is of high research value in combinatorics, algebraic geometry, statistical physics, and several other areas of mathematics. In this paper, we study the k-partite graphs and introduce an algorithm to get the structure of their critical groups by calculating the Smith normal forms of their graph Laplacians. When k is from 2 to 6, we characterize the structure of the critical groups completely, which can generalize the results of the complete bipartite graphs.
Cubic graphs with no eigenvalues in the interval (-1,1)
Published
• View Publication
• BIB
We give a complete characterisation of the cubic graphs with no eigenvalues in the open interval $(-1,1)$. There are two infinite families, one due to Guo and Mohar [Linear Algebra Appl. 449:68--75] the other due to Kollár and Sarnak [Communications of the AMS. 1,1--38], and $14$ "sporadic" graphs on at most $32$ vertices. This allows us to show that $(-1,1)$ is a maximal spectral gap set for cubic graphs. Our techniques including examination of various substructure and an application of the classification of generalized line graphs.
Characterization of Circular-arc Graphs: III. Chordal Graphs
We identify all minimal chordal graphs that are not circular-arc graphs, thereby resolving one of ``the main open problems'' concerning the structures of circular-arc graphs as posed by Dur{á}n, Grippo, and Safe in 2011. The problem had been attempted even earlier, and previous efforts have yielded partial results, particularly for claw-free graphs and graphs with an independence number of at most four. The answers turn out to have very simple structures: all the nontrivial ones belong to a single family. Our findings are based on a structural study of McConnell's flipping, which transforms circular-arc graphs into interval graphs with certain representation patterns.
Two equivalent descriptions of opetopes: in terms of zoom complexes and of partial orders
We introduce in this paper a definition of (non necessarily positive) opetopes where faces are organised in a poset. Then we show that this description is equivalent to that given in terms of constellations by Kock, Joyal, Batanin and Mascari.
On codegree Turán density of the 3-uniform tight cycle $C_{11}$
Published
• View Publication
• BIB
Piga, Sanhueza-Matamala, and Schacht recently established that the codegree Turán density of 3-uniform tight cycles $C_\ell$ is $1/3$ for $\ell\in \{10, 13, 16\}$ and for all $\ell\geq 19$. In this note, we extend their proof to determine the codegree Turán density of the 3-uniform tight cycle $C_{11}$, thereby completing the picture for tight cycles of length at least 10.
The entries of the Sinkhorn limit of an $m \times n$ matrix
We use a variety of computational tools to obtain a degree-$\binom{m + n - 2}{m - 1}$ polynomial equation conjecturally satisfied by the top-left entry of the Sinkhorn limit of a positive $m \times n$ matrix. The degree of this equation has a combinatorial interpretation as the number of minors of an $(m - 1) \times (n - 1)$ matrix, and the coefficients involve a determinant formula that reflects new combinatorial structure on sets of minor specifications. The tools we use include Gröbner bases, which produce equations for small matrices; the PSLQ algorithm, which produces equations for larger matrices as part of an interpolation effort that required 1.5 years of CPU time; and ChatGPT o3-mini-high, which identified the signs of the off-diagonal entries in the determinant formula.
Spin Multipartitions
We conjecture an algorithm to construct spin multipartitions and prove that all the level one Fock spaces using our combinatorics are modules over the quantum enveloping algebra.
Packing and finding paths in sparse random graphs
Let $G\sim G(n,p)$ be a (hidden) Erdős-Rényi random graph with $p=(1+ \varepsilon)/n$ for some fixed constant $ \varepsilon >0$. Ferber, Krivelevich, Sudakov, and Vieira showed that to reveal a path of length $\ell=Ω\left(\frac{\log(1/ \varepsilon)}{ \varepsilon}\right)$ in $G$ with high probability, one must query the adjacency of $Ω\left(\frac{\ell}{p \varepsilon\log(1/ \varepsilon)}\right)$ pairs of vertices in $G$, where each query may depend on the outcome of all previous queries. Their result is tight up to the factor of $\log(1/ \varepsilon)$ in both $\ell$ and the number of queries, and they conjectured that this factor could be removed. We confirm their conjecture. The main ingredient in our proof is a result about path-packings in random labelled trees of independent interest. Using this, we also give a partial answer to a related question of Ferber, Krivelevich, Sudakov, and Vieira. Namely, we show that when $\ell=o\left((t/\log t)^{1/3}\right)$, the maximum number of vertices covered by edge-disjoint paths of length at least $\ell$ in a random labelled tree of size $t$ is $Θ(t/\ell)$ with high probability.
Random sampling of permutations through quantum circuits
Published
• View Publication
• BIB
In this paper, we introduce a classical algorithm for random sampling of permutations, drawing inspiration from the Steinhaus-Johnson-Trotter algorithm. Our approach takes a comprehensive view of permutation sampling by expressing them as products of adjacent transpositions. Building on this, we develop a quantum analogue of the classical algorithm using a quantum circuit model for random sampling of permutations. As an application, we present a quantum algorithm for the two-sample randomization test to assess the difference of means in classical data. Finally, we propose a nested corona product graph generative model for symmetric groups, which facilitates random sampling of permutations from specific sets of permutations through a quantum circuit model.
Matroid colorings of KKM covers
We prove a KKM-type theorem for matroid colored families of set coverings of a polytope. This generalizes Gale's colorful KKM theorem as well as recent sparse-colorful variants by Soberón, and McGinnis and Zerbib.
Geometric Markov partitions for pseudo-Anosov homeomorphisms with prescribed combinatorics
In this paper, we focus on constructing and refining geometric Markov partitions for pseudo-Anosov homeomorphisms that may contain spines. We introduce a systematic approach to constructing \emph{adapted Markov partitions} for these homeomorphisms. Our primary result is an algorithmic construction of \emph{adapted Markov partitions} for every generalized pseudo-Anosov map, starting from a single point. This algorithm is applied to the so-called \emph{first intersection points} of the homeomorphism, producing \emph{primitive Markov partitions} that behave well under iterations. We also prove that the set of \emph{primitive geometric types} of a given order is finite, providing a canonical tool for classifying pseudo-Anosov homeomorphisms. We then construct new geometric Markov partitions from existing ones, maintaining control over their combinatorial properties and preserving their geometric types. The first geometric Markov partition we construct has a binary incidence matrix, which allows for the introduction of the sub-shift of finite type associated with any Markov partition's incidence matrix -- this is known as the \emph{binary refinement}. We also describe a process that cuts any Markov partition along stable and unstable segments prescribed by a finite set of periodic codes, referred to as the $s$ and $U$-boundary refinements. Finally, we present an algorithmic construction of a Markov partition where all periodic boundary points are located at the corners of the rectangles in the partition, called the \emph{corner refinement}. Each of these Markov partitions and their intrinsic combinatorial properties plays a crucial role in our algorithmic classification of pseudo-Anosov homeomorphisms up to topological conjugacy.