Showing 20 papers (Total: 82000 papers, 47479 authors in database)
A note on Borsuk's problem in Minkowski spaces
Published in Doklady Mathematics, 2024, Vol. 109, No. 1, pp. 80--83
• View Publication
• BIB
In 1993, Kahn and Kalai famously constructed a sequence of finite sets in $d$-dimensional Euclidean spaces that cannot be partitioned into less than $(1.203\ldots+o(1))^{\sqrt{d}}$ parts of smaller diameter. Their method works not only for the Euclidean, but for all $\ell_p$-spaces as well. In this short note, we observe that the larger the value of $p$, the stronger this construction becomes.
Schur-Positivity of Short Chords in Matchings
Published
• View Publication
• BIB
We prove that the set of matchings with a fixed number of unmatched vertices is Schur-positive with respect to the set of short chords. Two proofs are presented. The first proof applies a new combinatorial criterion for Schur-positivity, while the second is bijective. The coefficients in the Schur expansion are derived, and interpreted in terms of Bessel polynomials. We present a Knuth-like equivalence relation on matchings, and show that every equivalence class corresponds to an irreducible representation. We proceed to find various refined Schur-positive sets, including the set of matchings with a prescribed crossing number and the set of matchings with a given number of pairs of intersecting chords. Finally, we characterize all the matchings $m$ such that the set of matchings avoiding $m$ is Schur-positive.
Generalized Pitman-Stanley polytope: vertices and faces
Published
• View Publication
• BIB
In 1999, Pitman and Stanley introduced the polytope bearing their name along with a study of its faces, lattice points, and volume. The Pitman-Stanley polytope is well-studied due to its connections to probability, parking functions, the generalized permutahedra, and flow polytopes. Its lattice points correspond to plane partitions of skew shape with entries 0 and 1. Pitman and Stanley remarked that their polytope can be generalized so that lattice points correspond to plane partitions of skew shape with entries $0,1, \ldots , m$. Since then, this generalization has been untouched. We study this generalization and show that it can also be realized as a flow polytope of a grid graph. We give multiple characterizations of its vertices in terms of plane partitions of skew shape and integer flows. For a fixed skew shape, we show that the number of vertices of this polytope is a polynomial in $m$ whose leading term, in certain cases, counts standard Young tableaux of a shifted shape. Moreover, we give formulas for the number of faces, as well as generating functions for the number of vertices.
Two supercongruences involving truncated hypergeometric series
Published
• View Publication
• BIB
In this paper, we mainly establish two supercongruences involving truncated hypergeometric series by using some hypergeometric transformation formulas. The first supercongruence confirms a recent conjecture of the second author. The second supercongruence confirms a conjecture of Guo, Liu and Schlosser partially, and gives a parametric extension of a supercongruence of Long and Ramakrishna.
Trees with at least $6\ell+11$ vertices are $\ell$-reconstructible
Published
• View Publication
• BIB
The $(n-\ell)$-deck of an $n$-vertex graph is the multiset of (unlabeled) subgraphs obtained from it by deleting $\ell$ vertices. An $n$-vertex graph is $\ell$-reconstructible if it is determined by its $(n-\ell)$-deck, meaning that no other graph has the same deck. We prove that every tree with at least $6\ell+11$ vertices is $\ell$-reconstructible.
Average-Case Matrix Discrepancy: Asymptotics and Online Algorithms
We study the operator norm discrepancy of i.i.d. random matrices, initiating the matrix-valued analog of a long line of work on the $\ell^{\infty}$ norm discrepancy of i.i.d. random vectors. First, using repurposed results on vector discrepancy and new first moment method calculations, we give upper and lower bounds on the discrepancy of random matrices. We treat i.i.d. matrices drawn from the Gaussian orthogonal ensemble (GOE) and low-rank Gaussian Wishart distributions. In both cases, for what turns out to be the "critical" number of $Θ(n^2)$ matrices of dimension $n \times n$, we identify the discrepancy up to constant factors. Second, we give a new analysis of the matrix hyperbolic cosine algorithm of Zouzias (2011), a matrix version of an online vector discrepancy algorithm of Spencer (1977) studied for average-case inputs by Bansal and Spencer (2020), for the case of i.i.d. random matrix inputs. We both give a general analysis and extract concrete bounds on the discrepancy achieved by this algorithm for matrices with independent entries (including GOE matrices) and Gaussian Wishart matrices.
The Containment Game in the plane: between the Firefighter Problem and Conway's Angel Problem
The containment game is a full information game for two players, initialised with a set of occupied vertices in an infinite connected graph $G$. On the $t$-th turn, the first player, called Spreader, extends the occupied set to $g(t)$ adjacent vertices, and then the second player, called Container, removes $q$ unoccupied vertices from the graph. If the spreading process continues perpetually -- Spreader wins, and otherwise -- Container wins. For $g=\infty$ this game reduces to a solitaire game for Container, known as the Firefighter Problem. On $\mathbb{Z}^2$, for $q=1/k$ and $g\equiv 1$ it is equivalent to Conway's Angel Problem.
We introduce the game, and writing $q(G,g)$ for the set of $q$ values for which Container wins against a given $g(t)$, we study the minimal asymptotics of $g(t)$ such that $q(G,g)=q(G,\infty)$, i.e. for which defeating Spreader is as hard as winning the Firefighter Problem solitaire. We show, by providing explicit winning strategies, a sub-linear upper bound $g(t)=O(t^{6/7})$ and a lower bound of $g(t)=Ω(t^{1/2})$.
Percolation on hypergraphs and the hard-core model
We prove tight bounds on the site percolation threshold for $k$-uniform hypergraphs of maximum degree $Δ$ and for $k$-uniform hypergraphs of maximum degree $Δ$ in which any pair of edges overlaps in at most $r$ vertices. The hypergraphs that achieve these bounds are hypertrees, but unlike in the case of graphs, there are many different $k$-uniform, $Δ$-regular hypertrees. Determining the extremal tree for a given $k, Δ, r$ involves an optimization problem, and our bounds arise from a convex relaxation of this problem.
By combining our percolation bounds with the method of disagreement percolation we obtain improved bounds on the uniqueness threshold for the hard-core model on hypergraphs satisfying the same constraints. Our uniqueness conditions imply exponential weak spatial mixing, and go beyond the known bounds for rapid mixing of local Markov chains and existence of efficient approximate counting and sampling algorithms. Our results lead to natural conjectures regarding the aforementioned algorithmic tasks, based on the intuition that uniqueness thresholds for the extremal hypertrees for percolation determine computational thresholds.
Curvature-based Clustering on Graphs
Unsupervised node clustering (or community detection) is a classical graph learning task. In this paper, we study algorithms, which exploit the geometry of the graph to identify densely connected substructures, which form clusters or communities. Our method implements discrete Ricci curvatures and their associated geometric flows, under which the edge weights of the graph evolve to reveal its community structure. We consider several discrete curvature notions and analyze the utility of the resulting algorithms. In contrast to prior literature, we study not only single-membership community detection, where each node belongs to exactly one community, but also mixed-membership community detection, where communities may overlap. For the latter, we argue that it is beneficial to perform community detection on the line graph, i.e., the graph's dual. We provide both theoretical and empirical evidence for the utility of our curvature-based clustering algorithms. In addition, we give several results on the relationship between the curvature of a graph and that of its dual, which enable the efficient implementation of our proposed mixed-membership community detection approach and which may be of independent interest for curvature-based network analysis.
Domination Index in Graphs
Published
• View Publication
• BIB
The concepts of domination and topological index hold great significance within the realm of graph theory. Therefore, it is pertinent to merge these concepts to derive the domination index of a graph. A novel concept of the domination index is introduced, which utilizes the domination degree of a vertex. The domination degree of a vertex a is defined as the minimum cardinality of a minimal dominating set that includes a. The idea of domination degree and domination index is conducted of graphs like complete graphs, complete bipartite, r partite graphs, cycles, wheels, paths, book graphs, windmill graphs, Kragujevac trees. The study is extended to operation in graphs. Inequalities involving domination degree and already established graph parameters are discussed. An application of domination degree is discussed in facility allocation in a city. Algorithm to find a MDS containing a particular vertex is also discussed in the study.
Strong Domination Index in Fuzzy Graphs
Published
• View Publication
• BIB
Topological indices play a vital role in the area of graph theory and fuzzy graph (FG) theory. It has wide applications in the areas such as chemical graph theory, mathematical chemistry, etc. Topological indices produce a numerical parameter associated with a graph. Numerous topological indices are studied due to its applications in various fields. In this article a novel idea of domination index in a FG is defined using weight of strong edges. The strong domination degree (SDD) of a vertex u is defined using the weight of minimal strong dominating set (MSDS) containing u. Idea of upper strong domination number, strong irredundance number, strong upper irredundance number, strong independent domination number, and strong independence number are explained and illustrated subsequently. Strong domination index (SDI) of a FG is defined using the SDD of each vertex. The concept is applied on various FGs like complete FG, complete bipartite and r-partite FG, fuzzy tree, fuzzy cycle and fuzzy stars. Inequalities involving the SDD and SDI are obtained. The union and join of FG is also considered in the study. Applications for SDD of a vertex is provided in later sections. An algorithm to obtain a MSDS containing a particular vertex is also discussed in the article.
Cohen-Macaulay Weighted Oriented Chordal and Simplicial Graphs
Published
• View Publication
• BIB
Herzog, Hibi, and Zheng classified the Cohen-Macaulay edge ideals of chordal graphs. In this paper, we classify Cohen-Macaulay edge ideals of (vertex) weighted oriented chordal and simplicial graphs, a more general class of monomial ideals. In particular, we show that the Cohen-Macaulay property of these ideals is equivalent to the unmixed one and hence, independent of the underlying field.
VC-Dimension of Hyperplanes over Finite Fields
Published
• View Publication
• BIB
Let $\mathbb{F}_q^d$ be the $d$-dimensional vector space over the finite field with $q$ elements. For a subset $E\subseteq \mathbb{F}_q^d$ and a fixed nonzero $t\in \mathbb{F}_q$, let $\mathcal{H}_t(E)=\{h_y: y\in E\}$, where $h_y$ is the indicator function of the set $\{x\in E: x\cdot y=t\}$. Two of the authors, with Maxwell Sun, showed in the case $d=3$ that if $|E|\geq Cq^{\frac{11}{4}}$ and $q$ is sufficiently large, then the VC-dimension of $\mathcal{H}_t(E)$ is 3. In this paper, we generalize the result to arbitrary dimension and improve the exponent in the case $d=3$.
Exact formula for 1-lower run overpartitions
We are going to show an exact formula for lower $1$-run overpartitions. The generating function is of mixed mock-modular type with an overall weight $0.$ We will apply an extended version of the classical Circle Method. The approach requires bounding modified Kloosterman sums and Mordell integrals.
Monochromatic Sums and Products over $\mathbb{Q}$
Hindman's finite sums theorem states that in any finite coloring of the naturals, there is an infinite sequence all of whose finite subset sums are the same color. In 1979, Hindman showed that there is a finite coloring of the naturals so that no infinite sequence has all of its pairwise sums and pairwise products the same color. Hindman conjectured that for any $n$, a finite coloring of the naturals contains $n$ numbers all of whose subset sums and subset products are the same color. In this paper we prove the version of this statement where we color the rationals instead of the integers. In other words, we show that the pattern $\{ \sum_{i \in S}x_i, \prod_{i \in S}x_i \}$, where $S$ ranges over all nonempty subsets of $[n]$, is partition regular over the rationals.
Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids and Beyond
Published
• View Publication
• BIB
Finding a maximum cardinality common independent set in two matroids (also known as \textsc{Matroid Intersection}) is a classical combinatorial optimization problem, which generalizes several well-known problems, such as finding a maximum bipartite matching, a maximum colorful forest, and an arborescence in directed graphs. Enumerating all maximal common independent sets in two (or more) matroids is a classical enumeration problem. In this paper, we address an ``intersection'' of these problems: Given two matroids and a threshold $τ$, the goal is to enumerate all maximal common independent sets in the matroids with cardinality at least $τ$. We show that this problem can be solved in polynomial delay and polynomial space. Moreover, our technique can be extended to a more general problem, which is relevant to Matroid Matching. We give a polynomial-delay and polynomial-space algorithm for enumerating all maximal ``matchings'' with cardinality at least $τ$, assuming that the optimization counterpart is ``tractable'' in a certain sense. This extension allows us to enumerate small minimal connected vertex covers in subcubic graphs. We also discuss a framework to convert enumeration with cardinality constraints into ranked enumeration.
Hadamard matrices of orders 60 and 64 with automorphisms of orders 29 and 31
Published
• View Publication
• BIB
A classification of Hadamard matrices of order $2p+2$ with an automorphism of order $p$ is given for $p=29$ and $31$. The ternary self-dual codes spanned by the newly found Hadamard matrices of order $60$ with an automorphism of order $29$ are computed, as well as the binary doubly even self-dual codes of length $120$ with generator matrices defined by related Hadamard designs. Several new ternary near-extremal self-dual codes, as well as binary near-extremal doubly even self-dual codes with previously unknown weight enumerators are found.
$p$-numerical semigroups of Pell triples
For a nonnegative integer $p$, the $p$-numerical semigroup $S_p$ is defined as the set of integers whose nonnegative integral linear combinations of given positive integers $a_1,a_2,\dots,a_κ$ with $\gcd(a_1,a_2,\dots,a_κ)=1$ are expressed in more than $p$ ways. When $p=0$, $S=S_0$ is the original numerical semigroup. The largest element and the cardinality of $\mathbb N_0\backslash S_p$ are called the $p$-Frobenius number and the $p$-genus, respectively. Their explicit formulas are known for $κ=2$, but those for $κ\ge 3$ have been found only in some special cases. For some known cases, such as the Fibonacci and the Jacobsthal triplets, similar techniques could be applied and explicit formulas such as the $p$-Frobenius number could be found.
In this paper, we give explicit formulas for the $p$-Frobenius number and the $p$-genus of Pell numerical semigroups $\bigl(P_i(u),P_{i+2}(u),P_{i+k}(u)\bigr)$. Here, for a given positive integer $u$, Pell-type numbers $P_n(u)$ satisfy the recurrence relation $P_n(u)=u P_{n-1}(u)+P_{n-2}(u)$ ($n\ge 2$) with $P_0(u)=0$ and $P_1(u)=1$. The $p$-Apéry set is used to find the formulas, but it shows a different pattern from those in the known results, and some case by case discussions are necessary.
Maximal diameter of integral circulant graphs
Integral circulant graphs are proposed as models for quantum spin networks that permit a quantum phenomenon called perfect state transfer. Specifically, it is important to know how far information can potentially be transferred between nodes of the quantum networks modelled by integral circulant graphs and this task is related to calculating the maximal diameter of a graph. The integral circulant graph $ICG_n (D)$ has the vertex set $Z_n = \{0, 1, 2, \ldots, n - 1\}$ and vertices $a$ and $b$ are adjacent if $\gcd(a-b,n)\in D$, where $D \subseteq \{d : d \mid n,\ 1\leq d<n\}$. Motivated by the result on the upper bound of the diameter of $ICG_n(D)$ given in [N. Saxena, S. Severini, I. Shparlinski, \textit{Parameters of integral circulant graphs and periodic quantum dynamics}, International Journal of Quantum Information 5 (2007), 417--430], according to which $2|D|+1$ represents one such bound, in this paper we prove that the maximal value of the diameter of the integral circulant graph $ICG_n(D)$ of a given order $n$ with its prime factorization $p_1^{α_1}\cdots p_k^{α_k}$, is equal to $r(n)$ or $r(n)+1$, where $r(n)=k + |\{ i \ | α_i> 1,\ 1\leq i\leq k \}|$, depending on whether $n\not\in 4N+2$ or not, respectively. Furthermore, we show that, for a given order $n$, a divisor set $D$ with $|D|\leq k$ can always be found such that this bound is attained. Finally, we calculate the maximal diameter in the class of integral circulant graphs of a given order $n$ and cardinality of the divisor set $t\leq k$ and characterize all extremal graphs. We actually show that the maximal diameter can have the values $2t$, $2t+1$, $r(n)$ and $r(n)+1$ depending on the values of $t$ and $n$. This way we further improve the upper bound of Saxena, Severini and Shparlinski and we also characterize all graphs whose diameters are equal to $2|D|+1$, thus generalizing a result in that paper.
Tukey reducibility for categories -- In search of the strongest statement in finite Ramsey theory
Published
• View Publication
• BIB
Every statement of the Ramsey theory of finite structures corresponds to the fact that a particular category has the Ramsey property. We can, then, compare the strength of Ramsey statements by comparing the ``Ramsey strength'' of the corresponding categories. The main thesis of this paper is that establishing pre-adjunctions between pairs of categories is an appropriate way of comparing their ``Ramsey strength''. What comes as a pleasant surprise is that pre-adjunctions generalize the Tukey reducibility in the same way categories generalize preorders. In this paper we set forth a classification program of statements of finite Ramsey theory based on their relationship with respect to this generalized notion of Tukey reducibility for categories. After identifying the ``weakest'' Ramsey category, we prove that the Finite Dual Ramsey Theorem is as powerful as the full-blown version of the Graham-Rothschild Theorem, and conclude the paper with the hypothesis that the Finite Dual Ramsey Theorem is the ``strongest'' of all finite Ramsey statements.