title: Fluctuations in EEG band power at subject-specific timescales over minutes to days explain changes in seizure evolutions

abstract: Epilepsy is recognised as a dynamic disease, where both seizure susceptibility and seizure characteristics themselves change over time. Specifically, we recently quantified the variable electrographic spatio-temporal seizure evolutions that exist within individual patients. This variability appears to follow subject-specific circadian, or longer, timescale modulations. It is therefore important to know whether continuously-recorded interictal iEEG features can capture signatures of these modulations over different timescales. In this work, we analyse continuous intracranial electroencephalographic (iEEG) recordings from video-telemetry units and find fluctuations in iEEG band power over timescales ranging from minutes up to twelve days. As expected and in agreement with previous studies, we find that all subjects show a circadian fluctuation in their iEEG band power. We additionally find other fluctuations of similar magnitude on subject-specific timescales. Importantly, we find that a combination of these fluctuations on different timescales can explain changes in seizure evolutions in most subjects above chance level. These results suggest that subject-specific fluctuations in iEEG band power over timescales of minutes to days may serve as markers of seizure modulating processes. We hope that future work can link these detected fluctuations to their biological driver(s). There is a critical need to better understand seizure modulating processes, as this will enable the development of novel treatment strategies that could minimise the seizure spread, duration, or severity and therefore the clinical impact of seizures.


title: Geometric Characteristics of Wasserstein Metric on SPD(n)

abstract: Wasserstein distance, especially among symmetric positive-definite matrices, has broad and deep influences on development of artificial intelligence (AI) and other branches of computer science. A natural idea is to describe the geometry of $SPD\left(n\right)$ as a Riemannian manifold endowed with the Wasserstein metric. In this paper, by involving the fiber bundle, we obtain explicit expressions for some locally geometric quantities, including geodesics, exponential maps, the Riemannian connection, Jacobi fields and curvatures. Furthermore, we discuss the behaviour of geodesics and prove that the manifold is globally geodesic convex with non-negative curvatures but no conjugate pair and cut locus. According to arithmetic estimates, we find curvatures can be controlled by the minimal eigenvalue.


title: Hurwitz groups as monodromy groups of dessins: several examples

abstract: We present a number of examples to illustrate the use of small quotient dessins as substitutes for their often much larger and more complicated Galois (minimal regular) covers. In doing so we employ several useful group-theoretic techniques, such as the Frobenius character formula for counting triples in a finite group, pointing out some common traps and misconceptions associated with them. Although our examples are all chosen from Hurwitz curves and groups, they are relevant to dessins of any type.


title: Knowledge Graph Management on the Edge

abstract: Edge computing emerges as an innovative platform for services requiring low latency decision making. Its success partly depends on the existence of efficient data management systems. We consider that knowledge graph management systems have a key role to play in this context due to their data integration and reasoning features. In this paper, we present SuccinctEdge, a compact, decompression-free, self-index, in-memory RDF store that can answer SPARQL queries, including those requiring reasoning services associated to some ontology. We provide details on its design and implementation before demonstrating its efficiency on real-world and synthetic datasets.


title: Uniform Stabilization of the Petrovsky-Wave Nonlinear coupled system with strong damping

abstract: This paper concerns the well-posedness and uniform stabilization of the Petrovsky-Wave Nonlinear coupled system with strong damping. Existence of global weak solutions for this problem is established by using the Galerkin method. Meanwhile, under a clever use of the multiplier method, we estimate the total energy decay rate.


title: Leaking Sensitive Financial Accounting Data in Plain Sight using Deep Autoencoder Neural Networks

abstract: Nowadays, organizations collect vast quantities of sensitive information in `Enterprise Resource Planning' (ERP) systems, such as accounting relevant transactions, customer master data, or strategic sales price information. The leakage of such information poses a severe threat for companies as the number of incidents and the reputational damage to those experiencing them continue to increase. At the same time, discoveries in deep learning research revealed that machine learning models could be maliciously misused to create new attack vectors. Understanding the nature of such attacks becomes increasingly important for the (internal) audit and fraud examination practice. The creation of such an awareness holds in particular for the fraudulent data leakage using deep learning-based steganographic techniques that might remain undetected by state-of-the-art `Computer Assisted Audit Techniques' (CAATs). In this work, we introduce a real-world `threat model' designed to leak sensitive accounting data. In addition, we show that a deep steganographic process, constituted by three neural networks, can be trained to hide such data in unobtrusive `day-to-day' images. Finally, we provide qualitative and quantitative evaluations on two publicly available real-world payment datasets.


title: Control of superselectivity by crowding in three-dimensional hosts

abstract: Motivated by the fine compositional control observed in membraneless droplet organelles in cells, we investigate how a sharp binding-unbinding transition can occur between multivalent client molecules and receptors embedded in a porous three-dimensional structure. In contrast to similar superselective binding previously observed at surfaces, we have identified that a key effect in a three-dimensional environment is that the presence of inert crowding agents can significantly enhance or even introduce superselectivity. In essence, molecular crowding initially suppresses binding via an entropic penalty, but the clients can then more easily form many bonds simultaneously. We demonstrate the robustness of the superselective behavior with respect to client valency, linker length and binding interactions in Monte Carlo simulations of an archetypal lattice polymer model.


title: Uniform Scattering of Robots on Alternate Nodes of a Grid

abstract: In this paper, we propose a distributed algorithm to uniformly scatter the robots along a grid, with robots on alternate nodes of this grid distribution. These homogeneous, autonomous mobile robots place themselves equidistant apart on the grid, which can be required for guarding or covering a geographical area by the robots. The robots operate by executing cycles of the states "look-compute-move". In the look phase, it looks to see the position of the other robots; in the compute phase, it computes a destination to move to; and then in the move phase, it moves to that computed destination. They do not interact by message passing and can recollect neither the past actions nor the looked data from the previous cycle, i.e., oblivious. The robots are semi-synchronous, anonymous and have unlimited visibility. Eventually, the robots uniformly distribute themselves on alternate nodes of a grid, leaving the adjacent nodes of the grid vacant. The algorithm presented also assures no collision or deadlock among the robots.


title: Uniform Circle Formation By Oblivious Swarm Robots

abstract: In this paper, we study the circle formation problem by multiple autonomous and homogeneous disc-shaped robots (also known as fat robots). The goal of the robots is to place themselves on the periphery of a circle. Circle formation has many real-world applications, such as boundary surveillance. This paper addresses one variant of such problem { uniform circle formation, where the robots have to be equidistant apart. The robots operate by executing cycles of the states wait-look-compute-move. They are oblivious, indistinguishable, anonymous, and do not communicate via message passing. First, we solve the uniform circle formation problem while assuming the robots to be transparent. Next, we address an even weaker model, where the robots are non-transparent and have limited visibility. We propose novel distributed algorithms to solve these variants. Our presented algorithms in this paper are proved to be correct and guarantee to prevent collision and deadlock among the swarm of robots.


title: Tunneling magnetoresistance in ensembles of ferromagnetic granules with exchange interaction and random easy axes of magnetic anisotropy

abstract: We study the tunneling magnetoresistance in the ensembles of ferromagnetic granules with random easy axes of magnetic anisotropy taking into account the exchange interaction between granules. It is shown that due to the exchange interaction magnetoresistance is effectively decoupled from magnetization, i.e. the strongest negative magnetoresistance can be observed at the field where magnetization is almost saturated. Under some conditions, the sign of magnetoresistance can be reversed and tunneling magnetoresistance can become positive at certain magnetic fields. Our theory agrees with measurements of magnetoresistance in ensembles of Fe granules in SiCxNy matrix.


title: Unpredictability, Uncertainty and Fractal Structures in Physics

abstract: In Physics, we have laws that determine the time evolution of a given physical system, depending on its parameters and its initial conditions. When we have multi-stable systems, many attractors coexist so that their basins of attraction might possess fractal or even Wada boundaries in such a way that the prediction becomes more complicated depending on the initial conditions. Chaotic systems typically present fractal basins in phase space. A small uncertainty in the initial conditions gives rise to a certain unpredictability of the final state behavior. The new notion of basin entropy provides a new quantitative way to measure the unpredictability of the final states in basins of attraction. Simple methods from chaos theory can contribute to a better understanding of fundamental questions in physics as well as other scientific disciplines.


title: Kullback-Leibler Divergence-Based Distributionally Robust Unit Commitment Under Net Load Uncertainty

abstract: The deepening penetration of renewable resources into power systems entails great difficulties that have not been surmounted satisfactorily. An issue that merits special attention is the short-term planning of power systems under net load uncertainty. To this end, we work out a distributionally robust unit commitment methodology that expressly assesses the uncertainty associated with net load. The principal strength of the proposed methodology lies in its ability to represent the probabilistic nature of net load without having to set forth its probability distribution. This strength is brought about by the notion of ambiguity set, for the construction of which the Kullback-Leibler divergence is employed in this paper. We demonstrate the effectiveness of the proposed methodology on real-world data using representative studies. The sensitivity analyses performed provide quantitative answers to a broad array of what if questions on the influence of divergence tolerance and dataset size on optimal solutions.


title: Forecasting Daily Primary Three-Hour Net Load Ramps in the CAISO System

abstract: The deepening penetration of variable energy resources creates unprecedented challenges for system operators (SOs). An issue that merits special attention is the precipitous net load ramps, which require SOs to have flexible capacity at their disposal so as to maintain the supply-demand balance at all times. In the judicious procurement and deployment of flexible capacity, a tool that forecasts net load ramps may be of great assistance to SOs. To this end, we propose a methodology to forecast the magnitude and start time of daily primary three-hour net load ramps. We perform an extensive analysis so as to identify the factors that influence net load and draw on the identified factors to develop a forecasting methodology that harnesses the long short-term memory model. We demonstrate the effectiveness of the proposed methodology on the CAISO system using comparative assessments with selected benchmarks based on various evaluation metrics.


title: Quantification of the Impact of GHG Emissions on Unit Commitment in Microgrids

abstract: The global climate change creates a dire need to mitigate greenhouse gas (GHG) emissions from thermal generation resources (TGRs). While microgrids are instrumental in enabling the deeper penetration of renewable resources, the short-term planning of microgrids needs to explicitly assess the full range of impact of GHG emissions. To this end, we propose a novel unit commitment (UC) approach, which enables the representation of GHG emissions from TGRs, the specification of GHG emission constraints, and the ex-ante evaluation of carbon tax payment with all other costs and benefits. We quantify the relative merits of the proposed approach vis-\`a-vis the classical UC approach via representative studies. The results indicate that the proposed UC approach yields lower costs than does the classical UC approach and achieves a greater reduction in costs as carbon tax rate increases. Further, increasing carbon tax rates can markedly disincentivize TGR generation under the proposed approach.


title: Demystifying Deep Neural Networks Through Interpretation: A Survey

abstract: Modern deep learning algorithms tend to optimize an objective metric, such as minimize a cross entropy loss on a training dataset, to be able to learn. The problem is that the single metric is an incomplete description of the real world tasks. The single metric cannot explain why the algorithm learn. When an erroneous happens, the lack of interpretability causes a hardness of understanding and fixing the error. Recently, there are works done to tackle the problem of interpretability to provide insights into neural networks behavior and thought process. The works are important to identify potential bias and to ensure algorithm fairness as well as expected performance.


title: Probing quantum effects with classical stochastic analogs

abstract: We propose a method to construct a classical analog of an open quantum system, namely a single quantum particle confined in a potential well and immersed in a thermal bath. The classical analog is made out of a collection of identical wells where classical particles of mass $m$ are trapped. The distribution $n(x,t)$ of the classical positions is used to reconstruct the quantum Bohm potential $V_{\rm Bohm} = -\frac{\hbar^2}{2 m} \frac{\Delta \sqrt{n}}{\sqrt{n}}$, which in turn acts on the shape of the potential wells. As a result, the classical particles experience an effective "quantum" force. This protocol is tested with numerical simulations using single- and double-well potentials, evidencing typical quantum effects such as long-lasting correlations and quantum tunneling. For harmonic confinement, the analogy is implemented experimentally using micron-sized dielectric beads optically trapped by a laser beam.


title: Deliberative and Conceptual Inference in Service Robots

abstract: Service robots need to reason to support people in daily life situations. Reasoning is an expensive resource that should be used on demand whenever the expectations of the robot do not match the situation of the world and the execution of the task is broken down; in such scenarios the robot must perform the common sense daily life inference cycle consisting on diagnosing what happened, deciding what to do about it, and inducing and executing a plan, recurring in such behavior until the service task can be resumed. Here we examine two strategies to implement this cycle: (1) a pipe-line strategy involving abduction, decision-making and planning, which we call deliberative inference and (2) the use of the knowledge and preferences stored in the robot's knowledge-base, which we call conceptual inference. The former involves an explicit definition of a problem space that is explored through heuristic search, and the latter is based on conceptual knowledge including the human user preferences, and its representation requires a non-monotonic knowledge-based system. We compare the strengths and limitations of both approaches. We also describe a service robot conceptual model and architecture capable of supporting the daily life inference cycle during the execution of a robotics service task. The model is centered in the declarative specification and interpretation of robot's communication and task structure. We also show the implementation of this framework in the fully autonomous robot Golem-III. The framework is illustrated with two demonstration scenarios.


title: DFR: Deep Feature Reconstruction for Unsupervised Anomaly Segmentation

abstract: Automatic detecting anomalous regions in images of objects or textures without priors of the anomalies is challenging, especially when the anomalies appear in very small areas of the images, making difficult-to-detect visual variations, such as defects on manufacturing products. This paper proposes an effective unsupervised anomaly segmentation approach that can detect and segment out the anomalies in small and confined regions of images. Concretely, we develop a multi-scale regional feature generator that can generate multiple spatial context-aware representations from pre-trained deep convolutional networks for every subregion of an image. The regional representations not only describe the local characteristics of corresponding regions but also encode their multiple spatial context information, making them discriminative and very beneficial for anomaly detection. Leveraging these descriptive regional features, we then design a deep yet efficient convolutional autoencoder and detect anomalous regions within images via fast feature reconstruction. Our method is simple yet effective and efficient. It advances the state-of-the-art performances on several benchmark datasets and shows great potential for real applications.


title: Iterative Knowledge Exchange Between Deep Learning and Space-Time Spectral Clustering for Unsupervised Segmentation in Videos

abstract: We propose a dual system for unsupervised object segmentation in video, which brings together two modules with complementary properties: a space-time graph that discovers objects in videos and a deep network that learns powerful object features. The system uses an iterative knowledge exchange policy. A novel spectral space-time clustering process on the graph produces unsupervised segmentation masks passed to the network as pseudo-labels. The net learns to segment in single frames what the graph discovers in video and passes back to the graph strong image-level features that improve its node-level features in the next iteration. Knowledge is exchanged for several cycles until convergence. The graph has one node per each video pixel, but the object discovery is fast. It uses a novel power iteration algorithm computing the main space-time cluster as the principal eigenvector of a special Feature-Motion matrix without actually computing the matrix. The thorough experimental analysis validates our theoretical claims and proves the effectiveness of the cyclical knowledge exchange. We also perform experiments on the supervised scenario, incorporating features pretrained with human supervision. We achieve state-of-the-art level on unsupervised and supervised scenarios on four challenging datasets: DAVIS, SegTrack, YouTube-Objects, and DAVSOD.


title: Collective synchronization of undulatory movement through contact

abstract: Many biological systems synchronize their movement through physical interactions. By far the most well studied examples concern physical interactions through a fluid: beating cilia, swimming sperm and worms, and flapping wings, all display synchronization behavior through fluid mechanical interactions. However, as the density of a collective increases individuals may also interact with each other through physical contact. In the field of "active matter" systems, it is well known that inelastic contact between individuals can produce long-range correlations in position, orientation, and velocity. In this work we demonstrate that contact interactions between undulating robots yield novel phase dynamics such as synchronized motions. We consider undulatory systems in which rhythmic motion emerges from time-independent oscillators that sense and respond to undulatory bending angle and speed. In pair experiments we demonstrate that robot joints will synchronize to in-phase and anti-phase oscillations through collisions and a phase-oscillator model describes the stability of these modes. To understand how contact interactions influence the phase dynamics of larger groups we perform simulations and experiments of simple three-link undulatory robots that interact only through contact. Collectives synchronize their movements through contact as predicted by the theory and when the robots can adjust their position in response to contact we no longer observe anti-phase synchronization. Lastly we demonstrate that synchronization dramatically reduces the interaction forces within confined groups of undulatory robots indicating significant energetic and safety benefits from group synchronization. The theory and experiments in this study illustrate how contact interactions in undulatory active matter can lead to novel collective motion and synchronization.


title: Magnetoexcitons in transition-metal dichalcogenides monolayers, bilayers, and van der Waals heterostructures

abstract: We study direct and indirect magnetoexcitons in Rydberg states in monolayers and heterostructures of transition-metal dichalcogenices (TMDCs) in an external magnetic field, applied perpendicular to the monolayer or heterostructures. We calculate binding energies of magnetoexcitons for the Rydberg states 1$s$, 2$s$, 3$s$, and 4$s$ by numerical integration of the Schr\"{o}dinger equation using the Rytova-Keldysh potential for direct magnetoexcitons and both the Rytova-Keldysh and Coulomb potentials for indirect magnetoexcitons. Latter allows understanding the role of screening in TMDCs heterostructures. We report the magnetic field energy contribution to the binding energies and diamagnetic coefficients (DMCs) for direct and indirect magnetoexcitons. The tunability of the energy contribution of direct and indirect magnetoexcitons by the magnetic field is demonstrated. It is shown that binding energies and DMCs of indirect magnetoexcitons can be manipulated by the number of hBN layers. Therefore, our study raises the possibility of controlling the binding energies of direct and indirect magnetostrictions in TMDC monolayers, bilayers and heterostructures using magnetic field and opens an additional degree of freedom to tailor the binding energies and DMCs for heterostructures by varying the number of hBN sheets between TMDC layers. The calculations of the binding energies and DMCs of indirect magnetoexcitons in TMDC heterostructures are novel and can be compared with the experimental results when they will be available.


title: Mixed interpolatory and inference non-intrusive reduced order modeling with application to pollutants dispersion

abstract: On the basis of input-output time-domain data collected from a complex simulator, this paper proposes a constructive methodology to infer a reduced-order linear, bilinear or quadratic time invariant dynamical model reproducing the underlying phenomena. The approach is essentially based on linear dynamical systems and approximation theory. More specifically, it sequentially involves the interpolatory Pencil and Loewner framework, known to be both very versatile and scalable to large-scale data sets, and a linear least square problem involving the raw data and reduced internal variables. With respect to intrusive methods, no prior knowledge on the operator is needed. In addition, compared to the traditional non-intrusive operator inference ones, the proposed approach alleviates the need of measuring the original full-order model internal variables. It is thus applicable to a wider application range than standard intrusive and non-intrusive methods. The rationale is successfully applied on a large eddy simulation of a pollutants dispersion case over an airport area involving multi-scale and multi-physics dynamical phenomena. Despite the simplicity of the resulting low complexity model, the proposed approach shows satisfactory results to predict the pollutants plume pattern while being significantly faster to simulate.


title: Accelerating high-throughput virtual screening through molecular pool-based active learning

abstract: Structure-based virtual screening is an important tool in early stage drug discovery that scores the interactions between a target protein and candidate ligands. As virtual libraries continue to grow (in excess of $10^8$ molecules), so too do the resources necessary to conduct exhaustive virtual screening campaigns on these libraries. However, Bayesian optimization techniques can aid in their exploration: a surrogate structure-property relationship model trained on the predicted affinities of a subset of the library can be applied to the remaining library members, allowing the least promising compounds to be excluded from evaluation. In this study, we assess various surrogate model architectures, acquisition functions, and acquisition batch sizes as applied to several protein-ligand docking datasets and observe significant reductions in computational costs, even when using a greedy acquisition strategy; for example, 87.9% of the top-50000 ligands can be found after testing only 2.4% of a 100M member library. Such model-guided searches mitigate the increasing computational costs of screening increasingly large virtual libraries and can accelerate high-throughput virtual screening campaigns with applications beyond docking.


title: Robust Segmentation of Optic Disc and Cup from Fundus Images Using Deep Neural Networks

abstract: Optic disc (OD) and optic cup (OC) are regions of prominent clinical interest in a retinal fundus image. They are the primary indicators of a glaucomatous condition. With the advent and success of deep learning for healthcare research, several approaches have been proposed for the segmentation of important features in retinal fundus images. We propose a novel approach for the simultaneous segmentation of the OD and OC using a residual encoder-decoder network (REDNet) based regional convolutional neural network (RCNN). The RED-RCNN is motivated by the Mask RCNN (MRCNN). Performance comparisons with the state-of-the-art techniques and extensive validations on standard publicly available fundus image datasets show that RED-RCNN has superior performance compared with MRCNN. RED-RCNN results in Sensitivity, Specificity, Accuracy, Precision, Dice and Jaccard indices of 95.64%, 99.9%, 99.82%, 95.68%, 95.64%, 91.65%, respectively, for OD segmentation, and 91.44%, 99.87%, 99.83%, 85.67%, 87.48%, 78.09%, respectively, for OC segmentation. Further, we perform two-stage glaucoma severity grading using the cup-to-disc ratio (CDR) computed based on the obtained OD/OC segmentation. The superior segmentation performance of RED-RCNN over MRCNN translates to higher accuracy in glaucoma severity grading.


title: Minimal matchings of point processes

abstract: Suppose that red and blue points form independent homogeneous Poisson processes of equal intensity in $R^d$. For a positive (respectively, negative) parameter $\gamma$ we consider red-blue matchings that locally minimize (respectively, maximize) the sum of $\gamma$th powers of the edge lengths, subject to locally minimizing the number of unmatched points. The parameter can be viewed as a measure of fairness. The limit $\gamma\to-\infty$ is equivalent to Gale-Shapley stable matching. We also consider limits as $\gamma$ approaches $0$, $1-$, $1+$ and $\infty$. We focus on dimension $d=1$. We prove that almost surely no such matching has unmatched points. (This question is open for higher $d$). For each $\gamma<1$ we establish that there is almost surely a unique such matching, and that it can be expressed as a finitary factor of the points. Moreover, its typical edge length has finite $r$th moment if and only if $r<1/2$. In contrast, for $\gamma=1$ there are uncountably many matchings, while for $\gamma>1$ there are countably many, but it is impossible to choose one in a translation-invariant way. We obtain existence results in higher dimensions (covering many but not all cases). We address analogous questions for one-colour matchings also.


title: K-theory and G-theory of derived algebraic stacks

abstract: These are some notes on the basic properties of algebraic K-theory and G-theory of derived algebraic spaces and stacks, and the theory of fundamental classes in this setting.


title: Location-aware Single Image Reflection Removal

abstract: This paper proposes a novel location-aware deep-learning-based single image reflection removal method. Our network has a reflection detection module to regress a probabilistic reflection confidence map, taking multi-scale Laplacian features as inputs. This probabilistic map tells if a region is reflection-dominated or transmission-dominated, and it is used as a cue for the network to control the feature flow when predicting the reflection and transmission layers. We design our network as a recurrent network to progressively refine reflection removal results at each iteration. The novelty is that we leverage Laplacian kernel parameters to emphasize the boundaries of strong reflections. It is beneficial to strong reflection detection and substantially improves the quality of reflection removal results. Extensive experiments verify the superior performance of the proposed method over state-of-the-art approaches. Our code and the pre-trained model can be found at https://github.com/zdlarr/Location-aware-SIRR.


title: Spin Coherent Manipulation in Josephson Weak Links

abstract: Novel designs of Josephson weak links based on semiconducting nanowires combined with circuit QED techniques have enabled the resolution of their fine structure due to spin-orbit interactions, opening a path towards Andreev spin qubits. Nevertheless, direct manipulation of the spin within a given Andreev state is in general suppressed compared to inter-doublet manipulation in the absence of Zeeman effects. In addition, noisy spin-flip mechanisms limit any coherent manipulation protocol to spin post-selection. We propose a combination of a spin polarization protocol analogous to sideband cooling with stimulated Raman adiabatic passage specifically tailored for these systems. We show this approach is robust for a large range of design parameters, including the currently rather stringent coherence times.


title: Inference for the Case Probability in High-dimensional Logistic Regression

abstract: Labeling patients in electronic health records with respect to their statuses of having a disease or condition, i.e. case or control statuses, has increasingly relied on prediction models using high-dimensional variables derived from structured and unstructured electronic health record data. A major hurdle currently is a lack of valid statistical inference methods for the case probability. In this paper, considering high-dimensional sparse logistic regression models for prediction, we propose a novel bias-corrected estimator for the case probability through the development of linearization and variance enhancement techniques. We establish asymptotic normality of the proposed estimator for any loading vector in high dimensions. We construct a confidence interval for the case probability and propose a hypothesis testing procedure for patient case-control labelling. We demonstrate the proposed method via extensive simulation studies and application to real-world electronic health record data.


title: Deep Bayesian Local Crystallography

abstract: The advent of high-resolution electron and scanning probe microscopy imaging has opened the floodgates for acquiring atomically resolved images of bulk materials, 2D materials, and surfaces. This plethora of data contains an immense volume of information on materials structures, structural distortions, and physical functionalities. Harnessing this knowledge regarding local physical phenomena necessitates the development of the mathematical frameworks for extraction of relevant information. However, the analysis of atomically resolved images is often based on the adaptation of concepts from macroscopic physics, notably translational and point group symmetries and symmetry lowering phenomena. Here, we explore the bottom-up definition of structural units and symmetry in atomically resolved data using a Bayesian framework. We demonstrate the need for a Bayesian definition of symmetry using a simple toy model and demonstrate how this definition can be extended to the experimental data using deep learning networks in a Bayesian setting, namely rotationally invariant variational autoencoders.


title: Uniform Capacitated Facility Location Problems with Penalties/Outliers

abstract: In this paper, we present a framework to design approximation algorithms for capacitated facility location problems with penalties/outliers using LP-rounding. Primal-dual technique, which has been particularly successful in dealing with outliers and penalties, has not been very successful in dealing with capacities. On the other hand, no primal-dual solution has been able to break the hardness of capacitated facility location problem(CFLP). LP-rounding techniques had also not been very successful in dealing with capacities until a recent work by Grover et al. \cite{GroverGKP18}. Their constant factor approximation violating the capacities by a small factor ($1 + \epsilon$) is promising while dealing with capacities.Though LP-rounding has not been very promising while dealing with penalties and outliers, we successfully apply it to deal with them along with capacities. That is, our results are obtained by rounding the solution to the natural LP once again exhibiting the power of LP-rounding technique. Solutions obtained by LP-rounding are easy to integrate with other LP-based algorithms.In this paper, we apply our framework to obtain first constant factor approximations for capacitated facility location problem with outlier (CFLPO) and capacitated $k$-facility location problem with penalty(C$k$FLPP) for hard uniform capacities using LP-rounding. Our solutions incur slight violations in capacities, ($1 + \epsilon$) for the problems without cardinality($k$) constraint and ($2 + \epsilon$) for the problems with the cardinality constraint. For the outlier variant, we also incur a small loss ($1 + \epsilon$) in outliers. Due to the hardness of the underlying problems, the violations are inevitable. Thus we achieve the best possible by rounding the solution of natural LP for these problems. To the best of our knowledge, no results are known for CFLPO and C$k$FLPP.


title: Using LSST Microlensing to Constrain Dark Compact Objects in Spherical and Disk Configurations

abstract: The Legacy Survey of Space and Time (LSST) with the Vera Rubin Observatory will provide strong microlensing constraints on dark compact objects (DCOs) in our Galaxy. However, most current forecasts limit their analysis to Primordial Black Holes (PBH). It is unclear how well LSST microlensing will be able to constrain alternative models of DCOs with different Galactic spatial profile distributions at a subdominant DM fraction. In this work, we investigate how well LSST microlensing will constrain spherical or disk-like Galactic spatial distributions of DCOs, taking into account extended observing times, baryonic microlensing background, and sky distribution of LSST sources. These extensions represent significant improvements over existing microlensing forecasts in terms of both accuracy and versatility. We demonstrate this power by deriving new LSST sensitivity projections for DCOs in spherical and disk-like distributions. We forecast that LSST will be able to constrain one solar mass PBHs to have a DM fraction under $4.1\times10^{-4}$. One-solar-mass objects in a dark disk distribution with the same dimensions as the Galactic disk will be constrained below $3.1\times10^{-4}$, while those with $m = 10^5M_{\odot}$ will be constrained to below $3.4\times10^{-5}$. We find that compressed dark disks can be constrained up to a factor of $\sim10$ better than ones with identical dimensions to the baryonic disk. We also find that dark disks become less tightly constrained when they are tilted with respect to our own disk. This forecasting software is a versatile tool, capable of constraining any model of DCOs in the Milky Way with microlensing, and is made publically available at {https://github.com/HarrisonWinch96/DarkDisk_Microlensing}.


title: Optimizing MARVEL for the radial velocity follow-up of TESS and PLATO transiting exoplanets

abstract: The space missions TESS and PLATO plan to double the number of 4000 exoplanets already discovered and will measure the size of thousands of exoplanets around the brightest stars in the sky, allowing ground-based radial velocity spectroscopy follow-up to determine the orbit and mass of the detected planets. The new facility we are developing, MARVEL (Raskin et al. this conference), will enable the ground-based follow-up of large numbers of exoplanet detections, expected from TESS and PLATO, which cannot be carried out only by the current facilities that achieve the necessary radial velocity accuracy of 1 m/s or less. This paper presents the MARVEL observation strategy and performance analysis based on predicted PLATO transit detection yield simulations. The resulting observation scenario baseline will help in the instrument design choices and demonstrate the effectiveness of MARVEL as a TESS and PLATO science enabling facility.


title: Learning Contextual Causality from Time-consecutive Images

abstract: Causality knowledge is crucial for many artificial intelligence systems. Conventional textual-based causality knowledge acquisition methods typically require laborious and expensive human annotations. As a result, their scale is often limited. Moreover, as no context is provided during the annotation, the resulting causality knowledge records (e.g., ConceptNet) typically do not take the context into consideration. To explore a more scalable way of acquiring causality knowledge, in this paper, we jump out of the textual domain and investigate the possibility of learning contextual causality from the visual signal. Compared with pure text-based approaches, learning causality from the visual signal has the following advantages: (1) Causality knowledge belongs to the commonsense knowledge, which is rarely expressed in the text but rich in videos; (2) Most events in the video are naturally time-ordered, which provides a rich resource for us to mine causality knowledge from; (3) All the objects in the video can be used as context to study the contextual property of causal relations. In detail, we first propose a high-quality dataset Vis-Causal and then conduct experiments to demonstrate that with good language and visual representation models as well as enough training signals, it is possible to automatically discover meaningful causal knowledge from the videos. Further analysis also shows that the contextual property of causal relations indeed exists, taking which into consideration might be crucial if we want to use the causality knowledge in real applications, and the visual signal could serve as a good resource for learning such contextual causality.


title: FSOCO: The Formula Student Objects in Context Dataset

abstract: This paper presents the FSOCO dataset, a collaborative dataset for vision-based cone detection systems in Formula Student Driverless competitions. It contains human annotated ground truth labels for both bounding boxes and instance-wise segmentation masks. The data buy-in philosophy of FSOCO asks student teams to contribute to the database first before being granted access ensuring continuous growth. By providing clear labeling guidelines and tools for a sophisticated raw image selection, new annotations are guaranteed to meet the desired quality. The effectiveness of the approach is shown by comparing prediction results of a network trained on FSOCO and its unregulated predecessor. The FSOCO dataset can be found at fsoco-dataset.com.


title: How Trans-Inclusive are Hackathons?

abstract: Hackathons are fun! People go there to learn, meet new colleagues, intensively work on a collaborative project, and mix pizza with energy drinks. However, for transgender community and other minorities, hackathons can have an uncomfortable atmosphere. Some transgender and non-conforming people that, although enjoying hackathons, decided not to participate anymore, afraid of LGBQTPhobia and other discomforts. In this paper we surveyed 44 trans and cis hackathons participants and interviewed seven transgender ones. By understanding their needs and challenges, we introduce five recommendations to make hackathons more inclusive.


title: Nature of bright C-complex asteroids

abstract: Most C-complex asteroids have albedo values less than 0.1, but there are some high-albedo (bright) C-complex asteroids with albedo values exceeding 0.1. To reveal the nature and origin of bright C-complex asteroids, we conducted spectroscopic observations of the asteroids in visible and near-infrared wavelength regions. As a result, the bright B-, C-, and Ch-type (Bus) asteroids, which are subclasses of the Bus C-complex, are classified as DeMeo C-type asteroids with concave curvature, B-, Xn-, and K-type asteroids. Analogue meteorites and material (CV/CK chondrites, enstatite chondrites/achondrites, and salts) associated with these spectral types of asteroids are thought to be composed of minerals and material exposed to high temperatures. A comparison of the results obtained in this study with the SDSS photometric data suggests that salts may have occurred in the parent bodies of 24 Themis and 10 Hygiea, as well as 2 Pallas. The bright C-complex asteroids in other C-complex families were likely caused by impact heating. Bright C-complex asteroids that do not belong to any families are likely to be impact metamorphosed carbonaceous chondrites, CV/CK chondrites, or enstatite chondrites/achondrites.


title: Relativistic Freeze-in with Scalar Dark Matter in a Gauged $B-L$ Model and Electroweak Symmetry Breaking

abstract: We explore relativistic freeze-in production of scalar dark matter in gauged $B-L$ model, where we focus on the production of dark matter from the decay and annihilation of Standard Model (SM) and $B-L$ Higgs bosons. We consider the Bose-Einstein (BE) and Fermi-Dirac (FD) statistics, along with the thermal mass correction of the SM Higgs boson in our analysis. We show that in addition to the SM Higgs boson, the annihilation and decay of the $B-L$ scalar can also contribute substantially to the dark matter relic density. Potential effects of electroweak symmetry breaking (EWSB) and thermal mass correction in BE framework enhance the dark matter relic substantially as it freezes-in near EWSB temperature via scalar annihilation. However, such effects are not so prominent when the dark matter freezes-in at a later epoch than EWSB, dominantly by decay of scalars. The results of this analysis are rather generic, and applicable to other similar scenarios.


title: A non-balanced staggered-grid finite-difference scheme for the first-order elastic wave-equation modeling

abstract: We introduce an efficient and accurate staggered-grid finite-difference (SGFD) method to solve the two-dimensional elastic wave equation. We use a coupled first-order stress-velocity formulation. In the standard implementation of SGFD method the same SGFD operator is used to approximate the spatial derivatives. However, we propose a numerical method based on mixed SGFD operators which happen to be more efficient with similar accuracy in comparison to uniform SGFD operator. We refer the proposed method as the non-balanced SGFD numerical scheme which means combining high-order SGFD operators with second-order SGFD operators. A very care attention is directed at the derivation of the SGFD operator coefficients. The correctness of proposed scheme is proven by dispersion analysis. Through SGFD modeling examples, we verify/demonstrate that the proposed non-balanced operator offers a similar level of accuracy with a cheaper computation cost compared to the more expensive balanced SGFD method.


title: Phase transitions in the frustrated Ising ladder with stoquastic and nonstoquastic catalysts

abstract: The role of nonstoquasticity in the field of quantum annealing and adiabatic quantum computing is an actively debated topic. We study a strongly-frustrated quasi-one-dimensional quantum Ising model on a two-leg ladder to elucidate how a first-order phase transition with a topological origin is affected by interactions of the $\pm XX$-type. Such interactions are sometimes known as stoquastic (negative sign) and nonstoquastic (positive sign) "catalysts". Carrying out a symmetry-preserving real-space renormalization group analysis and extensive density-matrix renormalization group computations, we show that the phase diagrams obtained by these two methods are in qualitative agreement with each other and reveal that the first-order quantum phase transition of a topological nature remains stable against the introduction of both $XX$-type catalysts. This is the first study of the effects of nonstoquasticity on a first-order phase transition between topologically distinct phases. Our results indicate that nonstoquastic catalysts are generally insufficient for removing topological obstacles in quantum annealing and adiabatic quantum computing.


title: Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU

abstract: We present a new algorithm to quickly generate high-performance GPU implementations of complex imaging and vision pipelines, directly from high-level Halide algorithm code. It is fully automatic, requiring no schedule templates or hand-optimized kernels. We address the scalability challenge of extending search-based automatic scheduling to map large real-world programs to the deep hierarchies of memory and parallelism on GPU architectures in reasonable compile time. We achieve this using (1) a two-phase search algorithm that first 'freezes' decisions for the lowest cost sections of a program, allowing relatively more time to be spent on the important stages, (2) a hierarchical sampling strategy that groups schedules based on their structural similarity, then samples representatives to be evaluated, allowing us to explore a large space with few samples, and (3) memoization of repeated partial schedules, amortizing their cost over all their occurrences. We guide the process with an efficient cost model combining machine learning, program analysis, and GPU architecture knowledge. We evaluate our method's performance on a diverse suite of real-world imaging and vision pipelines. Our scalability optimizations lead to average compile time speedups of 49x (up to 530x). We find schedules that are on average 1.7x faster than existing automatic solutions (up to 5x), and competitive with what the best human experts were able to achieve in an active effort to beat our automatic results.


title: Comparison of transverse single-spin asymmetries for forward $\pi^{0}$ production in polarized $pp$, $p\rm{Al}$ and $p\rm{Au}$ collisions at nucleon pair c.m. energy $\sqrt{s_{\mathrm{NN}}}= 200$ GeV

abstract: The STAR Collaboration reports a measurement of the transverse single-spin asymmetries, $A_{N}$, for neutral pions produced in polarized proton collisions with protons ($pp$), with aluminum nuclei ($p\rm{Al}$) and with gold nuclei ($p\rm{Au}$) at a nucleon-nucleon center-of-mass energy of 200 GeV. Neutral pions are observed in the forward direction relative to the transversely polarized proton beam, in the pseudo-rapidity region $2.7<\eta<3.8$. Results are presented for $\pi^0$s observed in the STAR FMS electromagnetic calorimeter in narrow Feynman x ($x_F$) and transverse momentum ($p_T$) bins, spanning the range $0.17<x_F<0.81$ and $1.7<p_{T}<6.0$ GeV/$c$. For fixed $x_F<0.47$, the asymmetries are found to rise with increasing transverse momentum. For larger $x_F$, the asymmetry flattens or falls as ${p_T}$ increases. Parametrizing the ratio $r(A) \equiv A_N(pA)/A_N(pp)=A^P$ over the kinematic range, the ratio $r(A)$ is found to depend only weakly on $A$, with ${\langle}P{\rangle} = -0.027 \pm 0.005$. No significant difference in $P$ is observed between the low-$p_T$ region, $p_T<2.5$ GeV/$c$, where gluon saturation effects may play a role, and the high-$p_T$ region, $p_T>2.5$ GeV/$c$. It is further observed that the value of $A_N$ is significantly larger for events with a large-$p_T$ isolated $\pi^0$ than for events with a non-isolated $\pi^0$ accompanied by additional jet-like fragments. The nuclear dependence $r(A)$ is similar for isolated and non-isolated $\pi^0$ events.


title: Up-down instability of binary black holes in numerical relativity

abstract: Binary black holes with spins that are aligned with the orbital angular momentum do not precess. However, post-Newtonian calculations predict that "up-down" binaries, in which the spin of the heavier (lighter) black hole is aligned (antialigned) with the orbital angular momentum, are unstable when the spins are slightly perturbed from perfect alignment. This instability provides a possible mechanism for the formation of precessing binaries in environments where sources are preferentially formed with (anti) aligned spins. In this paper, we present the first full numerical relativity simulations capturing this instability. These simulations span $\sim 100$ orbits and $\sim 3$-$5$ precession cycles before merger, making them some of the longest numerical relativity simulations to date. Initialized with a small perturbation of $1^{\circ}$-$10^{\circ}$, the instability causes a dramatic growth of the spin misalignments, which can reach $\sim 90^{\circ}$ near merger. We show that this leaves a strong imprint on the subdominant modes of the gravitational wave signal, which can potentially be used to distinguish up-down binaries from other sources. Finally, we show that post-Newtonian and effective-one-body approximants are able to reproduce the unstable dynamics of up-down binaries extracted from numerical relativity.


title: New $\mathcal{N}=(0,4)$ AdS$_3$ near-horizons in Type IIB

abstract: We construct new families of $\mathcal{N}=(0,4)$ $\mathrm{AdS}_3\times S^2 \times \tilde S^2 \times S^1$ backgrounds fibred over a 2d Riemann surface in Type IIB string theory. These solutions are obtained by extracting the near-horizon limit of D3-brane box configurations, consisting on D3-D5-NS5 branes ending on D5'-NS5' background branes. We relate our families of solutions to previous $\mathrm{AdS}_3\times S^2 \times \text{CY}_2$ and $\mathrm{AdS}_3\times S^3 \times S^2$ solutions to Type IIA recently constructed in the literature. We construct explicit 2d quiver CFTs associated to the D3-brane box configurations, and check that the central charges match the holographic result. We extend our solutions to include D7-branes, and show that a subclass of these solutions can be interpreted in terms of D3-D5-NS5 defect branes embedded in a 5d fixed point theory. This is explicitly realised by linking our solutions to a 6d domain wall that asymptotes locally the $\mathrm{AdS}_6\times S^2 \times \Sigma_2$ solution T-dual to the Brandhuber-Oz vacuum.


title: Building Cross-Sectional Systematic Strategies By Learning to Rank

abstract: The success of a cross-sectional systematic strategy depends critically on accurately ranking assets prior to portfolio construction. Contemporary techniques perform this ranking step either with simple heuristics or by sorting outputs from standard regression or classification models, which have been demonstrated to be sub-optimal for ranking in other domains (e.g. information retrieval). To address this deficiency, we propose a framework to enhance cross-sectional portfolios by incorporating learning-to-rank algorithms, which lead to improvements of ranking accuracy by learning pairwise and listwise structures across instruments. Using cross-sectional momentum as a demonstrative case study, we show that the use of modern machine learning ranking algorithms can substantially improve the trading performance of cross-sectional strategies -- providing approximately threefold boosting of Sharpe Ratios compared to traditional approaches.


title: Eliminating Reflections in Waveguide Bends Using a Metagrating-Inspired Semianalytical Methodology

abstract: We present a semianalytical method to obtain perfect transmission across abrupt H-plane bends in single-mode rectangular waveguides using a single passive polarizable element (scatterer). The underlying analysis and synthesis schemes are inspired by the rapidly-growing research on metagratings, typically used to manipulate wave trajectories in free-space. These sparse configurations of subwavelength polarizable particles (meta-atoms) are designed by careful tailoring of inter-element near-field and far-field interactions, relying on analytical models to resolve the required meta-atom distribution and geometry to facilitate a desired interference pattern when excited by the incident wave. Utilizing these metagrating design concepts, we develop a modal formalism for obtaining a collection of locations inside the bend junction, in which a passive scatterer may be placed to zero out the return loss. Subsequently, we propose two different shapes for the scatterer and discuss, for each of them, the ways in which their geometrical characteristics may be retrieved. This versatile and efficient methodology, verified via full-wave simulations, can be utilized to eliminate reflection loss in diverse bend configurations, often found in complex wave-guiding systems used for antenna feeding and power transmission. Moreover, these results demonstrate the usefulness and potential of metagrating design concepts for various applications, beyond free-space beam manipulation.


title: Bulk reconstruction in rotating BTZ black hole

abstract: The bulk reconstruction program aims to obtain representations of bulk fields as operators in the boundary CFT. In this paper we extend the program by obtaining the boundary representation for a scalar field in a rotating BTZ black hole. We find that the representation of the field near the inner horizon shows novel features. We also obtain a representation for fields inside the horizon as operators in a single boundary CFT using mirror operator construction.


title: On Non-Markovian Performance Models

abstract: We present an approach that can be useful when the network or system performance is described by a model that is not Markovian. Although most performance models are based on Markov chains or Markov processes, in some cases the Markov property does not hold. This can occur, for example, when the system exhibits long range dependencies. For such situations, and other non-Markovian cases, our method may provide useful help.


title: Families of inverse functions: coefficient bodies and the Fekete--Szeg\"{o} problem

abstract: In this paper we establish the coefficient bodies for a wide class of families of inverse functions. We also completely describe those functions that provide boundary points of that bodies in small dimensions. As an application we get sharp bounds for Fekete--Szeg\"{o} functionals over some classes of functions defined by quasi-subordination as well as over classes of their inverses. As a biproduct we derive a formula for ordinary Bell polynomials that seems to be new.


title: Mass corrections to the DGLAP equations

abstract: We propose a mass-dependent MOM scheme to renormalize UV divergence of unpolarized PDFs at one-loop order. This approach which is based on a once subtracted dispersion relation does not need any regulator. The overall counterterms are obtained from the imaginary part of large transverse momentum region in loop integrals. The mass-dependent characteristic of the scheme yields to mass-dependent splitting functions for the DGLAP evolution equations. While the flavor number is fixed at any renormalization scale, the decoupling theorem is automatically imposed by the mass-dependent splitting functions. The required symmetries are also automatically respected by our prescription.


title: Smooth Fano intrinsic Grassmannians of type $(2,n)$ with Picard number two

abstract: We introduce the notion of intrinsic Grassmannians which generalizes the well known weighted Grassmannians. An intrinsic Grassmannian is a normal projective variety whose Cox ring is defined by the Pl\"ucker ideal $I_{d,n}$ of the Grassmannian $\mathrm{Gr}(d,n)$. We give a complete classification of all smooth Fano intrinsic Grassmannians of type $(2,n)$ with Picard number two and prove an explicit formula to compute the total number of such varieties for an arbitrary $n$. We study their geometry and show that they satisfy Fujita's freeness conjecture.


title: Response of a weakly magnetized hot QCD medium to inhomogeneous electric field

abstract: The electric charge transport in a weakly magnetized hot QCD medium has been investigated in the presence of an external inhomogeneous electric field. The current densities (electric and Hall)induced by the inhomogeneous electric field have been estimated in the regime where space-time inhomogeneity of the field is small so that the collisional effect in the medium cannot be neglected. The collisional aspect of the medium has been captured by employing both relaxation time approximation and Bhatnagar-Gross-Krook collision kernel in the relativistic Boltzmann equation. The magnetic field, momentum anisotropy, and quark chemical potential dependences of the electric current and Hall current densities have been explored, and the impacts on the respective conductivities have been studied. The inhomogeneities of the field are seen to have sizable effects on the electromagnetic responses of the collisional medium.


title: Classical and quantum random-walk centrality measures in multilayer networks

abstract: Multilayer network analysis is a useful approach for studying the structural properties of entities with diverse, multitudinous relations. Classifying the importance of nodes and node-layer tuples is an important aspect of the study of multilayer networks. To do this, it is common to calculate various centrality measures, which allow one to rank nodes and node-layers according to a variety of structural features. In this paper, we formulate occupation, PageRank, betweenness, and closeness centralities in terms of node-occupation properties of different types of continuous-time classical and quantum random walks on multilayer networks. We apply our framework to a variety of synthetic and real-world multilayer networks, and we identify marked differences between classical and quantum centrality measures. Our computations also give insights into the correlations between certain random-walk-based and geodesic-path-based centralities.


title: Variational Mode Decomposition for estimating critical reflected internal wave in stratified fluid

abstract: The shear resulting from internal wave reflections can play a crucial role in the transport and resuspension of sediments in oceanic conditions. In particular, when these waves undergo a \textit{critical reflection} phenomenon, the reflected wave can produce a very large shear. Separating the reflected wave from the incident wave is a technical challenge since the two waves share the same temporal frequency. In our study, we present a series of experimental measurements of internal waves in \textit{critical reflection} configuration and we analyze them using the 2D-VMD-prox decomposition method. This decomposition method was adapted to specifically decompose waves in an internal wave critical reflection, showing an improvement in its performance with respect to preexisting internal wave decomposition methods. Being able to confidently isolate the reflected wave allowed us to compare our results to a viscous and non-linear model for critical reflection, that correctly describes the dependence of the shear rate produced in the boundary as a function of the experimental parameters.


title: Cotorsion pairs in Hopfological algebra

abstract: In an intriguing paper arXiv:math/0509083 Khovanov proposed a generalization of homological algebra, called Hopfological algebra. Since then, several attempts have been made to import tools and techiniques from homological algebra to Hopfological algebra. For example, Qi arXiv:1205.1814 introduced the notion of cofibrant objects in the category $\mathbf{C}_{A,H}^{H}$ of $H$-equivariant modules over an $H$-module algebra $A$, which is a counterpart to the category of modules over a dg algebra, although he did not define a model structure on $\mathbf{C}_{A,H}^{H}$. In this paper, we show that there exists an Abelian model structure on $\mathbf{C}_{A,H}^{H}$ in which cofibrant objects agree with Qi's cofibrant objects under a slight modification. This is done by constructing cotorsion pairs in $\mathbf{C}_{A,H}^{H}$ which form a Hovey triple in the sense of Gillespie arXiv:1512.06001. This can be regarded as a Hopfological analogues of the works of Enochs, Jenda, and Xu and of Avramov, Foxby, and Halperin. By restricting to compact cofibrant objects, we obtain a Waldhausen category $\mathcal{P}\mathrm{erf}_{A,H}^{H}$ of perfect objects. By taking invariants of this Waldhausen category, such as algebraic $K$-theory, Hochschild homology, cyclic homology, and so on, we obtain Hopfological analogues of these invariants.


title: Electrostatic interaction between SARS-CoV-2 virus and charged electret fibre

abstract: While almost any kind of face mask offers some protection against particles and pathogens of different sizes, the most efficient ones make use of a layered structure where one or more layers are electrically charged. This electret layer is essential to efficient filtration of difficult-to-capture small particles, yet the exact nature of electrostatic capture with respect to both the charge on the particles and the electret fibres as well as the effect of immediate environment remains unclear. Here, we explore in detail the electrostatic interaction between the surface of a single charged electret fibre and a model of SARS-CoV-2 virus. Using Poisson-Boltzmann electrostatics coupled to a detailed spike protein charge regulation model, we show how pH and salt concentration drastically change both the scale and the sign of the interaction. Furthermore, the configuration of the few spike proteins closest to the electret fibre turns out to be as important for the strength of the interaction as their total number on the virus, a direct consequence of spike protein charge regulation. The results of our work elucidate the details of virus electrostatics and contribute to the general understanding of efficient virus filtration mechanisms.


title: Tiny-box: A tool for the versatile development and characterization of low noise fast X-ray imaging detectors

abstract: X-ray Charge Coupled Devices (CCDs) have been the workhorse for soft X-ray astronomical instruments for the past quarter century. They provide broad energy response, extremely low electronic read noise, and good energy resolution in soft X-rays. These properties, along with the large arrays and small pixel sizes available with modern-day CCDs, make them a potential candidate for next generation astronomical X-ray missions equipped with large collecting areas, high angular resolutions and wide fields of view, enabling observation of the faint, diffuse and high redshift X-ray universe. However, such high collecting area (about 30 times Chandra) requires these detectors to have an order of magnitude faster readout than current CCDs to avoid saturation and pile up effects. In this context, Stanford University and MIT have initiated the development of fast readout X-ray cameras. As a tool for this development, we have designed a fast readout, low noise electronics board (intended to work at a 5 Megapixel per second data rate) coupled with an STA Archon controller to readout a 512 x 512 CCD (from MIT Lincoln Laboratory). This versatile setup allows us to study a number of parameters and operation conditions including the option for digital shaping. In this paper, we describe the characterization test stand, the concept and development of the readout electronics, and simulation results. We also report the first measurements of read noise, energy resolution and other parameters from this set up. While this is very much a prototype, we plan to use larger, multi-node CCD devices in the future with dedicated ASIC readout systems to enable faster, parallel readout of the CCDs.


title: Mask-Align: Self-Supervised Neural Word Alignment

abstract: Word alignment, which aims to align translationally equivalent words between source and target sentences, plays an important role in many natural language processing tasks. Current unsupervised neural alignment methods focus on inducing alignments from neural machine translation models, which does not leverage the full context in the target sequence. In this paper, we propose Mask-Align, a self-supervised word alignment model that takes advantage of the full context on the target side. Our model masks out each target token and predicts it conditioned on both source and the remaining target tokens. This two-step process is based on the assumption that the source token contributing most to recovering the masked target token should be aligned. We also introduce an attention variant called leaky attention, which alleviates the problem of unexpected high cross-attention weights on special tokens such as periods. Experiments on four language pairs show that our model outperforms previous unsupervised neural aligners and obtains new state-of-the-art results.


title: Comparing the costs of abstraction for DL frameworks

abstract: High level abstractions for implementing, training, and testing Deep Learning (DL) models abound. Such frameworks function primarily by abstracting away the implementation details of arbitrary neural architectures, thereby enabling researchers and engineers to focus on design. In principle, such frameworks could be "zero-cost abstractions"; in practice, they incur translation and indirection overheads. We study at which points exactly in the engineering life-cycle of a DL model the highest costs are paid and whether they can be mitigated. We train, test, and evaluate a representative DL model using PyTorch, LibTorch, TorchScript, and cuDNN on representative datasets, comparing accuracy, execution time and memory efficiency.


title: Fractal Analysis of the UltraVISTA Galaxy Survey

abstract: This paper seeks to test if the large-scale galaxy distribution can be characterized as a fractal system. Tools appropriate for describing galaxy fractal structures with a single fractal dimension $D$ in relativistic settings are developed and applied to the UltraVISTA galaxy survey. A graph of volume-limited samples corresponding to the redshift limits in each redshift bins for absolute magnitude is presented. Fractal analysis using the standard $\Lambda$CDM cosmological model is applied to a reduced subsample in the range $0.1\le z \le 4$, and the entire sample within $0.1\le z\le 6$. Three relativistic distances are used, the luminosity distance $d_L$, redshift distance $d_z$ and galaxy area distance $d_G$, because for data at $z\gtrsim 0.3$ relativistic effects are such that for the same $z$ these distance definitions yield different values. The results show two consecutive and distinct redshift ranges in both the reduced and complete samples where the data behave as a single fractal galaxy structure. For the reduced subsample we found that the fractal dimension is $D=\left(1.58\pm0.20\right)$ for $z<1$, and $D=\left(0.59\pm0.28\right)$ for $1\le z\le 4$. The complete sample yielded $D=\left(1.63\pm0.20\right)$ for $z<1$ and $D=\left(0.52\pm0.29\right)$ for $1\le z\le6$. These results are consistent with those found by Conde-Saavedra et al. (2015; arXiv:1409.5409v1), where a similar analysis was applied to a much more limited survey at equivalent redshift depths, and suggest that either there are yet unclear observational biases causing such decrease in the fractal dimension, or the galaxy clustering was possibly more sparse and the universe void dominated in a not too distant past.


title: Optical spin control and coherence properties of acceptor bound holes in strained GaAs

abstract: Hole spins in semiconductors are a potential qubit alternative to electron spins. In nuclear-spin-rich host crystals like GaAs, the hyperfine interaction of hole spins with nuclei is considerably weaker than that for electrons, leading to potentially longer coherence times. Here we demonstrate optical pumping and coherent population trapping for acceptor-bound holes in a strained GaAs epitaxial layer. We find $\mu$s-scale longitudinal spin relaxation time T$_1$ and an inhomogeneous dephasing time T$_2^*$ of $\sim$7~ns. We attribute the spin relaxation mechanism to a combination effect of a hole-phonon interaction through the deformation potentials and a heavy-hole light-hole mixing in an in-plane magnetic field. We attribute the short T$_2^*$ to g-factor broadening due to strain inhomogeneity. T$_1$ and T$_2^*$ are quantitatively calculated based on these mechanisms and compared with the experimental results. While the hyperfine-mediated decoherence is mitigated, our results highlight the important contribution of strain to relaxation and dephasing of acceptor-bound hole spins.


title: Emergent entropy of exotic oscillators and squeezing in three-wave mixing process

abstract: We demonstrate the existence of entanglement between the spatial degrees of freedom of a system of harmonic oscillators placed in the noncommutative Moyal plane ("exotic oscillators") by computing the entanglement entropy as measured by the von Neumann entropy of the reduced density matrix. It is explicitly verified that the entanglement arises from the noncommutativity, which controls the coupling strength between the spatial modes. This can easily be generalised to the case where the momentum components also satisfy noncommutative relations, so that the entire phase space becomes noncommutative. In the former case, i.e. when only the spatial noncommutativity is present, the underlying mathematical structure is reminiscent of the Unruh effect, as observed by a Rindler observer whose acceleration now gets related to the noncommutative parameter. It is shown that the Landau problem in the presence of a harmonic interaction gives a concrete physical realisation of this effect. Finally, we show that phase-space noncommutativity can give rise to a the non-classical effect of squeezing, which results from the non-linearity of a medium in a three-wave mixing process.


title: Pseudo-likelihood-based $M$-estimation of random graphs with dependent edges and parameter vectors of increasing dimension

abstract: An important question in statistical network analysis is how to estimate models of discrete and dependent network data with intractable likelihood functions, without sacrificing computational scalability and statistical guarantees. We demonstrate that scalable estimation of random graph models with dependent edges is possible, by establishing convergence rates of pseudo-likelihood-based $M$-estimators for discrete undirected graphical models with exponential parameterizations and parameter vectors of increasing dimension in single-observation scenarios. We highlight the impact of two complex phenomena on the convergence rate: phase transitions and model near-degeneracy. The main results have possible applications to discrete and dependent network, spatial, and temporal data. To showcase convergence rates, we introduce a novel class of generalized $\beta$-models with dependent edges and parameter vectors of increasing dimension, which leverage additional structure in the form of overlapping subpopulations to control dependence. We establish convergence rates of pseudo-likelihood-based $M$-estimators for generalized $\beta$-models in dense- and sparse-graph settings.


title: The quotient of generating functions of lozenge tilings for certain regions derived from hexagons, obtained with non--intersecting lattice paths

abstract: In a recent preprint, Lai showed that the quotient of generating functions of weighted lozenge tilings of two "half hexagons with lateral dents", which differ only in width, factors nicely, and the same is true for the quotient of generating functions of weighted lozenge tilings of two "quarter hexagons with lateral dents". Lai achieved this by using "graphical condensation" (i.e., application of a certain Pfaffian identity to the weighted enumeration of matchings). The purpose of this note is to exhibit how this can be done by the Lindstr\"om--Gessel--Viennot method for nonintersecting lattice paths. For the case of "half hexagons", basically the same observation, but restricted to mere enumeration (i.e., all weights of lozenge tilings are equal to $1$), is contained in a recent preprint of Condon.


title: An elliptic adaptation of ideas of Carleman and Domar from complex analysis related to Levinson's log log theorem

abstract: Using the three balls inequality, we adapt the elegant ideas of Carleman and Domar from complex analysis to linear elliptic PDE and generalize the classical Levinson's loglog theorem.


title: Decision-Time Postponing Motion Planning for Combinatorial Uncertain Maneuvering

abstract: Motion planning involves decision making among combinatorial maneuver variants in urban driving. A planner must consider uncertainties and associated risks of the maneuver variants, and subsequently select a maneuver alternative. In this paper we present a planning approach that considers the uncertainties in the prediction and, in case of high uncertainty, postpones the combinatorial decision making to a later time within the planning horizon. With our proposed approach, safe but at the same time not overconservative motion is planned.


title: Variational quantum eigensolvers for sparse Hamiltonians

abstract: Hybrid quantum-classical variational algorithms such as the variational quantum eigensolver (VQE) and the quantum approximate optimization algorithm (QAOA) are promising applications for noisy, intermediate-scale quantum (NISQ) computers. Both VQE and QAOA variationally extremize the expectation value of a Hamiltonian. All work to date on VQE and QAOA has been limited to Pauli representations of Hamiltonians. However, many cases exist in which a sparse representation of the Hamiltonian is known but there is no efficient Pauli representation. We extend VQE to general sparse Hamiltonians. We provide a decomposition of a fermionic second-quantized Hamiltonian into a number of one-sparse, self-inverse, Hermitian terms linear in the number of ladder operator monomials in the second-quantized representation. We provide a decomposition of a general $d$-sparse Hamiltonian into $O(d^2)$ such terms. In both cases a single sample of any term can be obtained using two ansatz state preparations and at most six oracle queries. The number of samples required to estimate the expectation value to precision $\epsilon$ scales as $\epsilon^{-2}$ as for Pauli-based VQE. This widens the domain of applicability of VQE to systems whose Hamiltonian and other observables are most efficiently described in terms of sparse matrices.


title: A Memory-Augmented Neural Network Model of Abstract Rule Learning

abstract: Human intelligence is characterized by a remarkable ability to infer abstract rules from experience and apply these rules to novel domains. As such, designing neural network algorithms with this capacity is an important step toward the development of deep learning systems with more human-like intelligence. However, doing so is a major outstanding challenge, one that some argue will require neural networks to use explicit symbol-processing mechanisms. In this work, we focus on neural networks' capacity for arbitrary role-filler binding, the ability to associate abstract "roles" to context-specific "fillers," which many have argued is an important mechanism underlying the ability to learn and apply rules abstractly. Using a simplified version of Raven's Progressive Matrices, a hallmark test of human intelligence, we introduce a sequential formulation of a visual problem-solving task that requires this form of binding. Further, we introduce the Emergent Symbol Binding Network (ESBN), a recurrent neural network model that learns to use an external memory as a binding mechanism. This mechanism enables symbol-like variable representations to emerge through the ESBN's training process without the need for explicit symbol-processing machinery. We empirically demonstrate that the ESBN successfully learns the underlying abstract rule structure of our task and perfectly generalizes this rule structure to novel fillers.


title: Cover attacks for elliptic curves with prime order

abstract: We give a new approach to the elliptic curve discrete logarithm problem over cubic extension fields $\mathbb{F}_{q^3}$. It is based on a transfer: First an $\mathbb{F}_q$-rational $(\ell,\ell,\ell)$-isogeny from the Weil restriction of the elliptic curve under consideration with respect to $\mathbb{F}_{q^3}/\mathbb{F}_q$ to the Jacobian variety of a genus three curve over $\mathbb{F}_q$ is applied and then the problem is solved in the Jacobian via the index-calculus attacks. Although using no covering maps in the construction of the desired homomorphism, this method is, in a sense, a kind of cover attack. As a result, it is possible to solve the discrete logarithm problem in some elliptic curve groups of prime order over $\mathbb{F}_{q^3}$ in a time of $\tilde{O}(q)$.


title: Some parabolic equations for measures and Gaussian semigroups

abstract: This short communication (preprint) is devoted to mathematical study of evolution equations that are important for mathematical physics and quantum theory; we present new explicit formulas for solutions of these equations and discuss their properties. The results are given without proofs but the proofs will appear in the longer text which is now under preparation. In this paper, infinite-dimensional generalizations of the Euclidean analogue of the Schr\"odinger equation for anharmonic oscillator are considered in the class of measures. The Cauchy problem for these equations is solved. In particular cases, explicit formulas for fundamental solutions are obtained, which are a generalization of the Mehler formula, and the uniqueness of the solution with certain properties is proved. An analogue of the Ornstein-Uhlenbeck measure is constructed. The definition of Gaussian semigroups is given and their connection with the considered parabolic equations is described.


title: MSAF: Multimodal Split Attention Fusion

abstract: Multimodal learning mimics the reasoning process of the human multi-sensory system, which is used to perceive the surrounding world. While making a prediction, the human brain tends to relate crucial cues from multiple sources of information. In this work, we propose a novel multimodal fusion module that learns to emphasize more contributive features across all modalities. Specifically, the proposed Multimodal Split Attention Fusion (MSAF) module splits each modality into channel-wise equal feature blocks and creates a joint representation that is used to generate soft attention for each channel across the feature blocks. Further, the MSAF module is designed to be compatible with features of various spatial dimensions and sequence lengths, suitable for both CNNs and RNNs. Thus, MSAF can be easily added to fuse features of any unimodal networks and utilize existing pretrained unimodal model weights. To demonstrate the effectiveness of our fusion module, we design three multimodal networks with MSAF for emotion recognition, sentiment analysis, and action recognition tasks. Our approach achieves competitive results in each task and outperforms other application-specific networks and multimodal fusion benchmarks.


title: Extended Few-Shot Learning: Exploiting Existing Resources for Novel Tasks

abstract: In many practical few-shot learning problems, even though labeled examples are scarce, there are abundant auxiliary datasets that potentially contain useful information. We propose the problem of extended few-shot learning to study these scenarios. We then introduce a framework to address the challenges of efficiently selecting and effectively using auxiliary data in few-shot image classification. Given a large auxiliary dataset and a notion of semantic similarity among classes, we automatically select pseudo shots, which are labeled examples from other classes related to the target task. We show that naive approaches, such as (1) modeling these additional examples the same as the target task examples or (2) using them to learn features via transfer learning, only increase accuracy by a modest amount. Instead, we propose a masking module that adjusts the features of auxiliary data to be more similar to those of the target classes. We show that this masking module performs better than naively modeling the support examples and transfer learning by 4.68 and 6.03 percentage points, respectively.


title: Simple Copy-Paste is a Strong Data Augmentation Method for Instance Segmentation

abstract: Building instance segmentation models that are data-efficient and can handle rare object categories is an important challenge in computer vision. Leveraging data augmentations is a promising direction towards addressing this challenge. Here, we perform a systematic study of the Copy-Paste augmentation ([13, 12]) for instance segmentation where we randomly paste objects onto an image. Prior studies on Copy-Paste relied on modeling the surrounding visual context for pasting the objects. However, we find that the simple mechanism of pasting objects randomly is good enough and can provide solid gains on top of strong baselines. Furthermore, we show Copy-Paste is additive with semi-supervised methods that leverage extra data through pseudo labeling (e.g. self-training). On COCO instance segmentation, we achieve 49.1 mask AP and 57.3 box AP, an improvement of +0.6 mask AP and +1.5 box AP over the previous state-of-the-art. We further demonstrate that Copy-Paste can lead to significant improvements on the LVIS benchmark. Our baseline model outperforms the LVIS 2020 Challenge winning entry by +3.6 mask AP on rare categories.


title: Self-supervised Text-independent Speaker Verification using Prototypical Momentum Contrastive Learning

abstract: In this study, we investigate self-supervised representation learning for speaker verification (SV). First, we examine a simple contrastive learning approach (SimCLR) with a momentum contrastive (MoCo) learning framework, where the MoCo speaker embedding system utilizes a queue to maintain a large set of negative examples. We show that better speaker embeddings can be learned by momentum contrastive learning. Next, alternative augmentation strategies are explored to normalize extrinsic speaker variabilities of two random segments from the same speech utterance. Specifically, augmentation in the waveform largely improves the speaker representations for SV tasks. The proposed MoCo speaker embedding is further improved when a prototypical memory bank is introduced, which encourages the speaker embeddings to be closer to their assigned prototypes with an intermediate clustering step. In addition, we generalize the self-supervised framework to a semi-supervised scenario where only a small portion of the data is labeled. Comprehensive experiments on the Voxceleb dataset demonstrate that our proposed self-supervised approach achieves competitive performance compared with existing techniques, and can approach fully supervised results with partially labeled data.


title: Explanation from Specification

abstract: Explainable components in XAI algorithms often come from a familiar set of models, such as linear models or decision trees. We formulate an approach where the type of explanation produced is guided by a specification. Specifications are elicited from the user, possibly using interaction with the user and contributions from other areas. Areas where a specification could be obtained include forensic, medical, and scientific applications. Providing a menu of possible types of specifications in an area is an exploratory knowledge representation and reasoning task for the algorithm designer, aiming at understanding the possibilities and limitations of efficiently computable modes of explanations. Two examples are discussed: explanations for Bayesian networks using the theory of argumentation, and explanations for graph neural networks. The latter case illustrates the possibility of having a representation formalism available to the user for specifying the type of explanation requested, for example, a chemical query language for classifying molecules. The approach is motivated by a theory of explanation in the philosophy of science, and it is related to current questions in the philosophy of science on the role of machine learning.


title: The Dark Energy Survey Supernova Program: Modelling selection efficiency and observed core collapse supernova contamination

abstract: The analysis of current and future cosmological surveys of type Ia supernovae (SNe Ia) at high-redshift depends on the accurate photometric classification of the SN events detected. Generating realistic simulations of photometric SN surveys constitutes an essential step for training and testing photometric classification algorithms, and for correcting biases introduced by selection effects and contamination arising from core collapse SNe in the photometric SN Ia samples. We use published SN time-series spectrophotometric templates, rates, luminosity functions and empirical relationships between SNe and their host galaxies to construct a framework for simulating photometric SN surveys. We present this framework in the context of the Dark Energy Survey (DES) 5-year photometric SN sample, comparing our simulations of DES with the observed DES transient populations. We demonstrate excellent agreement in many distributions, including Hubble residuals, between our simulations and data. We estimate the core collapse fraction expected in the DES SN sample after selection requirements are applied and before photometric classification. After testing different modelling choices and astrophysical assumptions underlying our simulation, we find that the predicted contamination varies from 5.8 to 9.3 per cent, with an average of 7.0 per cent and r.m.s. of 1.1 per cent. Our simulations are the first to reproduce the observed photometric SN and host galaxy properties in high-redshift surveys without fine-tuning the input parameters. The simulation methods presented here will be a critical component of the cosmology analysis of the DES photometric SN Ia sample: correcting for biases arising from contamination, and evaluating the associated systematic uncertainty.


title: Meticulous Object Segmentation

abstract: Compared with common image segmentation tasks targeted at low-resolution images, higher resolution detailed image segmentation receives much less attention. In this paper, we propose and study a task named Meticulous Object Segmentation (MOS), which is focused on segmenting well-defined foreground objects with elaborate shapes in high resolution images (e.g. 2k - 4k). To this end, we propose the MeticulousNet which leverages a dedicated decoder to capture the object boundary details. Specifically, we design a Hierarchical Point-wise Refining (HierPR) block to better delineate object boundaries, and reformulate the decoding process as a recursive coarse to fine refinement of the object mask. To evaluate segmentation quality near object boundaries, we propose the Meticulosity Quality (MQ) score considering both the mask coverage and boundary precision. In addition, we collect a MOS benchmark dataset including 600 high quality images with complex objects. We provide comprehensive empirical evidence showing that MeticulousNet can reveal pixel-accurate segmentation boundaries and is superior to state-of-the-art methods for high resolution object segmentation tasks.


title: Statistical matching and subclassification with a continuous dose: characterization, algorithm, and application to a health outcomes study

abstract: Subclassification and matching are often used in empirical studies to adjust for observed covariates; however, they are largely restricted to relatively simple study designs with a binary treatment and less developed for designs with a continuous exposure. Matching with exposure doses is particularly useful in instrumental variable designs and in understanding the dose-response relationships. In this article, we propose two criteria for optimal subclassification based on subclass homogeneity in the context of having a continuous exposure dose, and propose an efficient polynomial-time algorithm that is guaranteed to find an optimal subclassification with respect to one criterion and serves as a 2-approximation algorithm for the other criterion. We discuss how to incorporate dose and use appropriate penalties to control the number of subclasses in the design. Via extensive simulations, we systematically compare our proposed design to optimal non-bipartite pair matching, and demonstrate that combining our proposed subclassification scheme with regression adjustment helps reduce model dependence for parametric causal inference with a continuous dose. We apply the new design and associated randomization-based inferential procedure to study the effect of transesophageal echocardiography (TEE) monitoring during coronary artery bypass graft (CABG) surgery on patients' post-surgery clinical outcomes using Medicare and Medicaid claims data, and find evidence that TEE monitoring lowers patients' all-cause $30$-day mortality rate.


title: Privacy-preserving Decentralized Aggregation for Federated Learning

abstract: Federated learning is a promising framework for learning over decentralized data spanning multiple regions. This approach avoids expensive central training data aggregation cost and can improve privacy because distributed sites do not have to reveal privacy-sensitive data. In this paper, we develop a privacy-preserving decentralized aggregation protocol for federated learning. We formulate the distributed aggregation protocol with the Alternating Direction Method of Multiplier (ADMM) and examine its privacy weakness. Unlike prior work that use Differential Privacy or homomorphic encryption for privacy, we develop a protocol that controls communication among participants in each round of aggregation to minimize privacy leakage. We establish its privacy guarantee against an honest-but-curious adversary. We also propose an efficient algorithm to construct such a communication pattern, inspired by combinatorial block design theory. Our secure aggregation protocol based on this novel group communication pattern design leads to an efficient algorithm for federated training with privacy guarantees. We evaluate our federated training algorithm on image classification and next-word prediction applications over benchmark datasets with 9 and 15 distributed sites. Evaluation results show that our algorithm performs comparably to the standard centralized federated learning method while preserving privacy; the degradation in test accuracy is only up to 0.73%.


title: Trivalent vertices and bordered knot Floer homology in the standard basis

abstract: We define new algebras, local bimodules, and bimodule maps in the spirit of Ozsvath-Szabo's bordered knot Floer homology. We equip them with the structure of 2-representations of the categorified negative half U^- of U_q(gl(1|1)), 1-morphisms of such, and 2-morphisms respectively, and show that they categorify representations of U_q(gl(1|1)^-) and maps between them. Unlike with Ozsvath-Szabo's algebras, the algebras considered here can be built from a higher tensor product operation recently introduced by Rouquier and the author. Our bimodules are all motivated by holomorphic disk counts in Heegaard diagrams; for positive and negative crossings, the bimodules can also be expressed as mapping cones involving a singular-crossing bimodule and the identity bimodule. In fact, they arise from an action of the monoidal category of Soergel bimodules via Rouquier complexes in the usual way, the first time (to the author's knowledge) such an expression has been obtained for braiding bimodules in Heegaard Floer homology. Furthermore, the singular crossing bimodule naturally factors into two bimodules for trivalent vertices; such bimodules have not appeared in previous bordered-Floer approaches to knot Floer homology. The action of the Soergel category comes from an action of categorified quantum gl(2) on the 2-representation 2-category of U^- in line with the ideas of skew Howe duality, where the trivalent vertex bimodules are associated to 1-morphisms E, F in categorified quantum gl(2).


title: Ordinal definability in $L[\mathbb{E}]$

abstract: Let $M$ be a tame mouse modelling ZFC. We show that $M$ satisfies ``there is a real $x$ such that every set is OD in $x$'', and that the restriction of the extender sequence of $M$ to the interval $[\omega_1^M,\infty)$ is definable without parameters over the universe of $M$. We show that $M$ has universe $H[X]$, where $H=\mathrm{HOD}^M$ and $X=M|\omega_1^M$ is the initial segment of $M$ of height $\omega_1^M$ (including the restriction of $M$'s extender sequence through $\omega_1^M$), and that $H$ is the universe of a premouse over some $t\subseteq\omega_2^M$. We also show that $M$ has no proper grounds via strategically $\sigma$-closed forcings. We then extend some of these results partially to non-tame mice, including a proof that many natural $\varphi$-minimal mice model ``$V=\mathrm{HOD}$'', assuming a certain fine structural hypothesis whose proof has almost been given elsewhere.


title: Interplay between the factorization of the Jarlskog Invariant and location of the Solar and Atmospheric Resonances for Neutrino Oscillations in Matter

abstract: The Jarlskog invariant which controls the size of intrinsic CP violation in neutrino oscillation appearance experiments is modified by Wolfenstein matter effects for neutrinos propagating in matter. In this paper we give the exact factorization of Jarlskog invariant in matter into the vacuum Jarlskog invariant times two, two-flavor matter resonance factors that control the matter effects for the solar and atmospheric resonances independently. We compare the location of the minima of the factorizing resonance factors with the location of the solar and atmospheric resonances, precisely defined. They are not identical but the fractional differences are both found to be less than 0.1\%. In addition, we explain why symmetry polynomials of the square of the mass of the neutrino eigenvalues in matter, such as inverse of the square of the Jarlskog invariant in matter, can be given as polynomials in the matter potential.


title: Structure-preserving marker-particle discretizations of Coulomb collisions for particle-in-cell codes

abstract: This paper contributes new insights into discretizing Coulomb collisions in kinetic plasma models. Building on the previous works [Carrillo et al. J. Comp. Phys. X 7:100066 (2020), Hirvijoki and Burby Phys. Plasmas 27(8):082307 (2020)], I propose deterministic discrete-time energy- and positivity-preserving, entropy-dissipating marker-particle schemes for the standard Landau collision operator and the electrostatic gyrokinetic Landau operator. In case of the standard Landau operator, the scheme preserves also the discrete-time kinetic momentum. The improvements, the extensions of the structure-preserving discretizations in [Carrillo et al. J. Comp. Phys. X 7:100066 (2020), Hirvijoki and Burby Phys. Plasmas 27(8):082307 (2020)] to discrete time, are made possible by exploiting the underlying metriplectic structure of the collision operators involved and the so-called discrete-gradient integrators.

categories: physics.plasm-ph cs.NA math.NA physics.comp-ph


title: Hospital Capacity Planning Using Discrete Event Simulation Under Special Consideration of the COVID-19 Pandemic

abstract: We present a resource-planning tool for hospitals under special consideration of the COVID-19 pandemic, called babsim.hospital. It provides many advantages for crisis teams, e.g., comparison with their own local planning, simulation of local events, simulation of several scenarios (worst / best case). There are benefits for medical professionals, e.g, analysis of the pandemic at local, regional, state and federal level, the consideration of special risk groups, tools for validating the length of stays and transition probabilities. Finally, there are potential advantages for administration, management, e.g., assessment of the situation of individual hospitals taking local events into account, consideration of relevant resources such as beds, ventilators, rooms, protective clothing, and personnel planning, e.g., medical and nursing staff. babsim.hospital combines simulation, optimization, statistics, and artificial intelligence processes in a very efficient way. The core is a discrete, event-based simulation model.


title: Almost $\iota$-complexes as immersed curves

abstract: Here the existence of a new homomorphism $P_{\omega} : \Theta_{\mathbb{Z}}^3 \to \mathbb{Z}$ is proven and the existence of a $\mathbb{Z}^{\infty}$ summand in $\Theta_{\mathbb{Z}}^3$ is reproven. This is done by approximating the involutive Heegaard Floer complexes of homology 3-spheres with immersed curves on the twice punctured disk.