Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Stabbing non-piercing sets and face lengths in large girth plane graphs
We show that a non-piercing family of connected planar sets with bounded independence number can be stabbed with a constant number of points. As a consequence, we answer a question of Axenovich, Kießle and Sagdeev about the largest possible face length of an edge-maximal plane graph with girth at least $\ell$.
Re-imagining Spectral Graph Theory
We propose a Laplacian based on general inner product spaces, which we call the inner product Laplacian. We show the combinatorial and normalized graph Laplacians, as well as other Laplacians for hypergraphs and directed graphs, are special cases of the inner product Laplacian. After developing the necessary basic theory for the inner product Laplacian, we establish generalized analogs of key isoperimetric inequalities, including the Cheeger inequality and expander mixing lemma. Dirichlet and Neumann subgraph eigenvalues may also be recovered as appropriate limit points of a sequence of inner product Laplacians. In addition to suggesting a new context through which to examine existing Laplacians, this generalized framework is also flexible in applications: through choice of an inner product on the vertices and edges of a graph, the inner product Laplacian naturally encodes both combinatorial structure and domain-knowledge.
On the Asymptotics of the Connectivity Probability of Random Bipartite Graphs
In this paper, we analyze the exact asymptotic behavior of the connectivity probability in a random binomial bipartite graph $G(n,m,p)$ under various regimes of the edge probability $p=p(n)$. To determine this probability, a method based on the analysis of inhomogeneous random walks is proposed.
Monochromatic configurations on a circle
If we two-colour a circle, we can always find an inscribed triangle with angles $(\fracπ{7},\frac{2π}{7},\frac{4π}{7})$ whose three vertices have the same colour. In fact, Bialostocki and Nielsen showed that it is enough to consider the colours on the vertices of an inscribed heptagon. We prove that for every other triangle $T$ there is a two-colouring of the circle without any monochromatic copy of $T$.
More generally, for $k\geq 3$, call a $k$-tuple $(d_1,d_2,\dots,d_k)$ with $d_1\geq d_2\geq \dots \geq d_k>0$ and $\sum_{i=1}^k d_i=1$ a Ramsey $k$-tuple if the following is true: in every two-colouring of the circle of unit perimeter, there is a monochromatic $k$-tuple of points in which the distances of cyclically consecutive points, measured along the arcs, are $d_1,d_2,\dots,d_k$ in some order. By a conjecture of Stromquist, if $d_i=\frac{2^{k-i}}{2^k-1}$, then $(d_1,\dots,d_k)$ is Ramsey.
Our main result is a proof of the converse of this conjecture. That is, we show that if $(d_1,\dots,d_k)$ is Ramsey, then $d_i=\frac{2^{k-i}}{2^k-1}$. We do this by finding connections of the problem to certain questions from number theory about partitioning $\mathbb{N}$ into so-called Beatty sequences. We also disprove a majority version of Stromquist's conjecture, study a robust version, and discuss a discrete version.
Rainbow Threshold Graphs
We define a generalization of threshold graphs which we call $k$-rainbow threshold graphs. We show that the collection of $k$-rainbow threshold graphs do not satisfy the $0$-$1$ law for first order logic and that asymptotically almost surely all $(k+1)$-rainbow threshold graphs are not isomorphic to a $k$-rainbow threshold graph.
Disjoint chorded cycles in a $2$-connected graph
A chorded cycle in a graph $G$ is a cycle on which two nonadjacent vertices are adjacent in the graph $G$. In 2010, Gao and Qiao independently proved a graph of order at least $4s$, in which the neighborhood union of any two nonadjacent vertices has at least $4s+1$ vertices, contains $s$ vertex-disjoint chorded cycles. In 2022, Gould raised a problem that asks whether increasing connectivity would improve the neighborhood union condition. In this paper, we solve the problem for $2$-connected graphs by
proving that a $2$-connected graph of order at least $4s$, in which the neighborhood union of any two nonadjacent vertices has at least $4s$ vertices, contains $s$ vertex-disjoint chorded cycles.
The characteristic polynomials of $r$-uniform hypercycles with length $l$
Let $C_{l}$ be a cycle with length $l.$ The $r$-uniform hypercycle with length $l$ is obtained by adding $r-2$ new vertices in every edge of $C_{l},$ denoted by $C_l^{(r)}$. In this paper, we deduce some higher-order traces for the adjacent tensor of $C_l^{(r)}$ by BEST Theorem. Then we obtain higher-order spectral moments according to the relationship between eigenvalues of power hypergraphs and eigenvalues of signed graphs. Finally, the general expression of the characteristic polynomials of $C_l^{(r)}$ is given. Furthermore, by using this general expression, we present the characteristic polynomials of $C_5^{(r)}$ and $C_6^{(r)}$ as examples.
Direct and Inverse Problems for Restricted Signed Sumsets -- II
Let $A=\{a_{1},\ldots,a_{k}\}$ be a nonempty finite subset of an additive abelian group $G$. For a positive integer $h$, the restricted $h$-fold signed sumset of $A$, denoted by $h^{\wedge}_{\pm}A$, is defined as $$h^{\wedge}_{\pm}A = \left\lbrace \sum_{i=1}^{k} λ_{i} a_{i}: λ_{i} \in \left\lbrace -1, 0, 1\right\rbrace \ \text{for} \ i= 1, 2, \ldots, k \ \text{and} \ \sum_{i=1}^{k} \left|λ_{i} \right| =h\right\rbrace. $$ A direct problem for the restricted $h$-fold signed sumset is to find the optimal size of $h^{\wedge}_{\pm}A$ in terms of $h$ and $|A|$. An inverse problem for this sumset is to determine the structure of the underlying set $A$ when the sumset has optimal size. While the signed sumsets (which is defined differently compared to the restricted signed sumset) in finite abelian groups has been investigated by Bajnok and Matzke, the restricted $h$-fold signed sumset $h^{\wedge}_{\pm}A$ is not well studied even in the additive group of integers $\Bbb Z$. Bhanja, Komatsu and Pandey studied these problems for the restricted $h$-fold signed sumset for $h=2, 3$, and $k$, and conjectured some direct and inverse results for $h \geq 4$. In a recent paper, Mistri and Prajapati proved these conjectures completely for the set of positive integers. In this paper, we prove these conjectures for the set of nonnegative integers, which settles all the conjectures completely.
The speed of random walks on semigroups
We construct, for each real number $0\leq α\leq 1$, a random walk on a finitely generated semigroup whose speed exponent is $α$. We further show that the speed function of a random walk on a finitely generated semigroup can be arbitrarily slow, yet tending to infinity. These phenomena demonstrate a sharp contrast from the group-theoretic setting. On the other hand, we show that the distance of a random walk on a finitely generated semigroup from its starting position is infinitely often larger than a non-constant universal lower bound, excluding a certain degenerate case.
Homological invariants of edge ideals of weighted oriented graphs
We determine all possible triples of depth, dimension, and regularity of edge ideals of weighted oriented graphs with a fixed number of vertices. Also, we compute all the possible Betti table sizes of edge ideals of weighted oriented trees and bipartite~graphs with a fixed number of vertices.
A permutation based approach to the $q$-deformation of the Dynkin Operator
Introduced by Solomon, the descent algebra is a significant subalgebra of the group algebra of the symmetric group $\mathbf{k}S_n$ related to many important algebraic and combinatorial topics. It contains all the classical Lie idempotents of $\mathbf{k}S_n$, in particular the Dynkin operator, a fundamental tool for studying the free Lie algebra. We look at a $q$-deformation of the Dynkin operator and study its action over the descent algebra with classical combinatorial tools like Solomon's Mackey formula. This leads to elementary proofs that the operator is indeed an idempotent for $q=1$ as well as to interesting formulas and algebraic structures especially when $q$ is a root of unity.
Notes on Riordan arrays and lattice paths
In this note, we explore links between Riordan arrays and lattice paths. We begin by describing Riordan arrays, and some of their generalizations, including rectifications and triangulations. We the consider Riordan array links to lattice paths with steps of type $(a,b)$, where $a$ and $b$ are nonnegative. We consider common Riordan arrays that are linked to lattice paths, as well as showing links between almost Riordan arrays and lattice paths. We then consider lattice paths with step sets that include downward steps, and show how the $A$-matrix characterization of Riordan arrays plays a key role in analysing corresponding Riordan arrays.
A note on the mean square of the Riemann zeta-function
In this paper, we will give a new proof for a known result of the mean square of Riemann zeta-function.
The varieties generated by 3-hypergraph semirings
In this paper the 3-hypergraph semigroups and 3-hypergraph semirings from 3-hypergraphs $\mathbb{H}$ are introduced and the varieties generated by them are studied. It is shown that all 3-hypergraph semirings $S_{\scriptscriptstyle \mathbb{H}}$ are nonfinitely based and subdirectly irreducible. Also, it is proved that each variety generated by 3-hypergraph semirings is equal to a variety generated by 3-uniform hypergraph semirings. It is well known that both variety $\mathbf{V}(S_c(abc))$ (see, J. Algebra 611: 211--245, 2022 and J. Algebra 623: 64--85, 2023) and variety $\mathbf{V}(S_{\scriptscriptstyle \mathbb{H}})$ play key role in the theory of variety of ai-semirings, where 3-uniform hypergraph $\mathbb{H}$ is a 3-cycle. They are shown that each variety generated by 2-robustly strong 3-colorable 3-uniform hypergraph semirings is equal to variety $\mathbf{V}(S_c(abc))$, and each variety generated by so-called beam-type hypergraph semirings or fan-type hypergraph semirings is equal to the variety $\mathbf{V}(S_{\scriptscriptstyle \mathbb{H}})$ generated by a 3-uniform 3-cycle hypergraph semiring $S_{\scriptscriptstyle \mathbb{H}}$. Finally, an infinite ascending chain is provided in the lattice of subvarieties of the variety generated by all 3-uniform hypergraph semirings. This implies that the variety generated by all 3-uniform hypergraph semirings has infinitely many subvarieties.
Refinement of Hikita's $e$-positivity theorem via Abreu--Nigro's $g$-functions and restricted modular law
We study the symmetric functions \( g_{\mm,k}(x;q) \), introduced by
Abreu and Nigro for a Hessenberg function \( \mm \) and a positive
integer \( k \), which refine the chromatic symmetric function.
Building on Hikita's recent breakthrough on the Stanley--Stembridge
conjecture, we prove the \( e \)-positivity of \( g_{\mm,k}(x;1) \),
refining Hikita's result. We also provide a Schur expansion of the
sum \( \sum_{k=1}^n e_k(x) g_{\mm,n-k}(x;q) \) in terms of
\( P \)-tableaux with 1 in the upper-left corner. We introduce a
restricted version of the modular law as our main tool. Then, we
show that any function satisfying the restricted modular law is
determined by its values on disjoint unions of path graphs.
On the $d$-transversal number of cylindrical and toroidal grids
For a positive integer $d$, a $d$-transversal set of a graph $G$ is an edge subset $T\subseteq E(G)$ such that $|T\cap M|\geq d$ for every maximum matching $M$ of $G$. The $d$-transversal number of $G$, denoted by $τ_d(G)$, is the minimum cardinality of a $d$-transversal set in $G$. It is NP-complete to determine the $d$-transversal number of a bipartite graph for any fixed $d\geq 1$. Ries et al. (Discrete Math. 310 (2010) 132-146) established the $d$-transversal number of rectangular grids $P_m\square P_n$. In this paper, we consider cylindrical grids $P_m\square C_n$ and toroidal grids $C_m\square C_n$. We derive explicit expressions for the $d$-transversal numbers of $P_m\square C_n$ for $m\geq 1$ and even $n\geq 4$, or even $m\geq 2$ and $n=3$, and of $C_m\square C_n$ with even order, for $1\leq d\leq \frac{mn}{2}$. For the other cases we obtain explicit expressions or bounds for their $d$-transversal numbers.
Self-Orthogonal Cellular Automata
It is known that no-boundary Cellular Automata (CA) defined by bipermutive local rules give rise to Latin squares. In this paper, we study under which conditions the Latin square generated by a bipermutive CA is self-orthogonal, i.e. orthogonal to its transpose. We first enumerate all bipermutive CA over the binary alphabet up to diameter $d=6$, remarking that only some linear rules give rise to self-orthogonal Latin squares. We then give a full theoretical characterization of self-orthogonal linear CA, by considering the square matrix obtained by stacking the transition matrices of the CA and of its transpose, and determining when it is invertible. Interestingly, the stacked matrix turns out to have a circulant structure, for which there exists an extensive body of results to characterize its invertibility. Further, for the case of the binary alphabet we prove that irreducibility is a sufficient condition for self-orthogonality, and we derive a simpler characterization which boils down to computing the parity of the central coefficients of the local rule.
Iwasawa theory and the representations of finite groups
In this note, I develop a representation-theoretic refinement of the Iwasawa theory of finite Cayley graphs. Building on analogies between graph zeta functions and number-theoretic L-functions, I study $\mathbb{Z}_\ell$-towers of Cayley graphs and the asymptotic growth of their Jacobians. My main result establishes that the Iwasawa polynomial associated to such a tower admits a canonical factorization indexed by the irreducible representations of the underlying group. This leads to the definition of representation-theoretic Iwasawa polynomials, whose properties are studied.
Real-rooted integer polynomial enumeration algorithms and interlacing polynomials via linear programming
We extend the algorithms of Robinson, Smyth, and McKee--Smyth to enumerate all real-rooted integer polynomials of a fixed degree, where the first few (at least three) leading coefficients are specified. Additionally, we introduce new linear programming algorithms to enumerate all feasible interlacing polynomials of a given polynomial that comes from a certain family of real-rooted integer polynomials. These algorithms are further specialised for the study of real equiangular lines, incorporating additional number-theoretic constraints to restrict the enumeration. Our improvements significantly enhance the efficiency of the methods presented in previous work by the authors.
Positivity properties of $q$-hit numbers in the finite general linear group
We consider the problem of counting matrices over a finite field with fixed rank and support contained in a fixed set. The count of such matrices gives a $q$-analogue of the classical rook and hit numbers, known as the $q$-rook and $q$-hit numbers. They are known not to be polynomial in $q$ in general. We use inclusion-exclusion on the support of the matrices and the orbit counting method of Lewis et al. to show that the residues of these functions in low degrees are polynomial. We define a generalization of the classical rook and hit numbers which count placements of certain classes of graphs. These give us a formula for residues of the $q$-rook and $q$-hit numbers in low degrees. We analyze the residues of the $q$-hit number and show that the coefficient of $q-1$ in the $q$-hit number is always non-negative.