Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Decomposition into two trees with orientation constraints
Published
• View Publication
• BIB
We prove that deciding whether the edge set of a graph can be partitionned into two spanning trees with orientation constraints is NP-complete. If P $\neq$ NP then this disproves a conjecture of Recski.
Generalized Hyperfocused Arcs in $PG(2,p)$
Published
• View Publication
• BIB
A {\em generalized hyperfocused arc} $\mathcal H $ in $PG(2,q)$ is an arc of size $k$ with the property that the $k(k-1)/2$ secants can be blocked by a set of $k-1$ points not belonging to the arc. We show that if $q$ is a prime and $\mathcal H$ is a generalized hyperfocused arc of size $k$, then $k=1,2$ or 4. Interestingly, this problem is also related to the (strong) cylinder conjecture [Ball S.: The polynomial method in Galois geometries, in Current research topics in Galois geometry, Chapter 5, Nova Sci. Publ., New York, (2012) 105-130], as we point out in the last section.
A note on a sumset in $\mathbb{Z}_{2k}$
Published in Online Journal of Analytic Combinatorics, No. 11, Issue 12, 2017
• View Publication
• BIB
Let $A$ and $B$ be additive sets of $\mathbb{Z}_{2k}$, where $A$ has cardinality $k$ and $B=v.\complement A$ with $v\in\mathbb{Z}_{2k}^{\times}$. In this note some bounds for the cardinality of $A+B$ are obtained, using four different approaches. We also prove that in a special case the bound is not sharp and we can recover the whole group as a sumset.
Sets Represented as the Length-n Factors of a Word
Published
• View Publication
• BIB
In this paper we consider the following problems: how many different subsets of Sigma^n can occur as set of all length-n factors of a finite word? If a subset is representable, how long a word do we need to represent it? How many such subsets are represented by words of length t? For the first problem, we give upper and lower bounds of the form alpha^(2^n) in the binary case. For the second problem, we give a weak upper bound and some experimental data. For the third problem, we give a closed-form formula in the case where n <= t < 2n. Algorithmic variants of these problems have previously been studied under the name "shortest common superstring".
Ordered Partitions Avoiding a Permutation of Length 3
Published
• View Publication
• BIB
An ordered partition of $[n]=\{1, 2, \ldots, n\}$ is a partition whose blocks are endowed with a linear order. Let $\mathcal{OP}_{n,k}$ be set of ordered partitions of $[n]$ with $k$ blocks and $\mathcal{OP}_{n,k}(σ)$ be set of ordered partitions in $\mathcal{OP}_{n,k}$ that avoid a pattern $σ$. Recently, Godbole, Goyt, Herdan and Pudwell obtained formulas for the number of ordered partitions of $[n]$ with 3 blocks and the number of ordered partitions of $[n]$ with $n-1$ blocks avoiding a permutation pattern of length 3. They showed that $|\mathcal{OP}_{n,k}(σ)|=|\mathcal{OP}_{n,k}(123)|$ for any permutation $σ$ of length 3, and raised the question concerning the enumeration of $\mathcal{OP}_{n,k}(123)$. They also conjectured that the number of ordered partitions of $[2n]$ with blocks of size 2 avoiding a permutation pattern of length 3 satisfied a second order linear recurrence relation. In answer to the question of Godbole, et al., we obtain the generating function for $|\mathcal{OP}_{n,k}(123)|$ and we prove the conjecture on the recurrence relation.
Flat-containing and shift-blocking sets in $F_2^r$
For non-negative integers $r\ge d$, how small can a subset $C\subset F_2^r$ be, given that for any $v\in F_2^r$ there is a $d$-flat passing through $v$ and contained in $C\cup\{v\}$? Equivalently, how large can a subset $B\subset F_2^r$ be, given that for any $v\in F_2^r$ there is a linear $d$-subspace not blocked non-trivially by the translate $B+v$? A number of lower and upper bounds are obtained.
Semi-cyclic holey group divisible designs with block size three
Published
• View Publication
• BIB
In this paper we discuss the existence problem for a semi-cyclic holey group divisible design of type (n,m^t) with block size 3, which is denoted by a 3-SCHGDD of type (n,m^t). When n=3, a 3-SCHGDD of type (3,m^t) is equivalent to a (3,mt;m)-cyclic holey difference matrix, denoted by a (3,mt;m)-CHDM. It is shown that there is a (3,mt;m)-CHDM if and only if (t-1)m\equiv 0 (mod 2) and t\geq 3 with the exception of m\equiv 0 (mod 2) and t=3. When n\geq 4, the case of t odd is considered. It is established that if t\equiv 1 (mod 2) and n\geq 4, then there exists a 3-SCHGDD of type (n,m^t) if and only if t\geq 3 and (t-1)n(n-1)m\equiv 0 (mod 6) with some possible exceptions of n=6 and 8. The main results in this paper have been used to construct optimal two-dimensional optical orthogonal codes with weight 3 and different auto- and cross-correlation constraints by the authors recently.
Refined knot invariants and Hilbert schemes
Published in Journal de mathématiques pures et appliquées 104 (2015), pp. 403-435
• View Publication
• BIB
We consider the construction of refined Chern-Simons torus knot invariants by M. Aganagic and S. Shakirov from the DAHA viewpoint of I. Cherednik. We give a proof of Cherednik's conjecture on the stabilization of superpolynomials, and then use the results of O. Schiffmann and E. Vasserot to relate knot invariants to the Hilbert scheme of points on the plane. Then we use the methods of the second author to compute these invariants explicitly in the uncolored case. We also propose a conjecture relating these constructions to the rational Cherednik algebra, as in the work of the first author, A. Oblomkov, J. Rasmussen and V. Shende. Among the combinatorial consequences of this work is a statement of the m/n shuffle conjecture.
Geometric Ruzsa triangle inequality in metric spaces with dilations
The Appendix of the article arXiv:1212.5056 [math.CO] "On growth in an abstract plane" by Nick Gill, H. A. Helfgott, Misha Rudnev, contains a general "geometric Ruzsa triangle inequality" in a Desarguesian projective plane. The purpose of this note is to give a similar inequality for metric spaces with dilations, that is in the absence of an algebraic or incidence structure.
Infinitesimal rigidity for non-Euclidean bar-joint frameworks
Published
• View Publication
• BIB
The minimal infinitesimal rigidity of bar-joint frameworks in the non-Euclidean spaces (R^2, ||.||_q) are characterised in terms of (2,2)-tight graphs. Specifically, a generically placed bar-joint framework (G,p) in the plane is minimally infinitesimally rigid with respect to a non-Euclidean l^q norm if and only if the underlying graph G = (V,E) contains 2|V|-2 edges and every subgraph H=(V(H),E(H)) contains at most 2|V(H)|-2 edges.
On the Average Number of Edges in Theta Graphs
Published
• View Publication
• BIB
Theta graphs are important geometric graphs that have many applications, including wireless networking, motion planning, real-time animation, and minimum-spanning tree construction. We give closed form expressions for the average degree of theta graphs of a homogeneous Poisson point process over the plane. We then show that essentially the same bounds---with vanishing error terms---hold for theta graphs of finite sets of points that are uniformly distributed in a square. Finally, we show that the number of edges in a theta graph of points uniformly distributed in a square is concentrated around its expected value.
Contributions to the theory of de Bruijn cycles
A de Bruijn cycle is a cyclic listing of length A, of a collection of A combinatorial objects, so that each object appears exactly once as a set of consecutive elements in the cycle. In this paper, we show the power of de Bruijn's original theorem, namely that the cycles bearing his name exist for n-letter words on a k-letter alphabet for all values of k,n, to prove that we can create de Bruijn cycles for the assignment of elements of [n]={1,2,....,n} to the sets in any labeled subposet of the Boolean lattice; de Bruijn's theorem corresponds to the case when the subposet in question consists of a single ground element. The landmark work of Chung, Diaconis, and Graham extended the agenda of finding de Bruijn cycles to possibly the next most natural set of combinatorial objects, namely k-subsets of [n]. In this area, important contributions have been those of Hurlbert and Rudoy. Here we follow the direction of Blanca and Godbole, who proved that, in a suitable encoding, de Bruijn cycles can be created for the subsets of [n$ of size in the interval [s,t]; 0<=s<t<=n$. In this paper we generalize this result to exhibit existence of de Bruijn cycles for words with weight between s and t, where these parameters are suitably restricted.
Counting Free Abelian Actions
We consider the problem of counting commuting r-tuples of elements of the symmetric group S_n, i.e. computing |Hom(Z^r,S_n)|. The cases r=1,2 are well-known; a product formula for the case r=3 was conjectured by Adams-Watters and later proved by Britnell. In this note we solve the problem for arbitrary r.
Amenability and Unique Ergodicity of Automorphism Groups of Fraïssé Structures
Published
• View Publication
• BIB
In this paper we provide a necessary and sufficient condition for the amenability of the automorphism group of Fraïssé structures and apply it to prove the non-amenability of the automorphism groups of the directed graph $\mathbf{S}(3)$ and the Boron tree structure $\mathbf{T}$. Also, we provide a negative answer to the Unique Ergodicity-Generic Point problem of Angel-Kechris-Lyons [AKL]. By considering $\mathrm{GL}(\mathbf{V}_\infty)$, where $\mathbf{V}_\infty$ is the countably infinite dimensional vector space over a finite field $F_q$, we show that the unique invariant measure on the universal minimal flow of $\mathrm{GL}(\mathbf{V}_\infty)$ is not supported on the generic orbit.
2-Stack Sorting is polynomial
Published
• View Publication
• BIB
In this article, we give a polynomial algorithm to decide whether a given permutation $σ$ is sortable with two stacks in series. This is indeed a longstanding open problem which was first introduced by Knuth. He introduced the stack sorting problem as well as permutation patterns which arises naturally when characterizing permutations that can be sorted with one stack. When several stacks in series are considered, few results are known. There are two main different problems. The first one is the complexity of deciding if a permutation is sortable or not, the second one being the characterization and the enumeration of those sortable permutations. We hereby prove that the first problem lies in P by giving a polynomial algorithm to solve it. This article strongly relies on a previous article in which 2-stack pushall sorting is defined and studied.
Complements of nearly perfect graphs
Published in Journal of Combinatorics, 4(3):299-310, 2013
• View Publication
• BIB
A class of graphs closed under taking induced subgraphs is $χ$-bounded if there exists a function $f$ such that for all graphs $G$ in the class, $χ(G) \leq f(ω(G))$. We consider the following question initially studied in [A. Gy{á}rf{á}s, Problems from the world surrounding perfect graphs, {\em Zastowania Matematyki Applicationes Mathematicae}, 19:413--441, 1987]. For a $χ$-bounded class $\cal C$, is the class $\bar{C}$ $χ$-bounded (where $\bar{\cal C}$ is the class of graphs formed by the complements of graphs from $\cal C$)? We show that if $\cal C$ is $χ$-bounded by the constant function $f(x)=3$, then $\bar{\cal C}$ is $χ$-bounded by $g(x)=\lfloor\frac{8}{5}x\rfloor$ and this is best possible. We show that for every constant $c>0$, if $\cal C$ is $χ$-bounded by a function $f$ such that $f(x)=x$ for $x \geq c$, then $\bar{\cal C}$ is $χ$-bounded. For every $j$, we construct a class of graphs $χ$-bounded by $f(x)=x+x/\log^j(x)$ whose complement is not $χ$-bounded.
Geometric aspects of 2-walk-regular graphs
Published in Linear Algebra and its Applications 439 (2013), 2692-2710
• View Publication
• BIB
A $t$-walk-regular graph is a graph for which the number of walks of given length between two vertices depends only on the distance between these two vertices, as long as this distance is at most $t$. Such graphs generalize distance-regular graphs and $t$-arc-transitive graphs. In this paper, we will focus on 1- and in particular 2-walk-regular graphs, and study analogues of certain results that are important for distance regular graphs. We will generalize Delsarte's clique bound to 1-walk-regular graphs, Godsil's multiplicity bound and Terwilliger's analysis of the local structure to 2-walk-regular graphs. We will show that 2-walk-regular graphs have a much richer combinatorial structure than 1-walk-regular graphs, for example by proving that there are finitely many non-geometric 2-walk-regular graphs with given smallest eigenvalue and given diameter (a geometric graph is the point graph of a special partial linear space); a result that is analogous to a result on distance-regular graphs. Such a result does not hold for 1-walk-regular graphs, as our construction methods will show.
On the key exchange with nonlinear polynomial maps of stable degree
Published
• View Publication
• BIB
We say that the sequence $g_n$, $n\ge 3$, $n \rightarrow \infty$ of polynomial transformation bijective maps of free module $K^n$ over commutative ring $K$ is a sequence of stable degree if the order of $g_n$ is growing with $n$ and the degree of each nonidentical polynomial map of kind ${g_n}^k$ is an independent constant $c$. A transformation $b=τ
{g_n}^k τ^{-1}$, where $τ$ is affine bijection, $n$ is large and $k$ is relatively small, can be used as a base of group theoretical Diffie-Hellman key exchange algorithm for the Cremona group $C(K^n)$ of all regular automorphisms of $K^n$. The specific feature of this method is that the order of the base may be unknown for the adversary because of the complexity of its computation. The exchange can be implemented by tools of Computer Algebra (symbolic computations). The adversary can not use the degree of righthandside in $b^x=d$ to evaluate unknown $x$ in this form for the discrete logarithm problem.
In the paper we introduce the explicit constructions of sequences of elements of stable degree for cases $c=3$ for each commutative ring $K$ containing at least 3 regular elements and discuss the implementation of related key exchange and public key algorithms.
Mod-phi convergence I: Normality zones and precise deviations
Published
• View Publication
• BIB
In this paper, we use the framework of mod-$φ$ convergence to prove precise large or moderate deviations for quite general sequences of real valued random variables $(X_{n})_{n \in \mathbb{N}}$, which can be lattice or non-lattice distributed. We establish precise estimates of the fluctuations $P[X_{n} \in t_{n}B]$, instead of the usual estimates for the rate of exponential decay $\log( P[X_{n}\in t_{n}B])$. Our approach provides us with a systematic way to characterise the normality zone, that is the zone in which the Gaussian approximation for the tails is still valid. Besides, the residue function measures the extent to which this approximation fails to hold at the edge of the normality zone.
The first sections of the article are devoted to a proof of these abstract results and comparisons with existing results. We then propose new examples covered by this theory and coming from various areas of mathematics: classical probability theory, number theory (statistics of additive arithmetic functions), combinatorics (statistics of random permutations), random matrix theory (characteristic polynomials of random matrices in compact Lie groups), graph theory (number of subgraphs in a random Erdős-Rényi graph), and non-commutative probability theory (asymptotics of random character values of symmetric groups). In particular, we complete our theory of precise deviations by a concrete method of cumulants and dependency graphs, which applies to many examples of sums of "weakly dependent" random variables. The large number as well as the variety of examples hint at a universality class for second order fluctuations.
Shortest Repetition-Free Words Accepted by Automata
Published
• View Publication
• BIB
We consider the following problem: given that a finite automaton $M$ of $N$ states accepts at least one $k$-power-free (resp., overlap-free) word, what is the length of the shortest such word accepted? We give upper and lower bounds which, unfortunately, are widely separated.