29,766 research outputs found
Relaxed Byzantine Vector Consensus
Exact Byzantine consensus problem requires that non-faulty processes reach
agreement on a decision (or output) that is in the convex hull of the inputs at
the non-faulty processes. It is well-known that exact consensus is impossible
in an asynchronous system in presence of faults, and in a synchronous system,
n>=3f+1 is tight on the number of processes to achieve exact Byzantine
consensus with scalar inputs, in presence of up to f Byzantine faulty
processes. Recent work has shown that when the inputs are d-dimensional vectors
of reals, n>=max(3f+1,(d+1)f+1) is tight to achieve exact Byzantine consensus
in synchronous systems, and n>= (d+2)f+1 for approximate Byzantine consensus in
asynchronous systems.
Due to the dependence of the lower bound on vector dimension d, the number of
processes necessary becomes large when the vector dimension is large. With the
hope of reducing the lower bound on n, we consider two relaxed versions of
Byzantine vector consensus: k-Relaxed Byzantine vector consensus and
(delta,p)-Relaxed Byzantine vector consensus. In k-relaxed consensus, the
validity condition requires that the output must be in the convex hull of
projection of the inputs onto any subset of k-dimensions of the vectors. For
(delta,p)-consensus the validity condition requires that the output must be
within distance delta of the convex hull of the inputs of the non-faulty
processes, where L_p norm is used as the distance metric. For
(delta,p)-consensus, we consider two versions: in one version, delta is a
constant, and in the second version, delta is a function of the inputs
themselves.
We show that for k-relaxed consensus and (delta,p)-consensus with constant
delta>=0, the bound on n is identical to the bound stated above for the
original vector consensus problem. On the other hand, when delta depends on the
inputs, we show that the bound on n is smaller when d>=3
Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
We present a computer-assisted proof of heteroclinic connections in the
one-dimensional Ohta-Kawasaki model of diblock copolymers. The model is a
fourth-order parabolic partial differential equation subject to homogeneous
Neumann boundary conditions, which contains as a special case the celebrated
Cahn-Hilliard equation. While the attractor structure of the latter model is
completely understood for one-dimensional domains, the diblock copolymer
extension exhibits considerably richer long-term dynamical behavior, which
includes a high level of multistability. In this paper, we establish the
existence of certain heteroclinic connections between the homogeneous
equilibrium state, which represents a perfect copolymer mixture, and all local
and global energy minimizers. In this way, we show that not every solution
originating near the homogeneous state will converge to the global energy
minimizer, but rather is trapped by a stable state with higher energy. This
phenomenon can not be observed in the one-dimensional Cahn-Hillard equation,
where generic solutions are attracted by a global minimizer
Higher Order Decompositions of Ordered Operator Exponentials
We present a decomposition scheme based on Lie-Trotter-Suzuki product
formulae to represent an ordered operator exponential as a product of ordinary
operator exponentials. We provide a rigorous proof that does not use a
time-displacement superoperator, and can be applied to non-analytic functions.
Our proof provides explicit bounds on the error and includes cases where the
functions are not infinitely differentiable. We show that Lie-Trotter-Suzuki
product formulae can still be used for functions that are not infinitely
differentiable, but that arbitrary order scaling may not be achieved.Comment: 16 pages, 1 figur
Optimal bounds with semidefinite programming: an application to stress driven shear flows
We introduce an innovative numerical technique based on convex optimization
to solve a range of infinite dimensional variational problems arising from the
application of the background method to fluid flows. In contrast to most
existing schemes, we do not consider the Euler--Lagrange equations for the
minimizer. Instead, we use series expansions to formulate a finite dimensional
semidefinite program (SDP) whose solution converges to that of the original
variational problem. Our formulation accounts for the influence of all modes in
the expansion, and the feasible set of the SDP corresponds to a subset of the
feasible set of the original problem. Moreover, SDPs can be easily formulated
when the fluid is subject to imposed boundary fluxes, which pose a challenge
for the traditional methods. We apply this technique to compute rigorous and
near-optimal upper bounds on the dissipation coefficient for flows driven by a
surface stress. We improve previous analytical bounds by more than 10 times,
and show that the bounds become independent of the domain aspect ratio in the
limit of vanishing viscosity. We also confirm that the dissipation properties
of stress driven flows are similar to those of flows subject to a body force
localized in a narrow layer near the surface. Finally, we show that SDP
relaxations are an efficient method to investigate the energy stability of
laminar flows driven by a surface stress.Comment: 17 pages; typos removed; extended discussion of linear matrix
inequalities in Section III; revised argument in Section IVC, results
unchanged; extended discussion of computational setup and limitations in
Sectios IVE-IVF. Submitted to Phys. Rev.
- …