title: Runway Extraction and Improved Mapping from Space Imagery

abstract: Change detection methods applied to monitoring key infrastructure like airport runways represent an important capability for disaster relief and urban planning. The present work identifies two generative adversarial networks (GAN) architectures that translate reversibly between plausible runway maps and satellite imagery. We illustrate the training capability using paired images (satellite-map) from the same point of view and using the Pix2Pix architecture or conditional GANs. In the absence of available pairs, we likewise show that CycleGAN architectures with four network heads (discriminator-generator pairs) can also provide effective style transfer from raw image pixels to outline or feature maps. To emphasize the runway and tarmac boundaries, we experimentally show that the traditional grey-tan map palette is not a required training input but can be augmented by higher contrast mapping palettes (red-black) for sharper runway boundaries. We preview a potentially novel use case (called "sketch2satellite") where a human roughly draws the current runway boundaries and automates the machine output of plausible satellite images. Finally, we identify examples of faulty runway maps where the published satellite and mapped runways disagree but an automated update renders the correct map using GANs.


title: Delving into Sample Loss Curve to Embrace Noisy and Imbalanced Data

abstract: Corrupted labels and class imbalance are commonly encountered in practically collected training data, which easily leads to over-fitting of deep neural networks (DNNs). Existing approaches alleviate these issues by adopting a sample re-weighting strategy, which is to re-weight sample by designing weighting function. However, it is only applicable for training data containing only either one type of data biases. In practice, however, biased samples with corrupted labels and of tailed classes commonly co-exist in training data. How to handle them simultaneously is a key but under-explored problem. In this paper, we find that these two types of biased samples, though have similar transient loss, have distinguishable trend and characteristics in loss curves, which could provide valuable priors for sample weight assignment. Motivated by this, we delve into the loss curves and propose a novel probe-and-allocate training strategy: In the probing stage, we train the network on the whole biased training data without intervention, and record the loss curve of each sample as an additional attribute; In the allocating stage, we feed the resulting attribute to a newly designed curve-perception network, named CurveNet, to learn to identify the bias type of each sample and assign proper weights through meta-learning adaptively. The training speed of meta learning also blocks its application. To solve it, we propose a method named skip layer meta optimization (SLMO) to accelerate training speed by skipping the bottom layers. Extensive synthetic and real experiments well validate the proposed method, which achieves state-of-the-art performance on multiple challenging benchmarks.


title: Selective Inhibition and Recruitment of Linear-Threshold Thalamocortical Networks

abstract: Neuroscientific evidence shows that for most brain networks all pathways between cortical regions either pass through the thalamus or a transthalamic parallel route exists for any direct corticocortical connection. This paper seeks to formally study the dynamical behavior of the resulting thalamocortical brain networks with a view to characterizing the inhibitory role played by the thalamus and its benefits. We employ a linear-threshold mesoscale model for individual brain subnetworks and study both hierarchical and star-connected thalamocortical networks. Using tools from singular perturbation theory and switched systems, we show that selective inhibition and recruitment can be achieved in such networks through a combination of feedback and feedforward control. Various simulations throughout the exposition illustrate the benefits resulting from the presence of the thalamus regarding failsafe mechanisms, required control magnitude, and network performance.


title: Universal Eigenvalue Statistics for Dynamically Defined Matrices

abstract: We consider dynamically defined Hermitian matrices generated from orbits of the doubling map. We prove that their spectra fall into the GUE universality class from random matrix theory.


title: Generalization of the HSIC and distance covariance using positive definite independent kernels

abstract: Hilbert-Schmidt independence criterion and distance covariance are methods to describe independence of random variables using either the Kronecker product of positive definite kernels or the Kronecker product of conditionally negative definite kernels. In this paper we generalize both methods by providing an independence criteria using a new concept, of positive definite independent kernels. We provide a characterization of the radial kernels that are positive definite independent on all Euclidean spaces and we present several examples.


title: GASP XXXVII: The Most Extreme Jellyfish Galaxies Compared to Other Disk Galaxies in Clusters, an HI Study

abstract: We present the results of a VLA HI imaging survey aimed at understanding why some galaxies develop long extraplanar H$\alpha$ tails, becoming extreme jellyfish galaxies. The observations are centered on five extreme jellyfish galaxies, optically selected from the WINGS and OmegaWINGS surveys and confirmed to have long H$\alpha$ tails through MUSE observations. Each galaxy is located in a different cluster. In the observations there are in total 88 other spiral galaxies within the field of view (40'x40') and observed bandwidth (6500 km s$^{-1}$). We detect 13 of these 88 spirals, plus one uncatalogued spiral, with HI masses ranging from 1 to 7 $\times$ 10${^9}$ M$_{\odot}$. Many of these detections have extended HI disks, two show direct evidence for ram pressure stripping, while others are possibly affected by tidal forces and/or ram-pressure stripping. We stack the 75 non-detected spiral galaxies and find an average HI mass of 1.9 $\times$ 10$^{8}$ M$_{\odot}$, which given their average stellar mass, implies they are very HI deficient. Comparing the extreme jellyfish galaxies to the other disk galaxies, we find that they have a larger stellar mass than almost all disk galaxies and than all HI detected galaxies, they are at smaller projected distance from the cluster center and at higher relative velocity to the cluster mean than all HI detections and most non-detections. We conclude that the high stellar mass allows extreme jellyfish galaxies to fall deeply into the cluster before being stripped and the surrounding ICM pressure gives rise to their spectacular star-forming tails.


title: Imprints of MeV Scale Hidden Dark Sector at Planck Data

abstract: New light species can contribute to the number of effective relativistic degrees of freedom ($N_{\rm eff}$) at Cosmic Microwave Background (CMB) which is precisely measured by Planck. In this work, we consider an MeV scale thermally decoupled non-minimal dark sector and study the imprint of the dark sector dynamics on the measurement of $N_{\rm eff}$ at the time of CMB formation. We have predicted the allowed region of model parameter space in the light of constraints arising from the measurements of both $N_{\rm eff}$ and dark matter relic density by Planck. It turns out that the impact of the dark sector dynamics on $N_{\rm eff}$ is significant in case of a non-hierarchical mass spectrum of the dark sector particles.


title: AI & Racial Equity: Understanding Sentiment Analysis Artificial Intelligence, Data Security, and Systemic Theory in Criminal Justice Systems

abstract: Various forms of implications of artificial intelligence that either exacerbate or decrease racial systemic injustice have been explored in this applied research endeavor. Taking each thematic area of identifying, analyzing, and debating an systemic issue have been leveraged in investigating merits and drawbacks of using algorithms to automate human decision making in racially sensitive environments. It has been asserted through the analysis of historical systemic patterns, implicit biases, existing algorithmic risks, and legal implications that natural language processing based AI, such as risk assessment tools, have racially disparate outcomes. It is concluded that more litigative policies are needed to regulate and restrict how internal government institutions and corporations utilize algorithms, privacy and security risks, and auditing requirements in order to diverge from racially injustice outcomes and practices of the past.


title: Weak magnetic field changes over the Pacific due to high conductance in lowermost mantle

abstract: For the past few centuries, the temporal variation in the Earth's magnetic field in the Pacific region has been anomalously low. The reason for this is tied to large scale flows in the liquid outer core near the core-mantle boundary, which are weaker under the Pacific and feature a planetary scale gyre that is eccentric and broadly avoids this region. However, what regulates this type of flow morphology is unknown. Here, we present results from a numerical model of the dynamics in Earth's core that includes electromagnetic coupling with a non-uniform conducting layer at the base of the mantle. We show that when the conductance of this layer is higher under the Pacific than elsewhere, the larger electromagnetic drag force weakens the local core flows and deflects the flow of the planetary gyre away from the Pacific. The nature of the lowermost mantle conductance remains unclear, but stratified core fluid trapped within topographic undulations of the core-mantle boundary is a possible explanation.


title: Topological quantum computation is hyperbolic

abstract: We show that a topological quantum computer based on the evaluation of a Witten-Reshetikhin-Turaev TQFT invariant of knots can always be arranged so that the knot diagrams with which one computes are diagrams of hyperbolic knots. The diagrams can even be arranged to have additional nice properties, such as being alternating with minimal crossing number. Moreover, the reduction is polynomially uniform in the self-braiding exponent of the coloring object. Various complexity-theoretic hardness results regarding the calculation of quantum invariants of knots follow as corollaries. In particular, we argue that the hyperbolic geometry of knots is unlikely to be useful for topological quantum computation.


title: Blockchain Nash Dynamics and the Pursuit of Compliance

abstract: We study Nash-dynamics in the context of blockchain protocols. We introduce a formal model, within which one can assess whether the Nash dynamics can lead utility-maximizing participants to defect from the "honest" protocol operation, towards variations that exhibit one or more undesirable infractions, such as abstaining from participation and producing conflicting protocol histories. Blockchain protocols that do not lead to such infraction states are said to be compliant. Armed with this model, we evaluate the compliance of various Proof-of-Work (PoW) and Proof-of-Stake (PoS) protocol families, with respect to different utility functions and reward schemes, leading to the following results: i) PoS ledgers under resource-proportional rewards can be compliant if costs are negligible, but non-compliant if costs are significant; ii) PoW and PoS under block-proportional rewards exhibit different compliance behavior, depending on the lossiness of the network; iii) PoS ledgers can be compliant w.r.t. one infraction, i.e., producing conflicting messages, but non-compliant (and non-equilibria) w.r.t. abstaining or an attack we call selfish signing; iv) taking externalities, such as exchange rate fluctuations, into account, we quantify the benefit of economic penalties, in the context of PoS protocols, in disincentivizing particular infractions.


title: Binary AGN simulations with radiation pressure reveal a new duty cycle, and a reduction of gravitational torque, through 'minitori' structures

abstract: We produce the first set of radiation hydrodynamics simulations of binary AGNs at parsec-scale separation in scale-model simulations. We use SPH for hydrodynamics, and raytracing to calculate optical depths and radiation pressure from the two AGNs. We confirm that, without radiation pressure, the sign of gravitational torque is sensitive to the binary parameters, although in one of our two orbital configurations the binary should coalesce in a time-scale of $<10^9$ yr. However, radiation pressure quickly destroys the 'minitori' around each SMBH, drastically reducing gravitational torques and accretion, and greatly increasing the coalescence time-scale. Our simulations suggest a new 'minitorus' duty cycle with a time-scale of ~10 binary periods (~$10^6$ yr when scaling our models to a total binary mass of $2\times10^7\,M_\odot$). The growth and blow-out phases of the 'minitori' are of similar time-scales, and thus we expect about half of observed binary SMBHs to be active, in at least one component. The 'minitorus' structure provides asymmetries that could be observed by infrared interferometry.


title: Asymptotic profile of ground states for the Schr\"{o}dinger-Poisson-Slater equation

abstract: We study the Schr\"{o}dinger-Poisson-Slater equation $$-\Delta u + u+\lambda(I_{2}*|u|^2)u=|u|^{p-2}u\quad\text{in $\mathbb R^3$},$$ where $p\in (3,6)$ and $\lambda>0$. By using direct variational analysis based on the comparison of the ground state energy levels, we obtain a characterization of the limit profile of the positive ground states for $\lambda\to \infty$.


title: Effective Dynamics of the Vector Nonlinear Schr\"odinger Equations on Large Domains

abstract: We consider the vector nonlinear Schr\"odinger equation posed on the box with periodic boundary conditions, and derive the continuous resonant (CR) equation that describes the effective dynamics for large box size and small data size over very large time-scales. Moreover, we investigate various properties of the continuous resonant equations, including the Hamiltonian structure and the well-posedness, etc..


title: Thermal Processing of Solids Encountering a Young Jovian Core

abstract: Jupiter's enhancement in nitrogen relative to hydrogen when compared to the Sun has been interpreted as evidence that its early formation occurred beyond the N$_{2}$ snowline ($\sim$ 20-40 AU). However, the rapid growth necessary to form Jupiter before the dissipation of the solar nebula would lead to the forming planet's core reaching very high temperatures ($>$1000 K), which would lead to it warming its surroundings. Here, we explore the effects of a luminous planetary core on the solids that it ultimately accretes. We find that a critical transition occurs where very hot (rapidly accreting) cores drive off volatiles prior to accretion, while cool cores (slowly accreting) are able to inherit volatile rich solids. Given Jupiter's nitrogen enrichment, if it formed beyond the N$_{2}$ snowline, its core could not have accreted solids at a rate above 10$^{-10}$ M$_{\odot}$ yr$^{-1}$. Our results suggest that either Jupiter formed in more distal regions of the solar nebula, or nitrogen loss was suppressed, either by its incorporation in more refractory carriers or because it was trapped within ices which devolatilized at higher temperatures.


title: Adaptive Model Predictive Control of Wheeled Mobile Robots

abstract: In this paper, a control algorithm for guiding a two wheeled mobile robot with unknown inertia to a desired point and orientation using an Adaptive Model Predictive Control (AMPC) framework is presented. The two wheeled mobile robot is modeled as a knife edge or a skate with nonholonomic kinematic constraints and the dynamical equations are derived using the Lagrangian approach. The inputs at every time instant are obtained from Model Predictive Control (MPC) with a set of nominal parameters which are updated using a recursive least squares algorithm. The efficacy of the algorithm is demonstrated through numerical simulations at the end of the paper.


title: Secret Sharing Sharing For Highly Scalable Secure Aggregation

abstract: Secure Multiparty Computation (MPC) can improve the security and privacy of data owners while allowing analysts to perform high quality analytics. Secure aggregation is a secure distributed mechanism to support federated deep learning without the need for trusted third parties. In this paper we present a highly performant secure aggregation protocol with sub-linear communication complexity. Our protocol achieves greater communication and computation efficiencies through a group-based approach. It is similar to secret sharing protocols extended to vectors of values-aka gradients-but within groups we add an additional layer of secret sharing of shares themselves-aka sharding. This ensures privacy of secret inputs in the standard real/ideal security paradigm, in both semi-honest and malicious settings where the server may collude with the adversary. In the malicious setting with 5% corrupt clients and 5% dropouts, our protocol can aggregate over a federation with 100,000,000 members and vectors of length 100 while requiring each client to communicate with only 350 other clients. The concrete computation cost for this aggregation is less than half a second for the server and less than 100ms for the client.


title: Constructions of Sarvate-Beam Group Divisible Designs

abstract: A balanced incomplete block design is a set system in which all pairs of distinct elements occur with a constant frequency. By contrast, a Sarvate-Beam design induces an interval of distinct frequencies on pairs. In this paper, we settle the existence of a Sarvate-Beam variant of group divisible designs of uniform type with block size three.


title: Improved bounds for the many-user MAC

abstract: Many-user MAC is an important model for understanding energy efficiency of massive random access in 5G and beyond. Introduced in Polyanskiy'2017 for the AWGN channel, subsequent works have provided improved bounds on the asymptotic minimum energy-per-bit required to achieve a target per-user error at a given user density and payload, going beyond the AWGN setting. The best known rigorous bounds use spatially coupled codes along with the optimal AMP algorithm. But these bounds are infeasible to compute beyond a few (around 10) bits of payload. In this paper, we provide new achievability bounds for the many-user AWGN and quasi-static Rayleigh fading MACs using the spatially coupled codebook design along with a scalar AMP algorithm. The obtained bounds are computable even up to 100 bits and outperform the previous ones at this payload.


title: Modified Special Functions Defined by Generalized M-Series and Their Properties

abstract: In this paper, modified gamma and beta functions containing generalized M-series in their kernel are defined. Also, modified Gauss and confluent hypergeometric functions are defined using the modified beta function. Then, some properties of these modified special functions are obtained. Finally, the relationships between generalized special functions in the literature with newly defined modified special functions are examined.


title: Mean first-passage times for solvated LiCN isomerization at intermediate to high temperatures

abstract: The behavior of a particle in a solvent has been framed using stochastic dynamics since the early theory of Kramers. A particle in a chemical reaction reacts slower in a diluted solvent because of the lack of energy transfer via collisions. The flux-over-population reaction rate constant rises with increasing density before falling again for very dense solvents. This Kramers turnover is observed in this paper at intermediate and high temperatures in the backward reaction of the LiNC $\rightleftharpoons$ LiCN isomerization via Langevin dynamics and mean first-passage times (MFPTs). It is in good agreement with the Pollak-Grabert-H\"anggi (PGH) reaction rates at lower temperatures. Furthermore, we find a square root behavior of the reaction rate at high temperatures and have made direct comparisons of the methods in the intermediate- and high- temperature regimes; all suggesting increased ranges in accuracy of both the PGH and MFPT approaches.


title: ReWiS: Reliable Wi-Fi Sensing Through Few-Shot Multi-Antenna Multi-Receiver CSI Learning

abstract: Thanks to the ubiquitousness of Wi-Fi access points and devices, Wi-Fi sensing enables transformative applications in remote health care, security, and surveillance. Existing work has explored the usage of machine learning on channel state information (CSI) computed from Wi-Fi packets to classify events of interest. However, most of these algorithms require a significant amount of data collection, as well as extensive computational power for additional CSI feature extraction. Moreover, the majority of these models suffer from poor accuracy when tested in a new/untrained environment. In this paper, we propose ReWiS, a novel framework for robust and environment-independent Wi-Fi sensing. The key innovation of ReWiS is to leverage few-shot learning (FSL) as the inference engine, which (i) reduces the need for extensive data collection and application-specific feature extraction; (ii) can rapidly generalize to new tasks by leveraging only a few new samples. We prototype ReWiS using off-the-shelf Wi-Fi equipment and showcase its performance by considering a compelling use case of human activity recognition. Thus, we perform an extensive data collection campaign in three different propagation environments with two human subjects. We evaluate the impact of each diversity component on the performance and compare ReWiS with a traditional convolutional neural network (CNN) approach. Experimental results show that ReWiS improves the performance by about 40% with respect to existing single-antenna low-resolution approaches. Moreover, when compared to a CNN-based approach, ReWiS shows a 35% more accuracy and less than 10% drop in accuracy when tested in different environments, while the CNN drops by more than 45%.


title: Classification of asymptotically conical Calabi-Yau manifolds

abstract: A Riemannian cone $(C, g_C)$ is by definition a warped product $C = \mathbb{R}^+ \times L$ with metric $g_C = dr^2 \oplus r^2 g_L$, where $(L,g_L)$ is a compact Riemannian manifold without boundary. We say that $C$ is a Calabi-Yau cone if $g_C$ is a Ricci-flat K\"ahler metric and if $C$ admits a $g_C$-parallel holomorphic volume form; this is equivalent to the cross-section $(L,g_L)$ being a Sasaki-Einstein manifold. In this paper, we give a complete classification of all smooth complete Calabi-Yau manifolds asymptotic to some given Calabi-Yau cone at a polynomial rate at infinity. As a special case, this includes a proof of Kronheimer's classification of ALE hyper-K\"ahler $4$-manifolds without twistor theory.


title: Thermonuclear and Electron-Capture Supernovae from Stripped-Envelope Stars

abstract: (abridged) When stripped from their hydrogen-rich envelopes, stars with initial masses between $\sim$7 and 11 M$_\odot$ develop massive degenerate cores and collapse. Depending on the final structure and composition, the outcome can range from a thermonuclear explosion, to the formation of a neutron star in an electron-capture supernova (ECSN). It has been recently demonstrated that stars in this mass range may initiate explosive oxygen burning when their central densities are still below $\rho_{\rm c} \lesssim 10^{9.6}$ g cm$^{-3}$. This makes them interesting candidates for type Ia supernovae -- which we call (C)ONe SNe Ia -- and might have broader implications for the formation of neutron stars via ECSNe. Here, we model the evolution of 252 helium stars with initial masses in the $0.8-3.5$ M$_\odot$ range, and metallicities between $Z=10^{-4}$ and $0.02$. We use these models to constrain the central densities, compositions and envelope masses at the time of explosive oxygen ignition. We further investigate the sensitivity of these properties to mass loss rate assumptions using additional models with varying wind efficiencies. We find that helium stars with masses between $\sim$1.8 and 2.7 M$_\odot$ evolve onto $1.35-1.37$ M$_\odot$ (C)ONe cores that initiate explosive burning at central densities between $\rm \log_{10}(\rho_c)\sim 9.3$ and 9.6. We constrain the amount of residual carbon retained after core carbon burning, and conclude that it plays a critical role in determining the final outcome: Chandrasekhar-mass degenerate cores that retain more than $\sim 0.005$ M$_\odot$ of carbon result in (C)ONe SNe Ia, while those with lower carbon mass become ECSNe. We find that (C)ONe SNe Ia are more likely to occur at high metallicities, whereas at low metallicities ECSNe dominate.


title: Duality for the existential fragment of first-order logic on words with numerical predicates of a fixed arity

abstract: This article fits in the area of research that investigates the application of topological duality methods to problems that appear in theoretical computer science. One of the eventual goals of this approach is to derive results in computational complexity theory by studying appropriate topological objects which characterize them. The link which relates these two seemingly separated fields is logic, more precisely a subdomain of finite model theory known as logic on words. It allows for a description of complexity classes as certain families of languages, possibly non-regular, on a finite alphabet. Very few is known about the duality theory relative to fragments of first-order logic on words which lie outside of the scope of regular languages. The contribution of our work is a detailed study of such a fragment. Fixing an integer $k \geq 1$, we consider the Boolean algebra $\mathcal{B}\Sigma_1[\mathcal{N}^{u}_k]$. It corresponds to the fragment of logic on words consisting in Boolean combinations of sentences defined by using a block of at most $k$ existential quantifiers, letter predicates and uniform numerical predicates of arity $l \in \{1,...,k\}$. We give a detailed study of the dual space of this Boolean algebra, for any $k \geq 1$, and provide several characterizations of its points. In the particular case where $k=1$, we are able to construct a family of ultrafilter equations which characterize the Boolean algebra $\mathcal{B} \Sigma_1[\mathcal{N}^{u}_1]$. We use topological methods in order to prove that these equations are sound and complete with respect to the Boolean algebra we mentioned.


title: Condensation in hybrid superconducting cavity-microscopic spins systems with finite-bandwidth drive

abstract: Using Keldysh field theory, we find conditions for non-equilibrium condensation in the open Tavis-Cummings model under a direct finite-bandwidth incoherent cavity drive. Experimentally, we expect the condensation transition to be easily accessible to hybrid superconducting systems coupled to microscopic spins, as well as to many other incoherently driven light-matter systems. In our theoretical analysis, we explicitly incorporate the drive's spectral distribution into the saddle-point description. We show that the injected incoherent photons create a drive-dependent effective coupling between spin-1/2 particles. The condensation transition arises at a critical regime of driving which we can now accurately predict. Our results also provide important guidelines for future quantum simulation experiments of non-equilibrium phases with hybrid devices.


title: Technical Report: Bundling Linked Data Structures for Linearizable Range Queries

abstract: We present bundled references, a new building block to provide linearizable range query operations for highly concurrent lock-based linked data structures. Bundled references allow range queries to traverse a path through the data structure that is consistent with the target atomic snapshot. We demonstrate our technique with three data structures: a linked list, skip list, and a binary search tree. Our evaluation reveals that in mixed workloads, our design can improve upon the state-of-the-art techniques by 1.2x-1.8x for a skip list and 1.3x-3.7x for a binary search tree. We also integrate our bundled data structure into the DBx1000 in-memory database, yielding up to 40% gain over the same competitors.


title: Transport type metrics on the space of probability measures involving singular base measures

abstract: We develop the theory of a metric, which we call the $\nu$-based Wasserstein metric and denote by $W_\nu$, on the set of probability measures $\mathcal P(X)$ on a domain $X \subseteq \mathbb{R}^m$. This metric is based on a slight refinement of the notion of generalized geodesics with respect to a base measure $\nu$ and is relevant in particular for the case when $\nu$ is singular with respect to $m$-dimensional Lebesgue measure; it is also closely related to the concept of linearized optimal transport. The $\nu$-based Wasserstein metric is defined in terms of an iterated variational problem involving optimal transport to $\nu$; we also characterize it in terms of integrations of classical Wasserstein distance between the conditional probabilities and through limits of certain multi-marginal optimal transport problems. As we vary the base measure $\nu$, the $\nu$-based Wasserstein metric interpolates between the usual quadratic Wasserstein distance and a metric associated with the uniquely defined generalized geodesics obtained when $\nu$ is sufficiently regular. When $\nu$ concentrates on a lower dimensional submanifold of $\mathbb{R}^m$, we prove that the variational problem in the definition of the $\nu$-based Wasserstein distance has a unique solution. We establish geodesic convexity of the usual class of functionals and of the set of source measures $\mu$ such that optimal transport between $\mu$ and $\nu$ satisfies a strengthening of the generalized nestedness condition introduced in \cite{McCannPass20}.We finally introduce a slight variant of the dual metric mentioned above in order to prove convergence of an iterative scheme to solve a variational problem arising in game theory.


title: Quasi-Sterile Neutrinos from Dark Sectors I. BSM matter effects in neutrino oscillations and the short-baseline anomalies

abstract: Quasi-sterile neutrinos are a natural consequence of dark sectors interacting with the Standard Model (SM) sector via neutrino- and vector-portals. Essentially, quasi-sterile neutrinos are light dark sector fermions with two generic properties: (i) they mix with the active neutrinos of the SM, and (ii) they are charged under a vector mediator that couples feebly to SM matter. Various interesting phenomenological consequences result from this class of particles. In this article, we investigate one such consequence: new, beyond the SM matter effects that can alter in-medium neutrino oscillations. In particular, for special windows of energy and matter densities, active neutrinos can resonantly oscillate into sterile neutrinos. We take advantage of this feature to build a quasi-sterile neutrino model that can explain the MiniBooNE and LSND anomalies, while remaining compatible with observations from long-baseline reactor- and accelerator-based neutrino experiments. This model is also likely compatible with the recent results reported by the MicroBooNE collaboration (albeit we cannot precisely quantify this claim due to a lack of information in MicroBooNE's public data releases to date). Implications for solar neutrinos and $\nu_e$ disappearance searches are also briefly discussed.


title: Gaussian-Hermite Moment Invariants of General Multi-Channel Functions

abstract: With the development of data acquisition technology, large amounts of multi-channel data are collected and widely used in many fields. Most of them, such as RGB images and vector fields, can be expressed as different types of multi-channel functions. Feature extraction of multi-channel data for identifying interest patterns is a critical but challenging task. This paper focuses on constructing moment-based features of general multi-channel functions. Specifically, we define two transform models, rotation-affine transform and total rotation transform, to describe real deformations of multi-channel data. Then, we design a structural framework to generate Gaussian-Hermite moment invariants for these two transform models systematically. It is the first time that a unified framework has been proposed in the literature to construct orthogonal moment invariants of general multi-channel functions. Given a specific type of multi-channel data, we demonstrate how to utilize the new method to derive all possible invariants and eliminate dependences among them. We obtain independent sets of invariants with low orders and low degrees for RGB images, 2D vector fields and color volume data. Based on synthetic and real multi-channel data, we conduct extensive experiments to evaluate the stability and discriminability of these invariants and their robustness to noise. The results show that new moment invariants significantly outperform previous moment invariants of multi-channel data in RGB image classification and vortex detection in 2D vector fields.


title: Collisional effects in the blue wing of the Balmer-alpha line

abstract: In order to investigate the near wing of the Lyman-alpha line, accurate line profile calculations and molecular data are both required due to the existence of a close line satellite responsible for its asymmetrical shape. Lyman-alpha lines observed with the Cosmic Origin Spectograph (COS) on the Hubble Space Telescope ( HST) show this peculiarity in the spectra of DBA and DA white dwarf stars. A similar asymmetrical shape in the blue wing can be predicted in the Balmer-alpha line of H perturbed by He and H atoms. In continuation with a very recent work on the Lyman-alpha line, where the n=2 potential energies and transition dipole moments from the ground state were determined, we present new accurate H-He potential energies and electronic transition dipole moments involving the molecular states correlated with H(n=3)+He and their transition dipole moments with the states correlated with H(n=2)+He. Those new data and existing molecular data for H(n=2,3)-H are used to provide a theoretical investigation of the collisional effects in the blue wing of the Balmer-alpha line of H perturbed by He and H atoms. We note the consequences for the Balmer-alpha line shape in the physical conditions found in the cool atmosphere of DZA white dwarfs where helium densities may be as high as 10^21 cm-3. This study is undertaken with a unified theory of spectral line broadening valid at very high helium densities.


title: Temporal Detection of Anomalies via Actor-Critic Based Controlled Sensing

abstract: We address the problem of monitoring a set of binary stochastic processes and generating an alert when the number of anomalies among them exceeds a threshold. For this, the decision-maker selects and probes a subset of the processes to obtain noisy estimates of their states (normal or anomalous). Based on the received observations, the decisionmaker first determines whether to declare that the number of anomalies has exceeded the threshold or to continue taking observations. When the decision is to continue, it then decides whether to collect observations at the next time instant or defer it to a later time. If it chooses to collect observations, it further determines the subset of processes to be probed. To devise this three-step sequential decision-making process, we use a Bayesian formulation wherein we learn the posterior probability on the states of the processes. Using the posterior probability, we construct a Markov decision process and solve it using deep actor-critic reinforcement learning. Via numerical experiments, we demonstrate the superior performance of our algorithm compared to the traditional model-based algorithms.


title: Optical Thouless pumping transport and nonlinear switching in a topological low-dimensional discrete nematic liquid crystal array

abstract: We theoretically investigate a Thouless pumping scheme in the 1D topological Su-Schrieffer-Heeger (SSH) model for single and multiple band-gaps systems when implemented in a discrete nematic liquid crystal arrangement. For an electrically controlled SSH waveguide array, we numerically demonstrate edge-to-edge light transport at low power levels. On the other hand, at higher powers, the transport is frustrated by light-induced nonlinear defect states, giving rise to robust all-optical switching.


title: Balanced Nonadaptive Redundancy Scheduling

abstract: Distributed computing systems implement redundancy to reduce the job completion time and variability. Despite a large body of work about computing redundancy, the analytical performance evaluation of redundancy techniques in queuing systems is still an open problem. In this work, we take one step forward to analyze the performance of scheduling policies in systems with redundancy. In particular, we study the pattern of shared servers among replicas of different jobs. To this end, we employ combinatorics and graph theory and define and derive performance indicators using the statistics of the overlaps. We consider two classical nonadaptive scheduling policies: random and round-robin. We then propose a scheduling policy based on combinatorial block designs. Compared with conventional scheduling, the proposed scheduling improves the performance indicators. We study the expansion property of the graphs associated with round-robin and block design-based policies. It turns out the superior performance of the block design-based policy results from better expansion properties of its associated graph. As indicated by the performance indicators, the simulation results show that the block design-based policy outperforms random and round-robin scheduling in different scenarios. Specifically, it reduces the average waiting time in the queue to up to 25% compared to the random policy and up to 100% compared to the round-robin policy.


title: The dynamics and outcome of star formation with jets, radiation, winds, and supernovae in concert

abstract: We analyze the first giant molecular cloud (GMC) simulation to follow the formation of individual stars and their feedback from jets, radiation, winds, and supernovae, using the STARFORGE framework in the GIZMO code. We evolve the GMC for $\sim 9 \rm Myr$, from initial turbulent collapse to dispersal by feedback. Protostellar jets dominate feedback momentum initially, but radiation and winds cause cloud disruption at $\sim 8\%$ star formation efficiency (SFE), and the first supernova at $8.3 \rm Myr$ comes too late to influence star formation significantly. The per-freefall SFE is dynamic, accelerating from 0 to $\sim 18\%$ before dropping quickly to <1%, but the estimate from YSO counts compresses it to a narrower range. The primary cluster forms hierarchically and condenses to a brief ($\sim 1\,\mathrm{Myr}$) compact ($\sim 1 \rm pc$) phase, but does not virialize before the cloud disperses, and the stars end as an unbound expanding association. The initial mass function resembles the Chabrier (2005) form with a high-mass slope $\alpha=-2$ and a maximum mass of $55 M_\odot$. Stellar accretion takes $\sim 400 \rm kyr$ on average, but $\gtrsim 1\rm Myr$ for $>10 M_\odot$ stars, so massive stars finish growing latest. The fraction of stars in multiples increases as a function of primary mass, as observed. Overall, the simulation much more closely resembles reality, compared to variations which neglect different feedback physics entirely. But more detailed comparison with synthetic observations is necessary to constrain the theoretical uncertainties.


title: Finite-Element Domain Approximation for Maxwell Variational Problems on Curved Domains

abstract: We consider the problem of domain approximation in finite element methods for Maxwell equations on curved domains, i.e., when affine or polynomial meshes fail to exactly cover the domain of interest. In such cases, one is forced to approximate the domain by a sequence of polyhedral domains arising from inexact meshes. We deduce conditions on the quality of these approximations that ensure rates of error convergence between discrete solutions -- in the approximate domains -- to the continuous one in the original domain.


title: Emergence of pion parton distributions

abstract: Supposing only that there is an effective charge which defines an evolution scheme for parton distribution functions (DFs) that is all-orders exact, strict lower and upper bounds on all Mellin moments of the valence-quark DFs of pion-like systems are derived. Exploiting contemporary results from numerical simulations of lattice-regularised quantum chromodynamics (QCD) that are consistent with these bounds, parameter-free predictions for pion valence, glue, and sea DFs are obtained. The form of the valence-quark DF at large values of the light-front momentum fraction is consistent with predictions derived using the QCD-prescribed behaviour of the pion wave function.


title: Wave-packet Dynamics in Synthetic Non-Abelian Gauge Fields

abstract: It is generally admitted that in quantum mechanics, the electromagnetic potentials have physical interpretations otherwise absent in classical physics as illustrated by the Aharonov-Bohm effect. In 1984, Berry interpreted this effect as a geometrical phase factor. The same year, Wilczek and Zee generalized the concept of Berry phases to degenerate levels and showed that a non-Abelian gauge field arises in these systems. In sharp contrast with the Abelian case, spatially uniform non-Abelian gauge fields can induce particle noninertial motion. We explore this intriguing phenomenon with a degenerated Fermionic atomic gas subject to a two-dimensional synthetic SU(2) non-Abelian gauge field. We reveal the spin Hall nature of the noninertial dynamic as well as its anisotropy in amplitude and frequency due to the spin texture of the system. We finally draw the similarities and differences of the observed wave packet dynamic and the celebrated Zitterbewegung effect of the relativistic Dirac equation.


title: Rank-one strange attractors versus Heteroclinic tangles

abstract: We present a mechanism for the emergence of strange attractors (observable chaos) in a two-parameter periodically-perturbed family of differential equations on the plane. The two parameters are independent and act on different ways in the invariant manifolds of consecutive saddles in the cycle. When both parameters are zero, the flow exhibits an attracting heteroclinic cycle associated to two equilibria. The first parameter makes the two-dimensional invariant manifolds of consecutive saddles in the cycle to pull apart; the second forces transverse intersection. These relative positions may be determined using the Melnikov method. Extending the previous theory on the field, we prove the existence of many complicated dynamical objects in the two-parameter family, ranging from "large" strange attractors supporting SRB (Sinai-Ruelle-Bowen) measures to superstable sinks and H\'enon-type attractors. We draw a plausible bifurcation diagram associated to the problem under consideration and we show that the occurrence of heteroclinic tangles is a \emph{prevalent} phenomenon.


title: Lattice simulations of the QCD chiral transition at real $\mu_B$

abstract: Most lattice studies of hot and dense QCD matter rely on extrapolation from zero or imaginary chemical potentials. The ill-posedness of numerical analytic continuation puts severe limitations on the reliability of such methods. We studied the QCD chiral transition at finite real baryon density with the more direct sign reweighting approach. We simulate up to a baryochemical potential-temperature ratio of $\mu_B/T=2.7$, covering the RHIC Beam Energy Scan range, and penetrating the region where methods based on analytic continuation are unpredictive.This opens up a new window to study QCD matter at finite $\mu_B$ from first principles.


title: GP-HMAT: Scalable, ${O}(n\log(n))$ Gaussian Process Regression with Hierarchical Low-Rank Matrices

abstract: A Gaussian process (GP) is a powerful and widely used regression technique. The main building block of a GP regression is the covariance kernel, which characterizes the relationship between pairs in the random field. The optimization to find the optimal kernel, however, requires several large-scale and often unstructured matrix inversions. We tackle this challenge by introducing a hierarchical matrix approach, named HMAT, which effectively decomposes the matrix structure, in a recursive manner, into significantly smaller matrices where a direct approach could be used for inversion. Our matrix partitioning uses a particular aggregation strategy for data points, which promotes the low-rank structure of off-diagonal blocks in the hierarchical kernel matrix. We employ a randomized linear algebra method for matrix reduction on the low-rank off-diagonal blocks without factorizing a large matrix. We provide analytical error and cost estimates for the inversion of the matrix, investigate them empirically with numerical computations, and demonstrate the application of our approach on three numerical examples involving GP regression for engineering problems and a large-scale real dataset. We provide the computer implementation of GP-HMAT, HMAT adapted for GP likelihood and derivative computations, and the implementation of the last numerical example on a real dataset. We demonstrate superior scalability of the HMAT approach compared to built-in $\backslash$ operator in MATLAB for large-scale linear solves $\bf{A}\bf{x} = \bf{y}$ via a repeatable and verifiable empirical study. An extension to hierarchical semiseparable (HSS) matrices is discussed as future research.


title: Biased Hypothesis Formation From Projection Pursuit

abstract: The effect of bias on hypothesis formation is characterized for an automated data-driven projection pursuit neural network to extract and select features for binary classification of data streams. This intelligent exploratory process partitions a complete vector state space into disjoint subspaces to create working hypotheses quantified by similarities and differences observed between two groups of labeled data streams. Data streams are typically time sequenced, and may exhibit complex spatio-temporal patterns. For example, given atomic trajectories from molecular dynamics simulation, the machine's task is to quantify dynamical mechanisms that promote function by comparing protein mutants, some known to function while others are nonfunctional. Utilizing synthetic two-dimensional molecules that mimic the dynamics of functional and nonfunctional proteins, biases are identified and controlled in both the machine learning model and selected training data under different contexts. The refinement of a working hypothesis converges to a statistically robust multivariate perception of the data based on a context-dependent perspective. Including diverse perspectives during data exploration enhances interpretability of the multivariate characterization of similarities and differences.


title: The Effect of Off-Center $\sigma$-Hole on the Atom-Centered Partial Charges in Halogenated Molecules

abstract: Partial atomic charges belong to key concepts of computational chemistry. In some cases, however, they fail in describing the electrostatics of molecules. One such example is the $\sigma$-hole, a region of positive electrostatic potential located on halogens and other atoms. In molecular mechanics, the $\sigma$-hole is often modeled as a pseudo-atom with a positive partial charge located off the halogen nucleus. Here we address a question, to what extent the pseudo-atom affects partial charges of other atoms in the molecule. To this aim, we have thoroughly analyzed partial charges of over 2300 halogenated molecules from the ZINC database calculated by the Restricted Electrostatic Potential (RESP) method and compared them with the charges fitted by RESP including the pseudo-atom. We show that the pseudo-atom improves charge fitting for a vast majority of molecules. The $\sigma$-hole, modeled as the off-center charge, affects the atoms within three covalent bonds from the halogen.


title: Detailed Chemical Abundances for a Benchmark Sample of M Dwarfs from the APOGEE Survey

abstract: Individual chemical abundances for fourteen elements (C, O, Na, Mg, Al, Si, K, Ca, Ti, V, Cr, Mn, Fe, and Ni) are derived for a sample of M-dwarfs using high-resolution near-infrared $H$-band spectra from the SDSS-IV/APOGEE survey. The quantitative analysis included synthetic spectra computed with 1-D LTE plane-parallel MARCS models using the APOGEE DR17 line list to determine chemical abundances. The sample consists of eleven M-dwarfs in binary systems with warmer FGK-dwarf primaries and ten measured interferometric angular diameters. To minimize atomic diffusion effects, [X/Fe] ratios are used to compare M-dwarfs in binary systems and literature results for their warmer primary stars, indicating good agreement ($<$0.08 dex) for all studied elements. The mean abundance differences in Primaries-this work M-dwarfs is -0.05$\pm$0.03 dex. It indicates that M-dwarfs in binary systems are a reliable way to calibrate empirical relationships. A comparison with abundance, effective temperature, and surface gravity results from the ASPCAP pipeline (DR16) finds a systematic offset of [M/H], $T_{\rm eff}$, log$g$ = +0.21 dex, -50 K, and 0.30 dex, respectively, although ASPCAP [X/Fe] ratios are generally consistent with this study. The metallicities of the M dwarfs cover the range of [Fe/H] = -0.9 to +0.4 and are used to investigate Galactic chemical evolution via trends of [X/Fe] as a function of [Fe/H]. The behavior of the various elemental abundances [X/Fe] versus [Fe/H] agrees well with the corresponding trends derived from warmer FGK-dwarfs, demonstrating that the APOGEE spectra can be used to Galactic chemical evolution using large samples of selected M-dwarfs.


title: An extreme value approach to CoVaR estimation

abstract: The global financial crisis of 2007-2009 highlighted the crucial role systemic risk plays in ensuring stability of financial markets. Accurate assessment of systemic risk would enable regulators to introduce suitable policies to mitigate the risk as well as allow individual institutions to monitor their vulnerability to market movements. One popular measure of systemic risk is the conditional value-at-risk (CoVaR), proposed in Adrian and Brunnermeier (2011). We develop a methodology to estimate CoVaR semi-parametrically within the framework of multivariate extreme value theory. According to its definition, CoVaR can be viewed as a high quantile of the conditional distribution of one institution's (or the financial system) potential loss, where the conditioning event corresponds to having large losses in the financial system (or the given financial institution). We relate this conditional distribution to the tail dependence function between the system and the institution, then use parametric modelling of the tail dependence function to address data sparsity in the joint tail regions. We prove consistency of the proposed estimator, and illustrate its performance via simulation studies and a real data example.


title: Rice Diseases Detection and Classification Using Attention Based Neural Network and Bayesian Optimization

abstract: In this research, an attention-based depthwise separable neural network with Bayesian optimization (ADSNN-BO) is proposed to detect and classify rice disease from rice leaf images. Rice diseases frequently result in 20 to 40 \% corp production loss in yield and is highly related to the global economy. Rapid disease identification is critical to plan treatment promptly and reduce the corp losses. Rice disease diagnosis is still mainly performed manually. To achieve AI assisted rapid and accurate disease detection, we proposed the ADSNN-BO model based on MobileNet structure and augmented attention mechanism. Moreover, Bayesian optimization method is applied to tune hyper-parameters of the model. Cross-validated classification experiments are conducted based on a public rice disease dataset with four categories in total. The experimental results demonstrate that our mobile compatible ADSNN-BO model achieves a test accuracy of 94.65\%, which outperforms all of the state-of-the-art models tested. To check the interpretability of our proposed model, feature analysis including activation map and filters visualization approach are also conducted. Results show that our proposed attention-based mechanism can more effectively guide the ADSNN-BO model to learn informative features. The outcome of this research will promote the implementation of artificial intelligence for fast plant disease diagnosis and control in the agricultural field.


title: Introduction to quantum non-reciprocal interactions: from non-Hermitian Hamiltonians to quantum master equations and quantum feedforward schemes

abstract: These lecture notes from the 2019 Les Houches Summer School on Quantum Information Machines provides a pedagogical introduction to the theory of non-reciprocal quantum interactions and devices. The goal is connect various approaches and concepts, including Hamiltonians encoding synthetic gauge fields, scattering descriptions, quantum master equations, and non-Hermitian Hamiltonians. The importance of having both non-trivial synthetic gauge fields and dissipation for obtaining non-reciprocal interactions is stressed. Connections to broader topics such as quantum reservoir engineering and the quantum theory of continuous-measurement based feedforward are also discussed.


title: A Gradient Mapping Guided Explainable Deep Neural Network for Extracapsular Extension Identification in 3D Head and Neck Cancer Computed Tomography Images

abstract: Diagnosis and treatment management for head and neck squamous cell carcinoma (HNSCC) is guided by routine diagnostic head and neck computed tomography (CT) scans to identify tumor and lymph node features. Extracapsular extension (ECE) is a strong predictor of patients' survival outcomes with HNSCC. It is essential to detect the occurrence of ECE as it changes staging and management for the patients. Current clinical ECE detection relies on visual identification and pathologic confirmation conducted by radiologists. Machine learning (ML)-based ECE diagnosis has shown high potential in the recent years. However, manual annotation of lymph node region is a required data preprocessing step in most of the current ML-based ECE diagnosis studies. In addition, this manual annotation process is time-consuming, labor-intensive, and error-prone. Therefore, in this paper, we propose a Gradient Mapping Guided Explainable Network (GMGENet) framework to perform ECE identification automatically without requiring annotated lymph node region information. The gradient-weighted class activation mapping (Grad-CAM) technique is proposed to guide the deep learning algorithm to focus on the regions that are highly related to ECE. Informative volumes of interest (VOIs) are extracted without labeled lymph node region information. In evaluation, the proposed method is well-trained and tested using cross validation, achieving test accuracy and AUC of 90.2% and 91.1%, respectively. The presence or absence of ECE has been analyzed and correlated with gold standard histopathological findings.


title: The Inexact Cyclic Block Proximal Gradient Method and Properties of Inexact Proximal Maps

abstract: This paper expands the Cyclic Block Proximal Gradient method for block separable composite minimization by allowing for inexactly computed gradients and proximal maps. The resultant algorithm, the Inexact Cyclic Block Proximal Gradient (I-CBPG) method, shares the same convergence rate as its exactly computed analogue provided the allowable errors decrease sufficiently quickly or are pre-selected to be sufficiently small. We provide numerical experiments that showcase the practical computational advantage of I-CBPG for certain fixed tolerances of approximation error and for a dynamically decreasing error tolerance regime in particular. We establish a tight relationship between inexact proximal map evaluations and $\delta$-subgradients in our $\delta$-Second Prox Theorem. This theorem forms the foundation of our convergence analysis and enables us to show that inexact gradient computations and other notions of inexact proximal map computation can be subsumed within a single unifying framework.


title: Balancing permuted copies of multigraphs and integer matrices

abstract: Given a square matrix $A$ over the integers, we consider the $\mathbb{Z}$-module $M_A$ generated by the set of all matrices that are permutation-similar to $A$. Motivated by analogous problems on signed graph decompositions and block designs, we are interested in the completely symmetric matrices $a I + b J$ belonging to $M_A$. We give a relatively fast method to compute a generator for such matrices, avoiding the need for a very large canonical form over $\mathbb{Z}$. We consider several special cases in detail. In particular, the problem for symmetric matrices answers a question of Cameron and Cioab\v{a} on determining the eventual period for integers $\lambda$ such that the $\lambda$-fold complete graph $\lambda K_n$ has an edge-decomposition into a given (multi)graph.


title: PeleLM-FDF Large Eddy Simulator of Turbulent Combustion

abstract: A new computational methodology, termed "PeleLM-FDF" is developed and utilized for high fidelity large eddy simulation (LES) of complex turbulent combustion systems. This methodology is constructed via a hybrid scheme combining the Eulerian PeleLM base flow solver with the Lagrangian Monte Carlo simulator of the filtered density function (FDF) for the subgrid scale reactive scalars. The resulting methodology is capable of simulating some of the most intricate physics of complex turbulence-combustion interactions. This is demonstrated by LES of a non-premixed CO/H$_2$ temporally evolving jet flame. The chemistry is modelled via a skeletal kinetics model, and the results are appraised via detail a posteriori comparisons against direct numerical simulation (DNS) data of the same flame. Excellent agreements are observed for the time evolution of various statistics of the thermo-chemical quantities, including the manifolds of the multi-scalar mixing. The new methodology is capable of capturing the complex phenomena of flame-extinction and re-ignition at a 1/512 of the computational cost of the DNS. The high fidelity and the computational affordability of the new PeleLM-FDF solver warrants its consideration for LES of practical turbulent combustion systems.


title: Topological Hecke eigenforms

abstract: We study the eigenforms of the action of A. Baker's Hecke operators on the holomorphic elliptic homology of various topological spaces. We prove a multiplicity one theorem (i.e., one-dimensionality of the space of these "topological Hecke eigenforms" for any given eigencharacter) for some classes of topological spaces, and we give examples of finite CW-complexes for which multiplicity one fails. We also develop some abstract "derived eigentheory" whose motivating examples arise from the failure of classical Hecke operators to commute with multiplication by various Eisenstein series. Part of this "derived eigentheory" is an identification of certain derived Hecke eigenforms as the obstructions to extending topological Hecke eigenforms from the top cell of a CW-complex to the rest of the CW-complex. Using these obstruction classes together with our multiplicity one theorem, we calculate the topological Hecke eigenforms explicitly, in terms of pairs of classical modular forms, on all 2-cell CW complexes obtained by coning off an element in $\pi_n(S^m)$ which stably has Adams-Novikov filtration 1.


title: A Survey on DNS Encryption: Current Development, Malware Misuse, and Inference Techniques

abstract: The domain name system (DNS) that maps alphabetic names to numeric Internet Protocol (IP) addresses plays a foundational role for Internet communications. By default, DNS queries and responses are exchanged in unencrypted plaintext, and hence, can be read and/or hijacked by third parties. To protect user privacy, the networking community has proposed standard encryption technologies such as DNS over TLS (DoT), DNS over HTTPS (DoH), and DNS over QUIC (DoQ) for DNS communications, enabling clients to perform secure and private domain name lookups. We survey the DNS encryption literature published since 2016, focusing on its current landscape and how it is misused by malware, and highlighting the existing techniques developed to make inferences from encrypted DNS traffic. First, we provide an overview of various standards developed in the space of DNS encryption and their adoption status, performance, benefits, and security issues. Second, we highlight ways that various malware families can exploit DNS encryption to their advantage for botnet communications and/or data exfiltration. Third, we discuss existing inference methods for profiling normal patterns and/or detecting malicious encrypted DNS traffic. Several directions are presented to motivate future research in enhancing the performance and security of DNS encryption.


title: Nonlocal Pseudopotential Energy Density Functional for Orbital-Free Density Functional Theory

abstract: Orbital-free density functional theory (OF-DFT) runs at low computational cost that scales linearly with the number of simulated atoms, making it suitable for large-scale material simulations. It is generally considered that OF-DFT strictly requires the use of local pseudopotentials, rather than orbital-dependent nonlocal pseudopotentials, for the calculation of electron-ion interaction energies, as no orbitals are available. This is unfortunate situation since the nonlocal pseudopotentials are known to give much better transferability and calculation accuracy than local ones. We report here the development of a theoretical scheme that allows the direct use of nonlocal pseudopotentials in OF-DFT. In this scheme, a nonlocal pseudopotential energy density functional is derived by the projection of nonlocal pseudopotential onto the non-interacting density matrix (instead of 'orbitals') that can be approximated explicitly as a functional of electron density. Our development defies the belief that nonlocal pseudopotentials are not applicable to OF-DFT, leading to the creation of an alternate theoretical framework of OF-DFT that works superior to the traditional one.


title: Abundance Discrepancy Factors in high density planetary nebulae

abstract: From high-resolution spectra, chemical abundances from collisionally excited lines (CELs) and optical recombination lines (ORLs) have been determined for planetary nebulae Cn 3-1, Vy 2-2, Hu 2-1, Vy 1-2 and IC 4997, which are young and dense objects. The main aim of this work is to derive their O$^{+2}$/H$^{+}$ Abundance Discrepancy Factors, ADFs, between CELs and ORLs. He, O, N, Ne, Ar, S, and Cl abundances were obtained and our values are in agreement with those previously reported. We found that Cn 3-1, Hu 2-1, and Vy 1-2 have O abundances typical of disc PNe, while Vy 2-2 and IC 4997 are low O abundance objects ($\rm{12+log(O/H) \sim 8.2}$), which can be attributed to possible O depletion into dust grains. ADFs(O$^{+2}$) of $4.30^{+1.00}_{-1.16}$, $1.85 \pm 1.05$, $5.34^{+1.27}_{-1.08}$ and $4.87^{+4.34}_{-2.71}$ were determined for Vy 2-2, Hu 2-1, Vy 1-2 and IC 4997, respectively. The kinematics of CELs and ORLs was analysed for each case to study the possibility that different coexisting plasmas in the nebula emit them. Expansion velocities of [O III] and O II are equal within uncertainties in three PNe, providing no evidence for these lines being emitted in different zones. Exception are Hu 2-1 and Vy 2-2, where ORLs might be emitted in different zones than CELs. For Vy 2-2 and IC 4997 we found that nebular and auroral lines of the same ion (S$^+$, N$^{+}$, Ar$^{+2}$, Ar$^{+3}$, O$^{+2}$) might present different expansion velocities. Auroral lines show lower $\rm{V_{exp}}$ which might indicate that they are emitted in a denser and inner zone than the nebular ones.


title: Comments on Summing over Bordisms in TQFT

abstract: Recent works in quantum gravity, motivated by the factorization problem and baby universes, have considered sums over bordisms with fixed boundaries in topological quantum field theory (TQFT). We discuss this construction and observe a curious splitting formula for the total amplitude.


title: Deep neural networks for smooth approximation of physics with higher order and continuity B-spline base functions

abstract: This paper deals with the following important research question. Traditionally, the neural network employs non-linear activation functions concatenated with linear operators to approximate a given physical phenomenon. They "fill the space" with the concatenations of the activation functions and linear operators and adjust their coefficients to approximate the physical phenomena. We claim that it is better to "fill the space" with linear combinations of smooth higher-order B-splines base functions as employed by isogeometric analysis and utilize the neural networks to adjust the coefficients of linear combinations. In other words, the possibilities of using neural networks for approximating the B-spline base functions' coefficients and by approximating the solution directly are evaluated. Solving differential equations with neural networks has been proposed by Maziar Raissi et al. in 2017 by introducing Physics-informed Neural Networks (PINN), which naturally encode underlying physical laws as prior information. Approximation of coefficients using a function as an input leverages the well-known capability of neural networks being universal function approximators. In essence, in the PINN approach the network approximates the value of the given field at a given point. We present an alternative approach, where the physcial quantity is approximated as a linear combination of smooth B-spline basis functions, and the neural network approximates the coefficients of B-splines. This research compares results from the DNN approximating the coefficients of the linear combination of B-spline basis functions, with the DNN approximating the solution directly. We show that our approach is cheaper and more accurate when approximating smooth physical fields.


title: Charge and Spin Supercurrents in Magnetic Josephson Junctions with Spin Filters and Domain Walls

abstract: We analyze theoretically the influence of domain walls (DWs) on the DC Josephson current in magnetic superconducting S$_{m}$/Fl/F/Fl/S$_{m}$ junctions. The Josephson junction consists of two "magnetic" superconductors S$_{m}$ (superconducting film covered by a thin ferromagnetic layer), spin filters Fl and a ferromagnetic layer F with or without DW (DWs). The spin filters Fl allow electrons to pass with one specific spin orientation, such that the Josephson coupling is governed by a fully polarized long-range triplet component. In the absence of DW(s), the Josephson and spin currents are nonzero when the right and left filters, Fl$_{r,l}$, pass electrons with equal spin orientation and differ only by a temperature-independent factor. They become zero when the \textbf{spins} of the triplet Cooper pairs passing through the Fl$_{r,l}$ have opposite directions. Furthermore, for the different chiralities of the injected triplet Cooper pairs the spontaneous currents arise in the junction yielding a diode effect. Once a DW is introduced, it reduces the critical Josephson current $I_{c}$ in the case of equal spin polarization and makes it finite in the case of opposite spin orientation. The critical current $I_{c}$ is maximal when the DW is in the center of the F film. A deviation of the DW from the center generates a force that pushes the DW to the center of the F film. In addition, we consider the case of an arbitrary number $N$ of DW's, with the case $N=2$ corresponding to a model system for a magnetic skyrmion.

categories: cond-mat.supr-con cond-mat.dis-nn cond-mat.mes-hall cond-mat.str-el


title: On the concentration of the chromatic number of random graphs

abstract: Shamir and Spencer proved in the 1980s that the chromatic number of the binomial random graph G(n,p) is concentrated in an interval of length at most \omega\sqrt{n}, and in the 1990s Alon showed that an interval of length \omega\sqrt{n}/\log n suffices for constant edge-probabilities p \in (0,1). We prove a similar logarithmic improvement of the Shamir-Spencer concentration results for the sparse case p=p(n) \to 0, and uncover a surprising concentration `jump' of the chromatic number in the very dense case p=p(n) \to 1.


title: The relational ontology of contemporary physics

abstract: Quantum theory can be understood as pointing to an ontology of relations. I observe that this reading of quantum mechanics is supported by the ubiquity of relationality in contemporary fundamental physics, including in classical mechanics, gauge theories, general relativity, quantum field theory, and the tentative theories of quantum gravity.


title: The role of monolayer viscosity in Langmuir film hole closure dynamics

abstract: We re-examine the model proposed by Alexander et al. (2006) for the closing of a circular hole in a molecularly thin incompressible Langmuir film situated on a Stokesian subfluid. For simplicity their model assumes that the surface phase is inviscid which leads to the result that the cavity area decreases at a constant rate determined by the ratio of edge tension to subfluid viscosity. We reformulate the problem, allowing for a regularizing monolayer viscosity. The viscosity-dependent corrections to the hole dynamics are analyzed and found to be nontrivial, even when the monolayer viscosity is small; these corrections may explain the departure of experimental data from the theoretical prediction when the hole radius becomes comparable to the Saffman-Delbruck length. Through fitting, we find the edge tension could be as much as eight times larger (~5.5 pN) than previously reported under these relaxed assumptions.


title: Global Gradient Estimates for Dirichlet Problems of Elliptic Operators with a BMO Anti-Symmetric Part

abstract: Let $n\ge2$ and $\Omega\subset\mathbb{R}^n$ be a bounded NTA domain. In this article, the authors investigate (weighted) global gradient estimates for Dirichlet boundary value problems of second order elliptic equations of divergence form with an elliptic symmetric part and a BMO anti-symmetric part in $\Omega$. More precisely, for any given $p\in(2,\infty)$, the authors prove that a weak reverse H\"older inequality with exponent $p$ implies the global $W^{1,p}$ estimate and the global weighted $W^{1,q}$ estimate, with $q\in[2,p]$ and some Muckenhoupt weights, of solutions to Dirichlet boundary value problems. As applications, the authors establish some global gradient estimates for solutions to Dirichlet boundary value problems of second order elliptic equations of divergence form with small $\mathrm{BMO}$ symmetric part and small $\mathrm{BMO}$ anti-symmetric part, respectively, on bounded Lipschitz domains, quasi-convex domains, Reifenberg flat domains, $C^1$ domains, or (semi-)convex domains, in weighted Lebesgue spaces. Furthermore, as further applications, the authors obtain the global gradient estimate, respectively, in (weighted) Lorentz spaces, (Lorentz--)Morrey spaces, (Musielak--)Orlicz spaces, and variable Lebesgue spaces. Even on global gradient estimates in Lebesgue spaces, the results obtained in this article improve the known results via weakening the assumption on the coefficient matrix.


title: Energy-based Proportional Fairness in Cooperative Edge Computing

abstract: By executing offloaded tasks from mobile users, edge computing augments mobile user equipments (UEs) with computing/communications resources from edge nodes (ENs), enabling new services (e.g., real-time gaming). However, despite being more resourceful than UEs, allocating ENs' resources to a given favorable set of users (e.g., closer to ENs) may block other UEs from their services. This is often the case for most existing approaches that only aim to maximize the network social welfare or minimize the total energy consumption but do not consider the computing/battery status of each UE. This work develops an energy-based proportional-fair framework to serve all users with multiple tasks while considering both their service requirements and energy/battery levels in a multi-layer edge network. The resulting problem for offloading tasks and allocating resources toward the tasks is a Mixed-Integer Nonlinear Programming, which is NP-hard. To tackle it, we leverage the fact that the relaxed problem is convex and propose a distributed algorithm, namely the dynamic branch-and-bound Benders decomposition (DBBD). DBBD decomposes the original problem into a master problem (MP) for the offloading decisions and multiple subproblems (SPs) for resource allocation. To quickly eliminate inefficient offloading solutions, MP is integrated with powerful Benders cuts exploiting the ENs' resource constraints. We then develop a dynamic branch-and-bound algorithm (DBB) to efficiently solve MP considering the load balance among ENs. SPs can either be solved for their closed-form solutions or be solved in parallel at ENs, thus reducing the complexity. The numerical results show that DBBD returns the optimal solution in maximizing the proportional fairness among UEs. DBBD has higher fairness indexes, i.e., Jain's index and min-max ratio, in comparison with the existing ones that minimize the total consumed energy.


title: Structure and scaling laws of liquid/vapor interfaces close to the critical point

abstract: To reach a deeper understanding of fluid interfaces it is necessary to identify a meaningful coarse-graining length that separates intrinsic fluctuations from capillary ones, given the lack of a proper statistical mechanical definition of the latter. Here, with the help of unsupervised learning techniques, we introduce a new length scale based on the local density of the fluid. This length scale follows a scaling law that diverges more mildly than the bulk correlation length upon approaching the critical point. This allows to distinguish regimes of correlated and uncorrelated capillary waves from that of intrinsic fluctuations.


title: An Adversarial Benchmark for Fake News Detection Models

abstract: With the proliferation of online misinformation, fake news detection has gained importance in the artificial intelligence community. In this paper, we propose an adversarial benchmark that tests the ability of fake news detectors to reason about real-world facts. We formulate adversarial attacks that target three aspects of "understanding": compositional semantics, lexical relations, and sensitivity to modifiers. We test our benchmark using BERT classifiers fine-tuned on the LIAR arXiv:arch-ive/1705648 and Kaggle Fake-News datasets, and show that both models fail to respond to changes in compositional and lexical meaning. Our results strengthen the need for such models to be used in conjunction with other fact checking methods.


title: Proof complexity of CSP

abstract: The CSP (constraint satisfaction problems) is a class of problems deciding whether there exists a homomorphism from an instance relational structure to a target one. The CSP dichotomy is a profound result recently proved by Zhuk (2020, J. ACM, 67) and Bulatov (2017, FOCS, 58). It establishes that for any fixed target structure, CSP is either NP-complete or $p$-time solvable. Zhuk's algorithm solves CSP in polynomial time for constraint languages having a weak near-unanimity polymorphism. For negative instances of $p$-time CSPs, it is reasonable to explore their proof complexity. We show that the soundness of Zhuk's algorithm can be proved in a theory of bounded arithmetic, namely in the theory $V^1$ augmented by three special universal algebra axioms. This implies that any propositional proof system that simulates both Extended Resolution and a theory that proves the three axioms admits $p$-size proofs of all negative instances of a fixed $p$-time CSP.


title: Continuous-time Markowitz's mean-variance model under different borrowing and saving rates

abstract: We study Markowitz's mean-variance portfolio selection problem in a continuous-time Black-Scholes market with different borrowing and saving rates. The associated Hamilton-Jacobi-Bellman equation is fully nonlinear. Using a delicate partial differential equation and verification argument, the value function is proven to be $C^{3,2}$ smooth. It is also shown that there are a borrowing boundary and a saving barrier which divide the entire trading area into a borrowing-money region, an all-in-stock region, and a saving-money region in ascending order. The optimal trading strategy is a mixture of continuous-time strategy (as suggested by most continuous-time models) and discontinuous-time strategy (as suggested by models with transaction costs): one should put all her wealth in the stock in the middle all-in-stock region, and continuously trade it in the other two regions in a feedback form of wealth and time. It is never optimal to short sale the stock. Numerical examples are also presented to verify the theoretical results and to give more financial insights beyond them.


title: Higher order derivatives extension of Maxwell-Chern-Simons electrodynamics in the presence of field sources and material boundaries

abstract: In this paper we consider some new classical effects obtained for a planar electrodynamics with the presence of a higher order derivatives term. The model can be interpreted as a kind of extension for the $3d$ Maxwell-Chern-Simons electrodynamics with higher order derivatives. We consider setups with stationary field sources describing point-like charges and Dirac points. We also investigate this model with the presence of a conducting line (in $3d$ dimensions, it is the equivalent of a conducting plate in $4d$ dimensions). In this case we calculate the propagator for the gauge field and the interaction force between the conducting line and a point-like charge, as well as the force between the conducting line and a Dirac point, the source for vortex field solutions. It is shown that the image method is not valid in any case. We also compare the obtained results along the paper with the corresponding ones obtained with the standard Maxwell-Chern-Simons electrodynamics [1].


title: Large sample correlation matrices: a comparison theorem and its applications

abstract: In this paper, we show that the diagonal of a high-dimensional sample covariance matrix stemming from $n$ independent observations of a $p$-dimensional time series with finite fourth moments can be approximated in spectral norm by the diagonal of the population covariance matrix. We assume that $n,p\to \infty$ with $p/n$ tending to a constant which might be positive or zero. As applications, we provide an approximation of the sample correlation matrix ${\mathbf R}$ and derive a variety of results for its eigenvalues. We identify the limiting spectral distribution of ${\mathbf R}$ and construct an estimator for the population correlation matrix and its eigenvalues. Finally, the almost sure limits of the extreme eigenvalues of ${\mathbf R}$ in a generalized spiked correlation model are analyzed.


title: Classification of solutions to several semi-linear polyharmonic equations and fractional equations

abstract: We are concerned with the following semi-linear polyharmonic equation with integral constraint \begin{align} \left\{\begin{array}{rl} &(-\Delta)^pu=u^\gamma_+ ~~ \mbox{ in }{\mathbb{R}^n},\\ \nonumber &\int_{\mathbb{R}^n}u_+^{\gamma}dx<+\infty, \end{array}\right. \end{align} where $n>2p$, $p\geq2$ and $p\in\mathbb{Z}$. We obtain for $\gamma\in(1,\frac{n}{n-2p})$ that any nonconstant solution satisfying certain growth at infinity is radial symmetric about some point in $\mathbb{R}^{n}$ and monotone decreasing in the radial direction. In the case $p=2$, the same results are established for more general exponent $\gamma\in(1,\frac{n+4}{n-4})$. For the following fractional equation with integral constraint \begin{equation*} \left\{\begin{array}{rl} &(-\Delta)^sv=v^\gamma_+ ~~ \mbox{ in }{\mathbb{R}^n},~~~~\\ &\int_{\mathbb{R}^n}v_+^{\frac{n(\gamma-1)}{2s}}dx<+\infty,~~~~~ \end{array}\right. \end{equation*} where $s\in(0,1)$, $\gamma \in (1, \frac{n+2s}{n-2s})$ and $n\geq 2$, we also complete the classification of solutions with certain growth at infinity. In addition, observe that the assumptions of the maximum principle named decay at infinity in \cite{chen} can be weakened slightly. Based on this observation, we classify all positive solutions of two semi-linear fractional equations without integral constraint.


title: The Breakthrough Listen Search for Intelligent Life: Technosignature Search of Transiting TESS Targets of Interest

abstract: The Breakthrough Listen Initiative, as part of its larger mission, is performing the most thorough technosignature search of nearby stars. Additionally, Breakthrough Listen is collaborating with scientists working on NASAs Transiting Exoplanet Survey Satellite (TESS), to examine TESS Targets of Interest (TOIs) for technosignatures. Here, we present a $1-11$ $\textrm{GHz}$ radio technosignature search of $61$ TESS TOIs that were in transit during their Breakthrough Listen observation at the Robert C. Byrd Green Bank Telescope. We performed a narrowband Doppler drift search with a minimum S/N threshold of $10$, across a drift rate range of $\pm 4$ $\textrm{Hz}$ $\textrm{s}$ $^{-1}$, with a resolution of $3$ $\textrm{Hz}$. We removed radio frequency interference by comparing signals across cadences of target sources. After interference removal, there are no remaining events in our survey, and therefore no technosignature signals-of-interest detected in this work. This null result implies that at L, S, C, and X bands, fewer than $52\textrm{%}$, $20\textrm{%}$, $16\textrm{%}$, and $15\textrm{%}$, respectively, of TESS TOIs possess a transmitter with an equivalent isotropic radiated power greater than a few times $10^{14}$ $\textrm{W}$.


title: Parity Property of Hexagonal Sliding Puzzles

abstract: We study the puzzle graphs of hexagonal sliding puzzles of various shapes and with various numbers of holes. The puzzle graph is a combinatorial model which captures the solvability and the complexity of sequential mechanical puzzles. Questions relating to the puzzle graph have been previously studied and resolved for the 15 Puzzle which is the most famous, and unsolvable, square sliding puzzle of all time. It is known that for square puzzles such as the 15 Puzzle, solvability depends on a parity property that splits the puzzle graph into two components. In the case of hexagonal sliding puzzles, we get more interesting parity properties that depend on the shape of the boards and on the missing tiles or holes on the board. We show that for large-enough hexagonal, triangular, or parallelogram-shaped boards with hexagonal tiles, all puzzles with three or more holes are solvable. For puzzles with two or more holes, we give a solvability criterion involving both a parity property and the placement of tiles in tight corners of the board. The puzzle graph is a discrete model for the configuration space of hard tiles (hexagons or squares) moving on different tessellation-based domains. Understanding the combinatorics of the puzzle graph could lead to understanding some aspects of the topology of these configuration spaces.


title: Energy stability of variable-step L1-type schemes for time-fractional Cahn-Hilliard model

abstract: The positive definiteness of discrete time-fractional derivatives is fundamental to the numerical stability (in the energy sense) for time-fractional phase-field models. A novel technique is proposed to estimate the minimum eigenvalue of discrete convolution kernels generated by the nonuniform L1, half-grid based L1 and time-averaged L1 formulas of the fractional Caputo's derivative. The main discrete tools are the discrete orthogonal convolution kernels and discrete complementary convolution kernels. Certain variational energy dissipation laws at discrete levels of the variable-step L1-type methods are then established for time-fractional Cahn-Hilliard model.They are shown to be asymptotically compatible, in the fractional order limit $\alpha\rightarrow1$, with the associated energy dissipation law for the classical Cahn-Hilliard equation. Numerical examples together with an adaptive time-stepping procedure are provided to demonstrate the effectiveness of the proposed methods.


title: Neurons as hierarchies of quantum reference frames

abstract: Conceptual and mathematical models of neurons have lagged behind empirical understanding for decades. Here we extend previous work in modeling biological systems with fully scale-independent quantum information-theoretic tools to develop a uniform, scalable representation of synapses, dendritic and axonal processes, neurons, and local networks of neurons. In this representation, hierarchies of quantum reference frames act as hierarchical active-inference systems. The resulting model enables specific predictions of correlations between synaptic activity, dendritic remodeling, and trophic reward. We summarize how the model may be generalized to nonneural cells and tissues in developmental and regenerative contexts.


title: Benchmarking of different strategies to include anisotropy in a curvature-driven multi-phase-field model

abstract: Two benchmark problems for quantitative assessment of anisotropic curvature driving force in phase field method were developed and introduced. Both benchmarks contained an anisotropically shrinking grain in homogeneous matrix. The first benchmark was a shrinking Wulff shape and in the second, such inclination dependence of the kinetic coefficient was added so that the shrinkage was isotropic. In both cases the match to the expected shape was quantified by means of Hausdorff distance and the shrinkage rate was analytically expressed. Three different ways of interface energy anisotropy inclusion in a multi-phase field model were compared. Because their performance was comparable, they were tested in an additional benchmark problem, which concerned direct measurement of equilibrium triple junction angles. Based on this benchmark, only one of the three strategies to include anisotropy was reliable in strongly anisotropic systems.


title: Robust Private Supply of a Public Good

abstract: We study the mechanism design problem of selling a public good to a group of agents by a principal in the correlated private value environment. We assume the principal only knows the expectations of the agents' values, but does not know the joint distribution of the values. The principal evaluates a mechanism by the worst-case expected revenue over joint distributions that are consistent with the known expectations. We characterize maxmin public good mechanisms among dominant-strategy incentive compatible and ex-post individually rational mechanisms for the two-agent case and for a special $N$-agent ($N>2$) case.


title: Novel solitary and periodic waves in quadratic-cubic non-centrosymmetric waveguides

abstract: We present a wide class of novel solitary and periodic waves in a non-centrosymmetric waveguide exhibiting second- and third-order nonlinearities. We show the existence of bright, gray, and W-shaped solitary waves as well as periodic waves for extended nonlinear Schr\"{o}dinger equation with quadratic and cubic nonlinearities. We also obtained the exact analytical algebraic-type solitary waves of the governing equation, including bright and W-shaped waves. The results illustrate the propagation of potentially rich set of nonlinear structures through the optical waveguiding media. Such privileged waveforms characteristically exist due to a balance among diffraction, quadratic and cubic nonlinearities.


title: Reevaluation of the cosmic antideuteron flux from cosmic-ray interactions and from exotic sources

abstract: Cosmic-ray antideuterons could be a key for the discovery of exotic phenomena in our Galaxy, such as dark-matter annihilations or primordial black hole evaporation. Unfortunately the theoretical predictions of the antideuteron flux at Earth are plagued with uncertainties from the mechanism of antideuteron production and propagation in the Galaxy. We present the most up-to-date calculation of the antideuteron fluxes from cosmic-ray collisions with the interstellar medium and from exotic processes. We include for the first time the antideuteron inelastic interaction cross section recently measured by the ALICE collaboration to account for the loss of antideuterons during propagation. In order to bracket the uncertainty in the expected fluxes, we consider several state-of-the-art models of antideuteron production and of cosmic-ray propagation.


title: Magnetoelectric boundary simulated by a Chern-Simons-like model

abstract: In this work we study some physical phenomena that emerge in the vicinity of a magnetoelectric boundary. For simplicity, we restrict to the case of a planar boundary described by a coupling between the gauge field with a planar external Chern-Simons-like potential. The results are obtained exactly. We compute the correction undergone by the photon propagator due to the presence of the Chern-Simons coupling and we investigate the interaction between a stationary point-like charge and the magnetoelectric boundary. In the limit of a perfect mirror, where the coupling constant between the field and the potential diverges, we recover the image method. For a non perfect mirror, we show that we have an attenuated image charge and, in addition, an image magnetic monopole whose field strength does not exhibit the presence of the undesirable and artificial divergences introduced by Dirac strings. We also study the interaction between the plate and a quantum particle with spin. In this case we have a kind of charge-magnetic dipole interaction due to the magnetoelectric properties of the plate.


title: Classifying Autism from Crowdsourced Semi-Structured Speech Recordings: A Machine Learning Approach

abstract: Autism spectrum disorder (ASD) is a neurodevelopmental disorder which results in altered behavior, social development, and communication patterns. In past years, autism prevalence has tripled, with 1 in 54 children now affected. Given that traditional diagnosis is a lengthy, labor-intensive process, significant attention has been given to developing systems that automatically screen for autism. Prosody abnormalities are among the clearest signs of autism, with affected children displaying speech idiosyncrasies including echolalia, monotonous intonation, atypical pitch, and irregular linguistic stress patterns. In this work, we present a suite of machine learning approaches to detect autism in self-recorded speech audio captured from autistic and neurotypical (NT) children in home environments. We consider three methods to detect autism in child speech: first, Random Forests trained on extracted audio features (including Mel-frequency cepstral coefficients); second, convolutional neural networks (CNNs) trained on spectrograms; and third, fine-tuned wav2vec 2.0--a state-of-the-art Transformer-based ASR model. We train our classifiers on our novel dataset of cellphone-recorded child speech audio curated from Stanford's Guess What? mobile game, an app designed to crowdsource videos of autistic and neurotypical children in a natural home environment. The Random Forest classifier achieves 70% accuracy, the fine-tuned wav2vec 2.0 model achieves 77% accuracy, and the CNN achieves 79% accuracy when classifying children's audio as either ASD or NT. Our models were able to predict autism status when training on a varied selection of home audio clips with inconsistent recording quality, which may be more generalizable to real world conditions. These results demonstrate that machine learning methods offer promise in detecting autism automatically from speech without specialized equipment.


title: Calculation of a K_2 group of an F_2 coefficients noncommutative group algebra

abstract: In this paper, the K_2 group of F_2 coefficients group algebra of a noncommutative group with 8 elements(dihedral group D_4 ) is calculated,which is divided into three parts:The first part is the introduction of basic knowledge related to algebra K-theory, and a method of Magurn to calculate finite field coefficients noncommutative finite group algebra in reference [2]. In the second part, operation laws of Dennis-Stein symbols is introduced, and we combined it with the fact that F_2[D_4] is a local ring to determind the direct sum term of K_2(F_2[D_4]) can only be Z_2 or Z_4. In the third part, we continue to make use of the fact that F_2[D_4] is a local ring, and proved that the group D_1(F_2[D_4]) is an abelian group closely related to the group K_2(F_2[D_4]) through operating Dennis-Stein symbols. Then, we used group homology and the Kunneth formula of the finite abelian group version to calculate all cases of H_2(D_1(F_2[D_4]),Z) , and substituted the obtained results into the long exact sequence derived from the Hochschild-Serre spectral sequence for testing, and finally constructed the result: K_2(F_2[D_4])=Z_2..


title: Designing for Robustness in Electric Grids via a General Effective Resistance Measure

abstract: We propose a mathematical framework for designing robust networks of coupled phase-oscillators by leveraging a vulnerability measure proposed by Tyloo et. al that quantifies how much a small perturbation to a phase-oscillator's natural frequency impacts the system's global synchronized frequencies. Given a fixed complex network topology with specific governing dynamics, the proposed framework finds an optimal allocation of edge weights that minimizes such vulnerability measure(s) at the node(s) for which we expect perturbations to occur by solving a tractable semidefinite programming problem. We specify the mathematical model to high voltage electric grids where each node corresponds to a voltage phase angle associated with a bus and edges correspond to transmission lines. Edge weights are determined by the susceptance values along the transmission lines. In this application, frequency synchronization is increasingly challenged by the integration of renewable energy, yet is imperative to the grid's health and functionality. Our framework helps to alleviate this challenge by optimizing the placement of renewable generation and the susceptance values along the transmission lines.


title: Doping-driven topological polaritons in graphene/{\alpha}-MoO3 heterostructures

abstract: Controlling the charge carrier density provides an efficient way to trigger phase transitions and modulate the optoelectronic properties in natural materials. This approach could be used to induce topological transitions in the optical response of photonic systems. Here, we predict a topological transition in the isofrequency dispersion contours of hybrid polaritons supported by a two-dimensional heterostructure consisting of graphene and $\alpha$-phase molybdenum trioxide ($\alpha$-MoO3). By chemically changing the doping level of graphene, we experimentally demonstrate that the contour topology of polariton isofrequency surfaces transforms from open to closed shapes as a result of doping-dependent polariton hybridization. Moreover, by changing the substrate medium for the heterostructure, the dispersion contour can be further engineered into a rather flattened shape at the topological transition, thus supporting tunable polariton canalization and providing the means to locally control the topology. We demonstrate this idea to achieve extremely subwavelength focusing by using a 1.2-$\mu$m-wide silica substrate as a negative refraction lens. Our findings open a disruptive approach toward promising on-chip applications in nanoimaging, optical sensing, and manipulation of nanoscale energy transfer.


title: Entropy constraints on effective field theory

abstract: In effective field theory, the positivity bounds of higher derivative operators are derived from analyticity, causality, and unitarity. We show that the positivity bounds on some operators of the effective field theory, e.g., dimension-eight term of a single massless scalar field, the Standard Model Effective Field Theory dimension-eight $SU(N)$ gauge bosonic operators, and higher-derivative operators in the Einstein-Maxwell theory, generated by interactions between heavy and light degrees of freedom can be derived by the non-negativity of relative entropy. For such effective field theories, we prove that the interactions increase thermodynamic entropy at a fixed charge and an extremal point of energy, which is intimately connected with the extremality relations of black holes exhibiting Weak-Gravity-Conjecture. These arguments are applicable when corrections from the interactions involving higher-derivative operators of light fields are not dominant in the effective field theories. The entropy constraint is a consequence of the Hermiticity of Hamiltonian, and any theory violating the non-negativity of entropy would not respect the second law of thermodynamics.


title: Learning Safe, Generalizable Perception-based Hybrid Control with Certificates

abstract: Many robotic tasks require high-dimensional sensors such as cameras and Lidar to navigate complex environments, but developing certifiably safe feedback controllers around these sensors remains a challenging open problem, particularly when learning is involved. Previous works have proved the safety of perception-feedback controllers by separating the perception and control subsystems and making strong assumptions on the abilities of the perception subsystem. In this work, we introduce a novel learning-enabled perception-feedback hybrid controller, where we use Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs) to show the safety and liveness of a full-stack perception-feedback controller. We use neural networks to learn a CBF and CLF for the full-stack system directly in the observation space of the robot, without the need to assume a separate perception-based state estimator. Our hybrid controller, called LOCUS (Learning-enabled Observation-feedback Control Using Switching), can safely navigate unknown environments, consistently reach its goal, and generalizes safely to environments outside of the training dataset. We demonstrate LOCUS in experiments both in simulation and in hardware, where it successfully navigates a changing environment using feedback from a Lidar sensor.