Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Deficiency of chemical reaction networks: The effect of operations that preserve multistationarity and periodic orbits
Published
• View Publication
• BIB
We investigate six operations on chemical reaction networks, all of which have been proven to preserve important dynamical properties, namely, the capacity for nondegenerate multistationarity (multiple steady states) and periodic orbits. Both multistationarity and periodic orbits are properties that are known to be precluded when the deficiency (a nonnegative integer associated to a network) is zero. It is therefore natural to conjecture that the deficiency never decreases when any of the six aforementioned network operations are performed. We prove that this is indeed the case, and moreover, we characterize the numerical difference in deficiency after performing each network operation.
Note on Minimization of Quasi M$^\natural$-convex Functions
Published
• View Publication
• BIB
For a class of discrete quasi convex functions called semi-strictly quasi M$^\natural$-convex functions, we investigate fundamental issues relating to minimization, such as optimality condition by local optimality, minimizer cut property, geodesic property, and proximity property. Emphasis is put on comparisons with (usual) M$^\natural$-convex functions. The same optimality condition and a weaker form of the minimizer cut property hold for semi-strictly quasi M$^\natural$-convex functions, while geodesic property and proximity property fail.
Laguerre inequality and determinantal inequality for the broken $k$-diamond partition function
Published
• View Publication
• BIB
In 2007, Andrews and Paule introduced the broken $k$-diamond partition function $Δ_{k}(n)$, which has received a lot of researches on the arithmetic propertises. In this paper, we will prove the broken $k$-diamond partition function satisfies the Laguerre inequalities of order $2$ and the determinantal inequalities of order $3$ for $k=1$ or $2$. Moreover, we conjectured the thresholds for the Laguerre inequalities of order $m$ and the positivity of $m$-order determinants for $4\leq m\leq 14$ for the broken $k$-diamond partition function when $k=1$ or $2$.
On ordered Ramsey numbers of matchings versus triangles
Published
• View Publication
• BIB
For graphs $G^<$ and $H^<$ with linearly ordered vertex sets, the \ordered Ramsey number $r_<(G^<,H^<)$ is the smallest positive integer $N$ such that any red-blue coloring of the edges of the complete ordered graph $K^<_N$ on $N$ vertices contains either a blue copy of $G^<$ or a red copy of $H^<$. Motivated by a problem of Conlon, Fox, Lee, and Sudakov (2017), we study the numbers $r_<(M^<,K^<_3)$ where $M^<$ is an ordered matching on $n$ vertices.
We prove that almost all $n$-vertex ordered matchings $M^<$ with interval chromatic number 2 satisfy $r_<(M^<,K^<_3) \in Ω((n/\log n)^{5/4})$ and $r_<(M^<,K^<_3) \in O(n^{7/4})$, improving a recent result by Rohatgi (2019). We also show that there are $n$-vertex ordered matchings $M^<$ with interval chromatic number at least 3 satisfying $r_<(M^<,K^<_3) \in Ω((n/\log n)^{4/3})$, which asymptotically matches the best known lower bound on these off-diagonal ordered Ramsey numbers for general $n$-vertex ordered matchings.
On Color Critical Graphs of Star Coloring
A \emph{star coloring} of a graph $G$ is a proper vertex-coloring such that no path on four vertices is $2$-colored. The minimum number of colors required to obtain a star coloring of a graph $G$ is called star chromatic number and it is denoted by $χ_s(G)$. A graph $G$ is called $k$-critical if $χ_s(G)=k$ and $χ_s(G -e) < χ_s(G)$ for every edge $e \in E(G)$. In this paper, we give a characterization of 3-critical, $(n-1)$-critical and $(n-2)$-critical graphs with respect to star coloring, where $n$ denotes the number of vertices of $G$. We also give upper and lower bounds on the minimum number of edges in $(n-1)$-critical and $(n-2)$-critical graphs.
On the Structure of Set-Theoretic Polygon Equations
Published in SIGMA 20 (2024), 051, 30 pages
• View Publication
• BIB
Polygon equations generalize the prominent pentagon equation in very much the same way as simplex equations generalize the famous Yang-Baxter equation. In particular, they appeared as ''cocycle equations'' in Street's category theory associated with oriented simplices. Whereas the $(N-1)$-simplex equation can be regarded as a realization of the higher Bruhat order $B(N,N-2)$, the $N$-gon equation is a realization of the higher Tamari order $T(N,N-2)$. The latter and its dual $\tilde T(N,N-2)$, associated with which is the dual $N$-gon equation, have been shown to arise as suborders of $B(N,N-2)$ via a ''three-color decomposition''. There are two different reductions of $T(N,N-2)$ and $\tilde T(N,N-2)$, to ${T(N-1,N-3)}$, respectively $\tilde T(N-1,N-3)$. In this work, we explore the corresponding reductions of (dual) polygon equations, which lead to relations between solutions of neighboring (dual) polygon equations. We also elaborate (dual) polygon equations in this respect explicitly up to the octagon equation.
Infinite Eulerian paths are computable on graphs with vertices of infinite degree
Published
• View Publication
• BIB
The Erdős, Grünwald, and Weiszfeld theorem is a characterization of those infinite graphs which are Eulerian. That is, infinite graphs that admit infinite Eulerian paths. In this article we prove an effective version of the Erdős, Grünwald, and Weiszfeld theorem for a class of graphs where vertices of infinite degree are allowed, generalizing a theorem of D.Bean. Our results are obtained from a characterization of those finite paths in a graph that can be extended to infinite Eulerian paths.
Branchwidth is (1,g)-self-dual
Published
• View Publication
• BIB
A graph parameter is self-dual in some class of graphs embeddable in some surface if its value does not change in the dual graph by more than a constant factor. We prove that the branchwidth of connected hypergraphs without bridges and loops that are embeddable in some surface of Euler genus at most g is an (1,g)-self-dual parameter. This is the first proof that branchwidth is an additively self-dual width parameter.
Non-disjoint strong external difference families can have any number of sets
Published
• View Publication
• BIB
Strong external difference families (SEDFs) are much-studied combinatorial objects motivated by an information security application. A well-known conjecture states that only one abelian SEDF with more than 2 sets exists. We show that if the disjointness condition is replaced by non-disjointness, then abelian SEDFs can be constructed with more than 2 sets (indeed any number of sets). We demonstrate that the non-disjoint analogue has striking differences to, and connections with, the classical SEDF and arises naturally via another coding application.
Clones of pigmented words and realizations of special classes of monoids
Published
• View Publication
• BIB
Clones are generalizations of operads forming powerful instruments to describe varieties of algebras wherein repeating variables are allowed in their relations. They allow us in this way to realize and study a large range of algebraic structures. A functorial construction from the category of monoids to the category of clones is introduced. The obtained clones involve words on positive integers where letters are pigmented by elements of a monoid. By considering quotients of these structures, we construct a complete hierarchy of clones involving some families of combinatorial objects. This provides clone realizations of some known and some new special classes of monoids as among others the variety of left-regular bands, bounded semilattices, and regular band monoids.
Spectral extrema of $\{K_{k+1},\mathcal{L}_s\}$-free graphs
Published
• View Publication
• BIB
For a set of graphs $\mathcal{F}$, a graph is said to be $\mathcal{F}$-free if it does not contain any graph in $\mathcal{F}$ as a subgraph. Let Ex$_{sp}(n,\mathcal{F})$ denote the graphs with the maximum spectral radius among all $\mathcal{F}$-free graphs of order $n$. A linear forest is a graph whose connected component is a path. Denote by $\mathcal{L}_s$ the family of all linear forests with $s$ edges. In this paper the graphs in Ex$_{sp}(n,\{K_{k+1},\mathcal{L}_s\})$ will be completely characterized when $n$ is appropriately large.
Two sufficient conditions for graphs to admit path factors
Published in Fundamenta Informaticae, Volume 191, Issue 1 (March 30, 2024) fi:12212
• View Publication
• BIB
Let $\mathcal{A}$ be a set of connected graphs. Then a spanning subgraph $A$ of $G$ is called an $\mathcal{A}$-factor if each component of $A$ is isomorphic to some member of $\mathcal{A}$. Especially, when every graph in $\mathcal{A}$ is a path, $A$ is a path factor. For a positive integer $d\geq2$, we write $\mathcal{P}_{\geq d}=\{P_i|i\geq d\}$. Then a $\mathcal{P}_{\geq d}$-factor means a path factor in which every component admits at least $d$ vertices. A graph $G$ is called a $(\mathcal{P}_{\geq d},m)$-factor deleted graph if $G-E'$ admits a $\mathcal{P}_{\geq d}$-factor for any $E'\subseteq E(G)$ with $|E'|=m$. A graph $G$ is called a $(\mathcal{P}_{\geq d},k)$-factor critical graph if $G-Q$ has a $\mathcal{P}_{\geq d}$-factor for any $Q\subseteq V(G)$ with $|Q|=k$. In this paper, we present two degree conditions for graphs to be $(\mathcal{P}_{\geq3},m)$-factor deleted graphs and $(\mathcal{P}_{\geq3},k)$-factor critical graphs. Furthermore, we show that the two results are best possible in some sense.
Ladder determinantal varieties and their symbolic blowups
Published
• View Publication
• BIB
In this article we show that the symbolic Rees algebra of a mixed ladder determinantal ideal is strongly $F$-regular. Furthermore, we prove that the symbolic associated graded algebra of a mixed ladder determinantal ideal is $F$-pure. The latter implies that mixed ladder determinantal rings are $F$-pure. We also show that ideals of the poset of minors of a generic matrix give rise to $F$-pure algebras with straightening law.
Euclidean Gallai-Ramsey for various configurations
Published
• View Publication
• BIB
The Euclidean Gallai-Ramsey problem, which investigates the existence of monochromatic or rainbow configurations in a colored $n$-dimensional Euclidean space $\mathbb{E}^{n}$, was introduced and studied recently. We further explore this problem for various configurations including triangles, squares, lines, and the structures with specific properties, such as rectangular and spherical configurations. Several of our new results provide refinements to the results presented in a recent work by Mao, Ozeki and Wang. One intriguing phenomenon evident on the Gallai-Ramsey results proven in this paper is that the dimensions of spaces are often independent of the number of colors. Our proofs primarily adopt a geometric perspective.
On MaxCut and the Lovász theta function
Published
• View Publication
• BIB
In this short note we prove a lower bound for the MaxCut of a graph in terms of the Lovász theta function of its complement. We combine this with known bounds on the Lovász theta function of complements of $H$-free graphs to recover many known results on the MaxCut of $H$-free graphs. In particular, we give a new, very short proof of a conjecture of Alon, Krivelevich and Sudakov about the MaxCut of graphs with no cycles of length $r$.
A new upper bound for the Heilbronn triangle problem
For sufficiently large $n$, we show that in every configuration of $n$ points chosen inside the unit square there exists a triangle of area less than $n^{-8/7-1/2000}$. This improves upon a result of Komlós, Pintz and Szemerédi from 1982. Our approach establishes new connections between the Heilbronn triangle problem and various themes in incidence geometry and projection theory which are closely related to the discretized sum-product phenomenon.
Gröbner basis and Krull dimension of Lovász-Saks-Sherijver ideal associated to a tree
Let $\mathbb{K}$ be a field and $n$ be a positive integer. Let $Γ=([n], E)$ be a simple graph, where $[n]=\{1,\ldots, n\}$. If $S=\mathbb{K}[x_1, \ldots, x_n, y_1, \ldots, y_n]$ is a polynomial ring, then the graded ideal \[ L_Γ^\mathbb{K}(2) = \left( x_{i}x_{j} + y_{i}y_{j} \colon \quad \{i, j\} \in E(Γ)\right) \subset S,\] is called the Lovász-Saks-Schrijver ideal, LSS-ideal for short, of $Γ$ with respect to $\mathbb{K}$. In the present paper, we compute a Gröbner basis of this ideal with respect to lexicographic ordering induced by $x_1>\cdots>x_n>y_1>\cdots>y_n$ when $Γ=T$ is a tree. As a result, we show that it is independent of the choice of the ground field $\mathbb{K}$ and compute the Hilbert series of $L_T^\mathbb{K}(2)$. Finally, we present concrete combinatorial formulas to obtain the Krull dimension of $S/L_T^\mathbb{K}(2)$ as well as lower and upper bounds for Krull dimension.
Kissing polytopes
Published in SIAM J. Discrete Math. 38(4), 2643-2664 (2024)
• View Publication
• BIB
We investigate the following question: how close can two disjoint lattice polytopes contained in a fixed hypercube be? This question stems from various contexts where the minimal distance between such polytopes appears in complexity bounds of optimization algorithms. We provide nearly matching lower and upper bounds on this distance and discuss its exact computation. We also give similar bounds in the case of disjoint rational polytopes whose binary encoding length is prescribed.
An Alternate Proof of Near-Optimal Light Spanners
Published in TheoretiCS, Volume 4 (January 10, 2025) theoretics:13191
• View Publication
• BIB
In 2016, a breakthrough result of Chechik and Wulff-Nilsen [SODA '16] established that every $n$-node graph $G$ has a $(1+\varepsilon)(2k-1)$-spanner of lightness $O_{\varepsilon}(n^{1/k})$, and recent followup work by Le and Solomon [STOC '23] generalized the proof strategy and improved the dependence on $\varepsilon$. We give a new proof of this result, with the improved $\varepsilon$-dependence. Our proof is a direct analysis of the often-studied greedy spanner, and can be viewed as an extension of the folklore Moore bounds used to analyze spanner sparsity.
Khovanov homology, wedges of spheres and complexity
Published
• View Publication
• BIB
Our main result has topological, combinatorial and computational flavor. It is motivated by a fundamental conjecture stating that computing Khovanov homology of a closed braid of fixed number of strands has polynomial time complexity. We show that the independence simplicial complex $I(w)$ associated to the 4-braid diagram $w$ (and therefore its Khovanov spectrum at extreme quantum degree) is contractible or homotopy equivalent to either a sphere, or a wedge of 2 spheres (possibly of different dimensions), or a wedge of 3 spheres (at least two of them of the same dimension), or a wedge of 4 spheres (at least three of them of the same dimension). On the algorithmic side we prove that finding the homotopy type of $I(w)$ can be done in polynomial time with respect to the number of crossings in $w$. In particular, we prove the wedge of spheres conjecture for circle graphs obtained from 4-braid diagrams. We also introduce the concept of Khovanov adequate diagram and discuss criteria for a link to have a Khovanov adequate braid diagram with at most 4 strands.