title: About inevitability of budgetary code receiving for fiscal politics

abstract: Since the end of 90s till today when all the elements confirming Georgian State System have practically been established, budget system and policy remains as the most difficult Georgian macroeconomics challenge and even still half-and-half unsolved problem. One side of the fiscal policy is quite crucially formulated and administrative Tax Code, and the other side is the weak, unmanaged and incomplete law on Budget System. According to the above-mentioned the elaboration and adoption of the Budget Code having equal force as Tax Code is necessary by which the following are to be determined: excellence of government responsibility when it will not perform the budget obligations specified by the law permanently; the rights and responsibilities of the state, the optimal distribution of the funds mobilized by the tax towards each member of the society. For optimization of the budget system effective correlation between the state, regional and local budgets revenues and expenditures is particularly important as the social-economic development of the regions and territorial units of the country is impossible without the financial relations. For it the just differentiation of tax base in the section of state, regional and local budgets and transfers system for support of the budgets of the territorial units from the central budget are necessary. Solving the most part of these problems is possible by the adoption of the budget code which, in our opinion, is to be considered as the closest decisive task for the current legislative and executive authority.


title: Semantics-STGCNN: A Semantics-guided Spatial-Temporal Graph Convolutional Network for Multi-class Trajectory Prediction

abstract: Predicting the movement trajectories of multiple classes of road users in real-world scenarios is a challenging task due to the diverse trajectory patterns. While recent works of pedestrian trajectory prediction successfully modelled the influence of surrounding neighbours based on the relative distances, they are ineffective on multi-class trajectory prediction. This is because they ignore the impact of the implicit correlations between different types of road users on the trajectory to be predicted - for example, a nearby pedestrian has a different level of influence from a nearby car. In this paper, we propose to introduce class information into a graph convolutional neural network to better predict the trajectory of an individual. We embed the class labels of the surrounding objects into the label adjacency matrix (LAM), which is combined with the velocity-based adjacency matrix (VAM) comprised of the objects' velocity, thereby generating a semantics-guided graph adjacency (SAM). SAM effectively models semantic information with trainable parameters to automatically learn the embedded label features that will contribute to the fixed velocity-based trajectory. Such information of spatial and temporal dependencies is passed to a graph convolutional and temporal convolutional network to estimate the predicted trajectory distributions. We further propose new metrics, known as Average2 Displacement Error (aADE) and Average Final Displacement Error (aFDE), that assess network accuracy more accurately. We call our framework Semantics-STGCNN. It consistently shows superior performance to the state-of-the-arts in existing and the newly proposed metrics.


title: Multi-Factors Aware Dual-Attentional Knowledge Tracing

abstract: With the increasing demands of personalized learning, knowledge tracing has become important which traces students' knowledge states based on their historical practices. Factor analysis methods mainly use two kinds of factors which are separately related to students and questions to model students' knowledge states. These methods use the total number of attempts of students to model students' learning progress and hardly highlight the impact of the most recent relevant practices. Besides, current factor analysis methods ignore rich information contained in questions. In this paper, we propose Multi-Factors Aware Dual-Attentional model (MF-DAKT) which enriches question representations and utilizes multiple factors to model students' learning progress based on a dual-attentional mechanism. More specifically, we propose a novel student-related factor which records the most recent attempts on relevant concepts of students to highlight the impact of recent exercises. To enrich questions representations, we use a pre-training method to incorporate two kinds of question information including questions' relation and difficulty level. We also add a regularization term about questions' difficulty level to restrict pre-trained question representations to fine-tuning during the process of predicting students' performance. Moreover, we apply a dual-attentional mechanism to differentiate contributions of factors and factor interactions to final prediction in different practice records. At last, we conduct experiments on several real-world datasets and results show that MF-DAKT can outperform existing knowledge tracing methods. We also conduct several studies to validate the effects of each component of MF-DAKT.


title: The information of attribute uncertainties: what convolutional neural networks can learn about errors in input data

abstract: Errors in measurements are key to weighting the value of data, but are often neglected in Machine Learning (ML). We show how Convolutional Neural Networks (CNNs) are able to learn about the context and patterns of signal and noise, leading to improvements in the performance of classification methods. We construct a model whereby two classes of objects follow an underlying Gaussian distribution, and where the features (the input data) have varying, but known, levels of noise. This model mimics the nature of scientific data sets, where the noises arise as realizations of some random processes whose underlying distributions are known. The classification of these objects can then be performed using standard statistical techniques (e.g., least-squares minimization or Markov-Chain Monte Carlo), as well as ML techniques. This allows us to take advantage of a maximum likelihood approach to object classification, and to measure the amount by which the ML methods are incorporating the information in the input data uncertainties. We show that, when each data point is subject to different levels of noise (i.e., noises with different distribution functions), that information can be learned by the CNNs, raising the ML performance to at least the same level of the least-squares method -- and sometimes even surpassing it. Furthermore, we show that, with varying noise levels, the confidence of the ML classifiers serves as a proxy for the underlying cumulative distribution function, but only if the information about specific input data uncertainties is provided to the CNNs.


title: The impact of contact inhibition on collective cell migration and proliferation

abstract: Contact inhibition limits migration and proliferation of cells in cell colonies. We consider a multiphase field model to investigate the growth dynamics of a cell colony, composed of proliferating cells. The model takes into account the mechanisms of contact inhibition of locomotion and proliferation by local mechanical interactions. We compare non-migrating and migrating cells, in order to provide a quantitative characterization of the dynamics and analyse the velocity of the colony boundary for both cases. Additionally, we measure single cell velocities, number of neighbour distributions, as well as the influence of stress and age on positions of the cells and with respect to each other. We further compare the findings with experimental data for Madin-Darby canine kidney cells


title: A Two-Stage Cox Process Model with Spatial and Nonspatial Covariates

abstract: Rich new marked point process data allow researchers to consider disparate problems such as the factors affecting the location and type of police use of force incidents, and the characteristics that impact the location and size of forest fires. We develop a two-stage log Gaussian Cox process that models these data in terms of both spatial (community-level) and nonspatial (individual or event-level) characteristics; both types of covariates are present in the examples we consider and are not easy to incorporate via existing methods. Via simulated and real data examples we find that our model is easy to interpret and flexible, accommodating multiple types of marks and multiple types of spatial covariates. In the first example we consider, our approach allows us to study the impact of community-level socioeconomic features such as unemployment as well as event-level features such as officer tenure on force used by police, illustrated through simulated examples. In our second example we consider factors that impact the locations and severity of forest fires from the Castilla-La Mancha region of Spain between 2004-2007.


title: Unveiling shrouded oceans on temperate sub-Neptunes via transit signatures of solubility equilibria vs. gas thermochemistry

abstract: The recent discovery and initial characterization of sub-Neptune-sized exoplanets that receive stellar irradiance of approximately Earth's raised the prospect of finding habitable planets in the coming decade, because some of these temperate planets may support liquid water oceans if they do not have massive H2/He envelopes and are thus not too hot at the bottom of the envelopes. For planets larger than Earth, and especially planets in the 1.7-3.5 R_Earth population, the mass of the H2/He envelope is typically not sufficiently constrained to assess the potential habitability. Here we show that the solubility equilibria vs. thermochemistry of carbon and nitrogen gases results in observable discriminators between small H2 atmospheres vs. massive ones, because the condition to form a liquid-water ocean and that to achieve the thermochemical equilibrium are mutually exclusive. The dominant carbon and nitrogen gases are typically CH4 and NH3 due to thermochemical recycling in a massive atmosphere of a temperate planet, and those in a small atmosphere overlying a liquid-water ocean are most likely CO2 and N2, followed by CO and CH4 produced photochemically. NH3 is depleted in the small atmosphere by dissolution into the liquid-water ocean. These gases lead to distinctive features in the planet's transmission spectrum, and a moderate number of repeated transit observations with the James Webb Space Telescope should tell apart a small atmosphere vs. a massive one on planets like K2-18 b. This method thus provides a way to use near-term facilities to constrain the atmospheric mass and habitability of temperate sub-Neptune exoplanets.


title: Constraints on scalar field dark matter from co-located Michelson interferometers

abstract: Low-mass (sub-eV) scalar field dark matter may induce apparent oscillations of fundamental constants, resulting in corresponding oscillations of the size and the index of refraction of solids. Laser interferometers are highly sensitive to changes in the size and index of refraction of the main beamsplitter. Using cross-correlated data of the Fermilab Holometer instrument, which consists of twin co-located 40-m arm length power-recycled interferometers, we investigate the possible existence of scalar field dark matter candidates in the mass range between 1.6$\cdot$10$^{-12}$ eV and 1.0$\cdot$10$^{-7}$ eV. We set new upper limits for the coupling parameters of scalar field dark matter, improving on limits from previous direct searches by up to three orders of magnitude.


title: Tuning color centers at a twisted interface

abstract: Color center is a promising platform for quantum technologies, but their application is hindered by the typically random defect distribution and complex mesoscopic environment. Employing cathodoluminescence, we demonstrate that an ultraviolet-emitting single photon emitter can be readily activated and controlled on-demand at the twisted interface of two hexagonal boron nitride flakes. The brightness of the color center can be enhanced by two orders of magnitude by altering the twist angle. Additionally, a brightness modulation of nearly 100% of this color center is achieved by an external voltage. Our ab-initio GW calculations suggest that the emission is correlated to nitrogen vacancies and that a twist-induced moir\'e potential facilitates electron-hole recombination. This mechanism is further exploited to draw nanoscale color center patterns using electron beams.


title: The all-particle cosmic ray energy spectrum measured with HAWC

abstract: Thanks to recent technological development, a new generation of cosmic ray experiments have been developed with more sensitivity to study these particles in the primary energy interval from 10 TeV to 1 PeV, such as HAWC. Due to its design and high altitude, the HAWC gamma-ray and cosmic ray observatory can provide a bridge between the data from direct and indirect cosmic ray detectors. In 2017 the HAWC collaboration published its first result on the total energy spectrum of cosmic rays, which covers the range from 10 to 500 TeV. This work updates the previous result by extending the energy interval of the measured all-particle cosmic-ray energy spectrum up to 1 PeV. The energy spectrum was obtained from the analysis of two years of HAWC's data using an unfolding method. We employed the QGSJET-II-04 model for the energy calibration and the spectrum reconstruction. The results confirm the presence of a knee like feature at tens of TeV, as previously reported by the HAWC collaboration in 2017.


title: Evaluation of Load Prediction Techniques for Distributed Stream Processing

abstract: Distributed Stream Processing (DSP) systems enable processing large streams of continuous data to produce results in near to real time. They are an essential part of many data-intensive applications and analytics platforms. The rate at which events arrive at DSP systems can vary considerably over time, which may be due to trends, cyclic, and seasonal patterns within the data streams. A priori knowledge of incoming workloads enables proactive approaches to resource management and optimization tasks such as dynamic scaling, live migration of resources, and the tuning of configuration parameters during run-times, thus leading to a potentially better Quality of Service. In this paper we conduct a comprehensive evaluation of different load prediction techniques for DSP jobs. We identify three use-cases and formulate requirements for making load predictions specific to DSP jobs. Automatically optimized classical and Deep Learning methods are being evaluated on nine different datasets from typical DSP domains, i.e. the IoT, Web 2.0, and cluster monitoring. We compare model performance with respect to overall accuracy and training duration. Our results show that the Deep Learning methods provide the most accurate load predictions for the majority of the evaluated datasets.


title: Headed-Span-Based Projective Dependency Parsing

abstract: We propose a new method for projective dependency parsing based on headed spans. In a projective dependency tree, the largest subtree rooted at each word covers a contiguous sequence (i.e., a span) in the surface order. We call such a span marked by a root word \textit{headed span}. A projective dependency tree can be represented as a collection of headed spans. We decompose the score of a dependency tree into the scores of the headed spans and design a novel $O(n^3)$ dynamic programming algorithm to enable global training and exact inference. Our model achieves state-of-the-art or competitive results on PTB, CTB, and UD. Our code is publicly available at \url{https://github.com/sustcsonglin/span-based-dependency-parsing}.


title: Logical Information Cells I

abstract: In this study we explore the spontaneous apparition of visible intelligible reasoning in simple artificial networks, and we connect this experimental observation with a notion of semantic information. We start with the reproduction of a DNN model of natural neurons in monkeys, studied by Neromyliotis and Moschovakis in 2017 and 2018, to explain how "motor equivalent neurons", coding only for the action of pointing, are supplemented by other neurons for specifying the actor of the action, the eye E, the hand H, or the eye and the hand together EH. There appear inner neurons performing a logical work, making intermediary proposition, for instance E V EH. Then, we remarked that adding a second hidden layer and choosing a symmetric metric for learning, the activities of the neurons become almost quantized and more informative. Using the work of Carnap and Bar-Hillel 1952, we define a measure of the logical value for collections of such cells. The logical score growths with the depth of the layer, i.e. the information on the output decision increases, which confirms a kind of bottleneck principle. Then we study a bit more complex tasks, a priori involving predicate logic. We compare the logic and the measured weights. This shows, for groups of neurons, a neat correlation between the logical score and the size of the weights. It exhibits a form of sparsity between the layers. The most spectacular result concerns the triples which can conclude for all conditions: when applying their weight matrices to their logical matrix, we recover the classification. This shows that weights precisely perform the proofs.


title: Why multiple hypothesis test corrections provide poor control of false positives in the real world

abstract: Most scientific disciplines use significance testing to draw conclusions about experimental or observational data. This classical approach provides a theoretical guarantee for controlling the number of false positives across a set of hypothesis tests, making it an appealing framework for scientists seeking to limit the number of false effects or associations that they claim to observe. Unfortunately, this theoretical guarantee applies to few experiments, and the true false positive rate (FPR) is much higher. Scientists have plenty of freedom to choose the error rate to control, the tests to include in the adjustment, and the method of correction, making strong error control difficult to attain. In addition, hypotheses are often tested after finding unexpected relationships or patterns, the data are analysed in several ways, and analyses may be run repeatedly as data accumulate. As a result, adjusted p-values are too small, incorrect conclusions are often reached, and results are harder to reproduce. In the following, I argue why the FPR is rarely controlled meaningfully and why shrinking parameter estimates is preferable to p-value adjustments.


title: Simultaneous Multiwavelength Flare Observations of EV Lacertae

abstract: We present the first results of our ongoing project conducting simultaneous multiwavelength observations of flares on nearby active M dwarfs. We acquired data of the nearby dM3.5e star EV Lac using 5 different observatories: NASA's Transiting Exoplanet Survey Satellite (TESS), NASA's Neil Gehrels Swift Observatory (\textit{Swift}), NASA's Neutron Interior Composition Explorer (NICER), the University of Hawaii 2.2-m telescope (UH88) and the Las Cumbres Observatory Global Telescope (LCOGT) Network. During the $\sim$25 days of TESS observations, we acquired three simultaneous UV/X-ray observations using \textit{Swift} that total $\sim$18 ks, 21 simultaneous epochs totaling $\sim$98 ks of X-ray data using NICER, one observation ($\sim$ 3 hours) with UH88, and one observation ($\sim$ 3 hours) with LCOGT. We identified 56 flares in the TESS light curve with estimated energies in the range log $E_{\rm T}$ (erg) = (30.5 - 33.2), nine flares in the \textit{Swift} UVM2 light curve with estimated energies in the range log $E_{UV}$ (erg) = (29.3 - 31.1), 14 flares in the NICER light curve with estimated minimum energies in the range log $E_{N}$ (erg) = (30.5 - 32.3), and 1 flare in the LCOGT light curve with log $E_{L}$ (erg) = 31.6. We find that the flare frequency distributions (FFDs) of TESS and NICER flares have comparable slopes, $\beta_{T}$ = -0.67$\pm$0.09 and $\beta_{N}$ = -0.65$\pm$0.19, and the FFD of UVOT flares has a shallower slope ($\beta_{U}$ = -0.38$\pm$0.13). Furthermore, we do not find conclusive evidence for either the first ionization potential (FIP) or the inverse FIP effect during coronal flares on EV Lac.


title: A Large-scale Temporal Measurement of Android Malicious Apps: Persistence, Migration, and Lessons Learned

abstract: We study the temporal dynamics of potentially harmful apps (PHAs) on Android by leveraging 8.8M daily on-device detections collected among 11.7M customers of a popular mobile security product between 2019 and 2020. We show that the current security model of Android, which limits security products to run as regular apps and prevents them from automatically removing malicious apps opens a significant window of opportunity for attackers. Such apps warn users about the newly discovered threats, but users do not promptly act on this information, allowing PHAs to persist on their device for an average of 24 days after they are detected. We also find that while app markets remove PHAs after these become known, there is a significant delay between when PHAs are identified and when they are removed: PHAs persist on Google Play for 77 days on average and 34 days on third party marketplaces. Finally, we find evidence of PHAs migrating to other marketplaces after being removed on the original one. This paper provides an unprecedented view of the Android PHA landscape, showing that current defenses against PHAs on Android are not as effective as commonly thought, and identifying multiple research directions that the security community should pursue, from orchestrating more effective PHA takedowns to devising better alerts for mobile security products.


title: FedPAGE: A Fast Local Stochastic Gradient Method for Communication-Efficient Federated Learning

abstract: Federated Averaging (FedAvg, also known as Local-SGD) (McMahan et al., 2017) is a classical federated learning algorithm in which clients run multiple local SGD steps before communicating their update to an orchestrating server. We propose a new federated learning algorithm, FedPAGE, able to further reduce the communication complexity by utilizing the recent optimal PAGE method (Li et al., 2021) instead of plain SGD in FedAvg. We show that FedPAGE uses much fewer communication rounds than previous local methods for both federated convex and nonconvex optimization. Concretely, 1) in the convex setting, the number of communication rounds of FedPAGE is $O(\frac{N^{3/4}}{S\epsilon})$, improving the best-known result $O(\frac{N}{S\epsilon})$ of SCAFFOLD (Karimireddy et al.,2020) by a factor of $N^{1/4}$, where $N$ is the total number of clients (usually is very large in federated learning), $S$ is the sampled subset of clients in each communication round, and $\epsilon$ is the target error; 2) in the nonconvex setting, the number of communication rounds of FedPAGE is $O(\frac{\sqrt{N}+S}{S\epsilon^2})$, improving the best-known result $O(\frac{N^{2/3}}{S^{2/3}\epsilon^2})$ of SCAFFOLD (Karimireddy et al.,2020) by a factor of $N^{1/6}S^{1/3}$, if the sampled clients $S\leq \sqrt{N}$. Note that in both settings, the communication cost for each round is the same for both FedPAGE and SCAFFOLD. As a result, FedPAGE achieves new state-of-the-art results in terms of communication complexity for both federated convex and nonconvex optimization.


title: On the number of integer non-negative solutions of a linear Diophantine equation

abstract: We deal with the problem to find the number $P(b)$ of integer non-negative solutions of an equation $\sum_{i=1}^{n} a_i x_i=b$, where $a_1,a_2,...,a_n$ are natural numbers and $b$ is a non-negative integer. As different from the traditional methods of investigation of the function $P(b)$, in our study we do not employ the techniques of number series theory, but use in the main the properties of the Kronecker function and the elements of combinatorics. The formula is derived to express $P(b)$, for an integer non-negative $b$, via $P(r)$, $P(r+M)$,..., $P(r+(s-1)M)$ when $s\neq 0$, where $s=\left[ n-\dfrac{\sum_{i=1}^{n}a_i+r}{M} \right]$ and takes quite small values in some particular cases; $M$ is the least common multiple of the numbers $a_1,a_2,\ldots,a_n$, and $r$ is the remainder of $b$ modulo $M$. Also, the recurrent formulas are derived to calculate $P(b)$, for any non-negative integer $b$, which, in particular, are used in finding $P(r)$, $P(r+M)$,..., $P(r+(s-1)M)$. For the case where $s=0$ and $a_1$, $a_2$,..., $a_n$ are coprime, the explicit formula $P(b)=\dfrac{M^{n-1}}{a_1a_2\ldots a_n}C^{n-1}_{\left[\dfrac{b}{M}\right]+n-1}$ is given. To illustrate the proposed method, examples of finding the function $P(b)$ for linear Diophantine equations with $2,3,7$ and $n$ variables are given.


title: The Sticky Matroid Conjecture

abstract: We show Kantor's conjecture (1974) holds in rank 4. This proves both the sticky matroid conjecture of Poljak and Turzik (1982) and the whole Kantor's conjecture, due to an argument of Bachem, Kern, and Bonin, and an equivalence argument of Hochstattler and Wilhelmi, respectively.


title: Real-time dynamics of the photoinduced topological state in organic conductor $\alpha$-(BEDT-TTF)$_2$I$_3$ under continuous-wave and pulse excitations

abstract: We theoretically study the real-time dynamics of the photoinduced topological phase transition to a nonequilibrium Floquet Chern insulator in an organic conductor $\alpha$-(BEDT-TTF)$_2$I$_3$, which was recently predicted using the Floquet theory. By using a tight-binding model of $\alpha$-(BEDT-TTF)$_2$I$_3$ that hosts a pair of tilted Dirac-cone bands at the Fermi level, we solve the time-dependent Schr\"odinger equation and obtained time evolutions of physical quantities for continuous-wave and pulse excitations with circularly polarized light. We demonstrate that, for the continuous-wave excitations, time profiles of the Chern number and the Hall conductivity show indications of the Floquet topological insulator. We argue that the Hall conductivity exhibits a slow oscillation with its frequency corresponding to a photoinduced direct gap determined by the Floquet band structure. With pulse excitations, transient excitation spectra are obtained, from which we infer the formation of Floquet bands and the gap opening at the Dirac point during the pulse irradiation. This dynamical gap formation is also manifested by the slow oscillation component of the Hall conductivity; that is, its frequency increases with time toward the pulse peak at which it nearly coincides with the photoinduced direct gap. The relevance of the results to experiments is also discussed.


title: Fast Optimization of Impulsive Perturbed Orbit Rendezvous with Finite Iterations

abstract: A novel fast multi-impulse optimization method for long-duration perturbed orbit rendezvous is proposed. First, based on the analytically estimated impulses, the terminal rendezvous deviation with precise dynamics model can be predicted. Then, an analytical correction to the impulses using the deviations of orbit elements can be calculated based on the analytical J2 perturbed dynamics equation of a circular orbit. The iteration process repeating prediction and correction is then designed to quickly obtain a precise solution and trajectory. The simulation results proved that the iteration method adapts well to the analytical dynamics and high-precision dynamics. The deviation could always converge within five iterations.


title: Multi-Valued Cognitive Maps: Calculations with Linguistic Variables without Using Numbers

abstract: A concept of multi-valued cognitive maps is introduced in this paper. The concept expands the fuzzy one. However, all variables and weights are not linearly ordered in the concept, but are only partially-ordered. Such an ap- proach allows us to operate in cognitive maps with partially-ordered linguis- tic variables directly, without vague fuzzification/defuzzification methods. Hence, we may consider more subtle differences in degrees of experts' uncer- tainty, than in the fuzzy case. We prove the convergence of such cognitive maps and give a simple computational example which demonstrates using such a partially-ordered uncertainty degree scale.


title: Hessian estimates for the conjugate heat equation coupled with the Ricci flow

abstract: In this short note we obtain some local and global upper bounds for the Hessian of a positive solution to the conjugate heat equation coupled with the Ricci flow.


title: $L^2$ estimates of trilinear oscillatory integrals of convolution type on $\mathbb{R}^2$

abstract: This paper is devoted to $L^2$ estimates for trilinear oscillatory integrals of convolution type on $\mathbb{R}^2$. The phases in the oscillatory factors include smooth functions and polynomials. We shall establish sharp $L^2$ decay estimates of trilinear oscillatory integrals with smooth phases, and then give $L^2$ uniform estimates for these integrals with polynomial phases.


title: Imitation Learning by Reinforcement Learning

abstract: Imitation learning algorithms learn a policy from demonstrations of expert behavior. We show that, for deterministic experts, imitation learning can be done by reduction to reinforcement learning with a stationary reward. Our theoretical analysis both certifies the recovery of expert reward and bounds the total variation distance between the expert and the imitation learner, showing a link to adversarial imitation learning. We conduct experiments which confirm that our reduction works well in practice for continuous control tasks.


title: Edge Forcing in Butterfly Networks

abstract: A zero forcing set is a set $S$ of vertices of a graph $G$, called forced vertices of $G$, which are able to force the entire graph by applying the following process iteratively: At any particular instance of time, if any forced vertex has a unique unforced neighbor, it forces that neighbor. In this paper, we introduce a variant of zero forcing set that induces independent edges and name it as edge-forcing set. The minimum cardinality of an edge-forcing set is called the edge-forcing number. We prove that the edge-forcing problem of determining the edge-forcing number is NP-complete. Further, we study the edge-forcing number of butterfly networks. We obtain a lower bound on the edge-forcing number of butterfly networks and prove that this bound is tight for butterfly networks of dimensions 2, 3, 4 and 5 and obtain an upper bound for the higher dimensions.


title: Asymptotic Expansion of the Elastic Far-Field of a Crystalline Defect

abstract: Lattice defects in crystalline materials create long-range elastic fields which can be modelled on the atomistic scale using an infinite system of discrete nonlinear force balance equations. Starting with these equations, this work rigorously derives a novel far-field expansion of these fields: The expansion is computable and is expressed as a sum of continuum correctors and discrete multipole terms which decay with increasing algebraic rate as the order of the expansion increases. Truncating the expansion leaves a remainder describing the defect core structure, which is localised in the sense that it decays with an algebraic rate corresponding to the order at which the truncation occurred.


title: Falling for Phishing: An Empirical Investigation into People's Email Response Behaviors

abstract: Despite sophisticated phishing email detection systems, and training and awareness programs, humans continue to be tricked by phishing emails. In an attempt to better understand why phishing email attacks still work and how best to mitigate them, we have carried out an empirical study to investigate people's thought processes when reading their emails. We used a scenario-based role-play "think aloud" method and follow-up interviews to collect data from 19 participants. The experiment was conducted using a simulated web email client, and real phishing and legitimate emails adapted to the given scenario. The analysis of the collected data has enabled us to identify eleven factors that influence people's response decisions to both phishing and legitimate emails. Furthermore, based on the user study findings, we discuss novel insights into flaws in the general email decision-making behaviors that could make people susceptible to phishing attacks.


title: Symmetries and Riemann Invariants

abstract: To establish a relation between two approaches to the construction of Riemann k-wave solutions of hydrodynamic-type systems, namely the symmetry reduction method and the generalized method of characteristics.


title: Sharp critical and subcritical trace Trudinger-Moser and Adams inequalities on the upper half spaces

abstract: In this paper, we establish the sharp critical and subcritical trace Trudinger-Moser and Adams inequalities on the half spaces and prove the existence of their extremals through the method based on the Fourier rearrangement, harmonic extension and scaling invariance. These trace Trudinger-Moser and Adams inequalities can be considered as the borderline case of the Sobolev trace inequalities of first and higher orders. Furthermore, we show the existence of the least energy solutions for a class of bi-harmonic equations with nonlinear Neumann boundary condition associated with the trace Adams inequalities.


title: On the Foundations of Grounding in Answer Set Programming

abstract: We provide a comprehensive elaboration of the theoretical foundations of variable instantiation, or grounding, in Answer Set Programming (ASP). Building on the semantics of ASP's modeling language, we introduce a formal characterization of grounding algorithms in terms of (fixed point) operators. A major role is played by dedicated well-founded operators whose associated models provide semantic guidance for delineating the result of grounding along with on-the-fly simplifications. We address an expressive class of logic programs that incorporates recursive aggregates and thus amounts to the scope of existing ASP modeling languages. This is accompanied with a plain algorithmic framework detailing the grounding of recursive aggregates. The given algorithms correspond essentially to the ones used in the ASP grounder gringo.


title: Examining correlation between trust and transparency with explainable artificial intelligence

abstract: Trust between humans and artificial intelligence(AI) is an issue which has implications in many fields of human computer interaction. The current issue with artificial intelligence is a lack of transparency into its decision making, and literature shows that increasing transparency increases trust. Explainable artificial intelligence has the ability to increase transparency of AI, which could potentially increase trust for humans. This paper attempts to use the task of predicting yelp review star ratings with assistance from an explainable and non explainable artificial intelligence to see if trust is increased with increased transparency. Results show that for these tasks, explainable artificial intelligence provided significant increase in trust as a measure of influence.


title: Principles of spintronic THz emitters

abstract: Significant progress has been made in answering fundamental questions about how and, more importantly, on what time scales interactions between electrons, spins, and phonons occur in solid state materials. These complex interactions are leading to the first real applications of terahertz (THz) spintronics: THz emitters that can compete with traditional THz sources and provide additional functionalities enabled by the spin degree of freedom. This tutorial article is intended to provide the background necessary to understand, use, and improve THz spintronic emitters. A particular focus is the introduction of the physical effects that underlie the operation of spintronic THz emitters. These effects were, for the most part, first discovered through traditional spin-transport and spintronic studies. We therefore begin with a review of the historical background and current theoretical understanding of ultrafast spin physics that has been developed over the past twenty-five years. We then discuss standard experimental techniques for the characterization of spintronic THz emitters and - more broadly - ultrafast magnetic phenomena. We next present the principles and methods of the synthesis and fabrication of various types of spintronic THz emitters. Finally, we review recent developments in this exciting field including the integration of novel material platforms such as topological insulators as well as antiferromagnets and materials with unconventional spin textures.


title: Leopold Kronecker's "On Equations of Fifth Degree"

abstract: This is a translation of Kronecker's "\"Uber die Gleichungen f\"unften Grades" (On equations of fifth degree), excerpted from the monthly report to the Berlin Academy of Sciences from June 1861.


title: Taxonomy and Benchmarking of Precision-Scalable MAC Arrays Under Enhanced DNN Dataflow Representation

abstract: Reduced-precision and variable-precision multiply-accumulate (MAC) operations provide opportunities to significantly improve energy efficiency and throughput of DNN accelerators with no/limited algorithmic performance loss, paving a way towards deploying AI applications on resource-constraint edge devices. Accordingly, various precision-scalable MAC array (PSMA) architectures were proposed recently. However, it is difficult to make a fair comparison between those alternatives, as each proposed PSMA is demonstrated in different systems and technologies. This work aims to provide a clear view of the design space of PSMA and offer insights for selecting the optimal architectures based on designers' needs. First, we introduce a precision-enhanced for-loop representation for DNN dataflows. Next, we use this new representation towards a comprehensive PSMA taxonomy, capable of systematically covering most prominent state-of-the-art PSMAs, as well as uncovering new PSMA architectures. Following that, we build a highly parameterized PSMA template that can be design-time configured into a huge subset of the design space spanned by the taxonomy. This allows to fairly and thoroughly benchmark 72 different PSMA architectures. We perform such studies in 28nm technology targeting run-time precision scalability from 8 to 2 bits, operating at 200 MHz and 1 GHz. Analyzing resulting energy and area breakdowns reveals key design guidelines for PSMA architectures.


title: Derivative-Free Optimization of a Rapid-Cycling Synchrotron

abstract: We develop and solve a constrained optimization model to identify an integrable optics rapid-cycling synchrotron lattice design that performs well in several capacities. Our model encodes the design criteria into 78 linear and nonlinear constraints, as well as a single nonsmooth objective, where the objective and some constraints are defined from the output of Synergia, an accelerator simulator. We detail the difficulties of the 23-dimensional simulation-constrained decision space and establish that the space is nonempty. We use a derivative-free manifold sampling algorithm to account for structured nondifferentiability in the objective function. Our numerical results quantify the dependence of solutions on constraint parameters and the effect of the form of objective function.


title: SUNet: Symmetric Undistortion Network for Rolling Shutter Correction

abstract: The vast majority of modern consumer-grade cameras employ a rolling shutter mechanism, leading to image distortions if the camera moves during image acquisition. In this paper, we present a novel deep network to solve the generic rolling shutter correction problem with two consecutive frames. Our pipeline is symmetrically designed to predict the global shutter image corresponding to the intermediate time of these two frames, which is difficult for existing methods because it corresponds to a camera pose that differs most from the two frames. First, two time-symmetric dense undistortion flows are estimated by using well-established principles: pyramidal construction, warping, and cost volume processing. Then, both rolling shutter images are warped into a common global shutter one in the feature space, respectively. Finally, a symmetric consistency constraint is constructed in the image decoder to effectively aggregate the contextual cues of two rolling shutter images, thereby recovering the high-quality global shutter image. Extensive experiments with both synthetic and real data from public benchmarks demonstrate the superiority of our proposed approach over the state-of-the-art methods.


title: BioCode: A Data-Driven Procedure to Learn the Growth of Biological Networks

abstract: Probabilistic biological network growth models have been utilized for many tasks including but not limited to capturing mechanism and dynamics of biological growth activities, null model representation, capturing anomalies, etc. Well-known examples of these probabilistic models are Kronecker model, preferential attachment model, and duplication-based model. However, we should frequently keep developing new models to better fit and explain the observed network features while new networks are being observed. Additionally, it is difficult to develop a growth model each time we study a new network. In this paper, we propose BioCode, a framework to automatically discover novel biological growth models matching user-specified graph attributes in directed and undirected biological graphs. BioCode designs a basic set of instructions which are common enough to model a number of well-known biological graph growth models. We combine such instruction-wise representation with a genetic algorithm based optimization procedure to encode models for various biological networks. We mainly evaluate the performance of BioCode in discovering models for biological collaboration networks, gene regulatory networks, metabolic networks, and protein interaction networks which features such as assortativity, clustering coefficient, degree distribution closely match with the true ones in the corresponding real biological networks. As shown by the tests on the simulated graphs, the variance of the distributions of biological networks generated by BioCode is similar to the known models' variance for these biological network types.


title: Approximation and Error Analysis of Forward-Backward SDEs driven by General L\'evy Processes using Shot Noise Series Representations

abstract: We consider the simulation of a system of decoupled forward-backward stochastic differential equations (FBSDEs) driven by a pure jump L\'evy process $L$ and an independent Brownian motion $B$. We allow the L\'evy process $L$ to have an infinite jump activity. Therefore, it is necessary for the simulation to employ a finite approximation of its L\'evy measure. We use the generalized shot noise series representation method by Rosinski (2001) to approximate the driving L\'evy process $L$. We compute the $L^p$ error, $p\ge2$, between the true and the approximated FBSDEs which arises from the finite truncation of the shot noise series (given sufficient conditions for existence and uniqueness of the FBSDE). We also derive the $L^p$ error between the true solution and the discretization of the approximated FBSDE using an appropriate backward Euler scheme.


title: TESS Input Catalog versions 8.1 and 8.2: Phantoms in the 8.0 Catalog and How to Handle Them

abstract: We define various types of "phantom" stars that may appear in the TESS Input Catalog (TIC), and provide examples and lists of currently known cases. We present a methodology that can be used to check for phantoms around any object of interest in the TIC, and we present an approach for correcting the TIC-reported flux contamination factors accordingly. We checked all 2077 TESS Objects of Interest (TOIs) known as of July 21st 2020 (Sectors 1 to 24) and sent corrections for 291 stars to MAST where they are integrated into the publicly available TIC-8, updating it to TIC 8.1. We used the experience gained to construct an all-sky algorithm searching for "phantoms" which led to 34 million updates integrated into TIC 8.2.


title: Acoustically Manipulating Internal Structure of Disk-in-Sphere Endoskeletal Droplets

abstract: Manipulation of micro/nano particles has been well studied and demonstrated by optical, electromagnetic, and acoustic approaches, or their combinations. Manipulation of internal structure of droplet/particle is rarely explored and remains challenging due to its complicated nature. Here we demonstrated the manipulation of internal structure of disk-in-sphere endoskeletal droplets using acoustic wave for the first time. We developed a model to investigate the physical mechanisms behind this novel phenomenon. Theoretical analysis of the acoustic interactions indicated that these assembly dynamics arise from a balance of the primary and secondary radiation forces. Additionally, the disk orientation was found to change with acoustic driving frequency, which allowed on-demand, reversible adjusting disk orientations with respect to the substrate. This novel dynamic behavior leads to unique reversible arrangements of the endoskeletal droplets and their internal architecture, which may provide a new avenue for directed assembly of novel hierarchical colloidal architectures and intracellular organelles or intra-organoid structures.


title: Secure k-Anonymization over Encrypted Databases

abstract: Data protection algorithms are becoming increasingly important to support modern business needs for facilitating data sharing and data monetization. Anonymization is an important step before data sharing. Several organizations leverage on third parties for storing and managing data. However, third parties are often not trusted to store plaintext personal and sensitive data; data encryption is widely adopted to protect against intentional and unintentional attempts to read personal/sensitive data. Traditional encryption schemes do not support operations over the ciphertexts and thus anonymizing encrypted datasets is not feasible with current approaches. This paper explores the feasibility and depth of implementing a privacy-preserving data publishing workflow over encrypted datasets leveraging on homomorphic encryption. We demonstrate how we can achieve uniqueness discovery, data masking, differential privacy and k-anonymity over encrypted data requiring zero knowledge about the original values. We prove that the security protocols followed by our approach provide strong guarantees against inference attacks. Finally, we experimentally demonstrate the performance of our data publishing workflow components.


title: Single-Logarithmic Corrections to Small-$x$ Helicity Evolution

abstract: The small-$x$ quark helicity evolution equations at double-logarithmic order, with the kernel $\sim\alpha_s\ln^2(1/x)$, have been derived previously. In this work, we derive the single-logarithmic corrections to the equations, to order $\alpha_s\ln(1/x)$ of the evolution kernel. The new equations include the effects of the running coupling and the unpolarized small-$x$ evolution, both of which are parametrically significant at single-logarithmic order. The large-$N_c$ and large-$N_c\& N_f$ approximations to the equation are computed. (Here, $N_c$ and $N_f$ are the numbers of quark colors and flavors, respectively.) Their solutions will provide more precise estimates of the quark helicity distribution at small $x$, contributing to the resolution of the proton spin puzzle.


title: Bandit Algorithms for Precision Medicine

abstract: The Oxford English Dictionary defines precision medicine as "medical care designed to optimize efficiency or therapeutic benefit for particular groups of patients, especially by using genetic or molecular profiling." It is not an entirely new idea: physicians from ancient times have recognized that medical treatment needs to consider individual variations in patient characteristics. However, the modern precision medicine movement has been enabled by a confluence of events: scientific advances in fields such as genetics and pharmacology, technological advances in mobile devices and wearable sensors, and methodological advances in computing and data sciences. This chapter is about bandit algorithms: an area of data science of special relevance to precision medicine. With their roots in the seminal work of Bellman, Robbins, Lai and others, bandit algorithms have come to occupy a central place in modern data science ( Lattimore and Szepesvari, 2020). Bandit algorithms can be used in any situation where treatment decisions need to be made to optimize some health outcome. Since precision medicine focuses on the use of patient characteristics to guide treatment, contextual bandit algorithms are especially useful since they are designed to take such information into account. The role of bandit algorithms in areas of precision medicine such as mobile health and digital phenotyping has been reviewed before (Tewari and Murphy, 2017; Rabbi et al., 2019). Since these reviews were published, bandit algorithms have continued to find uses in mobile health and several new topics have emerged in the research on bandit algorithms. This chapter is written for quantitative researchers in fields such as statistics, machine learning, and operations research who might be interested in knowing more about the algorithmic and mathematical details of bandit algorithms that have been used in mobile health.


title: Data-Driven Abductive Inference of Library Specifications

abstract: Programmers often leverage data structure libraries that provide useful and reusable abstractions. Modular verification of programs that make use of these libraries naturally rely on specifications that capture important properties about how the library expects these data structures to be accessed and manipulated. However, these specifications are often missing or incomplete, making it hard for clients to be confident they are using the library safely. When library source code is also unavailable, as is often the case, the challenge to infer meaningful specifications is further exacerbated. In this paper, we present a novel data-driven abductive inference mechanism that infers specifications for library methods sufficient to enable verification of the library's clients. Our technique combines a data-driven learning-based framework to postulate candidate specifications, along with SMT-provided counterexamples to refine these candidates, taking special care to prevent generating specifications that overfit to sampled tests. The resulting specifications form a minimal set of requirements on the behavior of library implementations that ensures safety of a particular client program. Our solution thus provides a new multi-abduction procedure for precise specification inference of data structure libraries guided by client-side verification tasks. Experimental results on a wide range of realistic OCaml data structure programs demonstrate the effectiveness of the approach.


title: Improving the reliability of photometric redshift with machine learning

abstract: In order to answer the open questions of modern cosmology and galaxy evolution theory, robust algorithms for calculating photometric redshifts (photo-z) for very large samples of galaxies are needed. Correct estimation of the various photo-z algorithms' performance requires attention to both the performance metrics and the data used for the estimation. In this work, we use the supervised machine learning algorithm MLPQNA to calculate photometric redshifts for the galaxies in the COSMOS2015 catalogue and the unsupervised Self-Organizing Maps (SOM) to determine the reliability of the resulting estimates. We find that for spec-z<1.2, photo-z predictions are on the same level of quality as SED fitting photo-z. We show that the SOM successfully detects unreliable spec-z that cause biases in the estimation of the photo-z algorithms' performance. Additionally, we use SOM to select the objects with reliable photo-z predictions. Our cleaning procedures allow to extract the subset of objects for which the quality of the final photo-z catalogs is improved by a factor of two, compared to the overall statistics.


title: Subleading contributions to the decay width of the $T_{cc}^+$ tetraquark

abstract: Recently the LHCb collaboration has announced the discovery of the $T_{cc}^+$ tetraquark. Being merely a few hundred ${\rm keV}$ below the $D^{*+} D^0$ threshold, the $T_{cc}^+$ is expected to have a molecular component, for which there is a good separation of scales that can be exploited to make reasonably accurate theoretical predictions about this tetraquark. Independently of its nature, the most important decay channels will be $D^+ D^0 \pi^0$, $D^0 D^0 \pi^+$ and $D^+ D^0 \gamma$. Its closeness to threshold suggests that the mass and particularly the width of the $T_{cc}^+$ tetraquark depend on the resonance profile. While the standard Breit-Wigner parametrization generates a $T_{cc}^+$ that is too broad for current theoretical calculations to reproduce, a three-body unitarized Breit-Wigner shape reveals instead a decay width ($\Gamma_{\rm pole} = 48\pm 2\,{}^{+0}_{-12}\,{\rm keV}$) consistent with theoretical expectations. Here we consider subleading order contributions to the decay amplitude, which though having at most a moderate impact in the width still indicate potentially significant differences with the experimental width that can be exploited to disentangle the nature of the $T_{cc}^+$. Concrete calculations yield $\Gamma^{\rm LO} = 49 \pm 16\,{\rm keV}$ and $\Gamma^{\rm NLO} = 58^{+7}_{-6}\,{\rm keV}$, though we expect further corrections to the ${\rm NLO}$ decay widths from asymptotic normalization effects. We find that a detailed comparison of the ${\rm NLO}$ total and partial decay widths with experiment suggests the existence of a small (but distinguishable from zero) non-molecular component of the $T_{cc}^+$.


title: Tangled Paths: A Random Graph Model from Mallows Permutations

abstract: We introduce the random graph $\mathcal{P}(n,q)$ which results from taking the union of two paths of length $n\geq 1$, where the vertices of one of the paths have been relabelled according to a Mallows permutation with parameter $0<q(n)\leq 1$. This random graph model, the tangled path, goes through an evolution: if $q$ is close to $0$ the graph bears resemblance to a path, and as $q$ tends to $1$ it becomes an expander. In an effort to understand the evolution of $\mathcal{P}(n,q)$ we determine the treewidth and cutwidth of $\mathcal{P}(n,q)$ up to log factors for all $q$. We also show that the property of having a separator of size one has a sharp threshold. In addition, we prove bounds on the diameter, and vertex isoperimetric number for specific values of $q$.


title: Analyzing Effects of The COVID-19 Pandemic on Road Traffic Safety: The Cases of New York City, Los Angeles, and Boston

abstract: The COVID-19 pandemic has resulted in significant social and economic impacts throughout the world. In addition to the health consequences, the impacts on traffic behaviors have also been sudden and dramatic. We have analyzed how the road traffic safety of New York City, Los Angeles, and Boston in the U.S. have been impacted by the pandemic and corresponding local government orders and restrictions. To be specific, we have studied the accident hotspots' distributions before and after the outbreak of the pandemic and found that traffic accidents have shifted in both location and time compared to previous years. In addition, we have studied the road network characteristics in those hotspot regions with the hope to understand the underlying cause of the hotspot shifts.


title: Emergence of synergistic and competitive pathogens in a co-evolutionary spreading mode

abstract: Cooperation and competition between pathogens can alter the amount of individuals affected by a co-infection. Nonetheless, the evolution of the pathogens' behavior has been overlooked. Here, we consider a co-evolutionary model where the simultaneous spreading is described by a two-pathogen susceptible-infected-recovered model in an either synergistic or competitive manner. At the end of each epidemic season, the pathogens species reproduce according to their fitness that, in turn, depends on the payoff accumulated during the spreading season in a hawk-and-dove game. This co-evolutionary model displays a rich set of features. Specifically, the evolution of the pathogens' strategy induces abrupt transitions in the epidemic prevalence. Furthermore, we observe that the long-term dynamics results in a single, surviving pathogen species, and that the cooperative behavior of pathogens can emerge even under unfavorable conditions.


title: Multi-parameter Carleson embeddings for $p\neq 2$ on $T^2$ or for $p=2$ on $T^4$, and why the proofs fail

abstract: This note contains a plethora of counterexamples to attempts to generalize the results of bi-parameter embedding from $p=2$ case to either $p>2$ or $p<2$. This is in striking difference to $p=2$ case that was fully understood in the series of papers \cite{AMPS}, \cite{AMPVZ-K}, \cite{MPVZ1}, \cite{MPVZ2}, \cite{AHMV}, \cite{MPV}. We also build a counterexample to small energy majorization on bi-tree. This counterexample shows that straightforward generalizations of methods of \cite{AMPVZ-K}, \cite{MPVZ1}, \cite{MPVZ2}, \cite{AHMV} from $2$-tree $T^2$ or $3$-tree $T^3$ to $4$-tree $T^4$ will not work even for $p=2$ unless some new approach is invented.


title: Assembly and coherent control of a register of nuclear spin qubits

abstract: We introduce an optical tweezer platform for assembling and individually manipulating a two-dimensional register of nuclear spin qubits. Each nuclear spin qubit is encoded in the ground $^{1}S_{0}$ manifold of $^{87}$Sr and is individually manipulated by site-selective addressing beams. We observe that spin relaxation is negligible after 5 seconds, indicating that $T_1\gg5$ s. Furthermore, utilizing simultaneous manipulation of subsets of qubits, we demonstrate significant phase coherence over the entire register, estimating $T_2^\star = \left(21\pm7\right)$ s and measuring $T_2^\text{echo}=\left(42\pm6\right)$ s.


title: Improving MATLAB's isprime performance without arbitrary-precision arithmetic

abstract: MATLAB is a numerical computing platform used by scientists, engineers, mathematicians, and students which contains many mathematical functions, including isprime. MATLAB's isprime function determines which elements of an input array are prime. This research details modular arithmetic techniques, the Miller-Rabin primality test, vectorized operations, and division-minimizing strategies which harness the power of MATLAB's capabilities to improve isprime's performance. The results are typically 5 to 10 times faster for small integers and many hundreds of times faster for large integers and long arrays.


title: Learning Autonomous Mobility Using Real Demonstration Data

abstract: This work proposed an efficient learning-based framework to learn feedback control policies from human teleoperated demonstrations, which achieved obstacle negotiation, staircase traversal, slipping control and parcel delivery for a tracked robot. Due to uncertainties in real-world scenarios, eg obstacle and slippage, closed-loop feedback control plays an important role in improving robustness and resilience, but the control laws are difficult to program manually for achieving autonomous behaviours. We formulated an architecture based on a long-short-term-memory (LSTM) neural network, which effectively learn reactive control policies from human demonstrations. Using datasets from a few real demonstrations, our algorithm can directly learn successful policies, including obstacle-negotiation, stair-climbing and delivery, fall recovery and corrective control of slippage. We proposed decomposition of complex robot actions to reduce the difficulty of learning the long-term dependencies. Furthermore, we proposed a method to efficiently handle non-optimal demos and to learn new skills, since collecting enough demonstration can be time-consuming and sometimes very difficult on a real robotic system.


title: A class of sets in a Banach space coarser than limited sets

abstract: A wide new class of subsets of a Banach space $X$ named coarse $p$-limited sets ($ 1\leq p < \infty$) is introduced by considering weak* $p$-summable sequences in $X'$ instead of weak* null sequences. We study its basic properties and compare it with the class of compact and weakly compact sets. Results concerning the relationship of coarse $p$-limited sets with operators are obtained.


title: A fully discrete low-regularity integrator for the nonlinear Schr\"odinger equation

abstract: For the solution of the cubic nonlinear Schr\"odinger equation in one space dimension, we propose and analyse a fully discrete low-regularity integrator. The scheme is explicit and can easily be implemented using the fast Fourier transform with a complexity of $\mathcal{O}(N\log N)$ operations per time step, where $N$ denotes the degrees of freedom in the spatial discretisation. We prove that the new scheme provides an $\mathcal{O}(\tau^{\frac32\gamma-\frac12-\varepsilon}+N^{-\gamma})$ error bound in $L^2$ for any initial data belonging to $H^\gamma$, $\frac12<\gamma\leq 1$, where $\tau$ denotes the temporal step size. Numerical examples illustrate this convergence behavior.


title: A Computational Method for Studying Vibrational Mode Dynamics

abstract: The traditional picture of heat transfer in solids by atomic vibrations, also known as phonons, involves phonons scattering with each other like gas particles and is commonly referred to as the phonon gas model (PGM). This physical picture accounts for interactions among propagating (i.e., plane wave modulated) vibrational modes in an ideal crystal, but it becomes problematic when describing non-propagating modes arising in realistic non-idealized systems. Here, we introduce a more general formalism for studying phonon transport, which involves projection of the interatomic interactions themselves (i.e., not just the atom motion), onto the normal modes of the system. This shows, for the first time, how energy is exchanged between modes in real-time during molecular dynamics (MD) simulations, as opposed to other MD methods which use inferences based on correlations, or other time averaged schemes that do not preserve specific features in the real-time dynamics. Applying this formalism to the example case of modes interacting in a superlattice, we illustrate a new perspective on how phonon transport occurs, whereby individual normal modes share energy through specific channels of interaction with other modes. We also highlight that while a myriad of interaction pathways exist, only a tiny fraction of these pathways actually transfer significant amounts of energy, which is surprising. The approach allows for the prediction and simulation of these mode/phonon interactions, thus unveiling the real-time dynamics of phonon behavior and advancing our ability to understanding and engineer phonon transport.


title: Constructivism versus Cognitive Load Theory: In Search for an Effective Mathematics Teaching

abstract: Two major learning theories have dominated recent literature on optimizing knowledge acquisition: constructivism and cognitive load theory. Constructivism, on the one hand, gives preeminent value to the development of students' self-regulated process of constructing mathematical concepts. Its basic tenet is that students acquire their own mathematical understanding by constructing them from the inside rather than by internalizing them from the outside. Cognitive load theory, on the other hand, suggests that the free exploration of a highly complex environment may cause a heavy working memory load and led to poorer learning. Advocates of this view further argue that constructivist strategies provide learners with information that exceeds their working memory capacity, and thus fail to efficiently guide learners' acquisition of mathematical knowledge. The current study describes the elements of constructivism theory and their cognitive basis and show how they can be aligned with the structures that constitute human cognitive architecture. More specifically, we present several ways in which cognitive load can be managed by these elements and so facilitate mathematical learning.


title: Analytical Modeling of $I-V$ characteristics using 2D Poisson Equations in AlN/$\beta$-Ga$_2$O$_3$ HEMT

abstract: In this paper, physics-based analytical models using two-dimensional (2D) Poisson equations for surface potential, channel potential, electric field, and drain current in AlN/$\beta$-Ga$_2$O$_3$ high electron mobility transistor (HEMT) is presented. The analytical expression of different quantities is achieved based on full depletion approximation of the AlN barrier layer and polarization charge induced unified two-dimensional electron gas (2DEG) charge density model. For the validation of the developed model, results are compared with 2D numerical simulation results, and a good consistency is found between the two. The drain current model is also validated with experimental results of a similar dimension device. The developed model can be a good reference for different $\beta$-Ga$_2$O$_3$-based HEMTs.


title: Pointwise distance distributions of periodic point sets

abstract: The fundamental model of all solid crystalline materials (periodic crystals) is a periodic set of atomic centers considered up to rigid motion in Euclidean space. The major obstacle to materials discovery was highly ambiguous representations that didn't allow fast and reliable comparisons, and led to numerous (near-) duplicates in all experimental databases. This paper introduces the new invariants that are crystal descriptors without false negatives and are called Pointwise Distance Distributions (PDD). The PDD invariants are numerical matrices with a near-linear time complexity and an exactly computable metric. The strongest theoretical result is generic completeness (absence of false positives) for all finite and periodic sets of points in any dimension. The strength of PDD is demonstrated by 200B+ pairwise comparisons of all 660K+ periodic structures from the world's largest Cambridge Structural Database of 1.17M+ known crystals over two days on a modest desktop.


title: Nucleation rate in the two dimensional Ising model in the presence of random impurities

abstract: Nucleation phenomena are ubiquitous in nature and the presence of impurities in every real and experimental system is unavoidable. Yet numerical studies of nucleation are nearly always conducted for entirely pure systems. We have studied the behaviour of the droplet free energy in two dimensional Ising model in the presence of randomly positioned static and dynamic impurities. We have shown that both the free energy barrier height and critical nucleus size monotonically decreases with increasing the impurity density for the static case. We have compared the nucleation rates obtained from Classical Nucleation Theory and the Forward Flux Sampling method for different densities of the static impurities. The results show good agreement. In the case of dynamic impurities, we observe preferential occupancy the impurities at the boundary positions of the nucleus when the temperature is low. This further boosts enhancement of the nucleation rate due to lowering of the effective interfacial free energy.


title: Meta-repository of screening mammography classifiers

abstract: Artificial intelligence (AI) is showing promise in improving clinical diagnosis. In breast cancer screening, recent studies show that AI has the potential to improve early cancer diagnosis and reduce unnecessary workup. As the number of proposed models and their complexity grows, it is becoming increasingly difficult to re-implement them. To enable reproducibility of research and to enable comparison between different methods, we release a meta-repository containing models for classification of screening mammograms. This meta-repository creates a framework that enables the evaluation of AI models on any screening mammography data set. At its inception, our meta-repository contains five state-of-the-art models with open-source implementations and cross-platform compatibility. We compare their performance on seven international data sets. Our framework has a flexible design that can be generalized to other medical image analysis tasks. The meta-repository is available at https://www.github.com/nyukat/mammography_metarepository.


title: Lectures on Celestial Amplitudes

abstract: Lecture notes prepared for the 2021 SAGEX PhD School in Amplitudes hosted by the University of Copenhagen August 10th through 13th. Topics covered include: the manifestation of asymptotic symmetries via soft theorems, their organization into currents in a celestial CFT, aspects of the holographic dictionary, a literature guide, and accompanying exercises.


title: Effects of sampling and horizon in predictive reinforcement learning

abstract: Plain reinforcement learning (RL) may be prone to loss of convergence, constraint violation, unexpected performance, etc. Commonly, RL agents undergo extensive learning stages to achieve acceptable functionality. This is in contrast to classical control algorithms which are typically model-based. An direction of research is the fusion of RL with such algorithms, especially model-predictive control (MPC). This, however, introduces new hyper-parameters related to the prediction horizon. Furthermore, RL is usually concerned with Markov decision processes. But the most of the real environments are not time-discrete. The factual physical setting of RL consists of a digital agent and a time-continuous dynamical system. There is thus, in fact, yet another hyper-parameter -- the agent sampling time. In this paper, we investigate the effects of prediction horizon and sampling of two hybrid RL-MPC-agents in a case study with a mobile robot parking, which is in turn a canonical control problem. We benchmark the agents with a simple variant of MPC. The sampling showed a kind of a "sweet spot" behavior, whereas the RL agents demonstrated merits at shorter horizons.


title: Data Acquisition System for a Distributed Smartphone Cosmic Ray Observatory

abstract: A scientific instrument comprised of a global network of millions of independent, connected, remote devices presents unique data acquisition challenges. We describe the software design of a mobile application which collects data from smartphone cameras without overburdening the phone's CPU or battery. The deployed software automatically calibrates to heterogeneous hardware targets to improve the quality and manage the rate of data transfer, and connects to a cloud-based data acquisition system which can manage and refine the operation of the network.


title: Non-hermiticity in spintronics: oscillation death in coupled spintronic nano-oscillators through emerging exceptional points

abstract: The emergence of exceptional points (EPs) in the parameter space of a non-hermitian (2D) eigenvalue problem is studied in a general sense in mathematical physics, and has in the last decade successively reached the scope of experiments. In coupled systems, it gives rise to unique physical phenomena, which enable novel approaches for the development of seminal types of highly sensitive sensors. Here, we demonstrate at room temperature the emergence of EPs in coupled spintronic nanoscale oscillators and hence exploit the system's non-hermiticity. We describe the observation of amplitude death of self-oscillations and other complex dynamics, and develop a linearized non-hermitian model of the coupled spintronic system, which properly describes the main experimental features. Interestingly, these spintronic nanoscale oscillators are deployment-ready in different applicational technologies, such as field, current or rotation sensors, radiofrequeny and wireless devices and, more recently, novel neuromorphic hardware solutions. Their unique and versatile properties, notably their large nonlinear behavior, open up unprecedented perspectives in experiments as well as in theory on the physics of exceptional points. Furthermore, the exploitation of EPs in spintronics devises a new paradigm for ultrasensitive nanoscale sensors and the implementation of complex dynamics in the framework of non-conventional computing.


title: Riemannian submersions for q-entropies

abstract: In an attempt to find the dynamical foundations for $q$-entropies, we examine the special case of Lagrangian/Hamiltonian systems of many degrees of freedom whose statistical behavior is conjecturally described by the $q$-entropic functionals. We follow the spirit of the canonical ensemble approach. We consider the system under study as embedded in a far larger total system. We explore some of the consequences that such an embedding has, if it is modelled by a Riemannian submersion. We point out the significance in such a description of the finite-dimensional Bakry-\'{E}mery Ricci tensor, as a local mesoscopic invariant, for understanding the collective dynamical behavior of systems described by the $q$-entropies.

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


title: Conformal Description of Near-Horizon Vacuum States

abstract: Motivated by recent work suggesting observably large spacetime fluctuations in the causal development of an empty region of flat space, we conjecture that these metric fluctuations can be quantitatively described in terms of a conformal field theory of near-horizon vacuum states. One consequence of this conjecture is that fluctuations in the modular Hamiltonian $\Delta K$ of a causal diamond are equal to the entanglement entropy: $\langle \Delta K^2 \rangle = \langle K \rangle = \frac{A(\Sigma_{d-2})}{4 G_d}$, where $A(\Sigma_{d-2})$ is the area of the entangling surface in $d$ dimensions. Our conjecture applies to flat space, the cosmological horizon of dS, and AdS Ryu-Takayanagi diamonds, but not to large finite area diamonds in the bulk of AdS. We focus on three pieces of quantitative evidence, from a Randall-Sundrum II braneworld, from the conformal description of black hole horizons, and from the fluid-gravity correspondence. Our hypothesis also suggests that a broader range of formal results can be brought to bear on observables in flat and dS spaces.


title: Zero-free regions near a line

abstract: We analyze metrics for how close an entire function of genus one is to being real rooted. These metrics arise from truncated Hankel matrix positivity-type conditions built from power series coefficients at each real point. Specifically, if such a function satisfies our positivity conditions and has well-spaced zeros, we show that all of its zeros have to (in some explicitly quantified sense) be far away from the real axis. The obvious interesting example arises from the Riemann zeta function, where our positivity conditions yield a family of relaxations of the Riemann hypothesis. One might guess that as we tighten our relaxation, the zeros of the zeta function must be close to the critical line. We show that the opposite occurs: any potential complex zeros are forced to be farther and farther away from the critical line.


title: Polaritons in two-dimensional parabolic waveguides

abstract: The suite of highly confined polaritons supported by two-dimensional (2D) materials constitutes a versatile platform for nano-optics, offering the means to channel light on deep-subwavelength scales. Graphene, in particular, has attracted considerable interest due to its ability to support long-lived plasmons that can be actively tuned via electrical gating. While the excellent optoelectronic properties of graphene are widely exploited in plasmonics, its mechanical flexibility remains relatively underexplored in the same context. Here, we present a semi-analytical formalism to describe plasmons and other polaritons supported in waveguides formed by bending a 2D material into a parabolic shape. Specifically, for graphene parabolas, our theory reveals that the already large field confinement associated with graphene plasmons can be substantially increased by bending an otherwise flat graphene sheet into a parabola shape, thereby forming a plasmonic waveguide without introducing potentially lossy edge terminations via patterning. Further, we show that the high field confinement associated with such channel polaritons in 2D parabolic waveguides can enhance the spontaneous emission rate of a quantum emitter near the parabola vertex. Our findings apply generally to 2D polaritons in atomically thin materials deposited onto grooves or wedges prepared on a substrate or freely suspended in a quasi-parabolic (catenary) shape. We envision that both the optoelectronic and mechanical flexibility of 2D materials can be harnessed in tandem to produce 2D channel polaritons with versatile properties that can be applied to a wide range of nano-optics functionalities, including subwavelength polaritonic circuitry and bright single-photon sources.


title: Spiderweb nanomechanical resonators via Bayesian optimization: inspired by nature and guided by machine learning

abstract: From ultra-sensitive detectors of fundamental forces to quantum networks and sensors, mechanical resonators are enabling next-generation technologies to operate in room temperature environments. Currently, silicon nitride nanoresonators stand as a leading microchip platform in these advances by allowing for mechanical resonators whose motion is remarkably isolated from ambient thermal noise. However, to date, human intuition has remained the driving force behind design processes. Here, inspired by nature and guided by machine learning, a spiderweb nanomechanical resonator is developed that exhibits vibration modes which are isolated from ambient thermal environments via a novel "torsional soft-clamping" mechanism discovered by the data-driven optimization algorithm. This bio-inspired resonator is then fabricated; experimentally confirming a new paradigm in mechanics with quality factors above 1 billion in room temperature environments. In contrast to other state-of-the-art resonators, this milestone is achieved with a compact design which does not require sub-micron lithographic features or complex phononic bandgaps, making it significantly easier and cheaper to manufacture at large scales. Here we demonstrate the ability of machine learning to work in tandem with human intuition to augment creative possibilities and uncover new strategies in computing and nanotechnology.


title: Khovanov homology and exotic surfaces in the 4-ball

abstract: We show that the cobordism maps on Khovanov homology can distinguish smooth surfaces in the 4-ball that are exotically knotted (i.e., isotopic through ambient homeomorphisms but not ambient diffeomorphisms). We develop new techniques for distinguishing cobordism maps on Khovanov homology, drawing on knot symmetries and braid factorizations. We also show that Plamenevskaya's transverse invariant in Khovanov homology is preserved by maps induced by positive ascending cobordisms.


title: Binary Complex Neural Network Acceleration on FPGA

abstract: Being able to learn from complex data with phase information is imperative for many signal processing applications. Today' s real-valued deep neural networks (DNNs) have shown efficiency in latent information analysis but fall short when applied to the complex domain. Deep complex networks (DCN), in contrast, can learn from complex data, but have high computational costs; therefore, they cannot satisfy the instant decision-making requirements of many deployable systems dealing with short observations or short signal bursts. Recent, Binarized Complex Neural Network (BCNN), which integrates DCNs with binarized neural networks (BNN), shows great potential in classifying complex data in real-time. In this paper, we propose a structural pruning based accelerator of BCNN, which is able to provide more than 5000 frames/s inference throughput on edge devices. The high performance comes from both the algorithm and hardware sides. On the algorithm side, we conduct structural pruning to the original BCNN models and obtain 20 $\times$ pruning rates with negligible accuracy loss; on the hardware side, we propose a novel 2D convolution operation accelerator for the binary complex neural network. Experimental results show that the proposed design works with over 90% utilization and is able to achieve the inference throughput of 5882 frames/s and 4938 frames/s for complex NIN-Net and ResNet-18 using CIFAR-10 dataset and Alveo U280 Board.


title: Continual Learning for Grounded Instruction Generation by Observing Human Following Behavior

abstract: We study continual learning for natural language instruction generation, by observing human users' instruction execution. We focus on a collaborative scenario, where the system both acts and delegates tasks to human users using natural language. We compare user execution of generated instructions to the original system intent as an indication to the system's success communicating its intent. We show how to use this signal to improve the system's ability to generate instructions via contextual bandit learning. In interaction with real users, our system demonstrates dramatic improvements in its ability to generate language over time.


title: On the equivalence of certain quasi-Hermitian varieties

abstract: In [A. Aguglia, A. Cossidente, G. Korchmaros, "On quasi-Hermitian varieties", J. Comb. Des. 20 (2012), 433-447] new quasi-Hermitian varieties ${\mathcal M}_{\alpha,\beta}$ in $\mathrm{PG}(r,q^2)$ depending on a pair of parameters $\alpha,\beta$ from the underlying field $\mathrm{GF}(q^2)$ have been constructed. In the present paper we determine the projective equivalence classes of such varieties for $r=3$ and $q$ odd.


title: R4Dyn: Exploring Radar for Self-Supervised Monocular Depth Estimation of Dynamic Scenes

abstract: While self-supervised monocular depth estimation in driving scenarios has achieved comparable performance to supervised approaches, violations of the static world assumption can still lead to erroneous depth predictions of traffic participants, posing a potential safety issue. In this paper, we present R4Dyn, a novel set of techniques to use cost-efficient radar data on top of a self-supervised depth estimation framework. In particular, we show how radar can be used during training as weak supervision signal, as well as an extra input to enhance the estimation robustness at inference time. Since automotive radars are readily available, this allows to collect training data from a variety of existing vehicles. Moreover, by filtering and expanding the signal to make it compatible with learning-based approaches, we address radar inherent issues, such as noise and sparsity. With R4Dyn we are able to overcome a major limitation of self-supervised depth estimation, i.e. the prediction of traffic participants. We substantially improve the estimation on dynamic objects, such as cars by 37% on the challenging nuScenes dataset, hence demonstrating that radar is a valuable additional sensor for monocular depth estimation in autonomous vehicles.


title: The Effect of the Loss on Generalization: Empirical Study on Synthetic Lung Nodule Data

abstract: Convolutional Neural Networks (CNNs) are widely used for image classification in a variety of fields, including medical imaging. While most studies deploy cross-entropy as the loss function in such tasks, a growing number of approaches have turned to a family of contrastive learning-based losses. Even though performance metrics such as accuracy, sensitivity and specificity are regularly used for the evaluation of CNN classifiers, the features that these classifiers actually learn are rarely identified and their effect on the classification performance on out-of-distribution test samples is insufficiently explored. In this paper, motivated by the real-world task of lung nodule classification, we investigate the features that a CNN learns when trained and tested on different distributions of a synthetic dataset with controlled modes of variation. We show that different loss functions lead to different features being learned and consequently affect the generalization ability of the classifier on unseen data. This study provides some important insights into the design of deep learning solutions for medical imaging tasks.


title: COVID-19 Vaccine and Social Media: Exploring Emotions and Discussions on Twitter

abstract: The understanding of the public response to COVID-19 vaccines is the key success factor to control the COVID-19 pandemic. To understand the public response, there is a need to explore public opinion. Traditional surveys are expensive and time-consuming, address limited health topics, and obtain small-scale data. Twitter can provide a great opportunity to understand public opinion regarding COVID-19 vaccines. The current study proposes an approach using computational and human coding methods to collect and analyze a large number of tweets to provide a wider perspective on the COVID-19 vaccine. This study identifies the sentiment of tweets using a machine learning rule-based approach, discovers major topics, explores temporal trend and compares topics of negative and non-negative tweets using statistical tests, and discloses top topics of tweets having negative and non-negative sentiment. Our findings show that the negative sentiment regarding the COVID-19 vaccine had a decreasing trend between November 2020 and February 2021. We found Twitter users have discussed a wide range of topics from vaccination sites to the 2020 U.S. election between November 2020 and February 2021. The findings show that there was a significant difference between tweets having negative and non-negative sentiment regarding the weight of most topics. Our results also indicate that the negative and non-negative tweets had different topic priorities and focuses. This research illustrates that Twitter data can be used to explore public opinion regarding the COVID-19 vaccine.


title: Impact of Dietary Habits and Opinionated Lifestyle during COVID-19 Pandemic : A Case Study on Engineering Students

abstract: COVID-19 pandemic has introduced a new lifestyle due to lockdown. The impact was on food habits, working hours, and sleeping patterns. The goal of this study is to detect lifestyle changes caused by confinement during the COVID-19 pandemic, such as dietary habits, physical activities, and to explore changes in the body weight. A structured questionnaire was used in the study to collect anthropometric data; daily consumption of particular foods, water intake, food frequency, and number of meals/day. The data is presented in a graph illustration to show health , lifestyle trends and the friendship among engineering students.


title: A Graph Approach to Simulate Twitter Activities with Hawkes Processes

abstract: The rapid growth of social media has been witnessed during recent years as a result of the prevalence of the internet. This trend brings an increasing interest in simulating social media which can provide valuable insights to both academic researchers and businesses. In this paper, we present a step-by-step approach of using Hawkes process, a self-activating stochastic process, to simulate Twitter activities and demonstrate how this model can be utilized to evaluate the chance of extremely rare web crises. Another goal of this research is to introduce a new strategy that implements Hawkes process on graph structures. Overall, we intend to extend the current Hawkes process to a wider range of scenarios and, in particular, create a more realistic simulation of Twitter activities by incorporating the actual user status and following-follower interactions between users.


title: Quantifying power use in silicon photonic neural networks

abstract: Due to challenging efficiency limits facing conventional and unconventional electronic architectures, information processors based on photonics have attracted renewed interest. Research communities have yet to settle on definitive techniques to describe the performance of this class of information processors. Photonic systems are different from electronic ones, so the existing concepts of computer performance measurement cannot necessarily apply. In this manuscript, we attempt to quantify the power use of photonic neural networks with state-of-the-art and future hardware. We derive scaling laws, physical limits, and new platform performance metrics. We find that overall performance is regime-like, which means that energy efficiency characteristics of a photonic processor can be completely described by no less than seven performance numbers. The introduction of these analytical strategies provides a much needed foundation for quantitative roadmapping and commercial value assignment for silicon photonic neural networks.


title: MuCoMiD: A Multitask Convolutional Learning Framework for miRNA-Disease Association Prediction

abstract: Growing evidence from recent studies implies that microRNA or miRNA could serve as biomarkers in various complex human diseases. Since wet-lab experiments are expensive and time-consuming, computational techniques for miRNA-disease association prediction have attracted a lot of attention in recent years. Data scarcity is one of the major challenges in building reliable machine learning models. Data scarcity combined with the use of precalculated hand-crafted input features has led to problems of overfitting and data leakage. We overcome the limitations of existing works by proposing a novel multi-tasking graph convolution-based approach, which we refer to as MuCoMiD. MuCoMiD allows automatic feature extraction while incorporating knowledge from five heterogeneous biological information sources (interactions between miRNA/diseases and protein-coding genes (PCG), interactions between protein-coding genes, miRNA family information, and disease ontology) in a multi-task setting which is a novel perspective and has not been studied before. To effectively test the generalization capability of our model, we construct large-scale experiments on standard benchmark datasets as well as our proposed larger independent test sets and case studies. MuCoMiD shows an improvement of at least 3% in 5-fold CV evaluation on HMDDv2.0 and HMDDv3.0 datasets and at least 35% on larger independent test sets with unseen miRNA and diseases over state-of-the-art approaches. We share our code for reproducibility and future research at https://git.l3s.uni-hannover.de/dong/cmtt.


title: On the Angular Momentum Transport Efficiency within the Star Constrained from Gravitational-wave Observations

abstract: The LIGO Scientific Collaboration and Virgo Collaboration (LVC) have recently reported in GWTC-2.1 eight additional candidate events with a probability of astrophysical origin greater than 0.5 in the LVC deeper search on O3a running. In GWTC-2.1, the majority of the effective inspiral spins ($\chi_{\rm eff}$) show magnitudes consistent with zero, while two (GW190403$_{-}$051519 and GW190805$_{-}$211137) of the eight new events have $\chi_{\rm eff}$ $> 0$ (at 90% credibility). We note that GW190403$_{-}$051519 was reported with $\chi_{\rm eff}$ = $0.70^{+0.15}_{-0.27}$ and mass ratio $q$ = $0.25^{+0.54}_{-0.11}$, respectively. Assuming a uniform prior probability between 0 and 1 for each black hole's dimensionless spin magnitude, GW190403$_{-}$051519 was reported with the dimensionless spin of the more massive black hole, $\chi_1$ = $0.92^{+0.07}_{-0.22}$. This is the fastest first-born black hole ever measured in all current gravitational-wave events. If GW190403$_{-}$051519 is formed through isolated binary evolution channel, this extremely high spin challenges, at least in that case, the existence of efficient angular momentum transport mechanism between the stellar core and the radiative envelope of massive stars, as for instance predicted by the Tayler-Spruit dynamo (Spruit 2002) or its revised version by Fuller et al. 2019.


title: Self-supervised Consensus Representation Learning for Attributed Graph

abstract: Attempting to fully exploit the rich information of topological structure and node features for attributed graph, we introduce self-supervised learning mechanism to graph representation learning and propose a novel Self-supervised Consensus Representation Learning (SCRL) framework. In contrast to most existing works that only explore one graph, our proposed SCRL method treats graph from two perspectives: topology graph and feature graph. We argue that their embeddings should share some common information, which could serve as a supervisory signal. Specifically, we construct the feature graph of node features via k-nearest neighbor algorithm. Then graph convolutional network (GCN) encoders extract features from two graphs respectively. Self-supervised loss is designed to maximize the agreement of the embeddings of the same node in the topology graph and the feature graph. Extensive experiments on real citation networks and social networks demonstrate the superiority of our proposed SCRL over the state-of-the-art methods on semi-supervised node classification task. Meanwhile, compared with its main competitors, SCRL is rather efficient.


title: Dark QED from Inflation

abstract: One contribution to any dark sector's abundance comes from its gravitational production during inflation. If the dark sector is weakly coupled to the inflaton and the Standard Model, this can be its only production mechanism. For non-interacting dark sectors, such as a free massive fermion or a free massive vector field, this mechanism has been studied extensively. In this paper we show, via the example of dark massive QED, that the presence of interactions can result in a vastly different mass for the dark matter (DM) particle, which may well coincide with the range probed by upcoming experiments. In the context of dark QED we study the evolution of the energy density in the dark sector after inflation. Inflation produces a cold vector condensate consisting of an enormous number of bosons, which via interesting processes - Schwinger pair production, strong field electromagnetic cascades, and plasma dynamics - transfers its energy to a small number of "dark electrons" and triggers thermalization of the dark sector. The resulting dark electron DM mass range is from 50 MeV to 30 TeV, far different from both the $10^{-5}$ eV mass of the massive photon dark matter in the absence of dark electrons, and from the $10^9$ GeV dark electron mass in the absence of dark photons. This can significantly impact the search strategies for dark QED and, more generally, theories with a self-interacting DM sector. In the presence of kinetic mixing, a dark electron in this mass range can be searched for with upcoming direct detection experiments, such as SENSEI-100g and OSCURA.


title: On the muon scale of air showers and its application to the AGASA data

abstract: Recently, several experiments reported a muon deficit in air shower simulations with respect to the data. This problem can be studied using an estimator that quantifies the relative muon content of the data with respect to those of proton and iron Monte Carlo air shower simulations. We analyze two estimators. The first one, based on the logarithm of the mean of the muon content, is built from experimental considerations. It is ideal for comparing results from different experiments as it is independent of the detector resolution. The second estimator is based on the mean of the logarithm of the muon content, which implies that it depends on shower-to-shower fluctuations. It is linked to the mean-logarithmic mass $\left \langle \ln A \right \rangle$ through the Heitler-Matthews model. We study the properties of the estimators and their biases considering the knowns and unknowns of typical experiments. Furthermore, we study these effects in measurements of the muon density at $1000\,$m from the shower axis obtained by the Akeno Giant Air Shower Array (AGASA). Finally, we report the estimates of the relative muon content of the AGASA data, which support a muon deficit in simulations. These estimates constitute valuable additional information of the muon content of air showers at the highest energies.


title: Lifting weak lensing degeneracies with a field-based likelihood

abstract: We present a field-based approach to the analysis of cosmic shear data to infer jointly cosmological parameters and the dark matter distribution. This forward modelling approach samples the cosmological parameters and the initial matter fluctuations, using a physical gravity model to link the primordial fluctuations to the non-linear matter distribution. Cosmological parameters are sampled and updated consistently through the forward model, varying (1) the initial matter power spectrum, (2) the geometry through the distance-redshift relationship, and (3) the growth of structure and light-cone effects. Our approach extracts more information from the data than methods based on two-point statistics. We find that this field-based approach lifts the strong degeneracy between the cosmological matter density, $\Omega_\mathrm{m}$, and the fluctuation amplitude, $\sigma_8$, providing tight constraints on these parameters from weak lensing data alone. In the simulated four-bin tomographic experiment we consider, the field-based likelihood yields marginal uncertainties on $\sigma_8$ and $\Omega_\mathrm{m}$ that are, respectively, a factor of 3 and 5 smaller than those from a two-point power spectrum analysis applied to the same underlying data.