Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Random growth on a Ramanujan graph
The behavior of a certain random growth process is analyzed on arbitrary regular and non-regular graphs. Our argument is based on the Expander Mixing Lemma, which entails that the results are strongest for Ramanujan graphs, which asymptotically maximize the spectral gap. Further, we consider Erdős--Rényi random graphs and compare our theoretical results with computational experiments on flip graphs of point configurations. The latter is relevant for enumerating triangulations.
Groups, graphs, and hypergraphs: average sizes of kernels of generic matrices with support constraints
Published
• View Publication
• BIB
We develop a theory of average sizes of kernels of generic matrices with support constraints defined in terms of graphs and hypergraphs. We apply this theory to study unipotent groups associated with graphs. In particular, we establish strong uniformity results pertaining to zeta functions enumerating conjugacy classes of these groups. We deduce that the numbers of conjugacy classes of $\mathbf{F}_q$-points of the groups under consideration depend polynomially on $q$. Our approach combines group theory, graph theory, toric geometry, and $p$-adic integration.
Our uniformity results are in line with a conjecture of Higman on the numbers of conjugacy classes of unitriangular matrix groups. Our findings are, however, in stark contrast to related results by Belkale and Brosnan on the numbers of generic symmetric matrices of given rank associated with graphs.
Complexity yardsticks for $f$-vectors of polytopes and spheres
Published
• View Publication
• BIB
We consider geometric and computational measures of complexity for sets of integer vectors, asking for a qualitative difference between $f$-vectors of simplicial and general $d$-polytopes, as well as flag $f$-vectors of $d$-polytopes and regular CW $(d-1)$-spheres, for $d\ge 4$.
On the effective impedance of finite and infinite networks
Published in Potential Analysis (2021)
• View Publication
• BIB
In this paper we deal with the notion of the effective impedance of AC networks consisting of resistances, coils and capacitors. Mathematically such a network is a locally finite graph whose edges are endowed with complex-valued weights depending on a complex parameter $λ$ (by the physical meaning, $λ=iω$, where $ω$ is the frequency of the AC). For finite networks, we prove some estimates of the effective impedance. Using these estimates, we show that, for infinite networks, the sequence of impedances of finite graph approximations converges in certain domains in $\mathbb{C}$ to a holomorphic function of $λ$, which allows us to define the effective impedance of the infinite network.
Modules over posets: commutative and homological algebra
The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary decompositions, and resolutions. Interpreting this finiteness in the language of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning sheaves with microsupport in a given cone. The motivating case is persistent homology of arbitrary filtered topological spaces, especially the case of multiple real parameters. The algebraic theory yields computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology indexed by arbitrary posets. The exposition focuses on the nature and ramifications of a suitable finiteness condition to replace the noetherian hypothesis. The tameness condition introduced for this purpose captures finiteness for variation in families of vector spaces indexed by posets in a way that is characterized equivalently by distinct topological, algebraic, combinatorial, and homological manifestations. Tameness serves both the theoretical and computational purposes: it guarantees finite primary decompositions, as well as various finite presentations and resolutions all related by a syzygy theorem, and the data structures thus produced are computable in addition to being interpretable. The tameness condition and its resulting theory are new even in the finitely generated discrete setting, where being tame is materially weaker than being noetherian.
Hepp's bound for Feynman graphs and matroids
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 10 (2023), no. 1, pp. 31-119
• View Publication
• BIB
We study a rational matroid invariant, obtained as the tropicalization of the Feynman period integral. It equals the volume of the polar of the matroid polytope and we give efficient formulas for its computation. This invariant is proven to respect all known identities of Feynman integrals for graphs. We observe a strong correlation between the tropical and transcendental integrals, which yields a method to approximate unknown Feynman periods.
Hessenberg varieties associated to ad-nilpotent ideals
Published in Communications in Algebra, 2021
• View Publication
• BIB
We consider Hessenberg varieties in the flag variety of $GL_n(\mathbb{C})$ with the property that the corresponding Hessenberg function defines an ad-nilpotent ideal. Each such Hessenberg variety is contained in a Springer fiber. We extend a theorem of Tymoczko to this setting, showing that these varieties have an affine paving obtained by intersecting with Schubert cells. Our method of proof constructs an an affine paving for each Springer fiber that restricts to an affine paving of the Hessenberg variety. We use the combinatorial properties of this paving to prove that Hessenberg varieties of this kind are connected.
Sets without $k$-term progressions can have many shorter progressions
Published
• View Publication
• BIB
Let $f_{s,k}(n)$ be the maximum possible number of $s$-term arithmetic progressions in a sequence $a_1<a_2<\ldots<a_n$ of $n$ integers which contains no $k$-term arithmetic progression. For all integers $k > s \geq 3$, we prove that $$\lim_{n \to \infty} \frac{\log f_{s,k}(n)}{\log n} = 2,$$ which answers an old question of Erdős. In fact, we prove upper and lower bounds for $f_{s,k}(n)$ which show that its growth is closely related to the bounds in Szemerédi's theorem.
Jordan-Hölder with uniqueness for semimodular semilattices
We present a short proof of the Jordan-Hölder theorem with uniqueness for semimodular semilattice: Given two maximal chains in a semimodular semilattice of finite height, they both have the same length. Moreover there is a unique bijection that takes the prime intervals of the first chain to the prime intervals of the second chain such that the interval and its image are up-and-down projective.
The theorem generalizes the classical result that all composition series of a finite group have the same length and isomorphic factors. Moreover, it shows that the isomorphism is in some sense unique.
Optimization over Degree Sequences of Graphs
Published in Discrete Applied Mathematics, 296:2--8, 2021
• View Publication
• BIB
We consider the problem of finding a subgraph of a given graph minimizing the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already for bipartite graphs when the functions are convex on one side and concave on the other, we show that when all functions are convex, the problem can be solved in polynomial time for any graph. We also provide polynomial time solutions for bipartite graphs with one side fixed for arbitrary functions, and for arbitrary graphs when all but a fixed number of functions are either nondecreasing or nonincreasing. We note that the general factor problem and the (l,u)-factor problem over a graph are special cases of our problem, as well as the intriguing exact matching problem. The complexity of the problem remains widely open, particularly for arbitrary functions over complete graphs.
Cayley posets
Published
• View Publication
• BIB
We introduce Cayley posets as posets arising naturally from pairs $S<T$ of semigroups, much in the same way that Cayley graph arises from a (semi)group and a subset. We show that Cayley posets are a common generalization of several known classes of posets, e.g. posets of numerical semigroups (with torsion) and more generally affine semigroups. Furthermore, we give Sabidussi-type characterizations for Cayley posets and for several subclasses in terms of their endomorphism monoid. We show that large classes of posets are Cayley posets, e.g., series-parallel posets and (generalizations of) join-semilattices, but also provide examples of posets which cannot be represented this way. Finally, we characterize (locally finite, with a finite number of atoms) auto-equivalent posets - a class that generalizes a recently introduced notion for numerical semigroups - as those posets coming from a finitely generated submonoid of an abelian group.
Peripheral convex expansions of resonance graphs
Published
• View Publication
• BIB
In this paper, we show that the resonance graph of a plane elementary bipartite graph $G$ can be obtained from an edge by a sequence of peripheral convex expansions with respect to a reducible face decomposition of $G$ if and only if the infinite face of $G$ is forcing.
Simplicial Dollar Game
Published in The Electronic Journal of Combinatorics, Volume 29, Issue 2 (2022)
• View Publication
• BIB
The dollar game is a chip-firing game introduced by Baker and Norine (2007) as a context in which to formulate and prove the Riemann-Roch theorem for graphs. A divisor on a graph is a formal integer sum of vertices. Each determines a dollar game, the goal of which is to transform the given divisor into one that is effective (nonnegative) using chip-firing moves. We use Duval, Klivans, and Martin's theory of chip-firing on simplicial complexes to generalize the dollar game and results related to the Riemann-Roch theorem for graphs to higher dimensions. In particular, we extend the notion of the degree of a divisor on a graph to a (multi)degree of a chain on a simplicial complex and use it to establish two main results. The first of these is Theorem 18, generalizing the fact that if a divisor on a graph has large enough degree (at least as large as the genus of the graph), it is winnable; and the second is Corollary 34, generalizing the fact that trees (graphs of genus 0) are exactly the graphs on which every divisor of degree 0, interpreted as an instance of the dollar game, is winnable.
Simple homotopy types of independence complexes of graphs involving grid graphs
We show that if a graph $G$ involves a certain square grid graph as a full subgraph, then a certain operation on it yields a simplicial suspension of the independence complex of $G$. This generalizes a result of Csorba. As a corollary, we determine the simple homotopy types of the independence complexes of some grid graphs.
Tetravalent half-arc-transitive graphs with unbounded nonabelian vertex stabilizers
Published
• View Publication
• BIB
Half-arc-transitive graphs are a fascinating topic which connects graph theory, Riemann surfaces and group theory. Although fruitful results have been obtained over the last half a century, it is still challenging to construct half-arc-transitive graphs with prescribed vertex stabilizers. Until recently, there have been only six known connected tetravalent half-arc-transitive graphs with nonabelian vertex stabilizers, and the question whether there exists a connected tetravalent half-arc-transitive graph with nonabelian vertex stabilizer of order $2^s$ for every $s\geqslant3$ has been wide open. This question is answered in the affirmative in this paper via the construction of a connected tetravalent half-arc-transitive graph with vertex stabilizer $\mathrm{D}_8^2\times\mathrm{C}_2^m$ for each integer $m\geqslant1$, where $\mathrm{D}_8^2$ is the direct product of two copies of the dihedral group of order $8$ and $\mathrm{C}_2^m$ is the direct product of $m$ copies of the cyclic group of order $2$. The graphs constructed have surprisingly many significant properties in various contexts.
Mixing time and cutoff phenomenon for the interchange process on dumbbell graphs and the labelled exclusion process on the complete graph
We find the total variation mixing time of the interchange process on the dumbbell graph (two complete graphs, $K_n$ and $K_m$, connected by a single edge), and show that this sequence of chains exhibits the cutoff phenomenon precisely when the smaller size $m$ goes to infinity. The mixing time undergoes a phase transition at $m\asymp \sqrt{n}$. We also state a conjecture on when exactly cutoff holds for the interchange process on general graphs.
Our proofs use coupling methods, and they also give the mixing time of the simple exclusion process of $k$ labelled particles in the complete graph $K_n$, for any $k\leq n$, with cutoff, as conjectured by Lacoin and Leblond (2011). In particular, this is a new probabilistic proof for the mixing time of random transpositions, first established by Diaconis and Shahshahani (1981).
Graphs without two vertex-disjoint $S$-cycles
Published
• View Publication
• BIB
Lovász (1965) characterized graphs without two vertex-disjoint cycles, which implies that such graphs have at most three vertices hitting all cycles. In this paper, we ask whether such a small hitting set exists for $S$-cycles, when a graph has no two vertex-disjoint $S$-cycles. For a graph $G$ and a vertex set $S$ of $G$, an $S$-cycle is a cycle containing a vertex of $S$.
We provide an example $G$ on $21$ vertices where $G$ has no two vertex-disjoint $S$-cycles, but three vertices are not sufficient to hit all $S$-cycles. On the other hand, we show that four vertices are enough to hit all $S$-cycles whenever a graph has no two vertex-disjoint $S$-cycles.
Circle Graph Isomorphism in Almost Linear Time
Published
• View Publication
• BIB
Circle graphs are intersection graphs of chords of a circle. In this paper, we present a new algorithm for the circle graph isomorphism problem running in time $O((n+m)α(n+m))$ where $n$ is the number of vertices, $m$ is the number of edges and $α$ is the inverse Ackermann function. Our algorithm is based on the minimal split decomposition [Cunnigham, 1982] and uses the state-of-art circle graph recognition algorithm [Gioan, Paul, Tedder, Corneil, 2014] in the same running time. It improves the running time $O(nm)$ of the previous algorithm [Hsu, 1995] based on a similar approach.
Commutators, matrices and an identity of Copeland
Given two elements $a$ and $b$ of a noncommutative ring, we express $\left( ba\right)^n$ as a "row vector times matrix times column vector" product, where the matrix is the $n$-th power of a matrix with entries $\dbinom{i}{j}\operatorname{ad}_a^{i-j}\left( b\right)$. This generalizes a formula by Tom Copeland used in the study of Pascal-style matrices.
Wiener indices of maximal $k$-degenerate graphs
Published
• View Publication
• BIB
A graph is maximal $k$-degenerate if each induced subgraph has a vertex of degree at most $k$ and adding any new edge to the graph violates this condition. In this paper, we provide sharp lower and upper bounds on Wiener indices of maximal $k$-degenerate graphs of order $n \ge k \ge 1$. A graph is chordal if every induced cycle in the graph is a triangle and chordal maximal $k$-degenerate graphs of order $n \ge k$ are $k$-trees. For $k$-trees of order $n \ge 2k+2$, we characterize all extremal graphs for the upper bound.