Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On the treewidth of Hanoi graphs
Published in Theor. Comput. Sci. 906: 1-17, 2022
• View Publication
• BIB
The objective of the well-known Towers of Hanoi puzzle is to move a set of disks one at a time from one of a set of pegs to another, while keeping the disks sorted on each peg. We propose an adversarial variation in which the first player forbids a set of states in the puzzle, and the second player must then convert one randomly-selected state to another without passing through forbidden states. Analyzing this version raises the question of the treewidth of Hanoi graphs. We find this number exactly for three-peg puzzles and provide nearly-tight asymptotic bounds for larger numbers of pegs.
The Regular Polygon Minimizes The Ratio of Plucker Coordinates on The Positive Grassmannian
For a point $x$ on the Positive Grassmannian of two-dimensional subspaces in $\mathbb{R}^n$, define the loss function $E(x)$ as the ratio of its largest and smallest Plucker coordinates. We solve the extremal problem of minimizing the loss function $E(x)$ over the Grassmannian. This minimax problem was posed by Berman, et al. in their paper on error-correcting codes over the real numbers.
Flow Extensions and Group Connectivity with Applications
Published
• View Publication
• BIB
We study the flow extension of graphs, i.e., pre-assigning a partial flow on the edges incident to a given vertex and aiming to extend to the entire graph. This is closely related to Tutte's $3$-flow conjecture(1972) that every $4$-edge-connected graph admits a nowhere-zero $3$-flow and a $\mathbb{Z}_3$-group connectivity conjecture(3GCC) of Jaeger, Linial, Payan, and Tarsi(1992) that every $5$-edge-connected graph $G$ is $\mathbb{Z}_3$-connected. Our main results show that these conjectures are equivalent to their natural flow extension versions and present some applications. The $3$-flow case gives an alternative proof of Kochol's result(2001) that Tutte's $3$-flow conjecture is equivalent to its restriction on $5$-edge-connected graphs and is implied by the 3GCC. It also shows a new fact that Gr{ö}tzsch's theorem (that triangle-free planar graphs are $3$-colorable) is equivalent to its seemly weaker girth five case that planar graphs of grith $5$ are $3$-colorable. Our methods allow to verify 3GCC for graphs with crossing number one, which is in fact reduced to the planar case proved by Richter, Thomassen and Younger(2017). Other equivalent versions of 3GCC and related partial results are obtained as well.
On the proportion of prefix codes in the set of three-element codes
Published in Discrete Mathematics 343 (2020) 111939
• View Publication
• BIB
Let $L$ be a finite sequence of natural numbers. In Woryna (2017,2018), we derived some interesting properties for the ratio $ρ_{n,L}=|PR_n(L)|/|UD_n(L)|$, where $UD_n(L)$ denotes the set of all codes over an $n$-letter alphabet and with length distribution $L$, and $PR_n(L)\subseteq UD_n(L)$ is the corresponding subset of prefix codes. In the present paper, we study the case when the length distributions are three-element sequences. We show in this case that the ratio $ρ_{n,L}$ is always greater than $α_n$, where $α_n=(n-2)/n$ for $n>2$ and $α_2=1/6$. Moreover, the number $α_n$ is the best possible lower bound for this ratio, as the length distributions of the form $L=(1,1,c)$ and $L=(1,2,c)$ assure that the ratios asymptotically approach $α_n$. Namely, if $L=(1,1,c)$, then $ρ_{n,L}$ tends to $(n-2)/n$ with $c\to\infty$, and, if $L=(1,2,c)$, then $ρ_{2,L}$ tends to $1/6$ with $c\to\infty$.
Some doubly semi-equivelar maps on the plane and the torus
Published
• View Publication
• BIB
A vertex $v$ in a map $M$ has the face-sequence $(p_1 ^{n_1}. \ldots. p_k^{n_k})$, if there are $n_i$ numbers of $p_i$-gons incident at $v$ in the given cyclic order, for $1 \leq i \leq k$. A map $M$ is called a semi-equivelar map if each of its vertex has same face-sequence. Doubly semi-equivelar maps are a generalization of semi-equivelar maps which have precisely 2 distinct face-sequences. In this article, we enumerate the types of doubly semi-equivelar maps on the plane and torus which have combinatorial curvature 0. Further, we present classification of doubly semi-equivelar maps on the torus and illustrate this classification for those doubly semi-equivelar maps which comprise of face-sequence pairs $\{(3^6), (3^3.4^2)\}$ and $\{(3^3.4^2), (4^4)\}$.
Pattern-Avoiding (0,1)-Matrices
We investigate pattern-avoiding (0,1)-matrices as generalizations of pattern-avoiding permutations. Our emphasis is on 123-avoiding and 321-avoiding patterns for which we obtain exact results as to the maximum number of 1's such matrices can have. We also give algorithms when carried out in all possible ways, construct all of the pattern-avoiding matrices of these two types.
Approximate quantum fractional revival in paths and cycles
Published
• View Publication
• BIB
We initiate the study of approximate quantum fractional revival in graphs, a generalization of pretty good quantum state transfer in graphs. We give a complete characterization of approximate fractional revival in a graph in terms of the eigenvalues and eigenvectors of the adjacency matrix of a graph. This characterization follows from a lemma due to Kronecker on Diophantine approximation, and is similar to the spectral characterization of pretty good state transfer in graphs. Using this, we give a complete characterizations of when approximate fractional revival can occur in paths and in cycles.
New bounds for Ryser's conjecture and related problems
Published
• View Publication
• BIB
A Latin square of order $n$ is an $n \times n$ array filled with $n$ symbols such that each symbol appears only once in every row or column and a transversal is a collection of cells which do not share the same row, column or symbol. The study of Latin squares goes back more than 200 years to the work of Euler. One of the most famous open problems in this area is a conjecture of Ryser-Brualdi-Stein from 60s which says that every Latin square of order $n\times n$ contains a transversal of order $n-1$. In this paper we prove the existence of a transversal of order $n-O(\log{n}/\log{\log{n}})$, improving the celebrated bound of $n-O(\log^2n)$ by Hatami and Shor. Our approach (different from that of Hatami-Shor) is quite general and gives several other applications as well. We obtain a new lower bound on a 40 year old conjecture of Brouwer on the maximum matching in Steiner triple systems, showing that every such system of order $n$ is guaranteed to have a matching of size $n/3-O(\log{n}/\log{\log{n}})$. This substantially improves the current best result of Alon, Kim and Spencer which has the error term of order $n^{1/2+o(1)}$. Finally, we also show that $O(n\log{n}/\log{\log{n}})$ many symbols in Latin arrays suffice to guarantee a full transversal, improving on previously known bound of $n^{2-\varepsilon}$. The proofs combine in a novel way the semirandom method together with the robust expansion properties of edge coloured pseudorandom graphs to show the existence of a rainbow matching covering all but $O(\log n/\log{\log{n}})$ vertices. All previous results, based on the semi-random method, left uncovered at least $Ω(n^α)$ (for some constant $α$) vertices.
A random analogue of Gilbreath's conjecture
Published
• View Publication
• BIB
A well-known conjecture of Gilbreath, and independently Proth from the 1800s, states that if $a_{0,n} = p_n$ denotes the $n^{\text{th}}$ prime number and $a_{i,n} = |a_{i-1,n}-a_{i-1,n+1}|$ for $i, n \ge 1$, then $a_{i,1} = 1$ for all $i \ge 1$. It has been postulated repeatedly that the property of having $a_{i,1} = 1$ for $i$ large enough should hold for any choice of initial $(a_{0,n})_{n \ge 1}$ provided that the gaps $a_{0,n+1}-a_{0,n}$ are not too large and are sufficiently random. We prove (a precise form of) this postulate.
Relationships between the number of inputs and other complexity measures of Boolean functions
Published
• View Publication
• BIB
We generalize and extend the ideas in a recent paper of Chiarelli, Hatami and Saks to prove new bounds on the number of relevant variables for boolean functions in terms of a variety of complexity measures. Our approach unifies and refines all previously known bounds of this type. We also improve Nisan and Szegedy's well-known block sensitivity vs. degree inequality by a constant factor, thereby improving Huang's recent proof of the sensitivity conjecture by the same constant.
An Algebraic Approach to Projective Uniqueness with an Application to Order Polytopes
Published
• View Publication
• BIB
A combinatorial polytope $P$ is said to be projectively unique if it has a single realization up to projective transformations. Projective uniqueness is a geometrically compelling property but is difficult to verify. In this paper, we merge two approaches to projective uniqueness in the literature. One is primarily geometric and is due to McMullen, who showed that certain natural operations on polytopes preserve projective uniqueness. The other is more algebraic and is due to Gouveia, Macchia, Thomas, and Wiebe. They use certain ideals associated to a polytope to verify a property called graphicality that implies projective uniqueness. In this paper, we show that that McMullen's operations preserve not only projective uniquness but also graphicality. As an application, we show that large families of order polytopes are graphic and thus projectively unique.
On the Connectivity of Token Graphs of Trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (March 30, 2022) dmtcs:7538
• View Publication
• BIB
Let $k$ and $n$ be integers such that $1\leq k \leq n-1$, and let $G$ be a simple graph of order $n$. The $k$-token graph $F_k(G)$ of $G$ is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. In this paper we show that if $G$ is a tree, then the connectivity of $F_k(G)$ is equal to the minimum degree of $F_k(G)$.
On Solving Cycle Problems with Branch-and-Cut: Extending Shrinking and Exact Subcycle Elimination Separation Algorithms
Published
• View Publication
• BIB
In this paper, we extend techniques developed in the context of the Travelling Salesperson Problem for cycle problems. Particularly, we study the shrinking of support graphs and the exact algorithms for subcycle elimination separation problems. The efficient application of the considered techniques has proved to be essential in the Travelling Salesperson Problem when solving large size problems by Branch-and-Cut, and this has been the motivation behind this work. Regarding the shrinking of support graphs, we prove the validity of the Padberg-Rinaldi general shrinking rules and the Crowder-Padberg subcycle-safe shrinking rules. Concerning the subcycle separation problems, we extend two exact separation algorithms, the Dynamic Hong and the Extended Padberg-Grötschel algorithms, which are shown to be superior to the ones used so far in the literature of cycle problems.
The proposed techniques are empirically tested in 24 subcycle elimination problem instances generated by solving the Orienteering Problem (involving up to 15112 vertices) with Branch-and-Cut. The experiments suggest the relevance of the proposed techniques for cycle problems. The obtained average speedup for the subcycle separation problems in the Orienteering Problem when the proposed techniques are used together is around 50 times in medium-sized instances and around 250 times in large-sized instances.
Generalized power sum and Newton-Girard identities
Published
• View Publication
• BIB
In this article we prove an algebraic identity which significantly generalizes the formula for sum of powers of consecutive integers involving Stirling numbers of the second kind. Also we have obtained a generalization of Newton-Girard power sum identity.
Geometric group testing
Published
• View Publication
• BIB
Group testing is concerned with identifying $t$ defective items in a set of $m$ items, where each test reports whether a specific subset of items contains at least one defective. In non-adaptive group testing, the subsets to be tested are fixed in advance. By testing multiple items at once, the required number of tests can be made much smaller than $m$. In fact, for $t \in \mathcal{O}(1)$, the optimal number of (non-adaptive) tests is known to be $Θ(\log{m})$.
In this paper, we consider the problem of non-adaptive group testing in a geometric setting, where the items are points in $d$-dimensional Euclidean space and the tests are axis-parallel boxes (hyperrectangles). We present upper and lower bounds on the required number of tests under this geometric constraint. In contrast to the general, combinatorial case, the bounds in our geometric setting are polynomial in $m$. For instance, our results imply that identifying a defective pair in a set of $m$ points in the plane always requires $Ω(m^{3/5})$ tests, and there exist configurations of $m$ points for which $\mathcal{O}(m^{2/3})$ tests are sufficient, whereas to identify a single defective point in the plane, $Θ(m^{1/2})$ tests are always necessary and sometimes sufficient.
Spectral Theory of Laplace Operators on Oriented Hypergraphs
Published in Discrete Mathematics 344(6) (2021) 112372
• View Publication
• BIB
Several new spectral properties of the normalized Laplacian defined for oriented hypergraphs are shown. The eigenvalue $1$ and the case of duplicate vertices are discussed; two Courant nodal domain theorems are established; new quantities that bound the eigenvalues are introduced. In particular, the Cheeger constant is generalized and it is shown that the classical Cheeger bounds can be generalized for some classes of hypergraphs; it is shown that a geometric quantity used to study zonotopes bounds the largest eigenvalue from below, and that the notion of coloring number can be generalized and used for proving a Hoffman-like bound. Finally, the spectrum of the unnormalized Laplacian for Cartesian products of hypergraphs is discussed.
An asymptotic version of the union-closed sets conjecture
Published
• View Publication
• BIB
We show that the biggest possible average set size in the complement $2^{\{1,2,\ldots, n\}} \setminus A$ of a union-closed family $A \subset 2^{\{1,2, \ldots, n\}}$ is $\tfrac{n+1}{2}$. With the same proof we get a sharp upper bound for the average frequency in complements of union-closed families. This implies an asymptotic version of the union-closed sets conjecture, formulated in terms of complements of union-closed families.
Dispersion of digital $(0,m,2)$-nets
Published in Monatshefte für Mathematik (195),pp. 155-171, 2021
• View Publication
• BIB
We study the dispersion of digital $(0,m,2)$-nets; i.e. the size of the largest axes-parallel box within such point sets. Digital nets are an important class of low-discrepancy point sets. We prove tight lower and upper bounds for certain subclasses of digital nets where the generating matrices are of triangular form and compute the dispersion of special nets such as the Hammersley point set exactly.
From representations of the rational Cherednik algebra to parabolic Hilbert schemes via the Dunkl-Opdam subalgebra
Published in Transformation Groups, 2022
• View Publication
• BIB
In this note we explicitly construct an action of the rational Cherednik algebra $H_{1,m/n}(S_n,\mathbb{C}^n)$ corresponding to the permutation representation of $S_n$ on the $\mathbb{C}^{*}$-equivariant homology of parabolic Hilbert schemes of points on the plane curve singularity $\{x^{m} = y^{n}\}$ for coprime $m$ and $n$. We use this to construct actions of quantized Gieseker algebras on parabolic Hilbert schemes on the same plane curve singularity, and actions of the Cherednik algebra at $t = 0$ on the equivariant homology of parabolic Hilbert schemes on the non-reduced curve $\{y^{n} = 0\}.$ Our main tool is the study of the combinatorial representation theory of the rational Cherednik algebra via the subalgebra generated by Dunkl-Opdam elements.
Invertible Elements of the Misere Dicotic Universe
We present a characterization of the invertible elements of the misere dicotic universe.