Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On d-Walk Regular Graphs
Let G be a graph with set of vertices 1,...,n and adjacency matrix A of size nxn. Let d(i,j)=d, we say that f_d:N->N is a d-function on G if for every pair of vertices i,j and k>=d, we have a_ij^(k)=f_d(k). If this function f_d exists on G we say that G is d-walk regular. We prove that G is d-walk regular if and only if for every pair of vertices i,j at distance <=d and for d<=k<=n+d-1, we have that a_ij^(k) is independent of the pair i,j. Equivalently, the single condition exp(A)*A_d=cA_d holds for some constant c, where A_d is the adjacency matrix of the d-distance graph and * denotes the Schur product.
Enumeration of bipartite graphs and bipartite blocks
Published in The Electronic Journal of Combinatorics 21.2 (2014): P2-40
• View Publication
• BIB
Using the theory of combinatorial species, we compute the cycle index for bipartite graphs, which we use to count unlabeled bipartite graphs and bipartite blocks.
The Shape of Random Pattern-Avoiding Permutations
Published
• View Publication
• BIB
We initiate the study of limit shapes for random permutations avoiding a given pattern. Specifically, for patterns of length 3, we obtain delicate results on the asymptotics of distributions of positions of numbers in the permutations. We view the permutations as 0-1 matrices to describe the resulting asymptotics geometrically. We then apply our results to obtain a number of results on distributions of permutation statistics.
The Cohen-Lenstra heuristics, moments and $p^j$-ranks of some groups
Published
• View Publication
• BIB
This article deals with the coherence of the model given by the Cohen-Lenstra heuristic philosophy for class groups and also for their generalizations to Tate-Shafarevich groups. More precisely, our first goal is to extend a previous result due to E. Fouvry and J. Klüners which proves that a conjecture provided by the Cohen-Lenstra philosophy implies another such conjecture. As a consequence of our work, we can deduce, for example, a conjecture for the probability laws of $p^j$-ranks of Selmer groups of elliptic curves. This is compatible with some theoretical works and other classical conjectures.
A problem of Erdos and Sos on 3-graphs
Published
• View Publication
• BIB
We show that for every positive epsilon there exist positive delta and n_0 such that every 3-uniform hypergraph on n>=n_0 vertices with the property that every k-vertex subset, where k>=delta*n, induces at least (1/4 + epsilon)*{k \choose 3} edges, contains K4- as a subgraph, where K4- is the 3-uniform hypergraph on 4 vertices with 3 edges. This question was originally raised by Erdos and Sos. The constant 1/4 is the best possible.
Tower tableaux and Schubert polynomials
We prove that the well-known condition of being a balanced labeling can be characterized in terms of the sliding algorithm on tower diagrams. The characterization involves a generalization of authors' Rothification algorithm. Using the characterization, we obtain descriptions of Schubert polynomials and Stanley symmetric functions.
Combinatorial results for certain semigroups of order-preserving full contraction mappings of a finite chain
Let ${\cal T}_n$ be the full symmetric semigroup on $X_n = \{1, 2,..., n\}$ and let ${\cal OCT}_n$ and ${\cal ORCT}_n$ be its subsemigroups of order-preserving and order-preserving or order-reversing full contraction mappings of $X_n$, respectively. In this paper we investigate the cardinalities of some equivalences on ${\cal OCT}_n$ and ${\cal ORCT}_n$ which lead naturally to obtaining the orders of these subsemigroups.
Towards a Ryll-Nardzewski-type Theorem for weakly oligomorphic structures
Published
• View Publication
• BIB
A structure is called weakly oligomorphic if it realizes only finitely many n-ary positive existential types for every n. The goal of this paper is to show that the notions of homomorphism-homogeneity, and weak oligomorphy are not only completely analogous to the classical notions of ultrahomogeneity and oligomorphy, but are actually closely related. A first result is a Fraïssé-type theorem for homomorphism-homogeneous relational structures. Further we show that every weakly oligomorphic homomorphism-homogeneous structure contains (up to isomorphism) a unique homogeneous, homomorphism-homogeneous core, to which it is homomorphism-equivalent. As a consequence, we obtain that every countable weakly oligomorphic structure is homomorphism-equivalent with a finite or ω-categorical structure. Another result is the characterization of positive existential theories of weakly oligomorphic structures as the positive existential parts of ω-categorical theories. Finally, we show, that the countable models of countable weakly oligomorphic structures are mutually homomorphism-equivalent (we call first order theories with this property weakly ω-categorical). These results are in analogy with part of the Engeler-Ryll-Nardzewski-Svenonius-theorem.
Use Impulse Response Sequences in the Construction of Number Sequence Identities
We define impulse response sequence in the set of all linear recurring sequences satisfying a linear recurrence relation of order $r$. The generating function and expression of the impulse response sequence are presented. Some identities of impulse response sequences including a type of nonlinear expressions are established. The interrelationship between the impulse response sequence and other linear recurring sequences in the same set is given, which is used to transfer the identities of impulse response sequences to those of the linear recurring sequences in the same set. Some applications of impulse response sequences to the structure of Stirling numbers of the second order, the Wythoff array, and the Boustrophedon transform are studied.
A Multiobjective State Transition Algorithm for Single Machine Scheduling
Published in Advances in Global Optimization, 2015, 95: 79-88
• View Publication
• BIB
In this paper, a discrete state transition algorithm is introduced to solve a multiobjective single machine job shop scheduling problem. In the proposed approach, a non-dominated sort technique is used to select the best from a candidate state set, and a Pareto archived strategy is adopted to keep all the non-dominated solutions. Compared with the enumeration and other heuristics, experimental results have demonstrated the effectiveness of the multiobjective state transition algorithm.
The q-Analog of the Middle Levels Problem
Published
• View Publication
• BIB
The well-known middle levels problem is to find a Hammiltonian cycle in the graph induced from the binary Hamming graph $\cH_2(2k+1)$ by the words of weight $k$ or $k+1$. In this paper we define the $q$-analog of the middle levels problem. Let $n=2k+1$ and let $q$ be a power of a prime number. Consider the set of $(k+1)$-dimensional subspaces and the set of $k$-dimensional subspaces of $\F_q^n$. Can these subspaces be ordered in a way that for any two adjacent subspaces $X$ and $Y$, either $X \subset Y$ or $Y \subset X$? A construction method which yields many Hamiltonian cycles for any given $q$ and $k=2$ is presented.
On relative $t$-designs in polynomial association schemes
Published in Electron. J. Combin. 22 (2015) #P4.47
• View Publication
• BIB
Motivated by the similarities between the theory of spherical $t$-designs and that of $t$-designs in $Q$-polynomial association schemes, we study two versions of relative $t$-designs, the counterparts of Euclidean $t$-designs for $P$- and/or $Q$-polynomial association schemes. We develop the theory based on the Terwilliger algebra, which is a noncommutative associative semisimple $\mathbb{C}$-algebra associated with each vertex of an association scheme. We compute explicitly the Fisher type lower bounds on the sizes of relative $t$-designs, assuming that certain irreducible modules behave nicely. The two versions of relative $t$-designs turn out to be equivalent in the case of the Hamming schemes. From this point of view, we establish a new algebraic characterization of the Hamming schemes.
Winkler's Hat Guessing Game: Better Results for Imbalanced Hat Distributions
In this note, we give an explicit polynomial-time executable strategy for Peter Winkler's hat guessing game that gives superior results if the distribution of hats is imbalanced. While Winkler's strategy guarantees in any case that $\lfloor n/2 \rfloor$ of the $n$ player guess their hat color correct, our strategy ensures that the players produce $\max\{r,b\} - 1.2 n^{2/3} -2$ correct guesses for any distribution of $r$ red and $b = n - r$ blue hats. We also show that any strategy ensuring $\max\{r,b\} - f(n)$ correct guesses necessarily has $f(n) = Ω(\sqrt n)$.
Imaginary cones and limit roots of infinite Coxeter groups
Published
• View Publication
• BIB
Let (W,S) be an infinite Coxeter system. To each geometric representation of W is associated a root system. While a root system lives in the positive side of the isotropy cone of its associated bilinear form, an imaginary cone lives in the negative side of the isotropic cone. Precisely on the isotropic cone, between root systems and imaginary cones, lives the set E of limit points of the directions of roots (see arXiv:1112.5415). In this article we study the close relations of the imaginary cone (see arXiv:1210.5206) with the set E, which leads to new fundamental results about the structure of geometric representations of infinite Coxeter groups. In particular, we show that the W-action on E is minimal and faithful, and that E and the imaginary cone can be approximated arbitrarily well by sets of limit roots and imaginary cones of universal root subsystems of W, i.e., root systems for Coxeter groups without braid relations (the free object for Coxeter groups). Finally, we discuss open questions as well as the possible relevance of our framework in other areas such as geometric group theory.
Latency-Bounded Target Set Selection in Social Networks
Published
• View Publication
• BIB
Motivated by applications in sociology, economy and medicine, we study variants of the Target Set Selection problem, first proposed by Kempe, Kleinberg and Tardos. In our scenario one is given a graph $G=(V,E)$, integer values $t(v)$ for each vertex $v$ (\emph{thresholds}), and the objective is to determine a small set of vertices (\emph{target set}) that activates a given number (or a given subset) of vertices of $G$ \emph{within} a prescribed number of rounds. The activation process in $G$ proceeds as follows: initially, at round 0, all vertices in the target set are activated; subsequently at each round $r\geq 1$ every vertex of $G$ becomes activated if at least $t(v)$ of its neighbors are already active by round $r-1$. It is known that the problem of finding a minimum cardinality Target Set that eventually activates the whole graph $G$ is hard to approximate to a factor better than $O(2^{\log^{1-ε}|V|})$. In this paper we give \emph{exact} polynomial time algorithms to find minimum cardinality Target Sets in graphs of bounded clique-width, and \emph{exact} linear time algorithms for trees.
Proving the Pressing Game Conjecture on Linear Graphs
Published
• View Publication
• BIB
The pressing game on black-and-white graphs is the following: Given a graph $G(V,E)$ with its vertices colored with black and white, any black vertex $v$ can be pressed, which has the following effect: (a) all neighbors of $v$ change color, i.e. white neighbors become black and \emph{vice versa}, (b) all pairs of neighbors of $v$ change connectivity, i.e. connected pairs become unconnected, unconnected ones become connected, (c) and finally, $v$ becomes a separated white vertex. The aim of the game is to transform $G$ into an all white, empty graph. It is a known result that the all white empty graph is reachable in the pressing game if each component of $G$ contains at least one black vertex, and for a fixed graph, any successful transformation has the same number of pressed vertices.
The pressing game conjecture is that any successful pressing path can be transformed into any other successful pressing path with small alterations. Here we prove the conjecture for linear graphs. The connection to genome rearrangement and sorting signed permutations with reversals is also discussed.
Symmetry Type Graphs of Abstract Polytopes and Maniplexes
Published
• View Publication
• BIB
A $k$-orbit maniplex is one that has $k$ orbits of flags under the action of its automorphism group. In this paper we extend the notion of symmetry type graphs of maps to that of maniplexes and polytopes and make use of them to study $k$-orbit maniplexes, as well as fully-transitive 3-maniplexes. In particular, we show that there are no fully-transtive $k$-orbit 3-mainplexes with $k > 1$ an odd number, we classify 3-orbit mainplexes and determine all face transitivities for 3- and 4-orbit maniplexes. Moreover, we give generators of the automorphism group of a polytope or a maniplex, given its symmetry type graph. Finally, we extend these notions to oriented polytopes, in particular we classify oriented 2-orbit maniplexes and give generators for their orientation preserving automorphism group.
Partial Star Products: A Local Covering Approach for the Recognition of Approximate Cartesian Product Graphs
Published
• View Publication
• BIB
This paper is concerned with the recognition of approximate graph products with respect to the Cartesian product. Most graphs are prime, although they can have a rich product-like structure. The proposed algorithms are based on a local approach that covers a graph by small subgraphs, so-called partial star products, and then utilizes this information to derive the global factors and an embedding of the graph under investigation into Cartesian product graphs.
DeBruijn Strings, Double Helices, and the Ehrenfeucht-Mycielski Mechanism
We revisit the pseudo-random sequence introduced by Ehrenfeucht and Mycielski and its connections with DeBruijn strings.
Intrinsically knotted graphs with 21 edges
We show that the 14 graphs obtained by $\nabla\mathrm{Y}$ moves on K_7 constitute a complete list of the minor minimal intrinsically knotted graphs on 21 edges. We also present evidence in support of a conjecture that the 20 graph Heawood family, obtained by a combination of $\nabla\mathrm{Y}$ and $\mathrm{Y}\nabla$ moves on K_7, is the list of graphs of size 21 that are minor minimal with respect to the property not 2--apex.