natural ↗ reference
4897 papers tagged with this keyword
A symmetric multivariate Elekes-Rónyai theorem
We consider a polynomial $P\in \mathbb{R}[x_{1},\cdots, x_{d}]$ of degree $ δ$ that depends non-trivially on each of $x_1,...,x_d$ with $d\geq 2$. For any integer $t$ with $2\leq t\leq d$, any natural number $n \in \mathbb{N}$, and any finite set $A \subset \mathbb{R}$ of size $n$, our first result shows that \[ |P(A, A, \dots, A)| \gg_δ n^{\frac{3}{2} - \frac{1}{2^{d-t+2}}}, \] unless \begin{align*}
&P(x_1, x_2, \dots, x_d) = f\big( u_1(x_1) + u_2(x_2) + \cdots + u_d(x_d) \big) \quad \text{or }
&P(x_1, x_2, \dots, x_d) = f\big( v_1(x_1) v_2(x_2) \cdots v_d(x_d) \big), \end{align*} where $f$, $u_i$, and $v_i$ are nonconstant univariate polynomials over $\mathbb{R}$, and there exists an index subset $I \subseteq [d]$ with $|I| = t$ such that for any $i, j \in I$, we have $u_i = λ_{ij} u_j$ (in the additive case) or $|v_i|= |v_j|^{κ_{ij}}$ (in the multiplicative case) for some constants $λ_{ij}\in \mathbb{R}^{\neq 0},κ_{ij}\in\mathbb{Q}^{+}$. This result generalizes the symmetric Elekes-Rónyai theorem proved by Jing, Roy, and Tran. Our second result is a generalized Erdős-Szemerédi theorem for two polynomials in higher dimensions, generalizing another theorem by Jing, Roy, and Tran. A key ingredient in our proofs is a variation of a theorem by Elekes, Nathanson, and Ruzsa.
A Graph Minors Approach to Temporal Sequences
Published
• View Publication
• BIB
We develop a structural approach to simultaneous embeddability in temporal sequences of graphs, inspired by graph minor theory. Our main result is a classification theorem for 2-connected temporal sequences: we identify five obstruction classes and show that every 2-connected temporal sequence is either simultaneously embeddable or admits a sequence of improvements leading to an obstruction. This structural insight leads to a polynomial-time algorithm for deciding the simultaneous embeddability of 2-connected temporal sequences.
The restriction to 2-connected sequences is necessary, as the problem is NP-hard for connected graphs, while trivial for 3-connected graphs. As a consequence, our framework also resolves the rooted-tree SEFE problem, a natural extension of the well-studied sunflower SEFE. More broadly, our results demonstrate the applicability of graph minor techniques to evolving graph structures and provide a foundation for future algorithmic and structural investigations in temporal graph theory.
Causal Models for Growing Networks
Real-world networks grow over time; statistical models based on node exchangeability are not appropriate. Instead of constraining the structure of the \textit{distribution} of edges, we propose that the relevant symmetries refer to the \textit{causal structure} between them. We first enumerate the 96 causal directed acyclic graph (DAG) models over pairs of nodes (dyad variables) in a growing network with finite ancestral sets that are invariant to node deletion. We then partition them into 21 classes with ancestral sets that are closed under node marginalization. Several of these classes are remarkably amenable to distributed and asynchronous evaluation. As an example, we highlight a simple model that exhibits flexible power-law degree distributions and emergent phase transitions in sparsity, which we characterize analytically. With few parameters and much conditional independence, our proposed framework provides natural baseline models for causal inference in relational data.
On Cameron's Greedy Conjecture
A base for a permutation group $G$ acting on a set $Ω$ is a subset $\mathcal{B}$ of $Ω$ whose pointwise stabiliser $G_{(\mathcal{B})}$ is trivial. There is a natural greedy algorithm for constructing a base of relatively small size. We write $\mathcal{G}(G)$ the maximum size of a base it produces, and $b(G)$ for the size of the smallest base for $G$. In 1999, Peter Cameron conjectured that there exists an absolute constant $c$ such that every finite primitive group $G$ satisfies $\mathcal{G}(G)\leq cb(G)$. We show that if $G$ is $\mathrm{S}_n$ or $\mathrm{A}_n$ acting primitively then either Cameron's Greedy Conjecture holds for $G$, or $G$ falls into one class of possible exceptions.
Preparing graph states forbidding a vertex-minor
Measurement based quantum computing is preformed by adding non-Clifford measurements to a prepared stabilizer states. Entangling gates like CZ are likely to have lower fidelities due to the nature of interacting qubits, so when preparing a stabilizer state, we wish to minimize the number of required entangling states. This naturally introduces the notion of CZ-distance.
Every stabilizer state is local-Clifford equivalent to a graph state, so we may focus on graph states $\left\vert G \right\rangle$. As a lower bound for general graphs, there exist $n$-vertex graphs $G$ such that the CZ-distance of $\left\vert G \right\rangle$ is $Ω(n^2 / \log n)$. We obtain significantly improved bounds when $G$ is contained within certain proper classes of graphs. For instance, we prove that if $G$ is a $n$-vertex circle graph with clique number $ω$, then $\left\vert G \right\rangle$ has CZ-distance at most $4n \log ω+ 7n$. We prove that if $G$ is an $n$-vertex graph of rank-width at most $k$, then $\left\vert G \right\rangle$ has CZ-distance at most $(2^{2^{k+1}} + 1) n$. More generally, this is obtained via a bound of $(k+2)n$ that we prove for graphs of twin-width at most $k$.
We also study how bounded-rank perturbations and low-rank cuts affect the CZ-distance. As a consequence, we prove that Geelen's Weak Structural Conjecture for vertex-minors implies that if $G$ is an $n$-vertex graph contained in some fixed proper vertex-minor-closed class of graphs, then $\left\vert G \right\rangle$ has CZ-distance at most $O(n\log n)$. Since graph states of locally equivalent graphs are local Clifford equivalent, proper vertex-minor-closed classes of graphs are natural and very general in this setting.
Steiner triple systems with high discrepancy
Published
• View Publication
• BIB
In this paper, we initiate the study of discrepancy questions for combinatorial designs. Specifically, we show that, for every fixed $r\ge 3$ and $n\equiv 1,3 \pmod{6}$, any $r$-colouring of the triples on $[n]$ admits a Steiner triple system of order $n$ with discrepancy $Ω(n^2)$. This is not true for $r=2$, but we are able to asymptotically characterise all $2$-colourings which do not contain a Steiner triple system with high discrepancy. The key step in our proofs is a characterization of 3-uniform hypergraphs avoiding a certain natural type of induced subgraphs, contributing to the structural theory of hypergraphs.
Valid Cuts for the Design of Potential-based Flow Networks
The construction of a cost minimal network for flows obeying physical laws is an important problem for the design of electricity, water, hydrogen, and natural gas infrastructures. We formulate this problem as a mixed-integer non-linear program with potential-based flows. The non-convexity of the constraints stemming from the potential-based flow model together with the binary variables indicating the decision to build a connection make these programs challenging to solve. We develop a novel class of valid inequalities on the fractional relaxations of the binary variables. Further, we show that this class of inequalities can be separated in polynomial time for solutions to a fractional relaxation. This makes it possible to incorporate these inequalities into a branch-and-cut framework. The advantage of these inequalities is lastly demonstrated in a computational study on the design of real-world gas transport networks.
Graphs generated from minimal sets of finite point-set topologies
In 1985, Golumbic and Scheinerman established an equivalence between comparability graphs and containment graphs, graphs whose vertices represent sets, with edges indicating set containment. A few years earlier, McMorris and Zaslavsky characterized upper bound graphs, those derived from partially ordered sets where two elements share an edge if they have a common upper bound, by a specific edge clique cover condition. In this paper, we introduce a unifying framework for these results using finite point set topologies. Given a finite topology, we define a graph whose vertices correspond to its elements, with edges determined by intersections of their minimal containing sets, where intersection is understood in terms of the topological separation axioms. This construction yields a natural sequence of graph classes, one for each separation axiom, that connects and extends both classical results in a structured and intuitive way.
Topological Structures of Sets and their Subsets
For real application and theoretical investigation of ordinary hypergraphs and non-ordinary hypergraphs, researchers need to establish standard rules and feasible operating methods. We propose a visualization tool for investigating hypergraphs by means of the natural topological structure of finite sets and their subsets, so we are able to construct various non-ordinary hypergraphs, and to reveal topological properties (such as hamiltonian cycles, maximal planar graphs), colorings, connectivity, hypergraph group, isomorphism and homomorphism of hypergraphs.
Fibonacci-like partitions and their associated piecewise-defined permutations
Published
• View Publication
• BIB
In this paper we introduce a family of partitions of the set of natural numbers, Fibonacci-like partitions. In particular, we introduce a Fibonacci-like partition in a number of parts corresponding to the Fibonacci numbers, the standard Fibonacci-like partitions of the first kind. That partition refines the well-known partition in two parts associated to the Wythoff sequences. In a similar way, we introduce another family of Fibonacci-like partitions of the natural numbers, with an initial segment removed, in a number of parts which also follows the Fibonacci sequence, the standard Fibonacci-like partitions of the second kind.
We study some piecewise-defined permutations over Fibonacci-like partitions, which give both torsion-free and torsion elements in the symmetric group over the set of natural numbers. We give an application of Fibonacci-like partitions to the study of a sequence analyzed by A. Shapovalov and by B.J. Venkatachala. We give also a generalization of the mentioned sequence, involving techniques that are not related to Fibbonaci numbers nor Beatty sequences, obtaining an infinite family of sequences that we conjecture that produce an infinite orthogonal array in which the number of symbols, trials and factors is countable infinite, and having an automorphism group isomorphic to Z acting regularly on the symbol set.
On the global dimension of Nakayama algebras
We study the global dimension of Nakayama algebras. In the case of linear Nakayama algebras, which are in canonical bijection to Dyck paths, we show that the global dimension has the same distribution as the height of Dyck paths. For cyclic Nakayama algebras an explicit classification of finite global dimension is not known. However, we show that in certain special cases cyclic Nakayama algebras with finite global dimension can again be interpreted as Dyck paths. In particular, we show that there is a natural bijection between sincere Nakayama algebras and Dyck paths. In this case, we find that the global dimension is in fact twice the bounce count of the corresponding Dyck path.
On the sampling entropy of permutons
Published
• View Publication
• BIB
For a permuton $μ$ let $H_n(μ)$ denote the Shannon entropy of the sampling distribution of $μ$ on $n$ points. We investigate the asymptotic growth of $H_n(μ)$ for a wide class of permutons.
We prove that if $μ$ has a non-vanishing absolutely continuous part, then $H_n(μ)$ has a growth rate $Θ(n \log n)$. We show that if $μ$ is the graph of a piecewise continuously differentiable, measure-preserving function $f$, then $H_n(μ)/n$ tends to the Kolmogorov--Sinai entropy of $f$. Using genericity arguments, we also prove the existence of function permutons for which $H_n(μ)$ does not converge either after normalizing by $n$ or by $n\log n$.
We study the sampling entropy of a natural family of random fractal-like permutons determined by a sequence of i.i.d. choices. It turns out that for every $n$, $H_n(μ)/n$ is heavily concentrated. We prove that the sequence $H_n(μ)/n$ either converges or has deterministic log-periodic oscillations almost surely, and argue towards the conjecture that in nondegenerate case, oscillation holds. On the other hand, for a straightforward random perturbation of the model $\tildeμ$ of $μ$, we prove the almost sure convergence of $H_n(\tildeμ)/n$.
The Wiener index of vertex colorings
The Wiener index of a vertex coloring of a graph is defined to be the sum of all pairwise geodesic distances between vertices of the same color. We provide characterizations of vertex colorings of paths and cycles whose Wiener index is as large as possible over various natural collections. Along the way we establish a connection between the majorization order on tuples of integers and the Wiener index of vertex colorings on paths and cycles.
Congruences on posets, relatively pseudocomplemented and Boolean posets
Published
• View Publication
• BIB
The aim of the present paper is to extend the concept of a congruence from lattices to posets. We use an approach different from that used by the first author and V. Snášel. By using our definition we show that congruence classes are convex. If the poset in question satisfies the Ascending Chain Condition as well as the Descending Chain Condition, then these classes turn out to be intervals. If the poset has a top element 1 then the 1-class of every congruence is a so-called strong filter. We study congruences on relatively pseudocomplemented posets which form a formalization of intuitionistic logic. For such posets we define so-called deductive systems and we show how they are connected with congruence kernels. We prove that every strong filter F of a relatively pseudocomplemented poset induces a congruence having F as its kernel. Finally, we consider Boolean posets which form a natural generalization of Boolean algebras. We show that congruences on Boolean posets in general do not share properties known from Boolean algebras, but congruence kernels of Boolean posets still have some interesting properties.
Maximal Entropy Random Walks in Z: Random and non-random environments
Published
• View Publication
• BIB
The Maximal Entropy Random Walk (MERW) is a natural process on a finite graph, introduced a few years ago with motivations from theoretical physics. The construction of this process relies on Perron-Frobenius theory for adjacency matrices. Generalizing to infinite graphs is rather delicate, and in this article, we treat in a fairly exhaustive manner the case of the MERW on Z with loops, for both random and nonrandom loops. Thanks to an explicit combinatorial representation of the corresponding Perron-Frobenius eigenvectors, we are able to precisely determine the asymptotic behavior of these walks. We show, in particular, that essentially all MERWs on Z with loops have positive speed.
Intersecting hypergraphs with large cover number
In their famous 1974 paper introducing the local lemma, Erdős and Lovász posed a question-later referred by Erdős as one of his three favorite open problems: What is the minimum number of edges in an $r$-uniform, intersecting hypergraph with cover number $r$? This question was solved up to a constant factor in Kahn's remarkable 1994 paper. More recently, motivated by applications to Bollobás' ''power of many colours'' problem, Alon, Bucić, Christoph, and Krivelevich introduced a natural generalization by imposing a space constraint that limits the hypergraph to use only $n$ vertices. In this note we settle this question asymptotically, up to a logarithmic factor in $n/r$ in the exponent, for the entire range.
Connected Partitions via Connected Dominating Sets
The classical theorem due to Győri and Lovász states that any $k$-connected graph $G$ admits a partition into $k$ connected subgraphs, where each subgraph has a prescribed size and contains a prescribed vertex, as long as the total size of target subgraphs is equal to the size of $G$. However, this result is notoriously evasive in terms of efficient constructions, and it is still unknown whether such a partition can be computed in polynomial time, even for $k = 5$.
We make progress towards an efficient constructive version of the Győri--Lovász theorem by considering a natural strengthening of the $k$-connectivity requirement. Specifically, we show that the desired connected partition can be found in polynomial time, if $G$ contains $k$ disjoint connected dominating sets. As a consequence of this result, we give several efficient approximate and exact constructive versions of the original Győri--Lovász theorem:
1. On general graphs, a Győri--Lovász partition with $k$ parts can be computed in polynomial time when the input graph has connectivity $Ω(k \cdot \log^2 n)$;
2. On convex bipartite graphs, connectivity of $4k$ is sufficient;
3. On biconvex graphs and interval graphs, connectivity of $k$ is sufficient, meaning that our algorithm gives a ``true'' constructive version of the theorem on these graph classes.
Wavefunction coefficients from Amplitubes
Published
• View Publication
• BIB
Given a graph its set of connected subgraphs (tubes) can be defined in two ways: either by considering subsets of edges, or by considering subsets of vertices. We refer to these as binary tubes and unary tubes respectively. Both notions come with a natural compatibility condition between tubes which differ by a simple adjacency constraint. Compatible sets of tubes are refered to as tubings. By considering the set of binary tubes, and summing over all maximal binary-tubings, one is lead to an expression for the flat space wavefunction coefficients relevant for computing cosmological correlators. On the other hand, considering the set of unary tubes, and summing over all maximal unary-tubings, one is lead to expressions recently referred to as amplitubes which resemble the scattering amplitudes of $\text{tr}(φ^3)$ theory. In this paper we study the two definitions of tubing in order to provide a new formula for the flat space wavefunction coefficient for a single graph as a sum over products of amplitubes. Motivated by our rewriting of the wavefunction coefficient we introduce a new definition of tubing which makes use of both the binary and unary tubes which we refer to as cut tubings. We explain how each cut tubing induces a decorated orientation of the underlying graph satisfying an acyclic condition and demonstrate how the set of all acyclic decorated orientations for a given graph count the number of basis functions appearing in the kinematic flow.
Expansion in Distance Matrices
The normalized distance Laplacian matrix $\mathcal{D}^{\mathcal{L}}(G)$ of a graph $G$ is a natural generalization of the normalized Laplacian matrix, arising from the matrix of pairwise distances between vertices rather than the adjacency matrix. Following the motif that this matrix behaves quite differently to the normalized Laplacian matrix, we show that both the spectral gap and Cheeger constant of $\mathcal{D}^{\mathcal{L}}(G)$ are bounded away from $0$ independently of the graph $G$. The spectral result holds more generally for finite metric spaces.
Ramsey's witnesses
We introduce the notion of Ramsey partition regularity, a generalisation of partition regularity involving infinitary configurations. We provide characterisations of this notion in terms of certain ultrafilters related to tensor products and dubbed Ramsey's witnesses; and we also consider their nonstandard counterparts as pairs of hypernatural numbers, called Ramsey pairs. These characterisations are then used to determine whether various configurations involving polynomials and exponentials are Ramsey partition regular over the natural numbers.