Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Two novel results on the existence of $3$-kernels in digraphs
Let $D$ be a digraph. We call a subset $N$ of $V(D)$ $k$-independent if for every pair of vertices $u,v \in N$, $d(u,v) \geq k$; and we call it $\ell$-absorbent if for every vertex $u \in V(D) \setminus N$, there exists $v \in N$ such that $d(u,v) \leq \ell$. A $(k,\ell)$-kernel of $D$ is a subset of vertices which is $k$-independent and $\ell$-absorbent. A $k$-kernel is a $(k,k-1)$-kernel.
In this report, we present the main results from our master's research regarding kernel theory. We prove that if a digraph $D$ is strongly connected and every cycle $C$ of $D$ satisfies: $(i)$ if $C \equiv 0 \pmod 3$, then $C$ has a short chord and $(ii)$ if $C \not \equiv 0 \pmod 3$, then $C$ has three short chords: two consecutive and a third crossing one of the former, then $D$ has a $3$-kernel. Moreover, we introduce a modification of the substitution method, proposed by Meyniel and Duchet in 1983, for $3$-kernels and use it to prove that a quasi-$3$-kernel-perfect digraph $D$ is $3$-kernel-perfect if every circuit of length not dividable by three has four short chords.
A Polynomial Time Algorithm for the $k$-Disjoint Shortest Paths Problem
Published
• View Publication
• BIB
The disjoint paths problem is a fundamental problem in algorithmic graph theory and combinatorial optimization. For a given graph $G$ and a set of $k$ pairs of terminals in $G$, it asks for the existence of $k$ vertex-disjoint paths connecting each pair of terminals. The proof of Robertson and Seymour [JCTB 1995] of the existence of an $n^3$ algorithm for any fixed $k$ is one of the highlights of their Graph Minors project. In this paper, we focus on the version of the problem where all the paths are required to be shortest paths. This problem, called the disjoint shortest paths problem, was introduced by Eilam-Tzoreff [DAM 1998] where she proved that the case $k = 2$ admits a polynomial time algorithm. This problem has received some attention lately, especially since the proof of the existence of a polynomial time algorithm in the directed case when $k = 2$ by Bérczi and Kobayashi [ESA 2017]. However, the existence of a polynomial algorithm when $k = 3$ in the undirected version remained open since 1998. In this paper we show that for any fixed $k$, the disjoint shortest paths problem admits a polynomial time algorithm. In fact for any fixed $C$, the algorithm can be extended to treat the case where each path connecting the pair $(s,t)$ has length at most $d(s,t) + C$.
Universal $\mathbb{F}_q-$Family of $v-$adic Multiple Zeta Values over Function Fields
This paper aims to study the $\mathbb{F}_q-$linear relations between interpolated $v-$adic multiple zeta values over function fields. We proved a universal family of linear relations of interpolated $v-$adic MZVs, which is conjectured to generate all linear relations over $\mathbb{F}_q$. At the end of the paper, we also show that these relations can be generalized to all multiple harmonic type sums.
Memgames
Published
• View Publication
• BIB
In this article, we study the structure, and in particular the Grundy values, of a family of games known as memgames.
Ramsey theory and topological dynamics for first order theories
We investigate interactions between Ramsey theory, topological dynamics, and model theory. We introduce various Ramsey-like properties for first order theories and characterize them in terms of the appropriate dynamical properties of the theories in question (such as [extreme] amenability of a theory or some properties of the associated Ellis semigroups). Then we relate them to profiniteness and triviality of the Ellis groups of first order theories. In particular, we find various criteria for [pro]finiteness and for triviality of the Ellis group of a given theory from which we obtain wide classes of examples of theories with [pro]finite or trivial Ellis groups. As an initial motivation, we note that profiniteness of the Ellis group of a theory implies that the Kim-Pillay Galois group of this theory is also profinite, which in turn is equivalent to the equality of the Shelah and Kim-Pillay strong types. We also find several concrete examples illustrating the lack of implications between some fundamental properties. In the appendix, we give a full computation of the Ellis group of the theory of the random hypergraph with one binary and one 4-ary relation. This example shows that the assumption of NIP in the version of Newelski's conjecture for amenable theories (proved in [15]) cannot be dropped.
Random Čech complexes on $\mathbb{R}^d$: decrackling the noise with local scalings
We investigate the homology of an unbounded noisy sample on $\mathbb{R}^d$, under various assumptions on the sampling density. This investigation is based on previous results by Adler, Bobrowski, and Weinberger (\cite{crackle}), and Owada and Adler (\cite{topoCrackle}). There, it was found that unbounded noise generally introduces non-vanishing homology, a phenomenon called \textit{topological crackle}, unless the density has superexponential decay on $\mathbb{R}^d$. We show how some well-chosen \textit{non-trivial} variable bandwidth constructions can extend the class of densities where crackle doesn't occur to any light tail density with mild assumptions, what we call \textit{decrackling the noise}.
On transitive ovoids of finite Hermitian polar spaces
Published
• View Publication
• BIB
In this paper, we complete the classification of transitive ovoids of finite Hermitian polar spaces.
Two-closure of supersolvable permutation group in polynomial time
Published in Computational Complexity, 29, No. 5 (2020) (MR4118452)
• View Publication
• BIB
The $2$-closure $\overline{G}$ of a permutation group $G$ on $Ω$ is defined to be the largest permutation group on $Ω$, having the same orbits on $Ω\timesΩ$ as $G$. It is proved that if $G$ is supersolvable, then $\overline{G}$ can be found in polynomial time in $|Ω|$. As a byproduct of our technique, it is shown that the composition factors of $\overline{G}$ are cyclic or alternating of prime degree.
Some exact results for regular Turán problems
Published
• View Publication
• BIB
As a variant of the famous Turán problem, we study $\mathrm{rex}(n,F)$, the maximum number of edges that an $n$-vertex regular graph can have without containing a copy of $F$. We determine $\mathrm{rex}(n,K_{r+1})$ for all pairs of integers $r$ and large enough $n$. For every tree $T$, we determine $\mathrm{rex}(n,T)$ for every $n$ large enough.
Isoradial immersions
Published
• View Publication
• BIB
Isoradial embeddings of planar graphs play a crucial role in the study of several models of statistical mechanics, such as the Ising and dimer models. Kenyon and Schlenker give a combinatorial characterization of planar graphs admitting an isoradial embedding, and describe the space of such embeddings. In this paper we prove two results of the same type for generalizations of isoradial embeddings: isoradial immersions and minimal immersions. We show that a planar graph admits a flat isoradial immersion if and only if its train-tracks do not form closed loops, and that a bipartite graph has a minimal immersion if and only if it is minimal. In both cases we describe the space of such immersions. The techniques used are different in both settings, and distinct from those of Kenyon and Schlenker. We also give an application of our results to the dimer model defined on bipartite graphs admitting minimal immersions.
Intersecting families, signed sets, and injection
Published in AUSTRALASIAN JOURNAL OF COMBINATORICS 76 (1) (2020) 226-231
• Search Publication
Let $k, r, n \geq 1$ be integers, and let $§_{n, k, r}$ be the family of $r$-signed $k$-sets on $[n] = \{1, \dots, n\}$ given by $$ \mathcal{S}_{n, k, r} = \Big\{\{(x_1, a_1), \dots, (x_k, a_k)\}: \{x_1, \dots, x_k\} \in \binom{[n]}{k}, a_1, \dots, a_k \in [r] \Big\}. $$ A family $\mathcal{A} \subseteq §_{n, k, r}$ is \emph{intersecting} if $A, B \in \mathcal{A}$ implies $A \cap B \not= \emptyset$. A well-known result (first stated by Meyer and proved using different methods by Deza and Frankl, and Bollobás and Leader) states that if $\mathcal{A} \subseteq \mathcal{S}_{n, k, r}$ is intersecting, $r \geq 2$ and $1 \leq k \leq n$, then $$|\mathcal{A}| \leq r^{k-1}\binom{n-1}{k - 1}.$$ We provide a proof of this result by injection (in the same spirit as Frankl and Füredi's and Hurlbert and Kamat's injective proofs of the Erdős--Ko--Rado Theorem, and Frankl's and Hurlbert and Kamat's injective proofs of the Hilton--Milner Theorem) whenever $r \geq 2$ and $1 \leq k \leq n/2$, leaving open only some cases when $k \leq n$.
Nonmodular infinite products and a conjecture of Seo and Yee
Published in Adv. Math. 417 (2023), Paper No. 108932
• View Publication
• BIB
We will tackle a conjecture of S. Seo and A. J. Yee, which says that the series expansion of $1/(q,-q^3;q^4)_\infty$ has nonnegative coefficients. Our approach relies on an approximation of the generally nonmodular infinite product $1/(q^a;q^M)_\infty$, where $M$ is a positive integer and $a$ is any of $1,2,\ldots,M$.
Complexity results for two kinds of colored disconnections of graphs
Published
• View Publication
• BIB
The concept of rainbow disconnection number of graphs was introduced by Chartrand et al. in 2018. Inspired by this concept, we put forward the concepts of rainbow vertex-disconnection and proper disconnection in graphs. In this paper, we first show that it is $NP$-complete to decide whether a given edge-colored graph $G$ with maximum degree $Δ(G)=4$ is proper disconnected. Then, for a graph $G$ with $Δ(G)\leq 3$ we show that $pd(G)\leq 2$ and determine the graphs with $pd(G)=1$ and $2$, respectively. Furthermore, we show that for a general graph $G$, deciding whether $pd(G)=1$ is $NP$-complete, even if $G$ is bipartite. We also show that it is $NP$-complete to decide whether a given vertex-colored graph $G$ is rainbow vertex-disconnected, even though the graph $G$ has $Δ(G)=3$ or is bipartite.
The determinant of the distance matrix of graphs with at most two cycles
Published
• View Publication
• BIB
Let $G$ be a connected graph on $n$ vertices and $D(G)$ its distance matrix. The formula for computing the determinant of this matrix in terms of the number of vertices is known when the graph is either a tree or {a} unicyclic graph. In this work we generalize these results, obtaining the determinant of the distance matrix for {all graphs} in a {class, including trees, unicyclic and bicyclic graphs. This class actually includes graphs with many cycles, provided that each block of the graph is at most bicyclic.}
Mathematics of Balanced Parentheses: The case of Ordered Motzkin Words
It is known that the core of mathematics is natural numbers. And everything related to the natural number is interesting to mathematicians. In this paper, we draw parallels between natural numbers and elements of a non-numeric lexicographic sequence, Motzkin words (well-formed strings of parentheses and zeros). We will also talk about the decomposition of Motzkin words into pairs of parentheses (analogue of Prime Numbers). Finally, we will try to interest the reader in the elements of mathematical analysis on bracket expressions. The nesting procedure of parentheses is described by the author as the differentiation of the weight function. We will work a little with derivatives for bracket pairs and also give some differential equations.
Highly edge-connected regular graphs without large factorizable subgraphs
Published in Journal Graph Theory 99 (2021) 107-116
• View Publication
• BIB
We construct highly edge-connected $r$-regular graph which do not contain $r-2$ pairwise disjoint perfect matchings. The results partially answer a question stated by Thomassen [Factorizing regular graphs, J. Comb. Theory Ser. B (2019), https://doi.org/10.1016/j.jctb.2019.05.002 (article in press)].
The $e$-positivity of two families of $(claw, 2K_2)$-free graphs
Published
• View Publication
• BIB
Motivated by Stanley's conjecture about the $e$-positivity of claw-free incomparability graphs, Hamel and her collaborators studied the $e$-positivity of $(claw, H)$-free graphs, where $H$ is a four-vertex graph. In this paper we establish the $e$-positivity of generalized pyramid graphs and $2K_2$-free unit interval graphs, which are two important families of $(claw, 2K_2)$-free graphs. Hence we affirmatively solve one problem proposed by Hamel, Hoàng and Tuero, and another problem considered by Foley, Hoàng and Merkel.
Regions of the type C Catalan arrangement
In this paper, we give a bijection between rooted labeled ordered forests with a selected subset of their leaves and the regions of the type $C$ Catalan arrangement in $\R^n$. We thus obtain a bijective proof of the well-known enumeration formula of these regions ${2^n}n! \binom{2n}{n}$.
On the minimum number of minimal codewords
Published
• View Publication
• BIB
We study the minimum number of minimal codewords in linear codes from the point of view of projective geometry. We derive bounds and in some cases determine the exact values. We also present an extension to minimal subcode supports.
Distribution of tree parameters by martingale approach
Published
• View Publication
• BIB
For a uniform random labelled tree, we find the limiting distribution of tree parameters which are stable (in some sense) with respect to local perturbations of the tree structure. The proof is based on the martingale central limit theorem and the Aldous--Broder algorithm. In particular, our general result implies the asymptotic normality of the number of occurrences of any given small pattern and the asymptotic log-normality of the number of automorphisms.