title: Cross-layer Feature Pyramid Network for Salient Object Detection

abstract: Feature pyramid network (FPN) based models, which fuse the semantics and salient details in a progressive manner, have been proven highly effective in salient object detection. However, it is observed that these models often generate saliency maps with incomplete object structures or unclear object boundaries, due to the \emph{indirect} information propagation among distant layers that makes such fusion structure less effective. In this work, we propose a novel Cross-layer Feature Pyramid Network (CFPN), in which direct cross-layer communication is enabled to improve the progressive fusion in salient object detection. Specifically, the proposed network first aggregates multi-scale features from different layers into feature maps that have access to both the high- and low-level information. Then, it distributes the aggregated features to all the involved layers to gain access to richer context. In this way, the distributed features per layer own both semantics and salient details from all other layers simultaneously, and suffer reduced loss of important information. Extensive experimental results over six widely used salient object detection benchmarks and with three popular backbones clearly demonstrate that CFPN can accurately locate fairly complete salient regions and effectively segment the object boundaries.


title: Fundamental dissipation due to bound fermions in the zero-temperature limit

abstract: The ground state of a fermionic condensate is well protected against perturbations in the presence of an isotropic gap. Regions of gap suppression, surfaces and vortex cores which host Andreev-bound states, seemingly lift that strict protection. Here we show that the role of bound states is more subtle: when a macroscopic object moves in superfluid $^3$He at velocities exceeding the Landau critical velocity, little to no bulk pair breaking takes place, while the damping observed originates from the bound states covering the moving object. We identify two separate timescales that govern the bound state dynamics, one of them much longer than theoretically anticipated, and show that the bound states do not interact with bulk excitations.


title: Exploring neutrino physics through sneutrinos

abstract: Supersymmetry relates neutrinos with their superpartners, sneutrinos. Unlike neutrinos, sneutrinos may decay visibly in colliders. We discuss how we could get information from neutrino Yukawa couplings in the NMSSM extended with right-handed neutrinos, if the right-handed sneutrinos are within the reach of the colliders.


title: From bipolar Euler-Poisson system to unipolar Euler-Poisson system in the perspective of mass

abstract: The main purpose of this paper is to provide an effective procedure to study rigorously the relationship between unipolar and bipolar Euler-Poisson system in the perspective of mass. Based on the fact that the mass of an electron is far less than that of an ion, we amplify this property by letting $m_e/m_i\rightarrow 0$ and using two different singular limits to illustrate it, which are zero-electron mass limit and infinity-ion mass limit. We use the method of asymptotic expansion to handle the problem and find that the limiting process from bipolar to unipolar system is actually the process of decoupling, but not the vanishing of equations of the corresponding other particle.


title: Pre-thermalization in a classical phonon field: slow relaxation of the number of phonons

abstract: We investigate the emergence of an astonishingly long pre-thermal plateau in a classical phonon field, here a harmonic chain with on-site pinning. Integrability is broken by a weak anharmonic on-site potential with strength $\lambda$. In the small $\lambda$ limit, the approach to equilibrium of a translation invariant initial state is described by kinetic theory. However, when the phonon band becomes narrow, we find that the (non-conserved) number of phonons relaxes on much longer time scales than kinetic. We establish rigorous bounds on the relaxation time, and develop a theory that yields exact predictions for the dissipation rate in the limit $\lambda \to 0$. We compare the theoretical predictions with data from molecular dynamics simulations and find good agreement. Our work shows how classical systems may exhibit phenomena which at the first glance appear to require quantization.


title: Novel beamline for attosecond transient reflection spectroscopy in a sequential two-foci geometry

abstract: We present an innovative beamline for extreme ultraviolet (XUV)-infrared (IR) pump-probe reflection spectroscopy in solids with attosecond temporal resolution. The setup uses an actively stabilized interferometer, where attosecond pulse trains or isolated attosecond pulses are produced by high-order harmonic generation in gases. After collinear recombination, the attosecond XUV pulses and the femtosecond IR pulses are focused twice in sequence by toroidal mirrors, giving two spatially separated interaction regions. In the first region, the combination of a gas target with a time-of-flight spectrometer allows for attosecond photoelectron spectroscopy experiments. In the second focal region, an XUV reflectometer is used for attosecond transient reflection spectroscopy (ATRS) experiments. Since the two measurements can be performed simultaneously, precise pump-probe delay calibration can be achieved, thus opening the possibility for a new class of attosecond experiments on solids. Successful operation of the beamline is demonstrated by the generation and characterization of isolated attosecond pulses, the measurement of the absolute reflectivity of SiO2, and by performing simultaneous photoemission/ATRS in Ge.


title: AMP Chain Graphs: Minimal Separators and Structure Learning Algorithms

abstract: We address the problem of finding a minimal separator in an Andersson-Madigan-Perlman chain graph (AMP CG), namely, finding a set Z of nodes that separates a given nonadjacent pair of nodes such that no proper subset of Z separates that pair. We analyze several versions of this problem and offer polynomial-time algorithms for each. These include finding a minimal separator from a restricted set of nodes, finding a minimal separator for two given disjoint sets, and testing whether a given separator is minimal. To address the problem of learning the structure of AMP CGs from data, we show that the PC-like algorithm (Pena, 2012) is order-dependent, in the sense that the output can depend on the order in which the variables are given. We propose several modifications of the PC-like algorithm that remove part or all of this order-dependence. We also extend the decomposition-based approach for learning Bayesian networks (BNs) proposed by (Xie et al., 2006) to learn AMP CGs, which include BNs as a special case, under the faithfulness assumption. We prove the correctness of our extension using the minimal separator results. Using standard benchmarks and synthetically generated models and data in our experiments demonstrate the competitive performance of our decomposition-based method, called LCD-AMP, in comparison with the (modified versions of) PC-like algorithm. The LCD-AMP algorithm usually outperforms the PC-like algorithm, and our modifications of the PC-like algorithm learn structures that are more similar to the underlying ground truth graphs than the original PC-like algorithm, especially in high-dimensional settings. In particular, we empirically show that the results of both algorithms are more accurate and stabler when the sample size is reasonably large and the underlying graph is sparse.


title: Quark-diquark string tension, excited baryonic resonances and thermal fluctuations

abstract: We study the baryonic fluctuations from second to eighth order involving electric charge, baryon number and strangeness below the quark-gluon plasma crossover and numerically known from lattice QCD calculations. By considering a particular realization of the Hadron Resonance Gas model, we provide evidence on the dominant role of quark-diquark degrees of freedom to describe excited baryonic resonances. After proving by means of suitable Polyakov loop correlators that the quark-diquark and the quark-antiquark forces coincide, $V_{\bar q q } (r) = V_{\bar q D } (r) + \textrm{const}$, we find that the corresponding susceptibilities can be saturated with excited baryonic states in a quark-diquark model picture.


title: Emergent electric field control of phase transformation in oxide superlattices

abstract: Electric fields can transform materials with respect to their structure and properties, enabling various applications ranging from batteries to spintronics. Recently electrolytic gating, which can generate large electric fields and voltage-driven ion transfer, has been identified as a powerful means to achieve electric-field-controlled phase transformations. The class of transition metal oxides (TMOs) provide many potential candidates that present a strong response under electrolytic gating. However, very few show a reversible structural transformation at room-temperature. Here, we report the realization of a digitally synthesized TMO that shows a reversible, electric-field-controlled transformation between distinct crystalline phases at room-temperature. In superlattices comprised of alternating one-unit-cell of SrIrO3 and La0.2Sr0.8MnO3, we find a reversible phase transformation with a 7% lattice change and dramatic modulation in chemical, electronic, magnetic and optical properties, mediated by the reversible transfer of oxygen and hydrogen ions. Strikingly, this phase transformation is absent in the constituent oxides, solid solutions and larger period superlattices. Our findings open up a new class of materials for voltage-controlled functionality.


title: Extreme value distributions of observation recurrences

abstract: We study analytically and numerically the extreme value distribution of observables defined along the temporal evolution of a dynamical system. The convergence to the Gumbel law of observable recurrences gives information on the fractal structure of the image of the invariant measure by the observable. We provide illustrations on idealized and physical systems.


title: The moduli space of tropical curves with fixed Newton polygon

abstract: Given a lattice polygon, we study the moduli space of all tropical plane curves with that Newton polygon. We determine a formula for the dimension of this space in terms of combinatorial properties of that polygon. We prove that if this polygon is nonhyperelliptic or maximal and hyperelliptic, then this formula matches the dimension of the moduli space of nondegenerate algebraic curves with that given Newton polygon.


title: Population Dynamics in Hostile Neighborhoods

abstract: A new class of quasilinear reaction-diffusion equations is introduced for which the mass flow never reaches the boundary. It is proved that the initial value problem is well-posed in an appropriate weighted Sobolev space setting.


title: PointAugment: an Auto-Augmentation Framework for Point Cloud Classification

abstract: We present PointAugment, a new auto-augmentation framework that automatically optimizes and augments point cloud samples to enrich the data diversity when we train a classification network. Different from existing auto-augmentation methods for 2D images, PointAugment is sample-aware and takes an adversarial learning strategy to jointly optimize an augmentor network and a classifier network, such that the augmentor can learn to produce augmented samples that best fit the classifier. Moreover, we formulate a learnable point augmentation function with a shape-wise transformation and a point-wise displacement, and carefully design loss functions to adopt the augmented samples based on the learning progress of the classifier. Extensive experiments also confirm PointAugment's effectiveness and robustness to improve the performance of various networks on shape classification and retrieval.


title: Generating lightwave-photon-and-magnon entanglement with a mechanical oscillator as a "cold reservoir"

abstract: We present a scheme to implement a steady lightwave-photon-and-magnon entanglement in a hybrid photon-magnon system by adiabatically eliminating the auxiliary microwave cavity and effectively laser cooling a delocalized Bogoliubov mode. The system consists of magnons, lightwave and microwave photons, and phonons. The magnons are embodied by a collective motion of a large number of spins in a macroscopic ferrimagnet. To achieve an entangling interaction between magnons and lightwave photons, we drive optical cavity and magnon at the red and blue sideband associated with the mechanical resonator. In particular, optimizing the relative ratio of effect couplings, rather than simply increasing their magnitudes, is essential for achieving strong entanglement. Unlike typical dissipative entanglement schemes, our results cannot be described by treating the effects of the entangling reservoir via a Linblad master equation.


title: Gaussian Process Regression for Probabilistic Short-term Solar Output Forecast

abstract: With increasing concerns of climate change, renewable resources such as photovoltaic (PV) have gained popularity as a means of energy generation. The smooth integration of such resources in power system operations is enabled by accurate forecasting mechanisms that address their inherent intermittency and variability. This paper proposes a probabilistic framework to predict short-term PV output taking into account the uncertainty of weather. To this end, we make use of datasets that comprise of power output and meteorological data such as irradiance, temperature, zenith, and azimuth. First, we categorise the data into four groups based on solar output and time by using k-means clustering. Next, a correlation study is performed to choose the weather features which affect solar output to a greater extent. Finally, we determine a function that relates the aforementioned selected features with solar output by using Gaussian Process Regression and Matern 5/2 as a kernel function. We validate our method with five solar generation plants in different locations and compare the results with existing methodologies. More specifically, in order to test the proposed model, two different methods are used: (i) 5-fold cross-validation; and (ii) holding out 30 random days as test data. To confirm the model accuracy, we apply our framework 30 independent times on each of the four clusters. The average error follows a normal distribution, and with 95% confidence level, it takes values between -1.6% to 1.4%.


title: Coverings with horo- and hyperballs generated by simply truncated orthoschemes

abstract: After having investigated the packings derived by horo- and hyperballs related to simple frustum Coxeter orthoscheme tilings we consider the corresponding covering problems (briefly hyp-hor coverings) in $n$-dimensional hyperbolic spaces $\mathbb{H}^n$ ($n=2,3$). We construct in the $2-$ and $3-$dimensional hyperbolic spaces hyp-hor coverings that are generated by simply truncated Coxeter orthocheme tilings and we determine their thinnest covering configurations and their densities. We prove that in the hyperbolic plane ($n=2$) the density of the above thinnest hyp-hor covering arbitrarily approximate the universal lower bound of the hypercycle or horocycle covering density $\frac{\sqrt{12}}{\pi}$ and in $\mathbb{H}^3$ the optimal configuration belongs to the $\{7,3,6\}$ Coxeter tiling with density $\approx 1.27297$ that is less than the previously known famous horosphere covering density $1.280$ due to L.~Fejes T\'oth and K.~B\"or\"oczky. Moreover, we study the hyp-hor coverings in truncated orthosche\-mes $\{p,3,6\}$ $(6< p < 7, ~ p\in \mathbb{R})$ whose density function attains its minimum at parameter $p\approx 6.45962$ with density $\approx 1.26885$. That means that this locally optimal hyp-hor configuration provide smaller covering density than the former determined $\approx 1.27297$ but this hyp-hor packing configuration can not be extended to the entirety of hyperbolic space $\mathbb{H}^3$.


title: PolyGen: An Autoregressive Generative Model of 3D Meshes

abstract: Polygon meshes are an efficient representation of 3D geometry, and are of central importance in computer graphics, robotics and games development. Existing learning-based approaches have avoided the challenges of working with 3D meshes, instead using alternative object representations that are more compatible with neural architectures and training approaches. We present an approach which models the mesh directly, predicting mesh vertices and faces sequentially using a Transformer-based architecture. Our model can condition on a range of inputs, including object classes, voxels, and images, and because the model is probabilistic it can produce samples that capture uncertainty in ambiguous scenarios. We show that the model is capable of producing high-quality, usable meshes, and establish log-likelihood benchmarks for the mesh-modelling task. We also evaluate the conditional models on surface reconstruction metrics against alternative methods, and demonstrate competitive performance despite not training directly on this task.


title: Conjectures on the representations of modular Lie algebras

abstract: We have already seen simple representations of modular Lie algebras of $A_l$-type and $C_l$-type. We shall further investigate simple representations of $B_l$ type, which turn out to be very similar in methodology as those types except for roots. So we may consider some conjectures relating to the representations of classical type modular Lie algebras.


title: A Quantized Representation of Intertemporal Choice in the Brain

abstract: Value [4][5] is typically modeled using a continuous representation (i.e., a Real number). A discrete representation of value has recently been postulated [6]. A quantized representation of probability in the brain was also posited and supported by experimental data [7]. Value and probability are inter-related via Prospect Theory [4][5]. In this paper, we hypothesize that intertemporal choices may also be quantized. For example, people may treat (or discount) 16 days indifferently to 17 days. To test this, we analyzed an intertemporal task by using 2 novel models: quantized hyperbolic discounting, and quantized exponential discounting. Our work here is a re-examination of the behavioral data previously collected for an fMRI study [8]. Both quantized hyperbolic and quantized exponential models were compared using AIC and BIC tests. We found that 13/20 participants were best fit to the quantized exponential model, while the remaining 7/20 were best fit to the quantized hyperbolic model. Overall, 15/20 participants were best fit to models with a 5-bit precision (i.e., 2^5 = 32 steps). In conclusion, regardless of hyperbolic or exponential, quantized versions of these models are better fit to the experimental data than their continuous forms. We finally outline some potential applications of our findings.


title: Demystify Lindley's Paradox by Interpreting P-value as Posterior Probability

abstract: In the hypothesis testing framework, p-value is often computed to determine rejection of the null hypothesis or not. On the other hand, Bayesian approaches typically compute the posterior probability of the null hypothesis to evaluate its plausibility. We revisit Lindley's paradox (Lindley, 1957) and demystify the conflicting results between Bayesian and frequentist hypothesis testing procedures by casting a two-sided hypothesis as a combination of two one-sided hypotheses along the opposite directions. This can naturally circumvent the ambiguities of assigning a point mass to the null and choices of using local or non-local prior distributions. As p-value solely depends on the observed data without incorporating any prior information, we consider non-informative prior distributions for fair comparisons with p-value. The equivalence of p-value and the Bayesian posterior probability of the null hypothesis can be established to reconcile Lindley's paradox. Extensive simulation studies are conducted with multivariate normal data and random effects models to examine the relationship between the p-value and posterior probability.


title: Constraints on the symmetry energy and its associated parameters from nuclei to neutron stars

abstract: The symmetry energy obtained with the effective Skyrme energy density functional is related to the values of isoscalar effective mass and isovector effective mass, which is also indirectly related to the incompressibility of symmetric nuclear matter. In this work, we analyze the values of symmetry energy and its related nuclear matter parameters in five-dimensional parameter space by describing the heavy ion collision data, such as isospin diffusion data at 35 MeV/u and 50 MeV/u, neutron skin of $^{208}$Pb, and tidal deformability and maximum mass of neutron star. We obtain the parameter sets which can describe the isospin diffusion, neutron skin, tidal deformability and maximum mass of neutron star, and give the incompressibility $K_0$=250.23$\pm$20.16 MeV, symmetry energy coefficient $S_0$=31.35$\pm$2.08 MeV, the slope of symmetry energy $L$=59.57$\pm$10.06 MeV, isoscalar effective mass $m_s^*/m$=0.75$\pm$0.05 and quantity related to effective mass splitting $f_I$=0.005$\pm$0.170. At two times normal density, the symmetry energy we obtained is in 35-55 MeV. To reduce the large uncertainties of $f_I$, more critical works in heavy ion collisions at different beam energies are needed.


title: Thick accretion disk and Its super Eddington luminosity around spinning blackholes

abstract: In the general accretion disk model theory, the accretion disk surrounding an astronomical object comprises fluid rings obeying Keplerian motion. However, we should consider relativistic and rotational effects as we close in toward the center of accretion disk surrounding spinning compact massive objects such as a black hole or a neutron star. In this study, we explore the geometry of the inner portion of the accretion disk in the context of Mukhopadhyay's pseudo Newtonian potential approximation for the full general relativity theory. We found that the shape of the accretion disk "puffs up" or becomes thicker and the luminosity of the disk could exceed the Eddington luminosity near the surface of the compact spinning black hole.


title: Lensless hyperspectral imaging by Fourier transform spectroscopy for broadband visible light: phase retrieval technique

abstract: A novel phase retrieval algorithm for broadband hyperspectral phase imaging from noisy intensity observations is proposed. It utilizes advantages of the Fourier Transform spectroscopy in the self-referencing optical setup and provides, additionally beyond spectral intensity distribution, reconstruction of the investigated object's phase. The noise amplification Fellgett's disadvantage is relaxed by the application of sparse wavefront noise filtering embedded in the proposed algorithm. The algorithm reliability is proved by simulation tests and results of physical experiments on transparent objects which demonstrate precise phase imaging and object depth (profile) reconstructions.


title: What do crowd workers think about creative work?

abstract: Crowdsourcing platforms are a powerful and convenient means for recruiting participants in online studies and collecting data from the crowd. As information work is being more and more automated by Machine Learning algorithms, creativity $-$ that is, a human's ability for divergent and convergent thinking $-$ will play an increasingly important role on online crowdsourcing platforms. However, we lack insights into what crowd workers think about creative work. In studies in Human-Computer Interaction (HCI), the ability and willingness of the crowd to participate in creative work seems to be largely unquestioned. Insights into the workers' perspective are rare, but important, as they may inform the design of studies with higher validity. Given that creativity will play an increasingly important role in crowdsourcing, it is imperative to develop an understanding of how workers perceive creative work. In this paper, we summarize our recent worker-centered study of creative work on two general-purpose crowdsourcing platforms (Amazon Mechanical Turk and Prolific). Our study illuminates what creative work is like for crowd workers on these two crowdsourcing platforms. The work identifies several archetypal types of workers with different attitudes towards creative work, and discusses common pitfalls with creative work on crowdsourcing platforms.


title: Lower bounds for algebraic machines, semantically

abstract: This paper presents a new semantic method for proving lower bounds in computational complexity. We use it to prove that maxflow, a PTIME complete problem, is not computable in polylogarithmic time on parallel random access machines (PRAMs) working with integers, showing that NCZ \neq PTIME, where NCZ is the complexity class defined by such machines, and PTIME is the standard class of polynomial time computable problems (on, say, a Turing machine). On top of showing this new separation result, we show our method captures previous lower bounds results from the literature: Steele and Yao's lower bounds for algebraic decision trees, Ben-Or's lower bounds for algebraic computation trees, Cucker's proof that NC is not equal to PTIME on the reals, and Mulmuley's lower bounds for "PRAMs without bit operations".


title: Efficient and Simple Algorithms for Fault Tolerant Spanners

abstract: It was recently shown that a version of the greedy algorithm gives a construction of fault-tolerant spanners that is size-optimal, at least for vertex faults. However, the algorithm to construct this spanner is not polynomial-time, and the best-known polynomial time algorithm is significantly suboptimal. Designing a polynomial-time algorithm to construct (near-)optimal fault-tolerant spanners was given as an explicit open problem in the two most recent papers on fault-tolerant spanners ([Bodwin, Dinitz, Parter, Vassilevka Williams SODA '18] and [Bodwin, Patel PODC '19]). We give a surprisingly simple algorithm which runs in polynomial time and constructs fault-tolerant spanners that are extremely close to optimal (off by only a linear factor in the stretch) by modifying the greedy algorithm to run in polynomial time. To complement this result, we also give simple distributed constructions in both the LOCAL and CONGEST models.


title: Combining Learning and Optimization for Transprecision Computing

abstract: The growing demands of the worldwide IT infrastructure stress the need for reduced power consumption, which is addressed in so-called transprecision computing by improving energy efficiency at the expense of precision. For example, reducing the number of bits for some floating-point operations leads to higher efficiency, but also to a non-linear decrease of the computation accuracy. Depending on the application, small errors can be tolerated, thus allowing to fine-tune the precision of the computation. Finding the optimal precision for all variables in respect of an error bound is a complex task, which is tackled in the literature via heuristics. In this paper, we report on a first attempt to address the problem by combining a Mathematical Programming (MP) model and a Machine Learning (ML) model, following the Empirical Model Learning methodology. The ML model learns the relation between variables precision and the output error; this information is then embedded in the MP focused on minimizing the number of bits. An additional refinement phase is then added to improve the quality of the solution. The experimental results demonstrate an average speedup of 6.5\% and a 3\% increase in solution quality compared to the state-of-the-art. In addition, experiments on a hardware platform capable of mixed-precision arithmetic (PULPissimo) show the benefits of the proposed approach, with energy savings of around 40\% compared to fixed-precision.


title: Quantum gates on asynchronous atomic excitations

abstract: The article proposes the implementation of a universal system of quantum gates on asynchronous excitations of two-level atoms in optical cavities. The entangling operator of the CSign type is implemented without beam splitters, approximately, based on the incommensurability of the periods of Rabi oscillations in a cavity with single and double excitations.


title: Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic

abstract: PIE is a Prolog-embedded environment for automated reasoning on the basis of first-order logic. Its main focus is on formulas, as constituents of complex formalizations that are structured through formula macros, and as outputs of reasoning tasks such as second-order quantifier elimination and Craig interpolation. It supports a workflow based on documents that intersperse macro definitions, invocations of reasoners, and LaTeX-formatted natural language text. Starting from various examples, the paper discusses features and application possibilities of PIE along with current limitations and issues for future research.


title: 3D-MiniNet: Learning a 2D Representation from Point Clouds for Fast and Efficient 3D LIDAR Semantic Segmentation

abstract: LIDAR semantic segmentation, which assigns a semantic label to each 3D point measured by the LIDAR, is becoming an essential task for many robotic applications such as autonomous driving. Fast and efficient semantic segmentation methods are needed to match the strong computational and temporal restrictions of many of these real-world applications. This work presents 3D-MiniNet, a novel approach for LIDAR semantic segmentation that combines 3D and 2D learning layers. It first learns a 2D representation from the raw points through a novel projection which extracts local and global information from the 3D data. This representation is fed to an efficient 2D Fully Convolutional Neural Network (FCNN) that produces a 2D semantic segmentation. These 2D semantic labels are re-projected back to the 3D space and enhanced through a post-processing module. The main novelty in our strategy relies on the projection learning module. Our detailed ablation study shows how each component contributes to the final performance of 3D-MiniNet. We validate our approach on well known public benchmarks (SemanticKITTI and KITTI), where 3D-MiniNet gets state-of-the-art results while being faster and more parameter-efficient than previous methods.


title: Bilinear quark operators in the RI/SMOM scheme at three loops

abstract: We consider the renormalization of the matrix elements of the bilinear quark operators $\bar{\psi}\psi$, $\bar{\psi}\gamma_\mu\psi$, and $\bar{\psi}\sigma_{\mu\nu}\psi$ at next-to-next-to-next-to-leading order in QCD perturbation theory at the symmetric subtraction point. This allows us to obtain conversion factors between the $\overline{\rm MS}$ scheme and the regularization invariant symmetric momentum subtraction (RI/SMOM) scheme. The obtained results can be used to reduce the errors in determinations of quark masses from lattice QCD simulations. The results are given in Landau gauge.


title: Power spectra of solar brightness variations at different inclinations

abstract: Magnetic features on the surfaces of cool stars cause variations of their brightness. Such variations have been extensively studied for the Sun. Recent planet-hunting space telescopes allowed measuring brightness variations in hundred thousands of other stars. The new data posed the question of how typical is the Sun as a variable star. Putting solar variability into the stellar context suffers, however, from the bias of solar observations being made from its near-equatorial plane, whereas stars are observed at all possible inclinations. We model solar brightness variations at timescales from days to years as they would be observed at different inclinations. In particular, we consider the effect of the inclination on the power spectrum of solar brightness variations. The variations are calculated in several passbands routinely used for stellar measurements. We employ the Surface Flux Transport Model (SFTM) to simulate the time-dependent spatial distribution of magnetic features on both near- and far-sides of the Sun. This distribution is then used to calculate solar brightness variations following the SATIRE (Spectral And Total Irradiance REconstruction) approach. We have quantified the effect of the inclination on solar brightness variability at timescales down to a day. Thus, our results allow making solar brightness records directly comparable to those obtained by the planet-hunting space telescopes. Furthermore, we decompose solar brightness variations into the components originating from the solar rotation and from the evolution of magnetic features.


title: Population of hot subdwarf stars studied with Gaia III. Catalogue of known hot subdwarf stars: Data Release 2

abstract: In light of substantial new discoveries of hot subdwarfs by ongoing spectroscopic surveys and the availability of new all-sky data from ground-based photometric surveys and the Gaia mission Data Release 2, we compiled an updated catalogue of the known hot subdwarf stars. The catalogue contains 5874 unique sources including 528 previously unknown hot subdwarfs and provides multi-band photometry, astrometry from Gaia, and classifications based on spectroscopy and colours. This new catalogue provides atmospheric parameters of 2187 stars and radial velocities of 2790 stars from the literature. Using colour, absolute magnitude, and reduced proper motion criteria, we identified 268 previously misclassified objects, most of which are less luminous white dwarfs or more luminous blue horizontal branch and main-sequence stars.


title: Coherent photoproduction of $\rho^{0}$ vector mesons in ultra-peripheral Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 5.02$ TeV

abstract: Cross sections for the coherent photoproduction of $\rho^{0}$ vector mesons in ultra-peripheral Pb-Pb collisions at $ \sqrt{s_{\mathrm{NN}}}= 5.02$ TeV are reported. The measurements, which rely on the $\pi^+\pi^-$ decay channel, are presented in three regions of rapidity covering the range $|y|<0.8$. For each rapidity interval, cross sections are shown for different nuclear-breakup classes defined according to the presence of neutrons measured in the zero-degree calorimeters. The results are compared with predictions based on different models of nuclear shadowing. Finally, the observation of a coherently produced resonance-like structure with a mass around 1.7 GeV/$c^2$ and a width of about 140 MeV/$c^2$ is reported and compared with similar observations from other experiments.


title: Hedonic Seat Arrangement Problems

abstract: In this paper, we study a variant of hedonic games, called \textsc{Seat Arrangement}. The model is defined by a bijection from agents with preferences to vertices in a graph. The utility of an agent depends on the neighbors assigned in the graph. More precisely, it is the sum over all neighbors of the preferences that the agent has towards the agent assigned to the neighbor. We first consider the price of stability and fairness for different classes of preferences. In particular, we show that there is an instance such that the price of fairness ({\sf PoF}) is unbounded in general. Moreover, we show an upper bound $\tilde{d}(G)$ and an almost tight lower bound $\tilde{d}(G)-1/4$ of {\sf PoF}, where $\tilde{d}(G)$ is the average degree of an input graph. Then we investigate the computational complexity of problems to find certain ``good'' seat arrangements, say \textsc{Maximum Welfare Arrangement}, \textsc{Maximin Utility Arrangement}, \textsc{Stable Arrangement}, and \textsc{Envy-free Arrangement}. We give dichotomies of computational complexity of four \textsc{Seat Arrangement} problems from the perspective of the maximum order of connected components in an input graph. For the parameterized complexity, \textsc{Maximum Welfare Arrangement} can be solved in time $n^{O(\gamma)}$, while it cannot be solved in time $f(\gamma)^{o(\gamma)}$ under ETH, where $\gamma$ is the vertex cover number of an input graph. Moreover, we show that \textsc{Maximin Utility Arrangement} and \textsc{Envy-free Arrangement} are weakly NP-hard even on graphs of bounded vertex cover number. Finally, we prove that determining whether a stable arrangement can be obtained from a given arrangement by $k$ swaps is W[1]-hard when parameterized by $k+\gamma$, whereas it can be solved in time $n^{O(k)}$.


title: On the Effectiveness of Sequential Linear Programming for the Pooling Problem

abstract: The aim of this paper is to compare the performance of a local solution technique -- namely Sequential Linear Programming (SLP) employing random starting points -- with state-of-the-art global solvers such as Baron and more sophisticated local solvers such as Sequential Quadratic Programming and Interior Point for the pooling problem. These problems can have many local optima, and we present a small example that illustrates how this can occur. We demonstrate that SLP -- usually deemed obsolete since the arrival of fast reliable QP solvers, Interior Point Methods and sophisticated global solvers -- is still the method of choice for an important class of pooling problem when the criterion is the quality of the solution found within a given acceptable time budget. In addition we introduce a new formulation, the qq-formulation, for the case of fixed demands, that exclusively uses proportional variables. We compare the performance of SLP and the global solver Baron on the qq-formulation and other common formulations. While Baron with the qq-formulation generates weaker bounds than with the other formulations tested, for both SLP and Baron the qq-formulation finds the best solutions within a given time budget. The qq-formulation can be strengthened by pq-like cuts in which case the same bounds as for the pq-formulation are obtained. However the associated time penalty due to the additional constraints results in poorer solution quality within the time budget.


title: Security Wrappers for Information-Flow Control in Active Object Languages with Futures

abstract: This paper introduces a run-time mechanism for preventing leakage of secure information in distributed systems. We consider a general concurrency language model, where concurrent objects interact by asynchronous method calls and futures. The aim is to prevent leakage of confidential information to low-level viewers. The approach is based on the notion of a security wrapper, which encloses an object or a component and controls its interactions with the environment. A wrapper is a mechanism added by the run-time system to provide protection of an insecure component according to some security policies. The security policies of a wrapper are formalized based on a notion of security levels. At run-time, future components will be wrapped upon need, while only objects of unsafe classes will be wrapped, using static checking to limit the number of unsafe classes and thereby reducing run-time overhead. We define an operational semantics and prove that non-interference is satisfied. A service provider may use wrappers to protect its services in an insecure environment, and vice-versa: a system platform may use wrappers to protect itself from insecure service providers.


title: A scheme for direct detection of qubit-environment entanglement generated during qubit pure dephasing

abstract: We propose a scheme for the detection of qubit-environment entanglement at time $\tau$ which requires only operations and measurements on the qubit, all within reach of current experimental state-of-the-art. The scheme works for any type of interaction which leads to pure dephasing of the qubit as long as the initial qubit state is pure. It becomes particularly simple when one of the qubit states is neutral with respect to the environment, such as in case of the most common choice of the NV center spin qubit or for excitonic charge qubits, when the environment is initially at thermal equilibrium.


title: Probabilistic elicitation of expert knowledge through assessment of computer simulations

abstract: We present a new method for probabilistic elicitation of expert knowledge using binary responses of human experts assessing simulated data from a statistical model, where the parameters are subject to uncertainty. The binary responses describe either the absolute realism of individual simulations or the relative realism of a pair of simulations in the two alternative versions of out approach. Each version provides a nonparametric representation of the expert belief distribution over the values of a model parameter, without demanding the assertion of any opinion on the parameter values themselves. Our framework also integrates the use of active learning to efficiently query the experts, with the possibility to additionally provide a useful misspecification diagnostic. We validate both methods on an automatic expert judging a binomial distribution, and on human experts judging the distribution of voters across political parties in the United States and Norway. Both methods provide flexible and meaningful representations of the human experts' beliefs, correctly identifying the higher dispersion of voters between parties in Norway.


title: KEML: A Knowledge-Enriched Meta-Learning Framework for Lexical Relation Classification

abstract: Lexical relations describe how concepts are semantically related, in the form of relation triples. The accurate prediction of lexical relations between concepts is challenging, due to the sparsity of patterns indicating the existence of such relations. We propose the Knowledge-Enriched Meta-Learning (KEML) framework to address the task of lexical relation classification. In KEML, the LKB-BERT (Lexical Knowledge Base-BERT) model is presented to learn concept representations from massive text corpora, with rich lexical knowledge injected by distant supervision. A probabilistic distribution of auxiliary tasks is defined to increase the model's ability to recognize different types of lexical relations. We further combine a meta-learning process over the auxiliary task distribution and supervised learning to train the neural lexical relation classifier. Experiments over multiple datasets show that KEML outperforms state-of-the-art methods.


title: Reward Shaping for Human Learning via Inverse Reinforcement Learning

abstract: Humans are spectacular reinforcement learners, constantly learning from and adjusting to experience and feedback. Unfortunately, this doesn't necessarily mean humans are fast learners. When tasks are challenging, learning can become unacceptably slow. Fortunately, humans do not have to learn tabula rasa, and learning speed can be greatly increased with learning aids. In this work we validate a new type of learning aid -- reward shaping for humans via inverse reinforcement learning (IRL). The goal of this aid is to increase the speed with which humans can learn good policies for specific tasks. Furthermore this approach compliments alternative machine learning techniques such as safety features that try to prevent individuals from making poor decisions. To achieve our results we first extend a well known IRL algorithm via kernel methods. Afterwards we conduct two human subjects experiments using an online game where players have limited time to learn a good policy. We show with statistical significance that players who receive our learning aid are able to approach desired policies more quickly than the control group.


title: Fully Convolutional Neural Networks for Raw Eye Tracking Data Segmentation, Generation, and Reconstruction

abstract: In this paper, we use fully convolutional neural networks for the semantic segmentation of eye tracking data. We also use these networks for reconstruction, and in conjunction with a variational auto-encoder to generate eye movement data. The first improvement of our approach is that no input window is necessary, due to the use of fully convolutional networks and therefore any input size can be processed directly. The second improvement is that the used and generated data is raw eye tracking data (position X, Y and time) without preprocessing. This is achieved by pre-initializing the filters in the first layer and by building the input tensor along the z axis. We evaluated our approach on three publicly available datasets and compare the results to the state of the art.


title: Counting hyperbolic multi-geodesics with respect to the lengths of individual components

abstract: Given a connected, oriented, complete, finite area hyperbolic surface $X$ of genus $g$ with $n$ punctures, Mirzakhani showed that the number of multi-geodesics on $X$ of total hyperbolic length $\leq L$ in the mapping class group orbit of a given simple or filling closed multi-curve is asymptotic as $L \to \infty$ to a polynomial in $L$ of degree $6g-6+2n$. We establish asymptotics of the same kind for countings of multi-geodesics in mapping class group orbits of simple or filling closed multi-curves that keep track of the hyperbolic lengths of individual components, proving and generalizing a conjecture of Wolpert. In the simple case we consider more precise countings that also keep track of the class of the multi-geodesics in the space of projective measured geodesic laminations. We provide a unified geometric and topological description of the leading terms of the asymptotics of all the countings considered. Our proofs combine techniques and results from several papers of Mirzakhani as well as ideas introduced by Margulis in his thesis.


title: A Lyapunov Approach to Barrier-Function Based Time-Varying Gains Higher Order Sliding Mode Controllers

abstract: In this paper, we present Lyapunov-based {\color{black}time varying} controllers for {\color{black}fast} stabilization of a perturbed chain of integrators with bounded uncertainties. We refer to such controllers as {\color{black}time varying} higher order sliding mode controllers since they are designed for nonlinear Single-Input-Single-Output (SISO) systems with bounded uncertainties such that the uncertainty bounds are unknown. %{\color{blue} OLD: Our main result states that, given any neighborhood $\varepsilon$ of the origin, we determine a controller insuring, for every uncertainty bounds, that every trajectory of the corresponding closed loop system enters $\varepsilon$ and eventually remains there. Furthermore, based on the homogeneity property, a new asymptotic accuracy, which depends on the size of $\varepsilon$, is presented.} We provide a time varying control feedback law insuring verifying the following: there exists a family $(D(t))_{t\geq 0}$ of time varying open sets decreasing to the origin as $t$ tends to infinity, such that, for any unknown uncertainty bounds and trajectory $z(\cdot)$ of the corresponding system, there exists a positive positve $t_z$ for which $z(t_z)\in D(t_z)$ and $z(t)\in D(t)$ for $t\geq t_z$. %enters convergence in finite time of all the trajectories to a time varying domain $D(t)$ shrinking to the origin and their maintenance there. Hence, since the function $\eta(t)$ tends to zero, this leads the asymptotic convergence of all the trajectories to zero. The effectiveness of these controllers is illustrated through simulations.


title: Multifold Acceleration of Diffusion MRI via Slice-Interleaved Diffusion Encoding (SIDE)

abstract: Diffusion MRI (dMRI) is a unique imaging technique for in vivo characterization of tissue microstructure and white matter pathways. However, its relatively long acquisition time implies greater motion artifacts when imaging, for example, infants and Parkinson's disease patients. To accelerate dMRI acquisition, we propose in this paper (i) a diffusion encoding scheme, called Slice-Interleaved Diffusion Encoding (SIDE), that interleaves each diffusion-weighted (DW) image volume with slices that are encoded with different diffusion gradients, essentially allowing the slice-undersampling of image volume associated with each diffusion gradient to significantly reduce acquisition time, and (ii) a method based on deep learning for effective reconstruction of DW images from the highly slice-undersampled data. Evaluation based on the Human Connectome Project (HCP) dataset indicates that our method can achieve a high acceleration factor of up to 6 with minimal information loss. Evaluation using dMRI data acquired with SIDE acquisition demonstrates that it is possible to accelerate the acquisition by as much as 50 folds when combined with multi-band imaging.


title: Warped product pointwise bi-slant submanifolds in metallic Riemannian manifolds

abstract: In this paper, we study some properties of warped product pointwise bi-slant submanifolds in locally metallic Riemannian manifolds and we construct some examples in Euclidean spaces.


title: Adversarial Radar Inference. From Inverse Tracking to Inverse Reinforcement Learning of Cognitive Radar

abstract: Cognitive sensing refers to a reconfigurable sensor that dynamically adapts its sensing mechanism by using stochastic control to optimize its sensing resources. For example, cognitive radars are sophisticated dynamical systems; they use stochastic control to sense the environment, learn from it relevant information about the target and background, then adapt the radar sensor to satisfy the needs of their mission. The last two decades have witnessed intense research in cognitive/adaptive radars.This paper discusses addresses the next logical step, namely inverse cognitive sensing. By observing the emissions of a sensor (e.g. radar or in general a controlled stochastic dynamical system) in real time, how can we detect if the sensor is cognitive (rational utility maximizer) and how can we predict its future actions? The scientific challenges involve extending Bayesian filtering, inverse reinforcement learning and stochastic optimization of dynamical systems to a data-driven adversarial setting. Our methodology transcends classical statistical signal processing (sensing and estimation/detection theory) to address the deeper issue of how to infer strategy from sensing. The generative models, adversarial inference algorithms and associated mathematical analysis will lead to advances in understanding how sophisticated adaptive sensors such as cognitive radars operate.


title: On the asymptotic Plateau problem in ${\widetilde{\mathrm{SL}}_2(\mathbb{R})}$

abstract: We prove some non-existence results for the asymptotic Plateau problem of minimal and area minimizing surfaces in the homogeneous space ${\widetilde{\mathrm{SL}}_2(\mathbb{R})}$ with isometry group of dimension 4, in terms of their asymptotic boundary. Also, we show that a properly immersed minimal surface in ${\widetilde{\mathrm{SL}}_2(\mathbb{R})}$ contained between two bounded entire minimal graphs separated by vertical distance less than $\sqrt{1+4\tau^2}\pi$ have multigraphical ends. Finally, we construct simply connected minimal surfaces with finite total curvature which are not graphs and a family of complete embedded minimal surfaces which are non-proper in ${\widetilde{\mathrm{SL}}_2(\mathbb{R})}$.


title: Understanding the Instability of the Halide Perovskite CsPbI$_3$ through Temperature-Dependent Structural Analysis

abstract: Despite the tremendous interest in halide perovskites in solar cells, the reason that the all-inorganic perovskite CsPbI$_3$ is unstable at room temperature remains mysterious. Here single-crystal X-ray diffraction and powder pair distribution function (PDF) measurements characterize bulk perovskite CsPbI$_3$ from 100 to 295 K to elucidate its thermodynamic instability. While Cs occupies a single site from 100 to 150 K, it splits between two sites from 175 to 295 K with the second site having a lower effective coordination number, which along with other structural parameters suggests that Cs rattles in its coordination polyhedron. PDF measurements reveal that on the length scale of the unit cell, the Pb-I octahedra concurrently become greatly distorted, with one of the I-Pb-I angles approaching 82{\deg} compared to the ideal 90{\deg}. The rattling of Cs, low number of Cs-I contacts, and high degree of octahedral distortion cause the instability of perovskite-phase CsPbI$_3$. These results provide detailed structural information that may help to engineer greater stability of CsPbI$_3$ and other all-inorganic perovskites for use in solar cells.


title: Critical point theory for sparse recovery

abstract: We study the problem of sparse recovery in the context of compressed sensing. This is to minimize the sensing error of linear measurements by sparse vectors with at most $s$ non-zero entries. We develop the so-called critical point theory for sparse recovery. This is done by introducing nondegenerate M-stationary points which adequately describe the global structure of this nonconvex optimization problem. We show that all M-stationary points are generically nondegenerate. In particular, the sparsity constraint is active at all local minimizers of a generic sparse recovery problem. Additionally, the equivalence of strong stability and nondegeneracy for M-stationary points is shown. We claim that the appearance of saddle points - these are M-stationary points with exactly $s-1$ non-zero entries - cannot be neglected. For this purpose we derive a so-called Morse relation, which gives a lower bound on the number of saddle points in terms of the number of local minimizers. The relatively involved structure of saddle points can be seen as a source of well-known difficulty by solving the problem of sparse recovery to global optimality.


title: Equivariant asymptotics of Szeg\"o kernels under Hamiltonian $SU(2)\times S^1$-actions

abstract: Let $M$ be complex projective manifold and $A$ a positive line bundle on it. Assume that a compact and connected Lie group $G$ acts on $M$ in a Hamiltonian and holomorphic manner and that this action linearizes to $A$. Then, there is an associated unitary representation of $G$ on the associated algebro-geometric Hardy space $H(X)$. The standard circle action on $H(X)$ commutes with the action of $G$ and thus one has a decompositions labeled by $(k\,\boldsymbol{\nu},\,k)$, where $k\in\mathbb{Z}$ and $\boldsymbol{ \nu }\in \hat{G}$. We consider the local and global asymptotic properties of the corresponding equivariant projector as $k$ goes to infinity. More generally, for a compact connected Lie group, we compute the asymptotics of the dimensions of the corresponding isotypes.


title: CODAR: A Contextual Duration-Aware Qubit Mapping for Various NISQ Devices

abstract: Quantum computing devices in the NISQ era share common features and challenges like limited connectivity between qubits. Since two-qubit gates are allowed on limited qubit pairs, quantum compilers must transform original quantum programs to fit the hardware constraints. Previous works on qubit mapping assume different gates have the same execution duration, which limits them to explore the parallelism from the program. To address this drawback, we propose a Multi-architecture Adaptive Quantum Abstract Machine (maQAM) and a COntext-sensitive and Duration-Aware Remapping algorithm (CODAR). The CODAR remapper is aware of gate duration difference and program context, enabling it to extract more parallelism from programs and speed up the quantum programs by 1.23 in simulation on average in different architectures and maintain the fidelity of circuits when running on Origin Quantum noisy simulator.


title: Study of Coarse Quantization-Aware Block Diagonalization Algorithms for MIMO Systems with Low Resolution

abstract: It is known that the estimated energy consumption of digital-to analog converters (DACs) is around 30\% of the energy consumed by analog-to-digital converters (ADCs) keeping fixed the sampling rate and bit resolution. Assuming that similarly to ADC, DAC dissipation doubles with every extra bit of resolution, a decrease in two resolution bits, for instance from 4 to 2 bits, represents a 75$\% $ lower dissipation. The current limitations in sum-rates of 1-bit quantization have motivated researchers to consider extra bits in resolution to obtain higher levels of sum-rates. Following this, we devise coarse quantization-aware precoding using few bits for the broadcast channel of multiple-antenna systems based on the Bussgang theorem. In particular, we consider block diagonalization algorithms, which have not been considered in the literature so far. The sum-rates achieved by the proposed Coarse Quantization-Aware Block Diagonalization (CQA-BD) and its regularized version (CQA-RBD) are superior to those previously reported in the literature. Simulations illustrate the performance of the proposed CQA-BD and CGA-RBD algorithms against existing approaches.


title: Planning for Compilation of a Quantum Algorithm for Graph Coloring

abstract: The problem of compiling general quantum algorithms for implementation on near-term quantum processors has been introduced to the AI community. Previous work demonstrated that temporal planning is an attractive approach for part of this compilationtask, specifically, the routing of circuits that implement the Quantum Alternating Operator Ansatz (QAOA) applied to the MaxCut problem on a quantum processor architecture. In this paper, we extend the earlier work to route circuits that implement QAOA for Graph Coloring problems. QAOA for coloring requires execution of more, and more complex, operations on the chip, which makes routing a more challenging problem. We evaluate the approach on state-of-the-art hardware architectures from leading quantum computing companies. Additionally, we apply a planning approach to qubit initialization. Our empirical evaluation shows that temporal planning compares well to reasonable analytic upper bounds, and that solving qubit initialization with a classical planner generally helps temporal planners in finding shorter-makespan compilations for QAOA for Graph Coloring. These advances suggest that temporal planning can be an effective approach for more complex quantum computing algorithms and architectures.


title: Non-realizability of the pure braid group as area-preserving homeomorphisms

abstract: Let $\text{Homeo}_+(D^2_n)$ be the group of orientation-preserving homeomorphisms of $D^2$ fixing the boundary pointwise and $n$ marked points as a set. Nielsen realization problem for the braid group asks whether the natural projection $p_n:\text{Homeo}_+(D^2_n)\to B_n:=\pi_0(\text{Homeo}_+(D^2_n))$ has a section over subgroups of $B_n$. All of the previous methods either use torsions or Thurston stability, which do not apply to the pure braid group $PB_n$, the subgroup of $B_n$ that fixes $n$ marked points pointwise. In this paper, we show that the pure braid group has no realization inside the area-preserving homeomorphisms using rotation numbers.


title: Updated status of the undulator-based ILC positron source

abstract: The design of the positron source for the International Linear Collider (ILC) is still under discussion. The baseline design plans to use the high-energy electron beam for the positron production before it goes to the IP. The electrons pass a long helical undulator and generate an intense circularly polarized photon beam which hits a thin conversion target to produce $e^+e^-$ pairs. The resulting positron beam is longitudinally polarized which provides an important benefit for precision physics analyses at the ILC. In this paper the status of the positron target design studies is presented. Focus is the positron yield for center-of-mass energies of 250 GeV and also the Z peak. Possibilities to improve the positron collection system and thus to increase the positron yield are discussed.


title: Generalized Hamming weights of toric codes over hypersimplices and square-free affine evaluation codes

abstract: Let $\mathbb{F}_{q}$ be a finite field with $q$ elements, where $q$ is a power of prime $p$. A polynomial over $\mathbb{F}_{q}$ is square-free if all its monomials are square-free. In this note, we determine an upper bound on the number of zeroes in the affine torus $T=(\mathbb{F}_{q}^{*})^{s}$ of any set of $r$ linearly independent square-free polynomials over $\mathbb{F}_{q}$ in $s$ variables, under certain conditions on $r$, $s$ and degree of these polynomials. Applying the results, we partly obtain the generalized Hamming weights of toric codes over hypersimplices and square-free evaluation codes, as defined in \cite{hyper}. Finally, we obtain the dual of these toric codes with respect to the Euclidean scalar product.


title: A computer-friendly construction of the monster

abstract: Let $\mathbb{M}$ be the monster group which is the largest sporadic finite simple group, and has first been constructed in 1982 by Griess. In 1985, Conway has constructed a 196884-dimensional representation $\rho$ of $\mathbb{M}$ with matrix coefficients in $\mathbb{Z}[\frac{1}{2}]$. So these matrices may be reduced modulo any (not necessarily prime) odd number $p$, leading to representations of $\mathbb{M}$ in odd characteristic. The representation $\rho$ is based on representations of two maximal subgroups $G_{x0}$ and $N_0$ of $\mathbb{M}$. In ATLAS notation, $G_{x0}$ has structure $2_+^{1+24}.\mbox{Co}_1$ and $N_0$ has structure $2^{2+11+22}.( M_{24} \times S_3)$. Conway has constructed an explicit set of generators of $N_0$, but not of $G_{x0}$. This paper is essentially a rewrite of Conway's construction augmented by an explicit construction of an element of $G_{x0} \setminus N_0$. This gives us a complete set of generators of $\mathbb{M}$. It turns out that the matrices of all generators of $\mathbb{M}$ consist of monomial blocks, and of blocks which are essentially Hadamard matrices scaled by a negative power of two. Multiplication with such a generator can be programmed very efficiently if the modulus $p$ is of shape $2^k-1$. So this paper may be considered a as programmer's reference for Conway's construction of the monster group $\mathbb{M}$. We have implemented representations of $\mathbb{M}$ modulo 3, 7, 15, 31, 127, and 255.


title: Extended-body effects and rocket-free orbital maneuvering

abstract: The trajectory of a spherical object which falls freely in a gravitational field is fixed by its initial position and velocity. However, an object which can control its shape can also control its motion: Except where forbidden by symmetries and their associated conservation laws, a shape-changing (but rocket-free) spacecraft can have complete control over its trajectory. We discuss a general formalism which allows rocket-free maneuvers to be understood without constructing detailed interior models. A spacecraft's interior is abstracted to the specification of a quadrupole moment, and in some cases, it is only a single eigenvalue of that moment which is relevant. For orbits around a spherically-symmetric mass, we show that appropriately varying the relevant eigenvalue allows the energy and eccentricity of an orbit to be increased or decreased and its apsides to be rotated arbitrarily. Strategies are identified which optimize these maneuvers. In other contexts, we show that extended-body effects can be used to stabilize orbits which would otherwise be unstable.


title: General Framework for Binary Classification on Top Samples

abstract: Many binary classification problems minimize misclassification above (or below) a threshold. We show that instances of ranking problems, accuracy at the top or hypothesis testing may be written in this form. We propose a general framework to handle these classes of problems and show which known methods (both known and newly proposed) fall into this framework. We provide a theoretical analysis of this framework and mention selected possible pitfalls the methods may encounter. We suggest several numerical improvements including the implicit derivative and stochastic gradient descent. We provide an extensive numerical study. Based both on the theoretical properties and numerical experiments, we conclude the paper by suggesting which method should be used in which situation.


title: Stein variational reduced basis Bayesian inversion

abstract: We propose and analyze a Stein variational reduced basis method (SVRB) to solve large-scale PDE-constrained Bayesian inverse problems. To address the computational challenge of drawing numerous samples requiring expensive PDE solves from the posterior distribution, we integrate an adaptive and goal-oriented model reduction technique with an optimization-based Stein variational gradient descent method (SVGD). The samples are drawn from the prior distribution and iteratively pushed to the posterior by a sequence of transport maps, which are constructed by SVGD, requiring the evaluation of the potential---the negative log of the likelihood function---and its gradient with respect to the random parameters, which depend on the solution of the PDE. To reduce the computational cost, we develop an adaptive and goal-oriented model reduction technique based on reduced basis approximations for the evaluation of the potential and its gradient. We present a detailed analysis for the reduced basis approximation errors of the potential and its gradient, the induced errors of the posterior distribution measured by Kullback--Leibler divergence, as well as the errors of the samples. To demonstrate the computational accuracy and efficiency of SVRB, we report results of numerical experiments on a Bayesian inverse problem governed by a diffusion PDE with random parameters with both uniform and Gaussian prior distributions. Over 100X speedups can be achieved while the accuracy of the approximation of the potential and its gradient is preserved.


title: A new solution to square matrix completion problem

abstract: In this paper we give a novel solution to a classical completion problem for square matrices. This problem was studied by many authors through time, and it is completely solved in [2, 3]. In this paper we relate this classical problem to a purely combinatorial question involving partitions of integers and their majorizations studied in [4]. We show surprising relations in these approaches and as a corollary, we obtain a new combinatorial result on partitions of integers.


title: Graph insertion operads

abstract: Using the combinatorial species setting, we propose two new operad structures on multigraphs and on pointed oriented multigraphs. The former can be considered as a canonical operad on multigraphs, directly generalizing the Kontsevich-Willwacher operad, and has many interesting suboperads. The latter is a natural extension of the pre-Lie operad in a sense developed here and related to the multigraph operad. We study some of the finitely generated suboperads of the multigraph operad and establish links between them and the commutative operad and the commutative magmatic operad.


title: Integer Plane Multiflow Maximisation : Flow-Cut Gap and One-Quarter-Approximation

abstract: In this paper, we bound the integrality gap and the approximation ratio for maximum plane multiflow problems and deduce bounds on the flow-cut-gap. Planarity means here that the union of the supply and demand graph is planar. We first prove that there exists a multiflow of value at least half of the capacity of a minimum multicut. We then show how to convert any multiflow into a half-integer one of value at least half of the original multiflow. Finally, we round any half-integer multiflow into an integer multiflow, losing again at most half of the value, in polynomial time, achieving a $1/4$-approximation algorithm for maximum integer multiflows in the plane, and an integer-flow-cut gap of $8$.


title: Representations having vectors fixed by a Levi subgroup

abstract: For any semisimple real Lie algebra $\mathfrak{g}_\mathbb{R}$, we classify the representations of $\mathfrak{g}_\mathbb{R}$ that have at least one nonzero vector on which the centralizer of a Cartan subspace, also known as the centralizer of a maximal split torus, acts trivially. In the process, we revisit the notion of $\mathfrak{g}$-standard Young tableaux, introduced by Lakshmibai and studied by Littelmann, that provides a combinatorial model for the characters of the irreducible representations of any classical semisimple Lie algebra $\mathfrak{g}$. We construct a new version of these objects, which differs from the old one for $\mathfrak{g} = \mathfrak{so}(2r)$ and seems, in some sense, simpler and more natural.


title: Duality Between Quantization and Measurement

abstract: Using the known duality between events and states, we establish the fact that there is a duality between quantization of events and measurement of states. With this duality, we will show a generalized system of imprimitivity and a covariant measurement are in a dual relation. We also propose a novel quantization scheme as a dual of a measurement model.


title: Bipartite independence number in graphs with bounded maximum degree

abstract: We consider a natural, yet seemingly not much studied, extremal problem in bipartite graphs. A bi-hole of size $t$ in a bipartite graph $G$ is a copy of $K_{t, t}$ in the bipartite complement of $G$. Let $f(n, \Delta)$ be the largest $k$ for which every $n \times n$ bipartite graph with maximum degree $\Delta$ in one of the parts has a bi-hole of size $k$. Determining $f(n, \Delta)$ is thus the bipartite analogue of finding the largest independent set in graphs with a given number of vertices and bounded maximum degree. Our main result determines the asymptotic behavior of $f(n, \Delta)$. More precisely, we show that for large but fixed $\Delta$ and $n$ sufficiently large, $f(n, \Delta) = \Theta(\frac{\log \Delta}{\Delta} n)$. We further address more specific regimes of $\Delta$, especially when $\Delta$ is a small fixed constant. In particular, we determine $f(n, 2)$ exactly and obtain bounds for $f(n, 3)$, though determining the precise value of $f(n, 3)$ is still open.


title: Detecting Asks in SE attacks: Impact of Linguistic and Structural Knowledge

abstract: Social engineers attempt to manipulate users into undertaking actions such as downloading malware by clicking links or providing access to money or sensitive information. Natural language processing, computational sociolinguistics, and media-specific structural clues provide a means for detecting both the ask (e.g., buy gift card) and the risk/reward implied by the ask, which we call framing (e.g., lose your job, get a raise). We apply linguistic resources such as Lexical Conceptual Structure to tackle ask detection and also leverage structural clues such as links and their proximity to identified asks to improve confidence in our results. Our experiments indicate that the performance of ask detection, framing detection, and identification of the top ask is improved by linguistically motivated classes coupled with structural clues such as links. Our approach is implemented in a system that informs users about social engineering risk situations.


title: Theoretical Performance Bound of Uplink Channel Estimation Accuracy in Massive MIMO

abstract: In this paper, we present a new performance bound for uplink channel estimation (CE) accuracy in the Massive Multiple Input Multiple Output (MIMO) system. The proposed approach is based on noise power prediction after the CE unit. Our method outperforms the accuracy of a well-known Cramer-Rao lower bound (CRLB) due to considering more statistics since performance strongly depends on a number of channel taps and power ratio between them. Simulation results are presented for the non-line of sight (NLOS) 3D-UMa model of 5G QuaDRiGa 2.0 channel and compared with CRLB and state-of-the-art CE algorithms.


title: Scaled variables and the quark-hadron duality

abstract: The thermodynamic quantities of the ideal gas of hadrons and the $(2+1)$--flavor lattice QCD scaled by the effective degeneracy factors of the corresponding models are compared. We have found that in terms of the scaled variables the quark-hadron duality of the lattice QCD and the hadron resonance gas (HRG) model disappears. However, we have unexpectedly revealed that the scaled variables lead to the quark-hadron duality of the lattice QCD and the quantum ideal gas of kaons and antikaons, namely, the ideal gas of those hadrons that contain all the three quarks $u,d,s$ and their antiquarks. Satisfactory agreement between the scaled results of the kaon ideal gas and the lattice QCD data is achieved at large values of the volume in the entire temperature range. In the ideal gas of kaons there is no any phase transition. Nevertheless, in our calculations the scaled thermodynamic quantities of the ideal gas and the lattice QCD follow the same qualitative behavior and are consistent with each other especially at high temperatures in the perturbative region.


title: Study of diffusion coefficients of identified particles at energies available at BNL Relativistic Heavy Ion Collider

abstract: Using event-by-event fluctuations, we study the diffusion parameters of net-charge, net-pion, net-kaon, and net-proton in the heavy-ion jet interaction generator (HIJING), and ultra-relativistic quantum molecular dynamics (UrQMD) models at different collision energies \sqsn available at BNL Relativistic Heavy Ion Collider (RHIC). The diffusion parameter ($\sigma$) of net-charge and identified particles are estimated in rapidity space at various \sqsn. It is observed that, the $\sigma$ values are independent of collision energies but emphasises the particle-species dependence of diffusion coefficient in the QGP medium. The present work on particle-species dependence of diffusion coefficient provides a baseline for comparison with the experimental data.


title: Collisional effects on the electrostatic shock dynamics in thin-foil targets driven by an ultraintense short pulse laser

abstract: We numerically investigate the impact of Coulomb collisions on the ion dynamics in high-$Z$, solid density caesium hydride and copper targets, irradiated by high-intensity ($I\approx2{-}5\times10^{20}{\rm\,Wcm^{-2}}$), ultrashort (${\sim}10{\rm\,fs}$), circularly polarized laser pulses, using particle-in-cell simulations. Collisions significantly enhance electron heating, thereby strongly increasing the speed of a shock wave launched in the laser-plasma interaction. In the caesium hydride target, collisions between the two ion species heat the protons to ${\sim}100{-}1000{\rm\,eV}$ temperatures. However, in contrast to previous work (A.E. Turrell etal., 2015 Nat. Commun. 6, 8905), this process happens in the upstream only, due to nearly total proton reflection. This difference is ascribed to distinct models used to treat collisions in dense/cold plasmas. In the case of a copper target, ion reflection can start as a self-amplifying process, bootstrapping itself. Afterwards, collisions between the reflected and upstream ions heat these two populations significantly. When increasing the pulse duration to $60{\rm\,fs}$, the shock front more clearly decouples from the laser piston, and so can be studied without direct interference from the laser. The shock wave formed at early times exhibits properties typical of both hydrodynamic and electrostatic shocks, including ion reflection. At late times, the shock is seen to evolve into a hydrodynamic blast wave.


title: Stochastic encoding of graphs in deep learning allows for complex analysis of gender classification in resting-state and task functional brain networks from the UK Biobank

abstract: Classification of whole-brain functional connectivity MRI data with convolutional neural networks (CNNs) has shown promise, but the complexity of these models impedes understanding of which aspects of brain activity contribute to classification. While visualization techniques have been developed to interpret CNNs, bias inherent in the method of encoding abstract input data, as well as the natural variance of deep learning models, detract from the accuracy of these techniques. We introduce a stochastic encoding method in an ensemble of CNNs to classify functional connectomes by gender. We applied our method to resting-state and task data from the UK BioBank, using two visualization techniques to measure the salience of three brain networks involved in task- and resting-states, and their interaction. To regress confounding factors such as head motion, age, and intracranial volume, we introduced a multivariate balancing algorithm to ensure equal distributions of such covariates between classes in our data. We achieved a final AUROC of 0.8459. We found that resting-state data classifies more accurately than task data, with the inner salience network playing the most important role of the three networks overall in classification of resting-state data and connections to the central executive network in task data.


title: Diversity-Based Generalization for Unsupervised Text Classification under Domain Shift

abstract: Domain adaptation approaches seek to learn from a source domain and generalize it to an unseen target domain. At present, the state-of-the-art unsupervised domain adaptation approaches for subjective text classification problems leverage unlabeled target data along with labeled source data. In this paper, we propose a novel method for domain adaptation of single-task text classification problems based on a simple but effective idea of diversity-based generalization that does not require unlabeled target data but still matches the state-of-the-art in performance. Diversity plays the role of promoting the model to better generalize and be indiscriminate towards domain shift by forcing the model not to rely on same features for prediction. We apply this concept on the most explainable component of neural networks, the attention layer. To generate sufficient diversity, we create a multi-head attention model and infuse a diversity constraint between the attention heads such that each head will learn differently. We further expand upon our model by tri-training and designing a procedure with an additional diversity constraint between the attention heads of the tri-trained classifiers. Extensive evaluation using the standard benchmark dataset of Amazon reviews and a newly constructed dataset of Crisis events shows that our fully unsupervised method matches with the competing baselines that uses unlabeled target data. Our results demonstrate that machine learning architectures that ensure sufficient diversity can generalize better; encouraging future research to design ubiquitously usable learning models without using unlabeled target data.


title: Applying Rule-Based Context Knowledge to Build Abstract Semantic Maps of Indoor Environments

abstract: In this paper, we propose a generalizable method that systematically combines data driven MCMC samplingand inference using rule-based context knowledge for data abstraction. In particular, we demonstrate the usefulness of our method in the scenario of building abstract semantic maps for indoor environments. The product of our system is a parametric abstract model of the perceived environment that not only accurately represents the geometry of the environment but also provides valuable abstract information which benefits high-level robotic applications. Based on predefined abstract terms,such as type and relation, we define task-specific context knowledge as descriptive rules in Markov Logic Networks. The corresponding inference results are used to construct a priordistribution that aims to add reasonable constraints to the solution space of semantic maps. In addition, by applying a semantically annotated sensor model, we explicitly use context information to interpret the sensor data. Experiments on real world data show promising results and thus confirm the usefulness of our system.


title: Online Semantic Exploration of Indoor Maps

abstract: In this paper we propose a method to extract an abstracted floor plan from typical grid maps using Bayesian reasoning. The result of this procedure is a probabilistic generative model of the environment defined over abstract concepts. It is well suited for higher-level reasoning and communication purposes. We demonstrate the effectiveness of the approach through real-world experiments.


title: Stochastic-Sign SGD for Federated Learning with Theoretical Guarantees

abstract: Federated learning (FL) has emerged as a prominent distributed learning paradigm. FL entails some pressing needs for developing novel parameter estimation approaches with theoretical guarantees of convergence, which are also communication efficient, differentially private and Byzantine resilient in the heterogeneous data distribution settings. Quantization-based SGD solvers have been widely adopted in FL and the recently proposed SIGNSGD with majority vote shows a promising direction. However, no existing methods enjoy all the aforementioned properties. In this paper, we propose an intuitively-simple yet theoretically-sound method based on SIGNSGD to bridge the gap. We present Stochastic-Sign SGD which utilizes novel stochastic-sign based gradient compressors enabling the aforementioned properties in a unified framework. We also present an error-feedback variant of the proposed Stochastic-Sign SGD which further improves the learning performance in FL. We test the proposed method with extensive experiments using deep neural networks on the MNIST dataset and the CIFAR-10 dataset. The experimental results corroborate the effectiveness of the proposed method.


title: A$^3$: Accelerating Attention Mechanisms in Neural Networks with Approximation

abstract: With the increasing computational demands of neural networks, many hardware accelerators for the neural networks have been proposed. Such existing neural network accelerators often focus on popular neural network types such as convolutional neural networks (CNNs) and recurrent neural networks (RNNs); however, not much attention has been paid to attention mechanisms, an emerging neural network primitive that enables neural networks to retrieve most relevant information from a knowledge-base, external memory, or past states. The attention mechanism is widely adopted by many state-of-the-art neural networks for computer vision, natural language processing, and machine translation, and accounts for a large portion of total execution time. We observe today's practice of implementing this mechanism using matrix-vector multiplication is suboptimal as the attention mechanism is semantically a content-based search where a large portion of computations ends up not being used. Based on this observation, we design and architect A3, which accelerates attention mechanisms in neural networks with algorithmic approximation and hardware specialization. Our proposed accelerator achieves multiple orders of magnitude improvement in energy efficiency (performance/watt) as well as substantial speedup over the state-of-the-art conventional hardware.


title: On the support $t$-designs of extremal Type III and IV codes

abstract: Let $C$ be an extremal Type III or IV code and $D_{w}$ be the support design of $C$ for a weight $w$. We introduce the two numbers $\delta(C)$ and $s(C)$: $\delta(C)$ is the largest integer $t$ such that, for all weights, $D_{w}$ is a $t$-design; $s(C)$ denotes the largest integer $t$ such that there exists a $w$ such that $D_{w}$ is a $t$-design. In the present paper, we consider the possible values of $\delta(C)$ and $s(C)$.


title: Data Augmentation for Personal Knowledge Base Population

abstract: Cold start knowledge base population (KBP) is the problem of populating a knowledge base from unstructured documents. While artificial neural networks have led to significant improvements in the different tasks that are part of KBP, the overall F1 of the end-to-end system remains quite low. This problem is more acute in personal knowledge bases, which present additional challenges with regard to data protection, fairness and privacy. In this work, we present a system that uses rule based annotators and a graph neural network for missing link prediction, to populate a more complete, fair and diverse knowledge base from the TACRED dataset.


title: Optimizing Privacy-Preserving Outsourced Convolutional Neural Network Predictions

abstract: Convolutional neural network is a machine-learning model widely applied in various prediction tasks, such as computer vision and medical image analysis. Their great predictive power requires extensive computation, which encourages model owners to host the prediction service in a cloud platform. Recent researches focus on the privacy of the query and results, but they do not provide model privacy against the model-hosting server and may leak partial information about the results. Some of them further require frequent interactions with the querier or heavy computation overheads, which discourages querier from using the prediction service. This paper proposes a new scheme for privacy-preserving neural network prediction in the outsourced setting, i.e., the server cannot learn the query, (intermediate) results, and the model. Similar to SecureML (S&P'17), a representative work that provides model privacy, we leverage two non-colluding servers with secret sharing and triplet generation to minimize the usage of heavyweight cryptography. Further, we adopt asynchronous computation to improve the throughput, and design garbled circuits for the non-polynomial activation function to keep the same accuracy as the underlying network (instead of approximating it). Our experiments on MNIST dataset show that our scheme achieves an average of 122x, 14.63x, and 36.69x reduction in latency compared to SecureML, MiniONN (CCS'17), and EzPC (EuroS&P'19), respectively. For the communication costs, our scheme outperforms SecureML by 1.09x, MiniONN by 36.69x, and EzPC by 31.32x on average. On the CIFAR dataset, our scheme achieves a lower latency by a factor of 7.14x and 3.48x compared to MiniONN and EzPC, respectively. Our scheme also provides 13.88x and 77.46x lower communication costs than MiniONN and EzPC on the CIFAR dataset.


title: Image Stylization: From Predefined to Personalized

abstract: We present a framework for interactive design of new image stylizations using a wide range of predefined filter blocks. Both novel and off-the-shelf image filtering and rendering techniques are extended and combined to allow the user to unleash their creativity to intuitively invent, modify, and tune new styles from a given set of filters. In parallel to this manual design, we propose a novel procedural approach that automatically assembles sequences of filters, leading to unique and novel styles. An important aim of our framework is to allow for interactive exploration and design, as well as to enable videos and camera streams to be stylized on the fly. In order to achieve this real-time performance, we use the \textit{Best Linear Adaptive Enhancement} (BLADE) framework -- an interpretable shallow machine learning method that simulates complex filter blocks in real time. Our representative results include over a dozen styles designed using our interactive tool, a set of styles created procedurally, and new filters trained with our BLADE approach.


title: Dynamic characterization of a stochastic SIR infectious disease model with dual perturbation

abstract: This paper presents an SIR epidemic model with two different types of perturbations: white and L\'evy noises. We consecrate to develop a mathematical method to obtain the asymptotic properties of the perturbed model. We use the comparison theorem, mutually exclusive possibilities lemma, and some new techniques of the stochastic differential systems to discuss the following characteristics: persistence in the mean, ergodicity, and extinction of the disease. Finally, numerical simulations about different perturbations are realized to confirm the obtained theoretical results.


title: Towards an Efficient and General Framework of Robust Training for Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have made significant advances on several fundamental inference tasks. As a result, there is a surge of interest in using these models for making potentially important decisions in high-regret applications. However, despite GNNs' impressive performance, it has been observed that carefully crafted perturbations on graph structures (or nodes attributes) lead them to make wrong predictions. Presence of these adversarial examples raises serious security concerns. Most of the existing robust GNN design/training methods are only applicable to white-box settings where model parameters are known and gradient based methods can be used by performing convex relaxation of the discrete graph domain. More importantly, these methods are not efficient and scalable which make them infeasible in time sensitive tasks and massive graph datasets. To overcome these limitations, we propose a general framework which leverages the greedy search algorithms and zeroth-order methods to obtain robust GNNs in a generic and an efficient manner. On several applications, we show that the proposed techniques are significantly less computationally expensive and, in some cases, more robust than the state-of-the-art methods making them suitable to large-scale problems which were out of the reach of traditional robust training methods.


title: Reinforcement Learning Framework for Deep Brain Stimulation Study

abstract: Malfunctioning neurons in the brain sometimes operate synchronously, reportedly causing many neurological diseases, e.g. Parkinson's. Suppression and control of this collective synchronous activity are therefore of great importance for neuroscience, and can only rely on limited engineering trials due to the need to experiment with live human brains. We present the first Reinforcement Learning gym framework that emulates this collective behavior of neurons and allows us to find suppression parameters for the environment of synthetic degenerate models of neurons. We successfully suppress synchrony via RL for three pathological signaling regimes, characterize the framework's stability to noise, and further remove the unwanted oscillations by engaging multiple PPO agents.


title: Is the K-matrix approach adequate for describing overlapping resonances?

abstract: The K-matrix method is widely used unitary parametrization for several resonances with the same quantum numbers. But in fact resonances in this approach are separated and do not overlap.


title: TRAPPIST-1 Habitable Atmosphere Intercomparison (THAI). Motivations and protocol version 1.0

abstract: Upcoming telescopes such as the James Webb Space Telescope (JWST), or the Extremely Large Telescope (ELTs), may soon be able to characterize, through transmission, emission or reflection spectroscopy, the atmospheres of rocky exoplanets orbiting nearby M dwarfs. One of the most promising candidates is the late M dwarf system TRAPPIST-1 which has seven known transiting planets for which Transit Timing Variation (TTV) measurements suggest that they are terrestrial in nature, with a possible enrichment in volatiles. Among these seven planets, TRAPPIST-1e seems to be the most promising candidate to have habitable surface conditions, receiving ~66 % of the Earth's incident radiation, and thus needing only modest greenhouse gas inventories to raise surface temperatures to allow surface liquid water to exist. TRAPPIST-1e is therefore one of the prime targets for JWST atmospheric characterization. In this context, the modeling of its potential atmosphere is an essential step prior to observation. Global Climate Models (GCMs) offer the most detailed way to simulate planetary atmospheres. However, intrinsic differences exist between GCMs which can lead to different climate prediction and thus observability of gas and/or cloud features in transmission and thermal emission spectra. Such differences should preferably be known prior to observations. In this paper we present a protocol to inter-compare planetary GCMs. Four testing cases are considered for TRAPPIST-1e but the methodology is applicable to other rocky exoplanets in the Habitable Zone. The four test cases included two land planets composed with a modern Earth and pure CO2 atmospheres, respectively, and two aqua planets with the same atmospheric compositions. Currently, there are four participating models (LMDG, ROCKE-3D, ExoCAM, UM), however this protocol is intended to let other teams participate as well.


title: A Fluctuation Dissipation Relation for Relativistic stars

abstract: A fluctuation-dissipation relation for perturbed configuration of a relativistic star is obtained. The stochastic fluctuations of the classical stress tensor comprising the matter content ( a perfect fluid) of the relativistic star, act as the source in a classical Einstien-Langevin equation describing the system. We discuss the linear response of these fluctuations of the stress tensor and develop a fluctuation-dissipation relation from the first principles. Thus a system-bath separation in terms of spacetime metric and matter content is proposed, to study equilibrium and non equilibrium statistical properties for a relativistic star. This is not derived from or related to the scalar fields or quantum stress tensors and their fluctuations, as is usually the case for semiclassical stochastic gravity.


title: Scattering description of Andreev molecules

abstract: An Andreev molecule is a system of closely spaced superconducting weak links accommodating overlapping Andreev Bound States. Recent theoretical proposals have considered one-dimensional Andreev molecules with a single conduction channel. Here we apply the scattering formalism and extend the analysis to multiple conduction channels, a situation encountered in epitaxial superconductor/semiconductor weak links. We obtain the multi-channel bound state energy spectrum and quantify the contribution of the microscopic non-local processes leading to the formation of Andreev molecules.


title: Predicting Coronal Mass Ejections Using SDO/HMI Vector Magnetic Data Products and Recurrent Neural Networks

abstract: We present two recurrent neural networks (RNNs), one based on gated recurrent units and the other based on long short-term memory, for predicting whether an active region (AR) that produces an M- or X-class flare will also produce a coronal mass ejection (CME). We model data samples in an AR as time series and use the RNNs to capture temporal information of the data samples. Each data sample has 18 physical parameters, or features, derived from photospheric vector magnetic field data taken by the Helioseismic and Magnetic Imager (HMI) on board the Solar Dynamics Observatory (SDO). We survey M- and X-class flares that occurred from 2010 May to 2019 May using the Geostationary Operational Environmental Satellite's X-ray flare catalogs provided by the National Centers for Environmental Information (NCEI), and select those flares with identified ARs in the NCEI catalogs. In addition, we extract the associations of flares and CMEs from the Space Weather Database Of Notifications, Knowledge, Information (DONKI). We use the information gathered above to build the labels (positive versus negative) of the data samples at hand. Experimental results demonstrate the superiority of our RNNs over closely related machine learning methods in predicting the labels of the data samples. We also discuss an extension of our approach to predict a probabilistic estimate of how likely an M- or X-class flare will initiate a CME, with good performance results. To our knowledge this is the first time that RNNs have been used for CME prediction.


title: Pentaquark states from bound state approach with chiral partner structure

abstract: The observation of the two states $P_c(4380)$ and $P_c(4445)$ [Phys.Rev.Lett. 115 (2015) 072001] solids the existence of the pentaquark state in Nature. In this work, we study the spectrum of the pentaquark states including one or two heavy quarks based on the bound state approach by binding the heavy-light mesons to the nucleon as a soliton in an effective Lagrangian approach. By regarding the $H$ doublet and $G$ doublet as chiral partners to each other and coupling them to light mesons with a minimal derivative, the chiral partner structure of the pentaquark states is calculated. We find that the bound state approach prefers to arrange $P_c^+(4440)$ and $P_c(4457)$ into a heavy quark doublet $(\frac{1}{2}^-,\frac{3}{2}^-)$ so both decay to $J/\psi p$ through the $S$-wave. The predicted spectrum shown in this work serves as a guide for the experimental hunting of more pentaquark states.


title: Novel criticality of Dirac fermions in the presence of emergent gauge fields

abstract: We consider spontaneous symmetry breaking transitions of strongly interacting two-dimensional Dirac fermions minimally coupled to mass and emergent gauge field order parameters. Using a renormalization group analysis, we show that the presence of gauge fields leads to novel fermion induced quantum (multi-)criticality where the putative emergent Lorentz invariance is violated. We illustrate this with the example of translational symmetry breaking due to charge-density wave order on the honeycomb lattice. Finally, we identify that topological phase transitions are well described by this effective field theory.


title: Upper bounds on Kronecker coefficients with few rows

abstract: We present three different upper bounds for Kronecker coefficients $g(\lambda,\mu,\nu)$ in terms of Kostka numbers, contingency tables and Littlewood--Richardson coefficients. We then give various examples, asymptotic applications, and compare them with existing lower bounds.