Some subsystems of constant-depth Frege with parity

We consider three relatively strong families of subsystems of AC0[2]-Frege proof systems, i.e., propositional proof systems using constant-depth formulas with an additional parity connective, for which exponential lower bounds on proof size are known. In order of increasing strength, the subsystems are (i) constant-depth proof systems with parity axioms and the (ii) treelike and (iii) daglike versions of systems introduced by Krajíček which we call PKcd(⊕). In a PKcd(⊕)-proof, lines are disjunctions (cedents) in which all disjuncts have depth at most d, parities can only appear as the outermost connectives of disjuncts, and all but c disjuncts contain no parity connective at all. We prove that treelike PKO(1)O(1)(⊕) is quasipolynomially but not polynomially equivalent to constant-depth systems with parity axioms. We also verify that the technique for separating parity axioms from parity connectives due to Impagliazzo and Segerlind can be adapted to give a superpolynomial separation between daglike PKO(1)O(1)(⊕) and AC0[2]-Frege; the technique is inherently unable to prove superquasipolynomial separations. We also study proof systems related to the system Res-Lin introduced by Itsykson and Sokolov. We prove that an extension of treelike Res-Lin is polynomially simulated by a system related to daglike PKO(1)O(1)(⊕), and obtain an exponential lower bound for this system.Peer ReviewedPostprint (author's final draft

Relative Entropy Relaxations for Signomial Optimization

Signomial programs (SPs) are optimization problems specified in terms of signomials, which are weighted sums of exponentials composed with linear functionals of a decision variable. SPs are non-convex optimization problems in general, and families of NP-hard problems can be reduced to SPs. In this paper we describe a hierarchy of convex relaxations to obtain successively tighter lower bounds of the optimal value of SPs. This sequence of lower bounds is computed by solving increasingly larger-sized relative entropy optimization problems, which are convex programs specified in terms of linear and relative entropy functions. Our approach relies crucially on the observation that the relative entropy function -- by virtue of its joint convexity with respect to both arguments -- provides a convex parametrization of certain sets of globally nonnegative signomials with efficiently computable nonnegativity certificates via the arithmetic-geometric-mean inequality. By appealing to representation theorems from real algebraic geometry, we show that our sequences of lower bounds converge to the global optima for broad classes of SPs. Finally, we also demonstrate the effectiveness of our methods via numerical experiments

Cascades and wall-normal fluxes in turbulent channel flows

The present work describes the multidimensional behaviour of scale-energy production, transfer and dissipation in wall-bounded turbulent flows. This approach allows us to understand the cascade mechanisms by which scale energy is transmitted scale-by-scale among different regions of the flow. Two driving mechanisms are identified. A strong scale-energy source in the buffer layer related to the near-wall cycle and an outer scale-energy source associated with an outer turbulent cycle in the overlap layer. These two sourcing mechanisms lead to a complex redistribution of scale energy where spatially evolving reverse and forward cascades coexist. From a hierarchy of spanwise scales in the near-wall region generated through a reverse cascade and local turbulent generation processes, scale energy is transferred towards the bulk, flowing through the attached scales of motion, while among the detached scales it converges towards small scales, still ascending towards the channel centre. The attached scales of wall-bounded turbulence are then recognized to sustain a spatial reverse cascade process towards the bulk flow. On the other hand, the detached scales are involved in a direct forward cascade process that links the scale-energy excess at large attached scales with dissipation at the smaller scales of motion located further away from the wall. The unexpected behaviour of the fluxes and of the turbulent generation mechanisms may have strong repercussions on both theoretical and modelling approaches to wall turbulence. Indeed, actual turbulent flows are shown here to have a much richer physics with respect to the classical notion of turbulent cascade, where anisotropic production and inhomogeneous fluxes lead to a complex redistribution of energy where a spatial reverse cascade plays a central role