contain ↗ reference
7689 papers tagged with this keyword
Binomial coefficients and the ring of p-adic integers
Published in Proc. Amer. Math. Soc. 139(2011), no.5, 1569-1577
• View Publication
• BIB
Let k>1 be an integer and let p be a prime. We show that if $p^a\le k<2p^a$ or $k=p^aq+1$ (with 2q<p) for some a=1,2,..., then the set {\binom{n}{k}: n=0,1,2,...} is dense in the ring Z_p of p-adic integers, i.e., it contains a complete system of residues modulo any power of p.
A characterization of well-founded algebraic lattices
Published
• View Publication
• BIB
We characterize well-founded algebraic lattices by means of forbidden subsemilattices of the join-semilattice made of their compact elements. More specifically, we show that an algebraic lattice $L$ is well-founded if and only if $K(L)$, the join-semilattice of compact elements of $L$, is well-founded and contains neither $[ω]^{<ω}$, nor $\underlineΩ(ω^*)$ as a join-subsemilattice. As an immediate corollary, we get that an algebraic modular lattice $L$ is well-founded if and only if $K(L)$ is well-founded and contains no infinite independent set. If $K(L)$ is a join-subsemilattice of $I_{<ω}(Q)$, the set of finitely generated initial segments of a well-founded poset $Q$, then $L$ is well-founded if and only if $K(L)$ is well-quasi-ordered.
Van der Waerden's Theorem and Avoidability in Words
Published
• View Publication
• BIB
Pirillo and Varricchio, and independently, Halbeisen and Hungerbuhler considered the following problem, open since 1994: Does there exist an infinite word w over a finite subset of Z such that w contains no two consecutive blocks of the same length and sum? We consider some variations on this problem in the light of van der Waerden's theorem on arithmetic progressions.
The length of chains in algebraic lattices
Published
• View Publication
• BIB
We study how the existence in an algebraic lattice $L$ of a chain of a given type is reflected in the join-semilattice $K(L)$ of its compact elements. We show that for every chain $α$ of size $κ$, there is a set $\B$ of at most $2^κ$ join-semilattices, each one having a least element such that an algebraic lattice $L$ contains no chain of order type $I(α)$ if and only if the join-semilattice $K(L)$ of its compact elements contains no join-subsemilattice isomorphic to a member of $\B$. We show that among the join-subsemilattices of $[ω]^{<ω}$ belonging to $\B$, one is embeddable in all the others. We conjecture that if $α$ is countable, there is a finite set $\B$.
Inverse zero-sum problems in finite Abelian p-groups
Published in Colloquium Mathematicum 120 (2010) 7-21
• View Publication
• BIB
In this paper, we study the minimal number of elements of maximal order within a zero-sumfree sequence in a finite Abelian p-group. For this purpose, in the general context of finite Abelian groups, we introduce a new number, for which lower and upper bounds are proved in the case of finite Abelian p-groups. Among other consequences, the method that we use here enables us to show that, if we denote by exp(G) the exponent of the finite Abelian p-group G which is considered, then a zero-sumfree sequence S with maximal possible length in G must contain at least exp(G)-1 elements of maximal order, which improves a previous result of W. Gao and A. Geroldinger.
Equations resolving a conjecture of Rado on partition regularity
Published in Journal of Combinatorial Theory, Series A 117 (2010), no. 7, 1008-1010
• View Publication
• BIB
A linear equation L is called k-regular if every k-coloring of the positive integers contains a monochromatic solution to L. Richard Rado conjectured that for every positive integer k, there exists a linear equation that is (k-1)-regular but not k-regular. We prove this conjecture by showing that the equation $\sum_{i=1}^{k-1} \frac{2^i}{2^i-1} x_i = (-1 + \sum_{i=1}^{k-1} \frac{2^i}{2^i-1}) x_0$ has this property.
This conjecture is part of problem E14 in Richard K. Guy's book "Unsolved problems in number theory", where it is attributed to Rado's 1933 thesis, "Studien zur Kombinatorik".
q-analog of tableau containment
Published in J. Combin. Theory Ser. A 118 (2011) 1021-1038
• View Publication
• BIB
We prove a $q$-analog of the following result due to McKay, Morse and Wilf: the probability that a random standard Young tableau of size $n$ contains a fixed standard Young tableau of shape $λ\vdash k$ tends to $f^λ/k!$ in the large $n$ limit, where $f^λ$ is the number of standard Young tableaux of shape $λ$. We also consider the probability that a random pair $(P,Q)$ of standard Young tableaux of the same shape contains a fixed pair $(A,B)$ of standard Young tableaux.
Rigid Components of Random Graphs
The planar rigidity problem asks, given a set of m pairwise distances among a set P of n unknown points, whether it is possible to reconstruct P, up to a finite set of possibilities (modulo rigid motions of the plane). The celebrated Maxwell-Laman Theorem from Rigidity Theory says that, generically, the rigidity problem has a combinatorial answer: the underlying combinatorial structure must contain a spanning minimally-rigid graph (Laman graph). In the case where the system is not rigid, its inclusion-wise maximal rigid substructures (rigid components) are also combinatorially characterized via the Maxwell-Laman theorem, and may be found efficiently.
Physicists have used planar combinatorial rigidity has been used to study the phase transition between liquid and solid in network glasses. The approach has been to generate a graph via a stochastic process and then experimentally analyze its rigidity properties. Of particular interest is the size of the largest rigid components.
In this paper, we study the emergence of rigid components in an Erdos-Renyi random graph G(n,p), using the parameterization p=c/n for a fixed constant c>0. Our first result is that for all c>0, almost surely all rigid components have size 2, 3 or Omega(n). We also show that for c>4, almost surely the largest rigid components have size at least n/10.
While the G(n,p) model is simpler than those appearing in the physics literature, these results are the first of this type where the distribution is over all graphs on n vertices and the expected number of edges is O(n).
Table of minimum ranks of graphs of order at most 7 and selected optimal matrices
The minimum rank of a simple graph $G$ is defined to be the smallest possible rank over all symmetric real matrices whose $ij$th entry (for $i\neq j$) is nonzero whenever $\{i,j\}$ is an edge in $G$ and is zero otherwise. Minimum rank is a difficult parameter to compute. However, there are now a number of known reduction techniques and bounds that can be programmed on a computer; we have developed a program using the open-source mathematics software Sage to implement several techniques. We have also established several additional strategies for computation of minimum rank. These techniques have been used to determine the minimum ranks of all graphs of order 7. This paper contains a list of minimum ranks for all graphs of order at most 7. We also present selected optimal matrices.
Pattern Recognition on Oriented Matroids: Three-Tope Committees
A three-tope committee K* for a simple oriented matroid M is a 3-subset of its maximal covectors such that every positive halfspace of M contains at least two topes from K*. We consider three-tope committees as the vertex sets of triangles in graphs associated with the topes and enumerate them making use of the properties of the poset of convex subsets of the ground set of M.
The structure of maximal zero-sum free Sequences
Published in Acta Arith. 143 (2010), 21-50
• View Publication
• BIB
Let n be an integer, and consider finite sequences of elements of the group Z/nZ x Z/nZ. Such a sequence is called zero-sum free, if no subsequence has sum zero. It is known that the maximal length of such a zero-sum free sequence is 2n-2, and Gao and Geroldinger conjectured that every zero-sum free sequence of this length contains an element with multiplicity at least n-2. By recent results of Gao, Geroldinger and Grynkiewicz, it essentially suffices to verify the conjecture for n prime. Now fix a sequence (a_i) of length 2n-2 with maximal multiplicity of elements at most n-3. There are different approeaches to show that (a_i) contains a zero-sum; some work well when (a_i) does contain elements with high multiplicity, others work well when all multiplicities are small. The aim of this article is to initiate a systematic approach to property B via the highest occurring multiplicities. Our main results are the following: denote by m_1 >= m_2 the two maximal multiplicities of (a_i), and suppose that n is sufficiently big and prime. Then (a_i) contains a zero-sum in any of the following cases: when m_2 >= 2/3n, when m_1 > (1-c)n, and when m_2 < cn, for some constant c > 0 not depending on anything.
Pivots, Determinants, and Perfect Matchings of Graphs
Published in Theoretical Computer Science 454 (2012) 64-71
• View Publication
• BIB
We give a characterization of the effect of sequences of pivot operations on a graph by relating it to determinants of adjacency matrices. This allows us to deduce that two sequences of pivot operations are equivalent iff they contain the same set S of vertices (modulo two). Moreover, given a set of vertices S, we characterize whether or not such a sequence using precisely the vertices of S exists. We also relate pivots to perfect matchings to obtain a graph-theoretical characterization. Finally, we consider graphs with self-loops to carry over the results to sequences containing both pivots and local complementation operations.
Sets of integers that do not contain long arithmetic progressions
In 1946, Behrend gave a construction of dense finite sets of integers that do not contain 3-term arithmetic progressions. In 1961, Rankin generalized Behrend's construction to sets avoiding k-term arithmetic progressions, and in 2008 Elkin refined Behrend's 3-term construction. In this work, we combine Elkin's refinement and Rankin's generalization. Arithmetic progressions are handled as a special case of polynomial progressions.
In 1946, Behrend gave a construction of dense finite sets of integers that do not contain a 3-term arithmetic progression (AP). In 1961, Rankin generalized Behrend's construction to sets avoiding k-term APs. In 2008, Elkin refined Behrend's 3-term construction, and later in 2008, Green & Wolf found a distinct approach (albeit morally similar) that is technically more straightforward. This work combines Elkin's refinement and Rankin's generalization in the Green & Wolf framework. A curious aspect of the construction is that we induct through sets that do not contain a long polynomial progression in order to construct a set without a long AP. The bounds for r_k(N), the largest size of a subset of {1,2,...,N} that does not contain a k element AP, are (where \log=\log_2, for sufficiently large N, with n=\ceiling{\log k}): r_3(N) > N (\sqrt{360}/(e π^{3/2})-ε) \sqrt[4]{2\log N} * 4^{-\sqrt{2 \log N}}, r_k(N) > CN 2^{-n 2^{(n-1)/2} \sqrt[n]{\log N}+\frac{1}{2n}\log\log N}. The improvement over earlier work is in the simplification of the construction, the explicitness of the bound for r_3, and in the \log\log term for general k.
Finite Square Lattice Vertex Cover by a Baseline Set Defined With a Minimum Sublattice
Each straight infinite line defined by two vertices of a finite square point lattice contains (covers) these two points and a - possibly empty - subset of points that happen to be collinear to these. This work documents vertex subsets of minimum order such that the sum of the infinite straight lines associated with the edges of their complete subgraph covers the entire set of vertices (nodes). This is an abstraction to the problem of sending a light signal to all stations (receivers) in a square array with a minimum number of stations also equipped with transmitters to redirect the light to other transmitters.
Contractibility and the Hadwiger Conjecture
Published in European J. Combinatorics 31.8:2102-2109, 2010
• View Publication
• BIB
Consider the following relaxation of the Hadwiger Conjecture: For each $t$ there exists $N_t$ such that every graph with no $K_t$-minor admits a vertex partition into $\ceil{αt+β}$ parts, such that each component of the subgraph induced by each part has at most $N_t$ vertices. The Hadwiger Conjecture corresponds to the case $α=1$, $β=-1$ and $N_t=1$. Kawarabayashi and Mohar [\emph{J. Combin. Theory Ser. B}, 2007] proved this relaxation with $α={31/2}$ and $β=0$ (and $N_t$ a huge function of $t$). This paper proves this relaxation with $α={7/2}$ and $β=-{3/2}$. The main ingredients in the proof are: (1) a list colouring argument due to Kawarabayashi and Mohar, (2) a recent result of Norine and Thomas that says that every sufficiently large $(t+1)$-connected graph contains a $K_t$-minor, and (3) a new sufficient condition for a graph to have a set of edges whose contraction increases the connectivity.
Combinatorics of Tripartite Boundary Connections for Trees and Dimers
Published in Electronic Journal of Combinatorics 16(1):R112, 2009
• View Publication
• BIB
A grove is a spanning forest of a planar graph in which every component tree contains at least one of a special subset of vertices on the outer face called nodes. For the natural probability measure on groves, we compute various connection probabilities for the nodes in a random grove. In particular, for "tripartite" pairings of the nodes, the probability can be computed as a Pfaffian in the entries of the Dirichlet-to-Neumann matrix (discrete Hilbert transform) of the graph. These formulas generalize the determinant formulas given by Curtis, Ingerman, and Morrow, and by Fomin, for parallel pairings. These Pfaffian formulas are used to give exact expressions for reconstruction: reconstructing the conductances of a planar graph from boundary measurements. We prove similar theorems for the double-dimer model on bipartite planar graphs.
On two-point configurations in random set
Published
• View Publication
• BIB
We show that with high probability a random set of size $Θ(n^{1-1/k})$ of $\{1,...,n\}$ contains two elements $a$ and $a+d^k$, where $d$ is a positive integer. As a consequence, we prove an analogue of Sárközy-Fürstenberg's theorem for random set.
Improved lower bound on an Euclidean Ramsey problem
It was previously shown that any two-colour colouring of K(C_n) must contain a monochromatic planar K_4 subgraph for n >= N^*, where 6 <= N^* <= N and N is Graham's number. The bound was later improved to 11 <= N^* <= N. In this article, it is improved to 13 <= N^* <= N.
On the dynamics of Social Balance on general networks (with an application to XOR-SAT)
Published in Fundamenta Informaticae, 91 (2), pp. 341-356, 2009.
• View Publication
• BIB
We study nondeterministic and probabilistic versions of a discrete dynamical system (due to T. Antal, P. L. Krapivsky, and S. Redner) inspired by Heider's social balance theory. We investigate the convergence time of this dynamics on several classes of graphs. Our contributions include:
1. We point out the connection between the triad dynamics and a generalization of annihilating walks to hypergraphs. In particular, this connection allows us to completely characterize the recurrent states in graphs where each edge belongs to at most two triangles.
2. We also solve the case of hypergraphs that do not contain edges consisting of one or two vertices.
3. We show that on the so-called "triadic cycle" graph, the convergence time is linear.
4. We obtain a cubic upper bound on the convergence time on 2-regular triadic simplexes G. This bound can be further improved to a quantity that depends on the Cheeger constant of G. In particular this provides some rigorous counterparts to previous experimental observations.
We also point out an application to the analysis of the random walk algorithm on certain instances of the 3-XOR-SAT problem.
A note on lattice-face polytopes and their Ehrhart polynomials
Published
• View Publication
• BIB
We give a new definition of lattice-face polytopes by removing an unnecessary restriction in the paper "Ehrhart polynomials of lattice-face polytopes", and show that with the new definition, the Ehrhart polynomial of a lattice-face polytope still has the property that each coefficient is the normalized volume of a projection of the original polytope. Furthermore, we show that the new family of lattice-face polytopes contains all possible combinatorial types of rational polytopes.