Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Degeneration and orbits of tuples and subgroups in an Abelian group
Published
• View Publication
• BIB
A tuple (or subgroup) in a group is said to degenerate to another if the latter is an endomorphic image of the former. In a countable reduced abelian group, it is shown that if tuples (or finite subgroups) degenerate to each other, then they lie in the same automorphism orbit. The proof is based on techniques that were developed by Kaplansky and Mackey in order to give an elegant proof of Ulm's theorem. Similar results hold for reduced countably generated torsion modules over principal ideal domains. It is shown that the depth and the description of atoms of the resulting poset of orbits of tuples depend only on the Ulm invariants of the module in question (and not on the underlying ring). A complete description of the poset of orbits of elements in terms of the Ulm invariants of the module is given. The relationship between this description of orbits and a very different-looking one obtained by Dutta and Prasad for torsion modules of bounded order is explained.
A characterization of the edge connectivity of direct products of graphs
The direct product of graphs $G=(V(G),E(G))$ and $H=(V(H),E(H))$ is the graph, denoted as $G\times H$, with vertex set $V(G\times H)=V(G)\times V(H)$, where vertices $(x_1,y_1)$ and $(x_2,y_2)$ are adjacent in $G\times H$ if $x_1x_2\in E(G)$ and $y_1y_2\in E(H)$. The edge connectivity of a graph $G$, denoted as $λ(G)$, is the size of a minimum edge-cut in $G$. We introduce a function $ψ$ and prove the following formula %for the edge-connectivity of direct products $$λ(G\times H)=\min {2λ(G)|E(H)|,2λ(H)|E(G)|,δ(G\times H), ψ(G,H), ψ(H,G)} .$$ We also describe the structure of every minimum edge-cut in $G\times H$.
Self-avoiding walks and the Fisher transformation
Published
• View Publication
• BIB
The Fisher transformation acts on cubic graphs by replacing each vertex by a triangle. We explore the action of the Fisher transformation on the set of self-avoiding walks of a cubic graph. Iteration of the transformation yields a sequence of graphs with common critical exponents, and with connective constants converging geometrically to the golden mean.
We consider the application of the Fisher transformation to one of the two classes of vertices of a bipartite cubic graph. The connective constant of the ensuing graph may be expressed in terms of that of the initial graph. When applied to the hexagonal lattice, this identifies a further lattice whose connective constant may be computed rigorously.
On subsets of $S^n$ whose $(n+1)$-point subsets are contained in open hemisheres
We investigate the nature of subsets of spheres which satisfy a tameness condition associated with the Bieri-Groves conjecture on cohomological finiteness conditions for metabelian groups. We find that there is a natural polyhedrality in a crucial special case. In the case of the two dimensional sphere we establish a strong polyhedrality condition for certain open sets which are maximal subject to satisfying the tameness condition that subsets of three or fewer points are contained in open hemispheres. Many examples are included.
Incidence Theorems and Their Applications
Published
• View Publication
• BIB
We survey recent (and not so recent) results concerning arrangements of lines, points and other geometric objects and the applications these results have in theoretical computer science and combinatorics. The three main types of problems we will discuss are:
(1) Counting incidences: Given a set (or several sets) of geometric objects (lines, points, etc..), what is the maximum number of incidences (or intersections) that can exist between elements in different sets? We will see several results of this type, such as the Szemeredi-Trotter theorem, over the reals and over finite fields and discuss their applications in combinatorics (e.g., in the recent solution of Guth and Katz to Erdos' distance problem) and in computer science (in explicit constructions of multi-source extractors).
(2) Kakeya type problems: These problems deal with arrangements of lines that point in different directions. The goal is to try and understand to what extent these lines can overlap one another. We will discuss these questions both over the reals and over finite fields and see how they come up in the theory of randomness-extractors.
(3) Sylvester-Gallai type problems: In this type of problems, one is presented with a configuration of points that contain many `local' dependencies (e.g., three points on a line) and is asked to derive a bound on the dimension of the span of all points. We will discuss several recent results of this type, over various fields, and see their connection to the theory of locally correctable error-correcting codes.
Throughout the different parts of the survey, two types of techniques will make frequent appearance. One is the polynomial method, which uses polynomial interpolation to impose an algebraic structure on the problem at hand. The other recurrent techniques will come from the area of additive combinatorics.
Characterization of system signatures
We suggest a purely combinatorial approach to a general problem in system reliability. We show how to determine if a given vector can be the signature of a system, and in the affirmative case exhibit such a system in terms on its structure function. The method employs results from the theory of simplicial sets, and provides a full characterization of signature vectors.
On sets defining few ordinary lines
Published
• View Publication
• BIB
Let P be a set of n points in the plane, not all on a line. We show that if n is large then there are at least n/2 ordinary lines, that is to say lines passing through exactly two points of P. This confirms, for large n, a conjecture of Dirac and Motzkin. In fact we describe the exact extremisers for this problem, as well as all sets having fewer than n - C ordinary lines for some absolute constant C. We also solve, for large n, the "orchard-planting problem", which asks for the maximum number of lines through exactly 3 points of P. Underlying these results is a structure theorem which states that if P has at most Kn ordinary lines then all but O(K) points of P lie on a cubic curve, if n is sufficiently large depending on K.
New approach to the $k$-independence number of a graph
Published
• View Publication
• BIB
Let $G = (V,E)$ be a graph and $k \ge 0$ an integer. A $k$-independent set $S \subseteq V$ is a set of vertices such that the maximum degree in the graph induced by $S$ is at most $k$. With $α_k(G)$ we denote the maximum cardinality of a $k$-independent set of $G$. We prove that, for a graph $G$ on $n$ vertices and average degree $d$, $α_k(G) \ge \frac{k+1}{\lceil d \rceil + k + 1} n$, improving the hitherto best general lower bound due to Caro and Tuza [Improved lower bounds on k-independence, J. Graph Theory 15 (1991), 99-107].
Apollonian structure in the Abelian sandpile
Published
• View Publication
• BIB
The Abelian sandpile process evolves configurations of chips on the integer lattice by toppling any vertex with at least 4 chips, distributing one of its chips to each of its 4 neighbors. When begun from a large stack of chips, the terminal state of the sandpile has a curious fractal structure which has remained unexplained. Using a characterization of the quadratic growths attainable by integer-superharmonic functions, we prove that the sandpile PDE recently shown to characterize the scaling limit of the sandpile admits certain fractal solutions, giving a precise mathematical perspective on the fractal nature of the sandpile.
Matching expectations
The game of memory is played with a deck of n pairs of cards. The cards in each pair are identical. The deck is shuffled and the cards laid face down. A move consists of flipping over first one card then another. The cards are removed from play if they match. Otherwise, they are flipped back over and the next move commences. A game ends when all pairs have been matched. We determine that, when the game is played optimally, as n tends to infinity: 1) The expected number of moves is (3 - 2 ln 2)n + 7/8 - 2 ln 2 (approximately 1.61 n), 2) The expected number of times two matching cards are unwittingly flipped over is ln 2, and 3) The expected number of flips until two matching cards have been seen is asymptotically sqrt{pi n}.
Combinatorial expansions for families of non-commutative k-Schur functions
Published
• View Publication
• BIB
We apply down operators in the affine nilCoxeter algebra to yield explicit combinatorial expansions for certain families of non-commutative k-Schur functions. This yields a combinatorial interpretation for a new family of k-Littlewood-Richardson coefficients.
Eigenvalues and Linear Quasirandom Hypergraphs
Published
• View Publication
• BIB
Let p(k) denote the partition function of k. For each k >= 2, we describe a list of p(k)-1 quasirandom properties that a k-uniform hypergraph can have. Our work connects previous notions on linear hypergraph quasirandomness of Kohayakawa-Rödl-Skokan and Conlon-Hàn-Person-Schacht and the spectral approach of Friedman-Wigderson. For each of the quasirandom properties that are described, we define a largest and second largest eigenvalue. We show that a hypergraph satisfies these quasirandom properties if and only if it has a large spectral gap. This answers a question of Conlon-Hàn-Person-Schacht. Our work can be viewed as a partial extension to hypergraphs of the seminal spectral results of Chung-Graham-Wilson for graphs.
Topology of eigenspace posets for imprimitive reflection groups
Published
• View Publication
• BIB
This paper studies the poset of eigenspaces of elements of an imprimitive unitary reflection group, for a fixed eigenvalue, ordered by the reverse of inclusion. The study of this poset is suggested by the eigenspace theory of Springer and Lehrer. The posets are shown to be isomorphic to certain subposets of Dowling lattices (the `d-divisible, k-evenly coloured Dowling lattices'). This enables us to prove that these posets are Cohen-Macaulay, and to determine the dimension of their top homology.
Frobenius map for the centers of Hecke algebras
Published in Trans. Amer. Math. Soc. 367 (2015), 5507--5520
• View Publication
• BIB
We introduce a commutative associative graded algebra structure on the direct sum Z of the centers of the Hecke algebras associated to the symmetric groups in n letters for all n. As a natural deformation of the classical construction of Frobenius, we establish an algebra isomorphism from the algebra Z to the ring of symmetric functions. This isomorphism provides an identification between several distinguished bases for the centers (introduced by Geck-Rouquier, Jones, Lascoux) and explicit bases of symmetric functions.
Elusive Codes in Hamming Graphs
Published
• View Publication
• BIB
We consider a code to be a subset of the vertex set of a Hamming graph. We examine elusive pairs, code-group pairs where the code is not determined by knowledge of its set of neighbours. We construct a new infinite family of elusive pairs, where the group in question acts transitively on the set of neighbours of the code. In our examples, we find that the alphabet size always divides the length of the code, and prove that there is no elusive pair for the smallest set of parameters for which this is not the case. We also pose several questions regarding elusive pairs.
A nonconstructive Proof to show the Convergence of the $n^{th}$ root of diagonal Ramsey Number $r(n, n)$
Does the $n^{th}$ root of the diagonal Ramsey number converge to a finite limit? The answer is yes. A sequence can be shown to converge if it satifies convergence conditions other than or besides monotonicity. We show such a property holds for which the sequence of $n^{th}$ roots does converge, even if one has no a priori knowledge as to whether the sequence is monotone or not. We show also the $n^{th}$ root of the diagonal Ramsey number can be expressed as a product of two factors, the first being a known convergent sequence and the second being an absolutely convergent infinite series. One also can express it where one product is convergent and the other has all its values from a uniformly convergent complex function holomorphic within the unit disc on the complex plane. Our motivation solely is to prove the conjecture as a problem in search of a solution, not to establish some deep theory about graphs. A second question is: If the limit exists what is it? At the time of this writing the understanding is the proofs sought need not be constructive. Here we show by nonconstructive proofs that the $n^{th}$ root of the diagonal Ramsey number converges to a finite limit. We also show that the limit of the $j^{th}$ root of the diagonal Ramsey number is two, where positive integer $j$ depends upon the Ramsey number.
Weighted representation functions on $\mathbb{Z}_m$
Published in Taiwan. J. Math. 17 (2013), 1311-1319. Erratum. 18 (2014), 1329
• View Publication
• BIB
Let $m$, $k_1$, and $k_2$ be three integers with $m\ge 2$. For any set $A\subseteq \mathbb{Z}_m$ and $n\in \mathbb{Z}_m$, let $\hat{r}_{k_1,k_2}(A,n)$ denote the number of solutions of the equation $n=k_1a_1+k_2a_2$ with $a_1,a_2\in A$. In this paper, using exponential sums, we characterize all $m$, $k_1$, $k_2$, and $A$ for which $\hat{r}_{k_1,k_2}(A,n)=\hat{r}_{k_1,k_2}(\mathbb{Z}_m\setminus A,n)$ for all $n\in \mathbb{Z}_m$. We also pose several problems for further research.
The Super Catalan Numbers $S(m, m + s)$ for $s \leq 4$
We give a combinatorial interpretation using lattice paths for the super Catalan number $S(m, m+s)$ for $s \leq 3$ and a separate interpretation for $s = 4$.
On the vertices of the d-dimensional Birkhoff polytope
Published
• View Publication
• BIB
Consider the Birkhoff polytope of n by n doubly-stochastic matrices. As the Birkhoff-von Neumann theorem famously states, its vertex set coincides with the set of all n by n permutation matrices. Here we seek a higher-dimensional analog of this basic fact. Namely, consider the polytope which consists of all tristochastic arrays of order n. These are n by n by n arrays with nonnegative entries in which every line sums to 1. What can be said about its vertex set?
It is well-known that an order-n Latin square may be viewed as a tristochastic array where every line contains n-1 zeros and a single 1 entry. Indeed, every Latin square of order n is a vertex, but as we show, such vertices constitute only a vanishingly small part of the total number of vertices.
More concretely, we show that the number of vertices is at least (L_n)^{3/2-o(1)}, where L_n is the number of order-n Latin squares. We also briefly consider similar problems concerning the polytope of n by n by n arrays where the entries in every coordinate hyperplane sum to 1. Several open questions are presented as well.
Poset-free Families and Lubell-boundedness
Published
• View Publication
• BIB
Given a finite poset $P$, we consider the largest size $\lanp$ of a family $\F$ of subsets of $[n]:=\{1,...,n\}$ that contains no subposet $P$. This continues the study of the asymptotic growth of $\lanp$; it has been conjectured that for all $P$, $π(P):= \lim_{n\rightarrow\infty} \lanp/\nchn$ exists and equals a certain integer, $e(P)$. While this is known to be true for paths, and several more general families of posets, for the simple diamond poset $\D_2$, the existence of $π$ frustratingly remains open. Here we develop theory to show that $π(P)$ exists and equals the conjectured value $e(P)$ for many new posets $P$. We introduce a hierarchy of properties for posets, each of which implies $π=e$, and some implying more precise information about $\lanp$. The properties relate to the Lubell function of a family $\F$ of subsets, which is the average number of times a random full chain meets $\F$. We present an array of examples and constructions that possess the properties.