title: Deep Discourse Analysis for Generating Personalized Feedback in Intelligent Tutor Systems

abstract: We explore creating automated, personalized feedback in an intelligent tutoring system (ITS). Our goal is to pinpoint correct and incorrect concepts in student answers in order to achieve better student learning gains. Although automatic methods for providing personalized feedback exist, they do not explicitly inform students about which concepts in their answers are correct or incorrect. Our approach involves decomposing students answers using neural discourse segmentation and classification techniques. This decomposition yields a relational graph over all discourse units covered by the reference solutions and student answers. We use this inferred relational graph structure and a neural classifier to match student answers with reference solutions and generate personalized feedback. Although the process is completely automated and data-driven, the personalized feedback generated is highly contextual, domain-aware and effectively targets each student's misconceptions and knowledge gaps. We test our method in a dialogue-based ITS and demonstrate that our approach results in high-quality feedback and significantly improved student learning gains.


title: Multiwavelength observations of Fast Radio Bursts

abstract: The origin and phenomenology of the Fast Radio Burst (FRB) remains unknown despite more than a decade of efforts. Though several models have been proposed to explain the observed data, none is able to explain alone the variety of events so far recorded. The leading models consider magnetars as potential FRB sources. The recent detection of FRBs from the galactic magnetar SGR J1935+2154 seems to support them. Still, emission duration and energetic budget challenge all these models. Like for other classes of objects initially detected in a single band, it appeared clear that any solution to the FRB enigma could only come from a coordinated observational and theoretical effort in an as wide as possible energy band. In particular, the detection and localisation of optical/NIR or/and high-energy counterparts seemed an unavoidable starting point that could shed light on the FRB physics. Multiwavelength (MWL) search campaigns were conducted for several FRBs, in particular for repeaters. Here we summarize the observational and theoretical results and the perspectives in view of the several new sources accurately localised that will likely be identified by various radio facilities worldwide. We conclude that more dedicated MWL campaigns sensitive to the millisecond--minute timescale transients are needed to address the various aspects involved in the identification of FRB counterparts. Dedicated instrumentation could be one of the key points in this respect. In the optical/NIR band, fast photometry looks to be the only viable strategy. Additionally, small/medium size radiotelescopes co-pointing higher energies telescopes look a very interesting and cheap complementary observational strategy.


title: Discriminant of Tautological Bundles on Symmetric Products of Curves

abstract: We compute a formula for the discriminant of tautological bundles on symmetric powers of a complex smooth projective curve. It follows that the Bogomolov inequality does not give a new restriction to stability of these tautological bundles. It only rules out tautological bundles which are already known to have the structure sheaf as a destabilising subbundle.


title: Treatment Effect Estimation using Invariant Risk Minimization

abstract: Inferring causal individual treatment effect (ITE) from observational data is a challenging problem whose difficulty is exacerbated by the presence of treatment assignment bias. In this work, we propose a new way to estimate the ITE using the domain generalization framework of invariant risk minimization (IRM). IRM uses data from multiple domains, learns predictors that do not exploit spurious domain-dependent factors, and generalizes better to unseen domains. We propose an IRM-based ITE estimator aimed at tackling treatment assignment bias when there is little support overlap between the control group and the treatment group. We accomplish this by creating diversity: given a single dataset, we split the data into multiple domains artificially. These diverse domains are then exploited by IRM to more effectively generalize regression-based models to data regions that lack support overlap. We show gains over classical regression approaches to ITE estimation in settings when support mismatch is more pronounced.


title: A Methodology for Bi-Directional Knowledge-Based Assessment of Compliance to Continuous Application of Clinical Guidelines

abstract: Clinicians often do not sufficiently adhere to evidence-based clinical guidelines in a manner sensitive to the context of each patient. It is important to detect such deviations, typically including redundant or missing actions, even when the detection is performed retrospectively, so as to inform both the attending clinician and policy makers. Furthermore, it would be beneficial to detect such deviations in a manner proportional to the level of the deviation, and not to simply use arbitrary cut-off values. In this study, we introduce a new approach for automated guideline-based quality assessment of the care process, the bidirectional knowledge-based assessment of compliance (BiKBAC) method. Our BiKBAC methodology assesses the degree of compliance when applying clinical guidelines, with respect to multiple different aspects of the guideline (e.g., the guideline's process and outcome objectives). The assessment is performed through a highly detailed, automated quality-assessment retrospective analysis, which compares a formal representation of the guideline and of its process and outcome intentions (we use the Asbru language for that purpose) with the longitudinal electronic medical record of its continuous application over a significant time period, using both a top-down and a bottom-up approach, which we explain in detail. Partial matches of the data to the process and to the outcome objectives are resolved using fuzzy temporal logic. We also introduce the DiscovErr system, which implements the BiKBAC approach, and present its detailed architecture. The DiscovErr system was evaluated in a separate study in the type 2 diabetes management domain, by comparing its performance to a panel of three clinicians, with highly encouraging results with respect to the completeness and correctness of its comments.


title: A Few-Shot Learning Approach for Accelerated MRI via Fusion of Data-Driven and Subject-Driven Priors

abstract: Deep neural networks (DNNs) have recently found emerging use in accelerated MRI reconstruction. DNNs typically learn data-driven priors from large datasets constituting pairs of undersampled and fully-sampled acquisitions. Acquiring such large datasets, however, might be impractical. To mitigate this limitation, we propose a few-shot learning approach for accelerated MRI that merges subject-driven priors obtained via physical signal models with data-driven priors obtained from a few training samples. Demonstrations on brain MR images from the NYU fastMRI dataset indicate that the proposed approach requires just a few samples to outperform traditional parallel imaging and DNN algorithms.


title: Violating the Thermodynamic Uncertainty Relation in the Three-Level Maser

abstract: Nanoscale heat engines are subject to large fluctuations which affect their precision. The Thermodynamic Uncertainty Relation (TUR) provides a trade-off between output power, fluctuations and entropic cost. This trade-off may be overcome by systems exhibiting quantum coherence. This letter provides a study of the TUR in a prototypical quantum heat engine, the Scovil & Schulz-DuBois maser. Comparison with a classical reference system allows us to determine the effect of quantum coherence on the performance of the heat engine. We identify analytically regions where coherence suppresses fluctuations, implying a quantum advantage, as well as regions where fluctuations are enhanced by coherence. This quantum effect cannot be anticipated from the off-diagonal elements of the density matrix. Because the fluctuations are not encoded in the steady state alone, TUR violations are a consequence of coherence that goes beyond steady-state coherence. While the system violates the conventional TUR, it adheres a recent formulation of a quantum TUR. We further show that parameters where the engine operates close to the conventional limit are prevalent and TUR violations in the quantum model not uncommon.


title: Multilingual Code-Switching for Zero-Shot Cross-Lingual Intent Prediction and Slot Filling

abstract: Predicting user intent and detecting the corresponding slots from text are two key problems in Natural Language Understanding (NLU). In the context of zero-shot learning, this task is typically approached by either using representations from pre-trained multilingual transformers such as mBERT, or by machine translating the source data into the known target language and then fine-tuning. Our work focuses on a particular scenario where the target language is unknown during training. To this goal, we propose a novel method to augment the monolingual source data using multilingual code-switching via random translations to enhance a transformer's language neutrality when fine-tuning it for a downstream task. This method also helps discover novel insights on how code-switching with different language families around the world impact the performance on the target language. Experiments on the benchmark dataset of MultiATIS++ yielded an average improvement of +4.2% in accuracy for intent task and +1.8% in F1 for slot task using our method over the state-of-the-art across 8 different languages. Furthermore, we present an application of our method for crisis informatics using a new human-annotated tweet dataset of slot filling in English and Haitian Creole, collected during Haiti earthquake disaster.


title: Broadband Microwave Isolation with Adiabatic Mode Conversion in Coupled Superconducting Transmission Lines

abstract: We propose a traveling wave scheme for broadband microwave isolation using parametric mode conversion in conjunction with adiabatic phase matching technique in a pair of coupled nonlinear transmission lines. This scheme is compatible with the circuit quantum electrodynamics architecture (cQED) and provides isolation without introducing additional quantum noise. We first present the scheme in a general setting then propose an implementation with Josephson junction transmission lines. Numerical simulation shows more than 20 dB isolation over an octave bandwidth (4-8\,GHz) in a 2000 unit cell device with less than 0.05 dB insertion loss dominated by dielectric loss.


title: Massless polarized particle and Faraday rotation of light in the Schwarzschild spacetime

abstract: We present the manifestly covariant Lagrangian of a massless polarized particle, that implies all dynamic and algebraic equations as the conditions of extreme of this variational problem. The model allows for minimal interaction with a gravitational field, leading to the equations, coinciding with Maxwell equations in the geometrical optics approximation. The model allows also a wide class of non minimal interactions, which suggests an alternative way to study the electromagnetic radiation beyond the leading order of geometrical optics. As a specific example, we construct a curvature-dependent interaction in Schwarzschild spacetime, predicting the Faraday rotation of polarization plane, linearly dependent on the wave frequency. As a result, the Schwarzschild spacetime generates a kind of angular rainbow of light: waves of different frequencies, initially linearly-polarized in one direction, acquire different orientations of their polarization planes when propagate along the same ray.

categories: gr-qc hep-th math-ph math.MP physics.optics


title: Platicon microcomb generation using laser self-injection locking

abstract: The past decade has witnessed major advances in the development of microresonator-based frequency combs (microcombs) that are broadband optical frequency combs with repetition rates in the millimeter-wave to microwave domain. Integrated microcombs can be manufactured using wafer-scale process and have been applied in numerous applications. Most of these advances are based on the harnessing of dissipative Kerr solitons (DKS) in optical microresonators with anomalous group velocity dispersion (GVD). However, microcombs can also be generated with normal GVD using dissipative localized structures that are referred to as "dark pulse", "switching wave" or "platicon". Importantly, as most materials feature intrinsic normal GVD, the requirement of dispersion engineering is significantly relaxed for platicon generation. Therefore while DKS microcombs require particular designs and fabrication processes, platicon microcombs can be readily built using standard CMOS-compatible platforms such as thin-film (i.e. typically below 300 nm) Si3N4. Yet laser self-injection locking that has been recently used to create highly compact integrated DKS microcomb modules has not been demonstrated for platicons. Here we report the first fully integrated platicon microcomb operating at a microwave-K-band repetition rate. Using laser self-injection locking of a DFB laser edge-coupled to a Si3N4 microresonator, platicons are electrically initiated and stably maintained, enabling a compact microcomb module without any complex control. We further characterize the phase noise of the platicon repetition rate and the pumping laser. The observation of self-injection-locked platicons facilitates future wide adoption of microcombs as a build-in block in standard photonic integrated architectures via commercial foundry service.


title: Peak, valley and intermediate regimes in the lateral van der Waals force

abstract: We study the van der Waals (vdW) interaction between a polarizable particle and a grounded conducting corrugated surface. For sinusoidal corrugations, one knows that, under the action of the lateral vdW force, an isotropic particle is always attracted to the nearest corrugation peak, with such behavior called in the present paper as peak regime. Here, considering an anisotropic polarizable particle, and making analytical calculations valid beyond the proximity force approximation (PFA), we show that the attraction is not only toward the peaks, but, for certain particle orientations and distances from the surface, the lateral force attracts the particle to the nearest corrugation valley (valley regime), or even to an intermediate point between a peak and a valley (intermediate regime). We also show that in the configurations of transition between the peak and valley regimes the lateral vdW force vanishes, even in the presence of a corrugated surface. In addition, we find that these new regimes occur in general, for periodic and nonperiodic corrugated surfaces. Moreover, we demonstrate that similar regimes arise in the classical interaction between a neutral polarized particle and a rough surface. The description of these valley and intermediate regimes, which are out of reach of the predictions based on the PFA, may be relevant for a better understanding of the interaction between anisotropic particles and corrugated surfaces in classical and quantum physics, with experimental verifications feasible in both domains.


title: An Empirical Study of Ageing in the Cloud

abstract: We quantify, over inter-continental paths, the ageing of TCP packets, throughput and delay for different TCP congestion control algorithms containing a mix of loss-based, delay-based and hybrid congestion control algorithms. In comparing these TCP variants to ACP+, an improvement over ACP, we shed better light on the ability of ACP+ to deliver timely updates over fat pipes and long paths. ACP+ estimates the network conditions on the end-to-end path and adapts the rate of status updates to minimize age. It achieves similar average age as the best (age wise) performing TCP algorithm but at end-to-end throughputs that are two orders of magnitude smaller. We also quantify the significant improvements that ACP+ brings to age control over a shared multiaccess channel.


title: ORStereo: Occlusion-Aware Recurrent Stereo Matching for 4K-Resolution Images

abstract: Stereo reconstruction models trained on small images do not generalize well to high-resolution data. Training a model on high-resolution image size faces difficulties of data availability and is often infeasible due to limited computing resources. In this work, we present the Occlusion-aware Recurrent binocular Stereo matching (ORStereo), which deals with these issues by only training on available low disparity range stereo images. ORStereo generalizes to unseen high-resolution images with large disparity ranges by formulating the task as residual updates and refinements of an initial prediction. ORStereo is trained on images with disparity ranges limited to 256 pixels, yet it can operate 4K-resolution input with over 1000 disparities using limited GPU memory. We test the model's capability on both synthetic and real-world high-resolution images. Experimental results demonstrate that ORStereo achieves comparable performance on 4K-resolution images compared to state-of-the-art methods trained on large disparity ranges. Compared to other methods that are only trained on low-resolution images, our method is 70% more accurate on 4K-resolution images.


title: Pushing the limits of time beyond the Big Bang singularity: The branch cut universe

abstract: In this article we follow a previously developed theoretical approach, based in the tools of the singular semi-Riemannian geometry, to push the limits of time beyond the primordial spacetime singularity. By complexifying the Friedmann-Lema\^itre-Robertson-Walker (FLRW) metric and Friedmann's equations we model a branch cut universe, in which the cosmic FLRW metric scale factor is analytically continued to the complex plane, and becomes equivalent from a conceptual point of view of describing a hypothetical general metric of maximally symmetric and homogeneous superposed multiple universes.


title: Stochastic differential equation approach to understanding the population control bias in full configuration interaction quantum Monte Carlo

abstract: We investigate a systematic statistical bias found in full configuration quantum Monte Carlo (FCIQMC) that originates from controlling a walker population with a fluctuating shift parameter. This bias can become the dominant error when the sign problem is absent, e.g. in bosonic systems. FCIQMC is a powerful statistical method for obtaining information about the ground state of a sparse and abstract matrix. We show that, when the sign problem is absent, the shift estimator has the nice property of providing an upper bound for the exact ground state energy and all projected energy estimators, while a variational estimator is still an upper bound to the exact energy with substantially reduced bias. A scalar model of the general FCIQMC population dynamics leads to an exactly solvable It\^o stochastic differential equation. It provides further insights into the nature of the bias and gives accurate analytical predictions for delayed cross-covariance and auto-covariance functions of the shift energy estimator and the walker number. The model provides a toe-hold on finding a cure for the population control bias. We provide evidence for non-universal power-law scaling of the population control bias with walker number in the Bose-Hubbard model for various estimators of the ground state energy based on the shift or on projected energies. For the specific case of the non-interacting Bose-Hubbard Hamiltonian we obtain a full analytical prediction for the bias of the shift energy estimator.


title: Accelerating the timeline for climate action in California

abstract: The climate emergency increasingly threatens our communities, ecosystems, food production, health, and economy. It disproportionately impacts lower income communities, communities of color, and the elderly. Assessments since the 2018 IPCC 1.5 Celsius report show that current national and sub-national commitments and actions are insufficient. Fortunately, a suite of solutions exists now to mitigate the climate crisis if we initiate and sustain actions today. California, which has a strong set of current targets in place and is home to clean energy and high technology innovation, has fallen behind in its climate ambition compared to a number of major governments. California, a catalyst for climate action globally, can and should ramp up its leadership by aligning its climate goals with the most recent science, coordinating actions to make 2030 a point of significant accomplishment. This entails dramatically accelerating its carbon neutrality and net-negative emissions goal from 2045 to 2030, including advancing clean energy and clean transportation standards, and accelerating nature-based solutions on natural and working lands. It also means changing its current greenhouse gas reduction goals both in the percentage and the timing: cutting emissions by 80 percent (instead of 40 percent) below 1990 levels much closer to 2030 than 2050. These actions will enable California to save lives, benefit underserved and frontline communities, and save trillions of dollars. This rededication takes heed of the latest science, accelerating equitable, job-creating climate policies. While there are significant challenges to achieving these goals, California can establish policy now that will unleash innovation and channel market forces, as has happened with solar, and catalyze positive upward-scaling tipping points for accelerated global climate action.


title: Hybrid computer approach to train a machine learning system

abstract: This book chapter describes a novel approach to training machine learning systems by means of a hybrid computer setup i.e. a digital computer tightly coupled with an analog computer. As an example a reinforcement learning system is trained to balance an inverted pendulum which is simulated on an analog computer, thus demonstrating a solution to the major challenge of adequately simulating the environment for reinforcement learning.


title: Colouring polygon visibility graphs and their generalizations

abstract: Curve pseudo-visibility graphs generalize polygon and pseudo-polygon visibility graphs and form a hereditary class of graphs. We prove that every curve pseudo-visibility graph with clique number $\omega$ has chromatic number at most $3\cdot 4^{\omega-1}$. The proof is carried through in the setting of ordered graphs; we identify two conditions satisfied by every curve pseudo-visibility graph (considered as an ordered graph) and prove that they are sufficient for the claimed bound. The proof is algorithmic: both the clique number and a colouring with the claimed number of colours can be computed in polynomial time.


title: Spontaneous dimensional reduction and novel ground state degeneracy in a simple chain model

abstract: Chain molecules play a key role in the polymer field and in living cells. Our focus is on a new homopolymer model of a linear chain molecule subject to an attractive self-interaction promoting compactness. We analyze the model using simple analytic arguments complemented by extensive computer simulations. We find several striking results: there is a first order transition from a high temperature random coil phase to a highly unusual low temperature phase; the modular ground states exhibit significant degeneracy; the ground state structures exhibit spontaneous dimensional reduction and have a two-layer structure; and the ground states are assembled from secondary motifs of helices and strands connected by tight loops. We discuss the similarities and notable differences between the ground state structures (we call these PoSSuM -- Planar Structures with Secondary Motifs) in the novel phase and protein native state structures.


title: CACTUS: Detecting and Resolving Conflicts in Objective Functions

abstract: Machine learning (ML) models are constructed by expert ML practitioners using various coding languages, in which they tune and select models hyperparameters and learning algorithms for a given problem domain. They also carefully design an objective function or loss function (often with multiple objectives) that captures the desired output for a given ML task such as classification, regression, etc. In multi-objective optimization, conflicting objectives and constraints is a major area of concern. In such problems, several competing objectives are seen for which no single optimal solution is found that satisfies all desired objectives simultaneously. In the past VA systems have allowed users to interactively construct objective functions for a classifier. In this paper, we extend this line of work by prototyping a technique to visualize multi-objective objective functions either defined in a Jupyter notebook or defined using an interactive visual interface to help users to: (1) perceive and interpret complex mathematical terms in it and (2) detect and resolve conflicting objectives. Visualization of the objective function enlightens potentially conflicting objectives that obstructs selecting correct solution(s) for the desired ML task or goal. We also present an enumeration of potential conflicts in objective specification in multi-objective objective functions for classifier selection. Furthermore, we demonstrate our approach in a VA system that helps users in specifying meaningful objective functions to a classifier by detecting and resolving conflicting objectives and constraints. Through a within-subject quantitative and qualitative user study, we present results showing that our technique helps users interactively specify meaningful objective functions by resolving potential conflicts for a classification task.


title: The VLA Frontier Fields Survey: Deep, High-resolution Radio Imaging of the MACS Lensing Clusters at 3 and 6 GHz

abstract: The Frontier Fields project is an observational campaign targeting six galaxy clusters, with the intention of using the magnification provided by gravitational lensing to study galaxies that are extremely faint or distant. We used the Karl G. Jansky Very Large Array (VLA) at 3 and 6 GHz to observe three Frontier Fields: MACSJ0416.1$-$2403 ($z$ = 0.396), MACSJ0717.5+3745 ($z$ = 0.545), and MACSJ1149.5+2223 ($z$ = 0.543). The images reach noise levels of $\sim$1 $\mu$Jy beam$^{-1}$ with sub-arcsecond resolution ($\sim$2.5 kpc at $z$ = 3), providing a high-resolution view of high-$z$ star-forming galaxies that is unbiased by dust obscuration. We generate dual-frequency continuum images at two different resolutions per band, per cluster, and derive catalogs totalling 1966 compact radio sources. Components within the areas of Hubble Space Telescope and Subaru observations are cross-matched, providing host galaxy identifications for 1296 of them. We detect 13 moderately-lensed (2.1 $<$ $\mu$ $<$ 6.5) sources, one of which has a demagnified peak brightness of 0.9 $\mu$Jy beam$^{-1}$, making it a candidate for the faintest radio source ever detected. There are 66 radio sources exhibiting complex morphologies, and 58 of these have host galaxy identifications. We reveal that MACSJ1149.5+2223 is not a cluster with a double relic, as the western candidate relic is resolved as a double-lobed radio galaxy associated with a foreground elliptical at $z$ = 0.24. The VLA Frontier Fields project is a public legacy survey. The image and catalog products from this work are freely available.


title: The VLA Frontier Field Survey: A Comparison of the Radio and UV/optical size of $0.3 \lesssim z \lesssim 3$ star-forming galaxies

abstract: To investigate the growth history of galaxies, we measure the rest-frame radio, ultraviolet (UV), and optical sizes of 98 radio-selected, star-forming galaxies (SFGs) distributed over $0.3 \lesssim z \lesssim 3$ and median stellar mass of $\log(M_\star/ \rm M_\odot)\approx10.4$. We compare the size of galaxy stellar disks, traced by rest-frame optical emission, relative to the overall extent of star formation activity that is traced by radio continuum emission. Galaxies in our sample are identified in three Hubble Frontier Fields: MACSJ0416.1$-$2403, MACSJ0717.5+3745, and MACSJ1149.5+2223. Radio continuum sizes are derived from 3 GHz and 6 GHz radio images ($\lesssim 0$''$.6$ resolution, $\approx0.9\, \rm \mu Jy\, beam^{-1}$ noise level) from the Karl G. Jansky Very Large Array. Rest-frame UV and optical sizes are derived using observations from the Hubble Space Telescope and the ACS and WFC3 instruments. We find no clear dependence between the 3 GHz radio size and stellar mass of SFGs, which contrasts with the positive correlation between the UV/optical size and stellar mass of galaxies. Focusing on SFGs with $\log(M_\star/\rm M_\odot)>10$, we find that the radio/UV/optical emission tends to be more compact in galaxies with high star-formation rates ($\rm SFR\gtrsim 100\,M_\odot\,yr^{-1}$), suggesting that a central, compact starburst (and/or an Active Galactic Nucleus) resides in the most luminous galaxies of our sample. We also find that the physical radio/UV/optical size of radio-selected SFGs with $\log(M_\star/\rm M_\odot)>10$ increases by a factor of $1.5-2$ from $z\approx 3$ to $z\approx0.3$, yet the radio emission remains two-to-three times more compact than that from the UV/optical. These findings indicate that these massive, {radio-selected} SFGs at $0.3 \lesssim z \lesssim 3$ tend to harbor centrally enhanced star formation activity relative to their outer-disks.


title: Supervised Learning in the Presence of Noise: Application in ICD-10 Code Classification

abstract: ICD coding is the international standard for capturing and reporting health conditions and diagnosis for revenue cycle management in healthcare. Manually assigning ICD codes is prone to human error due to the large code vocabulary and the similarities between codes. Since machine learning based approaches require ground truth training data, the inconsistency among human coders is manifested as noise in labeling, which makes the training and evaluation of ICD classifiers difficult in presence of such noise. This paper investigates the characteristics of such noise in manually-assigned ICD-10 codes and furthermore, proposes a method to train robust ICD-10 classifiers in the presence of labeling noise. Our research concluded that the nature of such noise is systematic. Most of the existing methods for handling label noise assume that the noise is completely random and independent of features or labels, which is not the case for ICD data. Therefore, we develop a new method for training robust classifiers in the presence of systematic noise. We first identify ICD-10 codes that human coders tend to misuse or confuse, based on the codes' locations in the ICD-10 hierarchy, the types of the codes, and baseline classifier's prediction behaviors; we then develop a novel training strategy that accounts for such noise. We compared our method with the baseline that does not handle label noise and the baseline methods that assume random noise, and demonstrated that our proposed method outperforms all baselines when evaluated on expert validated labels.


title: Fooling Gaussian PTFs via Local Hyperconcentration

abstract: We give a pseudorandom generator that fools degree-$d$ polynomial threshold functions over $n$-dimensional Gaussian space with seed length $\mathrm{poly}(d)\cdot \log n$. All previous generators had a seed length with at least a $2^d$ dependence on $d$. The key new ingredient is a Local Hyperconcentration Theorem, which shows that every degree-$d$ Gaussian polynomial is hyperconcentrated almost everywhere at scale $d^{-O(1)}$.


title: Categories of Br\`egman operations and epistemic (co)monads

abstract: We construct a categorical framework for nonlinear postquantum inference, with embeddings of convex closed sets of suitable reflexive Banach spaces as objects and pullbacks of Br\`egman quasi-nonexpansive mappings (in particular, constrained maximisations of Br\`egman relative entropies) as morphisms. It provides a nonlinear convex analytic analogue of Chencov's programme of geometric study of categories of linear positive maps between spaces of states, a working model of Mielnik's nonlinear transmitters, and a setting for nonlinear resource theories (with monoids of Br\`egman quasi-nonexpansive maps as free operations, their asymptotic fixed point sets as free sets, and Br\`egman relative entropies as resource monotones). We construct a range of concrete examples for semi-finite JBW-algebras and any W*-algebras. Due to relative entropy's asymmetry, all constructions have left and right versions, with Legendre duality inducing categorical equivalence between their well-defined restrictions. Inner groupoids of these categories implement the notion of statistical equivalence. The hom-sets of a subcategory of morphisms given by entropic projections have the structure of partially ordered commutative monoids (so, they are resource theories in Fritz's sense). Further restriction of objects to affine sets turns Br\`egman relative entropy into a functor. Finally, following Lawvere's adjointness paradigm for deductive logic, but with a semantic twist representing Jaynes' and Chencov's views on statistical inference, we introduce a category-theoretic multi-(co)agent setting for inductive inference theories, implemented by families of monads and comonads. We show that the br\`egmanian approach provides some special cases of this setting.


title: Delay-aware and Energy-Efficient Computation Offloading in Mobile Edge Computing Using Deep Reinforcement Learning

abstract: Internet of Things (IoT) is considered as the enabling platform for a variety of promising applications, such as smart transportation and smart city, where massive devices are interconnected for data collection and processing. These IoT applications pose a high demand on storage and computing capacity, while the IoT devices are usually resource-constrained. As a potential solution, mobile edge computing (MEC) deploys cloud resources in the proximity of IoT devices so that their requests can be better served locally. In this work, we investigate computation offloading in a dynamic MEC system with multiple edge servers, where computational tasks with various requirements are dynamically generated by IoT devices and offloaded to MEC servers in a time-varying operating environment (e.g., channel condition changes over time). The objective of this work is to maximize the completed tasks before their respective deadlines and minimize energy consumption. To this end, we propose an end-to-end Deep Reinforcement Learning (DRL) approach to select the best edge server for offloading and allocate the optimal computational resource such that the expected long-term utility is maximized. The simulation results are provided to demonstrate that the proposed approach outperforms the existing methods.


title: The muon abundance in the primordial Universe

abstract: Muon abundance is required for the understanding of several fundamental questions regarding properties of the primordial Universe. In this paper we evaluate the production and decay rates of muons in the cosmic plasma as a function of temperature. This allows us to determine when exactly the muon abundance disappears. When the Universe cools below the temperature $kT_\mathrm{disappear}\approx 4.135$ MeV the muon decay rate overwhelms production rates and muons vanish quasi-instantaneously from the Universe. Interestingly, we show that at $T_\mathrm{disappear}$ the muon number is nearly equal to baryon abundance.


title: What Causes Faint Solar Coronal Jets from Emerging Flux Regions in Coronal Holes?

abstract: Using EUV images and line-of-sight magnetograms from Solar Dynamics Observatory, we examine eight emerging bipolar magnetic regions (BMRs) in central-disk coronal holes for whether the emerging magnetic arch made any noticeable coronal jets directly, via reconnection with ambient open field as modeled by Yokoyama and Shibata (1995). During emergence, each BMR produced no obvious EUV coronal jet of normal brightness, but each produced one or more faint EUV coronal jets that are discernible in AIA 193 {\AA} images. The spires of these jets are much fainter and usually narrower than for typical EUV jets that have been observed to be produced by minifilament eruptions in quiet regions and coronal holes. For each of 26 faint jets from the eight emerging BMRs, we examine whether the faint spire was evidently made a la Yokoyama and Shibata (1995). We find: (1) 16 of these faint spires evidently originate from sites of converging opposite-polarity magnetic flux and show base brightenings like those in minifilament-eruption-driven coronal jets, (2) the 10 other faint spires maybe were made by a burst of the external-magnetic-arcade-building reconnection of the emerging magnetic arch with the ambient open field, reconnection directly driven by the arch's emergence, but (3) none were unambiguously made by such emergence-driven reconnection. Thus, for these eight emerging BMRs the observations indicate that emergence-driven external reconnection of the emerging magnetic arch with ambient open field at most produces a jet spire that is much fainter than in previously-reported, much more obvious coronal jets driven by minifilament eruptions.


title: Spatio-Temporal Bayesian Learning for Mobile Edge Computing Resource Planning in Smart Cities

abstract: A smart city improves operational efficiency and comfort of living by harnessing techniques such as the Internet of Things (IoT) to collect and process data for decision making. To better support smart cities, data collected by IoT should be stored and processed appropriately. However, IoT devices are often task-specialized and resource-constrained, and thus, they heavily rely on online resources in terms of computing and storage to accomplish various tasks. Moreover, these cloud-based solutions often centralize the resources and are far away from the end IoTs and cannot respond to users in time due to network congestion when massive numbers of tasks offload through the core network. Therefore, by decentralizing resources spatially close to IoT devices, mobile edge computing (MEC) can reduce latency and improve service quality for a smart city, where service requests can be fulfilled in proximity. As the service demands exhibit spatial-temporal features, deploying MEC servers at optimal locations and allocating MEC resources play an essential role in efficiently meeting service requirements in a smart city. In this regard, it is essential to learn the distribution of resource demands in time and space. In this work, we first propose a spatio-temporal Bayesian hierarchical learning approach to learn and predict the distribution of MEC resource demand over space and time to facilitate MEC deployment and resource management. Second, the proposed model is trained and tested on real-world data, and the results demonstrate that the proposed method can achieve very high accuracy. Third, we demonstrate an application of the proposed method by simulating task offloading. Finally, the simulated results show that resources allocated based upon our models' predictions are exploited more efficiently than the resources are equally divided into all servers in unobserved areas.


title: Dynamically Switching Human Prediction Models for Efficient Planning

abstract: As environments involving both robots and humans become increasingly common, so does the need to account for people during planning. To plan effectively, robots must be able to respond to and sometimes influence what humans do. This requires a human model which predicts future human actions. A simple model may assume the human will continue what they did previously; a more complex one might predict that the human will act optimally, disregarding the robot; whereas an even more complex one might capture the robot's ability to influence the human. These models make different trade-offs between computational time and performance of the resulting robot plan. Using only one model of the human either wastes computational resources or is unable to handle critical situations. In this work, we give the robot access to a suite of human models and enable it to assess the performance-computation trade-off online. By estimating how an alternate model could improve human prediction and how that may translate to performance gain, the robot can dynamically switch human models whenever the additional computation is justified. Our experiments in a driving simulator showcase how the robot can achieve performance comparable to always using the best human model, but with greatly reduced computation.


title: Painlev\'e V for a Jacobi unitary ensemble with random singularities

abstract: In this paper, we focus on the relationship between the fifth Painlev\'{e} equation and a Jacobi weight perturbed with random singularities, \begin{equation*} w(z)=\left(1-z^2\right)^{\alpha}{\rm e}^{-\frac{t}{z^2-k^2}},~~~z,k\in[-1,1],~\alpha,t>0. \end{equation*} By using the ladder operator approach, we obtain that an auxiliary quantity $R_n(t)$, which is closely related to the recurrence coefficients of monic polynomials orthogonal with $w(z)$, satisfies a particular Painlev\'{e} V equation.


title: Clifford spinors and root system induction: $H_4$ and the Grand Antiprism

abstract: Recent work has shown that every 3D root system allows the construction of a correponding 4D root system via an `induction theorem'. In this paper, we look at the icosahedral case of $H_3\rightarrow H_4$ in detail and perform the calculations explicitly. Clifford algebra is used to perform group theoretic calculations based on the versor theorem and the Cartan-Dieudonn\'e theorem, giving a simple construction of the Pin and Spin covers. Using this connection with $H_3$ via the induction theorem sheds light on geometric aspects of the $H_4$ root system (the $600$-cell) as well as other related polytopes and their symmetries, such as the famous Grand Antiprism and the snub 24-cell. The uniform construction of root systems from 3D and the uniform procedure of splitting root systems with respect to subrootsystems into separate invariant sets allows further systematic insight into the underlying geometry. All calculations are performed in the even subalgebra of Cl(3), including the construction of the Coxeter plane, which is used for visualising the complementary pairs of invariant polytopes, and are shared as supplementary computational work sheets. This approach therefore constitutes a more systematic and general way of performing calculations concerning groups, in particular reflection groups and root systems, in a Clifford algebraic framework.


title: Quantifying uncertainty in spikes estimated from calcium imaging data

abstract: In recent years, a number of methods have been proposed to estimate the times at which a neuron spikes on the basis of calcium imaging data. However, quantifying the uncertainty associated with these estimated spikes remains an open problem. We consider a simple and well-studied model for calcium imaging data, which states that calcium decays exponentially in the absence of a spike, and instantaneously increases when a spike occurs. We wish to test the null hypothesis that the neuron did not spike -- i.e., that there was no increase in calcium -- at a particular timepoint at which a spike was estimated. In this setting, classical hypothesis tests lead to inflated Type I error, because the spike was estimated on the same data used for testing. To overcome this problem, we propose a selective inference approach. We describe an efficient algorithm to compute finite-sample p-values that control selective Type I error, and confidence intervals with correct selective coverage, for spikes estimated using a recent proposal from the literature. We apply our proposal in simulation and on calcium imaging data from the spikefinder challenge.


title: Magnetic tuning of tunnel coupling between InAsP double quantum dots in InP nanowires

abstract: We study experimentally and theoretically the in-plane magnetic field dependence of the coupling between dots forming a vertically stacked double dot molecule. The InAsP molecule is grown epitaxially in an InP nanowire and interrogated optically at millikelvin temperatures. The strength of interdot tunneling, leading to the formation of the bonding-antibonding pair of molecular orbitals, is investigated by adjusting the sample geometry. For specific geometries, we show that the interdot coupling can be controlled in-situ using a magnetic field-mediated redistribution of interdot coupling strengths. This is an important milestone in the development of qubits required in future quantum information technologies.


title: Dynamic Control Allocation between Onboard and Delayed Remote Control for Unmanned Aircraft System Detect-and-Avoid

abstract: This paper develops and evaluates the performance of an allocation agent to be potentially integrated into the onboard Detect and Avoid (DAA) computer of an Unmanned Aircraft System (UAS). We consider a UAS that can be fully controlled by the onboard DAA system and by a remote human pilot. With a communication channel prone to latency, we consider a mixed initiative interaction environment, where the control authority of the UAS is dynamically allocated by the allocation agent. In an encounter with a dynamic intruder, the probability of collision may increase in the absence of pilot commands in the presence of latency. Moreover, a delayed pilot command may not result in safe resolution of the current scenario and need to be improvised. We design an optimization algorithm to reduce collision risk and refine delayed pilot commands. Towards this end, a Markov Decision Process (MDP)and its solution are employed to create a wait time map. The map consists of estimated times that the UAS can wait for the remote pilot commands at each state. A command blending algorithm is designed to select an avoidance maneuver that prioritizes the pilot intention extracted from the pilot commands. The wait time map and the command blending algorithm are implemented and integrated into a closed-loop simulator. We conduct ten thousands fast-time Monte Carlo simulations and compare the performance of the integrated setup with a standalone DAA setup. The simulation results show that the allocation agent enables the UAS to wait without inducing any near mid air collision (NMAC) and severe loss of well clear (LoWC) while positively improve pilot involvement in the encounter resolution.


title: Operator transpose within normal ordering and its applications for quantifying entanglement

abstract: Partial transpose is an important operation for quantifying the entanglement, here we study the (partial) transpose of any single (two-mode) operators. Using the Fock-basis expansion, it is found that the transposed operator of an arbitrary operator can be obtained by replacement of a^{{\dag}}(a) by a(a^{{\dag}}) instead of c-number within normal ordering form. The transpose of displacement operator and Wigner operator are studied, from which the relation of Wigner function, characteristics function and average values such as covariance matrix are constructed between density operator and transposed density operator. These observations can be further extended to multi-mode cases. As applications, the partial transpose of two-mode squeezed operator and the entanglement of two-mode squeezed vacuum through a laser channel are considered.


title: High Performance Optical Filters Using Three Waveguide Coupled Sagnac Loop Reflectors

abstract: We theoretically investigate advanced multi-functional integrated photonic filters formed by three waveguide coupled Sagnac loop reflectors (3WC-SLRs). By tailoring the coherent mode interference, the spectral response of the 3WC-SLR resonators is engineered to achieve diverse filtering functions with high performance. These include optical analogues of Fano resonances that yield ultrahigh spectral extinction ratios (ERs) and slope rates, resonance mode splitting with high ERs and low free spectral ranges, and classical Butterworth, Bessel, Chebyshev, and elliptic filters. A detailed analysis of the impact of the structural parameters and fabrication tolerances is provided to facilitate device design and optimization. The requirements for practical applications are also considered. These results theoretically verify the effectiveness of using 3WC-SLR resonators as multi-functional integrated photonic filters for flexible spectral engineering in diverse applications.


title: Computing the Multicover Bifiltration

abstract: Given a finite set $A\subset\mathbb{R}^d$, let Cov$_{r,k}$ denote the set of all points within distance $r$ to at least $k$ points of $A$. Allowing $r$ and $k$ to vary, we obtain a 2-parameter family of spaces that grow larger when $r$ increases or $k$ decreases, called the \emph{multicover bifiltration}. Motivated by the problem of computing the homology of this bifiltration, we introduce two closely related combinatorial bifiltrations, one polyhedral and the other simplicial, which are both topologically equivalent to the multicover bifiltration and far smaller than a \v Cech-based model considered in prior work of Sheehy. Our polyhedral construction is a bifiltration of the rhomboid tiling of Edelsbrunner and Osang, and can be efficiently computed using a variant of an algorithm given by these authors. Using an implementation for dimension 2 and 3, we provide experimental results. Our simplicial construction is useful for understanding the polyhedral construction and proving its correctness.


title: Detection of GeV $\gamma$-Ray Emission from supernova remnant SNR G15.9+0.2 with Fermi-LAT

abstract: We first report GeV $\gamma$-ray emission from supernova remnant (SNR) G15.9+0.2 in this work. The results show that its power-law spectral index is 2.94$\pm$0.25 with a 6.47$\sigma$ significance level, and the $\gamma$-ray emission can be characterized by a two-dimensional (2D) Gaussian spatial distribution, which has a better improvement than the case of a point source. Moreover, we find that its likely counterparts from the radio, X-ray, and TeV energy bands are well coincident with its spatial location. We suggest that the new $\gamma$-ray emission may originate from SNR G15.9+0.2. Analyzing the variability from 12.4 years of the light curve (LC), we identify that this LC exists weak variability with a 2.69$\sigma$ variability significance level. We investigated the 2D Gaussian extended region and did not identify certified active galactic nuclei from the region of this SNR; thus, we suggest that the new $\gamma$-ray emission may originate from SNR G15.9+0.2. On this basis, we discussed the probable origins of its $\gamma$-ray radiation from leptonic and hadronic scenarios, respectively.


title: Radar Camera Fusion via Representation Learning in Autonomous Driving

abstract: Radars and cameras are mature, cost-effective, and robust sensors and have been widely used in the perception stack of mass-produced autonomous driving systems. Due to their complementary properties, outputs from radar detection (radar pins) and camera perception (2D bounding boxes) are usually fused to generate the best perception results. The key to successful radar-camera fusion is the accurate data association. The challenges in the radar-camera association can be attributed to the complexity of driving scenes, the noisy and sparse nature of radar measurements, and the depth ambiguity from 2D bounding boxes. Traditional rule-based association methods are susceptible to performance degradation in challenging scenarios and failure in corner cases. In this study, we propose to address radar-camera association via deep representation learning, to explore feature-level interaction and global reasoning. Additionally, we design a loss sampling mechanism and an innovative ordinal loss to overcome the difficulty of imperfect labeling and to enforce critical human-like reasoning. Despite being trained with noisy labels generated by a rule-based algorithm, our proposed method achieves a performance of 92.2% F1 score, which is 11.6% higher than the rule-based teacher. Moreover, this data-driven method also lends itself to continuous improvement via corner case mining.


title: Expansions for the linear-elastic contribution to the self-interaction force of dislocation curves

abstract: The self-interaction force of dislocation curves in metals depends on the local arrangement of the atoms and on the nonlocal interaction between dislocation curve segments. While these nonlocal segment-segment interactions can be accurately described by linear elasticity when the segments are further apart than the atomic scale of size $\varepsilon$, this model breaks down and blows up when the segments are $O(\varepsilon)$ apart. To separate the nonlocal interactions from the local contribution, various models depending on $\varepsilon$ have been constructed to account for the nonlocal term. However, there are no quantitative comparisons available between these models. This paper makes such comparisons possible by expanding the self-interaction force in these models in $\varepsilon$ beyond the $O(1)$-term. Our derivation of these expansions relies on asymptotic analysis. The practical use of these expansions is demonstrated by developing numerical schemes for them, and by -- for the first time -- bounding the corresponding discretization error.


title: The Quantum Union Bound made easy

abstract: We give a short proof of Gao's Quantum Union Bound and Gentle Sequential Measurement theorems.


title: Lower and upper bounds of quantum battery power in multiple central spin systems

abstract: We study the energy transfer process in quantum battery systems consisting of multiple central spins and bath spins. Here with "quantum battery" we refer to the central spins, whereas the bath serves as the "charger". For the single central-spin battery, we analytically derive the time evolutions of the energy transfer and the charging power with arbitrary number of bath spins. For the case of multiple central spins in the battery, we find the scaling-law relation between the maximum power $P_{max}$ and the number of central spins $N_B$. It approximately satisfies a scaling law relation $P_{max}\propto N_{B}^{\alpha}$, where scaling exponent $\alpha$ varies with the bath spin number $N$ from the lower bound $\alpha =1/2$ to the upper bound $\alpha =3/2$. The lower and upper bounds correspond to the limits $N\to 1$ and $N\gg N_B$, respectively. In thermodynamic limit, by applying the Holstein-Primakoff (H-P) transformation, we rigorously prove that the upper bound is $P_{max}=0.72 B A \sqrt{N} N_{B}^{3/2}$, which shows the same advantage in scaling of a recent charging protocol based on the Tavis-Cummins model. Here $B$ and $A $ are the external magnetic field and coupling constant between the battery and the charger.


title: SemVLP: Vision-Language Pre-training by Aligning Semantics at Multiple Levels

abstract: Vision-language pre-training (VLP) on large-scale image-text pairs has recently witnessed rapid progress for learning cross-modal representations. Existing pre-training methods either directly concatenate image representation and text representation at a feature level as input to a single-stream Transformer, or use a two-stream cross-modal Transformer to align the image-text representation at a high-level semantic space. In real-world image-text data, we observe that it is easy for some of the image-text pairs to align simple semantics on both modalities, while others may be related after higher-level abstraction. Therefore, in this paper, we propose a new pre-training method SemVLP, which jointly aligns both the low-level and high-level semantics between image and text representations. The model is pre-trained iteratively with two prevalent fashions: single-stream pre-training to align at a fine-grained feature level and two-stream pre-training to align high-level semantics, by employing a shared Transformer network with a pluggable cross-modal attention module. An extensive set of experiments have been conducted on four well-established vision-language understanding tasks to demonstrate the effectiveness of the proposed SemVLP in aligning cross-modal representations towards different semantic granularities.


title: Sum-GDoF of Symmetric Multi-hop Interference Channel under Finite Precision CSIT using Aligned-Images Sumset Inequalities

abstract: Aligned-Images Sumset Inequalities are used in this work to study the Generalized Degrees of Freedom (GDoF) of the symmetric layered multi-hop interference channel under the robust assumption that the channel state information at the transmitters (CSIT) is limited to finite precision. First, the sum-GDoF value is characterized for the $2\times 2\times 2$ setting that is comprised of $2$ sources, $2$ relays, and $2$ destinations. It is shown that the sum-GDoF do not improve even if perfect CSIT is allowed in the first hop, as long as the CSIT in the second hop is limited to finite precision. The sum GDoF characterization is then generalized to the $2\times 2\times \cdots \times 2$ setting that is comprised of $L$ hops. Remarkably, for large $L$, the GDoF value approaches that of the one hop broadcast channel that is obtained by full cooperation among the two transmitters of the last hop, with finite precision CSIT. Previous studies of multi-hop interference networks either identified sophisticated GDoF optimal schemes under perfect CSIT, such as aligned interference neutralization and network diagonalization, that are powerful in theory but too fragile to be practical, or studied robust achievable schemes like classical amplify/decode/compress-and-forward without claims of information-theoretic optimality. In contrast, under finite precision CSIT, we show that the benefits of fragile schemes are lost, while a combination of classical random coding schemes that are simpler and much more robust, namely a rate-splitting between decode-and-forward and amplify-and-forward, is shown to be GDoF optimal. As such, this work represents another step towards bridging the gap between theory (optimality) and practice (robustness) with the aid of Aligned-Images Sumset Inequalities.


title: On Taylor series of zeros with general base function

abstract: We prove a formula for the Taylor series coefficients of a zero of the sum of a complex-exponent polynomial and a base function which is a general holomorphic function with a simple zero. Such a Taylor series is more general than a Puiseux series. We prove an integrality result about these coefficients which implies and generalizes the integrality result of Sturmfels ("Solving algebraic equations in terms of $\mathcal{A}$-hypergeometric series". Discrete Math. 210 (2000) pp. 171-181). We also prove a transformation rule for a special case of these Taylor series.


title: Superheavy WIMP dark matter from incomplete thermalization

abstract: Although it is usually thought that a class of weakly interacting massive particle (WIMP) dark matters (DMs), which have the vector coupling with the $Z$ boson, is denied by null results of the direct DM searches, such WIMP DMs are still viable if they are superheavy with the mass of $m_{DM} \gtrsim 10^9$ GeV. In the future, the superheavy WIMP DMs can be searched up to $m_{DM} \simeq 10^{12}$ GeV, which corresponds to the so-called neutrino floor limit. We show that the observed abundance of $\Omega_\mathrm{DM}h^2 \simeq 0.1$ for a superheavy WIMP DM can be reproduced by a suitable reheating temperature of $T_R \simeq m_{DM}/29$ after inflation, if the direct inflaton decay into DM is negligible or kinematically forbidden.


title: A `Sourceful' Twist: Emoji Prediction Based on Sentiment, Hashtags and Application Source

abstract: We widely use emojis in social networking to heighten, mitigate or negate the sentiment of the text. Emoji suggestions already exist in many cross-platform applications but an emoji is predicted solely based a few prominent words instead of understanding the subject and substance of the text. Through this paper, we showcase the importance of using Twitter features to help the model understand the sentiment involved and hence to predict the most suitable emoji for the text. Hashtags and Application Sources like Android, etc. are two features which we found to be important yet underused in emoji prediction and Twitter sentiment analysis on the whole. To approach this shortcoming and to further understand emoji behavioral patterns, we propose a more balanced dataset by crawling additional Twitter data, including timestamp, hashtags, and application source acting as additional attributes to the tweet. Our data analysis and neural network model performance evaluations depict that using hashtags and application sources as features allows to encode different information and is effective in emoji prediction.


title: Fusion yield of plasma with velocity-space anisotropy at constant energy

abstract: Velocity-space anisotropy can significantly modify fusion reactivity. The nature and magnitude of this modification depends on the plasma temperature, as well as the details of how the anisotropy is introduced. For plasmas that are sufficiently cold compared to the peak of the fusion cross-section, anisotropic distributions tend to have higher yields than isotropic distributions with the same thermal energy. At higher temperatures, it is instead isotropic distributions that have the highest yields. However, the details of this behavior depend on exactly how the distribution differs from an isotropic Maxwellian. This paper describes the effects of anisotropy on fusion yield for the class of anisotropic distribution functions with the same energy distribution as a 3D isotropic Maxwellian, and compares those results with the yields from bi-Maxwellian distributions. In many cases, especially for plasmas somewhat below reactor-regime temperatures, the effects of anisotropy can be substantial.


title: Hecke-Maass cusp forms on PGL_n of large levels with non-vanishing L-values

abstract: We introduce a new trace formula of Kuznetsov type involving the central standard L-values and the Whittaker periods of cuspidal automorphic representations of PGL_n(Q) which are spherical at the archimedean place. As an application, we show a simultaneous non-vanishing of standard L-values at n-1 points on the critical strip for infinitely many Hecke-Maass cuspidal newforms.


title: Quenching of jets tagged with $W$ bosons in high-energy nuclear collisions

abstract: We carry out the first detailed calculations of jet production associated with $W$ gauge bosons in Pb+Pb collisions at the Large Hadron Collider (LHC). In our calculations, the production of $W$+jet in p+p collisions as a reference is obtained by Sherpa, which performs next-to-leading-order matrix element calculations matched to the resummation of parton shower simulations, while jet propagation and medium response in the quark-gluon plasma are simulated with the Linear Boltzmann Transport (LBT) model. We provide numerical predictions on seven observables of $W$+jet production with jet quenching in Pb+Pb collisions: the medium modification factor for the tagged jet cross sections $I_{AA}$, the distribution in invariant mass between the two leading jets in $N_{jets}\ge 2$ events $m_{jj}$, the missing $p_T$ or the vector sum of the lepton and jet transverse momentum $|\vec{p}_T^{Miss}|$, the summed scalar $p_T$ of all the jets in an event $S_T$, transverse momentum imbalance $x_{jW}$, average number of jets per $W$ boson $R_{jW}$, and azimuthal angle between the $W$ boson and jets $\Delta \phi_{jW}$. The distinct nuclear modifications of these seven observables in Pb+Pb relative to that in p+p collisions are presented with detailed discussions.


title: The shock formation and optimal regularities of the resulting shock curves for 1-D scalar conservation laws

abstract: The study on the shock formation and the regularities of the resulting shock surfaces for hyperbolic conservation laws is a basic problem in the nonlinear partial differential equations. In this paper, we are concerned with the shock formation and the optimal regularities of the resulting shock curves for the 1-D conservation law $\partial_tu+\partial_xf(u)=0$ with the smooth initial data $u(0,x)=u_0(x)$. If $u_0(x)\in C^{1}(\Bbb R)$ and $f(u)\in C^2(\Bbb R)$, it is well-known that the solution $u$ will blow up on the time $T^*=-\frac{1}{\min{g'(x)}}$ when $\min{g'(x)}<0$ holds for $g(x)=f'(u_0(x))$. Let $x_0$ be a local minimum point of $g'(x)$ such that $g'(x_0)=\min{g'(x)}<0$ and $g''(x_0)=0$, $g^{(3)}(x_0)>0$ (which is called the generic nondegenerate condition), then by Theorem 2 of \cite{Le94}, a weak entropy solution $u$ together with the shock curve $x=\varphi(t)\in C^2[T^*, T^*+\varepsilon)$ starting from the blowup point $(T^*, x^*=x_0+g(x_0)T^*)$ can be locally constructed. When the generic nondegenerate condition is violated, namely, when $x_0$ is a local minimum point of $g'(x)$ such that $g''(x_0)=g^{(3)}(x_0)=...=g^{(2k_0)}(x_0)=0$ but $g^{(2k_0+1)}(x_0)>0$ for some $k_0\in\Bbb N$ with $k_0\ge 2$; or $g^{(k)}(x_0)=0$ for any $k\in\Bbb N$ and $k\ge 2$, we will study the shock formation and the optimal regularity of the shock curve $x=\varphi(t)$, meanwhile, some precise descriptions on the behaviors of $u$ near the blowup point $(T^*, x^*)$ are given. Our main aims are to show that: around the blowup point, the shock really appears whether the initial data are degenerate with finite orders or with infinite orders; the optimal regularities of the shock solution and the resulting shock curve have the explicit relations with the degenerate degrees of the initial data.


title: Cycle4Completion: Unpaired Point Cloud Completion using Cycle Transformation with Missing Region Coding

abstract: In this paper, we present a novel unpaired point cloud completion network, named Cycle4Completion, to infer the complete geometries from a partial 3D object. Previous unpaired completion methods merely focus on the learning of geometric correspondence from incomplete shapes to complete shapes, and ignore the learning in the reverse direction, which makes them suffer from low completion accuracy due to the limited 3D shape understanding ability. To address this problem, we propose two simultaneous cycle transformations between the latent spaces of complete shapes and incomplete ones. The insight of cycle transformation is to promote networks to understand 3D shapes by learning to generate complete or incomplete shapes from their complementary ones. Specifically, the first cycle transforms shapes from incomplete domain to complete domain, and then projects them back to the incomplete domain. This process learns the geometric characteristic of complete shapes, and maintains the shape consistency between the complete prediction and the incomplete input. Similarly, the inverse cycle transformation starts from complete domain to incomplete domain, and goes back to complete domain to learn the characteristic of incomplete shapes. We provide a comprehensive evaluation in experiments, which shows that our model with the learned bidirectional geometry correspondence outperforms state-of-the-art unpaired completion methods.


title: Implementing contact angle boundary conditions for second-order Phase-Field models of wall-bounded multiphase flows

abstract: In the present work, a general formulation is proposed to implement the contact angle boundary conditions for the second-order Phase-Field models, which is applicable to $N$-phase $(N \geqslant 2)$ moving contact line problems. To remedy the issue of mass change due to the contact angle boundary condition, a source term or Lagrange multiplier is added to the original second-order Phase-Field models, which is determined by the consistent and conservative volume distribution algorithm so that the summation of the order parameters and the \textit{consistency of reduction} are not influenced. To physically couple the proposed formulation to the hydrodynamics, especially for large-density-ratio problems, the consistent formulation is employed. The reduction-consistent conservative Allen-Cahn models are chosen as examples to illustrate the application of the proposed formulation. The numerical scheme that preserves the consistency and conservation of the proposed formulation is employed to demonstrate its effectiveness. Results produced by the proposed formulation are in good agreement with the exact and/or asymptotic solutions. The proposed method captures complex dynamics of moving contact line problems having large density ratios.

categories: physics.flu-dyn cs.NA math.NA physics.comp-ph


title: Burning numbers of t-unicyclic graphs

abstract: Given a graph $G$, the burning number of $G$ is the smallest integer $k$ for which there are vertices $x_1, x_2,\ldots,x_k$ such that $(x_1,x_2,\ldots,x_k)$ is a burning sequence of $G$. It has been shown that the graph burning problem is NP-complete, even for trees with maximum degree three, or linear forests. A $t$-unicyclic graph is a unicycle graph with exactly one vertex of degree greater than $2$. In this paper, we first present the bounds for the burning number of $t$-unicyclic graphs, and then use the burning numbers of linear forests with at most three components to determine the burning number of all $t$-unicyclic graphs for $t\le 2$.


title: New polymorphic phase and rich phase diagram in the PdSe2-xTex system

abstract: We report a combined experimental and theoretical study of the PdSe2-xTex system. With increasing Te fraction, structural evolutions, first from an orthorhombic phase (space group Pbca) to a monoclinic phase (space group C2/c) and then to a trigonal phase (space group P-3m1), are observed accompanied with clearly distinct electrical transport behavior. The monoclinic phase (C2/c) is a completely new polymorphic phase and is discovered within a narrow range of Te composition (0.3 \leq x \leq 0.8). This phase has a different packing sequence from all known transition metal dichalcogenides to date. Electronic calculations and detailed transport analysis of the new polymorphic PdSe1.3Te0.7 phase are presented. In the trigonal phase region, superconductivity with enhanced critical temperature is also observed within a narrow range of Te content (1.0 \leq x \leq 1.2). The rich phase diagram, new polymorphic structure as well as abnormally enhanced superconductivity could further stimulate more interest to explore new types of polymorphs and investigate their transport and electronic properties in the transition metal dichalcogenides family that are of significant interest.


title: Sharp indistinguishability bounds from non-uniform approximations

abstract: We study the problem of distinguishing between two symmetric probability distributions over $n$ bits by observing $k$ bits of a sample, subject to the constraint that all $k-1$-wise marginal distributions of the two distributions are identical to each other. Previous works of Bogdanov et al. and of Huang and Viola have established approximately tight results on the maximal statistical distance when $k$ is at most a small constant fraction of $n$ and Naor and Shamir gave a tight bound for all $k$ in the case of distinguishing with the OR function. In this work we provide sharp upper and lower bounds on the maximal statistical distance that holds for all $k$. Upper bounds on the statistical distance have typically been obtained by providing uniform low-degree polynomial approximations to certain higher-degree polynomials; the sharpness and wider applicability of our result stems from the construction of suitable non-uniform approximations.


title: Multi-particle quantum walks and Fisher information in one-dimensional lattices

abstract: Recent experiments on quantum walks (QWs) of a single and two particles demonstrated subtle quantum statistics-dependent walks in one-dimensional (1D) lattices. However the roles of interaction and quantum statistics in such a kind of walks are little known at a many-body level. In this letter, using time-evolving block decimation algorithm and many-body perturbation theory we rigorously study QWs, Bloch oscillations and quantum Fisher informations (FIs) for three indistinguishable bosons and fermions in 1D lattices. We show that such strongly correlated many-body QWs not only give rise to statistics-and-interaction-dependent ballistic transports of scattering states, two- and three-body bound states, but also present a quantum enhanced precision measurement of the gravitational force. It turns out that in contrast to the walks of the fermions, the QWs of three bosons exhibit richer dynamics of co-walkings and competitive Bloch oscillations, which remarkably present a surprising time scaling $t^3$ of FI below a characteristic time $t_0$ and saturate to the fundamental limit of $t^2$ for $t>t_0$.


title: Improvement of phase sensitivity in SU(1,1) interferometer via a Kerr nonlinear

abstract: We propose a theoretical scheme to enhance the phase sensitivity by introducing a Kerr nonlinear phase shift into the traditional SU(1,1) interferometer with a coherent state input and homodyne detection. We investigate the realistic effects of photon losses on phase sensitivity and quantum Fisher information. The results show that compared with the linear phase shift in SU(1,1) interferometer, the Kerr nonlinear case can not only enhance the phase sensitivity and quantum Fisher information, but also significantly suppress the photon losses. We also observe that at the same accessible parameters, internal losses have a greater influence on the phase sensitivity than the external ones. It is interesting that, our scheme shows an obvious advantage of low-cost input resources to obtain higher phase sensitivity and larger quantum Fisher information due to the introduction of nonlinear phase element.


title: Improving Code Summarization with Block-wise Abstract Syntax Tree Splitting

abstract: Automatic code summarization frees software developers from the heavy burden of manual commenting and benefits software development and maintenance. Abstract Syntax Tree (AST), which depicts the source code's syntactic structure, has been incorporated to guide the generation of code summaries. However, existing AST based methods suffer from the difficulty of training and generate inadequate code summaries. In this paper, we present the Block-wise Abstract Syntax Tree Splitting method (BASTS for short), which fully utilizes the rich tree-form syntax structure in ASTs, for improving code summarization. BASTS splits the code of a method based on the blocks in the dominator tree of the Control Flow Graph, and generates a split AST for each code split. Each split AST is then modeled by a Tree-LSTM using a pre-training strategy to capture local non-linear syntax encoding. The learned syntax encoding is combined with code encoding, and fed into Transformer to generate high-quality code summaries. Comprehensive experiments on benchmarks have demonstrated that BASTS significantly outperforms state-of-the-art approaches in terms of various evaluation metrics. To facilitate reproducibility, our implementation is available at https://github.com/XMUDM/BASTS.


title: Guaranteeing a physically realizable battery dispatch without charge-discharge complementarity constraints

abstract: The non-convex complementarity constraints present a fundamental computational challenge in energy constrained optimization problems. In this work, we present a new, linear, and robust battery optimization formulation that sidesteps the need for battery complementarity constraints and integers and prove analytically that the formulation guarantees that all energy constraints are satisfied which ensures that the optimized battery dispatch is physically realizable. In addition, we bound the worst-case model mismatch and discuss conservativeness. Simulation results further illustrate the effectiveness of this approach.


title: Perpendicular magnetic anisotropy in ultra-thin Cu$_2$Sb-type (Mn-Cr)AlGe films onto thermally oxidized silicon substrates

abstract: Perpendicularly magnetized films showing small saturation magnetization, $M_\mathrm{s}$, are essential for spin-transfer-torque writing type magnetoresistive random access memories, STT-MRAMs. An intermetallic compound, {(Mn-Cr)AlGe} of the Cu$_2$Sb-type crystal structure was investigated, in this study, as a material showing the low $M_\mathrm{s}$ ($\sim 300$ kA/m) and high-perpendicular magnetic anisotropy, $K_\mathrm{u}$. The layer thickness dependence of $K_\mathrm{u}$ and effects of Mg-insertion layers at top and bottom (Mn-Cr)AlGe$|$MgO interfaces were studied in film samples fabricated onto thermally oxidized silicon substrates to realize high-$K_\mathrm{u}$ in the thickness range of a few nanometer. Optimum Mg-insertion thicknesses were 1.4 and 3.0 nm for the bottom and the top interfaces, respectively, which were relatively thick compared to results in similar insertion effect investigations on magnetic tunnel junctions reported in previous studies. The cross-sectional transmission electron microscope images revealed that the Mg-insertion layers acted as barriers to interdiffusion of Al-atoms as well as oxidization from the MgO layers. The values of $K_\mathrm{u}$ were about $7 \times 10^5$ and $2 \times 10^5$ J/m$^3$ at room temperature for 5 and 3 nm-thick (Mn-Cr)AlGe films, respectively, with the optimum Mg-insertion thicknesses. The $K_\mathrm{u}$ at a few nanometer thicknesses is comparable or higher than those reported in perpendicularly magnetized CoFeB films which are conventionally used in MRAMs, while the $M_\mathrm{s}$ value is one third or less smaller than those of the CoFeB films. The developed (Mn-Cr)AlGe films are promising from the viewpoint of not only the magnetic properties, but also the compatibility to the silicon process in the film fabrication.


title: The weighted Hardy constant

abstract: Let $\Omega$ be a domain in $R^d$ and $d_\Gamma$ the Euclidean distance to the boundary $\Gamma$. We investigate whether the weighted Hardy inequality \[ \|d_\Gamma^{\delta/2-1}\varphi\|_2\leq a_\delta\,\|d_\Gamma^{\delta/2}\,(\nabla\varphi)\|_2 \] is valid, with $\delta\geq 0$ and $a_\delta>0$, for all $\varphi\in C_c^1(\Gamma_r)$ and all small $r>0$ where $\Gamma_r=\{x\in\Omega: d_\Gamma(x)<r\}$. First we prove that if $\delta\in[0,2\rangle$ then the inequality is equivalent to the weighted version of Davies' weak Hardy inequality on $\Omega$ with equality of the corresponding optimal constants. Secondly, we establish that if $\Omega$ is a uniform domain with Ahlfors regular boundary then the inequality is satisfied for all $\delta\geq 0$, and all small $r$, with the exception of the value $\delta=2-(d-d_H)$ where $d_H$ is the Hausdorff dimension of $\Gamma$. Moreover, the optimal constant $a_\delta(\Gamma)$ satisfies $a_\delta(\Gamma)\geq 2/|(d-d_H)+\delta-2|$. Thirdly, if $\Omega$ is a $C^{1,1}$-domain or a convex domain $a_\delta(\Gamma)=2/|\delta-1|$ for all $\delta\geq0$ with $\delta\neq1$. The same conclusion is correct if $\Omega$ is the complement of a convex domain and $\delta>1$ but if $\delta\in[0,1\rangle$ then $a_\delta(\Gamma)$ can be strictly larger than $2/|\delta-1|$. Finally we use these results to establish self-adjointness criteria for degenerate elliptic diffusion operators.


title: Fairness-aware Personalized Ranking Recommendation via Adversarial Learning

abstract: Recommendation algorithms typically build models based on historical user-item interactions (e.g., clicks, likes, or ratings) to provide a personalized ranked list of items. These interactions are often distributed unevenly over different groups of items due to varying user preferences. However, we show that recommendation algorithms can inherit or even amplify this imbalanced distribution, leading to unfair recommendations to item groups. Concretely, we formalize the concepts of ranking-based statistical parity and equal opportunity as two measures of fairness in personalized ranking recommendation for item groups. Then, we empirically show that one of the most widely adopted algorithms -- Bayesian Personalized Ranking -- produces unfair recommendations, which motivates our effort to propose the novel fairness-aware personalized ranking model. The debiased model is able to improve the two proposed fairness metrics while preserving recommendation performance. Experiments on three public datasets show strong fairness improvement of the proposed model versus state-of-the-art alternatives. This is paper is an extended and reorganized version of our SIGIR 2020~\cite{zhu2020measuring} paper. In this paper, we re-frame the studied problem as `item recommendation fairness' in personalized ranking recommendation systems, and provide more details about the training process of the proposed model and details of experiment setup.


title: Assortative clustering in a one-dimensional population with replication strategies

abstract: In a geographically distributed population, assortative clustering plays an important role in evolution by modifying local environments. To examine its effects in a linear habitat, we consider a one-dimensional grid of cells, where each cell is either empty or occupied by an organism whose replication strategy is genetically inherited to offspring. The strategy determines whether to have offspring in surrounding cells, as a function of the neighborhood configuration. If more than one offspring compete for a cell, then they can be all exterminated due to the cost of conflict depending on environmental conditions. We find that the system is more densely populated in an unfavorable environment than in a favorable one because only the latter has to pay the cost of conflict. This observation agrees reasonably well with a mean-field analysis which takes assortative clustering of strategies into consideration. Our finding suggests a possibility of intrinsic nonlinearity between environmental conditions and population density when an evolutionary process is involved.


title: Extreme statistics of superdiffusive Levy flights and every other Levy subordinate Brownian motion

abstract: The search for hidden targets is a fundamental problem in many areas of science, engineering, and other fields. Studies of search processes often adopt a probabilistic framework, in which a searcher randomly explores a spatial domain for a randomly located target. There has been significant interest and controversy regarding optimal search strategies, especially for superdiffusive processes. The optimal search strategy is typically defined as the strategy that minimizes the time it takes a given single searcher to find a target, which is called a first hitting time (FHT). However, many systems involve multiple searchers and the important timescale is the time it takes the fastest searcher to find a target, which is called an extreme FHT. In this paper, we study extreme FHTs for any stochastic process that is a random time change of Brownian motion by a Levy subordinator. This class of stochastic processes includes superdiffusive Levy flights in any space dimension, which are processes described by a Fokker-Planck equation with a fractional Laplacian. We find the short-time distribution of a single FHT for any Levy subordinate Brownian motion and use this to find the full distribution and moments of extreme FHTs as the number of searchers grows. We illustrate these rigorous results in several examples and numerical simulations.


title: Study of proton, deuteron and triton at 54.4 GeV

abstract: Transverse momentum spectra of proton, deuteron and triton in gold-gold (Au-Au) collisions at 54.4 GeV are analyzed in different centrality bins by the blast wave model with Tsallis statistics. The model results are approximately in agreement with the experimental data measured by STAR Collaboration in special transverse momentum ranges. We extracted the kinetic freeze out temperature, transverse flow velocity and freeze out volume from the transverse momentum spectra of the particles. It is observed that the kinetic freeze out temperature is increasing from central to peripheral collisions. However the transverse flow velocity and freeze out volume decrease from central to peripheral collisions. The present work reveals the mass dependent kinetic freeze out and volume differential freeze out scenario in collisions at STAR Collaboration. In addition, the parameter q characterizes the degree of non-equilibrium of the produced system, and it increase from central to peripheral collisions and increase.


title: Membership Inference Attacks on Machine Learning: A Survey

abstract: Machine learning (ML) models have been widely applied to various applications, including image classification, text generation, audio recognition, and graph data analysis. However, recent studies have shown that ML models are vulnerable to membership inference attacks (MIAs), which aim to infer whether a data record was used to train a target model or not. MIAs on ML models can directly lead to a privacy breach. For example, via identifying the fact that a clinical record that has been used to train a model associated with a certain disease, an attacker can infer that the owner of the clinical record has the disease with a high chance. In recent years, MIAs have been shown to be effective on various ML models, e.g., classification models and generative models. Meanwhile, many defense methods have been proposed to mitigate MIAs. Although MIAs on ML models form a newly emerging and rapidly growing research area, there has been no systematic survey on this topic yet. In this paper, we conduct the first comprehensive survey on membership inference attacks and defenses. We provide the taxonomies for both attacks and defenses, based on their characterizations, and discuss their pros and cons. Based on the limitations and gaps identified in this survey, we point out several promising future research directions to inspire the researchers who wish to follow this area. This survey not only serves as a reference for the research community but also provides a clear description for researchers outside this research domain. To further help the researchers, we have created an online resource repository, which we will keep updated with future relevant work. Interested readers can find the repository at https://github.com/HongshengHu/membership-inference-machine-learning-literature.


title: Three Steps to Multimodal Trajectory Prediction: Modality Clustering, Classification and Synthesis

abstract: Multimodal prediction results are essential for trajectory prediction task as there is no single correct answer for the future. Previous frameworks can be divided into three categories: regression, generation and classification frameworks. However, these frameworks have weaknesses in different aspects so that they cannot model the multimodal prediction task comprehensively. In this paper, we present a novel insight along with a brand-new prediction framework by formulating multimodal prediction into three steps: modality clustering, classification and synthesis, and address the shortcomings of earlier frameworks. Exhaustive experiments on popular benchmarks have demonstrated that our proposed method surpasses state-of-the-art works even without introducing social and map information. Specifically, we achieve 19.2% and 20.8% improvement on ADE and FDE respectively on ETH/UCY dataset. Our code will be made publicly availabe.


title: Mean Field Game GAN

abstract: We propose a novel mean field games (MFGs) based GAN(generative adversarial network) framework. To be specific, we utilize the Hopf formula in density space to rewrite MFGs as a primal-dual problem so that we are able to train the model via neural networks and samples. Our model is flexible due to the freedom of choosing various functionals within the Hopf formula. Moreover, our formulation mathematically avoids Lipschitz-1 constraint. The correctness and efficiency of our method are validated through several experiments.


title: Stable vortex in Bose-Einstein condensate dark matter

abstract: The nature of dark matter (DM) is one of the most fascinating unresolved challenges of modern physics. One of the perspective hypotheses suggests that DM consists of ultralight bosonic particles in the state of Bose-Einstein condensate (BEC). The superfluid nature of BEC must dramatically affect the properties of DM matter including quantization of the angular momentum. Angular momentum quantum in the form of a vortex line is expected to produce a considerable impact on the luminous matter in galaxies including density distribution and rotation curves. We investigate the evolution of spinning DM cloud with typical galactic halo mass and radius. Analytically and numerically stationary vortex soliton states with different topological charges have been analyzed. It has been shown that while all multi-charged vortex states are unstable, a single-charged vortex soliton is extremely robust and survives during the lifetime of the Universe.


title: More Dynamic Data Structures for Geometric Set Cover with Sublinear Update Time

abstract: We study geometric set cover problems in dynamic settings, allowing insertions and deletions of points and objects. We present the first dynamic data structure that can maintain an $O(1)$-approximation in sublinear update time for set cover for axis-aligned squares in 2D. More precisely, we obtain randomized update time $O(n^{2/3+\delta})$ for an arbitrarily small constant $\delta>0$. Previously, a dynamic geometric set cover data structure with sublinear update time was known only for unit squares by Agarwal, Chang, Suri, Xiao, and Xue [SoCG 2020]. If only an approximate size of the solution is needed, then we can also obtain sublinear amortized update time for disks in 2D and halfspaces in 3D. As a byproduct, our techniques for dynamic set cover also yield an optimal randomized $O(n\log n)$-time algorithm for static set cover for 2D disks and 3D halfspaces, improving our earlier $O(n\log n(\log\log n)^{O(1)})$ result [SoCG 2020].


title: Thickness dependence of work function, ionization energy, and electron affinity of Mo and W dichalcogenides from DFT and GW calculations

abstract: Transition-metal dichalcogenides (TMDs) are promising for two-dimensional (2D) semiconducting devices and novel phenomena. For 2D applications, their work function, ionization energy, and electron affinity are required as a function of thickness, but research on this is yet to cover the full family of compounds. Here, we present the work function, ionization energy, and electron affinity of few-layer and bulk MX2 (M = Mo, W and X = S, Se, Te) in 2H phase obtained accurately by the density functional theory and GW calculations. For each compound, we consider one-, two-, three-, four-layer, and bulk geometry. In GW calculations, accurate results are obtained by nonuniform q sampling for two-dimensional geometry. From band energies including the GW self-energy correction, we estimate the work function, band gap, ionization energy, and electron affinity as functions of the number of layers. We compare our results with available theoretical and experimental reports, and we discuss types of band alignments in in-plane and out-of-plane junctions of these few-layer and bulk TMDs.


title: Loop induced top quark FCNC through top quark and dark matter interactions

abstract: We present a comprehensive analysis of the loop induced top quark FCNC signals at the LHC within one class of the simplified model. The loop level FCNC interactions are well motivated to avoid the hierarchy of the top quark couplings from the new physics and standard model. Such a theory will posit a Majorana dark matter candidate and could be tested through dark matter relic density, direct detection experiments (the scattering between dark matter and heavy nuclei), and the collider signals at the LHC. We find that the spin-independent (SI) scattering between Majorana dark matter and nuclei will vanish at the leading order, while the next-to-leading order correction to the SI scattering becomes significance to constrain the parameter space of the model. A detailed comparison from direct detection experiments and LHC searches is also discussed and both of them are very important to full constrain the model.


title: Reconstructing 3D Magnetic Topology of On-disk Prominence Bubbles from Stereoscopic Observations

abstract: Bubbles, the semi-circular voids below quiescent prominences (filaments), have been extensively investigated in the past decade. However, hitherto the magnetic nature of bubbles cannot be verified due to the lack of on-disk photospheric magnetic field observations. Here for the first time, we find and investigate an on-disk prominence bubble around a filament barb on 2019 March 18 based on stereoscopic observations from NVST, SDO, and STEREO-A. In high-resolution NVST H$\alpha$ images, this bubble has a sharp arch-like boundary and a projected width of $\thicksim$26 Mm. Combining SDO and STEREO-A images, we further reconstruct 3D structure of the bubble boundary, whose maximum height is $\thicksim$15.6 Mm. The squashing factor Q map deduced from extrapolated 3D magnetic fields around the bubble depicts a distinct arch-shaped interface with a height of $\thicksim$11 Mm, which agrees well with the reconstructed 3D structure of the observed bubble boundary. Under the interface lies a set of magnetic loops, which is rooted on a surrounding photospheric magnetic patch. To be more persuasive, another on-disk bubble on 2019 June 10 is presented as a supplement. According to these results obtained from on-disk bubble observations, we suggest that the bubble boundary corresponds to the interface between the prominence dips (barb) and the underlying magnetic loops rooted nearby. It is thus reasonable to speculate that the bubble can form around a filament barb below which there is a photospheric magnetic patch.


title: VCNet and Functional Targeted Regularization For Learning Causal Effects of Continuous Treatments

abstract: Motivated by the rising abundance of observational data with continuous treatments, we investigate the problem of estimating the average dose-response curve (ADRF). Available parametric methods are limited in their model space, and previous attempts in leveraging neural network to enhance model expressiveness relied on partitioning continuous treatment into blocks and using separate heads for each block; this however produces in practice discontinuous ADRFs. Therefore, the question of how to adapt the structure and training of neural network to estimate ADRFs remains open. This paper makes two important contributions. First, we propose a novel varying coefficient neural network (VCNet) that improves model expressiveness while preserving continuity of the estimated ADRF. Second, to improve finite sample performance, we generalize targeted regularization to obtain a doubly robust estimator of the whole ADRF curve.


title: High speed and reconfigurable optronic neural network with digital nonlinear activation

abstract: With its unique parallel processing capability, optical neural network has shown low-power consumption in image recognition and speech processing. At present, the manufacturing technology of programmable photonic chip is not mature, and the realization of optical neural network in free-space is still a hot spot of intelligent optical computing. In this article, based on MNIST datasets and 4f system, three-layer optical neural networks are constructed, whose recognition accuracy can reach 93.66%. Our network is programmable, high speed, reconfigurable and is better than the existing free-space optical neural network in terms of spatial complexity.


title: Imperative process algebra with abstraction

abstract: This paper introduces an imperative process algebra based on ACP (Algebra of Communicating Processes). Like other imperative process algebras, this process algebra deals with processes of the kind that arises from the execution of imperative programs. It distinguishes itself from already existing imperative process algebras among other things by supporting abstraction from actions that are considered not to be visible. The support of abstraction of this kind opens interesting application possibilities of the process algebra. This paper goes briefly into the possibility of information-flow security analysis of the kind that is concerned with the leakage of confidential data. For the presented axiomatization, soundness and semi-completeness results with respect to a notion of branching bisimulation equivalence are established.


title: Dispersion relation of nutation surface spin waves in ferromagnets

abstract: Inertia effects in magnetization dynamics are theoretically shown to result in a different type of spin waves, i.e. nutation surface spin waves, which propagate at terahertz frequencies in in-plane magnetized ferromagnetic thin films. Considering the magnetostatic limit, i.e. neglecting exchange coupling, we calculate dispersion relation and group velocity, which we find to be slower than the velocity of conventional (precession) spin waves. In addition, we find that the nutation surface spin waves are backward spin waves. Furthermore, we show that inertia causes a decrease of the frequency of the precession spin waves, namely magnetostatic surface spin waves and backward volume magnetostatic spin waves. The magnitude of the decrease depends on the magnetic properties of the film and its geometry.