Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A Cheeger-Type Inequality on Simplicial Complexes
Published
• View Publication
• BIB
In this paper, we consider a variation on Cheeger numbers related to the coboundary expanders recently defined by Dotterer and Kahle. A Cheeger-type inequality is proved, which is similar to a result on graphs due to Fan Chung. This inequality is then used to study the relationship between coboundary expanders on simplicial complexes and their corresponding eigenvalues, complementing and extending results found by Gundert and Wagner. In particular, we find these coboundary expanders do not satisfy natural Buser or Cheeger inequalities.
Invariant polynomial functions on tensors under the action of a product of orthogonal groups
Published
• View Publication
• BIB
Let K be the product O(n_1) x O(n_2) x ... x O(n_r) of orthogonal groups. Let V the r-fold tensor product of defining representations of each orthogonal factor. We compute a stable formula for the dimension of the K-invariant algebra of degree d homogeneous polynomial functions on V. To accomplish this, we compute a formula for the number of matchings which commute with a fixed permutation. Finally, we provide formulas for the invariants and describe a bijection between a basis for the space of invariants and the isomorphism classes of certain r-regular graphs on d vertices, as well as a method of associating each invariant to other combinatorial settings such as phylogenetic trees.
An n-in-a-row Game
The usual $n$-in-a-row game is a positional game in which two player alternately claim points in $\bb{Z}^2$ with the winner being the first player to claim $n$ consecutive points in a line. We consider a variant of the game, suggested by Croft, where the number of points claimed increases by 1 each turn, and so on turn $t$ a player claims $t$ points. Croft asked how long it takes to win this game. We show that, perhaps surprisingly, the time needed to win this game is $(1-o(1))n$.
Integral Cayley multigraphs over Abelian and Hamiltonian groups
Published
• View Publication
• BIB
It is shown that a Cayley multigraph over a group $G$ with generating multiset $S$ is integral (i.e., all of its eigenvalues are integers) if $S$ lies in the integral cone over the boolean algebra generated by the normal subgroups of $G$. The converse holds in the case when $G$ is abelian. This in particular gives an alternative, character theoretic proof of a theorem of Bridges and Mena (1982). We extend this result to provide a necessary and sufficient condition for a Cayley multigraph over a Hamiltonian group to be integral, in terms of character sums and the structure of the generating set.
Finite traces and representations of the group of infinite matrices over a finite field
Published in Advances in Mathematics, 254 (2014), 331-395
• View Publication
• BIB
The article is devoted to the representation theory of locally compact infinite-dimensional group $\mathbb{GLB}$ of almost upper-triangular infinite matrices over the finite field with $q$ elements. This group was defined by S.K., A.V., and Andrei Zelevinsky in 1982 as an adequate $n=\infty$ analogue of general linear groups $\mathbb{GL}(n,q)$. It serves as an alternative to $\mathbb{GL}(\infty,q)$, whose representation theory is poor.
Our most important results are the description of semi-finite unipotent traces (characters) of the group $\mathbb{ GLB}$ via certain probability measures on the Borel subgroup $\mathbb{B}$ and the construction of the corresponding von Neumann factor representations of type $II_\infty$.
As a main tool we use the subalgebra $\mathcal A(\mathbb{ GLB})$ of smooth functions in the group algebra $L_1(\mathbb{GLB})$. This subalgebra is an inductive limit of the finite--dimensional group algebras ${\mathbb C}(\mathbb{GL}(n,q))$ under parabolic embeddings.
As in other examples of the asymptotic representation theory we discover remarkable properties of the infinite case which does not take place for finite groups, like multiplicativity of indecomposable characters or connections to probabilistic concepts.
The infinite dimensional Iwahori-Hecke algebra $\mathcal H_q(\infty)$ plays a special role in our considerations and allows to understand the deep analogy of the developed theory with the representation theory of infinite symmetric group $S(\infty)$ which had been intensively studied in numerous previous papers.
Schubert Polynomials and $k$-Schur functions
Published in Electron. J. Combin. 21 (2014), no. 4, Paper 4.27, 21 pp
• View Publication
• BIB
The main purpose of this paper is to show that the multiplication of a Schubert polynomial of finite type $A$ by a Schur function, which we refer to as Schubert vs. Schur problem, can be understood from the multiplication in the space of dual $k$-Schur functions. Using earlier work by the second author, we encode both problems by means of quasisymmetric functions. On the Schubert vs. Schur side, we study the poset given by the Bergeron-Sottile's $r$-Bruhat order, along with certain operators associated to this order. On the other side, we connect this poset with a graph on dual $k$-Schur functions given by studying the affine grassmannian order of Lam-Lapointe-Morse-Shimozono. Also, we define operators associated to the graph on dual $k$-Schur functions which are analogous to the ones given for the Schubert vs. Schur problem.
Cohen-Macaulay binomial edge ideals of small deviation
We classify all binomial edge ideals that are complete intersection and Cohen-Macaulay almost complete intersection. We also describe an algorithm and provide an implementation to compute primary decomposition of binomial edge ideals.
Rotation number of a unimodular cycle: an elementary approach
We give an elementary proof of a formula expressing the rotation number of a cyclic unimodular sequence of lattice vectors in terms of arithmetically defined local quantities. The formula has been originally derived by A. Higashitani and M. Masuda (arXiv:1204.0088v2 [math.CO]) with the aid of the Riemann-Roch formula applied in the context of toric topology. They also demonstrated that a generalized versions of the "Twelve-point theorem" and a generalized Pick's formula are among the consequences or relatives of their result. Our approach emphasizes the role of 'discrete curvature invariants' μ(a,b,c), where {a,b} and {b,c} are bases of the lattice Z^2, as fundamental discrete invariants of 'modular lattice geometry'.
On congruence in Z^n and the dimension of a multidimensional circulant
Published in Discrete Math. 141 (1995) 123--134
• View Publication
• BIB
From a generalization to $Z^n$ of the concept of congruence we define a family of regular digraphs or graphs called multidimensional circulants, which turn out to be Cayley (di)graphs of Abelian groups. This paper is mainly devoted to show the relationship between the Smith normal form for integral matrices and the dimensions of such (di)graphs, that is the minimum ranks of the groups they can arise from. In particular, those 2-step multidimensional circulants which are circulants, that is Cayley (di)graphs of cyclic groups, are fully characterized. In addition, a reasoning due to Lawrence is used to prove that the cartesian product of $n$ circulants with equal number of vertices $p>2$, $p$ a prime, has dimension $n$.
A density version of the Carlson--Simpson theorem
Published in Journal of the European Mathematical Society 16 (2014), 2097-2164
• View Publication
• BIB
We prove a density version of the Carlson--Simpson Theorem. Specifically we show the following.
For every integer $k\geq 2$ and every set $A$ of words over $k$ satisfying \[\limsup_{n\to\infty} \frac{|A\cap [k]^n|}{k^n}>0\] there exist a word $c$ over $k$ and a sequence $(w_n)$ of left variable words over $k$ such that the set \[\{c\}\cup \big\{c^{\smallfrown}w_0(a_0)^{\smallfrown}...^{\smallfrown}w_n(a_n) : n\in\mathbb{N} \ \text{ and } \ a_0,...,a_n\in [k]\big\}\] is contained in $A$.
While the result is infinite-dimensional its proof is based on an appropriate finite and quantitative version, also obtained in the paper.
A simple proof of the density Hales-Jewett theorem
Published in International Mathematics Research Notices 12 (2014), 3340-3352
• View Publication
• BIB
We give a purely combinatorial proof of the density Hales--Jewett Theorem that is modeled after Polymath's proof but is significantly simpler. In particular, we avoid the use of the equal-slices measure and work exclusively with the uniform measure.
Measurable events indexed by products of trees
Published in Combinatorica 34 (2014), 427-470
• View Publication
• BIB
A tree $T$ is said to be homogeneous if it is uniquely rooted and there exists an integer $b\meg 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. A vector homogeneous tree $\mathbf{T}$ is a finite sequence $(T_1,...,T_d)$ of homogeneous trees and its level product $\otimes\mathbf{T}$ is the subset of the cartesian product $T_1\times ...\times T_d$ consisting of all finite sequences $(t_1,...,t_d)$ of nodes having common length.
We study the behavior of measurable events in probability spaces indexed by the level product $\otimes\mathbf{T}$ of a vector homogeneous tree $\mathbf{T}$. We show that, by refining the index set to the level product $\otimes\mathbf{S}$ of a vector strong subtree $\bfcs$ of $\mathbf{S}$, such families of events become highly correlated. An analogue of Lebesgue's density Theorem is also established which can be considered as the "probabilistic" version of the density Halpern--Läuchli Theorem.
Mind Switches in Futurama and Stargate
Published in Math. Magazine 87 (2014) 252--262
• View Publication
• BIB
Let P be a permutation expressed as a product of nontrivial disjoint cycles. When writing P as a product of distinct transpositions none equal to a factor of P, what is the smallest number of transpositions that can be used? We answer this question and give applications to mind-switching problems that have arisen in connection with the popular sci-fi television series Futurama and Stargate SG-1.
Canonical Forms of $2 \times 2 \times 2$ and $2 \times 2 \times 2 \times 2$ Symmetric Tensors over Prime Fields
Published
• View Publication
• BIB
We consider symmetric tensors of format $2 \times 2 \times 2$ and $2 \times 2 \times 2 \times 2$ over prime fields. Using computer algebra we compute the canonical forms of these tensors. For $2 \times 2 \times 2$ symmetric tensors, we consider the prime fields $\mathbb{F}_p$ for $p = 2, 3, 5, 7, 11, 13, 17$. For $2 \times 2 \times 2 \times 2$ symmetric tensors, we consider the prime fields $\mathbb{F}_p$ for $p = 2, 3, 5, 7$. For each canonical form, we determine the size of its orbit and the symmetric rank of the symmetric tensors in its orbit.
On additive complexity of infinite words
We consider questions related to the structure of infinite words (over an integer alphabet) with bounded additive complexity, i.e., words with the property that the number of distinct sums exhibited by factors of the same length is bounded by a constant that depends only on the word. We describe how bounded additive complexity impacts the slope of the word and how a non-erasing morphism may affect the boundedness of a given word's additive complexity. We prove the existence of recurrent words with constant additive complexity equal to any given odd positive integer. In the last section, we discuss a generalization of additive complexity. Our results suggest that words with bounded additive complexity may be viewed as a generalization of balanced words.
Fast Computation of the Arnold Complexity of Length $2^{n}$ Binary Words
For fast computation of the Arnold complexity of length $2^{n}$ binary words we obtain an upper bound for the Shannon function $Sh(n)$
Illumination of Pascal's Hexagrammum and Octagrammum Mysticum
We prove general results which include classical facts about 60 Pascal's lines as special cases. Along similar lines we establish analogous results about configurations of 2520 conics arising from Mystic Octagon. We offer a more combinatorial outlook on these results and their dual statements. Bezout's theorem is the main tool, however its application is guided by the empirical evidence and computer experiments with program Cinderella. We also emphasize a connection with $k$-nets of algebraic curves.
Lattice paths with given number of turns and semimodules over numerical semigroups
Published
• View Publication
• BIB
Let Γ=<α, β> be a numerical semigroup. In this article we consider several relations between the so-called Γ-semimodules and lattice paths from (0,α) to (β,0): we investigate isomorphism classes of Γ-semimodules as well as certain subsets of the set of gaps of Γ, and finally syzygies of Γ-semimodules. In particular we compute the number of Γ-semimodules which are isomorphic with their k-th syzygy for some k.
Gog, Magog and Schützenberger II: Left trapezoids
Published
• View Publication
• BIB
We are interested in finding an explicit bijection between two families of combinatorial objects: Gog and Magog triangles. These two families are particular classes of Gelfand-Tsetlin triangles and are respectively in bijection with alternating sign matrices (ASM) and totally symmetric self complementary plane partitions (TSSCPP). For this purpose, we introduce left Gog and GOGAm trapezoids. We conjecture that these two families of trapezoids are equienumerated and we give an explicit bijection between the trapezoids with one or two diagonals.
Frozen variables in random boolean constraint satisfaction problems
Published
• View Publication
• BIB
We determine the exact freezing threshold, r^f, for a family of models of random boolean constraint satisfaction problems, including NAE-SAT and hypergraph 2-colouring, when the constraint size is sufficiently large. If the constraint-density of a random CSP, F, in our family is greater than r^f then for almost every solution of F, a linear number of variables are frozen, meaning that their colours cannot be changed by a sequence of alterations in which we change o(n) variables at a time, always switching to another solution. If the constraint-density is less than r^f, then almost every solution has o(n) frozen variables.
Freezing is a key part of the clustering phenomenon that is hypothesized by non-rigorous techniques from statistical physics. The understanding of clustering has led to the development of advanced heuristics such as Survey Propogation. It has been suggested that the freezing threshold is a precise algorithmic barrier: that for densities below r^f the random CSPs can be solved using very simple algorithms, while for densities above r^f one requires more sophisticated techniques in order to deal with frozen clusters.