Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Translation of "Simplizialzerlegungen von Beschrankter Flachheit'' by Hans Freudenthal, Annals of Mathematics, Second Series, Volume 43, Number 3, July 1942, Pages 580-583
Published in German original published in the Annals of Mathematics, Second Series, Volume 43, Number 3, July 1942, Pages 580-583
• Search Publication
Translation of the paper ``Simplizialzerlegungen von Beschrankter Flachheit'' by Hans Freudenthal (https://doi.org/10.2307/1968813), in which Freudenthal answers ``a question by Brouwer about the construction of an infinite series of subdivisions of a polytope, such that the next element in the sequence is a subdivision of the previous one and such that the subsimplices that arise do not become arbitrarily flat.''
Three Proofs of an Observation on Irreducible Polynomials over $\text{GF}(2)$
Published
• View Publication
• BIB
We present three proofs of an observation of Ahmadi on the number of irreducible polynomials over $\text{GF}(2)$ with certain traces and cotraces, the most interesting of which uses an explicit natural bijection. We also present two proofs of a related observation.
Energy and Adjacency Spectra of Semigraphs
In this paper, we study the energy of semigraphs and obtain some bounds, and show that one of the bounds is tight. We also study the spectra of the adjacency matrix of a special type of rooted 3-uniform semigraph and enumerate those explicitly.
On Computing Large Temporal (Unilateral) Connected Components
Published
• View Publication
• BIB
A temporal (directed) graph is a graph whose edges are available only at specific times during its lifetime, $τ$. Paths are sequences of adjacent edges whose appearing times are either strictly increasing or non-strictly increasingly (i.e., non-decreasing) depending on the scenario. Then, the classical concept of connected components and also of unilateral connected components in static graphs and digraphs naturally extends to the temporal setting.
In this paper, we answer to the following fundamental questions in temporal graphs. (i) What is the complexity of deciding the existence of a component of size $k$, parameterized by $τ$, by $k$, and by $k+τ$? We show that this question has a different answer depending on the considered definition of component and whether the temporal graph is directed or undirected. (ii) What is the minimum running time required to check whether a subset of vertices are pairwise reachable? A quadratic algorithm is known but, contrary to the static case, we show that a better running time is unlikely unless SETH fails. (iii) Is it possible to verify whether a subset of vertices is a component in polynomial time? We show that depending on the definition of temporal component this test is NP-complete.
A simple division-free algorithm for computing Pfaffians
We present a very simple algorithm for computing Pfaffians which uses no division operations. Essentially, it amounts to iterating matrix multiplication and truncation. Its complexity, for a $2n\times 2n$ matrix, is $O(nM(n))$, where $M(n)$ is the cost of matrix multiplication. In case of a sparse matrix, $M(n)$ is the cost of the dense-sparse matrix multiplication.
The algorithm is an adaptation of the Bird algorithm for determinants. We show how to extract, with practically no additional work, the characteristic polynomial and the Pfaffian characteristic polynomial from these algorithms.
On tree decompositions whose trees are minors
Published
• View Publication
• BIB
In 2019, Dvořák asked whether every connected graph $G$ has a tree decomposition $(T, \mathcal{B})$ so that $T$ is a subgraph of $G$ and the width of $(T, \mathcal{B})$ is bounded by a function of the treewidth of $G$. We prove that this is false, even when $G$ has treewidth $2$ and $T$ is allowed to be a minor of $G$.
Weight systems and invariants of graphs and embedded graphs
We describe recent achievements in the theory of weight systems, which are functions on chord diagrams satisfying so-called $4$-term relations. Our main attention is devoted to constructions of weight systems. The two main sources of these constructions that are discussed in the paper are invariants of intersection graphs of chord diagrams that satisfy $4$-term relations for graphs and metrized Lie algebras.
For the simplest nontrivial metrized Lie algebra $\mathfrak {sl}(2)$, we present recent results about the explicit form of generating functions for the values of the corresponding weight system on important families of chord diagrams. We also explain another recent result: construction of recurrence relations for computing the values of the $\mathfrak{gl}(N)$-weight system. These relations are based on M. Kazarian's extension of the $\mathfrak{gl}(N)$-weight system to arbitrary permutations.
Certain recent papers suggest an approach to extending weight systems and graph invariants to arbitrary embedded graphs, which is based on the study of the corresponding Hopf algebra structures; we describe this approach. Weight systems defined on arbitrary embedded graphs correspond to finite type invariants of links (multicomponent knots).
Minimal H-factors and covers
Published in J. Appl. Probab. 62 (2025) 136-152
• View Publication
• BIB
Given a fixed small graph H and a larger graph G, an H-factor is a collection of vertex-disjoint subgraphs $H'\subset G$, each isomorphic to H, that cover the vertices of G.
If G is the complete graph $K_n$ equipped with independent U(0,1) edge weights, what is the lowest total weight of an H-factor? This problem has previously been considered for e.g.\ $H=K_2$.
We show that if H contains a cycle, then the minimum weight is sharply concentrated around some $L_n = Θ(n^{1-1/d^*})$ (where $d^*$ is the maximum 1-density of any subgraph of H). Some of our results also hold for H-covers, where the copies of H are not required to be vertex-disjoint.
A coloring of the plane without monochromatic right triangles
Published
• View Publication
• BIB
We give a full, correct proof of the following result, earlier claimed by Erdős and Komjáth. If the Continuum Hypothesis holds then there is a coloring of the plane with countably many colors, with no monocolored right triangle.
Equiangular lines and large multiplicity of fixed second eigenvalue
Answering a question of Jiang and Polyanskii as well as Jiang, Tidor, Yao, Zhang, and Zhao, we show the existence of infinitely many angles $θ$ for which the maximum number of lines in $\mathbb R^n$ meeting at the origin with pairwise angles $θ$ exceeds $n+Ω(\log\log n)$ but is at most $n+o(n)$. To accomplish this, we construct, for various real $λ$ and integer $d$, $d$-regular graphs with second eigenvalue exactly $λ$ and arbitrarily large second eigenvalue multiplicity. Central to our construction is a distribution on factors of bipartite graphs which possesses concentration properties.
Almost $k$-union closed set systems
In a recent breakthrough, Gilmer proved the union closed conjecture up to a constant factor. Using Gilmer's method and additional ideas, Chase and Lovett proved an optimal result for almost union-closed set systems. Here that result is extended to higher order unions.
The structure of $3$-pyramidal groups
Published
• View Publication
• BIB
A combinatorial block design $D$ is called $3$-pyramidal if there exists a subgroup $G$ of $\mbox{Aut}(D)$ fixing $3$ points and acting regularly on the other points. If this happens, we say that the design is $3$-pyramidal under $G$. In case $D$ is a Kirkman triple system, it is known that such a group $G$ has precisely $3$ involutions, all conjugate to each other. In this paper, we obtain a classification of the groups with this property.
On intersections and stable intersections of tropical hypersurfaces
Published
• View Publication
• BIB
We prove that every connected component of an intersection of tropical hypersurfaces contains a point of their stable intersection unless their stable intersection is empty. This is done by studying algebraic hypersurfaces that tropicalize to them and the tropicalization of their intersection.
Extending Wormald's Differential Equation Method to One-sided Bounds
Published
• View Publication
• BIB
In this note, we formulate a "one-sided" version of Wormald's differential equation method. In the standard "two-sided" method, one is given a family of random variables which evolve over time and which satisfy some conditions including a tight estimate of the expected change in each variable over one time step. These estimates for the expected one-step changes suggest that the variables ought to be close to the solution of a certain system of differential equations, and the standard method concludes that this is indeed the case. We give a result for the case where instead of a tight estimate for each variable's expected one-step change, we have only an upper bound. Our proof is very simple, and is flexible enough that if we instead assume tight estimates on the variables, then we recover the conclusion of the standard differential equation method.
Harmonic-Arithmetic Index of (Molecular) Trees
Let $G$ be a graph. Denote by $d_x$, $E(G)$, and $D(G)$ the degree of a vertex $x$ in $G$, the set of edges of $G$, and the degree set of $G$, respectively. This paper proposes to investigate (both from mathematical and applications points of view) those graph invariants of the form $\sum_{uv\in E(G)}\varphi(d_v,d_w)$ in which $\varphi$ can be defined either using well-known means of $d_v$ and $d_w$ (for example: arithmetic, geometric, harmonic, quadratic, and cubic means) or by applying a basic arithmetic operation (addition, subtraction, multiplication, and division) on any of two such means, provided that $\varphi$ is a non-negative and symmetric function defined on the Cartesian square of $D(G)$. Many existing well-known graph invariants can be defined in this way; however, there are many exceptions too. One of such uninvestigated graph invariants is the harmonic-arithmetic (HA) index, which is obtained from the aforementioned setting by taking $\varphi$ as the ratio of the harmonic and arithmetic means of $d_v$ and $d_w$. A molecular tree is a tree whose maximum degree does not exceed four. Given the class of all (molecular) trees with a fixed order, graphs that have the largest or least value of the HA index are completely characterized in this paper.
Structure and coloring of some ($P_7,C_4$)-free graphs
Let $G$ be a graph. We use $P_t$ and $C_t$ to denote a path and a cycle on $t$ vertices, respectively. A {\em diamond} is a graph obtained from two triangles that share exactly one edge. A {\em kite} is a graph consists of a diamond and another vertex adjacent to a vertex of degree 2 of the diamond. A {\em gem} is a graph that consists of a $P_4$ plus a vertex adjacent to all vertices of the $P_4$. In this paper, we prove some structural properties to $(P_7, C_4,$ diamond)-free graphs, $(P_7, C_4,$ kite)-free graphs and $(P_7, C_4,$ gem)-free graphs. As their corollaries, we show that (\romannumeral 1) $χ(G)\leq \max\{3,ω(G)\}$ if $G$ is $(P_7, C_4,$ diamond)-free, (\romannumeral 2) $χ(G)\leq ω(G)+1$ if $G$ is $(P_7, C_4,$ kite)-free and (\romannumeral 3) $χ(G)\leq 2ω(G)-1$ if $G$ is $(P_7, C_4,$ gem)-free. These conclusions generalize some results of Choudum {\em et al} and Lan {\em et al}.
A q-analog of certain symmetric functions and one of its specializations
Let the symmetric functions be defined for the pair of integers $\left( n,r\right) $, $n\geq r\geq 1$, by $p_{n}^{\left( r\right) }=\sum m_{λ}$ where $m_{λ}$ are the monomial symmetric functions, the sum being over the partitions $λ$ of the integer $n$ with length $r$. We introduce by a generating function, a $q$-analog of $p_{n}^{\left( r\right) }$ and give some of its properties. This $q$-analog is related to its the classical form using the $q$-Stirling numbers. We also start with the same procedure the study of a $p,q$-analog of $p_{n}^{\left( r\right) }$.
By specialization of this $q$-analog in the series $\sum\nolimits_{n=0}^{ \infty }q^{\binom{n}{2}}t^{n}/n!$, we recover in a purely formal way$\ $a class of polynomials $J_{n}^{\left( r\right) }$ historically introduced as combinatorial enumerators, in particular of tree inversions. This also results in a new linear recurrence for those polynomials whose triangular table can be constructed, row by row, from the initial conditions $ J_{r}^{\left( r\right) }=1$. The form of this recurrence is also given for the reciprocal polynomials of $J_{n}^{\left( r\right) }$, known to be the sum enumerators of parking functions. Explicit formulas for $J_{n}^{\left( r\right) }$ and their reciprocals are deduced, leading inversely to new representations of these polynomials as forest statistics.
Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
Published in 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
• View Publication
• BIB
Two graphs $G$ and $H$ are homomorphism indistinguishable over a class of graphs $\mathcal{F}$ if for all graphs $F \in \mathcal{F}$ the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphisms from $F$ to $H$. Many natural equivalence relations comparing graphs such as (quantum) isomorphism, spectral, and logical equivalences can be characterised as homomorphism indistinguishability relations over certain graph classes.
Abstracting from the wealth of such instances, we show in this paper that equivalences w.r.t. any self-complementarity logic admitting a characterisation as homomorphism indistinguishability relation can be characterised by homomorphism indistinguishability over a minor-closed graph class. Self-complementarity is a mild property satisfied by most well-studied logics. This result follows from a correspondence between closure properties of a graph class and preservation properties of its homomorphism indistinguishability relation.
Furthermore, we classify all graph classes which are in a sense finite (essentially profinite) and satisfy the maximality condition of being homomorphism distinguishing closed, i.e. adding any graph to the class strictly refines its homomorphism indistinguishability relation. Thereby, we answer various questions raised by Roberson (2022) on general properties of the homomorphism distinguishing closure.
The intransitive dice kernel: $\frac{\mathbf{1}_{x\ge y}-\mathbf{1}_{x\le y}}{4} - \frac{3(x-y)(1+xy)}{8}$
Published
• View Publication
• BIB
Answering a pair of questions of Conrey, Gabbard, Grant, Liu, and Morrison, we prove that a triplet of dice drawn from the multiset model are intransitive with probability $1/4+o(1)$ and the probability a random pair of dice tie tends toward $αn^{-1}$ for an explicitly defined constant $α$. This extends and sharpens the recent results of Polymath regarding the balanced sequence model. We further show the distribution of larger tournaments converges to a universal tournamenton in both models. This limit naturally arises from the discrete spectrum of a certain skew-symmetric operator (given by the kernel in the title acting on $L^2([-1,1])$). The limit exhibits a degree of symmetry and can be used to prove that, for instance, the limiting probability that $A_i$ beats $A_{i+1}$ for $1\le i\le 4$ and that $A_5$ beats $A_1$ is $1/32+o(1)$. Furthermore, the limiting tournamenton has range contained in the discrete set $\{0,1\}$. This proves that the associated tournamenton is non-quasirandom in a dramatic fashion, vastly extending work of Cornacchia and Hązła regarding the continuous analogue of the balanced sequence model.
The proof is based on a reduction to conditional central limit theorems (related to work of Polymath), the use of a "Poissonization" style method to reduce to computations with independent random variables, and the systematic use of switching-based arguments to extract cancellation in Fourier estimates when establishing local limit-type estimates.
Posets are easily testable
Published in "Posets are easily testable." European Journal of Combinatorics (2024): 104044
• View Publication
• BIB
Alon and Shapira proved that every monotone class (closed under taking subgraphs) of undirected graphs is strongly testable, that is, under the promise that a given graph is either in the class or $\varepsilon$-far from it, there is a test using a constant number of samples (depending on $\varepsilon$ only) that rejects every graph not in the class with probability at least one half, and always accepts a graph in the class. However, their bound on the number of samples is quite large since they heavily rely on Szemerédi's regularity lemma. We study the case of posets and show that every monotone class of posets is easily testable, that is, a polynomial (of $\varepsilon^{-1}$) number of samples is sufficient. We achieve this via proving a polynomial removal lemma for posets.
We give a simple classification: for every monotone class of posets, there is an $h$ such that the class is indistinguishable (every large enough poset in one class is $\varepsilon$-close to a poset in the other class) from the class of $C_h$-free posets, where $C_h$ denotes the chain with $h$ elements. This allows us to test every monotone class of posets using $O(\varepsilon^{-1})$ samples. The test has a two-sided error, but it is almost complete: the probability of refuting a poset in the class is polynomially small in the size of the poset.
The analogous results hold for comparability graphs, too.