Showing 20 papers (Total: 84460 papers, 48641 authors in database)
New and Explicit Constructions of Unbalanced Ramanujan Bipartite Graphs
Published
• View Publication
• BIB
The objectives of this article are three-fold. Firstly, we present for the first time explicit constructions of an infinite family of \textit{unbalanced} Ramanujan bigraphs. Secondly, we revisit some of the known methods for constructing Ramanujan graphs and discuss the computational work required in actually implementing the various construction methods. The third goal of this article is to address the following question: can we construct a bipartite Ramanujan graph with specified degrees, but with the restriction that the edge set of this graph must be distinct from a given set of "prohibited" edges? We provide an affirmative answer in many cases, as long as the set of prohibited edges is not too large.
Licci binomial edge ideals
Published
• View Publication
• BIB
We give a complete characterization of graphs whose binomial edge ideal is licci. An important tool is a new general upper bound for the regularity of binomial edge ideals.
Resilience of the Rank of Random Matrices
Published in Combinator. Probab. Comp. 30 (2021) 163-174
• View Publication
• BIB
Let $M$ be an $n \times m$ matrix of independent Rademacher ($\pm 1$) random variables. It is well known that if $n \leq m$, then $M$ is of full rank with high probability. We show that this property is resilient to adversarial changes to $M$. More precisely, if $m \geq n + n^{1-\varepsilon/6}$, then even after changing the sign of $(1-\varepsilon)m/2$ entries, $M$ is still of full rank with high probability. Note that this is asymptotically best possible as one can easily make any two rows proportional with at most $m/2$ changes. Moreover, this theorem gives an asymptotic solution to a slightly weakened version of a conjecture made by Van Vu.
Cut and pendant vertices and the number of connected induced subgraphs of a graph
Published
• View Publication
• BIB
A vertex whose removal in a graph $G$ increases the number of components of $G$ is called a cut vertex. For all $n,c$, we determine the maximum number of connected induced subgraphs in a connected graph with order $n$ and $c$ cut vertices, and also characterise those graphs attaining the bound. Moreover, we show that the cycle has the smallest number of connected induced subgraphs among all cut vertex-free connected graphs. The general case $c>0$ remains an open task. We also characterise the extremal graph structures given both order and number of pendant vertices, and establish the corresponding formulas for the number of connected induced subgraphs. The `minimal' graph in this case is a tree, thus coincides with the structure that was given by Li and Wang~[Further analysis on the total number of subtrees of trees. \emph{Electron. J. Comb.} 19(4), #P48, 2012].
On vertex-edge and independent vertex-edge domination
Published
• View Publication
• BIB
Given a graph $G = (V,E)$, a vertex $u \in V$ ve-dominates all edges incident to any vertex of $N_G[u]$. A set $S \subseteq V$ is a ve-dominating set if for all edges $e\in E$, there exists a vertex $u \in S$ such that $u$ ve-dominates $e$. Lewis [Ph.D. thesis, 2007] proposed a linear time algorithm for ve-domination problem for trees. In this paper, first we have constructed an example where the proposed algorithm fails. Then we have proposed a linear time algorithm for ve-domination problem in block graphs, which is a superclass of trees. We have also proved that finding minimum ve-dominating set is NP-complete for undirected path graphs. Finally, we have characterized the trees with equal ve-domination and independent ve-domination number.
The converse of Weyl's eigenvalue inequality
Published in Adv. in Appl. Math. 109 (2019) 65-73
• View Publication
• BIB
We establish the converse of Weyl's eigenvalue inequality for additive Hermitian perturbations of a Hermitian matrix.
Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System
Published
• View Publication
• BIB
In this paper, we study a certain case of a subgraph isomorphism problem. We consider the Hasse diagram of the lattice $M_{k}$ (the unique lattice with $k+2$ elements and one anti-chain of length $k$) and want to find the maximal $k$ for which it is isomorphic to a subgraph of the reduction graph of a given one-rule string rewriting system. We obtain a complete characterization for this problem and show that there is a dichotomy. There are one-rule string rewriting systems for which the maximal such $k$ is $2$ and there are cases where there is no maximum. No other intermediate option is possible.
On the existence of permutations conditioned by certain rational functions
Published
• View Publication
• BIB
We prove several conjectures made by Z.-W. Sun on the existence of permutations conditioned by certain rational functions. Furthermore, we fully characterize all integer values of the "inverse difference" rational function. Our proofs consist of both investigation of the mathematical properties of the rational functions and brute-force attack by computer for finding special permutations.
On the dominated chromatic number of certain graphs
Published
• View Publication
• BIB
Let $G$ be a simple graph. The dominated coloring of $G$ is a proper coloring of $G$ such that each color class is dominated by at least one vertex. The minimum number of colors needed for a dominated coloring of $G$ is called the dominated chromatic number of $G$, denoted by $χ_{dom}(G)$. Stability (bondage number) of dominated chromatic number of $G$ is the minimum number of vertices (edges) of $G$ whose removal changes the dominated chromatic number of $G$. In this paper, we study the dominated chromatic number, dominated stability and dominated bondage number of certain graphs.
A pair degree condition for Hamiltonian cycles in $3$-uniform hypergraphs
We prove a new sufficient pair degree condition for tight Hamiltonian cycles in $3$-uniform hypergraphs that (asymptotically) improves the best known pair degree condition due to Rödl, Ruciński, and Szemerédi. For graphs, Chvátal characterised all those sequences of integers for which every pointwise larger (or equal) degree sequence guarantees the existence of a Hamiltonian cycle. A step towards Chvátal's theorem was taken by Pósa, who improved on Dirac's tight minimum degree condition for Hamiltonian cycles by showing that a certain weaker condition on the degree sequence of a graph already yields a Hamiltonian cycle. In this work, we take a similar step towards a full characterisation of all pair degree matrices that ensure the existence of tight Hamiltonian cycles in $3$-uniform hypergraphs by proving a $3$-uniform analogue of Pósa's result. In particular, our result strengthens the asymptotic version of the result by Rödl, Ruciński, and Szemerédi.
A simple sphere theorem for graphs
A finite simple graph G is declared to have positive curvature if every in G embedded wheel graph has five or six vertices. A d-graph is a finite simple graph G for which every unit sphere is a (d-1)-sphere. A d-sphere is a d-graph G for which there exists a vertex x such that G-x is contractible. A graph G is contractible if there is a vertex x such that S(x) and G-x are contractible. The empty graph 0 is the (-1)-sphere. The 1-point graph 1 is contractible. The theorem is that for d bigger than 1, every connected positive curvature d-graph is a d-sphere. A discrete Synge result follows: a positive curvature graph is simply connected and orientable. For every d larger than 1, there are only finitely many positive curvature graphs. There are six for d=2 and all have diameter less or equal to 3. To prove the theorem, we use a "geomag lemma" which shows that every geodesic in G can be extended to an immersed 2-graph S of positive curvature and must so be a 2-sphere with positive curvature. As none of these has diameter larger than 3, also G has a diameter 3 or less. This can be used to show that G-x is contractible and so must be a sphere.
Kissing number in spherical space
This paper investigates the behaviour of the kissing number $κ(n, r)$ of congruent radius $r > 0$ spheres in $\mathbb{S}^n$, for $n\geq 2$. Such a quantity depends on the radius $r$, and we plot the approximate graph of $κ(n, r)$ with relatively high accuracy by using new upper and lower bounds that are produced via semidefinite programming and by using spherical codes, respectively.
Enumerating extensions of mutually orthogonal Latin squares
Published
• View Publication
• BIB
Two $n \times n$ Latin squares $L_1, L_2$ are said to be orthogonal if, for every ordered pair $(x,y)$ of symbols, there are coordinates $(i,j)$ such that $L_1(i,j) = x$ and $L_2(i,j) = y$. A $k$-MOLS is a sequence of $k$ pairwise-orthogonal Latin squares, and the existence and enumeration of these objects has attracted a great deal of attention.
Recent work of Keevash and Luria provides, for all fixed $k$, log-asymptotically tight bounds on the number of $k$-MOLS. To study the situation when $k$ grows with $n$, we bound the number of ways a $k$-MOLS can be extended to a $(k+1)$-MOLS. These bounds are again tight for constant $k$, and allow us to deduce upper bounds on the total number of $k$-MOLS for all $k$. These bounds are close to tight even for $k$ linear in $n$, and readily generalize to the broader class of gerechte designs, which include Sudoku squares.
Small Youden Rectangles, Near Youden Rectangles, and Their Connections to Other Row-Column Designs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Combinatorics (March 1, 2023) dmtcs:6754
• View Publication
• BIB
In this paper we first study $k \times n$ Youden rectangles of small orders. We have enumerated all Youden rectangles for a range of small parameter values, excluding the almost square cases where $k = n-1$, in a large scale computer search. In particular, we verify the previous counts for $(n,k) = (7,3), (7,4)$, and extend this to the cases $(11,5), (11,6), (13,4)$ and $(21,5)$. For small parameter values where no Youden rectangles exist, we also enumerate rectangles where the number of symbols common to two columns is always one of two possible values, differing by 1, which we call \emph{near Youden rectangles}. For all the designs we generate, we calculate the order of the autotopism group and investigate to which degree a certain transformation can yield other row-column designs, namely double arrays, triple arrays and sesqui arrays. Finally, we also investigate certain Latin rectangles with three possible pairwise intersection sizes for the columns and demonstrate that these can give rise to triple and sesqui arrays which cannot be obtained from Youden rectangles, using the transformation mentioned above.
Distributed Distance-$r$ Dominating Set on Sparse High-Girth Graphs
Published
• View Publication
• BIB
The dominating set problem and its generalization, the distance-$r$ dominating set problem, are among the well-studied problems in the sequential settings. In distributed models of computation, unlike for domination, not much is known about distance-r domination. This is actually the case for other important closely-related covering problem, namely, the distance-$r$ independent set problem. By result of Kuhn et al. we know the distributed domination problem is hard on high girth graphs; we study the problem on a slightly restricted subclass of these graphs: graphs of bounded expansion with high girth, i.e. their girth should be at least $4r + 3$. We show that in such graphs, for every constant $r$, a simple greedy CONGEST algorithm provides a constant-factor approximation of the minimum distance-$r$ dominating set problem, in a constant number of rounds. More precisely, our constants are dependent to $r$, not to the size of the graph. This is the first algorithm that shows there are non-trivial constant factor approximations in constant number of rounds for any distance $r$-covering problem in distributed settings. To show the dependency on r is inevitable, we provide an unconditional lower bound showing the same problem is hard already on rings. We also show that our analysis of the algorithm is relatively tight, that is any significant improvement to the approximation factor requires new algorithmic ideas.
Enumeration of Sets of Mutually Orthogonal Latin Rectangles
We study sets of mutually orthogonal Latin rectangles (MOLR), and a natural variation of the concept of self-orthogonal Latin squares which is applicable on larger sets of mutually orthogonal Latin squares and MOLR, namely that each Latin rectangle in a set of MOLR is isotopic to each other rectangle in the set. We call such a set of MOLR \emph{homogeneous}. In the course of doing this, we perform a complete enumeration of non-isotopic sets of $t$ mutually orthogonal $k\times n$ Latin rectangles for $k\leq n \leq 7$, for all $t < n$. Specifically, we keep track of homogeneous sets of MOLR, as well as sets of MOLR where the autotopism group acts transitively on the rectangles, and we call such sets of MOLR \emph{transitive}. We build the sets of MOLR row by row, and in this process we also keep track of which of the MOLR are homogeneous and/or transitive in each step of the construction process. We use the prefix \emph{stepwise} to refer to sets of MOLR with this property. Sets of MOLR are connected to other discrete objects, notably finite geometries and certain regular graphs. Here we observe that all projective planes of order at most 9 except the Hughes plane can be constructed from a stepwise transitive MOLR.
Applications of Bar Code to involutive divisions and a greedy algorithm for complete sets
Published
• View Publication
• BIB
In this paper, we describe how to get Janet decomposition for a finite set of terms and detect completeness of that set by means of the associated Bar Code. Moreover, we explain an algorithm to find a variable ordering (if it exists) s.t. a given set of terms is complete according to that ordering. The algorithm is greedy and constructs a Bar Code from the maximal to the minimal variable, adjusting the variable ordering with a sort of backtracking technique, thus allowing to construct the desired ordering without trying all the n! possible orderings
Vertices of Schubitopes
Published
• View Publication
• BIB
Schubitopes were introduced by Monical, Tokcan and Yong as a specific family of generalized permutohedra. It was proven by Fink, Mészáros and St.$\,$Dizier that Schubitopes are the Newton polytopes of the dual characters of flagged Weyl modules. Important cases of Schubitopes include the Newton polytopes of Schubert polynomials and key polynomials. In this paper, we develop a combinatorial rule to generate the vertices of Schubitopes. As an application, we show that the vertices of the Newton polytope of a key polynomial can be generated by permutations in a lower interval in the Bruhat order, settling a conjecture of Monical, Tokcan and Yong.
Eulerian circuits and path decompositions in quartic planar graphs
A subcycle of an Eulerian circuit is a sequence of edges that are consecutive in the circuit and form a cycle. We characterise the quartic planar graphs that admit Eulerian circuits avoiding 3-cycles and 4-cycles. From this, it follows that a quartic planar graph of order $n$ can be decomposed into $k_1+k_2+k_3+k_4$ many paths with $k_i$ copies of $P_{i+1}$, the path with $i$ edges, if and only if $k_1+2k_2+3k_3+4k_4 = 2n$. In particular, every connected quartic planar graph of even order admits a $P_5$-decomposition.
Bar Code and Janet-like division
Bar Codes are combinatorial objects encoding many properties of monomial ideals. In this paper we employ these objects to study Janet-like divisions. Given a finite set of terms U, from its Bar Code we can compute the Janet-like nonmultiplicative power of its elements and detect completeness of the set. Some observation on the computation of Janet-like bases conclude the work.