Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Toughness and Aα-spectral radius in graphs
Let $α\in[0,1)$, and let $G$ be a connected graph of order $n$ with $n\geq f(α)$, where $f(α)=6$ for $α\in[0,\frac{2}{3}]$ and $f(α)=\frac{4}{1-α}$ for $α\in(\frac{2}{3},1)$. A graph $G$ is said to be $t$-tough if $|S|\geq tc(G-S)$ for each subset $S$ of $V(G)$ with $c(G-S)\geq2$, where $c(G-S)$ is the number of connected components in $G-S$. The $A_α$-spectral radius of $G$ is denoted by $ρ_α(G)$. In this paper, it is verified that $G$ is a 1-tough graph unless $G=K_1\vee(K_{n-2}\cup K_1)$ if $ρ_α(G)\geqρ_α(K_1\vee(K_{n-2}\cup K_1))$, where $ρ_α(K_1\vee(K_{n-2}\cup K_1))$ equals the largest root of $x^{3}-((α+1)n+α-3)x^{2}+(αn^{2}+(α^{2}-α-1)n-2α+1)x-α^{2}n^{2}+(3α^{2}-α+1)n-4α^{2}+5α-3=0$. Further, we present an $A_α$-spectral radius condition for a graph to be a $t$-tough graph.
A new class of bi-transversal matroids
A transversal matroid whose dual is also transversal is called bi-transversal. Let $G$ be an undirected graph with vertex set $V$. In this paper, for every subset $W$ of $V$, we associate a bi-transversal matroid to the pair $(G,W)$. We also derive an explicit formula for counting bases of this matroid.
Rigidity of nearly planar classes of graphs
We explore the rigidity of generic frameworks in 3-dimensions whose underlying graph is close to being planar. Specifically we consider apex graphs, edge-apex graphs and their variants and prove independence results in the generic 3-dimensional rigidity matroid adding to the short list of graph classes for which 3-dimensional rigidity is understood. We then analyse global rigidity for these graph classes and use our results to deduce bounds on the maximum likelihood threshold of graphs in these nearly planar classes.
Constructions of $t$-designs from weighing matrices and walk-regular graphs
Published
• View Publication
• BIB
We provide a method to construct $t$-designs from weighing matrices and walk-regular graphs.
One instance of our method can produce a $3$-design from any (symmetric or skew-symmetric) conference matrix, thereby providing a partial answer to a question of Gunderson and Semeraro JCTB 2017.
We explore variations of our method on some matrices that satisfy certain combinatorial restrictions.
In particular, we show that there exist various infinite families of partially balanced incomplete block designs with block size four on the binary Hamming schemes and the $3$-class association schemes attached to symmetric designs, and regular pairwise balanced designs with block sizes three and four.
The Maker-Breaker percolation game on a random board
The $(m,b)$ Maker-Breaker percolation game on $(\mathbb{Z}^2)_p$, introduced by Day and Falgas-Ravry, is played in the following way. Before the game starts, each edge of $\mathbb{Z}^2$ is removed independently with probability $1-p$. After that, Maker chooses a vertex $v_0$ to protect. Then, in each round Maker and Breaker claim respectively $m$ and $b$ unclaimed edges of $G$. Breaker wins if after the removal of the edges claimed by him the component of $v_0$ becomes finite, and Maker wins if she can indefinitely prevent Breaker from winning.
We show that for any $p < 1$, Breaker almost surely has a wining strategy for the $(1,1)$ game on $(\mathbb{Z}^2)_p$. This fully answers a question of Day and Falgas-Ravry, who showed that for $p = 1$ Maker has a winning strategy for the $(1,1)$ game. Further, we show that in the $(2,1)$ game on $(\mathbb{Z}^2)_p$ Maker almost surely has a winning strategy whenever $p > 0.9402$, while Breaker almost surely has a winning strategy whenever $p < 0.5278$. This shows that the threshold value of $p$ above which Maker has a winning strategy for the $(2,1)$ game on $\mathbb{Z}^2$ is non-trivial. In fact, we prove similar results in various settings, including other lattices and biases $(m,b)$.
These results extend also to the most general case, which we introduce, where each edge is given to Maker with probability $α$ and to Breaker with probability $β$ before the game starts.
Polymatroids are to finite groups as matroids are to finite fields
Given a subgroup $\mathcal{H}$ of a product of finite groups $\mathcal{G} = \displaystyle\prod^n_{i=1} Γ_i$ and $b>1,$ we define a polymatroid $P(\mathcal{H},b).$ If all of the $Γ_i$ are isomorphic to $\mathbb{Z}/p\mathbb{Z},$ $p$ a prime, and $b=p,$ then $P(\mathcal{H},b)$ is the usual matroid associated to any $\mathbb{Z}/p\mathbb{Z}$-matrix whose row space equals $\mathcal{H}.$ In general, there are many ways in which the relationship between $P(\mathcal{H},b)$ and $\mathcal{H}$ mirrors that of the relationship between a matroid and a subspace of a finite vector space. These include representability by excluded minors, the Crapo-Rota critical theorem, the existence of a concrete algebraic object representing the polymatroid dual of $P(\mathcal{H},b),$ analogs of Greene's theorem and the MacWilliams identities when $\mathcal{H}$ is a group code over a nonabelian group, and a connection to the combinatorial Laplacian of a quotient space determined by $\mathcal{G}$ and $\mathcal{H}.$ We use the group Crapo-Rota critical theorem to demonstrate an extension to hypergraphs of the classical duality between proper colorings and nowhere-zero flows on graphs.
Enumerating Permutations Avoiding Split Patterns 3|12 and 23|1
Published
• View Publication
• BIB
In this paper, we give a formula for the number of permutations that avoid the split patterns $3|12$ and $23|1$ with respect to a position $r$. Such permutations count the number of Schubert varieties for which the projection map from the flag variety to a Grassmannian induces a fiber bundle structure. We also study the corresponding bivariate generating function and show how it is related to modified Bessel functions.
Subdivisions of Hypersimplices: with a View Toward Finite Metric Spaces
Published
• View Publication
• BIB
The secondary fan $Σ(k,n)$ is a polyhedral fan which stratifies the regular subdivisions of the hypersimplices $Δ(k,n)$. We find new infinite families of rays of $Σ(k,n)$, and we compute the fans $Σ(2,7)$ and $Σ(3,6)$. In the special case $k=2$ the fan $Σ(2,n)$ is closely related to the metric fan $\mathop{MF}(n)$, which forms a natural parameter space for the metric spaces on $n$ points. So our results yield a classification of the finite metric spaces on seven points.
On the maximum intersecting sets of the general semilinear group of degree $2$
Let $p$ be a prime and $q = p^k$. A subset $\mathcal{F} \subset \operatorname{ΓL}_{2}(q)$ is intersecting if any two semilinear transformations in $\mathcal{F}$ agree on some non-zero vector in $\mathbb{F}_q^2$. We show that any intersecting set of $\operatorname{ΓL}_{2}(q)$ is of size at most that of a stabilizer of a non-zero vector, and we characterize the intersecting sets of this size. Our proof relies on finding a subgraph which is a lexicographic product in the derangement graph of $\operatorname{ΓL}_{2}(q)$ in its action on non-zero vectors of $\mathbb{F}_q^2$. This method is also applied to give a new proof that the only maximal intersecting sets of $\operatorname{GL}_{2}(q)$ are the maximum intersecting sets.
Noise Aware Path Planning and Power Management of Hybrid Fuel UAVs
Published
• View Publication
• BIB
Hybrid fuel Unmanned Aerial Vehicles (UAV), through their combination of multiple energy sources, offer several advantages over the standard single fuel source configuration, the primary one being increased range and efficiency. Multiple power or fuel sources also allow the distinct pitfalls of each source to be mitigated while exploiting the advantages within the mission or path planning. We consider here a UAV equipped with a combustion engine-generator and battery pack as energy sources. We consider the path planning and power-management of this platform in a noise-aware manner. To solve the path planning problem, we first present the Mixed Integer Linear Program (MILP) formulation of the problem. We then present and analyze a label-correcting algorithm, for which a pseudo-polynomial running time is proven. Results of extensive numerical testing are presented which analyze the performance and scalability of the labeling algorithm for various graph structures, problem parameters, and search heuristics. It is shown that the algorithm can solve instances on graphs as large as twenty thousand nodes in only a few seconds.
On the codimension of permanental varieties
Published
• View Publication
• BIB
In this article, we study permanental varieties, i.e. varieties defined by the vanishing of permanents of fixed size of a generic matrix. Permanents and their varieties play an important, and sometimes poorly understood, role in combinatorics. However, there are essentially no geometric results about them in the literature, in very sharp contrast to the well-behaved and ubiquitous case of determinants and minors. Motivated by the study of the singular locus of the permanental hypersurface, we focus on the codimension of these varieties. We introduce a $\mathbb C^{*}$-action on matrices and prove a number of results. In particular, we improve a lower bound on the codimension of the aforementioned singular locus established by von zur Gathen in 1987.
Positroid envelopes and graphic positroids
Published
• View Publication
• BIB
Positroids are matroids realizable by real matrices with all nonnegative maximal minors. They partition the ordered matroids into equivalence classes, called positroid envelope classes, by their Grassmann necklaces. We give an explicit graph construction that shows that every positroid envelope class contains a graphic matroid. We prove that a graphic positroid is the unique matroid in its positroid envelope class. Finally, we show that every graphic positroid has an oriented graph representable by a signed incidence matrix with all nonnegative minors.
Bijections and congruences involving lattice paths and integer compositions
Published
• View Publication
• BIB
We prove new bijections between different variants of Dyck paths and integer compositions, which give combinatorial explanations of their simple counting formula $4^{n-1}$. These give relations between different statistics, such as the number of crossings of the $x$-axis in classes of Dyck bridges or the distribution of peaks in classes of Dyck paths, and furthermore relate them with $k$- and $g$-compositions. These allow us to find and prove congruence results for Dyck paths and parity results for compositions. Our investigation uncovers unexpected connections to mock theta functions, Hardinian arrays, little Schröder paths, Fibonacci numbers, and irreducible pairs of compositions, offering new insights into the structures of paths, partitions and compositions.
Refined Absorption: A New Proof of the Existence Conjecture
The study of combinatorial designs has a rich history spanning nearly two centuries. In a recent breakthrough, the notorious Existence Conjecture for Combinatorial Designs dating back to the 1800s was proved in full by Keevash via the method of randomized algebraic constructions. Subsequently Glock, Kühn, Lo, and Osthus provided an alternate purely combinatorial proof of the Existence Conjecture via the method of iterative absorption. We introduce a novel method of refined absorption for designs; here as our first application of the method we provide a new alternate proof of the Existence Conjecture (assuming the existence of $K_q^r$-absorbers by Glock, Kühn, Lo, and Osthus).
Proof of the High Girth Existence Conjecture via Refined Absorption
We prove the High Girth Existence Conjecture - the common generalization of the Existence Conjecture for Combinatorial Designs originating from the 1800s and Erdős' Conjecture from 1973 on the Existence of High Girth Steiner Triple Systems.
Clique Decompositions in Random Graphs via Refined Absorption
We prove that if $p\ge n^{-\frac{1}{3}+β}$ for some $β> 0$, then asymptotically almost surely the binomial random graph $G(n,p)$ has a $K_3$-packing containing all but at most $n + O(1)$ edges. Similarly, we prove that if $d \ge n^{\frac{2}{3}+β}$ for some $β> 0$ and $d$ is even, then asymptotically almost surely the random $d$-regular graph $G_{n,d}$ has a triangle decomposition provided $3 \mid d \cdot n$. We also show that $G(n,p)$ admits a fractional $K_3$-decomposition for such a value of $p$. We prove analogous versions for a $K_q$-packing of $G(n,p)$ with $p\ge n^{-\frac{1}{q+0.5}+β}$ and leave of $(q-2)n+O(1)$ edges, for $K_q$-decompositions of $G_{n,d}$ with $(q-1)~|~d$ and $d\ge n^{1-\frac{1}{q+0.5}+β}$ provided $q\mid d\cdot n$, and for fractional $K_q$-decompositions.
Thresholds for $(n,q,2)$-Steiner Systems via Refined Absorption
Published
• View Publication
• BIB
We prove that if $p \geq n^{-(q-6)/2}$, then asymptotically almost surely the binomial random $q$-uniform hypergraph $G^{(q)}(n,p)$ contains an $(n,q,2)$-Steiner system, provided $n$ satisfies the necessary divisibility conditions.
A Conditional Extension of the Park-Pham Theorem
Neglecting many motivating details for the Park-Pham theorem (previously known as the Kahn-Kalai conjecture), the result starts with a finite set $X$, a non-trivial upper set $\mathcal{F} \subseteq 2^X$, and a particular parameterized family of random variables $X_p$, then proceeds to provide an upper bound on the value $p_c(\mathcal{F})$ such that $\mathbb{P}(X_{p_c(\mathcal{F})} \in \mathcal{F}) = 1/2$. A natural question to ask is if there is an analog to the Park-Pham theorem for upper sets in finite posets other than $2^X$ and other parameterized families of random variables taking values in them. In this short note, we show that there is, with minor adjustments, in at least one circumstance. This is done by producing a conditional version of the $ε$-dependent form of the Park-Pham theorem, which has practical implications for the study of large neural networks and may also be interesting in its own right.
Variations on the Thompson theorem
Published
• View Publication
• BIB
Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain condition on $2$-generated subgroups. We show that a finite group $G$ is solvable if and only if for every pair of two elements $x$ and $y$ in $G$ of coprime prime power order, if $\langle x,y\rangle$ is solvable, then $\langle x,y^g\rangle$ is solvable for all $g\in G$. Similarly, a finite group $G$ is nilpotent if and only if for every pair of elements $x$ and $y$ in $G$ of coprime prime power order, if $\langle x,y\rangle$ is solvable, then $x$ and $y^g$ commute for some $g\in G.$ Some applications to graphs defined on groups are given.
Lusztig varieties and Macdonald polynomials
Published
• View Publication
• BIB
This paper uses Lusztig varieties to give central elements of the Iwahori-Hecke algebra corresponding to unipotent conjugacy classes in the finite Chevalley group $GL_n(\mathbb{F}_q)$. We explain how these central elements are related to Macdonald polynomials and how this provides a framework for generalizing integral form and modified Macdonald polynomials to Lie types other than $GL_n$. The key steps are to recognize (a) that counting points in Lusztig varieties is equivalent to computing traces on the Hecke algebras, (b) that traces on the Hecke algebra determine elements of the center of the Hecke algebra, (c) that the Geck-Rouquier basis elements of the center of the Hecke algebra produce an `expansion matrix', (d) that the parabolic subalgebras of the Hecke algebra produce a `contraction matrix' and (e) that the combination `expansion-contraction' is the plethystic transformation that relates integral form Macdonald polynomials and modified Macdonald polynomials.