Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Saturation Numbers for Minors
The saturation number $\text{sat}(n,\mathcal{F})$ is the minimum number of edges in any graph which does not contain a member of $\mathcal{F}$ as a subgraph, but will if any edge is added. We give a few upper and lower bounds for saturation numbers for minors. In particular, we shall show that certain Generalized Petersen Graphs are $K^r$-minor saturated for $6\le r\le 8$.
The number of $k$-dimensional corner-free subsets of grids
Published
• View Publication
• BIB
A subset $A$ of the $k$-dimensional grid $\{1,2, \cdots, N\}^k$ is called $k$-dimensional corner-free if it does not contain a set of points of the form $\{ a \} \cup \{ a + de_i : 1 \leq i \leq k \}$ for some $a \in \{1,2, \cdots, N\}^k$ and $d > 0$, where $e_1,e_2, \cdots, e_k$ is the standard basis of $\mathbb{R}^k$. We define the maximum size of a $k$-dimensional corner-free subset of $\{1,2, \cdots, N\}^k$ by $c_k(N)$. In this paper, we show that the number of $k$-dimensional corner-free subsets of the $k$-dimensional grid $\{1,2, \cdots, N\}^k$ is at most $2^{O(c_k(N))}$ for infinitely many values of $N$. Our main tool for the proof is a supersaturation result for $k$-dimensional corners in sets of size $Θ(c_k(N))$ and the hypergraph container method.
The Local Structure of Bounded Degree Graphs
Let $G=(V,E)$ be a simple graph with maximum degree $d$. For an integer $k\in\mathbb{N}$, the $k$-disc of a vertex $v\in V$ is defined as the rooted subgraph of $G$ that is induced by all vertices whose distance to $v$ is at most $k$. The $k$-disc frequency distribution vector of $G$, denoted by $\text{freq}_{k}(G)$, is a vector indexed by all isomorphism types of rooted $k$-discs. For each such isomorphism type $Γ$, the corresponding entry in $\text{freq}_{k}(G)$ counts the fraction of vertices in $V$ that have a $k$-disc isomorphic to $Γ$. In a sense, $\text{freq}_{k}(G)$ is one way to represent the "local structure" of $G$. The graph $G$ can be arbitrarily large, and so a natural question is whether given $\text{freq}_{k}(G)$ it is possible to construct a small graph $H$, whose size is independent of $|V|$, such that $H$ has a similar local structure. N. Alon proved that for any $ε>0$ there always exists a graph $H$ whose size is independent of $|V|$ and whose frequency vector satisfies $||\text{freq}_{k}(G)-\text{freq}_{k}(H)||_{1}\leε$. However, his proof is only existential and does not imply that there is a deterministic algorithm to construct such a graph $H$. He gave the open problem of finding an explicit deterministic algorithm that finds $H$, or proving that no such algorithm exists. Our main result is that Alon's problem is undecidable if and only if a much more general problem (involving directed edges and edge colors) is undecidable. We also prove that both problems are decidable for the special case when $G$ is a path. We show that the local structure of any directed edge-colored path $G$ can be approximated by a suitable fixed-size directed edge-colored path $H$ and we give explicit bound on the size of $H$.
Tight asymptotics of clique-chromatic numbers of dense random graphs
Published
• View Publication
• BIB
The clique chromatic number of a graph is the minimum number of colors required to assign to its vertex set so that no inclusion maximal clique is monochromatic. McDiarmid, Mitsche and Prałat proved that the clique chromatic number of the binomial random graph $G\left(n,\frac{1}{2}\right) $ is at most $\left(\frac{1}{2}+o(1)\right)\log_2n$ with high probability. Alon and Krivelevich showed that it is greater than $\frac{1}{2000}\log_2n$ with high probability and suggested that the right constant in front of the logarithm is $\frac{1}{2}.$ We prove their conjecture and, beyond that, obtain a tight concentration result: whp $χ_c\left(G\left(n,1/2\right)\right) = \frac{1}{2}\log_2 n - Θ\left(\ln\ln n\right).$
Graph Polynomials and Group Coloring of Graphs
Published
• View Publication
• BIB
Let $Γ$ be an Abelian group and let $G$ be a simple graph. We say that $G$ is $Γ$-colorable if for some fixed orientation of $G$ and every edge labeling $\ell:E(G)\rightarrow Γ$, there exists a vertex coloring $c$ by the elements of $Γ$ such that $c(y)-c(x)\neq \ell(e)$, for every edge $e=xy$ (oriented from $x$ to $y$).
Langhede and Thomassen proved recently that every planar graph on $n$ vertices has at least $2^{n/9}$ different $\mathbb{Z}_5$-colorings. By using a different approach based on graph polynomials, we extend this result to $K_5$-minor-free graphs in the more general setting of field coloring. More specifically, we prove that every such graph on $n$ vertices is $\mathbb{F}$-$5$-choosable, whenever $\mathbb{F}$ is an arbitrary field with at least $5$ elements. Moreover, the number of colorings (for every list assignment) is at least $5^{n/4}$.
Union-closed families with small average overlap densities
Published
• View Publication
• BIB
In this very short paper, we point out that the average overlap density of a union-closed family $\mathcal{F}$ of subsets of $\{1,2,\ldots,n\}$ may be as small as $Θ((\log \log |\mathcal{F}|)/(\log |\mathcal{F}|))$, for infinitely many positive integers $n$.
Connectivity of orientations of 3-edge-connected graphs
We attempt to generalize a theorem of Nash-Williams stating that a graph has a $k$-arc-connected orientation if and only if it is $2k$-edge-connected. In a strongly connected digraph we call an arc {\it deletable} if its deletion leaves a strongly connected digraph. Given a $3$-edge-connected graph $G$, we define its Frank number $f(G)$ to be the minimum number $k$ such that there exist $k$ orientations of $G$ with the property that every edge becomes a deletable arc in at least one of these orientations. We are interested in finding a good upper bound for the Frank number. We prove that $f(G)\leq 7$ for every $3$-edge-connected graph. On the other hand, we show that a Frank number of $3$ is attained by the Petersen graph. Further, we prove better upper bounds for more restricted classes of graphs and establish a connection to the Berge-Fulkerson conjecture. We also show that deciding whether all edges of a given subset can become deletable in one orientation is NP-complete.
A semigroup is finite if and only if it is chain-finite and antichain-finite
Published in Axioms 10:1 (2021) 9
• View Publication
• BIB
A subset $A$ of a semigroup $S$ is called a $chain$ ($antichain$) if $xy\in\{x,y\}$ ($xy\notin\{x,y\}$) for any (distinct) elements $x,y\in S$. A semigroup $S$ is called ($anti$)$chain$-$finite$ if $S$ contains no infinite (anti)chains. We prove that each antichain-finite semigroup $S$ is periodic and for every idempotent $e$ of $S$ the set $\sqrt[\infty]{e}=\{x\in S:\exists n\in\mathbb N\;\;(x^n=e)\}$ is finite. This property of antichain-finite semigroups is used to prove that a semigroup is finite if and only if it is chain-finite and antichain-finite. Also we present an example of an antichain-finite semilattice that is not a union of finitely many chains.
An Exceptional Combinatorial Sequence and Standard Model Particles
Three-graded root systems can be arranged into nested sequences. One exceptional sequence provides a natural means to recover some structures and symmetries familiar in the context of particle physics.
An analogue to infinitery Hales-Jewett theorem
In a recent work, N. Hindman, D. Strauss and L. Zamboni have shown that the Hales-Jewett theorem can be combined with a sufficiently well behaved homomorphisms. In this paper we will show that those combined extensions can be made if we replace the alphabet by an increasing sequence of alphabets, infact it holds for some Ramsey theoretic small sets. To obtained this we achieved some interesting configurations.
Elementary proof of existence of the Alexander-Conway polynomial
We present an accurate detailed exposition of the proof of existence of the Alexander-Conway polynomial (of links in 3-dimensional space). Other proofs were given by J. Alexander, J. Conway, V. Mantourov and L. Kauffman.
A vertex model for LLT polynomials
Published
• View Publication
• BIB
We describe a novel Yang-Baxter integrable vertex model. From this vertex model we construct a certain class of partition functions that we show are equal to the LLT polynomials of Lascoux, Leclerc, and Thibon. Using the vertex model formalism, we give alternate proofs of many properties of these polynomials, including symmetry and a Cauchy identity.
Asymptotic Dimension of Minor-Closed Families and Assouad-Nagata Dimension of Surfaces
Published in J. Eur. Math. Soc. (JEMS) 26 (2024), 3739-3791
• View Publication
• BIB
The asymptotic dimension is an invariant of metric spaces introduced by Gromov in the context of geometric group theory. In this paper, we study the asymptotic dimension of metric spaces generated by graphs and their shortest path metric and show their applications to some continuous spaces. The asymptotic dimension of such graph metrics can be seen as a large scale generalisation of weak diameter network decomposition which has been extensively studied in computer science.
We prove that every proper minor-closed family of graphs has asymptotic dimension at most 2, which gives optimal answers to a question of Fujiwara and Papasoglu and (in a strong form) to a problem raised by Ostrovskii and Rosenthal on minor excluded groups. For some special minor-closed families, such as the class of graphs embeddable in a surface of bounded Euler genus, we prove a stronger result and apply this to show that complete Riemannian surfaces have Assouad-Nagata dimension at most 2. Furthermore, our techniques allow us to prove optimal results for the asymptotic dimension of graphs of bounded layered treewidth and graphs of polynomial growth, which are graph classes that are defined by purely combinatorial notions and properly contain graph classes with some natural topological and geometric flavours.
Ramsey monoids
Published
• View Publication
• BIB
Recently, Solecki introduced the notion of Ramsey monoid to produce a common generalization to theorems such as Hindman's theorem, Carlson's theorem, and Gowers' FIN$_k$ theorem. He proved that an entire class of finite monoids is Ramsey. Here we improve this result, enlarging this class and finding a simple algebraic characterization of finite Ramsey monoids. We extend in a similar way a result of Solecki regarding a second class of monoids connected to the Furstenberg-Katznelson Ramsey Theorem. The results obtained suggest a possible connection with Schützenberger's theorem and finite automata theory.
Complexity of fixed point counting problems in Boolean Networks
Published
• View Publication
• BIB
A Boolean network (BN) with $n$ components is a discrete dynamical system described by the successive iterations of a function $f:\{0,1\}^n \to \{0,1\}^n$. This model finds applications in biology, where fixed points play a central role. For example, in genetic regulations, they correspond to cell phenotypes. In this context, experiments reveal the existence of positive or negative influences among components: component $i$ has a positive (resp. negative) influence on component $j$ meaning that $j$ tends to mimic (resp. negate) $i$. The digraph of influences is called signed interaction digraph (SID), and one SID may correspond to a large number of BNs (which is, in average, doubly exponential according to $n$). The present work opens a new perspective on the well-established study of fixed points in BNs. When biologists discover the SID of a BN they do not know, they may ask: given that SID, can it correspond to a BN having at least/at most $k$ fixed points? Depending on the input, we prove that these problems are in $\textrm{P}$ or complete for $\textrm{NP}$, $\textrm{NP}^{\textrm{NP}}$, $\textrm{NP}^{\textrm{#P}}$ or $\textrm{NEXPTIME}$. In particular, we prove that it is $\textrm{NP}$-complete (resp. $\textrm{NEXPTIME}$-complete) to decide if a given SID can correspond to a BN having at least two fixed points (resp. no fixed point).
Routing for unmanned aerial vehicles: touring dimensional sets
Published
• View Publication
• BIB
In this paper we deal with an extension of the crossing postman problem to design Hamiltonian routes that have to visit different shapes of dimensional elements (neighborhoods or polygonal chains) rather than edges. This problem models routes of drones that must visit a number of geographical elements to deliver some good or service and then move directly to the next target element using straight line displacements. We present two families of mathematical programming formulations. The first one is time-dependent and captures a number of actual characteristics of real applications at the price of using three indexes variables. The second one are not referenced to the stages of the route. We compare them on a testbed of randomly generated instances with different shapes of elements: second order cone representable (SOC) and polyhedral neighborhoods and polygonal chains. The computational result reported in this paper show that our models are useful and can solve to optimality medium size instances of sizes similar to other combinatorial problems with neighborhoods. To address larger instances we also present a heuristic algorithm that runs in two phases: clustering and VNS. This algorithm performs very well in quality of solutions provided and can be used to initialize the exact methods with promising initial solutions.
An O(n) time algorithm for finding Hamilton cycles with high probability
We design a randomized algorithm that finds a Hamilton cycle in $\mathcal{O}(n)$ time with high probability in a random graph $G_{n,p}$ with edge probability $p\ge C \log n / n$. This closes a gap left open in a seminal paper by Angluin and Valiant from 1979.
A Strehl Version of Fourth Franel Sequence
We give a combinatorial identity related to the Franel numbers involving the sum of fourth power of binomial coefficients. Furthermore, investigating in J. Mikic's proof of the first Strehl Identity, we provide a combinatorial proof of this identity using the double counting argument.
On Line Sum Optimization
Published in Linear Algebra and its Applications, 610:474--479, 2021
• View Publication
• BIB
We show that the {\em column sum optimization problem}, of finding a $(0,1)$-matrix with prescribed row sums which minimizes the sum of evaluations of given functions at its column sums, can be solved in polynomial time, either when all functions are the same or when all row sums are bounded by any constant. We conjecture that the more general {\em line sum optimization problem}, of finding a matrix minimizing the sum of given functions evaluated at its row sums and column sums, can also be solved in polynomial time.
Upper and Lower Bounds for Competitive Group Testing
Published
• View Publication
• BIB
We consider competitive algorithms for adaptive group testing problems. In the first part of the paper, we develop an algorithm with competitive constant c < 1.452 thus improving the up to now best known algorithms with constants 1.5+epsilon from 2003. In the second part, we prove the first nontrivial lower bound for competitive constants, namely that c is always larger than 1.31.