Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Affirmative Solutions On Local Antimagic Chromatic Number
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we give counterexamples to the lower bound of $χ_{la}(G \vee O_2)$ that was obtained in [Local antimagic vertex coloring of a graph, Graphs and Combin., 33 : 275 - 285 (2017)]. A sharp lower bound of $χ_{la}(G\vee O_n)$ and sufficient conditions for the given lower bound to be attained are obtained. Moreover, we settled Theorem 2.15 and solved Problem 3.3 in the affirmative. We also completely determined the local antimagic chromatic number of complete bipartite graphs.
Sets of Arithmetical Invariants in Transfer Krull Monoids
Published in J. Pure Appl. Algebra,2019
• View Publication
• BIB
Transfer Krull monoids are a recent concept including all commutative Krull domains and also, for example, wide classes of non-commutative Dedekind domains. We show that transfer Krull monoids are fully elastic (i.e., every rational number between $1$ and the elasticity of the monoid can be realized as the elasticity of an element). In commutative Krull monoids which have sufficiently many prime divisors in all classes of their class group, the set of catenary degrees and the set of tame degrees are intervals. Without the assumption on the distribution of prime divisors, arbitrary finite sets can be realized as sets of catenary degrees and as sets of tame degrees.
An analogue of Edmonds' Branching Theorem for infinite digraphs
Published
• View Publication
• BIB
We extend Edmonds' Branching Theorem to locally finite infinite digraphs. As examples of Oxley or Aharoni and Thomassen show, this cannot be done using ordinary arborescences, whose underlying graphs are trees. Instead we introduce the notion of pseudo-arborescences and prove a corresponding packing result. Finally, we verify some tree-like properties for these objects, but give also an example that their underlying graphs do in general not correspond to topological trees in the Freudenthal compactification of the underlying multigraph of the digraph.
The interval number of a planar graph is at most three
The interval number of a graph $G$ is the minimum $k$ such that one can assign to each vertex of $G$ a union of $k$ intervals on the real line, such that $G$ is the intersection graph of these sets, i.e., two vertices are adjacent in $G$ if and only if the corresponding sets of intervals have non-empty intersection. In 1983 Scheinerman and West [The interval number of a planar graph: Three intervals suffice. \textit{J.~Comb.~Theory, Ser.~B}, 35:224--239, 1983] proved that the interval number of any planar graph is at most $3$. However the original proof has a flaw. We give a different and shorter proof of this result.
Combinatorial Hopf algebra for interconnected nonlinear systems
Published in Springer Proceedings in Mathematics & Statistics, Vol. 267, 2018
• View Publication
• BIB
A detailed expose of the Hopf algebra approach to interconnected input-output systems in nonlinear control theory is presented. The focus is on input-output systems that can been represented in terms of Chen-Fliess functional expansions or Fliess operators. This provides a starting point for a discrete-time version of this theory. In particular, the notion of a discrete-time Fliess operator is given and a class of parallel interconnections is described.
Levelness of Order Polytopes
Published in SIAM Journal on Discrete Mathematics 34 (2020), 1261--1280
• View Publication
• BIB
Since their introduction by Stanley~\cite{StanleyOrderPoly} order polytopes have been intriguing mathematicians as their geometry can be used to examine (algebraic) properties of finite posets. In this paper, we follow this route to examine the levelness property of order polytopes. The levelness property was also introduced by Stanley~\cite{Stanley-CM-complexes} and it generalizes the Gorenstein property. This property has been recently characterized by Miyazaki~\cite{Miyazaki} for the case of order polytopes. We provide an alternative characterization using weighted digraphs. Using this characterization, we give a new infinite family of level posets and show that determining levelness is in $\operatorname{co-NP}$. This family can be used to create infinitely many examples illustrating that the levelness property can not be characterized by the $h^{\ast}$-vector. We then turn to the more general family of alcoved polytopes. We give a characterization for levelness of alcoved polytopes using the Minkowski sum. Then we study several cases when the product of two polytopes is level. In particular, we provide an example where the product of two level polytopes is not level.
On the number of vertex-disjoint cycles in digraphs
Published
• View Publication
• BIB
Let $k$ be a positive integer. Bermond and Thomassen conjectured in 1981 that every digraph with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles. It is famous as one of the one hundred unsolved problems selected in [Bondy, Murty, Graph Theory, Springer-Verlag London, 2008]. Lichiardopol, Por and Sereni proved in [SIAM J. Discrete Math. 23 (2) (2009) 979-992] that the above conjecture holds for $k=3$.
Let $g$ be the girth, i.e., the length of the shortest cycle, of a given digraph. Bang-Jensen, Bessy and Thomassé conjectured in [J. Graph Theory 75 (3) (2014) 284-302] that every digraph with girth $g$ and minimum outdegree at least $\frac{g}{g-1}k$ contains $k$ vertex-disjoint cycles. Thomassé conjectured around 2005 that every oriented graph (a digraph without 2-cycles) with girth $g$ and minimum outdegree at least $h$ contains a path of length $h(g-1)$, where $h$ is a positive integer.
In this note, we first present a new shorter proof of the Bermond-Thomassen conjecture for the case of $k=3$, and then we disprove the conjecture proposed by Bang-Jensen, Bessy and Thomassé. Finally, we disprove the even girth case of the conjecture proposed by Thomassé.
On $k$-connected-homogeneous graphs
Published in Journal of Combinatorial Theory, Series A 173 (2020)
• View Publication
• BIB
A graph $Γ$ is $k$-connected-homogeneous ($k$-CH) if $k$ is a positive integer and any isomorphism between connected induced subgraphs of order at most $k$ extends to an automorphism of $Γ$, and connected-homogeneous (CH) if this property holds for all $k$. Locally finite, locally connected graphs often fail to be 4-CH because of a combinatorial obstruction called the unique $x$ property; we prove that this property holds for locally strongly regular graphs under various purely combinatorial assumptions. We then classify the locally finite, locally connected 4-CH graphs. We also classify the locally finite, locally disconnected 4-CH graphs containing 3-cycles and induced 4-cycles, and prove that, with the possible exception of locally disconnected graphs containing 3-cycles but no induced 4-cycles, every finite 7-CH graph is CH.
Stolarsky's invariance principle for projective spaces
Published in Journal of Complexity, Volume 56, February 2020
• View Publication
• BIB
We show that Stolarsky's invariance principle, known for point distributions on the Euclidean spheres, can be extended to the real, complex, and quaternionic projective spaces and the octonionic projective plane. A part of the results (Theorem~1.1 ana Corollary~1.1) was given early in the previous paper [22], while the explicit formulas for the constants in the invariance principles for projective spaces (Theorem~1.2 and Corollary~1.2) are new.
Garden-of-Eden states and fixed points of monotone dynamical systems
In this paper we analyze Garden-of-Eden (GoE) states and fixed points of monotone, sequential dynamical systems (SDS). For any monotone SDS and fixed update schedule, we identify a particular set of states, each state being either a GoE state or reaching a fixed point, while both determining if a state is a GoE state and finding out all fixed points are generally hard. As a result, we show that the maximum size of their limit cycles is strictly less than ${n\choose \lfloor n/2 \rfloor}$. We connect these results to the Knaster-Tarski theorem and the LYM inequality. Finally, we establish that there exist monotone, parallel dynamical systems (PDS) that cannot be expressed as monotone SDS, despite the fact that the converse is always true.
New methods to find patches of invisible integer lattice points
Published in Involve 14 (2021) 283-310
• View Publication
• BIB
It is a surprising fact that the proportion of integer lattice points visible from the origin is exactly $\frac{6}{π^2}$, or approximately 60 percent. Hence, approximately 40 percent of the integer lattice is hidden from the origin. Since 1971, many have studied a variety of problems involving lattice point visibility, in particular, searching for patterns in that 40 percent of the lattice comprised of invisible points. One such pattern is a square patch, an $n \times n$ grid of $n^2$ invisible points, which we call a hidden forest. It is known that there exist arbitrarily large hidden forests in the integer lattice. However, the methods up to now involve the Chinese Remainder Theorem (CRT) on the rows and columns of matrices with prime number entries, and they have only been able to locate hidden forests very far from the origin. For example, using this method the closest known $4 \times 4$ hidden forest is over 3 quintillion, or $3 \times 10^{18}$, units away from the origin. We introduce the concept of quasiprime matrices and utilize a variety of computational and theoretical techniques to find some of the closest known hidden forests to this date. Using these new techniques, we find a $4 \times 4$ hidden forest that is merely 184 million units away from the origin. We conjecture that every hidden forest can be found via the CRT-algorithm on a quasiprime matrix.
Tiling with punctured intervals
Published in Mathematika 65 (2019) 181-189
• View Publication
• BIB
It was shown by Gruslys, Leader and Tan that any finite subset of $\mathbb{Z}^n$ tiles $\mathbb{Z}^d$ for some $d$. The first non-trivial case is the punctured interval, which consists of the interval $\{-k,\ldots,k\} \subset \mathbb{Z}$ with its middle point removed: they showed that this tiles $\mathbb{Z}^d$ for $d = 2k^2$, and they asked if the dimension needed tends to infinity with $k$. In this note we answer this question: we show that, perhaps surprisingly, every punctured interval tiles $\mathbb{Z}^4$.
Matroid fragility and relaxations of circuit hyperplanes
Published
• View Publication
• BIB
We relate two conjectures that play a central role in the reported proof of Rota's Conjecture. Let $\mathbb F$ be a finite field. The first conjecture states that: the branch-width of any $\mathbb F$-representable $N$-fragile matroid is bounded by a function depending only upon $\mathbb F$ and $N$. The second conjecture states that: if a matroid $M_2$ is obtained from a matroid $M_1$ by relaxing a circuit-hyperplane and both $M_1$ and $M_2$ are $\mathbb F$-representable, then the branch-width of $M_1$ is bounded by a function depending only upon $\mathbb F$. Our main result is that the second conjecture implies the first.
QGLBT for polytopes
We extend the assertion of the Generalized Lower Bound Theorem (GLBT) to general polytopes under the assumption that their low dimensional skeleton is simplicial, with partial results for the general case. We prove a quantitative version of the GLBT for general polytopes, and use it to give a topological necessary condition for polytopes to have vanishing toric $g_k$ entry. As another application of the QGLBT we prove a conjecture of Kalai on $g$-numbers for general polytopes approximating a smooth convex body.
Domination Cover Number of Graphs
Published
• View Publication
• BIB
A set $D \subseteq V$ for the graph $G=(V, E)$ is called a dominating set if any vertex $v\in V\setminus D$ has at least one neighbor in $D$. Fomin et al.[9] gave an algorithm for enumerating all minimal dominating sets with $n$ vertices in $O(1.7159^n)$ time. It is known that the number of minimal dominating sets for interval graphs and trees on $n$ vertices is at most $3^{n/3} \approx 1.4422^n$. In this paper, we introduce the domination cover number as a new criterion for evaluating the dominating sets in graphs. The domination cover number of a dominating set $D$, denoted by $\mathcal{C}_D(G)$, is the summation of the degrees of the vertices in $D$. Maximizing or minimizing this parameter among all minimal dominating sets have interesting applications in many real-world problems, such as the art gallery problem. Moreover, we investigate this concept for different graph classes and propose some algorithms for finding the domination cover number in trees, block graphs.
Treewidth, crushing, and hyperbolic volume
Published in Algebr. Geom. Topol. 19 (2019) 2625-2652
• View Publication
• BIB
We prove that there exists a universal constant $c$ such that any closed hyperbolic 3-manifold admits a triangulation of treewidth at most $c$ times its volume. The converse is not true: we show there exists a sequence of hyperbolic 3-manifolds of bounded treewidth but volume approaching infinity. Along the way, we prove that crushing a normal surface in a triangulation does not increase the carving-width, and hence crushing any number of normal surfaces in a triangulation affects treewidth by at most a constant multiple.
Hyperplane arrangements in CoCoA
Published in J. Softw. Alg. Geom. 9 (2019) 43-54
• View Publication
• BIB
We introduce the package \textbf{arrangements} for the software CoCoA. This package provides a data structure and the necessary methods for working with hyperplane arrangements. In particular, the package implements methods to enumerate many commonly studied classes of arrangements, perform operations on them, and calculate various invariants associated to them.
t-spread strongly stable monomial ideals
Published
• View Publication
• BIB
We introduce the concept of $t$-spread monomials and $t$-spread strongly stable ideals. These concepts are a natural generalization of strongly stable and squarefree strongly stable ideals. For the study of this class of ideals we use the $t$-fold stretching operator. It is shown that $t$-spread strongly stable ideals are componentwise linear. Their height, their graded Betti numbers and their generic initial ideal are determined. We also consider the toric rings whose generators come from $t$-spread principal Borel ideals.
De Bruijn Sequences: From Games to Shift-Rules to a Proof of the Fredricksen-Kessler-Maiorana Theorem
Published
• View Publication
• BIB
We present a combinatorial game and propose efficiently computable optimal strategies. We then show how these strategies can be translated to efficiently computable shift-rules for the well known prefer-max and prefer-min De Bruijn sequences, in both forward and backward directions. Using these shift-rules, we provide a new proof of the well known theorem by Fredricksen, Kessler, and Maiorana on De Bruijn sequences and Lyndon words.
Neighborhood inclusions for minimal dominating sets enumeration: linear and polynomial delay algorithms in $P_7$-free and $P_8$-free chordal graphs
In [M. M. Kanté, V. Limouzy, A. Mary, and L. Nourine. On the enumeration of minimal dominating sets and related notions. SIAM Journal on Discrete Mathematics, 28(4):1916-1929, 2014] the authors give an $O(n+m)$ delay algorithm based on neighborhood inclusions for the enumeration of minimal dominating sets in split and $P_6$-free chordal graphs. In this paper, we investigate generalizations of this technique to $P_k$-free chordal graphs for larger integers $k$. In particular, we give $O(n+m)$ and $O(n^3\cdot m)$ delays algorithms in the classes of $P_7$-free and $P_8$-free chordal graphs. As for $P_k$-free chordal graphs for $k\geq 9$, we give evidence that such a technique is inefficient as a key step of the algorithm, namely the irredundant extension problem, becomes NP-complete.