Showing 20 papers (Total: 83190 papers, 48060 authors in database)
3-path-connectivity of Cayley graphs generated by wheel graphs
Let $G = (V(G), E(G))$ be a simple connected graph and $Ω$ a subset of $ V(G)$ with $|Ω|\geq2$. An $Ω$-path in $G$ is a path that connects all vertices of $Ω$. Two $Ω$-paths $P_i$ and $P_j$ are said to be internally disjoint if $V(P_i)\cap V(P_j)=Ω$ and $E(P_i)\cap E(P_j)=\emptyset$. Denote $π_G(Ω)$ by the maximum number of internally disjoint $Ω$-paths in $G$. For an integer $k\geq2$, the $k$-path-connectivity $π_k(G)$ of $G$ is defined as $\min\{π_G(Ω)\midΩ\subseteq V(G)$ and $|Ω|=k\}$. Let $CW_n$ denote the Cayley graph generated by the $n$-vertex wheel graph. In this paper, we investigate the $3$-path-connectivity of $CW_n$ and prove that $π_3(CW_n)=\lfloor\frac{6n-9}4\rfloor$ for all $n\geq4$.
The number of rooted spanning forests of bicirculant graphs
A bi-Cayley graph over the cyclic group $(\mathbb{Z}_n, +)$ is called a bicirculant graph. Let $Γ=BC(\mathbb{Z}_n; R,T,S)$ be a bicirculant graph with $R=-R\subseteq \mathbb{Z}_n\setminus \{0\}$ and $T={-}T\subseteq \mathbb{Z}_n\setminus \{0\}$ and $S\subseteq \mathbb{Z}_n$. In this paper, using Chebyshev polynomials, we obtain a closed formula for the number of rooted spanning forests of $Γ$. Moreover, we investigate some arithmetic properties of the number of rooted spanning forests of $Γ$, and find its asymptotic behaviour as $n$ tends infinity.
Open XOR-magic odd graphs and closed XOR-magic even graphs
XOR-magic graph labelings form a special subclass of group distance magic labelings. A simple connected graph of order $2^n$ is called an open (respectively, closed) XOR-magic graph of power $n$ if its vertices can be labeled bijectively with vectors from $(\mathbb{Z}_2)^n$ such that the sum (over $(\mathbb{Z}_2)^n$) of labels in each open (respectively, closed) neighborhood of every vertex is equal to the zero vector. In one paper, Batal asked whether there exists any odd-regular open XOR-magic graph or any even-regular closed XOR-magic graph. In this paper, with partial help of MILP solver, we answer this question in the affirmative. More precisely, we prove that for every integer $n>3$, there exists an odd-regular open XOR-magic graph of power $n$ and an even-regular closed XOR-magic graph of power $n$. We also show some applications of the spectra of graphs for an open XOR-magic labeling.
On induced subgraphs with degree parity conditions in Paley graphs and Paley tournaments
In this paper, we investigate the number of induced subgraphs and subdigraphs of Paley graphs and Paley tournaments where the (out-)degree of each vertex has the same parity. For Paley graphs, we establish a lower bound for the number of large even induced subgraphs, particularly those containing a constant proportion of vertices. We determine the number of even-even partitions of Paley graphs, showing it is exponential if $q\equiv 1\Mod{8}$ and is trivial if $q\equiv 5\Mod{8}$, while proving the non-existence of even-even partition for Paley tournaments. Furthermore, we derive asymptotic formulas for the numbers of even induced sub(di)graphs of order $r=o(q^{1/4})$ in Paley graphs and Paley tournaments, demonstrating their concentration around the expected values in the corresponding random (di)graph models.
In the context of coding theory, we establish a correspondence between even/odd induced sub(di)graphs of Paley graphs (tournaments) and maximum distance separable (MDS) self-dual codes that can be constructed via (extended) generalized Reed-Solomon codes from subsets of finite fields. As a consequence, our contribution on induced subgraphs leads to new existence and counting results about MDS self-dual codes.
A new family of maximum linear symmetric rank-distance codes
Published
• View Publication
• BIB
Let $\mathscr{S}_n(q)$ denote the set of symmetric bilinear forms over an $n$-dimensional $\mathbb{F}_q$-vector space. A subset $\mathcal{C}$ of $\mathscr{S}_n(q)$ is called a $d$-code if the rank of $A-B$ is larger than or equal to $d$ for any distinct $A$ and $B$ in $\mathcal{C}$. If $\mathcal{C}$ is further closed under matrix addition, then $|\mathcal{C}|$ is sharply upper bounded by $q^{n(n-d+2)/2}$ if $n-d$ is even and $q^{(n+1)(n-d+1)/2}$ if $n-d$ is odd. Additive codes meeting these upper bounds are called maximum. There are very few known constructions of them. In this paper, we obtain a new family of maximum $\mathbb{F}_q$-linear $(n-2)$-codes in $\mathscr{S}_n(q)$ for $n=6,8$ and $10$ which are not equivalent to any known constructions. Furthermore, we completely determine the equivalence between distinct members in this new family.
On the number of maximal independent sets and maximal induced bipartite subgraphs in $K_4$-free graphs
Let $G$ be a $K_4$-free graph of order $n$ and let $k$ be an integer with $0\leq k\leq n$. We show the existence of positive constants $η$ and $ν$ such that $G$ has at most $(4-η)^{(5-η)k-n}(5-η)^{n-(4-η)k}$ maximal independent sets of order $k$ and at most $O\left((12-ν)^{\frac{n}{4}}\right)$ maximal induced bipartite subgraphs.
Regular Cyclic $(q+1)$-Arcs in $\PG(3,2^m)$: Spectral Rigidity, Descent, and an MDS Criterion
Let $q=2^m$ with $m\ge 3$ and set $n:=q+1$. We investigate $(q+1)$-arcs $\mathcal A\subset \mathrm{PG}(3,q)$ that admit a regular cyclic subgroup $C\le \mathrm{PGL}(4,q)$ of order $n$. Over $K=\mathbb{F}_{q^2}$, such an action can be conjugated to a diagonal one, producing explicit cyclic monomial models \[ \mathcal M_a = \{[1:t:t^a:t^{a+1}]:t\in U_n\}\subset \mathrm{PG}(3,K), \qquad U_n=\{u\in K^\times:u^n=1\}, \] with $a\in(\mathbb{Z}/n\mathbb{Z})^\times$. We develop
a spectral rigidity principle to
obtain a precise descent criterion: $\mathcal M_a$ is $K$-projectively equivalent to a $(q+1)$-arc defined over $\mathbb{F}_q$ if and only if $a\equiv \pm 2^e \pmod n$ for some integer $e$ with $\gcd(e,m)=1$. Consequently, regular cyclic pairs $(\mathcal A,C)$ fall into exactly $\varphi(m)/2$ $K$-projective equivalence classes. As an immediate coding-theoretic application, we resolve the remaining AMDS/MDS dichotomy for the BCH family $\mathcal C_{(q,q+1,3,h)}$ studied by Xu et al.: $\mathcal C_{(q,q+1,3,h)}$ is MDS
if and only if $2h+1\equiv \pm 2^e \pmod n$ for some $e$ with $\gcd(e,m)=1$. The underlying spectral rigidity step is formulated in a general setting for diagonal regular cyclic pairs in $\mathrm{PG}(r,K)$, providing a portable reduction of projective equivalence questions to explicit congruences on exponent data.
A survey of edge-spectral-Turán type problems in spectral graph theory: Results, conjectures and open problems
Published
• View Publication
• BIB
The edge-spectral-Turán type problem is also called the Brualdi-Hoffman-Turán type problem, which is a central topic in spectral graph theory, seeking to determine the maximum spectral radius $λ(G)$ of an $F$-free graph $G$ with $m$ edges. This problem has attracted significant attention in recent years. In this paper, we will sort out several closely related results in this type of problem and then propose some conjectures for further research.
On Spectral Properties of Lanzhou Matrix of Graphs
Let $Γ$ be a simple graph on $n$ vertices. Lanzhou index is defined as $Lz(Γ)=\sum\limits_{u \in V(Γ)}d_Γ(u)^2d_{\overlineΓ}(u).$ In this manuscript, the Lanzhou matrix, denoted by $A_{Lz}(Γ)$, has been defined, and its spectral properties are studied. The $uv^{th}$ entry in $A_{Lz}(Γ)$ is $d_Γ(u)d_{\overlineΓ}(u)+d_Γ(v)d_{\overlineΓ}(v)$ if $u$ and $v$ are adjacent. Otherwise, the entry is zero. Some bounds on Lanzhou energy and spread on the Lanzhou matrix are obtained. Also, Lanzhou eigenvalues and inertia for some standard graphs have been obtained. Additionally, characterizations for the symmetricity of Lanzhou eigenvalues about the origin are obtained.
Pattern Avoiding Permutations as Walks
The Stanley-Wilf limit of the pattern 1324 is known to lie between 10.271 and 13.5. We obtain lower bounds on this limit by encoding permutations as walks in directed graphs: building a permutation by successive insertion of maxima corresponds to traversing edges, and the growth rate of walks equals the spectral radius of the adjacency matrix. For 1324, this graph is too large for direct computation, so we pass to a quotient graph with weighted edges. Conditional on a natural conjecture, this yields a lower bound of 10.418.
Chromatic Polynomial Evaluation Spectra
Around 10 years ago, Agol and Krushkal showed that the number of chromatic polynomials $P_{G}$ arising from graphs $G$ on $n$ vertices grows exponentially with $n$, by establishing that the (dual) flow polynomial $F_{G}\left(\frac{3+\sqrt{5}}{2}\right)$ already takes on exponentially many values, if one varies $G$ over all planar cubic graphs $G$ on $n$ vertices. We show, more generally, that the size of the set $\{P_G(q): |V(G)|=n\}$ is exponential in $n$, for every fixed real number $q \neq 0,1,2$. In fact, our approach can also be pushed to show that $P_{G}(q)$ already takes on exponentially many values, if we only vary $G$ over all planar graphs on $n$ vertices. The case $q=3$ confirms a conjecture of Agol, which was initially motivated by the $\mathsf{NP}$-completeness of planar $3$-colorability.
Rank-metric separation in irreducible representations of finite groups
Published
• View Publication
• BIB
We give a general lower bound on the rank of matrices of the form $ρ(h) - I$ with $ρ: G \rightarrow GL({\mathbb F}^n)$ an irreducible representation of a finite group $G$. The main tool in the proof is a (strengthening) of a reduction due to Efremenko from low rank matrices spanned by a few images of $ρ$ to Locally Decodable Codes (LDCs), which are a special kind of error correcting codes. We then apply the known results on 2-query LDCs to derive our rank bound.
A Local Characterization of Unions of Demazure Crystals
We characterize subsets of highest weight $\mathfrak{g}$-crystals that arise as unions of Demazure crystals, for any symmetrizable Kac-Moody Lie algebra $\mathfrak{g}$. We provide a local characterization for these subsets and prove they admit disjoint decompositions into Demazure atoms. As a consequence, we give a new characterization for when a subset of a highest weight crystal is a Demazure crystal as well as a crystal-theoretic proof that any Polo module admits a relative Schubert filtration.
Asymptotics of returns to the coordinate hyperplanes for conditioned simple random walks
Published
• View Publication
• BIB
In this paper we study the number of returns to the coordinate hyperplanes for multidimensional nearest-neighbour random walks. While one-dimensional results on returns are classical, much less is known in higher dimensions. We analyse the asymptotic behaviour of returns under several natural conditionings: the unconditioned walk, bridges, meanders, and non-negative bridges (or excursions). Our main results characterize the limiting distributions under appropriate rescaling. The resulting one-dimensional marginals may be half-normal, Rayleigh, geometric, negative binomial, or certain mixtures thereof. In most situations, the coordinates are asymptotically independent; however, there are notable exceptions for the meander case, depending on the drift. The proofs rely on conditioning on the numbers of horizontal and vertical steps, which restores a form of independence and reduces the problem to one-dimensional estimates via binomial convolution and Bernstein-type approximations.
Moderate-doubling sets in $\mathbb{F}_2^n$ intersect subspaces
We show that any set $A$ in $\mathbb F_2^n$ with $|A+A| \le |A|^{2-η}$ must intersect a subspace of dimension $O_η(\log |A|)$ in at least $|A|^{η- o(1)}$ elements.
On the convoy of the ASEP speed process
We investigate the size of the convoy in the speed process in the multi-species asymmetric simple exclusion process (ASEP). Through a coupling argument, we obtain an exact formula for the expected convoy size by relating it to a combinatorial structure. We prove that the asymptotic expected convoy size is universal for all fixed jump rates $q \in [0,1)$. In the special case $q=0$, we upgrade this to full convergence in distribution. We further establish a critical scaling $q = 1 - γ/\sqrt{n}$ that yields a nontrivial limiting regime. Our analysis builds on Martin's construction of the convoy and makes use of an orthogonal-polynomial representation of random-walk transition probabilities.
Graph Sensitivity under Join and Decomposition
The sensitivity, $σ(G)$, of a finite undirected simple graph $G$ is the smallest maximum degree of an induced subgraph on more than the maximum number of independent vertices. Call an indexed family of graphs $G_n$ with maximum degree $Δ(G_n) \to \infty$ as $n \to \infty$ sensitive if $σ(G_n) \to \infty$, and insensitive otherwise. We describe sensitivity under the join operation and decomposition into stable blocks and construct sensitive and insensitive, primarily non-regular, graph families. We determine the sensitivity explicitly for numerous singly- and doubly-indexed graph families, including certain generalized joins - e.g., complete multipartite graphs and some generalized windmill graphs; general rooted products; and families of corona graphs.
Cyclic sieving phenomena for trees and tree-rooted maps
We prove cyclic sieving phenomena satisfied by corner-rooted plane trees (alias ordered trees). The sets of rooted plane trees that we consider are: (1) all trees with $n$ nodes; (2) all trees with $n$ nodes and $k$ leaves; (3) all trees with a given degree distribution of the nodes. Moreover, we consider four different cyclic group actions: (1) the root is moved to the next corner along a tour of the tree; (2) only trees in which the root is at a leaf are considered, and the action moves the root to the next leaf; (3) only trees in which the root is at a non-leaf are considered, and the action moves the root to the next non-leaf corner; (4) only trees in which the root is at a node of degree $δ$ are considered, for a fixed $δ$, and the action moves the root to the next corner of this type. We prove a cyclic sieving phenomenon for each meaningful combination of these sets and actions. As a bonus, we also establish corresponding cyclic sieving phenomena for tree-rooted planar maps.
Pieri rule for classical groups, a new perspective
We study a new perspective on a certain Pieri rules for classical groups. Furthermore, we extend a fundamental theorem of Kostant concerning tensor products for classical groups. We show that a certain form of the Pieri rule is equivalent to the converse of this extended version of Kostant's theorem. In addition, we show an equivalence between the Pieri rule and the branching rule for general linear groups.
$SL_2$-tilings with translational symmetry
An $SL_2$-tiling is a bi-infinite matrix in which all adjacent $2 \times 2$ minors are equal to $1$. Positive integral $SL_2$-tilings were introduced by Assem, Reutenauer and Smith as generalisations of classical Conway--Coxeter frieze patterns. We show that positive integral $SL_2$-tilings with translational symmetry are in bijection with triangulations of annuli. We use this correspondence to study the properties of periodic positive integral $SL_2$-tilings.