Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Growth of Schreier graphs of automaton groups
Published in Mathematische Annalen, Volume 354, Number 2, 765-785, 2012
• View Publication
• BIB
Every automaton group naturally acts on the space $X^ω$ of infinite sequences over some alphabet $X$. For every $w\in X^ω$ we consider the Schreier graph $Γ_w$ of the action of the group on the orbit of $w$. We prove that for a large class of automaton groups all Schreier graphs $Γ_w$ have subexponential growth bounded above by $n^{(\log n)^m}$ with some constant $m$. In particular, this holds for all groups generated by automata with polynomial activity growth (in terms of S.Sidki), confirming a conjecture of V.Nekrashevych. We present applications to omega-periodic graphs and Hanoi graphs.
Patch ideals and Peterson varieties
Published in Transformation Groups, December 2012, Volume 17, Issue 4, pp 1011-1036
• View Publication
• BIB
Patch ideals encode neighbourhoods of a variety in GL_n/B. For Peterson varieties we determine generators for these ideals and show they are complete intersections, and thus Cohen-Macaulay and Gorenstein. Consequently, we combinatorially describe the singular locus of the Peterson variety; give an explicit equivariant K-theory localization formula; and extend some results of [B. Kostant '96] and of D. Peterson to intersections of Peterson varieties with Schubert varieties. We conjecture that the projectivized tangent cones are Cohen-Macaulay, and that their h-polynomials are nonnegative and upper-semicontinuous. Similarly, we use patch ideals to briefly analyze other examples of torus invariant subvarieties of GL_n/B, including Richardson varieties and Springer fibers.
N-fold integer programming in cubic time
Published in Mathematical Programming, 137:325--341, 2013
• View Publication
• BIB
N-fold integer programming is a fundamental problem with a variety of natural applications in operations research and statistics. Moreover, it is universal and provides a new, variable-dimension, parametrization of all of integer programming. The fastest algorithm for $n$-fold integer programming predating the present article runs in time $O(n^{g(A)}L)$ with $L$ the binary length of the numerical part of the input and $g(A)$ the so-called Graver complexity of the bimatrix $A$ defining the system. In this article we provide a drastic improvement and establish an algorithm which runs in time $O(n^3 L)$ having cubic dependency on $n$ regardless of the bimatrix $A$. Our algorithm can be extended to separable convex piecewise affine objectives as well, and also to systems defined by bimatrices with variable entries. Moreover, it can be used to define a hierarchy of approximations for any integer programming problem.
An Euler characteristic proof that 4-prismatoids have width at most 4
We show that there is no 4-dimensional analogue of the 5-prismatoids used in Santos' recent counterexample to the Hirsch conjecture.
Inverse Littlewood-Offord problems and The Singularity of Random Symmetric Matrices
Published in Duke Math. J. 161, no. 4 (2012), 545-586
• View Publication
• BIB
Let $M_n$ denote a random symmetric $n$ by $n$ matrix, whose upper diagonal entries are iid Bernoulli random variables (which take value -1 and 1 with probability 1/2). Improving the earlier result by Costello, Tao and Vu, we show that $M_n$ is non-singular with probability $1-O(n^{-C})$ for any positive constant $C$. The proof uses an inverse Littlewood-Offord result for quadratic forms, which is of interest of its own.
Sharpness in the k-nearest neighbours random geometric graph model
Published in Advances in Applied Probability, 44(3) (2012), 617-634
• View Publication
• BIB
Let $S_{n,k}$ denote the random geometric graph obtained by placing points in a square box of area $n$ according to a Poisson process of intensity 1 and joining each point to its $k$ nearest neighbours. Balister, Bollobás, Sarkar and Walters conjectured that for every $0< ε<1$ and all $n$ sufficiently large there exists $C=C(ε)$ such that whenever the probability $S_{n,k}$ is connected is at least $ε$ then the probability $S_{n,k+C}$ is connected is at least $1-ε$. In this paper we prove this conjecture.
As a corollary we prove that there is a constant $C'$ such that whenever $k=k(n)$ is a sequence of integers such that the probability $S_{n,k(n)}$ is connected tends to one as $n$ tends to infinity, then for any $s(n)$ with $s(n)=o(\log n)$, the probability that $S_{n,k(n)+C's\log \log n}$ is $s$-connected tends to one This proves another conjecture of Balister, Bollobás, Sarkar and Walters.
Detecting genus in vertex links for the fast enumeration of 3-manifold triangulations
Published in ISSAC 2011: Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, ACM, 2011, pp. 59-66
• View Publication
• BIB
Enumerating all 3-manifold triangulations of a given size is a difficult but increasingly important problem in computational topology. A key difficulty for enumeration algorithms is that most combinatorial triangulations must be discarded because they do not represent topological 3-manifolds. In this paper we show how to preempt bad triangulations by detecting genus in partially-constructed vertex links, allowing us to prune the enumeration tree substantially.
The key idea is to manipulate the boundary edges surrounding partial vertex links using expected logarithmic time operations. Practical testing shows the resulting enumeration algorithm to be significantly faster, with up to 249x speed-ups even for small problems where comparisons are feasible. We also discuss parallelisation, and describe new data sets that have been obtained using high-performance computing facilities.
On the resilience of Hamiltonicity and optimal packing of Hamilton cycles in random graphs
Published in SIAM Journal on Discrete Mathematics, 25(3):1176--1193, 2011
• View Publication
• BIB
Let $\bk=(k_1,...,k_n)$ be a sequence of $n$ integers. For an increasing monotone graph property $\mP$ we say that a base graph $G=([n],E)$ is \emph{$\bk$-resilient} with respect to $\mP$ if for every subgraph $H\subseteq G$ such that $d_H(i)\leq k_i$ for every $1\leq i\leq n$ the graph $G-H$ possesses $\mP$. This notion naturally extends the idea of the \emph{local resilience} of graphs recently initiated by Sudakov and Vu. In this paper we study the $\bk$-resilience of a typical graph from $\GNP$ with respect to the Hamiltonicity property where we let $p$ range over all values for which the base graph is expected to be Hamiltonian. In particular, we prove that for every $ε>0$ and $p\geq\frac{\ln n+\ln\ln n +ω(1)}{n}$ if a graph is sampled from $\GNP$ then with high probability removing from each vertex of "small" degree all incident edges but two and from any other vertex at most a $(\frac{1}{3}-ε)$-fraction of the incident edges will result in a Hamiltonian graph.
Considering this generalized approach to the notion of resilience allows to establish several corollaries which improve on the best known bounds of Hamiltonicity related questions. It implies that for every positive $ε>0$ and large enough values of $K$, if $p>\frac{K\ln n}{n}$ then with high probability the local resilience of $\GNP$ with respect to being Hamiltonian is at least $(1-ε)np/3$, improving on the previous bound for this range of $p$. Another implication is a result on optimal packing of edge disjoint Hamilton cycles in a random graph. We prove that if $p\leq\frac{1.02\ln n}{n}$ then with high probability a graph $G$ sampled from $\GNP$ contains $\lfloor\frac{δ(G)}{2}\rfloor$ edge disjoint Hamilton cycles, extending the previous range of $p$ for which this was known to hold.
On representation of an integer as the sum of three squares and the ternary quadratic forms with the discriminants p^2, 16p^2
Published
• View Publication
• BIB
Let s(n) be the number of representations of n as the sum of three squares. We prove a remarkable new identity for s(p^2n)- ps(n) with p being an odd prime. This identity makes nontrivial use of ternary quadratic forms with discriminants p^2 and 16p^2. These forms are related by Watson's transformations. To prove this identity we employ the Siegel--Weil and the Smith--Minkowski product formulas.
Finite Sholander Trees, Trees, and their Betweenness
We provide a proof of Sholander's claim (Trees, lattices, order, and betweenness, Proc. Amer. Math. Soc. 3, 369-381 (1952)) concerning the representability of collections of so-called segments by trees, which yields a characterization of the interval function of a tree. Furthermore, we streamline Burigana's characterization (Tree representations of betweenness relations defined by intersection and inclusion, Mathematics and Social Sciences 185, 5-36 (2009)) of tree betweenness and provide a relatively short proof.
Curvature, geometry and spectral properties of planar graphs
Published
• View Publication
• BIB
We introduce a curvature function for planar graphs to study the connection between the curvature and the geometric and spectral properties of the graph. We show that non-positive curvature implies that the graph is infinite and locally similar to a tessellation. We use this to extend several results known for tessellations to general planar graphs. For non-positive curvature, we show that the graph admits no cut locus and we give a description of the boundary structure of distance balls. For negative curvature, we prove that the interiors of minimal bigons are empty and derive explicit bounds for the growth of distance balls and Cheeger's constant. The latter are used to obtain lower bounds for the bottom of the spectrum of the discrete Laplace operator. Moreover, we give a characterization for triviality of essential spectrum by uniform decrease of the curvature. Finally, we show that non-positive curvature implies absence of finitely supported eigenfunctions for nearest neighbor operators.
Cyclotomic Constructions of Skew Hadamard Difference Sets
Published
• View Publication
• BIB
We revisit the old idea of constructing difference sets from cyclotomic classes. Two constructions of skew Hadamard difference sets are given in the additive groups of finite fields using unions of cyclotomic classes of order $N=2p_1^m$, where $p_1$ is a prime and $m$ a positive integer. Our main tools are index 2 Gauss sums, instead of cyclotomic numbers.
Experimental Number Theory, Part I : Tower Arithmetic
We introduce in this section an Algebraic and Combinatorial approach to the theory of Numbers. The approach rests on the observation that numbers can be identified with familiar combinatorial objects namely rooted trees, which we shall here refer to as towers. The bijection between numbers and towers provides some insights into unexpected connexions between Number theory, combinatorics and discrete probability theory.
Working with Tropical Meromorphic Functions of One Variable
Published
• View Publication
• BIB
In this paper, we survey and study definitions and properties of tropical polynomials, tropical rational functions and in general, tropical meromorphic functions, emphasizing practical techniques that can really carry out computations. For instance, we introduce maximally represented tropical polynomials and tropical polynomials in compact forms to quickly find roots of given tropical polynomials. We also prove the existence and uniqueness of tropical theorems for meromorphic functions with prescribed roots and poles. Moreover, we explain the relations between classical and tropical meromorphic functions. Different definitions and applications of tropical meromorphic functions are discussed. Finally, we point out the properties of tropical meromorphic functions are very similar to complex ones and prove some tropical analogues of theorems in complex analysis.
Large regular simplices contained in a hypercube with a common barycenter
It has been shown that the $n$-dimensional unit hypercube contains an $n$-dimensional regular simplex of edge length $c\sqrt n$ for arbitrary $c<1/2$ if $n$ is sufficiently large (Maehara, Ruzsa and Tokushige, 2009). We prove the same statement holds for some $c>1/2$ even in the special case where a regular simplex has the same barycenter as that of the unit hypercube.
Chomp on Graphs and Subsets
The game subset take-away begins with a simplicial complex Δ. Two players take turns removing any element of Δas well as all other elements which contain it, and the last player able to move wins. Graph Chomp is a special case of subset take-away played on a simplicial complex with only vertices and edges. The game has previously only been analyzed for complete graphs, forest graphs, and very small special cases of higher-dimensional simplicial complexes. We generalize a common method of reducing some game positions to simpler ones by symmetry and provide a complete analysis of complete n-partite graphs for arbitrary n and all bipartite graphs. Finally, we give partial results for odd-cycle pseudotrees, which are non-bipartite graphs with a single cycle.
A Note on Set Graceful Labeling of Graphs
We settle affirmatively a conjecture posed in [S. M. Hegde, Set colorings of graphs, European Journal of Combinatorics 30 (4) (2009), 986--995]: If some subsets of a set X are assigned injectively to all vertices of a complete bipartite graph G such that the collection of all sets, each of which is the symmetric difference of the sets assigned to the ends of some edge, is the set of all nonempty subsets of X, then G is a star.
Rainbow connection of graphs with diameter 2
Published
• View Publication
• BIB
A path in an edge-colored graph $G$, where adjacent edges may have the same color, is called a rainbow path if no two edges of the path are colored the same. The rainbow connection number $rc(G)$ of $G$ is the minimum integer $i$ for which there exists an $i$-edge-coloring of $G$ such that every two distinct vertices of $G$ are connected by a rainbow path. It is known that for a graph $G$ with diameter 2, to determine $rc(G)$ is NP-hard. So, it is interesting to know the best upper bound of $rc(G)$ for such a graph $G$. In this paper, we show that $rc(G)\leq 5$ if $G$ is a bridgeless graph with diameter 2, and that $rc(G)\leq k+2$ if $G$ is a connected graph of diameter 2 with $k$ bridges, where $k\geq 1$.
The non-commutative A-polynomial of (-2,3,n) pretzel knots
Published in Experimental Mathematics 21(3), pp. 241-251, 2012
• View Publication
• BIB
We study q-holonomic sequences that arise as the colored Jones polynomial of knots in 3-space. The minimal-order recurrence for such a sequence is called the (non-commutative) A-polynomial of a knot. Using the "method of guessing", we obtain this polynomial explicitly for the K_p = (-2, 3, 3+2p) pretzel knots for p = -5, ..., 5. This is a particularly interesting family since the pairs (K_p, -K_{-p}) are geometrically similar (in particular, scissors congruent) with similar character varieties. Our computation of the non-commutative A-polynomial (a) complements the computation of the A-polynomial of the pretzel knots done by the first author and Mattman, (b) supports the AJ Conjecture for knots with reducible A-polynomial and (c) numerically computes the Kashaev invariant of pretzel knots in linear time. In a later publication, we will use the numerical computation of the Kashaev invariant to numerically verify the Volume Conjecture for the above mentioned pretzel knots.
On q-Hermite polynomials and their relationship with some other families of orthogonal polynomials
Published in Demonstratio Mathematica, 46(4), 2013, 679-708
• Search Publication
We review properties of the $q-$Hermite polynomials and indicate their links with the Chebyshev, Rogers--Szegö, Al-Salam--Chihara, continuous $q-$% utraspherical polynomials. In particular we recall the connection coefficients between these families of polynomials. We also present some useful and important finite and infinite expansions involving polynomials of these families including symmetric and non-symmetric kernels. In the paper we collect scattered throughout literature useful but not widely known facts concerning these polynomials. It is based on 43 positions of predominantly recent literature.