Showing 20 papers (Total: 82797 papers, 47838 authors in database)
On extremal problems concerning the traces of sets
Published
• View Publication
• BIB
Given two non-negative integers $n$ and $s$, define $m(n,s)$ to be the maximal number such that in every hypergraph $\mathcal{H}$ on $n$ vertices and with at most $ m(n,s)$ edges there is a vertex $x$ such that $|\mathcal{H}_x|\geq | E(\mathcal{H})| -s$, where $\mathcal{H}_x=\{H\setminus\{x\}:H\in E(\mathcal{H})\}$. This problem has been posed by Füredi and Pach and by Frankl and Tokushige. While the first results were only for specific small values of $s$, Frankl determined $m(n,2^{d-1}-1)$ for all $d\in\mathbb{N}$ with $d\mid n$. Subsequently, the goal became to determine $m(n,2^{d-1}-c)$ for larger $c$. Frankl and Watanabe determined $m(n,2^{d-1}-c)$ for $c\in\{0,2\}$. Other general results were not known so far.
Our main result sheds light on what happens further away from powers of two: We prove that $m(n,2^{d-1}-c)=\frac{n}{d}(2^d-c)$ for $d\geq 4c$ and $d\mid n$ and give an example showing that this equality does not hold for $c=d$. The other line of research on this problem is to determine $m(n,s)$ for small values of $s$. In this line, our second result determines $m(n,2^{d-1}-c)$ for $c\in\{3,4\}$. This solves more instances of the problem for small $s$ and in particular solves a conjecture by Frankl and Watanabe.
Spectral classes of hypergraphs
Published in The Australasian Journal of Combinatorics, 79(3):495-514 (2021)
• Search Publication
The notions of spectral measures and spectral classes, which are well known for graphs, are generalized and investigated for oriented hypergraphs.
Frozen Pipes: Lattice Models for Grothendieck Polynomials
Published
• View Publication
• BIB
We introduce families of two-parameter multivariate polynomials indexed by pairs of partitions $v,w$ -- biaxial double $(β,q)$-Grothendieck polynomials -- which specialize at $q=0$ and $v=1$ to double $β$-Grothendieck polynomials from torus-equivariant connective K-theory. Initially defined recursively via divided difference operators, our main result is that these new polynomials arise as partition functions of solvable lattice models. Moreover, the associated quantum group of the solvable model for polynomials in $n$ pairs of variables is a Drinfeld twist of the $U_q(\widehat{\mathfrak{sl}}_{n+1})$ $R$-matrix. By leveraging the resulting Yang-Baxter equations of the lattice model, we show that these polynomials simultaneously generalize double $β$-Grothendieck polynomials and dual double $β$-Grothendieck polynomials for arbitrary permutations. We then use properties of the model and Yang-Baxter equations to reprove Fomin-Kirillov's Cauchy identity for $β$-Grothendieck polynomials, generalize it to a new Cauchy identity for biaxial double $β$-Grothendieck polynomials, and prove a new branching rule for double $β$-Grothendieck polynomials.
Tuza's Conjecture for random graphs
Published
• View Publication
• BIB
A celebrated conjecture of Zs. Tuza says that in any (finite) graph, the minimum size of a cover of triangles by edges is at most twice the maximum size of a set of edge-disjoint triangles. Resolving a recent question of Bennett, Dudek, and Zerbib, we show that this is true for random graphs; more precisely:
\[ \mbox{for any $p=p(n)$, $\mathbb P(\mbox{$G_{n,p}$ satisfies Tuza's Conjecture})\rightarrow 1 $ (as $n\rightarrow\infty$).} \]
Recognising Graphic and Matroidal Connectivity Functions
Published
• View Publication
• BIB
A {\em connectivity function} on a set $E$ is a function $λ:2^E\rightarrow \mathbb R$ such that $λ(\emptyset)=0$, that $λ(X)=λ(E-X)$ for all $X\subseteq E$, and that $λ(X\cap Y)+λ(X\cup Y)\leq λ(X)+λ(Y)$ for all $X,Y \subseteq E$. Graphs, matroids and, more generally, polymatroids have associated connectivity functions. In this paper we give a method for identifying when a connectivity function comes from a graph. This method uses no more than a polynomial number of evaluations of the connectivity function. In contrast, we show that the problem of identifying when a connectivity function comes from a matroid cannot be solved in polynomial time. We also show that the problem of identifying when a connectivity function is not that of a matroid cannot be solved in polynomial time.
Closing the Random Graph Gap in Tuza's Conjecture Through the Online Triangle Packing Process
Published
• View Publication
• BIB
A long-standing conjecture of Zsolt Tuza asserts that the triangle covering number $τ(G)$ is at most twice the triangle packing number $ν(G)$, where the triangle packing number $ν(G)$ is the maximum size of a set of edge-disjoint triangles in $G$ and the triangle covering number $τ(G)$ is the minimal size of a set of edges intersecting all triangles. In this paper, we prove that Tuza's conjecture holds in the Erdős-Rényi random graph $G(n,m)$ for all range of $m$, closing the gap in what was previously known. (Recently, this result was also independently proved by Jeff Kahn and Jinyoung Park.) We employ a random greedy process called the online triangle packing process to produce a triangle packing in $G(n,m)$ and analyze this process by using the differential equations method.
Signless Laplacian spectral radius and matching in graphs
The signless Laplacian matrix of a graph $G$ is given by $Q(G)=D(G)+A(G)$, where $D(G)$ is a diagonal matrix of vertex degrees and $A(G)$ is the adjacency matrix. The largest eigenvalue of $Q(G)$ is called the signless Laplacian spectral radius, denoted by $q_1=q_1(G)$. In this paper, some properties between the signless Laplacian spectral radius and perfect matching in graphs are establish. Let $r(n)$ be the largest root of equation $x^3-(3n-7)x^2+n(2n-7)x-2(n^2-7n+12)=0$. We show that $G$ has a perfect matching for $n=4$ or $n\geq10$, if $q_1(G)>r(n)$, and for $n=6$ or $n=8$, if $q_1(G)>4+2\sqrt{3}$ or $q_1(G)>6+2\sqrt{6}$ respectively, where $n$ is a positive even integer number. Moreover, there exists graphs $K_{n-3}\vee K_1 \vee \overline{K_2}$ such that $q_1(K_{n-3}\vee K_1 \vee \overline{K_2})=r(n)$ if $n\geq4$, a graph $K_2\vee\overline{K_4}$ such that $q_1(K_2\vee\overline{K_4})=4+2\sqrt{3}$ and a graph $K_3\vee\overline{K_5}$ such that $q_1(K_3\vee\overline{K_5})=6+2\sqrt{6}$. These graphs all have no prefect matching.
Q-data and representation theory of untwisted quantum affine algebras
Published
• View Publication
• BIB
For a complex finite-dimensional simple Lie algebra $\mathfrak{g}$, we introduce the notion of Q-datum, which generalizes the notion of a Dynkin quiver with a height function from the viewpoint of Weyl group combinatorics. Using this notion, we develop a unified theory describing the twisted Auslander-Reiten quivers and the twisted adapted classes introduced in [O.-Suh, J. Algebra, 2019] with an appropriate notion of the generalized Coxeter elements. As a consequence, we obtain a combinatorial formula expressing the inverse of the quantum Cartan matrix of $\mathfrak{g}$, which generalizes the result of [Hernandez-Leclerc, J. Reine Angew. Math., 2015] in the simply-laced case. We also find several applications of our combinatorial theory of Q-data to the finite-dimensional representation theory of the untwisted quantum affine algebra of $\mathfrak{g}$. In particular, in terms of Q-data and the inverse of the quantum Cartan matrix, (i) we give an alternative description of the block decomposition results due to [Chari-Moura, Int. Math. Res. Not., 2005] and [Kashiwara-Kim-O.-Park, arXiv:2003.03265], (ii) we present a unified (partially conjectural) formula of the denominators of the normalized R-matrices between all the Kirillov-Reshetikhin modules, and (iii) we compute the invariants $Λ(V,W)$ and $Λ^\infty(V, W)$ introduced in [Kashiwara-Kim-O.-Park, Compos. Math., 2020] for each pair of simple modules $V$ and $W$.
Incidences with curves in three dimensions
We study incidence problems involving points and curves in $R^3$. The current (and in fact only viable) approach to such problems, pioneered by Guth and Katz, requires a variety of tools from algebraic geometry, most notably (i) the polynomial partitioning technique, and (ii) the study of algebraic surfaces that are ruled by lines or, in more recent studies, by algebraic curves of some constant degree. By exploiting and refining these tools, we obtain new and improved bounds for point-curve incidence problems in $R^3$.
Incidences of this kind have been considered in several previous studies, starting with Guth and Katz's work on points and lines. Our results, which are based on the work of Guth and Zahl concerning surfaces that are doubly ruled by curves, provide a grand generalization of most of the previous results. We reconstruct the bound for points and lines, and improve, in certain significant ways, recent bounds involving points and circles (in Sharir, Sheffer and Zahl), and points and arbitrary constant-degree algebraic curves (in Sharir, Sheffer and Solomon). While in these latter instances the bounds are not known (and are strongly suspected not) to be tight, our bounds are, in a certain sense, the best that can be obtained with this approach, given the current state of knowledge.
As an application of our point-curve incidence bound, we show that the number of triangles spanned by a set of $n$ points in $R^3$ and similar to a given triangle is $O(n^{15/7})$, which improves the bound of Agarwal et al. Our results are also related to a study by Guth et al.~(work in progress), and have been recently applied in Sharir, Solomon and Zlydenko to related incidence problems in three dimensions.
An Elliptic Hypergeometric Function Approach to Branching Rules
Published in SIGMA 16 (2020), 142, 52 pages
• View Publication
• BIB
We prove Macdonald-type deformations of a number of well-known classical branching rules by employing identities for elliptic hypergeometric integrals and series. We also propose some conjectural branching rules and allied conjectures exhibiting a novel type of vanishing behaviour involving partitions with empty 2-cores.
A Topological Approach to Inferring the Intrinsic Dimension of Convex Sensing Data
Published
• View Publication
• BIB
We consider a common measurement paradigm, where an unknown subset of an affine space is measured by unknown continuous quasi-convex functions. Given the measurement data, can one determine the dimension of this space? In this paper, we develop a method for inferring the intrinsic dimension of the data from measurements by quasi-convex functions, under natural generic assumptions.
The dimension inference problem depends only on discrete data of the ordering of the measured points of space, induced by the sensor functions. We introduce a construction of a filtration of Dowker complexes, associated to measurements by quasi-convex functions. Topological features of these complexes are then used to infer the intrinsic dimension. We prove convergence theorems that guarantee obtaining the correct intrinsic dimension in the limit of large data, under natural generic assumptions. We also illustrate the usability of this method in simulations.
On the connectivity of enhanced power graph of finite group
This paper deals with the vertex connectivity of enhanced power graph of finite group. We classify all abelian groups G such that vertex connectivity of enhanced power graph of G is 1. We derive an upper bound of vertex connectivity for the enhanced power graph of any general abelian group G. Also we completely characterize all abelian group G, such that the proper enhanced power graph is connected. Moreover, we study some special class of non-abelian group G such that the proper enhanced power graph is connected and we find their vertex connectivity.
Cartesian lattice counting by the vertical 2-sum
Published
• View Publication
• BIB
A vertical 2-sum of a two-coatom lattice $L$ and a two-atom lattice $U$ is obtained by removing the top of $L$ and the bottom of $U$, and identifying the coatoms of $L$ with the atoms of $U$. This operation creates one or two nonisomorphic lattices depending on the symmetry case. Here the symmetry cases are analyzed, and a recurrence relation is presented that expresses the number of such vertical 2-sums in some family of interest, up to isomorphism. Nonisomorphic, vertically indecomposable modular and distributive lattices are counted and classified up to 35 and 60 elements respectively. Asymptotically their numbers are shown to be at least $Ω(2.3122^n)$ and $Ω(1.7250^n)$, where $n$ is the number of elements. The number of semimodular lattices is shown to grow faster than any exponential in $n$.
A Discrete Convex Min-Max Formula for Box-TDI Polyhedra
Published
• View Publication
• BIB
A min-max formula is proved for the minimum of an integer-valued separable discrete convex function where the minimum is taken over the set of integral elements of a box total dual integral (box-TDI) polyhedron. One variant of the theorem uses the notion of conjugate function (a fundamental concept in non-linear optimization) but we also provide another version that avoids conjugates, and its spirit is conceptually closer to the standard form of classic min-max theorems in combinatorial optimization. The presented framework provides a unified background for separable convex minimization over the set of integral elements of the intersection of two integral base-polyhedra, submodular flows, L-convex sets, and polyhedra defined by totally unimodular (TU) matrices. As an unexpected application, we show how a wide class of inverse combinatorial optimization problems can be covered by this new framework.
Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions
We show that if $A\subset \{1,\ldots,N\}$ contains no non-trivial three-term arithmetic progressions then $\lvert A\rvert \ll N/(\log N)^{1+c}$ for some absolute constant $c>0$. In particular, this proves the first non-trivial case of a conjecture of Erdős on arithmetic progressions.
Squarefree words with interior disposable factors
Published
• View Publication
• BIB
We give a partial answer to a problem of Harju by constructing an infinite ternary squarefree word $w$ with the property that for every $k \geq 3312$ there is an interior length-$k$ factor of $w$ that can be deleted while still preserving squarefreeness. We also examine Thue's famous squarefree word (generated by iterating the map $0 \to 012$, $1 \to 02$, $2 \to 1$) and characterize the positions $i$ for which deleting the symbol appearing at position $i$ preserves squarefreeness.
Surfaces have (asymptotic) dimension 2
The asymptotic dimension is an invariant of metric spaces introduced by Gromov in the context of geometric group theory. When restricted to graphs and their shortest paths metric, the asymptotic dimension can be seen as a large scale version of weak diameter colorings (also known as weak diameter network decompositions), i.e. colorings in which each monochromatic component has small weak diameter.
In this paper, we prove that for any $p$, the class of graphs excluding $K_{3,p}$ as a minor has asymptotic dimension at most 2. This implies that the class of all graphs embeddable on any fixed surface (and in particular the class of planar graphs) has asymptotic dimension 2, which gives a positive answer to a recent question of Fujiwara and Papasoglu. Our result extends from graphs to Riemannian surfaces. We also prove that graphs of bounded pathwidth have asymptotic dimension at most 1 and graphs of bounded layered pathwidth have asymptotic dimension at most 2. We give some applications of our techniques to graph classes defined in a topological or geometrical way, and to graph classes of polynomial growth. Finally we prove that the class of bounded degree graphs from any fixed proper minor-closed class has asymptotic dimension at most 2. This can be seen as a large scale generalization of the result that bounded degree graphs from any fixed proper minor-closed class are 3-colorable with monochromatic components of bounded size. This also implies that (infinite) Cayley graphs avoiding some minor have asymptotic dimension at most 2, which solves a problem raised by Ostrovskii and Rosenthal.
A Sylvester-Gallai result for concurrent lines in the complex plane
Published
• View Publication
• BIB
We show that if a set of points in $\mathbb{C}^2$ lies on a family of $m$ concurrent lines, and if one of those lines contains more than $m-2$ points, then there is a line passing through exactly two points of the set. The bound $m-2$ in our result is optimal. Our main theorem resolves a conjecture of Frank de Zeeuw, and generalizes a result of Kelly and Nwankpa.
On the Lettericity of Paths
Verifying a conjecture of Petkov{š}ec, we prove that the lettericity of an n-vertex path is precisely $\left\lfloor \frac{n+4}{3}\right\rfloor$.
Blowups in BPS/CFT correspondence, and Painlevé VI
Published
• View Publication
• BIB
We study four dimensional supersymmetric gauge theory in the presence of surface and point-like defects (blowups) and propose an identity relating partition functions at different values of $Ω$-deformation parameters $({\varepsilon}_{1}, {\varepsilon}_{2})$. As a consequence, we obtain the formula conjectured in 2012 by O$.$Gamayun, N$.$Iorgov, and O$.$Lysovyy, relating the tau-function $τ_{PVI}$ to $c=1$ conformal blocks of Liouville theory and propose its generalization for the case of Garnier-Schlesinger system. To this end we clarify the notion of the quasiclassical tau-function $τ_{PVI}$ of Painlevé VI and its generalizations. We also make some remarks about the sphere partition functions, the boundary operator product expansion in the ${\mathcal{N}}=(4,4)$ sigma models related to four dimensional ${\mathcal{N}}=2$ theories on toric manifolds, discuss crossed instantons on conifolds, elucidate some aspects of the BPZ/KZ correspondence, and applications to quantization.