Showing 20 papers (Total: 83502 papers, 48219 authors in database)
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.
Non-Vertex-Balanced Factors in Random Graphs
Published
• View Publication
• BIB
We prove part of a conjecture by Johansson, Kahn and Vu \cite{JKV} regarding threshold functions for the existence of an $H$-factor in a random graph \gnp. We prove that the conjectured threshold function is correct for any graph $H$ which is not covered by its densest subgraphs. We also demonstrate that the main result of \cite{JKV} generalises to multigraphs, digraphs, and a multipartite model.
Canonization of analytic equivalences on the Carlson-Simpson forcing
We prove a canonization result for the Carlson-Simpson forcing in the spirit of \cite{KSZ}. We generalize the weak form of the Carlson-Simpson theorem (\cite{CaSi}) dealing with partitions without free blocks: instead of dealing with finite Borel (resp. Baire-property) colorings we deal with (uncountable) colorings such that the corresponding equivalence relation (two partitions are equivalent if they are colored by the same color) is analytic.
Classifying terminal weighted projective space
We present a classification of all weighted projective spaces with at worst terminal or canonical singularities in dimension four. As a corollary we also classify all four-dimensional one-point lattice simplices up to equivalence. Finally, we classify the terminal Gorenstein weighted projective spaces up to dimension ten.
An infinite cardinal version of Gallai's Theorem for colorings of the plane
Published in Journal of Combinatorics Vol 5 (2014) pp. 445-452
• View Publication
• BIB
We generalize a result of Tibor Gallai as follows: for any finite set of points $\mathcal{S}$ in the plane, if the plane is colored in finitely many colors, then there exist $2^{\aleph_0}$ monochromatic subsets of the plane homothetic to $\mathcal{S}$. Furthermore, we prove an even stronger result for $n$-dimensional Euclidean space.
Maximum size binary matroids with no AG(3,2)-minor are graphic
Published
• View Publication
• BIB
We prove that the maximum size of a simple binary matroid of rank $r \geq 5$ with no AG(3,2)-minor is $\binom{r+1}{2}$ and characterise those matroids achieving this bound. When $r \geq 6$, the graphic matroid $M(K_{r+1})$ is the unique matroid meeting the bound, but there are a handful of smaller examples. In addition, we determine the size function for non-regular simple binary matroids with no AG(3,2)-minor and characterise the matroids of maximum size for each rank.
On oriented graphs with minimal skew energy
Published
• View Publication
• BIB
Let $S(G^σ)$ be the skew-adjacency matrix of an oriented graph $G^σ$. The skew energy of $G^σ$ is defined as the sum of all singular values of its skew-adjacency matrix $S(G^σ)$. In this paper, we first deduce an integral formula for the skew energy of an oriented graph. Then we determine all oriented graphs with minimal skew energy among all connected oriented graphs on $n$ vertices with $m \ (n\le m < 2(n-2))$ arcs, which is an analogy to the conjecture for the energy of undirected graphs proposed by Caporossi {\it et al.} [G. Caporossi, D. Cvetkovi$\acute{c}$, I. Gutman, P. Hansen, Variable neighborhood search for extremal graphs. 2. Finding graphs with external energy, J. Chem. Inf. Comput. Sci. 39 (1999) 984-996.]
Finite Difference Calculus for Alternating Permutations
Published
• View Publication
• BIB
The finite difference equation system introduced by Christiane Poupard in the study of tangent trees is reinterpreted in the alternating permutation environment. It makes it possible to make a joint study of both tangent and secant trees and calculate the generating polynomial for alternating permutations by a new statistic, referred to as being the greater neighbor of the maximum.