natural ↗ reference
4894 papers tagged with this keyword
Cliques in dense inhomogeneous random graphs
Published in Random Structures Algorithms 51 (2017), no. 2, 275-314
• View Publication
• BIB
The theory of dense graph limits comes with a natural sampling process which yields an inhomogeneous variant G(n,W) of the Erdos-Renyi random graph. Here we study the clique number of these random graphs. We establish the concentration of the clique number of G(n,W) for each fixed n, and give examples of graphons for which G(n,W) exhibits wild long-term behavior. Our main result is an asymptotic formula which gives the almost sure clique number of these random graphs. We obtain a similar result for the bipartite version of the problem. We also make an observation that might be of independent interest: Every graphon avoiding a fixed graph is countably-partite.
Gr{ö}bner basis. a "pseudo-polynomial" algorithm for computing the Frobenius number
Let consider $n$ natural numbers $a\_1 ,\ldots , a\_{n} $. Let $S$ be the numerical semigroup generated by $a\_1 ,\ldots , a\_{n} $. Set $A=K[t^{a\_1}, \ldots , t^{a\_n}]=K[{x\_1}, \ldots , {x\_n}]/I$. The aim of this paper is: \begin{enumerate}\item Give an effective pseudo-polynomial algorithm on $a\_1$, which computes The Ap{é}ry set and the Frobenius number of $S$. As a consequence it also solves in pseudo-polynomial time the integer knapsack problem : given a natural integer b, b belongs to $S$?\item The \gbb of $I$ for the reverse lexicographic order to $x\_n,\ldots ,x\_1$, without using Buchberger's algorithm. \item $\ini{I} $ for the reverse lexicographic order to $x\_n,\ldots ,x\_1$.\item $A$ as a $K[t^{ a\_1 }]$-module. \end{enumerate} We dont know the complexity of our algorithm. We need to solve the "multiplicative" integer knapsack problem: Find all positive integer solutions $({k\_1}, \ldots , {k\_n})$ of the inequality $\prod\_{i=2}^n (k\_i+1)\leq a\_1+1$. This algorithm is easily implemented. The implementation of this algorithm "frobenius-number-mm", for $n=17 $, can be downloaded in \hfill\breakhttps://www-fourier.ujf-grenoble.fr/~morales/frobenius-number-mm
Partitions of the set of natural numbers and symplectic homology
Published
• View Publication
• BIB
We prove Tamura's theorem on partitions of the set of positive integers (a generalization of the more famous Rayleigh-Beatty theorem) using the positive $\mathbb{S}^1$-equivariant symplectic homology.
On the stability of some Erdős--Ko--Rado type results
Published
• View Publication
• BIB
Consider classical Kneser's graph $K(n,r)$: for two natural numbers $ r, n $ such that $r \le n / 2$, its vertices are all the subsets of $[n]=\{1,2,\ldots,n\}$ of size $r$, and two such vertices are adjacent if the corresponding subsets are disjoint. The Erdős--Ko--Rado theorem states that the size of the largest independent set in this graph is $\binom{n-1}{r-1}$. Now let us delete each edge of the graph $K(n,r)$ with some fixed probability $p$ independently of each other. Quite surprisingly, the independence number of such random subgraph $K_p(n,r)$ of the graph $ K(n,r) $ is, with high probability, the same as the independence number of the initial graph. This phenomenon is called the stability of the independence number. This paper concerns the independence number of random subgraphs of the graph $G(n,r,1)$, which vertices are the same as in the Kneser graph and there is an edge between two vertices if they intersect in exactly one element. We prove the stability result for constant $r$ and $p=\frac{1}{2}$. To do that, we show that any sufficiently large independent set in $G(n,r,1)$ has some predefined structure, and this is a result of independent interest.
Distances and Trees in Dense Subsets of $\mathbb{Z}^d$
Published
• View Publication
• BIB
In \cite{FKW} Katznelson and Weiss establish that all sufficiently large distances can always be attained between pairs of points from any given measurable subset of $\mathbb{R}^2$ of positive upper (Banach) density. A second proof of this result, as well as a stronger "pinned variant", was given by Bourgain in \cite{B} using Fourier analytic methods. In \cite{M1} the second author adapted Bourgain's Fourier analytic approach to established a result analogous to that of Katznelson and Weiss for subsets $\mathbb{Z}^d$ provided $d\geq 5$. We present a new direct proof of this discrete distance set result and generalize this to arbitrary trees. Using appropriate discrete spherical maximal function theorems we ultimately establish the natural "pinned variants" of these results.
On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t
Published in SIAM J. Discrete Math., 30(2):621-649, 2016
• View Publication
• BIB
For a nonnegative integer $t$, let $c_t$ be the asymptotic density of natural numbers $n$ for which $s(n + t) \geq s(n)$, where $s(n)$ denotes the sum of digits of $n$ in base $2$. We prove that $c_t > 1/2$ for $t$ in a set of asymptotic density $1$, thus giving a partial solution to a conjecture of T. W. Cusick stating that $c_t > 1/2$ for all t. Interestingly, this problem has several equivalent formulations, for example that the polynomial $X(X + 1)\cdots(X + t - 1)$ has less than $2^t$ zeros modulo $2^{t+1}$. The proof of the main result is based on Chebyshev's inequality and the asymptotic analysis of a trivariate rational function, using methods from analytic combinatorics.
Double posets and the antipode of QSym
Published in The Electronic Journal of Combinatorics 24(2) (2017), #P2.22 (published with minor changes to Section 2 and without ancillary file)
• View Publication
• BIB
A quasisymmetric function is assigned to every double poset (that is, every finite set endowed with two partial orders) and any weight function on its ground set. This generalizes well-known objects such as monomial and fundamental quasisymmetric functions, (skew) Schur functions, dual immaculate functions, and quasisymmetric $\left(P, ω\right)$-partition enumerators. We prove a formula for the antipode of this function that holds under certain conditions (which are satisfied when the second order of the double poset is total, but also in some other cases); this restates (in a way that to us seems more natural) a result by Malvenuto and Reutenauer, but our proof is new and self-contained. We generalize it further to an even more comprehensive setting, where a group acts on the double poset by automorphisms.
Counting zero kernel pairs over a finite field
Published in Linear Algebra and its Applications, 495:1 - 10, 2016
• View Publication
• BIB
Helmke et al. have recently given a formula for the number of reachable pairs of matrices over a finite field. We give a new and elementary proof of the same formula by solving the equivalent problem of determining the number of so called zero kernel pairs over a finite field. We show that the problem is equivalent to certain other enumeration problems and outline a connection with some recent results of Guo and Yang on the natural density of rectangular unimodular matrices over $\Fq[x]$. We also propose a new conjecture on the density of unimodular matrix polynomials.
Virtualization map for the Littelmann path model
Published in Transform. Groups, 23(4) (2018) pp. 1045-1061
• View Publication
• BIB
We show the natural embedding of weight lattices from a diagram folding is a virtualization map for the Littelmann path model, which recovers a result of Kashiwara. As an application, we give a type independent proof that certain Kirillov--Reshetikhin crystals respect diagram foldings, which is a known result on a special case of a conjecture given by Okado, Schilling, and Shimozono.
New Formulas for Dyck Paths in a Rectangle
Published in Combinatorics on Words, Volume 9304 of the series Lecture Notes in Computer Science, pp 85-96, Date: 27 August 2015, Springer
• Search Publication
We consider the problem of counting the set of $\mathscr{D}_{a,b}$ of Dyck paths inscribed in a rectangle of size $a\times b$. They are a natural generalization of the classical Dyck words enumerated by the Catalan numbers. By using Ferrers diagrams associated to Dyck paths, we derive formulas for the enumeration of $\mathscr{D}_{a,b}$ with $a$ and $b$ non relatively prime, in terms of Catalan numbers.
Crescent configurations
In 1989, Erdős conjectured that for a sufficiently large $n$ it is impossible to place $n$ points in general position in a plane such that for every $1\le i \le n-1$ there is a distance that occurs exactly $i$ times. For small $n$ this is possible and in his paper he provided constructions for $n\leq 8$. The one for $n=5$ was due to Pomerance while Palásti came up with the constructions for $n=7,8$. Constructions for $n=9$ and above remain undiscovered, and little headway has been made toward a proof that for sufficiently large $n$ no configuration exists. In this paper we consider a natural generalization to higher dimensions and provide a construction which shows that for any given $n$ there exists a sufficiently large dimension $d$ such that there is a configuration in $d$-dimensional space meeting Erdős' criteria.
The minimum size of graphs with given rainbow index
The concept of $k$-rainbow index $rx_k(G)$ of a connected graph $G$, introduced by Chartrand, Okamoto and Zhang, is a natural generalization of the rainbow connection number. Let $t(n,k,\ell)$ denote the minimum size of a connected graph $G$ of order $n$ with $rx_k(G)\leq \ell$, where $2\leq \ell\leq n-1$ and $2\leq k\leq n$. In this paper, we obtain some exact values and some upper bounds for $t(n,k,\ell)$.
Decomposing highly edge-connected graphs into paths of any given length
Published
• View Publication
• BIB
In 2006, Barát and Thomassen posed the following conjecture: for each tree $T$, there exists a natural number $k_T$ such that, if $G$ is a $k_T$-edge-connected graph and $|E(G)|$ is divisible by $|E(T)|$, then $G$ admits a decomposition into copies of $T$. This conjecture was verified for stars, some bistars, paths of length $3$, $5$, and $2^r$ for every positive integer $r$. We prove that this conjecture holds for paths of any fixed length.
Colored graphs without colorful cycles
Published in Combinatorica 27 (2007), no. 4, 407-427
• View Publication
• BIB
A colored graph is a complete graph in which a color has been assigned to each edge, and a colorful cycle is a cycle in which each edge has a different color. We first show that a colored graph lacks colorful cycles iff it is Gallai, i.e., lacks colorful triangles. We then show that, under the operation $m\circ n\equiv m+n-2$, the omitted lengths of colorful cycles in a colored graph form a monoid isomorphic to a submonoid of the natural numbers which contains all integers past some point. We prove that several but not all such monoids are realized.
We then characterize exact Gallai graphs, i.e., graphs in which every triangle has edges of exactly two colors. We show that these are precisely the graphs which can be iteratively built up from three simple colored graphs, having $2$, $4$, and $5$ vertices, respectively. We then characterize in two different ways the monochromes, i.e., the connected components of maximal monochromatic subgraphs, of exact Gallai graphs. The first characterization is in terms of their reduced form, a notion which hinges on the important idea of a full homomorphism. The second characterization is by means of a homomorphism duality.
Face numbers of manifolds with boundary
Published
• View Publication
• BIB
We study face numbers of simplicial complexes that triangulate manifolds (or even normal pseudomanifolds) with boundary. Specifically, we establish a sharp lower bound on the number of interior edges of a simplicial normal pseudomanifold with boundary in terms of the number of interior vertices and relative Betti numbers. Moreover, for triangulations of manifolds with boundary all of whose vertex links have the weak Lefschetz property, we extend this result to sharp lower bounds on the number of higher-dimensional interior faces. Along the way we develop a version of Bagchi and Datta's $σ$- and $μ$-numbers for the case of relative simplicial complexes and prove stronger versions of the above statements with the Betti numbers replaced by the $μ$-numbers. Our results provide natural generalizations of known theorems and conjectures for closed manifolds and appear to be new even for the case of a ball.
The maximum size of a non-trivial intersecting uniform family that is not a subfamily of the Hilton--Milner family
Published
• View Publication
• BIB
The celebrated Erdős-Ko-Rado theorem determines the maximum size of a $k$-uniform intersecting family. The Hilton-Milner theorem determines the maximum size of a $k$-uniform intersecting family that is not a subfamily of the so-called Erdős-Ko-Rado family. In turn, it is natural to ask what the maximum size of an intersecting $k$-uniform family that is neither a subfamily of the Erdős-Ko-Rado family nor of the Hilton-Milner family is. For $k\ge 4$, this was solved (implicitly) in the same paper by Hilton-Milner in 1967. We give a different and simpler proof, based on the shifting method, which allows us to solve all cases $k\ge 3$ and characterize all extremal families achieving the extremal value.
Maximally Persistent Cycles in Random Geometric Complexes
Published
• View Publication
• BIB
We initiate the study of persistent homology of random geometric simplicial complexes. Our main interest is in maximally persistent cycles of degree-$k$ in persistent homology, for a either the \cech or the Vietoris--Rips filtration built on a uniform Poisson process of intensity $n$ in the unit cube $[0,1]^d$. This is a natural way of measuring the largest "$k$-dimensional hole" in a random point set. This problem is in the intersection of geometric probability and algebraic topology, and is naturally motivated by a probabilistic view of topological inference.
We show that for all $d \ge 2$ and $1 \le k \le d-1$ the maximally persistent cycle has (multiplicative) persistence of order $$ Θ\left(\left(\frac{\log n}{\log \log n} \right)^{1/k} \right),$$ with high probability, characterizing its rate of growth as $n \to \infty$. The implied constants depend on $k$, $d$, and on whether we consider the Vietoris--Rips or \cech filtration.
On transversal and $2$-packing numbers in straight line systems on $\mathbb{R}^{2}$
A linear system is a pair $(X,\mathcal{F})$ where $\mathcal{F}$ is a finite family of subsets on a ground set $X$, and it satisfies that $|A\cap B|\leq 1$ for every pair of distinct subsets $A,B \in \mathcal{F}$. As an example of a linear system are the straight line systems, which family of subsets are straight line segments on $\mathbb{R}^{2}$. By $τ$ and $ν_2$ we denote the size of the minimal transversal and the 2--packing numbers of a linear system respectively. A natural problem is asking about the relationship of these two parameters; it is not difficult to prove that there exists a quadratic function $f$ holding $τ\leq f(ν_2)$. However, for straight line system we believe that $τ\leqν_2-1$. In this paper we prove that for any linear system with $2$-packing numbers $ν_2$ equal to $2, 3$ and $4$, we have that $τ\leqν_2$. Furthermore, we prove that the linear systems that attains the equality have transversal and $2$-packing numbers equal to $4$, and they are a special family of linear subsystems of the projective plane of order $3$. Using this result we confirm that all straight line systems with $ν_2\in\{2,3,4\}$ satisfies $τ\leqν_2-1$.
A Chip-Firing Game on the Product of Two Graphs and the Tropical Picard Group
Published in The Electronic Journal of Combinatorics 24.4 (2017): P4.14
• View Publication
• BIB
In his preprint https://arxiv.org/abs/1308.3813, Cartwright introduced the notion of a weak tropical complex in order to generalize the concepts of divisors and the Picard group on graphs from Baker and Norine's paper Riemann-Roch and Abel-Jacobi Theory on a Finite Graph. A tropical complex $Γ$ is a $Δ$-complex equipped with certain algebraic data. Divisors in a tropical complex are formal linear combinations of ridges, and piecewise-linear functions on a tropical complex give rise in a natural way to divisors. Divisors that arise from PL-functions are called principal, and divisors that are locally principal are called Cartier. Two divisors that differ by a principal divisor are said to be linearly equivalent. The linear equivalence classes of Cartier divisors on a tropical complex $Γ$ form a group called the Picard group of $Γ$, by analogy to the definition of the Picard group of a variety in algebraic geometry.
Every graph has a unique tropical complex structure. If $G$ and $H$ are graphs, and $Γ$ is a triangulation of their product, then $Γ$ has a weak tropical complex structure that is compatible with the tropical complex structures on $G$ and $H$. Thus, divisors on $Γ$ can be thought of as states in a higher-dimensional chip-firing game on $Γ$. Cartwright conjectured that the Picard groups of $Γ$, $G$, and $H$ were closely related. Let $Pic(Γ)$ be the tropical Picard group of $Γ$, and $Pic(G)$ and $Pic(H)$ be the tropical Picard groups of $G$ and $H$. Then, it was conjectured that there is a map $γ: Pic(G) \times Pic(H) \to Pic(Γ)$ that is always injective and is surjective if at least one of $G$ or $H$ is a tree.
In this paper, we prove the conjecture. In preparation, we discuss some basic properties of tropical complexes, along with some properties specific to the product-of-graphs case.
Random walks on semaphore codes and delay de Bruijn semigroups
Published in International Journal of Algebra and Computation 26(4) (2016) 635-673
• View Publication
• BIB
We develop a new approach to random walks on de Bruijn graphs over the alphabet $A$ through right congruences on $A^k$, defined using the natural right action of $A^+$. A major role is played by special right congruences, which correspond to semaphore codes and allow an easier computation of the hitting time. We show how right congruences can be approximated by special right congruences.