Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On general approach to Bessenrodt-Ono type inequalities and log-concavity property
Published
• View Publication
• BIB
In recent literature concerning integer partitions one can find many results related to both the Bessenrodt-Ono type inequalities and log-concavity property. In this note we offer some general approach to this type of problems. More precisely, we prove that under some mild conditions on an increasing function $F$ of at most exponential growth satisfying the condition $F(\mathbb{N})\subset \mathbb{R}_{+}$, we have $F(a)F(b)>F(a+b)$ for sufficiently large positive integers $a, b$. Moreover, we show that if the sequence $(F(n))_{n\geq n_{0}}$ is log-concave and $\limsup_{n\rightarrow +\infty}F(n+n_{0})/F(n)<F(n_{0})$, then $F$ satisfies the Bessenrodt-Ono type inequality.
Tops of graphs of non-degenerate linear codes
Let $Γ_k(V)$ be the Grassmann graph whose vertex set ${\mathcal G}_{k}(V)$ is formed by all $k$-dimensional subspaces of an $n$-dimensional vector space $V$ over the finite field $F_q$ consisting of $q$ elements. We discuss its subgraph $Γ(n,k)_q$ with the vertex set ${\mathcal C}(n,k)_q$ consisting of all non-degenerate linear $[n, k]_q$ codes. %We assume that $1<k<n-1$. We study maximal cliques $\langle U]^{c}_{k}$ of $Γ(n,k)_q$, which are intersections of tops of $Γ_k(V)$ with ${\mathcal C}(n,k)_q$. We show when they are contained in a line of ${\mathcal G}_{k}(V)$ and then we prove that $\langle U]^{c}_{k}$ is a maximal clique of $Γ(n,k)_q$ when it is not contained in a line of ${\mathcal G}_{k}(V)$. Furthermore, we show that the automorphism group of the set of such maximal cliques is isomorphic with the automorphism group of $Γ(n,k+1)_{q}$.
Theoretical Studies of the k-Strong Roman Domination Problem
The concept of Roman domination has been a subject of intrigue for more than two decades with the fundamental Roman domination problem standing out as one of the most significant challenges in this field. This article studies a practically motivated generalization of this problem, known as the k-strong Roman domination. In this variation, defenders within a network are tasked with safeguarding any k vertices simultaneously, under multiple attacks. The objective is to find a feasible mapping that assigns an (integer) weight to each vertex of the input graph with a minimum sum of weights across all vertices. A function is considered feasible if any non-defended vertex, i.e. one labeled by zero, is protected by at least one of its neighboring vertices labeled by at least two. Furthermore, each defender ensures the safety of a non-defended vertex by imparting a value of one to it while always retaining a one for themselves. To the best of our knowledge, this paper represents the first theoretical study on this problem. The study presents results for general graphs, establishes connections between the problem at hand and other domination problems, and provides exact values and bounds for specific graph classes, including complete graphs, paths, cycles, complete bipartite graphs, grids, and a few selected classes of convex polytopes. Additionally, an attainable lower bound for general cubic graphs is provided.
Packing coloring of hypercubes with extended Hamming codes
Published
• View Publication
• BIB
A {\em packing coloring} of a graph $G$ is a mapping assigning a positive integer (a color) to every vertex of $G$ such that every two vertices of color $k$ are at distance at least $k+1$. The least number of colors needed for a packing coloring of $G$ is called the {\em packing chromatic number} of $G$. In this paper, we continue the study of the packing chromatic number of hypercubes and we improve the upper bounds reported by Torres and Valencia-Pabon ({\em P. Torres, M. Valencia-Pabon, The packing chromatic number of hypercubes, Discrete Appl. Math. 190--191 (2015), 127--140}) by presenting recursive constructions of subsets of distant vertices making use of the properties of the extended Hamming codes. We also answer in negative a question on packing coloring of Cartesian products raised by Brešar, Klavžar, and Rall ({\em Problem 5, Brešar et al., On the packing chromatic number of Cartesian products, hexagonal lattice, and trees. Discrete Appl. Math. 155 (2007), 2303--2311.}).
Cauchy numbers in type $B$
In this paper, we will introduce the Cauchy numbers of both kinds in type B and produce their corresponding exponential generating functions. Then we will provide some identities involving Cauchy, Lah, and Stirling numbers in type B through combinatorial methods.
Discrete Algebraic sets in Discrete Manifolds
A discrete d-manifold is a finite simple graph G=(V,E) where all unit spheres are (d-1)-spheres. A d-sphere is a d-manifold for which one can remove a vertex to make it contractible. A graph is contractible if one can remove a vertex with contractible unit sphere to get a contractible graph. We prove a discrete Morse-Sard theorem: if G=(V,E) is a d-manifold and f:V to R^k an arbitrary map, then for any c not in f(V), a level set { f = c } is always a (d-k)-manifold or empty. While a priori open sets in the simplicial complex of G, they are sub-manifolds in the Barycentric refinement of G. Level sets are orientable if G is orientable. Any complex-valued function psi on a discrete 4-manifold M defines so level surfaces {psi=c} which are except for c in f(V) always 2-manifolds or empty.
Iterated Entropy Derivatives and Binary Entropy Inequalities
Published
• View Publication
• BIB
We embark on a systematic study of the $(k+1)$-th derivative of $x^{k-r}H(x^r)$, where $H(x):=-x\log x-(1-x)\log(1-x)$ is the binary entropy and $k>r\geq 1$ are integers. Our motivation is the conjectural entropy inequality $α_k H(x^k)\geq x^{k-1}H(x)$, where $0<α_k<1$ is given by a functional equation. The $k=2$ case was the key technical tool driving recent breakthroughs on the union-closed sets conjecture. We express $ \frac{d^{k+1}}{dx^{k+1}}x^{k-r}H(x^r)$ as a rational function, an infinite series, and a sum over generalized Stirling numbers. This allows us to reduce the proof of the entropy inequality for real $k$ to showing that an associated polynomial has only two real roots in the interval $(0,1)$, which also allows us to prove the inequality for fractional exponents such as $k=3/2$. The proof suggests a new framework for proving tight inequalities for the sum of polynomials times the logarithms of polynomials, which converts the inequality into a statement about the real roots of a simpler associated polynomial.
Classification of tight $2s$-designs with $s \geq 2$
Tight $2 s$-designs are the $2 s$-$(v, k, λ)$ designs whose sizes achieve the Fisher type lower bound ${v \choose s}$. Symmetric $2$-designs, the Witt $4$-$(23, 7, 1)$ design and the Witt $4$-$(23, 16, 52)$ design are tight designs. It has been widely conjectured since 1970s that there are no other nontrivial tight designs. In this paper, we give a proof of this conjecture. In the proof, an upper bound $v \ll s$ is shown by analyzing the parameters of the designs and the coefficients of the Wilson polynomials, and a lower bound $v \gg s (\ln s)^2$ is shown by using estimates on prime gaps.
Classification of 3-GNDB Graphs
A nonempty graph G is called generalized 3-distance-balanced, (3-GDB) whenever for every edge ab, |Wab|=3|Wba| or conversely. As well as a graph G is called generalized 3-nicely distance-balanced (3-GNDB) whenever for every edge ab of G, there exists a positive integer g, such that: |Wba|=gG. In this paper, we classify 3-GNDB graphs with, gG \in{1,2}.
Generalized T-Edge Distance-Balanced Graphs
A connected and nonempty graph A is defined as generalized t-edge distance-balanced, while for each edge f=α\{beta} the number of edges nearer to α than \{beta} are equal to t-times of edges nearer to \{beta} than to α, for t \in N, or vice versa. We determine some classes of such graphs. Moreover, we investigate edge-szeged index of the generalized t-edge distance-balanced graphs. Also, it is discussed about their cartesian and lexicographic products.
Separating path systems in complete graphs
Published
• View Publication
• BIB
We prove that in any $n$-vertex complete graph there is a collection $\mathcal{P}$ of $(1 + o(1))n$ paths that strongly separates any pair of distinct edges $e, f$, meaning that there is a path in $\mathcal{P}$ which contains $e$ but not $f$. Furthermore, for certain classes of $n$-vertex $αn$-regular graphs we find a collection of $(\sqrt{3 α+ 1} - 1 + o(1))n$ paths that strongly separates any pair of edges. Both results are best-possible up to the $o(1)$ term.
On the interval coloring impropriety of graphs
Published
• View Publication
• BIB
An improper interval (edge) coloring of a graph $G$ is an assignment of colors to the edges of $G$ satisfying the condition that, for every vertex $v \in V(G)$, the set of colors assigned to the edges incident with $v$ forms an integral interval. An interval coloring is $k$-improper if at most $k$ edges with the same color all share a common endpoint. The minimum integer $k$ such that there exists a $k$-improper interval coloring of the graph $G$ is the interval coloring impropriety of $G$, denoted by $μ_{int}(G)$. In this paper, we provide a construction of an interval coloring of a subclass of complete multipartite graphs. This provides additional evidence to the conjecture by Casselgren and Petrosyan that $μ_{int}(G)\leq 2$ for all complete multipartite graphs $G$. Additionally, we determine improved upper bounds on the interval coloring impropriety of several classes of graphs, namely 2-trees, iterated triangulations, and outerplanar graphs. Finally, we investigate the interval coloring impropriety of the corona product of two graphs, $G\odot H$.
Classification of cubic tricirculant nut graphs
Published in Electron. J. Combin. 31 (2024) #P2.31
• View Publication
• BIB
A nut graph is a simple graph whose adjacency matrix has the eigenvalue zero with multiplicity one such that its corresponding eigenvector has no zero entries. It is known that there exist no cubic circulant nut graphs. A bicirculant (resp. tricirculant) graph is defined as a graph that admits a cyclic group of automorphisms having two (resp. three) orbits of vertices of equal size. We show that there exist no cubic bicirculant nut graphs and we provide a full classification of cubic tricirculant nut graphs.
Balanced infinitesimal bialgebras, double Poisson gebras and pre-Calabi-Yau algebras
We consider the properad that governs the balanced infinitesimal bialgebras equipped with a coproduct of degree $1-d$. This properad naturally encodes a part of the structure of the pre-Calabi-Yau algebras of degree $d$. We compute the cobar construction of its Koszul dual coproperad and show that its gebras lie between the homotopy double Poisson gebras and the pre-Calabi-Yau algebras. Finally, we show that, if one is willing to consider their curved version, the two resulting notions of curved homotopy balanced infinitesimal bialgebra and curved homotopy double Poisson gebra are equivalent. A relationship with the homotopy odd Lie bialgebras is also discussed.
Lexicographic shellability of sects
Published
• View Publication
• BIB
In this paper, we show that the Bruhat order on any sect of a symmetric variety of type $AIII$ is lexicographically shellable. Our proof proceeds from a description of these posets as rook placements in a partition shape which fits in a $p \times q$ rectangle. This allows us to extend an EL-labeling of the rook monoid given by Can to an arbitrary sect. As a special case, our result implies that the Bruhat order on matrix Schubert varieties is lexicographically shellable.
On partitions with bounded largest part and fixed integral GBG-rank modulo primes
Published in Annals of Combinatorics (2024)
• View Publication
• BIB
In 2009, Berkovich and Garvan introduced a new partition statistic called the GBG-rank modulo $t$ which is a generalization of the well-known BG-rank. In this paper, we use the Littlewood decomposition of partitions to study partitions with bounded largest part and fixed integral value of GBG-rank modulo primes. As a consequence, we obtain new elegant generating function formulas for unrestricted partitions, self-conjugate partitions, and partitions whose parts repeat a finite number of times.
A few new oddtown and eventown problems
Published
• View Publication
• BIB
Given a vector $α= (α_1, \ldots, α_k) \in \mathbb{F}_2^k$, we say a collection of subsets $\mathcal{F}$ satisfies $α$-intersection pattern modulo $2$ if all $i$-wise intersections consisting of $i$ distinct sets from $\mathcal{F}$ have size $α_i \pmod{2}$. In this language, the classical oddtown and eventown problems correspond to vectors $α=(1,0)$ and $α=(0,0)$ respectively. In this paper, we determine the largest such set families of subsets on a $n$-element set with $α$-intersection pattern modulo $2$ for all $α\in \mathbb{F}_2^3$ and all $α\in \mathbb{F}_2^4$ asymptotically. Lastly, we consider the corresponding problem with restrictions modulo $3$.
Reduction on the congruences of partial sums of P-recursive sequences
Published
• View Publication
• BIB
Hou and Liu developed a telescoping method to prove the congruence of partial sums of P-recursive sequences. We release the requirement on the telescoper and utilize the congruence of the sequence. With this approach, we are able to confirm a conjecture of Sun and find a new congruence on the central trinomial coefficient.
Regular colouring defect of a cubic graph and the conjectures of Fan-Raspaud and Fulkerson
We introduce a new invariant of a cubic graph - its regular colouring defect - which is defined as the smallest number of edges left uncovered by any collection of three perfect matchings that have no edge in common. This invariant is a modification of colouring defect, an invariant introduced by Steffen (J. Graph Theory 78(2015), 195--206), whose definition does not require the empty intersection condition. In this paper we discuss the relationship of this invariant to the well-known conjectures of Fulkerson (1971) and Fan and Raspaud (1994) and prove that colouring defect and regular colouring defect can be arbitrarily far apart.
Sandpiles on the Vicsek fractal explode with probability 1/4
Published
• View Publication
• BIB
Vicsek fractal graphs are an important class of infinite graphs with self similar properties, polynomial growth and treelike features, on which several dynamical processes such as random walks or Abelian sandpiles can be rigorously analyzed and one can obtain explicit closed form expressions. While such processes on Vicsek fractals and on Euclidean lattices $\mathbb{Z}^2$ share some properties for instance in the recurrence behaviour, many quantities related to sandpiles on Euclidean lattices are still poorly understood. The current work focuses on the stabilization and explosion of Abelian sandpiles on Vicsek fractal graphs, and we prove that a sandpile sampled from the infinite volume limit plus one additional particle stabilizes with probability 3/4, that is, it does not stabilize almost surely and it explodes with the complementary probability 1/4. We prove the main result by using two different approaches: one of probabilistic nature and one of algebraic flavor. The first approach is based on investigating the particles sent to the boundary of finite volumes and showing that their number stays above four with positive probability. In the second approach we relate the question of stabilization and explosion of sandpiles in infinite volume to the order of elements of the sandpile group on finite approximations of the infinite Vicsek graph. The method applies to more general state spaces and by employing it we also find all invariant factors of the sandpile groups on the finite approximations of the infinite Vicsek fractal.