Showing 20 papers (Total: 84460 papers, 48641 authors in database)
$b$-invariant edges in essentially 4-edge-connected near-bipartite cubic bricks
Published
• View Publication
• BIB
A {\em brick} is a non-bipartite matching covered graph without non-trivial tight cuts. Bricks are building blocks of matching covered graphs. We say that an edge $e$ in a brick $G$ is {\em $b$-invariant} if $G-e$ is matching covered and a tight cut decomposition of $G-e$ contains exactly one brick. A 2-edge-connected cubic graph is {\em essentially 4-edge-connected} if it does not contain nontrivial 3-cuts. A brick $G$ is {\em near-bipartite} if it has a pair of edges $\{e_1, e_2\}$ such that $G-\{e_1,e_2\}$ is bipartite and matching covered.
Kothari, de Carvalho, Lucchesi and Little proved that each essentially 4-edge-connected cubic non-near-bipartite brick $G$, distinct from the Petersen graph, has at least $|V(G)|$ $b$-invariant edges. Moreover, they made a conjecture: every essentially 4-edge-connected cubic near-bipartite brick $G$, distinct from $K_4$, has at least $|V(G)|/2$ $b$-invariant edges. We confirm the conjecture in this paper. Furthermore, all the essentially 4-edge-connected cubic near-bipartite bricks, the numbers of $b$-invariant edges of which attain the lower bound, are presented.
Low dimensional strongly perfect lattices IV: The dual strongly perfect lattices of dimension 16
Published in J. Number Theory, 208 (2020), 262-294
• View Publication
• BIB
We classify the dual strongly perfect lattices in dimension 16. There are four pairs of such lattices, the famous Barnes-Wall lattice $Λ_{16}$, the extremal 5-modular lattice $N_{16}$, the odd Barnes-Wall lattice $O_{16}$ and its dual, and one pair of new lattices $Γ_{16}$ and its dual. The latter pair belongs to a new infinite series of dual strongly perfect lattices, the sandwiched Barnes-Wall lattices, described by the authors in a previous paper. An updated table of all known strongly perfect lattices up to dimension 26 is available in the catalogue of lattices.
The worst way to collapse a simplex
Published
• View Publication
• BIB
In general a contractible complex need not be collapsible. Moreover, there exist complexes which are collapsible but even so admit a collapsing sequence where one "gets stuck", that is one can choose the collapses in such a way that one arrives at a nontrivial complex which admits no collapsing moves. Here we examine this phenomenon in the case of a simplex. In particular we characterize all values of $n$ and $d$ so that the n-simplex may collapse to a d-complex from which no further collapses are possible. Equivalently and in the language of high-dimensional generalizations of trees, we construct hypertrees that are anticollapsible, but not collapsible. Furthermore we examine anticollapsibility in random simplicial complexes.
Geometries in perturbative quantum field theory
Published
• View Publication
• BIB
In perturbative quantum field theory one encounters certain, very specific geometries over the integers. These perturbative quantum geometries determine the number contents of the amplitude considered. In the article `Modular forms in quantum field theory' F. Brown and the author report on a first list of perturbative quantum geometries using the $c_2$-invariant in $φ^4$ theory. A main tool was denominator reduction which allowed the authors to examine graphs up to loop order (first Betti number) 10. We introduce an improved quadratic denominator reduction which makes it possible to extend the previous results to loop order 11 (and partially orders 12 and 13). For comparison, also non-$φ^4$ graphs are investigated. Here, we extend the results from loop order 9 to 10. The new database of 4801 unique $c_2$-invariants (previously 157) -- while being consistent with all major $c_2$-conjectures -- leads to a more refined picture of perturbative quantum geometries. In the appendix, Friedrich Knop proves a Chevalley-Warning-Ax theorem for double covers of affine space.
A gap in the slice rank of $k$-tensors
Published
• View Publication
• BIB
The slice-rank method, introduced by Tao as a symmetrized version of the polynomial method of Croot, Lev and Pach and Ellenberg and Gijswijt, has proved to be a useful tool in a variety of combinatorial problems. Explicit tensors have been introduced in different contexts but little is known about the limitations of the method.
In this paper, building upon a method presented by Tao and Sawin, it is proved that the asymptotic slice rank of any $k$-tensor in any field is either $1$ or at least $k/(k-1)^{(k-1)/k}$. This provides evidence that straight-forward application of the method cannot give useful results in certain problems for which non-trivial exponential bounds are already known. An example, actually a motivation for starting this work, is the problem of bounding the size of trifferent sets of sequences, which constitutes a long-standing open problem in information theory and in theoretical computer science.
Distribution of distances in positive characteristic
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be an arbitrary finite field, and $\mathcal{E}$ be a set of points in $\mathbb{F}_q^d$. Let $Δ(\mathcal{E})$ be the set of distances determined by pairs of points in $\mathcal{E}$. By using the Kloosterman sums, Iosevich and Rudnev proved that if $|\mathcal{E}|\ge 4q^{\frac{d+1}{2}}$, then $Δ(\mathcal{E})=\mathbb{F}_q$. In general, this result is sharp in odd-dimensional spaces over arbitrary finite fields. In this paper, we use the recent point-plane incidence bound due to Rudnev to prove that if $\mathcal{E}$ has Cartesian product structure in vector spaces over prime fields, then we can break the exponent $(d+1)/2$, and still cover all distances. We also show that the number of pairs of points in $\mathcal{E}$ of any given distance is close to its expected value.
Spectra of random regular hypergraphs
Published in The Electronic Journal of Combinatorics, 28(3), P3-36, 2021
• View Publication
• BIB
In this paper, we study the spectra of regular hypergraphs following the definitions from Feng and Li (1996). Our main result is an analog of Alon's conjecture for the spectral gap of the random regular hypergraphs. We then relate the second eigenvalues to both its expansion property and the mixing rate of the non-backtracking random walk on regular hypergraphs. We also prove the spectral gap for the non-backtracking operator of a random regular hypergraph introduced in Angelini et al. (2015). Finally, we obtain the convergence of the empirical spectral distribution (ESD) for random regular hypergraphs in different regimes. Under certain conditions, we can show a local law for the ESD.
Algorithm to Detect Periodicity by Interleaving Sequences
We define an algorithm which begins with an sequence of sequences, and produces a single sequence, with following property: If at least one of the original sequences has a tail that is periodic, then the output sequence has a periodic tail, and conversely. Our purpose is to supplement a result by Dasaratha et al., in which a real number input results in a countable family of sequences, with the property that at least one is eventually periodic if and only if the input is a cubic irrational number. This result, in the context of that one, attempts to address Hermite's problem, which asks for some generalization of continued fractions that can detect cubic numbers via periodicity. We note in our ending remarks how this particular trick fails to give a satisfying resolution to Hermite's problem, but we present it anyway, for anyone whom it may interest.
Signless Laplacian spectral radius and fractional matchings in graphs
Published
• View Publication
• BIB
A fractional matching of a graph $G$ is a function $f$ giving each edge a number in $[0,1]$ such that $\sum_{e\inΓ(v)}f(e)\leq1$ for each vertex $v\in V(G)$, where $Γ(v)$ is the set of edges incident to $v$. The fractional matching number of $G$, written $α^{\prime}_*(G)$, is the maximum value of $\sum_{e\in E(G)}f(e)$ over all fractional matchings. In this paper, we investigate the relations between the fractional matching number and the signless Laplacian spectral radius of a graph. Moreover, we give some sufficient spectral conditions for the existence of a fractional perfect matching.
Kirchhoff index, multiplicative degree-Kirchhoff index and spanning trees of the linear crossed polyomino chains
Let $G_n$ be a linear crossed polyomino chain with $n$ four-order complete graphs. In this paper, explicit formulas for the Kirchhoff index, the multiplicative degree-Kirchhoff index and the number of spanning trees of $G_n$ are determined, respectively. It is interesting to find that the Kirchhoff (resp. multiplicative degree-Kirchhoff) index of $G_n$ is approximately one quarter of its Wiener (resp. Gutman) index. More generally, let $\mathcal{G}^r_n$ be the set of subgraphs obtained by deleting $r$ vertical edges of $G_n$, where $0\leqslant r\leqslant n+1$. For any graph $G^r_n\in \mathcal{G}^r_{n}$, its Kirchhoff index and number of spanning trees are completely determined, respectively. Finally, we show that the Kirchhoff index of $G^r_n$ is approximately one quarter of its Wiener index.
Association schemes for diagonal groups
For any finite group $G$, and any positive integer $n$, we construct an association scheme which admits the diagonal group $D_n(G)$ as a group of automorphisms. The rank of the association scheme is the number of partitions of $n$ into at most $|G|$ parts, so is $p(n)$ if $|G|\ge n$; its parameters depend only on $n$ and $|G|$. For $n=2$, the association scheme is trivial, while for $n=3$ its relations are the Latin square graph associated with the Cayley table of $G$ and its complement.
A transitive permutation group $G$ is said to be \emph{AS-free} if there is no non-trivial association scheme admitting $G$ as a group of automorphisms. A consequence of our construction is that an AS-free group must be either $2$-homogeneous or almost simple.
We construct another association scheme, finer than the above scheme if $n>3$, from the Latin hypercube consisting of $n$-tuples of elements of $G$ with product the identity.
Trees whose even-degree vertices induce a path are antimagic
Published in Discuss. Math. Graph T. 42 (2022) 959-966
• View Publication
• BIB
An antimagic labeling a connected graph $G$ is a bijection from the set of edges $E(G)$ to $\{1,2,\dots,|E(G)|\}$ such that all vertex sums are pairwise distinct, where the vertex sum at vertex $v$ is the sum of the labels assigned to edges incident to $v$. A graph is called antimagic if it has an antimagic labeling. In 1990, Hartsfield and Ringel conjectured that every simple connected graph other than $K_2$ is antimagic; however, the conjecture remains open, even for trees. In this note we prove that trees whose vertices of even degree induce a path are antimagic, extending a result given by Liang, Wong, and Zhu [Discrete Math. 331 (2014) 9--14].
On planar Cayley graphs and Kleinian groups
Published
• View Publication
• BIB
Let $G$ be a finitely generated group acting faithfully and properly discontinuously by homeomorphisms on a planar surface $X \subseteq \mathbb{S}^2$. We prove that $G$ admits such an action that is in addition co-compact, provided we can replace $X$ by another surface $Y \subseteq \mathbb{S}^2$.
We also prove that if a group $H$ has a finitely generated Cayley (multi-)graph $C$ covariantly embeddable in $\mathbb{S}^2$, then $C$ can be chosen so as to have no infinite path on the boundary of a face.
The proofs of these facts are intertwined, and the classes of groups they define coincide. In the orientation-preserving case they are exactly the (isomorphism types of) finitely generated Kleinian function groups. We construct a finitely generated planar Cayley graph whose group is not in this class.
In passing, we observe that the Freudenthal compactification of every planar surface is homeomorphic to the sphere.
Covers, orientations and factors
Given a graph $G$ with only even degrees let $\varepsilon(G)$ denote the number of Eulerian orientations, and let $h(G)$ denote the number of half graphs, that is, subgraphs $F$ such that $d_F(v)=d_G(v)/2$ for each vertex $v$. Recently, Borbényi and Csikvári proved that $\varepsilon(G)\geq h(G)$ holds true for all Eulerian graphs with equality if and and only if $G$ is bipartite. In this paper we give a simple new proof of this fact, and we give identities and inequalities for the number of Eulerian orientations and half graphs of a $2$-cover of a graph $G$.
Antichain generating polynomials of posets
This paper gives a formula for the antichain generating polynomial $\mathcal{N}_{[k]\times Q}$ of the poset $[k]\times Q$, where $[k]$ is an arbitrary chain and $Q$ is any finite graded poset. When $Q$ specializes to be a connected minuscule poet, which was classified by Proctor in 1984, we find that the polynomial $\mathcal{N}_{[k]\times Q}$ bears nice properties. For instance, we will recover the $B_n$-Narayana polynomial and the $D_{2n+2}$-Narayana polynomial. We collect evidence for the conjecture that whenever $\mathcal{N}_{[k]\times P}(x)$ is palindromic, it must be $γ$-positive. Moreover, the family $\mathcal{N}_{[2]\times [n]\times [m]}$ should be real-rooted and $\mathcal{N}_{[2]\times [n]\times [n+1]}$ should be $γ$-positive. We also conjecture that $\mathcal{N}_{Q}(x)$ is log-concave (thus unimodal) for any connected Peck poset $Q$.
A note on the surjectivity of operators on vector bundles over discrete spaces
Published
• View Publication
• BIB
In this note we give a short and self-contained proof for a criterion of Eidelheit on the solvability of linear equations in infinitely many variables. We use this criterion to study the surjectivity of magnetic Schrödinger operators on bundles over graphs.
On The Double Roman bondage numbers of Graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$, a double roman dominating function (DRDF) is a function $f : V \longrightarrow \{0, 1, 2,3\}$ having the property that if $f(v)=0$ for some vertex $v$, then $v$ has at least two neighbors assigned $2$ under $f$ or one neighbor $w$ with $f(w)=3$, and if $f(v)=1$ then $v$ has at least one neighbor $w$ with $f(w) \geq 2$. The weight of a DRDF $f$ is the sum $f (V) =\sum_{u\in V} f (u)$. The minimum weight of a DRDF on a graph $G$ is the double Roman domination number of $G$ and is denoted by $γ_{dR}(G)$. The double roman bondage number of $G$, denoted by $b_{dR}(G)$, is the minimum cardinality among all edge subsets $B \subseteq E(G)$ such that $γ_{dR}(G-B) > γ_{dR}(G)$. In this paper we study the double roman bondage number in graphs. We determine the double roman bondage number in several families of graphs, and present several bounds for the double roman bondage number. We also study the complexity issue of the double roman bondage number and prove that the decision problem for the double roman bondage number is NP-hard even when restricted to bipartite graphs.
Wiener Index and Remoteness in Triangulations and Quadrangulations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (March 8, 2021) dmtcs:6473
• View Publication
• BIB
Let $G$ be a a connected graph. The Wiener index of a connected graph is the sum of the distances between all unordered pairs of vertices. We provide asymptotic formulae for the maximum Wiener index of simple triangulations and quadrangulations with given connectivity, as the order increases, and make conjectures for the extremal triangulations and quadrangulations based on computational evidence. If $\overlineσ(v)$ denotes the arithmetic mean of the distances from $v$ to all other vertices of $G$, then the remoteness of $G$ is defined as the largest value of $\overlineσ(v)$ over all vertices $v$ of $G$. We give sharp upper bounds on the remoteness of simple triangulations and quadrangulations of given order and connectivity.
A Multiparametric Quon Algebra
Published
• View Publication
• BIB
The quon algebra is an approach to particle statistics introduced by Greenberg in order to provide a theory in which the Pauli exclusion principle and Bose statistics are violated by a small amount. We generalize these models by introducing a deformation of the quon algebra generated by a collection of operators $\mathtt{a}_i$, $i \in \mathbb{N}^*$ the set of positive integers, on an infinite dimensional module satisfying the $q_{i,j}$-mutator relations $\mathtt{a}_i \mathtt{a}_j^† - q_{i,j}\, \mathtt{a}_j^† \mathtt{a}_i = δ_{i,j}$. The realizability of our model is proved by means of the Aguiar-Mahajan bilinear form on the chambers of hyperplane arrangements. We show that, for suitable values of $q_{i,j}$, the module generated by the particle states obtained by applying combinations of $\mathtt{a}_i$'s and $\mathtt{a}_i^†$'s to a vacuum state $|0\rangle$ is an indefinite Hilbert module. Furthermore, we refind the extended Zagier's conjecture established independently by Meljanac et al. and by Duchamp et al.
Yang-Baxter random fields and stochastic vertex models
Published
• View Publication
• BIB
Bijectivization refines the Yang-Baxter equation into a pair of local Markov moves which randomly update the configuration of the vertex model. Employing this approach, we introduce new Yang-Baxter random fields of Young diagrams based on spin $q$-Whittaker and spin Hall-Littlewood symmetric functions. We match certain scalar Markovian marginals of these fields with (1) the stochastic six vertex model; (2) the stochastic higher spin six vertex model; and (3) a new vertex model with pushing which generalizes the $q$-Hahn PushTASEP introduced recently by Corwin-Matveev-Petrov (arXiv:1811.06475). Our matchings include models with two-sided stationary initial data, and we obtain Fredholm determinantal expressions for the $q$-Laplace transforms of the height functions of all these models. Moreover, we also discover difference operators acting diagonally on spin $q$-Whittaker or (stable) spin Hall-Littlewood symmetric functions.