title: Surreal-GAN:Semi-Supervised Representation Learning via GAN for uncovering heterogeneous disease-related imaging patterns

abstract: A plethora of machine learning methods have been applied to imaging data, enabling the construction of clinically relevant imaging signatures of neurological and neuropsychiatric diseases. Oftentimes, such methods don't explicitly model the heterogeneity of disease effects, or approach it via nonlinear models that are not interpretable. Moreover, unsupervised methods may parse heterogeneity that is driven by nuisance confounding factors that affect brain structure or function, rather than heterogeneity relevant to a pathology of interest. On the other hand, semi-supervised clustering methods seek to derive a dichotomous subtype membership, ignoring the truth that disease heterogeneity spatially and temporally extends along a continuum. To address the aforementioned limitations, herein, we propose a novel method, termed Surreal-GAN (Semi-SUpeRvised ReprEsentAtion Learning via GAN). Using cross-sectional imaging data, Surreal-GAN dissects underlying disease-related heterogeneity under the principle of semi-supervised clustering (cluster mappings from normal control to patient), proposes a continuously dimensional representation, and infers the disease severity of patients at individual level along each dimension. The model first learns a transformation function from normal control (CN) domain to the patient (PT) domain with latent variables controlling transformation directions. An inverse mapping function together with regularization on function continuity, pattern orthogonality and monotonicity was also imposed to make sure that the transformation function captures necessarily meaningful imaging patterns with clinical significance. We first validated the model through extensive semi-synthetic experiments, and then demonstrate its potential in capturing biologically plausible imaging patterns in Alzheimer's disease (AD).


title: Field-induced tuning of the pairing state in a superconductor

abstract: The recently discovered superconductor UTe$_2$, with a T$_c$ between 1.5~K and 2~K, is attracting much attention due to strong suspicion of spin-triplet and topological superconductivity. Its properties under magnetic field are also remarkable, with field-reinforced and field-induced superconducting phases. Here, we report the first complete thermodynamic determination of the phase diagram for fields applied along the three crystallographic directions. Measurements were performed up to 36~T along the hard magnetisation $b$~axis in order to follow the superconducting transition up to the metamagnetic transition at $H_{m} = 34.75$~T. They reveal the existence of a phase transition line within the superconducting phase, and drastic differences occurring between these two phases. Detailed analysis supports a different spin state between the two phases, implying a low-field spin-triplet to high-field spin-singlet transition, a unique case among superconductors, giving insight on the mechanisms leading to spin-triplet superconductivity.


title: Towards a multi-stakeholder value-based assessment framework for algorithmic systems

abstract: In an effort to regulate Machine Learning-driven (ML) systems, current auditing processes mostly focus on detecting harmful algorithmic biases. While these strategies have proven to be impactful, some values outlined in documents dealing with ethics in ML-driven systems are still underrepresented in auditing processes. Such unaddressed values mainly deal with contextual factors that cannot be easily quantified. In this paper, we develop a value-based assessment framework that is not limited to bias auditing and that covers prominent ethical principles for algorithmic systems. Our framework presents a circular arrangement of values with two bipolar dimensions that make common motivations and potential tensions explicit. In order to operationalize these high-level principles, values are then broken down into specific criteria and their manifestations. However, some of these value-specific criteria are mutually exclusive and require negotiation. As opposed to some other auditing frameworks that merely rely on ML researchers' and practitioners' input, we argue that it is necessary to include stakeholders that present diverse standpoints to systematically negotiate and consolidate value and criteria tensions. To that end, we map stakeholders with different insight needs, and assign tailored means for communicating value manifestations to them. We, therefore, contribute to current ML auditing practices with an assessment framework that visualizes closeness and tensions between values and we give guidelines on how to operationalize them, while opening up the evaluation and deliberation process to a wide range of stakeholders.


title: Front Propagation from Radiative Sources

abstract: Fronts are regions of transition from one state to another in a medium. They are present in many areas of science and applied mathematics, and modelling them and their evolution is often an effective way of treating the underlying phenomena responsible for them. In this paper, we propose a new approach to modelling front propagation, which characterises the evolution of structures surrounding radiative sources. This approach is generic and has a wide range of applications, particularly when dealing with the propagation of phase or state transitions in media surrounding radiation emitting objects. As an illustration, we show an application in modelling the propagation of ionisation fronts around early stars during the cosmological Epoch of Reionisation (EoR) and show that the results are consistent with those of existing equations but provide much richer sources of information.


title: Number of partitions of n into parts not divisible by m

abstract: In this note, we obtain a formula which leads to a practical and efficient method to calculate the number of partitions of n into parts not divisible by m for given natural numbers n and m.


title: Selectively Contextual Bandits

abstract: Contextual bandits are widely used in industrial personalization systems. These online learning frameworks learn a treatment assignment policy in the presence of treatment effects that vary with the observed contextual features of the users. While personalization creates a rich user experience that reflect individual interests, there are benefits of a shared experience across a community that enable participation in the zeitgeist. Such benefits are emergent through network effects and are not captured in regret metrics typically employed in evaluating bandits. To balance these needs, we propose a new online learning algorithm that preserves benefits of personalization while increasing the commonality in treatments across users. Our approach selectively interpolates between a contextual bandit algorithm and a context-free multi-arm bandit and leverages the contextual information for a treatment decision only if it promises significant gains. Apart from helping users of personalization systems balance their experience between the individualized and shared, simplifying the treatment assignment policy by making it selectively reliant on the context can help improve the rate of learning in some cases. We evaluate our approach in a classification setting using public datasets and show the benefits of the hybrid policy.


title: Foveated Rendering: Motivation, Taxonomy, and Research Directions

abstract: With the recent interest in virtual reality and augmented reality, there is a newfound demand for displays that can provide high resolution with a wide field of view (FOV). However, such displays incur significantly higher costs for rendering the larger number of pixels. This poses the challenge of rendering realistic real-time images that have a wide FOV and high resolution using limited computing resources. The human visual system does not need every pixel to be rendered at a uniformly high quality. Foveated rendering methods provide perceptually high-quality images while reducing computational workload and are becoming a crucial component for large-scale rendering. In this paper, we present key motivations, research directions, and challenges for leveraging the limitations of the human visual system as they relate to foveated rendering. We provide a taxonomy to compare and contrast various foveated techniques based on key factors. We also review aliasing artifacts arising due to foveation methods and discuss several approaches that attempt to mitigate such effects. Finally, we present several open problems and possible future research directions that can further reduce computational costs while generating perceptually high-quality renderings.


title: Positron accumulation in the GBAR experiment

abstract: We present a description of the GBAR positron (e+) trapping apparatus, which consists of a three stage Buffer Gas Trap (BGT) followed by a High Field Penning Trap (HFT), and discuss its performance. The overall goal of the GBAR experiment is to measure the acceleration of the neutral antihydrogen (H) atom in the terrestrial gravitational field by neutralising a positive antihydrogen ion (H+), which has been cooled to a low temperature, and observing the subsequent H annihilation following free fall. To produce one H+ ion, about 10^10 positrons, efficiently converted into positronium (Ps), together with about 10^7 antiprotons (p), are required. The positrons, produced from an electron linac-based system, are accumulated first in the BGT whereafter they are stacked in the ultra-high vacuum HFT, where we have been able to trap 1.4(2) x 10^9 positrons in 1100 seconds.


title: Synchronization in Networks with Nonlinearly Delayed Couplings on Example of Neural Mass Model

abstract: The problem of synchronization in heterogeneous networks of linear systems with nonlinear delayed diffusive coupling is considered. The network is presented in new coordinates mean-field dynamics and synchronization errors. Thus the problem of network synchronization is reduced to the studying of synchronization-error system stability. The circle criterion for time-delay systems is used to derive the stability conditions of synchronization-error system. Obtained results are applied to a network of neural mass model populations, and the synchronization conditions are established. Simulation results are provided to illustrate the obtained analytical results.


title: Large Field Distances from EFT strings

abstract: In any consistent effective field theory of quantum gravity limits of infinite field distance are expected to lead to the EFT breakdown due to the appearance of an infinite tower of light states, as predicted by the Distance Conjecture. We review the Distant Axionic String Conjecture, which proposes that any 4d EFT infinite-field-distance limit can be realized as an RG flow of a fundamental axionic string. The RG flow can be understood in terms of the 4d backreaction of such a string, and implies that it becomes tensionless towards the said limit. This property is understood as a shielding mechanism towards realizing an exact axionic symmetry, and it implies the breakdown of the EFT in a way that reproduces the Distance Conjecture. Motivated by string theory data we further propose the Integral Scaling Conjecture, which provides a specific relation between the string tension and the EFT maximal cut-off set by the infinite tower of states.


title: How Does Frequency Bias Affect the Robustness of Neural Image Classifiers against Common Corruption and Adversarial Perturbations?

abstract: Model robustness is vital for the reliable deployment of machine learning models in real-world applications. Recent studies have shown that data augmentation can result in model over-relying on features in the low-frequency domain, sacrificing performance against low-frequency corruptions, highlighting a connection between frequency and robustness. Here, we take one step further to more directly study the frequency bias of a model through the lens of its Jacobians and its implication to model robustness. To achieve this, we propose Jacobian frequency regularization for models' Jacobians to have a larger ratio of low-frequency components. Through experiments on four image datasets, we show that biasing classifiers towards low (high)-frequency components can bring performance gain against high (low)-frequency corruption and adversarial perturbation, albeit with a tradeoff in performance for low (high)-frequency corruption. Our approach elucidates a more direct connection between the frequency bias and robustness of deep learning models.


title: The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocol Design and Implementation

abstract: Byzantine Fault-Tolerant (BFT) protocols have recently been extensively used by decentralized data management systems with non-trustworthy infrastructures, e.g., permissioned blockchains. BFT protocols cover a broad spectrum of design dimensions from infrastructure settings such as the communication topology, to more technical features such as commitment strategy and even fundamental social choice properties like order-fairness. The proliferation of different BFT protocols has rendered it difficult to navigate the BFT landscape, let alone determine the protocol that best meets application needs. This paper presents Bedrock, a unified platform for BFT protocols design, analysis, implementation, and experiments. Bedrock proposes a design space consisting of a set of design choices capturing the trade-offs between different design space dimensions and providing fundamentally new insights into the strengths and weaknesses of BFT protocols. Bedrock enables users to analyze and experiment with BFT protocols within the space of plausible choices, evolve current protocols to design new ones, and even uncover previously unknown protocols. Our experimental results demonstrate the capability of Bedrock to uniformly evaluate BFT protocols in new ways that were not possible before due to the diverse assumptions made by these protocols. The results validate Bedrock's ability to analyze and derive BFT protocols.


title: Repeated Averages on Graphs

abstract: Sourav Chatterjee, Persi Diaconis, Allan Sly and Lingfu Zhang, prompted by a question of Ramis Movassagh, renewed the study of a process proposed in the early 1980s by Jean Bourgain. A state vector $v \in \mathbb R^n$, labeled with the vertices of a connected graph, $G$, changes in discrete time steps following the simple rule that at each step a random edge $(i,j)$ is picked and $v_i$ and $v_j$ are both replaced by their average $(v_i+v_j)/2$. It is easy to see that the value associated with each vertex converges to $1/n$. The question was how quickly will $v$ be $\epsilon$-close to uniform in the $L^{1}$ norm in the case of the complete graph, $K_{n}$, when $v$ is initialized as a standard basis vector that takes the value 1 on one coordinate, and zeros everywhere else. They have established a sharp cutoff of $\frac{1}{2\log 2}n\log n + O(n\sqrt{\log n})$. Our main result is to prove, that $\frac{(1-\epsilon)}{2\log2}n\log n-O(n)$ is a general lower bound for all connected graphs on $n$ nodes. We also get sharp magnitude of $t_{\epsilon,1}$ for several important families of graphs, including star, expander, dumbbell, and cycle. In order to establish our results we make several observations about the process, such as the worst case initialization is always a standard basis vector. Our results add to the body of work of Aldous, Aldous and Lanoue, Quattropani and Sau, Cao, Olshevsky and Tsitsiklis, and others. The renewed interest is due to an analogy to a question related to the Google's supremacy circuit. For the proof of our main theorem we employ a concept that we call 'augmented entropy function' which may find independent interest in the computer science and probability theory communities.


title: LA City Bike Lane Infrastructure and its Effects on Business Closures From 2016-2021

abstract: This paper analyzes the presence of bike lanes within the city of Los Angeles and how their presence could offer positive economic benefits to businesses. City wide shutdowns initiated in March of 2020 acted as a demand shock to local businesses. Over the next two years, businesses struggled to keep the doors open. We explored the possibility of bicycle infrastructure playing a role in supporting/insulating local businesses from closure and positive economic impacts. Our analysis shows that the businesses along bike lane in Los Angeles runs positively, and that COVID-19 is not related to, significantly.


title: A potential demand model for a multi-circulation feeder network design

abstract: Background: The development of public transit network can enhance the efficiency of the system as well as raise interest to use the system. Feeder bus service fills the area that is far from the railway system; therefore, designing a feeder network in a gap area causes the expansion of the main transit network. Purpose: To present a modified potential demand model for designing a multi-circulation feeder network. Materials and Methods: In this study, the potential demand is defined based on the traffic demand of each section related to each link, the average walking distance of passengers to specified links, the distance from the links to stations, and finally potential demand of accessing each main station for each link. A labelling method is used to create continuous circular and separated routes. After generating an initial solution using a constructive heuristic algorithm, a genetic algorithm was operated to solve the problem. In the second algorithm, each route is considered a gene, and each network is considered a chromosome. In fact, in this step, different routes from diverse solutions are combined as a unique feeder network. Tehran District 10 was selected as the case study and the model was tested on this area which is located near the central business districts. A machine learning approach has been applied to estimate the missing values of the related database. Results: By running the algorithm, four feeder routes were obtained with reasonable travel times and distances of 4.8, 5.5, 5.8, and 8.1 km, starting and ending at the same railway station. Moreover, 98% of the area was covered by resulted feeder network with a maximum access distance of 300m. Conclusion: What stands out from this method is that the combination of the modified feeder route design model and algorithms is feasible.


title: A Realistic Cyclist Model for SUMO Based on the SimRa Dataset

abstract: Increasing the modal share of bicycle traffic to reduce carbon emissions, reduce urban car traffic, and to improve the health of citizens, requires a shift away from car-centric city planning. For this, traffic planners often rely on simulation tools such as SUMO which allow them to study the effects of construction changes before implementing them. Similarly, studies of vulnerable road users, here cyclists, also use such models to assess the performance of communication-based road traffic safety systems. The cyclist model in SUMO, however, is very imprecise as SUMO cyclists behave either like slow cars or fast pedestrians, thus, casting doubt on simulation results for bicycle traffic. In this paper, we analyze acceleration, velocity, and intersection left-turn behavior of cyclists in a large dataset of real world cycle tracks. We use the results to derive an improved cyclist model and implement it in SUMO.


title: Efficient algorithms for building representative matched pairs with enhanced generalizability

abstract: Many recent efforts center on assessing the ability of real-world evidence (RWE) generated from non-randomized, observational data to produce results compatible with those from randomized controlled trials (RCTs). One noticeable endeavor is the RCT DUPLICATE initiative (Franklin et al., 2020, 2021). To better reconcile findings from an observational study and an RCT, or two observational studies based on different databases, it is desirable to eliminate differences between study populations. We outline an efficient, network-flow-based statistical matching algorithm that designs well-matched pairs from observational data that resemble the covariate distributions of a target population, for instance, the target-RCT-eligible population in the RCT DUPLICATE initiative studies or a generic population of scientific interest. We demonstrate the usefulness of the method by revisiting the inconsistency regarding a cardioprotective effect of the hormone replacement therapy (HRT) in the Women's Health Initiative (WHI) clinical trial and corresponding observational study. We found that the discrepancy between the trial and observational study persisted in a design that adjusted for study populations' cardiovascular risk profile, but seemed to disappear in a study design that further adjusted for the HRT initiation age and previous estrogen-plus-progestin use. The proposed method is integrated into the R package match2C.


title: Nonlinear Landau damping for the Vlasov-Poisson system in $\R^3$: the Poisson equilibrium

abstract: We prove asymptotic stability of the Poisson homogeneous equilibrium among solutions of the Vlassov-Poisson system in the Euclidean space $\mathbb{R}^3$. More precisely, we show that small, smooth, and localized perturbations of the Poisson equilibrium lead to global solutions of the Vlasov-Poisson system, which scatter to linear solutions at a polynomial rate as $t\to\infty$. The Euclidean problem we consider here differs significantly from the classical work on Landau damping in the periodic setting, in several ways. Most importantly, the linearized problem cannot satisfy a "Penrose condition". As a result, our system contains resonances (small divisors) and the electric field is a superposition of an electrostatic component and a larger oscillatory component, both with polynomially decaying rates.


title: On Nested Justification Systems (full version)

abstract: Justification theory is a general framework for the definition of semantics of rule-based languages that has a high explanatory potential. Nested justification systems, first introduced by Denecker et al. (2015), allow for the composition of justification systems. This notion of nesting thus enables the modular definition of semantics of rule-based languages, and increases the representational capacities of justification theory. As we show in this paper, the original semantics for nested justification systems lead to the loss of information relevant for explanations. In view of this problem, we provide an alternative characterization of semantics of nested justification systems and show that this characterization is equivalent to the original semantics. Furthermore, we show how nested justification systems allow representing fixpoint definitions (Hou and Denecker 2009).


title: Demonstration of tunable three-body interactions between superconducting qubits

abstract: Nonpairwise multi-qubit interactions present a useful resource for quantum information processors. Their implementation would facilitate more efficient quantum simulations of molecules and combinatorial optimization problems, and they could simplify error suppression and error correction schemes. Here we present a superconducting circuit architecture in which a coupling module mediates 2-local and 3-local interactions between three flux qubits by design. The system Hamiltonian is estimated via multi-qubit pulse sequences that implement Ramsey-type interferometry between all neighboring excitation manifolds in the system. The 3-local interaction is coherently tunable over several MHz via the coupler flux biases and can be turned off, which is important for applications in quantum annealing, analog quantum simulation, and gate-model quantum computation.


title: Compactness in Lipschitz spaces and around

abstract: The aim of the paper is to characterize (pre)compactness in the spaces of Lipschitz/H\"older continuous mappings acting from a compact metric space to a normed space. To this end some extensions and generalizations of already existing compactness criteria for the spaces of bounded and continuous mappings with values in normed spaces needed to be established. Those auxiliary results, which are interesting on their own since they use a concept of equicontinuity not seen in the literature, are based on an abstract compactness criterion related to the recently introduced notion of an equinormed set.


title: Characterizing the country-wide adoption and evolution of the Jodel messaging app in Saudi Arabia

abstract: Social media is subject to constant growth and evolution, yet little is known about their early phases of adoption. To shed light on this aspect, this paper empirically characterizes the initial and country-wide adoption of a new type of social media in Saudi Arabia that happened in 2017. Unlike established social media, the studied network Jodel is anonymous and location-based to form hundreds of independent communities country-wide whose adoption pattern we compare. We take a detailed and full view from the operators perspective on the temporal and geographical dimension on the evolution of these different communities -- from their very first the first months of establishment to saturation. This way, we make the early adoption of a new type of social media visible, a process that is often invisible due to the lack of data covering the first days of a new network.


title: A Probabilistic Generative Model of Free Categories

abstract: Applied category theory has recently developed libraries for computing with morphisms in interesting categories, while machine learning has developed ways of learning programs in interesting languages. Taking the analogy between categories and languages seriously, this paper defines a probabilistic generative model of morphisms in free monoidal categories over domain-specific generating objects and morphisms. The paper shows how acyclic directed wiring diagrams can model specifications for morphisms, which the model can use to generate morphisms. Amortized variational inference in the generative model then enables learning of parameters (by maximum likelihood) and inference of latent variables (by Bayesian inversion). A concrete experiment shows that the free category prior achieves competitive reconstruction performance on the Omniglot dataset.


title: CODEC: Complex Document and Entity Collection

abstract: CODEC is a document and entity ranking benchmark that focuses on complex research topics. We target essay-style information needs of social science researchers, i.e. "How has the UK's Open Banking Regulation benefited Challenger Banks?". CODEC includes 42 topics developed by researchers and a new focused web corpus with semantic annotations including entity links. This resource includes expert judgments on 17,509 documents and entities (416.9 per topic) from diverse automatic and interactive manual runs. The manual runs include 387 query reformulations, providing data for query performance prediction and automatic rewriting evaluation. CODEC includes analysis of state-of-the-art systems, including dense retrieval and neural re-ranking. The results show the topics are challenging with headroom for document and entity ranking improvement. Query expansion with entity information shows significant gains in document ranking, demonstrating the resource's value for evaluating and improving entity-oriented search. We also show that the manual query reformulations significantly improve document ranking and entity ranking performance. Overall, CODEC provides challenging research topics to support the development and evaluation of entity-centric search methods.


title: Machine Learning Diffusion Monte Carlo Energies

abstract: We present two machine learning methodologies that are capable of predicting diffusion Monte Carlo (DMC) energies with small datasets (~60 DMC calculations in total). The first uses voxel deep neural networks (VDNNs) to predict DMC energy densities using Kohn-Sham density functional theory (DFT) electron densities as input. The second uses kernel ridge regression (KRR) to predict atomic contributions to the DMC total energy using atomic environment vectors as input (we used atom centred symmetry functions, atomic environment vectors from the ANI models, and smooth overlap of atomic positions). We first compare the methodologies on pristine graphene lattices, where we find the KRR methodology performs best in comparison to gradient boosted decision trees, random forest, gaussian process regression, and multilayer perceptrons. In addition, KRR outperforms VDNNs by an order of magnitude. Afterwards, we study the generalizability of KRR to predict the energy barrier associated with a Stone-Wales defect. Lastly, we move from 2D to 3D materials and use KRR to predict total energies of liquid water. In all cases, we find that the KRR models are more accurate than Kohn-Sham DFT and all mean absolute errors are less than chemical accuracy.


title: Informed Steiner Trees: Sampling and Pruning for Multi-Goal Path Finding in High Dimensions

abstract: We interleave sampling based motion planning methods with pruning ideas from minimum spanning tree algorithms to develop a new approach for solving a Multi-Goal Path Finding (MGPF) problem in high dimensional spaces. The approach alternates between sampling points from selected regions in the search space and de-emphasizing regions that may not lead to good solutions for MGPF. Our approach provides an asymptotic, 2-approximation guarantee for MGPF. We also present extensive numerical results to illustrate the advantages of our proposed approach over uniform sampling in terms of the quality of the solutions found and computation speed.


title: An Energy-dependent Electro-thermal Response Model of CUORE Cryogenic Calorimeter

abstract: The Cryogenic Underground Observatory for Rare Events (CUORE) is the most sensitive experiment searching for neutrinoless double-beta decay ($0\nu\beta\beta$) in $^{130}\text{Te}$. CUORE uses a cryogenic array of 988 TeO$_2$ calorimeters operated at $\sim$10 mK with a total mass of 741 kg. To further increase the sensitivity, the detector response must be well understood. Here, we present a non-linear thermal model for the CUORE experiment on a detector-by-detector basis. We have examined both equilibrium and dynamic electro-thermal models of detectors by numerically fitting non-linear differential equations to the detector data of a subset of CUORE channels which are well characterized and representative of all channels. We demonstrate that the hot-electron effect and electric-field dependence of resistance in NTD-Ge thermistors alone are inadequate to describe our detectors' energy dependent pulse shapes. We introduce an empirical second-order correction factor in the exponential temperature dependence of the thermistor, which produces excellent agreement with energy-dependent pulse shape data up to 6 MeV. We also present a noise analysis using the fitted thermal parameters and show that the intrinsic thermal noise is negligible compared to the observed noise for our detectors.


title: A for-loop is all you need. For solving the inverse problem in the case of personalized tumor growth modeling

abstract: Solving the inverse problem is the key step in evaluating the capacity of a physical model to describe real phenomena. In medical image computing, it aligns with the classical theme of image-based model personalization. Traditionally, a solution to the problem is obtained by performing either sampling or variational inference based methods. Both approaches aim to identify a set of free physical model parameters that results in a simulation best matching an empirical observation. When applied to brain tumor modeling, one of the instances of image-based model personalization in medical image computing, the overarching drawback of the methods is the time complexity for finding such a set. In a clinical setting with limited time between imaging and diagnosis or even intervention, this time complexity may prove critical. As the history of quantitative science is the history of compression, we align in this paper with the historical tendency and propose a method compressing complex traditional strategies for solving an inverse problem into a simple database query task. We evaluated different ways of performing the database query task assessing the trade-off between accuracy and execution time. On the exemplary task of brain tumor growth modeling, we prove that the proposed method achieves one order speed-up compared to existing approaches for solving the inverse problem. The resulting compute time offers critical means for relying on more complex and, hence, realistic models, for integrating image preprocessing and inverse modeling even deeper, or for implementing the current model into a clinical workflow.


title: A hybridizable discontinuous Galerkin method for the fully coupled time-dependent Stokes/Darcy-transport problem

abstract: We present a high-order hybridized discontinuous Galerkin (HDG) method for the fully coupled time-dependent Stokes-Darcy-transport problem where the fluid viscosity and source/sink terms depend on the concentration and the dispersion/diffusion tensor depends on the fluid velocity. This HDG method is such that the discrete flow equations are compatible with the discrete transport equation. Furthermore, the HDG method guarantees strong mass conservation in the $H^{\rm div}$ sense and naturally treats the interface conditions between the Stokes and Darcy regions via facet variables. We employ a linearizing decoupling strategy where the Stokes/Darcy and the transport equations are solved sequentially by time-lagging the concentration. We prove well-posedness and optimal a priori error estimates for the velocity and the concentration in the energy norm. We present numerical examples that respect compatibility of the flow and transport discretizations and demonstrate that the discrete solution is robust with respect to the problem parameters.


title: The Geometric Theory of Phase Transitions

abstract: We develop a geometric theory of phase transitions (PTs) for Hamiltonian systems in the microcanonical ensemble. This theory allows to reformulate Bachmann's classification of PTs for finite-size systems in terms of geometric properties of the energy level sets (ELSs) associated to the Hamiltonian function. Specifically, by defining the microcanonical entropy as the logarithm of the ELS's volume equipped with a suitable metric tensor, we obtain an exact equivalence between thermodynamics and geometry. In fact, we show that any derivative of entropy with respect to the energy variable can be associated to a specific combination of geometric curvature structures of the ELSs which, in turn, are precise combinations of the potential function derivatives. In this way, we establish a direct connection between the microscopic description provided by the Hamiltonian and the collective behavior which emerges in a PT. Finally, we also analyze the behavior of the ELSs' geometry in the thermodynamic limit, showing that non-analyticities of the energy-derivatives of the entropy are caused by non-analyticities of certain geometric properties of the ELSs around the transition point. Finally, we validate the theory studying the PTs that occur in the $\phi^4$ and Ginzburg-Landau-like models.


title: An acceleration technique for methods for finding the nearest point in a polytope and computing the distance between two polytopes

abstract: We present a simple and efficient acceleration technique for an arbitrary method for computing the Euclidean projection of a point onto a convex polytope, defined as the convex hull of a finite number of points, in the case when the number of points in the polytope is much greater than the dimension of the space. The technique consists in applying any given method to a "small" subpolytope of the original polytope and gradually shifting it, till the projection of the given point onto the subpolytope coincides with its projection onto the original polytope. The results of numerical experiments demonstrate the high efficiency of the proposed acceleration technique. In particular, they show that the reduction of computation time increases with an increase of the number of points in the polytope and is proportional to this number for some methods. In the second part of the paper, we also discuss a straightforward extension of the proposed acceleration technique to the case of arbitrary methods for computing the distance between two convex polytopes, defined as the convex hulls of finite sets of points.


title: Crossing limit cycles of planar discontinuous piecewise differential systems formed by isochronous centers

abstract: These last years an increasing interest appeared for studying the planar discontinuous piecewise differential systems motivated by the rich applications in modelling real phenomena. One of the difficulties for understanding the dynamics of these systems is the study their limit cycles. In this paper we study the maximum number of crossing limit cycles of some classes of planar discontinuous piecewise differential systems separated by a straight line, and formed by combinations of linear centers (consequently isochronous) and cubic isochronous centers with homogeneous nonlinearities. For these classes of planar discontinuous piecewise differential systems we solved the extension of the 16th Hilbert problem, i.e. we provide an upper bound for their maximum number of crossing limit cycles.


title: Evolution of language driven by social dynamics

abstract: The survival of endangered languages in complex language competition depends on socio-cultural status and honour endowed (by itself and by the other) among them. The restriction in the endorsement of this honour leads to language extinction of one language, and rise of the other. Endorsing proper mutual honour each other trigger the co-existence of language speakers and can save both languages from extinction. The lost of respect to each other drives the death of both languages. We found a minimal or critical mutual honour (a=0.9635) which protects the two languages from extinction. The increase in mutual honour from this minimal value allows increase in the populations of the two languages speakers. The state of co-existence of competing languages abolishes the concept of minority and majority in language competition which can be obtained by mutual honour. Further, excess biased honour to a particular language (minority or majority) force the language to extinct. In mean-field approximation of language competition, magnetization parameter can be taken as an indicator of survival of a language.


title: Can transit investments in low-income neighbourhoods increase transit use? Exploring the nexus of income, car-ownership, and transit accessibility in Toronto

abstract: Transportation equity advocates recommend improving public transit in low-income neighbourhoods to alleviate socio-spatial inequalities and increase quality of life. However, transportation planners often overlook transit investments in neighbourhoods with "transit-captive" populations because they are assumed to result in less mode-shifting, congestion relief, and environmental benefits, compared to investments that aim to attract choice riders in wealthier communities. In North American cities, while many low-income households are already transit users, some also own and use private vehicles. It suggests that transit improvements in low-income communities could indeed result in more transit use and less car use. Accordingly, the main objective of this article is to explore the statistical relationship between transit use and transit accessibility as well as how this varies by household income and vehicle ownership in the Greater Toronto and Hamilton Area (GTHA). Using stratified regression models, we find that low-income households with one or more cars per adult have the most elastic relationship between transit accessibility and transit use; they are more likely to be transit riders if transit improves. However, we confirm that in auto-centric areas with poor transit, the transit use of low-income households drops off sharply as car ownership increases. On the other hand, a sensitivity analysis suggests more opportunities for increasing transit ridership among car-deficit households when transit is improved. These findings indicate that improving transit in low-income inner suburbs, where most low-income car-owning households are living, would align social with environmental planning goals.


title: Designing an Interactive, Notebook-Embedded, Tree Visualization to Support Exploratory Performance Analysis

abstract: Interactive visualization via direct manipulation has inherent design trade-offs in flexibility, discoverability, and ease-of-use. Scripting languages can support a vast range of user queries and tasks, but may be more cumbersome for free-form exploration. Embedding interactive visualization in a scripting environment, such as a computational notebook, provides an opportunity for leveraging the strengths of both direct manipulation and scripting. We conduct a design study investigating this opportunity in the context of calling context trees as used for performance analysis of parallel software. Our collaborators make new performance analysis functionality available to users via Jupyter notebook examples, making the project setting conducive to such an investigation. Through a series of semi-structured interviews and regular meetings with project stakeholders, we produce a formal task analysis grounded in the expectation that tasks may be supported by scripting, interactive visualization, or both paradigms. We then design an interactive bivariate calling context tree visualization for embedding in Jupyter notebooks with features to pass data and state between the scripting and visualization contexts. We evaluated our embedded design with seven high performance computing experts. The experts were able to complete tasks and provided further feedback on the visualization and the notebook-embedded interactive visualization paradigm. We reflect upon the project and discuss factors in both the process and the design of the embedded visualization.


title: Algebraic kk-theory and the KH-isomorphism conjecture

abstract: We relate the Davis-L\"uck homology with coefficients in Weibel's homotopy K-theory to the equivariant algebraic kk-theory using homotopy theory and adjointness theorems. We express the left hand side of the assembly map for the KH-isomorphism conjecture in terms of equivariant algebraic kk-groups.


title: A Song of (Dis)agreement: Evaluating the Evaluation of Explainable Artificial Intelligence in Natural Language Processing

abstract: There has been significant debate in the NLP community about whether or not attention weights can be used as an explanation - a mechanism for interpreting how important each input token is for a particular prediction. The validity of "attention as explanation" has so far been evaluated by computing the rank correlation between attention-based explanations and existing feature attribution explanations using LSTM-based models. In our work, we (i) compare the rank correlation between five more recent feature attribution methods and two attention-based methods, on two types of NLP tasks, and (ii) extend this analysis to also include transformer-based models. We find that attention-based explanations do not correlate strongly with any recent feature attribution methods, regardless of the model or task. Furthermore, we find that none of the tested explanations correlate strongly with one another for the transformer-based model, leading us to question the underlying assumption that we should measure the validity of attention-based explanations based on how well they correlate with existing feature attribution explanation methods. After conducting experiments on five datasets using two different models, we argue that the community should stop using rank correlation as an evaluation metric for attention-based explanations. We suggest that researchers and practitioners should instead test various explanation methods and employ a human-in-the-loop process to determine if the explanations align with human intuition for the particular use case at hand.


title: Hasselmann's Paradigm for Stochastic Climate Modelling based on Stochastic Lie Transport

abstract: A generic approach to stochastic climate modelling is developed for the example of an idealized Atmosphere-Ocean model that rests upon Hasselmann's paradigm for stochastic climate models. Namely, stochasticity is incorporated into the fast moving atmospheric component of an idealized coupled model by means of stochastic Lie transport, while the slow moving ocean model remains deterministic. More specifically the stochastic model SALT (stochastic advection by Lie transport) is constructed by introducing stochastic transport into the material loop in Kelvin's circulation theorem. The resulting stochastic model preserves circulation, as does the underlying deterministic climate model. A variant of SALT called LA-SALT (Lagrangian-Averaged SALT) is introduced in this paper. In LA-SALT, we replace the drift velocity of the stochastic vector field by its expected value. The remarkable property of LA-SALT is that the evolution of its higher moments are governed by linear deterministic equations. Our modelling approach is substantiated by establishing local existence results, first, for the deterministic climate model that couples compressible atmospheric equations to incompressible ocean equation, and second, for the two stochastic SALT and LA-SALT models.


title: Scim: Intelligent Skimming Support for Scientific Papers

abstract: Researchers need to keep up with immense literatures, though it is time-consuming and difficult to do so. In this paper, we investigate the role that intelligent interfaces can play in helping researchers skim papers, that is, rapidly reviewing a paper to attain a cursory understanding of its contents. After conducting formative interviews and a design probe, we suggest that skimming aids should aim to thread the needle of highlighting content that is simultaneously diverse, evenly-distributed, and important. We introduce Scim, a novel intelligent skimming interface that reifies this aim, designed to support the skimming process by highlighting salient paper contents to direct a skimmer's focus. Key to the design is that the highlights are faceted by content type, evenly-distributed across a paper, with a density configurable by readers at both the global and local level. We evaluate Scim with an in-lab usability study and deployment study, revealing how skimming aids can support readers throughout the skimming experience and yielding design considerations and tensions for the design of future intelligent skimming tools.


title: Optimal control for the Paneitz obstacle problem

abstract: In this paper, we study a natural optimal control problem associated to the Paneitz obstacle problem on closed 4-dimensional Riemannian manifolds. We show the existence of an optimal control which is an optimal state and induces also a conformal metric with prescribed Q-curvature. We show also C^{\infty}-regularity of optimal controls and some compactness results for the optimal controls. In the case of the 4-dimensional standard sphere, we characterize all optimal controls.


title: Portfolio Construction with Gaussian Mixture Returns and Exponential Utility via Convex Optimization

abstract: We consider the problem of choosing an optimal portfolio, assuming the asset returns have a Gaussian mixture (GM) distribution, with the objective of maximizing expected exponential utility. In this paper we show that this problem is convex, and readily solved exactly using domain-specific languages for convex optimization, without the need for sampling or scenarios. We then show how the closely related problem of minimizing entropic value at risk can also be formulated as a convex optimization problem.


title: Three and four identical fermions near the unitary limit

abstract: This work analyzes the three and four equal-mass fermionic systems near and at the $s$- and $p$-wave unitary limits using hyperspherical methods. The unitary regime addressed here is where the two-body dimer energy is at zero energy. For fermionic systems near the $s$-wave unitary limit, the hyperradial potentials in the $N$-body continuum exhibit a universal long-range $R^{-3}$ behavior governed by the $s$-wave scattering length alone. The implications of this behavior on the low energy phase shift are discussed. At the $p$-wave unitary limit, the four-body system is studied through a qualitative look at the structure of the hyperradial potentials at unitarity for the $L^{\pi}=0^{+}$ symmetry. A quantitative analysis shows that there are tetramer states in the lowest hyperradial potentials for these systems. Correlations are made between these tetramers and the corresponding trimers in the two-body fragmentation channels. Universal properties related to the four-body recombination process $\mathrm{A+A+A+A}\leftrightarrow \mathrm{A_3+A}$ are discussed.


title: Is my Depth Ground-Truth Good Enough? HAMMER -- Highly Accurate Multi-Modal Dataset for DEnse 3D Scene Regression

abstract: Depth estimation is a core task in 3D computer vision. Recent methods investigate the task of monocular depth trained with various depth sensor modalities. Every sensor has its advantages and drawbacks caused by the nature of estimates. In the literature, mostly mean average error of the depth is investigated and sensor capabilities are typically not discussed. Especially indoor environments, however, pose challenges for some devices. Textureless regions pose challenges for structure from motion, reflective materials are problematic for active sensing, and distances for translucent material are intricate to measure with existing sensors. This paper proposes HAMMER, a dataset comprising depth estimates from multiple commonly used sensors for indoor depth estimation, namely ToF, stereo, structured light together with monocular RGB+P data. We construct highly reliable ground truth depth maps with the help of 3D scanners and aligned renderings. A popular depth estimators is trained on this data and typical depth senosors. The estimates are extensively analyze on different scene structures. We notice generalization issues arising from various sensor technologies in household environments with challenging but everyday scene content. HAMMER, which we make publicly available, provides a reliable base to pave the way to targeted depth improvements and sensor fusion approaches.


title: Photoemission of the Upconverted Hot Electrons in Mn-doped CsPbBr$_3$ Nanocrystals

abstract: Hot electrons play a crucial role in enhancing the efficiency of photon-to-current conversion or photocatalytic reactions. In semiconductor nanocrystals, energetic hot electrons capable of photoemission can be generated via the upconversion process involving the dopant-originated intermediate state, currently known only in Mn-doped cadmium chalcogenide quantum dots. Here, we report that Mn-doped CsPbBr3 nanocrystals are an excellent platform for generating hot electrons via upconversion that can benefit from various desirable exciton properties and the structural diversity of metal halide perovskites (MHP). 2-dimensional Mn-doped CsPbBr$_3$ nanoplatelets are particularly advantageous for hot electron upconversion due to the strong exciton-dopant interaction mediating the upconversion process. Furthermore, nanoplatelets reveal evidence for the hot electron upconversion via long-lived dark exciton in addition to bright exciton that may enhance the upconversion efficiency. This study not only establishes the feasibility of hot electron upconversion in MHP host but also demonstrates the potential merits of 2-dimensional MHP nanocrystals in hot electron upconversion.


title: The Compound Information Bottleneck Outlook

abstract: We formulate and analyze the compound information bottleneck programming. In this problem, a Markov chain $ \mathsf{X} \rightarrow \mathsf{Y} \rightarrow \mathsf{Z} $ is assumed with fixed marginal distributions $\mathsf{P}_{\mathsf{X}}$ and $\mathsf{P}_{\mathsf{Y}}$, and the mutual information between $ \mathsf{X} $ and $ \mathsf{Z} $ is sought to be maximized over the choice of conditional probability of $\mathsf{Z}$ given $\mathsf{Y}$ from a given class, under the \textit{worst choice} of the joint probability of the pair $(\mathsf{X},\mathsf{Y})$ from a different class. We consider several classes based on extremes of: mutual information; minimal correlation; total variation; and the relative entropy class. We provide values, bounds, and various characterizations for specific instances of this problem: the binary symmetric case, the scalar Gaussian case, the vector Gaussian case and the symmetric modulo-additive case. Finally, for the general case, we propose a Blahut-Arimoto type of alternating iterations algorithm to find a consistent solution to this problem.


title: Assigning degrees of stochasticity to blazar light curves in the radio band using complex networks

abstract: {We focus on characterizing the high-energy emission mechanisms of blazars by analyzing the variability in the radio band of the light curves of more than a thousand sources. We are interested in assigning complexity parameters to these sources, modeling the time series of the light curves with the method of the Horizontal Visibility Graph (HVG), which allows us to obtain properties from degree distributions, such as a characteristic exponent to describe its stochasticity and the Kullback-Leibler Divergence (KLD), presenting a new perspective to the methods commonly used to study Active Galactic Nuclei (AGN). We contrast these parameters with the excess variance, an astronomical measurement of variability in light curves, at the same time we use the spectral classification of the sources. While it is not possible to find significant correlations with the excess variance, the degree distributions extracted from the network are detecting differences related to the spectral classification of blazars. These differences suggest a chaotic behavior in the time series for the BL Lac sources and a correlated stochastic behavior in the time series for the FSRQ sources. Our results show that complex networks may be a valuable alternative tool to study AGNs according to the variability of their energy output.


title: Long Dark Gaps in the Ly$\beta$ Forest at $z<6$: Evidence of Ultra Late Reionization from XQR-30 Spectra

abstract: We present a new investigation of the intergalactic medium (IGM) near reionization using dark gaps in the Lyman-$\beta$ (Ly$\beta$) forest. With its lower optical depth, Ly$\beta$ offers a potentially more sensitive probe to any remaining neutral gas compared to commonly used Ly$\alpha$ line. We identify dark gaps in the Ly$\beta$ forest using spectra of 42 QSOs at $z_{\rm em}>5.5$, including new data from the XQR-30 VLT Large Programme. Approximately $40\%$ of these QSO spectra exhibit dark gaps longer than $10h^{-1}{\rm Mpc}$ at $z\simeq5.8$. By comparing the results to predictions from simulations, we find that the data are broadly consistent both with models where fluctuations in the Ly$\alpha$ forest are caused solely by ionizing ultraviolet background (UVB) fluctuations and with models that include large neutral hydrogen patches at $z<6$ due to a late end to reionization. Of particular interest is a very long ($L=28h^{-1}{\rm Mpc}$) and dark ($\tau_{\rm eff} \gtrsim 6$) gap persisting down to $z\simeq 5.5$ in the Ly$\beta$ forest of the $z_{\rm}=5.85$ QSO PSO J025$-$11. This gap may support late reionization models with a volume-weighted average neutral hydrogen fraction of $ \langle x_{\rm HI}\rangle \gtrsim 5\%$ by $z=5.6$. Finally, we infer constraints on $\langle x_{\rm HI}\rangle$ over $5.5 \lesssim z \lesssim 6.0$ based on the observed Ly$\beta$ dark gap length distribution and a conservative relationship between gap length and neutral fraction derived from simulations. We find $\langle x_{\rm HI}\rangle \leq 0.05$, 0.17, and 0.29 at $z\simeq 5.55$, 5.75, and 5.95, respectively. These constraints are consistent with models where reionization ends significantly later than $z = 6$.


title: Unveiling Nucleon 3D Chiral-Odd Structure with Jet Axes

abstract: We reinterpret jet clustering as an axis-finding procedure which, along with the proton beam, defines the virtual-photon transverse momentum $q_T$ in deep inelastic scattering (DIS). In this way, we are able to probe the nucleon intrinsic structure using jet axes in a fully inclusive manner, similar to the Drell-Yan process. We present the complete list of azimuthal asymmetries and the associated factorization formulae at leading power for deep-inelastic scattering of a nucleon. The factorization formulae involve both the conventional time-reversal-even (T-even) jet function and the T-odd one, which have access to all transverse-momentum-dependent parton distribution functions (TMD PDFs) at leading twist. Since the factorization holds as long as $q_T \ll Q$, where $Q$ is the photon virtuality, the jet-axis probe into the nucleon structure should be feasible for machines with relatively low energies such as the Electron-Ion Collider in China (EicC). We show that, within the winner-take-all (WTA) axis-finding scheme, the coupling between the T-odd jet function and the quark transversity or the Boer-Mulders function could induce sizable azimuthal asymmetries at the EicC, the EIC and HERA. We also give predictions for the azimuthal asymmetry of back-to-back dijet production in $e^+e^-$ annihilation at Belle and other energies.


title: Adjust Pearson's r to Measure Nonlinear Monotone Dependence

abstract: As the most commonly used correlation coefficient, Pearson's r is generally considered as a measure only for linear dependence. The use of Pearson's r has been strongly discouraged for nonlinear relationships. Recent research shows that this opinion is myth and Pearson's r should not be ruled out a priori for measuring nonlinear monotone relationships. We find that Pearson's r does have potential to measure nonlinear dependence as long as the relationships are monotone, it just underestimates them. We derive a new inequality which is tighter than the famous Cauchy-Schwarz Inequality, leverage it to adjust the underestimation, and propose a new correlation coefficient, i.e., rearrangement correlation. The rearrangement correlation is able to capture arbitrary monotone relationships, both linear and nonlinear ones. It reverts to Pearson's r in linear scenarios. Simulation experiments and real-life investigations show that the rearrangement correlation is more accurate in measuring nonlinear monotone dependence than the three classical correlation coefficients, and other recently proposed dependence measures.


title: Direct and alternating magnon spin currents across a junction interface irradiated by linearly polarized laser

abstract: The developments in the field of quantum optics raise expectations that laser-matter coupling is a promising building block for magnonics. Here, we propose a method for the generation of direct and alternating spin currents of magnons across the junction interface irradiated by linearly polarized laser. In a junction of ferromagnetic insulators with a large electronic gap, the spin angular momentum is exchanged during the tunneling process of magnons across the junction interface. The advanced technology in the field of plasmonics and metamaterials realizes that spins irradiated by the laser field interact only with the magnetic component of the laser through the Zeeman coupling. Using an analytic perturbation theory, we provide a general formula for magnon transport induced by the inversion symmetry breaking across the junction interface. Then, we show that those spin currents are enhanced by the ferromagnetic resonance, and the period of the ac spin current is one-half of that of the laser magnetic field. Finally, we estimate the magnitude of the spin current, and find that it will be within experimental reach.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other cond-mat.quant-gas cond-mat.stat-mech


title: Robust Data-Driven Decisions Under Model Uncertainty

abstract: When sample data are governed by an unknown sequence of independent but possibly non-identical distributions, the data-generating process (DGP) in general cannot be perfectly identified from the data. For making decisions facing such uncertainty, this paper presents a novel approach by studying how the data can best be used to robustly improve decisions. That is, no matter which DGP governs the uncertainty, one can make a better decision than without using the data. I show that common inference methods, e.g., maximum likelihood and Bayesian updating cannot achieve this goal. To address, I develop new updating rules that lead to robustly better decisions either asymptotically almost surely or in finite sample with a pre-specified probability. Especially, they are easy to implement as are given by simple extensions of the standard statistical procedures in the case where the possible DGPs are all independent and identically distributed. Finally, I show that the new updating rules also lead to more intuitive conclusions in existing economic models such as asset pricing under ambiguity.


title: A universal heat semigroup characterisation of Sobolev and BV spaces in Carnot groups

abstract: In sub-Riemannian geometry there exist, in general, no known explicit representations of the heat kernels, and these functions fail to have any symmetry whatsoever. In particular, they are not a function of the control distance, nor they are for instance spherically symmetric in any of the layers of the Lie algebra. Despite these unfavourable aspects, in this paper we establish a new heat semigroup characterisation of the Sobolev and $BV$ spaces in a Carnot group by means of an integral decoupling property of the heat kernel.


title: JCSP: Joint Caching and Service Placement for Edge Computing Systems

abstract: With constrained resources, what, where, and how to cache at the edge is one of the key challenges for edge computing systems. The cached items include not only the application data contents but also the local caching of edge services that handle incoming requests. However, current systems separate the contents and services without considering the latency interplay of caching and queueing. Therefore, in this paper, we propose a novel class of stochastic models that enable the optimization of content caching and service placement decisions jointly. We first explain how to apply layered queueing networks (LQNs) models for edge service placement and show that combining this with genetic algorithms provides higher accuracy in resource allocation than an established baseline. Next, we extend LQNs with caching components to establish a joint modeling method for content caching and service placement (JCSP) and present analytical methods to analyze the resulting model. Finally, we simulate real-world Azure traces to evaluate the JCSP method and find that JCSP achieves up to 35% improvement in response time and 500MB reduction in memory usage than baseline heuristics for edge caching resource allocation.


title: Towards the Generalized Riemann Hypothesis using only zeros of the Riemann zeta function

abstract: For any real $\beta_0\in[\tfrac12,1)$, let ${\rm GRH}[\beta_0]$ be the assertion that for every Dirichlet character $\chi$ and all zeros $\rho=\beta+i\gamma$ of $L(s,\chi)$, one has $\beta\le\beta_0$ (in particular, ${\rm GRH}[\frac12]$ is the Generalized Riemann Hypothesis). In this paper, we show that the validity of ${\rm GRH}[\frac{9}{10}]$ depends only on certain distributional properties of the zeros of the Riemann zeta function $\zeta(s)$. No conditions are imposed on the zeros of nonprincipal Dirichlet $L$-functions.


title: Dark matter cores in massive high-$z$ galaxies formed by baryonic clumps

abstract: The rotation curves of some star forming massive galaxies at redshift two decline over the radial range of a few times the effective radius, indicating a significant deficit of dark matter (DM) mass in the galaxy centre. The DM mass deficit is interpreted as the existence of a DM density core rather than the cuspy structure predicted by the standard cosmological model. A recent study proposed that a galaxy merger, in which the smaller satellite galaxy is significantly compacted by dissipative contraction of the galactic gas, can heat the centre of the host galaxy and help make a large DM core. By using an $N$-body simulation, we find that a large amount of DM mass is imported to the centre by the merging satellite, making this scenario an unlikely solution for the DM mass deficit. In this work, we consider giant baryonic clumps in high redshift galaxies as alternative heating source for creating the baryon dominated galaxies with a DM core. Due to dynamical friction, the orbit of clumps decays in a few Gyr and the baryons condensate at the galactic centre. As a back-reaction, the halo centre is heated up and the density cusp is flattened out. The combination of the baryon condensation and core formation makes the galaxy baryon dominated in the central 2-5 kpc, comparable to the effective radius of the observed galaxies. Thus, the dynamical heating by giant baryonic clumps is a viable mechanism for explaining the observed dearth of DM in high redshift galaxies.


title: Composite IG/FTR Channel Performance in Wireless Communication Systems

abstract: We present a composite wireless fading model encompassing multipath fading and shadowing based on fluctuating two-ray (FTR) fading and inverse gamma (IG) shadowing. We first determine an alternative framework for the statistical characterization and performance evaluation of the FTR fading model, which is based on the fact that the FTR fading distribution can be described as an underlying Rician Shadowed (RS) distribution with continuously varying parameter Kr (ratio of specular to diffuse components). We demonstrate that this new formulation permits to obtain a closed-form expression of the generalized moment generating function (GMGF) of the FTR model, from which the PDF and CDF of the composite IG/FTR model can be obtained in closed-form. The exact and asymptotic outage probability of the IG/FTR model are analyzed and verified by Monte Carlo simulations.


title: Modal compression of the redshift-space galaxy bispectrum

abstract: We extend the modal decomposition method, previously applied to compress the information in the real-space bispectrum, to the anisotropic redshift-space galaxy bispectrum. In the modal method approach, the bispectrum is expanded on a basis of smooth functions of triangles and their orientations, such that a set of modal expansion coefficients can capture the information in the bispectrum. We assume a reference survey and compute Fisher forecasts for the compressed modal bispectrum and two other basis decompositions of the redshift-space bispectrum in the literature, one based on (single) spherical harmonics and another based on tripolar spherical harmonics. In each case, we compare the forecasted constraints from the compressed statistic with forecasted constraints from the full, uncompressed bispectrum which includes all triangles and orientations. Our main result is that all three compression methods achieve good recovery of the full information content of the bispectrum, but the modal decomposition approach achieves this the most efficiently: only 14 (42) modal expansion coefficients are necessary to obtain constraints that are within 10% (2%) of the full bispectrum result. The next most efficient decomposition is the one based on tripolar spherical harmonics, while the spherical harmonic multipoles are the least efficient.


title: Gradient Projection Newton Pursuit for Sparsity Constrained Optimization

abstract: Hard-thresholding-based algorithms have seen various advantages for sparse optimization in controlling the sparsity and allowing for fast computation. Recent research shows that when techniques of the Newton-type methods are integrated, their numerical performance can be improved surprisingly. This paper develops a gradient projection Newton pursuit algorithm that mainly adopts the hard-thresholding operator and employs the Newton pursuit only when certain conditions are satisfied. The proposed algorithm is capable of converging globally and quadratically under the standard assumptions. When it comes to compressive sensing problems, the imposed assumptions are much weaker than those for many state-of-the-art algorithms. Moreover, extensive numerical experiments have demonstrated its high performance in comparison with the other leading solvers.


title: Optimal self-concordant barriers for quantum relative entropies

abstract: Quantum relative entropies are jointly convex functions of two positive definite matrices that generalize the Kullback-Leibler divergence and arise naturally in quantum information theory. In this paper, we prove self-concordance of natural barrier functions for the epigraphs of various quantum relative entropies and divergences. Furthermore we show that these barriers have optimal barrier parameter. These barriers allow convex optimization problems involving quantum relative entropies to be directly solved using interior point methods for non-symmetric cones, avoiding the approximations and lifting techniques used in previous approaches. More generally, we establish the self-concordance of natural barriers for various closed convex cones related to the noncommutative perspectives of operator concave functions, and show that the resulting barrier parameters are optimal.


title: Charge density wave in kagome lattice intermetallic ScV6Sn6

abstract: Materials hosting kagome lattices have drawn interest for the diverse magnetic and electronic states generated by geometric frustration. In the $A$V$_3$Sb$_5$ compounds ($A$ = K, Rb, Cs), stacked vanadium kagome layers give rise to unusual charge density waves (CDW) and superconductivity. Here we report single-crystal growth and characterization of ScV$_6$Sn$_6$, a hexagonal HfFe$_6$Ge$_6$-type compound that shares this structural motif. We identify a first-order phase transition at 92 K. Single crystal X-ray and neutron diffraction reveal a charge density wave modulation of the atomic lattice below this temperature. This is a distinctly different structural mode than that observed in the $A$V$_3$Sb$_5$ compounds, but both modes have been anticipated in kagome metals. The diverse HfFe$_6$Ge$_6$ family offers more opportunities to tune ScV$_6$Sn$_6$ and explore density wave order in kagome lattice materials.


title: Dynamics of SGD with Stochastic Polyak Stepsizes: Truly Adaptive Variants and Convergence to Exact Solution

abstract: Recently, Loizou et al. (2021), proposed and analyzed stochastic gradient descent (SGD) with stochastic Polyak stepsize (SPS). The proposed SPS comes with strong convergence guarantees and competitive performance; however, it has two main drawbacks when it is used in non-over-parameterized regimes: (i) It requires a priori knowledge of the optimal mini-batch losses, which are not available when the interpolation condition is not satisfied (e.g., regularized objectives), and (ii) it guarantees convergence only to a neighborhood of the solution. In this work, we study the dynamics and the convergence properties of SGD equipped with new variants of the stochastic Polyak stepsize and provide solutions to both drawbacks of the original SPS. We first show that a simple modification of the original SPS that uses lower bounds instead of the optimal function values can directly solve issue (i). On the other hand, solving issue (ii) turns out to be more challenging and leads us to valuable insights into the method's behavior. We show that if interpolation is not satisfied, the correlation between SPS and stochastic gradients introduces a bias, which effectively distorts the expectation of the gradient signal near minimizers, leading to non-convergence - even if the stepsize is scaled down during training. To fix this issue, we propose DecSPS, a novel modification of SPS, which guarantees convergence to the exact minimizer - without a priori knowledge of the problem parameters. For strongly-convex optimization problems, DecSPS is the first stochastic adaptive optimization method that converges to the exact solution without restrictive assumptions like bounded iterates/gradients.


title: $G_2$-structures on flat solvmanifolds

abstract: In this article we study the relation between flat solvmanifolds and $G_2$-geometry. First, we give a classification of 7-dimensional flat splittable solvmanifolds using the classification of finite subgroups of $\mathsf{GL}(n,\mathbb{Z})$ for $n=5$ and $n=6$. Then, we look for closed, coclosed and divergence-free $G_2$-structures compatible with the flat metric on them. In particular, we provide explicit examples of compact flat manifolds with a torsion-free $G_2$-structure whose finite holonomy is cyclic and contained in $G_2$, and examples of compact flat manifolds admitting a divergence-free $G_2$-structure.


title: Controlling magnetic exchange and anisotropy by non-magnetic ligand substitution in layered MPX3 (M = Ni, Mn; X = S, Se)

abstract: Recent discoveries in two-dimensional (2D) magnetism have intensified the investigation of van der Waals (vdW) magnetic materials and further improved our ability to tune their magnetic properties. Tunable magnetism has been widely studied in antiferromagnetic metal thiophosphates MPX3. Substitution of metal ions M has been adopted as an important technique to engineer the magnetism in MPX3. In this work, we have studied the previously unexplored chalcogen X substitutions in MPX3 (M = Mn/Ni; X = S/Se). We synthesized the single crystals of MnPS3-xSex (0 < x < 3) and NiPS3-xSex (0 < x < 1.3) and investigated the systematic evolution of the magnetism with varying x. Our study reveals the effective tuning of magnetic interactions and anisotropies in both MnPS3 and NiPS3 upon Se substitution. Such efficient engineering of the magnetism provides a suitable platform to understand the low-dimensional magnetism and develop future magnetic devices.


title: Towards Optimal VPU Compiler Cost Modeling by using Neural Networks to Infer Hardware Performances

abstract: Calculating the most efficient schedule of work in a neural network compiler is a difficult task. There are many parameters to be accounted for that can positively or adversely affect that schedule depending on their configuration - How work is shared between distributed targets, the subdivision of tensors to fit in memory, toggling the enablement of optimizations, etc. Traditionally, neural network compilers determine how to set these values by building a graph of choices and choosing the path with minimal 'cost'. These choices and their corresponding costs are usually determined by an algorithm crafted by engineers with a deep knowledge of the target platform. However, when the amount of options available to a compiler is large, it is very difficult to ensure that these models consistently produce an optimal schedule for all scenarios, whilst still completing compilation in an acceptable timeframe. This paper presents 'VPUNN' - a neural network-based cost model trained on low-level task profiling that consistently outperforms the state-of-the-art cost modeling in Intel's line of VPU processors.


title: Redshifts of radio sources in the Million Quasars Catalogue from machine learning

abstract: With the aim of using machine learning techniques to obtain photometric redshifts based upon a source's radio spectrum alone, we have extracted the radio sources from the Million Quasars Catalogue. Of these, 44,119 have a spectroscopic redshift, required for model validation, and for which photometry could be obtained. Using the radio spectral properties as features, we fail to find a model which can reliably predict the redshifts, although there is the suggestion that the models improve with the size of the training sample. Using the near-infrared--optical--ultraviolet bands magnitudes, we obtain reliable predictions based on the 12,503 radio sources which have all of the required photometry. From the 80:20 training--validation split, this gives only 2501 validation sources, although training the sample upon our previous SDSS model gives comparable results for all 12,503 sources. This makes us confident that SkyMapper, which will survey southern sky in the u, v, g, r, i, z bands, can be used to predict the redshifts of radio sources detected with the Square Kilometre Array. By using machine learning to impute the magnitudes missing from much of the sample, we can predict the redshifts for 32,698 sources, an increase from 28% to 74% of the sample, at the cost of increasing the outlier fraction by a factor of 1.4. While the "optical" band data prove successful, at this stage we cannot rule out the possibility of a radio photometric redshift, given sufficient data which may be necessary to overcome the relatively featureless radio spectra.


title: Thermodynamic and electrical transport properties of UTe$_2$ under uniaxial stress

abstract: Despite intense experimental efforts, the nature of the unconventional superconducting order parameter of UTe$_2$ remains elusive. This puzzle stems from different reported numbers of superconducting transitions at ambient pressure, as well as a complex pressure-temperature phase diagram. To bring new insights into the superconducting properties of UTe$_2$, we measured the heat capacity and electrical resistivity of single crystals under compressive uniaxial stress $\sigma$ applied along different crystallographic directions. We find that the critical temperature $T_{\rm c}$ of the single observed bulk superconducting transition decreases with $\sigma$ along $[100]$ and $[110]$ but increases with $\sigma$ along $[001]$. Aside from its effect on $T_{\rm c}$, we notice that $c$-axis stress leads to a significant piezoresistivity, which we associate with the shift of the zero-pressure resistivity peak at $T^\star \approx 15\, \rm K$ to lower temperatures under stress. Finally, we show that an in-plane shear stress $\sigma_{xy}$ does not induce any observable splitting of the superconducting transition over a stress range of $\sigma_{xy}\approx 0.17 \, \rm GPa$. This result suggests that the superconducting order parameter of UTe$_2$ may be single-component at ambient pressure.


title: Underactuated Source Seeking by Surge Force Tuning: Theory and Boat Experiments

abstract: We extend source seeking algorithms, in the absence of position and velocity measurements, and with tuning of the surge input, from velocity-actuated (unicycle) kinematic models to force-actuated generic Euler-Lagrange dynamic underactuated models. In the design and analysis, we employ a symmetric product approximation, averaging, passivity, and partial-state stability theory. The proposed control law requires only real-time measurement of the source signal at the current position of the vehicle and ensures semi-global practical uniform asymptotic stability (SPUAS) with respect to the linear motion coordinates for the closed-loop system. The performance of our source seeker with surge force tuning is illustrated with both numerical simulations and experiments of an underactuated boat.


title: A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems

abstract: We present a safety verification framework for design-time and run-time assurance of learning-based components in aviation systems. Our proposed framework integrates two novel methodologies. From the design-time assurance perspective, we propose offline mixed-fidelity verification tools that incorporate knowledge from different levels of granularity in simulated environments. From the run-time assurance perspective, we propose reachability- and statistics-based online monitoring and safety guards for a learning-based decision-making model to complement the offline verification methods. This framework is designed to be loosely coupled among modules, allowing the individual modules to be developed using independent methodologies and techniques, under varying circumstances and with different tool access. The proposed framework offers feasible solutions for meeting system safety requirements at different stages throughout the system development and deployment cycle, enabling the continuous learning and assessment of the system product.


title: An Application of D-vine Regression for the Identification of Risky Flights in Runway Overrun

abstract: In aviation safety, runway overruns are of great importance because they are the most frequent type of landing accidents. Identification of factors which contribute to the occurrence of runway overruns can help mitigate the risk and prevent such accidents. Methods such as physics-based and statistical-based models were proposed in the past to estimate runway overrun probabilities. However, they are either costly or require experts' knowledge. We propose a statistical approach to quantify the risk probability of an aircraft to exceed a threshold at the speed of 80 knots given a set of influencing factors. This copula based D-vine regression approach is used because it allows for complex tail dependence and is computationally tractable. Data obtained from the Quick Access Recorder (QAR) for 711 flights are analyzed. We identify 41 flights with an estimated risk probability > 0.001 for a chosen threshold and rank the effects of each influencing factor for these flights. Also, the complex dependency patterns between some influencing factors for the 41 flights are shown to be non symmetric. The D-vine regression approach, compared to physics-based and statistical-based approaches, has an analytical solution, is not simulation based and can be used to estimate very small or large probabilities efficiently.


title: Modelling realistic 3D deformations of simple epithelia in dynamic homeostasis

abstract: The maintenance of tissue and organ structures during dynamic homeostasis is often not well understood. In order for a system to be stable, cell renewal, cell migration and cell death must be finely balanced. Moreover, a tissue's shape must remain relatively unchanged. Simple epithelial tissues occur in various structures throughout the body, such as the endothelium, mesothelium, linings of the lungs, saliva and thyroid glands, and gastrointestinal tract. Despite the prevalence of simple epithelial tissues, there are few models which accurately describe how these tissues maintain a stable structure. Here, we present a novel, 3D, deformable, multilayer, cell-centre model of a simple epithelium. Cell movement is governed by the minimisation of a bending potential across the epithelium, cell-cell adhesion, and viscous effects. We show that the model is capable of maintaining a consistent tissue structure while undergoing self renewal. We also demonstrate the model's robustness under tissue renewal, cell migration and cell removal. The model presented here is a valuable advancement towards the modelling of tissues and organs with complex and generalised structures.


title: Galois theory for analogical classifiers

abstract: Analogical proportions are 4-ary relations that read "A is to B as C is to D". Recent works have highlighted the fact that such relations can support a specific form of inference, called analogical inference. This inference mechanism was empirically proved to be efficient in several reasoning and classification tasks. In the latter case, it relies on the notion of analogy preservation. In this paper, we explore this relation between formal models of analogy and the corresponding classes of analogy preserving functions, and we establish a Galois theory of analogical classifiers. We illustrate the usefulness of this Galois framework over Boolean domains, and we explicitly determine the closed sets of analogical classifiers, i.e., classifiers that are compatible with the analogical inference, for each pair of Boolean analogies.


title: A General Formula for Uniform Common Randomness Capacity

abstract: We generalize the uniform common randomness capacity formula, initially established by Ahslwede and Csisz\'ar for a two-source model for common randomness generation from independent and identically distributed (i.i.d.) discrete sources with unidirectional communication over rate-limited discrete noiseless channels to the case when the one-way communication is over arbitrary single-user channels. In our proof, we will make use of the transmission capacity formula established by Verd\'u and Han for arbitrary point-to-point channels.


title: Neural Optimal Stopping Boundary

abstract: A method based on deep artificial neural networks and empirical risk minimization is developed to calculate the boundary separating the stopping and continuation regions in optimal stopping. The algorithm parameterizes the stopping boundary as the graph of a function and introduces relaxed stopping rules based on fuzzy boundaries to facilitate efficient optimization. Several financial instruments, some in high dimensions, are analyzed through this method, demonstrating its effectiveness. The existence of the stopping boundary is also proved under natural structural assumptions.


title: When does dough become a bagel? Analyzing the remaining mistakes on ImageNet

abstract: Image classification accuracy on the ImageNet dataset has been a barometer for progress in computer vision over the last decade. Several recent papers have questioned the degree to which the benchmark remains useful to the community, yet innovations continue to contribute gains to performance, with today's largest models achieving 90%+ top-1 accuracy. To help contextualize progress on ImageNet and provide a more meaningful evaluation for today's state-of-the-art models, we manually review and categorize every remaining mistake that a few top models make in order to provide insight into the long-tail of errors on one of the most benchmarked datasets in computer vision. We focus on the multi-label subset evaluation of ImageNet, where today's best models achieve upwards of 97% top-1 accuracy. Our analysis reveals that nearly half of the supposed mistakes are not mistakes at all, and we uncover new valid multi-labels, demonstrating that, without careful review, we are significantly underestimating the performance of these models. On the other hand, we also find that today's best models still make a significant number of mistakes (40%) that are obviously wrong to human reviewers. To calibrate future progress on ImageNet, we provide an updated multi-label evaluation set, and we curate ImageNet-Major: a 68-example "major error" slice of the obvious mistakes made by today's top models -- a slice where models should achieve near perfection, but today are far from doing so.


title: Efficient Extraction of Atomization Processes from High-Fidelity Simulations

abstract: Understanding the process of primary and secondary atomization in liquid jets is crucial in describing spray distribution and droplet geometry for industrial applications and is essential in the development of physics-based low-fidelity atomization models that can quickly predict these sprays. Significant advances in numerical modelling and computational resources allow research groups to conduct detailed numerical simulations and accurately predict the physics of atomization. These simulations can produce hundreds of terabytes of data. The substantial size of these data sets limits researchers' ability to analyze them. Consequently, the process of a coherent liquid core breaking into droplets has not been analyzed in simulation results even though a complete description of the jet dynamics exists. The present work applies a droplet physics extraction technique to high-fidelity simulations to track breakup events and data associated with the local flow. The data on the atomization process are stored in a Neo4j graphical database providing an easily accessible format. Results provide a robust, quantitative description of the process of atomization and the details on the local flow field will be useful in the development of low-fidelity atomization models.


title: Categorification of the internal braid group action for quantum groups I: 2-functoriality

abstract: We define 2-functors on the categorified quantum group of a simply-laced Kac-Moody algebra that induce Lusztig's internal braid group action at the level of the Grothendieck group.


title: Affective Medical Estimation and Decision Making via Visualized Learning and Deep Learning

abstract: With the advent of sophisticated machine learning (ML) techniques and the promising results they yield, especially in medical applications, where they have been investigated for different tasks to enhance the decision-making process. Since visualization is such an effective tool for human comprehension, memorization, and judgment, we have presented a first-of-its-kind estimation approach we refer to as Visualized Learning for Machine Learning (VL4ML) that not only can serve to assist physicians and clinicians in making reasoned medical decisions, but it also allows to appreciate the uncertainty visualization, which could raise incertitude in making the appropriate classification or prediction. For the proof of concept, and to demonstrate the generalized nature of this visualized estimation approach, five different case studies are examined for different types of tasks including classification, regression, and longitudinal prediction. A survey analysis with more than 100 individuals is also conducted to assess users' feedback on this visualized estimation method. The experiments and the survey demonstrate the practical merits of the VL4ML that include: (1) appreciating visually clinical/medical estimations; (2) getting closer to the patients' preferences; (3) improving doctor-patient communication, and (4) visualizing the uncertainty introduced through the black box effect of the deployed ML algorithm. All the source codes are shared via a GitHub repository.


title: Parsing Expression GLL

abstract: This paper presents an extension of the GLL parsing algorithm for context-free grammars which also supports parsing expression grammars with ordered choice and lookahead. The new PEGLL algorithm retains support for unordered choice, and thus parses a common superset of context-free grammars and parsing expression grammars. As part of this work, the authors have modified an existing GLL parser-generator to support parsing expression grammars, adding operators for common parsing expressions and modifying the lexer algorithm to better support ordered choice.


title: Long-term stability and generalization of observationally-constrained stochastic data-driven models for geophysical turbulence

abstract: Recent years have seen a surge in interest in building deep learning-based fully data-driven models for weather prediction. Such deep learning models if trained on observations can mitigate certain biases in current state-of-the-art weather models, some of which stem from inaccurate representation of subgrid-scale processes. However, these data-driven models, being over-parameterized, require a lot of training data which may not be available from reanalysis (observational data) products. Moreover, an accurate, noise-free, initial condition to start forecasting with a data-driven weather model is not available in realistic scenarios. Finally, deterministic data-driven forecasting models suffer from issues with long-term stability and unphysical climate drift, which makes these data-driven models unsuitable for computing climate statistics. Given these challenges, previous studies have tried to pre-train deep learning-based weather forecasting models on a large amount of imperfect long-term climate model simulations and then re-train them on available observational data. In this paper, we propose a convolutional variational autoencoder-based stochastic data-driven model that is pre-trained on an imperfect climate model simulation from a 2-layer quasi-geostrophic flow and re-trained, using transfer learning, on a small number of noisy observations from a perfect simulation. This re-trained model then performs stochastic forecasting with a noisy initial condition sampled from the perfect simulation. We show that our ensemble-based stochastic data-driven model outperforms a baseline deterministic encoder-decoder-based convolutional model in terms of short-term skills while remaining stable for long-term climate simulations yielding accurate climatology.

categories: cs.LG nlin.CD physics.ao-ph physics.flu-dyn physics.geo-ph


title: A Unified Model for Reverse Dictionary and Definition Modelling

abstract: We build a dual-way neural dictionary to retrieve words given definitions, and produce definitions for queried words. The model learns the two tasks simultaneously and handles unknown words via embeddings. It casts a word or a definition to the same representation space through a shared layer, then generates the other form in a multi-task fashion. Our method achieves promising automatic scores on previous benchmarks without extra resources. Human annotators prefer the model's outputs in both reference-less and reference-based evaluation, indicating its practicality. Analysis suggests that multiple objectives benefit learning.


title: Deep Learning Enabled Semantic Communications with Speech Recognition and Synthesis

abstract: In this paper, we develop a deep learning based semantic communication system for speech transmission, named DeepSC-ST. We take the speech recognition and speech synthesis as the transmission tasks of the communication system, respectively. First, the speech recognition-related semantic features are extracted for transmission by a joint semantic-channel encoder and the text is recovered at the receiver based on the received semantic features, which significantly reduces the required amount of data transmission without performance degradation. Then, we perform speech synthesis at the receiver, which dedicates to re-generate the speech signals by feeding the recognized text and the speaker information into a neural network module. To enable the DeepSC-ST adaptive to dynamic channel environments, we identify a robust model to cope with different channel conditions. According to the simulation results, the proposed DeepSC-ST significantly outperforms conventional communication systems and existing DL-enabled communication systems, especially in the low signal-to-noise ratio (SNR) regime. A software demonstration is further developed as a proof-of-concept of the DeepSC-ST.


title: Deep Stochastic Optimization in Finance

abstract: This paper outlines, and through stylized examples evaluates a novel and highly effective computational technique in quantitative finance. Empirical Risk Minimization (ERM) and neural networks are key to this approach. Powerful open source optimization libraries allow for efficient implementations of this algorithm making it viable in high-dimensional structures. The free-boundary problems related to American and Bermudan options showcase both the power and the potential difficulties that specific applications may face. The impact of the size of the training data is studied in a simplified Merton type problem. The classical option hedging problem exemplifies the need of market generators or large number of simulations.


title: Sentence-level Privacy for Document Embeddings

abstract: User language data can contain highly sensitive personal content. As such, it is imperative to offer users a strong and interpretable privacy guarantee when learning from their data. In this work, we propose SentDP: pure local differential privacy at the sentence level for a single user document. We propose a novel technique, DeepCandidate, that combines concepts from robust statistics and language modeling to produce high-dimensional, general-purpose $\epsilon$-SentDP document embeddings. This guarantees that any single sentence in a document can be substituted with any other sentence while keeping the embedding $\epsilon$-indistinguishable. Our experiments indicate that these private document embeddings are useful for downstream tasks like sentiment analysis and topic classification and even outperform baseline methods with weaker guarantees like word-level Metric DP.


title: Analytical Theory of Near-Field Electrostatic Effects in Two-Dimensional Materials and van der Waals Heterojunctions

abstract: We derive and validate a quantitative analytical model of the near-field electrostatic effects in the vicinity (>=3\AA) of two-dimensional (2D) materials. In solving the Poisson equation of a near-planar point charge ansatz for the electronic density of a 2D material, our formula quantitatively captures the out-of-plane decay and the in-plane modulation of density functional theory (DFT)-calculated potentials. We provide a method for quickly constructing the electronic density ansatz, and apply it to the case of hexagonal monolayers (BN, AlN, GaN) and monochalcogenides (GeS, GeSe, GeTe, SnS, SnSe, SnTe, PbS, PbSe, PbTe) and their flexural and polar distortions. We demonstrate how our model can be straightforwardly applied to predict material-/angle-specific moir\'e potentials arising in twisted superlattices with periodicities beyond the reach of DFT calculations.


title: Characteristics and evolution of Be-type high mass X-ray binaries as potential Ultraluminous X-ray Sources

abstract: Some ultraluminous X-ray sources (ULXs) exhibit X-ray pulses, and their central sources are thought to be neutron stars. It has also been suggested that some are transient sources with Be-type donors. In this study, we use the mass accretion model of a Be-type high mass X-ray binary (BeHMXB) to estimate the conditions under which a giant X-ray burst caused by a BeHMXB exceeds the Eddington luminosity. Moreover, we investigate the duration for which BeHMXBs can be observed as transient ULXs with bursts above the Eddington luminosity during binary evolutions. The results indicate that BeHMXBs could be ULXs for a typical duration of approximately 1 Myr. Comparisons with nearby observed BeHMXBs indicate that many binary systems have the potential to become ULXs during their evolution. Particularly, a BeHMXB system tends to become a ULX when the Be donor has a dense deccretion disc aligned with the orbital plane. Because BeHMXBs are very common objects and a significant number of them can become ULXs, we conclude that a reasonable fraction of the observed ULXs could consist of evolved BeHMXBs.