graph
35367 papers tagged with this keyword
Insertion algorithms for Gelfand $S_n$-graphs
Published in Ann. Comb. 28 (2024), 1199-1242
• View Publication
• BIB
The two tableaux assigned by the Robinson--Schensted correspondence are equal if and only if the input permutation is an involution, so the RS algorithm restricts to a bijection between involutions in the symmetric group and standard tableaux. Beissinger found a concise way of formulating this restricted map, which involves adding an extra cell at the end of a row after a Schensted insertion process. We show that by changing this algorithm slightly to add cells at the end of columns rather than rows, one obtains a different bijection from involutions to standard tableaux. Both maps have an interesting connection to representation theory. Specifically, our insertion algorithms classify the molecules (and conjecturally the cells) in the pair of $W$-graphs associated to the unique equivalence class of perfect models for a generic symmetric group.
Sparse Cuts in Hypergraphs from Random Walks on Simplicial Complexes
There are a lot of recent works on generalizing the spectral theory of graphs and graph partitioning to hypergraphs. There have been two broad directions toward this goal. One generalizes the notion of graph conductance to hypergraph conductance [LM16, CLTZ18]. In the second approach one can view a hypergraph as a simplicial complex and study its various topological properties [LM06, MW09, DKW16, PR17] and spectral properties [KM17, DK17, KO18a, KO18b, Opp20].
In this work, we attempt to bridge these two directions of study by relating the spectrum of {\em up-down walks} and {\em swap-walks} on the simplicial complex to hypergraph expansion. In surprising contrast to random-walks on graphs, we show that the spectral gap of swap-walks and up-down walks between level $m$ and $l$ with $1 < m \leq l$ can not be used to infer any bounds on hypergraph conductance. Moreover, we show that the spectral gap of swap-walks between $X(1)$ and $X(k-1)$ can not be used to infer any bounds on hypergraph conductance, whereas we give a Cheeger-like inequality relating the spectral of walks between level $1$ and $l$ for any $l \leq k$ to hypergraph expansion. This is a surprising difference between swaps-walks and up-down walks!
Finally, we also give a construction to show that the well-studied notion of {\em link expansion} in simplicial complexes can not be used to bound hypergraph expansion in a Cheeger-like manner.
Parabolic Lusztig varieties and chromatic symmetric functions
Published
• View Publication
• BIB
The characters of Kazhdan--Lusztig elements of the Hecke algebra over $S_n$ (and in particular, the chromatic symmetric function of indifference graphs) are completely encoded in the (intersection) cohomology of certain subvarieties of the flag variety. Considering the forgetful map to some partial flag variety, the decomposition theorem tells us that this cohomology splits as a sum of intersection cohomology groups with coefficients in some local systems of subvarieties of the partial flag variety. We prove that these local systems correspond to representations of subgroups of $S_n$. An explicit characterization of such representations would provide a recursive formula for the computation of such characters/chromatic symmetric functions, which could settle Haiman's conjecture about the positivity of the monomial characters of Kazhdan--Lusztig elements and Stanley--Stembridge conjecture about $e$-positivity of chromatic symmetric function of indifference graphs. We also find a connection between the character of certain homology groups of subvarieties of the partial flag varieties and the Grojnowski--Haiman hybrid basis of the Hecke algebra.
Optimal radio labelings of graphs
Published
• View Publication
• BIB
Let $\mathbb{N}$ be the set of positive integers. A radio labeling of a graph $G$ is a mapping $\varphi : V(G) \rightarrow \mathbb{N} \cup \{0\}$ such that the inequality $|\varphi(u)-\varphi(v)| \geq diam(G) + 1 - d(u,v)$ holds for every pair of distinct vertices $u,v$ of $G$, where $diam(G)$ and $d(u,v)$ are the diameter of $G$ and distance between $u$ and $v$ in $G$, respectively. The radio number $rn(G)$ of $G$ is the smallest number $k$ such that $G$ has radio labeling $\varphi$ with $\max\{\varphi(v) : v \in V(G)\}$ = $k$. Das et al. [Discrete Math. $\mathbf{340}$(2017) 855-861] gave a technique to find a lower bound for the radio number of graphs. In [Algorithms and Discrete Applied Mathematics: CALDAM 2019, Lecture Notes in Computer Science $\mathbf{11394}$, springer, Cham, 2019, 161-173], Bantva modified this technique for finding an improved lower bound on the radio number of graphs and gave a necessary and sufficient condition to achieve the improved lower bound. In this paper, one more useful necessary and sufficient condition to achieve the improved lower bound for the radio number of graphs is given. Using this result, the radio number of the Cartesian product of a path and a wheel graphs is determined.
The structure connectivity of Data Center Networks
Published
• View Publication
• BIB
Last decade, numerous giant data center networks are built to provide increasingly fashionable web applications. For two integers $m\geq 0$ and $n\geq 2$, the $m$-dimensional DCell network with $n$-port switches $D_{m,n}$ and $n$-dimensional BCDC network $B_{n}$ have been proposed. Connectivity is a basic parameter to measure fault-tolerance of networks. As generalizations of connectivity, structure (substructure) connectivity was recently proposed. Let $G$ and $H$ be two connected graphs. Let $\mathcal{F}$ be a set whose elements are subgraphs of $G$, and every member of $\mathcal{F}$ is isomorphic to $H$ (resp. a connected subgraph of $H$). Then $H$-structure connectivity $κ(G; H)$ (resp. $H$-substructure connectivity $κ^{s}(G; H)$) of $G$ is the size of a smallest set of $\mathcal{F}$ such that the rest of $G$ is disconnected or the singleton when removing $\mathcal{F}$. Then it is meaningful to calculate the structure connectivity of data center networks on some common structures, such as star $K_{1,t}$, path $P_k$, cycle $C_k$, complete graph $K_s$ and so on. In this paper, we obtain that $κ(D_{m,n}; K_{1,t})=κ^s (D_{m,n}; K_{1,t})=\lceil \frac{n-1}{1+t}\rceil+m$ for $1\leq t\leq m+n-2$ and $κ(D_{m,n}; K_s)= \lceil\frac{n-1}{s}\rceil+m$ for $3\leq s\leq n-1$ by analyzing the structural properties of $D_{m,n}$. We also compute $κ(B_n; H)$ and $κ^s(B_n; H)$ for $H\in \{K_{1,t}, P_{k}, C_{k}|1\leq t\leq 2n-3, 6\leq k\leq 2n-1 \}$ and $n\geq 5$ by using $g$-extra connectivity of $B_n$.
A simple proof for the lower bound of the girth of graphs $D(n, q)$
Published
• View Publication
• BIB
The components of the graphs $D(n, q)$ provide the best-known general lower bound for the number of edges in a graph with $n$ vertices and no cycles of length less than $g$. In this paper, we give a new, short, and simpler proof of the fact that the length of the shortest cycle appearing in $D(n, q)$ is $n + 5$ when $n$ is odd, and $n + 4$ when $n$ is even.
Minimising the total number of subsets and supersets
Published in European J. Combin. 118 (2024), 103882, 16 pp
• View Publication
• BIB
Let $\mathcal{F}$ be a family of subsets of a ground set $\{1,\ldots,n\}$ with $|\mathcal{F}|=m$, and let $\mathcal{F}^{\updownarrow}$ denote the family of all subsets of $\{1,\ldots,n\}$ that are subsets or supersets of sets in $\mathcal{F}$. Here we determine the minimum value that $|\mathcal{F}^{\updownarrow}|$ can attain as a function of $n$ and $m$. This can be thought of as a `two-sided' Kruskal-Katona style result. It also gives a solution to the isoperimetric problem on the graph whose vertices are the subsets of $\{1,\ldots,n\}$ and in which two vertices are adjacent if one is a subset of the other. This graph is a supergraph of the $n$-dimensional hypercube and we note some similarities between our results and Harper's theorem, which solves the isoperimetric problem for hypercubes. In particular, analogously to Harper's theorem, we show there is a total ordering of the subsets of $\{1,\ldots,n\}$ such that, for each initial segment $\mathcal{F}$ of this ordering, $\mathcal{F}^{\updownarrow}$ has the minimum possible size. Our results also answer a question that arises naturally out of work of Gerbner et al. on cross-Sperner families and allow us to strengthen one of their main results.
On linear-algebraic notions of expansion
A fundamental fact about bounded-degree graph expanders is that three notions of expansion -- vertex expansion, edge expansion, and spectral expansion -- are all equivalent. In this paper, we study to what extent such a statement is true for linear-algebraic notions of expansion.
There are two well-studied notions of linear-algebraic expansion, namely dimension expansion (defined in analogy to graph vertex expansion) and quantum expansion (defined in analogy to graph spectral expansion). Lubotzky and Zelmanov proved that the latter implies the former. We prove that the converse is false: there are dimension expanders which are not quantum expanders.
Moreover, this asymmetry is explained by the fact that there are two distinct linear-algebraic analogues of graph edge expansion. The first of these is quantum edge expansion, which was introduced by Hastings, and which he proved to be equivalent to quantum expansion. We introduce a new notion, termed dimension edge expansion, which we prove is equivalent to dimension expansion and which is implied by quantum edge expansion. Thus, the separation above is implied by a finer one: dimension edge expansion is strictly weaker than quantum edge expansion. This new notion also leads to a new, more modular proof of the Lubotzky--Zelmanov result that quantum expanders are dimension expanders.
Rational tensegrities through the lens of toric geometry
Published
• View Publication
• BIB
A classical tensegrity model consists of an embedded graph in a vector space with rigid bars representing edges, and an assignment of a stress to every edge such that at every vertex of the graph the stresses sum up to zero. The tensegrity frameworks have been recently extended from the two dimensional graph case to the multidimensional setting. We study the multidimensional tensegrities using tools from toric geometry. For a given rational tensegrity framework $\mathcal{F}$, we construct a glued toric surface $X_\mathcal{F}$. We show that the abelian group of tensegrities on $\mathcal{F}$ is isomorphic to a subgroup of the Chow group $A^1(X_\mathcal{F};\QQ)$. In the case of planar frameworks, we show how to explicitly carry out the computation of tensegrities via classical tools in toric geometry.
Competing types in preferential attachment graphs with community structure
Published
• View Publication
• BIB
We extend the two-type preferential attachment model of Antunović, Mossel and Rácz, where each new vertex takes its type according to a defined rule based on the types of its neighbours, to incorporate community structure, and investigate whether the proportions of vertices of each type synchronise between communities. The behaviour depends both on the choice of community structure and on the type assignment rule.
For essentially all cases where the single community model has more than one possible limit, communities may fail to synchronise for weakly interacting communities. Even when the single community model almost surely converges to a deterministic limit, synchronisation is not guaranteed. However, we give natural conditions on the assignment rule and, for two communities, on the structure, either of which will imply synchronisation to this limit, and each of which is essentially best possible.
We also give an example where the proportions of types almost surely do not converge, which is impossible in the single community model.
Full-homomorphisms to paths and cycles
Published
• View Publication
• BIB
A full-homomorphism between a pair of graphs is a vertex mapping that preserves adjacencies and non-adjacencies. For a fixed graph $H$, a full $H$-colouring is a full-homomorphism of $G$ to $H$. A minimal $H$-obstruction is a graph that does not admit a full $H$-colouring, such that every proper induced subgraph of $G$ admits a full $H$-colouring. Feder and Hell proved that for every graph $H$ there is a finite number of minimal $H$-obstructions. We begin this work by describing all minimal obstructions of paths. Then, we study minimal obstructions of regular graphs to propose a description of minimal obstructions of cycles. As a consequence of these results, we observe that for each path $P$ and each cycle $C$, the number of minimal $P$-obstructions and $C$-obstructions is $\mathcal{O}(|V(P)|^2)$ and $\mathcal{O}(|V(C)|^2)$, respectively. Finally, we propose some problems regarding the largest minimal $H$-obstructions, and the number of minimal $H$-obstructions.
Evaluating the generalized Buchshtab function and revisiting the variance of the distribution of the smallest components of combinatorial objects
Let $n\geq 1$ and $X_{n}$ be the random variable representing the size of the smallest component of a random combinatorial object made of $n$ elements. A combinatorial object could be a permutation, a monic polynomial over a finite field, a surjective map, a graph, and so on. By a random combinatorial object, we mean a combinatorial object that is chosen uniformly at random among all possible combinatorial objects of size $n$. It is understood that a component of a permutation is a cycle, an irreducible factor for a monic polynomial, a connected component for a graph, etc. Combinatorial objects are categorized into parametric classes. In this article, we focus on the exp-log class with parameter $K=1$ (permutations, derangements, polynomials over finite field, etc.) and $K=1/2$ (surjective maps, $2$-regular graphs, etc.) The generalized Buchstab function $Ω_{K}$ plays an important role in evaluating probabilistic and statistical quantities. For $K=1$, Theorem $5$ from \cite{PanRic_2001_small_explog} stipulates that $\mathrm{Var}(X_{n})=C(n+O(n^{-ε}))$ for some $ε>0$ and sufficiently large $n$. We revisit the evaluation of $C=1.3070\ldots$ using different methods: analytic estimation using tools from complex analysis, numerical integration using Taylor expansions, and computation of the exact distributions for $n\leq 4000$ using the recursive nature of the counting problem. In general for any $K$, Theorem $1.1$ from \cite{BenMasPanRic_2003} connects the quantity $1/Ω_{K}(x)$ for $x\geq 1$ with the asymptotic proportion of $n$-objects with large smallest components. We show how the coefficients of the Taylor expansion of $Ω_{K}(x)$ for $\lfloor x\rfloor \leq x < \lfloor x\rfloor+1$ depends on those for $\lfloor x\rfloor-1 \leq x-1 < \lfloor x\rfloor$. We use this family of coefficients to evaluate $Ω_{K}(x)$.
Characterization of rings with genus two cozero-divisor graphs
Published
• View Publication
• BIB
Let $R$ be a ring with unity. The cozero-divisor graph of a ring $R$ is an undirected simple graph whose vertices are the set of all non-zero and non-unit elements of $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $x \notin Ry$ and $y \notin Rx$. The reduced cozero-divisor graph of a ring $R$, is an undirected simple graph whose vertex set is the set of all nontrivial principal ideals of $R$ and two distinct vertices $(a)$ and $(b)$ are adjacent if and only if $(a) \not\subset (b)$ and $(b) \not\subset (a)$. In this paper, we characterize all classes of finite non-local commutative rings for which the cozero-divisor graph and reduced cozero-divisor graph is of genus two.
P$\wp$N functions, complete mappings and quasigroup difference sets
Published
• View Publication
• BIB
We investigate pairs of permutations $F,G$ of $\mathbb{F}_{p^n}$ such that $F(x+a)-G(x)$ is a permutation for every $a\in\mathbb{F}_{p^n}$. We show that necessarily $G(x) = \wp(F(x))$ for some complete mapping $-\wp$ of $\mathbb{F}_{p^n}$, and call the permutation $F$ a perfect $\wp$ nonlinear (P$\wp$N) function. If $\wp(x) = cx$, then $F$ is a PcN function, which have been considered in the literature, lately. With a binary operation on $\mathbb{F}_{p^n}\times\mathbb{F}_{p^n}$ involving $\wp$, we obtain a quasigroup, and show that the graph of a P$\wp$N function $F$ is a difference set in the respective quasigroup. We further point to variants of symmetric designs obtained from such quasigroup difference sets. Finally, we analyze an equivalence (naturally defined via the automorphism group of the respective quasigroup) for P$\wp$N functions, respectively, the difference sets in the corresponding quasigroup.
On the nullities of quartic circulant graphs and their extremal null spaces
Published in Discrete Math. Chem. 1 (2025) #P1.04
• View Publication
• BIB
A circulant graph is a simple graph whose adjacency matrix can be represented in the form of a circulant matrix, while a nut graph is considered to be a graph whose null space is spanned by a single full vector. In a previous study by Damnjanović [arXiv:2212.03026, 2022], the complete set of all the pairs $(n, d)$ for which there exists a $d$-regular circulant nut graph of order $n$ has been determined. Motivated by the said results, we put our focus on the quartic circulant graphs and derive an explicit formula for computing their nullities. Furthermore, we implement the aforementioned formula in order to obtain a method for inspecting the singularity of a particular quartic circulant graph and find the concise criteria to be used for testing whether such a graph is a nut graph. Subsequently, we compute the minimum and maximum nullity that a quartic circulant graph of a fixed order $n$ can attain, for each viable order $n \ge 5$. Finally, we determine all the graphs attaining these nullities and then provide a full characterization of all of their corresponding extremal null spaces.
Move-reduced graphs on a torus
Published
• View Publication
• BIB
We determine which bipartite graphs embedded in a torus are move-reduced. In addition, we classify equivalence classes of such move-reduced graphs under square/spider moves. This extends the class of minimal graphs on a torus studied by Goncharov-Kenyon, and gives a toric analog of Postnikov's results on a disk.
Study of Exoo's Lower Bound for Ramsey number $R(5,5)$
We review Exoo's 1989 paper, which demonstrates that a lower bound for the Ramsey number $R(5,5)$ is $43$. We provide an efficient way to verify the claims in the paper, adding detailed proofs. In particular, we replace the reference to computer verification by concise arguments. Using our understanding of the insight behind these proofs, we are also able to analyse variations of the graph constructions to obtain, for example, colourings of $K_{43}$ which have very few monochromatic $K_5$.
Cliques and independent subgroups of the Birkhoff polytope graph
The Birkhoff polytope $Ω_n$ is the polytope of doubly stochastic matrices of order $n$. The Birkhoff polytope graph $G(Ω_n)$ is the skeleton of $Ω_n$; it is the Cayley graph whose vertex set consists of the elements of the symmetric group ${\rm Sym}(n)$ of degree $n$, where two permutations are adjacent if one equals the product of the other with a cycle. We study the combinatorial structure of this graph, focusing on its maximal and maximum cliques and on its independent subgroups (subgroups of ${\rm Sym}(n)$ whose elements are pairwise nonadjacent in the graph). We obtain maximal subgroups of $G(Ω_n)$ and establish both a lower bound and an upper bound for its clique number. Especially, we prove that if $K$ is a subset of ${\rm Sym}(n)$ consisting of 3-cycle permutations such that $δ_1^{-1}δ_2$ is a single cycle for all $δ_1,δ_2\in K$, then the maximum size of $K$ is $\lfloor (n-1)^2/4\rfloor$, which can be viewed as an Erdős-Ko-Rado-type theorem for ${\rm Sym}(n)$.
Planar Turán number of disjoint union of $C_3$ and $C_4$
Published
• View Publication
• BIB
The {\em planar Turán number} of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $H$-free planar graph. The planar Turán number of $k\geq 3$ vertex-disjoint union of cycles is a trivial value $3n-6$. Lan, Shi and Song determine the exact value of $ex_{\mathcal{P}}(n,2C_3)$. We continue to study planar Turán number of vertex-disjoint union of cycles and obtain the exact value of $ex_{\mathcal{P}}(n,H)$, where $H$ is vertex-disjoint union of $C_3$ and $C_4$. The extremal graphs are also characterized. We also improve the lower bound of $ex_{\mathcal{P}}(n,2C_k)$ when $k$ is sufficiently large.
A Result on the Small Quasi-Kernel Conjecture
Any directed graph $D=(V(D),A(D))$ in this work is assumed to be finite and without self-loops. A source in a directed graph is a vertex having at least one ingoing arc. A quasi-kernel $Q\subseteq V(D)$ is an independent set in $D$ such that every vertex in $V(D)$ can be reached in at most two steps from a vertex in $Q$. It is an open problem whether every source-free directed graph has a quasi-kernel of size at most $|V(D)|/2$, a problem known as the small quasi-kernel conjecture (SQKC). The aim of this paper is to prove the SQKC under the assumption of a structural property of directed graphs. This relates the SQKC to the existence of a vertex $u\in V(D)$ and a bound on the number of new sources emerging when $u$ and its out-neighborhood are removed from $D$. The results in this work are of technical nature and therefore additionally verified by means of the Coq proof-assistant.