Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Recognition of generalized network matrices
In this PhD thesis, we deal with binet matrices, an extension of network matrices. The main result of this thesis is the following. A rational matrix A of size n times m can be tested for being binet in time O(n^6 m). If A is binet, our algorithm outputs a nonsingular matrix B and a matrix N such that [B N] is the node-edge incidence matrix of a bidirected graph (of full row rank) and A=B^{-1} N.
Furthermore, we provide some results about Camion bases. For a matrix M of size n times m', we present a new characterization of Camion bases of M, whenever M is the node-edge incidence matrix of a connected digraph (with one row removed). Then, a general characterization of Camion bases as well as a recognition procedure which runs in O(n^2m') are given. An algorithm which finds a Camion basis is also presented. For totally unimodular matrices, it is proven to run in time O((nm)^2) where m=m'-n.
The last result concerns specific network matrices. We give a characterization of nonnegative {r,s}-noncorelated network matrices, where r and s are two given row indexes. It also results a polynomial recognition algorithm for these matrices.
A geometric interpretation of Stanley's monotonicity theorem
We present a new geometric proof of Stanley's monotonicity theorem for lattice polytopes, using an interpretation of $δ$-polynomials of lattice polytopes in terms of orbifold Chow rings.
On a conjecture of Ira Gessel
Let F(m; n1, n2) denote the number of lattice walks from (0,0) to (n1,n2), always staying in the first quadrant {(n_1,n_2); n1 >= 0, n2 >= 0} and having exactly m steps, each of which belongs to the set {E=(1,0), W=(-1,0), NE=(1,1), SW=(-1,-1)}. Ira Gessel conjectured that F(2n; 0, 0) = 16^n (1/2)_n (5/6)_n / ((2)_n (5/3)_n) where (a)_n is the Pochhammer symbol. We pose similar conjectures for some other values of (n1,n2), and give closed-form formulas for F(n1; n1, n2) when n1 >= n2 as well as for F(2n2 - n1; n1, n2) when n1 <= n2. In the main part of the paper, we derive a functional equation satisfied by the generating function of F(m; n1, n2), use the kernel method to turn it into an infinite lower-triangular system of linear equations satisfied by the values of F(m; n1, 0) and F(m; 0, n2) + F(m; 0, n2 - 1), and express these values explicitly as determinants of lower-Hessenberg matrices with unit superdiagonals whose non-zero entries are products of two binomial coefficients.
Construction of Large Constant Dimension Codes With a Prescribed Minimum Distance
Published in Lecture Notes Computer Science Vol. 5393, 2008, p. 31 - 42
• View Publication
• BIB
In this paper we construct constant dimension space codes with prescribed minimum distance. There is an increased interest in space codes since a paper by Koetter and Kschischang were they gave an application in network coding. There is also a connection to the theory of designs over finite fields. We will modify a method of Braun, Kerber and Laue which they used for the construction of designs over finite fields to do the construction of space codes. Using this approach we found many new constant dimension spaces codes with a larger number of codewords than previously known codes. We will finally give a table of the best found constant dimension space codes.
On 3-manifolds with locally-standard (Z_2)^3-actions
Published in Topology and its applications 160 (2013), no. 4, 596-605
• View Publication
• BIB
As a generalization of Davis-Januszkiewicz theory, there is an essential link between locally standard $(\Z_2)^n$-actions (or $T^n$-actions) actions and nice manifolds with corners, so that a class of nicely behaved equivariant cut-and-paste operations on locally standard actions can be carried out in step on nice manifolds with corners. Based upon this, we investigate what kinds of closed manifolds admit locally standard $(\Z_2)^n$-actions; especially for the 3-dimensional case.
Suppose $M$ is an orientable closed connected 3-manifold. When $H_1(M;\Z_2)=0$, it is shown that $M$ admits a locally standard $(\Z_2)^3$-action if and only if $M$ is homeomorphic to a connected sum of 8 copies of some $\Z_2$-homology sphere $N$, and if further assuming $M$ is irreducible, then $M$ must be homeomorphic to $S^3$. In addition, the argument is extended to rational homology 3-sphere $M$ with $H_1(M;\Z_2) \cong \Z_2$ and an additional assumption that the $(\Z_2)^3$-action has a fixed point.
List Colouring Squares of Planar Graphs
Published
• View Publication
• BIB
In 1977, Wegner conjectured that the chromatic number of the square of every planar graph $G$ with maximum degree $Δ\ge8$ is at most $\bigl\lfloor\frac32Δ\bigr\rfloor+1$. We show that it is at most $\frac32 Δ(1+o(1))$ (where the $o(1)$ is as $Δ\to+\infty$), and indeed that this is true for the list chromatic number and for more general classes of graphs.
Boundary of the Rauzy fractal sets in $\RR \times \CC$ generated by $P(x)=x^4-x^3-x^2-x-1$
We study the boundary of the 3-dimensional Rauzy fractal ${\mathcal E} \subset \RR \times \CC$ generated by the polynomial $P(x) = x^4-x^3-x^2-x-1$. The finite automaton characterizing the boundary of ${\mathcal E}$ is given explicitly. As a consequence we prove that the set ${\mathcal E}$ has 18 neighborhoods where 6 of them intersect the central tile ${\mathcal E}$ in a point. Our construction shows that the boundary is generated by an iterated function system starting with 2 compact sets.
A characterization of substitutive sequences using return words
Published in Discrete Mathematics 179 (1998) 89-101
• Search Publication
We prove that a sequence is primitive substitutive if and only if the set of its derived sequences is finite; we defined these sequences here.
Parallel Approximation and Integer Programming Reformulation
We show that in a knapsack feasibility problem an integral vector $p$, which is short, and near parallel to the constraint vector gives a branching direction with small integer width.
We use this result to analyze two computationally efficient reformulation techniques on low density knapsack problems. Both reformulations have a constraint matrix with columns reduced in the sense of Lenstra, Lenstra, and Lovász. We prove an upper bound on the integer width along the last variable, which becomes 1, when the density is sufficiently small.
In the proof we extract from the transformation matrices a vector which is near parallel to the constraint vector $a.$ The near parallel vector is a good branching direction in the original knapsack problem, and this transfers to the last variable in the reformulations.
Discrete piecewise linear functions
Published
• View Publication
• BIB
The concept of permutograph is introduced and properties of integral functions on permutographs are established. The central result characterizes the class of integral functions that are representable as lattice polynomials. This result is used to establish lattice polynomial representations of piecewise linear functions on convex domains and continuous selectors on linear orders.
Permutations Which Make Transitive Groups Primitive
Published
• View Publication
• BIB
In this article we look into characterizing primitive groups in the following way. Given a primitive group we single out a subset of its generators such that these generators alone (the so-called primitive generators) imply the group is primitive. The remaining generators ensure transitivity or comply with specific features of the group.
We show that, other than the symmetric and alternating groups, there are infinitely many primitive groups with one primitive generator each. These primitive groups are certain Mathieu groups, certain projective general and projective special linear groups, and certain subgroups of some affine special linear groups.
Stability for t-intersecting families of permutations
Published
• View Publication
• BIB
A family of permutations (\mathcal{A} \subset S_{n}) is said to be (t)-\textit{intersecting} if any two permutations in (\mathcal{A}) agree on at least (t) points, i.e. for any (σ, π\in \mathcal{A}), (|\{i \in [n]: σ(i)=π(i)\}| \geq t). It was recently proved by Friedgut, Pilpel and the author that for (n) sufficiently large depending on (t), a (t)-intersecting family (\mathcal{A} \subset S_{n}) has size at most ((n-t)!), with equality only if (\mathcal{A}) is a coset of the stabilizer of (t) points (or `(t)-coset' for short), proving a conjecture of Deza and Frankl. Here, we first obtain a rough stability result for (t)-intersecting families of permutations, namely that for any (t \in \mathbb{N}) and any positive constant (c), if (\mathcal{A} \subset S_{n}) is a (t)-intersecting family of permutations of size at least (c(n-t)!), then there exists a (t)-coset containing all but at most a (O(1/n))-fraction of (\mathcal{A}). We use this to prove an exact stability result: for (n) sufficiently large depending on (t), if (\mathcal{A} \subset S_{n}) is a (t)-intersecting family which is not contained within a (t)-coset, then (\mathcal{A}) is at most as large as the family \mathcal{D} & = & \{σ\in S_{n}: σ(i)=i \forall i \leq t, σ(j)=j \textrm{for some} j > t+1\} && \cup \{(1 t+1),(2 t+1),...,(t t+1)\} which has size ((1-1/e+o(1))(n-t)!). Moreover, if (\mathcal{A}) is the same size as (\mathcal{D}) then it must be a `double translate' of (\mathcal{D}), meaning that there exist (π,τ\in S_{n}) such that (\mathcal{A}=π\mathcal{D} τ). We also obtain an analogous result for (t)-intersecting families in the alternating group (A_{n}).
A Proof of the Cameron-Ku conjecture
Published
• View Publication
• BIB
A family of permutations A \subset S_n is said to be intersecting if any two permutations in A agree at some point, i.e. for any σ, π\in A, there is some i such that σ(i)=π(i). Deza and Frankl showed that for such a family, |A| <= (n-1)!. Cameron and Ku showed that if equality holds then A = {σ\in S_{n}: σ(i)=j} for some i and j. They conjectured a `stability' version of this result, namely that there exists a constant c < 1 such that if A \subset S_{n} is an intersecting family of size at least c(n-1)!, then there exist i and j such that every permutation in A maps i to j (we call such a family `centred'). They also made the stronger `Hilton-Milner' type conjecture that for n \geq 6, if A \subset S_{n} is a non-centred intersecting family, then A cannot be larger than the family C = {σ\in S_{n}: σ(1)=1, σ(i)=i \textrm{for some} i > 2} \cup {(12)}, which has size (1-1/e+o(1))(n-1)!.
We prove the stability conjecture, and also the Hilton-Milner type conjecture for n sufficiently large. Our proof makes use of the classical representation theory of S_{n}. One of our key tools will be an extremal result on cross-intersecting families of permutations, namely that for n \geq 4, if A,B \subset S_{n} are cross-intersecting, then |A||B| \leq ((n-1)!)^{2}. This was a conjecture of Leader; it was recently proved for n sufficiently large by Friedgut, Pilpel and the author.
Jumping sequences
An integer sequence a(n) is called a jump sequence if a(1)=1 and 1<=a(n)<n for n>=2. Such a sequence has the property that a^k(n)=a(a(...(a(n))...)) goes to 1 in finitely many steps and we call the pattern (n,a(n),a^2(n),...,a^k(n)=1) a jumping pattern from n down to 1. In this paper we look at jumping sequences which are weight minimizing with respect to various weight functions (where a weight w(i,j) is given to each jump from j down to i).
Our main result is to show that if w(i,j)=(i+j)/i^2 then the cost minimizing jump sequence has the property that the number m satisfies m=a^q(p) for arbitrary q and some p (depending on q) if and only if m is a Pell number.
Classification of 64-element finite semifields
A finite semifield $D$ is a finite nonassociative ring with identity such that the set $D^*=D\setminus\{0\}$ is closed under the product. In this paper we obtain a computer-assisted description of all 64-element finite semifields, which completes the classification of finite semifields of order 125 or less.
Group Divisible Codes and Their Application in the Construction of Optimal Constant-Composition Codes of Weight Three
Published in IEEE Transactions on Information Theory, vol. 54, no. 8, pp. 3552-3564, 2008
• View Publication
• BIB
The concept of group divisible codes, a generalization of group divisible designs with constant block size, is introduced in this paper. This new class of codes is shown to be useful in recursive constructions for constant-weight and constant-composition codes. Large classes of group divisible codes are constructed which enabled the determination of the sizes of optimal constant-composition codes of weight three (and specified distance), leaving only four cases undetermined. Previously, the sizes of constant-composition codes of weight three were known only for those of sufficiently large length.
On kaleidoscopic pseudo-randomness of finite Euclidean graphs
Published
• View Publication
• BIB
In this paper we study the kaleidoscopic pseudo-randomness of finite Euclidean graphs using probabilistic methods. Roughly speaking, we show that sufficiently large subsets of d-dimensional vector spaces over finite fields contain every possible finite configurations.
Explicit tough Ramsey graphs
A graph G is t-tough if any induced subgraph of it with x > 1 connected components is obtained from G by deleting at least tx vertices. Chvatal conjectured that there exists an absolute constant t_0 so that every t_0-tough graph is pancyclic. This conjecture was disproved by Bauer, van den Heuvel and Schmeichel by constructing a t_0-tough triangle-free graph for every real t_0. For each finite field F_q with q odd, we consider graphs associated to the finite Euclidean plane and the finite upper half plane over F_q. These graphs have received serious attention as they have been shown to be Ramanujan (or asymptotically Ramanujan) for large q. We will show that for infinitely many q, these graphs provide further counterexamples to Chvatal's conjecture. They also provide a good constructive lower bound for the Ramsey number R(3,k).
Latin trades in groups defined on planar triangulations
Published in J. Algebraic Combin. 30 (2009), 323-347
• View Publication
• BIB
For a finite triangulation of the plane with faces properly coloured white and black, let A be the abelian group constructed by labelling the vertices with commuting indeterminates and adding relations which say that the labels around each white triangle add to the identity. We show that A has free rank exactly two. Let A* be the torsion subgroup of A, and B* the corresponding group for the black triangles. We show that A* and B* have the same order, and conjecture that they are isomorphic.
For each spherical latin trade W, we show there is a unique disjoint mate B such that (W,B) is a connected and separated bitrade. The bitrade (W,B) is associated with a two-colourable planar triangulation and we show that W can be embedded in A*, thereby proving a conjecture due to Cavenagh and Drapal. The proof involves constructing a (0,1) presentation matrix whose permanent and determinant agree up to sign. The Smith Normal Form of this matrix determines A*, so there is an efficient algorithm to construct the embedding. Contrasting with the spherical case, for each genus g>0 we construct a latin trade which is not embeddable in any group and another that is embeddable in a cyclic group.
We construct a sequence of spherical latin trades which cannot be embedded in any family of abelian groups whose torsion ranks are bounded. Also, we show that any trade that can be embedded in a finitely generated abelian group can be embedded in a finite abelian group. As a corollary, no trade can be embedded in a free abelian group.
Codistances of 3-spherical buildings
Published
• View Publication
• BIB
We show that a 3-spherical building in which each rank 2 residue is connected far away from a chamber, and each rank 3 residue is simply 2-connected far away from a chamber, admits a twinning (i.e., is one half of a twin building) as soon as it admits a codistance, i.e., a twinning with a single chamber.