Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Random polymers via orthogonal Whittaker and symplectic Schur functions
This thesis deals with some $(1+1)$-dimensional lattice path models from the KPZ universality class: the directed random polymer with inverse-gamma weights (known as log-gamma polymer) and its zero temperature degeneration, i.e. the last passage percolation model, with geometric or exponential waiting times. We consider three path geometries: point-to-line, point-to-half-line, and point-to-line with paths restricted to stay in a half-plane. Through exact formulas, we establish new connections between integrable probabilistic models and the ubiquitous Whittaker and Schur functions. More in detail, via the use of A. N. Kirillov's geometric Robinson-Schensted-Knuth (RSK) correspondence, we compute the Laplace transform of the polymer partition functions in the above geometries in terms of orthogonal Whittaker functions. In the case of the first two geometries we also provide multiple contour integral formulas. For the corresponding last passage percolation problems, we obtain new formulas in terms of symplectic Schur functions, both directly via RSK on polygonal arrays and via zero temperature limit from the log-gamma polymer formulas. As scaling limits of the point-to-line and point-to-half-line models with exponential waiting times, we derive Sasamoto's Fredholm determinant formula for the GOE Tracy-Widom distribution, as well as the one-point marginal distribution of the ${\rm Airy}_{2\to1}$ process.
Sunflowers of Convex Open Sets
Published
• View Publication
• BIB
A sunflower is a collection of sets $\{U_1,\ldots, U_n\}$ such that the pairwise intersection $U_i\cap U_j$ is the same for all choices of distinct $i$ and $j$. We study sunflowers of convex open sets in $\mathbb R^d$, and provide a Helly-type theorem describing a certain "rigidity" that they possess. In particular we show that if $\{U_1,\ldots, U_{d+1}\}$ is a sunflower in $\mathbb R^d$, then any hyperplane that intersects all $U_i$ must also intersect $\bigcap_{i=1}^{d+1} U_i$. We use our results to describe a combinatorial code $\mathcal C_n$ for all $n\ge 2$ which is on the one hand minimally non-convex, and on the other hand has no local obstructions. Along the way we further develop the theory of morphisms of codes, and establish results on the covering relation in the poset $\mathbf P_{\mathbf{Code}}$.
Counting homomorphisms in plain exponential time
In the counting Graph Homomorphism problem (#GraphHom) the question is: Given graphs G,H, find the number of homomorphisms from G to H. This problem is generally #P-complete, moreover, Cygan et al. proved that unless the ETH is false there is no algorithm that solves this problem in time O(|V(H)|^{o(|V(G)|)}. This, however, does not rule out the possibility that faster algorithms exist for restricted problems of this kind. Wahlstrom proved that #GraphHom can be solved in plain exponential time, that is, in time k^{|V(G)|+V(H)|}\poly(|V(H)|,|V(G)|) provided H has clique width k. We generalize this result to a larger class of graphs, and also identify several other graph classes that admit a plain exponential algorithm for #GraphHom.
Regularity of binomial edge ideals of chordal graphs
Published
• View Publication
• BIB
In this paper we prove the conjectured upper bound for Castelnuovo-Mumford regularity of binomial edge ideals posed in [23], in the case of chordal graphs. Indeed, we show that the regularity of any chordal graph G is bounded above by the number of maximal cliques of G, denoted by c(G). Moreover, we classify all chordal graphs G for which L(G) = c(G), where L(G) is the sum of the lengths of longest induced paths of connected components of G. We call such graphs strongly interval graphs. Moreover, we show that the regularity of a strongly interval graph G coincides with L(G) as well as c(G).
The graph grabbing game on $\{0,1\}$-weighted graphs
Published
• View Publication
• BIB
The \emph{graph grabbing game} is a two-player game on a weighted connected graph in which two players, Alice and Bob, alternatively remove non-cut vertices one by one to gain the weights on them. Alice wins the game if she gains at least half of the total weights. In this paper, we show that on every connected even graph which does contain a fully spiked cycle as an induced subgraph, Alice always has a winning strategy with an arbitrary weight function whose codomain is $\{0,1\}$. In addition, we give a list of forbidden subgraph for the family of graphs on which Alice has a winning strategy with an arbitrary weight function whose codomain is $\{0,1\}$.
Semistable reduction in characteristic 0
In 2000 Abramovich and Karu proved that any dominant morphism $f\:X\to B$ of varieties of characteristic zero can be made weakly semistable by replacing $B$ by a smooth alteration $B'$ and replacing the proper transform of $X$ by a modification $X'$. In the language of log geometry this means that $f'\:X'\to B'$ is log smooth and saturated for appropriate log structures. Moreover, Abramovich and Karu formulated a stronger conjecture that $f'\:X'\to B'$ can be even made semistable, which amounts to making $X'$ smooth as well, and explained why this is the best resolution of $f$ one might hope for. In this paper, we solve the semistable reduction conjecture in the larger generality of finite type morphisms of quasi-excellent schemes of characteristic zero.
q-Analogues of several $π$-formulas
Published
• View Publication
• BIB
According to the $q$-series method, a short proof for Hou and Sun's identity, which is the $q$-analogue of a known $π$-formula, is offered. Furthermore, $q$-analogues of several other $π$-formulas are also established in terms of the $q$-series method and the telescoping method.
Loop conditions with strongly connected graphs
We prove that the existence of a term $s$ satisfying $s(r,a,r,e) = s(a,r,e,a)$ in a general algebraic structure is equivalent to an existence of a term $t$ satisfying $t(x,x,y,y,z,z)=t(y,z,z,x,x,y)$. As a consequence of a general version of this theorem and previous results we get that each strongly connected digraph of algebraic length one, which is compatible with an operation $t$ satisfying an identity of the from $t(\ldots)=t(\ldots)$, has a loop.
Askey--Wilson polynomials and a double $q$-series transformation formula with twelve parameters
Published
• View Publication
• BIB
The Askey--Wilson polynomials are the most general classical orthogonal polynomials that are known and the Nassrallah--Rahman integral is a very general extension of Euler's integral representation of the classical $_2F_1$ function. Based on a $q$-series transformation formula and the Nassrallah--Rahman integral we prove a $q$--beta integral which has twelve parameters, with several other results, both classical and new, included as special cases. This $q$-beta integral also allows us to derive a curious double $q$--series transformation formula, which includes one formula of Al--Salam and Ismail as a special case
The universal Poisson deformation of hypertoric varieties and some classification results
Published in Pacific J. Math. 313 (2021) 459-508
• View Publication
• BIB
In this paper, we study and describe the universal Poisson deformation space of hypertoric varieties concretely. In the first application, we show that affine hypertoric varieties as conical symplectic varieties are classified by the associated regular matroids (this is a partial generalization of the result by Arbo and Proudfoot). As a corollary, we obtain a criterion when two quiver varieties whose dimension vector have all coordinates equal to one are isomorphic to each other. Then we describe all 4- and 6-dimensional affine hypertoric varieties as quiver varieties and give some examples of 8-dimensional hypertoric varieties which cannot be raised as such quiver varieties. In the second application, we compute explicitly the number of all projective crepant resolutions of some 4-dimensional hypertoric varieties by using the combinatorics of hyperplane arrangements.
Local Boxicity and Maximum Degree
Published
• View Publication
• BIB
The \emph{local boxicity} of a graph $G$, denoted by $lbox(G)$, is the minimum positive integer $l$ such that $G$ can be obtained using the intersection of $k$ (, where $k \geq l$,) interval graphs where each vertex of $G$ appears as a non-universal vertex in at most $l$ of these interval graphs. Let $G$ be a graph on $n$ vertices having $m$ edges. Let $Δ$ denote the maximum degree of a vertex in $G$. We show that, (i) $lbox(G) \leq 2^{13\log^{*}Δ} Δ$. There exist graphs of maximum degree $Δ$ having a local boxicity of $Ω(\fracΔ{\logΔ})$. (ii) $lbox(G) \in O(\frac{n}{\log{n}})$. There exist graphs on $n$ vertices having a local boxicity of $Ω(\frac{n}{\log n})$. (iii) $lbox(G) \leq (2^{13\log^{*}{\sqrt{m}}} + 2 )\sqrt{m}$. There exist graphs with $m$ edges having a local boxicity of $Ω(\frac{\sqrt{m}}{\log m})$. (iv) the local boxicity of $G$ is at most its \emph{product dimension}. This connection helps us in showing that the local boxicity of the \emph{Kneser graph} $K(n,k)$ is at most $\frac{k}{2} \log{\log{n}}$.
The above results can be extended to the \emph{local dimension} of a partially ordered set due to the known connection between local boxicity and local dimension. Finally, we show that the \emph{cubicity} of a graph on $n$ vertices of girth greater than $g+1$ is $O(n^{\frac{1}{\lfloor g/2\rfloor}}\log n)$.
A complete solution to the infinite Oberwolfach problem
Published
• View Publication
• BIB
Let $F$ be a $2$-regular graph of order $v$. The Oberwolfach problem, $OP(F)$, asks for a $2$-factorization of the complete graph on $v$ vertices in which each $2$-factor is isomorphic to $F$. In this paper, we give a complete solution to the Oberwolfach problem over infinite complete graphs, proving the existence of solutions that are regular under the action of a given involution free group $G$. We will also consider the same problem in the more general contest of graphs $F$ that are spanning subgraphs of an infinite complete graph $\mathbb{K}$ and we provide a solution when $F$ is locally finite. Moreover, we characterize the infinite subgraphs $L$ of $F$ such that there exists a solution to $OP(F)$ containing a solution to $OP(L)$.
A note on spanoid rank
We construct a spanoid $\mathcal{S}$ on $n$ elements with $\textsf{rank}(\mathcal{S}) \ge n^c \textsf{f-rank}(\mathcal{S})$ where $c = \log_5 3 - \log_5 2.5 \approx 0.113283$. This answers a question of Dvir-Gopi-Wigderson [DGW18].
On the Invariants of the Cohomology of Complements of Coxeter Arrangements
Published
• View Publication
• BIB
We refine Brieskorn's study of the cohomology of the complement of the reflection arrangement of a finite Coxeter group $W$. As a result we complete the verification of a conjecture by Felder and Veselov that gives an explicit basis of the space of $W$-invariants in this cohomology ring.
Graph reconstruction and generation from one card and the degree sequence
Many degree sequences can only be realised in graphs that contain a `ds-completable card', defined as a vertex-deleted subgraph in which the erstwhile neighbours of the deleted vertex can be identified from their degrees, if one knows the degree sequence of the original graph. We obtain conditions on the degree sequence, such that graphs whose degree sequence satisfies one of the conditions must contain such a card. The methods allow all such sequences on graphs of order up to 10 to be identified, and some fraction of the sequences for larger graphs. Among other applications, this can be used to reduce the computational task of generating graphs of a given degree sequence without duplicates.
Metric graphs, cross ratios, and Rayleigh's laws
Published
• View Publication
• BIB
We study a notion of cross ratios on metric graphs and electrical networks. We show that several known results immediately follow from the basic properties of cross ratios. We show that the projection matrices of Kirchhoff have nice (and efficiently computable) expressions in terms of cross ratios. Finally we prove a very general version of Rayleigh's law, relating energy pairings and cross ratios before and after contracting an edge segment. As a corollary, we obtain a quantitative version of Rayleigh's monotonicity law for effective resistances. Another consequence is an explicit description of the behavior of the potential kernel of the Laplacian operator under contractions.
Tropical moments of tropical Jacobians
Published
• View Publication
• BIB
Each metric graph has canonically associated to it a polarized real torus called its tropical Jacobian. A fundamental real-valued invariant associated to each polarized real torus is its tropical moment. We give an explicit and efficiently computable formula for the tropical moment of a tropical Jacobian in terms of potential theory on the underlying metric graph. We show that there exists a universal linear relation between the tropical moment, the tau invariant, and the total length of a metric graph. We argue that this linear relation is a non-archimedean analogue of a recent remarkable identity established by Wilms for invariants of compact Riemann surfaces. We also relate our work to the computation of heights attached to principally polarized abelian varieties.
On the number of vertices of projective polytopes
Let $X$ be a configuration of $n$ points in $\mathbb{R}^d$.
What is the maximum number of vertices that $conv(T(X))$ can have among all the possible permissible projective transformations $T$?
In this paper, we investigate this and connected questions. After presenting several upper bounds, we study a closely related problem (via Gale transforms) concerning the number of minimal Radon partitions of a set of points. We then present some bounds for this number that enable us to partially answer a question due to Pach and Szegedy. We also discuss another related problem concerning the size of topes in arrangements of hyperplanes.
Intersection sizes of linear subspaces with the hypercube
Published
• View Publication
• BIB
We continue the study by Melo and Winter [arXiv:1712.01763, 2017] on the possible intersection sizes of a $k$-dimensional subspace with the vertices of the $n$-dimensional hypercube in Euclidean space. Melo and Winter conjectured that all intersection sizes larger than $2^{k-1}$ (the "large" sizes) are of the form $2^{k-1}+2^i$. We show that this is almost true: the large intersection sizes are either of this form or of the form $35\cdot 2^{k-6}$. We also disprove a second conjecture of Melo and Winter by proving that a positive fraction of the "small" values is missing.
A Context-free Grammar for the Ramanujan-Shor Polynomials
Published
• View Publication
• BIB
Ramanujan defined the polynomials $ψ_{k}(r,x)$ in his study of power series inversion. Berndt, Evans and Wilson obtained a recurrence relation for $ψ_{k}(r,x)$. In a different context, Shor introduced the polynomials $Q(i,j,k)$ related to improper edges of a rooted tree, leading to a refinement of Cayley's formula. He also proved a recurrence relation and raised the question of finding a combinatorial proof. Zeng realized that the polynomials of Ramanujan coincide with the polynomials of Shor, and that the recurrence relation of Shor coincides with the recurrence relation of Berndt, Evans and Wilson. So we call these polynomials the Ramanujan-Shor polynomials, and call the recurrence relation the Berndt-Evans-Wilson-Shor recursion. A combinatorial proof of this recursion was obtained by Chen and Guo, and a simpler proof was recently given by Guo. From another perspective, Dumont and Ramamonjisoa found a context-free grammar $G$ to generate the number of rooted trees on $n$ vertices with $k$ improper edges. Based on the grammar $G$, we find a grammar $H$ for the Ramanujan-Shor polynomials. This leads to a formal calculus for the Ramanujan-Shor polynomials. In particular, we obtain a grammatical derivation of the Berndt-Evans-Wilson-Shor recursion. We also provide a grammatical approach to the Abel identities and a grammatical explanation of the Lacasse identity.