Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Positive semigroups and generalized Frobenius numbers over totally real number fields
Published
• View Publication
• BIB
Frobenius problem and its many generalizations have been extensively studied in several areas of mathematics. We study semigroups of totally positive algebraic integers in totally real number fields, defining analogues of the Frobenius numbers in this context. We use a geometric framework recently introduced by Aliev, De Loera and Louveaux to produce upper bounds on these Frobenius numbers in terms of a certain height function. We discuss some properties of this function, relating it to absolute Weil height and obtaining a lower bound in the spirit of Lehmer's conjecture for algebraic vectors satisfying some special conditions. We also use a result of Borosh and Treybig to obtain bounds on the size of representations and number of elements of bounded height in such positive semigroups of totally real algebraic integers.
Invariance and attraction properties of Galton-Watson trees
Published
• View Publication
• BIB
We give a description of invariants and attractors of the critical and subcritical Galton-Watson tree measures under the operation of Horton pruning (cutting tree leaves with subsequent series reduction). Under a regularity condition, the class of invariant measures consists of the critical binary Galton-Watson tree and a one-parameter family of critical Galton-Watson trees with offspring distribution $\{q_k\}$ that has a power tail $q_k\sim Ck^{-(1+1/q_0)}$, where $q_0\in(1/2,1)$. Each invariant measure has a non-empty domain of attraction under consecutive Horton pruning, specified by the tail behavior of the initial Galton-Watson offspring distribution. The invariant measures satisfy the Toeplitz property for the Tokunaga coefficients and obey the Horton law with exponent $R = (1-q_0)^{-1/q_0}$.
Channels, Billiards, and Perfect Matching 2-Divisibility
Published in Elec. J. of Combin. 28(2) (2021), #P2.51
• View Publication
• BIB
Let $m_G$ denote the number of perfect matchings of the graph $G$. We introduce a number of combinatorial tools for determining the parity of $m_G$ and giving a lower bound on the power of 2 dividing $m_G$. In particular, we introduce certain vertex sets called channels, which correspond to elements in the kernel of the adjacency matrix of $G$ modulo $2$. A result of Lovász states that the existence of a nontrivial channel is equivalent to $m_G$ being even. We give a new combinatorial proof of this result and strengthen it by showing that the number of channels gives a lower bound on the power of $2$ dividing $m_G$ when $G$ is planar. We describe a number of local graph operations which preserve the number of channels. We also establish a surprising connection between 2-divisibility of $m_G$ and dynamical systems by showing an equivalency between channels and billiard paths. We exploit this relationship to show that $2^{\frac{\gcd(m+1,n+1)-1}{2}}$ divides the number of domino tilings of the $m\times n$ rectangle. We also use billiard paths to give a fast algorithm for counting channels (and hence determining the parity of the number of domino tilings) in simply connected regions of the square grid.
Second class particles and limit shapes of evacuation and sliding paths for random tableaux
Published in Doc. Math. 27, 2183-2273 (2022)
• View Publication
• BIB
We investigate two closely related setups. In the first one we consider a TASEP-style system of particles with specified initial and final configurations. The probability of each history of the system is assumed to be equal. We show that the rescaled trajectory of the \emph{second class particle} converges (as the size of the system tends to infinity) to a random arc of an ellipse.
In the second setup we consider a uniformly random Young tableau of square shape and look for typical (in the sense of probability) sliding paths and evacuation paths in the asymptotic setting as the size of the square tends to infinity. We show that the probability distribution of such paths converges to a random meridian connecting the opposite corners of the square. We also discuss analogous results for non-square Young tableaux.
The maximum number of maximum dissociation sets in trees
Published
• View Publication
• BIB
A subset of vertices is a {\it maximum independent set} if no two of the vertices are adjacent and the subset has maximum cardinality. A subset of vertices is called a {\it maximum dissociation set} if it induces a subgraph with vertex degree at most 1, and the subset has maximum cardinality. Zito [J. Graph Theory {\bf 15} (1991) 207--221] proved that the maximum number of maximum independent sets of a tree of order $n$ is $2^{\frac{n-3}{2}}$ if $n$ is odd, and $2^{\frac{n-2}{2}}+1$ if $n$ is even and also characterized all extremal trees with the most maximum independent sets, which solved a question posed by Wilf. Inspired by the results of Zito, in this paper, by establishing four structure theorems and a result of $k$-König-Egerváry graph, we show that the maximum number of maximum dissociation sets in a tree of order $n$ is
\begin{center} $\left\{
\begin{array}{ll}
3^{\frac{n}{3}-1}+\frac{n}{3}+1, & \hbox{if $n\equiv0\pmod{3}$;}
3^{\frac{n-1}{3}-1}+1, & \hbox{if $n\equiv1\pmod{3}$;}
3^{\frac{n-2}{3}-1}, & \hbox{if $n\equiv2\pmod{3}$,}
\end{array} \right.$ \end{center} and also give complete structural descriptions of all extremal trees on which these maxima are achieved.
Regularity and Gorenstein property of the $L$-convex Polyominoes
Published
• View Publication
• BIB
We study the coordinate ring of an $L$-convex polyomino, determine its regularity in terms of the maximal number of rooks that can be placed in the polyomino. We also characterize the Gorenstein $L$-convex polyominoes and those which are Gorenstein on the punctured spectrum, and compute the Cohen--Macaulay type of any $L$-convex polyomino in terms of the maximal rectangles covering it.
Young walls and equivariant Hilbert schemes of points in type D
Published
• View Publication
• BIB
We give a combinatorial proof for a multivariable formula of the generating series of type D Young walls. Based on this we give a motivic refinement of a formula for the generating series of Euler characteristics of Hilbert schemes of points on the orbifold surface of type D.
Beyond Natural Proofs: Hardness Magnification and Locality
Published
• View Publication
• BIB
Hardness magnification reduces major complexity separations (such as $\mathsf{\mathsf{EXP}} \nsubseteq \mathsf{NC}^1$) to proving lower bounds for some natural problem $Q$ against weak circuit models. Several recent works [OS18, MMW19, CT19, OPS19, CMMW19, Oli19, CJW19a] have established results of this form. In the most intriguing cases, the required lower bound is known for problems that appear to be significantly easier than $Q$, while $Q$ itself is susceptible to lower bounds but these are not yet sufficient for magnification.
In this work, we provide more examples of this phenomenon, and investigate the prospects of proving new lower bounds using this approach. In particular, we consider the following essential questions associated with the hardness magnification program:
Does hardness magnification avoid the natural proofs barrier of Razborov and Rudich [RR97]?
Can we adapt known lower bound techniques to establish the desired lower bound for $Q$?
On the path partition number of 6-regular graphs
Published
• View Publication
• BIB
A path partition (also referred to as a linear forest) of a graph $G$ is a set of vertex-disjoint paths which together contain all the vertices of $G$. An isolated vertex is considered to be a path in this case. The path partition conjecture states that every $n$-vertices $d$-regular graph has a path partition with at most $\frac{n}{d+1}$ paths. The conjecture has been proved for all $d<6$. We prove the conjecture for $d=6$.
On the spectral radius of graphs: nonregular distance-hereditary graphs with given edge-connectivity, graphs with tree-width $k$ and block graphs with prescribed independence number $α$
Published
• View Publication
• BIB
The edge-connectivity of a graph is the minimum number of edges whose deletion disconnects the graph. Let $Δ(G)$ the maximum degree of a graph $G$ and let $ρ(G)$ be the spectral radius of $G$. In this article we present a lower bound for $Δ(G)-ρ(G)$ in terms of the edge connectivity of $G$, where $G$ is a nonregular distance-hereditary graph. We also prove that $ρ(G)$ reaches the maximum at a unique graph in $\mathcal G$, when $\vert V(G)\vert = n$, and $\mathcal G$ either is in the class of graphs with bounded tree-width or is in the class of block graphs with prescribed independence number.
Regular Turán numbers and some Gan-Loh-Sudakov-type problems
Published
• View Publication
• BIB
Motivated by a Gan-Loh-Sudakov-type problem, we introduce the regular Turán numbers, a natural variation on the classical Turán numbers for which the host graph is required to be regular. Among other results, we prove a striking supersaturation version of Mantel's theorem in the case of a regular host graph of odd order. We also characterise the graphs for which the regular Turán numbers behave classically or otherwise.
Algebraic k-systems of curves
Published
• View Publication
• BIB
A collection $ Δ$ of simple closed curves on an orientable surface is an algebraic $ k $-system if the algebraic intersection number $\langle α,β\rangle$ is equal to $k $ in absolute value for every $ α, β\in Δ$ distinct. Generalizing a theorem of [MRT14] we compute that the maximum size of an algebraic $k$-system of curves on a surface of genus $g$ is $2g+1$ when $g\ge 3$ or $k$ is odd, and $2g$ otherwise. To illustrate the tightness in our assumptions, we present a construction of curves pairwise geometrically intersecting twice whose size grows as $g^2$.
A family of permutation trinomials in $\mathbb{F}_{q^2}$
Published
• View Publication
• BIB
Let $p>3$ and consider a prime power $q=p^h$. We completely characterize permutation polynomials of $\mathbb{F}_{q^2}$ of the type $f_{a,b}(X) = X(1 + aX^{q(q-1)} + bX^{2(q-1)}) \in \mathbb{F}_{q^2}[X]$. In particular, using connections with algebraic curves over finite fields, we show that the already known sufficient conditions are also necessary.
Turán-type problems for long cycles in random and pseudo-random graphs
Published
• View Publication
• BIB
We study the Turán number of long cycles in random graphs and in pseudo-random graphs. Denote by $ex(G(n,p),H)$ the random variable counting the number of edges in a largest subgraph of $G(n,p)$ without a copy of $H$. We determine the asymptotic value of $ex(G(n,p), C_t)$ where $C_t$ is a cycle of length $t$, for $p\geq \frac Cn$ and $A \log n \leq t \leq (1 - \varepsilon)n$. The typical behavior of $ex(G(n,p), C_t)$ depends substantially on the parity of $t$. In particular, our results match the classical result of Woodall on the Turán number of long cycles, and can be seen as its random version, showing that the transference principle holds here as well. In fact, our techniques apply in a more general sparse pseudo-random setting. We also prove a robustness-type result, showing the likely existence of cycles of prescribed lengths in a random subgraph of a graph with a nearly optimal density.
On the Number of Edges in Maximally Linkless Graphs
Published
• View Publication
• BIB
A maximally linkless graph is a graph that can be embedded in $\mathbb{R}^3$ without any links, but cannot be embedded in such a way if any other edge is added to the graph. Recently, a family of maximally linkless graphs was found with $m=3n-3$ edges. We improve upon this by demonstrating a new family of maximally linkless graphs with $m\le \frac{14}{5}n$ edges.
Probabilistic Properties of GIG Digraphs
We study the probabilistic properties of the Greatest Increase Grid (GIG) digraph. We compute the probability of a particular sequence of directed edges connecting two random vertices. We compute the joint probability that a set of vertices are all sinks, and derive the mean and variance in the number of sinks in a randomly labeled GIG digraph. Finally, we show that the expected size of the maximum component of vertices converges.
Joints tightened
Published in Amer. J. Math.145(2023), no.2, 569--583
• View Publication
• BIB
In $d$-dimensional space (over any field), given a set of lines, a joint is a point passed through by $d$ lines not all lying in some hyperplane. The joints problem asks to determine the maximum number of joints formed by $L$ lines, and it was one of the successes of the Guth--Katz polynomial method. We prove a new upper bound on the number of joints that matches, up to a $1+o(1)$ factor, the best known construction: place $k$ generic hyperplanes, and use their $(d-1)$-wise intersections to form $\binom{k}{d-1}$ lines and their $d$-wise intersections to form $\binom{k}{d}$ joints. Guth conjectured that this construction is optimal. Our technique builds on the work on Ruixiang Zhang proving the multijoints conjecture via an extension of the polynomial method. We set up a variational problem to control the high order of vanishing of a polynomial at each joint.
An inductive construction of minimal codes
Published
• View Publication
• BIB
We provide new families of minimal codes in any characteristic. Also, an inductive construction of minimal codes is presented.
Structure of principal one-sided ideals
Published
• View Publication
• BIB
We give a thorough structural analysis of the principal one-sided ideals of arbitrary semigroups, and then apply this to full transformation semigroups and symmetric inverse monoids. One-sided ideals of these semigroups naturally occur as semigroups of transformations with restricted range or kernel.
On random stable matchings: cyclic matchings with strict preferences and two-side matchings with partially ordered preferences
Published
• View Publication
• BIB
Consider a cyclically ordered collection of $r$ equinumerous agent sets with strict preferences of every agent over the agents from the next agent set. A weakly stable cyclic matching is a partition of the set of agents into disjoint union of $r$-long cycles, one agent from each set per cycle, such that there are no destabilizing $r$-long cycles, i.e. cycles in which every agent strictly prefers its successor to its successor in the matching. Assuming that the preferences are uniformly random and independent, we show that the expected number of stable matchings grows with $n$ (cardinality of each agent set) as $(n\log n)^{r-1}$. We also consider a bipartite stable matching problem where preference list of each agent forms a partially ordered set. Each partial order is an intersection of several, $k_i$ for side $i$, independent, uniformly random, strict orders. For $k_1+k_2>2$, the expected number of stable matchings is analyzed for three, progressively stronger, notions of stability. The expected number of weakly stable matchings is shown to grow super-exponentially fast. In contrast, for $\min(k_1,k_2)>1$, the fraction of instances with at least one strongly stable (super-stable) matching is super-exponentially small.