Showing 20 papers (Total: 84253 papers, 48533 authors in database)
The Polyhedral Geometry of Pivot Rules and Monotone Paths
Published
• View Publication
• BIB
Motivated by the analysis of the performance of the simplex method we study the behavior of families of pivot rules of linear programs. We introduce normalized-weight pivot rules which are fundamental for the following reasons: First, they are memory-less, in the sense that the pivots are governed by local information encoded by an arborescence. Second, many of the most used pivot rules belong to that class, and we show this subclass is critical for understanding the complexity of all pivot rules. Finally, normalized-weight pivot rules can be parametrized in a natural continuous manner.
We show the existence of two polytopes, the pivot rule polytopes and the neighbotopes, that capture the behavior of normalized-weight pivot rules on polytopes and linear programs. We explain their face structure in terms of multi-arborescences. We compute upper bounds on the number of coherent arborescences, that is, vertices of our polytopes.
Beyond optimization, our constructions provide new perspectives on classical geometric combinatorics. We introduce a normalized-weight pivot rule, we call the max-slope pivot rule which generalizes the shadow-vertex pivot rule. The corresponding pivot rule polytopes and neighbotopes refine monotone path polytopes of Billera--Sturmfels. Moreover special cases of our polytopes yield permutahedra, associahedra, and multiplihedra. For the greatest improvement pivot rules we draw connections to sweep polytopes and polymatroids.
A simple proof of the Gan-Loh-Sudakov conjecture
Published in Electronic Journal of Combinatorics, vol. 29(3), P3.59, 2022
• View Publication
• BIB
We give a new unified proof that any simple graph on $n$ vertices with maximum degree at most $Δ$ has no more than $a\binom{Δ+1}{t}+\binom{b}{t}$ cliques of size $t \ (t \ge 3)$, where $n = a(Δ+1)+b \ (0 \le b \le Δ)$.
The non-$\ell$-part of the number of spanning trees in abelian $\ell$-towers of multigraphs
Published
• View Publication
• BIB
Let $\ell$ and $p$ be two distinct primes. We study the $p$-adic valuation of the number of spanning trees in an abelian $\ell$-tower of connected multigraphs. This is analogous to the classical theorem of Washington--Sinnott on the growth of the $p$-part of the class group in a cyclotomic $\mathbb{Z}_\ell$-extension of abelian extensions of $\mathbb{Q}$. Furthermore, we show that under certain hypotheses, the number of primes dividing the number of spanning trees is unbounded in such a tower.
Optimal embedding of hypercube into cylinder
Published in Theoretical Computer Science (2022) 923, 327-336
• View Publication
• BIB
We study the problem of Embedding Wirelength of $n$-dimensional Hypercube $Q_n$ into Cylinder $C_{2^{n_1}}\times P_{2^{n_2}}$, where $n_1+ n_2=n$, called EWHC. We show that such wirelength corresponding to Gray code embedding is $2^{n_2}(3\cdot 2^{2n_1-3}-2^{n_1-1})+2^{n_1} (2^{2n_2-1}-2^{n_2-1})$. In addition, we prove that Gray code embedding is an optimal strategy of EWHC.
Further q-analogues of the (G.2) Supercongruence of Van Hamme
Published
• View Publication
• BIB
In 2015, Swisher generalized the (G.2) supercongruence of Van Hamme to the modulus p^4. In this paper, we first propose two q-analogues of Swisher's supercongruence and then a new q-congruence with parameters %which including several different q-analogues of Swisher's supercongruence is present.
Orientably-Regular $p$-Maps and Regular $p$-Maps
Published
• View Publication
• BIB
A map is called a {\it $p$-map} if it has a prime $p$-power vertices.
An orientably-regular (resp. A regular ) $p$-map is called {\it solvable} if the group $G^+$ of all orientation-preserving automorphisms (resp. the group $G$ of automorphisms) is solvable; and called {\it normal} if $G^+$ (resp. $G$) contains the normal Sylow $p$-subgroup.
In this paper, it will be proved that both orientably-regular $p$-maps and regular $p$-maps are solvable and except for few cases that $p\in \{2, 3\}$, they are normal.
Moreover, nonnormal $p$-maps will be characterized and some properties and constructions of normal $p$-maps will be given.
Cubic Graphical Regular Representations of $\mathrm{PSU}_3(q)$
Published
• View Publication
• BIB
A graphical regular representation (GRR) of a group $G$ is a Cayley graph of $G$ whose full automorphism group is equal to the right regular permutation representation of $G$. Towards a proof of the conjecture that only finitely many finite simple groups have no cubic GRR, this paper shows that $\mathrm{PSU}_3(q)$ has a cubic GRR if and only if $q\geq4$. Moreover, a cubic GRR of $\mathrm{PSU}_3(q)$ is constructed for each of these $q$.
Nordhaus-Gaddum problem in term of $G$-free coloring
Published
• View Publication
• BIB
Let $H=(V(H),E(H))$ be a graph. A $k$-coloring of $H$ is a mapping $π: V(H) \longrightarrow \{1,2,\ldots, k\}$, if each color class induces a $K_2$-free subgraph. For a graph $G$ of order at least $2$, a $G$-free $k$-coloring of $H$, is a mapping $π: V(H) \longrightarrow \{1,2,\ldots,k\}$, so that the induced subgraph by each color class of $π$, contains no copy of $G$. The $G$-free chromatic number of $H$, is the minimum number $k$, so that it has a $G$-free $k$-coloring, and denoted by $χ_G(H)$. In this paper, we give some bounds and attributes on the $G$-free chromatic number of graphs, in terms of the number of vertices, maximum degree, minimum degree, and chromatic number. Our main results are the Nordhaus-Gaddum-type theorem for the $\G$-free chromatic number of a graph.
Some bounds on the size of Maximum $G$-free sets in graph
Published
• View Publication
• BIB
For given graph $H$, the independence number $α(H)$ of $H$, is the size of the maximum independent set of $V(H)$. Finding the maximum independent set in a graph is a NP-hard problem. Another version of the independence number is defined as the size of the maximum induced forest of $H$, and called the forest number of $H$, and denoted by $f(H)$. Finding $f(H)$ is also a NP-hard problem. Suppose that $H=(V(H),E(H))$ be a graph, and $\G$ be a family of graphs, a graph $H$ has a $\G$-free $k$-coloring if there exists a decomposition of $V(H)$ into sets $V_i$, $i-1,2,\ldots,k$, so that $G\nsubseteq H[V_i]$ for each $i$, and $G\in\G$. $S\subseteq V(H)$ is $G$-free, where the subgraph of $H$ induced by $S$, be $G$-free, i.e. it contains no copy of $G$. Finding a maximum subset of $H$, so that $H[S]$ be a $G$-free graph is a very hard problem as well. In this paper, we study the generalized version of the independence number of a graph. Also giving some bounds about the size of the maximum $G$-free subset of graphs is another purpose of this article.
Multipartite Ramsey number $m_j(K_m, nK_2)$
Assume that $K_{j\times n}$ be a complete, multipartite graph consisting of $j$ partite sets and $n$ vertices in each partite set. For given graphs $G_1, G_2,\ldots, G_n$, the multipartite Ramsey number (M-R-number) $m_j(G_1, G_2, \ldots,G_n)$ is the smallest integer $t$ such that for any $n$-edge-coloring $(G^1,G^2,\ldots, G^n)$ of the edges of $K_{j\times t}$, $G^i$ contains a monochromatic copy of $G_i$ for at least one $i$. The size of M-R-number $m_j(nK_2, C_m)$ for $j, n\geq 2$ and $4\leq m\leq 6$, the size of M-R-number $m_j(nK_2, C_7)$ for $j \geq 2$ and $n\geq 2$, the size of M-R-number $m_j(nK_2,K_3)$, for each $j,n\geq 2$, the size of M-R-number $m_j(K_3,K_3, n_1K_2,n_2K_,\ldots,n_iK_2)$ for $j \leq 6$ and $i,n_i\geq 1$ and the size of M-R-number $m_j(K_3,K_3, nK_2)$ for $j \geq 2$ and $n\geq 1$ have been computed in several papers up to now. In this article we obtain the values of M-R-number $m_j(K_m, nK_2)$, for each $j,n\geq 2$ and each $m\geq 4$.
Uniqueness of best proximity pairs and rigidity of semimetric spaces
Published
• View Publication
• BIB
For arbitrary semimetric space $(X, d)$ and disjoint proximinal subsets $A$, $B$ of $X$ we define the proximinal graph as a bipartite graph with parts $A$ and $B$ whose edges $\{a, b\}$ satisfy the equality $d(a, b) = \operatorname{dist}(A, B)$. We characterize the semimetric spaces whose proximinal graphs have at most one edge and the semimetric spaces whose proximinal graphs have the vertices with degree at most $1$ only. This allows us to describe the necessary and sufficient conditions for uniqueness of the best proximity pairs and best approximations.
On the interaction of the Coxeter transformation and the rowmotion bijection
Published
• View Publication
• BIB
Let $P$ be a finite poset and $L$ the associated distributive lattice of order ideals of $P$. Let $ρ$ denote the rowmotion bijection of the order ideals of $P$ viewed as a permutation matrix and $C$ the Coxeter matrix for the incidence algebra $kL$ of $L$. Then we show the identity $(ρ^{-1} C)^2=id$, as was originally conjectured by Sam Hopkins. Recently it was noted that the rowmotion bijection is a special case of the much more general grade bijection $R$ that exists for any Auslander regular algebra. This motivates to study the interaction of the grade bijection and the Coxeter matrix for general Auslander regular algebras. For the class of higher Auslander algebras coming from $n$-representation finite algebras we show that $(R^{-1} C)^2=id$ if $n$ is even and $(R^{-1}C+id)^2=0$ when $n$ is odd.
Coloring distance graphs on the plane
Published
• View Publication
• BIB
We consider the coloring of certain distance graphs on the Euclidean plane. Namely, we ask for the minimal number of colors needed to color all points of the plane in such a way that pairs of points at distance in the interval $[1,b]$ get different colors. The classic Hadwiger-Nelson problem is a special case of this question -- obtained by taking $b=1$. The main results of the paper are improved lower and upper bounds on the number of colors for some values of $b$. In particular, we determine the minimal number of colors for two ranges of values of $b$ - one of which is enlarging an interval presented by Exoo and the second is completely new. Up to our knowledge, these are the only known families of distance graphs on the plane with a determined nontrivial chromatic number. Moreover, we present the first $8$-coloring for $b$ larger than values of $b$ for the known $7$-colorings. As a byproduct, we give some bounds and exact values for bounded parts of the plane, specifically by coloring certain annuli.
High-Girth Steiner Triple Systems
Published
• View Publication
• BIB
We prove a 1973 conjecture due to Erdős on the existence of Steiner triple systems with arbitrarily high girth.
Supercongruences involving products of two binomial coefficients modulo $p^4$
Published in Journal of Symbolic Computation 135 (2026), Art. 102545
• View Publication
• BIB
In this paper, we mainly prove a congruence conjecture of Z.-W. Sun \cite{Sjnt}: Let $p>5$ be a prime. Then $$ \sum_{k=(p+1)/2}^{p-1}\frac{\binom{2k}k^2}{k16^k}\equiv-\frac{21}2H_{p-1}\pmod{p^4}, $$ where $H_n$ denotes the $n$-th harmonic number.
Generalized Turán densities in the hypercube
Published
• View Publication
• BIB
A classical extremal, or Turán-type problem asks to determine ${\rm ex}(G, H)$, the largest number of edges in a subgraph of a graph $G$ which does not contain a subgraph isomorphic to $H$. Alon and Shikhelman introduced the so-called generalized extremal number ${\rm ex}(G,T,H)$, defined to be the maximum number of subgraphs isomorphic to $T$ in a subgraph of $G$ that contains no subgraphs isomorphic to $H$. In this paper we investigate the case when $G = Q_n$, the hypercube of dimension $n$, and $T$ and $H$ are smaller hypercubes or cycles.
Characterizations of families of morphisms and words via binomial complexities
Published
• View Publication
• BIB
Two words are $k$-binomially equivalent if each subword of length at most $k$ occurs the same number of times in both words. The $k$-binomial complexity of an infinite word is a counting function that maps $n$ to the number of $k$-binomial equivalence classes represented by its factors of length $n$. Cassaigne et al. [Int. J. Found. Comput. S., 22(4) (2011)] characterized a family of morphisms, which we call Parikh-collinear, as those morphisms that map all words to words with bounded $1$-binomial complexity. Firstly, we extend this characterization: they map words with bounded $k$-binomial complexity to words with bounded $(k+1)$-binomial complexity. As a consequence, fixed points of Parikh-collinear morphisms are shown to have bounded $k$-binomial complexity for all $k$. Secondly, we give a new characterization of Sturmian words with respect to their $k$-binomial complexity. Then we characterize recurrent words having, for some $k$, the same $j$-binomial complexity as the Thue-Morse word for all $j\le k$. Finally, inspired by questions raised by Lejeune, we study the relationships between the $k$- and $(k+1)$-binomial complexities of infinite words; as well as the link with the usual factor complexity.
Æquitas: Two-Player Counterfeit Coin Games
We discuss games involving a counterfeit coin. Given one counterfeit coin among a number of otherwise identical coins, two players with full knowledge of the fake coin take turns weighing coins on a two-pan scale, under the condition that on every turn they reveal some information to an Observer with limited prior knowledge about the coins. We study several games depending on the types of the counterfeit coin, the end-game condition, and the availability of extra genuine coins. We present the winning positions and the Grundy numbers for these games.
Cliques in realization graphs
Published
• View Publication
• BIB
The realization graph $\mathcal{G}(d)$ of a degree sequence $d$ is the graph whose vertices are labeled realizations of $d$, where edges join realizations that differ by swapping a single pair of edges. Barrus [On realization graphs of degree sequences, Discrete Mathematics, vol. 339 (2016), no. 8, pp. 2146-2152] characterized $d$ for which $\mathcal{G}(d)$ is triangle-free. Here, for any $n \geq 4$, we describe a structure in realizations of $d$ that exactly determines whether $G(d)$ has a clique of size $n$. As a consequence we determine the degree sequences $d$ for which $\mathcal{G}(d)$ is a complete graph on $n$ vertices.
A Combinatorial Proof of the Existence of Dense subsets in R without the "Steinhaus" like Property
Published
• View Publication
• BIB
This paper proves the existence of nonmeasurable dense sets with additional properties using combinatorial techniques.