title: Poisson structures of near-symplectic manifolds and their cohomology

abstract: We connect Poisson and near-symplectic geometry by showing that there is a singular Poisson structure on a near-symplectic 4-manifold. The Poisson structure $\pi$ is defined on the tubular neighbourhood of the singular locus $Z_{\omega}$ of the 2-form $\omega$, it is of maximal rank 4 and it vanishes on a degeneracy set containing $Z_{\omega}$. We compute its smooth Poisson cohomology, which depends on the modular vector field and it is finite dimensional. We conclude with a discussion on the relation between the Poisson structure $\pi$ and the overtwisted contact structure associated to a near-symplectic 4-manifold.


title: Permanent magnet system to guide superparamagnetic particles

abstract: A new concept of permanent magnet systems for guiding superparamagnetic particles on arbitrary trajectories is proposed. The basic concept is to use one magnet system with a strong and homogeneous (dipolar) magnetic field to magnetize and orient the particles. A second constantly graded field (quadrupolar) is superimposed to the first to generate a force. In this configuration the motion of the particles is driven solely by the component of the gradient field which is parallel to the direction of the homogeneous field. Then the particles are guided with constant force in a single direction over the entire volume. The direction can be adjusted by varying the angle between quadrupole and dipole. Since a single gradient is impossible, the other gradient component determines the angular deviation of the force. The latter can be neglected if the homogeneous field is stronger than the local contribution of the gradient field. A possible realization is a coaxial arrangement of two Halbach cylinders. A dipole produces a strong and homogeneous field to evenly magnetize the particles, while the second cylinder is a quadrupole to generate the force. A simple prototype was constructed to demonstrate the principle on several nano-particles, which were moved along a rough square by manually changing the force angle. The observed velocities of particles were always several orders of magnitude higher than the theoretical value. This discrepancy is attributed to the observed formation of long particle chains as a result of their polarization by the homogeneous field. The magnetic moment of such a chain is then the combination of that of its constituents. A complete system will consist of another quadrupole (third cylinder) to additionally scale the strength of the force by another rotation. In this configuration the device could then also be used as a simple MRI machine to image the particles.


title: A Theoretical Framework for Analyzing Coupled Neuronal Networks: Application to the Olfactory System

abstract: Determining how synaptic coupling within and between regions is modulated during sensory processing is an important topic in neuroscience. Electrophysiological recordings provide detailed information about neural spiking but have traditionally been confined to a particular region or layer of cortex. Here we develop new theoretical methods to study interactions between and within two brain regions, based on experimental measurements of spiking activity simultaneously recorded from the two regions. By systematically comparing experimentally-obtained spiking statistics to (efficiently computed) model spike rate statistics, we identify regions in model parameter space that are consistent with the experimental data. We apply our new technique to dual micro-electrode array in vivo recordings from two distinct regions: olfactory bulb (OB) and anterior piriform cortex (PC). Our analysis predicts that: i) inhibition within the afferent region (OB) has to be weaker than the inhibition within PC, ii) excitation from PC to OB is generally stronger than excitation from OB to PC, iii) excitation from PC to OB and inhibition within PC have to both be relatively strong compared to presynaptic inputs from OB. These predictions are validated in a spiking neural network model of the OB--PC pathway that satisfies the many constraints from our experimental data. We find when the derived relationships are violated, the spiking statistics no longer satisfy the constraints from the data. In principle this modeling framework can be adapted to other systems and be used to investigate relationships between other neural attributes besides network connection strengths. Thus, this work can serve as a guide to further investigations into the relationships of various neural attributes within and across different regions during sensory processing.


title: Amorphous silicon-doped titania films for on-chip photonics

abstract: High quality optical thin film materials form a basis for on-chip photonic micro- and nano-devices, where several photonic elements form an optical circuit. Their realization generally requires the thin film to have a higher refractive index than the substrate material. Here, we demonstrate a method of depositing amorphous 25% Si doped TiO2 films on various substrates, a way of shaping these films into photonic elements, such as optical waveguides and resonators, and finally, the performance of these elements. The quality of the film is estimated by measuring thin film cavity Q-factors in excess of 10^5 at a wavelength of 790 nm, corresponding to low propagation losses of 5.1 db/cm. The fabricated photonic structures were used to optically address chromium ions embedded in the substrate by evanescent coupling, therefore enabling it through film-substrate interaction. Additional functionalization of the films by doping with optically active rare-earth ions such as erbium is also demonstrated. Thus, Si:TiO2 films allow for creation of high quality photonic elements, both passive and active and also provide access to a broad range of substrates and emitters embedded therein.


title: Categorial subsystem independence as morphism co-possibility

abstract: This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the context of algebraic relativistic quantum field theory. The content of subobject independence formulated in this paper is morphism co-possibility: two subobjects of an object will be defined to be independent if any two morphisms on the two subobjects of an object are jointly implementable by a single morphism on the larger object. The paper investigates features of subobject independence in general, and subobject independence in the category of C* algebras with respect to operations (completely positive unit preserving linear maps on C*-algebras) as morphisms is suggested as a natural subsystem independence axiom to express relativistic locality of the covariant functor in the categorial approach to quantum field theory.


title: The Bipartition Polynomial of a Graph: Reconstruction, Decomposition, and Applications

abstract: The bipartition polynomial of a graph is a generalization of many other graph polynomials, including the domination, Ising, matching, independence, cut, and Euler polynomial. We show in this paper that it is also a powerful tool for proving graph properties. In addition, we can show that the bipartition polynomial is polynomially reconstructible, which means that we can recover it from the multiset of bipartition polynomials of one-edge-deleted subgraphs.


title: Spatially modulated chiral condensates

abstract: I discuss some properties of spatially dependent chiral condensates, focusing on one-dimensional modulations. After briefly introducing a generic formalism for studying inhomogeneous solutions in dense quark matter, I consider a plane-wave and a sinusoidal ansatz, and discuss the relationship between their order parameters and free energies, as well as a comparison of their dispersion relations. I then introduce a real kink crystal, and discuss its relationship with the sinusoidal ansatz by performing a Fourier analysis of this kind of solution.


title: On h-Fibrations

abstract: In this paper, we study h-fibrations, a weak homotopical version of fibrations which have weak covering homotopy property. We present some homotopical analogue of the notions related to fibrations and characterize h-fibrations using them. Then we construct some new categories by h-fibrations and deduce some results in these categories such as the existence of products and coproducts.


title: Quantum q-Field Theory: q-Schr\"odinger and q-Klein-Gordon Fields

abstract: We show how to deal with the generalized q-Schr\"odinger and q-Klein-Gordon fields in a variety of scenarios. These q-fields are meaningful at very high energies (TeVs) for for $q=1.15$, high ones (GeVs) for $q=1.001$, and low energies (MeVs)for $q=1.000001$ [Nucl. Phys. A {\bf 948} (2016) 19, Nucl. Phys. A {\bf 955} (2016) 16]. We develop here the quantum field theory (QFT) for the q-Schr\"odinger and q-Klein-Gordon fields, showing that both reduce to the customary Schr\"odinger and Klein-Gordon QFTs for q close to unity. Further, we analyze the q-Klein-Gordon field for $2q-1=n$ (n integer $\ge 2$) and analytically compute the self-energy and the propagator up to second order.


title: On the origin of the crescent-shaped distributions observed by MMS at the magnetopause

abstract: MMS observations recently confirmed that crescent-shaped electron velocity distributions in the plane perpendicular to the magnetic field occur in the electron diffusion region near reconnection sites at Earth's magnetopause. In this paper, we re-examine the origin of the crescent-shaped distributions in the light of our new finding that ions and electrons are drifting in opposite directions when displayed in magnetopause boundary-normal coordinates. Therefore, ExB drifts cannot cause the crescent shapes. We performed a high-resolution multi-scale simulation capturing sub-electron skin depth scales. The results suggest that the crescent-shaped distributions are caused by meandering orbits without necessarily requiring any additional processes found at the magnetopause such as the highly asymmetric magnetopause ambipolar electric field. We use an adiabatic Hamiltonian model of particle motion to confirm that conservation of canonical momentum in the presence of magnetic field gradients causes the formation of crescent shapes without invoking asymmetries or the presence of an ExB drift. An important consequence of this finding is that we expect crescent-shaped distributions also to be observed in the magnetotail, a prediction that MMS will soon be able to test.


title: Excitonic mass gap in uniaxially strained graphene

abstract: We study the conditions for spontaneously generating an excitonic mass gap due to Coulomb interactions between anisotropic Dirac fermions in uniaxially strained graphene. The mass gap equation is realized as a self-consistent solution for the self-energy within the Hartree-Fock mean-field and static random phase approximations. It depends not only on momentum, due to the long-range nature of the interaction, but also on the velocity anisotropy caused by the presence of uniaxial strain. We solve the nonlinear integral equation self-consistently by performing large scale numerical calculations on variable grid sizes. We evaluate the mass gap at the charge neutrality (Dirac) point as a function of the dimensionless coupling constant and anisotropy parameter. We also obtain the phase diagram of the critical coupling, at which the gap becomes finite, against velocity anisotropy. Our numerical study indicates that with an increase in uniaxial strain in graphene the strength of critical coupling decreases, which suggests anisotropy supports formation of excitonic mass gap in graphene.


title: Integrals of eigenfunctions over curves in surfaces of nonpositive curvature

abstract: Let $(M,g)$ be a compact, 2-dimensional Riemannian manifold with nonpositive sectional curvature. Let $\Delta_g$ be the Laplace-Beltrami operator corresponding to the metric $g$ on $M$, and let $e_\lambda$ be $L^2$-normalized eigenfunctions of $\Delta_g$ with eigenvalue $\lambda$, i.e. \[ -\Delta_g e_\lambda = \lambda^2 e_\lambda. \] We prove \[ \left| \int_{\mathbb R} b(t) e_\lambda (\gamma(t)) \, dt \right| = o(1) \quad \text{ as } \lambda \to \infty \] where $b$ is a smooth, compactly supported function on $\mathbb R$ and $\gamma$ is a curve parametrized by arc-length whose geodesic curvature $\kappa(\gamma(t))$ avoids two critical curvatures $\mathbf k(\gamma'^\perp(t))$ and $\mathbf k(-\gamma'^{\perp}(t))$ for each $t \in \operatorname{supp} b$. $\mathbf k(v)$ denotes the curvature of a circle with center taken to infinity along the geodesic ray in direction $-v$.


title: Electric-field-driven domain wall dynamics in perpendicularly magnetized multilayers

abstract: We report on reversible electric-field-driven magnetic domain wall motion in a Cu/Ni multilayer on a ferroelectric BaTiO$_3$ substrate. In our heterostructure, strain-coupling to ferroelastic domains with in-plane and perpendicular polarization in the BaTiO$_3$ substrate causes the formation of domains with perpendicular and in-plane magnetic anisotropy, respectively, in the Cu/Ni multilayer. Walls that separate magnetic domains are elastically pinned onto ferroelectric domain walls. Using magneto-optical Kerr effect microscopy, we demonstrate that out-of-plane electric field pulses across the BaTiO$_3$ substrate move the magnetic and ferroelectric domain walls in unison. Our experiments indicate an exponential increase of domain wall velocity with electric field strength and opposite domain wall motion for positive and negative field pulses. Magnetic fields do not affect the velocity of magnetic domain walls, but independently tailor their internal spin structure, causing a change in domain wall dynamics at high velocities.


title: New Physics in multi-Higgs boson final states

abstract: We explore the potential for the discovery of the triple-Higgs signal in the $2b2l^{\pm}4j+E\!\!\!/$ decay channel at a $100$ TeV hadron collider. We consider both the Standard Model and generic new-physics contributions, described by an effective Lagrangian that includes higher-dimensional operators. The selected subset of operators is motivated by composite-Higgs and Higgs-inflation models. In the Standard Model, we perform both a parton-level and a detector-level analysis. Although the parton-level results are encouraging, the detector-level results demonstrate that this mode will be really challenging. However, sizable contributions from new effective operators can largely increase the cross section and/or modify the kinematics of the Higgs bosons in the final state. Taking into account the projected constraints from single and double Higgs-boson production, we propose benchmark points in the new physics models for the measurement of the triple-Higgs boson final state for future collider projects.


title: Agreeing to Cross: How Drivers and Pedestrians Communicate

abstract: The contribution of this paper is twofold. The first is a novel dataset for studying behaviors of traffic participants while crossing. Our dataset contains more than 650 samples of pedestrian behaviors in various street configurations and weather conditions. These examples were selected from approx. 240 hours of driving in the city, suburban and urban roads. The second contribution is an analysis of our data from the point of view of joint attention. We identify what types of non-verbal communication cues road users use at the point of crossing, their responses, and under what circumstances the crossing event takes place. It was found that in more than 90% of the cases pedestrians gaze at the approaching cars prior to crossing in non-signalized crosswalks. The crossing action, however, depends on additional factors such as time to collision (TTC), explicit driver's reaction or structure of the crosswalk.


title: Functional Registration and Local Variations: Identifiability, Rank, and Tuning

abstract: We develop theory and methodology for the problem of nonparametric registration of functional data that have been subjected to random deformation (warping) of their time scale. The separation of this phase variation ("horizontal" variation) from the amplitude variation ("vertical" variation) is crucial in order to properly conduct further analyses, which otherwise can be severely distorted. We determine precise nonparametric conditions under which the two forms of variation are identifiable. These show that the identifiability delicately depends on the underlying rank. By means of several counterexamples, we demonstrate that our conditions are sharp if one wishes a genuinely nonparametric setup; and in doing so we caution that popular remedies such as structural assumptions or roughness penalties can easily fail. We then propose a nonparametric registration method based on a "local variation measure", the main element in elucidating identifiability. A key advantage of the method is that it is free of any tuning or penalisation parameters regulating the amount of alignment, thus circumventing the problem of over/under-registration often encountered in practice. We provide asymptotic theory for the resulting estimators under the identifiable regime, but also under mild departures from identifiability, quantifying the resulting bias in terms of the amplitude variation's spectral gap.


title: Improvements in the Small Sample Efficiency of the Minimum $S$-Divergence Estimators under Discrete Models

abstract: This paper considers the problem of inliers and empty cells and the resulting issue of relative inefficiency in estimation under pure samples from a discrete population when the sample size is small. Many minimum divergence estimators in the $S$-divergence family, although possessing very strong outlier stability properties, often have very poor small sample efficiency in the presence of inliers and some are not even defined in the presence of a single empty cell; this limits the practical applicability of these estimators, in spite of their otherwise sound robustness properties and high asymptotic efficiency. Here, we will study a penalized version of the $S$-divergences such that the resulting minimum divergence estimators are free from these issues without altering their robustness properties and asymptotic efficiencies. We will give a general proof for the asymptotic properties of these minimum penalized $S$-divergence estimators. This provides a significant addition to the literature as the asymptotics of penalized divergences which are not finitely defined are currently unavailable in the literature. The small sample advantages of the minimum penalized $S$-divergence estimators are examined through an extensive simulation study and some empirical suggestions regarding the choice of the relevant underlying tuning parameters are also provided.


title: Two Families of Buffered Frobenius Representations of Overpartitions

abstract: We generalize the generating series of the Dyson ranks and $M_2$-ranks of overpartitions to obtain $k$-fold variants, and give a combinatorial interpretation of each. The $k$-fold generating series correspond to the full ranks of two families of buffered Frobenius representations, which generalize Lovejoy's first and second Frobenius representations of overpartitions, respectively.


title: Analysis vs. synthesis sparsity for $\alpha$-shearlets

abstract: There are two notions of sparsity associated to a frame $\Psi=(\psi_i)_{i\in I}$: Analysis sparsity of $f$ means that the analysis coefficients $(\langle f,\psi_i\rangle)_i$ are sparse, while synthesis sparsity means that $f=\sum_i c_i\psi_i$ with sparse coefficients $(c_i)_i$. Here, sparsity of $c=(c_i)_i$ means $c\in\ell^p(I)$ for a given $p<2$. We show that both notions of sparsity coincide if $\Psi={\rm SH}(\varphi,\psi;\delta)$ is a discrete (cone-adapted) shearlet frame with 'nice' generators $\varphi,\psi$ and fine enough sampling density $\delta>0$. The required 'niceness' is explicitly quantified in terms of Fourier-decay and vanishing moment conditions. Precisely, we show that suitable shearlet systems simultaneously provide Banach frames and atomic decompositions for the shearlet smoothness spaces $\mathscr{S}_s^{p,q}$ introduced by Labate et al. Hence, membership in $\mathscr{S}_s^{p,q}$ is simultaneously equivalent to analysis sparsity and to synthesis sparsity w.r.t. the shearlet frame. As an application, we prove that shearlets yield (almost) optimal approximation rates for cartoon-like functions $f$: If $\epsilon>0$, then $\Vert f-f_N\Vert_{L^2}\lesssim N^{-(1-\epsilon)}$, where $f_N$ is a linear combination of N shearlets. This might appear to be well-known, but the existing proofs only establish this approximation rate w.r.t. the dual $\tilde{\Psi}$ of $\Psi$, not w.r.t. $\Psi$ itself. This is not completely satisfying, since the properties of $\tilde{\Psi}$ (decay, smoothness, etc.) are largely unknown. We also consider $\alpha$-shearlet systems. For these, the shearlet smoothness spaces have to be replaced by $\alpha$-shearlet smoothness spaces. We completely characterize the embeddings between these spaces, allowing us to decide whether sparsity w.r.t. $\alpha_1$-shearlets implies sparsity w.r.t. $\alpha_2$-shearlets.


title: Some consequences of shear on galactic dynamos with helicity fluxes

abstract: Galactic dynamo models sustained by supernova (SN) driven turbulence and differential rotation have revealed that the sustenance of large scale fields requires a flux of small scale magnetic helicity to be viable. Here we generalize a minimalist analytic version of such galactic dynamos to explore some heretofore unincluded contributions from shear on the total turbulent energy and turbulent correlation time, with the helicity fluxes maintained by either winds, diffusion, or magnetic buoyancy. We construct an analytic framework for modeling the turbulent energy and correlation time as functions of SN rate and shear. We compare our prescription with previous approaches that only include rotation. The solutions depend separately on the rotation period and the eddy turnover time and not just on their ratio (the Rossby number). We consider models in which these two time scales are allowed to be independent and also a case in which they are mutually dependent on radius when a radial dependent SN rate model is invoked. For the case of a fixed rotation period (or fixed radius) we show that the influence of shear is dramatic for low Rossby numbers, reducing the correlation time of the turbulence, which in turn, strongly reduces the saturation value of the dynamo compared to the case when the shear is ignored. We also show that even in the absence of winds or diffusive fluxes, magnetic buoyancy may be able to sustain sufficient helicity fluxes to avoid quenching.


title: Modern Monte Carlo Variants for Uncertainty Quantification in Neutron Transport

abstract: We describe modern variants of Monte Carlo methods for Uncertainty Quantification (UQ) of the Neutron Transport Equation, when it is approximated by the discrete ordinates method with diamond differencing. We focus on the mono-energetic 1D slab geometry problem, with isotropic scattering, where the cross-sections are log-normal correlated random fields of possibly low regularity. The paper includes an outline of novel theoretical results on the convergence of the discrete scheme, in the cases of both spatially variable and random cross-sections. We also describe the theory and practice of algorithms for quantifying the uncertainty of a linear functional of the scalar flux, using Monte Carlo and quasi-Monte Carlo methods, and their multilevel variants. A hybrid iterative/direct solver for computing each realisation of the functional is also presented. Numerical experiments show the effectiveness of the hybrid solver and the gains that are possible through quasi-Monte Carlo sampling and multilevel variance reduction. For the multilevel quasi-Monte Carlo method, we observe gains in the computational $\varepsilon$-cost of up to 2 orders of magnitude over the standard Monte Carlo method, and we explain this theoretically. Experiments on problems with up to several thousand stochastic dimensions are included.


title: A Comparison of Grid-Based and SPH Binary Mass-Transfer and Merger Simulations

abstract: Currently there is great interest in the outcomes and astrophysical implications of mergers of double degenerate binaries. In a commonly adopted approximation, the components of such binaries are represented by polytropes with an index n=3/2. We present detailed comparisons of stellar mass-transfer and merger simulations of polytropic binaries that have been carried out using two very different numerical algorithms --- a finite-volume "grid" code and a smoothed-particle hydrodynamics (SPH) code. We find that there is agreement in both the ultimate outcomes of the evolutions and the intermediate stages if the initial conditions for each code are chosen to match as closely as possible. We find that even with closely matching initial setups, the time it takes to reach a concordant evolution differs between the two codes because the initial depth of contact cannot be matched exactly. There is a general tendency for SPH to yield higher mass transfer rates and faster evolution to the final outcome. We also present comparisons of simulations calculated from two different energy equations: in one series we assume a polytropic equation of state and in the other series an ideal gas equation of state. In the latter series of simulations an atmosphere forms around the accretor which can exchange angular momentum and cause a more rapid loss of orbital angular momentum. In the simulations presented here, the effect of the ideal equation of state is to de-stabilize the binary in both SPH and grid simulations, but the effect is more pronounced in the grid code.


title: System Modeling in the COSMA Environment

abstract: The aim of this paper is to demonstrate how the COSMA environment can be used for system modeling. This environment is a set of tools based on Concurrent State Machines paradigm and is developed in the Institute of Computer Science at the Warsaw University of Technology. Our demonstration example is a distributed brake control system dedicated for a railway transport. The paper shortly introduces COSMA. Next it shows how the example model can be validated by our temporal logic analyzer.


title: Evaluation of Temporal Formulas Based on "Checking By Spheres"

abstract: Classical algorithms of evaluation of temporal CTL formulas are constructed "bottom-up". A formula must be evaluated completely to give the result. In the paper, a new concept of "top-down" evaluation of temporal QsCTL (CTL with state quantifiers) formulas, called "Checking By Spheres" is presented. The new algorithm has two general advantages: the evaluation may be stopped on certain conditions in early steps of the algorithm (not the whole formula and not whole state space should be analyzed), and state quantification may be used in formulas (even if a range of a quantifier is not statically obtainable).


title: Homotopy Algebras of Differential (Super)forms in Three and Four Dimensions

abstract: We consider various $A_{\infty}$-algebras of differential (super)forms, which are related to gauge theories and demonstrate explicitly how certain reformulations of gauge theories lead to the transfer of the corresponding $A_{\infty}$-structures. In $N=2$ 3D space we construct the homotopic counterpart of the de Rham complex, which is related to the superfield formulation of the $N=2$ Chern-Simons theory.


title: The full basis theorem does not imply analytic wellordering

abstract: We make use of a finite support product of $\omega_1$ clones of the Jensen minimal $\varPi^1_2$ singleton forcing to obtain a model of ZFC in which every non-empty lightface analytically definable set of reals contains a lightface analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the continuum.


title: Non-singular quantum improved rotating black holes and their maximal extension

abstract: We add a prescription to the Newman-Janis algorithm in order to use it as a means of finding new extended (`through r<0') rotating black hole spacetimes from static spherically symmetric ones. Then, we apply the procedure to a quantum improved black hole spacetime coming from Quantum Einstein Gravity. The goal is to get a maximally extended spacetime corresponding to a non-singular rotating black hole emulating the standard maximally extended Kerr black hole in regions where quantum effects are negligible. We rigourously check for the existence of scalar curvature singularities in the quantum improved rotating spacetime and we show that it is devoid of them. We also analyze the horizons and causal structure of the rotating black hole and provide Penrose diagrams for the maximally extended spacetime.


title: Parallel Position-Controlled Composite Quantum Logic Gates with Trapped Ions

abstract: We demonstrate parallel composite quantum logic gates with phases implemented locally through nanoscale movement of ions within a global laser beam of fixed pulse duration. We show that a simple four-pulse sequence suffices for constructing ideal arbitrary single-qubit rotations in the presence of large intensity inhomogeneities across the ion trap due to laser beam-pointing or beam-focusing. Using such sequences, we perform parallel arbitrary rotations on ions in two trapping zones separated by 700 $\mu$m with fidelities comparable to those of our standard laser-controlled gates. Our scheme improves on current transport or zone-dependent quantum gates to include phase modulation with local control of the ion's confinement potential. This enables a scalable implementation of an arbitrary number of parallel operations on densely packed qubits with a single laser modulator and beam path.


title: Affine Braid group, JM elements and knot homology

abstract: In this paper we construct a homomorphism of the affine braid group $Br_n^{aff}$ in the convolution algebra of the equivariant matrix factorizations on the space $\overline{\mathcal{X}}_2=\mathfrak{b}_n\times GL_n\times\mathfrak{n}_n$ considered in the earlier paper of the authors. We explain that the pull-back on the stable part of the space $\overline{\mathcal{X}_2}$ intertwines with the natural homomorphism from the affine braid group $Br_n^{aff}$ to the finite braid group $Br_n$. This observation allows us derive a relation between the knot homology of the closure of $\beta\in Br_n$ and the knot homology of the closure of $\beta\cdot\delta$ where $\delta$ is a product of the JM elements in $Br_n$


title: ExoMol molecular line lists XIX: high accuracy computed hot line lists for H$_2$$^{18}$O and H$_2$$^{17}$O

abstract: Hot line lists for two isotopologues of water, \octo\ and \heto, are presented. The calculations employ newly constructed potential energy surfaces (PES) which take advantage of a novel method for using the large set of experimental energy levels for \hato\ to give high quality predictions for \octo\ and \heto. This procedure greatly extends the energy range for which a PES can be accurately determined, allowing accurate prediction of higher-lying energy levels than are currently known from direct laboratory measurements. This PES is combined with a high-accuracy, {\it ab initio} dipole moment surface of water in the computation of all energy levels, transition frequencies and associated Einstein A coefficients for states with rotational excitation up to $J=50$ and energies up to 30~000 \cm. The resulting HotWat78 line lists complement the well-used BT2 \hato\ line list (Barber et.al, 2006, MNRAS, {\bf 368}, 1087). Full line lists are made available in the electronic form as supplementary data to this article and at \url{www.exomol.com}.


title: The LCES HIRES/Keck Precision Radial Velocity Exoplanet Survey

abstract: We describe a 20-year survey carried out by the Lick-Carnegie Exoplanet Survey Team (LCES), using precision radial velocities from HIRES on the Keck-I telescope to find and characterize extrasolar planetary systems orbiting nearby F, G, K, and M dwarf stars. We provide here 60,949 precision radial velocities for 1,624 stars contained in that survey. We tabulate a list of 357 significant periodic signals that are of constant period and phase, and not coincident in period and/or phase with stellar activity indices. These signals are thus strongly suggestive of barycentric reflex motion of the star induced by one or more candidate exoplanets in Keplerian motion about the host star. Of these signals, 225 have already been published as planet claims, 60 are classified as significant unpublished planet candidates that await photometric follow-up to rule out activity-related causes, and 54 are also unpublished, but are classified as "significant" signals that require confirmation by additional data before rising to classification as planet candidates. Of particular interest is our detection of a candidate planet with a minimum mass of 3.9 Earth masses and an orbital period of 9.9 days orbiting Lalande 21185, the fourth-closest main sequence star to the Sun. For each of our exoplanetary candidate signals, we provide the period and semi-amplitude of the Keplerian orbital fit, and a likelihood ratio estimate of its statistical significance. We also tabulate 18 Keplerian-like signals that we classify as likely arising from stellar activity.


title: The homotopy Lie algebra of symplectomorphism groups of 3-fold blow-ups of $(S^2 \times S^2, \sigma_{std} \oplus \sigma_{std}) $

abstract: We consider the 3-point blow-up of the manifold $ (S^2 \times S^2, \sigma \oplus \sigma)$ where $\sigma$ is the standard symplectic form which gives area 1 to the sphere $S^2$, and study its group of symplectomorphisms $\rm{Symp} ( S^2 \times S^2 \#\, 3\overline{\mathbb C\mathbb P}\,\!^2, \omega)$. So far, the monotone case was studied by J. Evans and he proved that this group is contractible. Moreover, J. Li, T. J. Li and W. Wu showed that the group Symp$_{h}(S^2 \times S^2 \#\, 3\overline{ \mathbb C\mathbb P}\,\!^2,\omega) $ of symplectomorphisms that act trivially on homology is always connected and recently they also computed its fundamental group. We describe, in full detail, the rational homotopy Lie algebra of this group. We show that some particular circle actions contained in the symplectomorphism group generate its full topology. More precisely, they give the generators of the homotopy graded Lie algebra of $\rm{Symp} (S^2 \times S^2 \#\, 3\overline{ \mathbb C\mathbb P}\,\!^2, \omega)$. Our study depends on Karshon's classification of Hamiltonian circle actions and the inflation technique introduced by Lalonde-McDuff. As an application, we deduce the rank of the homotopy groups of $\rm{Symp}({\mathbb C\mathbb P}^2 \#\, 5\overline{\mathbb C\mathbb P}\,\!^2, \tilde \omega)$, in the case of small blow-ups.


title: Stochastic Exponentials and Logarithms on Stochastic Intervals -- A Survey

abstract: Stochastic exponentials are defined for semimartingales on stochastic intervals, and stochastic logarithms are defined for semimartingales, up to the first time the semimartingale hits zero continuously. In the case of (nonnegative) local supermartingales, these two stochastic transformations are inverse to each other. The reciprocal of a stochastic exponential on a stochastic interval is again a stochastic exponential on a stochastic interval.


title: Hyperbolic Anosov C-systems. Exponential Decay of Correlation Functions

abstract: The uniformly hyperbolic Anosov C-systems defined on a torus have exponential instability of their trajectories, and as such C-systems have mixing of all orders and nonzero Kolmogorov entropy. The mixing property of all orders means that all its correlation functions tend to zero and the question of a fundamental interest is a speed at which they tend to zero. It was proven that the speed of decay in the C-systems is exponential, that is, the observables on the phase space become independent and uncorrelated exponentially fast. It is important to specify the properties of the C-system which quantify the exponential decay of correlations. We have found that the upper bound on the exponential decay of the correlation functions universally depends on the value of a system entropy. A quintessence of the analyses is that local and homogeneous instability of the C-system phase space trajectories translated into the exponential decay of the correlation functions at the rate which is proportional to the Kolmogorov entropy, one of the fundamental characteristics of the Anosov automorphisms. This result allows to define the decorrrelation and relaxation times of a C-system in terms of its entropy and characterise the statistical properties of a broad class of dynamical systems, including pseudorandom number generators and gravitational systems.


title: Electronic Structure of Manganese Phthalocyanine Modified via Potassium Intercalation: a Comprehensive Experimental Study

abstract: Potassium (K) intercalated manganese phthalocyanine (MnPc) reveals vast changes of its electronic states close to the Fermi level. However, theoretical studies are controversial regarding the electronic configuration. Here, MnPc doped with K was studied by ultraviolet, X-ray, and inverse photoemission, as well as near edge X-ray absorption fine structure spectroscopy. Upon K intercalation the Fermi level shifts toward the lowest unoccupied molecular orbital filling it up with donated electrons with the appearance of an additional feature in the energy region of the occupied states. The electronic bands are pinned 0.5 eV above and 0.4 eV below the Fermi level. The branching ratio of the Mn L3 and L2 edges indicate an increase of the spin state. Moreover, the evolution of the Mn L and N K edges reveals strong hybridization between Mn 3d and N 2p states of MnPc and sheds light on the electron occupation in the ground and n-doped configurations.


title: Inverse problems in models of resource distribution

abstract: We continue to study the problem of modeling of substitution of production factors motivated by the need for computable mathematical models of economics that could be used as a basis in applied developments. This problem has been studied for several decades, and several connections to complex analysis and geometry has been established. We describe several models of resource distribution and discuss the inverse problems for the generalized Radon transform arising is these models. We give a simple explicit range characterization for a particular case of the generalized Radon transform, and we apply it to show that the most popular production functions are compatible with these models. Besides, we give a necessary condition and a sufficient condition for solvability of the model identification problem in the form of an appropriate moment problem. These conditions are formulated in terms of rhombic tilings.


title: Physical renormalization schemes and asymptotic safety in quantum gravity

abstract: The methods of the renormalization group and the $\varepsilon$-expansion are applied to quantum gravity revealing the existence of an asymptotically safe fixed point in spacetime dimensions higher than two. To facilitate this, physical renormalization schemes are exploited where the renormalization group flow equations take a form which is independent of the parameterisation of the physical degrees of freedom (i.e. the gauge fixing condition and the choice of field variables). Instead the flow equation depends on the anomalous dimensions of reference observables. In the presence of spacetime boundaries we find that the required balance between the Einstein-Hilbert action and Gibbons-Hawking-York boundary term is preserved by the beta functions. Exploiting the $\varepsilon$-expansion near two dimensions we consider Einstein gravity coupled to matter. Scheme independence is generically obscured by the loop-expansion due to breaking of two-dimensional Weyl invariance. In schemes which preserve two-dimensional Weyl invariance we avoid the loop expansion and find a unique ultra-violet (UV) fixed point. At this fixed point the anomalous dimensions are large and one must resum all loop orders to obtain the critical exponents. Performing the resummation a set of universal scaling dimensions are found. These scaling dimensions show that only a finite number of matter interactions are relevant. This is a strong indication that quantum gravity is renormalizable.


title: Elements of estimation theory for causal effects in the presence of network interference

abstract: Randomized experiments in which the treatment of a unit can affect the outcomes of other units are becoming increasingly common in healthcare, economics, and in the social and information sciences. From a causal inference perspective, the typical assumption of no interference becomes untenable in such experiments. In many problems, however, the patterns of interference may be informed by the observation of network connections among the units of analysis. Here, we develop elements of optimal estimation theory for causal effects leveraging an observed network, by assuming that the potential outcomes of an individual depend only on the individual's treatment and on the treatment of the neighbors. We propose a collection of exclusion restrictions on the potential outcomes, and show how subsets of these restrictions lead to various parameterizations. Considering the class of linear unbiased estimators of the average direct treatment effect, we derive conditions on the design that lead to the existence of unbiased estimators, and offer analytical insights on the weights that lead to minimum integrated variance estimators. We illustrate the improved performance of these estimators when compared to more standard biased and unbiased estimators, using simulations.


title: Autonomous line follower robot controlled by cell culture

abstract: Neuro-electronic hybrid promises to bring up a model architecture for computing. Such computing architecture could help to bring the power of biological connection and electronic circuits together for better computing paradigm. Such paradigms for solving real world tasks with higher accuracy is on demand now. A robot as a autonomous system is modeled here to navigate following a particular line. Sensory inputs from robot is directed as input to the cell culture in response to which motor commands are generated from the culture.


title: Elliptic genus of singular algebraic varieties and quotients

abstract: We discuss the basic properties of various versions of two variable elliptic genus with special attention to the equivariant elliptic genus. The main applications are to the elliptic genera attached to non-compact GITs, including the elliptic genera of Witten's phases on $N=2$ theories.


title: Entropy, gap and a multi-parameter deformation of the Fredkin spin chain

abstract: We introduce a multi-parameter deformation of the Fredkin spin $1/2$ chain whose ground state is a weighted superposition of Dyck paths, depending on a set of parameters $t_i$ along the chain. The parameters are introduced in such a way to maintain the system frustration-free while allowing to explore a range of possible phases. In the case where the parameters are uniform, and a color degree of freedom is added we establish a phase diagram with a transition between an area law and a volume low. The volume entropy obtained for half a chain is $n \log s$ where $n$ is the half-chain length and $s$ is the number of colors. Next, we prove an upper bound on the spectral gap of the $t>1, s>1$ phase, scaling as $\Delta=O((4s)^nt^{-n^2/2})$, similar to a recent a result about the deformed Motzkin model, albeit derived in a different way. Finally, using an additional variational argument we prove an exponential lower bound on the gap of the model for $t>1, s=1$, which provides an example of a system with bounded entanglement entropy and a vanishing spectral gap.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Structured illumination multimodal 3D-resolved quantitative phase and fluorescence sub-diffraction microscopy

abstract: Sub-diffraction resolution imaging has played a pivotal role in biological research by visualizing key, but previously unresolvable, sub-cellular structures. Unfortunately, applications of far-field sub-diffraction resolution are currently divided between fluorescent and coherent-diffraction regimes, and a multimodal sub-diffraction technique that bridges this gap has not yet been demonstrated. Here we report that structured illumination (SI) allows multimodal sub-diffraction imaging of both coherent quantitative-phase (QP) and fluorescence. Due to the conventional fluorescent applications of SI, we first demonstrated the principle of SI-enabled three-dimensional (3D) QP sub-diffraction imaging with calibration microspheres. Image analysis confirmed enhanced lateral and axial resolutions over diffraction-limited QP imaging, and established striking parallels between coherent SI and conventional optical diffraction tomography. We next introduce an optical system utilizing SI to achieve 3D sub-diffraction, multimodal QP/fluorescent visualization of A549 biological cells fluorescently tagged for F-actin. Our results suggest that SI has unique utility in studying biological phenomena with significant molecular, biophysical, and biochemical components.


title: On the black hole interior in string theoy

abstract: The potential behind the horizon of an eternal black hole in classical theories is described in terms of data that is available to an external observer -- the reflection coefficient of a wave that scatters on the black hole. In GR and perturbative string theory (in $\alpha'$), the potential is regular at the horizon and it blows up at the singularity. The exact reflection coefficient, that is known for the $SL(2,\mathbb{R})_k/U(1)$ black hole and includes non-perturbative $\alpha'$ effects, seems however to imply that there is a highly non-trivial structure just behind the horizon.


title: Similarity Preserving Representation Learning for Time Series Clustering

abstract: A considerable amount of clustering algorithms take instance-feature matrices as their inputs. As such, they cannot directly analyze time series data due to its temporal nature, usually unequal lengths, and complex properties. This is a great pity since many of these algorithms are effective, robust, efficient, and easy to use. In this paper, we bridge this gap by proposing an efficient representation learning framework that is able to convert a set of time series with various lengths to an instance-feature matrix. In particular, we guarantee that the pairwise similarities between time series are well preserved after the transformation, thus the learned feature representation is particularly suitable for the time series clustering task. Given a set of $n$ time series, we first construct an $n\times n$ partially-observed similarity matrix by randomly sampling $\mathcal{O}(n \log n)$ pairs of time series and computing their pairwise similarities. We then propose an efficient algorithm that solves a non-convex and NP-hard problem to learn new features based on the partially-observed similarity matrix. By conducting extensive empirical studies, we show that the proposed framework is more effective, efficient, and flexible, compared to other state-of-the-art time series clustering methods.


title: Second mod $2$ homology of Artin groups

abstract: In this paper, we compute the second mod $2$ homology of an arbitrary Artin group, without assuming the $K(\pi,1)$ conjecture. The key ingredients are (A) Hopf's formula for the second integral homology of a group and (B) Howlett's result on the second integral homology of Coxeter groups.


title: Geometrically frustrated Cairo pentagonal lattice stripe with Ising and Heisenberg exchange interactions

abstract: Motivated by the recent discoveries of some compounds such as the $\mathrm{Bi}_{2}\mathrm{Fe}_{4}\mathrm{O}_{9}$ which crystallizes in an orthorhombic crystal structure with the $\mathrm{Fe}^{3+}$ ions, and iron-based oxyfluoride ${\rm Bi}_{4}{\rm Fe}_{5}{\rm O}_{13}{\rm F}$ compounds following the pattern of Cairo pentagonal structure, among some other compounds. We propose a model for one stripe of the Cairo pentagonal Ising-Heisenberg lattice, one of the edges of a pentagon is different, and this edge will be associated with a Heisenberg exchange interaction, while the Ising exchange interactions will associate the other edges. We study the phase transition at zero temperature, illustrating five phases: a ferromagnetic phase (FM), a dimer antiferromagnetic (DAF), a plaquette antiferromagnetic (PAF), a typical antiferromagnetic (AFM) and a peculiar frustrated phase (FRU) where two types of frustrated states with the same energy coexist. To obtain the partition function of this model, we use the transfer matrix approach and following the eight vertex model notation. Using this result we discuss the specific heat, internal energy and entropy as a function of the temperature, and we can observe some unexpected behavior in the low-temperature limit, such as anomalous double peak in specific heat due to the existence of three phase (FRU, PAF(AFM) and FM) transitions occurring in a close region to each other. Consequently, the low-lying energy thermal excitation generates this double anomalous peak, and we also discuss the internal energy at the low temperature limit, where this double peak curve occurs. Some properties of our result were compared with two dimensional Cairo pentagonal lattices, as well as orthogonal dimer plaquette Ising-Heisenberg chain.


title: Post-Quantum Cryptography(PQC): Generalized ElGamal Cipher over GF(251^8)

abstract: Post-Quantum Cryptography (PQC) attempts to find cryptographic protocols resistant to attacks by means of for instance Shor's polynomial time algorithm for numerical field problems like integer factorization (IFP) or the discrete logarithm (DLP). Other aspects are the backdoors discovered in deterministic random generators or recent advances in solving some instances of DLP. The use of alternative algebraic structures like non-commutative or non-associative partial groupoids, magmas, monoids, semigroups, quasigroups or groups, are valid choices for these new kinds of protocols. In this paper, we focus in an asymmetric cipher based on a generalized ElGamal non-arbitrated protocol using a non-commutative general linear group. The developed protocol forces a hard subgroup membership search problem into a non-commutative structure. The protocol involves at first a generalized Diffie-Hellman key interchange and further on the private and public parameters are recursively updated each time a new cipher session is launched. Security is based on a hard variation of the Generalized Symmetric Decomposition Problem (GSDP). Working with GF(251^8) a 64-bits security is achieved, and if GF(251^16) is chosen, the security rises to 127-bits. An appealing feature is that there is no need for big number libraries as all arithmetic if performed in Z_251 and therefore the new protocol is particularly useful for computational platforms with very limited capabilities like smartphones or smartcards.


title: Properties of cyanobacterial UV-absorbing pigments suggest their evolution was driven by optimizing photon dissipation rather than photoprotection

abstract: An ancient repertoire of UV absorbing pigments which survive today in the phylogenetically oldest extant photosynthetic organisms the cyanobacteria point to a direction in evolutionary adaptation of the pigments and their associated biota from largely UVC absorbing pigments in the Archean to pigments covering ever more of the longer wavelength UV and visible in the Phanerozoic.Such a scenario implies selection of photon dissipation rather than photoprotection over the evolutionary history of life.This is consistent with the thermodynamic dissipation theory of the origin and evolution of life which suggests that the most important hallmark of biological evolution has been the covering of Earths surface with organic pigment molecules and water to absorb and dissipate ever more completely the prevailing surface solar spectrum.In this article we compare a set of photophysical photochemical biosynthetic and other germane properties of the two dominant classes of cyanobacterial UV absorbing pigments the mycosporine like amino acids MAAs and scytonemins.Pigment wavelengths of maximum absorption correspond with the time dependence of the prevailing Earth surface solar spectrum and we proffer this as evidence for the selection of photon dissipation rather than photoprotection over the history of life on Earth.


title: Subspace-Aware Index Codes

abstract: In this paper, we generalize the well-known index coding problem to exploit the structure in the source-data to improve system throughput. In many applications, the data to be transmitted may lie (or can be well approximated) in a low-dimensional subspace. We exploit this low-dimensional structure of the data using an algebraic framework to solve the index coding problem (referred to as subspace-aware index coding) as opposed to the traditional index coding problem which is subspace-unaware. Also, we propose an efficient algorithm based on the alternating minimization approach to obtain near optimal index codes for both subspace-aware and -unaware cases. Our simulations indicate that under certain conditions, a significant throughput gain (about 90%) can be achieved by subspace-aware index codes over conventional subspace-unaware index codes.


title: On the Capacity of a Class of Signal-Dependent Noise Channels

abstract: In some applications, the variance of additive measurement noise depends on the signal that we aim to measure. For instance, additive Gaussian signal-dependent noise (AGSDN) channel models are used in molecular and optical communication. Herein we provide lower and upper bounds on the capacity of additive signal-dependent noise (ASDN) channels. The idea of the first lower bound is the extension of the majorization inequality, and for the second one, it uses some calculations based on the fact that $h(Y) > h (Y|Z)$. Both of them are valid for all additive signal-dependent noise (ASDN) channels defined in the paper. The upper bound is based on a previous idea of the authors ("symmetric relative entropy") and is used for the additive Gaussian signal-dependent noise (AGSDN) channels. These bounds indicate that in ASDN channels (unlike the classical AWGN channels), the capacity does not necessarily become larger by making the variance function of the noise smaller. We also provide sufficient conditions under which the capacity becomes infinity. This is complemented by a number of conditions that imply capacity is finite and a unique capacity achieving measure exists (in the sense of the output measure).


title: Three-dimensional localized-delocalized Anderson transition in the time domain

abstract: Systems which can spontaneously reveal periodic evolution are dubbed time crystals. This is in analogy with space crystals that display periodic behavior in configuration space. While space crystals are modelled with the help of space periodic potentials, crystalline phenomena in time can be modelled by periodically driven systems. Disorder in the periodic driving can lead to Anderson localization in time: the probability for detecting a system at a fixed point of configuration space becomes exponentially localized around a certain moment in time. We here show that a three-dimensional system exposed to a properly disordered pseudo-periodic driving may display a localized-delocalized Anderson transition in the time domain, in strong analogy with the usual three-dimensional Anderson transition in disordered systems. Such a transition could be experimentally observed with ultra-cold atomic gases.

categories: quant-ph cond-mat.dis-nn cond-mat.quant-gas physics.atom-ph


title: Graph Neural Networks and Boolean Satisfiability

abstract: In this paper we explore whether or not deep neural architectures can learn to classify Boolean satisfiability (SAT). We devote considerable time to discussing the theoretical properties of SAT. Then, we define a graph representation for Boolean formulas in conjunctive normal form, and train neural classifiers over general graph structures called Graph Neural Networks, or GNNs, to recognize features of satisfiability. To the best of our knowledge this has never been tried before. Our preliminary findings are potentially profound. In a weakly-supervised setting, that is, without problem specific feature engineering, Graph Neural Networks can learn features of satisfiability.


title: Parity-Forbidden Transitions and Their Impacts on the Optical Absorption Properties of Lead-Free Metal Halide Perovskites and Double Perovskites

abstract: Using density-functional theory calculations, we analyze the optical absorption properties of lead (Pb)-free metal halide perovskites (AB$^{2+}$X$_3$) and double perovskites (AB$^+$B$^{3+}$X$_6$) (A = Cs or monovalent organic ion, B$^{2+}$ = non-Pb divalent metal, B$^+$ = monovalent metal, B$^{3+}$ = trivalent metal, X = halogen). We show that, if B$^{2+}$ is not Sn or Ge, Pb-free metal halide perovskites exhibit poor optical absorptions because of their indirect bandgap nature. Among the nine possible types of Pb-free metal halide double perovskites, six have direct bandgaps. Of these six types, four show inversion symmetry-induced parity-forbidden or weak transitions between band edges, making them not ideal for thin-film solar cell application. Only one type of Pb-free double perovskite shows optical absorption and electronic properties suitable for solar cell applications, namely those with B$^+$ = In, Tl and B$^{3+}$ = Sb, Bi. Our results provide important insights for designing new metal halide perovskites and double perovskites for optoelectronic applications.


title: Genetic and Memetic Algorithm with Diversity Equilibrium based on Greedy Diversification

abstract: The lack of diversity in a genetic algorithm's population may lead to a bad performance of the genetic operators since there is not an equilibrium between exploration and exploitation. In those cases, genetic algorithms present a fast and unsuitable convergence. In this paper we develop a novel hybrid genetic algorithm which attempts to obtain a balance between exploration and exploitation. It confronts the diversity problem using the named greedy diversification operator. Furthermore, the proposed algorithm applies a competition between parent and children so as to exploit the high quality visited solutions. These operators are complemented by a simple selection mechanism designed to preserve and take advantage of the population diversity. Additionally, we extend our proposal to the field of memetic algorithms, obtaining an improved model with outstanding results in practice. The experimental study shows the validity of the approach as well as how important is taking into account the exploration and exploitation concepts when designing an evolutionary algorithm.


title: Refractive index tomography with structured illumination

abstract: This work introduces a novel reinterpretation of structured illumination (SI) microscopy for coherent imaging that allows three-dimensional imaging of complex refractive index (RI). To do so, we show that coherent SI is mathematically equivalent to a superposition of angled illuminations. It follows that raw acquisitions for standard SI-enhanced quantitative-phase images can be processed into complex electric-field maps describing sample diffraction under angled illuminations. Standard diffraction tomography (DT) computation can then be used to reconstruct the sample 3D RI distribution at sub-diffraction resolutions. We demonstrate this concept by using a SI-quantitative-phase imaging system to computationally reconstruct 3D RI distributions of human breast (MCF-7) and colorectal (HT-29) adenocarcinoma cells. Our experimental setup uses a spatial light modulator to generate structured patterns at the sample and collects angle-dependent sample diffraction using a common-path, off-axis interference configuration with no moving components. Furthermore, this technique holds promise for easy pairing with SI fluorescence microscopy, and important future extensions may include multimodal, sub-diffraction resolution, 3D RI and fluorescent visualizations.


title: Novel Baseband Equivalent Models of Quadrature Modulated All-Digital Transmitters

abstract: In this paper an exact baseband equivalent model of a quadrature modulated all-digital transmitter is derived. No restrictions on the number of levels of a digital switched-mode power amplifier (SMPA) driving input, nor the pulse encoding scheme employed, are made. This implies a high level of generality of the proposed model. We show that all-digital transmitter (ADT) can be represented as a series connection of the pulse encoder, discrete-time Volterra series model of fixed degree and memory depth, and a linear time-varying system with special properties. This result suggests a new analytically motivated structure of a digital predistortion (DPD) of SMPA nonlinearities in ADT. Numerical simulations in MATLAB are used to verify proposed baseband equivalent model.


title: Multi-scale modeling of animal movement and general behavior data using hidden Markov models with hierarchical structures

abstract: Hidden Markov models (HMMs) are commonly used to model animal movement data and infer aspects of animal behavior. An HMM assumes that each data point from a time series of observations stems from one of $N$ possible states. The states are loosely connected to behavioral modes that manifest themselves at the temporal resolution at which observations are made. However, due to advances in tag technology, data can be collected at increasingly fine temporal resolutions. Yet, inferences at time scales cruder than those at which data are collected, and which correspond to larger-scale behavioral processes, are not yet answered via HMMs. We include additional hierarchical structures to the basic HMM framework in order to incorporate multiple Markov chains at various time scales. The hierarchically structured HMMs allow for behavioral inferences at multiple time scales and can also serve as a means to avoid coarsening data. Our proposed framework is one of the first that models animal behavior simultaneously at multiple time scales, opening new possibilities in the area of animal movement modeling. We illustrate the application of hierarchically structured HMMs in two real-data examples: (i) vertical movements of harbor porpoises observed in the field, and (ii) garter snake movement data collected as part of an experimental design.


title: Molecular dynamics simulation of threshold displacement energy and primary damage state in Niobium

abstract: In this work, a many-body potential of Nb for radiation damage simulation was developed based on EAM, and most of the point defects of Nb can be predicted properly by this potential. By using the constructed potential, the direction-specific threshold displacement energies (TDE) and displacement cascades up to 20 keV of Nb were performed through molecular dynamics simulations. The calculated results of TDE are in good agreement with previous work for V, Mo and experimental measurements. Lowest TDE was found in <100> direction, and local minas of TDE were found in three low-index directions, which has relation: Ed[100]<Ed[111]<Ed[110]. The evolution of displacement cascades, number of the created point defects, the cascade efficiency the clustering of point defects, and temperature role of these parameters at different PKA energies were systematic investigated. It is found that the cascade efficiency is low and it is can be fitted by a power function as many published work did. The fraction of clustered point defects obtained in this work is low, and only some small clusters were formed at the end of thermal spike. As the temperature increases, the productions of point defects and cascade efficiency were somewhat decreases, however, the fraction of clustered point defects decreases more obvious.


title: Complexity of injective piecewise contracting interval maps

abstract: We study the complexity of the itineraries of injective piecewise contracting maps on the interval. We prove that for any such map the complexity function of any itinerary is eventually affine. We also prove that the growth rate of the complexity is bounded from above by the number $N-1$ of discontinuities of the map. To show that this bound is optimal, we construct piecewise affine contracting maps whose itineraries all have the complexity $(N-1)n +1$. In these examples, the asymptotic dynamics takes place in a minimal Cantor set containing all the discontinuities.


title: Underwater Optical Image Processing: A Comprehensive Review

abstract: Underwater cameras are widely used to observe the sea floor. They are usually included in autonomous underwater vehicles, unmanned underwater vehicles, and in situ ocean sensor networks. Despite being an important sensor for monitoring underwater scenes, there exist many issues with recent underwater camera sensors. Because of lights transportation characteristics in water and the biological activity at the sea floor, the acquired underwater images often suffer from scatters and large amounts of noise. Over the last five years, many methods have been proposed to overcome traditional underwater imaging problems. This paper aims to review the state-of-the-art techniques in underwater image processing by highlighting the contributions and challenges presented in over 40 papers. We present an overview of various underwater image processing approaches, such as underwater image descattering, underwater image color restoration, and underwater image quality assessments. Finally, we summarize the future trends and challenges in designing and processing underwater imaging sensors.


title: Observations of V0332+53 during the 2015 Outburst using Fermi/GBM, MAXI, Swift, and INTEGRAL

abstract: We present the lightcurves, spectra, and hardness-intensity diagram (HID) of the high mass X-ray binary V0332+53 using Fermi/GBM, MAXI, Swift/BAT, and INTEGRAL through its 2015 Type II outburst. We observe characteristic features in the X-ray emission (2-50 keV) due to periastron passages, the dynamical timescale of the accretion disc, and changes within the accretion column between a radiation-dominated flow and a flow dominated by Coulomb interactions. Based on the HID and the light curves, the critical luminosity is observed to decrease by ~5-7 percent during the outburst, signaling a decrease in the magnetic field.


title: Weyl calculus with respect to the Gaussian measure and restricted $L^p$-$L^q$ boundedness of the Ornstein-Uhlenbeck semigroup in complex time

abstract: In this paper, we introduce a Weyl functional calculus $a \mapsto a(Q,P)$ for the position and momentum operators $Q$ and $P$ associated with the Ornstein-Uhlenbeck operator $ L = -\Delta + x\cdot \nabla$, and give a simple criterion for restricted $L^p$-$L^q$ boundedness of operators in this functional calculus. The analysis of this non-commutative functional calculus is simpler than the analysis of the functional calculus of $L$. It allows us to recover, unify, and extend, old and new results concerning the boundedness of $\exp(-zL)$ as an operator from $L^p(\mathbb{R}^d,\gamma_{\alpha})$ to $L^q(\mathbb{R}^d,\gamma_{\beta})$ for suitable values of $z\in \mathbb{C}$ with $\Re z>0$, $p,q\in [1,\infty)$, and $\alpha,\beta>0$. Here, $\gamma_\tau$ denotes the centred Gaussian measure on $\mathbb{R}^d$ with density $(2\pi\tau)^{-d/2}\exp(-|x|^2/2\tau)$.


title: Mean Field Voter Model of Election to the House of Representatives in Japan

abstract: In this study, we propose a mechanical model of a plurality election based on a mean field voter model. We assume that there are three candidates in each electoral district, i.e., one from the ruling party, one from the main opposition party, and one from other political parties. The voters are classified as fixed supporters and herding (floating) voters with ratios of $1-p$ and $p$, respectively. Fixed supporters make decisions based on their information and herding voters make the same choice as another randomly selected voter. The equilibrium vote-share probability density of herding voters follows a Dirichlet distribution. We estimate the composition of fixed supporters in each electoral district and $p$ using data from elections to the House of Representatives in Japan (43rd to 47th). The spatial inhomogeneity of fixed supporters explains the long-range spatial and temporal correlations. The estimated values of $p$ are close to the estimates obtained from a survey.


title: A note on the Lipkin model in arbitrary fermion number

abstract: A possible form of the Lipkin model obeying the su(6)-algebra is presented. It is a natural generalization from the idea for the su(4)-algebra recently proposed by the present authors. All the relation appearing in the present form can be expressed in terms of the spherical tensors in the su(2)-algebras. For specifying the linearly independent basis completely, twenty parameters are introduced. It is concluded that, in these parameters, the ten denote the quantum numbers coming from the eigenvalues of some hermitian operators. The five in these ten determine the minimum weight state.


title: Nearly Instance Optimal Sample Complexity Bounds for Top-k Arm Selection

abstract: In the Best-$k$-Arm problem, we are given $n$ stochastic bandit arms, each associated with an unknown reward distribution. We are required to identify the $k$ arms with the largest means by taking as few samples as possible. In this paper, we make progress towards a complete characterization of the instance-wise sample complexity bounds for the Best-$k$-Arm problem. On the lower bound side, we obtain a novel complexity term to measure the sample complexity that every Best-$k$-Arm instance requires. This is derived by an interesting and nontrivial reduction from the Best-$1$-Arm problem. We also provide an elimination-based algorithm that matches the instance-wise lower bound within doubly-logarithmic factors. The sample complexity of our algorithm strictly dominates the state-of-the-art for Best-$k$-Arm (module constant factors).


title: Sphere geometry and invariants

abstract: A finite abstract simplicial complex G defines two finite simple graphs: the Barycentric refinement G1, connecting two simplices if one is a subset of the other and the connection graph G', connecting two simplices if they intersect. We prove that the Poincare-Hopf value i(x)=1-X(S(x)), where X is Euler characteristics and S(x) is the unit sphere of a vertex x in G1, agrees with the Green function value g(x,x),the diagonal element of the inverse of (1+A'), where A' is the adjacency matrix of G'. By unimodularity, det(1+A') is the product of parities (-1)^dim(x) of simplices in G, the Fredholm matrix 1+A' is in GL(n,Z), where n is the number of simplices in G. We show that the set of possible unit sphere topologies in G1 is a combinatorial invariant of the complex G. So, also the Green function range of G is a combinatorial invariant. To prove the invariance of the unit sphere topology we use that all unit spheres in G1 decompose as a join of a stable and unstable part. The join operation + renders the category X of simplicial complexes into a monoid, where the empty complex is the 0 element and the cone construction adds 1. The augmented Grothendieck group (X,+,0) contains the graph and sphere monoids (Graphs, +,0) and (Spheres,+,0). The Poincare-Hopf functionals i(G) as well as the volume are multiplicative functions on (X,+). For the sphere group, both i(G) as well as Fredholm characteristic are characters. The join + can be augmented with a product * so that we have a commutative ring (X,+,0,*,1)for which there are both additive and multiplicative primes and which contains as a subring of signed complete complexes isomorphic to the integers (Z,+,0,*,1). We also look at the spectrum of the Laplacian of the join of two graphs. Both for addition + and multiplication *, one can ask whether unique prime factorization holds.


title: The ghost stairs stabilize to sharp symplectic embedding obstructions

abstract: In determining when a four-dimensional ellipsoid can be symplectically embedded into a ball, McDuff and Schlenk found an infinite sequence of "ghost" obstructions that generate an infinite "ghost staircase" determined by the even index Fibonacci numbers. The ghost obstructions are not visible for the four-dimensional embedding problem because strictly stronger obstructions also exist. We show that in contrast, the embedding constraints associated to the ghost obstructions are sharp for the stabilized problem; moreover, the corresponding optimal embeddings are given by symplectic folding. The proof introduces several ideas of independent interest, namely: (i) an improved version of the index inequality familiar from the theory of embedded contact homology (ECH), (ii) new applications of relative intersection theory in the context of neck stretching analysis, (iii) a new approach to estimating the ECH grading of multiply covered elliptic orbits in terms of areas and continued fractions, and (iv) a new technique for understanding the ECH of ellipsoids by constructing explicit bijections between certain sets of lattice points.


title: Jordan Decomposition for Formal G-Connections

abstract: A theorem of Hukuhara, Levelt, and Turrittin states that every formal differential operator has a Jordan decomposition. This theorem was generalised by Babbit and Varadarajan to the case of formal $G$-connections where $G$ is a semisimple group. In this paper, we provide straightforward proofs of these facts, highlighting the analogy between the linear and differential settings.


title: Lieb and hole-doped ferrimagnetism, spiral, resonating valence-bond states, and phase separation in large-U $AB_{2}$ Hubbard chains

abstract: The ground state (GS) properties of the quasi-one-dimensional $AB_2$ Hubbard model are investigated taking the effects of charge and spin quantum fluctuations on equal footing. In the strong-coupling regime, we derive a low-energy Lagrangian suitable to describe the ferrimagnetic phase at half filling and the phases in the hole-doped regime. At half filling, a perturbative spin-wave analysis allows us to find the GS energy, sublattice magnetizations, and Lieb total spin per unit cell of the effective quantum Heisenberg model, in very good agreement with previous results. In the challenging hole doping regime away from half filling, we derive the corresponding $t\textrm{-}J$ Hamiltonian. Under the assumption that charge and spin quantum correlations are decoupled, the evolution of the second-order spin-wave modes in the doped regime unveils the occurrence of spatially modulated spin structures and the emergence of phase separation in the presence of resonating-valence-bond states. We also calculate the doping-dependent GS energy and total spin per unit cell, in which case it is shown that the spiral ferrimagnetic order collapses at a critical hole concentration. Notably, our analytical results in the doped regime are in very good agreement with density matrix renormalization group studies, where our assumption of spin-charge decoupling is numerically supported by the formation of charge-density waves in anti-phase with the modulation of the magnetic structure.


title: Raman spectra of crystalline secondary amides

abstract: The study of single-crystal Raman spectra of a series of crystalline secondary amides (acetanilide, methacetin, phenacetine, orthorhombic and monoclinic polymorphs of paracetamol) as well as simple amides formanilide and benzanilide in the temperature range 5-300 K was carried out. The series of compounds with the same molecular fragment, i.e. acetamide group, can serve as a model system to study the interrelation between the latter and the properties of the intermolecular "peptide-type" NH...O=C hydrogen bonds. For all the "acetamide family" of compounds, similar changes in the Raman spectra were observed on cooling the samples: an appearance of new Amide I(-) and Amide I(+) bands that are red and blue shifted respectively from the conventional Amide I band by around of 5-10 inverse centimeters. An appropriated changes in the same temperature range were observed for the N-H out-of-plane bending (Amide V) and N-H stretching vibrations of the N-H...O=C hydrogen bond. All the spectral changes on cooling the samples can be supposed to result from delocalization of the Amide I and N-H modes and appearance of dynamical splitting at low temperature.


title: Partitions and Sylvester waves

abstract: The restricted partition function $p_N(n)$ counts the partitions of the integer $n$ into at most $N$ parts. In the nineteenth century Sylvester described these partitions as a sum of waves. We give detailed descriptions of these waves and, for the first time, show the asymptotics of the initial waves as $N$ and $n$ both go to infinity at about the same rate. This allows us to see when the initial waves are a good approximation to $p_N(n)$ in this situation. Our proofs employ the saddle-point method of Perron and the dilogarithm.


title: Photon emission and atomic collision processes in two-phase argon doped with xenon and nitrogen

abstract: We present a comprehensive analysis of photon emission and atomic collision processes in two-phase argon doped with xenon and nitrogen. The dopants are aimed to convert the VUV emission of pure Ar to the UV emission of the Xe dopant in the liquid phase and to the near UV emission of the N2 dopant in the gas phase. Such a mixture is relevant to two-phase dark matter and low energy neutrino detectors, with enhanced photon collection efficiency for primary and secondary scintillation signals. Based on this analysis, we show that the recently proposed hypothesis of the enhancement of the excitation transfer from Ar to N2 species in the two-phase mode is either incorrect or needs assumption about a new extreme mechanism of excitation transfer coming into force at lower temperatures, in particular that of the resonant excitation transfer via ArN2 compound (van der Waals molecule).

categories: physics.ins-det astro-ph.IM hep-ex physics.atm-clus


title: A Multi-model Combination Approach for Probabilistic Wind Power Forecasting

abstract: Short-term probabilistic wind power forecasting can provide critical quantified uncertainty information of wind generation for power system operation and control. As the complicated characteristics of wind power prediction error, it would be difficult to develop a universal forecasting model dominating over other alternative models. Therefore, a novel multi-model combination (MMC) approach for short-term probabilistic wind generation forecasting is proposed in this paper to exploit the advantages of different forecasting models. The proposed approach can combine different forecasting models those provide different kinds of probability density functions to improve the probabilistic forecast accuracy. Three probabilistic forecasting models based on the sparse Bayesian learning, kernel density estimation and beta distribution fitting are used to form the combined model. The parameters of the MMC model are solved based on Bayesian framework. Numerical tests illustrate the effectiveness of the proposed MMC approach.


title: Multitask diffusion adaptation over networks with common latent representations

abstract: Online learning with streaming data in a distributed and collaborative manner can be useful in a wide range of applications. This topic has been receiving considerable attention in recent years with emphasis on both single-task and multitask scenarios. In single-task adaptation, agents cooperate to track an objective of common interest, while in multitask adaptation agents track multiple objectives simultaneously. Regularization is one useful technique to promote and exploit similarity among tasks in the latter scenario. This work examines an alternative way to model relations among tasks by assuming that they all share a common latent feature representation. As a result, a new multitask learning formulation is presented and algorithms are developed for its solution in a distributed online manner. We present a unified framework to analyze the mean-square-error performance of the adaptive strategies, and conduct simulations to illustrate the theoretical findings and potential applications.


title: Online Prediction with Selfish Experts

abstract: We consider the problem of binary prediction with expert advice in settings where experts have agency and seek to maximize their credibility. This paper makes three main contributions. First, it defines a model to reason formally about settings with selfish experts, and demonstrates that "incentive compatible" (IC) algorithms are closely related to the design of proper scoring rules. Designing a good IC algorithm is easy if the designer's loss function is quadratic, but for other loss functions, novel techniques are required. Second, we design IC algorithms with good performance guarantees for the absolute loss function. Third, we give a formal separation between the power of online prediction with selfish experts and online prediction with honest experts by proving lower bounds for both IC and non-IC algorithms. In particular, with selfish experts and the absolute loss function, there is no (randomized) algorithm for online prediction-IC or otherwise-with asymptotically vanishing regret.


title: Pulsar braking and the P-Pdot diagram

abstract: The location of radio pulsars in the period-period derivative (P-Pdot) plane has been a key diagnostic tool since the early days of pulsar astronomy. Of particular importance is how pulsars evolve through the P-Pdot diagram with time. Here we show that the decay of the inclination angle (alpha-dot) between the magnetic and rotation axes plays a critical role. In particular, alpha-dot strongly impacts on the braking torque, an effect which has been largely ignored in previous work. We carry out simulations which include a negative alpha-dot term, and show that it is possible to reproduce the observational P-Pdot diagram without the need for either pulsars with long birth periods or magnetic field decay. Our best model indicates a birth rate of 1 radio pulsar per century and a total Galactic population of ~20000 pulsars beaming towards Earth.


title: Solving the quantum many-body problem via correlations measured with a momentum microscope

abstract: In quantum many-body theory, all physical observables are described in terms of correlation functions between particle creation/annihilation operators. Measurement of such correlation functions can therefore be regarded as an operational solution to the quantum many-body problem. Here we demonstrate this paradigm by measuring multi-particle momentum correlations up to third order between ultracold helium atoms in an s-wave scattering halo of colliding Bose-Einstein condensates, using a quantum many-body momentum microscope. Our measurements allow us to extract a key building block of all higher-order correlations in this system|the pairing field amplitude. In addition, we demonstrate a record violation of the classical Cauchy-Schwarz inequality for correlated atom pairs and triples. Measuring multi-particle momentum correlations could provide new insights into effects such as unconventional superconductivity and many-body localisation.


title: Quantile Treatment Effects in Difference in Differences Models under Dependence Restrictions and with only Two Time Periods

abstract: This paper shows that the Conditional Quantile Treatment Effect on the Treated can be identified using a combination of (i) a conditional Distributional Difference in Differences assumption and (ii) an assumption on the conditional dependence between the change in untreated potential outcomes and the initial level of untreated potential outcomes for the treated group. The second assumption recovers the unknown dependence from the observed dependence for the untreated group. We also consider estimation and inference in the case where all of the covariates are discrete. We propose a uniform inference procedure based on the exchangeable bootstrap and show its validity. We conclude the paper by estimating the effect of state-level changes in the minimum wage on the distribution of earnings for subgroups defined by race, gender, and education.


title: Dolgopyat's method and the fractal uncertainty principle

abstract: We show a fractal uncertainty principle with exponent $1/2-\delta+\epsilon$, $\epsilon>0$, for Ahflors-David regular subsets of $\mathbb R$ of dimension $\delta\in (0,1)$. This improves over the volume bound $1/2-\delta$, and $\epsilon$ is estimated explicitly in terms of the regularity constant of the set. The proof uses a version of techniques originating in the works of Dolgopyat, Naud, and Stoyanov on spectral radii of transfer operators. Here the group invariance of the set is replaced by its fractal structure. As an application, we quantify the result of Naud on spectral gaps for convex co-compact hyperbolic surfaces and obtain a new spectral gap for open quantum baker maps.


title: Complexity of mixed equilibria in Boolean games

abstract: Boolean games are a succinct representation of strategic games wherein a player seeks to satisfy a formula of propositional logic by selecting a truth assignment to a set of propositional variables under his control. The framework has proven popular within the multiagent community, however, almost invariably, the work to date has been restricted to the case of pure strategies. Such a focus is highly restrictive as the notion of randomised play is fundamental to the theory of strategic games -- even very simple games can fail to have pure-strategy equilibria, but every finite game has at least one equilibrium in mixed strategies. To address this, the present work focuses on the complexity of algorithmic problems dealing with mixed strategies in Boolean games. The main result is that the problem of determining whether a two-player game has an equilibrium satisfying a given payoff constraint is NEXP-complete. Based on this result, we then demonstrate that a number of other decision problems, such as the uniqueness of an equilibrium or the satisfaction of a given formula in equilibrium, are either NEXP or coNEXP-complete. The proof techniques developed in the course of this are then used to show that the problem of deciding whether a given profile is in equilibrium is coNP^#P-hard, and the problem of deciding whether a Boolean game has a rational-valued equilibrium is NEXP-hard, and whether a two-player Boolean game has an irrational-valued equilibrium is NEXP-complete. Finally, we show that determining whether the value of a two-player zero-sum game exceeds a given threshold is EXP-complete.


title: An association between information and communication technology and agriculture knowledge management process in Indian milk co-operatives and non-profit organizations: an empirical analysis

abstract: The purpose of this study is to examine the relationship between information and communication technology (ICT) and knowledge management processes (KM process) in Indian milk co-operatives and non-government organizations. Both qualitative and quantitative methods have been adopted in this study. Data were collected using questionnaires from 275 members working in both milk co-operatives and non-profit organizations (NGOs). The analysis and hypotheses testing were implemented using structural equation modeling technique (SEM). The results showed that ICT has significant (at p = 0.001) and positive effect on KM processes. The results obtained would help managers to better understand the linkage between ICT and KM processes. They could use the results to improve their ICT (tools and infrastructure) for improving the efficiency of KM process in their organizations. The proposed set of metrics could be used as common tools to measure the performance of ICT in KM process in agriculture organizations and for future research.


title: Representations of surface groups with finite mapping class group orbits

abstract: Let $(S,\, \ast)$ be a closed oriented surface with a marked point, let $G$ be a fixed group, and let $\rho\colon\pi_1(S) \longrightarrow G$ be a representation such that the orbit of $\rho$ under the action of the mapping class group $Mod(S,\, \ast)$ is finite. We prove that the image of $\rho$ is finite. A similar result holds if $\pi_1(S)$ is replaced by the free group $F_n$ on $n\geq 2$ generators and where $Mod(S,\, \ast)$ is replaced by $Aut(F_n)$. We thus resolve a well-known question of M. Kisin. We show that if $G$ is a linear algebraic group and if the representation variety of $\pi_1(S)$ is replaced by the character variety, then there are infinite image representations which are fixed by the whole mapping class group.


title: Connections on parahoric torsors over curves

abstract: We define parahoric $\cG$--torsors for certain Bruhat--Tits group scheme $\cG$ on a smooth complex projective curve $X$ when the weights are real, and also define connections on them. We prove that a $\cG$--torsor is given by a homomorphism from $\pi_1(X\setminus D)$ to a maximal compact subgroup of $G$, where $D\, \subset\, X$ is the parabolic divisor, if and only if the torsor is polystable.


title: A Collapsed Generalized Aw-Rascle-Zhang Model and Its Model Accuracy

abstract: This work presents a collapsed generalized Aw-Rascle-Zhang (CGARZ) model, which fits into a generic second order model (GSOM) framework. GSOMs augment the evolution of the traffic density by a second state variable characterizing a property of vehicles or drivers. A cell transmission model for the numerical solution of GSOMs is derived, which is based on analyzing the sending and receiving functions of the traffic density and total property. The predictive accuracy of the CGARZ model is then compared to the classical first-order LWR and four second-order models. To that end, a systematic approach to calibrate model parameters from sensor flow-density data is introduced and applied to all models studied. The comparative model validation is conducted using two types of field data: vehicle trajectory data, and loop detector data. It is shown that the CGARZ model provides an intriguing combination of simple model dynamics in the free-flow regime and a representation of the spread of flow-density data in the congested regime, while possessing a competitive prediction accuracy.


title: Separation of AC$^0[\oplus]$ Formulas and Circuits

abstract: This paper gives the first separation between the power of {\em formulas} and {\em circuits} of equal depth in the $\mathrm{AC}^0[\oplus]$ basis (unbounded fan-in AND, OR, NOT and MOD$_2$ gates). We show, for all $d(n) \le O(\frac{\log n}{\log\log n})$, that there exist {\em polynomial-size depth-$d$ circuits} that are not equivalent to {\em depth-$d$ formulas of size $n^{o(d)}$} (moreover, this is optimal in that $n^{o(d)}$ cannot be improved to $n^{O(d)}$). This result is obtained by a combination of new lower and upper bounds for {\em Approximate Majorities}, the class of Boolean functions $\{0,1\}^n \to \{0,1\}$ that agree with the Majority function on $3/4$ fraction of inputs. $\mathrm{AC}^0[\oplus]$ formula lower bound: We show that every depth-$d$ $\mathrm{AC}^0[\oplus]$ formula of size $s$ has a {\em $1/8$-error polynomial approximation} over $\mathbb{F}_2$ of degree $O(\frac{1}{d}\log s)^{d-1}$. This strengthens a classic $O(\log s)^{d-1}$ degree approximation for \underline{circuits} due to Razborov. Since the Majority function has approximate degree $\Theta(\sqrt n)$, this result implies an $\exp(\Omega(dn^{1/2(d-1)}))$ lower bound on the depth-$d$ $\mathrm{AC}^0[\oplus]$ formula size of all Approximate Majority functions for all $d(n) \le O(\log n)$. Monotone $\mathrm{AC}^0$ circuit upper bound: For all $d(n) \le O(\frac{\log n}{\log\log n})$, we give a randomized construction of depth-$d$ monotone $\mathrm{AC}^0$ circuits (without NOT or MOD$_2$ gates) of size $\exp(O(n^{1/2(d-1)}))$ that compute an Approximate Majority function. This strengthens a construction of \underline{formulas} of size $\exp(O(dn^{1/2(d-1)}))$ due to Amano.


title: Testing the Distance-Duality Relation from Strong Gravitational Lensing, Type Ia Supernovae and Gamma-Ray Bursts Data up to redshift $z\sim3.6$

abstract: In this paper, we perform a cosmological model-independent test of the cosmic distance-duality relation (CDDR) in terms of the ratio of angular diameter distance (ADD) $D=D_{\rm A}^{\rm sl}/D_{\rm A}^{\,\rm s}$ from strong gravitational lensing (SGL) and the ratio of luminosity distance (LD) $D^\ast=D_{\rm L}^{\,\rm l}/D_{\rm L}^{\,\rm s}$ obtained from the joint of type Ia supernovae (SNIa) Union2.1 compilation and the latest Gamma-Ray Bursts (GRBs) data, where the superscripts s and l correspond to the redshifts $z_{\,\rm s}$ and $z_{\,\rm l}$ at the source and lens from SGL samples. The purpose of combining GRB data with SNIa compilation is to test CDDR in a wider redshift range. The LD associated with the redshits of the observed ADD, is obtained through two cosmological model-independent methods, namely, method A: binning the SNIa+GRBs data, and method B: reconstructing the function of DL by combining the Crossing Statistic with the smoothing method. We find that CDDR is compatible with the observations at $1\sigma$ confidence level for the power law model which is assumed to describe the mass distribution of lensing systems with method B in a wider redshift range.


title: Mechanism Design in Social Networks

abstract: This paper studies an auction design problem for a seller to sell a commodity in a social network, where each individual (the seller or a buyer) can only communicate with her neighbors. The challenge to the seller is to design a mechanism to incentivize the buyers, who are aware of the auction, to further propagate the information to their neighbors so that more buyers will participate in the auction and hence, the seller will be able to make a higher revenue. We propose a novel auction mechanism, called information diffusion mechanism (IDM), which incentivizes the buyers to not only truthfully report their valuations on the commodity to the seller, but also further propagate the auction information to all their neighbors. In comparison, the direct extension of the well-known Vickrey-Clarke-Groves (VCG) mechanism in social networks can also incentivize the information diffusion, but it will decrease the seller's revenue or even lead to a deficit sometimes. The formalization of the problem has not yet been addressed in the literature of mechanism design and our solution is very significant in the presence of large-scale online social networks.


title: Multilevel Monte Carlo in Approximate Bayesian Computation

abstract: In the following article we consider approximate Bayesian computation (ABC) inference. We introduce a method for numerically approximating ABC posteriors using the multilevel Monte Carlo (MLMC). A sequential Monte Carlo version of the approach is developed and it is shown under some assumptions that for a given level of mean square error, this method for ABC has a lower cost than i.i.d. sampling from the most accurate ABC approximation. Several numerical examples are given.


title: Model-Free MLE Estimation for Online Rotor Angle Stability Assessment with PMU Data

abstract: Recent research has demonstrated that the rotor angle stability can be assessed by identifying the sign of the system maximal Lyapunov exponent (MLE). A positive (negative) MLE implies unstable (stable) rotor angle dynamics. However, because the MLE may fluctuate between positive and negative values for a long time after a severe disturbance, it is difficult to determine the system stability when observing a positive or negative MLE without knowing its further fluctuation trend. In this paper, a new approach for online rotor angle stability assessment is proposed to address this problem. The MLE is estimated by a recursive least square (RLS) based method based on real-time rotor angle measurements, and two critical parameters, the Theiler window and the MLE estimation initial time step, are carefully chosen to make sure the calculated MLE curves present distinct features for different stability conditions. By using the proposed stability assessment criteria, the developed approach can provide timely and reliable assessment of the rotor angle stability. Extensive tests on the New-England 39-bus system and the Northeast Power Coordinating Council 140-bus system verify the effectiveness of the proposed approach.


title: Polytopes, dualities, and Floer homology

abstract: This article is an exposition of a body of existing results, together with an announcement of recent results. We discuss a theory of polytopes associated to bipartite graphs and trinities, developed by K\'alm\'an, Postnikov and others. This theory exhibits a variety of interesting duality and triality relations, and extends into knot theory, 3-manifold topology and Floer homology. In recent joint work with K\'alm\'an, we extend this story into contact topology and contact invariants in sutured Floer homology.