Showing 20 papers (Total: 83076 papers, 47999 authors in database)
New Bounds on the Biplanar Crossing Number of Low-dimensional Hypercubes
In this note we provide an improved upper bound on the biplanar crossing number of the 8-dimensional hypercube. The $k$-planar crossing number of a graph $cr_k(G)$ is the number of crossings required when every edge of $G$ must be drawn in one of $k$ distinct planes. It was shown in Czabarka et al. that $cr_2(Q_8) \leq 256$ which we improve to $cr_2(Q_8) \leq 128$. Our approach highlights the relationship between symmetric drawings and the study of $k$-planar crossing numbers. We conclude with several open questions concerning this relationship.
Lonely runners in function fields
Published in Mathematika 65 (2019) 677-701
• View Publication
• BIB
The lonely runner conjecture, now over fifty years old, concerns the following problem. On a unit length circular track, consider $m$ runners starting at the same time and place, each runner having a different constant speed. The conjecture asserts that each runner is lonely at some point in time, meaning distance at least $1/m$ from the others. We formulate a function field analogue, and give a positive answer in some cases in the new setting.
Degree-regular triangulations of surfaces
A degree-regular triangulation is one in which each vertex has identical degree. Our main result is that any such triangulation of a (possibly non-compact) surface $S$ is geometric, that is, it is combinatorially equivalent to a geodesic triangulation with respect to a constant curvature metric on $S$, and we list the possibilities. A key ingredient of the proof is to show that any two $d$-regular triangulations of the plane for $d> 6 $ are combinatorially equivalent. The proof of this uniqueness result, which is of independent interest, is based on an inductive argument involving some combinatorial topology.
Higher Cluster Categories and QFT Dualities
Published in Phys. Rev. D 98, 046021 (2018)
• View Publication
• BIB
We present a unified mathematical framework that elegantly describes minimally SUSY gauge theories in even dimension, ranging from $6d$ to $0d$, and their dualities. This approach combines recent developments on graded quiver with potentials, higher Ginzburg algebras and higher cluster categories (also known as $m$-cluster categories). Quiver mutations studied in the context of mathematics precisely correspond to the order $(m+1)$ dualities of the gauge theories. Our work suggests that these equivalences of quiver gauge theories sit inside an infinite family of such generalized dualities, whose physical interpretation is yet to be understood.
Using ultrafilters to prove Ramsey-type theorems
Published in American Mathematical Monthly 129 no. 2 (2022), 116-131
• View Publication
• BIB
Ultrafilters are a tool, originating in mathematical logic and general topology, that has steadily found more and more uses in multiple areas of mathematics, such as combinatorics, dynamics, and algebra, among others. The purpose of this article is to introduce ultrafilters in a friendly manner and present some applications to the branch of combinatorics known as Ramsey theory, culminating with a new ultrafilter-based proof of van der Waerden's theorem.
On graphs of bounded semilattices
Published in Math Notes 107, 264--273 (2020)
• View Publication
• BIB
In this paper, we introduce the graph $G(S)$ of a bounded semilattice $S$, which is a generalization of the intersection graph of the substructures of an algebraic structure. We prove some general theorems about these graphs; as an example, we show that if $S$ is a product of three or more chains, then $G(S)$ is Eulerian if and only if either the length of every chain is even or all the chains are of length one. We also show that if $G(S)$ contains a cycle, then $girth(G(S)) = 3$. Finally, we show that if $(S,+,\cdot,0,1)$ is a dually atomic bounded distributive lattice whose set of dual atoms is nonempty, and the graph $G(S)$ of $S$ has no isolated vertex, then $G(S)$ is connected with $diam(G(S))\leq 4$.
Strengthening Convex Relaxations of 0/1-Sets Using Boolean Formulas
Published
• View Publication
• BIB
In convex integer programming, various procedures have been developed to strengthen convex relaxations of sets of integer points. On the one hand, there exist several general-purpose methods that strengthen relaxations without specific knowledge of the set $ S $, such as popular linear programming or semi-definite programming hierarchies. On the other hand, various methods have been designed for obtaining strengthened relaxations for very specific sets that arise in combinatorial optimization. We propose a new efficient method that interpolates between these two approaches.
Our procedure strengthens any convex set $ Q \subseteq \mathbb{R}^n $ containing a set $ S \subseteq \{0,1\}^n $ by exploiting certain additional information about $ S $. Namely, the required extra information will be in the form of a Boolean formula $ φ$ defining the target set $ S $.
The aim of this work is to analyze various aspects regarding the strength of our procedure. As one result, interpreting an iterated application of our procedure as a hierarchy, our findings simplify, improve, and extend previous results by Bienstock and Zuckerberg on covering problems.
A bound for the shortest reset words for semisimple synchronizing automata via the packing number
Published in Journal of Algebraic Combinatorics (2018), 50(3), pp. 236-253
• View Publication
• BIB
We show that if a semisimple synchronizing automaton with $n$ states has a minimal reachable non-unary subset of cardinality $r\ge 2$, then there is a reset word of length at most $(n-1)D(2,r,n)$, where $D(2,r,n)$ is the $2$-packing number for families of $r$-subsets of $[1,n]$.
Erdős-Pósa property of chordless cycles and its applications
Published
• View Publication
• BIB
A chordless cycle, or equivalently a hole, in a graph $G$ is an induced subgraph of $G$ which is a cycle of length at least $4$. We prove that the Erdős-Pósa property holds for chordless cycles, which resolves the major open question concerning the Erdős-Pósa property. Our proof for chordless cycles is constructive: in polynomial time, one can find either $k+1$ vertex-disjoint chordless cycles, or $c_1k^2 \log k+c_2$ vertices hitting every chordless cycle for some constants $c_1$ and $c_2$. It immediately implies an approximation algorithm of factor $\mathcal{O}(\sf{opt}\log {\sf opt})$ for Chordal Vertex Deletion. We complement our main result by showing that chordless cycles of length at least $\ell$ for any fixed $\ell\ge 5$ do not have the Erdős-Pósa property.
Directed path-decompositions
Published
• View Publication
• BIB
Many of the tools developed for the theory of tree-decompositions of graphs do not work for directed graphs. In this paper we show that some of the most basic tools do work in the case where the model digraph is a directed path. Using these tools we define a notion of a directed blockage in a digraph and prove a min-max theorem for directed path-width analogous to the result of Bienstock, Roberston, Seymour and Thomas for blockages in graphs. Furthermore, we show that every digraph with directed path width $\geq k$ contains each arboresence of order $\leq k + 1$ as a butterfly minor. Finally we also show that every digraph admits a linked directed path-decomposition of minimum width, extending a result of Kim and Seymour on semi-complete digraphs.
A mating-of-trees approach for graph distances in random planar maps
Published
• View Publication
• BIB
We introduce a general technique for proving estimates for certain random planar maps which belong to the $γ$-Liouville quantum gravity (LQG) universality class for $γ\in (0,2)$. The family of random planar maps we consider are those which can be encoded by a two-dimensional random walk with i.i.d.\ increments via a mating-of-trees bijection, and includes the uniform infinite planar triangulation (UIPT; $γ=\sqrt{8/3}$); and planar maps weighted by the number of different spanning trees ($γ=\sqrt 2$), bipolar orientations ($γ=\sqrt{4/3}$), or Schnyder woods ($γ=1$) that can be put on the map.
Using our technique, we prove estimates for graph distances in the above family of random planar maps. In particular, we obtain non-trivial upper and lower bounds for the cardinality of a graph distance ball consistent with the Watabiki (1993) prediction for the Hausdorff dimension of $γ$-LQG and we establish the existence of an exponent for certain distances in the map.
The basic idea of our approach is to compare a given random planar map $M$ to a mated-CRT map---a random planar map constructed from a correlated two-dimensional Brownian motion---using a strong coupling (Zaitsev, 1998) of the encoding walk for $M$ and the Brownian motion used to construct the mated-CRT map. This allows us to deduce estimates for graph distances in $M$ from the estimates for graph distances in the mated-CRT map which we proved (using continuum theory) in a previous work. In the special case when $γ=\sqrt{8/3}$, we instead deduce estimates for the $\sqrt{8/3}$-mated-CRT map from known results for the UIPT.
The arguments of this paper do not directly use SLE/LQG, and can be read without any knowledge of these objects.
Improved Lower Bounds for the Fourier Entropy/Influence Conjecture via Lexicographic Functions
Every Boolean function can be uniquely represented as a multilinear polynomial. The entropy and the total influence are two ways to measure the concentration of its Fourier coefficients, namely the monomial coefficients in this representation: the entropy roughly measures their spread, while the total influence measures their average level. The Fourier Entropy/Influence conjecture of Friedgut and Kalai from 1996 states that the entropy to influence ratio is bounded by a universal constant $C$.
Using lexicographic Boolean functions, we present three explicit asymptotic constructions that improve upon the previously best known lower bound $C>6.278944$ by O'Donnell and Tan, obtained via recursive composition. The first uses their construction with the lexicographic function $\ell\left\langle 2/3\right\rangle $ of measure $2/3$ to demonstrate that $C\ge4+3\log_{4}3>6.377444$. The second generalizes their construction to biased functions and obtains $C>6.413846$ using $\ell\left\langle Φ\right\rangle $, where $Φ$ is the inverse golden ratio. The third, independent, construction gives $C>6.454784$, even for monotone functions.
Beyond modest improvements to the value of $C$, our constructions shed some new light on the properties sought in potential counterexamples to the conjecture.
Additionally, we prove a Lipschitz-type condition on the total influence and spectral entropy, which may be of independent interest.
Grove arctic curves from periodic cluster modular transformations
Published
• View Publication
• BIB
Groves are spanning forests of a finite region of the triangular lattice that are in bijection with Laurent monomials that arise in solutions of the cube recurrence. We introduce a large class of probability measures on groves for which we can compute exact generating functions for edge probabilities. Using the machinery of asymptotics of multivariate generating functions, this lets us explicitly compute arctic curves, generalizing the arctic circle theorem of Petersen and Speyer. Our class of probability measures is sufficiently general that the limit shapes exhibit all solid and gaseous phases expected from the classification of EGMs in the resistor network model.
Adaptive Network Flow with $k$-Arc Destruction
When a flow is not allowed to be reoriented the Maximum Residual Flow Problem with $k$-Arc Destruction is known to be $NP$-hard for $k=2$. We show that when a flow is allowed to be adaptive the problem becomes polynomial for every fixed $k$.
Random walk on random planar maps: spectral dimension, resistance, and displacement
Published
• View Publication
• BIB
We study simple random walk on the class of random planar maps which can be encoded by a two-dimensional random walk with i.i.d. increments or a two-dimensional Brownian motion via a "mating-of-trees" type bijection. This class includes the uniform infinite planar triangulation (UIPT), the infinite-volume limits of random planar maps weighted by the number of spanning trees, bipolar orientations, or Schnyder woods they admit, and the $γ$-mated-CRT map for $γ\in (0,2)$. For each of these maps, we obtain an upper bound for the Green's function on the diagonal, an upper bound for the effective resistance to the boundary of a metric ball, an upper bound for the return probability of the random walk to its starting point after $n$ steps, and a lower bound for the graph-distance displacement of the random walk, all of which are sharp up to polylogarithmic factors.
When combined with work of Lee (2017), our bound for the return probability shows that the spectral dimension of each of these random planar maps is a.s. equal to 2, i.e., the (quenched) probability that the simple random walk returns to its starting point after $2n$ steps is $n^{-1+o_n(1)}$. Our results also show that the amount of time that it takes a random walk to exit a metric ball is at least its volume (up to a polylogarithmic factor). In the special case of the UIPT, this implies that random walk typically travels at least $n^{1/4 - o_n(1)}$ units of graph distance in $n$ units of time. The matching upper bound for the displacement is proven by Gwynne and Hutchcroft (2018). These two works together resolve a conjecture of Benjamini and Curien (2013) in the UIPT case.
Our proofs are based on estimates for the mated-CRT map (which come from its relationship to SLE-decorated Liouville quantum gravity) and a strong coupling of the mated-CRT map with the other random planar map models.
An algebraic formulation of the locality principle in renormalisation
Published
• View Publication
• BIB
We study the mathematical structure underlying the concept of locality which lies at the heart of classical and quantum field theory, and develop a machinery used to preserve locality during the renormalisation procedure. Viewing renormalisation in the framework of Connes and Kreimer as the algebraic Birkhoff factorisation of characters on a Hopf algebra with values in a Rota-Baxter algebra, we build locality variants of these algebraic structures, leading to a locality variant of the algebraic Birkhoff factorisation. This provides an algebraic formulation of the conservation of locality while renormalising.
As an application in the context of the Euler-Maclaurin formula on cones, we renormalise the exponential generating function which sums over the lattice points in convex cones. For a suitable multivariate regularisation, renormalisation from the algebraic Birkhoff factorisation amounts to composition by a projection onto holomorphic multivariate functions.
Monotone bargaining is Nash-solvable
Published
• View Publication
• BIB
Given two finite ordered sets $A = \{a_1, \ldots, a_m\}$ and $B = \{b_1, \ldots, b_n\}$, introduce the set of $m n$ outcomes of the game $O = \{(a, b) \mid a \in A, b \in B\} = \{(a_i, b_j) \mid i \in I = \{1, \ldots, m\}, j \in J = \{1, \ldots, n\}$. Two players, Alice and Bob, have the sets of strategies $X$ and $Y$ that consist of all monotone non-decreasing mappings $x: A \rightarrow B$ and $y: B \rightarrow A$, respectively. It is easily seen that each pair $(x,y) \in X \times Y$ produces at least one {\em deal}, that is, an outcome $(a,b) \in O$ such that $x(a) = b$ and $y(b) = a$. Denote by $G(x,y) \subseteq O$ the set of all such deals related to $(x,y)$. The obtained mapping $G = G_{m,n}: X \times Y \rightarrow 2^O$ is a game correspondence. Choose an arbitrary deal $g(x,y) \in G(x,y)$ to obtained a mapping $g : X \times Y \rightarrow O$, which is a game form. We will show that each such game form is tight and, hence, Nash-solvable, that is, for any pair $u = (u_A, u_B)$ of utility functions $u_A : O \rightarrow \mathbb R$ of Alice and $u_B: O \rightarrow \mathbb R$ of Bob, the obtained monotone bargaining game $(g, u)$ has at least one Nash equilibrium in pure strategies. Moreover, the same equilibrium can be chosen for all selections $g(x,y) \in G(x,y)$. We also obtain an efficient algorithm that determines such an equilibrium in time linear in $m n$, although the numbers of strategies $|X| = \binom{m+n-1}{m}$ and $|Y| = \binom{m+n-1}{n}$ are exponential in $m n$. Our results show that, somewhat surprising, the players have no need to hide or randomize their bargaining strategies, even in the zero-sum case.
A tableau formula of double Grothendieck polynomials for $321$-avoiding permutations
Published
• View Publication
• BIB
In this article, we prove a tableau formula for the double Grothendieck polynomials associated to $321$-avoiding permutations. The proof is based on the compatibility of the formula with the $K$-theoretic divided difference operators.
Cluster Algebras, Invariant Theory, and Kronecker Coefficients II
Published in Adv. Math. 341 (2019), 536-582
• View Publication
• BIB
We prove that the semi-invariant ring of the standard representation space of the $l$-flagged $m$-arrow Kronecker quiver is an upper cluster algebra for any $l,m\in \mathbb{N}$. The quiver and cluster are explicitly given. We prove that the quiver with its rigid potential is a polyhedral cluster model. As a consequence, to compute each Kronecker coefficient $g_{μ,ν}^λ$ with $λ$ at most $m$ parts, we only need to count lattice points in at most $m!$ fibre (rational) polytopes inside the ${\rm g}$-vector cone, which is explicitly given.
On $AP_3$ - covering sequences
Published in C. R. Acad. Sci. Paris, Ser. I 356 (2018), 121-124
• View Publication
• BIB
Recently, motivated by Stanley sequences, Kiss, S\' andor and Yang introduced a new type sequence: a sequence $A$ of nonnegative integers is called an $AP_k$ - covering sequence if there exists an integer $n_0$ such that if $n > n_0$, then there exist $a_1\in A, \dots , a_{k-1}\in A$, $a_1<a_2<\cdots <a_{k-1}<n$ such that $a_1, \dots , a_{k-1}, n$ form a $k$-term arithmetic progression. They prove that there exists an $AP_3$ - covering sequence $A$ such that $\limsup\limits_{n\to\infty}{A(n)}/{\sqrt n}\le 34$. In this note, we prove that there exists an $AP_3$ - covering sequence $A$ such that $\limsup\limits_{n\to\infty}{A(n)}/{\sqrt n}=\sqrt{15}$.