Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Generalized Ramsey numbers: forbidding paths with few colors
Published
• View Publication
• BIB
Let $f(K_n, H, q)$ be the minimum number of colors needed to edge-color $K_n$ so that every copy of $H$ is colored with at least $q$ colors. Originally posed by Erdős and Shelah when $H$ is complete, the asymptotics of this extremal function have been extensively studied when $H$ is a complete graph or a complete balanced bipartite graph. Here we investigate this function for some other $H$, and in particular we determine the asymptotic behavior of $f(K_n, P_v, q)$ for almost all values of $v$ and $q$, where $P_v$ is a path on $v$ vertices.
Explicit and compact representations for the Green's function and the Solution of Linear Difference Equations with variable coefficients
Leibniz' combinatorial formula for determinants is modified to establish a condensed and easily handled compact representation for Hessenbergians, referred to here as Leibnizian representation. Alongside, the elements of a fundamental solution set associated with linear difference equations with variable coefficients of order $p$ are explicitly represented by $p$ banded Hessenbergian solutions, built up solely of the variable coefficients. This yields banded Hessenbergian representations for the elements both of the product of companion matrices and of the determinant ratio formula of the one-sided Green's function (Green's function for short). Combining the above results, the elements of the foregoing notions are endowed with compact representations formulated here by Leibnizian and nested sum representations. We show that the elements of the fundamental solution set can be expressed in terms of the first banded Hessenbergian fundamental solution, called principal determinant function. We also show that the Green's function coincides with the principal determinant function, when both functions are restricted to a fairly large domain. These results yield, an explicit and compact representation of the Green's function restriction along with an explicit and compact solution representation of the previously stated type of difference equations in terms of the variable coefficients, the initial conditions and the forcing term. The equivalence of the Green's function solution representation and the well known single determinant solution representation is derived from first principles. Algorithms and automated software are employed to illustrate the main results of this paper.
Bijective proofs of shuffle compatibility results
Published
• View Publication
• BIB
Define a permutation to be any sequence of distinct positive integers. Given two permutations p and s on disjoint underlying sets, we denote by p sh s the set of shuffles of p and s (the set of all permutations obtained by interleaving the two permutations). A permutation statistic is a function St whose domain is the set of permutations such that St(p) only depends on the relative order of the elements of p. A permutation statistic is shuffle compatible if the distribution of St on p sh s depends only on St(p) and St(s) and their lengths rather than on the individual permutations themselves. This notion is implicit in the work of Stanley in his theory of P-partitions. The definition was explicitly given by Gessel and Zhuang who proved that various permutation statistics were shuffle compatible using mainly algebraic means. This work was continued by Grinberg. The purpose of the present article is to use bijective techniques to give demonstrations of shuffle compatibility. In particular, we show how a large number of permutation statistics can be shown to be shuffle compatible using a few simple bijections. Our approach also leads to a method for constructing such bijective proofs rather than having to treat each one in an ad hoc manner. Finally, we are able to prove a conjecture of Gessel and Zhuang about the shuffle compatibility of a certain statistic.
Noncommutative rational Pólya series
Published in Sel. Math., New Ser. 27, No. 3, Paper No. 34, 34 p. (2021)
• View Publication
• BIB
A (noncommutative) Pólya series over a field $K$ is a formal power series whose nonzero coefficients are contained in a finitely generated subgroup of $K^\times$. We show that rational Pólya series are unambiguous rational series, proving a 40 year old conjecture of Reutenauer. The proof combines methods from noncommutative algebra, automata theory, and number theory (specifically, unit equations). As a corollary, a rational series is a Pólya series if and only if it is Hadamard sub-invertible. Phrased differently, we show that every weighted finite automaton taking values in a finitely generated subgroup of a field (and zero) is equivalent to an unambiguous weighted finite automaton.
Integer Representations and Trajectories of the 3x+1 Problem
This paper studies certain trajectories of the Collatz function. I show that if for each odd number $n$, $n\sim 3n+2$ then every positive integer $n \in \mathbb{N}\setminus 2^{\mathbb{N}}$ has the representation $$n=\left(2^{a_{k+1}}-\sum_{i=0}^{k}{2^{a_i}3^{k-i}}\right)/ 3^{k+1}$$ where $0\le a_0 \le a_1 \le \cdot \cdot \cdot \le a_{k+1}$. As a consequence, in order to prove Collatz Conjecture I illustrate that it is sufficient to prove $n\sim 3n+2$ for any odd $n\in \mathbb{N}\setminus 2^{\mathbb{N}} $. This is the main result of the paper.
Counting numerical semigroups by genus and even gaps via Kunz-coordinate vectors
Published
• View Publication
• BIB
We contruct a one-to-one correspondence between a subset of numerical semigroups with genus $g$ and $γ$ even gaps and the integer points of a rational polytope. In particular, we give an overview to apply this correspondence to try to decide if the sequence $(n_g)$ is increasing, where $n_g$ denotes the number of numerical semigroups with genus $g$.
Hypergraphs without exponents
Here we give a short, concise proof for the following result. There exists a $k$-uniform hypergraph $H$ (for $k\geq 5$) without exponent, i.e., when the Turán function is not polynomial in $n$. More precisely, we have $ex(n,H)=o(n^{k-1})$ but it exceeds $n^{k-1-c}$ for any positive $c$ for $n> n_0(k,c)$.
This is an extension (and simplification) of a result of Frankl and the first author from 1987 where the case $k=5$ was proven. We conjecture that it is true for $k\in \{3, 4\}$ as well.
QSPR analysis of some novel neighborhood degree based topological descriptors
Published
• View Publication
• BIB
Topological index is a numerical value associated with chemical constitution for correlation of chemical structure with various physical properties, chemical reactivity or biological activity. In this work, some new indices based on neighbourhood degree sum of nodes are proposed. To make the computation of the novel indices convenient, an algorithm is designed. QSPR analysis of these newly introduced indices are studied here which reveals their predicting power. Some mathematical properties of these indices are also discussed here.
The limiting distribution of the hook length of a randomly chosen cell in a random Young diagram
Published
• View Publication
• BIB
Let $p(n)$ be the number of all integer partitions of the positive integer $n$ and let $λ$ be a partition, selected uniformly at random from among all such $p(n)$ partitions. It is known that each partition $λ$ has a unique graphical representation, composed by $n$ non-overlapping cells in the plane called Young diagram. As a second step of our sampling experiment, we select a cell $c$ uniformly at random from among all $n$ cells of the Young diagram of the partition $λ$. For large $n$, we study the asymptotic behavior of the hook length $Z_n=Z_n(λ,c)$ of the cell $c$ of a random partituion $λ$. This two-step sampling procedure suggests a product probability measure, which assigns the probability $1/np(n)$ to each pair $(λ,c)$. With respect to this probability measure, we show that the random variable $πZ_n/\sqrt{6n}$ converges weakly, as $n\to\infty$, to a random variable whose probability density function equals $6y/π^2 (e^y-1)$ if $0<y<\infty$, and zero elsewhere.
A counterexample to prism-hamiltonicity of 3-connected planar graphs
The prism over a graph $G$ is the Cartesian product of $G$ with the complete graph $K_2$. A graph $G$ is hamiltonian if there exists a spanning cycle in $G$, and $G$ is prism-hamiltonian if the prism over $G$ is hamiltonian. In [M.~Rosenfeld, D.~Barnette, Hamiltonian circuits in certain prisms, Discrete Math. 5 (1973), 389--394] the authors conjectured that every 3-connected planar graph is prism-hamiltonian. We construct a counterexample to the conjecture.
Signed tropical convexity
We establish a new notion of tropical convexity for signed tropical numbers. We provide several equivalent descriptions involving balance relations and intersections of open halfspaces as well as the image of a union of polytopes over Puiseux series and hyperoperations. Along the way, we deduce a new Farkas lemma and Fourier-Motzkin elimination without the non-negativity restriction on the variables. This leads to a Minkowski-Weyl theorem for polytopes over the signed tropical numbers.
The SDP value for random two-eigenvalue CSPs
We precisely determine the SDP value (equivalently, quantum value) of large random instances of certain kinds of constraint satisfaction problems, ``two-eigenvalue 2CSPs''. We show this SDP value coincides with the spectral relaxation value, possibly indicating a computational threshold. Our analysis extends the previously resolved cases of random regular $\mathsf{2XOR}$ and $\textsf{NAE-3SAT}$, and includes new cases such as random $\mathsf{Sort}_4$ (equivalently, $\mathsf{CHSH}$) and $\mathsf{Forrelation}$ CSPs. Our techniques include new generalizations of the nonbacktracking operator, the Ihara--Bass Formula, and the Friedman/Bordenave proof of Alon's Conjecture.
Dyck Paths in Four-Dimensional Space
In analyzing balanced parentheses, we consider a group of related variables in Dyck paths. In the four-dimensional space, the Dyck triangle is constructed, i.e. an integer lattice with Dyck paths.
On cyclic quiver parabolic Kostka-Shoji polynomials
Published
• View Publication
• BIB
We obtain an explicit combinatorial formula for certain parabolic Kostka-Shoji polynomials associated with the cyclic quiver, generalizing results of Shoji and of Liu and Shoji.
Hedetniemi's conjecture is asymptotically false
Published in J. Combin. Theory Ser. B (2020)
• View Publication
• BIB
Extending a recent breakthrough of Shitov, we prove that the chromatic number of the tensor product of two graphs can be a constant factor smaller than the minimum chromatic number of the two graphs. More precisely, we prove that there exists an absolute constant $δ>0$ such that for all $c$ sufficiently large, there exist graphs $G$ and $H$ with chromatic number at least $(1+δ)c$ for which $χ(G \times H) \le c$.
Braided dendriform and tridendriform algebras and braided Hopf algebras of planar trees
Published in J. Algebraic Combin. 53 (2021), 1147-1185
• View Publication
• BIB
This paper introduces the braidings of dendriform algebras and tridendriform algebras. By studying free braided dendriform algebras, we obtain braidings of the Hopf algebras of Loday and Ronco of planar binary rooted trees. We also give a variation of the braiding of Foissy for the noncommutative Connes-Kreimer (a.k.a the Foissy-Holtkamp) Hopf algebra of planar rooted forests so that the well-known isomorphism between this Hopf algebra and the Loday-Ronco Hopf algebra is extended to the braided context. As free braided tridendriform algebras, we also give braided extension of the Hopf algebra of Loday and Ronco on planar rooted trees.
On Gupta's Co-density Conjecture
Let $G=(V,E)$ be a multigraph. The {\em cover index} $ξ(G)$ of $G$ is the greatest integer $k$ for which there is a coloring of $E$ with $k$ colors such that each vertex of $G$ is incident with at least one edge of each color. Let $δ(G)$ be the minimum degree of $G$ and let $Φ(G)$ be the {\em co-density} of $G$, defined by \[Φ(G)=\min \Big\{\frac{2|E^+(U)|}{|U|+1}:\,\, U \subseteq V, \,\, |U|\ge 3 \hskip 2mm {\rm and \hskip 2mm odd} \Big\},\] where $E^+(U)$ is the set of all edges of $G$ with at least one end in $U$. It is easy to see that $ξ(G) \le \min\{δ(G), \lfloor Φ(G) \rfloor\}$. In 1978 Gupta proposed the following co-density conjecture: Every multigraph $G$ satisfies $ξ(G)\ge \min\{δ(G)-1, \, \lfloor Φ(G) \rfloor\}$, which is the dual version of the Goldberg-Seymour conjecture on edge-colorings of multigraphs. In this note we prove that $ξ(G)\ge \min\{δ(G)-1, \, \lfloor Φ(G) \rfloor\}$ if $Φ(G)$ is not integral and $ξ(G)\ge \min\{δ(G)-2, \, \lfloor Φ(G) \rfloor-1\}$ otherwise. We also show that this co-density conjecture implies another conjecture concerning cover index made by Gupta in 1967.
The super-connectivity of Johnson graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Graph Theory (April 14, 2020) dmtcs:5600
• View Publication
• BIB
For positive integers $n,k$ and $t$, the uniform subset graph $G(n, k, t)$ has all $k$-subsets of $\{1,2,\ldots, n\}$ as vertices and two $k$-subsets are joined by an edge if they intersect at exactly $t$ elements. The Johnson graph $J(n,k)$ corresponds to $G(n,k,k-1)$, that is, two vertices of $J(n,k)$ are adjacent if the intersection of the corresponding $k$-subsets has size $k-1$. A super vertex-cut of a connected graph is a set of vertices whose removal disconnects the graph without isolating a vertex and the super-connectivity is the size of a minimum super vertex-cut. In this work, we fully determine the super-connectivity of the family of Johnson graphs $J(n,k)$ for $n\geq k\geq 1$.
On the quantum symmetry of distance-transitive graphs
Published in Advances in Mathematics, 368:107150, 2020
• View Publication
• BIB
In this article, we study quantum automorphism groups of distance-transitive graphs. We show that the odd graphs, the Hamming graphs $H(n,3)$, the Johnson graphs $J(n,2)$ and the Kneser graphs $K(n,2)$ do not have quantum symmetry. We also give a table with the quantum automorphism groups of all cubic distance-transitive graphs. Furthermore, with one graph missing, we can now decide whether or not a distance-regular graph of order $\leq 20$ has quantum symmetry. Moreover, we prove that the Hoffman-Singleton graph has no quantum symmetry. On a final note, we present an example of a pair of graphs with the same intersection array (the Shrikhande graph and the $4 \times 4$ rook's graph), where one of them has quantum symmetry and the other one does not.
Star Coloring of the Cartesian Product of Cycles
A proper vertex coloring of a graph $G$ is called a star coloring if every two color classes induce a forest whose each component is a star, which means there is no bicolored $P_4$ in $G$. In this paper, we show that the Cartesian product of any two cycles, except $C_3 \square C_3$ and $C_3 \square C_5$, has a $5$-star coloring.