Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Spectral measures and dominant vertices in graphs of bounded degree
Published
• View Publication
• BIB
A graph $G = (V, E)$ of bounded degree has an adjacency operator~$A$ which acts on the Hilbert space $\ell^2(V)$. There are different kinds of measures of interest on the spectrum $Σ(A)$ of $A$. In particular, each vector $ξ\in \ell^2(V)$ defines a local spectral measure $μ_ξ$ at $ξ$ on $Σ(A)$; therefore each vertex $v \in V$ defines a vector $δ_v \in \ell^2(V)$ and the associated measure $μ_v$ on $Σ(A)$. A vertex $v$ is dominant if, for all $w \in V$, the measure $μ_w$ is absolutely continuous with respect to $μ_v$ (it then follows that, for all $ξ\in \ell^2(V)$, the measure $μ_ξ$ is absolutely continuous with respect to $μ_v$). The main object of this paper is to show that all possibilities occur: in some graphs, for example in vertex-transitive graphs, all vertices are dominant; in other graphs, only some vertices are dominant; and there are graphs without dominant vertices at all.
A note on classes of subgraphs of locally finite graphs
Published
• View Publication
• BIB
We investigate the question how `small' a graph can be, if it contains all members of a given class of locally finite graphs as subgraphs or induced subgraphs. More precisely, we give necessary and sufficient conditions for the existence of a connected, locally finite graph $H$ containing all elements of a graph class $\mathcal G$. These conditions imply that such a graph $H$ exists for the class $\mathcal G_d$ consisting of all graphs with maximum degree $<d$ which raises the question whether in this case $H$ can be chosen to have bounded maximum degree. We show that this is not the case, thereby answering a question recently posed by Huynh et al.
Two Ramsey problems in blowups of graphs
Given graphs $G$ and $H$, we say $G \stackrel{r}{\to} H$ if every $r$-colouring of the edges of $G$ contains a monochromatic copy of $H$. Let $H[t]$ denote the $t$-blowup of $H$. The blowup Ramsey number $B(G \stackrel{r}{\to} H;t)$ is the minimum $n$ such that $G[n] \stackrel{r}{\to} H[t]$. Fox, Luo and Wigderson refined an upper bound of Souza, showing that, given $G$, $H$ and $r$ such that $G \stackrel{r}{\to} H$, there exist constants $a=a(G,H,r)$ and $b=b(H,r)$ such that for all $t \in \mathbb{N}$, $B(G \stackrel{r}{\to} H;t) \leq ab^t$. They conjectured that there exist some graphs $H$ for which the constant $a$ depending on $G$ is necessary. We prove this conjecture by showing that the statement is true in the case of $H$ being $3$-chromatically connected, which in particular includes triangles. On the other hand, perhaps surprisingly, we show that for forests $F$, the function $B(G \stackrel{r}{\to} F;t)$ is independent of $G$.
Second, we show that for any $r,t \in \mathbb{N}$, any sufficiently large $r$-edge coloured complete graph on $n$ vertices with $Ω(n^{2-1/t})$ edges in each colour contains a member from a certain finite family $\mathcal{F}^r_t$ of $r$-edge coloured complete graphs. This answers a conjecture of Bowen, Hansberg, Montejano and Müyesser.
Upper bound for the number of privileged words
Published
• View Publication
• BIB
A non-empty word $w$ is a \emph{border} of a word $u$ if $\vert w\vert<\vert u\vert$ and $w$ is both a prefix and a suffix of $u$. A word $u$ is \emph{privileged} if $\vert u\vert\leq 1$ or if $u$ has a privileged border $w$ that appears exactly twice in $u$. Peltomäki (2016) presented the following open problem: ``Give a nontrivial upper bound for $B(n)$'', where $B(n)$ denotes the number of privileged words of length $n$.
Let $\ln^{[0]}{(n)}=n$ and let $\ln^{[j]}{(n)}=\ln{(\ln^{[j-1]}{(n)})}$, where $j,n$ are positive integers. We show that if $q>1$ is a size of the alphabet and $j\geq 3$ is an integer then there are constants $α_j$ and $n_j$ such that \[B(n)\leq α_j\frac{q^{n}\sqrt{\ln{n}}}{\sqrt{n}}\ln^{[j]}{(n)}\prod_{i=2}^{j-1}\sqrt{\ln^{[i]}(n)}\mbox{, where }n\geq n_j\mbox{.}\] This result improves the upper bound of Rukavicka (2020).
Monochromatic products and sums in $2$-colorings of $\mathbb{N}$
We show that any $2$-coloring of $\mathbb{N}$ contains infinitely many monochromatic sets of the form $\{x,y,xy,x+y\},$ and more generally monochromatic sets of the form $\{x_i,\prod x_i,\sum x_i: i\leq k\}$ for any $k\in\mathbb{N}.$ Along the way we prove a monochromatic products of sums theorem that extends Hindman's theorem and a colorful variant of this result that holds in any 'balanced' coloring.
Shift invariance of half space integrable models
Published
• View Publication
• BIB
We formulate and establish symmetries of certain integrable half space models, analogous to recent results on symmetries for models in a full space. Our starting point is the colored stochastic six vertex model in a half space, from which we obtain results on the asymmetric simple exclusion process, as well as for the beta polymer through a fusion procedure which may be of independent interest. As an application, we establish a distributional identity between the absorption time in a type $B$ analogue of the oriented swap process and last passage times in a half space, establishing the Baik--Ben Arous--Péché phase transition for the absorption time. The proof uses Hecke algebras and integrability of the six vertex model through the Yang--Baxter and reflection equations.
Third order moments of complex Wigner matrices
We compute the third order moments of a complex Wigner matrix. We provide a formula for the third order moments $α_{m_1,m_2,m_3}$ in terms of quotient graphs $T_{m_1,m_2,m_3}^π$ where $π$ is the Kreweras complement of a non-crossing pairing on the annulus. We prove that these graphs can be counted using the set of partitioned permutations, this permits us to write the third order moments in terms of the high order free cumulants which have a simple expression.
The monopole-dimer model on Cartesian products of plane graphs
Published in Combinatorial Theory, Volume 3 no. 3, (2023), Article #3, 29pp
• View Publication
• BIB
The monopole-dimer model is a signed variant of the monomer-dimer model which has determinantal structure. We extend the monopole-dimer model for planar graphs (Math. Phys. Anal. Geom., 2015) to Cartesian products thereof and show that the partition function of this model can be expressed as a determinant of a generalised signed adjacency matrix. We then show that the partition function is independent of the orientations of the planar graphs so long as the orientations are Pfaffian. When these planar graphs are bipartite, we show that the computation of the partition function becomes especially simple. We then give an explicit product formula for the partition function of three-dimensional grid graphs a la Kasteleyn and Temperley--Fischer, which turns out to be fourth power of a polynomial when all grid lengths are even. Finally, we generalise this product formula to $d$ dimensions, again obtaining an explicit product formula. We conclude with a discussion on asymptotic formulas for the free energy and monopole densities.
Haglund's positivity conjecture for multiplicity one pairs
Haglund's conjecture states that $\dfrac{\langle J_λ(q,q^k),s_μ\rangle}{(1-q)^{|λ|}} \in \mathbb{Z}_{\geq 0}[q]$ for all partitions $λ,μ$ and all non-negative integers $k$, where $J_λ$ is the integral form Macdonald symmetric function and $s_μ$ is the Schur function. This paper proves Haglund's conjecture in the cases when the pair $(λ,μ)$ satisfies $K_{λ,μ}=1$ or $K_{μ',λ'}=1$ where $K$ denotes the Kostka number. We also obtain some general results about the transition matrix between Macdonald symmetric functions and Schur functions.
On the Hopf algebra of noncommutative symmetric functions in superspace
Published
• View Publication
• BIB
We study in detail the Hopf algebra of noncommutative symmetric functions in superspace sNSym, introduced by Fishel, Lapointe and Pinto. We introduce a family of primitive elements of sNSym and extend the noncommutative elementary and power sum functions to superspace. Then, we give formulas relating these families of functions. Also, we introduce noncommutative Ribbon Schur functions in superspace and provide a explicit formula for their product. We show that the dual basis of these function is given by a family of the so--called fundamental quasisymmetric functions in superspace. This allows us to obtain a explicit formula for the coproduct of fundamental quasisymmetric functions in superspace. Additionally, by projecting the noncommutative Ribbon Schur functions in superspace, we define a new basis for the algebra of symmetric functions in superspace. On the other hand, we also show that sNSym can be realised as a Hopf algebra of trees.
Restricted Nim with a Pass
This paper presents a study of restricted Nim with a pass. In the restricted Nim considered in this study, two players take turns and remove stones from the piles. In each turn, when the number of stones is m, each player is allowed to remove at least one stone and at most the ceiling of m/2 stones from a pile of m stones. The standard rules of the game are modified to allow a one-time pass, that is, a pass move that may be used at most once in the game and not from a terminal position. Once a pass has been used by either player, it is no longer available. It is well-known that in classical Nim, the introduction of the pass alters the underlying structure of the game, significantly increasing its complexity. In the restricted Nim considered in this study, the pass move was found to have a minimal impact. There is a simple relationship between the Grundy numbers of restricted Nim and the Grundy numbers of restricted Nim with a pass, where the number of piles can be any natural number. Therefore, the authors address a longstanding open question in combinatorial game theory: the extent to which the introduction of a pass into a game affects its behavior. The game that we developed appears to be the first variant of Nim that is fully solvable when a pass is not allowed and remains fully solvable following the introduction of a pass move.
Previous Player's Positions of Impartial Three-Dimensional Chocolate-Bar Games
In this study, we investigate three-dimensional chocolate bar games, which are variants of the game of Chomp. A three-dimensional chocolate bar is a three-dimensional array of cubes in which a bitter cubic box is present in some part of the bar. Two players take turns and cut the bar horizontally or vertically along the grooves. The player who manages to leave the opponent with a single bitter block is the winner. We consider the P-positions of this game, where the P-positions are positions of the game from which the previous player (the player who will play after the next player) can force a win, as long as they play correctly at every stage. We present sufficient conditions for the case when the position {p,q,r} is a P-position if and only if the bitxor of p-1, q-1, r-1, where p, q and r are the length, height, and width of the chocolate bar, respectively.
An excluded minor theorem for the Wagner graph plus an edge
Let $V_{8}+e$ denote the unique graph obtained from the Wagner graph, also known as $V_{8}$, by adding an edge between two vertices of distance 3 on the Hamilton cycle, which is exactly a split of a minor of the Petersen graph. A complete characterization of all internally 4-connected graphs with no $V_{8}$ minor is given in [J. Maharry and N. Robertson, The structure of graphs not topologically containing the Wagner graph, J. Combin. Theory Ser. B 121 (2016) 398-420]. In this paper we characterize all internally 4-connected graphs with no $V_{8}+e$ minor.
Complexity of Cut-and-Project Sets of Polytopal Type in Special Homogeneous Lie Groups
Published
• View Publication
• BIB
The aim of this paper is to determine the asymptotic growth rate of the complexity function of cut-and-project sets in the non-abelian case. In the case of model sets of polytopal type in homogeneous two-step nilpotent Lie groups we can establish that the complexity function asymptotically behaves like $r^{homdim(G) dim(H)}$. Further we generalize the concept of acceptance domains to locally compact second countable groups.
Weak Sequenceability in Cyclic Groups
Published
• View Publication
• BIB
A subset $A$ of an abelian group $G$ is sequenceable if there is an ordering $(a_1, \ldots, a_k)$ of its elements such that the partial sums $(s_0, s_1, \ldots, s_k)$, given by $s_0 = 0$ and $s_i = \sum_{j=1}^i a_i$ for $1 \leq i \leq k$, are distinct, with the possible exception that we may have $s_k = s_0 = 0$. In the literature there are several conjectures and questions concerning the sequenceability of subsets of abelian groups, which have been combined and summarized in $[4]$ into the conjecture that if a subset of an abelian group does not contain 0 then it is sequenceable. If the elements of a sequenceable set $A$ do not sum to $0$ then there exists a simple path $P$ in the Cayley graph $Cay[G:\pm A]$ such that $Δ(P) = \pm A$.
In this paper, inspired by this graph-theoretical interpretation, we propose a weakening of this conjecture. Here, under the above assumptions, we want to find an ordering whose partial sums define a walk $W$ of girth bigger than $t$ (for a given $t < k$) and such that $Δ(W) = \pm A$. This is possible given that the partial sums $s_i$ and $s_j$ are different whenever $i$ and $j$ are distinct and $|i-j|\leq t$. In this case, we say that the set $A$ is $t$-weak sequenceable. The main result here presented is that any subset $A$ of $\mathbb{Z}_p\setminus \{0\}$ is $t$-weak sequenceable whenever $t<7$ or when $A$ does not contain pairs of type $\{x,-x\}$ and $t<8$.
The maximum matching extendability and factor-criticality of 1-planar graphs
Published
• View Publication
• BIB
A graph is $1$-$planar$ if it can be drawn in the plane so that each edge is crossed by at most one other edge. Moreover, a 1-planar graph $G$ is $optimal$ if it satisfies $|E(G)|=4|V(G)|-8$. J. Fujisawa et al. [16] first considered matching extension of optimal 1-planar graphs, obtained that each optimal 1-planar graph of even order is 1-extendable and characterized 2-extendable optimal 1-planar graphs and 3-matchings extendable to perfect matchings as well. In this short paper, we prove that no optimal $1$-planar graph is 3-extendable. Further we mainly obtain that no 1-planar graph is 5-extendable by the discharge method and also construct a 4-extendable 1-planar graph. Finally we get that no 1-planar graph is 7-factor-critical and no optimal 1-planar graph is 6-factor-critical.
Solving Larger Maximum Clique Problems Using Parallel Quantum Annealing
Published
• View Publication
• BIB
Quantum annealing has the potential to find low energy solutions of NP-hard problems that can be expressed as quadratic unconstrained binary optimization problems. However, the hardware of the quantum annealer manufactured by D-Wave Systems, which we consider in this work, is sparsely connected and moderately sized (on the order of thousands of qubits), thus necessitating a minor-embedding of a logical problem onto the physical qubit hardware. The combination of relatively small hardware sizes and the necessity of a minor-embedding can mean that solving large optimization problems is not possible on current quantum annealers. In this research, we show that a hybrid approach combining parallel quantum annealing with graph decomposition allows one to solve larger optimization problem accurately. We apply the approach on the Maximum Clique problem on graphs with up to 120 nodes and 6395 edges.
The existence of tree-connected $\{g,f\}$-factors in edge-connected graphs and tough graphs
In 1970 Lov{á}sz gave a necessary and sufficient condition for the existence of a factor $F$ in a graph $G$ such that for each vertex $v$, $g(v)\le d_F(v)\le f(v)$, where $g$ and $f$ are two integer-valued functions on $V(G)$ with $g\le f$. In this paper, we give a sufficient edge-connectivity condition for the existence of an $m$-tree-connected factor $H$ in a bipartite graph $G$ with bipartition $(X,Y)$ such that its complement is $m_0$-tree-connected and for each vertex $v$, $d_H(v)\in \{g(v),f(v)\}$, provided that for each vertex $v$, $g(v)+m_0\le \frac{1}{2}d_G(v)\le f(v)-m$ and $|f(v)-g(v)|\le k$, and there is $h(v)\in \{g(v),f(v)\}$ in which $\sum_{v\in X}h(v)=\sum_{v\in Y}h(v)$. Moreover, we generalize this result to general graphs. As an application, we give sufficient conditions for the existence of tree-connected $\{g,f\}$-factors in edge-connected graphs and tough graphs.
Localized versions of extremal problems
Published
• View Publication
• BIB
We generalize several classical theorems in extremal combinatorics by replacing a global constraint with an inequality which holds for all objects in a given class. In particular we obtain generalizations of Turán's theorem, the Erdős-Gallai theorem, the LYM-inequality, the Erdős-Ko-Rado theorem and the Erdős-Szekeres theorem on sequences.
The Chromatic Number of $\mathbb{R}^{n}$ with Multiple Forbidden Distances
Published
• View Publication
• BIB
Let $A\subset\mathbb{R}_{>0}$ be a finite set of distances, and let $G_{A}(\mathbb{R}^{n})$ be the graph with vertex set $\mathbb{R}^{n}$ and edge set $\{(x,y)\in\mathbb{R}^{n}:\ \|x-y\|_{2}\in A\}$, and let $χ(\mathbb{R}^{n},A)=χ\left(G_{A}(\mathbb{R}^{n})\right)$. Erdős asked about the growth rate of the $m$-distance chromatic number \[ \barχ(\mathbb{R}^{n};m)=\max_{|A|=m}χ(\mathbb{R}^{n},A). \] We improve the best existing lower bound for $\barχ(\mathbb{R}^{n};m)$, and show that \[ \barχ(\mathbb{R}^{n};m)\geq\left(Γ_χ\sqrt{m+1}+o(1)\right)^{n} \] where $Γ_χ=0.79983\dots$ is an explicit constant. Our full result is more general, and applies to cliques in this graph. Let $χ_{k}(G)$ denote the minimum number of colors needed to color $G$ so that no color contains a $(k+1)$-clique, and let $\barχ_{k}(\mathbb{R}^{n};m)$ denote the largest value this takes for any distance set of size $m$ . Using the Partition Rank Method, we show that \[ \barχ_{k}(\mathbb{R}^{n};m)>\left(Γ_χ\sqrt{\frac{m+1}{k}}+o(1)\right)^{n}. \]