Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Semi-dynamic Algorithms for Strongly Chordal Graphs
Published
• View Publication
• BIB
There is an extensive literature on dynamic algorithms for a large number of graph theoretic problems, particularly for all varieties of shortest path problems. Germane to this paper are a number fully dynamic algorithms that are known for chordal graphs. However, to the best of our knowledge no study has been done for the problem of dynamic algorithms for strongly chordal graphs. To address this gap, in this paper, we propose a semi-dynamic algorithm for edge-deletions and a semi-dynamic algorithm for edge-insertions in a strongly chordal graph, $G = (V, E)$, on $n$ vertices and $m$ edges. The query complexity of an edge-deletion is $O(d_u^2d_v^2 (n + m))$, where $d_u$ and $d_v$ are the degrees of the vertices $u$ and $v$ of the candidate edge $\{u, v\}$, while the query-complexity of an edge-insertion is $O(n^2)$.
Asymmetric extension of Pascal-Dellanoy triangles
Published
• View Publication
• BIB
We give a generalization of the Pascal triangle called the quasi s-Pascal triangle where the sum of the elements crossing the diagonal rays produce the s-bonacci sequence. For this, consider a lattice path in the plane whose step set is {L = (1, 0), L1 = (1, 1), L2 = (2, 1), . . . , Ls = (s, 1)}; an explicit formula is given. Thereby linking the elements of the quasi s-Pascal triangle with the bisnomial coefficients. We establish the recurrence relation for the sum of elements lying over any finite ray of the quasi s-Pascal triangle. The generating function of the cited sums is produced. We also give identities among which one equivalent to the de Moivre sum and establish a q-analogue of the coefficient of the quasi s-Pascal triangle.
On directed version of the Sauer-Spender Theorem
Let $D=(V,A)$ be a digraph of order $n$ and let $W$ be any subset of $V$. We define the minimum semi-degree of $W$ in $D$ to be $δ^0(W)=\mbox{min}\{δ^+(W),δ^-(W)\}$, where $δ^+(W)$ is the minimum out-degree of $W$ in $D$ and $δ^-(W)$ is the minimum in-degree of $W$ in $D$. Let $k$ be an integer with $k\geq 1$. In this paper, we prove that for any positive integer partition $|W|=\sum_{i=1}^{k}n_i$ with $n_i\geq 2$ for each $i$, if $δ^0(W)\geq \frac{3n-3}{4}$, then there are $k$ vertex disjoint cycles $C_1,\ldots,C_k$ in $D$ such that each $C_i$ contains exactly $n_i$ vertices of $W$. Moreover, the lower bound of $δ^0(W)$ can be improved to $\frac{n}{2}$ if $k=1$, and $\frac{n}{2}+|W|-1$ if $n\geq 2|W|$.
The minimum semi-degree condition $δ^0(W)\geq \frac{3n-3}{4}$ is sharp in some sense and this result partially confirms the conjecture posed by Wang [Graphs and Combinatorics 16 (2000) 453-462]. It is also a directed version of the Sauer-Spender Theorem on vertex disjoint cycles in graphs [J. Combin. Theory B, 25 (1978) 295-302].
Locating arrays with mixed alphabet sizes
Published
• View Publication
• BIB
Locating arrays (LAs) can be used to detect and identify interaction faults among factors in a component-based system. The optimality and constructions of LAs with a single fault have been investigated extensively under the assumption that all the factors have the same values. However, in real life, different factors in a system have different numbers of possible values. Thus, it is necessary for LAs to satisfy such requirements. We herein establish a general lower bound on the size of mixed-level $(\bar{1},t)$-locating arrays. Some methods for constructing LAs including direct and recursive constructions are provided. In particular, constructions that produce optimal LAs satisfying the lower bound are described. Additionally, some series of optimal LAs satisfying the lower bound are presented.
On a problem of Erdős about graphs whose size is the Turán number plus one
Published
• View Publication
• BIB
We consider finite simple graphs. Given a graph $H$ and a positive integer $n,$ the Turán number of $H$ for the order $n,$ denoted ${\rm ex}(n,H),$ is the maximum size of a graph of order $n$ not containing $H$ as a subgraph. Erdős posed the following problem in 1990:
"For which graphs $H$ is it true that every graph on $n$ vertices and ${\rm ex}(n,H)+1$ edges contains at least two $H$s? Perhaps this is always true."
We solve the second part of this problem in the negative by proving that for every integer $k\ge 4,$ there exists a graph $H$ of order $k$ and at least two orders $n$ such that there exists a graph of order $n$ and size ${\rm ex}(n,H)+1$ which contains exactly one copy of $H.$ Denote by $C_4$ the $4$-cycle. We also prove that for every integer $n$ with $6\le n\le 11,$ there exists a graph of order $n$ and size ${\rm ex}(n,C_4)+1$ which contains exactly one copy of $C_4,$ but for $n=12$ or $n=13,$ the minimum number of copies of $C_4$ in a graph of order $n$ and size ${\rm ex}(n,C_4)+1$ is $2.$
On the binomial equivalence classes of finite words
Published
• View Publication
• BIB
Two finite words $u$ and $v$ are $k$-binomially equivalent if, for each word $x$ of length at most $k$, $x$ appears the same number of times as a subsequence (i.e., as a scattered subword) of both $u$ and $v$. This notion generalizes abelian equivalence. In this paper, we study the equivalence classes induced by the $k$-binomial equivalence with a special focus on the cardinalities of the classes. We provide an algorithm generating the $2$-binomial equivalence class of a word. For $k \geq 2$ and alphabet of $3$ or more symbols, the language made of lexicographically least elements of every $k$-binomial equivalence class and the language of singletons, i.e., the words whose $k$-binomial equivalence class is restricted to a single element, are shown to be non context-free. As a consequence of our discussions, we also prove that the submonoid generated by the generators of the free nil-$2$ group on $m$ generators is isomorphic to the quotient of the free monoid $\{ 1, \ldots , m\}^{*}$ by the $2$-binomial equivalence.
Lengths of extremal square-free ternary words
Published
• View Publication
• BIB
A square-free word $w$ over a fixed alphabet $Σ$ is extremal if every word obtained from $w$ by inserting a single letter from $Σ$ (at any position) contains a square. Grytczuk et al. recently introduced the concept of extremal square-free word, and demonstrated that there are arbitrarily long extremal square-free ternary words. We find all lengths which admit an extremal square-free ternary word. In particular, we show that there is an extremal square-free ternary word of every sufficiently large length. We also solve the analogous problem for circular words.
On conditional connectivity of the Cartesian product of cycles
Published
• View Publication
• BIB
The conditional $h$-vertex($h$-edge) connectivity of a connected graph $H$ of minimum degree $ k > h$ is the size of a smallest vertex(edge) set $F$ of $H$ such that $H - F$ is a disconnected graph of minimum degree at least $h.$ Let $G$ be the Cartesian product of $r\geq 1$ cycles, each of length at least four and let $h$ be an integer such that $0\leq h\leq 2r-2$. In this paper, we determine the conditional $h$-vertex-connectivity and the conditional $h$-edge-connectivity of the graph $G.$ We prove that both these connectivities are equal to $(2r-h)a_h^r$, where $a_h^r$ is the number of vertices of a smallest $h$-regular subgraph of $G.$
Gröbner bases of toric ideals associated with matroids
Published
• View Publication
• BIB
In 1980, White conjectured that the toric ideal of a matroid is generated by quadratic binomials corresponding to a symmetric exchange. In this paper, we compute Gröbner bases of toric ideals associated with matroids and show that, for every matroid on ground sets of size at most seven except for two matroids, Gröbner bases of toric ideals consist of quadratic binomials corresponding to a symmetric exchange.
Rigid toric matrix Schubert varieties
Published
• View Publication
• BIB
For a given permutation $π\in S_N$, Fulton proves that the matrix Schubert variety $\overline{X_π} \cong Y_π \times \mathbb{C}^q$ can be defined via certain rank conditions encoded in the Rothe diagram of $π$. In the case where $Y_π:=\text{TV}(σ_π)$ is toric (with respect to a $(\mathbb{C}^*)^{2N-1}$ action), we show that it can be described as an edge ideal of a bipartite graph $G^π$. We characterize the lower dimensional faces of the associated so-called edge cone $σ_π$ explicitly in terms of subgraphs of $G^π$ and present a combinatorial study for the first order deformations of $Y_π$. We prove that $Y_π$ is rigid if and only if the three-dimensional faces of $σ_π$ are all simplicial. Moreover, we reformulate this result in terms of Rothe diagram of $π$.
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem
Published
• View Publication
• BIB
In the 1970s and 1980s, searches performed by L. Carter, C. Lam, L. Thiel, and S. Swiercz showed that projective planes of order ten with weight 16 codewords do not exist. These searches required highly specialized and optimized computer programs and required about 2,000 hours of computing time on mainframe and supermini computers. In 2011, these searches were verified by D. Roy using an optimized C program and 16,000 hours on a cluster of desktop machines. We performed a verification of these searches by reducing the problem to the Boolean satisfiability problem (SAT). Our verification uses the cube-and-conquer SAT solving paradigm, symmetry breaking techniques using the computer algebra system Maple, and a result of Carter that there are ten nonisomorphic cases to check. Our searches completed in about 30 hours on a desktop machine and produced nonexistence proofs of about 1 terabyte in the DRAT (deletion resolution asymmetric tautology) format.
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
Published in Lecture Notes in Computer Science 12126 (2020) 97-111
• View Publication
• BIB
In 1983, a computer search was performed for ovals in a projective plane of order ten. The search was exhaustive and negative, implying that such ovals do not exist. However, no nonexistence certificates were produced by this search, and to the best of our knowledge the search has never been independently verified. In this paper, we rerun the search for ovals in a projective plane of order ten and produce a collection of nonexistence certificates that, when taken together, imply that such ovals do not exist. Our search program uses the cube-and-conquer paradigm from the field of satisfiability (SAT) checking, coupled with a programmatic SAT solver and the nauty symbolic computation library for removing symmetries from the search.
Double Hurwitz numbers: polynomiality, topological recursion and intersection theory
Published in Math. Annalen (2022)
• View Publication
• BIB
Double Hurwitz numbers enumerate branched covers of $\mathbb{CP}^1$ with prescribed ramification over two points and simple ramification elsewhere. In contrast to the single case, their underlying geometry is not well understood. In previous work by the second- and third-named authors, the double Hurwitz numbers were conjectured to satisfy a polynomiality structure and to be governed by the topological recursion, analogous to existing results concerning single Hurwitz numbers. In this paper, we resolve these conjectures by a careful analysis of the semi-infinite wedge representation for double Hurwitz numbers, by pushing further methods previously used for other Hurwitz problems. We deduce a preliminary version of an ELSV-like formula for double Hurwitz numbers, by deforming the Johnson-Pandharipande-Tseng formula for orbifold Hurwitz numbers and using properties of the topological recursion under variation of spectral curves. In the course of this analysis, we unveil certain vanishing properties of the Chiodo classes.
Combining realization space models of polytopes
Published
• View Publication
• BIB
In this paper we examine four different models for the realization space of a polytope: the classical model, the Grassmannian model, the Gale transform model, and the slack variety. Respectively, they identify realizations of the polytopes with the matrix whose columns are the coordinates of their vertices, the column space of said matrix, their Gale transforms, and their slack matrices. Each model has been used to study realizations of polytopes. In this paper we establish very explicitly the maps that allow us to move between models, study their precise relationships, and combine the strengths of different viewpoints. As an illustration, we combine the compact nature of the Grassmannian model with the slack variety to obtain a reduced slack model that allows us to perform slack ideal calculations that were previously out of computational reach. These calculations allow us to answer the question of [Criado, Santos. Topological prismatoids and small simplicial spheres of large diameter. Experimental Mathematics, 1-13, 2019], about the realizability of a family of prismatoids, in general in the negative by proving the non-realizability of one of them.
Compositions with 3 Pairwise Coprime Parts
How many ways can we write $n$ as a sum of $3$ positive integers, no pair of which share a common factor? We express this quantity in terms of the number of solutions to a certain class of linear Diophantine equations. This allows us to show that there are $$ \prod_{p \mid n} \left( 1- \frac{1}{p^2} \right) \prod_{q \nmid n} \left( 1- \frac{3}{q^2} \right) \frac{n^2}{2} + O(n^{3/2+o(1)}) $$ such compositions, where the products are over primes that respectively do and don't divide $n$. This strengthens the previous result of Bubbolini, Luca, and Spiga (arXiv:1202.1670)
Schubert polynomial analogues for degenerate involutions
Published in Advances in Algebra. SRAC 2017. Springer Proceedings in Mathematics & Statistics, vol 277, 2019, pp 183-199
• View Publication
• BIB
We survey the recent study of involution Schubert polynomials and a modest generalization that we call degenerate involution Schubert polynomials. We cite several conditions when (degenerate) involution Schubert polynomials have simple factorization formulae. Such polynomials can be computed by traversing through chains in certain weak order posets, and we provide explicit descriptions of such chains in weak order for involutions and degenerate involutions. As an application, we give several examples of how certain multiplicity-free sums of Schubert polynomials factor completely into very simple linear factors.
General upper bound on the game domination number
It is conjectured that the game domination number is at most $3n/5$ for every $n$-vertex graph which does not contain isolated vertices. It was proved in the recent years that the conjecture holds for several graph classes, including the class of forests and that of graphs with minimum degree at least two. Here we prove that the slightly bigger upper bound $5n/8$ is valid for every isolate-free graph.
Lusztig data of Kashiwara-Nakashima tableaux in type D
Published in Algebras and Representation Theory, 24, (2021), 959-989
• View Publication
• BIB
We describe the embedding from the crystal of Kashiwara-Nakashima tableaux in type $D$ of an arbitrary shape into that of $\mathbf{i}$-Lusztig data associated to a family of reduced expressions $\mathbf{i}$ which are compatible with the maximal Levi subalgebra of type $A$. The embedding is described explicitly in terms of well-known combinatorics of type $A$ including the Schützenberger's jeu de taquin and an analog of RSK algorithm.
Reconstructing Words from Right-Bounded-Block Words
Published
• View Publication
• BIB
A reconstruction problem of words from scattered factors asks for the minimal information, like multisets of scattered factors of a given length or the number of occurrences of scattered factors from a given set, necessary to uniquely determine a word. We show that a word $w \in \{a, b\}^{*}$ can be reconstructed from the number of occurrences of at most $\min(|w|_a, |w|_b)+ 1$ scattered factors of the form $a^{i} b$. Moreover, we generalize the result to alphabets of the form $\{1,\ldots,q\}$ by showing that at most $ \sum^{q-1}_{i=1} |w|_i (q-i+1)$ scattered factors suffices to reconstruct $w$. Both results improve on the upper bounds known so far. Complexity time bounds on reconstruction algorithms are also considered here.
Determinantal point processes from symplectic and orthogonal characters and applications
We show that the symplectic and orthogonal character analogues of Okounkov's Schur measure (on integer partitions) are determinantal, with explicit correlation kernels. We apply this to prove certain Borodin-Okounkov-Gessel-type results concerning Toeplitz+Hankel and Fredholm determinants; a Szegő-type limit theorem; an edge Baik-Deift-Johansson-type asymptotical result for certain symplectic and orthogonal analogues of the poissonized Plancherel measure; and a similar result for actual poissonized Plancherel measures supported on "almost symmetric" partitions.