Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Wall's continued-fraction characterization of Hausdorff moment sequences: A conceptual proof
Published in Proc. Amer. Math. Soc. 148, 2111-2116 (2020)
• View Publication
• BIB
I give an elementary proof of Wall's continued-fraction characterization of Hausdorff moment sequences.
A note on Kostka numbers
We give an elementary proof of a well-known result on Kostka numbers, following a question from Mark Wildon on MathOverflow. Namely, we show that given partitions $λ,μ,ν$ of $n$ with $μ\trianglerighteqν$, we have $K_{λν}\geqslant K_{λμ}$.
Sparse graphs are near-bipartite
Published in SIAM Journal on Discrete Math. Vol. 34(3), 2020, pp. 1725-1768
• View Publication
• BIB
A multigraph $G$ is near-bipartite if $V(G)$ can be partitioned as $I,F$ such that $I$ is an independent set and $F$ induces a forest. We prove that a multigraph $G$ is near-bipartite when $3|W|-2|E(G[W])|\ge -1$ for every $W\subseteq V(G)$, and $G$ contains no $K_4$ and no Moser spindle. We prove that a simple graph $G$ is near-bipartite when $8|W|-5|E(G[W])|\ge -4$ for every $W\subseteq V(G)$, and $G$ contains no subgraph from some finite family $\mathcal{H}$. We also construct infinite families to show that both results are best possible in a very sharp sense.
Birkhoff polytopes of different type and the orthant-lattice property
The Birkhoff polytope, defined to be the convex hull of $n\times n$ permutation matrices, is a well studied polytope in the context of the Ehrhart theory. This polytope is known to have many desirable properties, such as the Gorenstein property and existence of regular, unimodular triangulations. In this paper, we study analogues of the Birkhoff polytope for finite irreducible Coxeter groups of other types. We focus on a type-$B$ Birkhoff polytope $\mathcal{BB}(n)$ arising from signed permutation matrices and prove that it and its dual polytope are reflexive, and hence Gorenstein, and also possess regular, unimodular triangulations. Noting that our triangulation proofs do not rely on the combinatorial structure of $\mathcal{BB}(n)$, we define the notion of an orthant-lattice property polytope and use this to prove more general results for the existence of regular, unimodular triangulations and unimodular covers for a significant family of reflexive polytopes. We conclude by remarking on some connections to Gale-duality, Birkhoff polytopes of other types, and possible applications of orthant-lattice property.
Hook inequalities
Published
• View Publication
• BIB
We give an elementary proof of the recent hook inequality given in [MPP3]: $\prod_{u\in λ} h(u) \, \le \, \prod_{u\in λ} h^\ast(u),$ where $h(u)$ is the usual hook in Young diagram $λ$, and $h^\ast(i,j)=i+j-1$. We then obtain a large variety of similar inequalities and their high-dimensional generalizations.
A note on $k$-metric dimensional graphs
Published
• View Publication
• BIB
Given a graph $G = (V,E)$, a set $S \subset V$ is called a $k$-\emph{metric generator} for $G$ if any pair of different vertices of $G$ is distinguished by at least $k$ elements of $S$. A graph is $k$-\emph{metric dimensional} if $k$ is the largest integer such that there exists a $k$-metric generator for $G$. This paper studies some bounds on the number $k$ for which a graph is $k$-metric dimensional.
Some exact solutions of the Volterra lattice
Published in Theoret. Math. Phys. 201:1 (2019) 1442-1456
• View Publication
• BIB
We study solutions of the Volterra lattice satisfying the stationary equation for its non-autonomous symmetry. It is shown that the dynamics in $t$ and $n$ are governed by the continuous and discrete Painlevé equations, respectively. The class of initial data leading to regular solutions is described. For the lattice on the half-line, these solutions are expressed in terms of the confluent hypergeometric function. The Hankel transform of the coefficients of the corresponding Taylor series is computed on the basis of the Wronskian representation of the solution.
Combinatorially formal arrangements are not determined by their points and lines
An arrangement of hyperplanes is called formal, if the relations between the hyperplanes are generated by relations in codimension 2. Formality is not a combinatorial property, raising the question for a characterization for combinatorial formality. A sufficient condition for this is if the underlying matroid has no proper lift with the same points and lines. We present an example of a matroid with such a lift but no non-formal realization, thus showing that above condition is not necessary for combinatorial formality.
The undecidability of joint embedding and joint homomorphism for hereditary graph classes
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018 (December 13, 2019) dmtcs:5325
• View Publication
• BIB
We prove that the joint embedding property is undecidable for hereditary graph classes, via a reduction from the tiling problem. The proof is then adapted to show the undecidability of the joint homomorphism property as well.
Metric dimension of maximal outerplanar graphs
Published in Bull. Malays. Math. Sci. Soc. (2021) 44:2603-2630
• View Publication
• BIB
In this paper, we study the metric dimension problem in maximal outerplanar graphs. Concretely, if $β(G)$ is the metric dimension of a maximal outerplanar graph $G$ of order $n$, we prove that $2\le β(G) \le \lceil \frac{2n}{5}\rceil$ and that the bounds are tight. We also provide linear algorithms to decide whether the metric dimension of $G$ is 2 and to build a resolving set of size $\lceil \frac{2n}{5}\rceil$ for $G$. Moreover, we characterize the maximal outerplanar graphs with metric dimension 2.
The Neighbor-Locating-Chromatic Number of Pseudotrees
Published in Discuss. Math. Graph T. 43 (2023) 659-675
• View Publication
• BIB
A $k$-coloring of a graph $G$ is a partition of the set of vertices of $G$ into $k$ independent sets, which are called colors. A $k$-coloring is neighbor-locating if any two vertices belonging to the same color can be distinguished from each other by the colors of their respective neighbors. The neighbor-locating chromatic number $χ_{_{NL}}(G)$ is the minimum cardinality of a neighbor-locating coloring of $G$. In this paper, we determine the neighbor-locating chromatic number of paths, cycles, fans, and wheels. Moreover, a procedure to construct a neighbor-locating coloring of minimum cardinality for these families of graphs is given. We also obtain tight upper bounds on the order of trees and unicyclic graphs in terms of the neighbor-locating chromatic number. Further partial results for trees are also established.
Branch-depth: Generalizing tree-depth of graphs
Published in European J. Combin., 90(December 2020), 103186
• View Publication
• BIB
We present a concept called the branch-depth of a connectivity function, that generalizes the tree-depth of graphs. Then we prove two theorems showing that this concept aligns closely with the notions of tree-depth and shrub-depth of graphs as follows. For a graph $G = (V,E)$ and a subset $A $ of $E$ we let $λ_G (A)$ be the number of vertices incident with an edge in $A$ and an edge in $E \setminus A$. For a subset $X$ of $V$, let $ρ_G(X)$ be the rank of the adjacency matrix between $X$ and $V \setminus X$ over the binary field. We prove that a class of graphs has bounded tree-depth if and only if the corresponding class of functions $λ_G$ has bounded branch-depth and similarly a class of graphs has bounded shrub-depth if and only if the corresponding class of functions $ρ_G$ has bounded branch-depth, which we call the rank-depth of graphs.
Furthermore we investigate various potential generalizations of tree-depth to matroids and prove that matroids representable over a fixed finite field having no large circuits are well-quasi-ordered by the restriction.
Finding a planted clique by adaptive probing
We consider a variant of the planted clique problem where we are allowed unbounded computational time but can only investigate a small part of the graph by adaptive edge queries. We determine (up to logarithmic factors) the number of queries necessary both for detecting the presence of a planted clique and for finding the planted clique.
Specifically, let $G \sim G(n,1/2,k)$ be a random graph on $n$ vertices with a planted clique of size $k$. We show that no algorithm that makes at most $q = o(n^2 / k^2 + n)$ adaptive queries to the adjacency matrix of $G$ is likely to find the planted clique. On the other hand, when $k \geq (2+ε) \log_2 n$ there exists a simple algorithm (with unbounded computational power) that finds the planted clique with high probability by making $q = O( (n^2 / k^2) \log^2 n + n \log n)$ adaptive queries. For detection, the additive $n$ term is not necessary: the number of queries needed to detect the presence of a planted clique is $n^2 / k^2$ (up to logarithmic factors).
On the cover Turán number of Berge hypergraphs
Published
• View Publication
• BIB
For a fixed set of positive integers $R$, we say $\mathcal{H}$ is an $R$-uniform hypergraph, or $R$-graph, if the cardinality of each edge belongs to $R$. For a graph $G=(V,E)$, a hypergraph $\mathcal{H}$ is called a Berge-$G$, denoted by $BG$, if there exists a bijection $f: E(G) \to E(\mathcal{H})$ such that for every $e \in E(G)$, $e \subseteq f(e)$. In this paper, we define a variant of Turán number in hypergraphs, namely the cover Turán number, denoted as $\hat{ex}_R(n, G)$, as the maximum number of edges in the shadow graph of a Berge-$G$ free $R$-graph on $n$ vertices. We show a general upper bound on the cover Turán number of graphs and determine the cover Turán density of all graphs when the uniformity of the host hypergraph equals to $3$.
On Hausdorff dimension of radial projections
Published
• View Publication
• BIB
For any $x\in\mathbb{R}^d$, $d\geq 2$, denote $π^x: \mathbb{R}^d\backslash\{x\}\rightarrow S^{d-1}$ as the radial projection $$π^x(y)=\frac{y-x}{|y-x|}. $$
Given a Borel set $E\subset{\Bbb R}^d$, $\dim_{\mathcal{H}} E\leq d-1$, in this paper we investigate for how many $x\in \mathbb{R}^d$ the radial projection $π^x$ preserves the Hausdorff dimension of $E$, namely whether $\dim_{\mathcal{H}}π^x(E)=\dim_{\mathcal{H}} E$. We develop a general framework to link $π^x(E)$, $x\in F$ and $π^y(F)$, $y\in E$, for any Borel set $F\subset\mathbb{R}^d$. In particular, whether $\dim_{\mathcal{H}}π^x(E)=\dim_{\mathcal{H}}E$ for some $x\in F$ can be reduced to whether $F$ is visible from some $y\in E$ (i.e. $\mathcal{H}^{d-1}(π^y(F))>0$). This allows us to apply Orponen's estimate on visibility to obtain $$\dim_{\mathcal{H}}\left\{x\in\mathbb{R}^d: \dim_{\mathcal{H}}π^x(E)<\dim_{\mathcal{H}}E\right\}\leq 2(d-1)-\dim_{\mathcal{H}}E,$$ for any Borel set $E\subset{\Bbb R}^d$, $\dim_{\mathcal{H}} E\in(d-2, d-1]$. This improves the Peres-Schlag bound when $\dim_{\mathcal{H}} E\in(d-\frac{3}{2}, d-1]$, and it is optimal at the endpoint $\dim_{\mathcal{H}} E=d-1$.
Pak-Stanley labeling of the $m$-Catalan hyperplane arrangement
Published
• View Publication
• BIB
We characterize in simple terms the Pak-Stanley labels $λ(R)$ of the regions $R$ of the $m$-Catalan arrangement. We also propose a simple algorithm that returns $R$ from $λ(R)$. Finally, we characterize in close terms the labels of the relatively bounded regions.
Merging Combinatorial Design and Optimization: the Oberwolfach Problem
The Oberwolfach Problem $OP(F)$ -- posed by Gerhard Ringel in 1967 -- is a paradigmatic Combinatorial Design problem asking whether the complete graph $K_v$ decomposes into edge-disjoint copies of a $2$-regular graph $F$ of order $v$. In this paper, we provide all the necessary equipment to generate solutions to $OP(F)$ for relatively small orders by using the so-called difference methods. From the theoretical standpoint, we present new insights on the combinatorial structures involved in the solution of the problem. Computationally, we provide a full recipe whose base ingredients are advanced optimization models and tailored algorithms. This algorithmic arsenal can solve the $OP(F)$ for all possible orders up to $60$ with the modest computing resources of a personal computer. The new $20$ orders, from $41$ to $60$, encompass $241200$ instances of the Oberwolfach Problem, which is 22 times greater than those solved in previous contributions.
Uniformity-independent minimum degree conditions for perfect matchings in hypergraphs
In this note, we prove that there exists a universal constant $c=\frac{43}{50}$ such that for every $k\in \mathbb{N}$ and every $d<k/2$, every $k$-uniform hypergraph on $n$ vertices and with minimum $d$-degree at least $(c+o_n(1))\binom{n-d}{k-d}$ contains a perfect matching. This is the first such bound which is independent of $k$, and therefore, improves all previously known bounds when $k$ is large. Our approach is based on combining the seminal work of Alon et al. with known bounds on a conjectured probabilistic inequality due to Feige.
Arc-disjoint Strong Spanning Subdigraphs of Semicomplete Compositions
Published
• View Publication
• BIB
A strong arc decomposition of a digraph $D=(V,A)$ is a decomposition of its arc set $A$ into two disjoint subsets $A_1$ and $A_2$ such that both of the spanning subdigraphs $D_1=(V,A_1)$ and $D_2=(V,A_2)$ are strong. Let $T$ be a digraph with $t$ vertices $u_1,\dots , u_t$ and let $H_1,\dots H_t$ be digraphs such that $H_i$ has vertices $u_{i,j_i},\ 1\le j_i\le n_i.$ Then the composition $Q=T[H_1,\dots , H_t]$ is a digraph with vertex set $\cup_{i=1}^t V(H_i)=\{u_{i,j_i}\mid 1\le i\le t, 1\le j_i\le n_i\}$ and arc set \[ \left(\cup^t_{i=1}A(H_i) \right) \cup \left( \cup_{u_iu_p\in A(T)} \{u_{ij_i}u_{pq_p} \mid 1\le j_i\le n_i, 1\le q_p\le n_p\} \right). \] We obtain a characterization of digraph compositions $Q=T[H_1,\dots H_t]$ which have a strong arc decomposition when $T$ is a semicomplete digraph and each $H_i$ is an arbitrary digraph. Our characterization generalizes a characterization by Bang-Jensen and Yeo (2003) of semicomplete digraphs with a strong arc decomposition and solves an open problem by Sun, Gutin and Ai (2018) on strong arc decompositions of digraph compositions $Q=T[H_1,\dots , H_t]$ in which $T$ is semicomplete and each $H_i$ is arbitrary. Our proofs are constructive and imply the existence of a polynomial algorithm for constructing a \good{} decomposition of a digraph $Q=T[H_1,\dots , H_t]$, with $T$ semicomplete, whenever such a decomposition exists.
Partial domination of maximal outerplanar graphs
Published
• View Publication
• BIB
Several domination results have been obtained for maximal outerplanar graphs (mops). The classical domination problem is to minimize the size of a set $S$ of vertices of an $n$-vertex graph $G$ such that $G - N[S]$, the graph obtained by deleting the closed neighborhood of $S$, is null. A classical result of Chvátal is that the minimum size is at most $n/3$ if $G$ is a mop. Here we consider a modification by allowing $G - N[S]$ to have isolated vertices and isolated edges only. Let $ι_1(G)$ denote the size of a smallest set $S$ for which this is achieved. We show that if $G$ is a mop on $n \geq 5$ vertices, then $ι_{1}(G) \leq n/5$. We also show that if $n_2$ is the number of vertices of degree $2$, then $ι_{1}(G) \leq \frac{n+n_2}{6}$ if $n_2 \leq \frac{n}{3}$, and $ι_1(G) \leq \frac{n-n_2}{3}$ otherwise. We show that these bounds are best possible.