Showing 20 papers (Total: 84253 papers, 48533 authors in database)
The sequence of open and closed prefixes of a Sturmian word
Published in Advances in Applied Mathematics Volume 90, September 2017, Pages 27-45
• View Publication
• BIB
A finite word is closed if it contains a factor that occurs both as a prefix and as a suffix but does not have internal occurrences, otherwise it is open. We are interested in the {\it oc-sequence} of a word, which is the binary sequence whose $n$-th element is $0$ if the prefix of length $n$ of the word is open, or $1$ if it is closed. We exhibit results showing that this sequence is deeply related to the combinatorial and periodic structure of a word. In the case of Sturmian words, we show that these are uniquely determined (up to renaming letters) by their oc-sequence. Moreover, we prove that the class of finite Sturmian words is a maximal element with this property in the class of binary factorial languages. We then discuss several aspects of Sturmian words that can be expressed through this sequence. Finally, we provide a linear-time algorithm that computes the oc-sequence of a finite word, and a linear-time algorithm that reconstructs a finite Sturmian word from its oc-sequence.
A Note on Sparse Supersaturation and Extremal Results for Linear Homogeneous Systems
Published
• View Publication
• BIB
We study the thresholds for the property of containing a solution to a linear homogeneous system in random sets. We expand a previous sparse Szémeredi-type result of Schacht to the broadest class of matrices possible. We also provide a shorter proof of a sparse Rado result of Friedgut, Rödl, Ruciński and Schacht based on a hypergraph container approach due to Nenadov and Steger. Lastly we further extend these results to include some solutions with repeated entries using a notion of non-trivial solutions due to Rúzsa as well as Rué et al.
A Second Wave of Expanders over Finite Fields
Published
• View Publication
• BIB
This is an expository survey on recent sum-product results in finite fields.
We present a number of sum-product or "expander" results that say that if $|A| > p^{2/3}$ then some set determined by sums and product of elements of $A$ is nearly as large as possible, and if $|A|<p^{2/3}$ then the set in question is significantly larger that $A$. These results are based on a point-plane incidence bound of Rudnev, and are quantitatively stronger than a wave of earlier results following Bourgain, Katz, and Tao's breakthrough sum-product result.
In addition, we present two geometric results: an incidence bound due to Stevens and de Zeeuw, and bound on collinear triples, and an example of an expander that breaks the threshold of $p^{2/3}$ required by the other results.
We have simplified proofs wherever possible, and hope that this survey may serve as a compact guide to recent advances in arithmetic combinatorics over finite fields. We do not claim originality for any of the results.
Existence of Some Signed Magic Arrays
Published
• View Publication
• BIB
We consider the notion of a signed magic array, which is an $m \times n$ rectangular array with the same number of filled cells $s$ in each row and the same number of filled cells $t$ in each column, filled with a certain set of numbers that is symmetric about the number zero, such that every row and column has a zero sum. We attempt to make progress toward a characterization of for which $(m, n, s, t)$ there exists such an array. This characterization is complete in the case where $n = s$ and in the case where $n = m$; we also characterize three-fourths of the cases where $n = 2m$.
A non-increasing tree growth process for recursive trees and applications
Published
• View Publication
• BIB
We introduce a non-increasing tree growth process $((T_n,σ_n),\, n\ge 1)$, where $T_n$ is a rooted labeled tree on $n$ vertices and $σ_n$ is a permutation of the vertex labels. The construction of $(T_{n},σ_n)$ from $(T_{n-1},σ_{n-1})$ involves rewiring a random (possibly empty) subset of edges in $T_{n-1}$ towards the newly added vertex; as a consequence $T_{n-1} \not\subset T_n$ with positive probability. The key feature of the process is that the shape of $T_n$ has the same law as that of a random recursive tree, while the degree distribution of any given vertex is not monotonous in the process.
We present two applications. First, while couplings between Kingman's coalescent and random recursive trees where known for any fixed $n$, this new process provides a non-standard coupling of all finite Kingman's coalescents. Second, we use the new process and the Chen-Stein method to extend the well-understood properties of degree distribution of random recursive trees to extremal-range cases. Namely, we obtain convergence rates on the number of vertices with degree at least $c\ln n$, $c\in (1,2)$, in trees with $n$ vertices. Further avenues of research are discussed.
Estimation of Graphlet Statistics
Published
• View Publication
• BIB
Graphlets are induced subgraphs of a large network and are important for understanding and modeling complex networks. Despite their practical importance, graphlets have been severely limited to applications and domains with relatively small graphs. Most previous work has focused on exact algorithms, however, it is often too expensive to compute graphlets exactly in massive networks with billions of edges, and finding an approximate count is usually sufficient for many applications. In this work, we propose an unbiased graphlet estimation framework that is (a) fast with significant speedups compared to the state-of-the-art, (b) parallel with nearly linear-speedups, (c) accurate with <1% relative error, (d) scalable and space-efficient for massive networks with billions of edges, and (e) flexible for a variety of real-world settings, as well as estimating macro and micro-level graphlet statistics (e.g., counts) of both connected and disconnected graphlets. In addition, an adaptive approach is introduced that finds the smallest sample size required to obtain estimates within a given user-defined error bound. On 300 networks from 20 domains, we obtain <1% relative error for all graphlets. This is significantly more accurate than existing methods while using less data. Moreover, it takes a few seconds on billion edge graphs (as opposed to days/weeks). These are by far the largest graphlet computations to date.
c_2 Invariants of Recursive Families of Graphs
Published
• View Publication
• BIB
The c_2 invariant, defined by Schnetz in 2011, is an arithmetic graph invariant created towards a better understanding of Feynman integrals. This paper looks at some graph families of interest, with a focus on decompleted toroidal grids. Specifically, the c_2 invariant for p=2 is shown to be zero for all decompleted non-skew toroidal grids. We also calculate the c_2 invariant at p=2 for G a family of graphs called X-ladders. Finally, we show these methods can be applied to any graph with a recursive structure, for any fixed p.
Confluence laws and Hopf-Borel type theorem for operads
In 2008, Loday shed light on the existence of Hopf-Boreltheorems for operads. Using the vocabulary of category theory, Livernet,Mesablishvili and Wisbauer extended such theorems to monads. In bothcases, the reasoning was to start from a mixed distributive law andthen to prove that it induces an isomorphism of species to finally geta rigidity theorem. Our reasoning goes here backward: we prove thatfrom an isomorphism of species one can get what we called a confluencelaw, which generalises mixed distributive laws, and that it is enough toobtain a rigidity theorem. This enables us to show that for any operadsP and Q having the same underlying S-module, there exists a confluencelaw $α$ such that any conilpotent P coQ-bialgebra satisfying $α$ is free andcofree over its primitive elements. Our reasoning permits us to generatemany new examples, while recovering the known ones by consideringdual relations.
Some algebraic invariants of edge ideal of circulant graphs
Let $G$ be the circulant graph $C_n(S)$ with $S\subseteq\{ 1,\ldots,\left \lfloor\frac{n}{2}\right \rfloor\}$ and let $I(G)$ be its edge ideal in the ring $K[x_0,\ldots,x_{n-1}]$. Under the hypothesis that $n$ is prime we : 1) compute the regularity index of $R/I(G)$; 2) compute the Castelnuovo-Mumford regularity when $R/I(G)$ is Cohen-Macaulay; 3) prove that the circulant graphs with $S=\{1,\ldots,s\}$ are sequentially $S_2$ . We end characterizing the Cohen-Macaulay circulant graphs of Krull dimension $2$ and computing their Cohen-Macaulay type and Castelnuovo-Mumford regularity.
Locally infinite graphs and symmetries
When one studies geometric properties of graphs, local finiteness is a common implicit assumption, and that of transitivity a frequent explicit one. By compactness arguments, local finiteness guarantees several regularity properties. It is generally easy to find counterexamples to such regularity results when the assumption of local finiteness is dropped. The present work focuses on the following problem: determining whether these regularity properties still hold when local finiteness is replaced by an assumption of transitivity.
After recalling the locally finite situation, we show that there are Cayley graphs with infinite generating systems that have infinite diameter but do not contain any infinite geodesic ray. We also introduce a notion of generalised diameter. The generalised diameter of a graph is either an ordinal or "truly infinite" and captures the extension properties of geodesic paths. It is a finite ordinal if and only if the usual diameter is finite, and in that case the two notions agree. Besides, the generalised diameter is "truly infinite" if and only if the considered graph contains an infinite geodesic ray. We show that there exist Cayley graphs of abelian groups of arbitrary generalised diameter.
Finally, we build Cayley graphs of abelian groups that have isomorphic balls of radius R for every R but are not globally isomorphic. This enables us to construct a non-transitive graph such that for every R and any vertices u and v, the ball of centre u and radius R is isomorphic to that of centre v and same radius.
Saturating sets in projective planes and hypergraph covers
Published
• View Publication
• BIB
Let $Π_q$ be an arbitrary finite projective plane of order $q$. A subset $S$ of its points is called saturating if any point outside $S$ is collinear with a pair of points from $S$. Applying probabilistic tools we improve the upper bound on the smallest possible size of the saturating set to $\lceil\sqrt{3q\ln{q}}\rceil+ \lceil(\sqrt{q}+1)/2\rceil$. The same result is presented using an algorithmic approach as well, which points out the connection with the transversal number of uniform multiple intersecting hypergraphs.
Dihedral Transportation and (0,1)-Matrix Classes
Published
• View Publication
• BIB
Let R and S be two vectors of real numbers whose entries have the same sum. In the transportation problems one wishes to find a matrix A with row sum vector R and column sum vector S. If, in addition, the two vectors only contain nonnegative integers then one wants the same to be true for A. This can always be done and the transportation algorithm gives a method for explicitly calculating A. We can restrict things even further and insist that A have only entries zero and one. In this case, the Gale-Ryser Theorem gives necessary and sufficient conditions for A to exist and this result can be proved constructively. One can let the dihedral group D_4 of the square act on matrices. Then a subgroup of D_4 defines a set of matrices invariant under the subgroup. So one can consider analogues of the transportation and (0,1) problems for these sets of matrices. For every subgroup, we give conditions equivalent to the existence of the desired type of matrix.
Roman $\{2\}$-domination in graphs and graph products
Published
• View Publication
• BIB
For a graph $G=(V,E)$ of order $n$, a Roman $\{2\}$-dominating function $f:V\rightarrow\{0,1,2\}$ has the property that for every vertex $v\in V$ with $f(v)=0$, either $v$ is adjacent to a vertex assigned $2$ under $f$, or $v$ is adjacent to least two vertices assigned $1$ under $f$. In this paper, we classify all graphs with Roman $\{2\}$-domination number belonging to the set $\{2,3,4,n-2,n-1,n\}$. Furthermore, we obtain some results about Roman $\{2\}$-domination number of some graph operations.
Cubic edge-transitive bi-Cayley graphs over inner-abelian p-groups
Published
• View Publication
• BIB
A graph is said to be a bi-Cayley graph over a group H if it admits H as a group of automorphisms acting semiregularly on its vertices with two orbits. A non-abelian group is called an inner-abelian group if all of its proper subgroups are abelian. In this paper, we complete the classification of connected cubic edge-transitive bi-Cayley graphs over inner-abelian p-groups for an odd prime p.
On neighbour sum-distinguishing $\{0,1\}$-edge-weightings of bipartite graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (June 4, 2018) dmtcs:2632
• View Publication
• BIB
Let $S$ be a set of integers. A graph G is said to have the S-property if there exists an S-edge-weighting $w : E(G) \rightarrow S$ such that any two adjacent vertices have different sums of incident edge-weights. In this paper we characterise all bridgeless bipartite graphs and all trees without the $\{0,1\}$-property. In particular this problem belongs to P for these graphs while it is NP-complete for all graphs.
Counting Lyndon factors
Published
• View Publication
• BIB
In this paper, we determine the maximum number of distinct Lyndon factors that a word of length $n$ can contain. We also derive formulas for the expected total number of Lyndon factors in a word of length $n$ on an alphabet of size $σ$, as well as the expected number of distinct Lyndon factors in such a word. The minimum number of distinct Lyndon factors in a word of length $n$ is $1$ and the minimum total number is $n$, with both bounds being achieved by $x^n$ where $x$ is a letter. A more interesting question to ask is what is the minimum number of distinct Lyndon factors in a Lyndon word of length $n$? In this direction, it is known (Saari, 2014) that an optimal lower bound for the number of distinct Lyndon factors in a Lyndon word of length $n$ is $\lceil\log_φ(n) + 1\rceil$, where $φ$ denotes the golden ratio $(1 + \sqrt{5})/2$. Moreover, this lower bound is attained by the so-called finite "Fibonacci Lyndon words", which are precisely the Lyndon factors of the well-known "infinite Fibonacci word" -- a special example of a "infinite Sturmian word". Saari (2014) conjectured that if $w$ is Lyndon word of length $n$, $n\ne 6$, containing the least number of distinct Lyndon factors over all Lyndon words of the same length, then $w$ is a Christoffel word (i.e., a Lyndon factor of an infinite Sturmian word). We give a counterexample to this conjecture. Furthermore, we generalise Saari's result on the number of distinct Lyndon factors of a Fibonacci Lyndon word by determining the number of distinct Lyndon factors of a given Christoffel word. We end with two open problems.
Abelian-Square-Rich Words
Published
• View Publication
• BIB
An abelian square is the concatenation of two words that are anagrams of one another. A word of length $n$ can contain at most $Θ(n^2)$ distinct factors, and there exist words of length $n$ containing $Θ(n^2)$ distinct abelian-square factors, that is, distinct factors that are abelian squares. This motivates us to study infinite words such that the number of distinct abelian-square factors of length $n$ grows quadratically with $n$. More precisely, we say that an infinite word $w$ is {\it abelian-square-rich} if, for every $n$, every factor of $w$ of length $n$ contains, on average, a number of distinct abelian-square factors that is quadratic in $n$; and {\it uniformly abelian-square-rich} if every factor of $w$ contains a number of distinct abelian-square factors that is proportional to the square of its length. Of course, if a word is uniformly abelian-square-rich, then it is abelian-square-rich, but we show that the converse is not true in general. We prove that the Thue-Morse word is uniformly abelian-square-rich and that the function counting the number of distinct abelian-square factors of length $2n$ of the Thue-Morse word is $2$-regular. As for Sturmian words, we prove that a Sturmian word $s_α$ of angle $α$ is uniformly abelian-square-rich if and only if the irrational $α$ has bounded partial quotients, that is, if and only if $s_α$ has bounded exponent.
Subcritical graph classes containing all planar graphs
Published
• View Publication
• BIB
We construct minor-closed addable families of graphs that are subcritical and contain all planar graphs. This contradicts (one direction of) a well-known conjecture of Noy.
Delta sets for symmetric numerical semigroups with embedding dimension three
This work extends the results known for the Delta sets of non-symmetric numerical semigroups with embedding dimension three to the symmetric case. Thus, we have a fast algorithm to compute the Delta set of any embedding dimension three numerical semigroup. Also, as a consequence of these resutls, the sets that can be realized as Delta sets of numerical semigroups of embedding dimension three are fully characterized.
The Erdős-Ginzburg-Ziv constant and progression-free subsets
Ellenberg and Gijswijt gave recently a new exponential upper bound for the size of three-term arithmetic progression free sets in $({\mathbb Z_p})^n$, where $p$ is a prime. Petrov summarized their method and generalized their result to linear forms.
In this short note we use Petrov's result to give new exponential upper bounds for the Erdős-Ginzburg-Ziv constant of finite Abelian groups of high rank. Our main results depend on a conjecture about Property D.