Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Solving the Frequency Assignment Problem by Site Availability and Constraint Programming
Published
• View Publication
• BIB
The efficient use of bandwidth for radio communications becomes more and more crucial when developing new information technologies and their applications. The core issues are addressed by the so-called Frequency Assignment Problems (FAP). Our work investigates static FAP, where an attempt is first made to configure a kernel of links. We study the problem based on the concepts and techniques of Constraint Programming and integrate the site availability concept. Numerical simulations conducted on scenarios provided by CELAR are very promising.
A simple reduction from a biased measure on the discrete cube to the uniform measure
Published
• View Publication
• BIB
We show that certain statements related to the Fourier-Walsh expansion of functions with respect to a biased measure on the discrete cube can be deduced from the respective results for the uniform measure by a simple reduction. In particular, we present simple generalizations to the biased measure $μ_p$ of the Bonami-Beckner hypercontractive inequality, and of Talagrand's lower bound on the size of the boundary of subsets of the discrete cube. Our generalizations are tight up to constant factors.
Transfinite Approximation of Hindman's Theorem
Hindman's Theorem states that in any finite coloring of the integers, there is an infinite set all of whose finite sums belong to the same color. This is much stronger than the corresponding finite form, stating that in any finite coloring of the integers there are arbitrarily long finite sets with the same property. We extend the finite form of Hindman's Theorem to a "transfinite" version for each countable ordinal, and show that Hindman's Theorem is equivalent to the appropriate transfinite approximation holding for every countable ordinal. We then give a proof of Hindman's Theorem by directly proving these transfinite approximations.
On the existence problem of the total domination vertex critical graphs
Published in Disc. App. Math. 159(1) 2011, 46-52
• View Publication
• BIB
The existence problem of the total domination vertex critical graphs has been studied in a series of articles. The aim of the present article is twofold. First, we settle the existence problem with respect to the parities of the total domination number m and the maximum degree Delta : for even m except m=4, there is no m-gamma_t-critical graph regardless of the parity of Delta; for m=4 or odd m \ge 3 and for even Delta, an m-gamma_t-critical graph exists if and only if Delta \ge 2 \lfloor \frac{m-1}{2}\rfloor; for m=4 or odd m \ge 3 and for odd Delta, if Delta \ge 2\lfloor \frac{m-1}{2}\rfloor +7, then m-gamma_t-critical graphs exist, if Delta < 2\lfloor \frac{m-1}{2}\rfloor, then m-gamma_t-critical graphs do not exist. The only remaining open cases are Delta = 2\lfloor \frac{m-1}{2}\rfloor +k, k=1, 3, 5. Second, we study these remaining open cases when m=4 or odd m \ge 9. As the previously known result for m = 3, we also show that for Delta(G)= 3, 5, 7, there is no 4-gamma_t-critical graph of order Delta(G)+4. On the contrary, it is shown that for odd m \ge 9 there exists an m-gamma_t-critical graph for all Delta \ge m-1.
On the computational complexity of degenerate unit distance representations of graphs
Some graphs admit drawings in the Euclidean k-space in such a (natu- ral) way, that edges are represented as line segments of unit length. Such drawings will be called k dimensional unit distance representations. When two non-adjacent vertices are drawn in the same point, we say that the representation is degenerate. The dimension (the Euclidean dimension) of a graph is defined to be the minimum integer k needed that a given graph has non-degenerate k dimensional unit distance representation (with the property that non-adjacent vertices are mapped to points, that are not distance one appart). It is proved that deciding if an input graph is homomorphic to a graph with dimension k >= 2 (with the Euclidean dimension k >= 2) are NP-hard problems.
Kaleidoscopical Configurations in G-spaces
Published in Electronic Journal of Combinatorics. 19 (2012), #P12
• View Publication
• BIB
Let $G$ be a group and $X$ be a $G$-space. A subset $F$ of $X$ is called a kaleidoscopical configuration if there exists a surjective coloring $χ:X\to Y$ such that the restriction of $χ$ on each subset $gF$, $g\in G$ is a bijection. We give some constructions of kaleidoscopical configurations in an arbitrary $G$-space, develop some kaleidoscopical technique for Abelian groups (considered as $G$-spaces with the action $(g,x)\mapsto g+x$), and describe kaleidoscopical configurations in the cyclic groups of order $N=p^m$ or $N=p_1... p_k$ where $p$ is prime and $p_1,...,p_k$ are distinct primes.
Let $G$ be a group and $X$ be a $G$-space. A subset $F$ of $X$ is called a kaleidoscopical configuration if there exists a coloring $χ:X\rightarrow C$ such that the restriction of $χ$ on each subset $gF$, $g\in G$, is a bijection. We present a construction (called the splitting construction) of kaleidoscopical configurations in an arbitrary $G$-space, reduce the problem of characterization of kaleidoscopical configurations in a finite Abelian group $G$ to a factorization of $G$ into two subsets, and describe all kaleidoscopical configurations in isometrically homogeneous ultrametric spaces with finite distance scale. Also we construct $2^c$ (unsplittable) kaleidoscopical configurations of cardinality continuum in the Euclidean space $R^n$.
Admissibility and permissibility for minuscule cocharacters in orthogonal groups
Published
• View Publication
• BIB
For a given cocharacter mu, mu-admissibility and mu-permissibility are combinatorial notions introduced by Kottwitz and Rapoport that arise in the theory of bad reduction of Shimura varieties. In this paper we prove that mu-admissibility is equivalent to mu-permissibility in all previously unknown cases of minuscule cocharacters mu in Iwahori-Weyl groups attached to split orthogonal groups. This, combined with other cases treated previously by Kottwitz-Rapoport and the author, establishes the equivalence of mu-admissibility and mu-permissibility for all minuscule cocharacters in split classical groups, as conjectured by Rapoport.
Projectivized rank two toric vector bundles are Mori dream spaces
We prove that the Cox ring of the projectivization P(E) of a rank two toric vector bundle E, over a toric variety X, is a finitely generated k-algebra. As a consequence, P(E) is a Mori dream space if the toric variety X is projective and simplicial.
Tiling tripartite graphs with 3-colorable graphs: The extreme case
Published
• View Publication
• BIB
There is a sufficiently large $N\in h\mathbb{N}$ such that the following holds. If $G$ is a tripartite graph with $N$ vertices in each vertex class such that every vertex is adjacent to at least $2N/3+2h-1$ vertices in each of the other classes, then $G$ can be tiled perfectly by copies of $K_{h,h,h}$. This extends work by two of the authors [Electron. J. Combin, 16(1), 2009] and also gives a sufficient condition for tiling by any fixed 3-colorable graph. Furthermore, we show that $2N/3+2h-1$ in our result can not be replaced by $2N/3+ h-2$ and that if $N$ is divisible by $6h$, then we can replace it with the value $2N/3+h-1$ and this is tight.
Conditional negative association for competing urns
Published
• View Publication
• BIB
Competing urns refers to the random experiment where m balls are dropped, randomly and independently, into urns 1,...,n. Formally, we have a random map $σ$ from {1,...,m} to {1,...,n} with the $σ(i)$'s i.i.d. With $x_j$ the indicator of the event that at least $t_j$ balls land in urn j (for some threshold $t_j$), we prove conditional negative association for the random variables $x_1,...,x_n$. We mostly deal with the more general situation in which the $σ(i)$'s need not be identically distributed, proving results which imply conditional negative association in the i.i.d. case. Some of the results--particularly Lemma 8 on graph orientations--are thought to be of independent interest. We also give a counterexample to a negative correlation conjecture of D. Welsh, a strong version of a (still open) conjecture of G. Farr.
Rank-width of Random Graphs
Published in J. Graph Theory 70(July 2012)(3), pp. 339-347
• View Publication
• BIB
Rank-width of a graph G, denoted by rw(G), is a width parameter of graphs introduced by Oum and Seymour (2006).
We investigate the asymptotic behavior of rank-width of a random graph G(n,p). We show that, asymptotically almost surely, (i) if 0<p<1 is a constant, then rw(G(n,p)) = \lceil n/3 \rceil-O(1), (ii) if 1/n<< p <1/2, then rw(G(n,p))= \lceil n/3\rceil-o(n), (iii) if p = c/n and c > 1, then rw(G(n,p)) > r n for some r = r(c), and (iv) if p <= c/n and c<1, then rw(G(n,p)) <=2.
As a corollary, we deduce that G(n,p) has linear tree-width whenever p=c/n for each c>1, answering a question of Gao (2006).
Classification of smooth lattice polytopes with few lattice points
After giving a short introduction on smooth lattice polytopes, I will present a proof for the finiteness of smooth lattice polytopes with few lattice points. The argument is then turned into an algorithm for the classification of smooth lattice polytopes in fixed dimension with an upper bound on the number of lattice points. Additionally I have implemented this algorithm for dimension two and three and used it, together with a classification of smooth minimal fans by Tadao Oda, to create lists of all smooth 2-polytopes and 3-polytopes with at most 12 lattice points.
On harmonic numbers and Lucas sequences
Published
• View Publication
• BIB
Harmonic numbers $H_k=\sum_{0<j\le k}1/j (k=0,1,2,...)$ arise naturally in many fields of mathematics. In this paper we initiate the study of congruences involving both harmonic numbers and Lucas sequences. One of our three theorems is as follows: Let u_0=0, u_1=1, and u_{n+1}=u_n-4u_{n-1} for n=1,2,3,.... Then, for any prime p>5 we have $$\sum_{k=0}^{p-1}u_{k+δ}H_k/2^k=0 (mod p),$$ where $δ=0$ if p=1,2,4,8 (mod 15), and $δ=1$ otherwise.
Erdos-Ko-Rado theorems for simplicial complexes
Published in J. Combin. Theory Ser. A 118 (2011), no. 4, 1218-1227
• View Publication
• BIB
A recent framework for generalizing the Erdos-Ko-Rado Theorem, due to Holroyd, Spencer, and Talbot, defines the Erdos-Ko-Rado property for a graph in terms of the graph's independent sets. Since the family of all independent sets of a graph forms a simplicial complex, it is natural to further generalize the Erdos-Ko-Rado property to an arbitrary simplicial complex. An advantage of working in simplicial complexes is the availability of algebraic shifting, a powerful shifting (compression) technique, which we use to verify a conjecture of Holroyd and Talbot in the case of sequentially Cohen-Macaulay near-cones.
Finite irreflexive homomorphism-homogeneous binary relational systems
A structure is called homogeneous if every isomorphism between finite substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Nešetřil introduced a relaxed version of homogeneity: we say that a structure is homomorphism-homogeneous if every homomorphism between finite substructures of the structure extends to an endomorphism of the structure. In this paper we characterize all finite homomorphism-homogeneous relational systems with one irreflexive binary relation.
An equivalence between the set of graph-knots and the set of homotopy classes of looped graphs
Published
• View Publication
• BIB
In the present paper we construct a one-to-one correspondence between the set of graph-knots and the set of homotopy classes of looped graphs. Moreover, the graph-knot and the homotopy class constructed from a given knot are related with this correspondence. This correspondence is given by a simple formula.
Graph-Links
The present paper is a review of the current state of Graph-Link Theory (graph-links are also closely related to homotopy classes of looped interlacement graphs), dealing with a generalisation of knots obtained by translating the Reidemeister moves for links into the language of intersection graphs of chord diagrams. In this paper we show how some methods of classical and virtual knot theory can be translated into the language of abstract graphs, and some theorems can be reproved and generalised to this graphical setting. We construct various invariants, prove certain minimality theorems and construct functorial mappings for graph-knots and graph-links. In this paper, we first show non-equivalence of some graph-links to virtual links.
Symmetric chains, Gelfand-Tsetlin chains, and the Terwilliger algebra of the binary Hamming scheme
Published
• View Publication
• BIB
The de Bruijn-Tengbergen-Kruyswijk (BTK) construction is a simple algorithm that produces an explicit symmetric chain decomposition of a product of chains. We linearize the BTK algorithm and show that it produces an explicit symmetric Jordan basis (SJB). In the special case of a Boolean algebra the resulting SJB is orthogonal with respect to the standard inner product and, moreover, we can write down an explicit formula for the ratio of the lengths of the successive vectors in these chains (i.e., the singular values). This yields a new, constructive proof of the explicit block diagonalization of the Terwilliger algebra of the binary Hamming scheme. We also give a representation theoretic characterization of this basis that explains its orthogonality, namely, that it is the canonically defined (upto scalars) symmetric Gelfand-Tsetlin basis.
Upper bounds for the rainbow connection numbers of line graphs
Published
• View Publication
• BIB
A path in an edge-colored graph $G$, where adjacent edges may be colored the same, is called a rainbow path if no two edges of it are colored the same. A nontrivial connected graph $G$ is rainbow connected if for any two vertices of $G$ there is a rainbow path connecting them. The rainbow connection number of $G$, denoted by $rc(G)$, is defined as the smallest number of colors by using which there is a coloring such that $G$ is rainbow connected. In this paper, we mainly study the rainbow connection number of the line graph of a graph which contains triangles and get two sharp upper bounds for $rc(L(G))$, in terms of the number of edge-disjoint triangles of $G$ where $L(G)$ is the line graph of $G$. We also give results on the iterated line graphs.
The solutions of four $q$-functional equations
In this note we obtain the solutions of four $q$-functional equations and express the solutions in $q$-operator forms. These equations give sufficient conditions for $q$-operator methods.