Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Hypergraph dualization with FPT-delay parameterized by the degeneracy and dimension
Published
• View Publication
• BIB
At STOC 2002, Eiter, Gottlob, and Makino presented a technique called ordered generation that yields an $n^{O(d)}$-delay algorithm listing all minimal transversals of an $n$-vertex hypergraph of degeneracy $d$. Recently at IWOCA 2019, Conte, Kanté, Marino, and Uno asked whether this XP-delay algorithm parameterized by $d$ could be made FPT-delay for a weaker notion of degeneracy, or even parameterized by the maximum degree $Δ$, i.e., whether it can be turned into an algorithm with delay $f(Δ)\cdot n^{O(1)}$ for some computable function $f$. Moreover, and as a first step toward answering that question, they note that they could not achieve these time bounds even for the particular case of minimal dominating sets enumeration. In this paper, using ordered generation, we show that an FPT-delay algorithm can be devised for minimal transversals enumeration parameterized by the degeneracy and dimension, giving a positive and more general answer to the latter question.
Exponential Erdős-Szekeres theorem for matrices
In 1993, Fishburn and Graham established the following qualitative extension of the classical Erdős-Szekeres theorem. If $N$ is sufficiently large with respect to $n$, then any $N\times N$ real matrix contains an $n\times n$ submatrix in which every row and every column is monotone. We prove that the smallest such $N$ is at most $2^{n^{4+o(1)}}$, greatly improving the previously best known double-exponential upper bound, and getting close to the best known lower bound $n^{n/2}$.
In particular, we prove the following surprising sharp transition in the asymmetric setting. On one hand, every $8n^2\times 2^{n^{4+o(1)}}$ matrix contains an $n\times n$ submatrix, in which every row is mononote. On the other hand, there exist $n^{2}/6\times 2^{2^{n^{1-o(1)}}}$ matrices containing no such submatrix .
Homotopy types of Vietoris-Rips complexes of Hypercube Graphs
Published
• View Publication
• BIB
We describe the homotopy types of Vietoris-Rips complexes of hypercube graphs at scale $3$. We represent the vertices in the hypercube graph $Q_m$ as the collection of all subsets of $[m]=\{1, 2, \ldots, m\}$ and equip $Q_m$ with the metric using symmetric difference distance. It is proved in \cite{AA22} that the Vietoris-Rips complexes of hypercube graphs $Q_m$ at scale $2$, $\mathcal{VR}(Q_m; 2)$, is homotopy equivalent to $c_m$-many spheres with dimension $3$ where $c_m=\sum_{0\leq j< i<m} (j+1)(2^{m-2}-2^{i-1})$. Questions are raised in \cite{AA22} for determining the homotopy types of $\mathcal{VR}(Q_m, r)$ with large scales $r=3, 4, \ldots, m-2$. We prove that for $m\geq 5$, $$\mathcal{VR}(Q_m; 3)\simeq (\bigvee_{2^{m-4}\cdot{m\choose 4}} S^7) \vee (\bigvee_{\sum_{i=4}^{m-1}2^{i-4}\cdot{i\choose 4}} S^4).$$
On the Eight Levels theorem and applications towards Lucas-Lehmer primality test for Mersenne primes, I
Published in Arab Journal of Basic and Applied Sciences, 30:1, 267-284
• View Publication
• BIB
Lucas-Lehmer test is the current standard algorithm used for testing the primality of Mersenne numbers, but it may have limitations in terms of its efficiency and accuracy. Developing new algorithms or improving upon existing ones could potentially improve the search for Mersenne primes and the understanding of the distribution of Mersenne primes and composites. The development of new versions of the primality test for Mersenne numbers could help to speed up the search for new Mersenne primes by improving the efficiency of the algorithm. This could potentially lead to the discovery of new Mersenne primes that were previously beyond the reach of current computational resources. The current paper proves what the author called the Eight Levels Theorem and then highlights and proves three new different versions for Lucas-Lehmer primality test for Mersenne primes and also gives a new criterion for Mersenne compositeness.
Linear Eulerian Extensions of Inhomogenous Random Graphs
The Eulerian extension number of any graph~\(H\) (i.e. the minimum number of edges needed to be added to make~\(H\) Eulerian) is at least~\(t(H),\) half the number of odd degree vertices of~\(H.\) In this paper we consider an inhomogenous random graph~\(G\) whose edge probabilities need not all be the same and use an iterative probabilistic method to obtain sufficient conditions for the Eulerian extension number of~\(G\) to grow \emph{linearly} with~\(t(G).\) We derive our conditions in terms of the average edge probabilities and edge density and also briefly illustrate our result with an example.
Betti Numbers of Prodsimplicial Complexes for Directed Graphs with Applications to Word Reductions
We propose custom made cell complexes, in particular prodsimplicial complexes, in order to analyze data consisting of directed graphs. These are constructed by attaching cells that are products of simplices and are suited to study data of acyclic directed graphs, called here consistently directed graphs. We investigate possible values of the first and second Betti numbers and the types of cycles that generate nontrivial homology. We apply these tools to directed graphs associated with reductions of double occurrence words, words that are associated with DNA recombination processes in certain species of ciliates. We study the effects of word operations on the homology for these graphs.
Hadwiger's Conjecture for some graphs with independence number two
Let $h(G)$ denote the largest $t$ such that $G$ contains $K_t$ as a minor and $χ(G)$ be the chromatic number of $G$ respectively. In 1943, Hadwiger conjectured that $h(G) \geq χ(G)$ for any graph $G$. In this paper, we prove that Hadwiger's conjecture holds for $H$-free graphs with independence number two, where $H$ is one of some specified graphs.
On Zagreb indices of graphs
Published in MATCH Commun. Math. Comput. Chem. 85 (2021) 295-301
• Search Publication
Let ${\mathcal G}_n$ be the set of class of graphs of order $n$. The first Zagreb index $M_1(G)$ is equal to the sum of squares of the degrees of the vertices, and the second Zagreb index $M_2(G)$ is equal to the sum of the products of the degrees of pairs of adjacent vertices of the underlying molecular graph $G$. The three set of graphs are as follows: \begin{eqnarray*} &&A=\left\{G\in {\mathcal G}_n:\,\frac{M_1(G)}{n}>\frac{M_2(G)}{m}\right\},~B=\left\{G\in {\mathcal G}_n:\,\frac{M_1(G)}{n}=\frac{M_2(G)}{m}\right\} \mbox{ and }&& &&~~~~~~~~~~~~~~~~~~~~~~~~~C=\left\{G\in {\mathcal G}_n:\,\frac{M_1(G)}{n}<\frac{M_2(G)}{m}\right\}. \end{eqnarray*} In this paper we prove that $|A|+|B|<|C|$. Finally, we give a conjecture $|A|<|B|$.
Normal 5-edge-coloring of some snarks superpositioned by the Petersen graph
Published
• View Publication
• BIB
In a (proper) edge-coloring of a bridgeless cubic graph G an edge e is rich (resp. poor) if the number of colors of all edges incident to end-vertices of e is 5 (resp. 3). An edge-coloring of G is is normal if every edge of G is either rich or poor. In this paper we consider snarks ~G obtained by a simple superposition of edges and vertices of a cycle C in a snark G: For an even cycle C we show that a normal coloring of G can be extended to a normal coloring of ~G without changing colors of edges outside C in G: An interesting remark is that this is in general impossible for odd cycles, since the normal coloring of a Petersen graph P10 cannot be extended to a superposition of P10 on a 5-cycle without changing colors outside the 5-cycle. On the other hand, as our colorings of the superpositioned snarks introduce 18 or more poor edges, we are inclined to believe that every bridgeless cubic graph istinct from P10 has a normal coloring with at least one poor edge and possibly with at least 6 if we also exclude the Petersen graph with one vertex truncated.
A sufficient condition for $(α, β)$ Somos $4$ Hankel determinants
Published
• View Publication
• BIB
By using Sulanke-Xin continued fractions method, Xin proposed a recursion system to solve the Somos 4 Hankel determinant conjecture. We find Xin's recursion system indeed give a sufficient condition for $(α, β)$ Somos $4$ sequences. This allows us to prove 4 conjectures of Barry on $(α, β)$ Somos $4$ sequences in a unified way.
A facial order for torsion classes
Published
• View Publication
• BIB
We generalize the "facial weak order" of a finite Coxeter group to a partial order on a set of intervals in a complete lattice. We apply our construction to the lattice of torsion classes of a finite-dimensional algebra and consider its restriction to intervals coming from stability conditions. We give two additional interpretations of the resulting "facial semistable order": one using cover relations, and one using Bongartz completions of 2-term presilting objects. For $τ$-tilting finite algebras, this allows us to prove that the facial semistable order is a semidistributive lattice. We then show that, in any abelian length category, our new partial order can be partitioned into a set of completely semidistributive lattices, one of which is the original lattice of torsion classes.
Transitive cornerations in maps
A corner in a map is an edge-vertex-edge triple consisting of two distinct edges incident to the same vertex. A corneration is a set of corners that covers every arc of the map exactly once. Cornerations in a dart-transitive map generalize the notion of a cycle structure in a symmetric graph. In this paper, we study the cornerations (and associated structures) that are preserved by a vertex-transitive group of automorphisms of the map.
Causal Structure Learning in Directed, Possibly Cyclic, Graphical Models
Published
• View Publication
• BIB
We consider the problem of learning a directed graph $G^\star$ from observational data. We assume that the distribution which gives rise to the samples is Markov and faithful to the graph $G^\star$ and that there are no unobserved variables. We do not rely on any further assumptions regarding the graph or the distribution of the variables. Particularly, we allow for directed cycles in $G^\star$ and work in the fully non-parametric setting. Given the set of conditional independence statements satisfied by the distribution, we aim to find a directed graph which satisfies the same $d$-separation statements as $G^\star$. We propose a hybrid approach consisting of two steps. We first find a partially ordered partition of the vertices of $G^\star$ by optimizing a certain score in a greedy fashion. We prove that any optimal partition uniquely characterizes the Markov equivalence class of $G^\star$. Given an optimal partition, we propose an algorithm for constructing a graph in the Markov equivalence class of $G^\star$ whose strongly connected components correspond to the elements of the partition, and which are partially ordered according to the partial order of the partition. Our algorithm comes in two versions -- one which is provably correct and another one which performs fast in practice.
Optimal mixing of the down-up walk on independent sets of a given size
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices of maximum degree $Δ$. We show that, for any $δ> 0$, the down-up walk on independent sets of size $k \leq (1-δ)α_c(Δ)n$ mixes in time $O_{Δ,δ}(k\log{n})$, thereby resolving a conjecture of Davies and Perkins in an optimal form. Here, $α_{c}(Δ)n$ is the NP-hardness threshold for the problem of counting independent sets of a given size in a graph on $n$ vertices of maximum degree $Δ$. Our mixing time has optimal dependence on $k,n$ for the entire range of $k$; previously, even polynomial mixing was not known. In fact, for $k = Ω_Δ(n)$ in this range, we establish a log-Sobolev inequality with optimal constant $Ω_{Δ,δ}(1/n)$.
At the heart of our proof are three new ingredients, which may be of independent interest. The first is a method for lifting $\ell_\infty$-independence from a suitable distribution on the discrete cube -- in this case, the hard-core model -- to the slice by proving stability of an Edgeworth expansion using a multivariate zero-free region for the base distribution. The second is a generalization of the Lee-Yau induction to prove log-Sobolev inequalities for distributions on the slice with considerably less symmetry than the uniform distribution. The third is a sharp decomposition-type result which provides a lossless comparison between the Dirichlet form of the original Markov chain and that of the so-called projected chain in the presence of a contractive coupling.
Covering the Permutohedron by Affine Hyperplanes
An almost cover of a finite set in the affine space is a collection of hyperplanes that together cover all points of the set except one. Using the polynomial method, we determine the minimum size of an almost cover of the vertex set of the permutohedron and address a few related questions.
Immersions of directed graphs in tournaments
Recently, Draganić, Munhá Correia, Sudakov and Yuster showed that every tournament on $(2+o(1))k^2$ vertices contains a $1$-subdivision of a transitive tournament on $k$ vertices, which is tight up to a constant factor. We prove a counterpart of their result for immersions. Let $f(k)$ be the smallest integer such that any tournament on at least $f(k)$ vertices must contain a $1$-immersion of a transitive tournament on $k$ vertices. We show that $f(k)=O(k)$, which is clearly tight up to a multiplicative factor. If one insists in finding an immersion of a complete directed graph on $k$ vertices then an extra condition on the tournament is necessary. Indeed, we show that every tournament with minimum out-degree at least $Ck$ must contain a $2$-immersion of a complete digraph on $k$ vertices. This is again tight up to the value of $C$ and tight on the order of the paths in the immersion.
Entropy Functions on Two-Dimensional Faces of Polymatroidal Region of Degree Four: Part I: Problem Formulation and More
Published
• View Publication
• BIB
Characterization of entropy functions is of fundamental importance in information theory. By imposing constraints on their Shannon outer bound, i.e., the polymatroidal region, one obtains the faces of the region and entropy functions on them with special structures. In this series of two papers, we characterize entropy functions on the 2-dimensional faces of the polymatroidal region of degree 4. In Part I, we formulate the problem, enumerate all 59 types of 2-dimensional faces of the region by an algorithm, and fully characterize entropy functions on 49 types of them. Among them, those non-trivial cases are mainly characterized by the graph-coloring technique. The entropy functions on the remaining 10 types of faces will be characterized in Part II, among which 8 types are fully characterized, and 2 types are partially characterized.
Sharp bounds for Laplacian spectral moments of digraphs with a fixed dichromatic number
Published
• View Publication
• BIB
The $k$-th Laplacian spectral moment of a digraph $G$ is defined as $\sum_{i=1}^n λ_i^k$, where $λ_i$ are the eigenvalues of the Laplacian matrix of $G$ and $k$ is a nonnegative integer. For $k=2$, this invariant is better known as the Laplacian energy of $G$. We extend recently published results by characterizing the digraphs which attain the minimal and maximal Laplacian energy within classes of digraphs with a fixed dichromatic number. We also determine sharp bounds for the third Laplacian spectral moment within the special subclass which we define as join digraphs. We leave the full characterization of the extremal digraphs for $k\ge 3$ as an open problem.
Graph rings and ideals: Wolmer Vasconcelos' contributions
Published
• View Publication
• BIB
This is a survey article featuring some of Wolmer Vasconcelos' contributions to commutative algebra, and explaining how Vasconcelos' work and insights have contributed to the development of commutative algebra and its interaction with other areas to the present. We discuss the Vasconcelos' function and the Vasconcelos' number (v-number for short) of graded ideals and their relation to coding theory, and the interplay of Simis and normal monomial ideals with combinatorial optimization problems, blowup algebras, and resurgence theory. The regularity of subrings of normal k-uniform monomial ideals is shown to be a monotone function, and we give a normality criterion for edge ideals of graphs using Ehrhart rings.
Sub-25-dimensional counterexamples to Borsuk's conjecture in the Leech lattice?
In 1933, Karol Borsuk asked whether each bounded set in the $n$-dimensional Euclidean space can be divided into $n$+1 parts of smaller diameter. Because it would not make sense otherwise, one usually assumes that he just forgot to require that the whole set contains at least two points. The hypothesis that the answer to that question is positive became famous under the name \emph{Borsuk's conjecture}. Counterexamples are known for any $n\ge 64$, since 2013.
Let $Λ$ be the (original, unscaled) Leech lattice, a now very well-known infinite discrete vector set in the 24-dimensional Euclidean space. The smallest norm of nonzero vectors in $Λ$ is $\sqrt{32}$. Let $M$ be the set of the 196560 vectors in $Λ$ having this norm.
For each $x \in M$, $-x$ is in $M$. Let $H$ be the set of all subsets of $M$ that for each $x$ in $M$ contain either $x$ or $-x$. Each element of $H$ has the same diameter $d = \sqrt{96}$. For dimensions $n<24$ one can analogously construct respective $M_n$ and $H_n$ from laminated $n$-dimensional sublattices $Λ_n$ of $Λ$. For uniformity, let $Λ_{24}=Λ$, $M_{24} = M$ and $H_{24} = H$.
If $M_n$ is divisible into at most $n+1$ parts of diameter below $d$ then this applies to all elements of $H_n$, too. I have checked that this is the case for all $n \le 21$. For $n$ from 22 to 24, the minimum number of parts of diameter below $d$ that I was able to divide $M_n$ into are 25, 29 and 34, resp. The source package of this article contains a data file encoding an element of $H_{24}=H$ that I can not divide into less than 29 parts of smaller diameter.