title: Tilting and Squeezing: Phase space geometry of Hamiltonian saddle-node bifurcation and its influence on chemical reaction dynamics

abstract: In this article we present the influence of a Hamiltonian saddle-node bifurcation on the high-dimensional phase space structures that mediate reaction dynamics. To achieve this goal, we identify the phase space invariant manifolds using Lagrangian descriptors, which is a trajectory-based diagnostic suitable for the construction of a complete ``phase space tomography'' by means of analyzing dynamics on low-dimensional slices. First, we build a Hamiltonian system with one degree-of-freedom (DoF) that models reaction, and study the effect of adding a parameter to the potential energy function that controls the depth of the well. Then, we extend this framework to a saddle-node bifurcation for a two DoF Hamiltonian, constructed by coupling a harmonic oscillator, i.e. a bath mode, to the other reactive DoF in the system. For this problem, we describe the phase space structures associated with the rank-1 saddle equilibrium point in the bottleneck region, which is a Normally Hyperbolic Invariant Manifold (NHIM) and its stable and unstable manifolds. Finally, we address the qualitative changes in the reaction dynamics of the Hamiltonian system due to changes in the well depth of the potential energy surface that gives rise to the saddle-node bifurcation.


title: Synchronization and temporal nonreciprocity of optical microresonators via spontaneous symmetry breaking

abstract: Synchronization is of importance in both fundamental and applied physics, but their demonstration at the micro/nanoscale is mainly limited to low-frequency oscillations like mechanical resonators. Here, we report the synchronization of two coupled optical microresonators, in which the high-frequency resonances in optical domain are aligned with reduced noise. It is found that two types of synchronization emerge with either the first- or second-order transition, both presenting a process of spontaneous symmetry breaking. In the second-order regime, the synchronization happens with an invariant topological character number and a larger detuning than that of the first-order case. Furthermore, an unconventional hysteresis behavior is revealed for a time-dependent coupling strength, breaking the static limitation and the temporal reciprocity. The synchronization of optical microresonators offers great potential in reconfigurable simulations of many-body physics and scalable photonic devices on a chip.


title: A Human-Grounded Evaluation of SHAP for Alert Processing

abstract: In the past years, many new explanation methods have been proposed to achieve interpretability of machine learning predictions. However, the utility of these methods in practical applications has not been researched extensively. In this paper we present the results of a human-grounded evaluation of SHAP, an explanation method that has been well-received in the XAI and related communities. In particular, we study whether this local model-agnostic explanation method can be useful for real human domain experts to assess the correctness of positive predictions, i.e. alerts generated by a classifier. We performed experimentation with three different groups of participants (159 in total), who had basic knowledge of explainable machine learning. We performed a qualitative analysis of recorded reflections of experiment participants performing alert processing with and without SHAP information. The results suggest that the SHAP explanations do impact the decision-making process, although the model's confidence score remains to be a leading source of evidence. We statistically test whether there is a significant difference in task utility metrics between tasks for which an explanation was available and tasks in which it was not provided. As opposed to common intuitions, we did not find a significant difference in alert processing performance when a SHAP explanation is available compared to when it is not.


title: A Comparison of the X-ray Properties of FU Ori-type Stars to Generic Young Stellar Objects

abstract: Like other young stellar objects (YSOs), FU Ori-type stars have been detected as strong X-ray emitters. However, little is known about how the outbursts of these stars affect their X-ray properties. We assemble available X-ray data from XMM Newton and Chandra observations of 16 FU Ori stars, including a new XMM Newton observation of Gaia 17bpi during its optical rise phase. Of these stars, six were detected at least once, while 10 were non-detections, for which we calculate upper limits on intrinsic X-ray luminosity ($L_X$) as a function of plasma temperature ($kT$) and column density ($N_H$). The detected FU Ori stars tend to be more X-ray luminous than typical for non-outbursting YSOs, based on comparison to a sample of low-mass stars in the Orion Nebula Cluster. FU Ori stars with high $L_X$ have been observed both at the onset of their outbursts and decades later. We use the Kaplan-Meier estimator to investigate whether the higher X-ray luminosities for FU Ori stars is characteristic or a result of selection effects, and we find the difference to be statistically significant ($p<0.01$) even when non-detections are taken into account. The additional X-ray luminosity of FU Ori stars relative to non-outbursting YSOs cannot be explained by accretion shocks, given the high observed plasma temperatures. This suggests that, for many FU Ori stars, either 1) the outburst leads to a restructuring of the magnetosphere in a way that enhances X-ray emission, or 2) FU Ori outbursts are more likely to occur among YSOs with the highest quiescent X-ray luminosity.


title: Spacetime Graph Optimization for Video Object Segmentation

abstract: We address the challenging task of foreground object discovery and segmentation in video. We introduce an efficient solution, suitable for both unsupervised and supervised scenarios, based on a spacetime graph representation of the video sequence. We ensure a fine grained representation with one-to-one correspondences between graph nodes and video pixels. We formulate the task as a spectral clustering problem by exploiting the spatio-temporal consistency between the scene elements in terms of motion and appearance. Graph nodes that belong to the main object of interest should form a strong cluster, as they are linked through long range optical flow chains and have similar motion and appearance features along those chains. On one hand, the optimization problem aims to maximize the segmentation clustering score based on the motion structure through space and time. On the other hand, the segmentation should be consistent with respect to node features. Our approach leads to a graph formulation in which the segmentation solution becomes the principal eigenvector of a novel Feature-Motion matrix. While the actual matrix is not computed explicitly, the proposed algorithm efficiently computes, in a few iteration steps, the principal eigenvector that captures the segmentation of the main object in the video. The proposed algorithm, GO-VOS, produces a global optimum solution and, consequently, it does not depend on initialization. In practice, GO-VOS achieves state of the art results on three challenging datasets used in current literature: DAVIS, SegTrack and YouTube-Objects.


title: Learning joint lesion and tissue segmentation from task-specific hetero-modal datasets

abstract: Brain tissue segmentation from multimodal MRI is a key building block of many neuroscience analysis pipelines. It could also play an important role in many clinical imaging scenarios. Established tissue segmentation approaches have however not been developed to cope with large anatomical changes resulting from pathology. The effect of the presence of brain lesions, for example, on their performance is thus currently uncontrolled and practically unpredictable. Contrastingly, with the advent of deep neural networks (DNNs), segmentation of brain lesions has matured significantly and is achieving performance levels making it of interest for clinical use. However, few existing approaches allow for jointly segmenting normal tissue and brain lesions. Developing a DNN for such joint task is currently hampered by the fact that annotated datasets typically address only one specific task and rely on a task-specific hetero-modal imaging protocol. In this work, we propose a novel approach to build a joint tissue and lesion segmentation model from task-specific hetero-modal and partially annotated datasets. Starting from a variational formulation of the joint problem, we show how the expected risk can be decomposed and optimised empirically. We exploit an upper-bound of the risk to deal with missing imaging modalities. For each task, our approach reaches comparable performance than task-specific and fully-supervised models.


title: Contextuality and Noncontextuality Measures and Generalized Bell Inequalities for Cyclic Systems

abstract: Cyclic systems of dichotomous random variables have played a prominent role in contextuality research, describing such experimental paradigms as the Klyachko-Can-Binicoglu-Shumovky, Einstein-Podolsky-Rosen-Bell, and Leggett-Garg ones in physics, as well as conjoint binary choices in human decision making. Here, we understand contextuality within the framework of the Contextuality-by-Default (CbD) theory, based on the notion of probabilistic couplings satisfying certain constraints. CbD allows us to drop the commonly made assumption that systems of random variables are consistently connected. Consistently connected systems constitute a special case in which CbD essentially reduces to the conventional understanding of contextuality. We present a theoretical analysis of the degree of contextuality in cyclic systems (if they are contextual) and the degree of noncontextuality in them (if they are not). By contrast, all previously proposed measures of contextuality are confined to consistently connected systems, and most of them cannot be extended to measures of noncontextuality. Our measures of (non)contextuality are defined by the L_{1}-distance between a point representing a cyclic system and the surface of the polytope representing all possible noncontextual cyclic systems with the same single-variable marginals. We completely characterize this polytope, as well as the polytope of all possible probabilistic couplings for cyclic systems with given single-variable marginals.[...]


title: Fast ES-RNN: A GPU Implementation of the ES-RNN Algorithm

abstract: Due to their prevalence, time series forecasting is crucial in multiple domains. We seek to make state-of-the-art forecasting fast, accessible, and generalizable. ES-RNN is a hybrid between classical state space forecasting models and modern RNNs that achieved a 9.4% sMAPE improvement in the M4 competition. Crucially, ES-RNN implementation requires per-time series parameters. By vectorizing the original implementation and porting the algorithm to a GPU, we achieve up to 322x training speedup depending on batch size with similar results as those reported in the original submission. Our code can be found at: https://github.com/damitkwr/ESRNN-GPU


title: Counting rational curves on K3 surfaces with finite group actions

abstract: G\"ottsche gave a formula for the dimension of the cohomology of Hilbert schemes of points on a smooth projective surface $S$. When $S$ admits an action by a finite group $G$, we describe the action of $G$ on the Hodge structure. In the case that $S$ is a K3 surface, each element of $G$ gives a trace on $\sum_{n=0}^{\infty}\sum_{i=0}^{\infty}(-1)^{i}H^{i}(S^{[n]},\mathbb{C})q^{n}$. When $G$ acts faithfully and symplectically on $S$, the resulting generating function is of the form $q/f(q)$, where $f(q)$ is a cusp form. We relate the Hodge structure of Hilbert schemes of points to the Hodge structure of the compactified Jacobian of the tautological family of curves over an integral linear system on a K3 surface as $G$-representations. Finally, we give a sufficient condition for a $G$-orbit of curves with nodal singularities not to contribute to the representation.


title: Ostraka: Secure Blockchain Scaling by Node Sharding

abstract: Cryptocurrencies, implemented with blockchain protocols, promise to become a global payment system if they can overcome performance limitations. Rapidly advancing architectures improve on latency and throughput, but most require all participating servers to process all transactions. Several recent works propose to shard the system, such that each machine would only process a subset of the transactions. However, we identify a denial-of-service attack that is exposed by these solutions - an attacker can generate transactions that would overload a single shard, thus delaying processing in the entire system. Moreover, we show that in common scenarios, these protocols require most node operators to process almost all blockchain transactions. We present Ostraka, a blockchain node architecture that shards (parallelizes) the nodes themselves. We prove that replacing a unified node with an Ostraka node does not affect the security of the underlying consensus mechanism. We evaluate analytically and experimentally block propagation and processing in various settings. Ostraka allows nodes in the network to scale, without costly coordination. In our experiments, Ostraka nodes' transaction processing rate grows linearly with the addition of resources.


title: A numerical approach to Kolmogorov equation in high dimension based on Gaussian analysis

abstract: For Kolmogorov equations associated to finite dimensional stochastic differential equations (SDEs) in high dimension, a numerical method alternative to Monte Carlo simulations is proposed. The structure of the SDE is inspired by stochastic Partial Differential Equations (SPDE) and thus contains an underlying Gaussian process which is the key of the algorithm. A series development of the solution in terms of iterated integrals of the Gaussian process is given, it is proved to converge - also in the infinite dimensional limit - and it is numerically tested in a number of examples.


title: Resonances in the one dimensional Stark effect in the limit of small field

abstract: We discuss the resonances of Hamiltonians with constant electric field in one dimension in the limit of small field. These resonances occur near the real axis, near zeros of the analytic continuation of a reflection coefficient for potential scattering, and near the line arg z = -2\pi/3. We calculate their asymptotics. In conclusion we make some remarks about the higher dimensional problem.


title: Case-Based Reasoning for Assisting Domain Experts in Processing Fraud Alerts of Black-Box Machine Learning Models

abstract: In many contexts, it can be useful for domain experts to understand to what extent predictions made by a machine learning model can be trusted. In particular, estimates of trustworthiness can be useful for fraud analysts who process machine learning-generated alerts of fraudulent transactions. In this work, we present a case-based reasoning (CBR) approach that provides evidence on the trustworthiness of a prediction in the form of a visualization of similar previous instances. Different from previous works, we consider similarity of local post-hoc explanations of predictions and show empirically that our visualization can be useful for processing alerts. Furthermore, our approach is perceived useful and easy to use by fraud analysts at a major Dutch bank.


title: Graphyti: A Semi-External Memory Graph Library for FlashGraph

abstract: Graph datasets exceed the in-memory capacity of most standalone machines. Traditionally, graph frameworks have overcome memory limitations through scale-out, distributing computing. Emerging frameworks avoid the network bottleneck of distributed data with Semi-External Memory (SEM) that uses a single multicore node and operates on graphs larger than memory. In SEM, $\mathcal{O}(m)$ data resides on disk and $\mathcal{O}(n)$ data in memory, for a graph with $n$ vertices and $m$ edges. For developers, this adds complexity because they must explicitly encode I/O within applications. We present principles that are critical for application developers to adopt in order to achieve state-of-the-art performance, while minimizing I/O and memory for algorithms in SEM. We present them in Graphyti, an extensible parallel SEM graph library built on FlashGraph and available in Python via pip. In SEM, Graphyti achieves 80% of the performance of in-memory execution and retains the performance of FlashGraph, which outperforms distributed engines, such as PowerGraph and Galois.


title: Search-Based Serving Architecture of Embeddings-Based Recommendations

abstract: Over the past 10 years, many recommendation techniques have been based on embedding users and items in latent vector spaces, where the inner product of a (user,item) pair of vectors represents the predicted affinity of the user to the item. A wealth of literature has focused on the various modeling approaches that result in embeddings, and has compared their quality metrics, learning complexity, etc. However, much less attention has been devoted to the issues surrounding productization of an embeddings-based high throughput, low latency recommender system. In particular, how the system might keep up with the changing embeddings as new models are learnt. This paper describes a reference architecture of a high-throughput, large scale recommendation service which leverages a search engine as its runtime core. We describe how the search index and the query builder adapt to changes in the embeddings, which often happen at a different cadence than index builds. We provide solutions for both id-based and feature-based embeddings, as well as for batch indexing and incremental indexing setups. The described system is at the core of a Web content discovery service that serves tens of billions recommendations per day in response to billions of user requests.


title: Reconstructing coronal hole areas with EUHFORIA and adapted WSA model: optimising the model parameters

abstract: The adopted WSA model embedded in EUHFORIA (EUropean Heliospheric FORecasting Information Asset) is compared to EUV observations. According to the standard paradigm coronal holes are sources of open flux thus we use remote sensing EUV observations and \textsc{catch} (Collection of Analysis Tools for Coronal Holes) to extract CH areas and compare them to the open flux areas modelled by EUHFORIA. From the adopted WSA model we employ only the Potential Field Source Surface (PFSS) model for the inner corona and the Schatten Current Sheet (SCS) model for the outer (PFSS+SCS). The height, $R_{\rm ss}$, of the outer boundary of the PFSS, known as the source surface, and the height, $R_{\rm i}$, of the inner boundary of the SCS are important parameters affecting the modelled CH areas. We investigate the impact the two model parameters can have in the modelled results. We vary $R_{\rm ss}$ within the interval [1.4, 3.2]$R_{\rm \odot}$ with a step of 0.1$R_{\rm \odot}$, and $R_{\rm i}$ within the interval [1.3, 2.8]$R_{\rm \odot}$ with the same step, and the condition that $R_{\rm i}<R_{\rm ss}$. This way we have a set of 184 initial parameters to the model and we assess the model results for all these possible height pairs. We conclude that the default heights used so far fail in modelling accurately CH areas and lower heights need to be considered.


title: Assessing Reliability and Challenges of Uncertainty Estimations for Medical Image Segmentation

abstract: Despite the recent improvements in overall accuracy, deep learning systems still exhibit low levels of robustness. Detecting possible failures is critical for a successful clinical integration of these systems, where each data point corresponds to an individual patient. Uncertainty measures are a promising direction to improve failure detection since they provide a measure of a system's confidence. Although many uncertainty estimation methods have been proposed for deep learning, little is known on their benefits and current challenges for medical image segmentation. Therefore, we report results of evaluating common voxel-wise uncertainty measures with respect to their reliability, and limitations on two medical image segmentation datasets. Results show that current uncertainty methods perform similarly and although they are well-calibrated at the dataset level, they tend to be miscalibrated at subject-level. Therefore, the reliability of uncertainty estimates is compromised, highlighting the importance of developing subject-wise uncertainty estimations. Additionally, among the benchmarked methods, we found auxiliary networks to be a valid alternative to common uncertainty methods since they can be applied to any previously trained segmentation model.


title: Bifurcations, time-series analysis of observables, and network properties in a tripartite quantum system

abstract: In a tripartite system comprising a $\Lambda$-atom interacting with two radiation fields in the presence of field nonlinearities and an intensity-dependent field-atom coupling, striking features have been shown to occur in the dynamics of the mean photon number $\aver{N_{i}(t)}$ ($i = 1,\,2$) corresponding to either field. In this Letter, we carry out a detailed time-series analysis and establish an interesting correlation between the short-time and long-time dynamics of $\aver{N_{i}(t)}$. Lyapunov exponents, return maps, recurrence plots, recurrence-time statistics, as well as the clustering coefficient and the transitivity of networks constructed from the time series, are studied as functions of the intensity parameter $\kappa$. These are shown to carry signatures of a special value $\kappa = \bar{\kappa}$. Our work also exhibits how techniques from nonlinear dynamics help analyze the behavior of observables in multipartite quantum systems.


title: "Chiral'' and "Non-chiral'' 3d Seiberg duality

abstract: We propose a Seiberg duality for a 3d $\mathcal{N}=2$ $Spin(7)$ gauge theory with $F$ spinor matters. For $F \ge 6$, the theory allows a magnetic dual description with an $SU(F-4)$ gauge group. The matter content on the magnetic side is ``chiral'' and the duality connects ``chiral'' and ``non-chiral'' 3d gauge theories. As a corollary, we can construct a Seiberg duality for a 3d $\mathcal{N}=2$ $G_2$ gauge theory with fundamental matters.


title: Family of closed-form solutions for two-dimensional correlated diffusion processes

abstract: Diffusion processes with boundaries are models of transport phenomena with wide applicability across many fields. These processes are described by their probability density functions (PDFs), which often obey Fokker-Planck equations (FPEs). While obtaining analytical solutions is often possible in the absence of boundaries, obtaining closed-form solutions to the FPE is more challenging once absorbing boundaries are present. As a result, analyses of these processes have largely relied on approximations or direct simulations. In this paper, we studied two-dimensional, time-homogeneous, spatially-correlated diffusion with linear, axis-aligned, absorbing boundaries. Our main result is the explicit construction of a full family of closed-form solutions for their PDFs using the method of images (MoI). We found that such solutions can be built if and only if the correlation coefficient $\rho$ between the two diffusing processes takes one of a numerable set of values. Using a geometric argument, we derived the complete set of $\rho$'s where such solutions can be found. Solvable $\rho$'s are given by $\rho = - \cos \left( \frac{\pi}{k} \right)$, where $k \in \mathbb{Z}^+ \cup \{ +\infty\}$. Solutions were validated in simulations. Qualitative behaviors of the process appear to vary smoothly over $\rho$, allowing extrapolation from our solutions to cases with unsolvable $\rho$'s.


title: Accessing high optical quality of MoS2 monolayers grown by chemical vapor deposition

abstract: Chemical vapor deposition (CVD) allows growing transition metal dichalcogenides (TMDs) over large surface areas on inexpensive substrates. In this work, we correlate the structural quality of CVD grown MoS$_2$ monolayers (MLs) on SiO$_2$/Si wafers studied by high-resolution transmission electron microscopy (HRTEM) with high optical quality revealed in optical emission and absorption from cryogenic to ambient temperatures. We determine a defect concentration of the order of 10$^{13}$ cm$^{-2}$ for our samples with HRTEM. To have access to the intrinsic optical quality of the MLs, we remove the MLs from the SiO$_2$ growth substrate and encapsulate them in hBN flakes with low defect density, to reduce the detrimental impact of dielectric disorder. We show optical transition linewidth of 5 meV at low temperature (T=4 K) for the free excitons in emission and absorption. This is comparable to the best ML samples obtained by mechanical exfoliation of bulk material. The CVD grown MoS$_2$ ML photoluminescence is dominated by free excitons and not defects even at low temperature. High optical quality of the samples is further confirmed by the observation of excited exciton states of the Rydberg series. We optically generate valley coherence and valley polarization in our CVD grown MoS$_2$ layers, showing the possibility for studying spin and valley physics in CVD samples of large surface area.


title: Fast and Provable ADMM for Learning with Generative Priors

abstract: In this work, we propose a (linearized) Alternating Direction Method-of-Multipliers (ADMM) algorithm for minimizing a convex function subject to a nonconvex constraint. We focus on the special case where such constraint arises from the specification that a variable should lie in the range of a neural network. This is motivated by recent successful applications of Generative Adversarial Networks (GANs) in tasks like compressive sensing, denoising and robustness against adversarial examples. The derived rates for our algorithm are characterized in terms of certain geometric properties of the generator network, which we show hold for feedforward architectures, under mild assumptions. Unlike gradient descent (GD), it can efficiently handle non-smooth objectives as well as exploit efficient partial minimization procedures, thus being faster in many practical scenarios.


title: Majority-logic Decoding with Subspace Designs

abstract: Rudolph (1967) introduced one-step majority logic decoding for linear codes derived from combinatorial designs. The decoder is easily realizable in hardware and requires that the dual code has to contain the blocks of so called geometric designs as codewords. Peterson and Weldon (1972) extended Rudolphs algorithm to a two-step majority logic decoder correcting the same number of errors than Reed's celebrated multi-step majority logic decoder. Here, we study the codes from subspace designs. It turns out that these codes have the same majority logic decoding capability as the codes from geometric designs, but their majority logic decoding complexity is sometimes drastically improved.


title: Manifolds homotopy equivalent to certain torus bundles over lens spaces

abstract: We compute the topological simple structure set of closed manifolds which occur as total spaces of flat bundles over lens spaces S^l/(Z/p) with fiber an n-dimensjional torus T^n for an odd prime p and l greater or equal to 3, provided that the induced Z/p-action on pi_1(T^n) = Z^n is free outside the origin. To the best of our knowledge this is the first computation of the structure set of a topological manifold whose fundamental group is not obtained from torsionfree and finite groups using amalgamated and HNN-extensions. We give a collection of classical surgery invariants such as splitting obstructions and rho-invariants which decide whether a simple homotopy equivalence from a closed topological manifold to M is homotopic to a homeomorphism.


title: Individual Regret in Cooperative Nonstochastic Multi-Armed Bandits

abstract: We study agents communicating over an underlying network by exchanging messages, in order to optimize their individual regret in a common nonstochastic multi-armed bandit problem. We derive regret minimization algorithms that guarantee for each agent $v$ an individual expected regret of $\widetilde{O}\left(\sqrt{\left(1+\frac{K}{\left|\mathcal{N}\left(v\right)\right|}\right)T}\right)$, where $T$ is the number of time steps, $K$ is the number of actions and $\mathcal{N}\left(v\right)$ is the set of neighbors of agent $v$ in the communication graph. We present algorithms both for the case that the communication graph is known to all the agents, and for the case that the graph is unknown. When the graph is unknown, each agent knows only the set of its neighbors and an upper bound on the total number of agents. The individual regret between the models differs only by a logarithmic factor. Our work resolves an open problem from [Cesa-Bianchi et al., 2019b].


title: On duplicate representations as $2^x + 3^y$ for nonnegative integers $x$ and $y$

abstract: We prove a conjecture posted in the Online Encyclopedia of Integer Sequences, namely that there are exactly five positive integers that can be written in more than one way as the sum of a nonnegative power of 2 and a nonnegative power of 3. The case for both powers being positive follows from a theorem of Bennett. We use elementary methods to prove the case where zero exponents are allowed.


title: 4D Liquid-phase Electron Microscopy of Ferritin by Brownian Single Particle Analysis

abstract: Protein function and activity are a consequence of its three-dimensional structure. Single particle analysis of cryogenic electron micrographs has radically changed structural biology allowing atomic reconstruction of almost any type of proteins. While such an approach provides snapshots of three-dimensional structural information that can be correlated with function, the new frontier of protein structural biology is in the fourth dimension, time. Here we propose the use of liquid phase electron microscopy to expand structural biology into dynamic studies. We apply here single particle analysis algorithm to images of proteins in Brownian motion through time; thus, Brownian single particle analysis (BSPA). BSPA enables to reduce the acquisition time from hours, in cryo-EM, to seconds and achieve information on conformational changes, hydration dynamics, and effects of thermal fluctuations. Yielding all these previously neglected aspects, BSPA may lead to the verge of a new field: dynamic structural biology.


title: Hairy Cantor sets

abstract: We introduce a topological object, called hairy Cantor set, which in many ways enjoys the universal features of objects like Jordan curve, Cantor set, Cantor bouquet, hairy Jordan curve, etc. We give an axiomatic characterisation of hairy Cantor sets, and prove that any two such objects in the plane are ambiently homeomorphic. Hairy Cantor sets appear in the study of the dynamics of holomorphic maps with infinitely many renormalisation structures. They are employed to link the fundamental concepts of polynomial-like renormalisation by Douady-Hubbard with the arithmetic conditions obtained by Herman-Yoccoz in the study of the dynamics of analytic circle diffeomorphisms.


title: Low-lying Geodesics in an Arithmetic Hyperbolic Three-Manifold

abstract: We examine closed geodesics in the quotient of hyperbolic three space by the discrete group of isometries SL(2,Z[i]). There is a correspondence between closed geodesics in the manifold, the complex continued fractions originally studied by Hurwitz, and binary quadratic forms over the Gaussian integers. According to this correspondence, a geodesic is called fundamental if the associated binary quadratic form is. Using techniques from sieve theory, symbolic dynamics, and the theory of expander graphs, we show the existence of a compact set in the manifold containing infinitely many fundamental geodesics.


title: Network analysis of synonymous codon usage

abstract: Most amino acids are encoded by multiple synonymous codons. For an amino acid, some of its synonymous codons are used much more rarely than others. Analyses of positions of such rare codons in protein sequences revealed that rare codons can impact co-translational protein folding and that positions of some rare codons are evolutionary conserved. Analyses of positions of rare codons in proteins' 3-dimensional structures, which are richer in biochemical information than sequences alone, might further explain the role of rare codons in protein folding. We analyze a protein set recently annotated with codon usage information, considering non-redundant proteins with sufficient structural information. We model the proteins' structures as networks and study potential differences between network positions of amino acids encoded by evolutionary conserved rare, evolutionary non-conserved rare, and commonly used codons. In 84% of the proteins, at least one of the three codon categories occupies significantly more or less network-central positions than the other codon categories. Different protein groups showing different codon centrality trends (i.e., different types of relationships between network positions of the three codon categories) are enriched in different biological functions, implying the existence of a link between codon usage, protein folding, and protein function.


title: Optimization of the atom interferometer phase produced by the set of cylindrical source masses to measure the Newtonian gravity constant

abstract: An analytical expression for the gravitational field of a homogeneous cylinder is derived. The phase of the atom interferometer produced by the gravity field of the set of cylinders has been calculated. The optimal values of the initial positions and velocities of atomic clouds were obtained. It is shown that at equal sizes of the atomic cloud in the vertical and transverse directions, as well as at equal atomic vertical and transverse temperatures, systematic errors due to the finite size and temperature of the cloud disappear. To overcome the influence of the Earth gravitational field on the accuracy of the phase double difference measurement, it is proposed to use the technique of eliminating gravity-gradient terms. After eliminating, one can use extreme values of the atomic positions and velocities. Nonlinear dependences of the phase on the uncertainties of atomic positions and velocities near those extreme values required us to modify the expression for the standard phase deviation. Moreover, such dependences lead to a phase shift, which was also calculated. The relative accuracy of measurements of Newtonian gravitational constant 10^-4 and 2*10^-5 is predicted for sets of 24 and 630 cylinders, respectively.


title: TMDs and Monte Carlo Event Generators

abstract: We discuss prospects for Monte Carlo event generators incorporating the dynamics of transverse momentum dependent (TMD) parton distribution functions. We illustrate TMD evolution in the parton branching formalism, and present Monte Carlo applications of the method.


title: Simulations Find Our Accounting of Dust-Obscured Star Formation May Be Incomplete

abstract: The bulk of the star-formation rate density peak at cosmic noon was obscured by dust. How accurately we can assess the role of dust obscured star-formation is affected by inherent biases in our empirical methods -- both those that rely on direct dust emission and those that rely on the inferred dust attenuation of starlight. We use a library of hydrodynamic simulations with radiative transfer to explore these biases. We find that for IR luminous galaxies that are in rapidly quenching systems (e.g. post-coalescence) standard luminosity-to-SFR relations can strongly overestimate the true SFRs. We propose using the $L_{IR}/L_{1.6}$ color to both help identify such systems and provide more accurate SFRs. Conversely, we find that the diagnostic UVJ plot misidentifies a subset of dusty star-forming galaxies. This is due to variability in the effective attenuation curves including being much grayer in the optical-to-near-IR regime than the Calzetti starburst law. This is in agreement with recent observations of IR-selected galaxies at cosmic noon. Our results support the view that we need a panchromatic approach from the rest-frame UV through the IR and SED modeling that includes realistic SFHs and allows for variable attenuation curves if we want to fully account for dust obscured star-formation across the epochs of greatest galaxy build-up.


title: Improving Detection of Credit Card Fraudulent Transactions using Generative Adversarial Networks

abstract: In this study, we employ Generative Adversarial Networks as an oversampling method to generate artificial data to assist with the classification of credit card fraudulent transactions. GANs is a generative model based on the idea of game theory, in which a generator G and a discriminator D are trying to outsmart each other. The objective of the generator is to confuse the discriminator. The objective of the discriminator is to distinguish the instances coming from the generator and the instances coming from the original dataset. By training GANs on a set of credit card fraudulent transactions, we are able to improve the discriminatory power of classifiers. The experiment results show that the Wasserstein-GAN is more stable in training and produce more realistic fraudulent transactions than the other GANs. On the other hand, the conditional version of GANs in which labels are set by k-means clustering does not necessarily improve the non-conditional versions of GANs.


title: Reproducible Execution of POSIX Programs with DiOS

abstract: In this paper, we describe DiOS, a lightweight model operating system which can be used to execute programs that make use of POSIX APIs. Such executions are fully reproducible: running the same program with the same inputs twice will result in two exactly identical instruction traces, even if the program uses threads for parallelism. DiOS is implemented almost entirely in portable C and C++: although its primary platform is DiVM, a verification-oriented virtual machine, it can be configured to also run in KLEE, a symbolic executor. Finally, it can be compiled into machine code to serve as a user-mode kernel. Additionally, DiOS is modular and extensible. Its various components can be combined to match both the capabilities of the underlying platform and to provide services required by a particular program. New components can be added to cover additional system calls or APIs. The experimental evaluation has two parts. DiOS is first evaluated as a component of a program verification platform based on DiVM. In the second part, we consider its portability and modularity by combining it with the symbolic executor KLEE.


title: Some remarks on products of sets in the Heisenberg group and in the affine group

abstract: We obtain some new results on products of large and small sets in the Heisenberg group as well as in the affine group over the prime field. Also, we derive an application of these growth results to Freiman's isomorphism in nonabelian groups.


title: Measurement Optimization in the Variational Quantum Eigensolver Using a Minimum Clique Cover

abstract: Solving the electronic structure problem using the Variational Quantum Eigensolver (VQE) technique involves measurement of the Hamiltonian expectation value. Current hardware can perform only projective single-qubit measurements, and thus, the Hamiltonian expectation value is obtained by measuring parts of the Hamiltonian rather than the full Hamiltonian. This restriction makes the measurement process inefficient because the number of terms in the Hamiltonian grows as $O(N^4)$ with the size of the system, $N$. To optimize VQE measurement one can try to group as many Hamiltonian terms as possible for their simultaneous measurement. Single-qubit measurements allow one to group only the terms that commute within corresponding single-qubit subspaces or qubit-wise commuting. We found that qubit-wise commutativity between the Hamiltonian terms can be expressed as a graph and the problem of the optimal grouping is equivalent of finding a minimum clique cover (MCC) for the Hamiltonian graph. The MCC problem is NP-hard but there exist several polynomial heuristic algorithms to solve it approximately. Several of these heuristics were tested in this work for a set of molecular electronic Hamiltonians. On average, grouping qubit-wise commuting terms reduced the number of operators to measure three times compared to the total number of terms in the considered Hamiltonians.


title: On ultraproduct embeddings and amenability for tracial von Neumann algebras

abstract: We define the notion of self-tracial stability for tracial von Neumann algebras and show that a tracial von Neumann algebra satisfying the Connes Embedding Problem is self-tracially stable if and only if it is amenable. We then generalize a result of Jung by showing that a separable tracial von Neumann algebra that satisfies the Connes Embedding Problem is amenable if and only if any two embeddings into $R^\mathcal{U}$ are ucp-conjugate. Moreover we show that for a II$_1$ factor $N$ satisfying CEP, the space $\mathbb{H}$om$(N, \prod_{k\to \mathcal{U}}M_k)$ of unitary equivalence classes of embeddings is separable if and only $N$ is hyperfinite. This resolves a question of Popa for Connes embeddable factors. These results hold when we further ask that the pairs of embeddings commute, admitting a nontrivial action of $\text{Out}(N\otimes N)$ on $\mathbb{H}$om$(N\otimes N, \prod_{k\to \mathcal{U}}M_k)$ whenever $N$ is non-amenable. We also obtain an analogous result for commuting sofic representations of countable sofic groups.


title: Evidence against naive truncations of the OPE from $e^+e^- \to$ hadrons below charm

abstract: The operator product expansion (OPE), truncated in dimension, is employed in many contexts. An example is the extraction of the strong coupling, $\alpha_s$, from hadronic $\tau$-decay data, using a variety of analysis methods based on finite-energy sum rules. Here, we reconsider a long-used method, which parametrizes non-perturbative contributions to the $I=1$ vector and axial vacuum polarizations with the OPE, setting several higher-dimension coefficients to zero in order to implement the method in practice. The assumption that doing this has a negligible effect on the value of $\alpha_s$ is tantamount to the assumption that the low-dimension part of the OPE converges rapidly with increasing dimension near the $\tau$ mass. Were this assumption valid, it would certainly have to be valid at energies above the $\tau$ mass as well. It follows that the method can be tested using data obtained from $e^+e^-\to\mbox{hadrons}$, as they are not limited by the kinematic constraints of $\tau$ decays. We carry out such an investigation using a recent high-precision compilation for the $R$-ratio, arguing that it provides insights into the validity of the strategy, even if it probes a different, though related channel. We find that $e^+e^-$-based tests call into question the implied assumption of rapid convergence of the low-dimension part of the OPE around the $\tau$ mass, and thus underscore the need to restrict finite-energy sum-rule analyses to observables which receive only contributions from lower-order terms in the OPE.


title: Copula & Marginal Flows: Disentangling the Marginal from its Joint

abstract: Deep generative networks such as GANs and normalizing flows flourish in the context of high-dimensional tasks such as image generation. However, so far exact modeling or extrapolation of distributional properties such as the tail asymptotics generated by a generative network is not available. In this paper, we address this issue for the first time in the deep learning literature by making two novel contributions. First, we derive upper bounds for the tails that can be expressed by a generative network and demonstrate Lp-space related properties. There we show specifically that in various situations an optimal generative network does not exist. Second, we introduce and propose copula and marginal generative flows (CM flows) which allow for an exact modeling of the tail and any prior assumption on the CDF up to an approximation of the uniform distribution. Our numerical results support the use of CM flows.


title: "Predator and prey" model revisited -- influence of external fluxes and noise

abstract: In this paper, we suggest two ways of modifications, which seem natural: a) we will introduce sponsors/hunters of predators or/and preys with "license" for constant rate of sponsoring/hunting (regular external fluxes); b) we will introduce noise of kinetic coefficients.


title: JT Gravity and the Ensembles of Random Matrix Theory

abstract: We generalize the recently discovered relationship between JT gravity and double-scaled random matrix theory to the case that the boundary theory may have time-reversal symmetry and may have fermions with or without supersymmetry. The matching between variants of JT gravity and matrix ensembles depends on the assumed symmetries. Time-reversal symmetry in the boundary theory means that unorientable spacetimes must be considered in the bulk. In such a case, the partition function of JT gravity is still related to the volume of the moduli space of conformal structures, but this volume has a quantum correction and has to be computed using Reidemeister-Ray-Singer "torsion." Presence of fermions in the boundary theory (and thus a symmetry $(-1)^F$) means that the bulk has a spin or pin structure. Supersymmetry in the boundary means that the bulk theory is associated to JT supergravity and is related to the volume of the moduli space of super Riemann surfaces rather than of ordinary Riemann surfaces. In all cases we match JT gravity or supergravity with an appropriate random matrix ensemble. All ten standard random matrix ensembles make an appearance -- the three Dyson ensembles and the seven Altland-Zirnbauer ensembles. To facilitate the analysis, we extend to the other ensembles techniques that are most familiar in the case of the original Wigner-Dyson ensemble of hermitian matrices. We also generalize Mirzakhani's recursion for the volumes of ordinary moduli space to the case of super Riemann surfaces.


title: Pseudo-dualizing complexes of bicomodules and pairs of t-structures

abstract: This paper is a coalgebra version of arXiv:1703.04266 and a sequel to arXiv:1607.03066. We present the definition of a pseudo-dualizing complex of bicomodules over a pair of coassociative coalgebras $\mathcal C$ and $\mathcal D$. For any such complex $\mathcal L^\bullet$, we construct a triangulated category endowed with a pair of (possibly degenerate) t-structures of the derived type, whose hearts are the abelian categories of left $\mathcal C$-comodules and left $\mathcal D$-contramodules. A weak version of pseudo-derived categories arising out of (co)resolving subcategories in abelian/exact categories with enough homotopy adjusted complexes is also considered. Quasi-finiteness conditions for coalgebras, comodules, and contramodules are discussed as a preliminary material.


title: New deterministic approaches to the least square mean

abstract: In this paper we presents new deterministic approximations to the least square mean, also called geometric mean or barycenter of a finite collection of positive definite matrices. Let A1, A2, ..., Am be any elements of Md(C)+, where the set Md(C)+ is the open cone in the real vector space of selfadjoint matrices H(n). We consider a sequence of blocks of m matrices, that is,(A1, ..., Am, A1, ...,Am, A1, ...,Am, ...). We take a permutation on every block and then take the usual inductive mean of that new sequence. The main result of this work is that the inductive mean of this block permutation sequence approximate the least square mean on Md(C)+. This generalizes a Theorem obtain by Holbrook. Even more, we have an estimate for the rate of convergence.


title: Compounding meta-atoms into meta-molecules with hybrid artificial intelligence techniques

abstract: Molecules composed of atoms exhibit properties not inherent to their constituent atoms. Similarly, meta-molecules consisting of multiple meta-atoms possess emerging features that the meta-atoms themselves do not possess. Metasurfaces composed of meta-molecules with spatially variant building blocks, such as gradient metasurfaces, are drawing substantial attention due to their unconventional controllability of the amplitude, phase, and frequency of light. However, the intricate mechanisms and the large degrees of freedom of the multi-element systems impede an effective strategy for the design and optimization of meta-molecules. Here, we propose a hybrid artificial intelligence-based framework consolidating compositional pattern-producing networks and cooperative coevolution to resolve the inverse design of meta-molecules in metasurfaces. The framework breaks the design of the meta-molecules into separate designs of meta-atoms, and independently solves the smaller design tasks of the meta-atoms through deep learning and evolutionary algorithms. We leverage the proposed framework to design metallic meta-molecules for arbitrary manipulation of the polarization and wavefront of light. Moreover, the efficacy and reliability of the design strategy are confirmed through experimental validations. This framework reveals a promising candidate approach to expedite the design of large-scale metasurfaces in a labor-saving, systematic manner.


title: ExoMol line list XXXIV: A Rovibrational Line List for Phosphinidene (PH) in its $X\,{}^3\Sigma^-$ and $a\,{}^1\Delta$ Electronic States

abstract: A rovibronic line list for the ground ($X$ $^3\Sigma^-$) and first excited ($a$ $^1\Delta$) states of phosphinidene, $^{31}$PH, is computed. The line list is designed for studies of exoplanetary and cool stellar atmospheres with temperatures up to 4000 K. A combination of empirical and ab initio data are used to produce the line list: potential energy curves (PECs) are fitted using experimental transition frequencies; these transitions are reproduced with a root mean square error of 0.01 cm$^{-1}$. The nuclear Schr\"{o}dinger is solved using these PECs plus Born-Oppenheimer and spin splitting correction terms. Line intensities and Einstein $A$ coefficients are computed using ab initio Dipole Moment Curves (DMC) $X$-$X$ and $a$-$a$. The resulting LaTY line list, which contains 65055 transitions for 2528 rovibronic states up to 24500 cm$^{-1}$ and $J=80$ is used to simulate spectra in emission and absorption at a range of temperatures. The line list is made available in electronic form at the CDS and ExoMol databases.


title: Minimal curves in U(n) and Gl(n)+ with respect to the spectral and the trace norms

abstract: Consider the Lie group of n x n complex unitary matrices U(n) endowed with the bi-invariant Finsler metric given by the spectral norm, ||X||_U = ||U*X||_{sp} = ||X||_{sp} for any X tangent to a unitary operator U. Given two points in U(n), in general there exists infinitely many curves of minimal length. The aim of this paper is to provide a complete description of such curves. As a consequence of this description, we conclude that there is a unique curve of minimal length between U and V if and only if the spectrum of U*V is contained in a set of the form \{e^{i \theta}, e^{-i \theta}\} for some \theta \in [0, \infty). Similar studies are done for the Grassmann manifolds. Now consider the cone of n x n positive invertible matrices Gl(n)+ endowed with the bi-invariant Finsler metric given by the trace norm, ||X||_{1, A} = ||A^{-1/2}XA^{-1/2}||_1 for any X tangent to A \in Gl(n)+. In this context, given two points A,B \in Gl(n)+ there exists infinitely many curves of minimal length. In order to provide a complete description of such curves, we provide a characterization of the minimal curves joining two Hermitian matrices X, Y \in H(n). As a consequence of the last description, we provide a way to construct minimal paths in the group of unitary matrices U(n) endowed with the bi-invariant Finsler metric ||X||_{1, U} = ||U*X||_{1} = ||X||_{1} for any X tangent to U \in U(n). We also study the set of intermediate points in all the previous contexts. Between two given unitary matrices U and V we prove that this set is geodesically convex provided ||U - V||_{sp} < 1. In Gl(n)+ this set is geodesically convex for every unitarily invariant norm.


title: The energy of a simplicial complex

abstract: A finite abstract simplicial complex G defines a matrix L, where L(x,y)=1 if two simplicies x,y in G intersect and where L(x,y)=0 if they don't. This matrix is always unimodular so that the inverse g of L has integer entries g(x,y). In analogy to Laplacians on Euclidean spaces, these Green function entries define a potential energy between two simplices x,y. We prove that the total energy summing all matrix elements g(x,y) is equal to the Euler characteristic X(G) of G and that the number of positive minus the number of negative eigenvalues of L is equal to X(G).


title: Artificial Intelligence Alter Egos: Who benefits from Robo-investing?

abstract: Artificial intelligence, or AI, enhancements are increasingly shaping our daily lives. Financial decision-making is no exception to this. We introduce the notion of AI Alter Egos, which are shadow robo-investors, and use a unique data set covering brokerage accounts for a large cross-section of investors over a sample from January 2003 to March 2012, which includes the 2008 financial crisis, to assess the benefits of robo-investing. We have detailed investor characteristics and records of all trades. Our data set consists of investors typically targeted for robo-advising. We explore robo-investing strategies commonly used in the industry, including some involving advanced machine learning methods. The man versus machine comparison allows us to shed light on potential benefits the emerging robo-advising industry may provide to certain segments of the population, such as low income and/or high risk averse investors.


title: A coupled-channel lattice study on the resonance-like structure $Z_c(3900)$

abstract: In this exploratory study, near-threshold scattering of $D$ and $\bar{D}^*$ meson is investigated using lattice QCD with $N_f=2+1+1$ twisted mass fermion configurations. The calculation is performed within the coupled-channel L\"uscher's finite-size formalism. The study focuses on the channel with $I^G(J^{PC})=1^+(1^{+-})$ where the resonance-like structure $Z_c(3900)$ was discovered. We first identify the most relevant two channels of the problem and the lattice study is performed within the two-channel scattering model. Combined with a two-channel Ross-Shaw theory, scattering parameters are extracted from the energy levels by solving the generalized eigenvalue problem. Our results on the scattering length parameters suggest that, at the particular lattice parameters that we studied, the best fitted parameters do not correspond to a peak behavior in the elastic scattering cross section near the threshold. Furthermore, within the zero-range Ross-Shaw theory, the scenario of a narrow resonance close to the threshold is disfavored beyond $3\sigma$ level.


title: QUOTIENT: Two-Party Secure Neural Network Training and Prediction

abstract: Recently, there has been a wealth of effort devoted to the design of secure protocols for machine learning tasks. Much of this is aimed at enabling secure prediction from highly-accurate Deep Neural Networks (DNNs). However, as DNNs are trained on data, a key question is how such models can be also trained securely. The few prior works on secure DNN training have focused either on designing custom protocols for existing training algorithms, or on developing tailored training algorithms and then applying generic secure protocols. In this work, we investigate the advantages of designing training algorithms alongside a novel secure protocol, incorporating optimizations on both fronts. We present QUOTIENT, a new method for discretized training of DNNs, along with a customized secure two-party protocol for it. QUOTIENT incorporates key components of state-of-the-art DNN training such as layer normalization and adaptive gradient methods, and improves upon the state-of-the-art in DNN training in two-party computation. Compared to prior work, we obtain an improvement of 50X in WAN time and 6% in absolute accuracy.


title: Privacy-Preserving Classification with Secret Vector Machines

abstract: Today, large amounts of valuable data are distributed among millions of user-held devices, such as personal computers, phones, or Internet-of-things devices. Many companies collect such data with the goal of using it for training machine learning models allowing them to improve their services. User-held data is, however, often sensitive, and collecting it is problematic in terms of privacy. We address this issue by proposing a novel way of training a supervised classifier in a distributed setting akin to the recently proposed federated learning paradigm, but under the stricter privacy requirement that the server that trains the model is assumed to be untrusted and potentially malicious. We thus preserve user privacy by design, rather than by trust. In particular, our framework, called secret vector machine (SecVM), provides an algorithm for training linear support vector machines (SVM) in a setting in which data-holding clients communicate with an untrusted server by exchanging messages designed to not reveal any personally identifiable information. We evaluate our model in two ways. First, in an offline evaluation, we train SecVM to predict user gender from tweets, showing that we can preserve user privacy without sacrificing classification performance. Second, we implement SecVM's distributed framework for the Cliqz web browser and deploy it for predicting user gender in a large-scale online evaluation with thousands of clients, outperforming baselines by a large margin and thus showcasing that SecVM is suitable for production environments.


title: Real hypersurfaces in the complex hyperbolic quadric with Reeb parallel structure Jacobi operator

abstract: We introduce the notion of Reeb parallel structure Jacobi operator for real hypersurfaces in the complex hyperbolic quadric ${Q^*}^m=SO^0_{2,m}/SO_2 SO_m$, $m \geq 3$, and give a classification theory for real hypersurfaces in ${{Q^*}^m}$, $m \geq 3$, with Reeb parallel structure Jacobi operator.


title: A randomly weighted minimum arborescence with a random cost constraint

abstract: We study the minimum spanning arborescence problem on the complete digraph $\vec{K}_n$ where an edge $e$ has a weight $W_e$ and a cost $C_e$, each of which is an independent uniform random variable $U^\alpha$ where $\alpha\leq 1$ and $U$ is uniform $[0,1]$. There is also a constraint that the spanning arborescence $T$ must satisfy $C(T)\leq c_0$. We establish, for a range of values for $c_0,\alpha$, the asymptotic value of the optimum weight via the consideration of a dual problem.


title: Optimizing configurations for determining the magnetic model based on ab-initio calculations

abstract: In this paper, it is presented a novel strategy to optimize the determination of magnetic couplings by using ab-initio calculations of the energy. This approach allows determining efficiently, in terms of a proposed effective magnetic spin model, an optimal set of magnetic configurations to be simulated by DFT methods. Moreover, a procedure to estimate the values of the coupling constants and their error bounds from the estimated energies is proposed. This method, based on Monte Carlo sampling, takes into account the accuracy of the ab - initio simulations. A strategy to refine models reusing previously computed configuration energies is also presented. We apply the method to determine a magnetic model for the recently synthesized material Bi$_3$Mn$_4$O$_{12}$(NO$_3$). Finally, an open source software that implements and automatizes the whole process is presented.

categories: cond-mat.str-el cond-mat.mtrl-sci physics.atom-ph quant-ph


title: A search for multi-planet systems with TESS using a Bayesian N-body retrieval and machine learning

abstract: Transiting exoplanets in multi-planet systems exhibit non-Keplerian orbits as a result of the gravitational influence from companions which can cause the times and durations of transits to vary. The amplitude and periodicity of the transit time variations (TTV) are characteristic of the perturbing planet's mass and orbit. The objects of interest (TOI) from the Transiting Exoplanet Survey Satellite (TESS) are analyzed in a uniform way to search for TTVs with sectors 1-3 of data. Due to the volume of targets in the TESS candidate list, artificial intelligence is used to expedite the search for planets by vetting non-transit signals prior to characterizing the light curve time series. The residuals of fitting a linear orbit ephemeris are used to search for transit timing variations. The significance of a perturbing planet is assessed by comparing the Bayesian evidence between a linear and non-linear ephemeris, which is based on an N-body simulation. Nested sampling is used to derive posterior distributions for the N-body ephemeris and in order to expedite convergence custom priors are designed using machine learning. A dual input, multi-output convolutional neural network is designed to predict the parameters of a perturbing body given the known parameters and measured perturbation (O-C). There is evidence for 3 new multi-planet candidates (WASP-18, WASP-126, TOI-193) with non-transiting companions using the 2 minute cadence observations from TESS. This approach can be used to identify multi-planet systems and stars in need of longer radial velocity and photometric follow-up than those already performed.


title: Partial Discharge Detection on Aerial Covered Conductors Using Time-Series Decomposition and Long Short-term Memory Network

abstract: Nowadays, aerial covered conductors (CC) are increasingly used in many places of the world due to their higher operational reliability, reduced construction space and effective protection for wildlife animals. In spite of these advantages, a major challenge of using CC is that the ordinary upstream protection devices are not able to detect the phase-to-ground faults and the frequent tree/tree branch hitting conductor events on such conductors. This is because these events only lead to partial discharge (PD) activities rather than overcurrent signatures typically seen on bare conductors. To solve this problem, in recent years, ENET Center in Czech Republic (ENET) devised a simple meter to measure the voltage signal of the electric stray field along CC, aiming to detect the above hazardous PD activities. In 2018, ENET shared a large amount of waveform data recorded by their meter on Kaggle, the world's largest data science collaboration platform, encouraging worldwide experts to develop an effective pattern recognition method for the acquired signals. In response, we developed a unique method based on time-series decomposition and Long Short-Term Memory Network (LSTM) in addition to unique feature engineering process to recognize PD activities on CC. The proposed method is tested on the ENET public dataset and compared to various traditional classification methods. It demonstrated superior performance and great practicality.


title: Theory of elastic neutrino-electron scattering

abstract: Theoretical predictions for elastic neutrino-electron scattering have no hadronic or nuclear uncertainties at leading order making this process an important tool for normalizing neutrino flux. However, the process is subject to large radiative corrections that differ according to experimental conditions. In this paper, we collect new and existing results for total and differential cross sections accompanied by radiation of one photon, $\nu e \to \nu e (\gamma)$. We perform calculations within the Fermi effective theory and provide analytic expressions for the electron energy spectrum and for the total electromagnetic energy spectrum as well as for double- and triple-differential cross sections with respect to electron energy, electron angle, photon energy, and photon angle. We discuss illustrative applications to accelerator-based neutrino experiments and provide the most precise up-to-date values of neutrino-electron scattering cross sections. We present an analysis of theoretical error, which is dominated by the $\sim 0.2 - 0.4\%$ uncertainty of the hadronic correction. We also discuss how searches for new physics can be affected by radiative corrections.


title: Dynamical axion state with hidden pseudospin Chern numbers in MnBi$_{2}$Te$_{4}$-based heterostructures

abstract: Axion is a hypothetical elementary particle which was initially postulated to solve the charge conjugation-parity problem in particle physics. Interestingly, the axion state has emerged in effective theory of topological insulators and has attracted extensive attention in condensed matter physics. Time-reversal or inversion symmetry constrains the axion field $\theta$ to be quantized. When both the time-reversal and inversion symmetries are broken by, say, an antiferromagnetic order, the axion field $\theta$ could become unquantized and dynamical along with magnetic fluctuations, which is termed the dynamical axion field. Here, we reveal that a wide class of topological-insulator-based dynamical axion states could be distinguished from the normal-insulator-based ones by a hidden quantity derived from the pseudospin Chern number. Motivated by recent research on MnBi$_{2}$Te$_{4}$-family materials, we further show that such topological-insulator-based dynamical axion states can be hopefully achieved in MnBi$_{2}$Te$_{4}$-based heterostructures, which should greatly facilitate the study of axion electrodynamics in condensed matter physics.


title: Travel Time Estimation without Road Networks: An Urban Morphological Layout Representation Approach

abstract: Travel time estimation is a crucial task for not only personal travel scheduling but also city planning. Previous methods focus on modeling toward road segments or sub-paths, then summing up for a final prediction, which have been recently replaced by deep neural models with end-to-end training. Usually, these methods are based on explicit feature representations, including spatio-temporal features, traffic states, etc. Here, we argue that the local traffic condition is closely tied up with the land-use and built environment, i.e., metro stations, arterial roads, intersections, commercial area, residential area, and etc, yet the relation is time-varying and too complicated to model explicitly and efficiently. Thus, this paper proposes an end-to-end multi-task deep neural model, named Deep Image to Time (DeepI2T), to learn the travel time mainly from the built environment images, a.k.a. the morphological layout images, and showoff the new state-of-the-art performance on real-world datasets in two cities. Moreover, our model is designed to tackle both path-aware and path-blind scenarios in the testing phase. This work opens up new opportunities of using the publicly available morphological layout images as considerable information in multiple geography-related smart city applications.


title: Etalumis: Bringing Probabilistic Programming to Scientific Simulators at Scale

abstract: Probabilistic programming languages (PPLs) are receiving widespread attention for performing Bayesian inference in complex generative models. However, applications to science remain limited because of the impracticability of rewriting complex scientific simulators in a PPL, the computational cost of inference, and the lack of scalable implementations. To address these, we present a novel PPL framework that couples directly to existing scientific simulators through a cross-platform probabilistic execution protocol and provides Markov chain Monte Carlo (MCMC) and deep-learning-based inference compilation (IC) engines for tractable inference. To guide IC inference, we perform distributed training of a dynamic 3DCNN--LSTM architecture with a PyTorch-MPI-based framework on 1,024 32-core CPU nodes of the Cori supercomputer with a global minibatch size of 128k: achieving a performance of 450 Tflop/s through enhancements to PyTorch. We demonstrate a Large Hadron Collider (LHC) use-case with the C++ Sherpa simulator and achieve the largest-scale posterior inference in a Turing-complete PPL.


title: Continuous-variable measurement-device-independent quantum key distribution via quantum catalysis

abstract: The continuous-variable measurement-device-independent quantum key distribution (CV-MDI-QKD) is a promising candidate for the immunity to side-channel attacks, but unfortunately seems to face the limitation of transmission distance in contrast to discrete-variable (DV) counterpart. In this paper, we suggest a method of improving the performance of CV-MDI-QKD involving the achievable secret key rate and transmission distance by using zero-photon catalysis (ZPC), which is indeed a noiseless attenuation process. The numerical stimulation results show that the transmission distance of ZPC-based CV-MDI-QKD under the extreme asymmetric case is better than that of the original protocol. Attractively, in contrast to the previous single-photon subtraction (SPS)-based CV-MDI-QKD, the proposed scheme enables a higher secret key rate and a longer transmission distance. In particular, the ZPC-based CV-MDI-QKD can tolerate more imperfections of detectors than both the original protocol and the SPS-based CV-MDI-QKD.


title: Fragmentation of Filamentary Cloud Permeated by Perpendicular Magnetic Field II. Dependence on the Initial Density Profile

abstract: We examine the linear stability of a filamentary cloud permeated by a perpendicular magnetic field. The initial magnetic field is assumed to be uniform and perpendicular to the cloud axis. The model cloud is assumed to have a Plummer-like density profile and to be supported against the self-gravity by turbulence. The effects of turbulence are taken into account by enhancing the effective pressure of a low density gas. We derive the effective pressure as a function of the density from the condition of the hydrostatic balance. It is shown that the model cloud is more unstable against radial collapse, when the radial density slope is shallower. When the magnetic field is mildly strong, the radial collapse is suppressed. If the displacement vanishes in the region very far from the cloud axis, the model cloud is stabilized completely by a mildly strong magnetic field. If rearrangement of the magnetic flux tubes is permitted, the model cloud is unstable even when the magnetic field is extremely strong. The stability depends on the outer boundary condition as in case of the isothermal cloud. The growth rate of the rearrangement mode is smaller when the radial density slope is shallower.


title: Modeling Symmetric Positive Definite Matrices with An Application to Functional Brain Connectivity

abstract: In neuroscience, functional brain connectivity describes the connectivity between brain regions that share functional properties. Neuroscientists often characterize it by a time series of covariance matrices between functional measurements of distributed neuron areas. An effective statistical model for functional connectivity and its changes over time is critical for better understanding the mechanisms of brain and various neurological diseases. To this end, we propose a matrix-log mean model with an additive heterogeneous noise for modeling random symmetric positive definite matrices that lie in a Riemannian manifold. The heterogeneity of error terms is introduced specifically to capture the curved nature of the manifold. We then propose to use the local scan statistics to detect change patterns in the functional connectivity. Theoretically, we show that our procedure can recover all change points consistently. Simulation studies and an application to the Human Connectome Project lend further support to the proposed methodology.


title: Further results on some classes of permutation polynomials over finite fields

abstract: Let $\mathbb{F}_q$ denote the finite fields with $q$ elements. The permutation behavior of several classes of infinite families of permutation polynomials over finite fields have been studied in recent years. In this paper, we continue with their studies, and get some further results about the permutation properties of the permutation polynomials. Also, some new classes of permutation polynomials are constructed. For these, we alter the coefficients, exponents or the underlying fields, etc.


title: Learning Structural Graph Layouts and 3D Shapes for Long Span Bridges 3D Reconstruction

abstract: A learning-based 3D reconstruction method for long-span bridges is proposed in this paper. 3D reconstruction generates a 3D computer model of a real object or scene from images, it involves many stages and open problems. Existing point-based methods focus on generating 3D point clouds and their reconstructed polygonal mesh or fitting-based geometrical models in urban scenes civil structures reconstruction within Manhattan world constrains and have made great achievements. Difficulties arise when an attempt is made to transfer these systems to structures with complex topology and part relations like steel trusses and long-span bridges, this could be attributed to point clouds are often unevenly distributed with noise and suffer from occlusions and incompletion, recovering a satisfactory 3D model from these highly unstructured point clouds in a bottom-up pattern while preserving the geometrical and topological properties makes enormous challenge to existing algorithms. Considering the prior human knowledge that these structures are in conformity to regular spatial layouts in terms of components, a learning-based topology-aware 3D reconstruction method which can obtain high-level structural graph layouts and low-level 3D shapes from images is proposed in this paper. We demonstrate the feasibility of this method by testing on two real long-span steel truss cable-stayed bridges.


title: Rate of convergence towards equations of Hartree type for mixture condensates with factorized initial data

abstract: We consider a system of $p$ components of bosons, each of which consists of $N_{1},N_{2},\dots,N_{p}$ particles, respectively. The bosons are in three dimensions with interactions via a generalized interaction potential which includes the Coulomb interaction. We set the initial condition to describe a mixture condensate, i.e., a tensor product of factorized states. We show that the difference between the many-body Schr\"odinger evolution in the mean-field regime and the corresponding $p$-particle dynamics due to a system of Hartree equation is $O(N^{-1})$ where $N=\sum_{q=1}^{p}N_{q}$.


title: Blending-target Domain Adaptation by Adversarial Meta-Adaptation Networks

abstract: (Unsupervised) Domain Adaptation (DA) seeks for classifying target instances when solely provided with source labeled and target unlabeled examples for training. Learning domain-invariant features helps to achieve this goal, whereas it underpins unlabeled samples drawn from a single or multiple explicit target domains (Multi-target DA). In this paper, we consider a more realistic transfer scenario: our target domain is comprised of multiple sub-targets implicitly blended with each other, so that learners could not identify which sub-target each unlabeled sample belongs to. This Blending-target Domain Adaptation (BTDA) scenario commonly appears in practice and threatens the validities of most existing DA algorithms, due to the presence of domain gaps and categorical misalignments among these hidden sub-targets. To reap the transfer performance gains in this new scenario, we propose Adversarial Meta-Adaptation Network (AMEAN). AMEAN entails two adversarial transfer learning processes. The first is a conventional adversarial transfer to bridge our source and mixed target domains. To circumvent the intra-target category misalignment, the second process presents as ``learning to adapt'': It deploys an unsupervised meta-learner receiving target data and their ongoing feature-learning feedbacks, to discover target clusters as our ``meta-sub-target'' domains. These meta-sub-targets auto-design our meta-sub-target DA loss, which empirically eliminates the implicit category mismatching in our mixed target. We evaluate AMEAN and a variety of DA algorithms in three benchmarks under the BTDA setup. Empirical results show that BTDA is a quite challenging transfer setup for most existing DA algorithms, yet AMEAN significantly outperforms these state-of-the-art baselines and effectively restrains the negative transfer effects in BTDA.


title: Augmenting Knowledge through Statistical, Goal-oriented Human-Robot Dialog

abstract: Some robots can interact with humans using natural language, and identify service requests through human-robot dialog. However, few robots are able to improve their language capabilities from this experience. In this paper, we develop a dialog agent for robots that is able to interpret user commands using a semantic parser, while asking clarification questions using a probabilistic dialog manager. This dialog agent is able to augment its knowledge base and improve its language capabilities by learning from dialog experiences, e.g., adding new entities and learning new ways of referring to existing entities. We have extensively evaluated our dialog system in simulation as well as with human participants through MTurk and real-robot platforms. We demonstrate that our dialog agent performs better in efficiency and accuracy in comparison to baseline learning agents. Demo video can be found at https://youtu.be/DFB3jbHBqYE


title: Band-limited mimicry of point processes by point processes supported on a lattice

abstract: We say that one point process on the line $\mathbb{R}$ mimics another at a bandwidth $B$ if for each $n \ge 1$ the two point processes have $n$-level correlation functions that agree when integrated against all bandlimited test functions on bandwidth $[-B, B]$. This paper asks the question of for what values $a$ and $B$ can a given point process on the real line be mimicked at bandwidth $B$ by a point process supported on the lattice $a\mathbb{Z}$. For Poisson point processes we give a complete answer for allowed parameter ranges $(a,B)$, and for the sine process we give existence and nonexistence regions for parameter ranges. The results for the sine process have an application to the Alternative Hypothesis regarding the scaled spacing of zeros of the Riemann zeta function, given in a companion paper.


title: Regularity results for a class of non-autonomous obstacle problems with $(p,q)$-growth

abstract: We study some regularity issues for solutions of non-autonomous obstacle problems with $(p,q)$-growth. Under suitable assumptions, our analysis covers the main models available in the literature.


title: Low-Loss High-Fidelity Frequency-Mode Hadamard Gates Based on Electromagnetically Induced Transparency

abstract: A frequency beam splitter (FBS) with the split ratio of 0.5 or 1 can be used as the frequency-mode Hadamard gate (FHG) for frequency-encoded photonic qubits or as the quantum frequency converter (QFC) for frequency up or down conversion of photons. Previous works revealed that all kinds of the FHG or QFC operating at the single-photon level had overall efficiency or output-to-input ratio around 50% or less. In this work, our FHG and QFC are made with the four-wave mixing process based on the dual-$\Lambda$ electromagnetically induced transparency scheme. We achieved an overall efficiency of 90$\pm$4% in the FGH and that of 84% in the QFC using coherent-state single photons, both of which are the best up-to-date records. To test the fidelity of the FBS, we propose a novel scheme of Hong-Ou-Mandel interference (HOMI) for quantum process tomography. The fidelity indicated by the HOMI's $g^{(2)}$ measurement of the FHG is 0.99$\pm$0.01. Such low-loss high-fidelity FHG and QFC or FBS with the tunable split ratio can lead to useful operations or devices in long-distance quantum communication.


title: $T\bar T$ deformation of correlation functions

abstract: We study the evolution of correlation functions of local fields in a two-dimensional quantum field theory under the $\lambda T\bar T$ deformation, suitably regularized. We show that this may be viewed in terms of the evolution of each field, with a Dirac-like string being attached at each infinitesimal step. The deformation then acts as a derivation on the whole operator algebra, satisfying the Leibniz rule. We derive an explicit equation which allows for the analysis of UV divergences, which may be absorbed into a non-local field renormalization to give correlation functions which are UV finite to all orders, satisfying a (deformed) operator product expansion and a Callan-Symanzik equation. We solve this in the case of a deformed CFT, showing that the Fourier-transformed renormalized two-point functions behave as $k^{2\Delta+2\lambda k^2}$, where $\Delta$ is their IR conformal dimension. We discuss in detail deformed Noether currents, including the energy-momentum tensor, and show that, although they also become non-local, when suitably improved they remain finite, conserved and satisfy the expected Ward identities. Finally, we discuss how the equivalence of the $T\bar T$ deformation to a state-dependent coordinate transformation emerges in this picture.


title: Social-BiGAT: Multimodal Trajectory Forecasting using Bicycle-GAN and Graph Attention Networks

abstract: Predicting the future trajectories of multiple interacting agents in a scene has become an increasingly important problem for many different applications ranging from control of autonomous vehicles and social robots to security and surveillance. This problem is compounded by the presence of social interactions between humans and their physical interactions with the scene. While the existing literature has explored some of these cues, they mainly ignored the multimodal nature of each human's future trajectory. In this paper, we present Social-BiGAT, a graph-based generative adversarial network that generates realistic, multimodal trajectory predictions by better modelling the social interactions of pedestrians in a scene. Our method is based on a graph attention network (GAT) that learns reliable feature representations that encode the social interactions between humans in the scene, and a recurrent encoder-decoder architecture that is trained adversarially to predict, based on the features, the humans' paths. We explicitly account for the multimodal nature of the prediction problem by forming a reversible transformation between each scene and its latent noise vector, as in Bicycle-GAN. We show that our framework achieves state-of-the-art performance comparing it to several baselines on existing trajectory forecasting benchmarks.


title: On Hamiltonian continuum mechanics

abstract: Continuum mechanics can be formulated in the Lagrangian frame (addressing motion of individual continuum particles) or in the Eulerian frame (addressing evolution of fields in an inertial frame). There is a canonical Hamiltonian structure in the Lagrangian frame. By transformation to the Eulerian frame we find the Poisson bracket for Eulerian continuum mechanics with deformation gradient (or the related distortion matrix). Both Lagrangian and Eulerian Hamiltonian structures are then discussed from the perspective of space-time variational formulation and by means of semidirect products and Lie algebras. Finally, we discuss the importance of the Jacobi identity in continuum mechanics and approaches to prove hyperbolicity of the evolution equations and their gauge invariance.

categories: physics.class-ph math-ph math.MP physics.flu-dyn


title: On the small time asymptotics of scalar stochastic conservation laws

abstract: In this paper, we establish a small time large deviation principles for scalar stochastic conservation laws driven by multiplicative noise. The doubling of variables method plays a key role.


title: Facial Makeup Transfer Combining Illumination Transfer

abstract: To meet the women appearance needs, we present a novel virtual experience approach of facial makeup transfer, developed into windows platform application software. The makeup effects could present on the user's input image in real time, with an only single reference image. The input image and reference image are divided into three layers by facial feature points landmarked: facial structure layer, facial color layer, and facial detail layer. Except for the above layers are processed by different algorithms to generate output image, we also add illumination transfer, so that the illumination effect of the reference image is automatically transferred to the input image. Our approach has the following three advantages: (1) Black or dark and white facial makeup could be effectively transferred by introducing illumination transfer; (2) Efficiently transfer facial makeup within seconds compared to those methods based on deep learning frameworks; (3) Reference images with the air-bangs could transfer makeup perfectly.


title: A Natural Language Corpus of Common Grounding under Continuous and Partially-Observable Context

abstract: Common grounding is the process of creating, repairing and updating mutual understandings, which is a critical aspect of sophisticated human communication. However, traditional dialogue systems have limited capability of establishing common ground, and we also lack task formulations which introduce natural difficulty in terms of common grounding while enabling easy evaluation and analysis of complex models. In this paper, we propose a minimal dialogue task which requires advanced skills of common grounding under continuous and partially-observable context. Based on this task formulation, we collected a largescale dataset of 6,760 dialogues which fulfills essential requirements of natural language corpora. Our analysis of the dataset revealed important phenomena related to common grounding that need to be considered. Finally, we evaluate and analyze baseline neural models on a simple subtask that requires recognition of the created common ground. We show that simple baseline models perform decently but leave room for further improvement. Overall, we show that our proposed task will be a fundamental testbed where we can train, evaluate, and analyze dialogue system's ability for sophisticated common grounding.


title: Star formation in low-redshift cluster dwarf galaxies

abstract: Evolution of galaxies in dense environments can be affected by close encounters with neighbouring galaxies and interactions with the intracluster medium. Dwarf galaxies (dGs) are important as their low mass makes them more susceptible to these effects than giant systems. Combined luminosity functions (LFs) in the r- and u-band of 15 galaxy clusters were constructed using archival data from the Canada-France-Hawaii Telescope. LFs were measured as a function of cluster-centric radius from stacked cluster data. Marginal evidence was found for an increase in the faint-end slope of the u-band LF relative to the r-band with increasing cluster-centric radius. The dwarf-to-giant ratio (DGR) was found to increase toward the cluster outskirts, with the u-band DGR increasing faster with cluster-centric radius compared to the r-band. The dG blue fraction was found to be ~2 times larger than the giant galaxy blue fraction over all cluster-centric distance (~5sigma level). The central concentration (C) was used as a proxy to distinguish nucleated versus non-nucleated dGs. The ratio of high-C to low-C dGs was found to be ~2 times greater in the inner cluster region compared to the outskirts (2.8sigma level). The faint-end slope of the r-band LF for the cluster outskirts (0.6 < r/r_200 < 1.0) is steeper than the SDSS field LF, while the u-band LF is marginally steeper at the 2.5sigma level. Decrease in the faint-end slope of the r- and u-band cluster LFs towards the cluster centre is consistent with quenching of star formation via ram pressure stripping and galaxy-galaxy interactions.


title: On a switching control problem with c\`adl\`ag costs

abstract: This work addresses a switching control problem under which the cost associated with the changes of regimes is allowed to have discontinuities in time. Our main contribution is to show several characterizations of the optimal cost function as well as the existence of "-optimal control policies. As a by-product, we also study the existence and uniqueness of solutions of a system of backward stochastic differential equations whose barriers (or obstacles) are discontinuous (in fact of c\`adl\`ag type) and depend itself on the unknown solution. At the last part of the paper, we study the case when an underlying diffusion is part of the dynamic of the system. In this special case, the optimal payoff becomes a weak solution of the HJB system of PDEs with obstacles which is of quasi-variational type. This paper is somehow a continuation of the papers [8, 17] that consider continuous costs.


title: Distill-2MD-MTL: Data Distillation based on Multi-Dataset Multi-Domain Multi-Task Frame Work to Solve Face Related Tasksks, Multi Task Learning, Semi-Supervised Learning

abstract: We propose a new semi-supervised learning method on face-related tasks based on Multi-Task Learning (MTL) and data distillation. The proposed method exploits multiple datasets with different labels for different-but-related tasks such as simultaneous age, gender, race, facial expression estimation. Specifically, when there are only a few well-labeled data for a specific task among the multiple related ones, we exploit the labels of other related tasks in different domains. Our approach is composed of (1) a new MTL method which can deal with weakly labeled datasets and perform several tasks simultaneously, and (2) an MTL-based data distillation framework which enables network generalization for the training and test data from different domains. Experiments show that the proposed multi-task system performs each task better than the baseline single task. It is also demonstrated that using different domain datasets along with the main dataset can enhance network generalization and overcome the domain differences between datasets. Also, comparing data distillation both on the baseline and MTL framework, the latter shows more accurate predictions on unlabeled data from different domains. Furthermore, by proposing a new learning-rate optimization method, our proposed network is able to dynamically tune its learning rate.


title: A measurement method for responsivity of microwave kinetic inductance detector by changing power of readout microwaves

abstract: Superconducting detectors are a modern technology applied in various fields. The microwave kinetic inductance detector (MKID) is one of cutting-edge superconducting detector. It is based on the principle of a superconducting resonator circuit. A radiation entering the MKID breaks the Cooper pairs in the superconducting resonator, and the intensity of the radiation is detected as a variation of the resonant condition. Therefore, calibration of the detector responsivity, i.e., the variation of the resonant phase with respect to the number of Cooper-pair breaks (quasiparticles), is important. We propose a method for responsivity calibration. Microwaves used for the detector readout locally raise the temperature in each resonator, which increases the number of quasiparticles. Since the magnitude of the temperature rise depends on the power of readout microwaves, the number of quasiparticles also depends on the power of microwaves. By changing the power of the readout microwaves, we simultaneously measure the phase difference and lifetime of quasiparticles. We calculate the number of quasiparticles from the measured lifetime and by using a theoretical formula. This measurement yields a relation between the phase response as a function of the number of quasiparticles. We demonstrate this responsivity calibration using the MKID maintained at 285mK. We also confirm consistency between the results obtained using this method and conventional calibration methods in terms of the accuracy.


title: Baryon-Dark Matter Coincidence in Mirrored Unification

abstract: About 80\% of the mass of the present Universe is made up of the unknown (dark matter), while the rest is made up of ordinary matter. It is a very intriguing question why the {\it mass} densities of dark matter and ordinary matter (mainly baryons) are close to each other. It may be hinting the identity of dark matter and furthermore structure of a dark sector. A mirrored world provides a natural explanation to this puzzle. On the other hand, if mirror-symmetry breaking scale is low, it tends to cause cosmological problems. In this letter, we propose a mirrored unification framework, which breaks mirror-symmetry at the grand unified scale, but still addresses the puzzle. The dark matter mass is strongly related with the dynamical scale of QCD, which explains the closeness of the dark matter and baryon masses. Intermediate-energy portal interactions share the generated asymmetry between the visible and dark sectors. Furthermore, our framework is safe from cosmological issues by providing low-energy portal interactions to release the superfluous entropy of the dark sector into the visible sector.


title: Smart Switching and Control of a Distributed Generator Synchronized With National Grid

abstract: Distributed generation is widely being utilized, so the basic theme of this research is to have a hands-on experience to synchronize a Distributed Energy Resource (DER) to the Mains Grid. A control algorithm is implemented for energy supply from both sources i.e. DER and Mains Grid, according to the cost and availability of each source. When load changes, so that the synchronization does not lose. LabVIEW software is used for the implementation of the desired system. Validation is done by experimenting in the lab. In order to keep the system stable, the algorithm has been developed to shift the load from one bus to the other depending upon the load requirements. The project is a test bed and can be used for further experimentation and prove helpful in developing a basic understanding of Smart Switching using LabVIEW.


title: Sparse Hierarchical Preconditioners Using Piecewise Smooth Approximations of Eigenvectors

abstract: When solving linear systems arising from PDE discretizations, iterative methods (such as Conjugate Gradient, GMRES, or MINRES) are often the only practical choice. To converge in a small number of iterations, however, they have to be coupled with an efficient preconditioner. The efficiency of the preconditioner depends largely on its accuracy on the eigenvectors corresponding to small eigenvalues, and unfortunately, black-box methods typically cannot guarantee sufficient accuracy on these eigenvectors. Thus, constructing the preconditioner becomes a problem-dependent task. However, for a large class of problems, including many elliptic equations, the eigenvectors corresponding to small eigenvalues are smooth functions of the PDE grid. In this paper, we describe a hierarchical approximate factorization approach which focuses on improving accuracy on the smooth eigenvectors. The improved accuracy is achieved by preserving the action of the factorized matrix on piecewise polynomial functions of the grid. Based on the factorization, we propose a family of sparse preconditioners with $O(n)$ or $O(n \log{n})$ construction complexities. Our methods exhibit the optimal $O(n)$ solution times in benchmarks run on large elliptic problems of different types, arising for example in flow or mechanical simulations. In the case of the linear elasticity equation the preconditioners are exact on the near-kernel rigid body modes.


title: Lags in the Release, Adoption, and Propagation of npm Vulnerability Fixes

abstract: Security vulnerability in third-party dependencies is a growing concern not only for developers of the affected software, but for the risks it poses to an entire software ecosystem, e.g., Heartbleed vulnerability. Recent studies show that developers are slow to respond to the threat of vulnerability, sometimes taking four to eleven months to act. To ensure quick adoption and propagation of a release that contains the fix (fixing release), we conduct an empirical investigation to identify lags that may occur between the vulnerable release and its fixing release (package-side fixing release). Through a preliminary study of 231 package-side fixing release of npm projects on GitHub, we observe that a fixing release is rarely released on its own, with up to 85.72% of the bundled commits being unrelated to a fix. We then compare the package-side fixing release with changes on a client-side (client-side fixing release). Through an empirical study of the adoption and propagation tendencies of 1,290 package-side fixing releases that impact throughout a network of 1,553,325 releases of npm packages, we find that stale clients require additional migration effort, even if the package-side fixing release was quick (i.e., package patch landing). Furthermore, we show the influence of factors such as the branch that the package-side fixing release lands on and the severity of vulnerability on its propagation. In addition to these lags we identify and characterize, this paper lays the groundwork for future research on how to mitigate lags in an ecosystem.