Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Bipartite graphs with no $K_6$ minor
Published
• View Publication
• BIB
A theorem of Mader shows that every graph with average degree at least eight has a $K_6$ minor, and this is false if we replace eight by any smaller constant. Replacing average degree by minimum degree seems to make little difference: we do not know whether all graphs with minimum degree at least seven have $K_6$ minors, but minimum degree six is certainly not enough. For every $c>0$ there are arbitrarily large graphs with average degree at least $8-c$ and minimum degree at least six, with no $K_6$ minor.
But what if we restrict ourselves to bipartite graphs? The first statement remains true: for every $c>0$ there are arbitrarily large bipartite graphs with average degree at least $8-c$ and no $K_6$ minor. But surprisingly, going to minimum degree now makes a significant difference. We will show that every bipartite graph with minimum degree at least six has a $K_6$ minor. Indeed, it is enough that every vertex in the larger part of the bipartition has degree at least six.
Supercongruences for sums involving $\binom ak^m$
Let $p$ be an odd prime, and let $a$ be a rational $p$-adic integer with $a\not\equiv 0\pmod p$. In this paper, using WZ method we establish the congruences for $\sum_{k=0}^{p-1} \binom ak^2(-1)^k(1-\frac 2ak)$ modulo $p^2$ and $\sum_{k=0}^{p-1} \binom ak^r(1-\frac 2ak)^s$ modulo $p^4$, where $r\in\{3,4\}$ and $s\in\{1,3\}$.
Complete Minors in Complements of Non-Separating Planar Graphs
Published in Involve 16 (2023) 505-518
• View Publication
• BIB
We prove that the complement of any non-separating planar graph of order $2n-3$ contains a $K_n$ minor, and argue that the order $2n-3$ is lowest possible with this property. To illustrate the necessity of the non-separating hypothesis, we give an example of a planar graph of order 11 whose complement does not contain a $K_7$ minor. We argue that the complements of planar graphs of order 11 are intrinsically knotted. We compute the Hadwiger numbers of complements of wheel graphs.
On Opial-type inequalities via fractional calculus
Inequalities play an important role in pure and applied mathematics. In particular, Opial inequality plays a main role in the study of the existence and uniqueness of initial and boundary value problems for differential equations. It has several interesting generalizations. In this work we prove some new Opial-type inequalities, and we apply them to generalized Riemann-Liouville-type integral operators.
On the number of squares in a finite word
Published
• View Publication
• BIB
A {\em square} is a word of the form $uu$. In this paper we prove that for a given finite word $w$, the number of distinct square factors of $w$ is bounded by $|w|-|\Alphabet(w)|+1$, where $|w|$ denotes the length of $w$ and $|\Alphabet(w)|$ denotes the number of distinct letters in $w$. This result answers a conjecture of Fraenkel and Simpson stated in 1998.
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms
Published
• View Publication
• BIB
Let $\mathcal{A} = \{A_1, \ldots, A_m\}$ and $\mathcal{B} = \{B_1, \ldots, B_n\}$ be a pair of dual multi-hypergraphs on the common ground set $O = \{o_1, \ldots, o_k\}$. Note that each of them may have embedded or equal edges. An edge is called containment minimal (or just minimal, for short) if it is not a strict superset of another edge. Yet, equal minimal edges may exist. By duality,
(i) $A \cap B \neq \emptyset$ for every pair $A \in \mathcal{A}$ and $B \in \mathcal{B}$;
(ii) if $A$ is minimal then for every $o \in A$ there exists a $B \in \mathcal{B}$ such that $A \cap B = \{o\}$.
We will extend claim (ii) as follows. A linear order $\succ$ over $O$ defines a unique lexicographic order $\succ_L$ over the $2^O$. Let $A$ be a lexicographically maximal (lexmax) edge of $\mathcal{A}$. Then,
(iii) $A$ is minimal and for every $o \in A$ there exists a minimal $B \in \mathcal{B}$ such that $A \cap B = \{o\}$ and $o \succeq o'$ for each $o' \in B$.
This property has important applications in game theory implying Nash-solvability of tight game forms as shown in the old (1975 and 1989) work of the first author. Here we give a new, very short, proof of (iii). Edges $A$ and $B$ mentioned in (iii) can be found out in polynomial time. This is trivial if $\mathcal{A}$ and $\mathcal{B}$ are given explicitly. Yet, it is true even if only $\mathcal{A}$ is given, and not explicitly, but by a polynomial containment oracle, which for a subset $O_A \subseteq O$ answers in polynomial time whether $O_A$ contains an edge of $\mathcal{A}$.
A generating function associated with the alternating elements in the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$
Published
• View Publication
• BIB
The positive part $U_q^+$ of $U_q(\widehat{\mathfrak{sl}}_2)$ admits an embedding into a $q$-shuffle algebra. This embedding was introduced by M. Rosso in 1995. In 2019, Terwilliger introduced the alternating elements $\{W_{-n}\}_{n \in \mathbb{N}}$, $\{W_{n+1}\}_{n \in \mathbb{N}}$, $\{G_{n+1}\}_{n \in \mathbb{N}}$, $\{\tilde{G}_{n+1}\}_{n \in \mathbb{N}}$ in $U_q^+$ using the Rosso embedding. He showed that the alternating elements $\{W_{-n}\}_{n \in \mathbb{N}}$, $\{W_{n+1}\}_{n \in \mathbb{N}}$, $\{\tilde{G}_{n+1}\}_{n \in \mathbb{N}}$ form a PBW basis for $U_q^+$, and he expressed $\{G_{n+1}\}_{n \in \mathbb{N}}$ in this alternating PBW basis. In his calculation, Terwilliger used some elements $\{D_n\}_{n \in \mathbb{N}}$ with the following property: the generating function $D(t)=\sum_{n \in \mathbb{N}}D_nt^n$ is the multiplicative inverse of the generating function $\tilde{G}(t)=\sum_{n \in \mathbb{N}}\tilde{G}_nt^n$ where $\tilde{G}_0=1$. Terwilliger defined $\{D_n\}_{n \in \mathbb{N}}$ recursively; in this paper, we will express $\{D_n\}_{n \in \mathbb{N}}$ in closed form.
The average size of maximal matchings in graphs
Published
• View Publication
• BIB
We investigate the ratio $\avM(G)$ of the average size of a maximal matching to the size of a maximum matching in a graph $G$. If many maximal matchings have a size close to $\maxM(G)$, this graph invariant has a value close to 1. Conversely, if many maximal matchings have a small size, $\avM(G)$ approaches $\frac{1}{2}$.
We propose a general technique to determine the asymptotic behavior of $\avM(G)$ for various classes of graphs. To illustrate the use of this technique, we first show how it makes it possible to find known asymptotic values of $\avM(G)$ which were typically obtained using generating functions, and we then determine the asymptotic value of $\avM(G)$ for other families of graphs, highlighting the spectrum of possible values of this graph invariant between $\frac{1}{2}$ and $1$.
On Nash-Solvability of Finite Two-Person Tight Vector Game Forms
We consider finite two-person normal form games. The following four properties of their game forms are equivalent: (i) Nash-solvability, (ii) zero-sum-solvability, (iii) win-lose-solvability, and (iv) tightness. For (ii, iii, iv) this was shown by Edmonds and Fulkerson in 1970. Then, in 1975, (i) was added to this list and it was also shown that these results cannot be generalized for $n$-person case with $n > 2$. In 1990, tightness was extended to vector game forms ($v$-forms) and it was shown that such $v$-tightness and zero-sum-solvability are still equivalent, yet, do not imply Nash-solvability. These results are applicable to several classes of stochastic games with perfect information. Here we suggest one more extension of tightness introducing $v^+$-tight vector game forms ($v^+$-forms). We show that such $v^+$-tightness and Nash-solvability are equivalent in case of weakly rectangular game forms and positive cost functions. This result allows us to reduce the so-called bi-shortest path conjecture to $v^+$-tightness of $v^+$-forms. However, both (equivalent) statements remain open.
Pattern avoidance and K-orbit closures
We review the various pattern avoidance criteria that have been developed for smoothness and rational smoothness of symmetric subvarieties of flag varieties in the classical cases, including some proofs and giving references for other results.
On a conjecture of Talagrand on selector processes and a consequence on positive empirical processes
Published
• View Publication
• BIB
For appropriate Gaussian processes, as a corollary of the majorizing measure theorem, Michel Talagrand (1987) proved that the event that the supremum is significantly larger than its expectation can be covered by a set of half-spaces whose sum of measures is small. We prove a conjecture of Talagrand that is the analog of this result in the Bernoulli-$p$ setting, and answer a question of Talagrand on the analogous result for general positive empirical processes.
The $v$-number and Castelnuovo-Mumford regularity of graphs
Published
• View Publication
• BIB
We prove that for every integer $k\geq 1$, there exists a connected graph $H_k$ such that $v(H_k)=reg(H_k)+k$, where $v(G)$ and $reg(G)$ denote the $v$-number and the (Castelnuovo-Mumford) regularity of a graph $G$ respectively.
Lattice and Non-lattice Piercing of Axis-Parallel Rectangles
Given a family ${\mathcal F}$ of shapes in the plane, we study what is the lowest possible density of a point set $P$ that pierces (``intersects'', ``hits'') all translates of each shape in ${\mathcal F}$. For instance, if ${\mathcal F}$ consists of two axis-parallel rectangles the best known piercing set, i.e., one with the lowest density, is a lattice.
Given a finite family ${\mathcal F}$ of axis-parallel rectangles, we present an algorithm for finding an optimal ${\mathcal F}$-piercing lattice. The algorithm runs in time polynomial in the number of rectangles and the maximum aspect ratio of the rectangles in the family. No prior algorithms for this problem were known.
On the other hand, we show that for every $n \geq 3$, there exists a family of $n$ axis-parallel rectangles for which the best piercing density achieved by a lattice is separated by a positive (constant) gap from the optimal piercing density for the respective family. Finally, we show that the best lattice can be sometimes worse by $20\%$ than the optimal piercing set.
On automorphisms of undirected Bruhat graphs
Published in Mathematische Zeitschrift, Volume 303 (2023)
• View Publication
• BIB
The (directed) Bruhat graph $\hatΓ(u,v)$ has the elements of the Bruhat interval $[u,v]$ as vertices, with directed edges given by multiplication by a reflection. Famously, $\hatΓ(e,v)$ is regular if and only if the Schubert variety $X_v$ is smooth, and this condition on $v$ is characterized by pattern avoidance. In this work, we classify when the undirected Bruhat graph $Γ(e,v)$ is vertex-transitive; surprisingly this class of permutations is also characterized by pattern avoidance and sits nicely between the classes of smooth permutations and self-dual permutations. This leads us to a general investigation of automorphisms of $Γ(u,v)$ in the course of which we show that special matchings, which originally appeared in the theory Kazhdan--Lusztig polynomials, can be characterized as certain $Γ(u,v)$-automorphisms which are conjecturally sufficient to generate the orbit of $e$ under $Aut(Γ(e,v))$.
Refinement on spectral Turán's theorem
Published in SIAM J. Discrete Math. 37 (4) (2023) 2462-2485
• View Publication
• BIB
A well-known result in extremal spectral graph theory, due to Nosal and Nikiforov, states that if $G$ is a triangle-free graph on $n$ vertices, then $λ(G) \le λ(K_{\lfloor \frac{n}{2}\rfloor, \lceil \frac{n}{2} \rceil })$, equality holds if and only if $G=K_{\lfloor \frac{n}{2}\rfloor, \lceil \frac{n}{2} \rceil }$. Nikiforov [Linear Algebra Appl. 427 (2007)] extended this result to $K_{r+1}$-free graphs for every integer $r\ge 2$. This is known as the spectral Turán theorem. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] proved a refinement on this result for non-bipartite triangle-free graphs. In this paper, we provide alternative proofs for the result of Nikiforov and the result of Lin, Ning and Wu. Our proof can allow us to extend the later result to non-$r$-partite $K_{r+1}$-free graphs. Our result refines the theorem of Nikiforov and it also can be viewed as a spectral version of a theorem of Brouwer.
Noncolliding Macdonald Walks with an Absorbing Wall
Published in SIGMA 18 (2022), 079, 21 pages
• View Publication
• BIB
The branching rule is one of the most fundamental properties of the Macdonald symmetric polynomials. It expresses a Macdonald polynomial as a nonnegative linear combination of Macdonald polynomials with smaller number of variables. Taking a limit of the branching rule under the principal specialization when the number of variables goes to infinity, we obtain a Markov chain of $m$ noncolliding particles with negative drift and an absorbing wall at zero. The chain depends on the Macdonald parameters $(q,t)$ and may be viewed as a discrete deformation of the Dyson Brownian motion. The trajectory of the Markov chain is equivalent to a certain Gibbs ensemble of plane partitions with an arbitrary cascade front wall. In the Jack limit $t=q^{β/2}\to 1$ the absorbing wall disappears, and the Macdonald noncolliding walks turn into the $β$-noncolliding random walks studied by Huang [Int. Math. Res. Not. 2021 (2021), 5898-5942, arXiv:1708.07115]. Taking $q=0$ (Hall-Littlewood degeneration) and further sending $t\to 1$, we obtain a continuous time particle system on $\mathbb{Z}_{\ge 0}$ with inhomogeneous jump rates and absorbing wall at zero.
New classification of graphs in view of the domination number of central graphs
For a graph $G$, the central graph $C(G)$ is the graph constructed from $G$ by subdividing each edge of $G$ with one vertex and also by adding an edge to every pair of non-adjacent vertices in $G$. Also for a graph $G$, let $γ(G)$ and $τ(G)$ be the domination number of $G$ and the minimum cardinarity of a vertex cover of $G$, respectively. In this paper, we give a new classification of graphs concerning the domination number of central graphs and minimum vertex covers of graphs. Namely, we show that any graph $G$ with at least three vertices can be classified into one of the two classes of graphs with $γ(C(G))=τ(G)$ and $γ(C(G))=τ(G)+1$, respectively, together with some special properties concerning a vertex cover of $G$. We also give some new results on the domination number of central graphs.
Bottom complexes
The bottom complex of a finite polyhedal pointed rational cone is the lattice polytopal complex of the compact faces of the convex hull of nonzero lattice points in the cone. The algebra, associated to the bottom complex of a cone, defines a flat deformation of the affine toric variety, associated to the polyhedral cone, set-theoretically. We describe three explicit infinite families of abstract polytopal complexes, defining such flat deformations scheme-theoretically.
On generalisations of the Aharoni-Pouzet base exchange theorem
The Greene-Magnanti theorem states that if $ M $ is a finite matroid, $ B_0 $ and $ B_1 $ are bases and $ B_0=\bigcup_{i=1}^{n} X_i $ is a partition, then there is a partition $ B_1=\bigcup_{i=1}^{n}Y_i $ such that $ (B_0 \setminus X_i) \cup Y_i $ is a base for every $ i $. The special case where each $ X_i $ is a singleton can be rephrased as the existence of a perfect matching in the base transition graph. Pouzet conjectured that this remains true in infinite dimensional vector spaces. Later he and Aharoni answered this conjecture affirmatively not just for vector spaces but for infinite matroids.
We prove two generalisations of their result. On the one hand, we show that `being a singleton' can be relaxed to `being finite' and this is sharp in the sense the exclusion of infinite sets is really necessary. On the other hand, we prove that if $ B_0$ and $ B_1 $ are bases, then there is a bijection $ F $ between their finite subsets such that $ (B_0\setminus I) \cup F(I) $ is a base for every $ I$. In contrast to the approach of Aharoni and Pouzet, our proofs are completely elementary, they do not rely on infinite matching theory.
Partitions for stratified sampling
Classical jittered sampling partitions $[0,1]^d$ into $m^d$ cubes for a positive integer $m$ and randomly places a point inside each of them, providing a point set of size $N=m^d$ with small discrepancy. The aim of this note is to provide a construction of partitions that works for arbitrary $N$ and improves straight-forward constructions. We show how to construct equivolume partitions of the $d$-dimensional unit cube with hyperplanes that are orthogonal to the main diagonal of the cube. We investigate the discrepancy of such point sets and optimise the expected discrepancy numerically by relaxing the equivolume constraint using different black-box optimisation techniques.