Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Mean Sombor index
We introduce a degree-based variable topological index inspired on the power (or generalized) mean. We name this new index as the mean Sombor index: $mSO_α(G) = \sum_{uv \in E(G)} \left[\left( d_u^α+d_v^α\right) /2 \right]^{1/α}$. Here, $uv$ denotes the edge of the graph $G$ connecting the vertices $u$ and $v$, $d_u$ is the degree of the vertex $u$, and $α\in \mathbb{R} \backslash \{0\}$. We also consider the limit cases $mSO_{α\to 0}(G)$ and $mSO_{α\to\pm\infty}(G)$. Indeed, for given values of $α$, the mean Sombor index is related to well-known topological indices such as the inverse sum indeg index, the reciprocal Randic index, the first Zagreb index, the Stolarsky--Puebla index and several Sombor indices. Moreover, through a quantitative structure property relationship (QSPR) analysis we show that $mSO_α(G)$ correlates well with several physicochemical properties of octane isomers. Some mathematical properties of mean Sombor indices as well as bounds and new relationships with known topological indices are also discussed.
On the discretised $ABC$ sum-product problem
Published
• View Publication
• BIB
Let $0 < β\leq α< 1$ and $κ> 0$. I prove that there exists $η> 0$ such that the following holds for every pair of Borel sets $A,B \subset \mathbb{R}$ with $\dim_{\mathrm{H}} A = α$ and $\dim_{\mathrm{H}} B = β$: $$\dim_{\mathrm{H}} \{c \in \mathbb{R} : \dim_{\mathrm{H}} (A + cB) \leq α+ η\} \leq \tfrac{α- β}{1 - β} + κ.$$ This extends a result of Bourgain from 2010, which contained the case $α= β$. The paper also contains a $δ$-discretised, and somewhat stronger, version of the estimate above, and new information on the size of long sums of the form $a_{1}B + \ldots + a_{n}B$.
Partial order alignment by adjacencies and breakpoints
Linearizing two partial orders to maximize the number of adjacencies and minimize the number of breakpoints is APX-hard. This holds even if one of the two partial orders is already a linear order and the other is an interval order, or if both partial orders are weak orders.
Lattice paths with a first return decomposition constrained by the maximal height of a pattern
We consider the system of equations $A_k(x)=p(x)A_{k-1}(x)(q(x)+\sum_{i=0}^k A_i(x))$ for $k\geq r+1$ where $A_i(x)$, $0\leq i \leq r$, are some given functions and show how to obtain a close form for $A(x)=\sum_{k\geq 0}A_k(x)$. We apply this general result to the enumeration of certain subsets of Dyck, Motzkin, skew Dyck, and skew Motzkin paths, defined recursively according to the first return decomposition with a monotonically non-increasing condition relative to the maximal ordinate reached by an occurrence of a given pattern $π$.
On lattice width of lattice-free polyhedra and height of Hilbert bases
Published
• View Publication
• BIB
We study the lattice width of lattice-free polyhedra given by $\mathbf{A}\mathbf{x}\leq\mathbf{b}$ in terms of $Δ(\mathbf{A})$, the maximal $n\times n$ minor in absolute value of $\mathbf{A}\in\mathbb{Z}^{m\times n}$. Our main contribution is to link the lattice width of lattice-free polyhedra to the height of Hilbert bases and to the diameter of finite abelian groups. This leads to a bound on the lattice width of lattice-free pyramids which solely depends on $Δ(\mathbf{A})$ provided a conjecture regarding the height of Hilbert bases holds. Further, we exploit a combination of techniques to obtain novel bounds on the lattice width of simplices. A second part of the paper is devoted to a study of the above mentioned Hilbert basis conjecture. We give a complete characterization of the Hilbert basis if $Δ(\mathbf{A}) = 2$ which implies the conjecture in that case and prove its validity for simplicial cones.
Growth estimates and diameter bounds for untwisted classical groups
Babai's conjecture states that, for any finite simple non-abelian group $G$, the diameter of $G$ is bounded by $(\log|G|)^{C}$ for some absolute constant $C$. We prove that, for any untwisted classical group $G$ of rank $r$ defined over a field $\mathbb{F}_{q}$ with $q$ not too small with respect to $r$, \begin{equation*} \mathrm{diam}(G(\mathbb{F}_{q}))\leq(\log|G(\mathbb{F}_{q})|)^{408r^{4}}. \end{equation*} This bound improves on results by Breuillard, Green, and Tao [9], Pyber and Szabó [38], and, for $q$ large enough, also by Halasi, Maróti, Pyber, and Qiao [16]. Our approach is in several ways closer to that of preexistent work by Helfgott [20], in that we give dimensional estimates (that is, bounds of the form $|A\cap V(\mathbb{F}_{q})|\ll|A^{C}|^{\dim(V)/\dim(G)}$, where $A$ is any generating set) for varieties $V$ of specific types, and work in the Lie algebra whenever possible. One of our main tools is a new, more efficient form of escape from subvarieties.
Representation theory and the diagonal coinvariant ring of the type B Weyl group
Published
• View Publication
• BIB
We explain how to use representation theory to give a lower bound on the dimension of the quotient ring by type $B_n$ diagonal invariants that improves upon the current known lower bound $(2n+1)^n$ by a quadratic polynomial in $n$.
Non-chromatic-adherence of the DP Color Function via Generalized Theta Graphs
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring that has been widely studied in recent years after its introduction by Dvořák and Postle in 2015. The chromatic polynomial of a graph is an extensively studied notion in combinatorics since its introduction by Birkhoff in 1912; denoted $P(G,m)$, it equals the number of proper $m$-colorings of graph $G$. Counting function analogues of the chromatic polynomial have been introduced and studied for list colorings: $P_{\ell}$, the list color function (1990); DP colorings: $P_{DP}$, the DP color function (2019), and $P^*_{DP}$, the dual DP color function (2021). For any graph $G$ and $m \in \mathbb{N}$, $P_{DP}(G, m) \leq P_\ell(G,m) \leq P(G,m) \leq P_{DP}^*(G,m)$. A function $f$ is chromatic-adherent if for every graph $G$, $f(G,a) = P(G,a)$ for some $a \geq χ(G)$ implies that $f(G,m) = P(G,m)$ for all $m \geq a$. It is not known if the list color function and the DP color function are chromatic-adherent. We show that the DP color function is not chromatic-adherent by studying the DP color function of Generalized Theta graphs. The tools we develop along with the Rearrangement Inequality give a new method for determining the DP color function of all Theta graphs and the dual DP color function of all Generalized Theta graphs.
The pre-Pieri rules
Let $R$ be a commutative ring and $n\geq1$ and $p\geq0$ two integers. Let $h_{k,\ i}$ be an element of $R$ for all $k\in\mathbb Z$ and $i\in [n]$. For any $α\in\mathbb Z^n$, we define \[ t_α:=\det\begin{pmatrix} h_{α_1+1,\ 1} & h_{α_1+2,\ 1} & \cdots & h_{α_1+n,\ 1}\\ h_{α_2+1,\ 2} & h_{α_2+2,\ 2} & \cdots & h_{α_2+n,\ 2}\\ \vdots & \vdots & \ddots & \vdots\\ h_{α_n+1,\ n} & h_{α_n+2,\ n} & \cdots & h_{α_n+n,\ n} \end{pmatrix} \in R \] (where $α_i$ denotes the $i$-th entry of $α$). Then, we have the identity \[ \sum_{\substack{β\in\{0,1,2,\ldots\}^n ;\\ \left|β\right|=p}}t_{α+β} =\det \begin{pmatrix} h_{α_1+1,\ 1} & h_{α_1+2,\ 1} & \cdots & h_{α_1+(n-1),\ 1} & h_{α_1+(n+p),\ 1}\\ h_{α_2+1,\ 2} & h_{α_2+2,\ 2} & \cdots & h_{α_2+(n-1),\ 2} & h_{α_2+(n+p),\ 2}\\ \vdots & \vdots & \ddots & \vdots & \vdots\\ h_{α_n+1,\ n} & h_{α_n+2,\ n} & \cdots & h_{α_n+(n-1),\ n} & h_{α_n+(n+p),\ n} \end{pmatrix} \] (where $α+β$ denotes the entrywise sum of the tuples $α$ and $β$). Furthermore, if $p\leq n$, then \[ \sum_{\substack{β\in\left\{ 0,1\right\} ^n ;\\\left| β\right| =p}}t_{α+β}=\det \begin{pmatrix} h_{α_1+ξ_1 ,\ 1} & h_{α_1+ξ_2 ,\ 1} & \cdots & h_{α_1+ξ_n ,\ 1}\\ h_{α_2+ξ_1 ,\ 2} & h_{α_2+ξ_2 ,\ 2} & \cdots & h_{α_2+ξ_n ,\ 2}\\ \vdots & \vdots & \ddots & \vdots\\ h_{α_n+ξ_1 ,\ n} & h_{α_n+ξ_2 ,\ n} & \cdots & h_{α_n+ξ_n ,\ n} \end{pmatrix} , \] where $ξ=(1,2,\ldots,n-p,n-p+2,n-p+3,\ldots,n+1)$. We prove these two identities (in a slightly more general setting, where $R$ is not assumed commutative) and use them to derive some variants of the Pieri rule found in the literature.
Anti-Ramsey problems in the generalized Petersen graphs for cycles
Published
• View Publication
• BIB
The anti-Ramsey number $Ar(G,H)$ is the maximum number of colors in an edge-coloring of $G$ with no rainbow copy of $H$. In this paper, we determine the exact anti-Ramsey number in the generalized Petersen graph $P_{n,k}$ for cycles $C_d$, where $1\leq k\leq \lfloor \frac{n-1}{2} \rfloor$ and $5\le d \le 6$. We also give an algorithm to obtain the upper bound or lower bound of anti-Ramsey number.
Taylor's series expansions for real powers of functions containing squares of inverse (hyperbolic) cosine functions, explicit formulas for special partial Bell polynomials, and series representations for powers of circular constant
Published in Demonstratio Mathematica Vol. 55, no. 1, pp. 710--736 (2022)
• View Publication
• BIB
In the paper, by virtue of expansions of two finite products of finitely many square sums, with the aid of series expansions of composite functions of (hyperbolic) sine and cosine functions with inverse sine and cosine functions, and in the light of properties of partial Bell polynomials, the author establishes Taylor's series expansions of real powers of two functions containing squares of inverse (hyperbolic) cosine functions in terms of the Stirling numbers of the first kind, presents an explicit formula of specific partial Bell polynomials at a sequence of derivatives of a function containing the square of inverse cosine function, derives several combinatorial identities involving the Stirling numbers of the first kind, demonstrates several series representations of the circular constant Pi and its real powers, recovers series expansions of positive integer powers of inverse (hyperbolic) sine functions in terms of the Stirling numbers of the first kind, and also deduces other useful, meaningful, and significant conclusions.
Variants of the Domination Number for Flower Snarks
Published
• View Publication
• BIB
We consider the flower snarks, a widely studied infinite family of 3--regular graphs. For the Flower snark $J_n$ on $4n$ vertices, it is trivial to show that the domination number of $J_n$ is equal to $n$. However, results are more difficult to determine for variants of domination. The Roman domination, weakly convex domination, and convex domination numbers have been determined for flower snarks in previous works. We add to this literature by determining the independent domination, 2-domination, total domination, connected domination, upper domination, secure Domination and weak Roman domination numbers for flower snarks.
On an infinite family of generalized PBIBDs
We consider a generalization of the notion of partially balanced incomplete block designs (PBIBDs), by relaxing the requirement that the underlying association scheme be commutative. An infinite family of such generalizations is constructed, one for each prime power $q$ congruent to $1$ modulo $4$.
Flexing infinite frameworks with applications to braced Penrose tilings
Published in Discrete Applied Mathematics. 324:1--17, 2023
• View Publication
• BIB
A planar framework -- a graph together with a map of its vertices to the plane -- is flexible if it allows a continuous deformation preserving the distances between adjacent vertices. Extending a recent previous result, we prove that a connected graph with a countable vertex set can be realized as a flexible framework if and only if it has a so-called NAC-coloring. The tools developed to prove this result are then applied to frameworks where every 4-cycle is a parallelogram, and countably infinite graphs with $n$-fold rotational symmetry. With this, we determine a simple combinatorial characterization that determines whether the 1-skeleton of a Penrose rhombus tiling with a given set of braced rhombi will have a flexible motion, and also whether the motion will preserve 5-fold rotational symmetry.
Further Extensions of the Grötzsch Theorem
Published
• View Publication
• BIB
The Grötzsch Theorem states that every triangle-free planar graph admits a proper $3$-coloring. Among many of its generalizations, the one of Grünbaum and Aksenov, giving $3$-colorability of planar graphs with at most three triangles, is perhaps the most known. A lot of attention was also given to extending $3$-colorings of subgraphs to the whole graph. In this paper, we consider $3$-colorings of planar graphs with at most one triangle. Particularly, we show that precoloring of any two non-adjacent vertices and precoloring of a face of length at most $4$ can be extended to a $3$-coloring of the graph. Additionally, we show that for every vertex of degree at most $3$, a precoloring of its neighborhood with the same color extends to a $3$-coloring of the graph. The latter result implies an affirmative answer to a conjecture on adynamic coloring. All the presented results are tight.
The size-Ramsey number of cubic graphs
Published
• View Publication
• BIB
We show that the size-Ramsey number of any cubic graph with $n$ vertices is $O(n^{8/5})$, improving a bound of $n^{5/3 + o(1)}$ due to Kohayakawa, Rödl, Schacht, and Szemerédi. The heart of the argument is to show that there is a constant $C$ such that a random graph with $C n$ vertices where every edge is chosen independently with probability $p \geq C n^{-2/5}$ is with high probability Ramsey for any cubic graph with $n$ vertices. This latter result is best possible up to the constant.
Algebraic connectivity: local and global maximizer graphs
Published
• View Publication
• BIB
Algebraic connectivity is one way to quantify graph connectivity, which in turn gauges robustness as a network. In this paper, we consider the problem of maximising algebraic connectivity both local and globally over all simple, undirected, unweighted graphs with a given number of vertices and edges. We pursue this optimization by equivalently minimizing the largest eigenvalue of the Laplacian of the 'complement graph'. We establish that the union of complete subgraphs are largest eigenvalue "local" minimizer graphs. Further, under sufficient conditions satisfied by the edge/vertex counts we prove that this union of complete components graphs are, in fact, Laplacian largest eigenvalue "global" maximizers; these results generalize the ones in the literature that are for just two components. These sufficient conditions can be viewed as quantifying situations where the component sizes are either 'quite homogeneous' or some of them are relatively 'negligibly small', and thus generalize known results of homogeneity of components. We finally relate this optimization with the Discrete Fourier Transform (DFT) and circulant graphs/matrices.
The early evolution of the random graph process in planar graphs and related classes
Published
• View Publication
• BIB
We study the random planar graph process introduced by Gerke, Schlatter, Steger, and Taraz [The random planar graph process, Random Structures Algorithms 32 (2008), no. 2, 236--261; MR2387559]: Begin with an empty graph on $n$ vertices, consider the edges of the complete graph $K_n$ one by one in a random ordering, and at each step add an edge to a current graph only if the graph remains planar. They studied the number of edges added up to step $t$ for 'large' $t=ω(n)$. In this paper we extend their results by determining the asymptotic number of edges added up to step $t$ in the early evolution of the process when $t=O(n)$. We also show that this result holds for a much more general class of graphs, including outerplanar graphs, planar graphs, and graphs on surfaces.
Two Disjoint Alternating Paths in Bipartite Graphs
A bipartite graph B is called a brace if it is connected and every matching of size at most two in B is contained in some perfect matching of B and a cycle C in B is called conformal if B-V(C) has a perfect matching. We show that there do not exist two disjoint alternating paths that form a cross over a conformal cycle C in a brace B if and only if one can reduce B, by an application of a matching theoretic analogue of small clique sums, to a planar brace H in which C bounds a face. We then utilise this result and provide a polynomial time algorithm which solves the 2-linkage problem for alternating paths in bipartite graphs with perfect matchings.
Alternating sign matrices of finite multiplicative order
We investigate alternating sign matrices that are not permutation matrices, but have finite order in a general linear group. We classify all such examples of the form $P+T$, where $P$ is a permutation matrix and $T$ has four non-zero entries, forming a square with entries $1$ and $-1$ in each row and column. We show that the multiplicative orders of these matrices do not always coincide with those of permutation matrices of the same size. We pose the problem of identifying finite subgroups of general linear groups that are generated by alternating sign matrices.