Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Local WL Invariance and Hidden Shades of Regularity
The $k$-dimensional Weisfeiler-Leman algorithm is a powerful tool in graph isomorphism testing. For an input graph $G$, the algorithm determines a canonical coloring of $s$-tuples of vertices of $G$ for each $s$ between 1 and $k$. We say that a numerical parameter of $s$-tuples is $k$-WL-invariant if it is determined by the tuple color. As an application of Dvořák's result on $k$-WL-invariance of homomorphism counts, we spot some non-obvious regularity properties of strongly regular graphs and related graph families. For example, if $G$ is a strongly regular graph, then the number of paths of length 6 between vertices $x$ and $y$ in $G$ depends only on whether or not $x$ and $y$ are adjacent (and the length 6 is here optimal). Or, the number of cycles of length 7 passing through a vertex $x$ in $G$ is the same for every $x$ (where the length 7 is also optimal).
Root lattices in number fields
Published
• View Publication
• BIB
We explore whether a root lattice may be similar to the lattice $\mathscr O$ of integers of a number field $K$ endowed with the inner product $(x, y):={\rm Trace}_{K/\mathbb Q}(x\cdotθ(y))$, where $θ$ is an involution of $K$. We classify all pairs $K$, $θ$ such that $\mathscr O$ is similar to either an even root lattice or the root lattice $\mathbb Z^{[K:\mathbb Q]}$. We also classify all pairs $K$, $θ$ such that $\mathscr O$ is a root lattice. In addition to this, we show that $\mathscr O$ is never similar to a positive-definite even unimodular lattice of rank $\leqslant 48$, in particular, $\mathscr O$ is not similar to the Leech lattice. In appendix, we give a general cyclicity criterion for the primary components of the discriminant group of $\mathscr O$.
Perfect State Transfer on Oriented Graphs
Published
• View Publication
• BIB
Quantum walks on undirected graphs have been studied using symmetric matrices, such as the adjacency or Laplacian matrix, and many results about perfect state transfer are known. We extend some of those results to oriented graphs. We also study the phenomena, unique to oriented graphs, of multiple state transfer, where there is a set of vertices such that perfect state transfer occurs between every pair in that set. We give a characterization of multiple state transfer, and a new example of a graph where it occurs.
A Catlin-type Theorem for Graph Partitioning Avoiding Prescribed Subgraphs
Published
• View Publication
• BIB
As an extension of the Brooks theorem, Catlin in 1979 showed that if $H$ is neither an odd cycle nor a complete graph with maximum degree $Δ(H)$, then $H$ has a vertex $Δ(H)$-coloring such that one of the color classes is a maximum independent set. Let $G$ be a connected graph of order at least $2$. A $G$-free $k$-coloring of a graph $H$ is a partition of the vertex set of $H$ into $V_1,\ldots,V_k$ such that $H[V_i]$, the subgraph induced on $V_i$, does not contain any subgraph isomorphic to $G$. As a generalization of Catlin's theorem we show that a graph $H$ has a $G$-free $\lceil{Δ(H)\over δ(G)}\rceil$-coloring for which one of the color classes is a maximum $G$-free subset of $V(H)$ if $H$ satisfies the following conditions; (1) $H$ is not isomorphic to $G$ if $G$ is regular, (2) $H$ is not isomorphic to $K_{kδ(G)+1}$ if $G \simeq K_{δ(G)+1}$, and (3) $H$ is not an odd cycle if $G$ is isomorphic to $K_2$. Indeed, we show even more, by proving that if $G_1,\ldots,G_k$ are connected graphs with minimum degrees $d_1,\ldots,d_k$, respectively, and $Δ(H)=\sum_{i=1}^{k}d_k$, then there is a partition of vertices of $H$ to $V_1,\ldots,V_k$ such that each $H[V_i]$ is $G_i$-free and moreover one of $V_i$s can be chosen in a way that $H[V_i]$ is a maximum $G_i$-free subset of $V(H)$ except either $k=1$ and $H$ is isomorphic to $G_1$, each $G_i$ is isomorphic to $K_{d_i+1}$ and $H$ is not isomorphic to $K_{Δ(H)+1}$, or each $G_i$ is isomorphic to $K_{2}$ and $H$ is not an odd cycle.
Vertex cut of a graph and connectivity of its neighbourhood complex
Published in Discrete Mathematics, 2023
• View Publication
• BIB
We show that if a graph $G$ satisfies certain conditions then the connectivity of neighbourhood complex $\mathcal{N}(G)$ is strictly less than the vertex connectivity of $G$. As an application, we give a relation between the connectivity of the neighbourhood complex and the vertex connectivity for stiff chordal graphs, and for weakly triangulated graphs satisfying certain properties. Further, we prove that for a graph $G$ if there exists a vertex $v$ satisfying the property that for any $k$-subset $S$ of neighbours of $v$, there exists a vertex $v_S \neq v$ such that $S$ is subset of neighbours of $v_S$, then $\mathcal{N}(G-\{v\})$ is $(k-1)$-connected implies that $\mathcal{N}(G)$ is $(k-1)$-connected. As a consequence of this, we show that:(i) neighbourhood complexes of queen and king graphs are simply connected and (ii) if $G$ is a $(n+1)$-connected chordal graph which is not folded onto a clique of size $n+2$, then $\mathcal{N}(G)$ is $n$-connected.
Oriented Matroids and Combinatorial Neural Codes
Published
• View Publication
• BIB
A combinatorial neural code $\mathscr C\subseteq 2^{[n]}$ is convex if it arises as the intersection pattern of convex open subsets of $\mathbb R^d$. We relate the emerging theory of convex neural codes to the established theory of oriented matroids, both categorically and with respect to geometry and computational complexity. On the categorical side, we show that the map taking an acyclic oriented matroid to the code of positive parts of its topes is a faithful functor. We adapt the oriented matroid ideal introduced by Novik, Postnikov, and Sturmfels into a functor from the category of oriented matroids to the category of rings; then, we show that the resulting ring maps naturally to the neural ring of the matroid's neural code.
For geometry and computational complexity, we show that a code has a realization with convex polytopes if and only if it lies below the code of a representable oriented matroid in the partial order of codes introduced by Jeffs. We show that previously published examples of non-convex codes do not lie below any oriented matroids, and we construct examples of non-convex codes lying below non-representable oriented matroids. By way of this construction, we can apply Mnëv-Sturmfels universality to show that deciding whether a combinatorial code is convex is NP-hard.
Graphs on surfaces with positive Forman curvature or corner curvature
Published
• View Publication
• BIB
On one hand, we study the class of graphs on surfaces, satisfying tessellation properties, with positive Forman curvature on each edge. Via medial graphs, we provide a new proof for the finiteness of the class, and give a complete classification. On the other hand, we classify the class of graphs on surfaces with positive corner curvature.
Erdős-Ko-Rado theorem and bilinear forms graphs for matrices over residue class rings
Published
• View Publication
• BIB
Let $h=\prod_{i=1}^{t}p_i^{s_i}$ be its decomposition into a product of powers of distinct primes, and $\mathbb{Z}_{h}$ be the residue class ring modulo $h$. Let $1\leq r\leq m\leq n$ and $\mathbb{Z}_{h}^{m\times n}$ be the set of all $m\times n$ matrices over $\mathbb{Z}_{h}$. The generalized bilinear forms graph over $\mathbb{Z}_{h}$, denoted by $\hbox{Bil}_r(\mathbb{Z}_{h}^{m\times n})$, has the vertex set $\mathbb{Z}_{h}^{m\times n}$, and two distinct vertices $A$ and $B$ are adjacent if the inner rank of $A-B$ is less than or equal to $r$. In this paper, we determine the clique number and geometric structures of maximum cliques of $\hbox{Bil}_r(\mathbb{Z}_{h}^{m\times n})$. As a result, the Erdős-Ko-Rado theorem for $\mathbb{Z}_h^{m\times n}$ is obtained.
Optimal embedding and spectral gap of a finite graph
Published
• View Publication
• BIB
We introduce a new optimization problem regarding embeddings of a graph into a Euclidean space and discuss its relation to the two, mutually dual, optimizations problems introduced by Goering-Helmberg-Wappler. We prove that the Laplace eigenvalue maximization problem of Goering et al is also dual to our embedding optimization problem. We solve the optimization problems for generalized polygons and graphs isomorphic to the one-skeltons of regular and semi-regular polyhedra.
Acyclic matchings in graphs of bounded maximum degree
Published
• View Publication
• BIB
A matching $M$ in a graph $G$ is acyclic if the subgraph of $G$ induced by the set of vertices that are incident to an edge in $M$ is a forest. We prove that every graph with $n$ vertices, maximum degree at most $Δ$, and no isolated vertex, has an acyclic matching of size at least $(1-o(1))\frac{6n}{Δ^2},$ and we explain how to find such an acyclic matching in polynomial time.
On two congruences involving Franel numbers
Published
• View Publication
• BIB
Via symbolic summation method, we establish the following series for $π^2$: \begin{align*} \sum_{k=1}^\infty \frac{H_k-2H_{2k}}{(-3)^k k} = \frac{π^2}{18}, \end{align*} where $H_k=\sum_{j=1}^k 1/j$. We also derive a $p$-adic congruence related to this series. As an application, we prove two congruences involving Franel numbers, one of which was originally conjectured by Sun.
A Calderón type inverse problem for tree graphs
Published
• View Publication
• BIB
We study the inverse problem of recovering a tree graph together with the weights on its edges (equivalently a metric tree) from the knowledge of the Dirichlet-to-Neumann matrix associated with the Laplacian. We prove an explicit formula which relates this matrix to the pairwise weighted distances of the leaves of the tree and, thus, allows to recover the weighted tree. This result can be viewed as a counterpart of the Calderón problem in the analysis of PDEs. In contrast to earlier results on inverse problems for metric graphs, we only assume knowledge of the Dirichlet-to-Neumann matrix for a fixed energy, not of a whole matrix-valued function.
The random 2-SAT partition function
Published
• View Publication
• BIB
We show that throughout the satisfiable phase the normalised number of satisfying assignments of a random $2$-SAT formula converges in probability to an expression predicted by the cavity method from statistical physics. The proof is based on showing that the Belief Propagation algorithm renders the correct marginal probability that a variable is set to `true' under a uniformly random satisfying assignment.
Algebraic Manipulation Detection Codes via Highly Nonlinear Functions
Published
• View Publication
• BIB
In this paper, we study the relationship between algebraic manipulation detection (AMD) codes and highly nonlinear functions. As applications, on one hand, a generic construction for systematic AMD codes is introduced based on highly nonlinear functions. Systematic AMD codes with new parameters can be generated from known highly nonlinear functions. Especially, several infinite classes of optimal systematic AMD codes, some with asymptotically optimal tag size, can be constructed. On the other hand, systematic AMD codes are used to construct highly nonlinear functions. The known construction by Cramer et al. [10] for systematic AMD codes turns out to be based on a special kind of functions with high nonlinearity.
On additive bases in infinite abelian semigroups
Published in Journal of Combinatorial Algebra 7, 1-2 (2023) 1-44
• View Publication
• BIB
Building on previous work by Lambert, Plagne and the third author, we study various aspects of the behavior of additive bases in infinite abelian groups and semigroups. We show that, for every infinite abelian group $T$, the number of essential subsets of any additive basis is finite, and also that the number of essential subsets of cardinality $k$ contained in an additive basis of order at most $h$ can be bounded in terms of $h$ and $k$ alone. These results extend the reach of two theorems, one due to Deschamps and Farhi and the other to Hegarty, bearing upon $\mathbf{N}$. Also, using invariant means, we address a classical problem, initiated by Erdős and Graham and then generalized by Nash and Nathanson both in the case of $\mathbf{N}$, of estimating the maximal order $X_T(h,k)$ that a basis of cocardinality $k$ contained in an additive basis of order at most $h$ can have. Among other results, we prove that $X_T(h,k)=O(h^{2k+1})$ for every integer $k \ge 1$. This result is new even in the case where $k=1$. Besides the maximal order $X_T(h,k)$, the typical order $S_T(h,k)$ is also studied. Our methods actually apply to a wider class of infinite abelian semigroups, thus unifying in a single axiomatic frame the theory of additive bases in $\mathbf{N}$ and in abelian groups.
Rational polytopes with Ehrhart coefficients of arbitrary period
Published
• View Publication
• BIB
A seminal result of E. Ehrhart states that the number of integer lattice points in the dilation of a rational polytope by a positive integer $k$ is a quasi-polynomial function of $k$ --- that is, a "polynomial" in which the coefficients are themselves periodic functions of $k$. Using a result of F. Liu on the Ehrhart polynomials of cyclic polytopes, we construct not-necessarily-convex rational polytopes of arbitrary dimension in which the periods of the coefficient functions appearing in the Ehrhart quasi-polynomial take on arbitrary values.
Edge-Isoperimetric Inequalities and Ball-Noise Stability: Linear Programming and Probabilistic Approaches
Published in Journal of Combinatorial Theory, Series A, 2022
• View Publication
• BIB
Let $Q_{n}^{r}$ be the graph with vertex set $\{-1,1\}^{n}$ in which two vertices are joined if their Hamming distance is at most $r$. The edge-isoperimetric problem for $Q_{n}^{r}$ is that: For every $(n,r,M)$ such that $1\le r\le n$ and $1\le M\le2^{n}$, determine the minimum edge-boundary size of a subset of vertices of $Q_{n}^{r}$ with a given size $M$. In this paper, we apply two different approaches to prove bounds for this problem. The first approach is a linear programming approach and the second is a probabilistic approach. Our bound derived by the first approach generalizes the tight bound for $M=2^{n-1}$ derived by Kahn, Kalai, and Linial in 1989. Moreover, our bound is also tight for $M=2^{n-2}$ and $r\le\frac{n}{2}-1$. Our bounds derived by the second approach are expressed in terms of the \emph{noise stability}, and they are shown to be asymptotically tight as $n\to\infty$ when $r=2\lfloor\frac{βn}{2}\rfloor+1$ and $M=\lfloor\alpha2^{n}\rfloor$ for fixed $α,β\in(0,1)$, and is tight up to a factor $2$ when $r=2\lfloor\frac{βn}{2}\rfloor$ and $M=\lfloor\alpha2^{n}\rfloor$. In fact, the edge-isoperimetric problem is equivalent to a ball-noise stability problem which is a variant of the traditional (i.i.d.-) noise stability problem. Our results can be interpreted as bounds for the ball-noise stability problem.
Bounds on the spectrum of nonsingular triangular $(0,1)$-matrices
Published
• View Publication
• BIB
Let $K_n$ be the set of all nonsingular $n\times n$ lower triangular $(0,1)$-matrices. Hong and Loewy (2004) introduced the numbers $$ c_n={\rm min}\{λ\mid λ~\text{is an eigenvalue of}~XX^{\rm T},~X\in K_n\},\quad n\in\mathbb{Z}_+. $$ A related family of numbers was considered by Ilmonen, Haukkanen, and Merikoski (2008): $$ C_n={\rm max}\{λ\mid λ~\text{is an eigenvalue of}~XX^{\rm T},~X\in K_n\},\quad n\in\mathbb{Z}_+. $$ These numbers can be used to bound the singular values of matrices belonging to $K_n$ and they appear, e.g., in eigenvalue bounds for power GCD matrices, lattice-theoretic meet and join matrices, and related number-theoretic matrices. In this paper, it is shown that for $n$ odd, one has the lower bound $$ c_n\geq \frac{1}{\sqrt{\frac{1}{25}\varphi^{-4n}+\frac{2}{25}\varphi^{-2n}-\frac{2}{5\sqrt{5}}n\varphi^{-2n}-\frac{23}{25}+n+\frac{2}{25}\varphi^{2n}+\frac{2}{5\sqrt{5}}n\varphi^{2n}+\frac{1}{25}\varphi^{4n}}}, $$ and for $n$ even, one has $$ c_n\geq \frac{1}{\sqrt{\frac{1}{25}\varphi^{-4n}+\frac{4}{25}\varphi^{-2n}-\frac{2}{5\sqrt{5}}n\varphi^{-2n}-\frac{2}{5}+n+\frac{4}{25}\varphi^{2n}+\frac{2}{5\sqrt{5}}n\varphi^{2n}+\frac{1}{25}\varphi^{4n}}}, $$ where $\varphi$ denotes the golden ratio. These lower bounds improve the estimates derived previously by Mattila (2015) and Altinişik et al. (2016). The sharpness of these lower bounds is assessed numerically and it is conjectured that $c_n\sim 5\varphi^{-2n}$ as $n\to\infty$. In addition, a new closed form expression is derived for the numbers $C_n$, viz. $$ C_n=\frac14 \csc^2\bigg(\fracπ{4n+2}\bigg)=\frac{4n^2}{π^2}+\frac{4n}{π^2}+\bigg(\frac{1}{12}+\frac{1}{π^2}\bigg)+\mathcal{O}\bigg(\frac{1}{n^2}\bigg),\quad n\in\mathbb{Z}_+. $$
A semi-small decomposition of the Chow ring of a matroid
Published
• View Publication
• BIB
We give a semi-small orthogonal decomposition of the Chow ring of a matroid M. The decomposition is used to give simple proofs of Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations for the Chow ring, recovering the main result of [AHK18]. We also show that a similar semi-small orthogonal decomposition holds for the augmented Chow ring of M.
Cut vertex and unicyclic graphs with the maximum number of connected induced subgraphs
Published
• View Publication
• BIB
Cut vertices are often used as a measure of nodes' importance within a network. They are those nodes whose failure disconnects a graph. Let N(G) be the number of connected induced subgraphs of a graph $G$. In this work, we investigate the maximum of N(G) where $G$ is a unicyclic graph with $n$ nodes of which $c$ are cut vertices. For all valid $n,c$, we give a full description of those maximal (that maximise N(.)) unicyclic graphs. It is found that there are generally two maximal unicyclic graphs. For infinitely many values of $n,c$, however, there is a unique maximal unicyclic graph with $n$ nodes and $c$ cut vertices. In particular, the well-known negative correlation between the number of connected induced subgraphs of trees and the Wiener index (sum of distances) fails for unicyclic graphs with $n$ nodes and $c$ cut vertices: for instance, the maximal unicyclic graph with $n=3,4\mod 5$ nodes and $c=n-5>3$ cut vertices is different from the unique graph that was shown by Tan et al.~[{\em The Wiener index of unicyclic graphs given number of pendant vertices or cut vertices}. J. Appl. Math. Comput., 55:1--24, 2017] to minimise the Wiener index. Our main characterisation of maximal unicyclic graphs with respect to the number of connected induced subgraphs also applies to unicyclic graphs with $n$ nodes, $c$ cut vertices and girth at most $g>3$, since it is shown that the girth of every maximal graph with $n$ nodes and $c$ cut vertices cannot exceed $4$.