Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Approximate subgroups of residually nilpotent groups
Published in Math. Ann. 374 (2019), 499-515
• View Publication
• BIB
We show that a K-approximate subgroup A of a residually nilpotent group G is contained in boundedly many cosets of a finite-by-nilpotent subgroup, the nilpotent factor of which is of bounded step. Combined with an earlier result of the author, this implies that A is contained in boundedly many translates of a coset nilprogression of bounded rank and step. The bounds are effective and depend only on K; in particular, if G is nilpotent they do not depend on the step of G. As an application we show that there is some absolute constant c such that if G is a residually nilpotent group, and if there is an integer n > 1 such that the ball of radius n in some Cayley graph of G has cardinality bounded by n^(c log log n), then G is virtually (log n)-step nilpotent.
From Pappus Theorem to parameter spaces of some extremal line point configurations and applications
Published in Geom. Dedicata 188 (2017), 103-121
• View Publication
• BIB
In the present work we study parameter spaces of two line point configurations introduced by Böröczky. These configurations are extremal from the point of view of Dirac-Motzkin Conjecture settled recently by Green and Tao. They have appeared also recently in commutative algebra in connection with the containment problem for symbolic and ordinary powers of homogeneous ideals and in algebraic geometry in considerations revolving around the Bounded Negativity Conjecture. Our main results are Theorem A and Theorem B. We show that the parameter space of what we call $B12$ configurations is a three dimensional rational variety. As a consequence we derive the existence of a three dimensional family of rational $B12$ configurations. On the other hand the moduli space of $B15$ configurations is shown to be an elliptic curve with only finitely many rational points, all corresponding to degenerate configurations. Thus, somewhat surprisingly, we conclude that there are no rational $B15$ configurations.
Binary Codes and Period-2 Orbits of Sequential Dynamical Systems
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Combinatorics (October 3, 2017) dmtcs:2654
• View Publication
• BIB
Let $[K_n,f,π]$ be the (global) SDS map of a sequential dynamical system (SDS) defined over the complete graph $K_n$ using the update order $π\in S_n$ in which all vertex functions are equal to the same function $f\colon\mathbb F_2^n\to\mathbb F_2^n$. Let $η_n$ denote the maximum number of periodic orbits of period $2$ that an SDS map of the form $[K_n,f,π]$ can have. We show that $η_n$ is equal to the maximum number of codewords in a binary code of length $n-1$ with minimum distance at least $3$. This result is significant because it represents the first interpretation of this fascinating coding-theoretic sequence other than its original definition.
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$.
On the classification of self-dual [20,10,9] codes over GF(7)
Published in Finite Fields and Their Applications 42 (2016), 57-66
• View Publication
• BIB
It is shown that the extended quadratic residue code of length 20 over GF(7) is a unique self-dual [20,10,9] code C such that the lattice obtained from C by Construction A is isomorphic to the 20-dimensional unimodular lattice D_{20}^+, up to equivalence. This is done by converting the classification of such self-dual codes to that of skew-Hadamard matrices of order 20.
Zigzag structure of thin chamber complexes
Published
• View Publication
• BIB
Zigzags and generalized zigzags in thin chamber complexes are investigated, in particular, all zigzags in the Coxeter complexes are described. Using this description, we show that the lengths of all generalized zigzags in the simplex $α_{n}$, the cross-polytope $β_{n}$, the $24$-cell, the icosahedron and the $600$-cell are equal to the Coxeter numbers of $A_{n}$, $B_{n}=C_{n}$, $F_{4}$ and $H_{i}$, $i=3,4$, respectively. Also, we discuss the following problem: in which cases two faces in a thin chamber complex can be connected by a zigzag?
New Eulerian numbers of type D
Published in Electronic Journal of Combinatorics, Volume 23, Issue 1 (2016), Paper P1.38
• View Publication
• BIB
We introduce a new array of type $D$ Eulerian numbers, different from that studied by Brenti, Chow and Hyatt. We find in particular the recurrence relation, Worpitzky formula and the generating function. We also find the probability distributions whose moments are Eulerian polynomials of type $A$, $B$ and $D$.
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.
Red-blue clique partitions and (1-1)-transversals
Motivated by the problem of Gallai on $(1-1)$-transversals of $2$-intervals, it was proved by the authors in 1969 that if the edges of a complete graph $K$ are colored with red and blue (both colors can appear on an edge) so that there is no monochromatic induced $C_4$ and $C_5$ then the vertices of $K$ can be partitioned into a red and a blue clique. Aharoni, Berger, Chudnovsky and Ziani recently strengthened this by showing that it is enough to assume that there is no induced monochromatic $C_4$ and there is no induced $C_5$ in {\em one of the colors}. Here this is strengthened further, it is enough to assume that there is no monochromatic induced $C_4$ and there is no $K_5$ on which both color classes induce a $C_5$.
We also answer a question of Kaiser and Rabinovich, giving an example of six $2$-convex sets in the plane such that any three intersect but there is no $(1-1)$-transversal for them.
On the one dimensional representations of Ariki-Koike algebras at roots of unity
Published
• View Publication
• BIB
We study the natural labeling of the one dimensional representations for Ariki-Koike algebras at roots of unity. For Hecke algebras of types A and B, some of these representations can be identified with the socle of the Steinberg representation of a finite reductive group. We here give closed formulas for them. This uses, in particular, several results concerning crystal isomorphisms and the Mullineux involution.
Erdős and Arithmetic Progressions
This is a short survey article written for the Erdős centennial conference in Budapest in 2013. The main two topics covered are Szemerédi's theorem and its ramifications, and the Erdős discrepancy problem. There is an emphasis on what we do not yet know, so much of the article is somewhat speculative.
Variants of geometric RSK, geometric PNG and the multipoint distribution of the log-gamma polymer
Published
• View Publication
• BIB
We show that the reformulation of the geometric Robinson-Schensted-Knuth (gRSK) correspondence via local moves, introduced in \cite{OSZ14} can be extended to cases where the input matrix is replaced by more general polygonal, Young-diagram-like, arrays of the form $\polygon$. We also show that a rearrangement of the sequence of the local moves gives rise to a geometric version of the polynuclear growth model (PNG). These reformulations are used to obtain integral formulae for the Laplace transform of the joint distribution of the point-to-point partition functions of the log-gamma polymer at different space-time points. In the case of two points at equal time $N$ and space at distance of order $N^{2/3}$, we show formally that the joint law of the partition functions, scaled by $N^{1/3}$, converges to the two-point function of the Airy process
Improved Strength Four Covering Arrays with Three Symbols
Published
• View Publication
• BIB
A covering array $t$-$CA(n,k,g)$, of size $n$, strength $t$, degree $k$, and order $g$, is a $k\times n$ array on $g$ symbols such that every $t\times n$ sub-array contains every $t\times 1$ column on $g$ symbols at least once. Covering arrays have been studied for their applications to software testing, hardware testing, drug screening, and in areas where interactions of multiple parameters are to be tested. In this paper, we present an algebraic construction that improves many of the best known upper bounds on $n$ for covering arrays 4-$CA(n,k,g)$ with $g=3$. The $coverage$ $measure$ $μ_t(A)$ of a testing array $A$ is defined by the ratio between the number of distinct $t$-tuples contained in the column vectors of $A$ and the total number of $t$-tuples. A covering array is a testing array with full coverage. The $covering$ $arrays$ $with$ $budget$ $constraints$ $problem$ is the problem of constructing a testing array of size at most $n$ having largest possible coverage measure, given values of $k,g$ and $n$. This paper presents several strength four testing arrays with high coverage. The construction here is a generalisation of the construction methods used by Chateauneuf, Colbourn and Kreher, and Meagher and Stevens.
Changing gears: Isospectrality via eigenderivative transplantation
We introduce a new method for constructing isospectral quantum graphs that is based on transplanting derivatives of eigenfunctions. We also present simple digraphs with the same reversing zeta function, which generalizes the Bartholdi zeta function to digraphs.
Connectivity and giant component in random distance graphs
Various different random graph models have been proposed in which the vertices of the graph are seen as members of a metric space, and edges between vertices are determined as a function of the distance between the corresponding metric space elements. We here propose a model $G=G(X, f)$, in which $(X, d)$ is a metric space, $V(G)=X$, and $\mathbb{P}(u\sim v) = f(d(u, v))$, where $f$ is a decreasing function on the set of possible distances in $X$. We consider the case that $X$ is the $n\times n \times \dots\times n$ integer lattice in dimension $r$, with $d$ the $\ell_1$ metric, and $f(d) = \frac{1}{n^βd}$, and determine a threshold for the emergence of the giant component and connectivity in this model. We compare this model with a traditional Waxman graph. Further, we discuss expected degrees of nodes in detail for dimension 2.
Counting Anosov graphs
Published in Ars Combin. 141 (2018), 29-51
• Search Publication
In recent work by Dani and Mainkar, a family of finite simple graphs was used to construct nilmanifolds admitting Anosov diffeomorphisms. Our main object of study is this particular set of graphs, which we call Anosov graphs. Moreover, Dani and Mainkar give a lower bound on the number of Anosov graphs in terms of the number of vertices and number of edges. In this work, we improve this lower bound in terms of vertices and edges, and we give lower and upper bounds solely in terms of the number of vertices.
Some Constructions for Amicable Orthogonal Designs
Hadamard matrices, orthogonal designs and amicable orthogonal designs have a number of applications in coding theory, cryptography, wireless network communication and so on. Product designs were introduced by Robinson in order to construct orthogonal designs especially full orthogonal designs (no zero entries) with maximum number of variables for some orders. He constructed product designs of orders $4$, $8$ and $12$ and types $\big(1_{(3)}; 1_{(3)}; 1\big),$ $\big(1_{(3)}; 1_{(3)}; 5\big)$ and $\big(1_{(3)}; 1_{(3)}; 9\big)$, respectively. In this paper, we first show that there does not exist any product design of order $n\neq 4$, $8$, $12$ and type $\big(1_{(3)}; 1_{(3)}; n-3\big),$ where the notation $u_{(k)}$ is used to show that $u$ repeats $k$ times. Then, following the Holzmann and Kharaghani's methods, we construct some classes of disjoint and some classes of full amicable orthogonal designs, and we obtain an infinite class of full amicable orthogonal designs. Moreover, a full amicable orthogonal design of order $2^9$ and type $\big(2^6_{(8)}; 2^6_{(8)}\big)$ is constructed.
A Terrible Expansion of the Determinant
From a transfer formula in multivariate finite operator calculus, comes an expansion for the determinant similar to Ryser's formula for the permanent. Although this one contains many more terms than the usual determinant formula. To prove it, we consider the poset of ordered partitions, properties of the permutahedron, and some good old fashioned combinatorial techniques.
Chromatic properties of the Euclidean plane
Let $G$ be the unit distance graph in the plane. A well-known problem in combinatorial geometry is that of determining the chromatic number of $G$. It is known that $4\le χ(G)\le 7$. The upper bound of 7 is obtained using tilings of the plane. The present paper studies two problems where we seek proper colourings of $G$, adding restrictions inspired by tilings:
Let $H(ε)$ be the graph whose vertices are the points of ${\mathbb R}^2$, with an edge between two points if their distance lies in the interval $[1,1+ε]$. We show that for small $ε$, $0<ε\le \frac{3\sqrt{2}}{4}-1$, we have $6\le χ(H(ε))\le 7$. This improves the result of Exoo and Grytczuk et al. that $5\le χ(H(ε))$ for small $ε$.
Suppose that $G$ is properly coloured, but so that two solidly coloured regions meet along a straight line in some neighbourhood. Then at least 5 colours must be used.