title: Terahertz detection based on nonlinear Hall effect without magnetic field

abstract: We propose a method for broadband long-wavelength photodetection using the nonlinear Hall effect in non-centrosymmetric quantum materials. The inherently quadratic relation between transverse current and input voltage at zero magnetic field is used to rectify the incident terahertz or infrared electric field into a direct current, without invoking any diode. Our photodetector operates at zero external bias with fast response speed and has zero threshold voltage. Remarkably, the intrinsic current responsivity due to Berry curvature mechanism is a material property independent of the incident frequency or the scattering rate, which can be evaluated from first-principles electronic structure calculations. We identify the Weyl semimetal NbP for terahertz photodection with large current responsivity reaching $\sim 1$A/W without external bias.


title: Quantitative Assessment of Finite-element Models for Magnetostatic Field Calculations

abstract: We present quantitative means for assessing the numerical accuracy of static magnetic field calculations in finite-element models. Our calculations use the three-dimensional Opera simulation software suite of Dassault Syst`emes. Our need to assess the effects of fringe fields requires such a 3D algorithm. While we do discuss and compare our approach to a method of accuracy estimation used in the Opera post-processor, our methods are generally applicable to any model using relaxation techniques in finite-element systems. For purposes of illustration, we present modeling and analysis of two types of quadrupole electromagnets presently in operation in the south arc of the Cornell Electron Storage Ring (CESR). Calculations of field multipole expansion coefficients and numerical deviations from Maxwell's equations in source-free regions are discussed, with emphasis on the dependence of their accuracy on changes to the finite-element model. Successive refinement steps in the finite-element model for the non-extraction type of CESR south arc quadrupole achieve a reduction in the RMS value of the longitudinal component of the curl vector on the magnet axis by a factor of nearly 70 from $4.38 \times 10^{-2}$ T/m to $6.36 \times 10^{-4}$ T/m, which is 0.0021% of the field gradient. An accuracy of 2.9% is achieved for a dodecapole coefficient of $2.4 \times 10^{-4}$ of that of the quadrupole in the longitudinal integral of the vertical field gradient at a radius of 1 cm.


title: Scaling the Convex Barrier with Sparse Dual Algorithms

abstract: Tight and efficient neural network bounding is crucial to the scaling of neural network verification systems. Many efficient bounding algorithms have been presented recently, but they are often too loose to verify more challenging properties. This is due to the weakness of the employed relaxation, which is usually a linear program of size linear in the number of neurons. While a tighter linear relaxation for piecewise-linear activations exists, it comes at the cost of exponentially many constraints and currently lacks an efficient customized solver. We alleviate this deficiency by presenting two novel dual algorithms: one operates a subgradient method on a small active set of dual variables, the other exploits the sparsity of Frank-Wolfe type optimizers to incur only a linear memory cost. Both methods recover the strengths of the new relaxation: tightness and a linear separation oracle. At the same time, they share the benefits of previous dual approaches for weaker relaxations: massive parallelism, GPU implementation, low cost per iteration and valid bounds at any time. As a consequence, we can obtain better bounds than off-the-shelf solvers in only a fraction of their running time, attaining significant formal verification speed-ups.


title: Families and unfoldings of singular holomorphic Lie Algebroids

abstract: In this paper, we investigate families of singular holomorphic Lie algebroids on complex analytic spaces. We introduce and study a special type of deformation called unfoldings of Lie algebroids, which generalizes the theory of singular holomorphic foliations developed by T. Suwa. We show that a one to one correspondence between transversal unfoldings and holomorphic flat connections on a natural Lie algebroid on the bases exists.


title: How Shift Equivariance Impacts Metric Learning for Instance Segmentation

abstract: Metric learning has received conflicting assessments concerning its suitability for solving instance segmentation tasks. It has been dismissed as theoretically flawed due to the shift equivariance of the employed CNNs and their respective inability to distinguish same-looking objects. Yet it has been shown to yield state of the art results for a variety of tasks, and practical issues have mainly been reported in the context of tile-and-stitch approaches, where discontinuities at tile boundaries have been observed. To date, neither of the reported issues have undergone thorough formal analysis. In our work, we contribute a comprehensive formal analysis of the shift equivariance properties of encoder-decoder-style CNNs, which yields a clear picture of what can and cannot be achieved with metric learning in the face of same-looking objects. In particular, we prove that a standard encoder-decoder network that takes $d$-dimensional images as input, with $l$ pooling layers and pooling factor $f$, has the capacity to distinguish at most $f^{dl}$ same-looking objects, and we show that this upper limit can be reached. Furthermore, we show that to avoid discontinuities in a tile-and-stitch approach, assuming standard batch size 1, it is necessary to employ valid convolutions in combination with a training output window size strictly greater than $f^l$, while at test-time it is necessary to crop tiles to size $n\cdot f^l$ before stitching, with $n\geq 1$. We complement these theoretical findings by discussing a number of insightful special cases for which we show empirical results on synthetic data.


title: Using Monotonicity Restrictions to Identify Models with Partially Latent Covariates

abstract: This paper develops a new method for identifying econometric models with partially latent covariates. Such data structures arise in industrial organization and labor economics settings where data are collected using an input-based sampling strategy, e.g., if the sampling unit is one of multiple labor input factors. We show that the latent covariates can be nonparametrically identified, if they are functions of a common shock satisfying some plausible monotonicity assumptions. With the latent covariates identified, semiparametric estimation of the outcome equation proceeds within a standard IV framework that accounts for the endogeneity of the covariates. We illustrate the usefulness of our method using a new application that focuses on the production functions of pharmacies. We find that differences in technology between chains and independent pharmacies may partially explain the observed transformation of the industry structure.


title: Unveiling the role of plasticity rules in reservoir computing

abstract: Reservoir Computing (RC) is an appealing approach in Machine Learning that combines the high computational capabilities of Recurrent Neural Networks with a fast and easy training method. Likewise, successful implementation of neuro-inspired plasticity rules into RC artificial networks has boosted the performance of the original models. In this manuscript, we analyze the role that plasticity rules play on the changes that lead to a better performance of RC. To this end, we implement synaptic and non-synaptic plasticity rules in a paradigmatic example of RC model: the Echo State Network. Testing on nonlinear time series prediction tasks, we show evidence that improved performance in all plastic models are linked to a decrease of the pair-wise correlations in the reservoir, as well as a significant increase of individual neurons ability to separate similar inputs in their activity space. Here we provide new insights on this observed improvement through the study of different stages on the plastic learning. From the perspective of the reservoir dynamics, optimal performance is found to occur close to the so-called edge of instability. Our results also show that it is possible to combine different forms of plasticity (namely synaptic and non-synaptic rules) to further improve the performance on prediction tasks, obtaining better results than those achieved with single-plasticity models.


title: Lost photon enhances superresolution

abstract: Quantum imaging can beat classical resolution limits, imposed by diffraction of light. In particular, it is known that one can reduce the image blurring and increase the achievable resolution by illuminating an object by entangled light and measuring coincidences of photons. If an $n$-photon entangled state is used and the $n$th-order correlation function is measured, the point-spread function (PSF) effectively becomes $\sqrt n$ times narrower relatively to classical coherent imaging. Quite surprisingly, measuring $n$-photon correlations is not the best choice if an $n$-photon entangled state is available. We show that for measuring $(n-1)$-photon coincidences (thus, ignoring one of the available photons), PSF can be made even narrower. This observation paves a way for a strong conditional resolution enhancement by registering one of the photons outside the imaging area. We analyze the conditions necessary for the resolution increase and propose a practical scheme, suitable for observation and exploitation of the effect.


title: Continual Learning of Knowledge Graph Embeddings

abstract: In recent years, there has been a resurgence in methods that use distributed (neural) representations to represent and reason about semantic knowledge for robotics applications. However, while robots often observe previously unknown concepts, these representations typically assume that all concepts are known a priori, and incorporating new information requires all concepts to be learned afresh. Our work relaxes this limiting assumption of existing representations and tackles the incremental knowledge graph embedding problem by leveraging the principles of a range of continual learning methods. Through an experimental evaluation with several knowledge graphs and embedding representations, we provide insights about trade-offs for practitioners to match a semantics-driven robotics applications to a suitable continual knowledge graph embedding method.


title: A Subjective Model of Human Decision Making Based on Quantum Decision Theory

abstract: Computer modeling of human decision making is of large importance for, e.g., sustainable transport, urban development, and online recommendation systems. In this paper we present a model for predicting the behavior of an individual during a binary game under different amounts of risk, gain, and time pressure. The model is based on Quantum Decision Theory (QDT), which has been shown to enable modeling of the irrational and subjective aspects of the decision making, not accounted for by the classical Cumulative Prospect Theory (CPT). Experiments on two different datasets show that our QDT-based approach outperforms both a CPT-based approach and data driven approaches such as feed-forward neural networks and random forests.


title: Magnetic field-induced thermal emission tuning of InSb-based metamaterials in the terahertz frequency regime

abstract: This work theoretically and analytically demonstrates the magnetic field-induced spectral radiative properties of photonic metamaterials incorporating both Indium Antimonide (InSb) and Tungsten (W) in the terahertz (THz) frequency regime. We have varied multiple factors of the nanostructures, including composite materials, layer thicknesses and surface grating fill factors, which impact the light-matter interactions and in turn modify the thermal emission of the metamaterials. We have proposed and validated a method for determining the spectral properties of InSb under an applied direct current (DC) magnetic field, and have employed this method to analyze how these properties can be dynamically tuned by modulating the magnitude of the field. For the first time, we have designed an InSb-W metamaterial exhibiting unity narrowband emission which can serve as an emitter for wavelengths around 55 $\mu$m (approximately 5.5 THz). Additionally, the narrowband emission of this metamaterial can be magnetically tuned in both bandwidth and peak wavelength with a normal emissivity close to unity.


title: Algorithmic Monoculture and Social Welfare

abstract: As algorithms are increasingly applied to screen applicants for high-stakes decisions in employment, lending, and other domains, concerns have been raised about the effects of algorithmic monoculture, in which many decision-makers all rely on the same algorithm. This concern invokes analogies to agriculture, where a monocultural system runs the risk of severe harm from unexpected shocks. Here we show that the dangers of algorithmic monoculture run much deeper, in that monocultural convergence on a single algorithm by a group of decision-making agents, even when the algorithm is more accurate for any one agent in isolation, can reduce the overall quality of the decisions being made by the full collection of agents. Unexpected shocks are therefore not needed to expose the risks of monoculture; it can hurt accuracy even under "normal" operations, and even for algorithms that are more accurate when used by only a single decision-maker. Our results rely on minimal assumptions, and involve the development of a probabilistic framework for analyzing systems that use multiple noisy estimates of a set of alternatives.


title: The magnetic field induced ferromagnetism in EuPd$_2$Sn$_4$ novel compound

abstract: We report on crystal structure, magnetic and thermal physical properties of EuPd$_2$Sn$_4$ stannide. From the magnetic susceptibility measurements a divalent state of Eu rare earth element was determined together with an antiferromagnetic (AFM) order at 11 K. By applying magnetic field, the magnetic behavior variation reveals a complex magnetic structure. Above a critical field Bc a ferromagnetic (FM)-like character starts to prevail. AFM and FM regimes are separated by a metamagnetic region. Heat capacity measurements confirm this behavior.


title: Preserving Privacy in Personalized Models for Distributed Mobile Services

abstract: The ubiquity of mobile devices has led to the proliferation of mobile services that provide personalized and context-aware content to their users. Modern mobile services are distributed between end-devices, such as smartphones, and remote servers that reside in the cloud. Such services thrive on their ability to predict future contexts to pre-fetch content or make context-specific recommendations. An increasingly common method to predict future contexts, such as location, is via machine learning (ML) models. Recent work in context prediction has focused on ML model personalization where a personalized model is learned for each individual user in order to tailor predictions or recommendations to a user's mobile behavior. While the use of personalized models increases efficacy of the mobile service, we argue that it increases privacy risk since a personalized model encodes contextual behavior unique to each user. To demonstrate these privacy risks, we present several attribute inference-based privacy attacks and show that such attacks can leak privacy with up to 78% efficacy for top-3 predictions. We present Pelican, a privacy-preserving personalization system for context-aware mobile services that leverages both device and cloud resources to personalize ML models while minimizing the risk of privacy leakage for users. We evaluate Pelican using real world traces for location-aware mobile services and show that Pelican can substantially reduce privacy leakage by up to 75%.


title: Fourier multipliers for Triebel-Lizorkin spaces on graded Lie groups

abstract: In this work we investigate the boundedness of Fourier multipliers on Triebel-Lizorkin spaces associated to positive Rockland operators on a graded Lie group. The found criterion is expressed in terms of the H\"ormander-Mihlin condition on the global symbol of a Fourier multiplier.


title: Attouch-Th\'era Duality, Generalized Cycles and Gap Vectors

abstract: Using the Attouch-Th\'era duality, we study the cycles, gap vectors and fixed point sets of compositions of proximal mappings. Sufficient conditions are given for the existence of cycles and gap vectors. A primal-dual framework provides an exact relationship between the cycles and gap vectors. We also introduce the generalized cycle and gap vectors to tackle the case when the classical ones do not exist. Examples are given to illustrate our results.


title: Discovery of Interstellar trans-cyanovinylacetylene (HCCCH=CHCN) and vinylcyanoacetylene (H$_2$C=CHC$_3$N) in GOTHAM Observations of TMC-1

abstract: We report the discovery of two unsaturated organic species, trans-(E)-cyanovinylacetylene and vinylcyanoacetylene, using the second data release of the GOTHAM deep survey towards TMC-1 with the 100 m Green Bank Telescope. For both detections, we performed velocity stacking and matched filter analyses using Markov chain Monte Carlo simulations, and for trans-(E)-cyanovinylacetylene, three rotational lines were observed at low signal-to-noise (${\sim}$3$\sigma$). From this analysis, we derive column densities of $2\times10^{11}$ and $3\times10^{11}$ cm$^{-2}$ for vinylcyanoacetylene and trans-(E)-cyanovinylacetylene, respectively, and an upper limit of $<2\times10^{11}$ cm$^{-2}$ for trans-(Z)-cyanovinylacetylene. Comparisons with G3//B3LYP semi-empirical thermochemical calculations indicate abundances of the [H$_3$C$_5$N}] isomers are not consistent with their thermodynamic stability, and instead their abundances are mainly driven by dynamics. We provide discussion into how these species may be formed in TMC-1, with reference to related species like vinyl cyanide (CH$_2$=CHCN). As part of this discussion, we performed the same analysis for ethyl cyanide (CH$_3$CH$_2$CN), the hydrogenation product of CH$_2$=CHCN. This analysis provides evidence -- at 4.17$\sigma$ significance -- an upper limit to the column density of $<4\times10^{11}$ cm$^{-2}$; an order of magnitude lower than previous upper limits towards this source.


title: Gauge Symmetry Origin of B\"acklund Transformations for Painlev\'e Equations

abstract: We identify the self-similarity limit of the second flow of $sl(N)$ mKdV hierarchy with the periodic dressing chain thus establishing % a connection to $A^{(1)}_{N-1}$ invariant Painlev\'e equations. The $A^{(1)}_{N-1}$ B\"acklund symmetries of dressing equations and Painlev\'e equations are obtained in the self-similarity limit of gauge transformations of the mKdV hierarchy realized as zero-curvature equations on the loop algebra $\widehat{sl}(N)$ endowed with a principal gradation.


title: Fourier-style Quantum State Tomography and Purity Measurement of a Multi-qubit System from Bloch Rotations

abstract: Quantum state tomography and other measures of the global properties of a quantum state are indispensable tools in understanding many body physics through quantum simulators. Unfortunately, the number of experimental measurements of the system required to estimate these global quantities scales exponentially with system size. Here, we consider the use of random-axis measurements for quantum state tomography and state purity estimation. We perform a general analysis of the statistical deviation in such methods for any given algorithm. We then propose a simple protocol which relies on single-pulse X/Y rotations only. We find that it reduces the basis of the exponential growth, calculating the statistical variance to scale as $\sum_{a,b}\left\lvert\Delta\rho_{ab}\right\rvert^{2}\sim 5^{N}/N_{\rm tot}$ for full tomography, and $\left(\Delta\mu\right)^{2}\sim 7^{N}/N_{\rm tot}^{2}$ for purity estimation, for $N$ qubits and $N_{\rm tot}$ measurements performed.


title: Double Monodromy Inflation: A Gravity Waves Factory for CMB-S4, LiteBIRD and LISA

abstract: We consider a short rollercoaster cosmology based on two stages of monodromy inflation separated by a stage of matter domination, generated after the early inflaton falls out of slow roll. If the first stage is controlled by a flat potential, $V \sim \phi^p$ with $p < 1$ and lasts ${\cal N} \sim 30 - 40$ efolds, the scalar and tensor perturbations at the largest scales will fit the CMB perfectly, and produce relic gravity waves with $0.02 \lesssim r \lesssim 0.06$, which can be tested by LiteBIRD and CMB-S4 experiments. If in addition the first inflaton is strongly coupled to a hidden sector $U(1)$, there will be an enhanced production of vector fluctuations near the end of the first stage of inflation. These modes convert rapidly to tensors during the short epoch of matter domination, and then get pushed to superhorizon scales by the second stage of inflation, lasting another $20-30$ efolds. This band of gravity waves is chiral, arrives today with wavelengths in the range of $10^8$ km, and with amplitudes greatly enhanced compared to the long wavelength CMB modes by vector sources. It is therefore accessible to LISA. Thus our model presents a rare early universe theory predicting several simultaneous signals testable by a broad range of gravity wave searches in the very near future.


title: GloBug: Using Global Data in Fault Localization

abstract: Fault Localization (FL) is an important first step in software debugging and is mostly manual in the current practice. Many methods have been proposed over years to automate the FL process, including information retrieval (IR)-based techniques. These methods localize the fault based on the similarity of the reported bug report and the source code. Newer variations of IR-based FL (IRFL) techniques also look into the history of bug reports and leverage them during the localization. However, all existing IRFL techniques limit themselves to the current project's data (local data). In this study, we introduce Globug, which is an IRFL framework consisting of methods that use models pre-trained on the global data (extracted from open-source benchmark projects). In Globug, we investigate two heuristics: a) the effect of global data on a state-of-the-art IR-FL technique, namely BugLocator, and b) the application of a Word Embedding technique (Doc2Vec) together with global data. Our large scale experiment on 51 software projects shows that using global data improves BugLocator on average 6.6% and 4.8% in terms of MRR (Mean Reciprocal Rank) and MAP (Mean Average Precision), with over 14% in a majority (64% and 54% in terms of MRR and MAP, respectively) of the cases. This amount of improvement is significant compared to the improvement rates that five other state-of-the-art IRFL tools provide over BugLocator. In addition, training the models globally is a one-time offline task with no overhead on BugLocator's run-time fault localization. Our study, however, shows that a Word Embedding-based global solution did not further improve the results.


title: Nonlocal effects in negative triangularity TCV plasmas

abstract: Global gradient driven GENE gyrokinetic simulations are used to investigate TCV plasmas with negative triangularity. Considering a limited L-mode plasma, corresponding to an experimental triangularity scan, numerical results are able to reproduce the actual transport level over a major fraction of the plasma minor radius for a plasma with $\delta_{\rm LCFS}=-0.3$ and its equivalent with standard positive triangularity $\delta$. For the same heat flux, a larger electron temperature gradient is sustained by $\delta<0$, in turn resulting in an improved electron energy confinement. Consistently with the experiments, a reduction of the electron density fluctuations is also seen. Local flux-tube simulations are used to gauge the magnitude of nonlocal effects. Surprisingly, very little differences are found between local and global approaches for $\delta>0$, while local results yield a strong overestimation of the heat fluxes when $\delta<0$. Despite the high sensitivity of the turbulence level with respect to the input parameters, global effects appear to play a crucial role in the negative triangularity plasma and must be retained to reconcile simulations and experiments. Finally, a general stabilizing effect of negative triangularity, reducing fluxes and fluctuations by a factor dependent on the actual profiles, is recovered.


title: Overcoming the asymmetry of the electron and hole doping for magnetic transitions in bilayer CrI3

abstract: Electrical control of magnetism has great potential for low-power spintronics applications and the newly discovered two-dimensional van-der-Waals magnetic materials are promising systems for this type of applications. In fact, it has been recently shown experimentally that upon electrostatic doping by electrons bilayer CrI3 undergoes an antiferromagnetic-ferromagnetic (AFM-FM) phase transition, even in the absence of magnetic field. Doping by holes, on the other hand, does not induce the same transition in the experiment, which points to an intrinsic asymmetry in the hole and electron doping that limits the control of the transition by doping. We here show, based on first-principles calculations, that the asymmetry originates in the relativistic nature of the valence-band-edge states of the pristine bilayer, which inhibits the magnetic transition upon hole doping. Based on this finding, we propose an approach to engineer this system so that it displays the AFM-FM transition for both hole and electron doping by using moderate uniaxial strain along the soft direction of the bilayer.


title: Impact of Distributed Rate Limiting on Load Distribution in a Latency-sensitive Messaging Service

abstract: The cloud's flexibility and promise of seamless auto-scaling notwithstanding, its ability to meet service level objectives (SLOs) typically calls for some form of control in resource usage. This seemingly traditional problem gives rise to new challenges in a cloud setting, and in particular a subtle yet significant trade-off involving load-distribution decisions (the distribution of workload across available cloud resources to optimize performance), and rate limiting (the capping of individual workloads to prevent global over-commitment). This paper investigates that trade-off through the design and implementation of a real-time messaging system motivated by Internet-of-Things (IoT) applications, and demonstrates a solution capable of realizing an effective compromise. The paper's contributions are in both explicating the source of this trade-off, and in demonstrating a possible solution.


title: Comparisons of Graph Neural Networks on Cancer Classification Leveraging a Joint of Phenotypic and Genetic Features

abstract: Cancer is responsible for millions of deaths worldwide every year. Although significant progress hasbeen achieved in cancer medicine, many issues remain to be addressed for improving cancer therapy.Appropriate cancer patient stratification is the prerequisite for selecting appropriate treatment plan, ascancer patients are of known heterogeneous genetic make-ups and phenotypic differences. In thisstudy, built upon deep phenotypic characterizations extractable from Mayo Clinic electronic healthrecords (EHRs) and genetic test reports for a collection of cancer patients, we evaluated variousgraph neural networks (GNNs) leveraging a joint of phenotypic and genetic features for cancer typeclassification. Models were applied and fine-tuned on the Mayo Clinic cancer disease dataset. Theassessment was done through the reported accuracy, precision, recall, and F1 values as well as throughF1 scores based on the disease class. Per our evaluation results, GNNs on average outperformed thebaseline models with mean statistics always being higher that those of the baseline models (0.849 vs0.772 for accuracy, 0.858 vs 0.794 for precision, 0.843 vs 0.759 for recall, and 0.843 vs 0.855 for F1score). Among GNNs, ChebNet, GraphSAGE, and TAGCN showed the best performance, while GATshowed the worst. We applied and compared eight GNN models including AGNN, ChebNet, GAT,GCN, GIN, GraphSAGE, SGC, and TAGCN on the Mayo Clinic cancer disease dataset and assessedtheir performance as well as compared them with each other and with more conventional machinelearning models such as decision tree, gradient boosting, multi-layer perceptron, naive bayes, andrandom forest which we used as the baselines.


title: Neural-networks model for force prediction in multi-principal-element alloys

abstract: Atomistic simulations can provide useful insights into the physical properties of multi-principal-element alloys. However, classical potentials mostly fail to capture key quantum (electronic-structure) effects. We present a deep 3D convolutional neural network (3D CNN) based framework combined with a voxelization technique to design interatomic potentials for chemically complex alloys. We highlight the performance of the 3D CNN model and its efficacy in computing potentials using the medium-entropy alloy TaNbMo. In order to provide insights into the effect of voxel resolution, we implemented two approaches based on the inner and outer bounding boxes. An efficient 3D CNN model, which is as accurate as the density-functional theory (DFT) approach, for calculating potentials will provide a promising schema for accurate atomistic simulations of structure and dynamics of general multi-principle element alloys.


title: Energetics of synchronisation for model flagella and cilia

abstract: Synchronisation is often observed in the swimming of flagellated cells, either for multiple appendages on the same organism or between the flagella of nearby cells. Beating cilia are also seen to synchronise their dynamics. In 1951, Taylor showed that the observed in-phase beating of the flagella of co-swimming spermatozoa was consistent with minimisation of the energy dissipated in the surrounding fluid. Here we revisit Taylor's hypothesis for three models of flagella and cilia: (1) Taylor's waving sheets with both longitudinal and transverse modes, as relevant for flexible flagella; (2) spheres orbiting above a no-slip surface to model interacting flexible cilia; and (3) whirling rods above a no-slip surface to address the interaction of nodal cilia. By calculating the flow fields explicitly, we show that the rate of working of the model flagella or cilia is minimised in our three models for (1) a phase difference depending on the separation of the sheets and precise waving kinematics; (2) in-phase or opposite-phase motion depending on the relative position and orientation of the spheres; and (3) in-phase whirling of the rods. These results will be useful in future models probing the dynamics of synchronisation in these setups.


title: Technical Report: Rapid Reviews on Engineering of Internet of Things Software Systems

abstract: We conducted a set of Rapid Reviews to characterize Internet of Things facets. We formatted a generic meta-protocol that was instantiated for each of the six facets presented (Connectivity, Things, Behavior, Smartness, Interactivity, and Environment)and considering the issue of Security, one of the most important and frequent challenges in the context of IoT. The meta-protocol is detailed and the results of each review are presented.


title: From Genotype to Phenotype: polygenic prediction of complex human traits

abstract: Decoding the genome confers the capability to predict characteristics of the organism(phenotype) from DNA (genotype). We describe the present status and future prospects of genomic prediction of complex traits in humans. Some highly heritable complex phenotypes such as height and other quantitative traits can already be predicted with reasonable accuracy from DNA alone. For many diseases, including important common conditions such as coronary artery disease, breast cancer, type I and II diabetes, individuals with outlier polygenic scores (e.g., top few percent) have been shown to have 5 or even 10 times higher risk than average. Several psychiatric conditions such as schizophrenia and autism also fall into this category. We discuss related topics such as the genetic architecture of complex traits, sibling validation of polygenic scores, and applications to adult health, in vitro fertilization (embryo selection), and genetic engineering.


title: Asymptotic profile and Morse index of the radial solutions of the H\'enon equation

abstract: We consider the H\'enon equation \begin{equation}\label{alphab} -\Delta u = |x|^{\alpha}|u|^{p-1}u \ \ \textrm{in} \ \ B^N, \quad u = 0 \ \ \textrm{on}\ \ \partial B^N, \tag{$P_{\alpha}$} \end{equation} where $B^N\subset \mathbb{R}^N$ is the open unit ball centered at the origin, $N\geq 3$, $p>1$ and $\alpha> 0$ is a parameter. We show that, after a suitable rescaling, the two-dimensional Lane-Emden equation \[ -\Delta w = |w|^{p-1}w\quad \text{in}\ B^2,\quad w=0\quad \text{on}\ \partial B^2, \] where $B^2 \subset \mathbb{R}^2$ is the open unit ball, is the limit problem of \eqref{alphab}, as $\alpha \to \infty$, in the framework of radial solutions. We exploit this fact to prove several qualitative results on the radial solutions of \eqref{alphab} with any fixed number of nodal sets: asymptotic estimates on the Morse indices along with their monotonicity with respect to $\alpha$; asymptotic convergence of their zeros; blow up of the local extrema and on compact sets of $B^N$. All these results are proved for both positive and nodal solutions.


title: Measuring the Impact of COVID-19 Induced Campus Closure on Student Self-Regulated Learning in Physics Online Learning Modules

abstract: This paper examines the impact of COVID-19 induced campus closure on university students' self-regulated learning behavior by analyzing click-stream data collected from student interactions with 70 online learning modules in a university physics course. To do so, we compared the trend of six types of actions related to the three phases of self-regulated learning before and after campus closures and between two semesters. We found that campus closure changed students' planning and goal setting strategies for completing the assignments, but didn't have a detectable impact on the outcome or the time of completion, nor did it change students' self-reflection behavior. The results suggest that most students still manage to complete assignments on time during the pandemic, while the design of online learning modules might have provided the flexibility and support for them to do so.


title: Data-driven learning for the Mori-Zwanzig formalism: a generalization of the Koopman learning framework

abstract: A theoretical framework which unifies the conventional Mori-Zwanzig formalism and the approximate Koopman learning is presented. In this framework, the Mori-Zwanzig formalism, developed in statistical mechanics to tackle the hard problem of construction of reduced-order dynamics for high-dimensional dynamical systems, can be considered as a natural generalization of the Koopman description of the dynamical system. We next show that similar to the approximate Koopman learning methods, data-driven methods can be developed for the Mori-Zwanzig formalism with Mori's linear projection operator. We developed two algorithms to extract the key operators, the Markov and the memory kernel, using time series of a reduced set of observables in a dynamical system. We adopted the Lorenz `96 system as a test problem and solved for the operators, which exhibit complex behaviors which are unlikely to be captured by traditional modeling approaches, in Mori-Zwanzig analysis. The nontrivial Generalized Fluctuation Dissipation relationship, which relates the memory kernel with the two-time correlation statistics of the orthogonal dynamics, was numerically verified as a validation of the solved operators. We present numerical evidence that the Generalized Langevin Equation, a key construct in the Mori-Zwanzig formalism, is more advantageous in predicting the evolution of the reduced set of observables than the conventional approximate Koopman operators.


title: Modelling of an Ionic Electroactive Polymer by the Thermodynamics of Linear Irreversible Processes

abstract: Ionic polymer-metal composites consist in a thin film of electro-active polymers (Nafion R for example) sandwiched between two metallic electrodes. They can be used as sensors or actuators. The polymer is saturated with water, which causes a complete dissociation and the release of small cations. The strip undergoes large bending motions when it is submitted to an orthogonal electric field and vice versa. We used a continuous medium approach and a coarse grain model; the system is depicted as a deformable porous medium in which flows an ionic solution. We write microscale balance laws and thermodynamic relations for each phase, then for the complete material using an average technique. Entropy production, then constitutive equations are deduced : a Kelvin-Voigt stress-strain relation, generalized Fourier's and Darcy's laws and a Nernst-Planck equation. We applied this model to a cantilever E.A.P. strip undergoing a continuous potential difference (static case); a shear force may be applied to the free end to prevent its displacement. Applied forces and deflection are calculated using a beam model in large displacements. The results obtained are in good agreement with the experimental data published in the literature.


title: Interpretable Multi-Head Self-Attention model for Sarcasm Detection in social media

abstract: Sarcasm is a linguistic expression often used to communicate the opposite of what is said, usually something that is very unpleasant with an intention to insult or ridicule. Inherent ambiguity in sarcastic expressions, make sarcasm detection very difficult. In this work, we focus on detecting sarcasm in textual conversations from various social networking platforms and online media. To this end, we develop an interpretable deep learning model using multi-head self-attention and gated recurrent units. Multi-head self-attention module aids in identifying crucial sarcastic cue-words from the input, and the recurrent units learn long-range dependencies between these cue-words to better classify the input text. We show the effectiveness of our approach by achieving state-of-the-art results on multiple datasets from social networking platforms and online media. Models trained using our proposed approach are easily interpretable and enable identifying sarcastic cues in the input text which contribute to the final classification score. We visualize the learned attention weights on few sample input texts to showcase the effectiveness and interpretability of our model.


title: Valley effects on the fractions in an ultrahigh mobility SiGe/Si/SiGe two-dimensional electron system

abstract: We observe minima of the longitudinal resistance corresponding to the quantum Hall effect of composite fermions at quantum numbers $p=1$, 2, 3, 4, and 6 in an ultraclean strongly interacting bivalley SiGe/Si/SiGe two-dimensional electron system. The minima at $p=3$ disappear below a certain electron density, although the surrounding minima at $p=2$ and $p=4$ survive at significantly lower densities. Furthermore, the onset for the resistance minimum at a filling factor $\nu=3/5$ is found to be independent of the tilt angle of the magnetic field. These surprising results indicate the intersection or merging of the quantum levels of composite fermions with different valley indices, which reveals the valley effect on fractions.


title: "How Was Your Weekend?" Software Development Teams Working From Home During COVID-19

abstract: The mass shift to working at home during the COVID-19 pandemic radically changed the way many software development teams collaborate and communicate. To investigate how team culture and team productivity may also have been affected, we conducted two surveys at a large software company. The first, an exploratory survey during the early months of the pandemic with 2,265 developer responses, revealed that many developers faced challenges reaching milestones and that their team productivity had changed. We also found through qualitative analysis that important team culture factors such as communication and social connection had been affected. For example, the simple phrase "How was your weekend?" had become a subtle way to show peer support. In our second survey, we conducted a quantitative analysis of the team cultural factors that emerged from our first survey to understand the prevalence of the reported changes. From 608 developer responses, we found that 74% of these respondents missed social interactions with colleagues and 51% reported a decrease in their communication ease with colleagues. We used data from the second survey to build a regression model to identify important team culture factors for modeling team productivity. We found that the ability to brainstorm with colleagues, difficulty communicating with colleagues, and satisfaction with interactions from social activities are important factors that are associated with how developers report their software development team's productivity. Our findings inform how managers and leaders in large software companies can support sustained team productivity during times of crisis and beyond.


title: Solovay's Relative Consistency Proof for FIM and BI

abstract: In 2002 Robert Solovay proved that a subsystem BI of classical second order arithmetic, with bar induction and arithmetical countable choice, can be negatively interpreted in the neutral subsystem BSK of Kleene's intuitionistic analysis FIM using Markov's Principle MP. Combining this result with Kleene's formalized recursive realizability, he established (in primitive recursive arithmetic PRA) that FIM + MP and BI have the same consistency strength. This historical note includes Solovay's original proof, with his permission, and the additional observation that Markov's Principle can be weakened to a double negation shift axiom consistent with Brouwer's creating subject counterexamples.


title: Concerns about the replica wormhole derivation of the island conjecture

abstract: In a close look at the replica wormhole derivation of the island conjecture, we note a discrepancy in the derived matrix eigenvalues in the limit where the Hawking radiation entropy goes to zero. The small corrections to the density matrix for the radiation infer that ${\rm tr}(\rho_\textsf{R}^2)$, equally a sum over the eigenvalues squared, must be small ($\ll1$) at all times. This is in contradiction with an ensemble dominated by a density matrix with an eigenvalue close to unity. Also, the radiation entropy has been approximated by the ensemble averaged entropy, as in a final state analysis. For $\rho_\textsf{R}=\rho_\textsf{R}(\sigma)$ with $\sigma$ the set of variables used in the average, the ensemble average is only an accurate estimate of the entropy after $\sigma$ has been measured. At the formation of each Hawking pair, there is a distribution over $\sigma$ that affects the entropy. Without a real time determination of $\sigma$, the radiation entropy follows Hawking's result during the evaporation. A question remains of how quickly such determinations can be assumed to occur. A complete argument for that the radiation entropy follows the Page curve should address this.


title: Auto-weighted Robust Federated Learning with Corrupted Data Sources

abstract: Federated learning provides a communication-efficient and privacy-preserving training process by enabling learning statistical models with massive participants while keeping their data in local clients. However, standard federated learning techniques that naively minimize an average loss function are vulnerable to data corruptions from outliers, systematic mislabeling, or even adversaries. In addition, it is often prohibited for service providers to verify the quality of data samples due to the increasing concern of user data privacy. In this paper, we address this challenge by proposing Auto-weighted Robust Federated Learning (arfl), a novel approach that jointly learns the global model and the weights of local updates to provide robustness against corrupted data sources. We prove a learning bound on the expected risk with respect to the predictor and the weights of clients, which guides the definition of the objective for robust federated learning. The weights are allocated by comparing the empirical loss of a client with the average loss of the best p clients (p-average), thus we can downweight the clients with significantly high losses, thereby lower their contributions to the global model. We show that this approach achieves robustness when the data of corrupted clients is distributed differently from benign ones. To optimize the objective function, we propose a communication-efficient algorithm based on the blockwise minimization paradigm. We conduct experiments on multiple benchmark datasets, including CIFAR-10, FEMNIST and Shakespeare, considering different deep neural network models. The results show that our solution is robust against different scenarios including label shuffling, label flipping and noisy features, and outperforms the state-of-the-art methods in most scenarios.


title: Reconsidering the design of planar plasmonic lasers: gain, gap layers, and mode competition

abstract: Because surface plasmons can be confined below the diffraction limit, metallic lasers that support plasmonic modes can provide miniaturized sources of electromagnetic waves. Such devices often exploit a multilayer design, in which a semiconductor gain layer is placed near a metallic interface with a gap layer in between. However, despite many experimental demonstrations, key considerations for these planar metallic lasers remain understudied, leading to incorrect conclusions about the optimal design. Here, we pursue a detailed experimental and theoretical study of planar metallic lasers to explore the effect of design parameters on the lasing behavior. We print semiconductor nanoplatelets as a gain layer of controllable thickness onto alumina-coated silver films with integrated planar Fabry-P\'erot cavities. Lasing behavior is then monitored with spectrally and polarization-resolved far-field imaging. The results are compared with a theoretical waveguide model and a detailed rate-equation model, which consider both plasmonic and photonic modes. We show that the nature of the lasing mode is dictated by the gain-layer thickness. Moreover, by explicitly treating gain in our waveguide model, we find that, contrary to conventional wisdom, a gap layer with high refractive index is advantageous for plasmonic lasing. Additionally, our rate-equation model reveals a regime where plasmonic and photonic modes compete within the same device, raising the possibility of facile, active mode switching. These findings provide guidance for future designs of metallic lasers and could lead to on-chip lasers with controlled photonic and plasmonic output, switchable at high speeds.


title: Infinity Laplacian equations with singular absorptions

abstract: In this work, we study regularity properties for nonvariational singular elliptic equations ruled by the infinity Laplacian. We obtain optimal $C^{1,\alpha}$ regularity along the free boundary. We also show existence of solutions, nondegeneracy properties and fine geometric estimates for the free boundary.


title: Expansion of traces and Dixmier traceability for global pseudo-differential operators on manifolds with boundary

abstract: Given a smooth manifold $M$ (with or without boundary), in this paper we study the regularisation of traces for the global pseudo-differential calculus in the context of non-harmonic analysis. Indeed, using the global pseudo-differential calculus on manifolds (with or without boundary) developed in [30], the Calder\'on-Vaillancourt Theorem and the global functional calculus in [6], we determine the singularity orders in the regularisation of traces and the sharp regularity orders for the Dixmier traceability of the global H\"ormander classes. Our analysis (free of coordinate systems) allows us to obtain non-harmonic analogues of several classical results arising from the microlocal analysis of regularised traces for pseudo-differential operators with symbols defined by localisations.


title: Enabling four-dimensional conformal hybrid meshing with cubic pyramids

abstract: The main purpose of this article is to develop a novel refinement strategy for four-dimensional hybrid meshes based on cubic pyramids. This optimal refinement strategy subdivides a given cubic pyramid into a conforming set of congruent cubic pyramids and invariant bipentatopes. The theoretical properties of the refinement strategy are rigorously analyzed and evaluated. In addition, a new class of fully symmetric quadrature rules with positive weights are generated for the cubic pyramid. These rules are capable of exactly integrating polynomials with degrees up to 12. Their effectiveness is successfully demonstrated on polynomial and transcendental functions. Broadly speaking, the refinement strategy and quadrature rules in this paper open new avenues for four-dimensional hybrid meshing, and space-time finite element methods.


title: Cocktail Edge Caching: Ride Dynamic Trends of Content Popularity with Ensemble Learning

abstract: Edge caching will play a critical role in facilitating the emerging content-rich applications. However, it faces many new challenges, in particular, the highly dynamic content popularity and the heterogeneous caching configurations. In this paper, we propose Cocktail Edge Caching, that tackles the dynamic popularity and heterogeneity through ensemble learning. Instead of trying to find a single dominating caching policy for all the caching scenarios, we employ an ensemble of constituent caching policies and adaptively select the best-performing policy to control the cache. Towards this goal, we first show through formal analysis and experiments that different variations of the LFU and LRU policies have complementary performance in different caching scenarios. We further develop a novel caching algorithm that enhances LFU/LRU with deep recurrent neural network (LSTM) based time-series analysis. Finally, we develop a deep reinforcement learning agent that adaptively combines base caching policies according to their virtual hit ratios on parallel virtual caches. Through extensive experiments driven by real content requests from two large video streaming platforms, we demonstrate that CEC not only consistently outperforms all single policies, but also improves the robustness of them. CEC can be well generalized to different caching scenarios with low computation overheads for deployment.


title: Reformulated dissipation for the free-stream preserving of the conservative finite difference schemes on curvilinear grids

abstract: In this paper, we develop a new free-stream preserving (FP) method for high-order upwind conservative finite-difference (FD) schemes on the curvilinear grids. This FP method is constrcuted by subtracting a reference cell-face flow state from each cell-center value in the local stencil of the original upwind conservative FD schemes, which effectively leads to a reformulated dissipation. It is convenient to implement this method, as it does not require to modify the original forms of the upwind schemes. In addition, the proposed method removes the constraint in the traditional FP conservative FD schemes that require a consistent discretization of the mesh metrics and the fluxes. With this, the proposed method is more flexible in simulating the engineering problems which usually require a low-order scheme for their low-quality mesh, while the high-order schemes can be applied to approximate the flow states to improve the resolution. After demonstrating the strict FP property and the order of accuracy by two simple test cases, we consider various validation cases, including the supersonic flow around the cylinder, the subsonic flow past the three-element airfoil, and the transonic flow around the ONERA M6 wing, etc., to show that the method is suitable for a wide range of fluid dynamic problems containing complex geometries. Moreover, these test cases also indicate that the discretization order of the metrics have no significant influences on the numerical results if the mesh resolution is not sufficiently large.

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


title: On the set of G\^ateaux differentiability of the $L^1$ norm

abstract: Let $(\Omega, \mathcal{M}, \mu)$ be a measure space. In this paper we establish the set of G\^ateaux differentiability for the usual norm of $L^{1}(\Omega, \mu)$ and the corresponding derivative formulae at each point in this set.


title: GPU Acceleration for Synthetic Aperture Sonar Image Reconstruction

abstract: Synthetic aperture sonar (SAS) image reconstruction, or beamforming as it is often referred to within the SAS community, comprises a class of computationally intensive algorithms for creating coherent high-resolution imagery from successive spatially varying sonar pings. Image reconstruction is usually performed topside because of the large compute burden necessitated by the procedure. Historically, image reconstruction required significant assumptions in order to produce real-time imagery within an unmanned underwater vehicle's (UUV's) size, weight, and power (SWaP) constraints. However, these assumptions result in reduced image quality. In this work, we describe ASASIN, the Advanced Synthetic Aperture Sonar Imagining eNgine. ASASIN is a time domain backprojection image reconstruction suite utilizing graphics processing units (GPUs) allowing real-time operation on UUVs without sacrificing image quality. We describe several speedups employed in ASASIN allowing us to achieve this objective. Furthermore, ASASIN's signal processing chain is capable of producing 2D and 3D SAS imagery as we will demonstrate. Finally, we measure ASASIN's performance on a variety of GPUs and create a model capable of predicting performance. We demonstrate our model's usefulness in predicting run-time performance on desktop and embedded GPU hardware.


title: Observables compatible to the toroidal moment operator

abstract: The quantum operator $\hat{T}_3$, corresponding to the projection of the toroidal moment on the $z$ axis, admits several self-adjoint extensions, when defined on the whole $\mathbb{R}^3$ space. $\hat{T}_3$ commutes with $\hat{L}_3$ (the projection of the angular momentum operator on the $z$ axis) and they have a \textit{natural set of coordinates} $(k,u,\phi)$ where $\phi$ is the azimuthal angle. The second set of \textit{natural coordinates} is $(k_1,k_2,u)$, where $k_1 = k\cos\phi$, $k_2 = k\sin\phi$. In both sets, $\hat{T}_3 = -i\hbar\partial/\partial u$, so any operator that is a function of $k$ and the partial derivatives with respect to the \textit{natural variables} $(k, u, \phi)$ commute with $\hat{T}_3$ and $\hat{L}_3$. Similarly, operators that are functions of $k_1$, $k_2$, and the partial derivatives with respect to $k_1$, $k_2$, and $u$ commute with $\hat{T}_3$. Therefore, we introduce here the operators $\hat{p}_{k} \equiv -i \hbar \partial/\partial k$, $\hat{p}^{(k1)} \equiv -i \hbar \partial/\partial k_1$, and $\hat{p}^{(k2)} \equiv -i \hbar \partial/\partial k_2$ and express them in the $(x,y,z)$ coordinates. One may also invert the relations and write the typical operators, like the momentum $\hat{\bf p} \equiv -i\hbar {\bf \nabla}$ or the kinetic energy $\hat{H}_0 \equiv -\hbar^2\Delta/(2m)$ in terms of the "toroidal" operators $\hat{T}_3$, $\hat{p}^{(k)}$, $\hat{p}^{(k1)}$, $\hat{p}^{(k2)}$, and, eventually, $\hat{L}_3$. The formalism may be applied to specific physical systems, like nuclei, condensed matter systems, or metamaterials. We exemplify it by calculating the momentum operator and the free particle Hamiltonian in terms of \textit{natural coordinates} in a thin torus, where the general relations get considerably simplified.


title: Transactive Framework for Dynamic Energy Storage Allocation for Critical Load Management

abstract: Increased penetration of Distributed Energy Resources (DER) and Renewable Energy Systems (RES) transforming the conventional distribution grid into a transactive framework supervised by a distribution system operator (DSO). Although the emerging transactive energy management techniques improve the grid reliability, the inherent uncertainty of RES poses a challenge in meeting the power demand of the critical infrastructure in the microgrid unless sufficient battery energy storage is maintained. However, maintaining expensive battery storage increases the operating cost of the DSO. In this article, we propose a cost-effective dynamic resource allocation strategy to optimize the battery reserve requirement while ensuring the critical demand is met with a provable guarantee. Our proposed scheme enables the DSO to optimize the RES and battery reserve allocation to eliminate the risk of over or underproduction. We present numerical simulations under three different scenarios of multiple microgrids with uncertain renewable generation. The simulation results demonstrate the efficacy of the proposed transactive stochastic control algorithm.


title: A Deep Learning Based Ternary Task Classification System Using Gramian Angular Summation Field in fNIRS Neuroimaging Data

abstract: Functional near-infrared spectroscopy (fNIRS) is a non-invasive, economical method used to study its blood flow pattern. These patterns can be used to classify tasks a subject is performing. Currently, most of the classification systems use simple machine learning solutions for the classification of tasks. These conventional machine learning methods, which are easier to implement and interpret, usually suffer from low accuracy and undergo a complex preprocessing phase before network training. The proposed method converts the raw fNIRS time series data into an image using Gramian Angular Summation Field. A Deep Convolutional Neural Network (CNN) based architecture is then used for task classification, including mental arithmetic, motor imagery, and idle state. Further, this method can eliminate the feature selection stage, which affects the traditional classifiers' performance. This system obtained 87.14% average classification accuracy higher than any other method for the dataset.


title: A Ternary Bi-Directional LSTM Classification for Brain Activation Pattern Recognition Using fNIRS

abstract: Functional near-infrared spectroscopy (fNIRS) is a non-invasive, low-cost method used to study the brain's blood flow pattern. Such patterns can enable us to classify performed by a subject. In recent research, most classification systems use traditional machine learning algorithms for the classification of tasks. These methods, which are easier to implement, usually suffer from low accuracy. Further, a complex pre-processing phase is required for data preparation before implementing traditional machine learning methods. The proposed system uses a Bi-Directional LSTM based deep learning architecture for task classification, including mental arithmetic, motor imagery, and idle state using fNIRS data. Further, this system will require less pre-processing than the traditional approach, saving time and computational resources while obtaining an accuracy of 81.48\%, which is considerably higher than the accuracy obtained using conventional machine learning algorithms for the same data set.


title: Instance-Aware Predictive Navigation in Multi-Agent Environments

abstract: In this work, we aim to achieve efficient end-to-end learning of driving policies in dynamic multi-agent environments. Predicting and anticipating future events at the object level are critical for making informed driving decisions. We propose an Instance-Aware Predictive Control (IPC) approach, which forecasts interactions between agents as well as future scene structures. We adopt a novel multi-instance event prediction module to estimate the possible interaction among agents in the ego-centric view, conditioned on the selected action sequence of the ego-vehicle. To decide the action at each step, we seek the action sequence that can lead to safe future states based on the prediction module outputs by repeatedly sampling likely action sequences. We design a sequential action sampling strategy to better leverage predicted states on both scene-level and instance-level. Our method establishes a new state of the art in the challenging CARLA multi-agent driving simulation environments without expert demonstration, giving better explainability and sample efficiency.


title: Transmission-and-Distribution Frequency Dynamic Co-Simulation Framework for Distributed Energy Resources Frequency Response

abstract: The rapid deployment of distributed energy resources (DERs) in distribution networks has brought challenges to balance the system and stabilize frequency. DERs have the ability to provide frequency regulation; however, existing dynamic frequency simulation tools-which were developed mainly for the transmission system-lack the capability to simulate distribution network dynamics with high penetrations of DERs. Although electromagnetic transient (EMT) simulation tools can simulate distribution network dynamics, the computation efficiency limits their use for large-scale transmission-and-distribution (T&D) simulations. This paper presents an efficient T&D dynamic frequency co-simulation framework for DER frequency response based on the HELICS platform and existing off-the-shelf simulators. The challenge of synchronizing frequency between the transmission network and DERs hosted in the distribution network is approached by detailed modeling of DERs in frequency dynamic models while DER phasor models are also preserved in the distribution networks. Thereby, local voltage constraints can be respected when dispatching the DER power for frequency response. The DER frequency responses (primary and secondary)-are simulated in case studies to validate the proposed framework. Lastly, fault-induced delayed voltage recovery (FIDVR) event of a large system is presented to demonstrate the efficiency and effectiveness of the overall framework.


title: A Ramsey Theorem for Finite Monoids

abstract: Repeated idempotent elements are commonly used to characterise iterable behaviours in abstract models of computation. Therefore, given a monoid $M$, it is natural to ask how long a sequence of elements of $M$ needs to be to ensure the presence of consecutive idempotent factors. This question is formalised through the notion of the Ramsey function $R_M$ associated to M, obtained by mapping every positive integer $k$ to the minimal integer $R_M(k)$ such that every word $u$ in $M^*$ of length $R_M(k)$ contains $k$ consecutive non-empty factors that correspond to the same idempotent element of $M$. In this work, we study the behaviour of the Ramsey function $R_M$ by investigating the regular $D$-length of $M$, defined as the largest size $L(M)$ of a submonoid of $M$ isomorphic to the set of natural numbers $\{1,2, ..., L(M)\}$ equipped with the Max operation. We show that the regular $D$-length of $M$ determines the degree of $R_M$, by proving that $k^{L(M)} \leq R_M(k) \leq (k|M|^4)^{L(M)}$. To allow applications of this result, we provide the value of the regular $D$-length of diverse monoids. In particular, we prove that the full monoid of $n \times n$ Boolean matrices, which is used to express transition monoids of non-deterministic automata, has a regular $D$-length of $\frac{n^2+n+2}{2}$.


title: On the role of ion potential energy in low energy HiPIMS deposition: An atomistic simulation

abstract: We study the effect of the so-called ion potential or non-kinetic energies of bombarding ions during ionized physical vapor deposition of Cu using molecular dynamics simulations. In particular we focus on low energy HiPIMS deposition, in which the potential energy of ions can be comparable to their kinetic energy. The ion potential, as a short-ranged repulsive force between the ions of the film-forming material and the surface atoms (substrate and later deposited film), is defined by the Ziegler-Biersack-Littmark potential. Analyzing the final structure indicates that, including the ion potential leads to a slightly lower interface mixing and fewer point defects (such as vacancies and interstitials), but resputtering and twinning have increased slightly. However, by including the ion potential the collision pattern changes. We also observed temporary formation of a ripple/pore with 5~nm height when the ion potential is included. The latter effect can explain the pores in HiPIMS deposited Cu thin films observed experimentally by atomic force microscopy.


title: Model-independent measurement of the Hubble Constant and the absolute magnitude of Type Ia Supernovae

abstract: In this work, we propose a cosmological model-independent and non-local method to constrain the Hubble Constant $H_0$. Inspired by the quasi cosmological model-independent and $H_0$-free properties of the `shifted' Hubble diagram of HII galaxies (HIIGx) defined by Wei et al. (2016), we joint analyze it with the parametric type Ia supernova (SN Ia) Hubble diagram (e.g. the joint-lightcurves-analysis sample, JLA) and get a Bayesian Inference of Hubble constant, $H_0 = 71 \pm 20\ \mathrm{km\ s^{-1}\ Mpc^{-1}}$. Although with large uncertainty, we find that $H_0$ is only strongly degenerate with the B-band absolute magnitude ($M_B$) of SN Ia but almost independent on other nuisance parameters. Therefore the accuracy can be simultaneously improved by a tight constraint of $M_B$ through a cosmological and $H_0$ independent way. This method can be extended further to get more-literally non-local results of $H_0$ by using other Hubble diagrams at higher redshifts.


title: A scalable transient detection pipeline for the Australian SKA Pathfinder VAST survey

abstract: The Australian Square Kilometre Array Pathfinder (ASKAP) collects images of the sky at radio wavelengths with an unprecedented field of view, combined with a high angular resolution and sub-millijansky sensitivities. The large quantity of data produced is used by the ASKAP Variables and Slow Transients (VAST) survey science project to study the dynamic radio sky. Efficient pipelines are vital in such research, where searches often form a `needle in a haystack' type of problem to solve. However, the existing pipelines developed among the radio-transient community are not suitable for the scale of ASKAP datasets. In this paper we provide a technical overview of the new "VAST Pipeline": a modern and scalable Python-based data pipeline for transient searches, using up-to-date dependencies and methods. The pipeline allows source association to be performed at scale using the Pandas DataFrame interface and the well-known Astropy crossmatch functions. The Dask Python framework is used to parallelise operations as well as scale them both vertically and horizontally, by means of a cluster of workers. A modern web interface for data exploration and querying has also been developed using the latest Django web framework combined with Bootstrap.


title: Multivariate Bayesian structured variable selection for pharmacogenomic studies

abstract: Precision cancer medicine aims to determine the optimal treatment for each patient. In-vitro cancer drug sensitivity screens combined with multi-omics characterization of the cancer cells have become an important tool to achieve this aim. Analyzing such pharmacogenomic studies requires flexible and efficient joint statistical models for associating drug sensitivity with high-dimensional multi-omics data. We propose a multivariate Bayesian structured variable selection model for sparse identification of omics features associated with multiple correlated drug responses. Since many anti-cancer drugs are designed for specific molecular targets, our approach makes use of known structure between responses and predictors, e.g. molecular pathways and related omics features targeted by specific drugs, via a Markov random field (MRF) prior for the latent indicator variables of the coefficients in sparse seemingly unrelated regression. The structure information included in the MRF prior can improve the model performance, i.e. variable selection and response prediction, compared to other common priors. In addition, we employ random effects to capture heterogeneity between cancer types in a pan-cancer setting. The proposed approach is validated by simulation studies and applied to the Genomics of Drug Sensitivity in Cancer data, which includes pharmacological profiling and multi-omics characterization of a large set of heterogeneous cell lines.


title: Testing Models of Strategic Uncertainty: Equilibrium Selection in Repeated Games

abstract: In repeated-game applications where both the collusive and non-collusive outcomes can be supported as equilibria, researchers must resolve underlying selection questions if theory will be used to understand counterfactual policies. One guide to selection, based on clear theoretical underpinnings, has shown promise in predicting when collusive outcomes will emerge in controlled repeated-game experiments. In this paper we both expand upon and experimentally test this model of selection, and its underlying mechanism: strategic uncertainty. Adding an additional source of strategic uncertainty (the number of players) to the more-standard payoff sources, we stress test the model. Our results affirm the model as a tool for predicting when tacit collusion is likely/unlikely to be successful. Extending the analysis, we corroborate the mechanism of the model. When we remove strategic uncertainty through an explicit coordination device, the model no longer predicts the selected equilibrium.


title: Semiclassical fast-forward shortcuts to adiabaticity

abstract: In fast forward quantum shortcuts to adiabaticity, a designed potential $U_{FF}(q,t)$ steers a wavefunction to evolve from the $n$'th eigenstate of an initial Hamiltonian $\hat H(0)$ to the $n$'th eigenstate of a final Hamiltonian $\hat H(\tau)$, in finite time $\tau$. Previously proposed strategies for constructing $U_{FF}$ are (in the absence of special symmetries) limited to the ground state, $n=0$. We develop a method that overcomes this limitation, thereby substantially expanding the applicability of this shortcut to adiabaticity, and we illustrate its effectiveness with numerical simulations. Semiclassical analysis provides insight and establishes a close correspondence with the analogous classical fast forward method.


title: An EIM-degradation free reduced basis method via over collocation and residual hyper reduction-based error estimation

abstract: The need for multiple interactive, real-time simulations using different parameter values has driven the design of fast numerical algorithms with certifiable accuracies. The reduced basis method (RBM) presents itself as such an option. RBM features a mathematically rigorous error estimator which drives the construction of a low-dimensional subspace. A surrogate solution is then sought in this low-dimensional space approximating the parameter-induced high fidelity solution manifold. However when the system is nonlinear or its parameter dependence nonaffine, this efficiency gain degrades tremendously, an inherent drawback of the application of the empirical interpolation method (EIM). In this paper, we augment and extend the EIM approach as a direct solver, as opposed to an assistant, for solving nonlinear partial differential equations on the reduced level. The resulting method, called Reduced Over-Collocation method (ROC), is stable and capable of avoiding the efficiency degradation. Two critical ingredients of the scheme are collocation at about twice as many locations as the number of basis elements for the reduced approximation space, and an efficient error indicator for the strategic building of the reduced solution space. The latter, the main contribution of this paper, results from an adaptive hyper reduction of the residuals for the reduced solution. Together, these two ingredients render the proposed R2-ROC scheme both offline- and online-efficient. A distinctive feature is that the efficiency degradation appearing in traditional RBM approaches that utilize EIM for nonlinear and nonaffine problems is circumvented, both in the offline and online stages. Numerical tests on different families of time-dependent and steady-state nonlinear problems demonstrate the high efficiency and accuracy of our R2-ROC and its superior stability performance.


title: Quasi-Objective Coherent Structure Diagnostics from Single Trajectories

abstract: We derive measures of local material stretching and rotation that are computable from individual trajectories without reliance on other trajectories or on an underlying velocity field. Both measures are quasi-objective: they approximate objective (i.e., observer-independent) coherence diagnostics in frames satisfying a certain condition. This condition requires the trajectory accelerations to dominate the angular acceleration induced by the spatial mean vorticity. We illustrate in examples how quasi-objective coherence diagnostics highlight elliptic and hyperbolic Lagrangian coherent structures even from very sparse trajectory data.


title: Photoluminescence of nitrogen-vacancy and silicon-vacancy color centers in phosphorus-doped diamond at room and higher temperatures

abstract: Phosphorus-doped diamond is relevant for applications in sensing, optoelectronics and quantum photonics, since the unique optical properties of color centers in diamond can be combined with the n-type conductivity attained by the inclusion of phosphorus. Here, we investigate the photoluminescence signal of the nitrogen-vacancy and silicon-vacancy color centers in phosphorus-doped diamond as a function of temperature starting from ambient conditions up to about 100$^\circ$ Celsius, focusing on the zero-phonon line (ZPL). We find that the wavelength and width of the ZPL of the two color centers exhibit a comparable dependence on temperature, despite the strong difference in the photoluminescence spectra. Moreover, the temperature sensitivity of the ZPL of the silicon-vacancy center is not significantly affected by phosphorus-doping, as we infer by comparison with silicon-vacancy centers in electronic-grade single-crystal diamond.


title: The commutator subgroups of free groups and surface groups

abstract: A beautifully simple free generating set for the commutator subgroup of a free group was constructed by Tomaszewski. We give a new geometric proof of his theorem, and show how to give a similar free generating set for the commutator subgroup of a surface group. We also give a simple representation-theoretic description of the structure of the abelianizations of these commutator subgroups and calculate their homology.


title: Stochastic Density Functional Theory: Real- and Energy-Space Fragmentation for Noise Reduction

abstract: Stochastic density functional theory (sDFT) is becoming a valuable tool for studying ground state properties of extended materials. The computational complexity of describing the Kohn-Sham orbitals is replaced by introducing a set of random (stochastic) orbitals leading to linear and often sub-linear scaling of certain ground-state observable at the account of introducing a statistical error. Schemes to reduce the noise are essential, for example, for determining the structure using the forces obtained from sDFT. Recently we have introduced two embedding schemes to mitigate the statistical fluctuations in the electron density and resultant forces on the nuclei. Both techniques were based on fragmenting the system either in real-space or slicing the occupied space into energy windows, allowing for a significant reduction of the statistical fluctuations. For chemical accuracy further reduction of the noise is required, which could be achieved by increasing the number of stochastic orbitals. However, the convergence is relatively slow as the statistical error scales as $1/\sqrt{N_\chi}$ according to the central limit theorem, where $N_\chi$ is the number of random orbitals. In this paper we combined the aforementioned embedding schemes and introduced a new approach that builds on overlapped fragments and energy windows. The new approach significantly lowers the noise for ground state properties such as the electron density, total energy, and forces on the nuclei, as demonstrated for a G-center in bulk silicon.


title: Bohm potential for the time dependent harmonic oscillator

abstract: In the Madelung-Bohm approach to quantum mechanics, we consider a (time dependent) phase that depends quadratically on position and show that it leads to a Bohm potential that corresponds to a time dependent harmonic oscillator, provided the time dependent term in the phase obeys an Ermakov equation.


title: Hybrid analysis and modeling for next generation of digital twins

abstract: The physics-based modeling has been the workhorse for many decades in many scientific and engineering applications ranging from wind power, weather forecasting, and aircraft design. Recently, data-driven models are increasingly becoming popular in many branches of science and engineering due to their non-intrusive nature and online learning capability. Despite the robust performance of data-driven models, they are faced with challenges of poor generalizability and difficulty in interpretation. These challenges have encouraged the integration of physics-based models with data-driven models, herein denoted hybrid analysis and modeling (HAM). We propose two different frameworks under the HAM paradigm for applications relevant to wind energy in order to bring the physical realism within emerging digital twin technologies. The physics-guided machine learning (PGML) framework reduces the uncertainty of neural network predictions by embedding physics-based features from a simplified model at intermediate layers and its performance is demonstrated for the aerodynamic force prediction task. Our results show that the proposed PGML framework achieves approximately 75\% reduction in uncertainty for smaller angle of attacks. The interface learning (IL) framework illustrates how different solvers can be coupled to produce a multi-fidelity model and is successfully applied for the Boussinesq equations that govern a broad class of transport processes. The IL approach paves the way for seamless integration of multi-scale, multi-physics and multi-fidelity models (M^3 models).


title: Structural (dis)order and dynamic propensity in a mildly undercooled glass-forming liquid: Spatial correlations and the role of crystalline environments

abstract: We use the isoconfigurational (IC) ensemble to show the connection between emerging heterogeneities in the tetrahedral order parameter and the dynamic propensity in a mildly undercooled glass-forming liquid. We observe that spatially correlated tetrahedrally-(dis)ordered clusters of molecules are observable on the time scale of structural relaxation. The heterogeneities of tetrahedrally-(dis)ordered clusters correlate with dynamical heterogeneities (DH) and these correlations reach peaks at similar time scales. We discover that the angular component of the tetrahedral order parameter is strongly correlated to the dynamics compared to the radial component. Moreover, these correlations between the dynamics and tetrahedrally-(dis)ordered regions enormously influence the system, with spatial correlations being observable for a prolonged period beyond the peaks of maximum DH. Further, we discover that the crystalline particle environments in our water model (as identified by the IC ensemble) may be the origin for slow dynamics of dynamical heterogeneity in our undercooled model water system.


title: Rational points near self-similar sets

abstract: In this paper, we consider a problem of counting rational points near self-similar sets. Let $n\geq 1$ be an integer. We shall show that for some self-similar measures on $\mathbb{R}^n$, the set of rational points $\mathbb{Q}^n$ is 'equidistributed' in a sense that will be introduced in this paper. This implies that an inhomogeneous Khinchine convergence type result can be proved for those measures. In particular, for $n=1$ and large enough integers $p,$ the above holds for the middle-$p$th Cantor measure, i.e. the natural Hausdorff measure on the set of numbers whose base $p$ expansions do not have digit $[(p-1)/2].$ Furthermore, we partially proved a conjecture of Bugeaud and Durand for the middle-$p$th Cantor set and this also answers a question posed by Levesley, Salp and Velani. Our method includes a fine analysis of the Fourier coefficients of self-similar measures together with an Erd\H{o}s-Kahane type argument. We will also provide a numerical argument to show that $p>10^7$ is sufficient for the above conclusions. In fact, $p\geq 15$ is already enough for most of the above conclusions.


title: Counting paths, cycles and blow-ups in planar graphs

abstract: For a planar graph $H$, let $\operatorname{\mathbf{N}}_{\mathcal P}(n,H)$ denote the maximum number of copies of $H$ in an $n$-vertex planar graph. In this paper, we prove that $\operatorname{\mathbf{N}}_{\mathcal P}(n,P_7)\sim{4\over 27}n^4$, $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_6)\sim(n/3)^3$, $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_8)\sim(n/4)^4$ and $\operatorname{\mathbf{N}}_{\mathcal P}(n,K_4\{1\})\sim(n/6)^6$, where $K_4\{1\}$ is the $1$-subdivision of $K_4$. In addition, we obtain significantly improved upper bounds on $\operatorname{\mathbf{N}}_{\mathcal P}(n,P_{2m+1})$ and $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_{2m})$ for $m\geq 4$. For a wide class of graphs $H$, the key technique developed in this paper allows us to bound $\operatorname{\mathbf{N}}_{\mathcal P}(n,H)$ in terms of an optimization problem over weighted graphs.


title: Understanding defect structures in metal additive manufacturing via molecular dynamics

abstract: Additive manufacturing of a single crystalline metallic column is studied using molecular dynamics simulations. In the model, a melt pool is incrementally added and cooled to a target temperature under isobaric conditions to build a metallic column from bottom up. Common neighbor analysis (CNA) is used to observe the evolution of atomic scale defects during this process. The solidification is seen to proceed along two directions for an added molten layer. The molten layer in contact with the cooler lattice has a fast solidification front that competes with the slower solidification front starting from the top layer. Defect structure formed strongly depends on the speeds of the two competing solidification fronts. Up to a critical layer thickness, defect free single crystals are obtained as the faster solidification front reaches the top of the melt pool before the initiation of the slower front from the top. Slower cooling rates lead to reduction in defects, however, the benefits diminish below a critical rate. Defect content can be significantly reduced by raising the temperature of the powder bed to a critical temperature. This temperature is determined by two competing mechanisms: slower cooling rates at higher temperatures competing against increase in amorphousness as one gets closer to the melting point. Finally, effect of added soft inclusion (SiS2) and a hard inclusion (SiC) on the defect structure is studied. Hard inclusions lead to retained defect structure while soft inclusions reduce defective content compared to a pure metal.


title: Supervised Transfer Learning at Scale for Medical Imaging

abstract: Transfer learning is a standard technique to improve performance on tasks with limited data. However, for medical imaging, the value of transfer learning is less clear. This is likely due to the large domain mismatch between the usual natural-image pre-training (e.g. ImageNet) and medical images. However, recent advances in transfer learning have shown substantial improvements from scale. We investigate whether modern methods can change the fortune of transfer learning for medical imaging. For this, we study the class of large-scale pre-trained networks presented by Kolesnikov et al. on three diverse imaging tasks: chest radiography, mammography, and dermatology. We study both transfer performance and critical properties for the deployment in the medical domain, including: out-of-distribution generalization, data-efficiency, sub-group fairness, and uncertainty estimation. Interestingly, we find that for some of these properties transfer from natural to medical images is indeed extremely effective, but only when performed at sufficient scale.


title: On the number of sum-free triplets of sets

abstract: We count the ordered sum-free triplets of subsets in the group $\mathbb{Z}/p\mathbb{Z}$, i.e., the triplets $(A,B,C)$ of sets $A,B,C \subset \mathbb{Z}/p\mathbb{Z}$ for which the equation $a+b=c$ has no solution with $a\in A$, $b \in B$ and $c \in C$. Our main theorem improves on a recent result by Semchankau, Shabanov, and Shkredov using a different and simpler method. Our proof relates previous results on the number of independent sets of regular graphs by Kahn, Perarnau and Perkins, and Csikv\'ari to produce explicit estimates on smaller order terms. We also obtain estimates for the number of sum-free triplets of subsets in a general abelian group.


title: Positive solutions for singular anisotropic $(p,q)$-equations

abstract: In this paper we consider a Dirichlet problem driven by an anisotropic $(p,q)$-differential operator and a parametric reaction having the competing effects of a singular term and of a superlinear perturbation. We prove a bifurcation-type theorem describing the changes in the set of positive solutions as the parameter moves. Moreover, we prove the existence of a minimal positive solution and determine the monotonicity and continuity properties of the minimal solution map.


title: Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability

abstract: Autonomous systems like aircraft and assistive robots often operate in scenarios where guaranteeing safety is critical. Methods like Hamilton-Jacobi reachability can provide guaranteed safe sets and controllers for such systems. However, often these same scenarios have unknown or uncertain environments, system dynamics, or predictions of other agents. As the system is operating, it may learn new knowledge about these uncertainties and should therefore update its safety analysis accordingly. However, work to learn and update safety analysis is limited to small systems of about two dimensions due to the computational complexity of the analysis. In this paper we synthesize several techniques to speed up computation: decomposition, warm-starting, and adaptive grids. Using this new framework we can update safe sets by one or more orders of magnitude faster than prior work, making this technique practical for many realistic systems. We demonstrate our results on simulated 2D and 10D near-hover quadcopters operating in a windy environment.


title: DiffPD: Differentiable Projective Dynamics

abstract: We present a novel, fast differentiable simulator for soft-body learning and control applications. Existing differentiable soft-body simulators can be classified into two categories based on their time integration methods: Simulators using explicit time-stepping schemes require tiny time steps to avoid numerical instabilities in gradient computation, and simulators using implicit time integration typically compute gradients by employing the adjoint method and solving the expensive linearized dynamics. Inspired by Projective Dynamics (PD), we present Differentiable Projective Dynamics (DiffPD), an efficient differentiable soft-body simulator based on PD with implicit time integration. The key idea in DiffPD is to speed up backpropagation by exploiting the prefactorized Cholesky decomposition in forward PD simulation. In terms of contact handling, DiffPD supports two types of contacts: a penalty-based model describing contact and friction forces and a complementarity-based model enforcing non-penetration conditions and static friction. We evaluate the performance of DiffPD and observe it is 4-19 times faster compared with the standard Newton's method in various applications including system identification, inverse design problems, trajectory optimization, and closed-loop control. We also apply DiffPD in a reality-to-simulation (real-to-sim) example with contact and collisions and show its capability of reconstructing a digital twin of real-world scenes.


title: Cosmology from non-minimal geometry-matter coupling

abstract: We construct a cosmological model from the inception of the Friedmann-Lem\^aitre-Robertson-Walker metric into the field equations of the f(R,L_m) gravity theory, with R being the Ricci scalar and L_m being the matter lagrangian density. The formalism is developed for a particular f(R,L_m) function, namely R/16\pi +(1+\sigma R)L_{m}, with \sigma being a constant that carries the geometry-matter coupling. Our solutions are remarkably capable of evading the Big-Bang singularity as well as predict the cosmic acceleration with no need for the cosmological constant, but simply as a consequence of the geometry-matter coupling terms in the Friedmann-like equations


title: A Dataset of State-Censored Tweets

abstract: Many governments impose traditional censorship methods on social media platforms. Instead of removing it completely, many social media companies, including Twitter, only withhold the content from the requesting country. This makes such content still accessible outside of the censored region, allowing for an excellent setting in which to study government censorship on social media. We mine such content using the Internet Archive's Twitter Stream Grab. We release a dataset of 583,437 tweets by 155,715 users that were censored between 2012-2020 July. We also release 4,301 accounts that were censored in their entirety. Additionally, we release a set of 22,083,759 supplemental tweets made up of all tweets by users with at least one censored tweet as well as instances of other users retweeting the censored user. We provide an exploratory analysis of this dataset. Our dataset will not only aid in the study of government censorship but will also aid in studying hate speech detection and the effect of censorship on social media users. The dataset is publicly available at https://doi.org/10.5281/zenodo.4439509


title: An Evans function for the linearised 2D Euler equations using Hill's determinant

abstract: We study the point spectrum of the linearisation of Euler's equation for the ideal fluid on the torus about a shear flow. By separation of variables the problem is reduced to the spectral theory of a complex Hill's equation. Using Hill's determinant an Evans function of the original Euler equation is constructed. The Evans function allows us to completely characterise the point spectrum of the linearisation, and to count the isolated eigenvalues with non-zero real part. We prove that the number of discrete eigenvalues of he linearised operator for a specific shear flow is exactly twice the number of non-zero integer lattice points inside the so-called unstable disk.


title: An Improved Approximation Algorithm for the Minimum $k$-Edge Connected Multi-Subgraph Problem

abstract: We give a randomized $1+\frac{5.06}{\sqrt{k}}$-approximation algorithm for the minimum $k$-edge connected spanning multi-subgraph problem, $k$-ECSM.


title: Image Enhancement using Fuzzy Intensity Measure and Adaptive Clipping Histogram Equalization

abstract: Image enhancement aims at processing an input image so that the visual content of the output image is more pleasing or more useful for certain applications. Although histogram equalization is widely used in image enhancement due to its simplicity and effectiveness, it changes the mean brightness of the enhanced image and introduces a high level of noise and distortion. To address these problems, this paper proposes image enhancement using fuzzy intensity measure and adaptive clipping histogram equalization (FIMHE). FIMHE uses fuzzy intensity measure to first segment the histogram of the original image, and then clip the histogram adaptively in order to prevent excessive image enhancement. Experiments on the Berkeley database and CVF-UGR-Image database show that FIMHE outperforms state-of-the-art histogram equalization based methods.


title: Relatively Hyperbolic Groups with Semistable Peripheral Subgroups

abstract: Suppose $G$ is a finitely presented group that is hyperbolic relative to ${\bf P}$ a finite collection of 1-ended finitely generated proper subgroups of $G$. If $G$ and the ${\bf P}$ are 1-ended and the boundary $\partial (G,{\bf P})$ has no cut point, then $G$ was known to have semistable fundamental group at $\infty$. We consider the more general situation when $\partial (G,{\bf P})$ contains cut points. Our main theorem states that if $G$ is finitely presented and each $P\in {\bf P}$ is finitely generated and has semistable fundamental group at $\infty$, then $G$ has semistable fundamental group at $\infty$.


title: Nowcasting Gentrification Using Airbnb Data

abstract: There is a rumbling debate over the impact of gentrification: presumed gentrifiers have been the target of protests and attacks in some cities, while they have been welcome as generators of new jobs and taxes in others. Census data fails to measure neighborhood change in real-time since it is usually updated every ten years. This work shows that Airbnb data can be used to quantify and track neighborhood changes. Specifically, we consider both structured data (e.g. number of listings, number of reviews, listing information) and unstructured data (e.g. user-generated reviews processed with natural language processing and machine learning algorithms) for three major cities, New York City (US), Los Angeles (US), and Greater London (UK). We find that Airbnb data (especially its unstructured part) appears to nowcast neighborhood gentrification, measured as changes in housing affordability and demographics. Overall, our results suggest that user-generated data from online platforms can be used to create socioeconomic indices to complement traditional measures that are less granular, not in real-time, and more costly to obtain.


title: Analysis of a time-delayed HIV/AIDS epidemic model with education campaigns

abstract: We consider a time-delayed HIV/AIDS epidemic model with education dissemination and study the asymptotic dynamics of solutions as well as the asymptotic behavior of the endemic equilibrium with respect to the amount of information disseminated about the disease. Under appropriate assumptions on the infection rates, we show that if the basic reproduction number is less than or equal to one, then the disease will be eradicated in the long run and any solution to the Cauchy problem converges to the unique disease-free equilibrium of the model. On the other hand, when the basic reproduction number is greater than one, we prove that the disease will be permanent but its impact on the population can be significantly minimized as the amount of education dissemination increases. In particular, under appropriate hypothesis on the model parameters, we establish that the size of the component of the infected population of the endemic equilibrium decreases linearly as a function of the amount of information disseminated. We also fit our model to a set of data on HIV/AIDS in order to estimate the infection, effective response, and information rates of the disease. We then use these estimates to present numerical simulations to illustrate our theoretical findings.


title: A compact green Ti:Sapphire astro-comb with 43-GHz repetition frequency

abstract: A compact green astro-comb with 43-GHz repetition rate is developed based on a Ti:Sapphire optical frequency comb (OFC) and a mode-selecting cavity. The OFC's large repetition rate of 1.6 GHz eases the requirements for the mode-selecting cavity. Unnecessary frequency-modes of the OFC are suppressed down to $5 \times 10^{-4}$ at 535 nm - 550 nm using a single mode-selecting cavity with 70-MHz linewidth. The radial velocity precision $\sigma \sim 1.4$ m/s is achieved at the High Dispersion Echelle Spectrosraph for the Okayama 188-cm telescope of the National Astronomical Observatory of Japan using our astro-comb. With further improvements of the mode-selecting cavity and removal of fiber modal noises, our system will provide a simple, compact, and precise astro-comb setup in visible wavelength region.


title: Integration of IRS in Indoor VLC Systems: Challenges, Potential and Promising Solutions

abstract: Visible light communication (VLC) is an optical wireless communication technology that is considered a promising solution for high-speed indoor connectivity. Unlike the case in conventional radio-frequency wireless systems, the VLC channel is not isotropic, meaning that the device orientation affects the channel gain significantly. In addition, due to the use of optical frequency bands, the presence of different obstacles (e.g., walls, human bodies, furniture) may easily block the VLC links. One solution to overcome these issues is the integration of the intelligent reflective surface (IRS), which is a new and revolutionizing technology that has the potential to significantly improve the performance of wireless networks. IRS is capable of smartly reconfiguring the wireless propagation environment with the use of massive low-cost passive reflecting elements integrated on a planar surface. In this paper, a framework for integrating IRS in indoor VLC systems is presented. We give an overview of IRS, including its advantages, different types and main applications in VLC systems, where we demonstrate the potential of IRS in overcoming the effects of random device orientation and links blockages. We discuss key factors pertaining to the design and integration of IRS in VLC systems, namely, the deployment of IRSs, the channel state information acquisition, the optimization of IRS configuration and the real-time IRS control. We also lay out a number of promising research directions that center around the integration of IRS in indoor VLC systems.