title: On the Consistent Use of Scale Variations in PDF Fits and Predictions

abstract: We present an investigation of the theoretical uncertainties in parton distribution functions (PDFs) due to missing higher-order corrections in the perturbative predictions used in the fit, and their relationship to the uncertainties in subsequent predictions made using the PDFs. We consider in particular the standard approach of factorization and renormalization scale variation, and derive general results for the consistent application of these at the PDF fit stage. To do this, we use the fact that a PDF fit may be recast in a physical basis, where the PDFs themselves are bypassed entirely, and one instead relates measured observables to predicted ones. In the case of factorization scale variation we find that in various situations there is a high degree of effective correlation between the variation in the fit and in predicted observables. In particular, including such a variation in both cases can lead to an exaggerated theoretical uncertainty. More generally, a careful treatment of this correlation appears mandatory, at least within the standard scale variation paradigm. For the renormalization scale, the situation is less straightforward, but again we highlight the potential for correlations between related processes in the fit and predictions to enter at the same level as between processes in the fit or prediction alone.


title: R-symmetry for Higgs alignment without decoupling

abstract: It has been observed that an automatic alignment without decoupling is predicted at tree-level in a Two-Higgs Doublet Model (2HDM) with extended supersymmetry in the gauge and Higgs sectors. Moreover, it was found that radiative corrections preserve this alignment to a very good precision. We show that it is the non-abelian global $SU(2)_R$ R-symmetry that is at the origin of this alignment. This differs from previously considered Higgs family symmetries as it is present only in the quartic part of the Higgs potential. It can not be imposed to the quadratic part which has to be generated by $N=1$ supersymmetry breaking sectors. This absence of symmetry does not spoil alignment at the minimimum of the potential. We show how the (small) misalignment induced by higher order corrections can be described as the appearance of non-singlet representations of $SU(2)_R$ in the quartic potential.


title: Detecting the Stimulated Decay of Axions at Radio Frequencies

abstract: Assuming axion-like particles account for the entirety of the dark matter in the Universe, we study the possibility of detecting their decay into photons at radio frequencies. We discuss different astrophysical targets, such as dwarf spheroidal galaxies, the Galactic Center and halo, and galaxy clusters. The presence of an ambient radiation field leads to a stimulated enhancement of the decay rate; depending on the environment and the mass of the axion, the effect of stimulated emission may amplify the photon flux by serval orders of magnitude. For axion-photon couplings allowed by astrophysical and laboratory constraints(and possibly favored by stellar cooling), we find the signal to be within the reach of next-generation radio telescopes such as the Square Kilometer Array.


title: The Bremsstrahlung function of $\mathcal{N} \!= \!2 $ SCQCD

abstract: For $SU(N)$ superconformal QCD we perform a three-loop calculation of the generalized cusp anomalous dimension of the BPS Wilson loop operator using HQET formalism. We obtain an expression which is valid at generic geometric and internal angles and finite gauge group rank $N$. For equal and opposite angles this expression vanishes, proving that at these points the cusp becomes BPS. From its small angle expansion we derive the corresponding Bremsstrahlung function at three loops, matching the matrix model prediction given in terms of derivatives of the Wilson loop on the ellipsoid. Finally, we discuss possible scenarios at higher loops, with respect to the existence of a universal effective coupling in an integrable subsector of the model.


title: Spinor-Helicity Formalism for Massless Fields in AdS${}_4$

abstract: In this letter we suggest a natural spinor-helicity formalism for massless fields in AdS${}_4$. It is based on the standard realization of the AdS${}_4$ isometry algebra $so(3,2)$ in terms of differential operators acting on $sl(2,\mathbb{C})$ spinor variables. We start by deriving the AdS counterpart of plane waves in flat space and then use them to evaluate simple scattering amplitudes. Finally, based on symmetry arguments we classify all three-point amplitudes involving massless spinning fields. As in flat space, we find that the spinor-helicity formalism allows to construct additional consistent interactions compared to approaches employing Lorentz tensors.


title: Imaging [CI] around HD 131835: reinterpreting young debris discs with protoplanetary disc levels of CO gas as shielded secondary discs

abstract: Despite being $>10$Myr, there are $\sim$10 debris discs with as much CO gas as in protoplanetary discs. Such discs have been assumed to be "hybrid", i.e., with secondary dust but primordial gas. Here we show that both the dust and gas in such systems could instead be secondary, with the high CO content caused by accumulation of neutral carbon (C$^0$) that shields CO from photodissociating; i.e., these could be "shielded secondary discs". New ALMA observations are presented of HD131835 that detect $\sim 3 \times 10^{-3}$ M$_\oplus$ of C$^0$, the majority 40-200au from the star, in sufficient quantity to shield the previously detected CO. A simple semi-analytic model for the evolution of CO, C and O originating in a volatile-rich planetesimal belt shows how CO shielding becomes important when the viscous evolution is slow (low $\alpha$ parameter) and/or the CO production rate is high. Shielding by C$^0$ may also cause the CO content to reach levels at which CO self-shields, and the gas disc may become massive enough to affect the dust evolution. Application to the HD 131835 observations shows these can be explained if $\alpha \sim 10^{-3}$; an inner cavity in C$^0$ and CO may also mean the system has yet to reach steady state. Application to other debris discs with high CO content finds general agreement for $\alpha=10^{-3}$ to $0.1$. The shielded secondary nature of these gas discs can be tested by searching for C$^0$, as well as CN, N$_2$ and CH$^{+}$, which are also expected to be shielded by C$^0$.


title: Nucleon-to-Roper electromagnetic transition form factors at large-$Q^2$

abstract: High-precision nucleon-resonance electroproduction data on a large kinematic domain of energy and momentum transfer have proven crucial in revealing novel features of strong interactions within the Standard Model and unfolding structural details of baryon excited states. Thus, in anticipation of new data reaching to unprecedented photon virtuality, we employ a quark-diquark approximation to the three valence-quark bound-state problem to compute $\gamma^\ast p \to R^+$ and $\gamma^\ast n \to R^0$ transition form factors on $Q^2/m_N^2 \in [0,12]$, where $m_N$ is the nucleon mass. Having simultaneously analysed both charged and neutral channels, we also provide a quark-flavour separation of the transition form factors. The results should be useful in planning new-generation experiments.


title: Dusty spirals triggered by shadows in transition discs

abstract: Context. Despite the recent discovery of spiral-shaped features in protoplanetary discs in the near-infrared and millimetric wavelengths, there is still an active discussion to understand how they formed. In fact, the spiral waves observed in discs around young stars can be due to different physical mechanisms: planet/companion torques, gravitational perturbations or illumination effects. Aims. We study the spirals formed in the gaseous phase due to two diametrically opposed shadows cast at fixed disc locations. The shadows are created by an inclined non-precessing disc inside the cavity, which is assumed to be optically thick. In particular, we analyse the effect of these spirals on the dynamics of the dust particles and discuss their detectability in transition discs. Methods. We perform gaseous hydrodynamical simulations with shadows, then we compute the dust evolution on top of the gaseous distribution, and finally we produce synthetic ALMA observations of the dust emission based on radiative transfer calculations. Results. Our main finding is that mm- to cm-sized dust particles are efficiently trapped inside the shadow-triggered spirals. We also observe that particles of various sizes starting at different stellocentric distances are well mixed inside these pressure maxima. This dynamical effect would favour grain growth and affect the resulting composition of planetesimals in the disc. In addition, our radiative transfer calculations show spiral patterns in the disc at 1.6 {\mu}m and 1.3 mm. Due to their faint thermal emission (compared to the bright inner regions of the disc) the spirals cannot be detected with ALMA. Our synthetic observations prove however that shadows are observable as dips in the thermal emission.


title: Coupled Wire description of the Correlated Physics in Twisted Bilayer Graphene

abstract: Since the discovery of superconductivity and correlated insulator at fractional electron fillings in the twisted bilayer graphene, most theoretical efforts have been focused on describing this system in terms of an effective extended Hubbard model. However, it was recognized that an exact tight binding model on the Moir\'{e} superlattice which captures all the subtleties of the bands can be exceedingly complicated. Here we pursue an alternative coupled wire description of the system based on the observation that the lattice relaxation effect is strong at small twist angle, which substantially enlarges the AB and BA stacking domains. Under an out-of-plane electric field which can have multiple origins, the low energy physics of the system is dominated by interconnected wires with (approximately) gapless $1d$ conducting quantum valley hall domain wall states. We demonstrate that the Coulomb interaction likely renders the wires a $U(2)_2$ $(1+1)d$ conformal field theory with a tunable Luttinger parameter for the charge $U(1)$ sector. Spin triplet and singlet Cooper pair operator both have quasi-long range order in this CFT. The junction between the wires at the AA stacking islands can lead to either a two dimensional superconductor, or an insulator.


title: Viscoelastic response of quantum Hall fluids in a tilted field

abstract: In this paper, we examine the viscoelastic properties of integer quantum Hall (IQH) states in a tilted magnetic field. In particular, we explore to what extent the tilted-field system behaves like a two-dimensional electron gas with anisotropic mass in the presence of strain deformations. We first review the Kubo formalism for viscosity in an external magnetic field, paying particular attention to the role of rotational symmetry and contact terms. Next, we compute the conductivity, stress, and viscosity tensors for IQH states in the presence of a tilted field and vertical confining potential. By comparing our results with the recently developed bimetric formalism, we show that, at the level of the contracted Hall viscosity tensor, the mapping between tilted field and effective mass anisotropy holds only if we simultaneously modify the background perpendicular magnetic field; in other words, a simultaneous measurement of the density, contracted Hall viscosity, and Hall conductivity at fixed particle number can distinguish between tilted field and effective mass anisotropy. Additionally, we show that in the presence of a tilted magnetic field, the stress tensor acquires an unusual anisotropic ground state average, leading to anomalous elastic response functions. We develop a formalism for projecting a three-dimensional Hamiltonian with confining potential and magnetic field to a two-dimensional Hamiltonian in order to further address the phenomenology of the tilted-field IQH fluid. We find that the projected fluid couples non-minimally to geometric deformations, indicating the presence of internal geometric degrees of freedom.


title: Tomography of an optomechanical oscillator via parametrically amplified position measurement

abstract: We propose a protocol for quantum state tomography of nonclassical states in optomechanical systems. Using a parametric drive, the procedure overcomes the challenges of weak optomechanical coupling, poor detection efficiency, and thermal noise to enable high efficiency homodyne measurement. Our analysis is based on the analytic description of the generalized measurement that is performed when optomechanical position measurement competes with thermal noise and a parametric drive. The proposed experimental procedure is numerically simulated in realistic parameter regimes, which allows us to show that tomographic reconstruction of otherwise unverifiable nonclassical states is made possible.


title: The Caltech-NRAO Stripe 82 Survey (CNSS) Paper II: On-The-Fly Mosaicing Methodology

abstract: Telescope slew and settle time markedly reduces the efficiency of wide-field multi-epoch surveys for sensitive interferometers with small fields of view. The overheads can be mitigated through the use of On-the-Fly Mosaicing (OTFM), where the the antennas are driven at a non-sidereal rate and visibilities are recorded continuously. Here we introduce the OTFM technique for the VLA, and describe its implementation for the Caltech-NRAO Stripe 82 Survey (CNSS), a dedicated 5-epoch survey for slow transients at S band (2-4 GHz). We also describe the OTFSim tool for planning dynamically-scheduled OTFM observations on the VLA, the latest imaging capabilities for OTFM in CASA, and present a comparison of OTFM observations with pointed observations. Using the subset of our observations from the CNSS pilot and final surveys, we demonstrate that the wide-band and wide-field OTFM observations with the VLA can be imaged accurately, and that this technique offers a more efficient alternative to standard mosaicing for multi-epoch shallow surveys such as the CNSS and the VLA Sky Survey (VLASS). We envisage that the new OTFM mode will facilitate new synoptic surveys and high-frequency mapping experiments on the VLA.


title: Classification of Multiwavelength Transients with Machine Learning

abstract: With the advent of powerful telescopes such as the Square Kilometer Array and the Vera C. Rubin Observatory, we are entering an era of multiwavelength transient astronomy that will lead to a dramatic increase in data volume. Machine learning techniques are well suited to address this data challenge and rapidly classify newly detected transients. We present a multiwavelength classification algorithm consisting of three steps: (1) interpolation and augmentation of the data using Gaussian processes; (2) feature extraction using wavelets; and (3) classification with random forests. Augmentation provides improved performance at test time by balancing the classes and adding diversity into the training set. In the first application of machine learning to the classification of real radio transient data, we apply our technique to the Green Bank Interferometer and other radio light curves. We find we are able to accurately classify most of the 11 classes of radio variables and transients after just eight hours of observations, achieving an overall test accuracy of 78 percent. We fully investigate the impact of the small sample size of 82 publicly available light curves and use data augmentation techniques to mitigate the effect. We also show that on a significantly larger simulated representative training set that the algorithm achieves an overall accuracy of 97 percent, illustrating that the method is likely to provide excellent performance on future surveys. Finally, we demonstrate the effectiveness of simultaneous multiwavelength observations by showing how incorporating just one optical data point into the analysis improves the accuracy of the worst performing class by 19 percent.


title: On twisted Verlinde formulae for modular categories

abstract: In this note, we describe two analogues of the Verlinde formula for modular categories in a twisted setting. The classical Verlinde formula for a modular category $\mathscr{C}$ describes the fusion coefficients of $\mathscr{C}$ in terms of the corresponding S-matrix $S(\mathscr{C})$. Now let us suppose that we also have an invertible $\mathscr{C}$-module category $\mathscr{M}$ equipped with a $\mathscr{C}$-module trace. This gives rise to a modular autoequivalence $F:\mathscr{C}\xrightarrow{\cong}\mathscr{C}$. In this setting, we can define a crossed S-matrix $S(\mathscr{C},\mathscr{M})$. As our first twisted analogue of the Verlinde formula, we will describe the fusion coefficients for $\mathscr{M}$ as a $\mathscr{C}$-module category in terms of the S-matrix $S(\mathscr{C})$ and the crossed S-matrix $S(\mathscr{C},\mathscr{M})$. In this twisted setting, we can also define a twisted fusion $\mathbb{Q}^{ab}$-algebra $K_{\mathbb{Q}^{ab}}(\mathscr{C},F)$. As another analogue of the Verlinde formula, we describe the fusion coefficients of the twisted fusion algebra in terms of the crossed S-matrix $S(\mathscr{C},\mathscr{M})$.


title: Atomic gas fractions in active galactic nucleus host galaxies

abstract: The feedback from an active galactic nucleus (AGN) is frequently invoked as a mechanism through which gas can be heated or removed from a galaxy. However, gas fraction measurements in AGN hosts have yielded mixed support for this scenario. Here, we re-visit the assessment of fgas (=MHI/M*) in z<0.05 AGN hosts in the Sloan Digital Sky Survey (SDSS) using two complementary techniques. First, we investigate fgas for 75 AGN host galaxies in the extended GALEX Arecibo SDSS Survey (xGASS), whose atomic gas fractions are complete to a few percent. Second, we construct HI spectral stacks of 1562 AGN from the Arecibo Legacy Fast ALFA (ALFALFA) survey, which enables us to extend the AGN sample to lower stellar masses. Both techniques find that, at fixed M*, AGN hosts with log M*>10.2 are HI rich by a factor of ~2. However, this gas fraction excess disappears when the control sample is additionally matched in star formation rate (SFR), indicating that these AGN hosts are actually HI normal. At lower stellar mass, the stacking analysis reveals that AGN hosts are HI poor at fixed stellar mass. In the lowest M* regime probed by our sample, 9<log M*<9.6, the HI deficit in AGN hosts is a factor of ~4, and remains at a factor of ~2 even when the control sample is additionally matched in SFR. Our results help reconcile previously conflicting results, by showing that matching control samples by more than just stellar mass is critical for a rigourous comparison.


title: Quasi-Renormalizable Quantum Field Theories

abstract: Leading logarithms (LLs) in massless non-renormalizable effective field theories (EFTs) can be computed with the help of non-linear recurrence relations. These recurrence relations follow from the fundamental requirements of unitarity, analyticity and crossing symmetry of scattering amplitudes and generalize the renormalization group technique for the case of non-renormalizable EFTs. We review the existing exact solutions of non-linear recurrence relations relevant for field theoretical applications. We introduce the new class of quantum field theories (quasi-renormalizable field theories) in which the resummation of LLs for $2 \to 2$ scattering amplitudes gives rise to a possibly infinite number of the Landau poles.


title: Finding cosmic voids and filament loops using topological data analysis

abstract: (abridged) We present the Significant Cosmic Holes in Universe (SCHU) method for identifying cosmic voids and loops of filaments in cosmological datasets and assigning their statistical significance using techniques from topological data analysis. Persistent homology is used to find different dimensional holes. For dark matter halo catalogs and galaxy surveys, the 0-, 1-, and 2-dimensional holes can be identified with clusters, loops of filaments, and voids. The procedure overlays halos/galaxies on a 3D grid, and a distance-to-measure (DTM) function is calculated at each point of the grid. A filtration is generated over the lower-level sets of the DTM across increasing threshold values. The filtered simplicial complex can be used to summarize the birth/death times of the different dimension homology group generators (i.e., the holes). Persistence diagrams are produced from the dimension and birth/death times of each homology group generator. Using the persistence diagrams and bootstrap sampling, we explain how $p$-values can be assigned to each homology group generator. The homology group generators on a persistence diagram are not, in general, uniquely located back in the original dataset volume so we propose a method for finding a representation of the homology group generators. This method provides a novel, statistically rigorous approach for locating informative generators in cosmological datasets, which may be useful for providing complementary cosmological constraints on the effects of, for example, the sum of the neutrino masses. The method is tested on a Voronoi foam simulation, and then applied to a subset of the SDSS galaxy survey and a cosmological simulation. Lastly, we calculate Betti functions for two of the MassiveNuS simulations and discuss implications for using the persistent homology of the density field to help break degeneracy in the cosmological parameters.


title: How Robust is the N = 34 Subshell Closure? First Spectroscopy of $^{52}$Ar

abstract: The first $\gamma$-ray spectroscopy of $^{52}$Ar, with the neutron number N = 34, was measured using the $^{53}$K(p,2p) one-proton removal reaction at $\sim$210 MeV/u at the RIBF facility. The 2$^{+}_{1}$ excitation energy is found at 1656(18) keV, the highest among the Ar isotopes with N $>$ 20. This result is the first experimental signature of the persistence of the N = 34 subshell closure beyond $^{54}$Ca, i.e., below the magic proton number Z = 20. Shell-model calculations with phenomenological and chiral-effective-field-theory interactions both reproduce the measured 2$^{+}_{1}$ systematics of neutron-rich Ar isotopes, and support a N = 34 subshell closure in $^{52}$Ar.


title: Dynamics and energy landscape of the jammed spin-liquid

abstract: We study the low temperature static and dynamical properties of the classical bond-disordered antiferromagnetic Heisenberg model on the kagome lattice. This model has recently been shown to host a new type of spin liquid exhibiting an exponentially large number of discrete ground states. Surprisingly, despite the rigidity of the groundstates, we establish the vanishing of the corresponding spin stiffness. Locally, the low-lying eigenvectors of the Hessian appear to exhibit a fractal inverse participation ratio. Its spin dynamics resembles that of Coulomb Heisenberg spin liquids, but exhibits a new low-temperature dynamically arrested regime, which however gets squeezed out with increasing system size. We also probe the properties of the energy landscape underpinning this behaviour, and find energy barriers between distinct ground states vanishing with system size. In turn the local minima appear highly connected and the system tends to lose memory of its inital state in an accumulation of soft directions.


title: Blind Deconvolution using Modulated Inputs

abstract: This paper considers the blind deconvolution of multiple modulated signals, and an arbitrary filter. Multiple inputs $\boldsymbol{s}_1, \boldsymbol{s}_2, \ldots, \boldsymbol{s}_N =: [\boldsymbol{s}_n]$ are modulated (pointwise multiplied) with random sign sequences $\boldsymbol{r}_1, \boldsymbol{r}_2, \ldots, \boldsymbol{r}_N =: [\boldsymbol{r}_n]$, respectively, and the resultant inputs $(\boldsymbol{s}_n \odot \boldsymbol{r}_n) \in \mathbb{C}^Q, \ n = [N]$ are convolved against an arbitrary input $\boldsymbol{h} \in \mathbb{C}^M$ to yield the measurements $\boldsymbol{y}_n = (\boldsymbol{s}_n\odot \boldsymbol{r}_n)\circledast \boldsymbol{h}, \ n = [N] := 1,2,\ldots,N,$ where $\odot$, and $\circledast$ denote pointwise multiplication, and circular convolution. Given $[\boldsymbol{y}_n]$, we want to recover the unknowns $[\boldsymbol{s}_n]$, and $\boldsymbol{h}$. We make a structural assumption that unknown $[\boldsymbol{s}_n]$ are members of a known $K$-dimensional (not necessarily random) subspace, and prove that the unknowns can be recovered from sufficiently many observations using an alternating gradient descent algorithm whenever the modulated inputs $\boldsymbol{s}_n \odot \boldsymbol{r}_n$ are long enough, i.e, $Q \gtrsim KN+M$ (to within log factors and signal dispersion/coherence parameters).


title: Combinatorial Proof of Kakutani's Fixed Point Theorem

abstract: Kakutani's fixed point theorem is a generalization of Brouwer's fixed point theorem to upper semicontinuous multivalued maps and is used extensively in game theory and other areas of economics. Earlier works have shown that Sperner's lemma implies Brouwer's theorem. In this paper, a new combinatorial labeling lemma, generalizing Sperner's original lemma, is given and is used to derive a simple proof for Kakutani's fixed point theorem. The proof is constructive and can be easily applied to numerically approximate the location of fixed points. The main method of the proof is also used to obtain a generalization of Kakutani's theorem for discontinuous maps which are locally gross direction preserving.


title: A Desch-Schappacher perturbation theorem for bi-continuous semigroups

abstract: We prove a Desch-Schappacher type perturbation theorem for one-parameter semigroups on Banach spaces which are not strongly continuous for the norm, but possess a weaker continuity property. In this paper we chose to work in the framework of bi-continuous semigroups. This choice has the advantage that we can treat in a unified manner two important classes of semigroups: implemented semigroups on the Banach algebra $\mathscr{L}(E)$ of bounded, linear operators on a Banach space $E$, and semigroups on the space of bounded and continuous functions over a Polish space induced by jointly continuous semiflows. For both of these classes we present an application of our abstract perturbation theorem


title: Artificial Color Constancy via GoogLeNet with Angular Loss Function

abstract: Color Constancy is the ability of the human visual system to perceive colors unchanged independently of the illumination. Giving a machine this feature will be beneficial in many fields where chromatic information is used. Particularly, it significantly improves scene understanding and object recognition. In this paper, we propose transfer learning-based algorithm, which has two main features: accuracy higher than many state-of-the-art algorithms and simplicity of implementation. Despite the fact that GoogLeNet was used in the experiments, given approach may be applied to any CNN. Additionally, we discuss design of a new loss function oriented specifically to this problem, and propose a few the most suitable options.


title: Monochromatic Sumset Without the use of large cardinals

abstract: We show in this note that in the forcing extension by $Add(\omega,\beth_{\omega})$, the following Ramsey property holds: for any $r\in \omega$ and any $f: \mathbb{R}\to r$, there exists an infinite $X\subset \mathbb{R}$ such that $X+X$ is monochromatic under $f$. We also show the Ramsey statement above is true in $\mathrm{ZFC}$ when $r=2$. This answers two questions by Komj\'ath, Leader, Russell, Shelah, Soukup and Vidny\'anszky.


title: Intermediate Level Adversarial Attack for Enhanced Transferability

abstract: Neural networks are vulnerable to adversarial examples, malicious inputs crafted to fool trained models. Adversarial examples often exhibit black-box transfer, meaning that adversarial examples for one model can fool another model. However, adversarial examples may be overfit to exploit the particular architecture and feature representation of a source model, resulting in sub-optimal black-box transfer attacks to other target models. This leads us to introduce the Intermediate Level Attack (ILA), which attempts to fine-tune an existing adversarial example for greater black-box transferability by increasing its perturbation on a pre-specified layer of the source model. We show that our method can effectively achieve this goal and that we can decide a nearly-optimal layer of the source model to perturb without any knowledge of the target models.


title: Search for a standard model-like Higgs boson in the mass range between 70 and 110 GeV in the diphoton final state in proton-proton collisions at $\sqrt{s} =$ 8 and 13 TeV

abstract: The results of a search for a standard model-like Higgs boson in the mass range between 70 and 110 GeV decaying into two photons are presented. The analysis uses the data set collected with the CMS experiment in proton-proton collisions during the 2012 and 2016 LHC running periods. The data sample corresponds to an integrated luminosity of 19.7 (35.9) fb$^{-1}$ at $\sqrt{s} =$8 (13) TeV. The expected and observed 95% confidence level upper limits on the product of the cross section and branching fraction into two photons are presented. The observed upper limit for the 2012 (2016) data set ranges from 129 (161) fb to 31 (26) fb. The statistical combination of the results from the analyses of the two data sets in the common mass range between 80 and 110 GeV yields an upper limit on the product of the cross section and branching fraction, normalized to that for a standard model-like Higgs boson, ranging from 0.7 to 0.2, with two notable exceptions: one in the region around the Z boson peak, where the limit rises to 1.1, which may be due to the presence of Drell-Yan dielectron production where electrons could be misidentified as isolated photons, and a second due to an observed excess with respect to the standard model prediction, which is maximal for a mass hypothesis of 95.3 GeV with a local (global) significance of 2.8 (1.3) standard deviations.


title: Evaluating the End-User Experience of Private Browsing Mode

abstract: Nowadays, all major web browsers have a private browsing mode. However, the mode's benefits and limitations are not particularly understood. Through the use of survey studies, prior work has found that most users are either unaware of private browsing or do not use it. Further, those who do use private browsing generally have misconceptions about what protection it provides. However, prior work has not investigated \emph{why} users misunderstand the benefits and limitations of private browsing. In this work, we do so by designing and conducting a three-part study: (1) an analytical approach combining cognitive walkthrough and heuristic evaluation to inspect the user interface of private mode in different browsers; (2) a qualitative, interview-based study to explore users' mental models of private browsing and its security goals; (3) a participatory design study to investigate why existing browser disclosures, the in-browser explanations of private browsing mode, do not communicate the security goals of private browsing to users. Participants critiqued the browser disclosures of three web browsers: Brave, Firefox, and Google Chrome, and then designed new ones. We find that the user interface of private mode in different web browsers violates several well-established design guidelines and heuristics. Further, most participants had incorrect mental models of private browsing, influencing their understanding and usage of private mode. Additionally, we find that existing browser disclosures are not only vague, but also misleading. None of the three studied browser disclosures communicates or explains the primary security goal of private browsing. Drawing from the results of our user study, we extract a set of design recommendations that we encourage browser designers to validate, in order to design more effective and informative browser disclosures related to private mode.


title: Towards low overhead magic state distillation

abstract: Magic state distillation is a resource intensive sub-routine for quantum computation. The ratio of noisy input states to output states with error rate at most $\epsilon$ scales as $O(\log^{\gamma}(1/\epsilon))$ (Bravyi and Haah, PRA 2012). In a breakthrough paper, Hastings and Haah (PRL 2018) showed that it is possible to construct distillation routines with sub-logarithmic overhead, achieving $\gamma \approx 0.6779$ and falsifying a conjecture that $\gamma$ is lower bounded by $1$. They then ask whether $\gamma$ can be made arbitrarily close to $0$. We answer this question in the affirmative for magic state distillation routines using qudits ($d$ dimensional quantum systems).


title: An effective packing fraction for better resolution near the critical point of shear thickening suspensions

abstract: We present a technique for obtaining an effective packing fraction for discontinuous shear thickening suspensions near a critical point. It uses a measurable quantity that diverges at the critical point -- in this case the inverse of the shear rate $\dot\gamma_c^{-1}$ at the onset of discontinuous shear thickening -- as a proxy for packing fraction $\phi$. We obtain an effective packing fraction for cornstarch and water by fitting $\dot\gamma_c^{-1}(\phi)$, then invert the function to obtain $\phi_{eff}(\dot\gamma_c)$. We further include the dependence of $\dot\gamma_c^{-1}$ on the rheometer gap $d$ to obtain the function $\phi_{eff}(\dot\gamma_c,d)$. This effective packing fraction $\phi_{eff}$ has better resolution near the critical point than the raw measured packing fraction $\phi$ by as much as an order of magnitude. Furthermore, $\phi_{eff}$ normalized by the critical packing fraction $\phi_c$ can be used to compare rheology data for cornstarch and water suspensions from different lab environments with different temperature and humidity. This technique can be straightforwardly generalized to improve resolution in any system with a diverging quantity near a critical point.


title: On the continuity of the composition operation on spaces of holomorphic mappings

abstract: We discuss the continuity of the composition on several spaces of holomorphic mappings on open subsets of a complex Banach space. On the Fr\'{e}chet space of the entire mappings that are bounded on bounded sets the composition turns to be even holomorphic. In such space we consider linear subspaces closed under left and right composition. We discuss the relationship of such subspaces with ideals of operators and give several examples of them. We also provide natural examples of spaces of holomorphic mappings where the composition is not continuous.


title: Machine learning, phase stability, and disorder with the Automatic Flow Framework for Materials Discovery

abstract: Traditional materials discovery approaches - relying primarily on laborious experiments - have controlled the pace of technology. Instead, computational approaches offer an accelerated path: high-throughput exploration and characterization of virtual structures. These ventures, performed by automated ab-initio frameworks, have rapidly expanded the volume of programmatically-accessible data, cultivating opportunities for data-driven approaches. Herein, a collection of robust characterization methods are presented, implemented within the Automatic Flow Framework for Materials Discovery (AFLOW), that leverages materials data for the prediction of phase diagrams and properties of disordered materials. These methods directly address the issue of materials synthesizability, bridging the gap between simulation and experiment. Powering these predictions is the AFLOW.org repository for inorganic crystals, the largest and most comprehensive database of its kind, containing more than 2 million compounds with about 100 different properties computed for each. As calculated with standardized parameter sets, the wealth of data also presents a favorable learning environment. Machine learning algorithms are employed for property prediction, descriptor development, design rule discovery, and the identification of candidate functional materials. When combined with physical models and intelligently formulated descriptors, the data becomes a powerful tool, facilitating the discovery of new materials for applications ranging from high-temperature superconductors to thermoelectrics. These methods have been validated by the synthesis of two new permanent magnets introduced herein - the first discovered by computational approaches.


title: Fading of collective attention shapes the evolution of linguistic variants

abstract: Language change involves the competition between alternative linguistic forms (1). The spontaneous evolution of these forms typically results in monotonic growths or decays (2, 3) like in winner-take-all attractor behaviors. In the case of the Spanish past subjunctive, the spontaneous evolution of its two competing forms (ended in -ra and -se) was perturbed by the appearance of the Royal Spanish Academy in 1713, which enforced the spelling of both forms as perfectly interchangeable variants (4), at a moment in which the -ra form was dominant (5). Time series extracted from a massive corpus of books (6) reveal that this regulation in fact produced a transient renewed interest for the old form -se which, once faded, left the -ra again as the dominant form up to the present day. We show that time series are successfully explained by a two-dimensional linear model that integrates an imitative and a novelty component. The model reveals that the temporal scale over which collective attention fades is in inverse proportion to the verb frequency. The integration of the two basic mechanisms of imitation and attention to novelty allows to understand diverse competing objects, with lifetimes that range from hours for memes and news (7, 8) to decades for verbs, suggesting the existence of a general mechanism underlying cultural evolution.


title: Double Refinement Network for Efficient Indoor Monocular Depth Estimation

abstract: Monocular depth estimation is the task of obtaining a measure of distance for each pixel using a single image. It is an important problem in computer vision and is usually solved using neural networks. Though recent works in this area have shown significant improvement in accuracy, the state-of-the-art methods tend to require massive amounts of memory and time to process an image. The main purpose of this work is to improve the performance of the latest solutions with no decrease in accuracy. To this end, we introduce the Double Refinement Network architecture. The proposed method achieves state-of-the-art results on the standard benchmark RGB-D dataset NYU Depth v2, while its frames per second rate is significantly higher (up to 18 times speedup per image at batch size 1) and the RAM usage per image is lower.


title: Schur's Lemma for Coupled Reducibility and Coupled Normality

abstract: Let $\mathcal A = \{A_{ij} \}_{i, j \in \mathcal I}$, where $\mathcal I$ is an index set, be a doubly indexed family of matrices, where $A_{ij}$ is $n_i \times n_j$. For each $i \in \mathcal I$, let $\mathcal V_i$ be an $n_i$-dimensional vector space. We say $\mathcal A$ is reducible in the coupled sense if there exist subspaces, $\mathcal U_i \subseteq \mathcal V_i$, with $\mathcal U_i \neq \{0\}$ for at least one $i \in \mathcal I$, and $\mathcal U_i \neq \mathcal V_i$ for at least one $i$, such that $A_{ij} (\mathcal U_j) \subseteq \mathcal U_i$ for all $i, j$. Let $\mathcal B = \{B_{ij} \}_{i, j \in \mathcal I}$ also be a doubly indexed family of matrices, where $B_{ij}$ is $m_i \times m_j$. For each $i \in \mathcal I$, let $X_i$ be a matrix of size $n_i \times m_i$. Suppose $A_{ij} X_j = X_i B_{ij}$ for all~$i, j$. We prove versions of Schur's Lemma for $\mathcal A, \mathcal B$ satisfying coupled irreducibility conditions. We also consider a refinement of Schur's Lemma for sets of normal matrices and prove corresponding versions for $\mathcal A, \mathcal B$ satisfying coupled normality and coupled irreducibility conditions.


title: Analysis of Neptune's 2017 Bright Equatorial Storm

abstract: We report the discovery of a large ($\sim$8500 km diameter) infrared-bright storm at Neptune's equator in June 2017. We tracked the storm over a period of 7 months with high-cadence infrared snapshot imaging, carried out on 14 nights at the 10 meter Keck II telescope and 17 nights at the Shane 120 inch reflector at Lick Observatory. The cloud feature was larger and more persistent than any equatorial clouds seen before on Neptune, remaining intermittently active from at least 10 June to 31 December 2017. Our Keck and Lick observations were augmented by very high-cadence images from the amateur community, which permitted the determination of accurate drift rates for the cloud feature. Its zonal drift speed was variable from 10 June to at least 25 July, but remained a constant $237.4 \pm 0.2$ m s$^{-1}$ from 30 September until at least 15 November. The pressure of the cloud top was determined from radiative transfer calculations to be 0.3-0.6 bar; this value remained constant over the course of the observations. Multiple cloud break-up events, in which a bright cloud band wrapped around Neptune's equator, were observed over the course of our observations. No "dark spot" vortices were seen near the equator in HST imaging on 6 and 7 October. The size and pressure of the storm are consistent with moist convection or a planetary-scale wave as the energy source of convective upwelling, but more modeling is required to determine the driver of this equatorial disturbance as well as the triggers for and dynamics of the observed cloud break-up events.


title: Stable Opponent Shaping in Differentiable Games

abstract: A growing number of learning methods are actually differentiable games whose players optimise multiple, interdependent objectives in parallel -- from GANs and intrinsic curiosity to multi-agent RL. Opponent shaping is a powerful approach to improve learning dynamics in these games, accounting for player influence on others' updates. Learning with Opponent-Learning Awareness (LOLA) is a recent algorithm that exploits this response and leads to cooperation in settings like the Iterated Prisoner's Dilemma. Although experimentally successful, we show that LOLA agents can exhibit 'arrogant' behaviour directly at odds with convergence. In fact, remarkably few algorithms have theoretical guarantees applying across all (n-player, non-convex) games. In this paper we present Stable Opponent Shaping (SOS), a new method that interpolates between LOLA and a stable variant named LookAhead. We prove that LookAhead converges locally to equilibria and avoids strict saddles in all differentiable games. SOS inherits these essential guarantees, while also shaping the learning of opponents and consistently either matching or outperforming LOLA experimentally.


title: Integral input-to-state stability of unbounded bilinear control systems

abstract: We study input-to-state stability of bilinear control systems with possibly unbounded control operators. Natural sufficient conditions for integral input-to-state stability are given. The obtained results are applied to a bilinearly controlled Fokker-Planck equation.


title: The first study of 54 new eccentric eclipsing binaries in our Galaxy

abstract: We present an analysis of the apsidal motion and light curve parameters of 54 never-before-studied galactic Algol-type binaries. This is the first analysis of such a large sample of eccentric eclipsing binaries in our Galaxy, and has enabled us to identify several systems that are worthy of further study. Bringing together data from various databases and surveys, supplemented with new observations, we have been able to trace the long-term evolution of the eccentric orbit over durations extending back up to several decades. Our present study explores a rather different sample of stars to those presented in the previously published catalogue of eccentric eclipsing binaries, sampling to fainter magnitudes, covering later spectral types, sensitive to different orbital periods with more than 50% of our systems having periods longer than six days. The typical apsidal motion in the sample is rather slow (mostly of order of centuries long), although in some cases this is less than 50 yr. All of the systems, except one, have eccentricities less than 0.5, with an average value of 0.23. Several of the stars also show evidence for additional period variability. In particular we can identify three systems in the sample, HD 44093, V611 Pup, and HD 313631, which likely represent relativistic apsidal rotators.


title: A Hierarchical Spatio-Temporal Statistical Model Motivated by Glaciology

abstract: In this paper, we extend and analyze a Bayesian hierarchical spatio-temporal model for physical systems. A novelty is to model the discrepancy between the output of a computer simulator for a physical process and the actual process values with a multivariate random walk. For computational efficiency, linear algebra for bandwidth limited matrices is utilized, and first-order emulator inference allows for the fast emulation of a numerical partial differential equation (PDE) solver. A test scenario from a physical system motivated by glaciology is used to examine the speed and accuracy of the computational methods used, in addition to the viability of modeling assumptions. We conclude by discussing how the model and associated methodology can be applied in other physical contexts besides glaciology.


title: Community Organizations: Changing the Culture in Which Research Software Is Developed and Sustained

abstract: Software is the key crosscutting technology that enables advances in mathematics, computer science, and domain-specific science and engineering to achieve robust simulations and analysis for science, engineering, and other research fields. However, software itself has not traditionally received focused attention from research communities; rather, software has evolved organically and inconsistently, with its development largely as by-products of other initiatives. Moreover, challenges in scientific software are expanding due to disruptive changes in computer hardware, increasing scale and complexity of data, and demands for more complex simulations involving multiphysics, multiscale modeling and outer-loop analysis. In recent years, community members have established a range of grass-roots organizations and projects to address these growing technical and social challenges in software productivity, quality, reproducibility, and sustainability. This article provides an overview of such groups and discusses opportunities to leverage their synergistic activities while nurturing work toward emerging software ecosystems.


title: Log-optimal and rapid paths in von Neumann-Gale dynamical systems

abstract: Von Neumann-Gale dynamical systems are defined in terms of multivalued operators in spaces of random vectors, possessing certain properties of convexity and homogeneity. A central role in the theory of such systems is played by a special class of paths (trajectories) called rapid: they grow over each time period t-1,t in a sense faster than others. The paper establishes existence and characterization theorems for such paths showing, in particular, that any trajectory maximizing a logarithmic functional over a finite time horizon is rapid. The proof of this result is based on the methods of convex analysis in spaces of measurable functions. The study is motivated by the applications of the theory of von Neumann-Gale dynamical systems to the modeling of capital growth in financial markets with frictions -- transaction costs and portfolio constraints.


title: Supplemental Material For "Primal-Dual Q-Learning Framework for LQR Design"

abstract: Recently, reinforcement learning (RL) is receiving more and more attentions due to its successful demonstrations outperforming human performance in certain challenging tasks. In our recent paper `primal-dual Q-learning framework for LQR design,' we study a new optimization formulation of the linear quadratic regulator (LQR) problem via the Lagrangian duality theories in order to lay theoretical foundations of potentially effective RL algorithms. The new optimization problem includes the Q-function parameters so that it can be directly used to develop Q-learning algorithms, known to be one of the most popular RL algorithms. In the paper, we prove relations between saddle-points of the Lagrangian function and the optimal solutions of the Bellman equation. As an application, we propose a model-free primal-dual Q-learning algorithm to solve the LQR problem and demonstrate its validity through examples. It is meaningful to consider additional potential applications of the proposed analysis. Various SDP formulations of Problem 5 or Problem 2 of the paper can be derived, and they can be used to develop new analysis and control design approaches. For example, an SDP-based optimal control design with energy and input constraints can be derived. Another direction is algorithms for structured controller designs. These approaches are included in this supplemental material.


title: Linking the rotation of a cluster to the spins of its stars: The kinematics of NGC6791 and NGC6819 in 3D

abstract: The physics governing the formation of star clusters is still not entirely understood. One open question concerns the amount of angular momentum that newly formed clusters possess after emerging from their parent gas clouds. Recent results suggest an alignment of stellar spins and binary orbital spins in star clusters, which support a scenario in which clusters are born with net angular momentum cascading down to stellar scales. In this paper, we combine Gaia data and published line of sight velocities to explore if NGC6791 and NGC6819, two of the clusters for which an alignment of stellar spins has been reported, rotate in the same plane as their stars. We find evidence for rotation in NGC6791 using both proper motions and line of sight velocities. Our estimate of the inclination angle is broadly consistent with the mean inclination that has been determined for its stars, but the uncertainties are still substantial. Our results identify NGC6791 as a promising follow-up candidate to investigate the link between cluster and stellar rotation. We find no evidence for rotation in NGC6819.


title: A Unified Approach to Coupling SDEs driven by L\'{e}vy Noise and Some Applications

abstract: We present a general method to construct couplings of stochastic differential equations driven by L\'{e}vy noise in terms of coupling operators. This approach covers both coupling by reflection and refined basic coupling which are often discussed in the literature. As an application, we establish regularity results for the transition semigroups of the solutions to stochastic differential equations driven by additive L\'{e}vy noise.


title: A Modified Sequential Probability Ratio Test

abstract: We describe a modified sequential probability ratio test that can be used to reduce the average sample size required to perform statistical hypothesis tests at specified levels of significance and power. Examples are provided for $z$ tests, $t$ tests, and tests of binomial success probabilities. A description of a software package to implement the test designs is provided. We compare the sample sizes required in fixed design tests conducted at 5$\%$ significance levels to the average sample sizes required in sequential tests conducted at 0.5$\%$ significance levels, and we find that the two sample sizes are approximately equal.


title: Quantum circuit synthesis for generalized coherent states

abstract: We present a method that outputs a sequence of simple unitary operations to prepare a given quantum state that is a generalized coherent state. Our method takes as inputs the expectation values of some relevant observables on the state to be prepared. Such expectation values can be estimated by performing projective measurements on $O(M^3 \log(M/\delta)/\epsilon^2)$ copies of the state, where $M$ is the dimension of an associated Lie algebra, $\epsilon$ is a precision parameter, and $1-\delta$ is the required confidence level. The method can be implemented on a classical computer and runs in time $O(M^4 \log(M/\epsilon))$. It provides $O(M \log(M/\epsilon))$ simple unitaries that form the sequence. The number of all computational resources is then polynomial in $M$, making the whole procedure very efficient in those cases where $M$ is significantly smaller than the Hilbert space dimension. When the algebra of relevant observables is determined by some Pauli matrices, each simple unitary may be easily decomposed into two-qubit gates. We discuss applications to quantum state tomography and classical simulations of quantum circuits.


title: Symmetric semi-perfect obstruction theory revisited

abstract: In this paper we survey some results on the symmetric semi-perfect obstruction theory on a Deligne-Mumford stack $X$ constructed by Chang-Li, and Behrend's theorem equating the weighted Euler characteristic of $X$ and the virtual count of $X$ by symmetric semi-perfect obstruction theories. As an application, we prove that Joyce's d-critical scheme admits a symmetric semi-perfect obstruction theory, which can be applied to the virtual Euler characteristics by Jiang-Thomas.


title: VQA with no questions-answers training

abstract: Methods for teaching machines to answer visual questions have made significant progress in recent years, but current methods still lack important human capabilities, including integrating new visual classes and concepts in a modular manner, providing explanations for the answers and handling new domains without explicit examples. We propose a novel method that consists of two main parts: generating a question graph representation, and an answering procedure, guided by the abstract structure of the question graph to invoke an extendable set of visual estimators. Training is performed for the language part and the visual part on their own, but unlike existing schemes, the method does not require any training using images with associated questions and answers. This approach is able to handle novel domains (extended question types and new object classes, properties and relations) as long as corresponding visual estimators are available. In addition, it can provide explanations to its answers and suggest alternatives when questions are not grounded in the image. We demonstrate that this approach achieves both high performance and domain extensibility without any questions-answers training.


title: Proceedings of the LOCATA Challenge Workshop -- a satellite event of IWAENC 2018

abstract: Algorithms for acoustic source localization and tracking provide estimates of the positional information about active sound sources in acoustic environments and are essential for a wide range of applications such as personal assistants, smart homes, tele-conferencing systems, hearing aids, or autonomous systems. The aim of the IEEE-AASP Challenge on sound source localization and tracking (LOCATA) was to objectively benchmark state-of-the-art localization and tracking algorithms using an open-access data corpus of recordings for scenarios typically encountered in audio and acoustic signal processing applications. The challenge tasks ranged from the localization of a single source with a static microphone array to the tracking of multiple moving sources with a moving microphone array.


title: Direct Single Molecule Imaging of Enhanced Enzyme Diffusion

abstract: Recent experimental results have shown that active enzymes can diffuse faster when they are in the presence of their substrates. Fluorescence correlation spectroscopy (FCS), which relies on analyzing the fluctuations in fluorescence intensity signal to measure the diffusion coefficient of particles, has typically been employed in most of the prior studies. However, flaws in the FCS method, due to its high sensitivity to the environment, have recently been evaluated, calling the prior diffusion results into question. It behooves us to adopt complimentary and direct methods to measure the mobility of enzymes in solution. Herein, we use a novel technique of direct single-molecule imaging to observe the diffusion of single enzymes. This technique is less sensitive to intensity fluctuations and gives the diffusion coefficient directly based on the trajectory of the enzymes. Our measurements recapitulate that enzyme diffusion is enhanced in the presence of its substrate and find that the relative increase in diffusion of a single enzyme is even higher than those previously reported using FCS. We also use this complementary method to test if the total enzyme concentration affects the relative increase in diffusion and if enzyme oligomerization state changes during catalytic turnover. We find that the diffusion increase is independent of the total background concentration of enzyme and the catalysis of substrate does not change the oligomerization state of enzymes.


title: MimicGAN: Corruption-Mimicking for Blind Image Recovery & Adversarial Defense

abstract: Solving inverse problems continues to be a central challenge in computer vision. Existing techniques either explicitly construct an inverse mapping using prior knowledge about the corruption, or learn the inverse directly using a large collection of examples. However, in practice, the nature of corruption may be unknown, and thus it is challenging to regularize the problem of inferring a plausible solution. On the other hand, collecting task-specific training data is tedious for known corruptions and impossible for unknown ones. We present MimicGAN, an unsupervised technique to solve general inverse problems based on image priors in the form of generative adversarial networks (GANs). Using a GAN prior, we show that one can reliably recover solutions to underdetermined inverse problems through a surrogate network that learns to mimic the corruption at test time. Our system successively estimates the corruption and the clean image without the need for supervisory training, while outperforming existing baselines in blind image recovery. We also demonstrate that MimicGAN improves upon recent GAN-based defenses against adversarial attacks and represents one of the strongest test-time defenses available today.


title: Fractional Crank-Nicolson-Galerkin Finite Element Scheme for the Time-Fractional Nonlinear Diffusion Equation

abstract: This article presents a finite element scheme with Newton's method for solving the time-fractional nonlinear diffusion equation. For time discretization, we use the fractional Crank-Nicolson scheme based on backward Euler convolution quadrature. We discuss the existence-uniqueness results for the fully-discrete problem. Discrete fractional Gronwall type inequality for the backward Euler convolution quadrature which is used to approximate the Riemann-Liouville fractional derivative is established by using the idea of D.Li et al. given in [11]. A priori error estimate for the fully-discrete problem in $L^2(\Omega)$ norm is derived. Numerical results based on finite element scheme are provided to validate the theoretical estimates.


title: The Economic End of Life of Electrochemical Energy Storage

abstract: The useful life of electrochemical energy storage (EES) is a critical factor to EES planning, operation, and economic assessment. Today, systems commonly assume a physical end-of-life criterion, retiring EES when the remaining capacity reaches a threshold below which the EES is of little use because of functionality degradation. Here, we propose an economic end of life criterion, where EES is retired when it cannot earn positive net economic benefit in its intended application. This criterion depends on the use case and degradation characteristics of the EES, but is independent of initial capital cost. Using an intertemporal operational framework to consider functionality and profitability degradation, our case study shows that the economic end of life could occur significantly faster than the physical end of life. We argue that both criteria should be applied in EES system planning and assessment. We also analyze how R&D efforts should consider cycling capability and calendar degradation rate when considering the economic end-of-life of EES.


title: Edge-adaptive l2 regularization image reconstruction from non-uniform Fourier data

abstract: Total variation regularization based on the l1 norm is ubiquitous in image reconstruction. However, the resulting reconstructions are not always as sparse in the edge domain as desired. Iteratively reweighted methods provide some improvement in accuracy, but at the cost of extended runtime. In this paper we examine these methods for the case of data acquired as non-uniform Fourier samples. We then develop a non-iterative weighted regularization method that uses a pre-processing edge detection to find exactly where the sparsity should be in the edge domain. We show that its performance in terms of both accuracy and speed has the potential to outperform reweighted TV regularization methods.


title: Solving DWF Dirac Equation Using Multisplitting Preconditioned Conjugate Gradient

abstract: We show that using the multisplitting algorithm as a preconditioner for conjugate gradient inversion of the domain wall fermion Dirac operator could effectively reduce the inter-node communication cost, at the expense of performing more on-node floating point operations. This method could be useful for supercomputers with far more on-node flops than inter-node communication bandwidth.


title: Balanced Datasets Are Not Enough: Estimating and Mitigating Gender Bias in Deep Image Representations

abstract: In this work, we present a framework to measure and mitigate intrinsic biases with respect to protected variables --such as gender-- in visual recognition tasks. We show that trained models significantly amplify the association of target labels with gender beyond what one would expect from biased datasets. Surprisingly, we show that even when datasets are balanced such that each label co-occurs equally with each gender, learned models amplify the association between labels and gender, as much as if data had not been balanced! To mitigate this, we adopt an adversarial approach to remove unwanted features corresponding to protected variables from intermediate representations in a deep neural network -- and provide a detailed analysis of its effectiveness. Experiments on two datasets: the COCO dataset (objects), and the imSitu dataset (actions), show reductions in gender bias amplification while maintaining most of the accuracy of the original models.


title: Low-loss and broadband non-volatile phase-change directional coupler switches

abstract: An optical equivalent of the field-programmable gate array (FPGA) is of great interest to large-scale photonic integrated circuits. Previous programmable photonic devices relying on the weak, volatile thermo-optic or electro-optic effect usually suffer from a large footprint and high energy consumption. Phase change materials (PCMs) offer a promising solution due to the large non-volatile change in the refractive index upon phase transition. However, the large optical loss in PCMs poses a serious problem. Here, by exploiting an asymmetric directional coupler design, we demonstrate PCM-clad silicon photonic 1 \times 2 and 2 \times 2 switches with a low insertion loss of ~1 dB and a compact coupling length of ~30 {\mu}m while maintaining a small crosstalk less than ~10 dB over a bandwidth of 30 nm. The reported optical switches will function as the building blocks of the meshes in the optical FPGAs for applications such as optical interconnects, neuromorphic computing, quantum computing, and microwave photonics.


title: Sedimentation of a rigid helix in viscous media

abstract: We consider sedimentation of a rigid helical filament in a viscous fluid under gravity. In the Stokes limit, the drag forces and torques on the filament are approximated within the resistive-force theory. We develop an analytic approximation to the exact equations of motion that works well in the limit of a sufficiently large number of turns in the helix (larger than two, typically). For a wide range of initial conditions, our approximation predicts that the centre of the helix itself follows a helical path with the symmetry axis of the trajectory being parallel to the direction of gravity. The radius and the pitch of the trajectory scale as non-trivial powers of the number of turns in the original helix. For the initial conditions corresponding to an almost horizontal orientation of the helix, we predict trajectories that are either attracted towards the horizontal orientation, in which case the helix sediments in a straight line along the direction of gravity, or trajectories that form a helical-like path with many temporal frequencies involved. Our results provide new insight into the sedimentation of chiral objects and might be used to develop new techniques for their spatial separation.


title: The Fokker-Planck Equation for Lattice Vibration: Stochastic Dynamics and Thermal Conductivity

abstract: We propose a Fokker-Planck equation (FPE) theory to describe stochastic fluctuation and relaxation processes of lattice vibration at a wide range of conditions, including those beyond the phonon gas (PG) limit. Using the time-dependent, multiple state-variable probability function of a FPE, we first derive time-correlation functions of lattice heat currents in terms of correlation functions among multiple vibrational modes, and subsequently predict the thermal conductivity based on the Green-Kubo formalism. When the kinetic transport theories are valid, this FPE not only predicts a thermal conductivity that is identical to the one predicted by the phonon Boltzmann transport equation, but also provides additional microscopic details on the multiple-mode correlation functions. More importantly, when the kinetic theories become insufficient due to the breakdown of the PG approximation, this FPE theory remains valid to study the correlation functions among vibrational modes in highly anharmonic lattices with significant mode-mode interactions and/or in disordered lattices with strongly localized modes. At the limit of weak mode-mode interactions, we can adopt quantum perturbation theories to derive the drift/diffusion coefficients based on the anharmonicity data derived from first-principles methods. As temperature elevates to the classical regime, we can perform molecular dynamics simulations to directly compute the coefficients. Because these coefficients are defined as ensemble averages at the short time limit, we can implement massive parallel simulation algorithms to take full advantage of the paralleled high-performance computing platforms. A better understanding of the temperature-dependent coefficients up to melting temperatures will provide new insights on microscopic mechanisms that govern the heat conduction through anharmonic and/or disordered lattices beyond the PG model.


title: The Ces\`aro operator on smooth sequence spaces of finite type

abstract: The discrete Ces\`aro operator $\mathsf{C}$ is investigated in the class of smooth sequence spaces $\lambda_0(A)$ of finite type. This class contains properly the power series spaces of finite type. Of main interest is its spectrum, which is distinctly different in the cases when $\lambda_0(A)$ is nuclear and when it is not. The nuclearity of $\lambda_0(A)$ is characterized via certain properties of the spectrum of $\mathsf{C}$. Moreover, $\mathsf{C}$ is always power bounded and uniformly mean ergodic on $\lambda_0(A)$.


title: Opto-mechanical inter-core cross-talk in multi-core fibers

abstract: Optical fibers containing multiple cores are widely regarded as the leading solution to the optical communications capacity crunch. The most prevalent paradigm for the design and employment of multi-core fibers relies on the suppression of direct coupling of optical power among cores. The cores, however, remain mechanically coupled. Inter-core, opto-mechanical cross-talk, among cores that are otherwise optically isolated from one another, is shown in this work for the first time. Light in one core stimulates guided acoustic modes of the entire fiber cladding. These modes, in turn, induce refractive index perturbations that extend across to other cores. Unlike corresponding processes in standard fiber, light waves in off-axis cores stimulate general torsional-radial guided acoustic modes of the cylindrical cross-section. Hundreds of such modes give rise to inter-core cross-phase modulation, with broad spectra that are quasi-continuous up to 1 GHz frequency. Inter-core cross-talk in a commercial, seven-core fiber is studied in both analysis and experiment. Opto-mechanical cross-talk is quantified in terms of an equivalent nonlinear coefficient, per acoustic mode or per frequency. The nonlinear coefficient may reach 1.9 [W*km]-1, a value which is comparable with that of the intra-core Kerr effect in the same fiber.


title: Are pre-trained CNNs good feature extractors for anomaly detection in surveillance videos?

abstract: Recently, several techniques have been explored to detect unusual behaviour in surveillance videos. Nevertheless, few studies leverage features from pre-trained CNNs and none of then present a comparison of features generate by different models. Motivated by this gap, we compare features extracted by four state-of-the-art image classification networks as a way of describing patches from security video frames. We carry out experiments on the Ped1 and Ped2 datasets and analyze the usage of different feature normalization techniques. Our results indicate that choosing the appropriate normalization is crucial to improve the anomaly detection performance when working with CNN features. Also, in the Ped2 dataset our approach was able to obtain results comparable to the ones of several state-of-the-art methods. Lastly, as our method only considers the appearance of each frame, we believe that it can be combined with approaches that focus on motion patterns to further improve performance.


title: A Proposal-Based Solution to Spatio-Temporal Action Detection in Untrimmed Videos

abstract: Existing approaches for spatio-temporal action detection in videos are limited by the spatial extent and temporal duration of the actions. In this paper, we present a modular system for spatio-temporal action detection in untrimmed security videos. We propose a two stage approach. The first stage generates dense spatio-temporal proposals using hierarchical clustering and temporal jittering techniques on frame-wise object detections. The second stage is a Temporal Refinement I3D (TRI-3D) network that performs action classification and temporal refinement on the generated proposals. The object detection-based proposal generation step helps in detecting actions occurring in a small spatial region of a video frame, while temporal jittering and refinement helps in detecting actions of variable lengths. Experimental results on the spatio-temporal action detection dataset - DIVA - show the effectiveness of our system. For comparison, the performance of our system is also evaluated on the THUMOS14 temporal action detection dataset.


title: Global well-posedness of strong solutions of Doi model with large viscous stress

abstract: We study models of dilute rigid rod-like polymer solutions. We establish the global well-posedness the Doi model for large data, and for arbitrarily large viscous stress parameter. The main ingredient in the proof is the fact that the viscous stress adds dissipation to high derivatives of velocity.


title: Global Sensitivity Analysis of High Dimensional Neuroscience Models: An Example of Neurovascular Coupling

abstract: The complexity and size of state-of-the-art cell models have significantly increased in part due to the requirement that these models possess complex cellular functions which are thought--but not necessarily proven--to be important. Modern cell models often involve hundreds of parameters; the values of these parameters come, more often than not, from animal experiments whose relationship to the human physiology is weak with very little information on the errors in these measurements. The concomitant uncertainties in parameter values result in uncertainties in the model outputs or Quantities of Interest (QoIs). Global Sensitivity Analysis (GSA) aims at apportioning to individual parameters (or sets of parameters) their relative contribution to output uncertainty thereby introducing a measure of influence or importance of said parameters. New GSA approaches are required to deal with increased model size and complexity; a three stage methodology consisting of screening (dimension reduction), surrogate modeling, and computing Sobol' indices, is presented. The methodology is used to analyze a physiologically validated numerical model of neurovascular coupling which possess 160 uncertain parameters. The sensitivity analysis investigates three quantities of interest (QoIs), the average value of $K^+$ in the extracellular space, the average volumetric flow rate through the perfusing vessel, and the minimum value of the actin/myosin complex in the smooth muscle cell. GSA provides a measure of the influence of each parameter, for each of the three QoIs, giving insight into areas of possible physiological dysfunction and areas of further investigation.


title: Quantum information and quantum computing: an overview and some mathematical aspects

abstract: The aim of the present paper is twofold. First, to give the main ideas behind quantum computingand quantum information, a field based on quantum-mechanical phenomena. Therefore, a shortreview is devoted to (i) quantum bits or qubits (and more generally qudits), the analogues of theusual bits 0 and 1 of the classical information theory, and to (ii) two characteristics of quantummechanics, namely, linearity (which manifests itself through the superposition of qubits and theaction of unitary operators on qubits) and entanglement of certain multi-qubit states (a resourcethat is specific to quantum mechanics). Second, to focus on some mathematical problems relatedto the so-called mutually unbiased bases used in quantum computing and quantum informationprocessing. In this direction, the construction of mutually unbiased bases is presented via twodistinct approaches: one based on the group SU(2) and the other on Galois fields and Galois rings.


title: Collatz Theorem

abstract: This paper studies the proof of Collatz conjecture for some set of sequence of odd numbers with infinite number of elements. These set generalized to the set which contains all positive odd integers. This extension assumed to be the proof of the full conjecture, using the concept of mathematical induction. In section 9, the Collatz conjecture is proved again using mathematical induction. Therefore Collatz conjecture is proved two times. Finally two algorithms with GNU Octave code are given to check the validity of the proof for some particular numbers, code of Algorithm 1 is the restatement of Collatz conjecture function which is used to check the validity of our newly generated Collatz function for some particular terms which is provided by Algorithm 2. Therefore go from Algorithm 2 to Algorithm 1 for checking the sequence of numbers and the number of steps needed to reach to 1 according to the conjecture.


title: A Maximum Subsurface Biomass on Mars from Untapped Free Energy: CO and H2 as Potential Antibiosignatures

abstract: Whether extant life exists in the martian subsurface is an open question. High concentrations of photochemically produced CO and H2 in the otherwise oxidizing martian atmosphere represent untapped sources of biologically useful free energy. These out-of-equilibrium species diffuse into the regolith, so subsurface microbes could use them as a source of energy and carbon. Indeed, CO oxidation and methanogenesis are relatively simple and evolutionarily ancient metabolisms on Earth. Consequently, assuming CO- or H2- consuming metabolisms would evolve on Mars, the persistence of CO and H2 in the martian atmosphere set limits on subsurface metabolic activity. Here, we constrain such maximum subsurface metabolic activity on Mars using a 1-D photochemical model with a hypothetical global biological sink on atmospheric CO and H2. We increase the biological sink until the model atmospheric composition diverges from observed abundances. We find maximum biological downward subsurface sinks of 1.5e8 molecules/cm^2/s for CO and 1.9e8 molecules/cm^2/s for H2. These covert to a maximum metabolizing biomass of <10^27 cells or <2e11 kg, equivalent to <1e-4 to 1e-5 of Earth's biomass, depending on the terrestrial estimate. Diffusion calculations suggest this upper biomass limit applies to the top few kilometers of the martian crust in communication with the atmosphere at low to mid latitudes. This biomass limit is more robust than previous estimates because we test multiple possible chemoautotrophic ecosystems over a broad parameter space of tunable model variables using an updated photochemical model with precise atmospheric concentrations and uncertainties from Curiosity. Our results of sparse or absent life in the martian subsurface also demonstrate how the atmospheric redox pairs of CO-O2 and H2-O2 may constitute antibiosignatures, which may be relevant to excluding life on exoplanets.


title: Election Forensics: quantitative methods for electoral fraud detection

abstract: The last decade has witnessed an explosion on the computational power and a parallel increase of the access to large sets of data (the so called Big Data paradigm) which is enabling to develop brand new quantitative strategies underpinning description, understanding and control of complex scenarios. One interesting area of application concerns fraud detection from online data, and more particularly extracting meaningful information from massive digital fingerprints of electoral activity to detect, a posteriori, evidence of fraudulent behavior. In this short article we discuss a few quantitative methodologies that have emerged in recent years on this respect, which altogether form the nascent interdisciplinary field of election forensics.


title: Thermodynamics of Schwarzschild-like black holes in modified gravity models

abstract: Over the last decades, many methods were developed to prove Hawking radiation. Recently, a semiclassical method known as the tunneling method has been proposed as a more straightforward way of derivating black hole thermodynamical properties. This method has been widely applied to a vast sort of spacetimes with satisfactory results. In this work, we obtain the black hole thermodynamics in the presence of a Lorentz symmetry breaking (LSB). We apply the Hamilton-Jacobi method to Schwarzschild-like black holes, and we investigate whether the LSB affects their thermodynamics. The results found show that the LSB not only changes the black hole thermodynamic quantities but also makes it necessary to modify the standard first law of thermodynamics.


title: Evolutionary process of the interacting binary V495 Centauri

abstract: We present a simple model for the Double Periodic Variable (DPV) V495 Cen, which evolves as a binary system of intermediate mass, where the gainer cannot accrete at high rate, limited by the Eddington accretion rate, leading to the formation of an accretion disc. The theoretical model begins at the zero age main sequence considering the rotation for both stars. For this purpose we used the stellar evolution code MESA, developed to calculate the evolution of stars in a wide range of parameters. We started the model adjusting fundamental parameters published for this system through a chi-square optimization algorithm, and adopting an initial orbital period of 3.9 days and initial masses for the primary component $M_{i,d} = 3.40$ $M_{\odot}$ and $M_{i,g}= 3.18$ $M_{\odot}$ for the gainer, with a metallicity associated to this type of DPV of $Z = 0.02$. The method converged successfully for eight free degrees and 5% of confidence with a chi-square of $\Delta \chi^{2}_{0.95,8}= 0.212$. We describe each evolutionary stage of both components until that the donor reaches 20% core helium depletion as stop criterion. We offer a complementary analysis for understanding the mechanism of the magnetic dynamos inside the donor star using the Tayler-Spruit formalism. Currently, the theoretical model is consistent with the fundamental parameters published for V495 Cen and we discuss how our predictions can help to develop efficients theoretical models for DPV stars.


title: Centrally symmetric and balanced triangulations of $\mathbb{S}^2\times \mathbb{S}^{d-3}$ with few vertices

abstract: A small triangulation of the sphere product can be found in lower dimensions by computer search and is known in few other cases: Klee and Novik constructed a centrally symmetric triangulation of $\mathbb{S}^i\times \mathbb{S}^{d-i-1}$ with $2d+2$ vertices for all $d\geq 3$ and $1\leq i\leq d-2$; they also proposed a balanced triangulation of $\mathbb{S}^1\times \mathbb{S}^{d-2}$ with $3d$ or $3d+2$ vertices. In this paper, we provide another centrally symmetric $(2d+2)$-vertex triangulation of $\mathbb{S}^2\times \mathbb{S}^{d-3}$. We also construct the first balanced triangulation of $\mathbb{S}^2\times \mathbb{S}^{d-3}$ with $4d$ vertices, using a sphere decomposition inspired by handle theory.


title: Tight Approximation Ratio for Minimum Maximal Matching

abstract: We study a combinatorial problem called Minimum Maximal Matching, where we are asked to find in a general graph the smallest that can not be extended. We show that this problem is hard to approximate with a constant smaller than 2, assuming the Unique Games Conjecture. As a corollary we show, that Minimum Maximal Matching in bipartite graphs is hard to approximate with constant smaller than $\frac{4}{3}$, with the same assumption. With a stronger variant of the Unique Games Conjecture --- that is Small Set Expansion Hypothesis --- we are able to improve the hardness result up to the factor of $\frac{3}{2}$.


title: Ultra-Low Power Crypto-Engine Based on Simon 32/64 for Energy- and Area-Constrained Integrated Systems

abstract: This paper proposes an ultra-low power crypto-engine achieving sub-pJ/bit energy and sub-1K$\mu$$m^2$ in 40nm CMOS, based on the Simon cryptographic algorithm. Energy and area efficiency are pursued via microarchitectural exploration, ultra-low voltage operation with high resiliency via latch-based pipelines, and power reduction techniques via multi-bit sequential elements. Overall, the comparison with the state of the art shows best-in-class energy efficiency and area. This makes it well suited for ubiquitous security in tightly-constrained platforms, e.g. RFIDs, low-end sensor nodes.


title: First search for $K^+\rightarrow\pi^+\nu\bar{\nu}$ using the decay-in-flight technique

abstract: The NA62 experiment at the CERN SPS reports the first search for $K^+ \rightarrow \pi^+ \nu \bar{\nu}$ using the decay-in-flight technique, based on a sample of $1.21\times10^{11}$ $K^+$ decays collected in 2016. The single event sensitivity is $3.15\times 10^{-10}$, corresponding to 0.267 Standard Model events. One signal candidate is observed while the expected background is 0.152 events. This leads to an upper limit of $14 \times 10^{-10}$ on the $K^+ \rightarrow \pi^+ \nu \bar{\nu}$ branching ratio at 95\% CL.


title: An Aspect of Optimal Regression Design for LSMC

abstract: Practitioners sometimes suggest to use a combination of Sobol sequences and orthonormal polynomials when applying an LSMC algorithm for evaluation of option prices or in the context of risk capital calculation under the Solvency II regime. In this paper, we give a theoretical justification why good implementations of an LSMC algorithm should indeed combine these two features in order to assure numerical stability. Moreover, an explicit bound for the number of outer scenarios necessary to guarantee a prescribed degree of numerical stability is derived. We embed our observations into a coherent presentation of the theoretical background of LSMC in the insurance setting.


title: Elementary Equivalence Theorem for PAC structures

abstract: We generalize a well-known theorem binding the elementary equivalence relation on the level of PAC fields and the isomorphism class of their absolute Galois groups. Our results concern two cases: saturated PAC structures and non-saturated PAC structures.


title: Joint association and classification analysis of multi-view data

abstract: Multi-view data, that is matched sets of measurements on the same subjects, have become increasingly common with advances in multi-omics technology. Often, it is of interest to find associations between the views that are related to the intrinsic class memberships. Existing association methods cannot directly incorporate class information, while existing classification methods do not take into account between-views associations. In this work, we propose a framework for Joint Association and Classification Analysis of multi-view data (JACA). Our goal is not to merely improve the misclassification rates, but to provide a latent representation of high-dimensional data that is both relevant for the subtype discrimination and coherent across the views. We motivate the methodology by establishing a connection between canonical correlation analysis and discriminant analysis. We also establish the estimation consistency of JACA in high-dimensional settings. A distinct advantage of JACA is that it can be applied to the multi-view data with block-missing structure, that is to cases where a subset of views or class labels is missing for some subjects. The application of JACA to quantify the associations between RNAseq and miRNA views with respect to consensus molecular subtypes in colorectal cancer data from The Cancer Genome Atlas project leads to improved misclassification rates and stronger found associations compared to existing methods.


title: Basis light front quantization for the charged light mesons with color singlet Nambu--Jona-Lasinio interactions

abstract: We apply the basis light front quantization (BLFQ) approach to describe the valence structures of the charged light meson ground states. Specifically, the light front wavefunctions of $\pi^\pm$, $\rho^\pm$, $K^\pm$, and $K^{*\pm}$ are obtained as the eigenvectors of the light front effective Hamiltonians with confinement potentials supplemented by the color singlet Nambu--Jona-Lasinio (NJL) interactions. We adjust our model such that the spectrum of these ground states and the charge radii of the pseudoscalar states agree with experimental results. We present the elastic form factors and parton distribution amplitudes (PDAs) as illustrations of the internal structures of the pseudoscalar pions and kaons in terms of valence quarks.


title: Attention-Based Deep Neural Networks for Detection of Cancerous and Precancerous Esophagus Tissue on Histopathological Slides

abstract: Deep learning-based methods, such as the sliding window approach for cropped-image classification and heuristic aggregation for whole-slide inference, for analyzing histological patterns in high-resolution microscopy images have shown promising results. These approaches, however, require a laborious annotation process and are fragmented. This diagnostic study collected deidentified high-resolution histological images (N = 379) for training a new model composed of a convolutional neural network and a grid-based attention network, trainable without region-of-interest annotations. Histological images of patients who underwent endoscopic esophagus and gastroesophageal junction mucosal biopsy between January 1, 2016, and December 31, 2018, at Dartmouth-Hitchcock Medical Center (Lebanon, New Hampshire) were collected. The method achieved a mean accuracy of 0.83 in classifying 123 test images. These results were comparable with or better than the performance from the current state-of-the-art sliding window approach, which was trained with regions of interest. Results of this study suggest that the proposed attention-based deep neural network framework for Barrett esophagus and esophageal adenocarcinoma detection is important because it is based solely on tissue-level annotations, unlike existing methods that are based on regions of interest. This new model is expected to open avenues for applying deep learning to digital pathology.


title: Tanaka's Theorem Revisited

abstract: Tanaka (1997) proved a powerful generalization of Friedman's self-embedding theorem that states that given a countable nonstandard model $(\mathcal{M},\mathcal{A})$ of the subsystem $\mathrm{WKL}_{0}$ of second order arithmetic, and any element $m$ of $\mathcal{M}$, there is a self-embedding $j$ of $(\mathcal{M},\mathcal{A})$ onto a proper initial segment of itself such that $j$ fixes every predecessor of $m$. Here we extend Tanaka's work by establishing the following results for a countable nonstandard model $(\mathcal{M},\mathcal{A})$ of $\mathrm{WKL}_{0} $ and a proper cut $\mathrm{I}$ of $\mathcal{M}$: Theorem A. The following conditions are equivalent: (a) $\mathrm{I}$ is closed under exponentiation. (b) There is a self-embedding $j$ of $(\mathcal{M},\mathcal{A})$ onto a proper initial segment of itself such that $I$ is the longest initial segment of fixed points of $j$. Theorem B. The following conditions are equivalent: (a) $\mathrm{I}$ is a strong cut of $\mathcal{M} $ and $\mathrm{I}\prec _{\Sigma _{1}}\mathcal{M}.$ (b) There is a self-embedding $j$ of $(\mathcal{M},\mathcal{A})$ onto a proper initial segment of itself such that $\mathrm{I} $ is the set of all fixed points of $j$.


title: Near-infrared excitation of nitrogen-doped ultrananocrystalline diamond photoelectrodes in saline solution

abstract: Nitrogen-doped ultrananocrystalline diamond (N-UNCD) is a promising material for a variety of neural interfacing applications, due to its unique combination of high conductivity, bioinertness, and durability. One emerging application for N-UNCD is as a photoelectrode material for high-precision optical neural stimulation. This may be used for the treatment of neurological disorders and for implantable bionic devices such as cochlear ear implants and retinal prostheses. N-UNCD is a well-suited material for stimulation photoelectrodes, exhibiting a photocurrent response to light at visible wavelengths with a high charge injection density [A. Ahnood, A. N. Simonov, J. S. Laird, M. I. Maturana, K. Ganesan, A. Stacey, M. R. Ibbotson, L. Spiccia, and S. Prawer, Appl. Phys. Lett. 108, 104103 (2016)]. In this study, the photoresponse of N-UNCD to near-infrared (NIR) irradiation is measured. NIR light has greater optical penetration through tissue than visible wavelengths, opening the possibility to stimulate previously inaccessible target cells. It is found that N-UNCD exhibits a photoresponsivity which diminishes rapidly with increasing wavelength and is attributed to transitions between mid-gap states and the conduction band tail associated with the graphitic phase present at the grain boundaries. Oxygen surface termination on the diamond films provides further enhancement of the injected charge per photon, compared to as-grown or hydrogen terminated surfaces. Based on the measured injected charge density, we estimate that the generated photocurrent of oxygen terminated N-UNCD is sufficient to achieve extracellular stimulation of brain tissue within the safe optical exposure limit.


title: Probability Distributions on Partially Ordered Sets and Network Interdiction Games

abstract: This article poses the following problem: Does there exist a probability distribution over subsets of a finite partially ordered set (poset), such that a set of constraints involving marginal probabilities of the poset's elements and maximal chains is satisfied? We present a combinatorial algorithm to positively resolve this question. The algorithm can be implemented in polynomial time in the special case where maximal chain probabilities are affine functions of their elements. This existence problem is relevant for the equilibrium characterization of a generic strategic interdiction game on a capacitated flow network. The game involves a routing entity that sends its flow through the network while facing path transportation costs, and an interdictor who simultaneously interdicts one or more edges while facing edge interdiction costs. Using our existence result on posets and strict complementary slackness in linear programming, we show that the Nash equilibria of this game can be fully described using primal and dual solutions of a minimum-cost circulation problem. Our analysis provides a new characterization of the critical components in the interdiction game. It also leads to a polynomial-time approach for equilibrium computation.


title: Extreme fragmentation and complex kinematics at the center of the L1287 cloud

abstract: The filamentary infrared dark cloud L1287 is actively forming a dense cluster of low-mass YSOs at its inner $\sim$0.1 pc region. To help understand the origin of this low-mass YSO cluster, the present work aims at resolving the gas structures and kinematics. We have performed $\sim$1$"$ angular resolution ($\sim$930 AU) SMA observations at $\sim$1.3 mm. From a $\sim$2$"$ resolution 1.3 mm continuum image we identified six dense cores, namely SMA1-6 with masses in the range of $\sim0.4-4$ M$_\odot$. From a $\sim$1$"$ resolution 1.3 mm continuum image, we find a high fragmentation level, with 14 compact millimeter sources within 0.1 pc (two of them associated with the known accretion outburst YSOs RNO 1C and RNO 1B). The dense gas tracer DCN (3--2) traces well the dust continuum emission and shows a clear velocity gradient along the NW-SE direction centered at SMA3. There is another velocity gradient with opposite direction around the most luminous YSO IRAS 00338+6312. The fragmentation within 0.1 pc in L1287 is very high compared to other regions at the same spatial scales. The incoherent motions of dense gas flows are sometimes interpreted by being influenced by (proto)stellar feedback (e.g., outflows), which is not yet ruled out in this particular target source. The directions of the velocity gradients traced by DCN are approximately perpendicular to those of the dominant CO outflow(s). Therefore, we alternatively hypothesize that the velocity gradients revealed by DCN trace the convergence from the $\gtrsim$0.1 pc scales infalling motion towards the rotational motions around the more compact ($\sim0.02$ pc) sources. This global molecular gas converging flow may feed the formation of the dense low-mass YSO cluster. IRAS 00338+6312 is the most likely powering source of the dominant CO outflow. A compact blue-shifted outflow from RNO 1C is also identified.


title: Resolving Stanley's conjecture on $k$-fold acyclic complexes

abstract: In 1993 Stanley showed that if a simplicial complex is acyclic over some field, then its face poset can be decomposed into disjoint rank $1$ boolean intervals whose minimal faces together form a subcomplex. Stanley further conjectured that complexes with a higher notion of acyclicity could be decomposed in a similar way using boolean intervals of higher rank. We provide an explicit counterexample to this conjecture. We also prove a version of the conjecture for boolean trees and show that the original conjecture holds when this notion of acyclicity is as high as possible.


title: Topological obstructions to nonnegative scalar curvature and mean convex boundary

abstract: We study topological obstructions to the existence of a Riemannian metric on manifolds with boundary such that the scalar curvature is non-negative and the boundary is mean convex. We construct many compact manifolds with boundary which admit no Riemannian metric with non-negative scalar curvature and mean convex boundary. For example, we show that the manifold $(T^{n-2}\times \Sigma )\# N$, where $\Sigma$ is a compact, connected and orientable surface which is not a disk or a cylinder and $N$ is a closed $n$-dimensional manifold, does not admit a metric of non-negative scalar curvature and mean convex boundary, and the manifold $(I\times T^{n-1})\#N$, where $I=[a,b]$, does not admit a metric of positive scalar curvature and mean convex boundary.


title: Rebooting Research on Detecting Repackaged Android Apps: Literature Review and Benchmark

abstract: Repackaging is a serious threat to the Android ecosystem as it deprives app developers of their benefits, contributes to spreading malware on users' devices, and increases the workload of market maintainers. In the space of six years, the research around this specific issue has produced 57 approaches which do not readily scale to millions of apps or are only evaluated on private datasets without, in general, tool support available to the community. Through a systematic literature review of the subject, we argue that the research is slowing down, where many state-of-the-art approaches have reported high-performance rates on closed datasets, which are unfortunately difficult to replicate and to compare against. In this work, we propose to reboot the research in repackaged app detection by providing a literature review that summarises the challenges and current solutions for detecting repackaged apps and by providing a large dataset that supports replications of existing solutions and implications of new research directions. We hope that these contributions will re-activate the direction of detecting repackaged apps and spark innovative approaches going beyond the current state-of-the-art.