Showing 20 papers (Total: 84460 papers, 48641 authors in database)
List Ramsey numbers
Published
• View Publication
• BIB
We introduce the list colouring extension of classical Ramsey numbers. We investigate when the two Ramsey numbers are equal, and in general, how far apart they can be from each other. We find graph sequences where the two are equal and where they are far apart. For $\ell$-uniform cliques we prove that the list Ramsey number is bounded by an exponential function, while it is well-known that the Ramsey number is super-exponential for uniformity at least $3$. This is in great contrast to the graph case where we cannot even decide the question of equality for cliques.
How does information affect asymmetric congestion games?
We study traffic networks with multiple origin-destination pairs, relaxing the simplifying assumption of agents having complete knowledge of the network structure. We identify a ubiquitous class of networks, i.e., rings, for which we can safely increase the agents' knowledge without affecting their own overall performance -- known as immunity to Informational Braess' Paradox -- closing a gap in the literature. We also extend our performance measure to include the welfare of all agents, showing that under this measure IBP is a widespread phenomenon and no network is immune to it.
On the bi-Lipschitz geometry of lamplighter graphs
Published
• View Publication
• BIB
In this article we start a systematic study of the bi-Lipschitz geometry of lamplighter graphs. We prove that lamplighter graphs over trees bi-Lipschitzly embed into Hamming cubes with distortion at most~$6$. It follows that lamplighter graphs over countable trees bi-Lipschitzly embed into $\ell_1$. We study the metric behaviour of the operation of taking the lamplighter graph over the vertex-coalescence of two graphs. Based on this analysis, we provide metric characterizations of superreflexivity in terms of lamplighter graphs over star graphs or rose graphs. Finally, we show that the presence of a clique in a graph implies the presence of a Hamming cube in the lamplighter graph over it. An application is a characterization in terms of a sequence of graphs with uniformly bounded degree of the notion of trivial Bourgain-Milman-Wolfson type for arbitrary metric spaces, similar to Ostrovskii's characterization previously obtained in \cite{ostrovskii:11}.
The Templates for Some Classes of Quaternary Matroids
Published in Journal of Combinatorial Theory, Series B 146 (2021), 286-363
• View Publication
• BIB
Subject to hypotheses based on the matroid structure theory of Geelen, Gerards, and Whittle, we completely characterize the highly connected members of the class of golden-mean matroids and several other closely related classes of quaternary matroids. This leads to a determination of the eventual extremal functions for these classes. One of the main tools for obtaining these results is the notion of a frame template. Consequently, we also study frame templates in significant depth.
Cubillages of cyclic zonotopes
Published
• View Publication
• BIB
This paper (written in Russian) presents a survey of new and earlier results on fine zonotopal tilings (briefly, cubillages) of cyclic zonotopes. The combinatorial theory of these objects is of interest in its own right and also has a connection to higher Bruhat orders, triangulations of cyclic polytopes, and Tamari-Stasheff posets applied in the study of Kadomtsev--Petviashvily equations, and etc.
Nucleation during phase transitions in random networks
We analyze the 3-parameter family of random networks which are uniform on networks with fixed number of edges, triangles, and nodes (between 33 and 66). We find precursors of phase transitions which are known to be present in the asymptotic node regime as the edge and triangle numbers are varied, and focus on one of the discontinuous ones. By use of a natural edge flip dynamics we determine nucleation barriers as a random network crosses the transition, in analogy to the process a material undergoes when frozen or melted, and characterize some of the stochastic properties of the network nucleation.
Tropical quantum field theory, mirror polyvector fields, and multiplicities of tropical curves
Published
• View Publication
• BIB
We introduce algebraic structures on the polyvector fields of an algebraic torus that serve to compute multiplicities in tropical and log Gromov-Witten theory while also connecting to the mirror symmetry dual deformation theory of complex structures. Most notably these structures include a tropical quantum field theory and an $L_{\infty}$-structure. The latter is an instance of Getzler's gravity algebra, and the $l_2$-bracket is a restriction of the Schouten-Nijenhuis bracket. We explain the relationship to string topology in the appendix (thanks to Janko Latschev).
Stability in a group
Published in Groups, Geometry, and Dynamics 15 (2021) no. 4, 1297-1330
• View Publication
• BIB
We develop local stable group theory directly from topological dynamics, and extend the main results in this subject to the setting of stability "in a model". Specifically, given a group $G$, we analyze the structure of sets $A\subseteq G$ such that the bipartite relation $xy\in A$ omits infinite half-graphs. Our proofs rely on the characterization of stability via Grothendieck's "double-limit" theorem (as shown by Ben Yaacov), and the work of Ellis and Nerurkar on weakly almost periodic $G$-flows.
Dominator Colorings of Digraphs
This paper serves as the first extension of the topic of dominator colorings of graphs to the setting of digraphs. We establish the dominator chromatic number over all possible orientations of paths and cycles. In this endeavor we discover that there are infinitely many counterexamples of a graph and subgraph pair for which the subgraph has a larger dominator chromatic number than the larger graph into which it embeds. Finally, a new graph invariant measuring the difference between the dominator chromatic number of a graph and the chromatic number of that graph is established and studied. The paper concludes with some of the possible avenues for extending this line of research.
Minuscule doppelgängers, the coincidental down-degree expectations property, and rowmotion
Published in Experimental Mathematics, 31(3), 2022
• View Publication
• BIB
We relate Reiner, Tenner, and Yong's coincidental down-degree expectations (CDE) property of posets to the minuscule doppelgänger pairs studied by Hamaker, Patrias, Pechenik, and Williams. Via this relation, we put forward a series of conjectures which suggest that the minuscule doppelgänger pairs behave "as if" they had isomorphic comparability graphs, even though they do not. We further explore the idea of minuscule doppelgänger pairs pretending to have isomorphic comparability graphs by considering the rowmotion operator on order ideals. We conjecture that the members of a minuscule doppelgänger pair behave the same way under rowmotion, as they would if they had isomorphic comparability graphs. Moreover, we conjecture that these pairs continue to behave the same way under the piecewise-linear and birational liftings of rowmotion introduced by Einstein and Propp. This conjecture motivates us to study the homomesies (in the sense of Propp and Roby) exhibited by birational rowmotion. We establish the birational analog of the antichain cardinality homomesy for the major examples of posets known or conjectured to have finite birational rowmotion order (namely: minuscule posets and root posets of coincidental type).
Characteristic elements for real hyperplane arrangements
Characteristic elements of the Tits algebra of a real hyperplane arrangement carry information about the characteristic polynomial. We present this notion and its basic properties, and apply it to derive various results about the characteristic polynomial of an arrangement, from Zaslavsky's formulas to more recent results of Kung and of Klivans and Swartz. We construct several examples of characteristic elements, including one in terms of intrinsic volumes of faces of the arrangement.
Fourier and Circulant Matrices are Not Rigid
The concept of matrix rigidity was first introduced by Valiant in 1977. Roughly speaking, a matrix is rigid if its rank cannot be reduced significantly by changing a small number of entries. There has been extensive interest in rigid matrices as Valiant showed in his MFCS'77 paper that rigidity can be used to prove arithmetic circuit lower bounds.
In a surprising result, Alman and Williams (FOCS'19) showed that the (real valued) Hadamard matrix, which was conjectured to be rigid, is actually not very rigid. This line of work was extended by Dvir and Edelman (\emph{Theory of Computing}, 2019) to a family of matrices related to the Hadamard matrix, but over finite fields. In our work, we take another step in this direction and show that for any abelian group $G$ and function $f:G \rightarrow \mathbb{C}$, the matrix given by $M_{xy} = f(x - y)$ for $x,y \in G$ is not rigid. In particular, we get that complex valued Fourier matrices, circulant matrices, and Toeplitz matrices are all not rigid and cannot be used to carry out Valiant's approach to proving circuit lower bounds. Our results also hold when we consider matrices over a fixed finite field instead of the complex numbers. This complements a recent result of Goldreich and Tal (\emph{Comp. Complexity}, 2018) who showed that Toeplitz matrices are nontrivially rigid (but not enough for Valiant's method). Our work differs from previous non-rigidity results in that those works considered matrices whose underlying group of symmetries was of the form $\mathbb{F}_p^n$ with $p$ fixed and $n$ tending to infinity, while in the families of matrices we study, the underlying group of symmetries can be any abelian group and, in particular, the cyclic group $\mathbb{Z}_N$, which has very different structure. Our results also suggest natural new candidates for rigidity in the form of matrices whose symmetry groups are highly non-abelian.
A Tight Lower Bound for Non-coherent Index Erasure
Published
• View Publication
• BIB
The Index-Erasure problem is a quantum state generation problem that asks a quantum computer to prepare a uniform superposition over the image of an injective function given by an oracle. We prove a tight $Ω(\sqrt{n})$ lower bound on the quantum query complexity of the non-coherent case of the problem, where, in addition to preparing the required superposition, the algorithm is allowed to leave the ancillary memory in an arbitrary function-dependent state. This resolves an open question of Ambainis et al., who gave a tight bound for the coherent case, the case where the ancillary memory must return to its initial state.
To prove our main result, we first extend the automorphism principle of Høyer et al. to the general adversary method of Lee et al. for state generation problems, which allows one to exploit the symmetries of these problems to lower bound their quantum query complexity. Using this method, we establish a strong connection between the quantum query complexity of non-coherent symmetric state generation problems and the Krein parameters of an association scheme defined on injective functions. In particular, we use the spherical harmonics a finite symmetric Gelfand pair associated with the space of injective functions to obtain asymptotic bounds on certain Krein parameters, from which the main result follows.
Faithful subgraphs and Hamiltonian circles of infinite graphs
A circle of an infinite locally finite graph $G$ is the imagine of a homeomorphic mapping of the unit circle $S^1$ in $|G|$, the Freudenthal compactification of $G$. A circle of $G$ is Hamiltonian if it meets every vertex (and then every end) of $G$. In this paper, we study a method for finding Hamiltonian circles of graphs. We illustrate this by extending several results on finite graphs to Hamiltonian circles in infinite graphs. For example, we prove that the prism of every 3-connected cubic graph has a Hamiltonian circle, extending the result of the finite case by Paulraja.
Hamiltonicity of bi-power of bipartite graphs, for finite and infinite cases
For a graph $G$, the $t$-th power $G^t$ is the graph on $V(G)$ such that two vertices are adjacent if and only if they have distance at most $t$ in $G$; and the $t$-th bi-power $G_B^t$ is the graph on $V(G)$ such that two vertices are adjacent if and only if their distance in $G$ is odd at most $t$. Fleischner's theorem states that the square of every 2-connected finite graph has a Hamiltonian cycle. Georgakopoulos prove that the square of every 2-connected infinite locally finite graph has a Hamiltonian circle. In this paper, we consider the Hamiltonicity of the bi-power of bipartite graphs. We show that for every connected finite bipartite graph $G$ with a perfect matching, $G_B^3$ has a Hamiltonian cycle. We also show that if $G$ is a connected infinite locally finite bipartite graph with a perfect matching, then $G_B^3$ has a Hamiltonian circle.
Curves on surfaces and surgeries
We study collections of curves in generic position on a closed surface whose complement consists of one disk only, up to orientation-preserving homeomorphism of the surface. We define a surgery operation on the set of such collections and prove that any two of them can be connected by a sequence of such surgeries.
Information-theoretic lower bounds for quantum sorting
We analyze the quantum query complexity of sorting under partial information. In this problem, we are given a partially ordered set $P$ and are asked to identify a linear extension of $P$ using pairwise comparisons. For the standard sorting problem, in which $P$ is empty, it is known that the quantum query complexity is not asymptotically smaller than the classical information-theoretic lower bound. We prove that this holds for a wide class of partially ordered sets, thereby improving on a result from Yao (STOC'04).
The Arctic curve for Aztec rectangles with defects via the Tangent Method
Published in J Stat Phys 176, 639-678 (2019)
• View Publication
• BIB
The Tangent Method of Colomo and Sportiello is applied to the study of the asymptotics of domino tilings of large Aztec rectangles, with some fixed distribution of defects along a boundary. The associated Non-Intersecting Lattice Path configurations are made of Schröder paths whose weights involve two parameters $γ$ and $q$ keeping track respectively of one particular type of step and of the area below the paths. We derive the arctic curve for an arbitrary distribution of defects, and illustrate our result with a number of examples involving different classes of boundary defects.
Find Subtrees of Specified Weight and Cycles of Specified Length in Linear Time
Published
• View Publication
• BIB
We apply the Euler tour technique to find subtrees of specified weight as follows. Let $k, g, N_1, N_2 \in \mathbb{N}$ such that $1 \leq k \leq N_2$, $g + h > 2$ and $2k - 4g - h + 3 \leq N_2 \leq 2k + g + h - 2$, where $h := 2N_1 - N_2$. Let $T$ be a tree of $N_1$ vertices and let $c : V(T) \rightarrow \mathbb{N}$ be vertex weights such that $c(T) := \sum_{v \in V(T)} c(v) = N_2$ and $c(v) \leq k$ for all $v \in V(T)$. We prove that a subtree $S$ of $T$ of weight $k - g + 1 \leq c(S) \leq k$ exists and can be found in linear time. We apply it to show, among others, the following: (i) Every planar hamiltonian graph $G = (V(G), E(G))$ with minimum degree $δ\geq 4$ has a cycle of length $k$ for every $k \in \{\lfloor \frac{|V(G)|}{2} \rfloor, \dots, \lceil \frac{|V(G)|}{2} \rceil + 3\}$ with $3 \leq k \leq |V(G)|$. (ii) Every $3$-connected planar hamiltonian graph $G$ with $δ\geq 4$ and $|V(G)| \geq 8$ even has a cycle of length $\frac{|V(G)|}{2} - 1$ or $\frac{|V(G)|}{2} - 2$. Each of these cycles can be found in linear time if a Hamilton cycle of the graph is given. This work was partially motivated by conjectures of Bondy and Malkevitch on cycle spectra of 4-connected planar graphs.
Matroid connectivity and singularities of configuration hypersurfaces
Published in Lett. Math. Phys. 111,1 (2021)
• View Publication
• BIB
Consider a linear realization of a matroid over a field. One associates with it a configuration polynomial and a symmetric bilinear form with linear homogeneous coefficients. The corresponding configuration hypersurface and its non-smooth locus support the respective first and second degeneracy scheme of the bilinear form. We show that these schemes are reduced and describe the effect of matroid connectivity: for (2-)connected matroids, the configuration hypersurface is integral, and the second degeneracy scheme is reduced Cohen-Macaulay of codimension 3. If the matroid is 3-connected, then also the second degeneracy scheme is integral. In the process, we describe the behavior of configuration polynomials, forms and schemes with respect to various matroid constructions.