Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Independent and maximal branching packing in infinite matroid-rooted digraphs
We prove a common generalization of the maximal independent arborescence packing theorem of Cs. Király and two of our earlier works about packing branchings in infinite digraphs.
Differential algebra of cubic planar graphs
Published
• View Publication
• BIB
In this article we associate a combinatorial differential graded algebra to a cubic planar graph G. This algebra is defined combinatorially by counting binary sequences, which we introduce, and several explicit computations are provided. In addition, in the appendix by K. Sackel the F(q)-rational points of its graded augmentation variety are shown to coincide with (q+1)-colorings of the dual graph.
On computational and combinatorial properties of the total co-independent domination number of graphs
A subset $D$ of vertices of a graph $G$ is a total dominating set if every vertex of $G$ is adjacent to at least one vertex of $D$. The total dominating set $D$ is called a total co-independent dominating set if the subgraph induced by $V-D$ is edgeless and has at least one vertex. The minimum cardinality of any total co-independent dominating set is the total co-independent domination number of $G$ and is denoted by $γ_{t,coi}(G)$. In this work we study some complexity and combinatorial properties of $γ_{t,coi}(G)$. Specifically, we prove that deciding whether $γ_{t,coi}(G)\le k$ for a given integer $k$ is an NP-complete problem and give several bounds on $γ_{t,coi}(G)$. Also, since any total co-independent dominating set is also a total dominating set, we characterize all the trees having equal total co-independent domination number and total domination number.
Nontransitive Identities: A New Method for Creating Nontransitive Dice
In this article, a new method for characterizing nontransitive dice is de- scribed. This new method is then used to describe the "Nontransitive Identities" (NI) that are possible for 3 dice with 3, 4 and 5 sides each as well as for 5 dice with 3 sides each. Next, we will discuss how these NI can be used to create NI that involve more dice and/or die sides. From there, the 3 dice Nontransitive Identities (NI) will be used to produce 5 dice NI. We will begin this by describing more nomenclature that becomes necessary for characterizing sets of NI with multiple win chains. Then, we will describe a method for creating 5 dice NI and 7 dice NI from our 3 dice NI. We will conclude with a discussion on the patterns that exist in the frequency of nontransitive identities and how these patterns correlate to NI morphisms. Our ancillary files will include our python scripts as well as all of the sets of Nontransitive identities we have discussed.
Cyclically Symmetric Lozenge Tilings of a Hexagon with Four Holes
Published
• View Publication
• BIB
The work of Mills, Robbins, and Rumsey on cyclically symmetric plane partitions yields a simple product formula for the number of lozenge tilings of a regular hexagon, which are invariant under roation by $120^{\circ}$. In this paper we generalize this result by enumerating the cyclically symmetric lozenge tilings of a hexagon in which four triangles have been removed in the center.
Generalized Multiplicative Indices of Polycyclic Aromatic Hydrocarbons and Benzeniod Systems
Published
• View Publication
• BIB
Many types of topological indices such as degree-based topological indices, distance-based topological indices and counting related topological indices are explored during past recent years. Among degree based topological indices, Zagreb indices are the oldest one and studied well. In the paper, we define a generalized multiplicative version of these indices and compute exact formulas for Polycyclic Aromatic Hydrocarbons and Jagged-Rectangle Benzenoid Systems.
The Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard Regime
Published
• View Publication
• BIB
We derive upper and lower bounds on the degree $d$ for which the Lovász $\vartheta$ function, or equivalently sum-of-squares proofs with degree two, can refute the existence of a $k$-coloring in random regular graphs $G_{n,d}$. We show that this type of refutation fails well above the $k$-colorability transition, and in particular everywhere below the Kesten-Stigum threshold. This is consistent with the conjecture that refuting $k$-colorability, or distinguishing $G_{n,d}$ from the planted coloring model, is hard in this region. Our results also apply to the disassortative case of the stochastic block model, adding evidence to the conjecture that there is a regime where community detection is computationally hard even though it is information-theoretically possible. Using orthogonal polynomials, we also provide explicit upper bounds on $\vartheta(\overline{G})$ for regular graphs of a given girth, which may be of independent interest.
Four Edge-Independent Spanning Trees
Published
• View Publication
• BIB
We prove an ear-decomposition theorem for $4$-edge-connected graphs and use it to prove that for every $4$-edge-connected graph $G$ and every $r\in V(G)$, there is a set of four spanning trees of $G$ with the following property. For every vertex in $G$, the unique paths back to $r$ in each tree are edge-disjoint. Our proof implies a polynomial-time algorithm for constructing the trees.
Polynomial-Time Algorithms for Sliding Tokens on Cactus Graphs and Block Graphs
Given two independent sets $I, J$ of a graph $G$, and imagine that a token (coin) is placed at each vertex of $I$. The Sliding Token problem asks if one could transform $I$ to $J$ via a sequence of elementary steps, where each step requires sliding a token from one vertex to one of its neighbors so that the resulting set of vertices where tokens are placed remains independent. This problem is $\mathsf{PSPACE}$-complete even for planar graphs of maximum degree $3$ and bounded-treewidth. In this paper, we show that Sliding Token can be solved efficiently for cactus graphs and block graphs, and give upper bounds on the length of a transformation sequence between any two independent sets of these graph classes. Our algorithms are designed based on two main observations. First, all structures that forbid the existence of a sequence of token slidings between $I$ and $J$, if exist, can be found in polynomial time. A sufficient condition for determining no-instances can be easily derived using this characterization. Second, without such forbidden structures, a sequence of token slidings between $I$ and $J$ does exist. In this case, one can indeed transform $I$ to $J$ (and vice versa) using a polynomial number of token-slides.
Explicit asymptotic formulae for sub exponentially growing multiplicative structures
It is derived the explicit asymptotic expression in $n$ for the coefficient $c_n$ of the generating function for multiplicative structures with sub exponential rate of growth of $c_n,$ as $n\to\infty$.
Edmonds' Branching Theorem in Digraphs without Forward-infinite Paths
Published in Journal of Graph Theory, volume 83, 3, p. 303--311, 2016
• View Publication
• BIB
Let $ D $ be a finite digraph, and let $ V_0,\dots,V_{k-1} $ be nonempty subsets of $ V(D) $. The (strong form of) Edmonds' branching theorem states thatthere are pairwise edge-disjoint spanning branchings $ \mathcal{B}_0,\dots, \mathcal{B}_{k-1} $ in $ D $ such that the root set of $ \mathcal{B}_i $ is $ V_i\ (i=0,\dots,k-1) $ if and only if for all $ \varnothing \neq X\subseteq V(D) $ the number of ingoing edges of $ X $ is greater than or equal to the number of sets $ V_i $ disjoint from $ X $. As was shown by R. Aharoni and C. Thomassen in \cite{aharoni1989infinite}, this theorem does not remain true for infinite digraphs. Thomassen also proved that for the class of digraphs without backward-infinite paths, the above theorem of Edmonds remains true. Our main result is that for digraphs without forward-infinite paths, Edmonds' branching theorem remains true as well.
Bases in which some numbers have exactly two expansions
Published
• View Publication
• BIB
In this paper we answer several questions raised by Sidorov on the set $\mathcal B_2$ of bases in which there exist numbers with exactly two expansions. In particular, we prove that the set $\mathcal B_2$ is closed, and it contains both infinitely many isolated and accumulation points in $(1, q_{KL})$, where $q_{KL}\approx 1.78723$ is the Komornik-Loreti constant. Consequently we show that the second smallest element of $\mathcal B_2$ is the smallest accumulation point of $\mathcal B_2$. We also investigate the higher order derived sets of $\mathcal B_2$. Finally, we prove that there exists a $δ>0$ such that \begin{equation*} \dim_H(\mathcal B_2\cap(q_{KL}, q_{KL}+δ))<1, \end{equation*} where $\dim_H$ denotes the Hausdorff dimension.
Highly connected infinite digraphs without edge-disjoint back and forth paths between a certain vertex pair
Published in Journal of graph theory, volume 85, 1, p. 51--55, 2017
• View Publication
• BIB
We construct for all $ k\in \mathbb{N} $ a $ k $-edge-connected digraph $ D $ with $ s,t\in V(D) $ such that there are no edge-disjoint $ s \rightarrow t $ and $t\rightarrow s $ paths. We use in our construction "self-similar" graphs which technique could be useful in other problems as well.
Orientations of 1-Factorizations and the List Chromatic Index of Small Graphs
Published
• View Publication
• BIB
As starting point, we formulate a corollary to the Quantitative Combinatorial Nullstellensatz. This corollary does not require the consideration of any coefficients of polynomials, only evaluations of polynomial functions. In certain situations, our corollary is more directly applicable and more ready-to-go than the Combinatorial Nullstellensatz itself. It is also of interest from a numerical point of view. We use it to explain a well-known connection between the sign of 1-factorizations (edge colorings) and the List Edge Coloring Conjecture. For efficient calculations and a better understanding of the sign, we then introduce and characterize the sign of single 1-factors. We show that the product over all signs of all the 1-factors in a 1-factorization is the sign of that 1-factorization. Using this result in an algorithm, we attempt to prove the List Edge Coloring Conjecture for all graphs with up to 10 vertices. This leaves us with some exceptional cases that need to be attacked with other methods.
Group actions, the Mattila integral and applications
Published in Proc. Amer. Math. Soc. 147 (2019), no. 6, 2503-2516
• View Publication
• BIB
The Mattila integral, $$ {\mathcal M}(μ)=\int {\left( \int_{S^{d-1}} {|\widehatμ(r ω)|}^2 dω\right)}^2 r^{d-1} dr,$$ developed by Mattila, is the main tool in the study of the Falconer distance problem. In this paper, with a very simple argument, we develop a generalized version of the Mattila integral. Our first application is to consider the product of distances $$(Δ(E))^k= \left\{\prod_{j=1}^k |x^j-y^j|: x^j, y^j\in E\right\} $$ and show that when $d\geq 2$, $(Δ(E))^k$ has positive Lebesgue measure if $\dim_{\mathcal{H}}(E)>\frac{d}{2}+\frac{1}{4k-1}$. Another application is, we prove for any $E,F,H\subset\mathbb{R}^2$, $\dim_{\mathcal{H}}(E)+\dim_{\mathcal{H}}(F)+\dim_{\mathcal{H}}(H)>4$, the set $$E\cdot(F+H)=\{x\cdot(y+z): x\in E, y\in F, z\in H\}$$ has positive Lebesgue.
On codimension two flats in Fermat-type arrangements
Published
• View Publication
• BIB
In the present note we study certain arrangements of codimension $2$ flats in projective spaces, we call them "Fermat arrangements". We describe algebraic properties of their defining ideals. In particular, we show that they provide counterexamples to an expected containment relation between ordinary and symbolic powers of homogeneous ideals.
Diffusion limited aggregation in the Boolean lattice
Published
• View Publication
• BIB
In the Diffusion Limited Aggregation (DLA) process on on $\mathbb{Z}^2$, or more generally $\mathbb{Z}^d$, particles aggregate to an initially occupied origin by arrivals on a random walk. The scaling limit of the result, empirically, is a fractal with dimension strictly less than $d$. Very little has been shown rigorously about the process, however.
We study an analogous process on the Boolean lattice $\{0,1\}^n$, in which particles take random decreasing walks from $(1,\dots,1)$, and stick at the last vertex before they encounter an occupied site for the first time; the vertex $(0,\dots,0)$ is initially occupied. In this model, we can rigorously prove that lower levels of the lattice become full, and that the process ends by producing an isolated path of unbounded length reaching $(1,\dots,1)$.
Computing Tropical Prevarieties in Parallel
Published
• View Publication
• BIB
The computation of the tropical prevariety is the first step in the application of polyhedral methods to compute positive dimensional solution sets of polynomial systems. In particular, pretropisms are candidate leading exponents for the power series developments of the solutions. The computation of the power series may start as soon as one pretropism is available, so our parallel computation of the tropical prevariety has an application in a pipelined solver.
We present a parallel implementation of dynamic enumeration. Our first distributed memory implementation with forked processes achieved good speedups, but quite often resulted in large variations in the execution times of the processes. The shared memory multithreaded version applies work stealing to reduce the variability of the run time. Our implementation applies the thread safe Parma Polyhedral Library (PPL), in exact arithmetic with the GNU Multiprecision Arithmetic Library (GMP), aided by the fast memory allocations of TCMalloc.
Our parallel implementation is capable of computing the tropical prevariety of the cyclic 16-roots problem. We also report on computational experiments on the $n$-body and $n$-vortex problems; our computational results compare favorably with Gfan.
Maximum scattered $\mathbb{F}_q$-linear sets of $\mathrm{PG}(1,q^4)$
There are two known families of maximum scattered $\mathbb{F}_q$-linear sets in $PG(1,q^t)$: the linear sets of pseudoregulus type and for $t\geq 4$ the scattered linear sets found by Lunardon and Polverino. For $t=4$ we show that these are the only maximum scattered $\mathbb{F}_q$-linear sets and we describe the orbits of these linear sets under the groups $PGL(2,q^4)$ and $PΓL(2,q^4)$.
Acute sets
Published
• View Publication
• BIB
A set of points in $\mathbb{R}^d$ is acute, if any three points from this set form an acute angle. In this note we construct an acute set in $\mathbb{R}^d$ of size at least $2^{d/2}$.