Related papers: Classification of integrable boundary equations fo…
In this paper we introduce the edge inducibility problem. This is a common refinement of both the well known Kruskal--Katona theorem and the inducibility question introduced by Pippenger and Golumbic. Our first result is a hardness result.…
In this article, we prove a rigidity criterion for period maps of admissible variations of graded-polarizable mixed Hodge structure, and establish rigidity in a number of cases, including families of quasi-projective curves, projective…
Systems of discrete equations on a quadrilateral graph related to the series $D^{(2)}_N$ of the affine Lie algebras are studied. The systems are derived from the Hirota-Miwa equation by imposing boundary conditions compatible with the…
We establish a strong, geometric lower bound on the (sequential) topological complexity of the unordered configuration spaces of a general graph. As an application, we show that, for most graphs, the topological complexity eventually…
In this paper, we prove the boundary partial regularity for a class of coupled Dirac-harmonic maps satisfying a certain energy monotonicity inequality near the boundary.
The security of multivariate cryptosystems and digital signature schemes relies on the hardness of solving a system of polynomial equations over a finite field. Polynomial system solving is also currently a bottleneck of index-calculus…
Numerically solving the 2D Helmholtz equation is widely known to be very difficult largely due to its highly oscillatory solution, which brings about the pollution effect. A very fine mesh size is necessary to deal with a large wavenumber…
The intention of the paper is to move a step towards a classification of network topologies that exhibit periodic quantum dynamics. We show that the evolution of a quantum system, whose hamiltonian is identical to the adjacency matrix of a…
This paper presents a novel methodology for evaluating the boundedness, stability, and instability of some vector nonlinear systems with multiple time-varying delays and variable coefficients. The proposed technique develops two scalar…
The imbalance of an edge $e=\{u,v\}$ in a graph is defined as $i(e)=|d(u)-d(v)|$, where $d(\cdot)$ is the vertex degree. The irregularity $I(G)$ of $G$ is then defined as the sum of imbalances over all edges of $G$. This concept was…
We analyze a bilinear control problem governed by a semilinear parabolic equation. The control variable is the Robin coefficient on the boundary. First-order necessary and second-order sufficient optimality conditions are derived. A…
We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic…
We present boundary-integral equations for Maxwell-type problems in a differential-form setting. Maxwell-type problems are governed by the differential equation $(\delta\mathrm{d}-k^2)\omega = 0$, where $k\in\mathbb{C}$ holds, subject to…
Consider the scattering of a time-harmonic plane wave by a rigid obstacle embedded in a homogeneous and isotropic elastic medium in two dimensions. In this paper, a novel boundary integral formulation is proposed and its highly accurate…
We study the deep interplay between geometry of quadrics in d-dimensional space and the dynamics of related integrable billiard systems. Various generalizations of Poncelet theorem are reviewed. The corresponding analytic conditions of…
In this paper, we exploit the theory of dense graph limits to provide a new framework to study the stability of graph partitioning methods, which we call structural consistency. Both stability under perturbation as well as asymptotic…
Matrix congruence can be used to mimic linear maps between homogeneous quadratic polynomials in $n$ variables. We introduce a generalization, called standard-form congruence, which mimics affine maps between non-homogeneous quadratic…
One can describe isomorphism of two compact hyperbolic Riemann surfaces of the same genus by a measure-theoretic property: a chosen isomorphism of their fundamental groups corresponds to a homeomorphism on the boundary of the Poincar\'e…
We show NP-completeness for several planar variants of the monotone satisfiability problem with bounded variable appearances. With one exception the presented variants have an associated bipartite graph where the vertex degree is bounded by…
We consider PT-symmetric, nonlocal nonlinear Schrodinger equation on metric graphs. Vertex boundary conditions are derived from the conservation laws. Soliton solutions are obtained for simplest graph topologies, such as star and tree…