Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Odd cycles and Hilbert functions of their toric rings
Published in Mathematics 8 (2020), 22
• View Publication
• BIB
Studying Hilbert functions of concrete examples of normal toric rings, it is demonstrated that, for each $1 \leq s \leq 5$, an $O$-sequence $(h_0, h_1, \ldots, h_{2s-1}) \in \mathbb{Z}_{\geq 0}^{2s}$ satisfying the properties that (i) $h_0 \leq h_1 \leq \cdots \leq h_{s-1}$, (ii) $h_{2s-1} = h_0$, $h_{2s-2} = h_1$ and (iii) $h_{2s - 1 - i} = h_i + (-1)^{i}$, $2 \leq i \leq s - 1$, can be the $h$-vector of a Cohen--Macaulay standard $G$-domain.
On irreversible spread of influence in edge-weighted graphs
Published in CONTRIBUTIONS TO DISCRETE MATHEMATICS, Vol. 15 No. 2 (2020)
• View Publication
• BIB
Various kinds of spread of influence occur in real world social and virtual networks. These phenomena are formulated by activation processes and irreversible dynamic monopolies in combinatorial graphs representing the topology of the networks. In most cases the nature of influence is weighted and the spread of influence depends on the weight of edges. The ordinary formulation and results for dynamic monopolies do not work for such models. In this paper we present a graph theoretical analysis for spread of weighted influence and mention a real world example realizing the activation model with weighted influence. Then we obtain some extremal bounds and algorithmic results for activation process and dynamic monopolies in directed and undirected graphs with weighted edges.
Hitting time of edge disjoint Hamilton cycles in random subgraph processes on dense base graphs
Published
• View Publication
• BIB
Consider the random subgraph process on a base graph $G$ on $n$ vertices: a sequence $\lbrace G_t \rbrace _{t=0} ^{|E(G)|}$ of random subgraphs of $G$ obtained by choosing an ordering of the edges of $G$ uniformly at random, and by sequentially adding edges to $G_0$, the empty graph on the vertex set of $G$, according to the chosen ordering. We show that if $G$ has one of the following properties:
1. There is a positive constant $\varepsilon > 0$ such that $δ(G) \geq \left( \frac{1}{2} + \varepsilon \right) n$;
2. There are some constants $α, β>0$ such that every two disjoint subsets $U,W$ of size at least $αn$ have at least $β|U||W|$ edges between them, and the minimum degree of $G$ is at least $(2α+ β)\cdot n$; or:
3. $G$ is an $(n,d,λ)$--graph, with $d\geq \frac{C\cdot n\cdot \log \log n}{\log n}$ and $λ\leq \frac{c\cdot d^2}{n}$ for some absolute constants $c,C>0$.
then for a positive integer constant $k$ with high probability the hitting time of the property of containing $k$ edge disjoint Hamilton cycles is equal to the hitting time of having minimum degree at least $2k$. These results extend prior results by by Johansson and by Frieze and Krivelevich, and answer a question posed by Frieze.
Tropical convex hulls of polyhedral sets
In this paper we focus on the tropical convex hull of convex sets and polyhedral complexes. We give a vertex description of the tropical convex hull of a line segment and a ray. %in \RR^{n+1}/\RR\mathbf{1}.
Next we show that tropical convex hull and ordinary convex hull commute in two dimensions and characterize tropically convex polyhedra in any dimension. %$\mathbb{R}^3/\mathbb {R}\mathbf{1}$.
Finally we show that the dimension of a tropically convex fan depends on the coordinates of its rays and give a lower bound on the degree of a fan tropical curve using only tropical techniques.
enumeration of weighted paths on a digraph and block hook determinant
Published
• View Publication
• BIB
In this article, we evaluate determinants of block hook matrices, which are block matrices consist of hook matrices. In particular, we deduce that the determinant of a block hook matrix factorizes nicely. In addition we give a combinatorial interpretation of the aforesaid factorization property by counting weighted paths in a suitable weighted digraph.
A bijective proof of the ASM theorem, Part II: ASM enumeration and ASM-DPP relation
Published
• View Publication
• BIB
This paper is the second in a series of planned papers which provide first bijective proofs of alternating sign matrix results. Based on the main result from the first paper, we construct a bijective proof of the enumeration formula for alternating sign matrices and of the fact that alternating sign matrices are equinumerous with descending plane partitions. We are also able to refine these bijections by including the position of the unique $1$ in the top row of the matrix. Our constructions rely on signed sets and related notions. The starting point for these constructions were known ``computational'' proofs, but the combinatorial point of view led to several drastic modifications. We also provide computer code where all of our constructions have been implemented.
On two supercongruences of double binomial sums
Published
• View Publication
• BIB
In this note, we confirm two conjectural supercongruences on double sums of binomial coefficients due to El Bachraoui.
On sets containing a unit distance in every direction
We investigate the box dimensions of compact sets in $\mathbb{R}^2$ that contain a unit distance in every direction (such sets may have zero Hausdorff dimension). Among other results, we show that the lower box dimension must be at least $\frac{4}{7}$ and can be as low as $\frac{2}{3}$. This quantifies in a certain sense how far the unit circle is from being a difference set.
On the Shortest Separating Cycle
Published
• View Publication
• BIB
According to a result of Arkin~\etal~(2016), given $n$ point pairs in the plane, there exists a simple polygonal cycle that separates the two points in each pair to different sides; moreover, a $O(\sqrt{n})$-factor approximation with respect to the minimum length can be computed in polynomial time.
Here the following results are obtained: (I)~We extend the problem to geometric hypergraphs and obtain the following characterization of feasibility. Given a geometric hypergraph on points in the plane with hyperedges of size at least $2$, there exists a simple polygonal cycle that separates each hyperedge if and only if the hypergraph is $2$-colorable. (II)~We extend the $O(\sqrt{n})$-factor approximation in the length measure as follows:
Given a geometric graph $G=(V,E)$, a separating cycle (if it exists) can be computed in $O(m+ n\log{n})$ time, where $|V|=n$, $|E|=m$.
Moreover, a $O(\sqrt{n})$-approximation of the shortest separating cycle can be found in polynomial time.
Given a geometric graph $G=(V,E)$ in $\mathbb{R}^3$, a separating polyhedron (if it exists) can be found in $O(m+ n\log{n})$ time, where $|V|=n$, $|E|=m$.
Moreover, a $O(n^{2/3})$-approximation of a separating polyhedron of minimum perimeter can be found in polynomial time. (III)~Given a set of $n$ point pairs in convex position in the plane, we show that a $(1+\varepsilon)$-approximation of a shortest separating cycle can be computed in time $n^{O(\varepsilon^{-1/2})}$. In this regard, we prove a lemma on convex polygon approximation that is of independent interest.
On the deficiency of complete multipartite graphs
An edge-coloring of a graph $G$ with colors $1,\ldots,t$ is an \emph{interval $t$-coloring} if all colors are used, and the colors of edges incident to each vertex of $G$ are distinct and form an integer interval. It is well-known that there are graphs that do not have interval colorings. The \emph{deficiency} of a graph $G$, denoted by $\mathrm{def}(G)$, is the minimum number of pendant edges whose attachment to $G$ leads to a graph admitting an interval coloring. In this paper we investigate the problem of determining or bounding of the deficiency of complete multipartite graphs. In particular, we obtain a tight upper bound for the deficiency of complete multipartite graphs. We also determine or bound the deficiency for some classes of complete multipartite graphs.
On the central levels problem
Published
• View Publication
• BIB
The central levels problem asserts that the subgraph of the $(2m+1)$-dimensional hypercube induced by all bitstrings with at least $m+1-\ell$ many 1s and at most $m+\ell$ many 1s, i.e., the vertices in the middle $2\ell$ levels, has a Hamilton cycle for any $m\geq 1$ and $1\le \ell\le m+1$. This problem was raised independently by Buck and Wiedemann, Savage, by Gregor and Škrekovski, and by Shen and Williams, and it is a common generalization of the well-known middle levels problem, namely the case $\ell=1$, and classical binary Gray codes, namely the case $\ell=m+1$. In this paper we present a general constructive solution of the central levels problem. Our results also imply the existence of optimal cycles through any sequence of $\ell$ consecutive levels in the $n$-dimensional hypercube for any $n\ge 1$ and $1\le \ell \le n+1$. Moreover, extending an earlier construction by Streib and Trotter, we construct a Hamilton cycle through the $n$-dimensional hypercube, $n\geq 2$, that contains the symmetric chain decomposition constructed by Greene and Kleitman in the 1970s, and we provide a loopless algorithm for computing the corresponding Gray code.
Jones' Conjecture in subcubic graphs
Published in The Electronic Journal of Combinatorics 28(4), 5:1-5:12, 2021
• View Publication
• BIB
We confirm Jones' Conjecture for subcubic graphs. Namely, if a subcubic planar graph does not contain $k+1$ vertex-disjoint cycles, then it suffices to delete $2k$ vertices to obtain a forest.
The Maximum Number of Triangles in a Graph of Given Maximum Degree
Published in Advances in Combinatorics 2020:10
• View Publication
• BIB
We prove that any graph on $n$ vertices with max degree $d$ has at most $q{d+1 \choose 3}+{r \choose 3}$ triangles, where $n = q(d+1)+r$, $0 \le r \le d$. This resolves a conjecture of Gan-Loh-Sudakov.
Lorentzian polynomials from polytope projections
Published
• View Publication
• BIB
Lorentzian polynomials, recently introduced by Brändén and Huh, generalize the notion of log-concavity of sequences to homogeneous polynomials whose supports are integer points of generalized permutahedra. Brändén and Huh show that normalizations of polynomials equaling integer point transforms of generalized permutahedra are Lorentzian; moreover, normalizations of certain projections of integer point transforms of generalized permutahedra with zero-one vertices are also Lorentzian. Taking this polytopal perspective further, we show that normalizations of certain projections of integer point transforms of flow polytopes (which, before projection, are not Lorentzian), are also Lorentzian.
Enumerating Parking Completions Using Join and Split
Published in Electron. J. Combin. 27(2) (2020), #P2.44
• View Publication
• BIB
Given a strictly increasing sequence $\mathbf{t}$ with entries from $[n]:=\{1,\ldots,n\}$, a parking completion is a sequence $\mathbf{c}$ with $|\mathbf{t}|+|\mathbf{c}|=n$ and $|\{t\in \mathbf{t}\mid t\le i\}|+|\{c\in \mathbf{c}\mid c\le i\}|\ge i$ for all $i$ in $[n]$. We can think of $\mathbf{t}$ as a list of spots already taken in a street with $n$ parking spots and $\mathbf{c}$ as a list of parking preferences where the $i$-th car attempts to park in the $c_i$-th spot and if not available then proceeds up the street to find the next available spot, if any. A parking completion corresponds to a set of preferences $\mathbf{c}$ where all cars park.
We relate parking completions to enumerating restricted lattice paths and give formulas for both the ordered and unordered variations of the problem by use of a pair of operations termed \textbf{Join} and \textbf{Split}. Our results give a new volume formula for most Pitman-Stanley polytopes, and enumerate the signature parking functions of Ceballos and González D'León.
Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
Published in TheoretiCS, Volume 4 (March 25, 2025) theoretics:13076
• View Publication
• BIB
We show exponential lower bounds on resolution proof length for pigeonhole principle (PHP) formulas and perfect matching formulas over highly unbalanced, sparse expander graphs, thus answering the challenge to establish strong lower bounds in the regime between balanced constant-degree expanders as in [Ben-Sasson and Wigderson '01] and highly unbalanced, dense graphs as in [Raz '04] and [Razborov '03, '04]. We obtain our results by revisiting Razborov's pseudo-width method for PHP formulas over dense graphs and extending it to sparse graphs. This further demonstrates the power of the pseudo-width method, and we believe it could potentially be useful for attacking also other longstanding open problems for resolution and other proof systems.
Some Properties and Combinatorial Implications of Weighted Small Schröder Numbers
Published in Journal of Integer Sequences 24 (2021) Article 21.1.1
• Search Publication
The $n^{\text{th}}$ small Schröder number is $s(n) = \sum_{k \geq 0} s(n,k)$, where $s(n,k)$ denotes the number of plane rooted trees with $n$ leaves and $k$ internal nodes that each has at least two children. In this manuscript, we focus on the weighted small Schröder numbers $s_d(n) = \sum_{k \geq 0} s(n,k) d^k$, where $d$ is an arbitrary fixed real number. We provide recursive and asymptotic formulas for $s_d(n)$, as well as some identities and combinatorial interpretations for these numbers. We also establish connections between $s_d(n)$ and several families of Dyck paths.
On the Askey--Wilson type integrals
The Askey--Wilson integral is very important in the theory of orthogonal polynomials. Liu's integral is a generalization of the Askey--Wilson integral with many parameters. With the help of the series rearrangement method, we give the elementary proof of them. Furthermore, we establish two new Askey--Wilson type integrals in the similar way and find a generalization of a known transformation formula containing three $_{3}φ_{2}$ series.
Nuclear partitions and a formula for $p(n)$
Define a "nuclear partition" to be an integer partition with no part equal to one. In this study we prove a simple formula to compute the partition function $p(n)$ by counting only the nuclear partitions of $n$, a vanishingly small subset by comparison with all partitions of $n$ as $n\to \infty$. Variations on the proof yield other formulas for $p(n)$, as well as Ramanujan-like congruences and an application to parity of the partition function.
More on Poincare-Hopf and Gauss-Bonnet
We illustrate connections between differential geometry on finite simple graphs G=(V,E) and Riemannian manifolds (M,g). The link is that curvature can be defined integral geometrically as an expectation in a probability space of Poincare-Hopf indices of coloring or Morse functions. Regge calculus with an isometric Nash embedding links then the Gauss-Bonnet-Chern integrand of a Riemannian manifold with the graph curvature. There is also a direct nonstandard approach: if V is a finite set containing all standard points of M and E contains pairs which are infinitesimally close in the sense of internal set theory, one gets a finite simple graph (V,E) which gets a curvature which as a measure corresponds to the standard curvature. The probabilistic approach is an umbrella framework which covers discrete spaces, piecewise linear spaces, manifolds or varieties.