Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Logarithmic A-hypergeometric series
Published
• View Publication
• BIB
The method of Frobenius is a standard technique to construct series solutions of an ordinary linear differential equation around a regular singular point. In the classical case, when the roots of the indicial polynomial are separated by an integer, logarithmic solutions can be constructed by means of perturbation of a root.
The method for a regular A-hypergeometric system is a theme of the book by Saito, Sturmfels, and Takayama. Whereas they perturbed a parameter vector to obtain logarithmic A-hypergeometric series solutions, we adopt a different perturbation in this paper.
Idealness of $k$-wise intersecting families
Published
• View Publication
• BIB
A clutter is \emph{$k$-wise intersecting} if every $k$ members have a common element, yet no element belongs to all members. We conjecture that, for some integer $k\geq 4$, every $k$-wise intersecting clutter is non-ideal. As evidence for our conjecture, we prove it for $k=4$ for the class of binary clutters. Two key ingredients for our proof are Jaeger's $8$-flow theorem for graphs, and Seymour's characterization of the binary matroids with the sums of circuits property. As further evidence for our conjecture, we also note that it follows from an unpublished conjecture of Seymour from 1975. We also discuss connections to the chromatic number of a clutter, projective geometries over the two-element field, uniform cycle covers in graphs, and quarter-integral packings of value two in ideal clutters.
Pfaffian Pairs and Parities: Counting on Linear Matroid Intersection and Parity Problems
Published
• View Publication
• BIB
Spanning trees are a representative example of linear matroid bases that are efficiently countable. Perfect matchings of Pfaffian bipartite graphs are a countable example of common bases of two matrices. Generalizing these two examples, Webb (2004) introduced the notion of Pfaffian pairs as a pair of matrices for which counting of their common bases is tractable via the Cauchy-Binet formula.
This paper studies counting on linear matroid problems extending Webb's work. We first introduce "Pfaffian parities" as an extension of Pfaffian pairs to the linear matroid parity problem, which is a common generalization of the linear matroid intersection problem and the matching problem. We enumerate combinatorial examples of Pfaffian pairs and parities. The variety of the examples illustrates that Pfaffian pairs and parities serve as a unified framework of efficiently countable discrete structures. Based on this framework, we derive celebrated counting theorems, such as Kirchhoff's matrix-tree theorem, Tutte's directed matrix-tree theorem, the Pfaffian matrix-tree theorem, and the Lindström-Gessel-Viennot lemma.
Our study then turns to algorithmic aspects. We observe that the fastest randomized algorithms for the linear matroid intersection and parity problems by Harvey (2009) and Cheung-Lau-Leung (2014) can be derandomized for Pfaffian pairs and parities. We further present polynomial-time algorithms to count the number of minimum-weight solutions on weighted Pfaffian pairs and parities. Our algorithms make use of Frank's weight splitting lemma for the weighted matroid intersection problem and the algebraic optimality criterion of the weighted linear matroid parity problem given by Iwata-Kobayashi (2017).
Small toric resolutions of toric varieties of string polytopes with small indices
Published
• View Publication
• BIB
Let $G$ be a semisimple algebraic group over $\mathbb{C}$. For a reduced word $\bf i$ of the longest element in the Weyl group of $G$ and a dominant integral weight $λ$, one can construct the string polytope $Δ_{\bf i}(λ)$, whose lattice points encode the character of the irreducible representation $V_λ$. The string polytope $Δ_{\bf i}(λ)$ is singular in general and combinatorics of string polytopes heavily depends on the choice of $\mathbf i$. In this paper, we study combinatorics of string polytopes when $G = SL_{n+1}(\mathbb{C})$, and present a sufficient condition on $\mathbf i$ such that the toric variety $X_{Δ_{\mathbf i}(λ)}$ of the string polytope $Δ_{\mathbf i}(λ)$ has a small toric resolution. Indeed, when $\mathbf i$ has small indices and $λ$ is regular, we explicitly construct a small toric resolution of the toric variety $X_{Δ_{\bf i}(λ)}$ using a Bott manifold. Our main theorem implies that a toric variety of any string polytope admits a small toric resolution when $n < 4$. As a byproduct, we show that if $\mathbf i$ has small indices then $Δ_{\mathbf i}(λ)$ is integral for any dominant integral weight $λ$, which in particular implies that the anticanonical limit toric variety $X_{Δ_{\bf i}(λ_P)}$ of a partial flag variety $G/P$ is Gorenstein Fano. Furthermore, we apply our result to symplectic topology of the full flag manifold $G/B$ and obtain a formula of the disk potential of the Lagrangian torus fibration on $G/B$ obtained from a flat toric degeneration of $G/B$ to the toric variety $X_{Δ_{\bf i}(λ)}$.
Some supercongruences arising from symbolic summation
Published
• View Publication
• BIB
Based on some combinatorial identities arising from symbolic summation, we extend two supercongruences on partial sums of hypergeometric series, which were originally conjectured by Guo and Schlosser and recently confirmed by Jana and Kalita.
An improved approximation algorithm for ATSP
Published
• View Publication
• BIB
We revisit the constant-factor approximation algorithm for the asymmetric traveling salesman problem by Svensson, Tarnawski, and Végh. We improve on each part of this algorithm. We avoid the reduction to irreducible instances and thus obtain a simpler and much better reduction to vertebrate pairs. We also show that a slight variant of their algorithm for vertebrate pairs has a much smaller approximation ratio. Overall we improve the approximation ratio from $506$ to $22+ε$ for any $ε> 0$. This also improves the upper bound on the integrality ratio from $319$ to $22$.
On the star-critical Ramsey number of a forest versus complete graphs
Published
• View Publication
• BIB
Let $G$ and $G_1, G_2, \ldots , G_t$ be given graphs. By $G\rightarrow (G_1, G_2, \ldots , G_t)$ we mean if the edges of $G$ are arbitrarily colored by $t$ colors, then for some $i$, $1\leq i\leq t$, the spanning subgraph of $G$ whose edges are colored with the $i$-th color, contains a copy of $G_i$. The Ramsey number $R(G_1, G_2, \ldots, G_t)$ is the smallest positive integer $n$ such that $K_n\rightarrow (G_1, G_2, \ldots , G_t)$ and the size Ramsey number $\hat{R}(G_1, G_2, \ldots , G_t)$ is defined as $\min\{|E(G)|:~G\rightarrow (G_1, G_2, \ldots , G_t)\}$. Also, for given graphs $G_1, G_2, \ldots , G_t$ with $r=R(G_1, G_2, \ldots , G_t)$, the star-critical Ramsey number $R_*(G_1, G_2, \ldots , G_t)$ is defined as $\min\{δ(G):~G\subseteq K_r, ~G\rightarrow (G_1, G_2, \ldots , G_t)\}$. In this paper, the Ramsey number and also the star-critical Ramsey number of a forest versus any number of complete graphs will be computed exactly in terms of the Ramsey number of complete graphs. As a result, the computed star-critical Ramsey number is used to give a tight bound for the size Ramsey number of a forest versus a complete graph.
$(2k+1)$-connected tournaments with large minimum out-degree are $k$-linked
Pokrovskiy conjectured that there is a function $f: \mathbb{N} \rightarrow \mathbb{N}$ such that any $2k$-strongly-connected tournament with minimum out and in-degree at least $f(k)$ is $k$-linked. In this paper, we show that any $(2k+1)$-strongly-connected tournament with minimum out-degree at least some polynomial in $k$ is $k$-linked, thus resolving the conjecture up to the additive factor of $1$ in the connectivity bound, but without the extra assumption that the minimum in-degree is large. Moreover, we show the condition on high minimum out-degree is necessary by constructing arbitrarily large tournaments that are $(2.5k-1)$-strongly-connected but are not $k$-linked.
Uniform Local Amenability implies Property A
Published
• View Publication
• BIB
In this short note we answer a query of Brodzki, Niblo, Špakula, Willett and Wright by showing that all bounded degree uniformly locally amenable graphs have Property A. For the second result of the note recall that Kaiser proved that if $Γ$ is a finitely generated group and $\{H_i\}^\infty_{i=1}$ is a Farber sequence of finite index subgroups, then the associated Schreier graph sequence is of Property A if and only if the group is amenable. We show however, that there exist a non-amenable group and a nested sequence of finite index subgroups $\{H_i\}^\infty_{i=1}$ such that $\cap H=\{e_Γ\}$, and the associated Schreier graph sequence is of Property A.
Chen and Chvátal's Conjecture in tournaments
Published
• View Publication
• BIB
In this work we present a version of the so called Chen and Chvátal's conjecture for directed graphs. A line of a directed graph D is defined by an ordered pair (u, v), with u and v two distinct vertices of D, as the set of all vertices w such that u, v, w belong to a shortest directed path in D containing a shortest directed path from u to v. A line is empty if there is no directed path from u to v. Another option is that a line is the set of all vertices.
The version of the Chen and Chvátal's conjecture we study states that if none of previous options hold, then the number of distinct lines in D is at least its number of vertices. Our main result is that any tournament satisfies this conjecture as well as any orientation of a complete bipartite graph of diameter three.
Non-monotonicity of closed convexity in neural codes
Published
• View Publication
• BIB
Neural codes are lists of subsets of neurons that fire together. Of particular interest are neurons called place cells, which fire when an animal is in specific, usually convex regions in space. A fundamental question, therefore, is to determine which neural codes arise from the regions of some collection of open convex sets or closed convex sets in Euclidean space. This work focuses on how these two classes of codes -- open convex and closed convex codes -- are related. As a starting point, open convex codes have a desirable monotonicity property, namely, adding non-maximal codewords preserves open convexity; but here we show that this property fails to hold for closed convex codes. Additionally, while adding non-maximal codewords can only increase the open embedding dimension by 1, here we demonstrate that adding a single such codeword can increase the closed embedding dimension by an arbitrarily large amount. Finally, we disprove a conjecture of Goldrup and Phillipson, and also present an example of a code that is neither open convex nor closed convex.
Some exact results on $4$-cycles: stability and supersaturation
Published in [CSIAM Transactions on Applied Mathematics] [4(1)] [2023] [74-128]
• View Publication
• BIB
Extremal problems on the $4$-cycle $C_4$ played a heuristic important role in the development of extremal graph theory. A fundamental theorem of Füredi states that the Turán number $ex(q^2+q+1, C_4)\leq \frac12 q(q+1)^2$ holds for every $q\geq 14$, which matches with the classic construction of Erdős-R{é}nyi-Sós and Brown from finite geometry for prime powers $q$.
Very recently, we obtained the first stability result on Füredi's theorem, by showing that for large even $q$, every $(q^2+q+1)$-vertex $C_4$-free graph with more than $\frac12 q(q+1)^2-0.2q$ edges must be a spanning subgraph of a unique polarity graph. Using new technical ideas in graph theory and finite geometry, we strengthen this by showing that the same conclusion remains true if the number of edges is lowered to $\frac12 q(q+1)^2-\frac12 q+o(q)$. Among other applications, this gives an immediate improvement on the upper bound of $ex(n,C_4)$ for infinitely many integers $n$.
A longstanding conjecture of Erdős and Simonovits states that every $n$-vertex graph with $ex(n,C_4)+1$ edges contains at least $(1+o(1))\sqrt{n}$ 4-cycles. We proved an exact result and confirmed Erdős-Simonovits conjecture for infinitely many integers $n$. As the second main result of this paper, we further characterize all extremal graphs for which achieve the $\ell$th least number of copies of $C_4$ for any fixed positive integer $\ell$. This can be extended to more general settings and provides enhancements on the understanding of the supersaturation problem of $C_4$.
Periodic Pólya Urns, the Density Method, and Asymptotics of Young Tableaux
Published
• View Publication
• BIB
Pólya urns are urns where at each unit of time a ball is drawn and replaced with some other balls according to its colour. We introduce a more general model: the replacement rule depends on the colour of the drawn ball and the value of the time ($\operatorname{mod} p$). We extend the work of Flajolet et al. on Pólya urns: the generating function encoding the evolution of the urn is studied by methods of analytic combinatorics. We show that the initial partial differential equations lead to ordinary linear differential equations which are related to hypergeometric functions (giving the exact state of the urns at time n). When the time goes to infinity, we prove that these periodic Pólya urns have asymptotic fluctuations which are described by a product of generalized gamma distributions. With the additional help of what we call the density method (a method which offers access to enumeration and random generation of poset structures), we prove that the law of the south-east corner of a triangular Young tableau follows asymptotically a product of generalized gamma distributions. This allows us to tackle some questions related to the continuous limit of large random Young tableaux and links with random surfaces.
Arborescences of Covering Graphs
Published
• View Publication
• BIB
An arborescence of a directed graph $Γ$ is a spanning tree directed toward a particular vertex $v$. The arborescences of a graph rooted at a particular vertex may be encoded as a polynomial $A_v(Γ)$ representing the sum of the weights of all such arborescences. The arborescences of a graph and the arborescences of a covering graph $\tildeΓ$ are closely related. Using voltage graphs as means to construct arbitrary regular covers, we derive a novel explicit formula for the ratio of $A_v(Γ)$ to the sum of arborescences in the lift $A_{\tilde{v}}(\tildeΓ)$ in terms of the determinant of Chaiken's voltage Laplacian matrix, a generalization of the Laplacian matrix. Chaiken's results on the relationship between the voltage Laplacian and vector fields on $Γ$ are reviewed, and we provide a new proof of Chaiken's results via a deletion-contraction argument.
Symmetric designs and projective special unitary groups of dimension at most five
In this article, we study symmetric $(v, k, λ)$ designs admitting a flag-transitive and point-primitive automorphism group $G$ whose socle is a projective special unitary group of dimension at most five. We, in particular, determine all such possible parameters $(v, k, λ)$ and show that there exist eight non-isomorphic of such designs for which $λ\in\{3,6,12, 16, 18\}$ and $G$ is $PSU_{3}(3)$, $PSU_{3}(3):2$, $PSU_{4}(2)$ or $PSU_{4}(2):2$.
On the query complexity of estimating the distance to hereditary graph properties
Published
• View Publication
• BIB
Given a family of graphs $\mathcal{F}$, we prove that the normalized edit distance of any given graph $Γ$ to being induced $\mathcal{F}$-free is estimable with a query complexity that depends only on the bounds of the Frieze--Kannan Regularity Lemma and on a Removal Lemma for $\mathcal{F}$.
On the total and strong version for Roman dominating functions in graphs
Published
• View Publication
• BIB
Consider a finite and simple graph $G=(V,E)$ with maximum degree $Δ$. A strong Roman dominating function over the graph $G$ is understood as a map $f : V (G)\rightarrow \{0, 1,\ldots , \left\lceil \fracΔ{2}\right\rceil+ 1\}$ which carries out the condition stating that all the vertices $v$ labeled $f(v)=0$ are adjacent to at least one another vertex $u$ that satisfies $f(u)\geq 1+ \left\lceil \frac{1}{2}\vert N(u)\cap V_0\vert \right\rceil$, such that $V_0=\{v \in V \mid f(v)=0 \}$ and the notation $N(u)$ stands for the open neighborhood of $u$. The total version of one strong Roman dominating function includes the additional property concerning the not existence of vertices of degree zero in the subgraph of $G$, induced by the set of vertices labeled with a positive value. The minimum possible value for the sum $ω(f)=f(V)=\sum_{v\in V} f(v)$ (also called the weight of $f$), taken amongst all existent total strong Roman dominating functions $f$ of $G$, is called the total strong Roman domination number of $G$, denoted by $γ_{StR}^t(G)$. This total and strong version of the Roman domination number (for graphs) is introduced in this research, and the study of its mathematical properties is therefore initiated. For instance, we establish upper bounds for such parameter, and relate it with several parameters related to vertex domination in graphs, from which we remark the standard domination number, the total version of the standard domination number and the (strong) Roman domination number. In addition, among other results, we show that for any tree $T$ of order $n(T)\ge 3$, with maximum degree $Δ(T)$ and $s(T)$ support vertices, $γ_{StR}^t(T)\ge \left\lceil \frac{n(T)+s(T)}{Δ(T)}\right\rceil+1$.
A Note on Riordan Arrays with Catalan Halves
For a lower triangular matrix $(t_{n,k})$ we call the matrices with respective entries $(t_{2n-k,n})$ and $(t_{2n,n+k})$ the vertical and the horizontal halves. In this note, we discuss Riordan arrays whose halves are closely related to the Catalan matrices.
Riordan arrays, the $A$-matrix, and Somos $4$ sequences
We characterize certain Riordan arrays by their $A$-matrices and $ρ$ sequences. We conjecture the form of a generic $A$-matrix which leads to Somos $4$ sequences. We find an $A$-matrix that produces a Riordan quasi-involution, and we study the $A$-matrices and $ρ$ sequences of the moment matrices of certain perturbed orthogonal polynomials.
A Pósa-type condition of potentially $_3C_\ell$-graphic sequences
A non-increasing sequence $π=(d_1,\ldots,d_n)$ of nonnegative integers is said to be graphic if it is realizable by a simple graph $G$ on $n$ vertices. A graphic sequence $π=(d_1,\ldots,d_n)$ is said to be potentially $_3C_\ell$-graphic if there is a realization of $π$ containing cycles of every length $r$, $3\le r\le \ell$. It is well-known that if the non-increasing degree sequence $(d_1,\ldots,d_\ell)$ of a graph $G$ on $\ell$ vertices satisfies the Pósa condition that $d_{\ell+1-i}\ge i+1$ for every $i$ with $1\le i<\frac{\ell}{2}$, then $G$ is either pancyclic or bipartite. In this paper, we obtain a Pósa-type condition of potentially $_3C_\ell$-graphic sequences, that is, we prove that if $\ell\ge 5$ is an integer, $n\ge \ell$ and $π=(d_1,\ldots,d_n)$ is a graphic sequence with $d_{\ell+1-i}\ge i+1$ for every $i$ with $1\le i<\frac{\ell}{2}$, then $π$ is potentially $_3C_\ell$-graphic. This result improves a Dirac-type condition of potentially $_3C_\ell$-graphic sequences due to Yin et al. [Appl. Math. Comput., 353 (2019) 88--94], and asymptotically answers a problem due to Li et al. [Adv. Math., 33 (2004) 273--283]. As an application, this result also completely implies the value $σ(C_\ell,n)$ for $\ell\ge 5$ and $n\ge \ell$, improving the result of Lai [J. Combin. Math. Combin. Comput., 49 (2004) 57--64].