title: On quartic colour factors in splitting functions and the gluon cusp anomalous dimension

abstract: We have computed the contributions of the quartic Casimir invariants to the four-loop anomalous dimensions of twist-2 spin-N operators at N =< 16. The results provide new information on the structure of the next-to-next-to-next-to-leading order (N^3LO) splitting functions P_{ik}^(3)(x) for the evolution of parton distributions, and facilitate approximate expressions which include the quartic-Casimir contributions to the (light-like) gluon cusp anomalous dimension. These quantities turn out to be closely related, by a generalization of the lower-order `Casimir scaling', to the corresponding quark results. Using these findings, we present an approximate result for the four-loop gluon cusp anomalous dimension in QCD which is sufficient for phenomenological applications.


title: Online Regularized Nonlinear Acceleration

abstract: Regularized nonlinear acceleration (RNA) estimates the minimum of a function by post-processing iterates from an algorithm such as the gradient method. It can be seen as a regularized version of Anderson acceleration, a classical acceleration scheme from numerical analysis. The new scheme provably improves the rate of convergence of fixed step gradient descent, and its empirical performance is comparable to that of quasi-Newton methods. However, RNA cannot accelerate faster multistep algorithms like Nesterov's method and often diverges in this context. Here, we adapt RNA to overcome these issues, so that our scheme can be used on fast algorithms such as gradient methods with momentum. We show optimal complexity bounds for quadratics and asymptotically optimal rates on general convex minimization problems. Moreover, this new scheme works online, i.e., extrapolated solution estimates can be reinjected at each iteration, significantly improving numerical performance over classical accelerated methods.


title: Presupernova evolution and explosive nucleosynthesis of rotating massive stars in the metallicity range -3 <=[Fe/H]<= 0

abstract: We present a new grid of presupernova models of massive stars extending in mass between 13 and 120 Msun, covering four metallicities (i.e. [Fe/H]=0, -1, -2 and -3) and three initial rotation velocities (i.e. 0, 150 and 300 km/s). The explosion has been simulated following three different assumptions in order to show how the yields depend on the remnant mass - initial mass relation. An extended network from H to Bi is fully coupled to the physical evolution of the models. The main results can be summarized as follows. a) At solar metallicity the maximum mass exploding as Red Super Giant (RSG) is of the order of 17 Msun in the non rotating case, all the more massive stars exploding as WR stars. All rotating models, vice versa, explode as Wolf-Rayet (WR) stars. b) The interplay between the core He burning and the H burning shell, triggered by the rotation induced instabilities, drives the synthesis of a large primary amount of all the products of the CNO, not just N14. A fraction of them enriches enormously the radiative part of the He core (and is responsible of the large production of F) and a fraction enters the convective core leading therefore to an important primary neutron flux able to synthesize heavy nuclei up to Pb. c) In our scenario, remnant masses of the order of those inferred by the first detections of the gravitational waves (GW150914, GW151226, GW170104, GW170814) are predicted at all metallicities for none or moderate initial rotation velocities.


title: Infinite-server queueing model with MAPkGk Markov arrival streams, random volume of customers in random environment subject to catastrophe

abstract: In this paper the infinite server queue model in semi-Markov random environment with k Markov arrival streams, random resources of customers, and catastrophes is considered. After catastrophes occur, all customers in the model are flashed out and the system jumps into recovery station. After the recovery time the model works from the empty state. The transient and stationary joint distributions of numbers of different types of customers in the model at moment t, numbers of different types of served in some interval customers, volume of accumulated resources in the model at moment t, and total volume of served resources in an interval for the model without catastrophes are found. The transient and stationary joint distributions of numbers of different types of customers in the model at moment t, and volume of accumulated resources in the model at moment t and their moments for the model with catastrophes are obtained. All results are obtained using Danzig collective marks method and renewal theory methods.


title: An infinite-server queueing model MMAPkGk in semi-Markov random environment with marked MAP arrival and subject to catastrophes

abstract: In the present paper the infinite-server MMAPkGk queueing model with random resource vector of customers, marked MAP arrival and semi-Markov (SM) arrival of catastrophes is considered. The joint generating functions (PGF) of transient and stationary distributions of number of busy servers and numbers of different types served customers, as well as Laplace transformations (LT) of joint distributions of total accumulated resources in the model at moment and total accumulated resources of served customers during time interval are found. The basic differential and renewal equations for transient and stationary PGF of queue sizes of customers are found.


title: Investigation of Skyscraper's Feat (original version with an addendum)

abstract: Skyscraper is a Hollywood action film directed and written by Rawson M. Thurber scheduled to be released on July 13, 2018. We present an exhaustive analysis of the feat shown in the recently released teaser poster and trailer of the film. Although the feat appears to be unrealistic at first glance, after close investigation using back-of-the-envelope calculations, it is seen to be within human capabilities. This article is the original version of an abridged article published in Physics Education. It was written very soon after the poster and clip were released by Universal Pictures.


title: DINFRA: A One Stop Shop for Computing Multilingual Semantic Relatedness

abstract: This demonstration presents an infrastructure for computing multilingual semantic relatedness and correlation for twelve natural languages by using three distributional semantic models (DSMs). Our demonsrator - DInfra (Distributional Infrastructure) provides researchers and developers with a highly useful platform for processing large-scale corpora and conducting experiments with distributional semantics. We integrate several multilingual DSMs in our webservice so the end user can obtain a result without worrying about the complexities involved in building DSMs. Our webservice allows the users to have easy access to a wide range of comparisons of DSMs with different parameters. In addition, users can configure and access DSM parameters using an easy to use API.


title: Strong spin dependence of correlation effects in Ni due to Stoner excitations

abstract: Using high-resolution angle-resolved photoemission, we observe a strong spin-dependent renormalization and lifetime broadening of the quasiparticle excitations in the electronic band structure of Ni(111) in an energy window of $\sim$0.3 eV below the Fermi level. We derive a quantitative result for the spin-dependent lifetime broadening by comparing the scattering rates of majority and minority $d$ states, and further show that spin-dependent electron correlations are instead negligible for $sp$ states. From our analysis we experimentally determine the effective on-site Coulomb interaction $U$ caused by Stoner-like interband transitions between majority and minority $d$ states. The present results unambiguously demonstrate the remarkable impact of spin-dependent electron correlation effects originating from single-particle excitations in a prototypical 3$d$ transition metal, paving the way for further refinement of current many-body theoretical approaches.


title: An extension of valid syllogisms to valid categorical arguments, and a reduction of the latter to only Barbara, Darapti, Darii and Disamis. To the memory of my sister Cristina Popa, 1948-2018

abstract: One presents a simple Set Theory Model (STM) of the valid categorical arguments (VCAs) - a proper superset of the valid (categorical) syllogisms (VS). The main STM initiator was George Boole, who worked with a universe of discourse, U, which contains the pairwise complementary sets, or categorical terms, S, non-S, P, non-P, M, non-M, and is thus partitioned into eight subsets: SPM, SP(non-M),...,(non-S)(non-P)(non-M), where the intersection was denoted by adjacency. In STM all superfluous syllogistic figures are disregarded, and both the positive terms, S, P, M, and the negative terms, non-S, non-P, non-M, are allowed to appear in the pairs of categorical premises (PCPs) and their entailed logical consequences (LCs). This increases the number of distinct P (resp. S) premises from the six formulable via only positive terms, to eight, and the number of distinct PCPs from the 36 appearing in the Classical Categorical Syllogistic (CCS), to the 64 appearing in the STM. Out of the latter 64 PCPs, only 32 PCPs entail LCs and thus generate VCAs. These VCAs, (and the VS), split into four types. Each type contains eight VCAs. Any VCA can be re-written as any other VCA of the same type, via a group G of eight re-labelings. Thus the VCAs Barbara, Darapti, Darii, Disamis, can be chosen as type representatives for both VCAs and VS, and via a term relabeling, any VCA or VS can be re-written, without changing their PCP or LC contents, as either a Barbara, Darapti, Darii, or Disamis. One discusses the VCAs and their LCs, simple/biliteral VCA sorites, empty set constraints (ESC), VCA distribution conservation, and other Rules of Valid Categorical Arguments (RofVCA) which are VCA generalized versions of some of the Rules of Valid Syllogisms (RofVS). Note that CCS restricts the VS to only LCs of the formats A(S,P), E(S,P), I(S,P), O(S,P).


title: Some Questions in the Theory of Pseudoholomorphic Curves

abstract: This survey article, in honor of G. Tian's 60th birthday, is inspired by R. Pandharipande's 2002 note highlighting research directions central to Gromov-Witten theory in algebraic geometry and by G. Tian's complex-geometric perspective on pseudoholomorphic curves that lies behind many important developments in symplectic topology since the early 1990s.


title: Crowd-Labeling Fashion Reviews with Quality Control

abstract: We present a new methodology for high-quality labeling in the fashion domain with crowd workers instead of experts. We focus on the Aspect-Based Sentiment Analysis task. Our methods filter out inaccurate input from crowd workers but we preserve different worker labeling to capture the inherent high variability of the opinions. We demonstrate the quality of labeled data based on Facebook's FastText framework as a baseline.


title: Dirac and non-Dirac conditions in the 2-potential theory of magnetic charge

abstract: We investigate the Cabbibo-Ferrari, two potential approach to magnetic charge coupled to two different complex scalar fields, $\Phi_1$ and $\Phi_2$, each having different electric and magnetic charges. The scalar field, $\Phi_1$, is assumed to have a spontaneous symmetry breaking self interaction potential which gives a mass to the "magnetic" gauge potential and "magnetic" photon, while the other "electric" gauge potential and "electric" photon remain massless. The magnetic photon is hidden until one reaches energies of the order of the magnetic photon rest mass. The second scalar field, $\Phi _2$, is required in order to make the theory non-trivial. With only one field one can always use a duality rotation to rotate away either the electric or magnetic charge, and thus decouple either the associated electric or magnetic photon. In analyzing this system of two scalar fields in the Cabbibo-Ferrari approach we perform several duality and gauge transformations, which require introducing non-Dirac conditions on the initial electric and magnetic charges. We also find that due to the symmetry breaking the usual Dirac condition is altered to include the mass of the magnetic photon. We discuss the implications of these various conditions on the charges.


title: Renormalisation of pair correlation measures for primitive inflation rules and absence of absolutely continuous diffraction

abstract: The pair correlations of primitive inflation rules are analysed via their exact renormalisation relations. We introduce the inflation displacement algebra that is generated by the Fourier matrix of the inflation and deduce various consequences of its structure. Moreover, we derive a sufficient criterion for the absence of absolutely continuous diffraction components, as well as a necessary criterion for its presence. This is achieved via estimates for the Lyapunov exponents of the Fourier matrix cocycle of the inflation rule. We also discuss some consequences for the spectral measures of such systems. While we develop the theory first for the classic setting in one dimension, we also present its extension to primitive inflation rules in higher dimensions with finitely many prototiles up to translations.


title: Complex analytic properties of minimal Lagrangian submanifolds

abstract: In this article we study complex properties of minimal Lagrangian submanifolds in Kaehler ambient spaces, and how they depend on the ambient curvature. In particular, we prove that, in the negative curvature case, minimal Lagrangians do not admit fillings by holomorphic discs. The proof relies on a mix of holomorphic curve techniques and on certain convexity results.


title: Stochastic integration and differential equations for typical paths

abstract: The goal of this paper is to define stochastic integrals and to solve stochastic differential equations for typical paths taking values in a possibly infinite dimensional separable Hilbert space without imposing any probabilistic structure. In the spirit of [33, 37] and motivated by the pricing duality result obtained in [4] we introduce an outer measure as a variant of the pathwise minimal superhedging price where agents are allowed to trade not only in $\omega$ but also in $\int\omega\,d\omega:=\omega^2 -\langle \omega \rangle$ and where they are allowed to include beliefs in future paths of the price process expressed by a prediction set. We then call a property to hold true on typical paths if the set of paths where the property fails is null with respect to our outer measure. It turns out that adding the second term $\omega^2 -\langle \omega \rangle$ in the definition of the outer measure enables to directly construct stochastic integrals which are continuous, even for typical paths taking values in an infinite dimensional separable Hilbert space. Moreover, when restricting to continuous paths whose quadratic variation is absolutely continuous with uniformly bounded derivative, a second construction of model-free stochastic integrals for typical paths is presented, which then allows to solve in a model-free way stochastic differential equations for typical paths.


title: Uncertainty-Aware Attention for Reliable Interpretation and Prediction

abstract: Attention mechanism is effective in both focusing the deep learning models on relevant features and interpreting them. However, attentions may be unreliable since the networks that generate them are often trained in a weakly-supervised manner. To overcome this limitation, we introduce the notion of input-dependent uncertainty to the attention mechanism, such that it generates attention for each feature with varying degrees of noise based on the given input, to learn larger variance on instances it is uncertain about. We learn this Uncertainty-aware Attention (UA) mechanism using variational inference, and validate it on various risk prediction tasks from electronic health records on which our model significantly outperforms existing attention models. The analysis of the learned attentions shows that our model generates attentions that comply with clinicians' interpretation, and provide richer interpretation via learned variance. Further evaluation of both the accuracy of the uncertainty calibration and the prediction performance with "I don't know" decision show that UA yields networks with high reliability as well.


title: Multivariate Convolutional Sparse Coding for Electromagnetic Brain Signals

abstract: Frequency-specific patterns of neural activity are traditionally interpreted as sustained rhythmic oscillations, and related to cognitive mechanisms such as attention, high level visual processing or motor control. While alpha waves (8-12 Hz) are known to closely resemble short sinusoids, and thus are revealed by Fourier analysis or wavelet transforms, there is an evolving debate that electromagnetic neural signals are composed of more complex waveforms that cannot be analyzed by linear filters and traditional signal representations. In this paper, we propose to learn dedicated representations of such recordings using a multivariate convolutional sparse coding (CSC) algorithm. Applied to electroencephalography (EEG) or magnetoencephalography (MEG) data, this method is able to learn not only prototypical temporal waveforms, but also associated spatial patterns so their origin can be localized in the brain. Our algorithm is based on alternated minimization and a greedy coordinate descent solver that leads to state-of-the-art running time on long time series. To demonstrate the implications of this method, we apply it to MEG data and show that it is able to recover biological artifacts. More remarkably, our approach also reveals the presence of non-sinusoidal mu-shaped patterns, along with their topographic maps related to the somatosensory cortex.


abstract: Dialogue state tracking, which estimates user goals and requests given the dialogue context, is an essential part of task-oriented dialogue systems. In this paper, we propose the Global-Locally Self-Attentive Dialogue State Tracker (GLAD), which learns representations of the user utterance and previous system actions with global-local modules. Our model uses global modules to share parameters between estimators for different types (called slots) of dialogue states, and uses local modules to learn slot-specific features. We show that this significantly improves tracking of rare states and achieves state-of-the-art performance on the WoZ and DSTC2 state tracking tasks. GLAD obtains 88.1% joint goal accuracy and 97.1% request accuracy on WoZ, outperforming prior work by 3.7% and 5.5%. On DSTC2, our model obtains 74.5% joint goal accuracy and 97.5% request accuracy, outperforming prior work by 1.1% and 1.0%.


title: Asymptotic safety and field parametrization dependence in the f(R) truncation

abstract: We study the dependence on field parametrization of the functional renormalization group equation in the $f(R)$ truncation for the effective average action. We perform a systematic analysis of the dependence of fixed points and critical exponents in polynomial truncations. We find that, beyond the Einstein-Hilbert truncation, results are qualitatively different depending on the choice of parametrization. In particular, we observe that there are two different classes of fixed points, one with three relevant directions and the other with two. The computations are performed in the background approximation. We compare our results with the available literature and analyze how different schemes in the regularizations can affect the fixed point structure.


title: Learning compositionally through attentive guidance

abstract: While neural network models have been successfully applied to domains that require substantial generalisation skills, recent studies have implied that they struggle when solving the task they are trained on requires inferring its underlying compositional structure. In this paper, we introduce Attentive Guidance, a mechanism to direct a sequence to sequence model equipped with attention to find more compositional solutions. We test it on two tasks, devised precisely to assess the compositional capabilities of neural models, and we show that vanilla sequence to sequence models with attention overfit the training distribution, while the guided versions come up with compositional solutions that fit the training and testing distributions almost equally well. Moreover, the learned solutions generalise even in cases where the training and testing distributions strongly diverge. In this way, we demonstrate that sequence to sequence models are capable of finding compositional solutions without requiring extra components. These results helps to disentangle the causes for the lack of systematic compositionality in neural networks, which can in turn fuel future work.


title: Discovery of an Ionizing Radiation Field in the Universe

abstract: We draw attention to observational evidence indicating that a substantial fraction of the well-known cosmic celestial diffuse ultraviolet background radiation field is actually due not to dust-scattered starlight, but rather---considering its spectral character at most locations in the sky---has an unknown physical origin. We arrive at this conclusion from re-examination of spectra of the diffuse ultraviolet background that were obtained---long ago---using the ultraviolet spectrometers aboard the two Voyager spacecraft, which were located far out in our solar system, and at very different locations. As there is neither a reasonable nor even an unreasonable conventional astrophysical source for this newly-identified fraction of the radiation, we are led to speculate that the photons that we observe have their origin in the very slow decay of the particles that make up the ubiquitous dark matter, which we know envelopes our Galaxy. Whether or not that actually is the source, this new radiation field extends somewhat below 912 {\AA}, so we have found, at last, the radiation that re-ionized the universe.


title: Tunneling in Graphene SymFETs

abstract: With the further scaling of silicon MOSFETs becoming increasingly harder, the search for an alternative material became crucial. The electron device community found many of the answers in two dimensional materials, especially graphene. With an astounding mobility and perfectly symmetrical bandstructure, graphene may be, just the replacement for silicon we have been looking for. In this report, the mechanism of tunneling in a graphene-insulator-graphene (GIG) junction has been studied, by applying Bardeen's transfer Hamiltonian approach. Later, the formalism of the GIG junction has been used to study the performance and current-voltage characteristics of a symmetric tunneling field effect transistor or SymFET. The device exhibits a small tunneling current at most of the biasing voltages. But when the Dirac points of the oppositely doped graphene layers are aligned, a large amount of tunneling current is observed. The performance of the device has been studied for various device dimensions. The resonant current peak is also shown to increase for higher levels of doping. The extraordinary symmetry of the I-V characteristics makes SymFET a potential candidate for high speed analog devices. The SymFET is also shown to be robust to temperature changes, since tunneling is the main mechanism of charge transport. With further study and modifications, the SymFET can become a popular choice for both analog and digital circuit implementation.


title: On-chip scalable optomechanical magnetometers

abstract: The dual-resonant enhancement of mechanical and optical response in cavity optomechanical magnetometers enables precision sensing of magnetic fields. In previous working prototypes of such magnetometers, a cavity optomechanical system is functionalized by manually epoxy-bonding a grain of magnetostrictive material. While this approach allows proof-of-principle demonstrations, practical applications require more scalable and reproducible fabrication pathways. In this work, we scalably fabricate optomechanical magnetometers on a silicon chip, with reproducible performance across different devices, by sputter coating a magnetostrictive film onto high quality toroidal microresonators. Furthermore, we demonstrate that thermally annealing the sputtered film can improve the magnetometer sensitivity by a factor of 6.3. A peak sensitivity of 585 pT/Hz^1/2 is achieved, which is comparable with previously reported results using epoxy-bonding.


title: On the sum of $k$-th largest distance eigenvalues of graphs

abstract: For a connected graph $G$ with order $n$ and an integer $k\geq 1$, we denote by $$S_k(D(G))=\lambda_1(D(G))+\cdots+\lambda_k(D(G))$$ the sum of $k$ largest distance eigenvalues of $G$. In this paper, we consider the sharp upper bound and lower bound of $S_k(D(G))$. We determine the sharp lower bounds of $S_k(D(G))$ when $G$ is connected graph and is a tree, respectively, and characterize both the extremal graphs. Moreover, we conjecture that the upper bound is attained when $G$ is a path of order $n$ and prove some partial result supporting the conjecture. To prove our result, we obtain a sharp upper bound of $\lambda_2(D(G))$ in terms of the order and the diameter of $G$, where $\lambda_2(D(G))$ is the second largest distance eigenvalue of $G$. As applications, we prove a general inequality involving $\lambda_2(D(G))$, the independence number of $G$, and the number of triangles in $G$. An immediate corollary is a conjecture of Fajtlowicz, which was confirmed in \cite{L15-L} by a different argument. We conclude this paper with some open problems for further study.


title: LF-Net: Learning Local Features from Images

abstract: We present a novel deep architecture and a training strategy to learn a local feature pipeline from scratch, using collections of images without the need for human supervision. To do so we exploit depth and relative camera pose cues to create a virtual target that the network should achieve on one image, provided the outputs of the network for the other image. While this process is inherently non-differentiable, we show that we can optimize the network in a two-branch setup by confining it to one branch, while preserving differentiability in the other. We train our method on both indoor and outdoor datasets, with depth data from 3D sensors for the former, and depth estimates from an off-the-shelf Structure-from-Motion solution for the latter. Our models outperform the state of the art on sparse feature matching on both datasets, while running at 60+ fps for QVGA images.


title: Path Integral Quantization of Lorentz Gauge Theory of Gravity: With a Proof of Unitarity and Full Renormalizability in the Vacuum

abstract: We show that a spinless theory of gravity is also allowed by the kinematics of general relativity. In the absence of fermions the spinless theory of gravity and the theories in the standard model of particle physics are the same Yang-Mills theories with different gauge groups. Therefore, every theorem of a pure Yang-Mills theory is valid for the spinless theory of gravity in vacuum, i.e. it is unitary and renormalizable to all orders. When fermions are present the spinless theory of gravity has an extra constraint due to the tetrad postulate. A path integral quantization of this theory and all the Feynman rules are presented.


title: Flow-induced surface charge heterogeneity in electrokinetics due to Stern-layer conductance coupled to reaction kinetics

abstract: We theoretically study the electrokinetic problem of a pressure-induced liquid flow through a narrow long channel with charged walls, going beyond the classical Helmholtz-Schmolukowski picture by considering the surprisingly strong combined effect of (i) Stern layer conductance and (ii) dynamic charge-regulating rather than fixed surface charges. We find that the water flow induces, apart from the well-known streaming potential, also a strongly heterogeneous surface charge and zeta-potential on chemically homogeneous channel walls. Moreover, we identify a novel steady state with a nontrivial 3D electric flux with 2D surface charges acting as sources and sinks. For a pulsed pressure drop our findings also provide a first-principles explanation for ill-understood experiments on the effect of flow on interfacial chemistry [D. Lis et al., Science 344, 1138 (2014)].


title: Some consequences of theories with maximal acceleration in laser-plasma acceleration

abstract: In this paper we consider classical electrodynamic theories with maximal acceleration and some of their phenomenological consequences for laser-plasma acceleration. It is shown that in a recently proposed higher order jet theory of electrodynamics, the maximal effective acceleration reachable by a consistent bunch of point charged particles being accelerated by the wakefield is damped for bunches containing large number of charged particles. We argue that such prediction of the theory is falsifiable. In the case of Born-Infeld kinematics, laser-plasma acceleration phenomenology provides an upper bound for the Born-Infeld parameter $b$. Improvements in the beam qualities will imply stronger constraints on $b$.


title: On non-autonomously forced Burgers equation with periodic and Dirichlet boundary conditions

abstract: We study the non-autonomously forced Burgers equation $$ u_t(x,t) + u(x,t)u_x(x,t) - u_{xx}(x,t) = f(x,t) $$ on the space interval $(0,1)$ with two sets of the boundary conditions: the Dirichlet and periodic ones. For both situations we prove that there exists the unique $H^1$ bounded trajectory of this equation defined for all $t\in \mathbb{R}$. Moreover we demonstrate that this trajectory attracts all trajectories both in pullback and forward sense. We also prove that for the Dirichlet case this attraction is exponential.


title: A correspondence between $1^{st}$ and $2^{nd}$ order formalism by a metricity constraint

abstract: A way to obtain a correspondence between the first order and second order formalism is studied. By introducing a Lagrange multiplier coupled to the covariant derivative of the metric, a metricity constraint is implemented. The new contributions which comes from the variation of the Lagrange multiplier transforms the field equations from the first order to the second order formalism, yet the action is formulated in the first order. In this way all the higher derivatives terms in the second order formalism appear as derivatives of the Lagrange multiplier. Using the same method for breaking metricity condition and building conformal invariant theory is briefly discussed, so the method goes beyond just the study of first order or second formulations of gravity, in fact vast new possible theories of gravity are envisioned this way.


title: Monotone local flows with dense periodic orbits

abstract: Let X be a connected open set in n-dimensional Euclidean space, partially ordered by a closed convex cone K with nonempty interior: y > x if and only if y-x is nonzero and in K. Theorem: If F is a monotone local flow in X whose periodic points are dense in X, then F is globally periodic.


title: A generalization of Pappus chain theorem

abstract: We generalize Pappus chain theorem and give an analogue to this theorem.


title: Uniform Stability and Error Analysis for Some Discontinuous Galerkin Methods

abstract: In this paper, we provide a number of new estimates on the stability and convergence of both hybrid discontinuous Galerkin (HDG) and weak Galerkin (WG) methods. By using the standard Brezzi theory on mixed methods, we carefully define appropriate norms for the various discretization variables and then establish that the stability and error estimates hold uniformly with respect to stabilization and discretization parameters. As a result, by taking appropriate limit of the stabilization parameters, we show that the HDG method converges to a primal conforming method and the WG method converge to a mixed conforming method.


title: Computing the ideal class monoid of an order

abstract: There are well known algorithms to compute the class group of the maximal order $\mathcal{O}_K$ of a number field $K$ and the group of invertible ideal classes of a non-maximal order $R$. In this paper we explain how to compute also the isomorphism classes of non-invertible ideals of an order $R$ in a finite product of number fields $K$. In particular we also extend the above-mentioned algorithms to this more general setting. Moreover, we generalize a theorem of Latimer and MacDuffee providing a bijection between the conjugacy classes of integral matrices with given minimal and characteristic polynomials and the isomorphism classes of lattices in certain $\mathbb{Q}$-algebras, which under certain assumptions can be explicitly described in terms of ideal classes.


title: Nonlinear variations in spherically symmetric accretion in the Schwarzschild metric

abstract: In this work, we study the implications of nonlinearity in general relativistic spherically symmetric inviscid irrotational accretion flow in a stationary non-rotating spacetime. It has been found that the perturbation scheme leads to a differential equation of the form of general Li{\'e}nard's equation. We discuss the equilibrium conditions of this system and its implications for globally subsonic accretion flows in the spherically symmetric stationary background. It is found that the stable solution predicted by linear stability analysis may become unstable under inclusion of lowest order nonlinearity.


title: Affinity Network Fusion and Semi-supervised Learning for Cancer Patient Clustering

abstract: Defining subtypes of complex diseases such as cancer and stratifying patient groups with the same disease but different subtypes for targeted treatments is important for personalized and precision medicine. Approaches that incorporate multi-omic data are more advantageous to those using only one data type for patient clustering and disease subtype discovery. However, it is challenging to integrate multi-omic data as they are heterogeneous and noisy. In this paper, we present Affinity Network Fusion (ANF) to integrate multi-omic data for patient clustering. ANF first constructs patient affinity networks for each omic data type, and then calculates a fused network for spectral clustering. We applied ANF to a processed harmonized cancer dataset downloaded from GDC data portal consisting of 2193 patients, and generated promising results on clustering patients into correct disease types. Moreover, we developed a semi-supervised model combining ANF and neural network for few-shot learning. In several cases, the model can achieve greater than 90% acccuracy on test set with training less than 1% of the data. This demonstrates the power of ANF in learning a good representation of patients, and shows the great potential of semi-supervised learning in cancer patient clustering.


title: A D-vine copula mixed model for joint meta-analysis and comparison of diagnostic tests

abstract: For a particular disease there may be two diagnostic tests developed, where each of the tests is subject to several studies. A quadrivariate generalized linear mixed model (GLMM) has been recently proposed to joint meta-analyse and compare two diagnostic tests. We propose a D-vine copula mixed model for joint meta-analysis and comparison of two diagnostic tests. Our general model includes the quadrivariate GLMM as a special case and can also operate on the original scale of sensitivities and specificities. The method allows the direct calculation of sensitivity and specificity for each test, as well as, the parameters of the summary receiver operator characteristic (SROC) curve, along with a comparison between the SROCs of each test. Our methodology is demonstrated with an extensive simulation study and illustrated by meta-analysing two examples where 2 tests for the diagnosis of a particular disease are compared. Our study suggests that there can be an improvement on GLMM in fit to data since our model can also provide tail dependencies and asymmetries.


title: GraphChallenge.org: Raising the Bar on Graph Analytic Performance

abstract: The rise of graph analytic systems has created a need for new ways to measure and compare the capabilities of graph processing systems. The MIT/Amazon/IEEE Graph Challenge has been developed to provide a well-defined community venue for stimulating research and highlighting innovations in graph analysis software, hardware, algorithms, and systems. GraphChallenge.org provides a wide range of pre-parsed graph data sets, graph generators, mathematically defined graph algorithms, example serial implementations in a variety of languages, and specific metrics for measuring performance. Graph Challenge 2017 received 22 submissions by 111 authors from 36 organizations. The submissions highlighted graph analytic innovations in hardware, software, algorithms, systems, and visualization. These submissions produced many comparable performance measurements that can be used for assessing the current state of the art of the field. There were numerous submissions that implemented the triangle counting challenge and resulted in over 350 distinct measurements. Analysis of these submissions show that their execution time is a strong function of the number of edges in the graph, $N_e$, and is typically proportional to $N_e^{4/3}$ for large values of $N_e$. Combining the model fits of the submissions presents a picture of the current state of the art of graph analysis, which is typically $10^8$ edges processed per second for graphs with $10^8$ edges. These results are $30$ times faster than serial implementations commonly used by many graph analysts and underscore the importance of making these performance benefits available to the broader community. Graph Challenge provides a clear picture of current graph analysis systems and underscores the need for new innovations to achieve high performance on very large graphs.


title: Forming IDEAS Interactive Data Exploration & Analysis System

abstract: Modern cyber security operations collect an enormous amount of logging and alerting data. While analysts have the ability to query and compute simple statistics and plots from their data, current analytical tools are too simple to admit deep understanding. To detect advanced and novel attacks, analysts turn to manual investigations. While commonplace, current investigations are time-consuming, intuition-based, and proving insufficient. Our hypothesis is that arming the analyst with easy-to-use data science tools will increase their work efficiency, provide them with the ability to resolve hypotheses with scientific inquiry of their data, and support their decisions with evidence over intuition. To this end, we present our work to build IDEAS (Interactive Data Exploration and Analysis System). We present three real-world use-cases that drive the system design from the algorithmic capabilities to the user interface. Finally, a modular and scalable software architecture is discussed along with plans for our pilot deployment with a security operation command.


title: Proofs for two Lambert series identities of Gosper

abstract: Applying the theory of modular forms and Lambert series manipulations we establish an Eisenstein series identity. From this formula we confirm a Lambert series identity conjectured by Gosper. Another Lambert series identity of Gosper is also confirmed by using Lambert series manipulations.


title: Duadic negacyclic codes over a finite non-chain ring and their Gray images

abstract: Let $f(u)$ be a polynomial of degree $m, m \geq 2,$ which splits into distinct linear factors over a finite field $\mathbb{F}_{q}$. Let $\mathcal{R}=\mathbb{F}_{q}[u]/\langle f(u)\rangle$ be a finite non-chain ring. In an earlier paper, we studied duadic and triadic codes over $\mathcal{R}$ and their Gray images. Here, we study duadic negacyclic codes of Type I and Type II over the ring $\mathcal{R}$, their extensions and their Gray images. As a consequence some self-dual, isodual, self-orthogonal and complementary dual(LCD) codes over $\mathbb{F}_q$ are constructed. Some examples are also given to illustrate this.


title: Simulating Multi-channel Wind Noise Based on the Corcos Model

abstract: A novel multi-channel artificial wind noise generator based on a fluid dynamics model, namely the Corcos model, is proposed. In particular, the model is used to approximate the complex coherence function of wind noise signals measured with closely-spaced microphones in the free-field and for time-invariant wind stream direction and speed. Preliminary experiments focus on a spatial analysis of recorded wind noise signals and the validation of the Corcos model for diverse measurement set-ups. Subsequently, the Corcos model is used to synthetically generate wind noise signals exhibiting the desired complex coherence. The multi-channel generator is designed extending an existing single-channel generator to create N mutually uncorrelated signals, while the predefined complex coherence function is obtained exploiting an algorithm developed to generate multi-channel non-stationary noise signals under a complex coherence constraint. Temporal, spectral and spatial characteristics of synthetic signals match with those observed in measured wind noise. The artificial generation overcomes the time-consuming challenge of collecting pure wind noise samples for noise reduction evaluations and provides flexibility in the number of generated signals used in the simulations.


title: Inequalities on the joint and generalized spectral and essential spectral radius of the Hadamard geometric mean of bounded sets of positive kernel operators

abstract: Let $\Psi$ and $\Sigma$ be bounded sets of positive kernel operators on a Banach function space $L$. We prove several refinements of the known inequalities $$\rho \left(\Psi ^{\left( \frac{1}{2} \right)} \circ \Sigma ^{\left( \frac{1}{2} \right)} \right) \le \rho (\Psi \Sigma) ^{\frac{1}{2}} \;\; \mathrm{and}\;\; \hat{\rho} \left(\Psi ^{\left( \frac{1}{2} \right)} \circ \Sigma ^{\left( \frac{1}{2} \right)} \right) \le \hat{\rho} (\Psi \Sigma) ^{\frac{1}{2}} $$ for the generalized spectral radius $\rho$ and the joint spectral radius $\hat{\rho}$, where $\Psi ^{\left( \frac{1}{2} \right)} \circ \Sigma ^{\left( \frac{1}{2} \right)} $ denotes the Hadamard (Schur) geometric mean of the sets $\Psi $ and $\Sigma$. Furthermore, we prove that analogous inequalities hold also for the generalized essential spectral radius and the joint essential spectral radius in the case when $L$ and its Banach dual $L^*$ have order continuous norms.


title: Comparing the PYTHIA Monte Carlo to a two-component (soft + hard) model of hadron production in high-energy p-p collisions

abstract: The PYTHIA Monte Carlo (PMC), first introduced more than thirty years ago, remains a popular simulation tool both for analysis of $p$-$p$ collision dynamics and for detector design and calibration. The PMC assumes that almost all produced hadrons result from parton-parton scatterings (interactions) described by pQCD (a hard component), and that multiple parton interactions per collision event (MPIs) are a common occurrence. In contrast, a two-component (soft + hard) model (TCM) of high-energy collisions, inferred inductively from a variety of data formats, attributes a majority of final-state hadrons to a soft component (projectile-nucleon dissociation) and a minority to a hard component representing minimum-bias dijet production (corresponding to measured jet spectra and fragmentation functions). The hard-component hadron yield is precisely proportional to the square of the soft-component yield over an interval corresponding to 100-fold increase in dijet production. The two data descriptions appear to be in conflict. This study presents a detailed comparison of the two models and their relations to a broad array of collision data. The PMC appears to disagree with some data, whereas the TCM provides an accurate and comprehensive data description.


title: Phocas: dimensional Byzantine-resilient stochastic gradient descent

abstract: We propose a novel robust aggregation rule for distributed synchronous Stochastic Gradient Descent~(SGD) under a general Byzantine failure model. The attackers can arbitrarily manipulate the data transferred between the servers and the workers in the parameter server~(PS) architecture. We prove the Byzantine resilience of the proposed aggregation rules. Empirical analysis shows that the proposed techniques outperform current approaches for realistic use cases and Byzantine attack scenarios.


title: Correlational latent heat by nonlocal quantum kinetic theory

abstract: The kinetic equation of nonlocal and non-instantaneous character unifies the achievements of the transport in dense quantum gases with the Landau theory of quasiclassical transport in Fermi systems. Large cancellations in the off-shell motion appear which are hidden usually in non-Markovian behaviors. The remaining corrections are expressed in terms of shifts in space and time that characterize the non-locality of the scattering process. In this way quantum transport is possible to recast into a quasi-classical picture. The balance equations for the density, momentum, energy and entropy include besides quasiparticle also the correlated two-particle contributions beyond the Landau theory. The medium effects on binary collisions are shown to mediate the latent heat, i.e., an energy conversion between correlation and thermal energy. For Maxwellian particles with time-dependent s-wave scattering, the correlated parts of the observables are calculated and a sign change of the latent heat is reported at a universal ratio of scattering length to the thermal De Broglie wavelength. This is interpreted as a change from correlational heating to cooling.


title: Central Compact Objects: some of them could be spinning up?

abstract: Among confirmed central compact objects (CCOs), only three sources have measured period and period derivatives. We have investigated possible evolutionary paths of these three CCOs in the fallback disc model. The model can account for the individual X-ray luminosities and rotational properties of the sources consistently with their estimated supernova ages. For these sources, reasonable model curves can be obtained with dipole field strengths $\sim$ a few $\times 10^9$ G on the surface of the star. The model curves indicate that these CCOs were in the spin-up state in the early phase of evolution. The spin-down starts, while accretion is going on, at a time $t \sim 10^3 - 10^4$ yr depending on the current accretion rate, period and the magnetic dipole moment of the star. This implies that some of the CCOs with relatively long periods, weak dipole fields and high X-ray luminosities could be strong candidates to show spin-up behavior if they indeed evolve with fallback discs.


title: Sectorial extensions for ultraholomorphic classes defined by weight functions

abstract: We prove an extension theorem for ultraholomorphic classes defined by so-called Braun-Meise-Taylor weight functions and transfer the proofs from the single weight sequence case from V. Thilliez [28] to the weight function setting. We are following a different approach than the results obtained in [11], more precisely we are working with real methods by applying the ultradifferentiable Whitney-extension theorem. We are treating both the Roumieu and the Beurling case, the latter one is obtained by a reduction from the Roumieu case.


title: Forecasting the sustainable status of the labor market in agriculture

abstract: In this article, a game-theoretic model is constructed that is related to the problem of optimal assignments. Examples are considered. A compromise point is found, the Nash equilibriums and the decision of the Nash arbitration scheme are constructed.


title: Corpus Conversion Service: A machine learning platform to ingest documents at scale [Poster abstract]

abstract: Over the past few decades, the amount of scientific articles and technical literature has increased exponentially in size. Consequently, there is a great need for systems that can ingest these documents at scale and make their content discoverable. Unfortunately, both the format of these documents (e.g. the PDF format or bitmap images) as well as the presentation of the data (e.g. complex tables) make the extraction of qualitative and quantitive data extremely challenging. We present a platform to ingest documents at scale which is powered by Machine Learning techniques and allows the user to train custom models on document collections. We show precision/recall results greater than 97% with regard to conversion to structured formats, as well as scaling evidence for each of the microservices constituting the platform.


title: A Hamilton-Jacobi method to describe the evolutionary equilibria in heterogeneous environments and with non-vanishing effects of mutations

abstract: In this note, we characterize the solution of a system of elliptic integro-differential equations describing a phe-notypically structured population subject to mutation, selection and migration. Generalizing an approach based on Hamilton-Jacobi equations, we identify the dominant terms of the solution when the mutation term is small (but nonzero). This method was initially used, for different problems from evolutionary biology, to identify the asymptotic solutions, while the mutations vanish, as a sum of Dirac masses. A key point is a uniqueness property related to the weak KAM theory. This method allows to go further than the Gaussian approximation commonly used by biologists and is an attempt to fill the gap between the theories of adaptive dynamics and quantitative genetics.


title: The Thickness of K_1,n,n and K_2,n,n

abstract: The thickness of a graph G is the minimum number of planar subgraphs whose union is G. In this paper, we obtain the thickness of complete 3-partite graph K_1,n,n, K_2,n,n and complete 4-partite graph K_1,1,n,n.


title: On the Skitovich-Darmois theorem for some locally compact Abelian groups

abstract: Let $X$ be a locally compact Abelian group, $\alpha_{j}, \beta_j$ be topological automorphisms of $X$. Let $\xi_1, \xi_2$ be independent random variables with values in $X$ and distributions $\mu_j$ with non-vanishing characteristic functions. It is known that if $X$ contains no subgroup topologically isomorphic to the circle group $\mathbb{T}$, then the independence of the linear forms $L_1=\alpha_1\xi_1+\alpha_2\xi_2$ and $L_2=\beta_1\xi_1+\beta_2\xi_2$ implies that $\mu_j$ are Gaussian distributions. We prove that if $X$ contains no subgroup topologically isomorphic to $\mathbb{T}^2$, then the independence of $L_1$ and $L_2$ implies that $\mu_j$ are either Gaussian distributions or convolutions of Gaussian distributions and signed measures supported in a subgroup of $X$ generated by an element of order 2. The proof is based on solving the Skitovich-Darmois functional equation on some locally compact Abelian groups.


title: Observation of Landau quantization and standing waves in HfSiS

abstract: Recently, HfSiS was found to be a new type of Dirac semimetal with a line of Dirac nodes in the band structure. Meanwhile, Rashba-split surface states are also pronounced in this compound. Here we report a systematic study of HfSiS by scanning tunneling microscopy/spectroscopy at low temperature and high magnetic field. The Rashba-split surface states are characterized by measuring Landau quantization and standing waves, which reveal a quasi-linear dispersive band structure. First-principles calculations based on density-functional theory are conducted and compared with the experimental results. Based on these investigations, the properties of the Rashba-split surface states and their interplay with defects and collective modes are discussed.


title: Been There, Done That: Meta-Learning with Episodic Recall

abstract: Meta-learning agents excel at rapidly learning new tasks from open-ended task distributions; yet, they forget what they learn about each task as soon as the next begins. When tasks reoccur - as they do in natural environments - metalearning agents must explore again instead of immediately exploiting previously discovered solutions. We propose a formalism for generating open-ended yet repetitious environments, then develop a meta-learning architecture for solving these environments. This architecture melds the standard LSTM working memory with a differentiable neural episodic memory. We explore the capabilities of agents with this episodic LSTM in five meta-learning environments with reoccurring tasks, ranging from bandits to navigation and stochastic sequential decision problems.


title: EPIC 219217635: A Doubly Eclipsing Quadruple System Containing an Evolved Binary

abstract: We have discovered a doubly eclipsing, bound, quadruple star system in the field of K2 Campaign 7. EPIC 219217635 is a stellar image with $Kp = 12.7$ that contains an eclipsing binary (`EB') with $P_A = 3.59470$ d and a second EB with $P_B = 0.61825$ d. We have obtained followup radial-velocity (`RV') spectroscopy observations, adaptive optics imaging, as well as ground-based photometric observations. From our analysis of all the observations, we derive good estimates for a number of the system parameters. We conclude that (1) both binaries are bound in a quadruple star system; (2) a linear trend to the RV curve of binary A is found over a 2-year interval, corresponding to an acceleration, $\dot \gamma = 0.0024 \pm 0.0007$ cm s$^{-2}$; (3) small irregular variations are seen in the eclipse-timing variations (`ETVs') detected over the same interval; (4) the orbital separation of the quadruple system is probably in the range of 8-25 AU; and (5) the orbital planes of the two binaries must be inclined with respect to each other by at least 25$^\circ$. In addition, we find that binary B is evolved, and the cooler and currently less massive star has transferred much of its envelope to the currently more massive star. We have also demonstrated that the system is sufficiently bright that the eclipses can be followed using small ground-based telescopes, and that this system may be profitably studied over the next decade when the outer orbit of the quadruple is expected to manifest itself in the ETV and/or RV curves.


title: A derived isometry theorem for constructible sheaves on $\mathbb{R}$

abstract: Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira, after J. Curry has made the first link between persistent homology and sheaves. We prove the isometry theorem in this derived setting, thus expressing the convolution distance of sheaves as a matching distance between combinatorial objects associated to them that we call graded barcodes. This allows to consider sheaf-theoretical constructions as combinatorial, stable topological descriptors of data, and generalizes the situation of persistence with one parameter. To achieve so, we explicitly compute all morphisms in $D^b_{\mathbb{R} c}(\textbf{k}_\mathbb{R})$, which enables us to compute distances between indecomposable objects. Then we adapt Bjerkevik's stability proof to this derived setting. As a byproduct of our isometry theorem, we prove that the convolution distance is closed, give a precise description of connected components of $D^b_{\mathbb{R} c}(\textbf{k}_\mathbb{R})$and provide some explicit examples of computation of the convolution distance.


title: On the Frankl's union-closed conjecture

abstract: A celebrated unresolved conjecture of Peter Frankl states that every finite collection of sets, with finite universe, admits an abundant element. In this paper, we prove Frankl's union-closed conjecture(FC). We provide an induction proof based on a key result that every candidate collection, $\Omega$, admits an irreducible form. The concept of irreducible collections is one of the key contributions of this paper. We show that the conjecture is true if it holds for a class of irreducible finite collections. Then we show that the conjecture holds for all irreducible finite collections, with non-empty universe.


title: Measurement of nonlinear piezoelectric coefficients using a micromechanical resonator

abstract: We describe and demonstrate a method by which the nonlinear piezoelectric properties of a piezoelectric material may be measured by detecting the force that it applies on a suspended micromechanical resonator at one of its mechanical resonance frequencies. Resonators are used in countless applications; this method could provide a means for better-characterizing material behaviors within real MEMS devices. Further, special devices can be designed to probe this nonlinear behavior at specific frequencies with enhanced signal sizes. The resonators used for this experiment are actuated using a 1-$\mu$m-thick layer of aluminum nitride. When driven at large amplitudes, the piezoelectric layer generates harmonics, which are measurable in the response of the resonator. In this experiment, we measured the second-order piezoelectric coefficient of aluminum nitride to be $-(23.1\pm14.1)\times10^{-22}\ \mathrm{m/V^2}$.


title: Learning and Testing Causal Models with Interventions

abstract: We consider testing and learning problems on causal Bayesian networks as defined by Pearl (Pearl, 2009). Given a causal Bayesian network $\mathcal{M}$ on a graph with $n$ discrete variables and bounded in-degree and bounded `confounded components', we show that $O(\log n)$ interventions on an unknown causal Bayesian network $\mathcal{X}$ on the same graph, and $\tilde{O}(n/\epsilon^2)$ samples per intervention, suffice to efficiently distinguish whether $\mathcal{X}=\mathcal{M}$ or whether there exists some intervention under which $\mathcal{X}$ and $\mathcal{M}$ are farther than $\epsilon$ in total variation distance. We also obtain sample/time/intervention efficient algorithms for: (i) testing the identity of two unknown causal Bayesian networks on the same graph; and (ii) learning a causal Bayesian network on a given graph. Although our algorithms are non-adaptive, we show that adaptivity does not help in general: $\Omega(\log n)$ interventions are necessary for testing the identity of two unknown causal Bayesian networks on the same graph, even adaptively. Our algorithms are enabled by a new subadditivity inequality for the squared Hellinger distance between two causal Bayesian networks.


title: Universal quantum criticality in static and Floquet-Majorana chains

abstract: The topological phase transitions in static and periodically driven Kitaev chains are investigated by means of a renormalization group (RG) approach. These transitions, across which the numbers of static or Floquet Majorana edge modes change, are accompanied by divergences of the relevant Berry connections. These divergences at certain high symmetry points in momentum space form the basis of the RG approach, through which topological phase boundaries are identified as a function of system parameters. We also introduce several aspects to characterize the quantum criticality of the topological phase transitions in both static and Floquet systems: a correlation function that measures the overlap of Majorana-Wannier functions, the decay length of the Majorana edge mode and a scaling law relating the critical exponents. These indicate a common universal critical behavior for topological phase transitions, in both static and periodically driven chains. For the latter, the RG flows additionally display intriguing features related to gap closures at non-high symmetry points due to momentarily frozen dynamics.


title: Two-membrane cavity optomechanics

abstract: We study the optomechanical behaviour of a driven Fabry-P\'erot cavity containing two vibrating dielectric membranes. We characterize the cavity-mode frequency shift as a function of the two-membrane positions, and report a $\sim 2.47$ gain in the optomechanical coupling strength of the membrane relative motion with respect to the single membrane case. This is achieved when the two membranes are properly positioned to form an inner cavity which is resonant with the driving field. We also show that this two-membrane system has the capability to tune the single-photon optomechanical coupling on demand, and represents a promising platform for implementing cavity optomechanics with distinct oscillators. Such a configuration has the potential to enable cavity optomechanics in the strong single-photon coupling regime, and to study synchronization in optically linked mechanical resonators.


title: Convex method for selection of fixed effects in high-dimensional linear mixed models

abstract: Analysis of high-dimensional data is currently a popular field of research, thanks to many applications e.g. in genetics (DNA data in genomewide association studies), spectrometry or web analysis. At the same time, the type of problems that tend to arise in genetics can often be modelled using linear mixed models in conjunction with high-dimensional data because linear mixed models allow us to specify the covariance structure of the models. This enables us to capture relationships in data such as the population structure, family relatedness, etc. In this paper we introduce two new convex methods for variable selection in high-dimensional linear mixed models which, thanks to convexity, can handle many more variables than existing non-convex methods. Both methods are compared with existing methods and in the end we suggest an approach for a wider class of linear mixed models.


title: R-VQA: Learning Visual Relation Facts with Semantic Attention for Visual Question Answering

abstract: Recently, Visual Question Answering (VQA) has emerged as one of the most significant tasks in multimodal learning as it requires understanding both visual and textual modalities. Existing methods mainly rely on extracting image and question features to learn their joint feature embedding via multimodal fusion or attention mechanism. Some recent studies utilize external VQA-independent models to detect candidate entities or attributes in images, which serve as semantic knowledge complementary to the VQA task. However, these candidate entities or attributes might be unrelated to the VQA task and have limited semantic capacities. To better utilize semantic knowledge in images, we propose a novel framework to learn visual relation facts for VQA. Specifically, we build up a Relation-VQA (R-VQA) dataset based on the Visual Genome dataset via a semantic similarity module, in which each data consists of an image, a corresponding question, a correct answer and a supporting relation fact. A well-defined relation detector is then adopted to predict visual question-related relation facts. We further propose a multi-step attention model composed of visual attention and semantic attention sequentially to extract related visual knowledge and semantic knowledge. We conduct comprehensive experiments on the two benchmark datasets, demonstrating that our model achieves state-of-the-art performance and verifying the benefit of considering visual relation facts.


title: Gauge Properties of Hadronic Structure of Nucleon in Neutron Radiative Beta Decay to Order O(alpha/pi) in Standard V - A Effective Theory with QED and Linear Sigma Model of Strong Low--Energy Interactions

abstract: Within the standard V - A theory of weak interactions, Quantum Electrodynamics (QED) and the linear sigma-model (LsM) of strong low-energy hadronic interactions we analyse gauge properties of hadronic structure of the neutron and proton in the neutron radiative beta-decay. We show that the Feynman diagrams, describing contributions of hadronic structure to the amplitude of the neutron radiative beta-decay in the tree-approximation for strong low-energy interactions in the LsM, are gauge invariant. In turn, the complete set of Feynman diagrams, describing the contributions of hadron-photon interactions in the one-hadron-loop approximation, is not gauge invariant. In the infinite limit of the scalar sigma-meson, reproducing the current algebra results (Weinberg, Phys. Rev. Lett. 18, 188 (1967)), and to leading order in the large nucleon mass expansion the Feynman diagrams, violating gauge invariance, do not contribute to the amplitude of the neutron radiative beta-decay in agreement with Sirlin's analysis of strong low-energy interactions in neutron beta decays. We assert that the problem of appearance of gauge non-invariant Feynman diagrams of hadronic structure of the neutron and proton is related to the following. The vertex of the effective V-A weak interactions does not belong to the combined quantum field theory including the LsM and QED. We argue that gauge invariant set of Feynman diagrams of hadrons, coupled to real and virtual photons in neutron beta decays, can be obtained within the combined quantum field theory including the Standard Electroweak Model (SEM) and the LsM, where the effective V-A vertex of weak interactions is a result of the W^- - electroweak boson exchange.


title: No More Differentiator in PID:Development of Nonlinear Lead for Precision Mechatronics

abstract: Industrial PID consists of three elements: Lag (integrator), Lead (Differentiator) and Low Pass Filters (LPF). PID being a linear control method is inherently bounded by the waterbed effect due to which there exists a trade-off between precision \& tracking, provided by Lag and LPF on one side and stability \& robustness, provided by Lead on the other side. Nonlinear reset strategies applied in Lag and LPF elements have been very effective in reducing this trade-off. However, there is lack of study in developing a reset Lead element. In this paper, we develop a novel lead element which provides higher precision and stability compared to the linear lead filter and can be used as a replacement for the same. The concept is presented and validated on a Lorentz-actuated nanometer precision stage. Improvements in precision, tracking and bandwidth are shown through two separate designs. Performance is validated in both time and frequency domain to ensure that phase margin achieved on the practical setup matches design theories.


title: A global analysis for searching neutrinos associated with the black holes merging gravitational wave events

abstract: Several neutrino observatories have searched for coincident neutrino signals associated with gravitational waves induced by the merging of two black holes.No statistically significant neutrino signal in excess of background level was observed.These experiments use different neutrino detection technologies and are sensitive to various neutrino types.A combined analysis was performed on the KamLAND, Super-Kamiokande and Borexino experimental data with a frequentist statistical approach to achieve a global picture of the associated neutrino fluence.Both monochromatic and Fermi-Dirac neutrino spectra were assumed in the calculation.The final results are consistent with null neutrino signals associated with a binary of black holes merging process.The derived 90\% confidence level upper limits on the fluence and luminosity of various neutrino types are presented for neutrino energy less than 110 MeV.


title: The LDA-1/2 method applied to atoms and molecules

abstract: The LDA-1/2 method has proven to be a viable approach for calculating band gaps of semiconductors. To address its accuracy for finite systems, we apply LDA-1/2 to atoms and the molecules of the $GW100$ test set. The obtained energies of the highest-occupied molecular orbitals are validated against CCSD(T) data and the $G_0W_0$ approach of many-body perturbation theory. The accuracy of LDA-1/2 and $G_0W_0$ is found to be the same, where the latter is computationally much more involved. To get insight into the benefits and limitations of the LDA-1/2 method, we analyze the impact of each assumption made in deriving the methodology.


title: Model of massless relativistic particle with continuous spin and its twistorial description

abstract: We propose a new world-line Lagrangian model of the D=4 massless relativistic particle with continuous spin and develop its twistorial formulation. The description uses two Penrose twistors subjected to four first class constraints. After the first quantization of the world-line twistorial model, the wave function is defined by an unconstrained function on the two-dimensional complex affine plane. We find the twistor transform that determines the space-time field of the continuous spin particle through the corresponding twistor one, which plays the role of a prepotential. It is shown that this space-time field is an exact solution of the space-time constraints defining the irreducible massless representation of the Poincare group with continuous spin.


title: Jointly Optimize Data Augmentation and Network Training: Adversarial Data Augmentation in Human Pose Estimation

abstract: Random data augmentation is a critical technique to avoid overfitting in training deep neural network models. However, data augmentation and network training are usually treated as two isolated processes, limiting the effectiveness of network training. Why not jointly optimize the two? We propose adversarial data augmentation to address this limitation. The main idea is to design an augmentation network (generator) that competes against a target network (discriminator) by generating `hard' augmentation operations online. The augmentation network explores the weaknesses of the target network, while the latter learns from `hard' augmentations to achieve better performance. We also design a reward/penalty strategy for effective joint training. We demonstrate our approach on the problem of human pose estimation and carry out a comprehensive experimental analysis, showing that our method can significantly improve state-of-the-art models without additional data efforts.


title: Hausdorff compactifications in ZF

abstract: For a compactification $\alpha X$ of a Tychonoff space $X$, the algebra of all functions $f\in C(X)$ that are continuously extendable over $% \alpha X$ is denoted by $C_{\alpha}(X)$. It is shown that, in a model of $\textbf{ZF}$, it may happen that a discrete space $X$ can have non-equivalent Hausdorff compactifications $\alpha X$ and $\gamma X$ such that $% C_{\alpha}(X)=C_{\gamma}(X)$. Amorphous sets are applied to a proof that Glicksberg's theorem that $\beta X\times \beta Y$ is the Cech-Stone compactification of $X\times Y$ when $X\times Y$ is a Tychonoff pseudocompact space is false in some models of $\mathbf{ZF}$. It is noticed that if all Tychonoff compactifications of locally compact spaces had $C^{\ast}$-embedded remainders, then van Douwen's choice principle would be satisfied. Necessary and sufficient conditions for a set of continuous bounded real functions on a Tychonoff space $X$ to generate a compactification of $X$ are given in $\mathbf{ZF}$. A concept of a functional \v{C}ech-Stone compactification is investigated in the absence of the axiom of choice.


title: Explicit resolution of weak wild quotient singularities on arithmetic surfaces

abstract: A weak wild arithmetic quotient singularity arises from the quotient of a smooth arithmetic surface by a finite group action, where the inertia group of a point on a closed characteristic p fiber is a p-group acting with smallest possible ramification jump. In this paper, we give complete explicit resolutions of these singularities using deformation theory and valuation theory, taking a more local perspective than previous work has taken. Our descriptions answer several questions of Lorenzini. Along the way, we give a valuation-theoretic criterion for a normal snc-model of P^1 over a discretely valued field to be regular.


title: Triangle-factors in pseudorandom graphs

abstract: We show that if the second eigenvalue $\lambda$ of a $d$-regular graph $G$ on $n \in 3 \mathbb{Z}$ vertices is at most $\varepsilon d^2/(n \log n)$, for a small constant $\varepsilon > 0$, then $G$ contains a triangle-factor. The bound on $\lambda$ is at most an $O(\log n)$ factor away from the best possible one: Krivelevich, Sudakov and Szab\'o, extending a construction of Alon, showed that for every function $d = d(n)$ such that $\Omega(n^{2/3}) \le d \le n$ and infinitely many $n \in \mathbb{N}$ there exists a $d$-regular triangle-free graph $G$ with $\Theta(n)$ vertices and $\lambda = \Omega(d^2 / n)$.


title: Matrix Boussinesq solitons and their tropical limit

abstract: We study soliton solutions of matrix "good" Boussinesq equations, generated via a binary Darboux transformation. Essential features of these solutions are revealed via their "tropical limit", as exploited in previous work about the KP equation. This limit associates a point particle interaction picture with a soliton (wave) solution.


title: Autonomously and Simultaneously Refining Deep Neural Network Parameters by Generative Adversarial Networks

abstract: The choice of parameters, and the design of the network architecture are important factors affecting the performance of deep neural networks. However, there has not been much work on developing an established and systematic way of building the structure and choosing the parameters of a neural network, and this task heavily depends on trial and error and empirical results. Considering that there are many design and parameter choices, such as the number of neurons in each layer, the type of activation function, the choice of using drop out or not, it is very hard to cover every configuration, and find the optimal structure. In this paper, we propose a novel and systematic method that autonomously and simultaneously optimizes multiple parameters of any given deep neural network by using a generative adversarial network (GAN). In our proposed approach, two different models compete and improve each other progressively with a GAN-based strategy. Our proposed approach can be used to autonomously refine the parameters, and improve the accuracy of different deep neural network architectures. Without loss of generality, the proposed method has been tested with three different neural network architectures, and three very different datasets and applications. The results show that the presented approach can simultaneously and successfully optimize multiple neural network parameters, and achieve increased accuracy in all three scenarios.


title: Geometry of coadjoint orbits and multiplicity-one branching laws for symmetric pairs

abstract: Consider the restriction of an irreducible unitary representation $\pi$ of a Lie group $G$ to its subgroup $H$. Kirillov's revolutionary idea on the orbit method suggests that the multiplicity of an irreducible $H$-module $\nu$ occurring in the restriction $\pi|_H$ could be read from the coadjoint action of $H$ on $O^G \cap pr^{-1}(O^H)$ provided $\pi$ and $\nu$ are "geometric quantizations" of a $G$-coadjoint orbit $O^G$ and an $H$-coadjoint orbit $O^H$,respectively, where $pr: \sqrt{-1} g^{\ast} \to \sqrt{-1} h^{\ast}$ is the projection dual to the inclusion $h \subset g$ of Lie algebras. Such results were previously established by Kirillov, Corwin and Greenleaf for nilpotent Lie groups. In this article, we highlight specific elliptic orbits $O^G$ of a semisimple Lie group $G$ corresponding to highest weight modules of scalar type. We prove that the Corwin--Greenleaf number $\sharp(O^G \cap pr^{-1}(O^H))/H$ is either zero or one for any $H$-coadjoint orbit $O^H$, whenever $(G,H)$ is a symmetric pair of holomorphic type. Furthermore, we determine the coadjoint orbits $O^H$ with nonzero Corwin-Greenleaf number. Our results coincide with the prediction of the orbit philosophy, and can be seen as "classical limits" of the multiplicity-free branching laws of holomorphic discrete series representations (T.Kobayashi [Progr.Math.2007]).


title: Efficient Encoding of Dynamical Systems through Local Approximations

abstract: An efficient representation of observed data has many benefits in various domains of engineering and science. Representing static data sets, such as images, is a living branch in machine learning and eases downstream tasks, such as classification, regression, or decision making. However, the representation of dynamical systems has received less attention. In this work, we develop a method to represent a dynamical system efficiently as a combination of a state and a local model, which fulfills a criterion inspired by the minimum description length (MDL) principle. The MDL principle is used in machine learning and statistics to quantify the trade-off between the ability to explain seen data and the model complexity. Networked control systems are a prominent example, where such a representation is beneficial. When many agents share a network, information exchange is costly and should thus happen only when necessary. We empirically show the efficiency of the proposed encoding for several dynamical systems and demonstrate reduced communication for event-triggered state estimation problems.


title: Ultralimits of Birkhoff averages

abstract: Given a compact metric space $X$ and a probability measure in the $\sigma-$algebra of Borel subsets of $X$, we will establish a dominated convergence theorem for ultralimits of sequences of integrable maps and apply it to deduce a non-standard ergodic-like theorem for any probability measure.


title: Self-energy driven resonance-like inelastic neutron spectrum in $s_{++}$-wave state in Fe-based superconductors

abstract: To elucidate the pairing states in Fe-based superconductors, we perform careful calculation of the dynamical spin susceptibility $\chi^S(q, \omega)$ at very low temperatures ($T \sim 1$ meV). The feedback effect on both the self-energy and $\chi^S(q, \omega)$ from the superconducting gap are self-consistently analyzed based on the fluctuation-exchange (FLEX) approximation. In the $s_{+-}$-wave state, which has sign-reversal in the gap function, $\chi^S(q, \omega)$ at the nesting momentum $q = Q$ shows a resonance peak even when the system is away from the magnetic quantum-critical-point (QCP). In the $s_{++}$-wave state that has no sign-reversal, $\chi^S(q, \omega)$ shows a large hump structure when the system is close to the magnetic QCP. This result confirms the validity of self-energy driven resonance-like peak in $s_{++}$-wave state proposed in our previous semi-microscopic study: The enhancement in $\chi^S(q, \omega)$ due to self-energy effect exceeds the suppression due to coherence factor effect near magnetic QCP. We stress that the hump structure in the $s_{++}$-wave state given by the FLEX method smoothly changes to resonance-like sharp peak structure as the system approaches magnetic QCP, which was not reported in our previous studies. The obtained $\omega$- and $T$-dependences of $\chi^S(q, \omega)$ in the $s_{++}$-wave state resemble to the resonance-like feature in inelastic neutron scattering spectra recently observed in Na(Fe,Co)As and FeSe


title: Learning Classifiers with Fenchel-Young Losses: Generalized Entropies, Margins, and Algorithms

abstract: This paper studies Fenchel-Young losses, a generic way to construct convex loss functions from a regularization function. We analyze their properties in depth, showing that they unify many well-known loss functions and allow to create useful new ones easily. Fenchel-Young losses constructed from a generalized entropy, including the Shannon and Tsallis entropies, induce predictive probability distributions. We formulate conditions for a generalized entropy to yield losses with a separation margin, and probability distributions with sparse support. Finally, we derive efficient algorithms, making Fenchel-Young losses appealing both in theory and practice.


title: Rare slips in fluctuating synchronized oscillator networks

abstract: We study rare phase slips due to noise in synchronized Kuramoto oscillator networks. In the small-noise limit, we demonstrate that slips occur via large fluctuations to saddle phase-locked states. For tree topologies, slips appear between subgraphs that become disconnected at a saddle-node bifurcation, where phase-locked states lose stability generically. This pattern is demonstrated for sparse networks with several examples. Scaling laws are derived and compared for different tree topologies. On the other hand, for dense networks slips occur between oscillators on the edges of the frequency distribution. If the distribution is discrete, the probability-exponent for large fluctuations to occur scales linearly with the system size. However, if the distribution is continuous, the probability is a constant in the large network limit, as individual oscillators fluctuate to saddles while all others remain fixed. In the latter case, the network's coherence is approximately preserved.


title: Learning convex polyhedra with margin

abstract: We present an improved algorithm for {\em quasi-properly} learning convex polyhedra in the realizable PAC setting from data with a margin. Our learning algorithm constructs a consistent polyhedron as an intersection of about $t \log t$ halfspaces with constant-size margins in time polynomial in $t$ (where $t$ is the number of halfspaces forming an optimal polyhedron). We also identify distinct generalizations of the notion of margin from hyperplanes to polyhedra and investigate how they relate geometrically; this result may have ramifications beyond the learning setting.


title: Computing the resolvent of the sum of maximally monotone operators with the averaged alternating modified reflections algorithm

abstract: The averaged alternating modified reflections algorithm is a projection method for finding the closest point in the intersection of closed convex sets to a given point in a Hilbert space. In this work, we generalize the scheme so that it can be used to compute the resolvent of the sum of two maximally monotone operators. This gives rise to a new splitting method, which is proved to be strongly convergent. A standard product space reformulation permits to apply the method for computing the resolvent of a finite sum of maximally monotone operators. Based on this, we propose two variants of such parallel splitting method.


title: Partial trace of a full symmetrizer

abstract: A formula for the partial trace of a full symmetrizer is obtained. The formula is used to provide an inductive proof of the well-known formula for the dimension of a full symmetry class of tensors.


title: Absorption-dispersion in a three-level electromagnetically induced transparency medium including near dipole-dipole interaction effects

abstract: Dynamical evolution and electromagnetically induced transparency (EIT) is investigated here in a three-level $\lambda$-type atomic system including near-dipole-dipole interaction among atoms. The system is driven by the probe and coupling fields. Exact numerical solutions under steady-state condition are given for the density operator equation to get information about population in various levels and the linear susceptibility of probe-transition. Also, obtained are the closed form expressions for linear and third order non-linear susceptibilities for the probe transition under perturbation approximation.


title: Hierarchical Schr\"odinger Equations of Motion for Open Quantum Dynamics

abstract: We rigorously investigate the quantum non-Markovian dissipative dynamics of a system coupled to a harmonic oscillator bath by deriving hierarchical Schrodinger equations of motion (HSEOM) and studying their dynamics. The HSEOM are the equations for wave functions derived on the basis of the Feynman-Vernon influence functional formalism for the density operator, $\langle q|\rho(t)|q' \rangle$, where $\langle q|$ and $|q' \rangle$ are the left- and right-hand elements. The time evolution of $\langle q|$ is computed from time $0$ to $t$, and subsequently, the time evolution of $|q' \rangle$ is computed from time $t$ to $0$ along a contour in the complex time plane. By appropriately choosing functions for the bath correlation function and the spectral density, we can take advantage of an HSEOM method to carry out simulations without the need for a great amount of computational memory. As a demonstration, quantum annealing simulation for a ferromagnetic $p$-spin model is studied.


title: Period-doubled Bloch states in a Bose-Einstein condensate

abstract: We study systematically the period-doubled Bloch states for a weakly interacting Bose-Einstein condensate in a one-dimensional optical lattice. This kind of state is of form $\psi_k=e^{ikx}\phi_k(x)$, where $\phi_k(x)$ is of period twice the optical lattice constant. Our numerical results show how these nonlinear period-doubled states grow out of linear period-doubled states at a quarter away from the Brillouin zone center as the repulsive interatomic interaction increases. This is corroborated by our analytical results. We find that all nonlinear period-doubled Bloch states have both Landau instability and dynamical instability.


title: Phase Diagram of Quantum Hall Breakdown and Non-linear Phenomena for InGaAs/InP Quantum Wells

abstract: We investigate non-linear magneto-transport in a Hall bar device made from a strained InGaAs/InP quantum well: a material system with attractive spintronic properties. From extensive maps of the longitudinal differential resistance (r_xx) as a function of current and magnetic (B-) field phase diagrams are generated for quantum Hall breakdown in the strong quantum Hall regime reaching filling factor $\nu$=1. By careful illumination the electron sheet density (n) is incremented in small steps and this provides insight into how the transport characteristics evolve with n. We explore in depth the energetics of integer quantum Hall breakdown and provide a simple picture for the principal features in the r_xx maps. A simple tunneling model that captures a number of the characteristic features is introduced. Parameters such as critical Hall electric fields and the exchange-enhanced g-factors for odd-filling factors including nu=1 are extracted. A detailed examination is made of the B-field dependence of the critical current as determined by two different methods and compiled for different values of n. A simple rescaling procedure that allows the critical current data points obtained from r_xx maxima for even-filling to collapse on to a single curve is demonstrated. Exchange-enhanced g-factors for odd-filling are extracted from the compiled data and are compared to those determined by conventional thermal activation measurements. The exchange-enhanced g-factor is found to increase with decreasing n.


title: An overview of unconstrained free boundary problems

abstract: In this paper we present a survey concerning unconstrained free boundary problems of type $$ \left\{ \begin{array}{ll} F_1(D^2u,\nabla u,u,x)=0 & \text{in }B_1 \cap \Omega ,\\ F_2 (D^2 u,\nabla u,u,x)=0 & \text{in }B_1\setminus\Omega ,\\ u \in \mathbb{S}(B_1), \end{array} \right. $$ where $B_1$ is the unit ball, $\Omega$ is an unknown open set, $F_1, F_2$ are elliptic operators (admitting regular solutions), and $\mathbb{S}$ is a functions space to be specified in each case. Our main objective is to discuss a unifying approach to the optimal regularity of solutions to the above matching problems, and list several open problems in this direction.


title: Consistent Conformal Extensions of the Standard Model

abstract: The question of whether classically conformal modifications of the standard model are consistent with experimental obervations has recently been subject to renewed interest. The method of Gildener and Weinberg provides a natural framework for the study of the effective potential of the resulting multi-scalar standard model extensions. This approach relies on the assumption of the ordinary loop hierarchy $\lambda_\text{s} \sim g^2_\text{g}$ of scalar and gauge couplings. On the other hand, Andreassen, Frost and Schwartz recently argued that in the (single-scalar) standard model, gauge invariant results require the consistent scaling $\lambda_\text{s} \sim g^4_\text{g}$. In the present paper we contrast these two hierarchy assumptions and illustrate the differences in the phenomenological predictions of minimal conformal extensions of the standard model.


title: One dimensional critical Kinetic Fokker-Planck equations, Bessel and stable processes

abstract: We consider a particle moving in one dimension, its velocity being a reversible diffusion process, with constant diffusion coefficient, of which the invariant measure behaves like $(1+|v|)^{-\beta}$ for some $\beta>0$. We prove that, under a suitable rescaling, the position process resembles a Brownian motion if $\beta\geq 5$, a stable process if $\beta\in [1,5)$ and an integrated symmetric Bessel process if $\beta\in (0,1)$. The critical cases $\beta=1$ and $\beta=5$ require special rescaling. We recover some results of G.Lebeau and M.Puel [LP17], P.Cattiaux, E.Nasreddine and M. Puel [CNP16], and E.Barkai, E.Aghion and D. A. Kesslerwith [BAK14] with an alternative approach.


title: Gauss sums of some matrix groups over $\Bbb Z/n\Bbb Z$

abstract: In this paper, we will explicitly calculate Gauss sums for the general linear groups and the special linear groups over $\Bbb Z_n$, where $\Bbb Z_n=\Bbb Z/n \Bbb Z$ and $n>0$ is an integer. For $r$ being a positive integer, the formulae of Gauss sums for ${\rm GL}_r(\Bbb Z_n)$ can be expressed in terms of classical Gauss sums over $\Bbb Z_n$, while the formulae of Gauss sums for ${\rm SL}_r(\Bbb Z_n)$ can be expressed in terms of hyper-Kloosterman sums over $\Bbb Z_n$. As an application, we count the number of $r\times r$ invertible matrices over $\Bbb Z_n$ with given trace by using the the formulae of Gauss sums for ${\rm GL}_r(\Bbb Z_n)$ and the orthogonality of Ramanujan sums.


title: Image-to-image translation for cross-domain disentanglement

abstract: Deep image translation methods have recently shown excellent results, outputting high-quality images covering multiple modes of the data distribution. There has also been increased interest in disentangling the internal representations learned by deep methods to further improve their performance and achieve a finer control. In this paper, we bridge these two objectives and introduce the concept of cross-domain disentanglement. We aim to separate the internal representation into three parts. The shared part contains information for both domains. The exclusive parts, on the other hand, contain only factors of variation that are particular to each domain. We achieve this through bidirectional image translation based on Generative Adversarial Networks and cross-domain autoencoders, a novel network component. Our model offers multiple advantages. We can output diverse samples covering multiple modes of the distributions of both domains, perform domain-specific image transfer and interpolation, and cross-domain retrieval without the need of labeled data, only paired images. We compare our model to the state-of-the-art in multi-modal image translation and achieve better results for translation on challenging datasets as well as for cross-domain retrieval on realistic datasets.


title: A New Class of Retrocausal Models

abstract: Globally-constrained classical fields provide a unexplored framework for modeling quantum phenomena, including apparent particle-like behavior. By allowing controllable constraints on unknown past fields, these models are retrocausal but not retro-signaling, respecting the conventional block universe viewpoint of classical spacetime. Several example models are developed that resolve the most essential problems with using classical electromagnetic fields to explain single-photon phenomena. These models share some similarities with Stochastic Electrodynamics, but without the infinite background energy problem, and with a clear path to explaining entanglement phenomena. Intriguingly, the average intermediate field intensities share a surprising connection with quantum "weak values", even in the single-photon limit. This new class of models is hoped to guide further research into spacetime-based accounts of weak values, entanglement, and other quantum phenomena.


title: Rainbow fractional matchings

abstract: We prove that any family $E_1, \ldots , E_{\lceil rn \rceil}$ of (not necessarily distinct) sets of edges in an $r$-uniform hypergraph, each having a fractional matching of size $n$, has a rainbow fractional matching of size $n$ (that is, a set of edges from distinct $E_i$'s which supports such a fractional matching). When the hypergraph is $r$-partite and $n$ is an integer, the number of sets needed goes down from $rn$ to $rn-r+1$. The problem solved here is a fractional version of the corresponding problem about rainbow matchings, which was solved by Drisko and by Aharoni and Berger in the case of bipartite graphs, but is open for general graphs as well as for $r$-partite hypergraphs with $r>2$. Our topological proof is based on a result of Kalai and Meshulam about a simplicial complex and a matroid on the same vertex set.


title: Towards Robust Evaluations of Continual Learning

abstract: Experiments used in current continual learning research do not faithfully assess fundamental challenges of learning continually. Instead of assessing performance on challenging and representative experiment designs, recent research has focused on increased dataset difficulty, while still using flawed experiment set-ups. We examine standard evaluations and show why these evaluations make some continual learning approaches look better than they are. We introduce desiderata for continual learning evaluations and explain why their absence creates misleading comparisons. Based on our desiderata we then propose new experiment designs which we demonstrate with various continual learning approaches and datasets. Our analysis calls for a reprioritization of research effort by the community.


title: Johnson-Mehl Cell-based Analysis of UL Cellular Network with Coupled User and BS Locations

abstract: In this work, we analyze the performance of the uplink (UL) of a cellular network where the base station (BS) locations follow a homogeneous Poisson point process (PPP), and the locations of users and BSs are spatially coupled. In order to capture this coupling, we consider that users attached to a BS are located uniformly at random independently of each other in the Johnson-Mehl (JM) cell of that BS. For this system model, we derive analytical expressions for the UL signal to interference ratio (SIR) coverage probability and average spectral efficiency (SE) of a typical user in the network. One of the key intermediate steps in our analysis is the approximate, but accurate, characterization of the area distribution of a typical JM cell. Another key intermediate step is the accurate statistical characterization of the point process formed by the interfering users that subsequently enables the coverage probability analysis. We present coverage probability and SE results for a typical user and study the interplay between different system parameters.


title: Angular momentum of dwarf galaxies

abstract: Mass and specific angular momentum are two fundamental physical parameters of galaxies. We present measurements of the baryonic mass and specific angular momentum of 11 void dwarf galaxies derived from neutral hydrogen (H{\sc i}) synthesis data. Rotation curves were measured using 3D and 2D tilted ring fitting routines, and the derived curves generally overlap within the error bars, except in the central regions where, as expected, the 3D routines give steeper curves. The specific angular momentum of void dwarfs is found to be high compared to an extrapolation of the trends seen for higher mass bulge-less spirals, but comparable to that of other dwarf irregular galaxies that lie outside of voids. As such, our data show no evidence for a dependence of the specific angular momentum on the large scale environment. Combining our data with the data from the literature, we find a baryonic threshold of $\sim 10^{9.1}~M_{\odot}$ for this increase in specific angular momentum. Interestingly, this threshold is very similar to the mass threshold below which the galaxy discs start to become systematically thicker. This provides qualitative support to the suggestion that the thickening of the discs, as well as the increase in specific angular momentum, are both results of a common physical mechanism, such as feedback from star formation. Quantitatively, however, the amount of star formation observed in our dwarfs appears insufficient to produce the observed increase in specific angular momentum. It is hence likely that other processes, such as cold accretion of high angular momentum gas, also play a role in increasing the specific angular momentum.


title: Estimating Population Average Causal Effects in the Presence of Non-Overlap: The Effect of Natural Gas Compressor Station Exposure on Cancer Mortality

abstract: Most causal inference studies rely on the assumption of overlap to estimate population or sample average causal effects. When data exhibit non-overlap, estimation of these estimands requires reliance on model specifications, due to poor data support. All existing methods to address non-overlap, such as trimming or down-weighting data in regions of poor support, change the estimand. In environmental health research, where study results are often intended to influence policy, changes in the estimand can diminish the study's impact, because estimates may not be representative of effects in the population of interest to policymakers. Researchers may be willing to make additional, minimal modeling assumptions in order to preserve the ability to estimate population average causal effects. We seek to make two contributions on this topic. First, we propose a flexible, data-driven definition of propensity score overlap and non-overlap regions. Second, we develop a novel Bayesian framework to estimate population average causal effects with minor model dependence and appropriately large uncertainties in the presence of non-overlap. In this approach, the tasks of estimating causal effects in the overlap and non-overlap regions are delegated to two distinct models, suited to the degree of data support in each region. Tree ensembles are used to non-parametrically estimate individual causal effects in the overlap region, where the data can speak for themselves. In the non-overlap region, where insufficient data support means reliance on model specification is necessary, individual causal effects are estimated by extrapolating trends from the overlap region via a spline model. The promising performance of our method is demonstrated in simulations. Finally, we utilize our method to perform a novel investigation of the causal effect of natural gas compressor station exposure on cancer outcomes.