Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Nowhere-zero 3-flows in nilpotently vertex-transitive graphs
Published
• View Publication
• BIB
We prove that every regular graph of valency at least four whose automorphism group contains a nilpotent subgroup acting transitively on the vertex set admits a nowhere-zero 3-flow.
On the probability of a Condorcet winner among a large number of alternatives
Consider $2k-1$ voters, each of which has a preference ranking between $n$ given alternatives. An alternative $A$ is called a Condorcet winner, if it wins against every other alternative $B$ in majority voting (meaning that for every other alternative $B$ there are at least $k$ voters who prefer $A$ over $B$). The notion of Condorcet winners has been studied intensively for many decades, yet some basic questions remain open. In this paper, we consider a model where each voter chooses their ranking randomly according to some probability distribution among all rankings. One may then ask about the probability to have a Condorcet winner with these randomly chosen rankings (which, of course, depends on $n$ and $k$, and the underlying probability distribution on the set of rankings). In the case of the uniform probability distribution over all rankings, which has received a lot of attention and is often referred to as the setting of an "impartial culture", we asymptotically determine the probability of having a Condorcet winner for a fixed number $2k-1$ of voters and $n$ alternatives with $n\to \infty$. This question has been open for around fifty years. While some authors suggested that the impartial culture should exhibit the lowest possible probability of having a Condorcet winner, in fact the probability can be much smaller for other distributions. We determine, for all values of $n$ and $k$, the smallest possible probability of having a Condorcet winner (and give an example of a probability distribution over all rankings which achieves this minimum possible probability).
Rainbow Turán Methods for Trees
The rainbow Turán number, a natural extension of the well studied traditional Turán number, was introduced in 2007 by Keevash, Mubayi, Sudakov and Verstraëte. The rainbow Turán number of a graph $H$, $ex^{*}(n,H)$, is the largest number of edges for an $n$ vertex graph $G$ which can be properly edge colored with no rainbow $H$ subgraph.
We explore the reduction method for finding upper bounds on rainbow Turán numbers, and use this to inform results for the rainbow Turán numbers of double stars, caterpillars, and perfect binary trees. In addition, we define $k$-unique colorings and the related $k$-unique Turán numbers. We provide preliminary results on this new variant on the classic problem.
Universality for monotone cellular automata
Published
• View Publication
• BIB
In this paper we study monotone cellular automata in $d$ dimensions. We develop a general method for bounding the growth of the infected set when the initial configuration is chosen randomly, and then use this method to prove a lower bound on the critical probability for percolation that is sharp up to a constant factor in the exponent for every 'critical' model. This is one of three papers that together confirm the Universality Conjecture of Bollobás, Duminil-Copin, Morris and Smith.
The critical length for growing a droplet
Published
• View Publication
• BIB
In many interacting particle systems, relaxation to equilibrium is thought to occur via the growth of 'droplets', and it is a question of fundamental importance to determine the critical length at which such droplets appear. In this paper we construct a mechanism for the growth of droplets in an arbitrary finite-range monotone cellular automaton on a $d$-dimensional lattice. Our main application is an upper bound on the critical probability for percolation that is sharp up to a constant factor in the exponent. Our method also provides several crucial tools that we expect to have applications to other interacting particle systems, such as kinetically constrained spin models on $\mathbb{Z}^d$.
This is one of three papers that together confirm the Universality Conjecture of Bollobás, Duminil-Copin, Morris and Smith.
When removing an independent set is optimal for reducing the chromatic number
Published in European Journal of Combinatorics Volume 115, January 2024, 103781
• View Publication
• BIB
How large must the chromatic number of a graph be, in terms of the graph's maximum degree, to ensure that the most efficient way to reduce the chromatic number by removing vertices is to remove an independent set? By a reduction to a powerful, known stability form of Brooks' theorem, we answer this question precisely, determining the threshold to within two values (and indeed sometimes a unique value) for graphs of sufficiently large maximum degree.
Let's reinvent subtraction
Subtraction is a powerful technique for creating new bijections from old. Let's reinvent it! While we're at it, let's reinvent division as well.
Cluster Algebras: Network Science and Machine Learning
Published in J.Comput.Algebra 8 (2023) 100008
• View Publication
• BIB
Cluster algebras have recently become an important player in mathematics and physics. In this work, we investigate them through the lens of modern data science, specifically with techniques from network science and machine learning. Network analysis methods are applied to the exchange graphs for cluster algebras of varying mutation types. The analysis indicates that when the graphs are represented without identifying by permutation equivalence between clusters an elegant symmetry emerges in the quiver exchange graph embedding. The ratio between number of seeds and number of quivers associated to this symmetry is computed for finite Dynkin type algebras up to rank 5, and conjectured for higher ranks. Simple machine learning techniques successfully learn to classify cluster algebras using the data of seeds. The learning performance exceeds 0.9 accuracies between algebras of the same mutation type and between types, as well as relative to artificially generated data.
Balanced Allocations in Batches: Simplified and Generalized
Published in Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2022), Pages 389--399
• View Publication
• BIB
We consider the allocation of $m$ balls (jobs) into $n$ bins (servers). In the Two-Choice process, for each of $m$ sequentially arriving balls, two randomly chosen bins are sampled and the ball is placed in the least loaded bin. It is well-known that the maximum load is $m/n+\log_2 \log n + O(1)$ w.h.p.
Berenbrink, Czumaj, Englert, Friedetzky and Nagel (2012) introduced a parallel version of this process, where $m$ balls arrive in consecutive batches of size $b=n$ each. Balls within the same batch are allocated in parallel, using the load information of the bins at the beginning of the batch. They proved that the gap of this process is $O(\log n)$ with high probability.
In this work, we present a new analysis of this setting, which is based on exponential potential functions. This allows us to both simplify and generalize the analysis of [BCE12] in different ways:
$\quad 1.$ Our analysis covers a broad class of processes. This includes not only Two-Choice, but also processes with fewer bin samples like $(1+β)$, processes which can only receive one bit of information from each bin sample and graphical allocation, where bins correspond to vertices in a graph.
$\quad 2.$ Balls may be of different weights, as long as their weights are independent samples from a distribution satisfying a technical condition on its moment generating function.
$\quad 3.$ For arbitrary batch sizes $b \geq n$, we prove a gap of $O(b/n \cdot \log n)$. For any $b \in [n , n^3]$, we improve this to $O(b/n + \log n)$ and show that it is tight for a family of processes. This implies the unexpected result that for e.g. $(1+β)$ with constant $β\in (0, 1]$, the gap is $Θ(\log n)$ for all $b \in [n,n \log n]$.
We also conduct experiments which support our theoretical results, and even hint at a superiority of less powerful processes like $(1+β)$ for large batch sizes.
Moduli of hybrid curves II: Tropical and hybrid Laplacians
The present paper is a sequel to our work on hybrid geometry of curves and their moduli spaces. We introduce a notion of hybrid Laplacian, formulate a hybrid Poisson equation, and give a mathematical meaning to the convergence both of the Laplace operator and the solutions to the Poisson equation on Riemann surfaces. As the main theorem of this paper, we then obtain a layered description of the asymptotics of Arakelov Green functions on Riemann surfaces close to the boundary of their moduli spaces. This is done in terms of a suitable notion of hybrid Green functions.
As a byproduct of our approach, we obtain other results of independent interest. In particular, we introduce higher rank canonical compactifications of fans and polyhedral spaces and use them to define the moduli space of higher rank tropical curves. Moreover, we develop the first steps of a function theory in higher rank non-Archimedean, hybrid, and tame analysis. Furthermore, we establish the convergence of the Laplace operator on metric graphs toward the tropical Laplace operator on limit tropical curves in the corresponding moduli spaces, leading to new perspectives in operator theory on metric graphs.
Our result on the Arakelov Green function is inspired by the works of several authors, in particular those of Faltings, de Jong, Wentworth and Wolpert, and solves a long-standing open problem arising from the Arakelov geometry of Riemann surfaces. The hybrid layered behavior close to the boundary of moduli spaces is expected to be a broad phenomenon and will be explored in our forthcoming work.
Threshold functions for incidence properties in finite vector spaces
Published
• View Publication
• BIB
The main purpose of this paper is to provide threshold functions for the events that a random subset of the points of a finite vector space has certain properties related to point-flat incidences. Specifically, we consider the events that there is an $\ell$-rich $m$-flat with regard to a random set of points in $\mathbb{F}_q^n$, the event that a random set of points is an $m$-blocking set, and the event that there is an incidence between a random set of points and a random set of $m$-flats. One of our key ingredients is a stronger version of a recent result obtained by Chen and Greenhill (2021).
A combinatorial view of stochastic processes: White noise
Published
• View Publication
• BIB
White noise is a fundamental and fairly well understood stochastic process that conforms the conceptual basis for many other processes, as well as for the modeling of time series. Here we push a fresh perspective toward white noise that, grounded on combinatorial considerations, contributes to give new interesting insights both for modelling and theoretical purposes. To this aim, we incorporate the ordinal pattern analysis approach which allows us to abstract a time series as a sequence of patterns and their associated permutations, and introduce a simple functional over permutations that partitions them into classes encoding their level of asymmetry. We compute the exact probability mass function (p.m.f.) of this functional over the symmetric group of degree $n$, thus providing the description for the case of an infinite white noise realization. This p.m.f. can be conveniently approximated by a continuous probability density from an exponential family, the Gaussian, hence providing natural sufficient statistics that render a convenient and simple statistical analysis through ordinal patterns. Such analysis is exemplified on experimental data for the spatial increments from tracks of gold nanoparticles in 3D diffusion.
A novel view: edge isoperimetric methods and reliability evaluation of several kinds of conditional edge-connectivity of interconnection networks
Published
• View Publication
• BIB
Reliability evaluation and fault tolerance of an interconnection network of some parallel and distributed systems are discussed separately under various link-faulty hypotheses in terms of different $\mathcal{P}$-conditional edge-connectivity. With the help of edge isoperimetric problem's method in combinatorics, this paper mainly offers a novel and unified view to investigate the $\mathcal{P}$-conditional edge-connectivities of hamming graph $K_{L}^{n}$ with satisfying the property that each minimum $\mathcal{P}$-conditional edge-cut separates the $K_{L}^{n}$ just into two components, such as $L^{t}$-extra edge-connectivity, $t$-embedded edge-connectivity, cyclic edge-connectivity, $(L-1)t$-super edge-connectivity, $(L-1)t$-average edge-connectivity and $L^{t}$-th isoperimetric edge-connectivity. They share the same values in form of $(L-1)(n-t)L^{t}$ (except for cyclic edge-connectivity), which equals to the minimum number of links-faulty resulting in an $L$-ary-$n$-dimensional sub-layer from $K_{L}^{n}$. Besides, we also obtain the exact values of $h$-extra edge-connectivity and $h$-th isoperimetric edge-connectivity of hamming graph $K_{L}^{n}$ for each $h\leq L^{\lfloor {\frac{n}{2}} \rfloor}$. For the case $L=2$, $K_2^n=Q_n$ is $n$-dimensional hypercube. Our results can be applied to more generalized class of networks, called $n$-dim-ensional bijective connection networks, which contains hypercubes, twisted cubes, crossed cubes, Möbius cubes, locally twisted cubes and so on. Our results improve several previous results on this topic.
The expected values and limiting behaviours for the Gutman index, Schultz index, multiplicative degree-Kirchhoff index and additive degree-kirchhoff index of a random cyclooctane chain
In this paper, we first introduce the explicit analytical formulas for the expected values of the Gutman and Schultz indices for a random cyclooctane chain COCn. Meanwhile, the explicit formulas of the variances of the Gutman and Schultz indices for a random cyclooctane chain are determined and we prove these two indices are asymptotically subject to normal distribution. Furthermore, we are surprised to find the variances of Kf*(COCn) and Kf+(COCn) for a random cyclooctane chain based on the known results of others' paper and they are asymptotically subject to normal distribution.
A Note on the Gessel Numbers
The Gessel number $P(n,r)$ represents the number of lattice paths in a plane with unit horizontal and vertical steps from $(0,0)$ to $(n+r,n+r-1)$ that never touch any of the points from the set $\{(x,x)\in \mathbb{Z}^2: x \geq r\}$. In this paper, we use combinatorial arguments to derive a recurrence relation between $P(n,r)$ and $P(n-1,r+1)$. Also, we give a new proof for a well-known closed formula for $P(n,r)$. Moreover, a new combinatorial interpretation for the Gessel numbers is presented.
LS Algebras, Valuations and Schubert Varieties
Published in Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. 33 (2022), no. 4, pp. 925--957
• Search Publication
In this paper, we propose an algebraic approach via Lakshmibai-Seshadri (LS) algebras to establish a link between standard monomial theories, Newton-Okounkov bodies and valuations. This is applied to Schubert varieties, where this approach is compatible with the one using Seshadri stratifications by the same authors (arXiv:2112.03776), showing that LS paths encode vanishing multiplicities with respect to the web of Schubert varieties.
Game semantics of universes
This work extends the present author's computational game semantics of Martin-Löf type theory to the cumulative hierarchy of universes. This extension completes game semantics of all standard types of Martin-Löf type theory for the first time in the 30 years history of modern game semantics. As a result, the powerful combinatorial reasoning of game semantics becomes available for the study of universes and types generated by them. A main challenge in achieving game semantics of universes comes from a conflict between identity types and universes: Naive game semantics of the encoding of an identity type by a universe induces a decision procedure on the equality between functions, a contradiction to a well-known fact in recursion theory. We overcome this problem by novel games for universes that encode games for identity types without deciding the equality.
On the Binary and Boolean Rank of Regular Matrices
Published
• View Publication
• BIB
A $0,1$ matrix is said to be regular if all of its rows and columns have the same number of ones. We prove that for infinitely many integers $k$, there exists a square regular $0,1$ matrix with binary rank $k$, such that the Boolean rank of its complement is $k^{\widetildeΩ(\log k)}$. Equivalently, the ones in the matrix can be partitioned into $k$ combinatorial rectangles, whereas the number of rectangles needed for any cover of its zeros is $k^{\widetildeΩ(\log k)}$. This settles, in a strong form, a question of Pullman (Linear Algebra Appl., 1988) and a conjecture of Hefner, Henson, Lundgren, and Maybee (Congr. Numer., 1990). The result can be viewed as a regular analogue of a recent result of Balodis, Ben-David, Göös, Jain, and Kothari (FOCS, 2021), motivated by the clique vs. independent set problem in communication complexity and by the (disproved) Alon-Saks-Seymour conjecture in graph theory. As an application of the produced regular matrices, we obtain regular counterexamples to the Alon-Saks-Seymour conjecture and prove that for infinitely many integers $k$, there exists a regular graph with biclique partition number $k$ and chromatic number $k^{\widetildeΩ(\log k)}$.
A GL-Equivariant Complex Inducing Character Identities for Schur Modules
In this paper we construct a GL-equivariant complex of Schur modules over a ring of positive characteristic that can be used to deduce classical alternating sum identities for Schur polynomials. This complex globalizes to a complex of vector bundles and can also be used to give an explicit construction of an exact sequence predicted by work of Grayson involving Adams operations identities on the algebraic K-theory of a given scheme $X$. The more general complex gives an explicit construction that reproves the aforementioned Adams operations identities in full generality.
Geometric Dominating Sets
Published in Comp. Geom. Theory & Applications 108: 101913, 2023
• View Publication
• BIB
We consider a minimizing variant of the well-known \emph{No-Three-In-Line Problem}, the \emph{Geometric Dominating Set Problem}: What is the smallest number of points in an $n\times n$~grid such that every grid point lies on a common line with two of the points in the set? We show a lower bound of $Ω(n^{2/3})$ points and provide a constructive upper bound of size $2 \lceil n/2 \rceil$. If the points of the dominating sets are required to be in general position we provide optimal solutions for grids of size up to $12 \times 12$. For arbitrary $n$ the currently best upper bound for points in general position remains the obvious $2n$. Finally, we discuss the problem on the discrete torus where we prove an upper bound of $O((n \log n)^{1/2})$. For $n$ even or a multiple of 3, we can even show a constant upper bound of 4. We also mention a number of open questions and some further variations of the problem.