Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Small domination-type invariants in random graphs
Published
• View Publication
• BIB
For $c\in \mathbb{R}^{+}\cup \{\infty \}$ and a graph $G$, a function $f:V(G)\rightarrow \{0,1,c\}$ is called a $c$-self dominating function of $G$ if for every vertex $u\in V(G)$, $f(u)\geq c$ or $\max\{f(v):v\in N_{G}(u)\}\geq 1$ where $N_{G}(u)$ is the neighborhood of $u$ in $G$. The minimum weight $w(f)=\sum _{u\in V(G)}f(u)$ of a $c$-self dominating function $f$ of $G$ is called the $c$-self domination number of $G$. The $c$-self domination concept is a common generalization of three domination-type invariants; (original) domination, total domination and Roman domination. In this paper, we study a behavior of the $c$-self domination number in random graphs for small $c$.
Generalized One-to-One Mappings between Homomorphism Sets of Digraphs
Structural properties of finite digraphs $R$ and $S$ are studied which enforce $\# {\cal H}(G,R) \leq \# {\cal H}(G,S)$ for every finite digraph $G \in \mathfrak{ D }'$, where ${\cal H}(G,H)$ is the set of homomorphisms from $G$ to $H$, and $\mathfrak{ D }'$ is a class of digraphs. In a previous study, we have seen that the key for such a relation between $R$ and $S$ is the existence of a strong S-scheme from $R$ to $S$. Such an S-scheme $ρ$ defines a one-to-one mapping $ρ_G : {\cal S}(G,R) \rightarrow {\cal S}(G,S)$ for every $G \in \mathfrak{ D }'$, where ${\cal S}(G,H)$ is the set of homomorphisms from $G$ to $H$ mapping proper arcs of $G$ to proper arcs of $H$. In the present article, we characterize S-schemes $ρ$ which are induced by strict homomorphisms $ε: {\cal E}(R) \rightarrow {\cal E}(S)$ between auxiliary systems of $R$ and $S$, and we analyze the mutual dependency between the properties of $ρ$ and $ε$. Wide applicability of the theory is ensured by specifying the auxiliary systems ${\cal E}(R)$ and ${\cal E}(S)$ as EV-systems of $R$ and $S$. The results are applied on a rearrangement method for digraphs and on undirected graphs.
Some implications of a conjecture of Zabrocki to the action of $S_{n}$ on polynomial differential forms
The symmetric group acts on polynomial differential forms on $\mathbb{R}^{n}$ through its action by permuting the coordinates. In this paper the $S_{n}% $-invariants are shown to be freely generated by the elementary symmetric polynomials and their exterior derivatives. A basis of the alternants in the quotient of the ideal generated by the homogeneous invariants of positive degree is given. In addition, the highest bigraded degrees are given for the quotient. All of these results are consistent with predictions derived by Garsia and Romero from a recent conjecture of Zabrocki.
Non-concentration of the chromatic number of a random graph
Published in J. Amer. Math. Soc. 34 (2021), 245-260
• View Publication
• BIB
We show that the chromatic number of $G_{n, \frac 12}$ is not concentrated on fewer than $n^{\frac 14 - \varepsilon}$ consecutive values. This addresses a longstanding question raised by Erdős and several other authors.
The Weighted Sitting Closer to Friends than Enemies Problem in the Line
Published
• View Publication
• BIB
The weighted \emph{Sitting Closer to Friends than Enemies} (SCFE) problem is to find an injection of the vertex set of a given weighted graph into a given metric space so that, for every pair of incident edges with different weight, the end vertices of the heavier edge are closer than the end vertices of the lighter edge. The \emph{Seriation} problem is to find a simultaneous reordering of the rows and columns of a symmetric matrix such that the entries are monotone nondecreasing in rows and columns when moving towards the diagonal. If such a reordering exists, it is called a \emph{Robinson} ordering. In this work, we establish a connection between the SCFE problem and the Seriation problem. We show that if the \emph{extended adjacency matrix} of a given weighted graph $G$ has no Robinson ordering then $G$ has no injection in $\mathbb{R}$ that solves the SCFE problem. On the other hand, if the extended adjacency matrix of $G$ has a Robinson ordering, we construct a polyhedron that is not empty if and only if there is an injection of the vertex set of $G$ in $\mathbb{R}$ that solves the SCFE problem. As a consequence of these results, we conclude that deciding the existence of (and constructing) such an injection in $\mathbb{R}$ for a given \emph{complete} weighted graph can be done in polynomial time. On the other hand, we show that deciding if an \emph{incomplete} weighted graph has such an injection in $\mathbb{R}$ is NP-Complete.
Linear orderings of combinatorial cubes
We show that, for every linear ordering of $[2]^n$, there is a large subcube on which the ordering is lexicographic. We use this to deduce that every long sequence contains a long monotone subsequence supported on an affine cube.
More generally, we prove an analogous result for linear orderings of $[k]^n$. We show that, for every such ordering, there is a large subcube on which the ordering agrees with one of approximately $\frac{(k-1)!}{2(\ln 2)^k}$ orderings.
Bijections between directed animals, multisets and Grand-Dyck paths
Published
• View Publication
• BIB
An $n$-multiset of $[k]=\{1,2,\ldots, k\}$ consists of a set of $n$ elements from $[k]$ where each element can be repeated. We present the bivariate generating function for $n$-multisets of $[k]$ with no consecutive elements. For $n=k$, these multisets have the same enumeration as directed animals in the square lattice. Then we give constructive bijections between directed animals, multisets with no consecutive elements and Grand-Dyck paths avoiding the pattern $DUD$, and we show how classical and novel statistics are transported by these bijections.
On existence of integral point sets and their diameter bounds
Published in Australas. J. Combin. 77 (1) (2020), 100-116
• Search Publication
A point set $M$ in $m$-dimensional Euclidean space is called an integral point set if all the distances between the elements of $M$ are integers, and $M$ is not situated on an $(m-1)$-dimensional hyperplane. We improve the linear lower bound for diameter of planar integral point sets. This improvement takes into account some results related to the Point Packing in a Square problem. Then for arbitrary integers $m \geq 2$, $n \geq m+1$, $d \geq 1$ we give a construction of an integral point set $M$ of $n$ points in $m$-dimensional Euclidean space, where $M$ contains points $M_1$ and $M_2$ such that distance between $M_1$ and $M_2$ is exactly $d$.
Factorization problems in complex reflection groups
Published in Canadian Journal of Mathematics 73 (2021), no. 4, 899--946
• View Publication
• BIB
We enumerate factorizations of a Coxeter element in a well generated complex reflection group into arbitrary factors, keeping track of the fixed space dimension of each factor. In the infinite families of generalized permutations, our approach is fully combinatorial. It gives results analogous to those of Jackson in the symmetric group and can be refined to encode a notion of cycle type. As one application of our results, we give a previously overlooked characterization of the poset of $W$-noncrossing partitions.
[1,2]-Domination in Generalized Petersen Graphs
Published
• View Publication
• BIB
A vertex subset $S$ of a graph $G=(V,E)$ is a $[1,2]$-dominating set if each vertex of $V\backslash S$ is adjacent to either one or two vertices in $S$. The minimum cardinality of a $[1,2]$-dominating set of $G$, denoted by $γ_{[1,2]}(G)$, is called the $[1,2]$-domination number of $G$. In this paper the $[1,2]$-domination and the $[1,2]$-total domination numbers of the generalized Petersen graphs $P(n,2)$ are determined.
On nested and 2-nested graphs: two subclasses of graphs between threshold and split graphs
Published in Matemática Contemporânea, Vol. 46 (2019) 119-128
• View Publication
• BIB
A $(0,1)$-matrix has the Consecutive Ones Property (C1P) for the rows if there is a permutation of its columns such that the ones in each row appear consecutively. We say a $(0, 1)$-matrix is nested if it has the consecutive ones property for the rows (C1P) and every two rows are either disjoint or nested. We say a $(0, 1)$-matrix is 2-nested if it has the C1P and admits a partition of its rows into two sets such that the submatrix induced by each of these sets is nested. We say a split graph $G$ with split partition $(K, S)$ is nested (resp.\ 2-nested) if the matrix $A(S, K)$ which indicates the adjacency between vertices in $S$ and $K$ is nested (resp.\ 2-nested). In this work, we characterize nested and 2-nested matrices by minimal forbidden submatrices. This characterization leads to a minimal forbidden induced subgraph characterization for these classes of graphs, which are a superclass of threshold graphs and a subclass of split and circle graphs.
Global rigidity of 2-dimensional linearly constrained frameworks
Published
• View Publication
• BIB
A linearly constrained framework in $\mathbb{R}^d$ is a point configuration together with a system of constraints which fixes the distances between some pairs of points and additionally restricts some of the points to lie in given affine subspaces. It is globally rigid if the configuration is uniquely defined by the constraint system, and is rigid if it is uniquely defined within some small open neighbourhood. Streinu and Theran characterised generic rigidity of linearly constrained frameworks in $\mathbb{R}^2$ in 2010. We obtain an analagous characterisation for generic global rigidity in $\mathbb{R}^2$. More precisely we show that a generic linearly constrained framework in $\mathbb{R}^2$ is globally rigid if and only if it is redundantly rigid and `balanced'. For generic frameworks which are not balanced, we determine the precise number of solutions to the constraint system whenever the underlying rigidity matroid of the given framework is connected. We also obtain a stress matrix sufficient condition and a Hendrickson type necessary condition for a generic linearly constrained framework to be globally rigid in $\mathbb{R}^d$.
Cyclic Flats of Binary Matroids
Published
• View Publication
• BIB
In this paper, first steps are taken towards characterising lattices of cyclic flats $\mathcal{Z}(M)$ that belong to matroids $M$ that can be represented over a prescribed finite field $\mathbb{F}_q$. Two natural maps from $\mathcal{Z}(M)$ to the lattice of cyclic flats of a minor of $M$ are given. Binary matroids are characterised via their lattice of cyclic flats. It is shown that the lattice of cyclic flats of a simple binary matroid without isthmuses is atomic.
Tropical bisectors and Voronoi diagrams
Published in Found. Comput. Math. (2021)
• View Publication
• BIB
In this paper we initiate the study of tropical Voronoi diagrams. We start out with investigating bisectors of finitely many points with respect to arbitrary polyhedral norms. For this more general scenario we show that bisectors of three points are homeomorphic to a non-empty open subset of Euclidean space, provided that certain degenerate cases are excluded. Specializing our results to tropical bisectors then yields structural results and algorithms for tropical Voronoi diagrams.
(Theta, triangle)-free and (even hole, $K_4$)-free graphs. Part 1 : Layered wheels
Published in J Graph Theory. 2021; 97: 475-509
• View Publication
• BIB
We present a construction called layered wheel. Layered wheels are graphs of arbitrarily large treewidth and girth. They might be an outcome for a possible theorem characterizing graphs with large treewidth in terms of their induced subgraphs (while such a characterization is well-understood in terms of minors). They also provide examples of graphs of large treewidth and large rankwidth in well-studied classes, such as (theta, triangle)-free graphs and even-hole-free graphs with no $K_4$ (where a hole is a chordless cycle of length at least four, a theta is a graph made of three internally vertex disjoint paths of length at least two linking two vertices, and $K_4$ is the complete graph on four vertices).
The impatient collector
In the coupon collector problem with $n$ items, the collector needs a random number of tries $T_n\simeq n\ln n$ to complete the collection. Also, after $nt$ tries, the collector has secured approximately a fraction $ζ_\infty(t)=1-e^{-t}$ of the complete collection, so we call $ζ_\infty$ the (asymptotic) \emph{completion curve}. In this paper, for $ν>0$, we address the asymptotic shape $ζ(ν,.) $ of the completion curve under the condition $T_n\leq \left( 1+ν\right) n$, i.e. assuming that the collection is \emph{completed unlikely fast}. As an application to the asymptotic study of complete accessible automata, we provide a new derivation of a formula due to Koršunov.
On a new formula for the number of unrestricted partitions
Published
• View Publication
• BIB
In this paper we present a new formula for the number of unrestricted partitions of $n$. We do this by introducing a correspondence between the number of unrestrited partitions of $n$ and the number of non-negative solutions of systems of two equations, involving natural numbers in the interval (1 $,n^{2}$).
Nonnegative sum-symmetric matrices, optimal-score partitions, and optimal resource allocation
Published
• View Publication
• BIB
The main result of the note describes certain optimal-score partitions, which can be interpreted as optimal resource allocations. This result is based on the fact that any nonnegative square matrix whose column sums are the same as the corresponding row sums can be represented as the sum of circuit matrices.
First-order proofs without syntax
Proofs are traditionally syntactic, inductively generated objects. This paper reformulates first-order logic (predicate calculus) with proofs which are graph-theoretic rather than syntactic. It defines a combinatorial proof of a formula $φ$ as a lax fibration over a graph associated with $φ$. The main theorem is soundness and completeness: a formula is a valid if and only if it has a combinatorial proof.
Magic Polygons and Degenerated Magic Polygons: Characterization and Properties
Published
• View Publication
• BIB
In this work we define Magic Polygons P (n, k) and Degenerated Magic Polygons D(n, k) and we obtain their main properties, such as the magic sum and the value corresponding to the root vertex. The existence of magic polygons P (n, k) and degenerated magic polygons D(n, k) are discussed for certain values of n and k.