title: On the Success Probability of Three Detectors for the Box-Constrained Integer Linear Model

abstract: This paper is concerned with detecting an integer parameter vector inside a box from a linear model that is corrupted with a noise vector following the Gaussian distribution. One of the commonly used detectors is the maximum likelihood detector, which is obtained by solving a box-constrained integer least squares problem, that is NP-hard. Two other popular detectors are the box-constrained rounding and Babai detectors due to their high efficiency of implementation. In this paper, we first present formulas for the success probabilities (the probabilities of correct detection) of these three detectors for two different situations: the integer parameter vector is deterministic and is uniformly distributed over the constraint box. Then, we give two simple examples to respectively show that the success probability of the box-constrained rounding detector can be larger than that of the box-constrained Babai detector and the latter can be larger than the success probability of the maximum likelihood detector when the parameter vector is deterministic, and prove that the success probability of the box-constrained rounding detector is always not larger than that of the box-constrained Babai detector when the parameter vector is uniformly distributed over the constraint box. Some relations between the results for the box constrained and ordinary cases are presented, and two bounds on the success probability of the maximum likelihood detector, which can easily be computed, are developed. Finally, simulation results are provided to illustrate our main theoretical findings.


title: Shapley values and machine learning to characterize metamaterials for seismic applications

abstract: Given the damages from earthquakes, seismic isolation of critical infrastructure is vital to mitigate losses due to seismic events. A promising approach for seismic isolation systems is metamaterials-based wave barriers. Metamaterials -- engineered composites -- manipulate the propagation and attenuation of seismic waves. Borrowing ideas from phononic and sonic crystals, the central goal of a metamaterials-based wave barrier is to create band gaps that cover the frequencies of seismic waves. The two quantities of interest (QoIs) that characterize band-gaps are the first-frequency cutoff and the band-gap's width. Researchers often use analytical (band-gap analysis), experimental (shake table tests), and statistical (global variance) approaches to tailor the QoIs. However, these approaches are expensive and compute-intensive. So, a pressing need exists for alternative easy-to-use methods to quantify the correlation between input (design) parameters and QoIs. To quantify such a correlation, in this paper, we will use Shapley values, a technique from the cooperative game theory. In addition, we will develop machine learning models that can predict the QoIs for a given set of input (material and geometrical) parameters.


title: Prediction in Quantum Cosmology

abstract: Lectures by the author at the 1986 Cargese summer school modestly corrected and uploaded for greater accessibility. Some of the author's views on the quantum mechanics of cosmology have changed from those presented here but may still be of historical interest. The material on the Born-Oppenheimer approximation for solving the Wheeler-DeWitt equation and the work on the classical geometry limit and the approximation of quantum field theory in curved spacetime are still of interest and of use.


title: Quantum controllability on graph-like manifolds through magnetic potentials and boundary conditions

abstract: We investigate the controllability of an infinite-dimensional quantum system: a quantum particle confined on a Thick Quantum Graph, a generalisation of Quantum Graphs whose edges are allowed to be manifolds of arbitrary dimension with quasi-$\delta$ boundary conditions. This is a particular class of self-adjoint boundary conditions compatible with the graph structure. We prove that global approximate controllability can be achieved using two physically distinct protocols: either using the boundary conditions as controls, or using time-dependent magnetic fields. Both cases have time-dependent domains for the Hamiltonians.


title: Effective QCD string and doubly heavy baryons

abstract: Expressions for the potentials appearing in the nonrelativistic effective field theory description of doubly heavy baryons are known in terms of operator insertions in the Wilson loop. However, their evaluation requires nonperturbative techniques, such as lattice QCD, and the relevant calculations are often not available. We propose a parametrization of these potentials with a minimal model dependence based on an interpolation of short- and long-distance descriptions. The short-distance description is obtained from weakly-coupled pNRQCD and the long-distance one is computed using an effective string theory. The effective string theory coincides with the one for pure gluodynamics with the addition of a fermion field constrained to move on the string. We compute the hyperfine contributions to the doubly heavy baryon spectrum. The unknown parameters are obtained from heavy quark-diquark symmetry or fitted to the available lattice QCD determinations of the hyperfine splittings. Using these parameters we compute the double charm and bottom baryon spectrum including the hyperfine contributions. We compare our results with those of other approaches and find that our results are closer to lattice QCD determinations, in particular for the excited states. Furthermore, we compute the vacuum energy in the effective string theory and show that the fermion field contribution produces the running of the string tension and a change of sign in the L\"uscher term.


title: Escaping from air pollution: The psychological process of domestic migration intention among urban people

abstract: Rapid urbanization with poor city planning has resulted in severe air pollution in low- and middle-income countries' urban areas. Given the adverse impacts of air pollution, many responses have been taken, including migration to another city. The current study explores the psychological process and demographic predictors of migration intention among urban people in Hanoi, Vietnam - one of the most polluted capital cities in the world. The Bayesian Mindsponge Framework (BMF) was used to construct the model and perform Bayesian analysis on a stratified random sampling dataset of 475 urban people. We found that the migration intention was negatively associated with the individual's satisfaction with air quality. The association was moderated by the perceived availability of a better alternative (or nearby city with better air quality). However, the high migration cost due to geographical distance made the moderation effect of the perceived availability of a better alternative negligible. Moreover, it was also found that male and young people were more likely to migrate, but the brain drain hypothesis was not validated. The results hint that without air pollution mitigation measures, the dislocation of economic forces might occur and hinder sustainable urban development. Therefore, collaborative actions among levels of government, with the semi-conducting principle at heart, are recommended to reduce air pollution.


title: Detecting two photons with one molecule

abstract: We apply input-output theory with quantum pulses [AH Kiilerich, K M\o lmer, Phys. Rev. Lett. {\bf 123}, 123604 (2019)] to a model of a new type of two-photon detector consisting of one molecule that can detect two photons arriving sequentially in time. The underlying process is distinct from the usual two-photon absorption process where two photons arriving simultaneously and with frequencies adding up to the resonance frequency are absorbed by a single molecule in one quantum jump. Our detector model includes a Hamiltonian description of the amplification process necessary to convert the microscopic change in the single molecule to a macroscopic signal.


title: Eigenfunctions of a discrete elliptic integrable particle model with hyperoctahedral symmetry

abstract: We construct the orthogonal eigenbasis for a discrete elliptic Ruijsenaars type quantum particle Hamiltonian with hyperoctahedral symmetry. In the trigonometric limit the eigenfunctions in question recover a previously studied $q$-Racah type reduction of the Koornwinder-Macdonald polynomials. When the inter-particle interaction degenerates to that of impenetrable bosons, the orthogonal eigenbasis simplifies in terms of generalized Schur polynomials on the spectrum associated with recently found elliptic Racah polynomials.


title: End to End Bangla Speech Synthesis

abstract: Text-to-Speech (TTS) system is a system where speech is synthesized from a given text following any particular approach. Concatenative synthesis, Hidden Markov Model (HMM) based synthesis, Deep Learning (DL) based synthesis with multiple building blocks, etc. are the main approaches for implementing a TTS system. Here, we are presenting our deep learning-based end-to-end Bangla speech synthesis system. It has been implemented with minimal human annotation using only 3 major components (Encoder, Decoder, Post-processing net including waveform synthesis). It does not require any frontend preprocessor and Grapheme-to-Phoneme (G2P) converter. Our model has been trained with phonetically balanced 20 hours of single speaker speech data. It has obtained a 3.79 Mean Opinion Score (MOS) on a scale of 5.0 as subjective evaluation and a 0.77 Perceptual Evaluation of Speech Quality(PESQ) score on a scale of [-0.5, 4.5] as objective evaluation. It is outperforming all existing non-commercial state-of-the-art Bangla TTS systems based on naturalness.


title: A Track-Before-Detect Algorithm for UWB Radar Sensor Networks

abstract: Precise localization and tracking of moving non-collaborative persons and objects using a network of ultra-wideband (UWB) radar nodes has been shown to represent a practical and effective approach. In UWB radar sensor networks (RSNs), existence of strong clutter, weak target echoes, and closely spaced targets are obstacles to achieving a satisfactory tracking performance. Using a track-before-detect (TBD) approach, the waveform obtained by each node during a time period are jointly processed. Both spatial information and temporal relationship between measurements are exploited in generating all possible candidate trajectories and only the best trajectories are selected as the outcome. The effectiveness of the developed TBD technique for UWB RSNs is confirmed by numerical simulations and by two experimental results, both carried out with actual UWB signals. In the first experiment, a human target is tracked by a monostatic radar network with an average localization error of 41.9 cm with no false alarm trajectory in a cluttered outdoor environment. In the second experiment, two targets are detected by multistatic radar network with localization errors of 25.4 cm and 19.7 cm, and detection rate of the two targets is 88.75%, and no false alarm trajectory.


title: Choice number of Kneser graphs

abstract: In this short note, we show that for any $\epsilon >0$ and $k<n^{0.5-\epsilon}$ the choice number of the Kneser graph $KG_{n,k}$ is $\Theta (n\log n)$.


title: A new goodness of fit test for gamma distribution with censored observations

abstract: In the present paper, we develop a new goodness fit test for gamma distribution using the fixed point characterization. U-Statistic theory is employed to derive the test statistic. We discuss how the right censored observations are incorporated in the test developed here. The asymptotic properties of the test statistic in both censored and uncensored cases are studied in detail. Extensive Monte Carlo simulation studies are carried out to validate the performance of the proposed tests. We also illustrate the test procedure using several real data sets.


title: Cohomology of flag supervarieties and resolutions of determinantal ideals

abstract: We study the coherent cohomology of generalized flag supervarieties. Our main observation is that these groups are closely related to the free resolutions of (certain generalizations of) determinantal ideals. In the case of super Grassmannians, we completely compute the cohomology of the structure sheaf: it is composed of the singular cohomology of a Grassmannian and the syzygies of a determinantal variety. The majority of the work involves studying the geometry of an analog of the Grothendieck-Springer resolution associated to the super Grassmannian; this takes place in the world of ordinary (non-super) algebraic geometry. Our work gives a conceptual explanation of the result of Pragacz-Weyman that the syzygies of determinantal ideals admit an action of the general linear supergroup. In a subsequent paper, we will treat other flag supervarieties in detail.


title: DeepTrack: Lightweight Deep Learning for Vehicle Path Prediction in Highways

abstract: Vehicle trajectory prediction is essential for enabling safety-critical intelligent transportation systems (ITS) applications used in management and operations. While there have been some promising advances in the field, there is a need for modern deep learning algorithms that allow real-time trajectory prediction on embedded IoT devices. This article presents DeepTrack, a novel deep learning algorithm customized for real-time vehicle trajectory prediction and monitoring applications in arterial management, freeway management, traffic incident management, and work zone management for high-speed incoming traffic. In contrast to previous methods, the vehicle dynamics are encoded using Temporal Convolutional Networks (TCNs) to provide more robust time prediction with less computation. DeepTrack also uses depthwise convolution, which reduces the complexity of models compared to existing approaches in terms of model size and operations. Overall, our experimental results demonstrate that DeepTrack achieves comparable accuracy to state-of-the-art trajectory prediction models but with smaller model sizes and lower computational complexity, making it more suitable for real-world deployment.


title: Scalable Multi-agent Reinforcement Learning Algorithm for Wireless Networks

abstract: Scalability is the key roadstone towards the application of cooperative intelligent algorithms in large-scale networks. Reinforcement learning (RL) is known as model-free and high efficient intelligent algorithm for communication problems and proved useful in the communication network. However, when coming to large-scale networks with limited centralization, it is not possible to employ a centralized entity to perform joint real-time decision making for entire network. This introduces the scalability challenges, while multi-agent reinforcement shows the opportunity to cope this challenges and extend the intelligent algorithm to cooperative large-scale network. In this paper, we introduce the federated mean-field multi-agent reinforcement learning structure to capture the problem in large scale multi-agent communication scenarios, where agents share parameters to form consistency. We present the theoretical basis of our architecture and show the influence of federated frequency with an informational multi-agent model. We then exam the performance of our architecture with a coordinated multi-point environment which requires handshakes between neighbour access-points to realise the cooperation gain. Our result shows that the learning structure can effectively solve the cooperation problem in a large scale network with decent scalability. We also show the effectiveness of federated algorithms and highlight the importance of maintaining personality in each access-point.


title: Gate controlled quantum dots in monolayer WSe2

abstract: Quantum confinenement and manipulation of charge carriers are critical for achieving devices practical for quantum technologies. The interplay between electron spin and valley, as well as the possibility to address their quantum states electrically and optically, make two-dimensional (2D) transition metal dichalcogenides an emerging platform for the development of quantum devices. In this work, we fabricate devices based on heterostructures of layered 2D materials, in which we realize gate-controlled tungsten diselenide (WSe2) hole quantum dots. We discuss the observed mesoscopic transport features related to the emergence of quantum dots in the WSe2 device channel, and we compare them to a theoretical model.


title: Correlation of biological and computer viruses through evolutionary game theory

abstract: Computer viruses have many similarities to biological viruses, and their association may offer new perspectives and new opportunities in the effort to tackle and even eradicate them. Evolutionary game theory has been established as a useful tool for modeling viral behaviors. This work attempts to correlate a well-known virus, namely Virlock, with the bacteriophage $\phi6$. Furthermore, the paper suggests certain efficient strategies and practical ways that may reduce infection by Virlock and similar such viruses.


title: Current interaction in large-scale wave models with an application to Ireland

abstract: A nested large-scale wave model that covers most of the Atlantic Ocean and focuses on generating accurate swell conditions for Ireland is presented and validated over the two years 2016 and 2017. The impact of currents is studied using the surface currents from the GLORYS product. Currents slightly reduce by 1\% the error of the model compared to altimetry data, but they explain most of the wave energy at scales less than 50 meters. The variability induced by currents is found to be more noticeable on the instantaneous fields, up to 50 cm. Track following observations indicate that wave refraction induced by mesoscale eddies is correctly captured. However, this modulation is of the same order as a shorter-scale variability appearing in the altimetry data, which makes it difficult to objectively assess the impact of currents.


title: A Fluids Experiment for Remote Learners to Test the Unsteady Bernoulli Equation Using a Burette

abstract: The COVID-19 pandemic illuminated the critical need for flexible mechanical engineering laboratories simultaneously deployable in multiple modalities: face-to-face, hybrid, and remote. A key element in the lesson portfolio of a forward-looking engineering instructor is economical, hands-on, accessible, 'turn-key' lab activities; kits that can be deployed both in brick-and-mortar teaching labs and mailed home to remote learners. The Energy Engineering Laboratory Module pedagogy, described elsewhere, provides an underpinning theoretical framework and examples to achieve these features. In addition, instructional lab kits must demonstrate foundational engineering phenomena while maintaining measurement accuracy and fidelity at reasonable cost. In the energy-thermal-fluid sciences, achieving these conditions presents challenges as kits require energy and matter transport and conversion in real time at scales large enough to reveal measurable phenomena but not so large as to become hazardous to users. This paper presents theoretical underpinning and experimental verification of a fluid mechanics lab experiment appropriate for undergraduate engineering students that 1) meets all the above-described criteria, 2) costs less than $30 in materials, and 3) can be easily mailed to remote learners.


title: Implementing an Improved Test of Matrix Rank in Stata

abstract: We develop a Stata command, bootranktest, for implementing the matrix rank test of Chen and Fang (2019) in linear instrumental variable regression models. Existing rank tests employ critical values that may be too small, and hence may not even be first order valid in the sense that they may fail to control the Type I error. By appealing to the bootstrap, they devise a test that overcomes the deficiency of existing tests. The command bootranktest implements the two-step version of their test, and also the analytic version if chosen. The command also accommodates data with temporal and cluster dependence.


title: Emerging contact force heterogeneity in ordered soft granular media

abstract: Under external perturbations, inter-particle forces in disordered granular media are well known to form a heterogeneous distribution with filamentary patterns. Better understanding these forces and the distribution is important for predicting the collective behavior of granular media, the media second only to water as the most manipulated material in global industry. However, studies in this regard so far have been largely confined to granular media exhibiting only geometric heterogeneity, leaving the dimension of mechanical heterogeneity a rather uncharted area. Here, through a FEM contact mechanics model, we show that a heterogeneous inter-particle force distribution can also emerge from the dimension of mechanical heterogeneity alone. Specifically, we numerically study inter-particle forces in packing of mechanically heterogeneous disks arranged over either a square or a hexagonal lattice and under quasi-static isotropic compression. Our results show that, a hexagonal packing exhibit a more heterogeneous inter-particle force distribution than a square packing does. For both packing lattices, preliminary analysis shows the consistent coexistence of outliers (i.e., softer disks sustaining larger forces while stiffer disks sustaining smaller forces) in comparison to their homogeneous counterparts, which implies the existence of nonlocal effect. Further analysis on the portion of outliers and on spatial contact force correlations suggest that the hexagonal packing shows more pronounced nonlocal effect over the square packing under small mechanical heterogeneity. However, such trend is reversed when assemblies becomes more mechanically heterogeneous. Lastly, we confirm that, in the absence of particle reorganization events, contact friction merely plays the role of packing stabilization while its variation has little effect on inter-particle forces and their distribution.


title: Attention-based Aspect Reasoning for Knowledge Base Question Answering on Clinical Notes

abstract: Question Answering (QA) in clinical notes has gained a lot of attention in the past few years. Existing machine reading comprehension approaches in clinical domain can only handle questions about a single block of clinical texts and fail to retrieve information about multiple patients and their clinical notes. To handle more complex questions, we aim at creating knowledge base from clinical notes to link different patients and clinical notes, and performing knowledge base question answering (KBQA). Based on the expert annotations available in the n2c2 dataset, we first created the ClinicalKBQA dataset that includes around 9K QA pairs and covers questions about seven medical topics using more than 300 question templates. Then, we investigated an attention-based aspect reasoning (AAR) method for KBQA and analyzed the impact of different aspects of answers (e.g., entity, type, path, and context) for prediction. The AAR method achieves better performance due to the well-designed encoder and attention mechanism. From our experiments, we find that both aspects, type and path, enable the model to identify answers satisfying the general conditions and produce lower precision and higher recall. On the other hand, the aspects, entity and context, limit the answers by node-specific information and lead to higher precision and lower recall.


title: Hamilton-Jacobi-Bellman equations for Chemical Reaction Networks

abstract: This is an expository note on large deviations, Hamilton-Jacobi-Bellman (HJB) equations, and the role of the Freidlin-Wentzell quasipotential in Chemical Reaction Networks (CRNs). The note was motivated by observations which identified Lyapunov functions for deterministic descriptions of CRNs by taking appropriate scaling limits of invariant distributions for the corresponding stochastic dynamics. We explain how this is a special case of a classical theory due to Freidlin and Wentzell. We also show that this Lyapunov function is a solution to the HJB partial differential equation if and only if the network is "complex-balanced". The target audience are researchers in the CRN community who are familiar with the Markov process description of CRNs, but do not have the time to invest in learning the technical machinery of large deviations. We conclude by exploring some possible relationships with K\"ahler geometry which suggest an interesting and unexplored research direction.


title: Powerline Tracking with Event Cameras

abstract: Autonomous inspection of powerlines with quadrotors is challenging. Flights require persistent perception to keep a close look at the lines. We propose a method that uses event cameras to robustly track powerlines. Event cameras are inherently robust to motion blur, have low latency, and high dynamic range. Such properties are advantageous for autonomous inspection of powerlines with drones, where fast motions and challenging illumination conditions are ordinary. Our method identifies lines in the stream of events by detecting planes in the spatio-temporal signal, and tracks them through time. The implementation runs onboard and is capable of detecting multiple distinct lines in real time with rates of up to $320$ thousand events per second. The performance is evaluated in real-world flights along a powerline. The tracker is able to persistently track the powerlines, with a mean lifetime of the line $10\times$ longer than existing approaches.


title: BundleTrack: 6D Pose Tracking for Novel Objects without Instance or Category-Level 3D Models

abstract: Tracking the 6D pose of objects in video sequences is important for robot manipulation. Most prior efforts, however, often assume that the target object's CAD model, at least at a category-level, is available for offline training or during online template matching. This work proposes BundleTrack, a general framework for 6D pose tracking of novel objects, which does not depend upon 3D models, either at the instance or category-level. It leverages the complementary attributes of recent advances in deep learning for segmentation and robust feature extraction, as well as memory-augmented pose graph optimization for spatiotemporal consistency. This enables long-term, low-drift tracking under various challenging scenarios, including significant occlusions and object motions. Comprehensive experiments given two public benchmarks demonstrate that the proposed approach significantly outperforms state-of-art, category-level 6D tracking or dynamic SLAM methods. When compared against state-of-art methods that rely on an object instance CAD model, comparable performance is achieved, despite the proposed method's reduced information requirements. An efficient implementation in CUDA provides a real-time performance of 10Hz for the entire framework. Code is available at: https://github.com/wenbowen123/BundleTrack


title: Non-Poissonian ultrashort, nanoscale electron pulses

abstract: The statistical character of electron beams used in current technologies, as described by a stream of particles, is random in nature. Using coincidence measurements of femtosecond pulsed electron pairs, we report the observation of sub-Poissonian electron statistics that are non-random due to two-electron Coulomb interactions, and that exhibit an anti-bunching signal of 1 part in 4. This advancement is a fundamental step towards realizing a strongly quantum degenerate electron beam needed for many applications, and in particular electron correlation spectroscopy.


title: Equivariant Burnside groups and representation theory

abstract: We apply the equivariant Burnside group formalism to distinguish linear actions of finite groups, up to equivariant birationality. Our approach is based on De Concini-Procesi models of subspace arrangements.


title: Knowing When to Splurge: Precautionary Saving and Chinese-Canadians

abstract: Why do household saving rates differ so much across countries? This micro-level question has global implications: countries that systematically "oversave" export capital by running current account surpluses. In the recipient countries, interest rates are thus too low and financial stability is put at risk. Existing theories argue that saving is precautionary, but tests are limited to cross-country comparisons and are not always supportive. We report the findings of an original survey experiment. Using a simulated financial saving task implemented online, we compare the saving preferences of a large and diverse sample of Chinese-Canadians with other Canadians. This comparison is instructive given that Chinese-Canadians migrated from, or descend from those who migrated from, a high-saving environment to a low-savings, high-debt environment. We also compare behavior in the presence and absence of a simulated "welfare state," which we represent in the form of mandatory insurance. Our respondents exhibit behavior in the saving task that corresponds to standard economic assumptions about lifecycle savings and risk aversion. We find strong evidence that precautionary saving is reduced when a mandatory insurance is present, but no sign that Chinese cultural influences - represented in linguistic or ethnic terms - have any effect on saving behavior.


title: A magnetic levitation based low-gravity simulator with an unprecedented large functional volume

abstract: Low gravity environment can have a profound impact on the behaviors of biological systems, the dynamics and heat transfer of fluids, and the growth and self-organization of materials. Systematic research on the effects of gravity is crucial for advancing our knowledge and for the success of space missions. Due to the high cost and the limitations in the payload size and mass in typical spaceflight missions, ground-based low-gravity simulators have become indispensable for preparing spaceflight experiments and for serving as stand-alone research platforms. Among various simulator systems, the magnetic levitation based simulator (MLS) has received long-lasting interests due to its easily adjustable gravity and practically unlimited operation time. However, a recognized issue with MLSs is their highly non-uniform force field. For a solenoid MLS, the functional volume $V_{1\%}$, where the net force results in an acceleration less than 1\% of the Earth's gravity $g$, is typically a few microliters ($\mu L$) or less. In this work, we report an innovative MLS design that integrates a superconducting magnet with a gradient-field Maxwell coil. Through an optimization analysis, we show that an unprecedented $V_{1\%}$ of over 4,000 $\mu L$ can be achieved in a compact coil with a diameter of 8 cm. We also discuss how such an MLS can be made using existing high-$T_c$ superconducting materials. When the current in this MLS is reduced to emulate the gravity on Mars ($g_M=0.38g$), a functional volume where the gravity varies within a few percent of $g_M$ can exceed 20,000 $\mu L$. Our design may break new ground for various exciting future low-gravity research.


title: Improving the performance of early-stage software startups: Design and creativity viewpoints

abstract: Over the last 20 years, a very large number of startups have been launched, ranging from mobile application and game providers to enormous corporations that have started as tiny startups. Startups are an important topic for research and development. The fundamentals of success are the characteristics of individuals and teams, partner investors, the market, and the speed at which everything evolves. Startup's business environment is fraught with uncertainty, as actors tend to be young and inexperienced, technologies either new or rapidly evolving, and team-combined skills and knowledge either key or fatal. As over 90 per cent of software startups fail, having a capable and reliable team is crucial to survival and success. Many aspects of this topic have been extensively studied, and the results of the study on human capital are particularly important. Regarding human capital abilities, such as knowledge, experience, skills, and other cognitive abilities, this dissertation focuses on design skills and their deployment in startups. Design is widely studied in artistic and industrial contexts, but its application to startup culture and software startups follows its own method prison. In the method prison, old and conventional means are chosen instead of new techniques and demanding design studies. This means that when a software startup considers design as a foundation for creativity and generating better offerings, they can grab any industry with a disruptive agenda, making anything software-intensive.


title: Unified framework for tableau models of Grothendieck polynomials

abstract: We give combinatorial proofs of two types of duality for Grothendieck polynomials by constructing a unified combinatorial framework incorporating set-valued tableaux, musltiset-valued tableaux, reverse plane partitions and valued-set tableaux. Importantly, our proofs extend to proofs of these dualities for the refined Grothendieck polynomials. The second of these dualities was formerly unknown for the refined case.


title: Iterative optimal solutions of linear matrix equations for Hyperspectral and Multispectral image fusing

abstract: For a linear matrix function $f$ in $X \in \R^{m\times n}$ we consider inhomogeneous linear matrix equations $f(X) = E$ for $E \neq 0$ that have or do not have solutions. For such systems we compute optimal norm constrained solutions iteratively using the Conjugate Gradient and Lanczos' methods in combination with the More-Sorensen optimizer. We build codes for ten linear matrix equations, of Sylvester, Lyapunov, Stein and structured types and their T-versions, that differ only in two five times repeated equation specific code lines. Numerical experiments with linear matrix equations are performed that illustrate universality and efficiency of our method for dense and small data matrices, as well as for sparse and certain structured input matrices. Specifically we show how to adapt our universal method for sparse inputs and for structured data such as encountered when fusing image data sets via a Sylvester equation algorithm to obtain an image of higher resolution.


title: You too Brutus! Trapping Hateful Users in Social Media: Challenges, Solutions & Insights

abstract: Hate speech is regarded as one of the crucial issues plaguing the online social media. The current literature on hate speech detection leverages primarily the textual content to find hateful posts and subsequently identify hateful users. However, this methodology disregards the social connections between users. In this paper, we run a detailed exploration of the problem space and investigate an array of models ranging from purely textual to graph based to finally semi-supervised techniques using Graph Neural Networks (GNN) that utilize both textual and graph-based features. We run exhaustive experiments on two datasets -- Gab, which is loosely moderated and Twitter, which is strictly moderated. Overall the AGNN model achieves 0.791 macro F1-score on the Gab dataset and 0.780 macro F1-score on the Twitter dataset using only 5% of the labeled instances, considerably outperforming all the other models including the fully supervised ones. We perform detailed error analysis on the best performing text and graph based models and observe that hateful users have unique network neighborhood signatures and the AGNN model benefits by paying attention to these signatures. This property, as we observe, also allows the model to generalize well across platforms in a zero-shot setting. Lastly, we utilize the best performing GNN model to analyze the evolution of hateful users and their targets over time in Gab.


title: Sb concentration dependent Structural and Transport properties of Polycrystalline (Bi1-xSbx)2Te3 Mixed crystal

abstract: (Bi1-xSbx)2Te3 (x=0.60, 0.65, 0.68, 0.70, 0.75 and 0.80) mixed crystals have been synthesized by solid state reaction. In depth structural, thermal, transport and electronic properties are reported. Defect and disorder play a crucial role in structural and transport behaviour. Disorder induced iso-structural phase transition is observed at x=0.70, which is supported by the structural and transport properties data. Debye temperature has been estimated from the powder diffraction data. Differential scanning calorimetry (DSC) data confirms the glass transition in the material. Low temperature resistivity data shows Variable range hopping mechanism whereas high temperature data follows activated behaviour. Activation energy is calculated from the semiconducting region of resistivity data. Both Hall measurement and temperature dependent thermopower data (S(T)) confirms that samples are p-type in nature. Density of state effective mass has been estimated from Pisarenko relation and corroborated with resistivity data. Thermal conductivity (k) is estimated using experimentally obtained data. Figure of Merit (ZT) of the synthesized samples are calculated using resistivity, S(T) and k. Structural and transport properties are correlated, confirms the transition from disorder to order state. Defect and disorder are corroborated with structural and Thermoelectric properties of the synthesized samples.


title: Planar graphs with the maximum number of induced 4-cycles or 5-cycles

abstract: For large $n$ we determine exactly the maximum numbers of induced $C_4$ and $C_5$ subgraphs that a planar graph on $n$ vertices can contain. We show that $K_{2,n-2}$ uniquely achieves this maximum in the $C_4$ case, and we identify the graphs which achieve the maximum in the $C_5$ case. This extends work in a paper by Hakimi and Schmeichel and a paper by Ghosh, Gy\H{o}ri, Janzer, Paulos, Salia, and Zamora which together determine both maxima asymptotically.


title: Gates Are Not What You Need in RNNs

abstract: Recurrent neural networks have flourished in many areas. Consequently, we can see new RNN cells being developed continuously, usually by creating or using gates in a new, original way. But what if we told you that gates in RNNs are redundant? In this paper, we propose a new recurrent cell called Residual Recurrent Unit (RRU) which beats traditional cells and does not employ a single gate. It is based on the residual shortcut connection, linear transformations, ReLU, and normalization. To evaluate our cell's effectiveness, we compare its performance against the widely-used GRU and LSTM cells and the recently proposed Mogrifier LSTM on several tasks including, polyphonic music modeling, language modeling, and sentiment analysis. Our experiments show that RRU outperforms the traditional gated units on most of these tasks. Also, it has better robustness to parameter selection, allowing immediate application in new tasks without much tuning. We have implemented the RRU in TensorFlow, and the code is made available at https://github.com/LUMII-Syslab/RRU .


title: Application of Tilt Correlation Statistics to Anisoplanatic Optical Turbulence Modeling and Mitigation

abstract: Atmospheric optical turbulence can be a significant source of image degradation, particularly in long range imaging applications. Many turbulence mitigation algorithms rely on an optical transfer function (OTF) model that includes the Fried parameter. We present anisoplanatic tilt statistics for spherical wave propagation. We transform these into 2D autocorrelation functions that can inform turbulence modeling and mitigation algorithms. Using these, we construct an OTF model that accounts for image registration. We also propose a spectral-ratio Fried parameter estimation algorithm that is robust to camera motion and requires no specialized scene content or sources. We employ the Fried parameter estimation and OTF model for turbulence mitigation. A numerical wave-propagation turbulence simulator is used to generate data to quantitatively validate the proposed methods. Results with real camera data are also presented.


title: BigGraphVis: Leveraging Streaming Algorithms and GPU Acceleration for Visualizing Big Graphs

abstract: Graph layouts are key to exploring massive graphs. An enormous number of nodes and edges do not allow network analysis software to produce meaningful visualization of the pervasive networks. Long computation time, memory and display limitations encircle the software's ability to explore massive graphs. This paper introduces BigGraphVis, a new parallel graph visualization method that uses GPU parallel processing and community detection algorithm to visualize graph communities. We combine parallelized streaming community detection algorithm and probabilistic data structure to leverage parallel processing of Graphics Processing Unit (GPU). To the best of our knowledge, this is the first attempt to combine the power of streaming algorithms coupled with GPU computing to tackle big graph visualization challenges. Our method extracts community information in a few passes on the edge list, and renders the community structures using the ForceAtlas2 algorithm. Our experiment with massive real-life graphs indicates that about 70 to 95 percent speedup can be achieved by visualizing graph communities, and the visualization appears to be meaningful and reliable. The biggest graph that we examined contains above 3 million nodes and 34 million edges, and the layout computation took about five minutes. We also observed that the BigGraphVis coloring strategy can be successfully applied to produce a more informative ForceAtlas2 layout.


title: Green Hydrogen Plant: Optimal control strategies for integrated hydrogen storage and power generation with wind energy

abstract: The intermittent nature of renewable energy resources such as wind and solar causes the energy supply to be less predictable leading to possible mismatches in the power network. To this end, hydrogen production and storage can provide a solution by increasing flexibility within the system. Stored hydrogen can either be converted back to electricity or it can be used as feed-stock for industry, heating for built environment, and as fuel for vehicles. This research examines the optimal strategies for operating integrated energy systems consisting of renewable energy production and hydrogen storage. Using Markov decision process theory, we construct optimal policies for day-to-day decisions on how much energy to store as hydrogen, or buy from or sell to the electricity market, and on how much hydrogen to sell for use as gas. We pay special emphasis to practical settings, such as contractually binding power purchase agreements, varying electricity prices, different distribution channels, green hydrogen offtake agreements, and hydrogen market price uncertainties. Extensive experiments and analysis are performed in the context of Northern Netherlands where Europe's first Hydrogen Valley is being formed. Results show that substantial gains in operational revenues of up to 51\% are possible by introducing hydrogen storage units and competitive hydrogen market-prices. This amounts to a \euro 126,000 increase in revenues per turbine per year for a 4.5 MW wind turbine. Moreover, our results indicate that hydrogen offtake agreements will be crucial in keeping the energy transition on track.


title: Ideals with linear quotients and componentwise polymatroidal ideals

abstract: If $I$ is a monomial ideal with linear quotients, then it has componentwise linear quotients. However, the converse of this statement is an open question. In this paper, we provide two classes of ideals for which the converse of this statement holds. First class is the componentwise polymatroidal ideals in $K[x,y]$ and the second one is the componentwise polymatroidal ideals with strong exchange property.


title: Self-organization in embryonic development: myth and reality

abstract: "Self-organization" has become a watchword in developmental biology, characterizing observations in which embryonic or induced stem cells of animals replicate morphological steps and outcomes seen in intact embryos. While the term was introduced in the 18th century by the philosopher Immanuel Kant to describe the goal-directed properties of living systems, it came into modern use for non-living materials in which complex forms and patterns emerge through dynamical, energy-expending physical processes. What is the relationship among these uses of the term? While multicellular forms arose dozens of times from single-celled organisms, only some of these undergo development, and not all developmental processes are self-organizing. The evolution of the animals (metazoans) from unicellular holozoans was accompanied by the addition of novel gene products which mediated the constitution the resulting cell clusters as liquid-, liquid crystal-, and solid-like materials with versatile morphogenetic propensities. Such materials variously exhibited multilayering, lumen formation and elongation, echoing the self-organizing properties of nonliving matter, "generic" based on such parallels, though with biologically based subunit properties and modes of interaction. These effects provided evolutionary templates for embryonic forms and morphological motifs of metazoan lineages. Embryos and organ primordia of present-day animal species continue to generate forms that resemble the outcomes of these physical effects. Their development, however, employs overdetermined, highly evolved mechanisms that are often disconnected from their originating processes. Using the examples of gastrulation, somitogenesis, and limb skeletal development, I provide instances of, and a conceptual framework for understanding, the relationships between transparently physical and evolved types of developmental self-organization.


title: Geolocation differences of language use in urban areas

abstract: The explosion in the availability of natural language data in the era of social media has given rise to a host of applications such as sentiment analysis and opinion mining. Simultaneously, the growing availability of precise geolocation information is enabling visualization of global phenomena such as environmental changes and disease propagation. Opportunities for tracking spatial variations in language use, however, have largely been overlooked, especially on small spatial scales. Here we explore the use of Twitter data with precise geolocation information to resolve spatial variations in language use on an urban scale down to single city blocks. We identify several categories of language tokens likely to show distinctive patterns of use and develop quantitative methods to visualize the spatial distributions associated with these patterns. Our analysis concentrates on comparison of contrasting pairs of Tweet distributions from the same category, each defined by a set of tokens. Our work shows that analysis of small-scale variations can provide unique information on correlations between language use and social context which are highly valuable to a wide range of fields from linguistic science and commercial advertising to social services.


title: On the solution of a Riesz equilibrium problem and integral identities for special functions

abstract: The aim of this note is to provide a full space quadratic external field extension of a classical result of Marcel Riesz for the equilibrium measure on a ball with respect to Riesz s-kernels. We address the case s=d-3 for arbitrary dimension d, in particular the logarithmic kernel in dimension 3. The equilibrium measure for this full space external field problem turns out to be a radial arcsine distribution supported on a ball with a special radius. As a corollary, we obtain new integral identities involving special functions such as elliptic integrals and more generally hypergeometric functions. It seems that these identities are not found in the existing tables for series and integrals, and are not recognized by advanced mathematical software. Among other ingredients, our proofs involve the Euler-Lagrange variational characterization, the Funk-Hecke formula, the Weyl regularity lemma, the maximum principle, and special properties of hypergeometric functions.


title: A simple proof of Blackwell's renewal theorem by mapping to integers

abstract: This paper presents a new proof of the renewal theorem by bijecting a general point process to a deterministic one (where the time between events is always fixed). It also provides insight into the workings of the renewal theorem.


title: Real-Time ECG Interval Monitoring Using a Fully Disposable Wireless Patch Sensor

abstract: ECG interval monitoring provides key insights into the diagnosis of cardiac diseases. The standard 12-lead ECG is generally used, however, because of the current COVID-19 pandemic there is a strong need for a remote monitoring solution which will reduce exposure of health care providers to coronavirus. This article presents a disposable wireless patch biosensor (VitalPatch) and associated platform functionalities for real-time continuous measurement of clinically relevant ECG intervals including PR interval, QRS duration, QT interval, corrected QT interval by Bazett (QTb), and corrected QT interval by Fridericia (QTf). The performance of the VitalPatch is validated by comparing its automated algorithm interval measurements to the manually annotated global intervals of the 12-lead ECG device in 30 subjects. The accuracy of interval monitoring (in terms of mean timing error calculated by subtracting the VitalPatch measurements from the global intervals) is 2.7+/-15.94 ms, -1.97+/-12.29 ms, -14.6+/-12.97 ms, - 15.33+/-14.11 ms, and -15.08+/-13.69 ms for PR interval, QRS duration, QT interval, QTb, and QTf, respectively. These results demonstrate that the VitalPatch is a viable solution for measuring ECG intervals while taking advantage of its remote monitoring feature during the pandemic.


title: Validity and reliability of oral temperature compared to ingestible core temperature pill in free-living conditions

abstract: Complex thermodynamics of the human body and external factors may cause differences between oral and core body temperatures. We present a 19-subject study where continuous measurements of ingested core temperature pills are compared against spot measurements of oral temperature, both FDA-cleared devices, in free-living conditions. Based on measurements from 419 samples across 19 subjects, MAE of 0.30 +/- 0.26 oC and 95% limits of agreement of -0.60 and 0.90 oC was observed between ingestible pill temperature and oral temperature. These results demonstrate that statistically significant differences (p<0.001) between oral and core temperature may arise in free-living conditions. Such clinically relevant differences in temperature measurements due to complex thermodynamics of heat exchange in the human body, measurement noise, and other external factors show the intricacies of interpreting body temperatures measured at different locations.


title: Convergence of deterministic growth models

abstract: We prove the uniform in space and time convergence of the scaled heights of large classes of deterministic growth models that are monotone and equivariant under translations by constants. The limits are characterized as the unique (viscosity solutions) of first- or second-order partial differential equations depending on whether the growth models are scaled hyperbolically or parabolically. The results greatly simplify and extend a recent work by the first author to more general surface growth models. The proofs are based on the methodology developed by Barles and the second author to prove convergence of approximation schemes.


title: Images of Multilinear Polynomials in the Algebra of Finitary Matrices Contain Trace Zero Matrices

abstract: Let $F$ be an infinite field and let $f$ be a nonzero multilinear polynomial with coefficients in $F$. We prove that for every positive integer $d$ there exists a positive integer $s$ such that $f(M_{s}(F))$, the image of $f$ in $M_{s}(F)$, contains all trace zero $d \times d$ matrices. In particular, the image of $f$ in the algebra of all finitary matrices contains all trace zero finitary matrices.


title: One-matrix differential reformulation of two-matrix models

abstract: Differential reformulations of field theories are often used for explicit computations. We derive a one-matrix differential formulation of two-matrix models, with the help of which it is possible to diagonalize the one- and two-matrix models using a formula by Itzykson and Zuber that allows diagonalizing differential operators with respect to matrix elements of Hermitian matrices. We detail the equivalence between the expressions obtained by diagonalizing the partition function in differential or integral formulation, which is not manifest at first glance. For one-matrix models, this requires transforming certain derivatives to variables. In the case of two-matrix models, the same computation leads to a new determinant formulation of the partition function, and we discuss potential applications to new orthogonal polynomials methods.


title: Fuzzy-based Higher Adaptive Order Sliding Mode Observers

abstract: In this article, I introduce the notion of Fuzzy-based Higher adaptive order sliding mode observers through the example of the super-twisting adaptive order sliding mode observer. I begin by presenting the super-twisting second order sliding mode observer for systems in triangular form. Then I replace the sign functions with fuzzy inference systems in order to eliminate the chattering effect. I then show that this variant of the super-twisting second order sliding mode observer may not converge depending on the input, so I replace the square root with an adaptive power $\gamma$. The efficiency of the proposed method is illustrated by simulations made on MATLAB/Simulink.


title: Stable Voting

abstract: We propose a new single-winner voting system using ranked ballots: Stable Voting. The motivating principle of Stable Voting is that if a candidate A would win without another candidate B in the election, and A beats B in a head-to-head majority comparison, then A should still win in the election with B included (unless there is another candidate A' who has the same kind of claim to winning, in which case a tiebreaker may choose between such candidates). We call this principle Stability for Winners (with Tiebreaking). Stable Voting satisfies this principle while also having a remarkable ability to avoid tied outcomes in elections even with small numbers of voters.


title: Statistical Learning in Preclinical Drug Proarrhythmic Assessment

abstract: Torsades de pointes (TdP) is an irregular heart rhythm characterized by faster beat rates and potentially could lead to sudden cardiac death. Much effort has been invested in understanding the drug-induced TdP in preclinical studies. However, a comprehensive statistical learning framework that can accurately predict the drug-induced TdP risk from preclinical data is still lacking. We proposed ordinal logistic regression and ordinal random forest models to predict low-, intermediate-, and high-risk drugs based on datasets generated from two experimental protocols. Leave-one-drug-out cross-validation, stratified bootstrap, and permutation predictor importance were applied to estimate and interpret the model performance under uncertainty. The potential outlier drugs identified by our models are consistent with their descriptions in the literature. Our method is accurate, interpretable, and thus useable as supplemental evidence in the drug safety assessment.


title: Parametrizing the Ramsey theory of vector spaces I: Discrete spaces

abstract: We show that the Ramsey theory of block sequences in infinite-dimensional discrete vector spaces can be parametrized by perfect sets. As special cases, we prove combinatorial dichotomies for definable families of partitions and linear transformations on those spaces. We also consider the extent to which analogues of selective ultrafilters in this setting are preserved by Sacks forcing.


title: Congruence counting in Schottky and continued fractions semigroups of $\operatorname{SO}(n, 1)$

abstract: In this paper, the two settings we are concerned with are $\Gamma < \operatorname{SO}(n, 1)$ a Zariski dense Schottky semigroup and $\Gamma < \operatorname{SL}_2(\mathbb C)$ a Zariski dense continued fractions semigroup. In both settings, we prove a uniform asymptotic counting formula for the associated congruence subsemigroups, generalizing the work of Magee-Oh-Winter [arXiv:1601.03705] in $\operatorname{SL}_2(\mathbb R)$ to higher dimensions. Superficially, the proof requires two separate strategies: the expander machinery of Golsefidy-Varj\'u, based on the work of Bourgain-Gamburd-Sarnak, and Dolgopyat's method. However, there are several challenges in higher dimensions. Firstly, using the expander machinery requires a key input: the Zariski density and full trace field property of the return trajectory subgroups, newly introduced in [arXiv:2006.07787]. Secondly, we need to adapt Stoyanov's version of Dolgopyat's method to circumvent some technical issues while the main difficulty is to prove the key inputs: the local non-integrability condition (LNIC).


title: Fear-driven extinction and (de)stabilization in a predator-prey model incorporating prey herd behavior and mutual interference

abstract: A deterministic two-species predator-prey model with prey herd behavior is considered incorporating mutual interference and the effect of fear. We provide guidelines to the dynamical analysis of biologically feasible equilibrium points. We give conditions for the existence of some local and global bifurcations at the coexistence equilibrium. We also show that fear can induce extinction of the prey population from a coexistence zone in finite time. Our numerical simulations reveal that varying the strength of fear of predators with suitable choice of parameters can stabilize and destabilize the coexistence equilibrium solutions of the model. Additionally, we discuss the outcome of introducing a constant harvesting effort to the predator population in terms of changing the dynamics of the system, in particular, from finite time extinction to stable coexistence. Furthermore, we perform extensive numerical experiments to visualize the dynamical behavior of the model and substantiate the results we obtained.


title: Detection of subtle cartilage and bone tissue degeneration in the equine joint using polarisation-sensitive optical coherence tomography

abstract: Objective: To explore the ability of polarisation-sensitive optical coherence tomography (PS-OCT) to rapidly identify subtle signs of tissue degeneration in the equine joint. Design: Polarisation-sensitive optical coherence tomography (PS-OCT) images were systematically acquired in four locations along the medial and lateral condyles of the third metacarpal bone in 5 equine specimens. Intensity and retardation PS-OCT images, and anomalies observed therein, were then compared and validated with high resolution images of the tissue sections obtained using Differential Interference contrast (DIC) optical light microscopy. Results: The PS-OCT system was capable of imaging the entire equine osteochondral unit, and allowed delineation of the three structurally differentiated zones of the joint, that is, the articular cartilage matrix, zone of calcified cartilage and underlying subchondral bone. Importantly, PS-OCT imaging was able to detect underlying matrix and bone changes not visible without dissection and/or microscopy. Conclusion: PS-OCT has substantial potential to detect, non-invasively, sub-surface microstructural changes that are known to be associated with the early stages of joint tissue degeneration.


title: A Reinforcement Learning Approach for Scheduling in mmWave Networks

abstract: We consider a source that wishes to communicate with a destination at a desired rate, over a mmWave network where links are subject to blockage and nodes to failure (e.g., in a hostile military environment). To achieve resilience to link and node failures, we here explore a state-of-the-art Soft Actor-Critic (SAC) deep reinforcement learning algorithm, that adapts the information flow through the network, without using knowledge of the link capacities or network topology. Numerical evaluations show that our algorithm can achieve the desired rate even in dynamic environments and it is robust against blockage.


title: Multidimensional Pad\'e approximation of binomial functions: Equalities

abstract: Let $\omega_0,\dots,\omega_M$ be complex numbers. If $H_0,\dots,H_M$ are polynomials of degree at most $\rho_0,\dots,\rho_M$, and $G(z)=\sum_{m=0} ^M H_m(z) (1-z)^{\omega_m}$ has a zero at $z=0$ of maximal order (for the given $\omega_m,\rho_m$), we say that $H_0,\dots,H_M$ are a \emph{multidimensional Pad\'e approximation of binomial functions}, and call $G$ the Pad\'e remainder. We collect here with proof all of the known expressions for $G$ and $H_m$, including a new one: the Taylor series of $G$. We also give a new criterion for systems of Pad\'e approximations of binomial functions to be perfect (a specific sort of independence used in applications).


title: Circular planar electrical networks, Split systems, and Phylogenetic networks

abstract: We study a new invariant of circular planar electrical networks, well known to phylogeneticists: the circular split system. We use our invariant to answer some open questions about levels of complexity of networks and their related Kalmanson metrics. The key to our analysis is the realization that certain matrices arising from weighted split systems are studied in another guise: the Kron reductions of Laplacian matrices of planar electrical networks. Specifically we show that a response matrix of a circular planar electrical network corresponds to a unique resistance metric obeying the Kalmanson condition, and thus a unique weighted circular split system. Our results allow interchange of methods: phylogenetic reconstruction using theorems about electrical networks, and circuit reconstruction using phylogenetic techniques.


title: Cybonto: Towards Human Cognitive Digital Twins for Cybersecurity

abstract: Cyber defense is reactive and slow. On average, the time-to-remedy is hundreds of times larger than the time-to-compromise. In response to the expanding ever-more-complex threat landscape, Digital Twins (DTs) and particularly Human Digital Twins (HDTs) offer the capability of running massive simulations across multiple knowledge domains. Simulated results may offer insights into adversaries' behaviors and tactics, resulting in better proactive cyber-defense strategies. For the first time, this paper solidifies the vision of DTs and HDTs for cybersecurity via the Cybonto conceptual framework proposal. The paper also contributes the Cybonto ontology, formally documenting 108 constructs and thousands of cognitive-related paths based on 20 time-tested psychology theories. Finally, the paper applied 20 network centrality algorithms in analyzing the 108 constructs. The identified top 10 constructs call for extensions of current digital cognitive architectures in preparation for the DT future.


title: PSE-Match: A Viewpoint-free Place Recognition Method with Parallel Semantic Embedding

abstract: Accurate localization on autonomous driving cars is essential for autonomy and driving safety, especially for complex urban streets and search-and-rescue subterranean environments where high-accurate GPS is not available. However current odometry estimation may introduce the drifting problems in long-term navigation without robust global localization. The main challenges involve scene divergence under the interference of dynamic environments and effective perception of observation and object layout variance from different viewpoints. To tackle these challenges, we present PSE-Match, a viewpoint-free place recognition method based on parallel semantic analysis of isolated semantic attributes from 3D point-cloud models. Compared with the original point cloud, the observed variance of semantic attributes is smaller. PSE-Match incorporates a divergence place learning network to capture different semantic attributes parallelly through the spherical harmonics domain. Using both existing benchmark datasets and two in-field collected datasets, our experiments show that the proposed method achieves above 70% average recall with top one retrieval and above 95% average recall with top ten retrieval cases. And PSE-Match has also demonstrated an obvious generalization ability with a limited training dataset.


title: Deconvolving the components of the sign problem

abstract: Auxiliary field Quantum Monte Carlo simulations of interacting fermions require sampling over a Hubbard-Stratonovich field $h$ introduced to decouple the interactions. The weight for a given configuration involves the products of the determinant of matrices $M_\sigma(h)$, where $\sigma$ labels the species, and hence is typically not positive definite. Indeed, the average sign $\langle {\cal S} \rangle$ of the determinants goes to zero exponentially with increasing spatial size and decreasing temperature for most Hamiltonians of interest. This statement, however, does not explicitly separate two possible origins for the vanishing of $\langle {\cal S} \rangle$. Does $\langle {\cal S} \rangle \rightarrow 0$ because {\it randomly} chosen field configurations have ${\rm det}\big(M(h)\big) < 0$, or does the `sign problem' arise because the specific subset of configurations chosen by the weighting function have a greater preponderance of negative values? In the latter case, the process of weighting the configurations with $|{\rm det}\big(M(h)\big)|$ might steer the simulation to a region of configuration space of $h$ where positive and negative determinants are equally likely, even though randomly chosen $h$ would preferentially have determinants with a single dominant sign. In this paper we address the relative importance of these two mechanisms for the vanishing of $\langle {\cal S} \rangle$ in quantum simulations.


title: Experimental Findings on the Sources of Detected Unrecoverable Errors in GPUs

abstract: We investigate the sources of Detected Unrecoverable Errors (DUEs) in GPUs exposed to neutron beams. Illegal memory accesses and interface errors are among the more likely sources of DUEs. ECC increases the launch failure events. Our test procedure has shown that ECC can reduce the DUEs caused by Illegal Address access up to 92% for Kepler and 98% for Volta.


title: Convergence and Riemannian bounds on Lagrangian submanifolds

abstract: We consider collections of Lagrangian submanifolds of a given symplectic manifold which respect uniform bounds of curvature type coming from an auxiliary Riemannian metric. We prove that, for a large class of metrics on these collections, convergence to an embedded Lagrangian submanifold implies convergence to it in the Hausdorff metric. This class of metrics includes well-known metrics such as the Lagrangian Hofer metric, the spectral norm and the shadow metrics introduced by Biran, Cornea and Shelukhin arXiv:1806.06630. The proof relies on a version of the monotonicity lemma, applied on a carefully-chosen metric ball.


title: Arbitrary-rate relaxation techniques for the numerical modeling of compressible two-phase flows with heat and mass transfer

abstract: We describe compressible two-phase flows by a single-velocity six-equation flow model, which is composed of the phasic mass and total energy equations, one volume fraction equation, and the mixture momentum equation. The model contains relaxation source terms accounting for volume, heat and mass transfer. The equations are numerically solved via a fractional step algorithm, where we alternate between the solution of the homogeneous hyperbolic portion of the system via a HLLC-type wave propagation scheme, and the solution of a sequence of three systems of ordinary differential equations for the relaxation source terms driving the flow toward mechanical, thermal and chemical equilibrium. In the literature often numerical relaxation procedures are based on simplifying assumptions, namely simple equations of state, such as the stiffened gas one, and instantaneous relaxation processes. These simplifications of the flow physics might be inadequate for the description of the thermodynamical processes involved in various flow problems. In the present work we introduce new numerical relaxation techniques with two significant properties: the capability to describe heat and mass transfer processes of arbitrary relaxation time, and the applicability to a general equation of state. We show the effectiveness of the proposed methods by presenting several numerical experiments.


title: NuSTAR broad-band X-ray observational campaign of energetic pulsar wind nebulae in synergy with VERITAS, HAWC and Fermi gamma-ray telescopes

abstract: We report recent progress on the on-going NuSTAR observational campaign of 8 TeV-detected pulsar wind nebulae (PWNe). This campaign constitutes a major part of our NuSTAR study of some of the most energetic TeV sources in our Galaxy detected by VERITAS and HAWC. NuSTAR is the first focusing X-ray telescope operating above 10 keV in space with sub-arcminute angular resolution. Broad-band X-ray imaging and spectroscopy data, obtained by NuSTAR, allow us to probe sub-PeV electron populations through detecting synchrotron X-ray radiation. Our targets include PeVatron candidates detected by HAWC, the Boomerang nebula, PWNe crushed by supernova remnant shocks (or relic PWNe) and G0.9+0.1 in the Galactic Center. Using Fermi-LAT data and available TeV data, we aim to provide a complete, multi-wavelength view of a diverse class of middle-aged (~10-100 kyrs old) PWNe. Our NuSTAR analysis detected hard X-ray emission from the Eel and Boomerang PWNe and characterized their broad-band X-ray spectra most accurately. We plan to apply both time-evolution and multi-zone PWN models to multi-wavelength spectral energy distribution (SED) data over the radio, X-ray, GeV and TeV bands. In this proceeding, we will review our observational campaign and discuss the preliminary results for some PWNe.


title: The occurrence of surface tension gradient discontinuities and zero mobility for Allen-Cahn and curvature flows in periodic media

abstract: We construct several examples related to the scaling limits of energy minimizers and gradient flows of surface energy functionals in heterogeneous media. These include both sharp and diffuse interface models. The focus is on two separate but related issues, the regularity of effective surface tensions and the occurrence of zero mobility in the associated gradient flows. On regularity we build on the theory of Goldman, Chambolle and Novaga to show that gradient discontinuities in the surface tension are generic for sharp interface models. In the diffuse interface case we only show that the laminations by plane-like solutions satisfying the strong Birkhoff property generically are not foliations and do have gaps. On mobility we construct examples in both the sharp and diffuse interface case where the homogenization scaling limit of the $L^2$ gradient flow is trivial, i.e. there is pinning at every direction. In the sharp interface case, these are related to examples previously constructed by Novaga and Valdinoci for forced mean curvature flow.


title: A Machine-Learning-Based Direction-of-Origin Filter for the Identification of Radio Frequency Interference in the Search for Technosignatures

abstract: Radio frequency interference (RFI) mitigation remains a major challenge in the search for radio technosignatures. Typical mitigation strategies include a direction-of-origin (DoO) filter, where a signal is classified as RFI if it is detected in multiple directions on the sky. These classifications generally rely on estimates of signal properties, such as frequency and frequency drift rate. Convolutional neural networks (CNNs) offer a promising complement to existing filters because they can be trained to analyze dynamic spectra directly, instead of relying on inferred signal properties. In this work, we compiled several data sets consisting of labeled pairs of images of dynamic spectra, and we designed and trained a CNN that can determine whether or not a signal detected in one scan is also present in another scan. This CNN-based DoO filter outperforms both a baseline 2D correlation model as well as existing DoO filters over a range of metrics, with precision and recall values of 99.15% and 97.81%, respectively. We found that the CNN reduces the number of signals requiring visual inspection after the application of traditional DoO filters by a factor of 6-16 in nominal situations.


title: Revisiting the post-glitch relaxation of the 2000 Vela glitch with the neutron star equation of states in the Brueckner and relativistic Brueckner theories

abstract: We revisit the short-term post-glitch relaxation of the Vela 2000 glitch in the simple two-component model of pulsar glitch by making use of the latest realistic equations of states from the microscopic Brueckner and the relativistic Brueckner theories for neutron stars, which can reconcile with the available astrophysical constraints. We show that to fit both the glitch size and the post-glitch jumps in frequency derivatives approximately one minute after the glitch, the mass of the Vela pulsar is necessarily small, and there may be demands for a stiff equation of state (which results in a typical stellar radius larger than $\sim\negthickspace12.5\,\rm km$) and a strong suppression of the pairing gap in the nuclear medium. We discuss the implications of this result on the understanding of pulsar glitches.


title: GALExtin: An alternative online tool to determine the interstellar extinction in the Milky Way

abstract: Estimates of interstellar extinction are essential in a broad range of astronomical research. In the last decades, several maps and models of the large scale interstellar extinction in the Galaxy have been published. However, these maps and models have been developed in different programming languages, with different user interfaces and input/output formats, which makes using and comparing results from these maps and models difficult. To address this issue, we have developed a tool called GALExtin (\url{http://www.galextin.org}) - that estimates interstellar extinction based on both 3D models/maps and 2D maps available. The user only needs to provide a list with coordinates (and distance) and to choose a model/map. GALExtin will then provide an output list with extinction estimates. It can be implemented in any other portal or model that requires interstellar extinction estimates. Here, a general overview of GALExtin is presented, along with its capabilities, validation, performance and some results.


title: Recent Heavy-Flavor Results from STAR

abstract: In these proceedings, we report on the production of various open heavy-flavor hadrons and quarkonia in Au+Au collisions at sNN = 200GeV from the STAR experiment.


title: A lower bound on the average genus of a 2-bridge knot

abstract: Experimental data from Dunfield et al using random grid diagrams suggests that the genus of a knot grows linearly with respect to the crossing number. Using billiard table diagrams of Chebyshev knots developed by Koseleff and Pecker and a random model of 2-bridge knots via these diagrams developed by the author with Krishnan and then with Even-Zohar and Krishnan, we introduce a further-truncated model of all 2-bridge knots of a given crossing number, almost all counted twice. We present a convenient way to count Seifert circles in this model and use this to compute a lower bound for the average Seifert genus of a 2-bridge knot of a given crossing number.


title: Learning Maritime Obstacle Detection from Weak Annotations by Scaffolding

abstract: Coastal water autonomous boats rely on robust perception methods for obstacle detection and timely collision avoidance. The current state-of-the-art is based on deep segmentation networks trained on large datasets. Per-pixel ground truth labeling of such datasets, however, is labor-intensive and expensive. We observe that far less information is required for practical obstacle avoidance - the location of water edge on static obstacles like shore and approximate location and bounds of dynamic obstacles in the water is sufficient to plan a reaction. We propose a new scaffolding learning regime (SLR) that allows training obstacle detection segmentation networks only from such weak annotations, thus significantly reducing the cost of ground-truth labeling. Experiments show that maritime obstacle segmentation networks trained using SLR substantially outperform the same networks trained with dense ground truth labels. Thus accuracy is not sacrificed for labelling simplicity but is in fact improved, which is a remarkable result.


title: Hanf number of the first stability cardinal in AECs

abstract: We show that $\beth_{(2^{\operatorname{LS}({\bf K})})^+}$ is the lower bound to the Hanf numbers for the length of the order property and for stability in stable abstract elementary classes (AECs). Our examples satisfy the joint embedding property, no maximal model, $(<\aleph_0)$-tameness but not necessarily the amalgamation property. We also define variations on the order and syntactic order properties by allowing the index set to be linearly ordered rather than well-ordered. Combining with Shelah's stability theorem, we deduce that our examples can have the order property up to any $\mu<\beth_{(2^{\operatorname{LS}({\bf K})})^+}$. Boney conjectured that the need for joint embedding property for two type-counting lemmas is necessary. We solved the conjecture by showing it is independent of ZFC. Using Galois Morleyization, we give syntactic proofs to known stability results assuming a monster model.


title: Efficient On-Chip Multicast Routing based on Dynamic Partition Merging

abstract: Networks-on-chips (NoCs) have become the mainstream communication infrastructure for chip multiprocessors (CMPs) and many-core systems. The commonly used parallel applications and emerging machine learning-based applications involve a significant amount of collective communication patterns. In CMP applications, multicast is widely used in multithreaded programs and protocols for barrier/clock synchronization and cache coherence. Multicast routing plays an important role on the system performance of a CMP. Existing partition-based multicast routing algorithms all use static destination set partition strategy which lacks the global view of path optimization. In this paper, we propose an efficient Dynamic Partition Merging (DPM)-based multicast routing algorithm. The proposed algorithm divides the multicast destination set into partitions dynamically by comparing the routing cost of different partition merging options and selecting the merged partitions with lower cost. The simulation results of synthetic traffic and PARSEC benchmark applications confirm that the proposed algorithm outperforms the existing path-based routing algorithms. The proposed algorithm is able to improve up to 23\% in average packet latency and 14\% in power consumption against the existing multipath routing algorithm when tested in PARSEC benchmark workloads.


title: Agile Elicitation of Scalability Requirements for Open Systems: A Case Study

abstract: Eliciting scalability requirements during agile software development is complicated and poorly described in previous research. This article presents a lightweight artifact for eliciting scalability requirements during agile software development: the ScrumScale model. The ScrumScale model is a simple spreadsheet. The scalability concepts underlying the ScrumScale model are clarified in this design science research, which also utilizes coordination theory. This paper describes the open banking case study, where a legacy banking system becomes open. This challenges the scalability of this legacy system. The first step in understanding this challenge is to elicit the new scalability requirements. In the open banking case study, key stakeholders from TietoEVRY spent 55 hours eliciting TietoEVRY's open banking project's scalability requirements. According to TietoEVRY, the ScrumScale model provided a systematic way of producing scalability requirements. For TietoEVRY, the scalability concepts behind the ScrumScale model also offered significant advantages in dialogues with other stakeholders.


title: FLASH: Fast Neural Architecture Search with Hardware Optimization

abstract: Neural architecture search (NAS) is a promising technique to design efficient and high-performance deep neural networks (DNNs). As the performance requirements of ML applications grow continuously, the hardware accelerators start playing a central role in DNN design. This trend makes NAS even more complicated and time-consuming for most real applications. This paper proposes FLASH, a very fast NAS methodology that co-optimizes the DNN accuracy and performance on a real hardware platform. As the main theoretical contribution, we first propose the NN-Degree, an analytical metric to quantify the topological characteristics of DNNs with skip connections (e.g., DenseNets, ResNets, Wide-ResNets, and MobileNets). The newly proposed NN-Degree allows us to do training-free NAS within one second and build an accuracy predictor by training as few as 25 samples out of a vast search space with more than 63 billion configurations. Second, by performing inference on the target hardware, we fine-tune and validate our analytical models to estimate the latency, area, and energy consumption of various DNN architectures while executing standard ML datasets. Third, we construct a hierarchical algorithm based on simplicial homology global optimization (SHGO) to optimize the model-architecture co-design process, while considering the area, latency, and energy consumption of the target hardware. We demonstrate that, compared to the state-of-the-art NAS approaches, our proposed hierarchical SHGO-based algorithm enables more than four orders of magnitude speedup (specifically, the execution time of the proposed algorithm is about 0.1 seconds). Finally, our experimental evaluations show that FLASH is easily transferable to different hardware architectures, thus enabling us to do NAS on a Raspberry Pi-3B processor in less than 3 seconds.


title: The Evolutionary Map of the Universe Pilot Survey

abstract: We present the data and initial results from the first Pilot Survey of the Evolutionary Map of the Universe (EMU), observed at 944 MHz with the Australian Square Kilometre Array Pathfinder (ASKAP) telescope. The survey covers 270 \sqdeg of an area covered by the Dark Energy Survey, reaching a depth of 25--30 \ujybm\ rms at a spatial resolution of $\sim$ 11--18 arcsec, resulting in a catalogue of $\sim$ 220,000 sources, of which $\sim$ 180,000 are single-component sources. Here we present the catalogue of single-component sources, together with (where available) optical and infrared cross-identifications, classifications, and redshifts. This survey explores a new region of parameter space compared to previous surveys. Specifically, the EMU Pilot Survey has a high density of sources, and also a high sensitivity to low surface-brightness emission. These properties result in the detection of types of sources that were rarely seen in or absent from previous surveys. We present some of these new results here.


title: Accelerating Markov Random Field Inference with Uncertainty Quantification

abstract: Statistical machine learning has widespread application in various domains. These methods include probabilistic algorithms, such as Markov Chain Monte-Carlo (MCMC), which rely on generating random numbers from probability distributions. These algorithms are computationally expensive on conventional processors, yet their statistical properties, namely interpretability and uncertainty quantification (UQ) compared to deep learning, make them an attractive alternative approach. Therefore, hardware specialization can be adopted to address the shortcomings of conventional processors in running these applications. In this paper, we propose a high-throughput accelerator for Markov Random Field (MRF) inference, a powerful model for representing a wide range of applications, using MCMC with Gibbs sampling. We propose a tiled architecture which takes advantage of near-memory computing, and memory optimizations tailored to the semantics of MRF. Additionally, we propose a novel hybrid on-chip/off-chip memory system and logging scheme to efficiently support UQ. This memory system design is not specific to MRF models and is applicable to applications using probabilistic algorithms. In addition, it dramatically reduces off-chip memory bandwidth requirements. We implemented an FPGA prototype of our proposed architecture using high-level synthesis tools and achieved 146MHz frequency for an accelerator with 32 function units on an Intel Arria 10 FPGA. Compared to prior work on FPGA, our accelerator achieves 26X speedup. Furthermore, our proposed memory system and logging scheme to support UQ reduces off-chip bandwidth by 71% for two applications. ASIC analysis in 15nm shows our design with 2048 function units running at 3GHz outperforms GPU implementations of motion estimation and stereo vision on Nvidia RTX2080Ti by 120X-210X, occupying only 7.7% of the area.


title: Shear-thinning and shear-thickening emulsions in shear flows

abstract: We study the rheology of a two-fluid emulsion in semi-concentrated conditions; the solute is Newtonian while the solvent an inelastic power law fluid. The problem at hand is tackled by means of direct numerical simulations using the volume of fluid method. The analysis is performed for different volume fractions and viscosity ratios under the assumption of negligible inertia and zero buoyancy force. Several carrier fluids are considered encompassing both the shear-thinning and thickening behaviors. We show that the effective viscosity of the system increases for shear-thickening fluids and decreases for the shear-thinning ones for all the viscosity ratios considered. The changes in the emulsion viscosity are mainly due to modifications of the coalescence in the system obtained by changing the carrier fluid property: indeed, local large and low shear rates are found in the regions between two interacting droplets for shear-thickening and thinning fluids, respectively, resulting in increased and reduced local viscosity which ultimately affects the drainage time of the system. This process is independent of the nominal viscosity ratio of the two fluids and we show that it can not be understood by considering only the mean shear rate and viscosity of the two fluids across the domain, but the full spectrum of shear rate must be taken into account.


title: High-resolution chirplet transform: from parameters analysis to parameters combination

abstract: The standard chirplet transform (CT) with a chirp-modulated Gaussian window provides a valuable tool for analyzing linear chirp signals. The parameters present in the window determine the performance of the CT and play a vital role in high-resolution time-frequency (TF) analysis. In this paper, we give the window shape analysis of the CT and compare it with the extension that employs a rotating Gaussian window by the fractional Fourier transform. The given parameters analysis provides theoretical guidance for developing high-resolution CT. We then propose a multi-resolution chirplet transform (MrCT) by combining multiple CTs with different parameter combinations. These are combined geometrically to obtain an improved TF resolution by overcoming the limitations of any single representation of the CT. By deriving a combined instantaneous frequency equation, we further develop a high-concentration TF post-processing approach to improve the readability of the MrCT. Numerical experiments on simulated and real signals verify the effectiveness of the proposed methods.


title: MuSiQue: Multihop Questions via Single-hop Question Composition

abstract: Multihop reasoning remains an elusive goal as existing multihop benchmarks are known to be largely solvable via shortcuts. Can we create a question answering (QA) dataset that, by construction, \emph{requires} proper multihop reasoning? To this end, we introduce a bottom-up approach that systematically selects composable pairs of single-hop questions that are connected, i.e., where one reasoning step critically relies on information from another. This bottom-up methodology lets us explore a vast space of questions and add stringent filters as well as other mechanisms targeting connected reasoning. It provides fine-grained control over the construction process and the properties of the resulting $k$-hop questions. We use this methodology to create MuSiQue-Ans, a new multihop QA dataset with 25K 2-4 hop questions. Relative to existing datasets, MuSiQue-Ans is more difficult overall (3x increase in human-machine gap), and harder to cheat via disconnected reasoning (e.g., a single-hop model has a 30 point drop in F1). We further add unanswerable contrast questions to produce a more stringent dataset, MuSiQue-Full. We hope our datasets will help the NLP community develop models that perform genuine multihop reasoning.


title: Ab-initio experimental violation of Bell inequalities

abstract: The violation of a Bell inequality is the paradigmatic example of device-independent quantum information: the nonclassicality of the data is certified without the knowledge of the functioning of devices. In practice, however, all Bell experiments rely on the precise understanding of the underlying physical mechanisms. Given that, it is natural to ask: Can one witness nonclassical behaviour in a truly black-box scenario? Here we propose and implement, computationally and experimentally, a solution to this ab-initio task. It exploits a robust automated optimization approach based on the Stochastic Nelder-Mead algorithm. Treating preparation and measurement devices as black-boxes, and relying on the observed statistics only, our adaptive protocol approaches the optimal Bell inequality violation after a limited number of iterations for a variety photonic states, measurement responses and Bell scenarios. In particular, we exploit it for randomness certification from unknown states and measurements. Our results demonstrate the power of automated algorithms, opening a new venue for the experimental implementation of device-independent quantum technologies.


title: Stress tensor mesostructures for freeform shaping of thin substrates

abstract: Stress-induced shaping, which deforms thin substrates utilizing stressed surface coatings, has enabled and enhanced a host of applications in past decades. Owing to the touchless fabrication process compatible with modern planar technology, the method has been applied from microscale to macroscale applications such as self-assembled micro-structures and space mirrors. However, the deformations created by existing stress-control schemes are limited to certain classes of geometries (such as sphere, coma and astigmatism) or rely on boundary constraints and hinges because the stress is unary, e.g., equibiaxial stress or uniaxial stress with fixed orientation. Here, we present novel stress tensor mesostructures to spatially control the three required stress tensor components, i.e., two normal stresses and a shear stress, over the surface of thin substrates. Three different mesostructure types have been created, each offering distinct advantages. For demonstration, we patterned these mesostructures on the back sides of silicon wafers for freeform shape generation and correction which are not achievable by conventional methods. Stress tensor mesostructures will unleash the value of fields related to stress-induced bending from microscale to macroscopy, such as thin freeform substrates that will become increasingly important with the rise of wearable and space optics.


title: Enantio-specific state transfer for symmetric-top chiral molecules

abstract: We study the enantio-specific state transfer in a four-level model for symmetric-top chiral molecules. Such a model is formed by coupling the electric-dipole transitions among four appropriate working states with three electromagnetic fields. It includes two cyclic three-level substructures, where the overall phases differ by $\pi$ with enantiomers and reflect the chirality dependence of the molecule. Based on this four-level model, two dynamic ways are proposed to achieve the approximately perfect enantio-specific state transfer for symmetric-top chiral molecules.


title: Logic-Consistency Text Generation from Semantic Parses

abstract: Text generation from semantic parses is to generate textual descriptions for formal representation inputs such as logic forms and SQL queries. This is challenging due to two reasons: (1) the complex and intensive inner logic with the data scarcity constraint, (2) the lack of automatic evaluation metrics for logic consistency. To address these two challenges, this paper first proposes SNOWBALL, a framework for logic consistent text generation from semantic parses that employs an iterative training procedure by recursively augmenting the training set with quality control. Second, we propose a novel automatic metric, BLEC, for evaluating the logical consistency between the semantic parses and generated texts. The experimental results on two benchmark datasets, Logic2Text and Spider, demonstrate the SNOWBALL framework enhances the logic consistency on both BLEC and human evaluation. Furthermore, our statistical analysis reveals that BLEC is more logically consistent with human evaluation than general-purpose automatic metrics including BLEU, ROUGE and, BLEURT. Our data and code are available at https://github.com/Ciaranshu/relogic.


title: Is My Model Using The Right Evidence? Systematic Probes for Examining Evidence-Based Tabular Reasoning

abstract: Neural models command state-of-the-art performance across NLP tasks, including ones involving "reasoning". Models claiming to reason about the evidence presented to them should attend to the correct parts of the input avoiding spurious patterns therein, be self-consistent in their predictions across inputs, and be immune to biases derived from their pre-training in a nuanced, context-sensitive fashion. {\em Do the prevalent *BERT-family of models do so?} In this paper, we study this question using the problem of reasoning on tabular data. Tabular inputs are especially well-suited for the study -- they admit systematic probes targeting the properties listed above. Our experiments demonstrate that a RoBERTa-based model, representative of the current state-of-the-art, fails at reasoning on the following counts: it (a) ignores relevant parts of the evidence, (b) is over-sensitive to annotation artifacts, and (c) relies on the knowledge encoded in the pre-trained language model rather than the evidence presented in its tabular inputs. Finally, through inoculation experiments, we show that fine-tuning the model on perturbed data does not help it overcome the above challenges.


title: Global solvability of a predator-prey model with predator-taxis and prey-taxis

abstract: This paper is concerned with a diffusive predator-prey model with predator-taxis and prey-taxis. Based on the Schauder fixed point theorem, we prove the global existence, uniqueness and boundedness of the classical solutions under the conditions that the predator-taxis and prey-taxis effects are weak enough.


title: GraphFPN: Graph Feature Pyramid Network for Object Detection

abstract: Feature pyramids have been proven powerful in image understanding tasks that require multi-scale features. State-of-the-art methods for multi-scale feature learning focus on performing feature interactions across space and scales using neural networks with a fixed topology. In this paper, we propose graph feature pyramid networks that are capable of adapting their topological structures to varying intrinsic image structures and supporting simultaneous feature interactions across all scales. We first define an image-specific superpixel hierarchy for each input image to represent its intrinsic image structures. The graph feature pyramid network inherits its structure from this superpixel hierarchy. Contextual and hierarchical layers are designed to achieve feature interactions within the same scale and across different scales. To make these layers more powerful, we introduce two types of local channel attention for graph neural networks by generalizing global channel attention for convolutional neural networks. The proposed graph feature pyramid network can enhance the multiscale features from a convolutional feature pyramid network. We evaluate our graph feature pyramid network in the object detection task by integrating it into the Faster R-CNN algorithm. The modified algorithm outperforms not only previous state-of-the-art feature pyramid-based methods with a clear margin but also other popular detection methods on both MS-COCO 2017 validation and test datasets.


title: An 8\% Determination of the Hubble Constant from localized Fast Radio Bursts

abstract: The $\Lambda$CDM model successfully explains the majority of cosmological observations. However, the $\Lambda$CDM model is challenged by Hubble tension, a remarkable difference of Hubble constant $H_0$ between measurements from local probe and the prediction from Planck cosmic microwave background observations under $ \Lambda$CDM model. So one urgently needs new distance indicators to test the Hubble tension. Fast radio bursts (FRBs) are millisecond-duration pulses occurring at cosmological distances, which are attractive cosmological probes. However, there is a thorny problem that the dispersion measures (DMs) contributed by host galaxy and the inhomogeneities of intergalactic medium cannot be exactly determined from observations. Previous works assuming fixed values for them bring uncontrolled systematic error in analysis. A reasonable approach is to handle them as probability distributions extracted from cosmological simulations. Here we report a measurement of ${H_0} = 64.67^{+5.62}_{-4.66} {\rm \ km \ s^{-1} \ Mpc^{-1}}$ using fourteen localized FRBs, with an uncertainty of 8.7\% at 68.3 per cent confidence. Thanks to the high event rate of FRBs and localization capability of radio telescopes (i.e., Australian Square Kilometre Array Pathfinder and Very Large Array), future observations of a reasonably sized sample ($\sim$100 localized FRBs) will provide a new way of measuring $H_0$ with a high precision ($\sim$2.6\%) to test the Hubble tension.