Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Algebraic and combinatorial Brill-Noether theory
Published
• View Publication
• BIB
The interplay between algebro-geometric and combinatorial Brill-Noether theory is studied. The Brill-Noether variety of a graph shown to be non-empty if the Brill-Noether number is non-negative, as a consequence of the analogous fact for smooth projective curves. Similarly, the existence of a graph for which the Brill-Noether variety is empty implies the emptiness of the corresponding Brill-Noether variety for a general curve. The main tool is a refinement of Baker's Specialization Lemma.
The Continuum Limit of Toda Lattices for Random Matrices with Odd Weights
Published
• View Publication
• BIB
This paper is concerned with the asymptotic behavior of the free energy for a class of Hermitean random matrix models, with odd degree polynomial potential, in the large N limit. It continues an investigation initiated and developed in a sequence of prior works whose ultimate aim is to reveal and understand, in a rigorous way, the deep connections between correlation functions for eigenvalues of these random matrix ensembles on the one hand and the enumerative interpretations of their matrix moments in terms of map combinatorics (a branch of graph theory) on the other. In doing this we make essential use of the link between the asymptotics of the random matrix partition function and orthogonal polynomials with exponential weight equal to the random matrix potential. Along the way we develop and analyze the continuum limits of both the hierarchy of Toda lattice equations and the hierarchy of difference string equations associated to these orthogonal polynomials. The former are found to have the structure of a hierarchy of near-conservation laws universal in the potential; the latter are a novel semi-classical extension of the traditional string equations. Our methods apply to regular maps of both even and odd valence, however we focus on the latter since that is the relevant case for this paper. These methods enable us to rigorously determine closed form expressions for the generating functions that enumerate trivalent maps, in general implicitly, but also explictly in a number of cases.
Domination in Functigraphs
Published in Discuss. Math. Graph Theory, Vol. 32 (2012) pp. 299-319
• View Publication
• BIB
Let $G_1$ and $G_2$ be disjoint copies of a graph $G$, and let $f: V(G_1) \rightarrow V(G_2)$ be a function. Then a \emph{functigraph} $C(G, f)=(V, E)$ has the vertex set $V=V(G_1) \cup V(G_2)$ and the edge set $E=E(G_1) \cup E(G_2) \cup \{uv \mid u \in V(G_1), v \in V(G_2), v=f(u)\}$. A functigraph is a generalization of a \emph{permutation graph} (also known as a \emph{generalized prism}) in the sense of Chartrand and Harary. In this paper, we study domination in functigraphs. Let $γ(G)$ denote the domination number of $G$. It is readily seen that $γ(G) \le γ(C(G,f)) \le 2 γ(G)$. We investigate for graphs generally, and for cycles in great detail, the functions which achieve the upper and lower bounds, as well as the realization of the intermediate values.
Infinite symmetric group and combinatorial descriptions of semigroups of double cosets
Published in Zap. Nauchn. Sem. POMI, 462 (2017), 65-92 (a version of the paper)
• View Publication
• BIB
We show that double cosets of the infinite symmetric group with respect to some special subgroups admit natural structures of semigroups. We interpret elements of such semigroups in combinatorial terms (chips, colored graphs, two-dimensional surfaces with polygonal tiling) and describe explicitly the multiplications.
Vector valued Macdonald polynomials
This paper defines and investigates nonsymmetric Macdonald polynomials with values in an irreducible module of the Hecke algebra of type $A_{N-1}$. These polynomials appear as simultaneous eigenfunctions of Cherednik operators. Several objects and properties are analyzed, such as the canonical bilinear form which pairs polynomials with those arising from reciprocals of the original parameters, and the symmetrization of the Macdonald polynomials. The main tool of the study is the Yang-Baxter graph. We show that these Macdonald polynomials can be easily computed following this graph. We give also an interpretation of the symmetrization and the bilinear forms applied to the Macdonald polynomials in terms of the Yang-Baxter graph.
Some Properties of Strongly Regular Graphs
An approach to the enumeration of feasible parameters for strongly regular graphs is described, based on the pair of structural parameters (a,c) and the positive eigenvalue e. The Krein bound ensures that there are only finitely many possibilities for c, given a and e, and the standard divisibility conditions can be used to reduce the possibilities further. Many sets of feasible parameters appear to be accidents of arithmetic, but in some cases the conditions are satisfied for algebraic reasons. As an example, we discuss an infinite family of feasible parameters for which the corresponding graphs necessarily have a closed neighborhood as a star complement for e.
Automorphisms of infinite-dimensional hypercube graph
Published
• View Publication
• BIB
We consider the infinite-dimensional hypercube graph. This graph is not connected and has isomorphic connected components. We describe the restrictions of its automorphisms to the connected components and the automorphism group of connected component.
Monochromatic Progressions in Random Colorings
Published
• View Publication
• BIB
Let N^{+}(k)= 2^{k/2} k^{3/2} f(k) and N^{-}(k)= 2^{k/2} k^{1/2} g(k) where 1=o(f(k)) and g(k)=o(1). We show that the probability of a random 2-coloring of {1,2,...,N^{+}(k)} containing a monochromatic k-term arithmetic progression approaches 1, and the probability of a random 2-coloring of {1,2,...,N^{-}(k)} containing a monochromatic k-term arithmetic progression approaches 0, for large k. This improves an upper bound due to Brown, who had established an analogous result for N^{+}(k)= 2^k log k f(k).
Cardinality of Rauzy classes
Published in Ann. Inst. Fourier 63 , n° 5 (2013) p. 1651-1715
• View Publication
• BIB
Rauzy classes define a partition of the set of irreducible (or indecomposable) permutations. They were defined by G. Rauzy as part of an induction algorithm for interval exchange transformations. In this article we prove an explicit formula for the cardinality of all Rauzy classes.
The Largest Eigenvalue and Bi-Average Degree of a Graph
We show that for a graph $G$ with the vertex set $V$ and the largest eigenvalue $λ_{\max}(G)$, letting
$$ M(G) := \max_{X,Y \subset V} \frac{e(X,Y)}{\sqrt{|X||Y|}} $$ (where $e(X,Y)$ denotes the number of edges between $X$ and $Y$), we have
$$ M(G) \le λ_{\max}(G) \le \big(\frac14 \log|V| + 1 \big) \M(G). $$ Here the lower bound is attained if $G$ is regular or bi-regular, whereas the logarithmic factor in the upper bound, conjecturally, can be improved --- although we present an example showing that it cannot be replaced with a factor growing slower than $(\log |V|/\log\log|V|)^{1/8}$.
Further refinements are established, particularly in the case where $G$ is bipartite.
A note on the existence of an alternating sign on a spanning tree of graphs
Published in Kyungpook Math. J. 52(4) (2012), 513--519
• View Publication
• BIB
For a spanning tree T of a connected graph G and for a labelling φ: E(T) \rightarrow {+, -}, φis called an alternating sign on a spanning tree T of a graph G if for any cotree edge e \in E(G)-E(T), the unique path in T joining both end vertices of e has alternating signs. In the present note, we prove that any graph has a spanning tree T and an alternating sign on T.
Some work on a problem of Marco Buratti
Marco Buratti's conjecture states that if $p$ is a prime and $L$ a multiset containing $p-1$ non-zero elements from the integers modulo $p$, then there exists a Hamiltonian path in the complete graph of order $p$ with edge lengths in $L$. Say that a multiset satisfying the above conjecture is realizable. We generalize the problem for trees, show that multisets can be realized as trees with diameter at least one more than the number of distinct elements in the multiset, and affirm the conjecture for multisets of the form $\{φ_k(1)^a, φ_k(2)^b, φ_k(3)^c\}$ where $φ_k(i)=\min\{ki \pmod p, -ki \pmod p\}$.
An upper bound on the number of high-dimensional permutations
Published
• View Publication
• BIB
What is the higher-dimensional analog of a permutation? If we think of a permutation as given by a permutation matrix, then the following definition suggests itself: A d-dimensional permutation of order n is an [n]^(d+1) array of zeros and ones in which every "line" contains a unique 1 entry. A line here is a set of entries of the form {(x_1,...,x_{i-1},y,x_{i+1},...,x_{d+1})}, for y between 1 and n, some index i between 1 and d+1 and some choice of x_j in [n] for all j except i. It is easy to observe that a one-dimensional permutation is simply a permutation matrix and that a two-dimensional permutation is synonymous with an order-n Latin square. We seek an estimate for the number of d-dimensional permutations. Our main result is the following upper bound on their number: ((1+o(1))(n/e^d))^(n^d).
We tend to believe that this is actually the correct number, but the problem of proving the complementary lower bound remains open. Our main tool is an adaptation of Bregman's proof of the Minc conjecture on permanents. More concretely, our approach is very close in spirit to Radhakrishnan's proof of Bregman's theorem.
Complexity of the homomorphism extension problem in the random case
We prove that if A is a large random relational structure with at least one relation of arity at least 2 then the problem EXT(A) is almost surely NP-complete.
Kochen-Specker Sets and the Rank-1 Quantum Chromatic Number
Published in IEEE Transactions on Information Theory, vol. 58, no. 4, April 2012
• View Publication
• BIB
The quantum chromatic number of a graph $G$ is sandwiched between its chromatic number and its clique number, which are well known NP-hard quantities. We restrict our attention to the rank-1 quantum chromatic number $χ_q^{(1)}(G)$, which upper bounds the quantum chromatic number, but is defined under stronger constraints. We study its relation with the chromatic number $χ(G)$ and the minimum dimension of orthogonal representations $ξ(G)$. It is known that $ξ(G) \leq χ_q^{(1)}(G) \leq χ(G)$. We answer three open questions about these relations: we give a necessary and sufficient condition to have $ξ(G) = χ_q^{(1)}(G)$, we exhibit a class of graphs such that $ξ(G) < χ_q^{(1)}(G)$, and we give a necessary and sufficient condition to have $χ_q^{(1)}(G) < χ(G)$. Our main tools are Kochen-Specker sets, collections of vectors with a traditionally important role in the study of noncontextuality of physical theories, and more recently in the quantification of quantum zero-error capacities. Finally, as a corollary of our results and a result by Avis, Hasegawa, Kikuchi, and Sasaki on the quantum chromatic number, we give a family of Kochen-Specker sets of growing dimension.
Setwise intersecting families of permutations
Published
• View Publication
• BIB
A family of permutations $A \subset S_n$ is said to be \emph{$t$-set-intersecting} if for any two permutations $σ, π\in A$, there exists a $t$-set $x$ whose image is the same under both permutations, i.e. $σ(x)=π(x)$. We prove that if $n$ is sufficiently large depending on $t$, the largest $t$-set-intersecting families of permutations in $S_n$ are cosets of stabilizers of $t$-sets. The $t=2$ case of this was conjectured by János Körner. It can be seen as a variant of the Deza-Frankl conjecture, proved in [4]. Our proof uses similar techniques to those of [4], namely, eigenvalue methods, together with the representation theory of the symmetric group, but the combinatorial part of the proof is harder.
Upper bound for the Laplacian eigenvalues of a graph
In this note we give a new upper bound for the Laplacian eigenvalues of an unweighted graph. Let $G$ be a simple graph on $n$ vertices. Let $d_{m}(G)$ and $λ_{m+1}(G)$ be the $m$-th smallest degree of $G$ and the $m+1$-th smallest Laplacian eigenvalue of $G$ respectively. Then $ λ_{m+1}(G)\leq d_{m}(G)+m-1 $ for $\bar{G} \neq K_{m}+(n-m)K_1 $. We also introduce upper and lower bound for the Laplacian eigenvalues of weighted graphs, and compare it with the special case of unweighted graphs.
On realizing zero-divisor graphs of po-semirings
In this paper, we determine bipartite graphs and complete graphs with horns, which are realizable as zero-divisor graphs of po-semirings. As applications, we classify commutative rings $R$ whose annihilating-ideal graph $\mathbb {AG}(R)$ are either bipartite graphs or complete graphs with horns.
Minimum density of union-closed families
Let F be a finite union-closed family of sets whose largest set contains n elements. In \cite{Wojcik92}, Wojcik defined the density of F to be the ratio of the average set size of F to n and conjectured that the minimum density over all union-closed families whose largest set contains n elements is (1 + o(1))\log_2(n)/(2n) as n approaches infinity. We use a result of Reimer \cite{Reimer03} to show that the density of F is always at least log_2(n)/(2n), verifying Wojcik's conjecture. As a corollary we show that for n \geq 16, some element must appear in at least \sqrt{(\log_2(n))/n}(|F|/2) sets of F.
Bipartizing fullerenes
Published
• View Publication
• BIB
A fullerene graph is a cubic bridgeless planar graph with twelve 5-faces such that all other faces are 6-faces. We show that any fullerene graph on n vertices can be bipartized by removing O(sqrt{n}) edges. This bound is asymptotically optimal.