Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On singular signed graphs with nullspace spanned by a full vector: Signed nut graphs
A signed graph has edge weights drawn from the set $\{+1,-1\}$, and is termed sign-balanced if it is equivalent to an unsigned graph under the operation of sign switching; otherwise it is called sign-unbalanced. A nut graph has a one dimensional kernel with a corresponding eigenvector that is full. In this paper we generalise the notion of nut graphs to signed graphs. Orders for which unsigned regular nut graphs exist were determined recently for the degrees up to $11$. By extending the definition to signed nut graphs, we find all pairs $(ρ, n)$ for which a $ρ$-regular nut graph (sign-balanced or sign-unbalanced) of order $n$ exists with $ρ\le 11$. We devise a construction for signed nut graphs based on a smaller `seed' graph, giving infinite series of both sign-balanced and sign-unbalanced $ρ$-regular nut graphs. All orders for which a complete sign-unbalanced nut graph exists are characterised; they have underlying graph $K_n$ with $n \equiv 1 \pmod 4$. All orders for which a regular sign-unbalanced nut graph with $ρ= n - 2$ exists are also characterised; they have an underlying cocktail-party graph $\mathrm{CP}(n)$ with even $n \geq 8$.
Natural Graph Wavelet Packet Dictionaries
Published in J. Fourier Anal. Appl. 27, 41 (2021)
• View Publication
• BIB
We introduce a set of novel multiscale basis transforms for signals on graphs that utilize their "dual" domains by incorporating the "natural" distances between graph Laplacian eigenvectors, rather than simply using the eigenvalue ordering. These basis dictionaries can be seen as generalizations of the classical Shannon wavelet packet dictionary to arbitrary graphs, and do not rely on the frequency interpretation of Laplacian eigenvalues. We describe the algorithms (involving either vector rotations or orthogonalizations) to construct these basis dictionaries, use them to efficiently approximate graph signals through the best basis search, and demonstrate the strengths of these basis dictionaries for graph signals measured on sunflower graphs and street networks.
Maximum density of vertex-induced perfect cycles and paths in the hypercube
Published
• View Publication
• BIB
Let $H$ and $K$ be subsets of the vertex set $V(Q_d)$ of the $d$-cube $Q_d$ (we call $H$ and $K$ configurations in $Q_d$). We say $K$ is an \emph{exact copy} of $H$ if there is an automorphism of $Q_d$ which sends $H$ to $K$. If $d$ is a positive integer and $H$ is a configuration in $Q_d$, we define $π(H,d)$ to be the limit as $n$ goes to infinity of the maximum fraction, over all subsets $S$ of $V(Q_n)$, of sub-$d$-cubes of $Q_n$ whose intersection with $S$ is an exact copy of $H$. We determine $π(C_8,4)$ and $π(P_4,3)$ where $C_8$ is a "perfect" 8-cycle in $Q_4$ and $P_4$ is a "perfect" path with 4 vertices in $Q_3$, and make conjectures about $π(C_{2d},d)$ and $π(P_{d+1},d)$ for larger values of $d$. In our proofs there are connections with counting the number of sequences with certain properties and with the inducibility of certain small graphs. In particular, we needed to determine the inducibility of two vertex disjoint edges in the family of bipartite graphs.
Enumerating Restricted Dyck Paths with Context-Free Grammars
The number of Dyck paths of semilength $n$ is famously $C_n$, the $n$th Catalan number. This fact follows after noticing that every Dyck path can be uniquely parsed according to a context-free grammar. In a recent paper, Zeilberger showed that many restricted sets of Dyck paths satisfy different, more complicated grammars, and from this derived various generating function identities. We take this further, highlighting some combinatorial results about Dyck paths obtained via grammatical proof and generalizing some of Zeilberger's grammars to infinite families.
Borel Combinatorics of Locally Finite Graphs
Published
• View Publication
• BIB
We provide a gentle introduction, aimed at non-experts, to Borel combinatorics that studies definable graphs on topological spaces. This is an emerging field on the borderline between combinatorics and descriptive set theory with deep connections to many other areas.
After giving some background material, we present in careful detail some basic tools and results on the existence of Borel satisfying assignments: Borel versions of greedy algorithms and augmenting procedures, local rules, Borel transversals, etc. Also, we present the construction of Andrew Marks of acyclic Borel graphs for which the greedy bound $Δ+1$ on the Borel chromatic number is best possible.
In the remainder of the paper we briefly discuss various topics such as relations to LOCAL algorithms, measurable versions of Hall's marriage theorem and of Lovász Local Lemma, applications to equidecomposability, etc.
A survey on star edge-coloring of graphs
The star chromatic index of a multigraph $G$, denoted $χ'_{st}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bicolored. We survey the results of determining the star chromatic index, present the interesting proofs and techniques, and collect many open problems and conjectures.
Energy of a graph and Randic index
Published
• View Publication
• BIB
We prove that, for any graph $G$, its graph energy is at least twice the Randic index. We show that equality holds if and only if $G$ is the union of complete bipartite graphs.
A path formula for the sock sorting problem
Published
• View Publication
• BIB
Suppose $n$ different pairs of socks are put in a tumble dryer. When the dryer is finished socks are taken out one by one, if a sock matches one of the socks on the sorting table both are removed, otherwise it is put on the table until its partner emerges from the dryer. We note the number of socks on the table after each of the $2n$ socks is taken from the dryer and give an explicit formula for the probability that this sequence equals a given sequence of length $2n$.
The achromatic number of $K_6\square K_7$ is $18$
A vertex colouring $f:V(G)\to C$ of a graph $G$ is complete if for any two distinct colours $c_1,c_2\in C$ there is an edge $\{v_1,v_2\}\in E(G)$ such that $f(v_i)=c_i$, $i=1,2$. The achromatic number of $G$ is the maximum number $\mathrm{achr}(G)$ of colours in a proper complete vertex colouring of $G$. In the paper it is proved that $\mathrm{achr}(K_6\square K_7)=18$. This result finalises the determination of $\mathrm{achr}(K_6\square K_q)$.
A note on the Erdős-Szekeres theorem in two dimensions
Published
• View Publication
• BIB
Burkill and Mirsky, and Kalmanson, prove independently that, for every $r\ge 2, n\ge 1$, there is a sequence of $r^{2^n}$ vectors in $\mathbb R^n$, which does not contain a subsequence of $r+1$ vectors $v^1, v^2,\dots,v^{r+1}$ such that, for every $i$ between 1 and $n$, $(v^{j}_i)_{1\le j\le r+1}$ forms a monotone sequence. Moreover, $r^{2^n}$ is the largest integer with this property. In this short note, for two vectors $u = (u_1, u_2,\dots, u_n)$ and $v = (v_1, v_2, \dots, v_n)$ in $\mathbb R^n$, we say that $u\le v$ if, for every $i$ between 1 and $n$, $u_i\le v_i$. Just like Burkill and Mirsky, and Kalmanson, for every $k, \ell\ge 1, d\ge 2$ we find the maximal $N_1, N_2$ (which turn out to be equal) such that there are numerical two-dimensional arrays of size $(k+\ell-1)\times N_1$ and $(k+\ell)\times N_2$, which neither contain a subarray of size $k\times d$, whose columns form a non-decreasing sequence of $d$ vectors in $\mathbb R^k$, nor contain a subarray of size $\ell\times d$, whose columns form a non-increasing sequence of $d$ vectors in $\mathbb R^{\ell}$. In a consequent discussion, we consider a generalisation of this setting and make a connection with a famous problem in coding theory.
Algorithms and Complexity for Variants of Covariates Fine Balance
We study here several variants of the covariates fine balance problem where we generalize some of these problems and introduce a number of others. We present here a comprehensive complexity study of the covariates problems providing polynomial time algorithms, or a proof of NP-hardness. The polynomial time algorithms described are mostly combinatorial and rely on network flow techniques. In addition we present several fixed-parameter tractable results for problems where the number of covariates and the number of levels of each covariate are seen as a parameter.
General cut method for computing Szeged-like topological indices with applications to molecular graphs
Published in Int. J. Quantum Chem. 121 (2021) e26530
• View Publication
• BIB
Szeged, PI and Mostar indices are some of the most investigated distance-based molecular descriptors. Recently, many different variations of these topological indices appeared in the literature and sometimes they are all together called Szeged-like topological indices. In this paper, we formally introduce the concept of a general Szeged-like topological index, which includes all mentioned indices and also infinitely many other topological indices that can be defined in a similar way. As the main result of the paper, we provide a cut method for computing a general Szeged-like topological index for any strength-weighted graph. This greatly generalizes various methods known for some of the mentioned indices and therefore rounds off such investigations. Moreover, we provide applications of our main result to benzenoid systems, phenylenes, and coronoid systems, which are well-known families of molecular graphs. In particular, closed-form formulas for some subfamilies of these graphs are deduced.
Traces on diagram algebras II: Centralizer algebras of easy groups and new variations of the Young graph
Published
• View Publication
• BIB
In continuation of our recent work arXiv:2006.07312, we classify the extremal traces on infinite diagram algebras that appear in the context of Schur-Weyl duality for Banica and Speicher's easy groups. We show that the branching graphs of these algebras describe walks on new variations of the Young graph which describe curious ways of growing Young diagrams. As a consequence, we prove that the extremal traces on generic rook-Brauer algebras are always extensions of extremal traces on the group algebra $\mathbb{C}[S_{\infty}]$ of the infinite symmetric group. Moreover, we conjecture that the same is true for generic parameter deformations of the centralizers of the hyperoctahedral group and we reduce this conjecture to a conceptually much simpler numerical statement. Lastly, we address the trace classification problem for the Schur-Weyl dual of the halfliberated orthogonal group $O_N^*$, in which case extremal traces are always extensions of extremal traces on $\mathbb{C}[S_{\infty} \times S_{\infty}]$. Our approach relies on methods developed by Vershik and Nikitin.
A pair correlation problem, and counting lattice points with the zeta function
Published
• View Publication
• BIB
The pair correlation is a localized statistic for sequences in the unit interval. Pseudo-random behavior with respect to this statistic is called Poissonian behavior. The metric theory of pair correlations of sequences of the form $(a_n α)_{n \geq 1}$ has been pioneered by Rudnick, Sarnak and Zaharescu. Here $α$ is a real parameter, and $(a_n)_{n \geq 1}$ is an integer sequence, often of arithmetic origin. Recently, a general framework was developed which gives criteria for Poissonian pair correlation of such sequences for almost every real number $α$, in terms of the additive energy of the integer sequence $(a_n)_{n \geq 1}$. In the present paper we develop a similar framework for the case when $(a_n)_{n \geq 1}$ is a sequence of reals rather than integers, thereby pursuing a line of research which was recently initiated by Rudnick and Technau. As an application of our method, we prove that for every real number $θ>1$, the sequence $(n^θα)_{n \geq 1}$ has Poissonian pair correlation for almost all $α\in \mathbb{R}$.
Coordinate transitivity of extended perfect codes and their SQS
Published in Siberian Electronic Mathematical Reports 17 (2020), 1451-1462
• View Publication
• BIB
We continue the study of the class of binary extended perfect propelinear codes constructed in the previous paper and consider their permutation automorphism (symmetry) groups and Steiner quadruple systems. We show that the automorphism group of the SQS of any such code coincides with the permutation automorphism group of the code. In particular, the SQS of these codes are complete invariants for the isomorphism classes of these codes. We obtain a criterion for the point transitivity of the automorphism group of SQS of proposed codes in terms of GL-equivalence (similar to EA-type equivalence for permutations of F^r). Based on these results we suggest a new construction for coordinate transitive and neighbor transitive extended perfect codes.
On Fibonacci partitions
Published
• View Publication
• BIB
We prove an exact formula for OEIS A000119, which counts partitions into distinct Fibonacci numbers. We also establish an exact formula for its mean value, and determine the asymptotic behaviour.
Homomorphisms from the torus
Published
• View Publication
• BIB
We present a detailed probabilistic and structural analysis of the set of weighted homomorphisms from the discrete torus $\mathbb{Z}_m^n$, where $m$ is even, to any fixed graph: we show that the corresponding probability distribution on such homomorphisms is close to a distribution defined constructively as a certain random perturbation of some dominant phase. This has several consequences, including solutions (in a strong form) to conjectures of Engbers and Galvin and a conjecture of Kahn and Park. Special cases include sharp asymptotics for the number of independent sets and the number of proper $q$-colourings of $\mathbb{Z}_m^n$ (so in particular, the discrete hypercube). We give further applications to the study of height functions and (generalised) rank functions on the discrete hypercube and disprove a conjecture of Kahn and Lawrenz. For the proof we combine methods from statistical physics, entropy and graph containers and exploit isoperimetric and algebraic properties of the torus.
Powers of binomial edge ideals with quadratic Gröbner bases
Published
• View Publication
• BIB
We study powers of binomial edge ideals associated with closed and block graphs.
A Cantor-Bernstein theorem for infinite matroids
We give a common matroidal generalisation of `A Cantor-Bernstein theorem for paths in graphs' by Diestel and Thomassen and `A Cantor-Bernstein-type theorem for spanning trees in infinite graphs' by ourselves.
Determining Number of Kneser Graphs: Exact Values and Improved Bounds
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (March 30, 2022) dmtcs:7627
• View Publication
• BIB
The determining number of a graph $G = (V,E)$ is the minimum cardinality of a set $S\subseteq V$ such that pointwise stabilizer of $S$ under the action of $Aut(G)$ is trivial. In this paper, we provide some improved upper and lower bounds on the determining number of Kneser graphs. Moreover, we provide the exact value of the determining number for some subfamilies of Kneser graphs.