Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Complete solution to a conjecture on the maximal energy of unicyclic graphs
Published
• View Publication
• BIB
For a given simple graph $G$, the energy of $G$, denoted by $E(G)$, is defined as the sum of the absolute values of all eigenvalues of its adjacency matrix. Let $P_n^{\ell}$ be the unicyclic graph obtained by connecting a vertex of $C_\ell$ with a leaf of $P_{n-\ell}$\,. In [G. Caporossi, D. Cvetković, I. Gutman, P. Hansen, Variable neighborhood search for extremal graphs. 2. Finding graphs with extremal energy, {\it J. Chem. Inf. Comput. Sci.} {\bf 39}(1999) 984--996], Caporossi et al. conjectured that the unicyclic graph with maximal energy is $C_n$ if $n\leq 7$ and $n=9,10,11,13,15$\,, and $P_n^6$ for all other values of $n$. In this paper, by employing the Coulson integral formula and some knowledge of real analysis, especially by using certain combinatorial technique, we completely solve this conjecture. However, it turns out that for $n=4$ the conjecture is not true, and $P_4^3$ should be the unicyclic graph with maximal energy.
Integral trees of odd diameters
Published
• View Publication
• BIB
A graph is called integral if all eigenvalues of its adjacency matrix consist entirely of integers. Recently, Csikvari proved the existence of integral trees of any even diameter. In the odd case, integral trees have been constructed with diameter at most 7. In this paper, we show that for every odd integer n > 1, there are infinitely many integral trees of diameter n.
The computational challenge of enumerating high-dimensional rook walks
Published
• View Publication
• BIB
We provide guessed recurrence equations for the counting sequences of rook paths on d-dimensional chess boards starting at (0..0) and ending at (n..n), where d=2,3,...,12. Our recurrences suggest refined asymptotic formulas of these sequences. Rigorous proofs of the guessed recurrences as well as the suggested asymptotic forms are posed as challenges to the reader.
Matrices with restricted entries and q-analogues of permutations
Published in J. Comb. 2 (2011), no. 3, 355-396
• View Publication
• BIB
We study the functions that count matrices of given rank over a finite field with specified positions equal to zero. We show that these matrices are $q$-analogues of permutations with certain restricted values. We obtain a simple closed formula for the number of invertible matrices with zero diagonal, a $q$-analogue of derangements, and a curious relationship between invertible skew-symmetric matrices and invertible symmetric matrices with zero diagonal. In addition, we provide recursions to enumerate matrices and symmetric matrices with zero diagonal by rank, and we frame some of our results in the context of Lie theory. Finally, we provide a brief exposition of polynomiality results for enumeration questions related to those mentioned, and give several open questions.
Wheel Random Apollonian Graphs
In this paper a subset of High-Dimensional Random Apollonian networks, that we called Wheel Random Apollonian Graphs (WRAG), is considered. We show how to generate a Wheel Random Apollonian Graph from a wheel graph. We analyse some basic graph properties like vertices and edges cardinality, some question concerning cycles and the chromaticity in such type of graphs, we suggest further work on this type of graphs.
Rainbow connection numbers of complementary graphs
A path in an edge-colored graph, where adjacent edges may be colored the same, is a rainbow path if no two edges of it are colored the same. A nontrivial connected graph $G$ is rainbow connected if there is a rainbow path connecting any two vertices, and the rainbow connection number of $G$, denoted by $rc(G)$, is the minimum number of colors that are needed in order to make $G$ rainbow connected. In this paper, we provide a new approach to investigate the rainbow connection number of a graph $G$ according to some constraints to its complement graph $\bar{G}$. We first derive that for a connected graph $G$, if $\bar{G}$ does not belong to the following two cases: $(i)$~$diam(\bar{G})=2,3$, $(ii)~\bar{G}$ contains exactly two connected components and one of them is trivial, then $rc(G)\leq 4$, where $diam(G)$ is the diameter of $G$. Examples are given to show that this bound is best possible. Next we derive that for a connected graph $G$, if $\bar{G}$ is triangle-free, then $rc(G)\leq 6$.
There exists no distance-regular graph with intersection array {56,36,9;1,3,48}
We prove that a distance-regular graph with intersection array {56,36,9;1,3,48} does not exist. This intersection array is from the table of feasible parameters for distance-regular graphs in "Distance-regular graphs"\ by A.E. Brouwer, A.M. Cohen, A. Neumaier.
Higher-order Fourier analysis of $\mathbb{F}_p^n$ and the complexity of systems of linear forms
Published
• View Publication
• BIB
Consider a subset $A$ of $\mathbb{F}_p^n$ and a decomposition of its indicator function as the sum of two bounded functions $1_A=f_1+f_2$. For every family of linear forms, we find the smallest degree of uniformity $k$ such that assuming that $\|f_2\|_{U^k}$ is sufficiently small, it is possible to discard $f_2$ and replace $1_A$ with $f_1$ in the average over this family of linear forms, affecting it only negligibly. Previously, Gowers and Wolf solved this problem for the case where $f_1$ is a constant function. Furthermore, our main result solves Problem 7.6 in [W. T. Gowers and J. Wolf. Linear forms and higher-degree uniformity for functions on $\mathbb{F}_p^n$. Geom. Funct. Anal., 21(1):36--69, 2011] regarding the analytic averages that involve more than one subset of $\mathbb{F}_p^n$.] regarding the analytic averages that involve more than one subset of $\mathbb{F}_p^n$.
Bipartite graphs with a perfect matching and digraphs
Published in Advances and applications in discrete mathematics, Volume 3, Number 2, April 2009, 155-164
• Search Publication
In this paper, we introduce a corresponding between bipartite graphs with a perfect matching and digraphs, which implicates an equivalent relation between the extendibility of bipartite graphs and the strongly connectivity of digraphs. Such an equivalent relation explains the similar results on $k$-extendable bipartite graphs and $k$-strong digraphs. We also study the relation among $k$-extendable bipartite graphs, $k$-strong digraphs and combinatorial matrices. For bipartite graphs that are not 1-extendable and digraphs that are not strong, we prove that the elementary components and strong components are counterparts.
Strongly Regular Graphs Constructed from $p$-ary Bent Functions
Published
• View Publication
• BIB
In this paper, we generalize the construction of strongly regular graphs in [Y. Tan et al., Strongly regular graphs associated with ternary bent functions, J. Combin.Theory Ser. A (2010), 117, 668-682] from ternary bent functions to $p$-ary bent functions, where $p$ is an odd prime. We obtain strongly regular graphs with three types of parameters. Using certain non-quadratic $p$-ary bent functions, our constructions can give rise to new strongly regular graphs for small parameters.
Smooth infinite words over $n$-letter alphabets having same remainder when divided by $n$
Brlek et al. (2008) studied smooth infinite words and established some results on letter frequency, recurrence, reversal and complementation for 2-letter alphabets having same parity. In this paper, we explore smooth infinite words over $n$-letter alphabet $\{a_1,a_2,...,a_n\}$, where $a_1<a_2<...<a_n$ are positive integers and have same remainder when divided by $n$. And let $a_i=n\cdot q_i+r,\;q_i\in N$ for $i=1,2,...,n$, where $r=0,1,2,...,n-1$. We use distinct methods to prove that (1) if $r=0$, the letters frequency of two times differentiable well-proportioned infinite words is $1/n$, which suggests that the letter frequency of the generalized Kolakoski sequences is $1/2$ for 2-letter even alphabets; (2) the smooth infinite words are recurrent; (3) if $r=0$ or $r>0 \text{ and }n$ is an even number, the generalized Kolakoski words are uniformly recurrent for the alphabet $Σ_n$ with the cyclic order; (4) the factor set of three times differentiable infinite words is not closed under any nonidentical permutation. Brlek et al.'s results are only the special cases of our corresponding results.
The classes of the quasihomogeneous Hilbert schemes of points on the plane
Published in Mosc. Math. J. 12 (2012), no. 1, 21--36
• View Publication
• BIB
In this paper we give a formula for the classes (in the Grothendieck ring of complex quasi-projective varieties) of irreducible components of $(1,k)$-quasi-homogeneous Hilbert schemes of points on the plane. We find a new simple geometric interpretation of the $q,t$-Catalan numbers. Finally, we investigate a connection between $(1,k)$-quasi-homogeneous Hilbert schemes and homogeneous nested Hilbert schemes.
A note on some embedding problems for oriented graphs
Published
• View Publication
• BIB
We conjecture that every oriented graph $G$ on $n$ vertices with $δ^+ (G) , δ^- (G) \geq 5n/12$ contains the square of a Hamilton cycle. We also give a conjectural bound on the minimum semidegree which ensures a perfect packing of transitive triangles in an oriented graph. A link between Ramsey numbers and perfect packings of transitive tournaments is also considered.
(k+1)-sums versus k-sums
A $k$-sum of a set $A\subseteq \mathbb{Z}$ is an integer that may be expressed as a sum of $k$ distinct elements of $A$. How large can the ratio of the number of $(k+1)$-sums to the number of $k$-sums be? Writing $k\wedge A$ for the set of $k$-sums of $A$ we prove that \[ \frac{|(k+1)\wedge A|}{|k\wedge A|}\, \le \, \frac{|A|-k}{k+1} \] whenever $|A|\ge (k^{2}+7k)/2$. The inequality is tight -- the above ratio being attained when $A$ is a geometric progression. This answers a question of Ruzsa.
Upper-critical graphs
This work introduces the concept of \emph{upper-critical graphs}, in a complementary way of the conventional (lower)critical graphs: an element $x$ of a graph $G$ is called \emph{critical} if $χ(G-x)<χ(G)$. It is said that $G$ is a \emph{critical graph} if every element (vertex or edge) of $G$ is critical. Analogously, a graph $G$ is called \emph{upper-critical} if there is no edge that can be added to $G$ such that $G$ preserves its chromatic number, i.e. \{$e \in E(\bar{G}) \; | \; χ(G+e) = χ(G)$ \} $=$ $\emptyset$. We show that the class of upper-critical graphs is the same as the class of complete $k$-partite graphs. A characterization in terms of hereditary properties under some transformations, e.g. subgraphs and minors and in terms of construction and counting is given.
The Pachner graph and the simplification of 3-sphere triangulations
Published in SCG '11: Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, ACM, 2011, pp. 153-162
• View Publication
• BIB
It is important to have fast and effective methods for simplifying 3-manifold triangulations without losing any topological information. In theory this is difficult: we might need to make a triangulation super-exponentially more complex before we can make it smaller than its original size. Here we present experimental work suggesting that for 3-sphere triangulations the reality is far different: we never need to add more than two tetrahedra, and we never need more than a handful of local modifications. If true in general, these extremely surprising results would have significant implications for decision algorithms and the study of triangulations in 3-manifold topology.
The algorithms behind these experiments are interesting in their own right. Key techniques include the isomorph-free generation of all 3-manifold triangulations of a given size, polynomial-time computable signatures that identify triangulations uniquely up to isomorphism, and parallel algorithms for studying finite level sets in the infinite Pachner graph.
Set-homogeneous directed graphs
Published
• View Publication
• BIB
A directed graph is set-homogeneous if, whenever U and V are isomorphic finite subdigraphs, there is an automorphism g of the digraph with U^g=V. Here, extending work of Lachlan on finite homogeneous digraphs, we classify finite set-homogeneous digraphs, where we allow some pairs of vertices to have arcs in both directions. Under the assumption that such pairs of vertices are not allowed, we obtain initial results on countably infinite set-homogeneous digraphs, classifying those which are not 2-homogeneous.
Coxeter and crystallographic arrangements are inductively free
Published in Advances in Mathematics 229 (2012), no. 1, 691-709
• View Publication
• BIB
Using the classification of finite Weyl groupoids we prove that crystallographic arrangements, a large subclass of the class of simplicial arrangements which was recently defined, are hereditarily inductively free. In particular, all crystallographic reflection arrangements are hereditarily inductively free, among them the arrangement of type $E_8$. With little extra work we prove that also all Coxeter arrangements are inductively free.
Characterising planar Cayley graphs and Cayley complexes in terms of group presentations
Published
• View Publication
• BIB
We prove that a Cayley graph can be embedded in the euclidean plane without accumulation points of vertices if and only if it is the 1-skeleton of a Cayley complex that can be embedded in the plane after removing redundant simplices. We also give a characterisation of these Cayley graphs in term of group presentations, and deduce that they can be effectively enumerated.
A parametrization of the abstract Ramsey theorem
Published in Divulgaciones Matematicas 16 (2008) 2, 259-274
• Search Publication
We give a parametrization with perfect subsets of $2^{\infty}$ of the abstract Ramsey theorem (see \cite{todo}) Our main tool is an extension of the parametrized version of the combinatorial forcing developed in \cite{nash} and \cite{todo}, used in \cite{mij} to the obtain a parametrization of the abstract Ellentuck theorem. As one of the consequences, we obtain a parametrized version of the Hales-Jewett theorem. Finally, we conclude that the family of perfectly ${\cal S}$-Ramsey subsets of $2^{\infty}\times {\cal R}$ is closed under the Souslin operation. {\bf Key words and phrases}: Ramsey theorem, Ramsey space, parametrization.