Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Distance-$k$ locating-dominating sets in graphs
Published in Bull. Inst. Combin. Appl., Vol. 95 (2022) pp.38-56
• Search Publication
Let $G$ be a graph with vertex set $V$, and let $k$ be a positive integer. A set $D \subseteq V$ is a \emph{distance-$k$ dominating set} of $G$ if, for each vertex $u \in V-D$, there exists a vertex $w\in D$ such that $d(u,w) \le k$, where $d(u,w)$ is the minimum number of edges linking $u$ and $w$ in $G$. Let $d_k(x, y)=\min\{d(x,y), k+1\}$. A set $R\subseteq V$ is a \emph{distance-$k$ resolving set} of $G$ if, for any pair of distinct $x,y\in V$, there exists a vertex $z\in R$ such that $d_k(x,z) \neq d_k(y,z)$. The \emph{distance-$k$ domination number} $γ_k(G)$ (\emph{distance-$k$ dimension} $\dim_k(G)$, respectively) of $G$ is the minimum cardinality of all distance-$k$ dominating sets (distance-$k$ resolving sets, respectively) of $G$. The \emph{distance-$k$ location-domination number}, $γ_L^k(G)$, of $G$ is the minimum cardinality of all sets $S\subseteq V$ such that $S$ is both a distance-$k$ dominating set and a distance-$k$ resolving set of $G$. Note that $γ_L^1(G)$ is the well-known location-domination number introduced by Slater in 1988. For any connected graph $G$ of order $n\ge 2$, we obtain the following sharp bounds: (1) $γ_k(G) \le \dim_k(G)+1$; (2) $2\leγ_k(G)+\dim_k(G) \le n$; (3) $1\le \max\{γ_k(G), \dim_k(G)\} \le γ_L^k(G) \le \min\{\dim_k(G)+1, n-1\}$. We characterize $G$ for which $γ_L^k(G)\in\{1, |V|-1\}$. We observe that $\frac{\dim_k(G)}{γ_k(G)}$ can be arbitrarily large. Moreover, for any tree $T$ of order $n\ge 2$, we show that $γ_L^k(T)\le n-ex(T)$, where $ex(T)$ denotes the number of exterior major vertices of $T$, and we characterize trees $T$ achieving equality. We also examine the effect of edge deletion on the distance-$k$ location-domination number of graphs.
Farey-subgraphs and Continued Fractions
Published
• View Publication
• BIB
In this note, we study a family of subgraphs of the Farey graph, denoted as $\mathcal{F}_N$ for every $N\in\mathbb{N}.$
We show that $\mathcal{F}_N$ is connected if and only if $N$ is either equal to one or a prime power. We introduce a class of continued fractions referred to as $\mathcal{F}_N$-continued fractions for each $N>1.$ We establish a relation between $\mathcal{F}_N$-continued fractions and certain paths from infinity in the graph $\mathcal{F}_N.$ We discuss existence and uniqueness of $\mathcal{F}_N$-continued fraction expansions of real numbers.
Isomorphism Testing Parameterized by Genus and Beyond
Published in SIAM J. Discret. Math. 38(1): 453-484 (2024)
• View Publication
• BIB
We give an isomorphism test for graphs of Euler genus $g$ running in time $2^{O(g^4 \log g)}n^{O(1)}$. Our algorithm provides the first explicit upper bound on the dependence on $g$ for an fpt isomorphism test parameterized by the Euler genus of the input graphs. The only previous fpt algorithm runs in time $f(g)n$ for some function $f$ (Kawarabayashi 2015). Actually, our algorithm even works when the input graphs only exclude $K_{3,h}$ as a minor. For such graphs, no fpt isomorphism test was known before.
The algorithm builds on an elegant combination of simple group-theoretic, combinatorial, and graph-theoretic approaches. In particular, we introduce $(t,k)$-WL-bounded graphs which provide a powerful tool to combine group-theoretic techniques with the standard Weisfeiler-Leman algorithm. This concept may be of independent interest.
Absolutely avoidable order-size pairs for induced subgraphs
Published
• View Publication
• BIB
We call a pair $(m,f)$ of integers, $m\geq 1$, $0\leq f \leq \binom{m}{2}$, \emph{absolutely avoidable} if there is $n_0$ such that for any pair of integers $(n,e)$ with $n>n_0$ and $0\leq e\leq \binom{n}{2}$ there is a graph on $n$ vertices and $e$ edges that contains no induced subgraph on $m$ vertices and $f$ edges. Some pairs are clearly not absolutely avoidable, for example $(m,0)$ is not absolutely avoidable since any sufficiently sparse graph on at least $m$ vertices contains independent sets on $m$ vertices. Here we show that there are infinitely many absolutely avoidable pairs. We give a specific infinite set $M$ such that for any $m\in M$, the pair $(m, \binom{m}{2}/2)$ is absolutely avoidable. In addition, among other results, we show that for any monotone integer function $q(m)$, $|q(m)|=O(m)$, there are infinitely many values of $m$ such that the pair $(m, \binom{m}{2}/2 +q(m))$ is absolutely avoidable.
Elliptic Ruijsenaars difference operators, symmetric polynomials, and Wess-Zumino-Witten fusion rings
Published in Sel. Math. New Ser. 29:5 (2023) 80
• View Publication
• BIB
The fusion ring for $\widehat{\mathfrak{su}}(n)_m$ Wess-Zumino-Witten conformal field theories is known to be isomorphic to a factor ring of the ring of symmetric polynomials presented by Schur polynomials. We introduce a deformation of this factor ring associated with eigenpolynomials for the elliptic Ruijsenaars difference operators. The corresponding Littlewood-Richardson coefficients are governed by a Pieri rule stemming from the eigenvalue equation. The orthogonality of the eigenbasis gives rise to an analog of the Verlinde formula. In the trigonometric limit, our construction recovers the refined $\widehat{\mathfrak{su}}(n)_m$ Wess-Zumino-Witten fusion ring associated with the Macdonald polynomials.
Weak faces of highest weight modules and root systems
Published
• View Publication
• BIB
Chari and Greenstein [Adv. Math. 2009] introduced combinatorial subsets of the roots of a finite-dimensional simple Lie algebra $\mathfrak{g}$ which were important in studying Kirillov-Reshetikhin modules over $U_q(\widehat{\mathfrak{g}})$ and their specializations. Later, Khare [J. Algebra. 2016] studied these subsets for many highest weight $\mathfrak{g}$-modules (in finite type), under the name of weak-$\mathbb{A}$-faces (for a subgroup $\mathbb{A}$ of $(\mathbb{R},+)$), and more generally, $(\{2\};\{1,2\})$-closed subsets. These notions extend and unify the faces of Weyl polytopes as well as the above combinatorial subsets.
In this paper, we consider these 'discrete' notions for all Kac-Moody algebras $\mathfrak{g}$, in four distinguished settings: (a) the weights of an arbitrary highest weight $\mathfrak{g}$-module $V$; (b) the convex hull of the weights of $V$; (c) the weights of the adjoint representation; (d) the roots of $\mathfrak{g}$. For (a) (resp., (b)) for all highest weight $\mathfrak{g}$-modules $V$, we show that the weak-$\mathbb{A}$-faces and $(\{2\};\{1,2\})$-closed subsets agree, and equal the sets of weights on exposed faces (resp., equal the exposed faces) of the convex hull of weights conv$_{\mathbb{R}}$ wt $V$. This completes the partial progress of Khare in finite type, and is novel in infinite type. Our proofs are type-free and self-contained.
For (c), (d) involving the root system, we similarly achieve complete classifications. For all Kac-Moody $\mathfrak{g}$ - interestingly, other than $\mathfrak{sl}_3, \widehat{\mathfrak{sl}_3}$ - we show the weak-$\mathbb{A}$-faces and $(\{2\};\{1,2\})$-closed subsets agree, and equal Weyl group translates of the sets of weights in certain 'standard faces' (which also holds for highest weight modules). This was proved by Chari and her coauthors for root systems in finite type, but is novel for other types.
Permutations of point sets in $\mathbb{R}^d$
Given a set $S$ consisting of $n$ points in $\mathbb{R}^d$ and one or two vantage points, we study the number of orderings of $S$ induced by measuring the distance (for one vantage point) or the average distance (for two vantage points) from the vantage point(s) to the points of $S$ as the vantage points move through $\mathbb{R}^d.$ With one vantage point, a theorem of Good and Tideman \cite{MR505547} shows the maximum number of orderings is a sum of unsigned Stirling numbers of the first kind. We show that the minimum value in all dimensions is $2n-2,$ achieved by $n$ equally spaced points on a line. We investigate special configurations that achieve intermediate numbers of orderings in the one--dimensional and two--dimensional cases. We also treat the case when the points are on the sphere $S^2,$ connecting spherical and planar configurations. We briefly consider an application using weights suggested by an application to social choice theory. We conclude with several open problems that we believe deserve further study.
Demicaps in AG(4,3) and Their Relation to Maximal Cap Partitions
Published
• View Publication
• BIB
In this paper, we introduce a fundamental substructure of maximal caps in the affine geometry $AG(4,3)$ that we call \emph{demicaps}. Demicaps provide a direct link to particular partitions of $AG(4,3)$ into 4 maximal caps plus a single point. The full collection of 36 maximal caps that are in exactly one partition with a given cap $C$ can be expressed as unions of two disjoint demicaps taken from a set of 12 demicaps; these 12 can also be found using demicaps in $C$. The action of the affine group on these 36 maximal caps includes actions related to the outer automorphisms of $S_6$.
On finite groups whose power graph is a cograph
Published in Journal of Algebra, 591 (2022), 59-74
• View Publication
• BIB
A $P_4$-free graph is called a cograph. In this paper we partially characterize finite groups whose power graph is a cograph. As we will see, this problem is a generalization of the determination of groups in which every element has prime power order, first raised by Graham Higman in 1957 and fully solved very recently.
First we determine all groups $G$ and $H$ for which the power graph of $G\times H$ is a cograph. We show that groups whose power graph is a cograph can be characterised by a condition only involving elements whose orders are prime or the product of two (possibly equal) primes. Some important graph classes are also taken under consideration. For finite simple groups we show that in most of the cases their power graphs are not cographs: the only ones for which the power graphs are cographs are certain groups PSL$(2,q)$ and Sz$(q)$ and the group PSL$(3,4)$. However, a complete determination of these groups involves some hard number-theoretic problems.
Twin Vertices in Fault-Tolerant Metric Sets and Fault-Tolerant Metric Dimension of Multistage Interconnection Networks
Published
• View Publication
• BIB
A set of vertices $S\subseteq V(G)$ is a basis or resolving set of a graph $G$ if for each $x,y\in V(G)$ there is a vertex $u\in S$ such that $d(x,u)\neq d(y,u)$. A basis $S$ is a fault-tolerant basis if $S\setminus \{x\}$ is a basis for every $x \in S$. The fault-tolerant metric dimension (FTMD) $β'(G)$ of $G$ is the minimum cardinality of a fault-tolerant basis. It is shown that each twin vertex of $G$ belongs to every fault-tolerant basis of $G$. As a consequence, $β'(G) = n(G)$ iff each vertex of $G$ is a twin vertex, which corrects a wrong characterization of graphs $G$ with $β'(G) = n(G)$ from [Mathematics 7(1) (2019) 78]. This FTMD problem is reinvestigated for Butterfly networks, Benes networks, and silicate networks. This extends partial results from [IEEE Access 8 (2020) 145435--145445], and at the same time, disproves related conjectures from the same paper.
Truncated Metric Dimension for Finite Graphs
Published
• View Publication
• BIB
A graph $G=(V,E)$ with geodesic distance $d(\cdot,\cdot)$ is said to be resolved by a non-empty subset $R$ of its vertices when, for all vertices $u$ and $v$, if $d(u,r)=d(v,r)$ for each $r\in R$, then $u=v$. The metric dimension of $G$ is the cardinality of its smallest resolving set. In this manuscript, we present and investigate the notions of resolvability and metric dimension when the geodesic distance is truncated with a certain threshold $k$; namely, we measure distances in $G$ using the metric $d_k(u,v):=\min\{d(u,v),k+1\}$. We denote the metric dimension of $G$ with respect to $d_k$ as $β_k(G)$. We study the behavior of this quantity with respect to $k$ as well as the diameter of $G$. We also characterize the truncated metric dimension of paths and cycles as well as graphs with extreme metric dimension, including graphs of order $n$ such that $β_k(G)=n-2$ and $β_k(G)=n-1$. We conclude with a study of various problems related to the truncated metric dimension of trees.
Grothendieck to Lascoux expansions
Published
• View Publication
• BIB
We establish the conjecture of Reiner and Yong for an explicit combinatorial formula for the expansion of a Grothendieck polynomial into the basis of Lascoux polynomials. This expansion is a subtle refinement of its symmetric function version due to Buch, Kresch, Shimozono, Tamvakis, and Yong, which gives the expansion of stable Grothendieck polynomials indexed by permutations into Grassmannian stable Grothendieck polynomials. Our expansion is the K-theoretic analogue of that of a Schubert polynomial into Demazure characters, whose symmetric analogue is the expansion of a Stanley symmetric function into Schur functions. Our expansions extend to flagged Grothendieck polynomials.
EMSO(FO$^2$) 0-1 law fails for all dense random graphs
Published
• View Publication
• BIB
In this paper, we disprove EMSO(FO$^2$) convergence law for the binomial random graph $G(n,p)$ for any constant probability $p$. More specifically, we prove that there exists an existential monadic second order sentence with 2 first order variables such that, for every $p\in(0,1)$, the probability that it is true on $G(n,p)$ does not converge.
Recovery from Power Sums
We study the problem of recovering a collection of $n$ numbers from the evaluation of $m$ power sums. This yields a system of polynomial equations, which can be underconstrained ($m < n$), square ($m = n$), or overconstrained ($m > n$). Fibers and images of power sum maps are explored in all three regimes, and in settings that range from complex and projective to real and positive. This involves surprising deviations from the Bézout bound, and the recovery of vectors from length measurements by $p$-norms.
A note on one-sided interval edge colorings of bipartite graphs
Published
• View Publication
• BIB
For a bipartite graph $G$ with parts $X$ and $Y$, an $X$-interval coloring is a proper edge coloring of $G$ by integers such that the colors on the edges incident to any vertex in $X$ form an interval. Denote by $χ'_{int}(G,X)$ the minimum $k$ such that $G$ has an $X$-interval coloring with $k$ colors. The author and Toft conjectured [Discrete Mathematics 339 (2016), 2628--2639] that there is a polynomial $P(x)$ such that if $G$ has maximum degree at most $Δ$, then $χ'_{int}(G,X) \leq P(Δ)$. In this short note, we prove this conjecture; in fact, we prove that a cubic polynomial suffices. We also deduce some improved upper bounds on $χ'_{int}(G,X)$ for bipartite graphs with small maximum degree.
Gorenstein and Cohen-Macaulay Matching Complexes
Published in Journal of Algebra and Its Applications, Vol. 22, No. 07 (2023), article no. 2350146
• View Publication
• BIB
Let $H$ be a simple undirected graph. The family of all matchings of $H$ forms a simplicial complex called the matching complex of $H$. Here , we give a classification of all graphs with a Gorenstein matching complex. Also we study when the matching complex of $H$ is Cohen-Macaulay and, in certain classes of graphs, we fully characterize those graphs which have a Cohen-Macaulay matching complex. In particular, we characterize when the matching complex of a graph with girth at least 5 or a complete graph is Cohen-Macaulay.
An alternate circular summation formula of theta functions and its applications
Published in Applicable Analysis and Discrete Mathematics 2012
• View Publication
• BIB
We prove a general alternate circular summation formula of theta functions, which implies a great deal of theta-function identities. In particular, we recover several identities in Ramanujan's Notebook from this identity. We also obtain two formulaes for $(q;q)_\infty^{2n}$.
The $q$-Onsager algebra and its alternating central extension
Published
• View Publication
• BIB
The $q$-Onsager algebra $O_q$ has a presentation involving two generators $W_0$, $W_1$ and two relations, called the $q$-Dolan/Grady relations. The alternating central extension $\mathcal O_q$ has a presentation involving the alternating generators $\lbrace \mathcal W_{-k}\rbrace_{k=0}^\infty$, $\lbrace \mathcal W_{k+1}\rbrace_{k=0}^\infty$, $ \lbrace \mathcal G_{k+1}\rbrace_{k=0}^\infty$, $\lbrace \mathcal {\tilde G}_{k+1}\rbrace_{k=0}^\infty$ and a large number of relations. Let $\langle \mathcal W_0, \mathcal W_1 \rangle$ denote the subalgebra of $\mathcal O_q$ generated by $\mathcal W_0$, $\mathcal W_1$. It is known that there exists an algebra isomorphism $O_q \to \langle \mathcal W_0, \mathcal W_1 \rangle$ that sends $W_0\mapsto \mathcal W_0$ and $W_1 \mapsto \mathcal W_1$. It is known that the center $\mathcal Z$ of $\mathcal O_q$ is isomorphic to a polynomial algebra in countably many variables.
It is known that the multiplication map $\langle \mathcal W_0, \mathcal W_1 \rangle \otimes \mathcal Z \to \mathcal O_q$, $ w \otimes z \mapsto wz$ is an isomorphism of algebras. We call this isomorphism the standard tensor product factorization of $\mathcal O_q$. In the study of $\mathcal O_q$ there are two natural points of view: we can start with the alternating generators, or we can start with the standard tensor product factorization. It is not obvious how these two points of view are related. The goal of the paper is to describe this relationship. We give seven main results; the principal one is an attractive factorization of the generating function for some algebraically independent elements that generate $\mathcal Z$.
Spectral properties of $p$-Sombor matrices and beyond
Published
• View Publication
• BIB
Let $G=(V(G),E(G))$ be a simple graph with vertex set $V(G)=\{v_{1},v_{2},\cdots, v_{n}\}$ and edge set $E(G)$. The $p$-Sombor matrix $\mathcal{S}_{p}(G)$ of $G$ is the square matrix of order $n$ whose $(i,j)$-entry is equal to $((d_{i})^{p}+(d_{j})^{p})^{\frac{1}{p}}$ if $v_{i}\sim v_{j}$, and 0 otherwise, where $d_{i}$ denotes the degree of vertex $v_{i}$ in $G$. In this paper, we study the relationship between $p$-Sombor index $SO_{p}(G)$ and $p$-Sombor matrix $\mathcal{S}_{p}(G)$ by the $k$-th spectral moment $N_{k}$ and the spectral radius of $\mathcal{S}_{p}(G)$. Then we obtain some bounds of $p$-Sombor Laplacian eigenvalues, $p$-Sombor spectral radius, $p$-Sombor spectral spread, $p$-Sombor energy and $p$-Sombor Estrada index. We also investigate the Nordhaus-Gaddum-type results for $p$-Sombor spectral radius and energy. At last, we give the regression model for boiling point and some other invariants.
Combinatorial and harmonic-analytic methods for integer tilings
A finite set of integers $A$ tiles the integers by translations if $\mathbb{Z}$ can be covered by pairwise disjoint translated copies of $A$. Restricting attention to one tiling period, we have $A\oplus B=\mathbb{Z}_M$ for some $M\in\mathbb{N}$ and $B\subset\mathbb{Z}$. This can also be stated in terms of cyclotomic divisibility of the mask polynomials $A(X)$ and $B(X)$ associated with $A$ and $B$.
In this article, we introduce a new approach to a systematic study of such tilings. Our main new tools are the box product, multiscale cuboids, and saturating spaces, developed through a combination of harmonic-analytic and combinatorial methods. We provide new criteria for tiling and cyclotomic divisibility in terms of these concepts. As an application, we can determine whether a set $A$ containing certain configuration can tile a cyclic group $\mathbb{Z}_M$, or recover a tiling set based on partial information about it. We also develop tiling reductions where a given tiling can be replaced by one or more tilings with a simpler structure. The tools introduced here are crucial in our proof in a follow-up paper that all tilings of period $(pqr)^2$, where $p,q,r$ are distinct odd primes, satisfy a tiling condition proposed by Coven and Meyerowitz.