Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A graphical algorithm for the integration of monomials in the Chow ring of the moduli space of stable marked curves of genus zero
The Chow group of zero cycles in the moduli space of stable pointed curves of genus zero is isomorphic to the integer additive group. Let $M$ be monomial in this Chow group. If no two factors of $M$ fulfill a particular quadratic relation, then the monomial can be represented equivalently by a specific tree; otherwise, $M$ is mapped to zero under the stated isomorphism. Starting from this tree representation, we introduce a graphical algorithm for computing the corresponding integer for $M$ under the aforementioned isomorphism. The algorithm is linear with respect to the size of the tree.
Algebraic branch points at all loop orders from positive kinematics and wall crossing
Published
• View Publication
• BIB
There is a remarkable connection between the boundary structure of the positive kinematic region and branch points of integrated amplitudes in planar $\mathcal{N}=4$ SYM. A long standing question has been precisely how algebraic branch points emerge from this picture. We use wall crossing and scattering diagrams to systematically study the boundary structure of the positive kinematic regions associated with MHV amplitudes. The notion of asymptotic chambers in the scattering diagram naturally explains the appearance of algebraic branch points. Furthermore, the scattering diagram construction also motivates a new coordinate system for kinematic space that rationalizes the relations between algebraic letters in the symbol alphabet. As a direct application, we conjecture a complete list of all algebraic letters that could appear in the symbol alphabet of the 8-point MHV amplitude.
Toric Codes from Order Polytopes
Published
• View Publication
• BIB
In this article we investigate a class of linear error correcting codes in relation with the order polytopes. In particular we consider the order polytopes of tree posets and bipartite posets. We calculate the parameters of the associated toric variety codes.
On the Schmidt and analytic ranks for trilinear forms
We discuss relations between different notions of ranks for multilinear forms. In particular we show that the Schmidt and the analytic ranks for trilinear forms are essentially proportional.
Enumerating maximal consistent closed sets in closure systems
Published
• View Publication
• BIB
Given an implicational base, a well-known representation for a closure system, an inconsistency binary relation over a finite set, we are interested in the problem of enumerating all maximal consistent closed sets (denoted by MCCEnum for short). We show that MCCEnum cannot be solved in output-polynomial time unless $\textsf{P} = \textsf{NP}$, even for lower bounded lattices. We give an incremental-polynomial time algorithm to solve MCCEnum for closure systems with constant Carathéodory number. Finally we prove that in biatomic atomistic closure systems MCCEnum can be solved in output-quasipolynomial time if minimal generators obey an independence condition, which holds in atomistic modular lattices. For closure systems closed under union (i.e., distributive), MCCEnum has been previously solved by a polynomial delay algorithm.
Twin-width IV: ordered graphs and matrices
Published
• View Publication
• BIB
We establish a list of characterizations of bounded twin-width for hereditary, totally ordered binary structures. This has several consequences. First, it allows us to show that a (hereditary) class of matrices over a finite alphabet either contains at least $n!$ matrices of size $n \times n$, or at most $c^n$ for some constant $c$. This generalizes the celebrated Stanley-Wilf conjecture/Marcus-Tardos theorem from permutation classes to any matrix class over a finite alphabet, answers our small conjecture [SODA '21] in the case of ordered graphs, and with more work, settles a question first asked by Balogh, Bollobás, and Morris [Eur. J. Comb. '06] on the growth of hereditary classes of ordered graphs. Second, it gives a fixed-parameter approximation algorithm for twin-width on ordered graphs. Third, it yields a full classification of fixed-parameter tractable first-order model checking on hereditary classes of ordered binary structures. Fourth, it provides a model-theoretic characterization of classes with bounded twin-width.
On multichromatic numbers of widely colorable graphs
Published
• View Publication
• BIB
A coloring is called $s$-wide if no walk of length $2s-1$ connects vertices of the same color. A graph is $s$-widely colorable with $t$ colors if and only if it admits a homomorphism into a universal graph $W(s,t)$. Tardif observed that the value of the $r^{\rm th}$ multichromatic number $χ_r(W(s,t))$ of these graphs is at least $t+2(r-1)$ and equality holds for $r=s=2$. He asked whether there is equality also for $r=s=3$. We show that $χ_s(W(s,t))=t+2(s-1)$ for all $s$ thereby answering Tardif's question. We observe that for large $r$ (with respect to $s$ and $t$ fixed) we cannot have equality and that for $s$ fixed and $t$ going to infinity the fractional chromatic number of $W(s,t)$ also tends to infinity. The latter is a simple consequence of another result of Tardif on the fractional chromatic number of generalized Mycielski graphs.
Spanning trees in dense directed graphs
Published
• View Publication
• BIB
In 2001, Komlós, Sárközy and Szemerédi proved that, for each $α>0$, there is some $c>0$ and $n_0$ such that, if $n\geq n_0$, then every $n$-vertex graph with minimum degree at least $(1/2+α)n$ contains a copy of every $n$-vertex tree with maximum degree at most $cn/\log n$. We prove the corresponding result for directed graphs. That is, for each $α>0$, there is some $c>0$ and $n_0$ such that, if $n\geq n_0$, then every $n$-vertex directed graph with minimum semi-degree at least $(1/2+α)n$ contains a copy of every $n$-vertex oriented tree whose underlying maximum degree is at most $cn/\log n$.
As with Komlós, Sárközy and Szemerédi's theorem, this is tight up to the value of $c$. Our result improves a recent result of Mycroft and Naia, which requires the oriented trees to have underlying maximum degree at most $Δ$, for any constant $Δ\in \mathbb{N}$ and sufficiently large $n$. In contrast to these results, our methods do not use Szemerédi's regularity lemma.
Combinatorial Differential Algebra of $x^p$
Published in Journal of Symbolic Computation, 114:193-208, 2023
• View Publication
• BIB
We link $n$-jets of the affine monomial scheme defined by $x^p$ to the stable set polytope of some perfect graph. We prove that, as $p$ varies, the dimension of the coordinate ring of a certain subscheme of the scheme of $n$-jets as a $\mathbb{C}$-vector space is a polynomial of degree $n+1$, namely the Ehrhart polynomial of the stable set polytope of that graph. One main ingredient for our proof is a result of Zobnin who determined a differential Gröbner basis of the differential ideal generated by $x^p$. We generalize Zobnin's result to the bivariate case. We study $(m,n)$-jets, a higher-dimensional analog of jets, and relate them to regular unimodular triangulations.
Expected Value of Statistics on Type-B Permutation Tableaux
Type-B permutation tableaux are combinatorial objects introduced by Lam and Williams that have an interesting connection with the partially asymmetric simple exclusion process (PASEP). In this paper, we compute the expected value of several statistics on these tableaux. Some of these computations are motivated by a similar paper on permutation tableaux. Others are motivated by the PASEP. In particular, we compute the expected number of rows, unrestricted rows, diagonal ones, adjacent south steps, and adjacent west steps.
Length of a Full Steiner Tree as a Function of Terminal Coordinates
Given the coordinates of the terminals $ \{(x_j,y_j)\}_{j=1}^n $ of the full Euclidean Steiner tree, its length equals $$ \left| \sum_{j=1}^n z_j U_j \right| \, , $$ where $ \{z_j:=x_j+ \mathbf i y_j\}_{j=1}^n $ and $ \{U_j\}_{j=1}^n $ are suitably chosen $ 6 $th roots of unity. We also extend this result for the cost of the optimal Weber networks which are topologically equivalent to some full Steiner trees.
On the Signed Complete Graphs with Maximum Index
Published
• View Publication
• BIB
Let $Γ=(K_{n},H^-)$ be a signed complete graph whose negative edges induce a subgraph $H$. The index of $Γ$ is the largest eigenvalue of its adjacency matrix. In this paper we study the index of $Γ$ when $H$ is a unicyclic graph. We show that among all signed complete graphs of order $n>5$ whose negative edges induce a unicyclic graph of order $k$ and maximizes the index, the negative edges induce a triangle with all remaining vertices being pendant at the same vertex of the triangle.
Discrete Max-Linear Bayesian Networks
Published in Alg. Stat. 12 (2021) 213-225
• View Publication
• BIB
Discrete max-linear Bayesian networks are directed graphical models specified by the same recursive structural equations as max-linear models but with discrete innovations. When all of the random variables in the model are binary, these models are isomorphic to the conjunctive Bayesian network (CBN) models of Beerenwinkel, Eriksson, and Sturmfels. Many of the techniques used to study CBN models can be extended to discrete max-linear models and similar results can be obtained. In particular, we extend the fact that CBN models are toric varieties after linear change of coordinates to all discrete max-linear models.
Levelness versus almost Gorensteinness of edge rings of complete multipartite graphs
Published
• View Publication
• BIB
Levelness and almost Gorensteinness are well-studied properties on graded rings as a generalized notion of Gorensteinness. In the present paper, we study those properties for the edge rings of the complete multipartite graphs, denoted by $\Bbbk[K_{r_1,\ldots,r_n}]$ with $1 \leq r_1 \leq \cdots \leq r_n$. We give the complete characterization of which $\Bbbk[K_{r_1,\ldots,r_n}]$ is level in terms of $n$ and $r_1,\ldots,r_n$. Similarly, we also give the complete characterization of which $\Bbbk[K_{r_1,\ldots,r_n}]$ is almost Gorenstein in terms of $n$ and $r_1,\ldots,r_n$.
Tournaments with maximal decomposability
Published
• View Publication
• BIB
Given a tournament $T$, a module of $T$ is a subset $M$ of $V(T)$ such that for $x, y\in M$ and $v\in V(T)\setminus M$, $(x,v)\in A(T)$ if and only if $(y,v)\in A(T)$. The trivial modules of $T$ are $\emptyset$, $\{u\}$ $(u\in V(T))$ and $V(T)$. The tournament $T$ is indecomposable if all its modules are trivial; otherwise it is decomposable. The decomposability index of $T$, denoted by $δ(T)$, is the smallest number of arcs of $T$ that must be reversed to make $T$ indecomposable. In a previous paper, we proved that for $n \geq 5$, we have $δ(n) = \left\lceil \frac{n+1}{4} \right\rceil$, where $δ(n)$ is the maximum of $δ(T)$ over the tournaments $T$ with $n$ vertices. In this paper, we characterize the tournaments $T$ with $δ$-maximal decomposability, i.e., such that $δ(T)=δ(\vert T\vert)$.
Proof of Two Multivariate $q$-Binomial Sums Arising in Gromov-Witten Theory
Published in SIGMA 20 (2024), 089, 6 pages
• View Publication
• BIB
We prove two multivariate $q$-binomial identities conjectured by Bousseau, Brini and van Garrel [Geom. Topol. 28 (2024), 393-496, arXiv:2011.08830] which give generating series for Gromov-Witten invariants of two specific log Calabi-Yau surfaces. The key identity in all the proofs is Jackson's $q$-analogue of the Pfaff-Saalschütz summation formula from the theory of basic hypergeometric series.
New upper bounds for the forgotten index among bicyclic graphs
Published
• View Publication
• BIB
The forgotten topological index of a graph $G$, denoted by $F(G)$, is defined as the sum of weights $d(u)^{2}+d(v)^{2}$ over all edges $uv$ of $G$ , where $d(u)$ denotes the degree of a vertex $u$. In this paper, we give sharp upper bounds of the F-index (forgotten topological index) over bicyclic graphs, in terms of the order and maximum degree.
Sum-distinguishing number of sparse hypergraphs
Published
• View Publication
• BIB
A vertex labeling of a hypergraph is sum distinguishing if it uses positive integers and the sums of labels taken over the distinct hyperedges are distinct. Let s(H) be the smallest integer N such that there is a sum-distinguishing labeling of H with each label at most N. The largest value of s(H) over all hypergraphs on n vertices and m hyperedges is denoted s(n,m). We prove that s(n,m) is almost-quadratic in m as long as m is not too large. More precisely, the following holds: If n < m < n^{O(1)} then s(n,m)= m^2/w(m), where w(m) is a function that goes to infinity and is smaller than any polynomial in m.
The parameter s(n,m) has close connections to several other graph and hypergraph functions, such as the irregularity strength of hypergraphs. Our result has several applications, notably:
1. We answer a question of Gyarfas et al. whether there are n-vertex hypergraphs with irregularity strength greater than 2n. In fact we show that there are n-vertex hypergraphs with irregularity strength at least n^{2-o(1)}.
2. Our results imply that s*(n)=n^2/w(n) where s*(n) is the distinguishing closed-neighborhood number, i.e., the smallest integer N such that any n-vertex graph allows for a vertex labeling with positive integers at most N so that the sums of labels on distinct closed neighborhoods of vertices are distinct.
A Rauzy fractal unbounded in all directions of the plane
Published
• View Publication
• BIB
We construct an Arnoux-Rauzy word for which the set of all differences of two abelianized factors is equal to $\mathbb{Z}^3$. In particular, the imbalance of this word is infinite - and its Rauzy fractal is unbounded in all directions of the plane.
The smallest convex $K$-gon containing $N$ congruent disks
Published
• View Publication
• BIB
Consider the problem of fnding the smallest area convex $k$-gon containing $n\in\mathbb{N}$ congruent disks without an overlap. By using Wegner inequality in sphere packing theory we give a lower bound for the area of such polygons. For several cases where this bound is tight we construct corresponding optimal polygons. We also discuss its solution for some cases where this bound is not tight, e.g. $n = 2$ and $k$ is odd, and $n = 3$; $k = 4$. On the way to prove our results we prove a result on geometric invariants between two polygons whose sides are pairwise parallel, and give a new characterisation for the trisectrix of Maclaurin.