title: Recommending Themes for Ad Creative Design via Visual-Linguistic Representations

abstract: There is a perennial need in the online advertising industry to refresh ad creatives, i.e., images and text used for enticing online users towards a brand. Such refreshes are required to reduce the likelihood of ad fatigue among online users, and to incorporate insights from other successful campaigns in related product categories. Given a brand, to come up with themes for a new ad is a painstaking and time consuming process for creative strategists. Strategists typically draw inspiration from the images and text used for past ad campaigns, as well as world knowledge on the brands. To automatically infer ad themes via such multimodal sources of information in past ad campaigns, we propose a theme (keyphrase) recommender system for ad creative strategists. The theme recommender is based on aggregating results from a visual question answering (VQA) task, which ingests the following: (i) ad images, (ii) text associated with the ads as well as Wikipedia pages on the brands in the ads, and (iii) questions around the ad. We leverage transformer based cross-modality encoders to train visual-linguistic representations for our VQA task. We study two formulations for the VQA task along the lines of classification and ranking; via experiments on a public dataset, we show that cross-modal representations lead to significantly better classification accuracy and ranking precision-recall metrics. Cross-modal representations show better performance compared to separate image and text representations. In addition, the use of multimodal information shows a significant lift over using only textual or visual information.


title: Electronic and optical conductivity of kekul\'e-patterned graphene: Intravalley and intervalley transport

abstract: A Kubo formalism is used to calculate the electronic and optical conductivity of a graphene superlattice with Y-shaped kekul\'e bond texture, similar to that visualized in recent experiments. We show that new conduction channels between the valleys in graphene are opened by the kekul\'e distortion. This intervalley contribution to the electronic transport is not present in pristine graphene and here appears due to the folding of the Dirac cones $K$, $K'$ on top of each other. The contribution of intervalley transport to the conductivity of graphene, as well as the modification of the intravalley transport, are analyzed in detail for different frequency, temperature, chemical potential and scattering rate limits. We obtain analytical expressions for the conductivity that reproduce previous expressions used to fit experimental measurements in graphene and compare with direct numerical evaluations of the Kubo formula, finding great agreement. The optical absorption arising from intervalley transitions displays a maximum at a special frequency that can be tuned by doping. Our results show how the single parameter describing the valley coupling in this system could be obtained by measuring graphene's optical absorbance in the region where interband transitions are blocked by the impurities. Finally, we use Fermi's golden rule to independently verify some of the previous results.


title: Detection of neutral atomic species in the ultra-hot jupiter WASP-121b

abstract: The class of ultra-hot Jupiters comprises giant exoplanets undergoing intense irradiation from their host stars. They have proved to be a particularly interesting population for their orbital and atmospheric properties. One such planet, WASP-121~b, is in a highly misaligned orbit close to its Roche limit, and its atmosphere exhibits a thermal inversion. These properties make WASP-121~b an interesting target for additional atmospheric characterization. In this paper, we present analysis of archival high-resolution optical spectra obtained during transits of WASP-121~b. Artifacts from the Rossiter-McLaughlin effect and Center-to-Limb Variation are deemed negligible. However, we discuss scenarios where these effects warrant more careful treatment by modeling the WASP-121 system and varying its properties. We report a new detection of atmospheric absorption from H$\alpha$ in the planet with a transit depth of $1.87\pm0.11\%$. We further confirm a previous detection of the Na I doublet, and report a new detection of Fe I via cross-correlation with a model template. We attribute the H$\alpha$ absorption to an extended Hydrogen atmosphere, potentially undergoing escape, and the Fe I to equilibrium chemistry at the planetary photosphere. These detections help to constrain the composition and chemical processes in the atmosphere of WASP-121~b.


title: Fermi-surface Reconstruction in the Repulsive Fermi-Hubbard Model

abstract: One of the fundamental questions about the high temperature cuprate superconductors is the size of the Fermi surface (FS) underlying the superconducting state. By analyzing the single particle spectral function for the Fermi Hubbard model as a function of repulsion $U$ and chemical potential $\mu$, we find that the Fermi surface in the normal state reconstructs from a large Fermi surface matching the Luttinger volume as expected in a Fermi liquid, to a Fermi surface that encloses fewer electrons that we dub the "Luttinger Breaking" (LB) phase, as the Mott insulator is approached. This transition into a non-Fermi liquid phase that violates the Luttinger count, is a continuous phase transition at a critical density in the absence of any other broken symmetry. We obtain the Fermi surface contour from the spectral weight $A_{\vec{k}}(\omega=0)$ and from an analysis of the poles and zeros of the retarded Green's function $G_{\vec{k}}^{ret}(E=0)$, calculated using determinantal quantum Monte Carlo and analytic continuation methods.We discuss our numerical results in connection with experiments on Hall measurements, scanning tunneling spectroscopy and angle resolved photoemission spectroscopy.


title: Systematic Maximum Sum Rank Codes

abstract: In the last decade there has been a great interest in extending results for codes equipped with the Hamming metric to analogous results for codes endowed with the rank metric. This work follows this thread of research and studies the characterization of systematic generator matrices (encoders) of codes with maximum rank distance. In the context of Hamming distance these codes are the so-called Maximum Distance Separable (MDS) codes and systematic encoders have been fully investigated. In this paper we investigate the algebraic properties and representation of encoders in systematic form of Maximum Rank Distance (MRD) codes and Maximum Sum Rank Distance (MSRD) codes. We address both block codes and convolutional codes separately and present necessary and sufficient conditions for an encoder in systematic form to generate a code with maximum (sum) rank distance. These characterizations are given in terms of certain matrices that must be superregular in a extension field and that preserve superregularity after some transformations performed over the base field. We conclude the work presenting some examples of Maximum Sum Rank convolutional codes over small fields. For the given parameters the examples obtained are over smaller fields than the examples obtained by other authors.


title: The evolution of knowledge within and across fields in modern physics

abstract: The exchange of knowledge across different areas and disciplines plays a key role in the process of knowledge creation, and can stimulate innovation and the emergence of new fields. We develop here a quantitative framework to extract significant dependencies among scientific disciplines and turn them into a time-varying network whose nodes are the different fields, while the weighted links represent the flow of knowledge from one field to another at a given period of time. Drawing on a comprehensive data set on scientific production in modern physics and on the patterns of citations between articles published in the various fields in the last thirty years, we are then able to map, over time, how the ideas developed in a given field in a certain time period have influenced later discoveries in the same field or in other fields. The analysis of knowledge flows internal to each field displays a remarkable variety of temporal behaviours, with some fields of physics showing to be more self-referential than others. The temporal networks of knowledge exchanges across fields reveal cases of one field continuously absorbing knowledge from another field in the entire observed period, pairs of fields mutually influencing each other, but also cases of evolution from absorbing to mutual or even to back-nurture behaviors.


title: Dyadic decomposition of convex domains of finite type and applications

abstract: In this paper, we introduce a dyadic structure on convex domains of finite type via the so-called dyadic flow tents. This dyadic structure allows us to establish weighted norm estimates for the Bergman projection $P$ on such domains with respect to Muckenhoupt weights. In particular, this result gives an alternative proof of the $L^p$ boundedness of $P$. Moreover, using extrapolation, we are also able to derive weighted vector-valued estimates and weighted modular inequalities for the Bergman projection.


title: On Generalizations of the Butterfly Theorem

abstract: This paper provides a uniform explanation of different extensions and generalizations of the butterfly theorem based on the Desargues involution theorem.


title: Nuclear Norm Under Tensor Kronecker Products

abstract: Derksen proved that the spectral norm is multiplicative with respect to vertical tensor products (also known as tensor Kronecker products). We will use this result to show that the nuclear norm and other norms of interest are also multiplicative with respect to vertical tensor products.


title: Active inference on discrete state-spaces: a synthesis

abstract: Active inference is a normative principle underwriting perception, action, planning, decision-making and learning in biological or artificial agents. From its inception, its associated process theory has grown to incorporate complex generative models, enabling simulation of a wide range of complex behaviours. Due to successive developments in active inference, it is often difficult to see how its underlying principle relates to process theories and practical implementation. In this paper, we try to bridge this gap by providing a complete mathematical synthesis of active inference on discrete state-space models. This technical summary provides an overview of the theory, derives neuronal dynamics from first principles and relates this dynamics to biological processes. Furthermore, this paper provides a fundamental building block needed to understand active inference for mixed generative models; allowing continuous sensations to inform discrete representations. This paper may be used as follows: to guide research towards outstanding challenges, a practical guide on how to implement active inference to simulate experimental behaviour, or a pointer towards various in-silico neurophysiological responses that may be used to make empirical predictions.


title: Production of clean rare isotope beams at TRIUMF Ion guide laser ion source

abstract: Hot cavity resonant ionization laser ion sources (RILIS) provide a multitude of radioactive ion beams with high ionization efficiency and element selective ionization. However, in hot cavity RILIS there still remains isobaric contaminations in the extracted beam from surface ionized species. An ion guide-laser ion source (IG-LIS) has been implemented that decouples the hot isotope production region from the laser ionization volume. A number of IG-LIS runs have been conducted to provide isobar free radioactive ion beams for experiments. Isobar suppression of up to 106 has been achieved, however, IG-LIS still suffers from an intensity loss of 50-100X as compared to hot cavity RILIS. Operating parameters for IG-LIS are being optimized and design improvements are being implemented into the prototype for robust and efficient on-line operation. Recent SIMION ion optics simulation results and the ongoing development status of the IG-LIS are presented.


title: A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots

abstract: We propose a new graph-based spatial temporal logic for knowledge representation and automated reasoning in this paper. The proposed logic achieves a balance between expressiveness and tractability in applications such as cognitive robots. The satisfiability of the proposed logic is decidable. We apply a Hilbert style axiomatization for the proposed graph-based spatial temporal logic, in which Modus ponens and IRR are the inference rules. We show that the corresponding deduction system is sound and complete and can be implemented through SAT.


title: The fundamental connections between classical Hamiltonian mechanics, quantum mechanics and information entropy

abstract: We show that the main difference between classical and quantum systems can be understood in terms of information entropy. Classical systems can be considered the ones where the internal dynamics can be known with arbitrary precision while quantum systems can be considered the ones where the internal dynamics cannot be accessed at all. As information entropy can be used to characterize how much the state of the whole system identifies the state of its parts, classical systems can have arbitrarily small information entropy while quantum systems cannot. This provides insights that allow us to understand the analogies and differences between the two theories.


title: Dispersive and Absorptive CP Violation in $D^0- \overline{D^0}$ Mixing

abstract: CP violation (CPV) in $D^0-\overline{D^0}$ mixing is described in terms of the dispersive and absorptive `weak phases' $\phi_f^M$ and $\phi_f^\Gamma$. They parametrize CPV originating from the interference of $D^0$ decays with and without dispersive mixing, and with and without absorptive mixing, respectively, for CP conjugate hadronic final states $f$, $\bar f$. These are distinct and separately measurable effects. For CP eigenstate final states, indirect CPV only depends on $\phi_f^M$ (dispersive CPV), whereas $\phi_f^\Gamma$ (absorptive CPV) can only be probed with non-CP eigenstate final states. Measurements of the final state dependent phases $\phi_f^M$, $\phi_f^\Gamma$ determine the intrinsic dispersive and absorptive mixing phases $\phi_2^M$ and $\phi_2^\Gamma$. The latter are the arguments of the dispersive and absorptive mixing amplitudes $M_{12}$ and $\Gamma_{12}$, relative to their dominant ($\Delta U=2$) $U$-spin components. The intrinsic phases are experimentally accessible due to approximate universality: in the SM, and in extensions with negligible new CPV phases in Cabibbo favored/doubly Cabibbo suppressed (CF/DCS) decays, the deviation of $\phi_f^{M,\Gamma}$ from $\phi_2^{M,\Gamma}$ is negligible in CF/DCS decays $D^0 \to K^\pm X$, and below $10\% $ in CF/DCS decays $D^0 \to K_{S,L} X$ (up to precisely known $O(\epsilon_K)$ corrections). In Singly Cabibbo Suppressed (SCS) decays, QCD pollution enters at $O(\epsilon)$ in $U$-spin breaking and can be significant, but is $O(\epsilon^2)$ in the average over $f=K^+K^-$, $\pi^+\pi^-$. SM estimates yield $\phi_2^M, \phi_2^\Gamma = O(0.2\%)$. A fit to current data allows $O(10)$ larger phases at $2\sigma$, from new physics. A fit based on naively extrapolated experimental precision suggests that sensitivity to $\phi_2^{M}$ and $\phi_2^{\Gamma}$ in the SM may be achieved at the LHCb Phase II upgrade.


title: Stability of vacuum for the Landau equation with hard potentials

abstract: We consider the spatially inhomogeneous Landau equation with Maxwellian and hard potentials (i.e with $\gamma\in[0,1)$) on the whole space $\mathbb{R}^3$. We prove that if the initial data $f_{\text{in}}$ are close to the vacuum solution $f_{\text{vac}}=0$ in an appropriate weighted norm then the solution $f$ exists globally in time. This work builds up on the author's earlier work on local existence of solutions to Landau equation with hard potentials. Our proof uses $L^2$ estimates and exploits the null-structure established by Luk [Stability of vacuum for the Landau equation with moderately soft potentials, Annals of PDE (2019) 5:11]. To be able to close our estimates, we have to couple the weighted energy estimates, which were established by the author in a previous paper [Local existence for the Landau equation with hard potentials, arXiv:1910.11866], with the null-structure and devise new weighted norms that take this into account.


title: Text-based inference of moral sentiment change

abstract: We present a text-based framework for investigating moral sentiment change of the public via longitudinal corpora. Our framework is based on the premise that language use can inform people's moral perception toward right or wrong, and we build our methodology by exploring moral biases learned from diachronic word embeddings. We demonstrate how a parameter-free model supports inference of historical shifts in moral sentiment toward concepts such as slavery and democracy over centuries at three incremental levels: moral relevance, moral polarity, and fine-grained moral dimensions. We apply this methodology to visualizing moral time courses of individual concepts and analyzing the relations between psycholinguistic variables and rates of moral sentiment change at scale. Our work offers opportunities for applying natural language processing toward characterizing moral sentiment change in society.


title: Extent-Compatible Control Barrier Functions

abstract: Safety requirements in dynamical systems are commonly enforced with set invariance constraints over a safe region of the state space. Control barrier functions, which are Lyapunov-like functions for guaranteeing set invariance, are an effective tool to enforce such constraints and guarantee safety when the system is represented as a point in the state space. In this paper, we introduce extent-compatible control barrier functions as a tool to enforce safety for the system including its volume (extent) in the physical world. In order to implement the extent-compatible control barrier functions framework, a sum-of-squares based optimization program is proposed. Since sum-of-squares programs can be computationally prohibitive, we additionally introduce a sampling based method in order to retain the computational advantage of a traditional barrier function based quadratic program controller. We prove that the proposed sampling based controller retains the guarantee for safety. Simulation and robotic implementation results are also provided.


title: Rank-2 attractors and Deligne's conjecture

abstract: In this paper, we will study the arithmetic geometry of rank-2 attractors, which are Calabi-Yau threefolds whose Hodge structures admit interesting splits. We will develop methods to analyze the algebraic de Rham cohomologies of rank-2 attractors, and we will illustrate how our methods work by focusing on an example in a recent paper by Candelas, de la Ossa, Elmi and van Straten. We will look at the interesting connections between rank-2 attractors in string theory and Deligne's conjecture on the special values of $L$-functions. We will also formulate several open questions concerning the potential connections between string theory and number theory.


title: Generalization Bounds for High-dimensional M-estimation under Sparsity Constraint

abstract: The $\ell_0$-constrained empirical risk minimization ($\ell_0$-ERM) is a promising tool for high-dimensional statistical estimation. The existing analysis of $\ell_0$-ERM estimator is mostly on parameter estimation and support recovery consistency. From the perspective of statistical learning, another fundamental question is how well the $\ell_0$-ERM estimator would perform on unseen samples. The answer to this question is important for understanding the learnability of such a non-convex (and also NP-hard) M-estimator but still relatively under explored. In this paper, we investigate this problem and develop a generalization theory for $\ell_0$-ERM. We establish, in both white-box and black-box statistical regimes, a set of generalization gap and excess risk bounds for $\ell_0$-ERM to characterize its sparse prediction and optimization capability. Our theory mainly reveals three findings: 1) tighter generalization bounds can be attained by $\ell_0$-ERM than those of $\ell_2$-ERM if the risk function is (with high probability) restricted strongly convex; 2) tighter uniform generalization bounds can be established for $\ell_0$-ERM than the conventional dense ERM; and 3) sparsity level invariant bounds can be established by imposing additional strong-signal conditions to ensure the stability of $\ell_0$-ERM. In light of these results, we further provide generalization guarantees for the Iterative Hard Thresholding (IHT) algorithm which serves as one of the most popular greedy pursuit methods for approximately solving $\ell_0$-ERM. Numerical evidence is provided to confirm our theoretical predictions when implied to sparsity-constrained linear regression and logistic regression models.


title: On Hasse's Unit Index

abstract: We study the distribution of Hasse's unit index $Q(L)$ for the CM-fields $L = \mathbb{Q}(\sqrt{d}, \sqrt{-1})$ as $d$ varies among positive squarefree integers. We prove that the number of $d\leq X$ such that $Q(L) = 2$ is proportional to $X/\sqrt{\log X}$.


title: The effects of subgrid models on the properties of giant molecular clouds in galaxy formation simulations

abstract: Recent cosmological hydrodynamical simulations are able to reproduce numerous statistical properties of galaxies that are consistent with observational data. Yet, the adopted subgrid models strongly affect the simulation outcomes, limiting the predictive power of these simulations. In this work, we perform a suite of isolated galactic disk simulations under the {\it SMUGGLE} framework and investigate how different subgrid models affect the properties of giant molecular clouds (GMCs). We employ {\sc astrodendro}, a hierarchical clump-finding algorithm, to identify GMCs in the simulations. We find that different choices of subgrid star formation efficiency, $\epsilon_{\rm ff}$, and stellar feedback channels, yield dramatically different mass and spatial distributions for the GMC populations. Without feedback, the mass function of GMCs has a shallower power-law slope and extends to higher mass ranges compared to runs with feedback. Moreover, higher $\epsilon_{\rm ff}$ results in faster molecular gas consumption and steeper mass function slopes. Feedback also suppresses power in the two-point correlation function (TPCF) of the spatial distribution of GMCs. Specifically, radiative feedback strongly reduces the TPCF on scales below 0.2~kpc, while supernova feedback reduces power on scales above 0.2~kpc. Finally, runs with higher $\epsilon_{\rm ff}$ exhibit a higher TPCF than runs with lower $\epsilon_{\rm ff}$, because the dense gas is depleted more efficiently thereby facilitating the formation of well-structured supernova bubbles. We argue that comparing simulated and observed GMC populations can help better constrain subgrid models in the next-generation of galaxy formation simulations.


title: High-resolution spectroscopy of the GD-1 stellar stream localizes the perturber near the orbital plane of Sagittarius

abstract: The $100^\circ$-long thin stellar stream in the Milky Way halo, GD-1, has an ensemble of features that may be due to dynamical interactions. Using high-resolution MMT/Hectochelle spectroscopy we show that a spur of GD-1-like stars outside of the main stream are kinematically and chemically consistent with the main stream. In the spur, as in the main stream, GD-1 has a low intrinsic radial velocity dispersion, $\sigma_{V_r}\lesssim1\,\rm km\,s^{-1}$, is metal-poor, $\rm [Fe/H]\approx-2.3$, with little $\rm [Fe/H]$ spread and some variation in $\rm [\alpha/Fe]$ abundances, which point to a common globular cluster progenitor. At a fixed location along the stream, the median radial velocity offset between the spur and the main stream is smaller than $0.5\,\rm km\,s^{-1}$, comparable to the measurement uncertainty. A flyby of a massive, compact object can change orbits of stars in a stellar stream and produce features like the spur observed in GD-1. In this scenario, the radial velocity of the GD-1 spur relative to the stream constrains the orbit of the perturber and its current on-sky position to $\approx5,000\,\rm deg^2$. The family of acceptable perturber orbits overlaps the stellar and dark-matter debris of the Sagittarius dwarf galaxy in present-day position and velocity. This suggests that GD-1 may have been perturbed by a globular cluster or an extremely compact dark-matter subhalo formerly associated with Sagittarius.


title: On The Red Supergiant Problem

abstract: We examine the problem of estimating the mass range corresponding to the observed red supergiant (RSG) progenitors of Type IIP supernovae. Using Monte Carlo simulations designed to reproduce the properties of the observations, we find that the approach of Davies & Beasor (2018) significantly overestimates the maximum mass, yielding an upper limit of Mh/Msun=20.5+/-2.6 for an input population with Mh/Msun=18. Our preferred Bayesian approach does better, with Mh/Msun=18.6+/-2.1 for the same input populations, but also tends to overestimate Mh. For the actual progenitor sample and a Salpeter initial mass function we find Mh/Msun=19.01-2.04+4.04 for the Eldridge et al. (2004) mass-luminosity relation used by Smartt et al. (2009) and Davies & Beasor (2018), and Mh/Msun=21.28_-2.28+4.52 for the Sukhbold et al. (2018) mass-luminosity relation. Based on the Monte Carlo simulations, we estimate that these are overestimated by 3.3+/-0.8Mh. The red supergiant problem remains.


title: Close galaxy pairs with accurate photometric redshifts

abstract: Context. Studies of galaxy pairs can provide valuable information to jointly understand the formation and evolution of galaxies and galaxy groups. Consequently, taking into account the new high precision photo-z surveys, it is important to have reliable and tested methods that allow us to properly identify these systems and estimate their total masses and other properties. Aims. In view of the forthcoming Physics of the Accelerating Universe Survey (PAUS) we propose and evaluate the performance of an identification algorithm of projected close isolated galaxy pairs. We expect that the photometric selected systems can adequately reproduce the observational properties and the inferred lensing mass - luminosity relation of a pair of truly bound galaxies that are hosted by the same dark matter halo. Methods. We develop an identification algorithm that considers the projected distance between the galaxies, the projected velocity difference and an isolation criteria in order to restrict the sample to isolated systems. We apply our identification algorithm using a mock galaxy catalog that mimics the features of PAUS. To evaluate the feasibility of our pair finder, we compare the identified photometric samples with a test sample that considers that both members are included in the same halo. Also, taking advantage of the lensing properties provided by the mock catalog, we apply a weak lensing analysis to determine the mass of the selected systems. Results. Photometric selected samples tend to show high purity values, but tend to misidentify truly bounded pairs as the photometric redshift errors increase. Nevertheless, overall properties such as the luminosity and mass distributions are successfully reproduced. We also accurately reproduce the lensing mass - luminosity relation as expected for galaxy pairs located in the same halo.


title: The WISSH quasars project VII. Outflows and metals in the circumgalactic medium around the hyper-luminous z~3.6 quasar J1538+08

abstract: During the last years, Ly$\alpha$ nebulae have been routinely detected around high-z, radio-quiet quasars (RQQs) thanks to the advent of sensitive integral field spectrographs. Constraining the physical properties of the Ly$\alpha$ nebulae is crucial for a full understanding of the circum-galactic medium (CGM), which is a venue of feeding and feedback processes. The most luminous quasars are privileged test-beds to study these processes, given their large ionizing fluxes and dense CGM environments in which they are expected to be embedded. We aim at characterizing the rest-frame UV emission lines in the CGM around a hyper-luminous, broad emission line, RQQ at z~3.6, that exhibits powerful outflows at both nuclear and host galaxy scales. We analyze VLT/MUSE observations of the quasar J1538+08 and perform a search for extended UV emission lines to characterize its morphology, emissivity, kinematics and metal content. We report the discovery of a very luminous ($\sim2 \times10^{44}~erg~s^{-1}$), giant Ly$\alpha$ nebula and a likely associated extended CIV nebula. The Ly$\alpha$ nebula emission exhibits moderate blueshift compared with the quasar systemic redshift and large average velocity dispersion ($\sigma_{v}$ ~700 $km~s^{-1}$) across the nebula, while the CIV nebula shows $\sigma_{v}$~$350~km~s^{-1}$. The Ly$\alpha$ line profile exhibits a significant asymmetry towards negative velocity values at 20-30 kpc south of the quasar and is well parameterized by two Gaussian components: a narrow ($\sigma$~$470~km~s^{-1}$) systemic one plus a broad ($\sigma$~1200 $km~s^{-1}$), blueshifted (~1500 $km~s^{-1}$) one. Our analysis of the MUSE observation of J1538+08 reveals metal-enriched CGM around this hyper-luminous quasar and our detection of blueshifted emission in the line profile of the Ly$\alpha$ nebula suggests that powerful nuclear outflows can propagate through the CGM over tens of kpc.


title: Linear magneto-electric phase in ultrathin MnPS$_{3}$ probed by optical second harmonic generation

abstract: The transition metal thiophosphates $M$PS$_3$ ($M$ = Mn, Fe, Ni) are a class of van der Waals stacked insulating antiferromagnets that can be exfoliated down to the ultrathin limit. MnPS$_3$ is particularly interesting because its N$\acute{\textrm{e}}$el ordered state breaks both spatial-inversion and time-reversal symmetries, allowing for a linear magneto-electric phase that is rare among van der Waals materials. However, it is unknown whether this unique magnetic structure of bulk MnPS$_3$ remains stable in the ultrathin limit. Using optical second harmonic generation rotational anisotropy, we show that long-range linear magneto-electric type N$\acute{\textrm{e}}$el order in MnPS$_3$ persists down to at least 5.3 nm thickness. However an unusual mirror symmetry breaking develops in ultrathin samples on SiO$_2$ substrates that is absent in bulk materials, which is likely related to substrate induced strain.


title: Entropy production from quasinormal modes

abstract: Horizons of black branes have an associated entropy current with non-negative divergence. We compute this divergence in a late-time transseries expansion for an inhomogeneous system evolving towards a maximally symmetric asymptotically anti-de Sitter black brane. The horizon area equilibrates on half the time-scale set by the dominant quasinormal mode and we find a simple analytic expression for this evolution purely in terms of the background and the quasinormal mode frequencies. This computation does not require a gradient expansion and is thus non-perturbative in momenta. We generalize this to include scalar and gauge field matter in any number of dimensions. Restricting to homogeneous evolution we match and prove earlier numerical work showing that the apparent horizon entropy saturates the area theorem, in that its time derivative periodically vanishes. The same is true for spherically symmetric evolution towards the Schwarzschild black hole.


title: Randomness-Assisted Exponential Hierarchies

abstract: Inspired by the localization phenomenon in condensed matter systems, we explore constructions in the theory space of multiple scalar fields, in which exponentially suppressed couplings could originate from random parameters. In particular, we find a new class of non-local theory space models, in which scalar fields at non-adjacent sites interact with each other but with strengths decaying exponentially with the site separation. Such a model could have very different localization properties, compared to the local theory space scenarios with only nearest-site interactions, based on the original Anderson localization model. More specifically, we find that a particular non-local interaction pattern leads to bi-localization of the two lightest eigenstates. Exponential localization (and thus exponentially suppressed couplings) then emerges only and immediately when randomness is introduced, no matter how tiny it is. We discuss variants of the model and possible UV completions as well.


title: A new mass-loss rate prescription for red supergiants

abstract: Evolutionary models have shown the substantial effect that strong mass-loss rates ($\dot{M}$) can have on the fate of massive stars. Red supergiant (RSG) mass-loss is poorly understood theoretically, and so stellar models rely on purely empirical \mdot-luminosity relations to calculate evolution. Empirical prescriptions usually scale with luminosity and effective temperature, but $\dot{M}$ should also depend on the current mass and hence the surface gravity of the star, yielding more than one possible $\dot{M}$ for the same position on the Hertzsprung-Russell diagram. One can solve this degeneracy by measuring $\dot{M}$ for RSGs that reside in clusters, where age and initial mass ($M_{\rm init}$) are known. In this paper we derive $\dot{M}$ values and luminosities for RSGs in two clusters, NGC 2004 and RSGC1. Using newly derived $M_{\rm init}$ measurements, we combine the results with those of clusters with a range of ages and derive an $M_{\rm init}$-dependent $\dot{M}$-prescription. When comparing this new prescription to the treatment of mass-loss currently implemented in evolutionary models, we find models drastically over-predict the total mass-loss, by up to a factor of 20. Importantly, the most massive RSGs experience the largest downward revision in their mass-loss rates, drastically changing the impact of wind mass-loss on their evolution. Our results suggest that for most initial masses of RSG progenitors, quiescent mass-loss during the RSG phase is not effective at removing a significant fraction of the H-envelope prior to core-collapse, and we discuss the implications of this for stellar evolution and observations of SNe and SN progenitors.


title: A stringent upper limit on the direct 3$\alpha$ decay of the Hoyle State in $^{12}$C

abstract: We investigate an implication of the most recent observation of a second $J^\pi = 2^+$ state in $^{12}$C, which was measured using the $^{12}$C($\gamma$,$\alpha$)$^8$Be$_{\textrm{(g.s.)}}$ reaction. In addition to the dissociation of $^{12}$C to an $\alpha$-particle and $^8$Be in its ground state, a small fraction of events (2%) were identified as direct decays and decays to excited states in $^8$Be. This allowed a limit on the direct 3$\alpha$ partial decay width to be determined as $\Gamma_{3\alpha} < 32(4)$ keV. Since this 2$^+$ state is predicted by all theoretical models to be a collective excitation of the Hoyle state, the 3$\alpha$ partial width of the Hoyle state is calculable from the ratio of 3$\alpha$ decay penetrabilities of the Hoyle and 2$^+$ states. This was calculated using the semi-classical WKB approach and we deduce a stringent upper limit for the direct decay branching ratio of the Hoyle state of ${\Gamma_{3\alpha} \over \Gamma} < 5.7 \times 10^{-6}$, over an order of magnitude lower than previously reported. This result places the direct measurement of this rare decay mode beyond current experimental capabilities.


title: High spin temperatures at large impact parameters: Ionisation in the outskirts of galaxies

abstract: By including the most recent observations of HI 21-cm absorption through near-by galactic disks, we confirm our previous assertion that there is an anti-correlation between the abundance of cool neutral atomic gas and impact parameter. Comparing the measured neutral hydrogen column densities of the sample with the absorption strength, we find a peak in the mean spin temperature of ~2310 K at an impact parameter of ~ 14 kpc, with > 1000 K in the remainder of the disk. This is significantly different to the spin temperature distribution in the Milky Way, which exhibits a constant ~ 250 - 400 K over 8 - 25 kpc. The measured column densities may, however, suffer from beam dilution, which we show appears to be the case for the observations of HI 21-cm emission in which the beam subtends radii of > 10 kpc. We therefore apply the column density profile of the Milky Way, in addition to the mean of the sample, observed at sufficiently high resolution, and the mean profile for the near-by galaxies in the IllustrisTNG simulations. All of the models yield a peak in the mean spin temperature at similar radii/impact parameters (10 - 15 kpc) as the measured column densities. These radii are similar to those of the spiral arms where HII regions are often concentrated. We therefore suggest that the elevated spin temperatures trace the HII regions observed in the outer disk of many spiral galaxies.


title: Measuring the top energy asymmetry at the LHC: QCD and SMEFT interpretations

abstract: The energy asymmetry in top-antitop-jet production is an observable of the top charge asymmetry designed for the LHC. We perform a realistic analysis in the boosted kinematic regime, including effects of the parton shower, hadronization and expected experimental uncertainties. Our predictions at particle level show that the energy asymmetry in the Standard Model can be measured with a significance of $3\sigma$ during Run 3, and with more than $5\sigma$ significance at the HL-LHC. Beyond the Standard Model the energy asymmetry is a sensitive probe of new physics with couplings to top quarks. In the framework of the Standard Model Effective Field Theory, we show that the sensitivity of the energy asymmetry to effective four-quark interactions is higher or comparable to other top observables and resolves blind directions in current LHC fits. We suggest to include the energy asymmetry as an important observable in global searches for new physics in the top sector.


title: Incorporating Physical Constraints in Braneworld Black-String Solutions for a Minkowski Brane in Scalar-Tensor Gravity

abstract: In the framework of a general scalar-tensor theory, where the scalar field is non-minimally coupled to the five-dimensional Ricci scalar curvature, we investigate the emergence of complete brane-world solutions. By assuming a variety of forms for the coupling function, we solve the field equations in the bulk, and determine in an analytic way the form of the gravitational background and scalar field in each case. The solutions are always characterized by a regular scalar field, a finite energy-momentum tensor, and an exponentially decaying warp factor even in the absence of a negative bulk cosmological constant. The space-time on the brane is described by the Schwarzschild solution leading to either a non-homogeneous black-string solution in the bulk, when the mass parameter $M$ is non-zero, or a regular anti-de Sitter space-time, when $M=0$. We construct physically-acceptable solutions by demanding in addition a positive effective gravitational constant on our brane, a positive total energy-density for our brane and the validity of the weak energy condition in the bulk. We find that, although the theory does not allow for all three conditions to be simultaneously satisfied, a plethora of solutions emerge which satisfy the first two, and most fundamental, conditions.


title: Bivariate Polynomial Coding for Efficient Distributed Matrix Multiplication

abstract: Coded computing is an effective technique to mitigate "stragglers" in large-scale and distributed matrix multiplication. In particular, univariate polynomial codes have been shown to be effective in straggler mitigation by making the computation time depend only on the fastest workers. However, these schemes completely ignore the work done by the straggling workers resulting in a waste of computational resources. To reduce the amount of work left unfinished at workers, one can further decompose the matrix multiplication task into smaller sub-tasks, and assign multiple sub-tasks to each worker, possibly heterogeneously, to better fit their particular storage and computation capacities. In this work, we propose a novel family of bivariate polynomial codes to efficiently exploit the work carried out by straggling workers. We show that bivariate polynomial codes bring significant advantages in terms of upload communication costs and storage efficiency, measured in terms of the number of sub-tasks that can be computed per worker. We propose two bivariate polynomial coding schemes. The first one exploits the fact that bivariate interpolation is always possible on a rectangular grid of evaluation points. We obtain such points at the cost of adding some redundant computations. For the second scheme, we relax the decoding constraints and require decodability for almost all choices of the evaluation points. We present interpolation sets satisfying such decodability conditions for certain storage configurations of workers. Our numerical results show that bivariate polynomial coding considerably reduces the average computation time of distributed matrix multiplication. We believe this work opens up a new class of previously unexplored coding schemes for efficient coded distributed computation.


title: Maximal equivariant compactification of the Urysohn spaces and other metric structures

abstract: We study isometric $G$-spaces and the question of when their maximal equivariant compactification is the Gromov compactification (meaning that it coincides with the compactification generated by the distance functions to points). Answering questions of Pestov, we show that this is the case for the Urysohn sphere and related spaces, but not for the unit sphere of the Gurarij space. We show that the maximal equivariant compactification of a separably categorical metric structure $M$ under the action of its automorphism group can be identified with the space $S_1(M)$ of 1-types over $M$, and is in particular metrizable. This provides a unified understanding of the previous and other examples. In particular, the maximal equivariant compactifications of the spheres of the Gurarij space and of the $L^p$ spaces are metrizable. We also prove a uniform version of Effros' Theorem for isometric actions of Roelcke precompact Polish groups.


title: A bound for the image conductor of a principally polarized abelian variety with open Galois image

abstract: Let $A$ be a principally polarized abelian variety of dimension $g$ over a number field $K$. Assume that the image of the adelic Galois representation of $A$ is an open subgroup of $\operatorname{GSp}_{2g}(\hat{\mathbb{Z}})$. Then there exists a positive integer $m$ so that the Galois image of $A$ is the full preimage of its reduction modulo $m$. The least $m$ with this property, denoted $m_A$, is called the image conductor (also called the level) of $A$. Jones recently established an upper bound for $m_A$, in terms of standard invariants of $A$, in the case that $A$ is an elliptic curve without complex multiplication. In this paper, we generalize the aforementioned result to provide an analogous bound in arbitrary dimension.


title: Probing few-body nuclear dynamics via 3H and 3He (e,e'p)pn cross-section measurements

abstract: We report the first measurement of the \eep three-body breakup reaction cross sections in helium-3 ($^3$He) and tritium ($^3$H) at large momentum transfer ($\langle Q^2 \rangle \approx 1.9$ (GeV/c)$^2$) and $x_B>1$ kinematics, where the cross section should be sensitive to quasielastic (QE) scattering from single nucleons. The data cover missing momenta $40 \le p_{miss} \le 500$ MeV/c that, in the QE limit with no rescattering, equals the initial momentum of the probed nucleon. The measured cross sections are compared with state-of-the-art ab-initio calculations. Overall good agreement, within $\pm20\%$, is observed between data and calculations for the full $p_{miss}$ range for $^3$H and for $100 \le p_{miss} \le 350$ MeV/c for $^3$He. Including the effects of rescattering of the outgoing nucleon improves agreement with the data at $p_{miss} > 250$ MeV/c and suggests contributions from charge-exchange (SCX) rescattering. The isoscalar sum of $^3$He plus $^3$H, which is largely insensitive to SCX, is described by calculations to within the accuracy of the data over the entire $p_{miss}$ range. This validates current models of the ground state of the three-nucleon system up to very high initial nucleon momenta of $500$ MeV/c.


title: Reexamining the relation between the binding energy of finite nuclei and the equation of state of infinite nuclear matter

abstract: The energy density is calculated in coordinate space for $^{12}$C, $^{40}$Ca, $^{48}$Ca, and $^{208}$Pb using a dispersive optical model constrained by all relevant data including the corresponding energy of the ground state. The energy density of $^{8}$Be is also calculated using the Green's function Monte-Carlo method employing the Argonne/Urbana two and three-body interactions. The nuclear interior minimally contributes to the total binding energy due to the 4$\pi r^2$ phase space factor. Thus, the volume contribution to the energy in the interior is not well constrained. The dispersive-optical-model energy densities are in good agreement with \textit{ab initio} self-consistent Green's function calculations of infinite nuclear matter restricted to treat only short-range and tensor correlations. These results call into question the degree to which the equation of state for nuclear matter is constrained by the empirical mass formula. In particular, the results in this paper indicate that saturated nuclear matter does not require the canonical value of 16 MeV binding per particle but only about 13-14 MeV when the interior of $^{208}$Pb is considered.


title: Cremona transformations of weighted projective planes, Zariski pairs, and rational cuspidal curves

abstract: In this work, we study a family of Cremona transformations of weighted projective planes which generalize the standard Cremona transformation of the projective plane. Starting from special plane projective curves we construct families of curves in weighted projective planes with special properties. We explain how to compute the fundamental groups of their complements, using the blow-up-down decompositions of the Cremona transformations, we find examples of Zariski pairs in weighted projective planes (distinguished by the Alexander polynomial). As another application of this machinery we study a family of singularities called weighted L\^{e}-Yomdin, which provide infinite examples of surface singularities with a rational homology sphere link. To end this paper we also study a family of surface singularities generalizing Brieskorn-Pham singularities in a different direction. This family contains infinitely many new examples of integral homology sphere links, answering a question by N\'emethi.


title: Counter-example Guided Learning of Bounds on Environment Behavior

abstract: There is a growing interest in building autonomous systems that interact with complex environments. The difficulty associated with obtaining an accurate model for such environments poses a challenge to the task of assessing and guaranteeing the system's performance. We present a data-driven solution that allows for a system to be evaluated for specification conformance without an accurate model of the environment. Our approach involves learning a conservative reactive bound of the environment's behavior using data and specification of the system's desired behavior. First, the approach begins by learning a conservative reactive bound on the environment's actions that captures its possible behaviors with high probability. This bound is then used to assist verification, and if the verification fails under this bound, the algorithm returns counter-examples to show how failure occurs and then uses these to refine the bound. We demonstrate the applicability of the approach through two case-studies: i) verifying controllers for a toy multi-robot system, and ii) verifying an instance of human-robot interaction during a lane-change maneuver given real-world human driving data.


title: Multi-level Head-wise Match and Aggregation in Transformer for Textual Sequence Matching

abstract: Transformer has been successfully applied to many natural language processing tasks. However, for textual sequence matching, simple matching between the representation of a pair of sequences might bring in unnecessary noise. In this paper, we propose a new approach to sequence pair matching with Transformer, by learning head-wise matching representations on multiple levels. Experiments show that our proposed approach can achieve new state-of-the-art performance on multiple tasks that rely only on pre-computed sequence-vector-representation, such as SNLI, MNLI-match, MNLI-mismatch, QQP, and SQuAD-binary.


title: Extremal solutions for a broad spectrum of nonlinear elliptic systems

abstract: In this work, we study the existence and nonexistence of solution for strongly coupled elliptic systems to m-parameters.


title: Skyrme RPA for nuclear resonances: trouble with magnetic modes

abstract: We discuss major differences between electric and magnetic excitations in nuclei appearing in self-consistent calculation based on Skyrme energy-density functionals. Tools of analysis are Landau-Migdal parameters for bulk properties and RPA for resonance modes of $^{208}$Pb as representative of finite nuclei. We show that the relation between the effective mass and the effective particle-hole interaction, well known in the Landau-Migdal theory, explains the success of self-consistent calculations of electric transitions in such approaches. This effect, however, does not automatically exist in the magnetic case. This calls for further developments of the Skyrme functional in the spin channel.


title: Electrical conduction mechanisms of metal / high-Tc superconductor (YBCO) interfaces

abstract: Current-voltage characteristics of Au~/~YBa$_2$Cu$_3$O$_{7-\delta}$ interfaces (Au/YBCO), built on optimally-doped YBCO thin films, grown by pulsed laser deposition, were measured as a function of temperature in the 50 K to 270 K range, for two different resistance states. A non-trivial equivalent circuit model is proposed, which reveals the existence of a highly inhomogeneous scenario composed by two complex layers: one presenting both a non-linear Poole-Frenkel conduction as well as Variable Range Hopping localization effects (probably associated with YBa$_2$Cu$_3$O$_{6}$) mixed with a minor metallic phase, while the other is also composed by a mixture of YBCO with different oxygen contents, where a metallic ohmic phase still percolates. A microscopic description of the effects produced by the resistance switching is given, showing the evolution of carrier traps, localization effects and dielectric behavior for each state. The dielectric behavior is interpreted in terms of a Maxwell-Wagner scenario.


title: RDSP: Rapidly Deployable Wireless Ad Hoc System for Post-Disaster Management

abstract: In post-disaster scenarios, such as after floods, earthquakes, and in war zones, the cellular communication infrastructure may be destroyed or seriously disrupted. In such emergency scenarios, it becomes very important for first aid responders to communicate with other rescue teams in order to provide feedback to both the central office and the disaster survivors. To address this issue, rapidly deployable systems are required to re-establish connectivity and assist users and first responders in the region of incident. In this work, we describe the design, implementation, and evaluation of a rapidly deployable system for first response applications in post-disaster situations, named RDSP. The proposed system helps early rescue responders and victims by sharing their location information to remotely located servers by utilizing a novel routing scheme. This novel routing scheme consists of the Dynamic ID Assignment (DIA) algorithm and the Minimum Maximum Neighbor (MMN) algorithm. The DIA algorithm is used by relay devices to dynamically select their IDs on the basis of all the available IDs of networks. Whereas, the MMN algorithm is used by the client and relay devices to dynamically select their next neighbor relays for the transmission of messages. The RDSP contains three devices; the client device sends the victim's location information to the server, the relay device relays information between client and server device, the server device receives messages from the client device to alert the rescue team. We deployed and evaluated our system in the outdoor environment of the university campus. The experimental results show that the RDSP system reduces the message delivery delay and improves the message delivery ratio with lower communication overhead.


title: Embedded Waveguide Structures Fabricated in Porous Silicon by means of Lithography

abstract: We report the fabrication of diverse light guiding structures embedded in oxidised porous silicon (OPS) by means of patterned pore filling through a single photoresist mask. The pores of OPS were filled with KDP salt from unsaturated solution applied on the sample's surface. Photolithography was used to create the mask. The created structures include straight, bent and tapered waveguides of different widths, and Y-splitters. Light guiding was demonstrated and characterised at wavelength of 1.064 microns.


title: Search for multi-messenger signals in NOvA coincident with LIGO/Virgo detections

abstract: Using the NOvA neutrino detectors, a broad search has been performed for any signal coincident with 28 gravitational wave events detected by the LIGO/Virgo Collaboration between September 2015 and July 2019. For all of these events, NOvA is sensitive to possible arrival of neutrinos and cosmic rays of GeV and higher energies. For five (seven) events in the NOvA Far (Near) Detector, timely public alerts from the LIGO/Virgo Collaboration allowed recording of MeV-scale events. No signal candidates were found.


title: High-Speed Markerless Tissue Motion Tracking Using Volumetric Optical Coherence Tomography Images

abstract: Modern optical coherence tomography (OCT) devices provide volumetric images with micrometer-scale spatial resolution and a temporal resolution beyond video rate. In this work, we analyze an OCT-based prototypical tracking system which processes 831 volumes per second, estimates translational motion, and automatically adjusts the field-of-view, which has a size of few millimeters, to follow a sample even along larger distances. The adjustment is realized by two galvo mirrors and a motorized reference arm, such that no mechanical movement of the scanning setup is necessary. Without requiring a marker or any other knowledge about the sample, we demonstrate that reliable tracking of velocities up to 25 mm/s is possible with mean tracking errors in the order of 0.25 mm. Further, we report successful tracking of lateral velocities up to 70 mm/s with errors below 0.3 mm.


title: A generalisation of Seymour's second neighbourhood conjecture

abstract: In this note we propose a generalisation of Seymour's Second Neighbourhood Conjecture to two directed graphs on a vertex set. We prove that this generalisation holds in the case of tournaments, and we show that a natural strengthening of this conjecture does not hold.


title: Autocamera Calibration for traffic surveillance cameras with wide angle lenses

abstract: We propose a method for automatic calibration of a traffic surveillance camera with wide-angle lenses. Video footage of a few minutes is sufficient for the entire calibration process to take place. This method takes in the height of the camera from the ground plane as the only user input to overcome the scale ambiguity. The calibration is performed in two stages, 1. Intrinsic Calibration 2. Extrinsic Calibration. Intrinsic calibration is achieved by assuming an equidistant fisheye distortion and an ideal camera model. Extrinsic calibration is accomplished by estimating the two vanishing points, on the ground plane, from the motion of vehicles at perpendicular intersections. The first stage of intrinsic calibration is also valid for thermal cameras. Experiments have been conducted to demonstrate the effectiveness of this approach on visible as well as thermal cameras. Index Terms: fish-eye, calibration, thermal camera, intelligent transportation systems, vanishing points


title: The Features Radiation of a Charged Particle Moving Along an Arc of a Circle

abstract: A detailed analysis is given of the angular distribution of an charged particle moving along the arc of a circle. The areas of different angular distribution behavior are highlighted and studied.


title: A framework for the description of charge order, pseudo and superconducting gap, critical temperature and pairing interaction in cuprate superconductors

abstract: A unified phenomenological description framework is proposed for the evaluation of some of the most important observables of the cuprate superconductors: the pseudogap (PG) $\Delta_{\rm PG}$, the local superconducting amplitudes $\Delta_{\rm SC}(r_i)$, the critical temperature $T_{\rm c}$ and charge ordering (CO) parameters. Recently detailed measurements of CO structures and CO wavelengths $\lambda_{\rm CO}$ are faithfully reproduced by solutions of a Cahn-Hilliard differential equation with a free energy potential $V_{\rm GL}$ that produces alternating small charge modulations. The charge oscillations induce atomic fluctuations that mediate the SC pair interaction proportional to the $V_{\rm GL}$ amplitude. The local SC amplitude and phase $\theta_i$ are connected by Josephson coupling $E_{\rm J}(r_{\rm ij})$ and the SC long-range order transition occurs when ${\left < E_{\rm J} \right>} \sim k_{\rm B}T_{\rm c}$. The calculated results of the wavelength $\lambda_{\rm CO}$, $\Delta_{\rm PG}$, $\left < \Delta_{\rm SC}\right >$ and $T_{\rm c}$ calculations are in good agreement with a variety of experiments.


title: Actions of diagonal endomorphisms on conformally invariant measures on the 2-torus

abstract: Let $\nu$ be a probability measure that is ergodic under the endomorphism $(\times p, \times p)$ of the torus $\mathbb{T}^2$, such that $\dim \pi \mu < \dim \mu$ for some non-principal projection $\pi$. We show that, if both $m\neq n$ are independent of $p$, the $(\times m, \times n)$ orbits of $\nu$ typical points will equidistribute towards the Lebesgue measure. If $m>p$ then typically the $(\times m, \times p)$ orbits will equidistribute towards the product of the Lebesgue measure with the marginal of $\mu$ on the $y$-axis. We also prove results in the same spirit for certain self similar measures $\nu$. These are higher dimensional analogues of results due (among others) to Host, Lindenstrauss, and Hochman-Shmerkin.


title: Efficiently simulating discrete-state models with binary decision trees

abstract: Stochastic simulation algorithms (SSAs) are widely used to numerically investigate the properties of stochastic, discrete-state models. The Gillespie Direct Method is the pre-eminent SSA, and is widely used to generate sample paths of so-called agent-based or individual-based models. However, the simplicity of the Gillespie Direct Method often renders it impractical where large-scale models are to be analysed in detail. In this work, we carefully modify the Gillespie Direct Method so that it uses a customised binary decision tree to trace out sample paths of the model of interest. We show that a decision tree can be constructed to exploit the specific features of the chosen model. Specifically, the events that underpin the model are placed in carefully-chosen leaves of the decision tree in order to minimise the work required to keep the tree up-to-date. The computational efficencies that we realise can provide the apparatus necessary for the investigation of large-scale, discrete-state models that would otherwise be intractable. Two case studies are presented to demonstrate the efficiency of the method.


title: SGLB: Stochastic Gradient Langevin Boosting

abstract: This paper introduces Stochastic Gradient Langevin Boosting (SGLB) - a powerful and efficient machine learning framework that may deal with a wide range of loss functions and has provable generalization guarantees. The method is based on a special form of the Langevin diffusion equation specifically designed for gradient boosting. This allows us to theoretically guarantee the global convergence even for multimodal loss functions, while standard gradient boosting algorithms can guarantee only local optimum. We also empirically show that SGLB outperforms classic gradient boosting when applied to classification tasks with 0-1 loss function, which is known to be multimodal.


title: Why the superfluid density tracks $T_{\rm c}$ in cuprate superconductors?

abstract: One of the first finding concerning the superconducting (SC) density $n_{\rm sc}$ in cuprates was their small magnitudes that revealed the importance of phase fluctuations. More recently, measurements in a variety of overdoped cuprates indicate that it is also much smaller than expected from BCS theories and falls smoothly to zero as doping is increased. We explain these observations by an electronic phase separation theory with a Ginzburg-Landau potential $V_{\rm GL}$ that produces alternating charge domains whose fluctuations lead to localized SC order parameters that are connected by Josephson coupling $E_{\rm J}$. The average ${\left <E_{\rm J}( p,T)\right>}$ is proportional to the local superfluid phase stiffness $\rho_{\rm sc} \propto n_{\rm sc}$. The fraction of condensed carriers decreases in the overdoped region due to the weakening of $V_{\rm GL}$. The results agreed with $\rho_{\rm sc}(p)$ vs. $T_{\rm c}(p)$ and the Drude-like peak measurements.


title: Calculations of quantum oscillations in cuprate superconductors considering the pseudogap

abstract: The observations of quantum oscillations in overdoped cuprate superconductors were in agreement with a charge density contained in a cylindrical Fermi surface but the frequencies of lightly doped compounds were much smaller than expected. This was attributed to a topological transition into small pockets of Fermi surface associated with the existence of the charge density wave underlying superlattice. On the other hand, spectroscopic measurements suggested that the large two-dimensional Fermi surface changes continuously into a set of four disconnected arcs. Here we take into account the effect of the pseudogap that limits the available $k$-space area where the Landau levels are developed on the Luttinger theorem and obtain the correct carrier densities. The calculations show how the disconnected arcs evolve into a closed Fermi surface reconciling the experiments.


title: Newhouse Laminations of polynomials on $\mathbb{C}^2$

abstract: It has been recently discovered that in smooth unfoldings of maps with a rank-one homoclinic tangency there are codimension two laminations of maps with infinitely many sinks. Indeed, these laminations, called Newhouse laminations, occur also in the holomorphic context. In the space of polynomials of $\mathbb{C}^2$, with bounded degree, there are Newhouse laminations.


title: UR2KiD: Unifying Retrieval, Keypoint Detection, and Keypoint Description without Local Correspondence Supervision

abstract: In this paper, we explore how three related tasks, namely keypoint detection, description, and image retrieval can be jointly tackled using a single unified framework, which is trained without the need of training data with point to point correspondences. By leveraging diverse information from sequential layers of a standard ResNet-based architecture, we are able to extract keypoints and descriptors that encode local information using generic techniques such as local activation norms, channel grouping and dropping, and self-distillation. Subsequently, global information for image retrieval is encoded in an end-to-end pipeline, based on pooling of the aforementioned local responses. In contrast to previous methods in local matching, our method does not depend on pointwise/pixelwise correspondences, and requires no such supervision at all i.e. no depth-maps from an SfM model nor manually created synthetic affine transformations. We illustrate that this simple and direct paradigm, is able to achieve very competitive results against the state-of-the-art methods in various challenging benchmark conditions such as viewpoint changes, scale changes, and day-night shifting localization.


title: Recovering Geometric Information with Learned Texture Perturbations

abstract: Regularization is used to avoid overfitting when training a neural network; unfortunately, this reduces the attainable level of detail hindering the ability to capture high-frequency information present in the training data. Even though various approaches may be used to re-introduce high-frequency detail, it typically does not match the training data and is often not time coherent. In the case of network inferred cloth, these sentiments manifest themselves via either a lack of detailed wrinkles or unnaturally appearing and/or time incoherent surrogate wrinkles. Thus, we propose a general strategy whereby high-frequency information is procedurally embedded into low-frequency data so that when the latter is smeared out by the network the former still retains its high-frequency detail. We illustrate this approach by learning texture coordinates which when smeared do not in turn smear out the high-frequency detail in the texture itself but merely smoothly distort it. Notably, we prescribe perturbed texture coordinates that are subsequently used to correct the over-smoothed appearance of inferred cloth, and correcting the appearance from multiple camera views naturally recovers lost geometric information.


title: Factors and loose Hamilton cycles in sparse pseudo-random hypergraphs

abstract: We investigate the emergence of spanning structures in sparse pseudo-random $k$-uniform hypergraphs, using the following comparatively weak notion of pseudo-randomness. A $k$-uniform hypergraph $H$ on $n$ vertices is called $(p,\alpha,\epsilon)$-pseudo-random if for all (not necessarily disjoint) vertex subsets $A_1,\dots, A_k{\subseteq} V(H)$ with $|A_1|\cdots |A_k|{\geq}\alpha n^{k}$ we have $$e(A_1,\dots, A_k)=(1\pm\epsilon)p |A_1|\cdots |A_k|.$$ For any linear $k$-uniform $F$ we provide a bound on $\alpha=\alpha(n)$ in terms of $p=p(n)$ and $F$, such that (under natural divisibility assumptions on $n$) any $k$-uniform $\big(p,\alpha, o(1)\big)$-pseudo-random $n$-vertex hypergraph $H$ with a mild minimum vertex degree condition contains an $F$-factor. The approach also enables us to establish the existence of loose Hamilton cycles in sufficiently pseudo-random hypergraphs and all results imply corresponding bounds for stronger notions of hypergraph pseudo-randomness such as jumbledness or large spectral gap. As a consequence, $\big(p,\alpha, o(1)\big)$-pseudo-random $k$-graphs as above contain: $(i)$ a perfect matching if $\alpha=o(p^{k})$ and $(ii)$ a loose Hamilton cycle if $\alpha=o(p^{k-1})$. This extends the works of Lenz--Mubayi, and Lenz--Mubayi--Mycroft who studied the analogous problems in the dense setting.


title: Precise tomography of optical polarization qubits under conditions of chromatic aberration of quantum transformations

abstract: In this work we present an algorithm of building an adequate model of polarizing quantum state measurement. This model takes into account chromatic aberration of the basis change transformation caused by the parasitic dispersion of the wave plates crystal and finite radiation spectral bandwidth. We show that the chromatic aberration reduces the amount of information in the measurements results. Using the information matrix approach we estimate the impact of this effect on the qubit state reconstruction fidelity for different values of sample size and spectral bandwidth. We also demonstrate that our model outperforms the standard model of projective measurements as it could suppress systematic errors of quantum tomography even when one performs the measurements using wave plates of high order.


title: Bayesian inference for treatment effects under nested subsets of controls

abstract: When constructing a model to estimate the causal effect of a treatment, it is necessary to control for other factors which may have confounding effects. Because the ignorability assumption is not testable, however, it is usually unclear which minimal set of controls is appropriate -- as is their appropriate functional form in the model -- and effect estimation can be sensitive to these choices. A common approach in this case is to fit several models, each with a different control specification (under the assumption that the available controls are sufficient but possibly not all necessary to deconfound the treatment effect), but it is difficult to reconcile inference for the treatment effect under the multiple resulting posterior distributions. Therefore we propose a two-stage approach to measure the sensitivity of effect estimation with respect to control specification. In the first stage, a model is fit with all available controls using a prior carefully selected to adjust for confounding. In the second stage, posterior distributions are calculated for the treatment effect under submodels of nested sets of controls using projected posteriors under the full model, providing valid Bayesian inference. We demonstrate how our approach can be used to detect influential confounders in a dataset, and apply it in a sensitivity analysis of an observational study measuring the effect of legalized abortion on crime rates.


title: The extreme CNO-enhanced composition of the primitive iron-poor dwarf star J0815+4729

abstract: We present an analysis of high-resolution Keck/HIRES spectroscopic observations of J0815+4729, an extremely carbon-enhanced, iron-poor dwarf star. These high-quality data allow us to derive a metallicity of [Fe/H]$=-5.49{\pm}0.14$ from the three strongest \ion{Fe}{1} lines and to measure a high [Ca/Fe]~$=0.75{\pm}0.14$. The large carbon abundance of A(C)~$=7.43{\pm}0.17$ (or [C/Fe]~$\sim 4.49{\pm}0.11$) places this star in the upper boundary of the low-carbon band in the A(C)-[Fe/H] diagram, suggesting no contamination from a binary AGB companion. We detect the oxygen triplet at 777nm for the first time in an ultra-metal poor star, indicating a large oxygen-to-iron abundance ratio of [O/Fe]~$=4.03{\pm}0.12$ (A(O)~$=7.23{\pm}0.14$), significantly higher than the previously most metal-poor dwarf J2209-0028 with an oxygen triplet detection with [O/Fe]~$\sim2.2$~dex at [Fe/H]~$\sim -3.9$. Nitrogen is also dramatically enhanced with (A(N)~$=6.75{\pm}0.08$) and an abundance ratio [N/Fe]~$\sim 4.41{\pm}0.08$. We also detect Ca, Na and Mg, while provide upper limits for eight other elements. The abundance pattern of J0815+4729 resembles that of HE~1327-2326, indicating that both are second-generation stars contaminated by a $\sim 21-27$~\msun~single, zero-metallicity low-energy supernova with very little mixing and substantial fallback. The absence of lithium implies an upper-limit abundance A(Li)~$<1.3$~dex, about 0.7~dex below the detected Li abundance in J0023+0307 which has a similar metallicity, exacerbating the cosmological lithium problem.


title: On the Elliptic Calabi-Yau Fourfold with Maximal $h^{1,1}$

abstract: In this paper, we explicitly construct the smooth compact base threefold for the elliptic Calabi-Yau fourfold with the largest known $h^{1,1}=303\,148$. It is generated by blowing up a smooth toric "seed" base threefold with $(E_8,E_8,E_8)$ collisions. The 4d F-theory compactification model over it has the largest geometric gauge group, $E_8^{2\,561}\times F_4^{7\,576}\times G_2^{20\,168}\times SU(2)^{30\,200}$, and the largest number of axions, $181\,820$, in the known 4d $\mathcal{N}=1$ supergravity landscape. We also prove that there are at least $1100^{15\,048}\approx 7.5\times 10^{45\,766}$ different flip and flop phases of this base threefold. Moreover, we find that many other base threefolds with large $h^{1,1}$ in the 4d F-theory landscape can be constructed in a similar way as well.


title: Colour-Twist Operators I: Spectrum and Wave Functions

abstract: We introduce a new class of operators in any theory with a 't Hooft large-$N$ limit that we call colour-twist operators. They are defined by twisting the colour-trace with a global symmetry transformation and are continuously linked to standard, un-twisted single-trace operators. In particular, correlation functions between operators that are twisted by an R-symmetry of ${\cal N}=4$ SYM extend those in the $\gamma$-deformed theory. The most general deformation also breaks the Lorentz symmetry but preserves integrability in the examples we consider. In this paper, we focus on colour-twist operators in the fishnet model. We exemplify our approach for the simplest colour-twist operators with one and two scalar fields, which we study non-perturbatively using field-theoretical as well as integrability methods, finding a perfect match. We also propose the quantisation condition for the Baxter equation appearing in the integrability calculation in the fishnet model. The results of this paper constitute a crucial step towards building the separation of variable construction for the correlation functions by means of the Quantum Spectral Curve approach.


title: Locks fit into keys: a crystal analysis of lock polynomials

abstract: Lock polynomials and lock Kohnert tableaux are natural analogues to key polynomials and key Kohnert tableaux, respectively. In this paper, we compare lock polynomials to the much-studied key polynomials and show that the difference of a key polynomial and lock polynomial for the same composition is monomial positive. We also examine the conditions for which key and lock polynomials are symmetric or quasisymmetric. We accomplish these goals combinatorially using key Kohnert tableaux and lock Kohnert tableaux. In particular, for the difference of a key minus a lock, we focus on the behavior of crystal operators on Kohnert tableaux. The Type A Demazure crystal can be realized on the vertex set of key Kohnert tableaux, and we show with an explicit combinatorial definition that a similar crystal-like structure exists on the vertex set of lock Kohnert tableaux. Finally, we construct an injective, weight-preserving map from lock Kohnert tableaux to key Kohnert tableaux that intertwines the crystal operators.


title: Predicting Ligand-Dissociation Energies of 3d Coordination Complexes with Auxiliary-Field Quantum Monte Carlo

abstract: Transition metal complexes are ubiquitous in biology and chemical catalysis, yet they remain difficult to accurately describe with ab initio methods due to the presence of a large degree of dynamic electron correlation, and, in some cases, strong static correlation which results from a manifold of low-lying states. Progress has been hindered by a scarcity of high quality gas-phase experimental data, while exact ab initio predictions are usually computationally unaffordable due to the large size of the systems. In this work, we present a data set of 34 3d metal-containing complexes with gas-phase ligand-dissociation energies that have reported uncertainties of $\leq$ 2 kcal/mol. We perform all-electron phaseless auxiliary-field quantum Monte Carlo (ph-AFQMC) utilizing multi-determinant trial wavefunctions selected by a blackbox procedure. We compare the results with those from DFT with various functionals, and DLPNO-CCSD(T). We find MAE of 1.09 $\pm$ 0.28 kcal/mol for our best ph-AFQMC method, vs 2.89 kcal/mol for DLPNO-CCSD(T) and 1.57 - 3.87 kcal/mol for DFT. We find maximum errors of 2.96 $\pm$ 1.71 kcal/mol for our best ph-AFQMC method, vs 9.15 kcal/mol for DLPNO-CCSD(T) and 5.98 - 13.69 kcal/mol for DFT. The reasonable performance of several functionals is in stark contrast to the much poorer accuracy previously demonstrated for diatomics, suggesting a moderation in electron correlation due to ligand coordination. However, the unpredictably large errors for a small subset of cases with both DFT and DLPNO-CCSD(T) leave cause for concern, especially due to the unreliability of common multi-reference indicators. In contrast, the robust and, in principle, systematically improvable results of ph-AFQMC for these realistic complexes establish it as a useful tool for elucidating the electronic structure of transition metal-containing complexes and predicting their gas-phase properties.


title: Revisit of Y-junctions for strings with currents: transonic elastic case

abstract: We studied the formation of Y-junctions for transonic elastic strings. In particular, using the gen-eral solution for these strings, which is described by left- and right-moving modes, we obtained thedynamics of kinks and Y-junctions. Considering the linearized ansatz for straight strings, we con-structed the parameter region space for which the formation of Y-junctions due to strings collisionsis allowed.


title: Single headed attention based sequence-to-sequence model for state-of-the-art results on Switchboard

abstract: It is generally believed that direct sequence-to-sequence (seq2seq) speech recognition models are competitive with hybrid models only when a large amount of data, at least a thousand hours, is available for training. In this paper, we show that state-of-the-art recognition performance can be achieved on the Switchboard-300 database using a single headed attention, LSTM based model. Using a cross-utterance language model, our single-pass speaker independent system reaches 6.4% and 12.5% word error rate (WER) on the Switchboard and CallHome subsets of Hub5'00, without a pronunciation lexicon. While careful regularization and data augmentation are crucial in achieving this level of performance, experiments on Switchboard-2000 show that nothing is more useful than more data. Overall, the combination of various regularizations and a simple but fairly large model results in a new state of the art, 4.7% and 7.8% WER on the Switchboard and CallHome sets, using SWB-2000 without any external data resources.


title: Open Source Energy System Modeling Using Break-Even Costs to Inform State-Level Policy: A North Carolina Case Study

abstract: Rigorous model-based analysis can help inform state-level energy and climate policy. In this study, we utilize an open-source energy system optimization model and publicly available datasets to examine future electricity generation, CO2 emissions, and CO2 abatement costs for the North Carolina electric power sector through 2050. Model scenarios include uncertainty in future fuel prices, a hypothetical CO2 cap, and an extended renewable portfolio standard. Across the modeled scenarios, solar photovoltaics represent the most cost-effective low-carbon technology, while trade-offs among carbon constrained scenarios largely involve natural gas and renewables. We also develop a new method to calculate break-even costs, which indicate the capital costs at which different technologies become cost-effective within the model. Significant variation in break-even costs are observed across different technologies and scenarios. We illustrate how break-even costs can be used to inform the development of an extended renewable portfolio standard in North Carolina. Utilizing the break-even costs to calibrate a tax credit for onshore wind, we find that the resultant wind deployment displaces other renewables, and thus has a negligible effect on CO2 emissions. Such insights can provide crucial guidance to policymakers weighing different policy options. This study provides an analytical framework to conduct similar analyses in other states using an open source model and freely available datasets.


title: Quantum kinetic energy and isotope fractionation in aqueous ionic solutions

abstract: At room temperature, the quantum contribution to the kinetic energy of a water molecule exceeds the classical contribution by an order of magnitude. The quantum kinetic energy (QKE) of a water molecule is modulated by its local chemical environment and leads to uneven partitioning of isotopes between different phases in thermal equilibrium, which would not occur if the nuclei behaved classically. In this work, we use ab initio path integral simulations to show that QKEs of the water molecules and the equilibrium isotope fractionation ratios of the oxygen and hydrogen isotopes are sensitive probes of the hydrogen bonding structures in aqueous ionic solutions. In particular, we demonstrate how the QKE of water molecules in path integral simulations can be decomposed into translational, rotational and vibrational degrees of freedom, and use them to determine the impact of solvation on different molecular motions. By analyzing the QKEs and isotope fractionation ratios, we show how the addition of the Na$^+$, Cl$^-$ and HPO$_4^{2-}$ ions perturbs the competition between quantum effects in liquid water and impacts their local solvation structures.


title: Smart Parking System Based on Bluetooth Low Energy Beacons with Particle Filtering

abstract: Urban centers and dense populations are expanding, hence, there is a growing demand for novel applications to aid in planning and optimization. In this work, a smart parking system that operates both indoor and outdoor is introduced. The system is based on Bluetooth Low Energy (BLE) beacons and uses particle filtering to improve its accuracy. Through simple BLE connectivity with smartphones, an intuitive parking system is designed and deployed. The proposed system pairs each spot with a unique BLE beacon, providing users with guidance to free parking spaces and a secure and automated payment scheme based on real-time usage of the parking space. Three sets of experiments were conducted to examine different aspects of the system. A particle filter is implemented in order to increase the system performance and improve the credence of the results. Through extensive experimentation in both indoor and outdoor parking spaces, the system was able to correctly predict which spot the user has parked in, as well as estimate the distance of the user from the beacon.


title: Digital synthesis of histological stains using micro-structured and multiplexed virtual staining of label-free tissue

abstract: Histological staining is a vital step used to diagnose various diseases and has been used for more than a century to provide contrast to tissue sections, rendering the tissue constituents visible for microscopic analysis by medical experts. However, this process is time-consuming, labor-intensive, expensive and destructive to the specimen. Recently, the ability to virtually-stain unlabeled tissue sections, entirely avoiding the histochemical staining step, has been demonstrated using tissue-stain specific deep neural networks. Here, we present a new deep learning-based framework which generates virtually-stained images using label-free tissue, where different stains are merged following a micro-structure map defined by the user. This approach uses a single deep neural network that receives two different sources of information at its input: (1) autofluorescence images of the label-free tissue sample, and (2) a digital staining matrix which represents the desired microscopic map of different stains to be virtually generated at the same tissue section. This digital staining matrix is also used to virtually blend existing stains, digitally synthesizing new histological stains. We trained and blindly tested this virtual-staining network using unlabeled kidney tissue sections to generate micro-structured combinations of Hematoxylin and Eosin (H&E), Jones silver stain, and Masson's Trichrome stain. Using a single network, this approach multiplexes virtual staining of label-free tissue with multiple types of stains and paves the way for synthesizing new digital histological stains that can be created on the same tissue cross-section, which is currently not feasible with standard histochemical staining methods.

categories: eess.IV cs.CV cs.LG physics.med-ph q-bio.QM


title: Stochastic inflaton wave equation from an expanding environment

abstract: We discuss the inflaton $\phi$ in an environment of scalar fields $\chi_{n}$ on flat and curved manifolds. We average over the environmental fields $\chi_{n}$. We study a contribution of superhorizon $k<<aH$ as well as subhorizon $k>> aH$ modes $\chi_{n}({\bf k})$. As a result we obtain a stochastic wave equation with a friction and noise. We show that in the subhorizon regime in field theory a finite number of fields is sufficient to produce a friction and diffusion owing to the infinite number of degrees of freedom corresponding to different ${\bf k}$ in $\chi_{n}({\bf k})$. We investigate the slow roll and the Markovian approximaions to the stochastic wave equation. A determination of the metric from the stochastic Einstein-Klein-Gordon equations is briefly discussed,


title: Exit measure, local time and a boundary local time of super-Brownian motion

abstract: We use a renormalization of the total mass of the exit measure from the complement of a small ball centered at $x\in \mathbb{R}^d$ for $d\leq 3$ to give a new construction of the total local time $L^x$ of super-Brownian motion at $x$. In \cite{Hong20} a more singular renormalization of the total mass of the exit measure concentrating on $x$, where the exit measure is positive but unusually small, is used to build a boundary local time supported on the topological boundary of the range of super-Brownian motion. Our exit measure construction of $L^x$ motivates this renormalization. We give an important step of this construction here by establishing the convergence of the associated mean measure to an explicit limit; this will be used in the construction of the boundary local time in \cite{Hong20}. Both our results rely on the behaviour of solutions to the associated semilnear elliptic equation with singular initial data and on Le Gall's special Markov property for exit measures.


title: Computing actions on cusp forms

abstract: For positive integers $k$ and $N$, we describe how to compute the natural action of $SL_2(\mathbb{Z})$ on the space of cusp forms $S_k(\Gamma(N))$, where a cusp form is given by sufficiently many terms of its $q$-expansion. This will reduce to computing the action of the Atkin--Lehner operator on $S_k(\Gamma)$ for a congruence subgroup $\Gamma_1(N)\subseteq \Gamma \subseteq \Gamma_0(N)$. Our motivating application of such fundamental computations is to compute explicit models of some modular curves $X_G$.


title: Gaussian process model of 51-dimensional potential energy surface for protonated imidazole dimer

abstract: The goal of the present work is to obtain accurate potential energy surfaces (PES) for high-dimensional molecular systems with a small number of ${\it ab}$ ${\it initio}$ calculations in a system-agnostic way. We use probabilistic modeling based on Gaussian processes (GPs). We illustrate that it is possible to build an accurate GP model of a 51-dimensional PES based on $5000$ randomly distributed ${\it ab}$ ${\it initio}$ calculations with a global accuracy of $< 0.2$ kcal/mol. Our approach uses GP models with composite kernels designed to enhance the Bayesian information content and represents the global PES as a sum of a full-dimensional GP and several GP models for molecular fragments of lower dimensionality. We demonstrate the potency of these algorithms by constructing the global PES for the protonated imidazole dimer, a molecular system with $19$ atoms. We illustrate that GP models thus constructed can extrapolate the PES from low energies ($< 10,000$ cm$^{-1}$), yielding a PES at high energies ($> 20,000$ cm$^{-1}$). This opens the prospect for new applications of GPs, such as mapping out phase transitions by extrapolation or accelerating Bayesian optimization, for high-dimensional physics and chemistry problems with a restricted number of inputs, i.e. for high-dimensional problems where obtaining training data is very difficult.


title: Constrained Semilinear Elliptic Systems on $\mathbb{R}^N$

abstract: We prove the existence of solutions $u$ in $H^1(\mathbb{R}^N,\mathbb{R}^M)$ of the following strongly coupled semilinear system of second order elliptic PDEs on $\mathbb{R}^N$ \[ \mathcal{P}[u] = f(x,u,\nabla u), \quad x\in \mathbb{R}^N, \] whith pointwise constraints. We present the construction of the suitable topoligical degree which allows us to solve the above system on bounded domains. The key step in the proof consists of showing that the sequence of solutions of the truncated system is compact in $H^1$ by the use of the so-called tail estimates.


title: Galois groups arising from families with big orthogonal monodromy

abstract: We study the Galois groups of polynomials arising from a compatible family of representations with big orthogonal monodromy. We show that the Galois groups are usually as large as possible given the constraints imposed on them by a functional equation and discriminant considerations. As an application, we consider the Frobenius polynomials arising from the middle \'etale cohomology of hypersurfaces in $\mathbb{P}_{\mathbb{F}_q}^{2n+1}$ of degree at least $3$. We also consider the $L$-functions of quadratic twists of fixed degree of an elliptic curve over a function field $\mathbb{F}_q(t)$. To determine the typical Galois group in the elliptic curve setting requires using some known cases of the Birch and Swinnerton-Dyer conjecture. This extends and generalizes work of Chavdarov, Katz and Jouve.


title: Khovanov homology and causality in spacetimes

abstract: We observe that Khovanov homology detects causality in $(2+1)$-dimensional globally hyperbolic spacetimes whose Cauchy surface is homeomorphic to $\mathbb R^2$


title: A generalization of a result on the sum of element orders of a finite group

abstract: Let $G$ be a finite group and let $\psi(G)$ denote the sum of element orders of $G$. It is well-known that the maximum value of $\varphi$ on the set of groups of order $n$, where $n$ is a positive integer, will occur at the cyclic group $C_n$. For nilpotent groups, we prove a natural generalization of this result, obtained by replacing the element orders of $G$ with the element orders relative to a certain subgroup $H$ of $G$.


title: Transparently Capturing Request Execution Path for Anomaly Detection

abstract: With the increasing scale and complexity of cloud systems and big data analytics platforms, it is becoming more and more challenging to understand and diagnose the processing of a service request in such distributed platforms. One way that helps to deal with this problem is to capture the complete end-to-end execution path of service requests among all involved components accurately. This paper presents REPTrace, a generic methodology for capturing such execution paths in a transparent fashion. We analyze a comprehensive list of execution scenarios, and propose principles and algorithms for generating the end-to-end request execution path for all the scenarios. Moreover, this paper presents an anomaly detection approach exploiting request execution paths to detect anomalies of the execution during request processing. The experiments on four popular distributed platforms with different workloads show that REPTrace can transparently capture the accurate request execution path with reasonable latency and negligible network overhead. Fault injection experiments show that execution anomalies are detected with high recall (96%).


title: Positive Impacts on Student Self-Efficacy from an Introductory Physics for Life Science Course Using the Team-Based Learning Pedagogy

abstract: We present the impact on student self-efficacy of an introductory physics for life-science students course taught using a Team-Based Learning pedagogy. We measured self-efficacy using the validated quantitative Sources of Self-Efficacy in Science Courses - Physics, SOSESC-P, survey developed by Fencl and Scheel. Data were collected both at the beginning and end of the semester to evaluate the impact of shifts in individual self-efficacy. After describing the key features of the pedagogy, we find that the Team-Based Learning system at University of Massachusetts Amherst, results in significant improvements for she-identifying individuals from three of the four sources of self-efficacy identified by Bandura as well as in three of four investigated attributes of the course. We also investigated the predictive power of self-efficacy on individual student performance using logarithmic regression. For our course, the shift in self-efficacy between the beginning and end of the semester is more important that a student's pronouns in predicting attaining at least a B on individual assignments.


title: Mixed integer programming formulation of unsupervised learning

abstract: A novel formulation and training procedure for full Boltzmann machines in terms of a mixed binary quadratic feasibility problem is given. As a proof of concept, the theory is analytically and numerically tested on XOR patterns.


title: Optical image amplification in dual-comb microscopy by use of optical-fiber-amplified interferogram

abstract: Dual-comb microscopy (DCM), based on a combination of dual-comb spectroscopy (DCS) with two-dimensional spectral encoding (2D-SE), is a promising method for scan-less confocal laser microscopy giving an amplitude and phase image contrast with the confocality. However, signal loss in a 2D-SE optical system hampers increase in image acquisition rate due to decreased signa-to-noise ratio. In this article, we demonstrated optical image amplification in DCM with an erbium-doped fiber amplifier (EDFA). Combined use of image-encoded DCS interferogram and EDFA benefits from not only the batch amplification of amplitude and phase images but also significant rejection of amplified spontaneous emission (ASE) background. Effectiveness of the optical-image-amplified DCM is highlighted in the single-shot quantitative nanometer-order surface topography and the real-time movie of polystyrene beads dynamics under water convection. The proposed method will be a powerful tool for real-time observation of surface topography and fast dynamic phenomena.


title: $A$-hypergeometric series and a $p$-adic refinement of the Hasse-Witt matrix

abstract: We identify the $p$-adic unit roots of the zeta function of a projective hypersurface over a finite field of characteristic $p$ as the eigenvalues of a product of special values of a certain matrix of $p$-adic series. That matrix is a product $F(\Lambda^p)^{-1}F(\Lambda)$, where the entries in the matrix $F(\Lambda)$ are $A$-hypergeometric series with integral coefficients and $F(\Lambda)$ is independent of $p$.


title: New constructions of Deza digraphs

abstract: Deza digraphs were introduced in 2003 by Zhang and Wang as directed graph version of Deza graphs, that also generalize the notion of directed strongly regular graphs. In this paper we give several new constructions of Deza digraphs. Further, we introduce twin and Siamese twin (directed) Deza graphs and construct several examples. Moreover, we classify directed Deza graphs with parameters $(n,k,b,a,t)$ having the property that $b=t$. Finally, we introduce a variation of directed Deza graphs and provide a construction from finite fields.


title: A node-charge graph-based online carshare rebalancing policy with capacitated electric charging

abstract: Viability of electric car-sharing operations depends on rebalancing algorithms. Earlier methods in the literature suggest a trend toward non-myopic algorithms using queueing principles. We propose a new rebalancing policy using cost function approximation. The cost function is modeled as a p-median relocation problem with minimum cost flow conservation and path-based charging station capacities on a static node-charge graph structure. The cost function is NP-complete, so a heuristic is proposed that ensures feasible solutions that can be solved in an online system. The algorithm is validated in a case study of electric carshare in Brooklyn, New York, with demand data shared from BMW ReachNow operations in September 2017 (262 vehicle fleet, 231 pickups per day, 303 traffic analysis zones (TAZs)) and charging station location data (18 charging stations with 4 port capacities). The proposed non-myopic rebalancing heuristic reduces the cost increase compared to myopic rebalancing by 38%. Other managerial insights are further discussed.


title: In-The-Field Monitoring of Functional Calls: Is It Feasible?

abstract: Collecting data about the sequences of function calls executed by an application while running in the field can be useful to a number of applications, including failure reproduction, profiling, and debugging. Unfortunately, collecting data from the field may introduce annoying slowdowns that negatively affect the quality of the user experience. So far, the impact of monitoring has been mainly studied in terms of the overhead that it may introduce in the monitored applications, rather than considering if the introduced overhead can be really recognized by users. In this paper we take a different perspective studying to what extent collecting data about sequences of function calls may impact the quality of the user experience, producing recognizable effects. Interestingly we found that, depending on the nature of the executed operation and its execution context, users may tolerate a non-trivial overhead. This information can be potentially exploited to collect significant amount of data without annoying users.