Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Johnson's bijections and their application to counting simultaneous core partitions
Published
• View Publication
• BIB
Johnson recently proved Armstrong's conjecture which states that the average size of an $(a,b)$-core partition is $(a+b+1)(a-1)(b-1)/24$. He used various coordinate changes and one-to-one correspondences that are useful for counting problems about simultaneous core partitions. We give an expression for the number of $(b_1,b_2,\cdots, b_n)$-core partitions where $\{b_1,b_2,\cdots,b_n\}$ contains at least one pair of relatively prime numbers. We also evaluate the largest size of a self-conjugate $(s,s+1,s+2)$-core partition.
Classes of graphs without star forests and related graphs
Published
• View Publication
• BIB
This work provides a structural characterisation of hereditary graph classes that do not contain a star forest, several graphs obtained from star forests by subset complementation, a union of cliques, and the complement of a union of cliques as induced subgraphs. This provides, for instance, structural results for graph classes not containing a matching and several complements of a matching. In terms of the speed of hereditary graph classes, our results imply that all such classes have at most factorial speed of growth.
The quasi principal rank characteristic sequence
Published in Linear Algebra and its Applications 548 (2018), 42--56
• View Publication
• BIB
A minor of a matrix is quasi-principal if it is a principal or an almost-principal minor. The quasi principal rank characteristic sequence (qpr-sequence) of an $n\times n$ symmetric matrix is introduced, which is defined as $q_1 q_2 \cdots q_n$, where $q_k$ is $\tt A$, $\tt S$, or $\tt N$, according as all, some but not all, or none of its quasi-principal minors of order $k$ are nonzero. This sequence extends the principal rank characteristic sequences in the literature, which only depend on the principal minors of the matrix. A necessary condition for the attainability of a qpr-sequence is established. Using probabilistic techniques, a complete characterization of the qpr-sequences that are attainable by symmetric matrices over fields of characteristic $0$ is given.
A Simply Exponential Upper Bound on the Maximum Number of Stable Matchings
Published
• View Publication
• BIB
Stable matching is a classical combinatorial problem that has been the subject of intense theoretical and empirical study since its introduction in 1962 in a seminal paper by Gale and Shapley. In this paper, we provide a new upper bound on $f(n)$, the maximum number of stable matchings that a stable matching instance with $n$ men and $n$ women can have. It has been a long-standing open problem to understand the asymptotic behavior of $f(n)$ as $n\to\infty$, first posed by Donald Knuth in the 1970s. Until now the best lower bound was approximately $2.28^n$, and the best upper bound was $2^{n\log n- O(n)}$. In this paper, we show that for all $n$, $f(n) \leq c^n$ for some universal constant $c$. This matches the lower bound up to the base of the exponent. Our proof is based on a reduction to counting the number of downsets of a family of posets that we call "mixing". The latter might be of independent interest.
Rainbow saturation and graph capacities
The $t$-colored rainbow saturation number $rsat_t(n,F)$ is the minimum size of a $t$-edge-colored graph on $n$ vertices that contains no rainbow copy of $F$, but the addition of any missing edge in any color creates such a rainbow copy. Barrus, Ferrara, Vandenbussche and Wenger conjectured that $rsat_t(n,K_s) = Θ(n\log n)$ for every $s\ge 3$ and $t\ge \binom{s}{2}$. In this short note we prove the conjecture in a strong sense, asymptotically determining the rainbow saturation number for triangles. Our lower bound is probabilistic in spirit, the upper bound is based on the Shannon capacity of a certain family of cliques.
Divisor graph of complement of Gamma(R)
Published
• View Publication
• BIB
Let overline{Γ(R)} be the complement of zero divisor graph of a finite commutative ring R. In this article, we have provided the answer of the question (ii) raised by Osba and Alkam in their paper and prove that overline{Γ(R)} is a divisor graph if R is a local ring. It is shown that when R is a product of two local rings, then overline{Γ(R)} is a divisor graph if one of them is an integral domain. Also, we prove that if cardinality of Ass(R) = 2, then overline{Γ(R)} is a divisor graph.
Edge precoloring extension of hypercubes
Published
• View Publication
• BIB
We consider the problem of extending partial edge colorings of hypercubes. In particular, we obtain an analogue of the positive solution to the famous Evans' conjecture on completing partial Latin squares by proving that every proper partial edge coloring of at most $d-1$ edges of the $d$-dimensional hypercube $Q_d$ can be extended to a proper $d$-edge coloring of $Q_d$. Additionally, we characterize which partial edge colorings of $Q_d$ with precisely $d$ precolored edges are extendable to proper $d$-edge colorings of $Q_d$, and consider some related edge precoloring extension problems of hypercubes.
Restricted extension of sparse partial edge colorings of hypercubes
Published
• View Publication
• BIB
We consider the following type of question: Given a partial proper $d$-edge coloring of the $d$-dimensional hypercube $Q_d$, and lists of allowed colors for the non-colored edges of $Q_d$,can we extend the partial coloring to a proper $d$-edge coloring using only colors from the lists? We prove that this question has a positive answer in the case when both the partial coloring and the color lists satisfy certain sparsity conditions.
The Minimum Distance of Some Narrow-Sense Primitive BCH Codes
Published in SIAM Journal on Discrete Mathematics, 31(4):2530-2569, 2017
• View Publication
• BIB
Due to wide applications of BCH codes, the determination of their minimum distance is of great interest. However, this is a very challenging problem for which few theoretical results have been reported in the last four decades. Even for the narrow-sense primitive BCH codes, which form the most well-studied subclass of BCH codes, there are very few theoretical results on the minimum distance. In this paper, we present new results on the minimum distance of narrow-sense primitive BCH codes with special Bose distance. We prove that for a prime power $q$, the $q$-ary narrow-sense primitive BCH code with length $q^m-1$ and Bose distance $q^m-q^{m-1}-q^i-1$, where $\frac{m-2}{2} \le i \le m-\lfloor \frac{m}{3} \rfloor-1$, has minimum distance $q^m-q^{m-1}-q^i-1$. This is achieved by employing the beautiful theory of sets of quadratic forms, symmetric bilinear forms and alternating bilinear forms over finite fields, which can be best described using the framework of association schemes.
Resolving dominating partitions in graphs
Published
• View Publication
• BIB
A partition $Π=\{S_1,\ldots,S_k\}$ of the vertex set of a connected graph $G$ is called a \emph{resolving partition} of $G$ if for every pair of vertices $u$ and $v$, $d(u,S_j)\neq d(v,S_j)$, for some part $S_j$. The \emph{partition dimension} $β_p(G)$ is the minimum cardinality of a resolving partition of $G$. A resolving partition $Π$ is called \emph{resolving dominating} if for every vertex $v$ of $G$, $d(v,S_j)=1$, for some part $S_j$ of $Π$. The \emph{dominating partition dimension} $η_p(G)$ is the minimum cardinality of a resolving dominating partition of $G$.
In this paper we show, among other results, that $β_p(G) \le η_p(G) \le β_p(G)+1$. We also characterize all connected graphs of order $n\ge7$ satisfying any of the following conditions: $η_p(G)= n$, $η_p(G)= n-1$, $η_p(G)= n-2$ and $β_p(G) = n-2$. Finally, we present some tight Nordhaus-Gaddum bounds for both the partition dimension $β_p(G)$ and the dominating partition dimension $η_p(G)$.
Locating domination in bipartite graphs and their complements
Published
• View Publication
• BIB
A set $S$ of vertices of a graph $G$ is \emph{distinguishing} if the sets of neighbors in $S$ for every pair of vertices not in $S$ are distinct. A \emph{locating-dominating set} of $G$ is a dominating distinguishing set. The \emph{location-domination number} of $G$, $λ(G)$, is the minimum cardinality of a locating-dominating set. In this work we study relationships between $λ({G})$ and $λ(\overline{G})$ for bipartite graphs. The main result is the characterization of all connected bipartite graphs $G$ satisfying $λ(\overline{G})=λ({G})+1$. To this aim, we define an edge-labeled graph $G^S$ associated with a distinguishing set $S$ that turns out to be very helpful.
On determinantal ideals and algebraic dependence
Published
• View Publication
• BIB
Let $X$ be a matrix with entries in a polynomial ring over an algebraically closed field $K$. We prove that, if the entries of $X$ outside some $(t \times t)$-submatrix are algebraically dependent over $K$, the arithmetical rank of the ideal $I_t(X)$ of $t$-minors of $X$ drops at least by one with respect to the generic case; under suitable assumptions, it drops at least by $k$ if $X$ has $k$ zero entries. This upper bound turns out to be sharp if $\mathrm{char}\, K=0$, since it then coincides with the lower bound provided by the local cohomological dimension.
The Varchenko Determinant of a Coxeter Arrangement
Published
• View Publication
• BIB
The Varchenko determinant is the determinant of a matrix defined from an arrangement of hyperplanes. Varchenko proved that this determinant has a beautiful factorization. It is, however, not possible to use this factorization to compute a Varchenko determinant from a certain level of complexity. Precisely at this point, we provide an explicit formula of this determinant for the hyperplane arrangements associated to the finite Coxeter groups. The intersections of hyperplanes with the chambers of such arrangements have nice properties which play a central role for the calculation of their relating determinants.
Vertices with the Second Neighborhood Property in Eulerian Digraphs
Published in Opuscula Mathematica, 39(6), 765-772 (2019)
• View Publication
• BIB
The Second Neighborhood Conjecture states that every simple digraph has a vertex whose second out-neighborhood is at least as large as its first out-neighborhood, i.e. a vertex with the Second Neighborhood Property. A cycle intersection graph of an even graph is a new graph whose vertices are the cycles in a cycle decomposition of the original graph and whose edges represent vertex intersections of the cycles. By using a digraph variant of this concept, we prove that Eulerian digraphs which admit a simple cycle intersection graph have not only adhere to the Second Neighborhood Conjecture, but that local simplicity can, in some cases, also imply the existence of a Seymour vertex in the original digraph.
New Bounds on the Biplanar Crossing Number of Low-dimensional Hypercubes
In this note we provide an improved upper bound on the biplanar crossing number of the 8-dimensional hypercube. The $k$-planar crossing number of a graph $cr_k(G)$ is the number of crossings required when every edge of $G$ must be drawn in one of $k$ distinct planes. It was shown in Czabarka et al. that $cr_2(Q_8) \leq 256$ which we improve to $cr_2(Q_8) \leq 128$. Our approach highlights the relationship between symmetric drawings and the study of $k$-planar crossing numbers. We conclude with several open questions concerning this relationship.
Lonely runners in function fields
Published in Mathematika 65 (2019) 677-701
• View Publication
• BIB
The lonely runner conjecture, now over fifty years old, concerns the following problem. On a unit length circular track, consider $m$ runners starting at the same time and place, each runner having a different constant speed. The conjecture asserts that each runner is lonely at some point in time, meaning distance at least $1/m$ from the others. We formulate a function field analogue, and give a positive answer in some cases in the new setting.
Degree-regular triangulations of surfaces
A degree-regular triangulation is one in which each vertex has identical degree. Our main result is that any such triangulation of a (possibly non-compact) surface $S$ is geometric, that is, it is combinatorially equivalent to a geodesic triangulation with respect to a constant curvature metric on $S$, and we list the possibilities. A key ingredient of the proof is to show that any two $d$-regular triangulations of the plane for $d> 6 $ are combinatorially equivalent. The proof of this uniqueness result, which is of independent interest, is based on an inductive argument involving some combinatorial topology.
Higher Cluster Categories and QFT Dualities
Published in Phys. Rev. D 98, 046021 (2018)
• View Publication
• BIB
We present a unified mathematical framework that elegantly describes minimally SUSY gauge theories in even dimension, ranging from $6d$ to $0d$, and their dualities. This approach combines recent developments on graded quiver with potentials, higher Ginzburg algebras and higher cluster categories (also known as $m$-cluster categories). Quiver mutations studied in the context of mathematics precisely correspond to the order $(m+1)$ dualities of the gauge theories. Our work suggests that these equivalences of quiver gauge theories sit inside an infinite family of such generalized dualities, whose physical interpretation is yet to be understood.
Using ultrafilters to prove Ramsey-type theorems
Published in American Mathematical Monthly 129 no. 2 (2022), 116-131
• View Publication
• BIB
Ultrafilters are a tool, originating in mathematical logic and general topology, that has steadily found more and more uses in multiple areas of mathematics, such as combinatorics, dynamics, and algebra, among others. The purpose of this article is to introduce ultrafilters in a friendly manner and present some applications to the branch of combinatorics known as Ramsey theory, culminating with a new ultrafilter-based proof of van der Waerden's theorem.
On graphs of bounded semilattices
Published in Math Notes 107, 264--273 (2020)
• View Publication
• BIB
In this paper, we introduce the graph $G(S)$ of a bounded semilattice $S$, which is a generalization of the intersection graph of the substructures of an algebraic structure. We prove some general theorems about these graphs; as an example, we show that if $S$ is a product of three or more chains, then $G(S)$ is Eulerian if and only if either the length of every chain is even or all the chains are of length one. We also show that if $G(S)$ contains a cycle, then $girth(G(S)) = 3$. Finally, we show that if $(S,+,\cdot,0,1)$ is a dually atomic bounded distributive lattice whose set of dual atoms is nonempty, and the graph $G(S)$ of $S$ has no isolated vertex, then $G(S)$ is connected with $diam(G(S))\leq 4$.