Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Erdős Distance Problem in $\mathbb{R}^d$
In this paper, we prove Erdős distance conjecture in $\mathbb{R}^d$, namely, a set of $n$ points in $\mathbb{R}^2$ determines $Ω(\frac{n}{\sqrt{\log n}})$ distances, and for $d\ge 3$, a set of $n$ points in $\mathbb{R}^d$ determines $Ω(n^{\frac{2}{d}})$ distinct distances.
Packing a number of copies of a $(p,\,q)$-graph
Let $k,p,q$ be three positive integers. A graph $G$ with order $n$ is said to be $k$-placeable if there are $k$ edge disjoint copies of $G$ in the complete graph on $n$ vertices. A $(p,\,q)$-graph is a graph of order $p$ with $q$ edges. Packing results have proved useful in the study of the complexity of graph properties. Bollobás et al. investigated the $k$-placeable of $(n,\,n-2)$-graphs and $(n,\,n-1)$-graphs with $k=2$ and $k=3$. Motivated by their results, this paper characterizes $(n,\,n-1)$-graphs with girth at least $9$ which are $4$-placeable. We also consider the $k$-placeable of $(n,\,n+1)$-graphs and 2-factors.
The Genius Conjectures (via Bell Polynomials)
We present two related conjectures, arising in work on i-matchings in random r-regular bipartite graphs. The conjectures themselves are easily stated and involve only basic properties of convergent power series. One formulation involves Bell's polynomials. The conjectures name was chosen since we earnestly believe only a truly genius mathematician will prove them. We advise others not to try. A further belief is that the proof will arise from some deep properties of partitions.
Induced Ramsey number for a star versus a fixed graph
Published
• View Publication
• BIB
For graphs G and H, let the induced Ramsey number IR(H,G) be the smallest number of vertices in a graph F such that any coloring of the edges of F in red and blue, there is either a red induced copy of H or a blue induced copy of G. In this note we consider the case when G=Sn is a star on n edges, for large n, and H is a fixed graph. We prove that (r-1)n < IR(H, Sn) < (r-1)(r-1)n + cn, for any c>0, sufficiently large n, and r denoting the chromatic number of H. The lower bound is asymptotically tight for any fixed bipartite H. The upper bound is attained up to a constant factor, for example by a clique H.
On hybrid order dimension
Published
• View Publication
• BIB
The notion of interval order was introduced by Norbert Wiener \cite{wie} in order to clarify the relation between the notion of an instant of time and that of a period of time. This was a problem on which Bertrand Russell \cite{rus} worked at the time. Interval orders play an important role in many areas of pure and applied mathematics, graph theory, computer science and engineering. Special cases of interval order are the semiorder and linear order. All of these notions are especially important in the study of linear-interval and linear-semiorder dimension of a binary relation. This kind of dimension, which we call {\it hybrid order dimension}, gives a common generalization of linear order and interval order (semiorder) dimension and is arguably the most important measure of ordered set complexity. In this paper, we present three main results of the theory of hybrid order dimension. More specifically, we obtain necessary and sufficient conditions for a binary relation to have an interval order (resp. linear-interval order, linear-simiorder) extension, as well as an interval order realizer of interval orders (resp. linear-interval orders, linear-simiorders). We also obtain a characterization of the interval order (resp. linear-interval order, linear-simiorder) dimension. Because a binary relation's hybrid order dimension is less than its (linear) order dimension, these results will be able to improve known results in graph theory and computer science by identifying more efficient algorithms.
$P$-Schur positive $P$-Grothendieck Polynomials
Published in Australasian Journal of Combinatorics 85(2) (2023), 106-130
• Search Publication
The symmetric Grothendieck polynomials generalize Schur polynomials and are Schur-positive by degree. Combinatorially this is manifested as the generalization of semistandard Young tableaux by set-valued tableaux. We define a (weak) symmetric $P$-Grothendieck polynomial which generalizes $P$-Schur polynomials in the same way. Combinatorially this is manifested as the generalization of shifted semistandard Young tableaux by a new type of tableaux which we call shifted multiset tableaux.
Andrásfai and Vega graphs in Ramsey-Turán theory
Published in Journal of Graph Theory 98 (2021), no. 1, 57-80
• View Publication
• BIB
Given positive integers $n\ge s$, we let ${\mathrm{ex}}(n,s)$ denote the maximum number of edges in a triangle-free graph $G$ on $n$ vertices with $α(G)\le s$. In the early sixties Andrásfai conjectured that for $n/3<s<n/2$ the function ${\mathrm{ex}}(n, s)$ is piecewise quadratic with critical values at $s/n={k}/({3k-1})$. We confirm that this is indeed the case whenever $s/n$ is slightly larger than a critical value, thus determining ${\mathrm{ex}}(n,s)$ for all $n$ and $s$ such that $s/n\in [{k}/({3k-1}), {k}/({3k-1})+γ_k]$, where $γ_k=Θ(k^{-6})$.
Combinatorial formulas for the coefficients of the Al-Salam-Chihara polynomials
The Al-Salam-Chihara polynomials are an important family of orthogonal polynomials in one variable $x$ depending on 3 parameters $α$, $β$ and $q$. They are closely connected to a model from statistical mechanics called the partially asymmetric simple exclusion process (PASEP) and they can be obtained as a specialization of the Askey-Wilson polynomials. We give two different combinatorial formulas for the coefficients of the (transformed) Al-Salam-Chihara polynomials. Our formulas make manifest the fact that the coefficients are polynomials in $α$, $β$ and $q$ with positive coefficients.
Total Roman Domination Edge-Supercritical and Edge-Removal-Supercritical Graphs
A total Roman dominating function on a graph $G$ is a function $f:V(G)\rightarrow \{0,1,2\}$ such that every vertex $v$ with $f(v)=0$ is adjacent to some vertex $u$ with $f(u)=2$, and the subgraph of $G$ induced by the set of all vertices $w$ such that $f(w)>0$ has no isolated vertices. The weight of $f$ is $Σ_{v\in V(G)}f(v)$. The total Roman domination number $γ_{tR}(G)$ is the minimum weight of a total Roman dominating function on $G$. A graph $G$ is $k$-$γ_{tR}$-edge-critical if $γ_{tR}(G+e)<γ_{tR}(G)=k$ for every edge $e\in E(\overline{G})\neq\emptyset $, and $k$-$γ_{tR}$-edge-supercritical if it is $k$-$γ_{tR}$-edge-critical and $γ_{tR}(G+e)=γ_{tR}(G)-2$ for every edge $e\in E(\overline{G})\neq \emptyset $. A graph $G$ is $k$-$γ_{tR}$-edge-stable if $γ_{tR}(G+e)=γ_{tR}(G)=k$ for every edge $e\in E(\overline{G})$ or $E(\overline{G})=\emptyset$. For an edge $e\in E(G)$ incident with a degree $1$ vertex, we define $γ_{tR}(G-e)=\infty$. A graph $G$ is $k$-$γ_{tR}$-edge-removal-critical if $γ_{tR}(G-e)>γ_{tR}(G)=k$ for every edge $e\in E(G)$, and $k$-$γ_{tR}$-edge-removal-supercritical if it is $k$-$γ_{tR}$-edge-removal-critical and $γ_{tR}(G-e)\geqγ_{tR}(G)+2$ for every edge $e\in E(G)$. A graph $G$ is $k$-$γ_{tR}$-edge-removal-stable if $γ_{tR}(G-e)=γ_{tR}(G)=k$ for every edge $e\in E(G)$. We investigate connected $γ_{tR}$-edge-supercritical graphs and exhibit infinite classes of such graphs. In addition, we characterize $γ_{tR}$-edge-removal-critical and $γ_{tR}$-edge-removal-supercritical graphs. Furthermore, we present a connection between $k$-$γ_{tR}$-edge-removal-supercritical and $k$-$γ_{tR}$-edge-stable graphs, and similarly between $k$-$γ_{tR}$-edge-supercritical and $k$-$γ_{tR}$-edge-removal-stable graphs.
A two-sided Faulhaber-like formula involving Bernoulli polynomials
Published in Comptes Rendus Mathématique, 357 (2020) 1
• View Publication
• BIB
We give a new identity involving Bernoulli polynomials and combinatorial numbers. This provides, in particular, a Faulhaber-like formula for sums of the form $1^m (n-1)^m + 2^m (n-2)^m + \cdots + (n-1)^m 1^m$ for positive integers $m$ and $n$.
Combinatorics of 3D directed animals on a simple cubic lattice
We provide combinatorial arguments based on a two-dimensional extension of a locally-free semigroup allowing us to compute the growth rate, $Λ$, of the partition function $Z_N=N^θΛ^N$ of the $N$-particle directed animals ($N\gg 1$) on a simple cubic lattice in a three-dimensional space. Establishing the bijection between the particular configuration of the lattice animal and a class of equivalences of words in the 2D projective locally-free semigroup, we find we find $\ln Λ= \lim_{N\to\infty} \ln Z_N / N$ with $Λ= 2(\sqrt{2}+1) \approx 4.8284$.
Generalized Fishburn numbers and torus knots
Published in Journal of Combinatorial Theory, Series A 178 (2021), 105355
• View Publication
• BIB
Andrews and Sellers recently initiated the study of arithmetic properties of Fishburn numbers. In this paper, we prove prime power congruences for generalized Fishburn numbers. These numbers are the coefficients in the $1-q$ expansion of the Kontsevich-Zagier series $\mathscr{F}_{t}(q)$ for the torus knots $T(3,2^t)$, $t \geq 2$. The proof uses a strong divisibility result of Ahlgren, Kim and Lovejoy and a new "strange identity" for $\mathscr{F}_{t}(q)$.
On the construction of cospectral graphs for the adjacency and normalized Laplacian matrices
Published
• View Publication
• BIB
In [Steve Butler. A note about cospectral graphs for the adjacency and normalized Laplacian matrices. Linear Multilinear Algebra, 58(3-4):387-390, 2010.], Butler constructed a family of bipartite graphs, which are cospectral for both the adjacency and the normalized Laplacian matrices. In this article, we extend this construction for generating larger classes of bipartite graphs, which are cospectral for both the adjacency and the normalized Laplacian matrices. Also, we provide a couple of constructions of non-bipartite graphs, which are cospectral for the adjacency matrices but not necessarily for the normalized Laplacian matrices.
A lower bound on the number of inequivalent APN functions
Published
• View Publication
• BIB
In this paper, we establish a lower bound on the total number of inequivalent APN functions on the finite field with $2^{2m}$ elements, where $m$ is even. We obtain this result by proving that the APN functions introduced by Pott and the second author, that depend on three parameters $k$, $s$ and $α$, are pairwise inequivalent for distinct choices of the parameters $k$ and $s$. Moreover, we determine the automorphism group of these APN functions.
Algorithmic Complexity of Secure Connected Domination in Graphs
Published
• View Publication
• BIB
Let $G = (V,E)$ be a simple, undirected and connected graph. A connected (total) dominating set $S \subseteq V$ is a secure connected (total) dominating set of $G$, if for each $ u \in V \setminus S$, there exists $v \in S$ such that $uv \in E$ and $(S \setminus \lbrace v \rbrace) \cup \lbrace u \rbrace $ is a connected (total) dominating set of $G$. The minimum cardinality of a secure connected (total) dominating set of $G$ denoted by $ γ_{sc} (G) (γ_{st}(G))$, is called the secure connected (total) domination number of $G$. In this paper, we show that the decision problems corresponding to secure connected domination number and secure total domination number are NP-complete even when restricted to split graphs or bipartite graphs. The NP-complete reductions also show that these problems are w[2]-hard. We also prove that the secure connected domination problem is linear time solvable in block graphs and threshold graphs.
On the nonorientable genus of the generalized unit and unitary Cayley graphs of a commutative ring
Published in Algebra Colloq. 29 (2022), no. 1, 167-180
• View Publication
• BIB
Let $R$ be a commutative ring and let $U(R)$ be multiplicative group of unit elements of $R$. In 2012, Khashyarmanesh et al. defined generalized unit and unitary Cayley graph, $Γ(R, G, S)$, corresponding to a multiplicative subgroup $G$ of $U(R)$ and a non-empty subset $S$ of $G$ with $S^{-1}=\{s^{-1} \mid s\in S\}\subseteq S$, as the graph with vertex set $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if there exists $s\in S$ such that $x+sy \in G$. In this paper, we characterize all Artinian rings $R$ whose $Γ(R,U(R), S)$ is projective. This leads to determine all Artinian rings whose unit graphs, unitary Cayley garphs and co-maximal graphs are projective. Also, we prove that for an Artinian ring $R$ whose $Γ(R, U(R), S)$ has finite nonorientable genus, $R$ must be a finite ring. Finally, it is proved that for a given positive integer $k$, the number of finite rings $R$ whose $Γ(R, U(R), S)$ has nonorientable genus $k$ is finite.
A sign pattern with non-zero elements on the diagonal whose minimal rank realizations are not diagonalizable over the complex numbers
Published
• View Publication
• BIB
The rank of the $9\times 9$ matrix $$ \left( \begin{array}{cccc|c|cccc} 1&1&0&0&1&0&0&0&0\\ 1&1&0&0&0&0&0&0&0\\ 0&0&1&1&1&0&0&0&0\\ 0&0&1&1&0&0&0&0&0\\\hline 0&0&0&0&1&0&1&0&1\\\hline 0&0&0&0&0&1&1&0&0\\ 0&0&0&0&0&1&1&0&0\\ 0&0&0&0&0&0&0&1&1\\ 0&0&0&0&0&0&0&1&1 \end{array} \right) $$ is $6$. If we replace the ones by arbitrary non-zero numbers, we get a matrix $B$ with $\operatorname{rank} B\geqslant6$, and if $\operatorname{rank} B=6$, the $6\times 6$ principal minors of $B$ vanish.
Repeated patterns in proper colourings
Published
• View Publication
• BIB
For a fixed graph $H$, what is the smallest number of colours $C$ such that there is a proper edge-colouring of the complete graph $K_n$ with $C$ colours containing no two vertex-disjoint colour-isomorphic copies, or repeats, of $H$? We study this function and its generalisation to more than two copies using a variety of combinatorial, probabilistic and algebraic techniques. For example, we show that for any tree $T$ there exists a constant $c$ such that any proper edge-colouring of $K_n$ with at most $c n^2$ colours contains two repeats of $T$, while there are colourings with at most $c' n^{3/2}$ colours for some absolute constant $c'$ containing no three repeats of any tree with at least two edges. We also show that for any graph $H$ containing a cycle there exist $k$ and $c$ such that there is a proper edge-colouring of $K_n$ with at most $c n$ colours containing no $k$ repeats of $H$, while, for a tree $T$ with $m$ edges, a colouring with $o(n^{(m+1)/m})$ colours contains $ω(1)$ repeats of $T$.
Descents on quasi-Stirling permutations
Published
• View Publication
• BIB
Stirling permutations were introduced by Gessel and Stanley, who used their enumeration by the number of descents to give a combinatorial interpretation of certain polynomials related to Stirling numbers.
Quasi-Stirling permutations, which can be viewed as labeled noncrossing matchings, were introduced by Archer et al. as a natural extension of Stirling permutations. Janson's correspondence between Stirling permutations and labeled increasing plane trees extends to a bijection between quasi-Stirling permutations and the same set of trees without the increasing restriction.
Archer et al. posed the problem of enumerating quasi-Stirling permutations by the number of descents, and conjectured that there are $(n+1)^{n-1}$ such permutations of size $n$ having the maximum number of descents. In this paper we prove their conjecture, and we give the generating function for quasi-Stirling permutations by the number of descents, expressed as a compositional inverse of the generating function of Eulerian polynomials. We also find the analogue for quasi-Stirling permutations of the main result from Gessel and Stanley's paper. We prove that the distribution of descents on these permutations is asymptotically normal, and that the roots of the corresponding quasi-Stirling polynomials are all real, in analogy to Bóna's results for Stirling permutations.
Finally, we generalize our results to a one-parameter family of permutations that extends $k$-Stirling permutations, and we refine them by also keeping track of the number of ascents and the number of plateaus.
Enumerative problems for arborescences and monotone paths on polytope graphs
Published
• View Publication
• BIB
Every generic linear functional $f$ on a convex polytope $P$ induces an orientation on the graph of $P$. From the resulting directed graph one can define a notion of $f$-arborescence and $f$-monotone path on $P$, as well as a natural graph structure on the vertex set of $f$-monotone paths. These concepts are important in geometric combinatorics and optimization.
This paper bounds the number of $f$-arborescences, the number of $f$-monotone paths, and the diameter of the graph of $f$-monotone paths for polytopes $P$ in terms of their dimension and number of vertices or facets.