Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Solution of Vizing's Problem on Interchanges for Graphs with Maximum Degree 4 and Related Results
Published
• View Publication
• BIB
Let $G$ be a Class 1 graph with maximum degree $4$ and let $t\geq 5$ be an integer. We show that any proper $t$-edge coloring of $G$ can be transformed to any proper $4$-edge coloring of $G$ using only transformations on $2$-colored subgraphs (so-called interchanges). This settles the smallest previously unsolved case of a well-known problem of Vizing on interchanges, posed in 1965. Using our result we give an affirmative answer to a question of Mohar for two classes of graphs: we show that all proper $5$-edge colorings of a Class 1 graph with maximum degree 4 are Kempe equivalent, that is, can be transformed to each other by interchanges, and that all proper 7-edge colorings of a Class 2 graph with maximum degree 5 are Kempe equivalent.
Optimum matchings in weighted bipartite graphs
Published
• View Publication
• BIB
Given an integer weighted bipartite graph $\{G=(U\sqcup V, E), w:E\rightarrow \mathbb{Z}\}$ we consider the problems of finding all the edges that occur in some minimum weight matching of maximum cardinality and enumerating all the minimum weight perfect matchings. Moreover, we construct a subgraph $G_{cs}$ of $G$ which depends on an $ε$-optimal solution of the dual linear program associated to the assignment problem on $\{G,w\}$ that allows us to reduced this problems to their unweighed variants on $G_{cs}$. For instance, when $G$ has a perfect matching and we have an $ε$-optimal solution of the dual linear program associated to the assignment problem on $\{G,w\}$, we solve the problem of finding all the edges that occur in some minimum weight perfect matching in linear time on the number of edges. Therefore, starting from scratch we get an algorithm that solves this problem in time $O(\sqrt{n}m\log(nW))$, where $n=|U|\geq |V|$, $m=|E|$, and $W={\rm max}\{|w(e)|\, :\, e\in E\}$.
Three Graphs and the Erdős-Gyárfás Conjecture
Three graphs related to the \EGC\, are presented. The graphs are derived from the Buckyball, the Petersen graph, and the Tutte-Coxeter graph. The first graph is a partial answer to a question posed by Heckman and Krakovski \cite{planar} in their recent work on the planar version of the conjecture. The other two graphs appear to be the smallest known cubic graphs with no $2^m$-cycles for $m \leq 4$ and for $m \leq 5$.
Automatic Proofs of Asymptotic ABNORMALITY (and much more!) of Natural Statistics Defined on Catalan-Counted Combinatorial Families
In this case-study in computer-human collaboration, we develop, implement, and execute symbolic-computational algorithms for the automatic discovery and proof of explicit expressions for the expectation, variance, and higher moments of a large class of natural combinatorial statistics defined on Catalan-counted objects, enabling, inter-alia, to prove that they are not asymptotically normal. In particular, we reproduce in 0.12 seconds results of Miklos Bona, and derive far deeper results, way beyond the scope of humans, concerning higher moments of the random variable "number of occurrences of a pattern" in the set of 132-avoiding permutations for all patterns of length 2 and 3, and, more impressively, explicit expressions for the averages for all patterns of lengths up to 10. The ample output inspired us to make an intriguing conjecture concerning the number of so-called Bona classes, and we pledge to donate 100 dollars to the OEIS Foundation in honor of the prover (or disprover).
Bijective proofs of character evaluations using trace forest of the jeu de taquin
Irreducible characters in the symmetric group are of special interest in combinatorics. They can be expressed either combinatorially with ribbon tableaux, or algebraically with contents. In this paper, these two expressions are related in a combinatorial way. We first introduce a fine structure in the famous jeu de taquin called "trace forest", with which we are able to count certain types of ribbon tableaux, leading to a simple bijective proof of a character evaluation formula in terms of contents that dates back to Frobenius (1901). Inspired by this proof, we give an inductive scheme that gives combinatorial proofs to more complicated formulae for characters in terms of contents.
A Polynomial-time Algorithm for Outerplanar Diameter Improvement
Published
• View Publication
• BIB
The Outerplanar Diameter Improvement problem asks, given a graph $G$ and an integer $D$, whether it is possible to add edges to $G$ in a way that the resulting graph is outerplanar and has diameter at most $D$. We provide a dynamic programming algorithm that solves this problem in polynomial time. Outerplanar Diameter Improvement demonstrates several structural analogues to the celebrated and challenging Planar Diameter Improvement problem, where the resulting graph should, instead, be planar. The complexity status of this latter problem is open.
Kronecker Coefficients For Some Near-Rectangular Partitions
Published
• View Publication
• BIB
We give formulae for computing Kronecker coefficients occurring in the expansion of $s_μ*s_ν$, where both $μ$ and $ν$ are nearly rectangular, and have smallest parts equal to either 1 or 2. In particular, we study $s_{(n,n-1,1)}*s_{(n,n)}$, $s_{(n-1,n-1,1)}*s_{(n,n-1)}$, $s_{(n-1,n-1,2)}*s_{(n,n)}$, $s_{(n-1,n-1,1,1)}*s_{(n,n)}$ and $s_{(n,n,1)}*s_{(n,n,1)}$. Our approach relies on the interplay between manipulation of symmetric functions and the representation theory of the symmetric group, mainly employing the Pieri rule and a useful identity of Littlewood. As a consequence of these formulae, we also derive an expression enumerating certain standard Young tableaux of bounded height, in terms of the Motzkin and Catalan numbers.
The proof of the $l^2$ Decoupling Conjecture
Published
• View Publication
• BIB
We prove the $l^2$ Decoupling Conjecture for compact hypersurfaces with positive definite second fundamental form and also for the cone. This has a wide range of important consequences. One of them is the validity of the Discrete Restriction Conjecture, which (up to $N^ε$ losses) implies the full range of expected $L^p_{x,t}$ Strichartz estimates for both classical and irrational tori. Another one is an improvement in the range for the discrete restriction theory for lattice points on the sphere. Various applications in Additive Combinatorics, Incidence Geometry and Number Theory are also discussed. Our argument relies on the interplay between linear and multilinear restriction theory.
Unified bijections for planar hypermaps with general cycle-length constraints
Published
• View Publication
• BIB
We present a general bijective approach to planar hypermaps with two main results. First we obtain unified bijections for all classes of maps or hypermaps defined by face-degree constraints and girth constraints. To any such class we associate bijectively a class of plane trees characterized by local constraints. This unifies and greatly generalizes several bijections for maps and hypermaps. Second, we present yet another level of generalization of the bijective approach by considering classes of maps with non-uniform girth constraints. More precisely, we consider "well-charged maps", which are maps with an assignment of "charges" (real numbers) on vertices and faces, with the constraints that the length of any cycle of the map is at least equal to the sum of the charges of the vertices and faces enclosed by the cycle. We obtain a bijection between charged hypermaps and a class of plane trees characterized by local constraints.
Ehrhart series, unimodality, and integrally closed reflexive polytopes
Published
• View Publication
• BIB
An interesting open problem in Ehrhart theory is to classify those lattice polytopes having a unimodal $h^*$-vector. Although various sufficient conditions have been found, necessary conditions remain a challenge. In this paper, we consider integrally closed reflexive simplices and discuss an operation that preserves reflexivity, integral closure, and unimodality of the $h^*$-vector, providing one explanation for why unimodality occurs in this setting. We also discuss the failure of proving unimodality in this setting using weak Lefschetz elements.
Studying the singularity of LCM-type matrices via semilattice structures and their Möbius functions
Published
• View Publication
• BIB
The invertibility of LCM matrices and their Hadamard powers have been studied a lot over the years by many authors. Bourque and Ligh conjectured in 1992 that the LCM matrix $[S]=[[x_i, x_j]]$ on any GCD closed set $S=\{x_1, x_2, \ldots, x_n\}$ is invertible, but in 1997 this was proven false. However, currently there are many open conjectures concerning LCM matrices and their Hadamard powers presented by Hong. In this paper we utilize lattice-theoretic structures and the Möbius function to explain the singularity of classical LCM matrices and their Hadamard powers. At the same time we end up disproving some of Hong's conjectures. Elementary mathematical analysis is applied to prove that for most semilattice structures there exist a set $S=\{x_1, x_2, \ldots, x_n\}$ of positive integers and a real number $α>0$ such that $S$ possesses this structure and the power LCM matrix $[[x_i, x_j]^α]$ is singular.
A lattice-theoretic approach to the Bourque-Ligh conjecture
Published
• View Publication
• BIB
The Bourque-Ligh conjecture states that if $S=\{x_1,x_2,\ldots,x_n\}$ is a gcd-closed set of positive integers with distinct elements, then the LCM matrix $[S]=[\hbox{lcm}(x_i,x_j)]$ is invertible. It is well known that this conjecture holds for $n\leq7$ but does not generally hold for $n\geq8$. In this paper we provide a lattice-theoretic explanation for this solution of the Bourque-Ligh conjecture. In fact, let $(P,\leq)=(P,\land,\lor)$ be a lattice, let $S=\{x_1,x_2,\ldots,x_n\}$ be a subset of $P$ and let $f:P\to{\mathbb C}$ be a function. We study under which conditions the join matrix $[S]_f=[f(x_i\lor x_j)]$ on $S$ with respect to $f$ is invertible on a meet closed set $S$ (i.e., $x_i,x_j\in S\Rightarrow x_i\land x_j\in S)$.
On the Erdos-Sos Conjecture for Graphs on n=k+4 Vertices
Published
• View Publication
• BIB
The Erdős-Sós Conjecture states that if $G$ is a simple graph of order $n$ with average degree more than $k-2,$ then $G$ contains every tree of order $k$. In this paper, we prove that Erdős-Sós Conjecture is true for $n=k+4$.
Classes of Symmetric Cayley Graphs over Finite Abelian Groups of Degrees 4 and 6
The present work is devoted to characterize the family of symmetric undirected Cayley graphs over finite Abelian groups for degrees 4 and 6.
A local method for posets
We propose some conditions on a poset that produce a small chain complex for its homology. This allows to compare simplicial complexes and Quillen's complexes under the same prism. It turns out they differ in the existence or not of free faces in an acyclic complex.
Disjoint compatibility graph of non-crossing matchings of points in convex position
Published
• View Publication
• BIB
Let $X_{2k}$ be a set of $2k$ labeled points in convex position in the plane. We consider geometric non-intersecting straight-line perfect matchings of $X_{2k}$. Two such matchings, $M$ and $M'$, are disjoint compatible if they do not have common edges, and no edge of $M$ crosses an edge of $M'$. Denote by $\mathrm{DCM}_k$ the graph whose vertices correspond to such matchings, and two vertices are adjacent if and only if the corresponding matchings are disjoint compatible. We show that for each $k \geq 9$, the connected components of $\mathrm{DCM}_k$ form exactly three isomorphism classes -- namely, there is a certain number of isomorphic small components, a certain number of isomorphic medium components, and one big component. The number and the structure of small and medium components is determined precisely.
Tree-colorable maximal planar graphs
A tree-coloring of a maximal planar graph is a proper vertex $4$-coloring such that every bichromatic subgraph, induced by this coloring, is a tree. A maximal planar graph $G$ is tree-colorable if $G$ has a tree-coloring. In this article, we prove that a tree-colorable maximal planar graph $G$ with $δ(G)\geq 4$ contains at least four odd-vertices.
Moreover, for a tree-colorable maximal planar graph of minimum degree 4 that contains exactly four odd-vertices, we show that the subgraph induced by its four odd-vertices is not a claw and contains no triangles.
On the Rearrangement Conjecture for Generalized Factor Order Over $\mathbb{P}$
Published
• View Publication
• BIB
The Rearrangement Conjecture states that if two words over $\mathbb{P}$ are Wilf-equivalent in the factor order on $\mathbb{P}^\ast$ then they are rearrangements of each other. We introduce the notion of strong Wilf-equivalence and prove that if two words over $\mathbb{P}$ are strongly Wilf-equivalent then they are rearrangements of each other. We further conjecture that Wilf-equivalence implies strong Wilf-equivalence.
Constructing large k-systems on Surfaces
Published
• View Publication
• BIB
Let $S_{g}$ denote the genus $g$ closed orientable surface. For $k\in \mathbb{N}$, a $k$-system is a collection of pairwise non-homotopic simple closed curves such that no two intersect more than $k$ times. Juvan-Malnič-Mohar \cite{Ju-Mal-Mo} showed that there exists a $k$-system on $S_{g}$ whose size is on the order of $g^{k/4}$. For each $k\geq 2$, We construct a $k$-system on $S_{g}$ with on the order of $g^{\lfloor (k+1)/2 \rfloor +1}$ elements. The $k$-systems we construct behave well with respect to subsurface inclusion, analogously to how a pants decomposition contains pants decompositions of lower complexity subsurfaces.
Symmetry properties of the Novelli-Pak-Stoyanovskii algorithm
Published
• View Publication
• BIB
The number of standard Young tableaux of a fixed shape is famously given by the hook-length formula due to Frame, Robinson and Thrall. A bijective proof of Novelli, Pak and Stoyanovskii relies on a sorting algorithm akin to jeu-de-taquin which transforms an arbitrary filling of a partition into a standard Young tableau by exchanging adjacent entries. Recently, Krattenthaler and Müller defined the complexity of this algorithm as the average number of performed exchanges, and Neumann and the author proved it fulfils some nice symmetry properties. In this paper we recall and extend the previous results and provide new bijective proofs.