title: Consensus ADMM for Inverse Problems Governed by Multiple PDE Models

abstract: The Alternating Direction Method of Multipliers (ADMM) provides a natural way of solving inverse problems with multiple partial differential equations (PDE) forward models and nonsmooth regularization. ADMM allows splitting these large-scale inverse problems into smaller, simpler sub-problems, for which computationally efficient solvers are available. In particular, we apply large-scale second-order optimization methods to solve the fully-decoupled Tikhonov regularized inverse problems stemming from each PDE forward model. We use fast proximal methods to handle the nonsmooth regularization term. In this work, we discuss several adaptations (such as the choice of the consensus norm) needed to maintain consistency with the underlining infinite-dimensional problem. We present two imaging applications inspired by electrical impedance tomography and quantitative photoacoustic tomography to demonstrate the proposed method's effectiveness.


title: High rate nanofluidic energy absorption in porous zeolitic frameworks

abstract: Optimal mechanical impact absorbers are reusable and exhibit high specific energy absorption. The forced intrusion of liquid water in hydrophobic nanoporous materials, such as zeolitic imidazolate frameworks (ZIFs), presents an attractive pathway to engineer such systems. However, to harness their full potential, it is crucial to understand the underlying water intrusion and ex-trusion mechanisms under realistic, high-rate deformation conditions. Herein, we report a critical increase of the energy absorption capacity of confined water-ZIF systems at elevated strain rates. Starting from ZIF-8 as proof-of-concept, we demonstrate that this attractive rate depend-ence is generally applicable to cage-type ZIFs but disappears for channel-containing zeolites. Molecular simulations reveal that this phenomenon originates from the intrinsic nanosecond timescale needed for critical-sized water clusters to nucleate inside the nanocages, expediting water transport through the framework. Harnessing this fundamental understanding, design rules are formulated to construct effective, tailorable, and reusable impact energy absorbers for challenging new applications.


title: Symbolic Abstractions From Data: A PAC Learning Approach

abstract: Symbolic control techniques aim to satisfy complex logic specifications. A critical step in these techniques is the construction of a symbolic (discrete) abstraction, a finite-state system whose behaviour mimics that of a given continuous-state system. The methods used to compute symbolic abstractions, however, require knowledge of an accurate closed-form model. To generalize them to systems with unknown dynamics, we present a new data-driven approach that does not require closed-form dynamics, instead relying only the ability to evaluate successors of each state under given inputs. To provide guarantees for the learned abstraction, we use the Probably Approximately Correct (PAC) statistical framework. We first introduce a PAC-style behavioural relationship and an appropriate refinement procedure. We then show how the symbolic abstraction can be constructed to satisfy this new behavioural relationship. Moreover, we provide PAC bounds that dictate the number of data required to guarantee a prescribed level of accuracy and confidence. Finally, we present an illustrative example.


title: Data-Driven Reachability Analysis with Christoffel Functions

abstract: We present an algorithm for data-driven reachability analysis that estimates finite-horizon forward reachable sets for general nonlinear systems using level sets of a certain class of polynomials known as Christoffel functions. The level sets of Christoffel functions are known empirically to provide good approximations to the support of probability distributions: the algorithm uses this property for reachability analysis by solving a probabilistic relaxation of the reachable set computation problem. We also provide a guarantee that the output of the algorithm is an accurate reachable set approximation in a probabilistic sense, provided that a certain sample size is attained. We also investigate three numerical examples to demonstrate the algorithm's capabilities, such as providing non-convex reachable set approximations and detecting holes in the reachable set.


title: Nonplanar isoperimetric inequality for random groups

abstract: The goal of this note is to generalize Isoperimetric Inequality for random groups to the class of non-planar diagrams of bounded number of faces.


title: A Variational Theory of Lift

abstract: In this paper, we revive a special, less-common, variational principle in analytical mechanics (Hertz' principle of least curvature) to develop a novel variational analogue of Euler's equations for the dynamics of an ideal fluid. The new variational formulation is fundamentally different from those formulations based on Hamilton's principle of least action. Using this new variational formulation, we generalize the century-old problem of the flow over a two-dimensional body, to find that lift is a direct consequence of curvature. The developed variational principle reduces to the classical Kutta-Zhukovsky condition in the special case of a sharp-edged airfoil, which challenges the accepted wisdom about the Kutta condition being a manifestation of viscous effects. Rather, we found that it represents conservation of momentum. Moreover, the developed variational principle provides, for the first time, a theoretical model for lift over smooth shapes without sharp edges where the Kutta condition is not applicable. We discuss how this fundamental divergence from current theory can explain discrepancies in computational studies and experiments with superfluids.


title: CRC-Aided List Decoding of Convolutional Codes in the Short Blocklength Regime

abstract: We consider the concatenation of a convolutional code (CC) with an optimized cyclic redundancy check (CRC) code as a promising paradigm for good short blocklength codes. The resulting CRC-aided convolutional code naturally permits the use of serial list Viterbi decoding (SLVD) to achieve maximum-likelihood decoding. The convolutional encoder of interest is of rate-$1/\omega$ and the convolutional code is either zero-terminated (ZT) or tail-biting (TB). The resulting CRC-aided convolutional code is called a CRC-ZTCC or a CRC-TBCC. To design a good CRC-aided convolutional code, we propose the distance-spectrum optimal (DSO) CRC polynomial. A DSO CRC search algorithm for the TBCC is provided. Our analysis reveals that the complexity of SLVD is governed by the expected list rank which converges to $1$ at high SNR. This allows a good performance to be achieved with a small increase in complexity. In this paper, we focus on transmitting $64$ information bits with a rate-$1/2$ convolutional encoder. For a target error probability $10^{-4}$, simulations show that the best CRC-ZTCC approaches the random-coding union (RCU) bound within $0.4$ dB. Several CRC-TBCCs outperform the RCU bound at moderate SNR values.


title: Reward (Mis)design for Autonomous Driving

abstract: This article considers the problem of diagnosing certain common errors in reward design. Its insights are also applicable to the design of cost functions and performance metrics more generally. To diagnose common errors, we develop 8 simple sanity checks for identifying flaws in reward functions. These sanity checks are applied to reward functions from past work on reinforcement learning (RL) for autonomous driving (AD), revealing near-universal flaws in reward design for AD that might also exist pervasively across reward design for other tasks. Lastly, we explore promising directions that may aid the design of reward functions for AD in subsequent research, following a process of inquiry that can be adapted to other domains.


title: Seeing All the Angles: Learning Multiview Manipulation Policies for Contact-Rich Tasks from Demonstrations

abstract: Learned visuomotor policies have shown considerable success as an alternative to traditional, hand-crafted frameworks for robotic manipulation. Surprisingly, an extension of these methods to the multiview domain is relatively unexplored. A successful multiview policy could be deployed on a mobile manipulation platform, allowing the robot to complete a task regardless of its view of the scene. In this work, we demonstrate that a multiview policy can be found through imitation learning by collecting data from a variety of viewpoints. We illustrate the general applicability of the method by learning to complete several challenging multi-stage and contact-rich tasks, from numerous viewpoints, both in a simulated environment and on a real mobile manipulation platform. Furthermore, we analyze our policies to determine the benefits of learning from multiview data compared to learning with data collected from a fixed perspective. We show that learning from multiview data results in little, if any, penalty to performance for a fixed-view task compared to learning with an equivalent amount of fixed-view data. Finally, we examine the visual features learned by the multiview and fixed-view policies. Our results indicate that multiview policies implicitly learn to identify spatially correlated features.


title: A Verifiable Framework for Cyber-Physical Attacks and Countermeasures in a Resilient Electric Power Grid

abstract: In this paper, we investigate the feasibility and physical consequences of cyber attacks against energy management systems (EMS). Within this framework, we have designed a complete simulation platform to emulate realistic EMS operations: it includes state estimation (SE), real-time contingency analysis (RTCA), and security constrained economic dispatch (SCED). This software platform allowed us to achieve two main objectives: 1) to study the cyber vulnerabilities of an EMS and understand their consequences on the system, and 2) to formulate and implement countermeasures against cyber-attacks exploiting these vulnerabilities. Our results show that the false data injection attacks against state estimation described in the literature do not easily cause base-case overflows because of the conservatism introduced by RTCA. For a successful attack, a more sophisticated model that includes all of the EMS blocks is needed; even in this scenario, only post-contingency violations can be achieved. Nonetheless, we propose several countermeasures that can detect changes due to cyber-attacks and limit their impact on the system.


title: Existence and stability of near-constant solutions of variable-coefficient scalar field equations

abstract: This article studies a class of semilinear scalar field equations on the real line with variable coefficients in the linear terms. These coefficients are not necessarily small perturbations of a constant. We prove that under suitable conditions, the non-translation-invariant linear operator leads to steady states that are ``almost constant'' in the spatial variable. The main challenge of the proof is due to a spectral obstruction that cannot be treated perturbatively. Next, we consider stability of constant and near-constant steady states. We establish asymptotic stability for the vacuum state with respect to perturbations in $H^1\times L^2$, without placing any parity assumptions on the coefficients, potential, or initial data. Finally, under a parity assumption, we show asymptotic stability for near-constant steady states.


title: Notions of indifference for genericity: Union and subsequence sets

abstract: A set $I$ is said to be a universal indifferent set for $1$-genericity if for every $1$-generic $G$ and for all $X \subseteq I$, $G \Delta X$ is also $1$-generic. Miller showed that there is no infinite universal indifferent set for $1$-genericity. We introduce two variants (union and subsequence sets for $1$-genericity) of the notion of universal indifference and prove that there are no non-trivial universal sets for $1$-genericity with respect to these notions. In contrast, we show that there is a non-computable subsequence set for weak-$1$-genericity.


title: Discovery of slow variables in a class of multiscale stochastic systems via neural networks

abstract: Finding a reduction of complex, high-dimensional dynamics to its essential, low-dimensional "heart" remains a challenging yet necessary prerequisite for designing efficient numerical approaches. Machine learning methods have the potential to provide a general framework to automatically discover such representations. In this paper, we consider multiscale stochastic systems with local slow-fast time scale separation and propose a new method to encode in an artificial neural network a map that extracts the slow representation from the system. The architecture of the network consists of an encoder-decoder pair that we train in a supervised manner to learn the appropriate low-dimensional embedding in the bottleneck layer. We test the method on a number of examples that illustrate the ability to discover a correct slow representation. Moreover, we provide an error measure to assess the quality of the embedding and demonstrate that pruning the network can pinpoint an essential coordinates of the system to build the slow representation.


title: On the construction of almost general solutions for PDEs arising in nonlinear optics

abstract: In this communication we consider the widely used nonlinear Fokas-Lenells equation, the cubic focussing nonlinear Schr\"{o}dinger equation in (2+1)-dimensions and the coupled Drinfel'd-Sokolov-Wilson equation and attempt to construct almost general solutions for the envelope of the wave packet by means of the travelling wave ansatz. The obtained solutions have been expressed in terms of Jacobi elliptic sine function from which one can obtain the solitary wave (particular) solutions by imposing appropriate conditions on the roots of certain quartic polynomials.


title: Improving BERT Model Using Contrastive Learning for Biomedical Relation Extraction

abstract: Contrastive learning has been used to learn a high-quality representation of the image in computer vision. However, contrastive learning is not widely utilized in natural language processing due to the lack of a general method of data augmentation for text data. In this work, we explore the method of employing contrastive learning to improve the text representation from the BERT model for relation extraction. The key knob of our framework is a unique contrastive pre-training step tailored for the relation extraction tasks by seamlessly integrating linguistic knowledge into the data augmentation. Furthermore, we investigate how large-scale data constructed from the external knowledge bases can enhance the generality of contrastive pre-training of BERT. The experimental results on three relation extraction benchmark datasets demonstrate that our method can improve the BERT model representation and achieve state-of-the-art performance. In addition, we explore the interpretability of models by showing that BERT with contrastive pre-training relies more on rationales for prediction. Our code and data are publicly available at: https://github.com/udel-biotm-lab/BERT-CLRE.


title: Pathwise Large deviations for the pure jump $k$-nary interacting particle systems

abstract: A pathwise large deviation result is proved for the pure jump models of $k$-nary interacting particle system introduced by Kolokoltsov that generalize classical Boltzmann's collision model, Smoluchovski's coagulation model and many others. The upper bound is obtained by following the standard methods of using a process "perturbed" by a regular function. To show the lower bound, we propose a family of orthogonal martingale measures and prove a coupling for the general perturbations. The rate function is studied based on the idea of L\'eonard with a simplification by considering the conjugation of integral functionals on a subspace of $L^{\infty}$. General "gelling" solutions in the domain of the rate function are also discussed.


title: Deep Learning for Rheumatoid Arthritis: Joint Detection and Damage Scoring in X-rays

abstract: Recent advancements in computer vision promise to automate medical image analysis. Rheumatoid arthritis is an autoimmune disease that would profit from computer-based diagnosis, as there are no direct markers known, and doctors have to rely on manual inspection of X-ray images. In this work, we present a multi-task deep learning model that simultaneously learns to localize joints on X-ray images and diagnose two kinds of joint damage: narrowing and erosion. Additionally, we propose a modification of label smoothing, which combines classification and regression cues into a single loss and achieves 5% relative error reduction compared to standard loss functions. Our final model obtained 4th place in joint space narrowing and 5th place in joint erosion in the global RA2 DREAM challenge.


title: Learning Synergistic Attention for Light Field Salient Object Detection

abstract: We propose a novel Synergistic Attention Network (SA-Net) to address the light field salient object detection by establishing a synergistic effect between multi-modal features with advanced attention mechanisms. Our SA-Net exploits the rich information of focal stacks via 3D convolutional neural networks, decodes the high-level features of multi-modal light field data with two cascaded synergistic attention modules, and predicts the saliency map using an effective feature fusion module in a progressive manner. Extensive experiments on three widely-used benchmark datasets show that our SA-Net outperforms 28 state-of-the-art models, sufficiently demonstrating its effectiveness and superiority. Our code is available at https://github.com/PanoAsh/SA-Net.


title: LambdaUNet: 2.5D Stroke Lesion Segmentation of Diffusion-weighted MR Images

abstract: Diffusion-weighted (DW) magnetic resonance imaging is essential for the diagnosis and treatment of ischemic stroke. DW images (DWIs) are usually acquired in multi-slice settings where lesion areas in two consecutive 2D slices are highly discontinuous due to large slice thickness and sometimes even slice gaps. Therefore, although DWIs contain rich 3D information, they cannot be treated as regular 3D or 2D images. Instead, DWIs are somewhere in-between (or 2.5D) due to the volumetric nature but inter-slice discontinuities. Thus, it is not ideal to apply most existing segmentation methods as they are designed for either 2D or 3D images. To tackle this problem, we propose a new neural network architecture tailored for segmenting highly-discontinuous 2.5D data such as DWIs. Our network, termed LambdaUNet, extends UNet by replacing convolutional layers with our proposed Lambda+ layers. In particular, Lambda+ layers transform both intra-slice and inter-slice context around a pixel into linear functions, called lambdas, which are then applied to the pixel to produce informative 2.5D features. LambdaUNet is simple yet effective in combining sparse inter-slice information from adjacent slices while also capturing dense contextual features within a single slice. Experiments on a unique clinical dataset demonstrate that LambdaUNet outperforms existing 3D/2D image segmentation methods including recent variants of UNet. Code for LambdaUNet is released with the publication to facilitate future research.


title: High-Resolution Optical Flow from 1D Attention and Correlation

abstract: Optical flow is inherently a 2D search problem, and thus the computational complexity grows quadratically with respect to the search window, making large displacements matching infeasible for high-resolution images. In this paper, we take inspiration from Transformers and propose a new method for high-resolution optical flow estimation with significantly less computation. Specifically, a 1D attention operation is first applied in the vertical direction of the target image, and then a simple 1D correlation in the horizontal direction of the attended image is able to achieve 2D correspondence modeling effect. The directions of attention and correlation can also be exchanged, resulting in two 3D cost volumes that are concatenated for optical flow estimation. The novel 1D formulation empowers our method to scale to very high-resolution input images while maintaining competitive performance. Extensive experiments on Sintel, KITTI and real-world 4K ($2160 \times 3840$) resolution images demonstrated the effectiveness and superiority of our proposed method. Code and models are available at \url{https://github.com/haofeixu/flow1d}.


title: Tackling Software Architecture Erosion: Joint Architecture and Implementation Repairing by a Knowledge-based Approach

abstract: Architecture erosion is a big challenge in modern architectures leading to a deterioration of the quality properties of these systems. Today, no comprehensive approach for regaining architecture consistency in eroded software systems exists and architecture consistency is essentially achieved by repairing the implementation level only. In this paper, we propose a novel approach enabling a joint architecture and implementation repairing for tackling software architecture erosion. By using a holistic view on violation causes and suitable repair actions in combination with learning mechanisms we build up a project specific knowledge-base improving accuracy and efficiency in consolidation of architecture and implementation over time.


title: Re-entrant Superconductivity Through a Quantum Lifshitz Transition in Twisted Trilayer Graphene

abstract: A series of recent experiments have demonstrated robust superconductivity in magic-angle twisted trilayer graphene (TTG). In particular, a recent work by Cao et al. (arxiv:2103.12083) studies the behavior of the superconductor in an in-plane magnetic field and out-of-plane displacement field, finding that the superconductor is unlikely to be spin-singlet. This work also finds that at high magnetic fields and a smaller range of dopings and displacement fields, it undergoes a transition to a distinct field-induced superconducting state. Inspired by these results, we develop an understanding of superconductivity in TTG using a combination of phenomenological reasoning and microscopic theory. We describe role that that an in-plane field plays in TTG, and use this understanding to argue that the re-entrant transition may be associated with a quantum Lifshitz phase transition, with the high-field phase possessing finite-momentum pairing. We argue that the superconductor is likely to involve a superposition of singlet singlet and triplet pairing, and describe the structure of the normal state. We also draw lessons for twisted bilayer graphene (TBG), and explain the differences in the phenomenology with TTG despite their close microscopic relationship. We propose that a singlet-triplet superposition is realized in the TBG superconductor as well, and that the $\nu = -2$ correlated insulator may be a time reversal protected $\mathbb{Z}_2$ topological insulator obtained through spontaneous spin symmetry breaking.


title: Open-vocabulary Object Detection via Vision and Language Knowledge Distillation

abstract: We aim at advancing open-vocabulary object detection, which detects objects described by arbitrary text inputs. The fundamental challenge is the availability of training data. It is costly to further scale up the number of classes contained in existing object detection datasets. To overcome this challenge, we propose ViLD, a training method via Vision and Language knowledge Distillation. Our method distills the knowledge from a pretrained open-vocabulary image classification model (teacher) into a two-stage detector (student). Specifically, we use the teacher model to encode category texts and image regions of object proposals. Then we train a student detector, whose region embeddings of detected boxes are aligned with the text and image embeddings inferred by the teacher. We benchmark on LVIS by holding out all rare categories as novel categories that are not seen during training. ViLD obtains 16.1 mask AP$_r$ with a ResNet-50 backbone, even outperforming the supervised counterpart by 3.8. When trained with a stronger teacher model ALIGN, ViLD achieves 26.3 AP$_r$. The model can directly transfer to other datasets without finetuning, achieving 72.2 AP$_{50}$ on PASCAL VOC, 36.6 AP on COCO and 11.8 AP on Objects365. On COCO, ViLD outperforms the previous state-of-the-art by 4.8 on novel AP and 11.4 on overall AP. Code and demo are open-sourced at https://github.com/tensorflow/tpu/tree/master/models/official/detection/projects/vild.


title: An optical lattice with sound

abstract: Quantised sound waves -- phonons -- govern the elastic response of crystalline materials, and also play an integral part in determining their thermodynamic properties and electrical response (e.g., by binding electrons into superconducting Cooper pairs). The physics of lattice phonons and elasticity is absent in simulators of quantum solids constructed of neutral atoms in periodic light potentials: unlike real solids, traditional optical lattices are silent because they are infinitely stiff. Optical-lattice realisations of crystals therefore lack some of the central dynamical degrees of freedom that determine the low-temperature properties of real materials. Here, we create an optical lattice with phonon modes using a Bose-Einstein condensate (BEC) coupled to a confocal optical resonator. Playing the role of an active quantum gas microscope, the multimode cavity QED system both images the phonons and induces the crystallisation that supports phonons via short-range, photon-mediated atom-atom interactions. Dynamical susceptibility measurements reveal the phonon dispersion relation, showing that these collective excitations exhibit a sound speed dependent on the BEC-photon coupling strength. Our results pave the way for exploring the rich physics of elasticity in quantum solids, ranging from quantum melting transitions to exotic ``fractonic'' topological defects in the quantum regime.


title: Automated System for Ship Detection from Medium Resolution Satellite Optical Imagery

abstract: In this paper, we present a ship detection pipeline for low-cost medium resolution satellite optical imagery obtained from ESA Sentinel-2 and Planet Labs Dove constellations. This optical satellite imagery is readily available for any place on Earth and underutilized in the maritime domain, compared to existing solutions based on synthetic-aperture radar (SAR) imagery. We developed a ship detection method based on a state-of-the-art deep-learning-based object detection method which was developed and evaluated on a large-scale dataset that was collected and automatically annotated with the help of Automatic Identification System (AIS) data.


title: Millicharged Particles from the Heavens: Single- and Multiple-Scattering Signatures

abstract: For nearly a century, studying cosmic-ray air showers has driven progress in our understanding of elementary particle physics. In this work, we revisit the production of millicharged particles in these atmospheric showers and provide new constraints for XENON1T and Super-Kamiokande and new sensitivity estimates of current and future detectors, such as JUNO. We discuss distinct search strategies, specifically studies of single-energy-deposition events, where one electron in the detector receives a relatively large energy transfer, as well as multiple-scattering events consisting of (at least) two relatively small energy depositions. We demonstrate that these atmospheric search strategies -- especially this new, multiple-scattering signature -- provide significant room for improvement in the next decade, in a way that is complementary to anthropogenic, beam-based searches for MeV-GeV millicharged particles. Finally, we also discuss the implementation of a Monte Carlo simulation for millicharged particle detection in large-volume neutrino detectors, such as IceCube.


title: The Loudest Stellar Heartbeat: Characterizing the most extreme amplitude heartbeat star system

abstract: We characterize the extreme heartbeat star system MACHO 80.7443.1718 in the LMC using TESS photometry and spectroscopic observations from the Magellan Inamori Kyocera Echelle (MIKE) and SOAR Goodman spectographs. MACHO 80.7443.1718 was first identified as a heartbeat star system in the All-Sky Automated Survey for SuperNovae (ASAS-SN) with $P_{\rm orb}=32.836\pm0.008\,{\rm d}$. MACHO 80.7443.1718 is a young (${\sim}6$~Myr), massive binary, composed of a B0 Iae supergiant with $M_1 \simeq 35 M_\odot$ and an O9.5V secondary with $M_2 \simeq 16 M_\odot$ on an eccentric ($e=0.51\pm0.03$) orbit. In addition to having the largest variability amplitude amongst all known heartbeats stars, MACHO 80.7443.1718 is also one of the most massive heartbeat stars yet discovered. The B[e] supergiant has Balmer emission lines and permitted/forbidden metallic emission lines associated with a circumstellar disk. The disk rapidly dissipates at periastron which could indicate mass transfer to the secondary, but re-emerges immediately following periastron passage. MACHO 80.7443.1718 also shows tidally excited oscillations at the $N=25$ and $N=41$ orbital harmonics and has a rotational period of 4.4 d.


title: Passive low-energy nuclear recoil detection with color centers

abstract: Crystal damage events such as tracks and point defects have been used to record and detect radiation for a long time and recently they have been proposed as a means for dark matter detection. Color centers can be read out optically and we propose a scheme based on selective plane illumination microscopy for sub-micron imaging of large volumes corresponding to kilogram mass detectors. This class of detectors would be passive and would operate at room temperature. We apply these concepts to the detection of reactor neutrinos using coherent elastic neutrino nucleus scattering (CEvNS). Crystal damage formation energies are intrinsically on the order of 25eV, resulting in similarly low nuclear recoil thresholds. This would enable the first observation of reactor neutrino CEvNS with detectors as small as 10g. Additionally, a competitive search for spin-dependent dark matter scattering down to a dark matter mass of 0.3GeV could be possible. Passive crystal detectors might also be attractive for nuclear non-proliferation safeguards if used to monitor reactor power and to put limits on plutonium production. The passive nature and small footprint of the proposed detectors implies that these might fit well within accepted reactor safeguards operations.


title: Floquet Phases of Matter via Classical Prethermalization

abstract: We demonstrate that the prethermal regime of periodically driven (Floquet), classical many-body systems can host nonequilibrium phases of matter. In particular, we show that there exists an effective Hamiltonian that captures the dynamics of ensembles of classical trajectories despite the breakdown of this description at the single trajectory level. In addition, we prove that the effective Hamiltonian can host emergent symmetries protected by the discrete time-translation symmetry of the drive. The spontaneous breaking of such an emergent symmetry leads to a subharmonic response, characteristic of time crystalline order, that survives to exponentially late times in the frequency of the drive. To this end, we numerically demonstrate the existence of classical prethermal time crystals in systems with different dimensionalities and ranges of interaction. Extensions to higher order and fractional time crystals are also discussed.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el nlin.CD


title: Classical Prethermal Phases of Matter

abstract: Systems subject to a high-frequency drive can spend an exponentially long time in a prethermal regime, in which novel phases of matter with no equilibrium counterpart can be realized. Due to the notorious computational challenges of quantum many-body systems, numerical investigations in this direction have remained limited to one spatial dimension, in which long-range interactions have been proven a necessity. Here, we show that prethermal non-equilibrium phases of matter are not restricted to the quantum domain. Studying the Hamiltonian dynamics of a large three-dimensional lattice of classical spins, we provide the first numerical proof of prethermal phases of matter in a system with short-range interactions. Concretely, we find higher-order as well as fractional discrete time crystals breaking the time-translational symmetry of the drive with unexpectedly large integer as well as fractional periods. Our work paves the way towards the exploration of novel prethermal phenomena by means of classical Hamiltonian dynamics with virtually no limitations on the system's geometry or size, and thus with direct implications for experiments.


title: A new rank-2 Argyres-Douglas theory

abstract: We provide evidence for the existence of a new strongly-coupled four dimensional $\mathcal{N}=2$ superconformal field theory arising as a non-trivial IR fixed point on the Coulomb branch of the mass-deformed superconformal Lagrangian theory with gauge group $G_2$ and four fundamental hypermultiplets. Notably, our analysis proceeds by using various geometric constraints to bootstrap the data of the theory, and makes no explicit reference to the Seiberg-Witten curve. We conjecture a corresponding VOA and check that the vacuum character satisfies a linear modular differential equation of fourth order. We also propose an identification with existing class $\mathcal{S}$ constructions.


title: Searching For Gravitational Waves From Cosmological Phase Transitions With The NANOGrav 12.5-year dataset

abstract: We search for a first-order phase transition gravitational wave signal in 45 pulsars from the NANOGrav 12.5 year dataset. We find that the data can be modeled in terms of a strong first order phase transition taking place at temperatures below the electroweak scale. However, we do not observe any strong preference for a phase-transition interpretation of the signal over the standard astrophysical interpretation in terms of supermassive black holes mergers; but we expect to gain additional discriminating power with future datasets, improving the signal to noise ratio and extending the sensitivity window to lower frequencies. An interesting open question is how well gravitational wave observatories could separate such signals.


title: Titans metal-poor reference stars. I. Accurate effective temperatures and surface gravities for dwarfs and subgiants from 3D non-LTE H$\alpha$ profiles and Gaia parallaxes

abstract: Several large stellar spectroscopic surveys are producing overwhelming amounts of data that can be used for determining stellar atmospheric parameters and chemical abundances. Nonetheless, the accuracy achieved in the derived astrophysical parameters is still insufficient, mainly because of the paucity of adequate calibrators, particularly in the metal-poor regime ([Fe/H] $\leq -$1.0). Here, we introduce the Titans metal-poor reference stars: a sample of 41 dwarf and subgiant stars with accurate parameters. Effective temperatures (Teff) were derived by fitting observed H$\alpha$ profiles with synthetic lines computed using 3D hydrodynamic NLTE models. Surface gravities (logg) were computed using evolutionary tracks and parallaxes from Gaia EDR3. The same methods recover the Teff values of the Gaia benchmark stars, which are mostly based on interferometric measurements, with a 1$\sigma$ dispersion of $\pm 50$ K. We assume this to be the accuracy of the H$\alpha$ profiles computed from 3D non-LTE models for metal-poor dwarfs and subgiants. We achieved an internal precision typically between 30-40 K, these errors dominated by instrumental effects. The final total uncertainty for the Teff values of the Titans are thus estimated to be of the order of $1\%$. The typical error for logg is $\leq$ 0.04 dex. In addition, we identified a few members of Gaia-Enceladus, of Sequoia, and of the Helmi stream in our sample. These stars can pave the way for the accurate chemical characterization of these Galactic substructures. Using the Titans as reference, large stellar surveys will be able to improve the internal calibration of their astrophysical parameters. Ultimately, this sample will help users of data from Gaia and large surveys in reaching their goal of redefining our understanding of stars, stellar systems, and the Milky Way.


title: A gravity interpretation for the Bethe Ansatz expansion of the $\mathcal{N}=4$ SYM index

abstract: The superconformal index of the $\mathcal{N}=4$ SU(N) supersymmetric Yang-Mills theory counts the 1/16-BPS states in this theory, and has been used via the AdS/CFT correspondence to count black hole microstates of 1/16-BPS black holes. On one hand, this index may be related to the Euclidean partition function of the theory on $S^3\times S^1$ with complex chemical potentials, which maps by the AdS/CFT correspondence to a sum over Euclidean gravity solutions. On the other hand, the index may be expressed as a sum over solutions to Bethe Ansatz Equations (BAEs). We show that the known solutions to the BAEs that have a good large $N$ limit, for the case of equal chemical potentials for the two angular momenta, have a one-to-one mapping to (complex) Euclidean black hole solutions on the gravity side. This mapping captures both the leading contribution from the classical gravity action (of order $N^2$), as well as non-perturbative corrections in $1/N$, which on the gravity side are related to wrapped D3-branes. Some of the BA solutions map to orbifolds of the standard Euclidean black hole solutions (that obey exactly the same boundary conditions as the other solutions). A priori there are many more gravitational solutions than Bethe Ansatz solutions, but we show that by considering the non-perturbative effects, the extra solutions are ruled out, leading to a precise match between the solutions on both sides.


title: Learning Syntax from Naturally-Occurring Bracketings

abstract: Naturally-occurring bracketings, such as answer fragments to natural language questions and hyperlinks on webpages, can reflect human syntactic intuition regarding phrasal boundaries. Their availability and approximate correspondence to syntax make them appealing as distant information sources to incorporate into unsupervised constituency parsing. But they are noisy and incomplete; to address this challenge, we develop a partial-brackets-aware structured ramp loss in learning. Experiments demonstrate that our distantly-supervised models trained on naturally-occurring bracketing data are more accurate in inducing syntactic structures than competing unsupervised systems. On the English WSJ corpus, our models achieve an unlabeled F1 score of 68.9 for constituency parsing.


title: Hubble Space Telescope UV and H$\alpha$ Measurements of the Accretion Excess Emission from the Young Giant Planet PDS 70 b

abstract: Recent discoveries of young exoplanets within their natal disks offer exciting opportunities to study ongoing planet formation. In particular, a planet's mass accretion rate can be constrained by observing the accretion-induced excess emission. So far, planetary accretion is only probed by the H$\alpha$ line, which is then converted to a total accretion luminosity using correlations derived for stars. However, the majority of the accretion luminosity is expected to emerge from hydrogen continuum emission, and is best measured in the ultraviolet (UV). In this paper, we present HST/WFC3/UVIS F336W (UV) and F656N (H$\alpha$) high-contrast imaging observations of PDS 70. Applying a suite of novel observational techniques, we detect the planet PDS 70 b with signal-to-noise ratios of 5.3 and 7.8 in the F336W and F656N bands, respectively. This is the first time that an exoplanet has been directly imaged in the UV. Our observed H$\alpha$ flux of PDS 70 b is higher by $3.5\sigma$ than the most recent published result. However, the light curve retrieved from our observations does not support greater than 30% variability in the planet's H$\alpha$ emission in six epochs over a five-month timescale. We estimate a mass accretion rate of $1.4\pm0.2\times10^{-8}M_{\mathrm{Jup}}/\mathrm{yr}$. H$\alpha$ accounts for 36% of the total accretion luminosity. Such a high proportion of energy released in line emission suggests efficient production of H$\alpha$ emission in planetary accretion, and motivates using the H$\alpha$ band for searches of accreting planets. These results demonstrate HST/WFC3/UVIS's excellent high-contrast imaging performance and highlight its potential for planet formation studies.


title: Turbulent axion-photon conversions in the Milky-Way

abstract: The Milky-Way magnetic field can trigger conversions between photons and axion-like particles (ALPs), leading to peculiar features on the observable photon spectra. Previous studies considered only the regular component of the magnetic field. However, observations consistently show the existence of an additional turbulent component, with a similar strength and correlated on a scale of a few 10$\,$pc. We investigate the impact of the turbulent magnetic field on the ALP-photon conversions, characterizing the effects numerically and analytically. We show that the turbulent magnetic field can change the conversion probability by up to a factor of two and may lead to observable irregularities in the observable photon spectra from different astrophysical sources.


title: Diversity-Aware Batch Active Learning for Dependency Parsing

abstract: While the predictive performance of modern statistical dependency parsers relies heavily on the availability of expensive expert-annotated treebank data, not all annotations contribute equally to the training of the parsers. In this paper, we attempt to reduce the number of labeled examples needed to train a strong dependency parser using batch active learning (AL). In particular, we investigate whether enforcing diversity in the sampled batches, using determinantal point processes (DPPs), can improve over their diversity-agnostic counterparts. Simulation experiments on an English newswire corpus show that selecting diverse batches with DPPs is superior to strong selection strategies that do not enforce batch diversity, especially during the initial stages of the learning process. Additionally, our diversityaware strategy is robust under a corpus duplication setting, where diversity-agnostic sampling strategies exhibit significant degradation.


title: Testing freeze-in with axial and vector $Z'$ bosons

abstract: The freeze-in production of Feebly Interacting Massive Particle (FIMP) dark matter in the early universe is an appealing alternative to the well-known - and constrained - Weakly Interacting Massive Particle (WIMP) paradigm. Although challenging, the phenomenology of FIMP dark matter has been receiving growing attention and is possible in a few scenarios. In this work, we contribute to this endeavor by considering a $Z^\prime$ portal to fermionic dark matter, with the $Z^\prime$ having both vector and axial couplings and a mass ranging from MeV up to PeV. We evaluate the bounds on both freeze-in and freeze-out from direct detection, atomic parity violation, leptonic anomalous magnetic moments, neutrino-electron scattering, collider, and beam dump experiments. We show that FIMPs can already be tested by most of these experiments in a complementary way, whereas WIMPs are especially viable in the $Z^\prime$ low mass regime, in addition to the $Z^\prime$ resonance region. We also discuss the role of the axial couplings of $Z^\prime$ in our results. We therefore hope to motivate specific realizations of this model in the context of FIMPs, as well as searches for these elusive dark matter candidates.


title: What controls the UV-to-X-ray continuum shape in quasars?

abstract: We present an investigation of the interdependence of the optical-to-X-ray spectral slope ($\alpha_{\rm ox}$), the HeII equivalent-width (EW), and the monochromatic luminosity at 2500 Angstroms ($L_{2500}$). The values of $\alpha_{\rm ox}$ and HeII EW are indicators of the strength/shape of the quasar ionizing continuum, from the ultraviolet (UV; 1500--2500 Angstroms), through the extreme ultraviolet (EUV; 300--50 Angstroms), to the X-ray (2 keV) regime. For this investigation, we measure the HeII EW of 206 radio-quiet quasars devoid of broad absorption lines that have high-quality spectral observations of the UV and 2 keV X-rays. The sample spans wide redshift ($\approx$ 0.13--3.5) and luminosity (log$(L_{2500}$) $\approx$ 29.2--32.5 erg s$^{-1}$ Hz$^{-1}$) ranges. We recover the well-known $\alpha_{\rm ox}$--$L_{2500}$ and HeII EW--$L_{2500}$ anti-correlations, and we find a similarly strong correlation between $\alpha_{\rm ox}$ and HeII EW, and thus the overall spectral shape from the UV, through the EUV, to the X-ray regime is largely set by luminosity. A significant $\alpha_{\rm ox}$--HeII EW correlation remains after removing the contribution of $L_{2500}$ from each quantity, and thus the emission in the EUV and the X-rays are also directly tied. This set of relations is surprising, since the UV, EUV, and X-ray emission are expected to be formed in three physically distinct regions. Our results indicate the presence of a redshift-independent physical mechanism that couples the continuum emission from these three different regions, and thus controls the overall continuum shape from the UV to the X-ray regime.


title: Does Publicity in the Science Press Drive Citations?

abstract: We study how publicity in the science press, in the form of highlighting, affects the citations of research papers. Using multiple linear regression, we quantify the citation advantage associated with several highlighting platforms for papers published in Physical Review Letters (PRL) from 2008-2018. We thus find that the strongest predictor of citation accrual is a Viewpoint in Physics magazine, followed by a Research Highlight in Nature, an Editors' Suggestion in PRL, and a Research Highlight in Nature Physics. A similar hierarchical pattern is found when we search for extreme, not average, citation accrual, in the form a paper being listed among the top-1% cited papers in physics by Clarivate Analytics. The citation advantage of each highlighting platform is stratified according to the degree of vetting for importance that the manuscript received during peer review. This implies that we can view highlighting platforms as predictors of citation accrual, with varying degrees of strength that mirror each platform's vetting level.


title: Circuit Complexity as a novel probe of Quantum Entanglement: A study with Black Hole Gas in arbitrary dimensions

abstract: In this article, we investigate the quantum circuit complexity and entanglement entropy in the recently studied black hole gas framework using the two-mode squeezed states formalism written in arbitrary dimensional spatially flat cosmological Friedmann-Lema$\hat{i}$tre-Robertson-Walker (FLRW) background space-time. We compute the various complexity measures and study the evolution of these complexities by following two different prescriptions viz. Covariant matrix method and Nielsen's method. Independently, using the two-mode squeezed states formalism we also compute the R\'enyi and Von-Neumann entanglement entropy, which show an inherent connection between the entanglement entropy and quantum circuit complexity. We study the behaviour of the complexity measures and entanglement entropy separately for three different spatial dimensions and observe various significant different features in three spatial dimensions on the evolution of these quantities with respect to the scale factor. Furthermore, we also study the underlying behaviour of the equilibrium temperature with two of the most essential quantities i.e. rate of change of complexity with scale factor and the entanglement entropy. We observe that irrespective of the spatial dimension, the equilibrium temperature depends quartically on entanglement entropy.

categories: hep-th cond-mat.stat-mech gr-qc hep-ph quant-ph


title: True masses of the long-period companions to HD 92987 and HD 221420 from Hipparcos-Gaia astrometry

abstract: The extensive timespan of modern radial velocity surveys has made the discovery of long-period substellar companions more common in recent years, however measuring the true masses of these objects remains challenging. Astrometry from the Gaia mission is expected to provide mass measurements for many of these long-period companions, but this data is not yet available. However, combining proper motion data from Gaia DR2 and the earlier Hipparcos mission makes it possible to measure true masses of substellar companions in favourable cases. In this work, we combine radial velocities with Hipparcos-Gaia astrometry to measure the true masses of two recently discovered long-period substellar companion candidates, HD 92987 B and HD 221420 b. In both cases, we find that the true masses are significantly higher than implied by radial velocities alone. A $2087 \pm 19$ m s$^{-1}$ astrometric signal reveals that HD 92987 B is not close to its $17$ $M_J$ minimum mass but is instead a $0.2562 \pm 0.0045$ $M_\odot$ star viewed at a near-polar orbital inclination, whereas the $22.9 \pm 2.2$ $M_J$ HD 221420 b can be plausibly interpreted as a high-mass "super-planet" or a low-mass brown dwarf. With semi-major axes of $\sim$10 AU both companions are interesting targets for direct imaging, and HD 221420 b in particular would be a benchmark metal-rich substellar object if it proves possible to directly detect. Our results demonstrate the power of Hipparcos-Gaia astrometry for studying long-period planet and brown dwarf candidates discovered from radial velocity surveys.


title: Towards massless and massive event shapes in the large-$\beta_0$ limit

abstract: We present results for SCET and bHQET matching coefficients and jet functions in the large-$\beta_0$ limit. Our computations exactly predict all terms of the form $\alpha_s^{n+1} n_f^n$ for any $n\geq 0$, and we find full agreement with the coefficients computed in the full theory up to $\mathcal{O}(\alpha_s^4)$. We obtain all-order closed expressions for the cusp and non-cusp anomalous dimensions (which turn out to be unambiguous) as well as matrix elements (with ambiguities) in this limit, which can be easily expanded to arbitrarily high powers of $\alpha_s$ using recursive algorithms to obtain the corresponding fixed-order coefficients. Examining the poles laying on the positive real axis of the Borel-transform variable $u$ we quantify the perturbative convergence of a series and estimate the size of non-perturbative corrections. We find a so far unknown $u=1/2$ renormalon in the bHQET hard factor $H_m$ that affects the normalization of the peak differential cross section for boosted top quark pair production. For ambiguous series the so-called Borel sum is defined with the principal value prescription. Furthermore, one can assign an ambiguity based on the arbitrariness of avoiding the poles by contour deformation into the positive or negative imaginary half-plane. Finally, we compute the relation between the pole mass and four low-scale short distance masses in the large-$\beta_0$ approximation (MSR, RS and two versions of the jet mass), work out their $\mu$- and $R$-evolution in this limit, and study how their implementation improves the convergence of the position-space bHQET jet function, whose three-loop coefficient in full QCD is numerically estimated.


title: Emission of electromagnetic radiation due to spin-flip transitions in a ferromagnet

abstract: We theoretically analyze a possibility of electromagnetic wave emission due to electron transitions between spin subbands in a ferromagnet. Different mechanisms of such spin-flip transitions are cousidered. One mechanism is the electron transitions caused by magnetic field of the wave. Another mechanism is due to Rashba spin-orbit interaction. While two mentioned mechanisms exist in a homogeneously magnetized ferromagnet, there are two other mechanisms that exist in non-collinearly magnetized medium. First mechanism is known and is due to the dependence of exchange interaction constant on the quasimomentum of conduction electrons. Second one exists in any non-collinearly magnetized medium. We study these mechanisms in a non-collinear ferromagnet with helicoidal magnetization distribution. The estimations of probabilities of electron transitions due to different mechanisms are made for realistic parameters, and we compare the mechanisms. We also estimate the radiation power and threshold current in a simple model in which spin is injected into the ferromagnet by a spin-polarized electric current through a tunnel barrier.


title: The Fermionic Quantum Emulator

abstract: The fermionic quantum emulator (FQE) is a collection of protocols for emulating quantum dynamics of fermions efficiently taking advantage of common symmetries present in chemical, materials, and condensed-matter systems. The library is fully integrated with the OpenFermion software package and serves as the simulation backend. The FQE reduces memory footprint by exploiting number and spin symmetry along with custom evolution routines for sparse and dense Hamiltonians, allowing us to study significantly larger quantum circuits at modest computational cost when compared against qubit state vector simulators. This release paper outlines the technical details of the simulation methods and key advantages.


title: On Multifractionality of Spherical Random Fields with Cosmological Applications

abstract: This paper studies random fields on the unit sphere. Traditionally, isotropic Gaussian random fields are considered as the underlying statistical model of the cosmic microwave background (CMB) data. This paper discusses the generalized multifractional Brownian motion and its pointwise H\"older exponent on the sphere. The multifractional approach is used to investigate the CMB data from the Planck mission. These data consist of CMB radiation measurements at narrow angles of the sky sphere. The obtained results suggest that the estimated H\"older exponents for different CMB regions do change from location to location. Therefore, CMB data are multifractional. Then the developed methodology is used to suggest two approaches for detecting regions with anomalies in cleaned CMB maps.


title: Motion-guided Non-local Spatial-Temporal Network for Video Crowd Counting

abstract: We study video crowd counting, which is to estimate the number of objects (people in this paper) in all the frames of a video sequence. Previous work on crowd counting is mostly on still images. There has been little work on how to properly extract and take advantage of the spatial-temporal correlation between neighboring frames in both short and long ranges to achieve high estimation accuracy for a video sequence. In this work, we propose Monet, a novel and highly accurate motion-guided non-local spatial-temporal network for video crowd counting. Monet first takes people flow (motion information) as guidance to coarsely segment the regions of pixels where a person may be. Given these regions, Monet then uses a non-local spatial-temporal network to extract spatial-temporally both short and long-range contextual information. The whole network is finally trained end-to-end with a fused loss to generate a high-quality density map. Noting the scarcity and low quality (in terms of resolution and scene diversity) of the publicly available video crowd datasets, we have collected and built a large-scale video crowd counting datasets, VidCrowd, to contribute to the community. VidCrowd contains 9,000 frames of high resolution (2560 x 1440), with 1,150,239 head annotations captured in different scenes, crowd density and lighting in two cities. We have conducted extensive experiments on the challenging VideoCrowd and two public video crowd counting datasets: UCSD and Mall. Our approach achieves substantially better performance in terms of MAE and MSE as compared with other state-of-the-art approaches.


title: Modelling Net Loan Loss with Bayesian and Frequentist Regression Analysis

abstract: We create two distinct nonlinear regression models relating net loan loss (as an outcome) to several other financial and sociological quantities. We consider these data for the time interval between April 1st 2011 and April 1st 2020. We also include temporal quantities (month and year) in our model to improve accuracy. One model follows the frequentist paradigm for nonlinear regression, while the other follows the Bayesian paradigm. By using the two methods, we obtain a rounded understanding of the relationship between net loan losses and our given financial, sociological, and temporal variables, improving our ability to make financial predictions regarding the profitability of loan allocation.


title: Applying Convolutional Neural Networks for Stock Market Trends Identification

abstract: In this paper we apply a specific type ANNs - convolutional neural networks (CNNs) - to the problem of finding start and endpoints of trends, which are the optimal points for entering and leaving the market. We aim to explore long-term trends, which last several months, not days. The key distinction of our model is that its labels are fully based on expert opinion data. Despite the various models based solely on stock price data, some market experts still argue that traders are able to see hidden opportunities. The labelling was done via the GUI interface, which means that the experts worked directly with images, not numerical data. This fact makes CNN the natural choice of algorithm. The proposed framework requires the sequential interaction of three CNN submodels, which identify the presence of a changepoint in a window, locate it and finally recognize the type of new tendency - upward, downward or flat. These submodels have certain pitfalls, therefore the calibration of their hyperparameters is the main direction of further research. The research addresses such issues as imbalanced datasets and contradicting labels, as well as the need for specific quality metrics to keep up with practical applicability. This paper is the full text of the research, presented at the 20th International Conference on Artificial Intelligence and Soft Computing Web System (ICAISC 2021)


title: Stochastic approximation of symmetric Nash equilibria in queueing games

abstract: We suggest a novel stochastic-approximation algorithm to compute a symmetric Nash-equilibrium strategy in a general queueing game with a finite action space. The algorithm involves a single simulation of the queueing process with dynamic updating of the strategy at regeneration times. Under mild assumptions on the utility function and on the regenerative structure of the queueing process, the algorithm converges to a symmetric equilibrium strategy almost surely. This yields a powerful tool that can be used to approximate equilibrium strategies in a broad range of strategic queueing models in which direct analysis is impracticable.


title: MeerCRAB: MeerLICHT Classification of Real and Bogus Transients using Deep Learning

abstract: Astronomers require efficient automated detection and classification pipelines when conducting large-scale surveys of the (optical) sky for variable and transient sources. Such pipelines are fundamentally important, as they permit rapid follow-up and analysis of those detections most likely to be of scientific value. We therefore present a deep learning pipeline based on the convolutional neural network architecture called $\texttt{MeerCRAB}$. It is designed to filter out the so called 'bogus' detections from true astrophysical sources in the transient detection pipeline of the MeerLICHT telescope. Optical candidates are described using a variety of 2D images and numerical features extracted from those images. The relationship between the input images and the target classes is unclear, since the ground truth is poorly defined and often the subject of debate. This makes it difficult to determine which source of information should be used to train a classification algorithm. We therefore used two methods for labelling our data (i) thresholding and (ii) latent class model approaches. We deployed variants of $\texttt{MeerCRAB}$ that employed different network architectures trained using different combinations of input images and training set choices, based on classification labels provided by volunteers. The deepest network worked best with an accuracy of 99.5$\%$ and Matthews correlation coefficient (MCC) value of 0.989. The best model was integrated to the MeerLICHT transient vetting pipeline, enabling the accurate and efficient classification of detected transients that allows researchers to select the most promising candidates for their research goals.

categories: astro-ph.IM astro-ph.GA cs.AI cs.CV cs.LG


title: A discontinuity in the luminosity-mass relation and fluctuations in the evolutionary tracks of low-mass and low-metallicity stars at the Gaia M-dwarf gap

abstract: The Gaia M-dwarf gap is a recently discovered feature in the colour-magnitude diagram that shows a deficiency of low-mass and low-metallicity stars at the lower end of the main sequence. We aim at performing theoretical stellar modelling at low metallicities using a fine mass step and a fine time step, looking specifically for the transition of models from partially to fully convective, since the convective kissing instability that occurs at this transition is believed to be the cause of the gap. Stellar evolution models with metallicities of Z = 0.01, Z = 0.001 and Z = 0.0001 are performed using MESA, with a mass step of 0.00025 M$_{\odot}$ and a time step of 50,000 years. The small time step produced models that experience loops in their evolutionary tracks in the Hertzsprung-Russell (HR) diagram. The fluctuations in effective temperature and luminosity correspond to repeated events in which the bottom of the convective envelope merges with the top of the convective core, transporting $^3$He from the core to the surface. In addition to the episodes of switching from partially to fully convective, several near-merger events that produced low amplitude fluctuations were also found. Low-metallicity models undergo the convective kissing instability for longer portions of their lifetime and with higher fluctuation amplitudes than models with higher metallicities. The small mass step used in the models revealed a discontinuity in the luminosity-mass relation at all three metallicities.


title: Casimir Wormholes in (2+1) Dimensions with Applications to the Graphene

abstract: In this paper we show that wormholes in (2+1) dimensions (3-D) cannot be sourced solely by both Casimir energy and tension, differently from what happens in a 4-D scenario, in which case it has been shown recently, by the direct computation of the exact shape and redshift functions of a wormhole solution, that this is possible. We show that in a 3-D spacetime the same is not true since the arising of at least an event horizon is inevitable. We do the analysis for massive and massless fermions, as well as for scalar fields, considering quasi-periodic boundary conditions and find that a possibility to circumvent such a restriction is to introduce, besides the 3-D Casimir energy density and tension, a cosmological constant, embedding the surface in a 4-D manifold and applying a perpendicular weak magnetic field. This causes an additional tension on it, which contributes to the formation of the wormhole. Finally, we discuss the possibility of producing the condensed matter analogous of this wormhole in a graphene sheet and analyze the electronic transport through it.


title: Fortin Operator for the Taylor-Hood Element

abstract: We design a Fortin operator for the lowest-order Taylor-Hood element in any dimension, which was previously constructed only in 2D. In the construction we use tangential edge bubble functions for the divergence correcting operator. This naturally leads to an alternative inf-sup stable reduced finite element pair. Furthermore, we provide a counterexample to the inf-sup stability and hence to existence of a Fortin operator for the $P_2$-$P_0$ and the augmented Taylor-Hood element in 3D.


title: A bound on the nucleon Druck-term from chiral EFT in curved space-time and mechanical stability conditions

abstract: Using dispersive representations of the nucleon gravitational form factors, the results for their absorptive parts from chiral effective field theory in curved space-time, and the mechanical stability conditions, we obtain a model independent inequality for the value of the gravitational $D(t)$ form factor at zero momentum transfer (Druck-term). In particular, the obtained inequality leads to a conservative bound on the Druck-term in the chiral limit $D \leq -0.95(9)$. This bound implies the restriction on the low-energy constant $c_8$ of the effective chiral action for nucleons and pions in the presence of an external gravitational field, $c_8\leq -1.1(1)$ GeV$^{-1}$. For the physical pion mass we obtain a model independent bound $D\leq -0.20(2)$.


title: On thermodynamic stability and ensemble equivalence at phase coexistence

abstract: Numerical simulations of systems at coexistence are known to yield unstable fields in some regions of the density parameters, as well as inequivalence of ensembles. The Van der Waals-like loops are attributed to effects of the interface between the coexisting phases, but the question of convexity remains unresolved. We recover the theory developed by Hill in the 1960's, and adapt it to include the interface free energy. Our adapted theory is verified through carefully planned simulations, and gives a thermodynamic description of the interface behaviour inside the coexistence region which restores the proper convexity of the thermodynamic potentials, as well as yields convergence of grandcanonical and canonical results. As a bonus, our interpretation allows direct calculation of surface tension in very good accordance with Onsager's analytic prediction.


title: All optical resonant magnetization switching in $\text{CrI}_3$ monolayers

abstract: Efficient control of a magnetization without an application of the external magnetic fields is the ultimate goal of spintronics. We demonstrate, that in monolayers of $\text{CrI}_3$, magnetization can be switched all optically, by application of the resonant pulses of circularly polarized light. This happens because of the efficient coupling of the lattice magnetization with bright excitonic transition. $\text{CrI}_3$ is thus perspective functional material with high potential for applications in the domains of spintronics and ultra-fast magnetic memory.


title: A Bayesian Modified Ising Model for Identifying Spatially Variable Genes from Spatial Transcriptomics Data

abstract: A recent technology breakthrough in spatial molecular profiling has enabled the comprehensive molecular characterizations of single cells while preserving spatial information. It provides new opportunities to delineate how cells from different origins form tissues with distinctive structures and functions. One immediate question in spatial molecular profiling data analysis is to identify genes whose expressions exhibit spatially correlated patterns, called spatially variable genes. Most current methods to identify spatially variable genes are built upon the geostatistical model with Gaussian process to capture the spatial patterns, which rely on ad hoc kernels that could limit the models' ability to identify complex spatial patterns. In order to overcome this challenge and capture more types of spatial patterns, we introduce a Bayesian approach to identify spatially variable genes via a modified Ising model. The key idea is to use the energy interaction parameter of the Ising model to characterize spatial expression patterns. We use auxiliary variable Markov chain Monte Carlo algorithms to sample from the posterior distribution with an intractable normalizing constant in the model. Simulation studies using both simulated and synthetic data showed that the energy-based modeling approach led to higher accuracy in detecting spatially variable genes than those kernel-based methods. When applied to two real spatial transcriptomics datasets, the proposed method discovered novel spatial patterns that shed light on the biological mechanisms. In summary, the proposed method presents a new perspective for analyzing spatial transcriptomics data.


title: Defined the predictors of the lightning over India by using artificial neural network

abstract: Lightning casualties cause tremendous loss to life and property. However, very lately lightning has been considered as one of the major natural calamities which is now studied or monitored with proper instrumentation. The lightning characteristics over India have been studying by using daily data low resolution time series and monthly data high resolution monthly climatology. We have used ANN time series method (a neural network) to analyze the time series and defined which one will be the best predictor of lightning over India. The time series of lightning is output(dependent) and input (independent) are k-index, AOD, Cape etc. The Gaussian process regression, support vector machine, regression trees and linear regression defined the input variables. Which show approximately linear relation.


title: Moreau-Yosida Regularization of Degenerate State-Dependent Sweeping Processes

abstract: In this paper, we introduce and study degenerate state-dependent sweeping processes with nonregular moving sets (subsmooth and positively $\alpha$-far). Based on the Moreau-Yosida regularization, we prove the existence of solutions under the Lipschitzianity of the moving sets with respect to the truncated Hausdorff distance.


title: Orthogonal polynomials and the deformed Jordan plane

abstract: We consider the unital associative algebra $\mathcal{A}$ with two generators $\mathcal{X}$, $\mathcal{Z}$ obeying the defining relation $[\mathcal{Z},\mathcal{X}]=\mathcal{Z}^2+\Delta$. We construct irreducible tridiagonal representations of $\mathcal{A}$. Depending on the value of the parameter $\Delta$, these representations are associated to the Jacobi matrices of the para-Krawtchouk, continuous Hahn, Hahn or Jacobi polynomials.


title: The Challenge to MOND from ultra faint dwarf galaxies

abstract: Modified Newtonian Dynamics (MOND) at low acceleration has been astonishingly powerful at explaining the flat rotation curve of galaxies and the relation between the baryonic content of the galaxies and their observed circular velocity, known as the Baryonic Tully-Fisher Relationship (BTFR). It is known that MOND fails at explaining the observed velocity dispersion of the ultra-faint dwarf galaxies (UFDs) with the justification that UFDs are more prone to tidal disruption in MOND compared to cold dark matter model. We show that: (i) the ratio of tidal to internal acceleration in UFDs is extremely low, (ii) there is no correlation between the deviation of UFDs from MOND's prediction as a function of tidal susceptibility, and (iii) recent constraints from Gaia proper motion analysis on the orbital parameters of the UFDs exacerbates the challenge to MOND. In particular, Gaia data indicates that Ursa Major I is experiencing a recent infall into the Milky Way's halo, and its inconsistency with MOND at 7-$\sigma$ level can not be attributed to being an early infall satellite. Moreover, the new data from Gaia DR2 shows Willman I to have the least eccentric orbit of all UFDs, and its deviation from MOND at 4-$\sigma$ level can not be attributed to a highly eccentric orbit as previously suggested. Finally, given that Tucana III is the only UFD observed to show tidal features, Reticulum II and Segue I are two other UFDs that potentially challenge MOND as they have comparable galactocentric distances to Tucana III while showing no tidal features. Whether wide binaries have inflated the velocity dispersion of the UFDs remains an open question to be addressed with future multi-epoch observations.


title: Neural Ordinary Differential Equations for Data-Driven Reduced Order Modeling of Environmental Hydrodynamics

abstract: Model reduction for fluid flow simulation continues to be of great interest across a number of scientific and engineering fields. Here, we explore the use of Neural Ordinary Differential Equations, a recently introduced family of continuous-depth, differentiable networks (Chen et al 2018), as a way to propagate latent-space dynamics in reduced order models. We compare their behavior with two classical non-intrusive methods based on proper orthogonal decomposition and radial basis function interpolation as well as dynamic mode decomposition. The test problems we consider include incompressible flow around a cylinder as well as real-world applications of shallow water hydrodynamics in riverine and estuarine systems. Our findings indicate that Neural ODEs provide an elegant framework for stable and accurate evolution of latent-space dynamics with a promising potential of extrapolatory predictions. However, in order to facilitate their widespread adoption for large-scale systems, significant effort needs to be directed at accelerating their training times. This will enable a more comprehensive exploration of the hyperparameter space for building generalizable Neural ODE approximations over a wide range of system dynamics.


title: Semi-Supervised Learning of Visual Features by Non-Parametrically Predicting View Assignments with Support Samples

abstract: This paper proposes a novel method of learning by predicting view assignments with support samples (PAWS). The method trains a model to minimize a consistency loss, which ensures that different views of the same unlabeled instance are assigned similar pseudo-labels. The pseudo-labels are generated non-parametrically, by comparing the representations of the image views to those of a set of randomly sampled labeled images. The distance between the view representations and labeled representations is used to provide a weighting over class labels, which we interpret as a soft pseudo-label. By non-parametrically incorporating labeled samples in this way, PAWS extends the distance-metric loss used in self-supervised methods such as BYOL and SwAV to the semi-supervised setting. Despite the simplicity of the approach, PAWS outperforms other semi-supervised methods across architectures, setting a new state-of-the-art for a ResNet-50 on ImageNet trained with either 10% or 1% of the labels, reaching 75.5% and 66.5% top-1 respectively. PAWS requires 4x to 12x less training than the previous best methods.


title: PrivChain: Provenance and Privacy Preservation in Blockchain enabled Supply Chains

abstract: Blockchain offers traceability and transparency to supply chain event data and hence can help overcome many challenges in supply chain management such as: data integrity, provenance and traceability. However, data privacy concerns such as the protection of trade secrets have hindered adoption of blockchain technology. Although consortium blockchains only allow authorised supply chain entities to read/write to the ledger, privacy preservation of trade secrets cannot be ascertained. In this work, we propose a privacy-preservation framework, PrivChain, to protect sensitive data on blockchain using zero knowledge proofs. PrivChain provides provenance and traceability without revealing any sensitive information to end-consumers or supply chain entities. Its novelty stems from: a) its ability to allow data owners to protect trade related information and instead provide proofs on the data, and b) an integrated incentive mechanism for entities providing valid proofs over provenance data. In particular, PrivChain uses Zero Knowledge Range Proofs (ZKRPs), an efficient variant of ZKPs, to provide origin information without disclosing the exact location of a supply chain product. Furthermore, the framework allows to compute proofs and commitments off-line, decoupling the computational overhead from blockchain. The proof verification process and incentive payment initiation are automated using blockchain transactions, smart contracts, and events. A proof of concept implementation on Hyperledger Fabric reveals a minimal overhead of using PrivChain for blockchain enabled supply chains.


title: Edwards-Wilkinson Depinning Transition in the Background of Random Coulomb Potential

abstract: The Edwards-Wilkinson (EW) growth of $1+1$ interface is considered in the background of the correlated random noise. We use random Coulomb potential as the background long-range correlated noise. A depinning transition is observed in a critical driving force $F_c\approx 0.37$ in the vicinity of which the final velocity of the interface varies linearly with time. Our data collapse analysis for the velocity shows a crossover time $t^*$ at which the velocity is size independent. Based on a two-variable scaling analysis, we extract the exponents, which are different from all universality classes we are aware of. Especially noting that the dynamic and roughness exponents are $z_w=1.55\pm 0.05$, and $\alpha_w=1.05\pm 0.05$ at the criticality, we conclude that the system is different from both EW and KPZ universality classes. Our analysis shows therefore that making the noise long-range-correlated, drives the system out of EW universality class. The simulations on the tilted lattice shows that the non-linearity term ($\lambda$ term in the KPZ equations) goes to zero in the thermodynamic limit.


title: Quark matter supported wormhole in third order Lovelock gravity

abstract: It is generally believed that wormholes are supported by exotic matter violating Null Energy Condition (NEC). However, various studies of wormhole geometries under Lovelock theories of gravity have reported existence of wormhole supported by matter satisfying NEC. Being inspired by these results, we explore the possibility of the existence of wormhole supported by normal quark matter in third order Lovelock gravity theory. Well known MIT Bag Model Equation of state is chosen for describing the quark matter. Taking physically acceptable approximations, we solve the field equations for shape function which satisfies flare out condition. The residual of the approximate solution is studied for accuracy and found to be acceptable.


title: Time-fractional Moore-Gibson-Thompson equations

abstract: In this paper, we consider several time-fractional generalizations of the Jordan-Moore-Gibson-Thompson (JMGT) equations in nonlinear acoustics as well as their linear Moore-Gibson-Thompson (MGT) versions. Following the procedure described in Jordan (2014), these time-fractional acoustic equations are derived from four fractional versions of the Maxwell-Cattaneo law in Compte and Metzler (1997). Additionally to providing well-posedness results for each of them, we also study the respective limits as the fractional order tends to one, leading to the classical third order in time (J)MGT equation.


title: Tail-Net: Extracting Lowest Singular Triplets for Big Data Applications

abstract: SVD serves as an exploratory tool in identifying the dominant features in the form of top rank-r singular factors corresponding to the largest singular values. For Big Data applications it is well known that Singular Value Decomposition (SVD) is restrictive due to main memory requirements. However, a number of applications such as community detection, clustering, or bottleneck identification in large scale graph data-sets rely upon identifying the lowest singular values and the singular corresponding vectors. For example, the lowest singular values of a graph Laplacian reveal the number of isolated clusters (zero singular values) or bottlenecks (lowest non-zero singular values) for undirected, acyclic graphs. A naive approach here would be to perform a full SVD however, this quickly becomes infeasible for practical big data applications due to the enormous memory requirements. Furthermore, for such applications only a few lowest singular factors are desired making a full decomposition computationally exorbitant. In this work, we trivially extend the previously proposed Range-Net to \textbf{Tail-Net} for a memory and compute efficient extraction of lowest singular factors of a given big dataset and a specified rank-r. We present a number of numerical experiments on both synthetic and practical data-sets for verification and bench-marking using conventional SVD as the baseline.


title: On the Importance of 3D Surface Information for Remote Sensing Classification Tasks

abstract: There has been a surge in remote sensing machine learning applications that operate on data from active or passive sensors as well as multi-sensor combinations (Ma et al. (2019)). Despite this surge, however, there has been relatively little study on the comparative value of 3D surface information for machine learning classification tasks. Adding 3D surface information to RGB imagery can provide crucial geometric information for semantic classes such as buildings, and can thus improve out-of-sample predictive performance. In this paper, we examine in-sample and out-of-sample classification performance of Fully Convolutional Neural Networks (FCNNs) and Support Vector Machines (SVMs) trained with and without 3D normalized digital surface model (nDSM) information. We assess classification performance using multispectral imagery from the International Society for Photogrammetry and Remote Sensing (ISPRS) 2D Semantic Labeling contest and the United States Special Operations Command (USSOCOM) Urban 3D Challenge. We find that providing RGB classifiers with additional 3D nDSM information results in little increase in in-sample classification performance, suggesting that spectral information alone may be sufficient for the given classification tasks. However, we observe that providing these RGB classifiers with additional nDSM information leads to significant gains in out-of-sample predictive performance. Specifically, we observe an average improvement in out-of-sample all-class accuracy of 14.4% on the ISPRS dataset and an average improvement in out-of-sample F1 score of 8.6% on the USSOCOM dataset. In addition, the experiments establish that nDSM information is critical in machine learning and classification settings that face training sample scarcity.


title: Personalized Keyphrase Detection using Speaker and Environment Information

abstract: In this paper, we introduce a streaming keyphrase detection system that can be easily customized to accurately detect any phrase composed of words from a large vocabulary. The system is implemented with an end-to-end trained automatic speech recognition (ASR) model and a text-independent speaker verification model. To address the challenge of detecting these keyphrases under various noisy conditions, a speaker separation model is added to the feature frontend of the speaker verification model, and an adaptive noise cancellation (ANC) algorithm is included to exploit cross-microphone noise coherence. Our experiments show that the text-independent speaker verification model largely reduces the false triggering rate of the keyphrase detection, while the speaker separation model and adaptive noise cancellation largely reduce false rejections.


title: SMLSOM: The shrinking maximum likelihood self-organizing map

abstract: Determining the number of clusters in a dataset is a fundamental issue in data clustering. Many methods have been proposed to solve the problem of selecting the number of clusters, considering it to be a problem with regard to model selection. This paper proposes an efficient algorithm that automatically selects a suitable number of clusters based on a probability distribution model framework. The algorithm includes the following two components. First, a generalization of Kohonen's self-organizing map (SOM) is introduced. In Kohonen's SOM, clusters are modeled as mean vectors. In the generalized SOM, each cluster is modeled as a probabilistic distribution and constructed by samples classified based on the likelihood. Second, the dynamically updating method of the SOM structure is introduced. In Kohonen's SOM, each cluster is tied to a node of a fixed two-dimensional lattice space and learned using neighborhood relations between nodes based on Euclidean distance. The extended SOM defines a graph with clusters as vertices and neighborhood relations as links and updates the graph structure by cutting weakly-connection and unnecessary vertex deletions. The weakness of a link is measured using the Kullback--Leibler divergence, and the redundancy of a vertex is measured using the minimum description length. Those extensions make it efficient to determine the appropriate number of clusters. Compared with existing methods, the proposed method is computationally efficient and can accurately select the number of clusters.


title: Bunching Dynamics of Buses in a Loop

abstract: Bus bunching is a curse of transportation systems such as buses in a loop. Here we present an analytical method to find the number of revolutions before two buses bunch in an idealised system, as a function of the initial distance and the crowdedness of the bus stops. We can also characterise the average waiting time for passengers as the buses bunch. The results give a better understanding of the phenomenon of bus bunching and design recommendations for bus loops.


title: The polarizability of a confined atomic system: An application of Dalgarno-Lewis method

abstract: In this paper we give an application of Dalgarno-Lewis method, the latter not usually taught in quantum mechanics courses. This is very unfortunate since this method allows to bypass the sum over states appearing in the usual perturbation theory. In this context, and as an example, we study the effect of an external field, both static and frequency dependent, on a model-atom at fixed distance from a substrate. This can happen, for instance, when some organic molecule binds from one side to the substrate and from the other side to an atom or any other polarizable system. We model the polarizable atom by a short range potential, a Dirac$-\delta$ and find that the existence of a bound state depends on the ratio of the effective "nuclear charge" to the distance of the atom to the substrate. Using an asymptotic analysis, previously developed in the context of a single $\delta-$function potential in an infinite medium, we determine the ionization rate and the Stark shift of our system. Using Dalgarno-Lewis theory we find an exact expression for the static and dynamic polarizabilities of our system valid to all distances. We show that the polarizability is extremely sensitive to the distance to the substrate creating the possibility of using this quantity as a nanometric ruler. Furthermore, the line shape of the dynamic polarizability is also extremely sensitive to the distance to the substrate, thus providing another route to measure nanometric distances. The ditactic value of the $\delta-$function potential is well accepted in teaching activities due to its simplicity, while keeping the essential ingredients of a given problem.


title: Joint QoS-aware and Cost-efficient Task Scheduling for Fog-Cloud Resources in a Volunteer Computing System

abstract: Volunteer computing is an Internet-based distributed computing system in which volunteers share their extra available resources to manage large-scale tasks. However, computing devices in a Volunteer Computing System (VCS) are highly dynamic and heterogeneous in terms of their processing power, monetary cost, and data transferring latency. To ensure both the high Quality of Service (QoS) and low cost for different requests, all of the available computing resources must be used efficiently. Task scheduling is an NP-hard problem that is considered one of the main critical challenges in a heterogeneous VCS. Due to this, in this paper, we design two task scheduling algorithms for VCSs, named Min-CCV and Min-V. The main goal of the proposed algorithms is jointly minimizing the computation, communication and delay violation cost for the Internet of Things (IoT) requests. Our extensive simulation results show that proposed algorithms are able to allocate tasks to volunteer fog/cloud resources more efficiently than the state-of-the-art. Specifically, our algorithms improve the deadline satisfaction task rates by around 99.5% and decrease the total cost between 15 to 53% in comparison with the genetic-based algorithm.


title: On Best approximations to compact operators

abstract: We study best approximations to compact operators between Banach spaces and Hilbert spaces, from the point of view of Birkhoff-James orthogonality and semi-inner-products. As an application of the present study, some distance formulae are presented in the space of compact operators. The special case of bounded linear functionals as compact operators is treated separately and some applications to best approximations in reflexive, strictly convex and smooth Banach spaces are discussed. An explicit example is presented in $ \ell_p^{n} $ spaces, where $ 1 < p < \infty, $ to illustrate the applicability of the methods developed in this article. A comparative analysis of the results presented in this article with the well-known classical duality principle in approximation theory is conducted to demonstrate the advantage in the former case, from a computational point of view.


title: Six-dimensional matching of intense beam with linear accelerating structure

abstract: Beam matching is a common technique that is routinely employed in accelerator design with the aim of minimizing beam losses and preservation of beam brightness. Despite being widely used, a full theoretical understanding of beam matching in 6D remains elusive. Here, we present an analytical treatment of 6D beam matching of a high-intensity beam onto an RF structure. We begin our analysis within the framework of a linear model, and apply the averaging method to a set of 3D beam envelope equations. Accordingly, we obtain a matched solution that is comprised of smoothed envelopes and periodic terms, describing envelope oscillations with the period of the focusing structure. We then consider the nonlinear regime, where the beam size is comparable with the separatrix size. Stating with a Hamiltonian analysis in 6D phase space, we attain a self-consistent beam profile and show that it is significantly different from the commonly used ellipsoidal shape. Subsequently, we analyze the special case of an equilibrium with equal space charge depression between all degrees of freedom. Comparison of beam dynamics for equipartitioned, equal space charge depression, and equal emittances beams is given. Finally, we present experimental results on beam matching in the LANSCE linac.


title: Spectrally peaked proton beams shock accelerated from an optically shaped overdense gas jet by a near-infrared laser

abstract: We report on the generation of impurity-free proton beams from an overdense gas jet driven by a near-infrared laser ($\lambda_L=1.053$ $\mathrm{\mu} m$). The gas profile was shaped prior to the interaction using a controlled prepulse. Without this optical shaping, a 30$\pm$4 nCsr$^{-1}$ thermal spectrum was detected transversely to the laser propagation direction with a high energy 8.27$\pm$7 MeV, narrow energy spread (6$\pm$2 %) bunch containing 45$\pm$7 pCsr$^{-1}$. In contrast, with optical shaping the radial component was not detected and instead forward going protons were detected with energy 1.32$\pm$2 MeV, 12.9$\pm$3 % energy spread, and charge 400$\pm$30 pCsr$^{-1}$. Both the forward going and radial narrow energy spread features are indicative of collisionless shock acceleration of the protons.


title: Intersection Graphs of Maximal Sub-polygons of $k$-Lizards

abstract: We introduce $k$-maximal sub-polygon graphs ($k$-MSP graphs), the intersection graphs of maximal polygons contained in a polygon with sides parallel to a regular $2k$-gon. We prove that all complete graphs are $k$-MSP graphs for all $k>1$; trees are $2$-MSP graphs; trees are $k$-MSP graphs for $k>2$ if and only if they're caterpillars; and $n$-cycles are not $k$-MSP graphs for $n>3$ and $k>1$. We derive bounds for which $j$-cycles appear as induced subgraphs of $k$-MSP graphs. As our main result, we construct examples of graphs which are $k$-MSP graphs and not $j$-MSP graphs for all $k>1$, $j>1$, $k \neq j$.


title: Semantic Bounds and Strong Call-by-Value Normalization

abstract: This paper explores two topics at once: the use of denotational semantics to bound the evaluation length of functional programs, and the semantics of strong (that is, possibly under abstractions) call-by-value evaluation. About the first, we analyze de Carvalho's seminal use of relational semantics for bounding the evaluation length of lambda-terms, starting from the presentation of the semantics as an intersection types system. We focus on the part of his work which is usually neglected in its many recent adaptations, despite being probably the conceptually deeper one: how to transfer the bounding power from the type system to the relational semantics itself. We dissect this result and re-understand it via the isolation of a simpler size representation property. About the second, we use relational semantics to develop a semantical study of strong call-by-value evaluation, which is both a delicate and neglected topic. We give a semantic characterization of terms normalizable with respect to strong evaluation, providing in particular the first result of adequacy with respect to strong call-by-value. Moreover, we extract bounds about strong evaluation from both the type systems and the relational semantics. Essentially, we use strong call-by-value to revisit de Carvalho's semantic bounds, and de Carvalho's technique to provide semantical foundations for strong call-by-value.


title: Renormalization Group in Six-derivative Quantum Gravity

abstract: The exact one-loop beta functions for the four-derivative terms (Weyl tensor squared, Ricci scalar squared and the Gauss-Bonnet) are derived for the minimal six-derivative quantum gravity (QG) theory in four spacetime dimensions. The calculation is performed by means of the Barvinsky and Vilkovisky generalized Schwinger-DeWitt technique. With this result we gain, for the first time, the full set of the relevant beta functions in a super-renormalizable model of QG. The complete set of renormalization group (RG) equations, including also those for the Newton and the cosmological constant, is solved explicitly in the general case and for the six-derivative Lee-Wick (LW) quantum gravity proposed in a previous paper by two of the authors. In the ultraviolet regime, the minimal theory is shown to be asymptotically free and describes free gravitons in Minkowski or (anti-) de Sitter ((A)dS) backgrounds, depending on the initial conditions for the RG equations. The ghostlike states appear in complex conjugate pairs at any energy scale consistently with the LW prescription. However, owing to the running, these ghosts may become tachyons. We argue that an extension of the theory that involves operators cubic in Riemann tensor may change the beta functions and hence be capable of overcoming this problem.


title: Modelling Cooperation and Competition in Urban Retail Ecosystems with Complex Network Metrics

abstract: Understanding the impact that a new business has on the local market ecosystem is a challenging task as it is multifaceted in nature. Past work in this space has examined the collaborative or competitive role of homogeneous venue types (i.e. the impact of a new bookstore on existing bookstores). However, these prior works have been limited in their scope and explanatory power. To better measure retail performance in a modern city, a model should consider a number of factors that interact synchronously. This paper is the first which considers the multifaceted types of interactions that occur in urban cities when examining the impact of new businesses. We first present a modeling framework which examines the role of new businesses in their respective local areas. Using a longitudinal dataset from location technology platform Foursquare, we model new venue impact across 26 major cities worldwide. Representing cities as connected networks of venues, we quantify their structure and characterise their dynamics over time. We note a strong community structure emerging in these retail networks, an observation that highlights the interplay of cooperative and competitive forces that emerge in local ecosystems of retail establishments. We next devise a data-driven metric that captures the first-order correlation on the impact of a new venue on retailers within its vicinity accounting for both homogeneous and heterogeneous interactions between venue types. Lastly, we build a supervised machine learning model to predict the impact of a given new venue on its local retail ecosystem. Our approach highlights the power of complex network measures in building machine learning prediction models. These models have numerous applications within the retail sector and can support policymakers, business owners, and urban planners in the development of models to characterize and predict changes in urban settings.


title: Challenges Women in Software Engineering Leadership Roles Face: A Qualitative Study

abstract: Software engineering is not only about technical solutions. To a large extent, it is also concerned with organizational issues, project management, and human behavior. There are serious gender issues that can severely limit the participation of women in science and engineering careers. It is claimed that women lead differently than men and are more collaboration-oriented, communicative, and less aggressive than their male counterparts. However, when talking with women in technology companies' leadership roles, a list of problems women face grows fast. We invite women in software engineering management roles to answer the questions from an empathy map canvas. We used thematic analysis for coding the answers and group the codes into themes. From the analysis, we identified seven themes that support us to list the main challenges they face in their careers.