Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Modular relations involving generalized digamma functions
Published
• View Publication
• BIB
Generalized digamma functions $ψ_k(x)$, studied by Ramanujan, Deninger, Dilcher, Kanemitsu, Ishibashi etc., appear as the Laurent series coefficients of the zeta function associated to an indefinite quadratic form. In this paper, a modular relation of the form $F_k(α)=F_k(1/α)$ containing infinite series of $ψ_k(x)$, or, equivalently, between the generalized Stieltjes constants $γ_k(x)$, is obtained for any $k\in\mathbb{N}$. When $k=0$, it reduces to a famous transformation given on page $220$ of Ramanujan's Lost Notebook. For $k=1$, an integral containing Riemann's $Ξ$-function, and corresponding to the aforementioned modular relation, is also obtained along with its asymptotic expansions as $α\to0$ and $α\to\infty$. Carlitz-type and Guinand-type finite modular relations involving $ψ_j^{(m)}(x), 0\leq j\leq k, m\in\mathbb{N}\cup\{0\},$ are also derived, thereby extending previous results on the digamma function $ψ(x)$. The extension of Guinand's result for $ψ_j^{(m)}(x), m\geq2,$ involves an interesting combinatorial sum $h(r)$ over integer partitions of $2r$ into exactly $r$ parts. This sum plays a crucial role in an inversion formula needed for this extension. This formula has connection with the inversion formula for the inverse of a triangular Toeplitz matrix. The modular relation for $ψ_j'(x)$ is subtle and requires delicate analysis.
On the Hilbert depth of certain monomial ideals and applications
We study the Stanley depth and the Hilbert depth for $I$ and $S/I$, where $I\subset S=K[x_1,\ldots,x_N]$ is the intersection of monomial prime ideals with disjoint sets of variables. As an application, we obtain bounds for the Stanley depth of $I_{n,m}^t$ and $J_{n,m}^t$, where $I_{n,m}$ is the $m$-path ideal of the path graph of length $n$ and $J_{n,m}$ is the the $m$-path ideal of the cycle graph of length $n$.
Jack Littlewood-Richardson Coefficients and the Nazarov-Sklyanin Lax Operator
We continue the work begun by Mickler-Moll investigating the properties of the polynomial eigenfunctions of the Nazarov-Sklyanin quantum Lax operator. By considering products of these eigenfunctions, we produce a novel generalization of a formula of Kerov relating Jack Littlewood-Richardson coefficients and residues of certain rational functions. Precisely, we derive a system of constraints on Jack Littlewood-Richardson coefficients in terms of a simple multiplication operation on partitions.
On the Semigroup of Graph Gonality Sequences
The $r$th gonality of a graph is the smallest degree of a divisor on the graph with rank $r$. The gonality sequence of a graph is a tropical analogue of the gonality sequence of an algebraic curve. We show that the set of truncated gonality sequences of graphs forms a semigroup under addition. Using this, we study which triples $(x,y,z)$ can be the first 3 terms of a graph gonality sequence. We show that nearly every such triple with $z \geq \frac{3}{2}x+2$ is the first three terms of a graph gonality sequence, and also exhibit triples where the ratio $\frac{z}{x}$ is an arbitrary rational number between 1 and 3. In the final section, we study algebraic curves whose $r$th and $(r+1)$st gonality differ by 1, and posit several questions about graphs with this property.
Bounds for the Regularity Radius of Delone Sets
Published
• View Publication
• BIB
Delone sets are discrete point sets $X$ in $\mathbb{R}^d$ characterized by parameters $(r,R)$, where (usually) $2r$ is the smallest inter-point distance of $X$, and $R$ is the radius of a largest ``empty ball" that can be inserted into the interstices of $X$. The regularity radius $\hatρ_d$ is defined as the smallest positive number $ρ$ such that each Delone set with congruent clusters of radius $ρ$ is a regular system, that is, a point orbit under a crystallographic group. We discuss two conjectures on the growth behavior of the regularity radius. Our ``Weak Conjecture" states that $\hatρ_{d}={{\rm O}(d^2\log d)}R$ as $d\rightarrow\infty$, independent of~$r$. This is verified in the paper for two important subfamilies of Delone sets: those with full-dimensional clusters of radius $2r$ and those with full-dimensional sets of $d$-reachable points. We also offer support for the plausibility of a ``Strong Conjecture", stating that $\hatρ_{d}={{\rm O}(d\log d)}R$ as $d\rightarrow\infty$, independent of $r$.
On the combinatorics of tableaux -- Graphical representation of insertion algorithms
Many algorithms for inserting elements into tableaux are known, starting with the Robinson-Schensted algorithm. Much of those processes can be incorporated into the general framework of Fomin's "growth diagrams". Even for single types of tableaux, there are various alternative insertion algorithms and, due to the varying ways they are described, the relationships between the algorithms can be obscure. The distinguishing features of many algorithms can be codified into graphic "insertion diagrams" which make important aspects of the algorithms immediately apparent. We use insertion diagrams to build a graphic catalog or picture book of many of the tableau insertion algorithms in the literature.
Ternary extremal four-negacirculant self-dual codes
Published
• View Publication
• BIB
In this note, we give basic properties of ternary four-negacirculant self-dual codes. By exhaustive computer search based on the properties, we complete a classification of ternary extremal four-negacirculant self-dual codes of lengths 40, 44, 48, 52 and 60.
Explicit formulas for matrices associated to ladder, circular ladder, and Mobius ladder graphs
Published
• View Publication
• BIB
We give explicit formulas for resistance distance matrices and Moore-Penrose inverses of incidence and Laplacian matrices of ladder, circular ladder, and Möbius ladder graphs. As a result, we compute the Kirchhoff index of these graphs and give new combinatorial formulas for the number of their spanning trees.
On Periodic Points in Covering Systems
Published
• View Publication
• BIB
We study a system of intervals $I_1,\ldots,I_k$ on the real line and a continuous map $f$ with $f(I_1 \cup I_2 \cup \ldots \cup I_k)\supseteq I_1 \cup I_2 \cup \ldots \cup I_k$. It's conjectured that there exists a periodic point of period $\le k$ in $I_1\cup \ldots \cup I_k$. In this paper, we prove the conjecture by a discretization method and reduce the initial problem to an interesting combinatorial lemma concerning cyclic permutations. We also obtain a non-concentration property of periodic points of small periods in intervals.
Tilings in quasi-random $k$-partite hypergraphs
Given $k\ge 2$ and two $k$-graphs ($k$-uniform hypergraphs) $F$ and $H$, an $F$-factor in $H$ is a set of vertex disjoint copies of $F$ that together cover the vertex set of $H$. Lenz and Mubayi were first to study the $F$-factor problems in quasi-random $k$-graphs with a minimum degree condition. Recently, Ding, Han, Sun, Wang and Zhou gave the density threshold for having all $3$-partite $3$-graphs factors in quasi-random $3$-graphs with vanishing minimum codegree condition $Ω(n)$.
In this paper, we consider embedding factors when the host $k$-graph is $k$-partite and quasi-random with partite minimum codegree condition. We prove that if $p>1/2$ and $F$ is a $k$-partite $k$-graph with each part having $m$ vertices, then for $n$ large enough and $m\mid n$, any $p$-dense $k$-partite $k$-graph with each part having $n$ vertices and partite minimum codegree condition $Ω(n)$ contains an $F$-factor. We also present a construction showing that $1/2$ is best possible. Furthermore, for $1\leq \ell \leq k-2$, by constructing a sequence of $p$-dense $k$-partite $k$-graphs with partite minimum $\ell$-degree $Ω(n^{k-\ell})$ having no $K_k(m)$-factor, we show that the partite minimum codegree constraint can not be replaced by other partite minimum degree conditions. On the other hand, we prove that $n/2$ is the asymptotic partite minimum codegree threshold for having all fixed $k$-partite $k$-graph factors in sufficiently large host $k$-partite $k$-graphs even without quasi-randomness.
A linear algorithm for obtaining the Laplacian eigenvalues of a cograph
Published in Special Matrices,2024
• View Publication
• BIB
In this paper, we give a linear algorithm for obtaining the Laplacian eigenvalues of a cograph. This approach is more efficient as there is no need to directly compute the eigenvalues of Laplacian matrix related to this class of graph. As an application, we use this algorithm as a tool for obtaining a closed formula for the number of spanning trees of a cograph.
Towards Nash-Williams Orientation Conjecture for Infinite Graphs
Published
• View Publication
• BIB
In 1960 Nash-Williams proved that an edge-connectivity of 2k is sufficient for a finite graph to have a k-arc-connected orientation. He then conjectured that the same is true for infinite graphs. In 2016, Thomassen, using his own results on the auxiliary lifting graph, proved that 8k-edge-connected infinite graphs admit a $k$-arc connected orientation. Here we improve this result for the class of $1$-ended locally-finite graphs and show that an edge-connectivity of 4k is enough in that case. Crucial to this improvement are results presented in a separate paper, by the same author of this paper, on the key concept of the lifting graph, extending results by Ok, Richter, and Thomassen.
Flagged Skew Schur Polynomials Twisted By Roots Of Unity
We generalize a theorem of Littlewood concerning the factorization of Schur polynomials when their variables are twisted by roots of unity. We show that a certain family of flagged skew Schur polynomials admit a similar factorization. These include an interesting family of Demazure characters as a special case.
Dyck Numbers, IV. Nested patterns in OEIS A036991
Dyck paths (also balanced brackets and Dyck words) are among the most heavily studied Catalan families. This paper is a continuation of [2, 3, 4]. In the paper we are dealing with the numbering of Dyck paths, with the resulting numbers, the terms of the OEIS sequence A036991, which encode Dyck paths and which we have called the Dyck numbers. In this sequence, it turned out to be promising to investigate nested term patterns. The sequence is constructed entirely from nested patterns, with each pattern having an infinite number of copies. We have already considered repeated triplets of adjacent odd numbers; copies of such triplets in the process of expansion form quite complex structures, the analysis of which allows us to understand the structure of A036991. Additionally, we note that the composition of the terms of each pattern is repeated many times by a simple shift (offset) of Dyck numbers by some fixed value. As a result, pattern copies give us important parts of most levels and even give us new levels.
Weak saturation numbers in random graphs
For two given graphs $G$ and $F$, a graph $ H$ is said to be weakly $ (G, F) $-saturated if $H$ is a spanning subgraph of $ G$ which has no copy of $F$ as a subgraph and one can add all edges in $ E(G)\setminus E(H)$ to $ H$ in some order so that a new copy of $F$ is created at each step. The weak saturation number $ wsat(G, F)$ is the minimum number of edges of a weakly $(G, F)$-saturated graph. In this paper, we deal with the relation between $ wsat(G(n,p), F)$ and $ wsat(K_n, F)$, where $G(n,p)$ denotes the Erdős--Rényi random graph and $ K_n$ denotes the complete graph on $ n$ vertices. For every graph $ F$ and constant $ p$, we prove that $ wsat( G(n,p),F)= wsat(K_n,F)(1+o(1))$ with high probability. Also, for some graphs $ F$ including complete graphs, complete bipartite graphs, and connected graphs with minimum degree $ 1$ or $ 2$, it is shown that there exists an $ \varepsilon(F)>0$ such that, for any $ p\geqslant n^{-\varepsilon(F)}\log n$, $ wsat( G(n,p),F)= wsat(K_n,F)$ with high probability.
Projective and external saturation problem for posets
We introduce two variants of the poset saturation problem. For a poset $P$ and the Boolean lattice $\mathcal{B}_n$, a family $\mathcal{F}$ of sets, not necessarily from $\mathcal{B}_n$, is \textit{projective $P$-saturated} if (i) it does not contain any strong copies of $P$, (ii) for any $G\in \mathcal{B}_n\setminus \mathcal{F}$, the family $\mathcal{F}\cup \{G\}$ contains a strong copy of $P$, and (iii) for any two different $F,F'\in\mathcal{F}$ we have $F\cap[n]\neq F'\cap [n]$. Ordinary strongly $P$-saturated families, i.e., subfamilies $\mathcal{F}$ required to be from $\mathcal{B}_n$ satisfying (i) and (ii), automatically satisfy (iii) as they lie within $\mathcal{B}_n$. We study what phenomena are valid both for the ordinary saturation number $\mathrm{sat}^*(n,P)$ and the projective saturation number, the size of the smallest projective $P$-saturated family.
Note that the projective saturation number might differ for a poset and its dual. We also introduce an even more relaxed and symmetric version of poset saturation, \textit{external saturation}. We conjecture that all finite posets have bounded external saturation number, and prove this in some special cases.
Amending the Lonely Runner Spectrum Conjecture
Published
• View Publication
• BIB
Let $||x||$ be the absolute distance from $x$ to the nearest integer. For a set of distinct positive integral speeds $v_1, \ldots, v_n$, we define its maximum loneliness, also known as the gap $δ$, to be
$$ML(v_1,\ldots,v_n) = \max_{t \in \mathbb{R}}\min_{1 \leq i \leq n} || tv_i||.$$
The Loneliness Spectrum Conjecture, recently proposed by Kravitz (2021), asserts that
$$\exists s \in \mathbb{N}, \text{ML}(v_1,\ldots,v_n) = \frac{s} {sn + 1} \text{ or } \text{ML}(v_1,\ldots,v_n) \geq \frac{1}{n}.
$$
We disprove the Loneliness Spectrum Conjecture for $n = 4$ with an infinite family of counterexamples and propose an alternative conjecture. We confirm the amended conjecture for $n = 4$ whenever there exists a pair of speeds with a common factor of at least $3$ and also prove some related results.
On the finite pair correlation function of van der Corput sequences
In this note we derive an explicit formula for the finite empiric pair correlation function $F_N(s)$ of the van der Corput sequence in base $2$ for all $N \in \mathbb{N}$ and $s \geq 0$. The formula can be evaluated without explicit knowledge about the elements of the van der Corput sequence. Moreover, it can be immediately read off that $\lim_{N \to \infty} F_N(s)$ exists only for $0 \leq s \leq 1/2$.
Properties of Villarceau Torus
Villarceau torus is a discrete graph theory model of spiral torus which is called Helical Toroidal Electron Model in Physics. It also represents the double stranded helix model of DNA. The spiral torus or toroidal helix in Physics and Molecular Biology is continuous whereas the Villarceau torus is discrete. The main contribution of the paper is the identification of cycles which are equivalent to toroidal helix in spiral torus. In addition, the poloidal revolution and the toroidal revolutions of Villarceau torus are computed. The paper identifies some striking differences between ring torus and Villarceau torus. It is proved that Villarceau torus does not admit any convex edgecuts and convex cycles other than 4-cycles. The convex cut method is extended to graphs which do not admit convex edgecuts. Using this technique, the network distance (Wiener Index) is computed, Also an optimal congestion-balanced routing for Villarceau torus is designed.
A Note on Hamiltonian Cycles in Digraphs with Large Degrees
Published
• View Publication
• BIB
In this note we prove:
{\it Let $D$ be a 2-strong digraph of order $n$ such that its $n-1$ vertices have degrees at least $n+k$ and the remaining vertex $z$ has degree at least $n-k-4$, where $k$ is a positive integer.
If $D$ contains a cycle of length at least $n-k-2$ passing through $z$, then $D$ is Hamiltonian}.