Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Cubic graphs with most automorphisms
Published
• View Publication
• BIB
We give a sharp bound for the automorphism group of a cubic simple graph with a given number of vertices. For each number of vertices we give an explicit graph attaining the bound, and prove its uniqueness in special cases.
Sequences with constant number of return words
An infinite word has the property $R_m$ if every factor has exactly $m$ return words. Vuillon showed that $R_2$ characterizes Sturmian words. We prove that a word satisfies $R_m$ if its complexity function is $(m-1)n+1$ and if it contains no weak bispecial factor. These conditions are necessary for $m=3$, whereas for $m=4$ the complexity function need not be $3n+1$. New examples of words satisfying $R_m$ are given by words related to digital expansions in real bases.
Words avoiding repetitions in arithmetic progressions
Published
• View Publication
• BIB
Carpi constructed an infinite word over a 4-letter alphabet that avoids squares in all subsequences indexed by arithmetic progressions of odd difference. We show a connection between Carpi's construction and the paperfolding words. We extend Carpi's result by constructing uncountably many words that avoid squares in arithmetic progressions of odd difference. We also construct infinite words avoiding overlaps and infinite words avoiding arbitrarily large squares in arithmetic progressions of odd difference. We use these words to construct labelings of the 2-dimensional integer lattice such that any line through the lattice encounters a squarefree (resp. overlapfree) sequence of labels.
New lower bounds for the number of $(\leq k)$-edges and the rectilinear crossing number of $K_n$
Published in Discrete and Computational Geometry 38:1 (2007), 1-14
• View Publication
• BIB
We provide a new lower bound on the number of $(\leq k)$-edges of a set of $n$ points in the plane in general position. We show that for $0 \leq k \leq\lfloor\frac{n-2}{2}\rfloor$ the number of $(\leq k)$-edges is at least $$ E_k(S) \geq 3\binom{k+2}{2} + \sum_{j=\lfloor\frac{n}{3}\rfloor}^k (3j-n+3), $$ which, for $k\geq \lfloor\tfrac{n}{3}\rfloor$, improves the previous best lower bound in [J. Balogh, G. Salazar, Improved bounds for the number of ($\leq k$)-sets, convex quadrilaterals, and the rectilinear crossing number of $K_n$]. As a main consequence, we obtain a new lower bound on the rectilinear crossing number of the complete graph or, in other words, on the minimum number of convex quadrilaterals determined by $n$ points in the plane in general position. We show that the crossing number is at least $$ \Bigl({41/108}+ε\Bigr) \binom{n}{4} + O(n^3) \geq 0.379631 \binom{n}{4} + O(n^3), $$ which improves the previous bound of $0.37533 \binom{n}{4} + O(n^3)$ in [J. Balogh, G. Salazar, Improved bounds for the number of ($\leq k$)-sets, convex quadrilaterals, and the rectilinear crossing number of $K_n$] and approaches the best known upper bound $0.38058\binom{n}{4}$ in [O. Aichholzer, H. Krasser, Abstract order type extension and new results on the rectilinear crossing number].
Congruences on Stirling numbers and Eulerian numbers
Published
• View Publication
• BIB
In this paper, we establish some Fleck-Weisman type and Davis-Sun type congruences for the Stirling numbers and the Eulerian numbers.
Eigenvalue amplitudes of the Potts model on a torus
Published in Nuclear Physics B 769 (2007) 256-274
• View Publication
• BIB
We consider the Q-state Potts model in the random-cluster formulation, defined on finite two-dimensional lattices of size L x N with toroidal boundary conditions. Due to the non-locality of the clusters, the partition function Z(L,N) cannot be written simply as a trace of the transfer matrix T\_L. Using a combinatorial method, we establish the decomposition Z(L,N) = \sum\_{l,D\_k} b^{l,D\_k} K\_{l,D\_k}, where the characters K\_{l,D\_k} = \sum\_i (λ\_i)^N are simple traces. In this decomposition, the amplitudes b^{l,D\_k} of the eigenvalues λ\_i of T\_L are labelled by the number l=0,1,...,L of clusters which are non-contractible with respect to the transfer (N) direction, and a representation D\_k of the cyclic group C\_l. We obtain rigorously a general expression for b^{l,D\_k} in terms of the characters of C\_l, and, using number theoretic results, show that it coincides with an expression previously obtained in the continuum limit by Read and Saleur.
Extensions of Wilson's lemma and the Ax-Katz theorem
A classical result of A. Fleck states that if p is a prime, and n>0 and r are integers, then $$\sum_{k=r(mod p)}\binom {n}{k}(-1)^k=0 (mod p^{[(n-1)/(p-1)]}).$$ Recently R. M. Wilson used Fleck's congruence and Weisman's extension to present a useful lemma on polynomials modulo prime powers, and applied this lemma to reprove the Ax-Katz theorem on solutions of congruences modulo p and deduce various results on codewords in p-ary linear codes with weights. In light of the recent generalizations of Fleck's congruence given by D. Wan, and D. M. Davis and Z. W. Sun, we obtain new extensions of Wilson's lemma and the Ax-Katz theorem.
Chambers of Arrangements of Hyperplanes and Arrow's Impossibility Theorem
Published in Advances in Math. 214 (2007), 366-378
• View Publication
• BIB
Let ${\mathcal A}$ be a nonempty real central arrangement of hyperplanes and ${\rm \bf Ch}$ be the set of chambers of ${\mathcal A}$. Each hyperplane $H$ defines a half-space $H^{+} $ and the other half-space $H^{-}$. Let $B = \{+, -\}$. For $H\in {\mathcal A}$, define a map $ε_{H}^{+} : {\rm \bf Ch} \to B$ by $ε_{H}^{+} (C)=+ \text{(if} C\subseteq H^{+}) \text{and} ε_{H}^{+} (C)= - \text{(if} C\subseteq H^{-}).$ Define $ε_{H}^{-}=-ε_{H}^{+}.$ Let ${\rm \bf Ch}^{m} = {\rm \bf Ch}\times{\rm \bf Ch}\times...\times{\rm \bf Ch} (m\text{times}).$ Then the maps $ε_{H}^{\pm}$ induce the maps $ε_{H}^{\pm} : {\rm \bf Ch}^{m} \to B^{m} $. We will study the admissible maps $Φ: {\rm \bf Ch}^{m} \to {\rm \bf Ch}$ which are compatible with every $ε_{H}^{\pm}$. Suppose $|{\mathcal A}|\geq 3$ and $m\geq 2$. Then we will show that ${\mathcal A}$ is indecomposable if and only if every admissible map is a projection to a omponent. When ${\mathcal A}$ is a braid arrangement, which is indecomposable, this result is equivalent to Arrow's impossibility theorem in economics. We also determine the set of admissible maps explicitly for every nonempty real central arrangement.
Surface realization with the intersection edge functional
Deciding realizability of a given polyhedral map on a (compact, connected) surface belongs to the hard problems in discrete geometry, from the theoretical, the algorithmic, and the practical point of view.
In this paper, we present a heuristic algorithm for the realization of simplicial maps, based on the intersection edge functional. The heuristic was used to find geometric realizations in R^3 for all vertex-minimal triangulations of the orientable surfaces of genus g=3 and g=4. Moreover, for the first time, examples of simplicial polyhedra in R^3 of genus 5 with 12 vertices were obtained.
Combinatorial symbolic powers
Published
• View Publication
• BIB
Symbolic powers are studied in the combinatorial context of monomial ideals. When the ideals are generated by quadratic squarefree monomials, the generators of the symbolic powers are obstructions to vertex covering in the associated graph and its blowups. As a result, perfect graphs play an important role in the theory, dual to the role played by perfect graphs in the theory of secants of monomial ideals. We use Gröbner degenerations as a tool to reduce questions about symbolic powers of arbitrary ideals to the monomial case. Among the applications are a new, unified approach to the Gröbner bases of symbolic powers of determinantal and Pfaffian ideals.
A note on quantum products of Schubert classes in a Grassmannian
Published
• View Publication
• BIB
Given two Schubert classes $σ_λ$ and $σ_μ$ in the quantum cohomology of a Grassmannian, we construct a partition $ν$, depending on $λ$ and $μ$, such that $σ_ν$ appears with coefficient 1 in the lowest (or highest) degree part of the quantum product $σ_λ\starσ_μ$. To do this, we show that for any two partitions $λ$ and $μ$, contained in a $k$-by-$(n-k)$ rectangle and such that the 180-degree rotation of one does not overlap the other, there is a third partition $ν$, also contained in the rectangle, such that the Littlewood-Richardson number $c_{λμ}^ν$ is 1.
A pair of non-homeomorphic product measures on the Cantor set
Published in Math. Proc. Camb. Phil. Soc. 142 (2007) 103-110
• View Publication
• BIB
For r in [0,1] let μ_r be the Bernoulli measure on the Cantor set given as the infinite power of the measure on the two-point set with weights r and 1-r. For r and s in [0,1] it is known that the measure μ_r is continuously reducible to μ_s (that is, there is a continuous map sending μ_r to μ_s) if and only if s can be written as a certain kind of polynomial in r; in this case s is said to be binomially reducible to r. In this paper we answer in the negative the following question posed by Mauldin:
Is it true that the product measures μ_r and μ_s are homeomorphic if and only if each is a continuous image of the other, or, equivalently, each of the numbers r and s is binomially reducible to the other?
Efficient enumeration of graceful permutations
A graceful n-permutation is a graceful labeling of an n-vertex path P_n. In this paper we improve the asymptotic lower bound on the number of such permutations from (5/3)^n to 2.37^n. This is a computer-assisted proof based on an effective algorithm that enumerates graceful n-permutations. Our algorithm is also presented in detail.
Equality of Schur's Q-functions and their skew analogues
Published
• View Publication
• BIB
We find a simple criterion for the equality $Q_λ=Q_{μ/ν}$ where $Q_λ$ and $Q_{μ/ν}$ are Schur's Q-functions on infinitely many variables.
Uniform poly-log diameter bounds for some families of finite groups
Published in Proc. Amer. Math. Soc. 134 (2006), 3137-3142
• View Publication
• BIB
Fix a prime $p$ and an integer $m$ with $p> m \geq 2$. Define the family of finite groups \[ G_n :=SL_m (\mathbb{Z}/p^{n}\mathbb{Z}) \] for $n=1,2,... $. We will prove that there exist two positive constants $C$ and $d$ such that for any $n$ and any generating set $S\subseteq G_{n}$, \[ diam(G_n,S) \leq C \cdot log^d (|G_n|)\] when $diam (G,S)$ is the diameter of the finite group $G$ with respect to the set of generators $S$. It is defined as the maximum over $g \in G$ of the length of the shortest word in $S \cup S^{-1}$ representing $g$.
This result shows that these families of finite groups have a poly-logarithmic bound on the diameter with respect to \emph{any} set of generators. The proof of this result also provides a efficient algorithm for finding such a poly-logarithmic representation of any element. In addition it shows that the power $d$ in the $log$ bound can be arbitrary close to 3 for $m=2$ and arbitrary close to 4 for $m>2$.
An update on the middle levels problem
Published
• View Publication
• BIB
The middle levels problem is to find a Hamilton cycle in the middle levels, M_{2k+1}, of the Hasse diagram of B_{2k+1} (the partially ordered set of subsets of a 2k+1-element set ordered by inclusion). Previously, the best result was that M_{2k+1} is Hamiltonian for all positive k through k=15. In this note we announce that M_{33} and M_{35} have Hamilton cycles. The result was achieved by an algorithmic improvement that made it possible to find a Hamilton path in a reduced graph of complementary necklace pairs having 129,644,790 vertices, using a 64-bit personal computer.
Normal cyclotomic schemes over a finite commutative ring
Published in St. Petersburg Math. J., 19 (2008), 911-929
• View Publication
• BIB
We study cyclotomic association schemes over a finite commutative ring $R$ with identity. The main interest for us is to identify the normal cyclotomic schemes $C$, i.e. those for which $Aut(C)$ is a subgroup of the one-dimensional affine semilinear group over $R$. The problem is reduced to the case when the ring $R$ is local in which a necessary condition of normality in terms of the subgroup of $R^\times$ defining $C$, is given. This condition is proved to be sufficient for a class of local rings including the Galois rings of odd characteristic.
The combinatorial cost
We study the combinatorial analogues of the classical invariants of measurable equivalence relations. We introduce the notion of cost and $β$-invariants (the analogue of the first $L^2$-Betti number introduced by Gaboriau) for sequences of finite graphs with uniformly bounded vertex degrees and examine the relation of these invariants and the rank gradient resp. mod $p$ homology gradient invariants introduced by Lackenby for residually finite groups.
3-Uniform hypergraphs of bounded degree have linear Ramsey numbers
Published
• View Publication
• BIB
Chvátal, Rödl, Szemerédi and Trotter proved that the Ramsey numbers of graphs of bounded maximum degree are linear in their order. We prove that the same holds for 3-uniform hypergraphs. The main new tool which we prove and use is an embedding lemma for 3-uniform hypergraphs of bounded maximum degree into suitable 3-uniform `pseudo-random' hypergraphs.
Minimum Mean Cycle Problem in Bidirected and Skew-Symmetric Graphs
Published
• View Publication
• BIB
The problem of finding, in an edge-weighted bidirected graph $G=(V,E)$, a cycle with minimum mean weight of its edges generalizes similar problems for both directed and undirected graphs. (The problem is considered in two variants: for the cycles without repeated edges and for the cycles without repeated nodes.) In this note we develop an algorithm to solve this problem in $O(V^2 \min(V^2, E\log V))$-time (to compare: the complexity of an improved version of Barahona's algorithm for undirected cycles is $O(V^4)$). Our algorithm is based on a certain general approach to minimum mean problems and uses, as a subroutine, Gabow's algorithm for the minimum weight 2-factor problem in a graph. The problem admits a reformulation in terms of regular cycles in a skew-symmetric graph.