title: Perturbational non-canonical theory of molecular orbitals and its applications

abstract: The article contains a summary of fundamentals of the perturbational non- canonical molecular orbital (PNCMO) theory formerly developed by the author. In some respects, the PNCMO theory is a generalization of the well-known simple PMO theory: First, the usual diagonalization problem (and/or the eigenvalue equation) for a certain model Hamiltonian matrix ($\mathbf{H}$) is now replaced by two interrelated non-canonical one-electron problems, namely by the block-diagonalization problem for the matrix $\mathbf{H}$\ following from the Brillouin theorem and determining non-canonical (localized) MOs (NCMOs) and by the commutation equation for the respective one-electron density matrix (charge-bond order (CBO)) matrix. Second, perturbative solutions of the above-specified alternative problems are sought in terms of entire submatrices (blocks) of the matrix $\mathbf{H}$\ instead of usual matrix elements (e.g. of Coulomb and resonance parameters). Third, a generalized version of the perturbation theory (PT) is used in place of the standard Rayleigh-Schr\"{o}dinger PT (RSPT), wherein non-commutative quantities stand for the usual (commutative) ones (cf. the so-called non-commutative RSPT (NCRSPT)). As a result, algebraic expressions are derived for the principal quantum-chemical characteristics (including the CBO matrix, the NCMO representation matrix and the total energy) that embrace definite classes of Hamiltonian matrices and thereby of molecules. To illustrate the point, saturated and conjugated hydrocarbons are taken as examples. Arguments are given that the PNCMO theory possibly forms the basis of a novel way of qualitative chemical thinking.


title: A high-performance optical lattice clock based on bosonic atoms

abstract: Optical lattice clocks with uncertainty and instability in the $10^{-17}$-range and below have so far been demonstrated exclusively using fermions. Here, we demonstrate a bosonic optical lattice clock with $3\times 10^{-18}$ instability and $2.0\times 10^{-17}$ accuracy, both values improving on previous work by a factor 30. This was enabled by probing the clock transition with an ultra-long interrogation time of 4 s, using the long coherence time provided by a cryogenic silicon resonator, by careful stabilization of relevant operating parameters, and by operating at low atom density. This work demonstrates that bosonic clocks, in combination with highly coherent interrogation lasers, are suitable for high-accuracy applications with particular requirements, such as high reliability, transportability, operation in space, or suitability for particular fundamental physics topics. As an example, we determine the $^{88}\textrm{Sr} - ^{87}$Sr isotope shift with 12 mHz uncertainty.


title: Degrees of Infinite Words, Polynomials, and Atoms (Extended Version)

abstract: We study finite-state transducers and their power for transforming infinite words. Infinite sequences of symbols are of paramount importance in a wide range of fields, from formal languages to pure mathematics and physics. While finite automata for recognising and transforming languages are well-understood, very little is known about the power of automata to transform infinite words. The word transformation realised by finite-state transducers gives rise to a complexity comparison of words and thereby induces equivalence classes, called (transducer) degrees, and a partial order on these degrees. The ensuing hierarchy of degrees is analogous to the recursion-theoretic degrees of unsolvability, also known as Turing degrees, where the transformational devices are Turing machines. However, as a complexity measure, Turing machines are too strong: they trivialise the classification problem by identifying all computable words. Finite-state transducers give rise to a much more fine-grained, discriminating hierarchy. In contrast to Turing degrees, hardly anything is known about transducer degrees, in spite of their naturality. We use methods from linear algebra and analysis to show that there are infinitely many atoms in the transducer degrees, that is, minimal non-trivial degrees.


title: From $\mathcal{N}{=}\,4$ Galilean superparticle to three-dimensional non-relativistic $\mathcal{N}{=}\,4$ superfields

abstract: We consider the general $\mathcal{N}{=}\,4,$ $d{=}\,3$ Galilean superalgebra with arbitrary central charges and study its dynamical realizations. Using the nonlinear realization techniques, we introduce a class of actions for $\mathcal{N}{=}\,4$ three-dimensional non-relativistic superparticle, such that they are linear in the central charge Maurer-Cartan one-forms. As a prerequisite to the quantization, we analyze the phase space constraints structure of our model for various choices of the central charges. The first class constraints generate gauge transformations, involving fermionic $\kappa$-gauge transformations. The quantization of the model gives rise to the collection of free $\mathcal{N}{=}\,4$, $d{=}\,3$ Galilean superfields, which can be further employed, e.g., for description of three-dimensional non-relativistic $\mathcal{N}{=}\,4$ supersymmetric theories.


title: A note on odd zeta values

abstract: Using a new construction of rational linear forms in odd zeta values and the saddle point method, we prove the existence of at least two irrational numbers amongst the 33 odd zeta values $\zeta$(5), $\zeta$(7),. .. , $\zeta$(69).


title: Relativistic and QED effects in the fundamental vibration of T$_2$

abstract: The hydrogen molecule has become a test ground for quantum electrodynamical calculations in molecules. Expanding beyond studies on stable hydrogenic species to the heavier radioactive tritium-bearing molecules, we report on a measurement of the fundamental T$_2$ vibrational splitting $(v= 0 \rightarrow 1)$ for $J=0-5$ rotational levels. Precision frequency metrology is performed with high-resolution coherent anti-Stokes Raman spectroscopy at an experimental uncertainty of $10-12$~MHz, where sub-Doppler saturation features are exploited for the strongest transition. The achieved accuracy corresponds to a fifty-fold improvement over a previous measurement, and allows for the extraction of relativistic and QED contributions to T$_2$ transition energies.


title: A remark on the rigidity of conformally compact Poincar{\'e}-Einstein manifolds

abstract: In this paper, we give an optimal inequality relating the relative Yamabe invariant of a certain compactification of a conformally compact Poin-car{\'e}-Einstein manifold with the Yamabe invariant of its boundary at infinity. As an application, we obtain an elementary proof of the rigidity of the hyper-bolic space as the only conformally compact Poincar{\'e}-Einstein manifold with the round sphere as its conformal infinity.


title: Modeling neutrino-induced charged pion production on water at T2K kinematics

abstract: Pion production is a significant component of the signal in accelerator-based neutrino experiments. Over the last years, the MiniBooNE, T2K and MINERvA collaborations have reported a substantial amount of data on (anti)neutrino-induced pion production on the nucleus. However, a comprehensive and consistent description of the whole data set is still missing. We aim at improving the current understanding of neutrino-induced pion production on the nucleus. To this end, the comparison of experimental data with theoretical predictions, preferably based on microscopic models, is essential to disentangle the different reaction mechanisms involved in the process. To describe single-pion production (SPP) we use a hybrid model that combines a low- and a high-energy approach. The low-energy model (LEM) contains resonances and background terms. At high invariant masses, a high-energy model based on a Regge approach is employed. The model is implemented in the nucleus using the relativistic plane wave impulse approximation (RPWIA). We present a comparison of the hybrid-RPWIA and LEM with the recent neutrino-induced charged current $1\pi^+$ production cross section on water reported by T2K. In order to judge the impact of final-state interactions (FSI) we confront our results with those of the NuWro Monte Carlo generator. The hybrid-RPWIA model and NuWro compare favorably to the data, albeit that FSI are not included in the former. These results complement our previous work [Phys. Rev. D 97, 013004 (2018)] where we compared the models to the MINERvA and MiniBooNE $1\pi^+$ data. The hybrid-RPWIA model tends to overpredict both the T2K and MINERvA data in kinematic regions where the largest suppression due to FSI is expected, and agrees remarkably well with the data in other kinematic regions. On the contrary, the MiniBooNE data is underpredicted over the whole kinematic range.


title: On the Complexity of Pointer Arithmetic in Separation Logic (an extended version)

abstract: We investigate the complexity consequences of adding pointer arithmetic to separation logic. Specifically, we study extensions of the points-to fragment of symbolic-heap separation logic with various forms of Presburger arithmetic constraints. Most significantly, we find that, even in the minimal case when we allow only conjunctions of simple "difference constraints" (x'\leq x+k) where k is an integer, polynomial-time decidability is already impossible: satisfiability becomes NP-complete, while quantifier-free entailment becomes coNP-complete and quantified entailment becomes P2-complete (P2 is the second class in the polynomial-time hierarchy) In fact we prove that the upper bound is the same, P2, even for the full pointer arithmetic but with a fixed pointer offset, where we allow any Boolean combinations of the elementary formulas (x'=x+k0), (x'\leq x+k0), and (x'<x+k0), and, in addition to the points-to formulas, we allow spatial formulas of the arrays the length of which is bounded by k0 and lists which length is bounded by k0, etc, where k0 is a fixed integer. However, if we allow a significantly more expressive form of pointer arithmetic - namely arbitrary Boolean combinations of elementary formulas over arbitrary pointer sums - then the complexity increase is relatively modest for satisfiability and quantifier-free entailment: they are still NP-complete and coNP-complete respectively, and the complexity appears to increase drastically for quantified entailments.


title: First-principles study of spin-wave dispersion in Sm(Fe$_{1-x}$Co$_{x}$)$_{12}$

abstract: We present spin-wave dispersion in Sm(Fe$_{1-x}$Co$_x$)$_{12}$ calculated based on first-principles. Anisotropy in the lowest branch of the spin-wave dispersion around the $\Gamma$ point is discussed. Spin-waves propagate more easily along $a^*$-axis than along $c^*$-axis, especially in SmFe$_{12}$. We also compare values of the spin-wave stiffness with those obtained from an experiment. The calculated values are in good agreement with the experimental values.


title: Aggregation using input-output trade-off

abstract: In this paper, we introduce a new learning strategy based on a seminal idea of Mojirsheibani (1999, 2000, 2002a, 2002b), who proposed a smart method for combining several classifiers, relying on a consensus notion. In many aggregation methods, the prediction for a new observation x is computed by building a linear or convex combination over a collection of basic estimators r1(x),. .. , rm(x) previously calibrated using a training data set. Mojirsheibani proposes to compute the prediction associated to a new observation by combining selected outputs of the training examples. The output of a training example is selected if some kind of consensus is observed: the predictions computed for the training example with the different machines have to be "similar" to the prediction for the new observation. This approach has been recently extended to the context of regression in Biau et al. (2016). In the original scheme, the agreement condition is actually required to hold for all individual estimators, which appears inadequate if there is one bad initial estimator. In practice, a few disagreements are allowed ; for establishing the theoretical results, the proportion of estimators satisfying the condition is required to tend to 1. In this paper, we propose an alternative procedure, mixing the previous consensus ideas on the predictions with the Euclidean distance computed between entries. This may be seen as an alternative approach allowing to reduce the effect of a possibly bad estimator in the initial list, using a constraint on the inputs. We prove the consistency of our strategy in classification and in regression. We also provide some numerical experiments on simulated and real data to illustrate the benefits of this new aggregation method. On the whole, our practical study shows that our method may perform much better than the original combination technique, and, in particular, exhibit far less variance. We also show on simulated examples that this procedure mixing inputs and outputs is still robust to high dimensional inputs.


title: Physical explanation of the universal "inverse-3rd-power-of-separation" law found numerically for the electrostatic interaction between two protruding nanostructures

abstract: Two conducting nanostructures on a conducting base-plate, and with a common applied electrostatic field, interact because their electrons are a common electron-thermodynamic system. Except at small separations, the interaction reduces the apex field enhancement factor (FEF) of each nanostructure, by means of "charge blunting". A parameter of interest is the fractional reduction (-d) of the apex FEF, as compared with the apex FEF for the same emitter when standing alone on the base-plate. For systems of two or a few identical post-like emitters, or regular arrays of such emitters, details have been investigated by methods based on numerical solution of Laplace's equation, and by using line-charge models. For post separations c comparable with post height h, several authors have shown that the variation of (-d) with c is well described by formulae having exponential or quasi-exponential form. By contrast, explorations of the two-emitter situation using the "floating-sphere-at-emitter-plane potential" (FSEPP) model have predicted that, for large c-values, (-d) falls off as 1/c*c*c. Numerical Laplace-type simulations carried out by de Assis and Dall'Agnol (arXiv:1711.00601v2) have confirmed this limiting dependence for six different situations involving pairs of protruding nanostructures; hence they suggest it as an universal law. By using the FSEPP model for the central structure, and by adopting a "first moments" representation for the distant structure, this letter shows that a clear physical reason can be given for this numerically discovered general limiting (1/c*c*c) dependence. An implication is that the quasi-exponential formula found useful for c comparable with h is simply a good fitting formula. A second implication is that the FSEPP model, which currently is used mainly in nanoscience, may have much wider applicability to electrostatic phenomena.


title: Coherence time of a Bose-Einstein condensate in an isolated harmonically trapped gas

abstract: We study the condensate phase dynamics in a low-temperature equilibrium gas of weakly interacting bosons, harmonically trapped and isolated from the environment. We find that at long times, much longer than the collision time between Bogoliubov quasiparticles, the variance of the phase accumulated by the condensate grows with a ballistic term quadratic in time and a diffusive term affine in time. We give the corresponding analytical expressions in the limit of a large system, in the collisionless regime and in the ergodic approximation for the quasiparticle motion. When properly rescaled, they are described by universal functions of the temperature divided by the Thomas-Fermi chemical potential. The same conclusion holds for the mode damping rates. Such universality class differs from the previously studied one of the homogeneous gas.


title: An Enabling Waveform for 5G - QAM-FBMC: Initial Analysis

abstract: In this paper, we identified the challenges and requirements for the waveform design of the fifth generation mobile communication networks (5G) and compared Orthogonal frequency-division multiplexing (OFDM) based waveforms with Filter Bank Multicarrier (FBMC) based ones. Recently it has been shown that Quadrature-Amplitude Modulation (QAM) transmission and reception can be enabled in FBMC by using multiple prototype filters, resulting in a new waveform: QAM-FBMC. Here, the transceiver architecture and signal model of QAM-FBMC are presented and channel estimation error and RF impairment, e.g., phase noise, are modeled. In addition, initial evaluation is made in terms of out-of-band (OOB) emission and complexity. The simulation results show that QAM-FBCM can achieve the same BER performance as cyclic-prefix (CP) OFDM without spectrum efficiency reduction due to the adding of CP. Different equalization schemes are evaluated and the effect of channel estimation error is investigated. Moreover, effects of the phase noise are evaluated and QAM-FBMC is shown to be robust to the phase noise.


title: Existence and Uniqueness of Solutions of Nabla Fractional Difference Equations Tending to a Nonnegative Constant

abstract: In this paper, we reformulate certain nabla fractional difference equations which had been investigated by other researchers. The previous results seem to be incomplete. By using Contraction Mapping Theorem, we establish conditions under which solutions exist and are unique and have certain asymptotic properties.


title: Heavy-to-light scalar form factors from Muskhelishvili-Omn\`es dispersion relations

abstract: By solving the Muskhelishvili-Omn\`es integral equations, the scalar form factors of the semileptonic heavy meson decays $D\to\pi \bar \ell \nu_\ell$, $D\to \bar{K} \bar \ell \nu_\ell$, $\bar{B}\to \pi \ell \bar\nu_\ell$ and $\bar{B}_s\to K \ell \bar\nu_\ell$ are simultaneously studied. As input, we employ unitarized heavy meson-Goldstone boson chiral coupled-channel amplitudes for the energy regions not far from thresholds, while, at high energies, adequate asymptotic conditions are imposed. The scalar form factors are expressed in terms of Omn\`es matrices multiplied by vector polynomials, which contain some undetermined dispersive subtraction constants. We make use of heavy quark and chiral symmetries to constrain these constants, which are fitted to lattice QCD results both in the charm and the bottom sectors, and in this latter sector to the light-cone sum rule predictions close to $q^2=0$ as well. We find a good simultaneous description of the scalar form factors for the four semileptonic decay reactions. From this combined fit, and taking advantage that scalar and vector form factors are equal at $q^2=0$, we obtain $|V_{cd}|=0.244\pm 0.022$, $|V_{cs}|=0.945\pm 0.041$ and $|V_{ub}|=(4.3\pm 0.7)\times10^{-3}$ for the involved Cabibbo-Kobayashi-Maskawa (CKM) matrix elements. In addition, we predict the following vector form factors at $q^2=0$: $|f_+^{D\to\eta}(0)|=0.01\pm 0.05$, $|f_+^{D_s\to K}(0)|=0.50 \pm 0.08$, $|f_+^{D_s\to\eta}(0)|=0.73\pm 0.03$ and $|f_+^{\bar{B}\to\eta}(0)|=0.82 \pm 0.08$, which might serve as alternatives to determine the CKM elements when experimental measurements of the corresponding differential decay rates become available. Finally, we predict the different form factors above the $q^2-$regions accessible in the semileptonic decays, up to moderate energies amenable to be described using the unitarized coupled-channel chiral approach.


title: Influence of Morphology on Blinking Mechanisms and Excitonic Fine Structure of Single Colloidal Nanoplatelets

abstract: Colloidal semiconductor nanoplatelets (NPLs) with electronic structure as quantum wells have recently emerged as exciting materials for optoelectronic applications. Here we investigate how morphology affects important photoluminescence (PL) properties of single CdSe and core/shell CdSe/CdZnS nanoplatelets. By analyzing PL intensity-lifetime correlation and second-order photon correlation results, we demonstrate that, irrespective of morphology, Auger recombination cannot be responsible for PL blinking of single NPLs. We propose that hot carrier trapping plays a significant role in blinking and find that a rough shell induces additional nonradiative channels presumably related to defects or traps of an imperfect shell. Polarization-resolved PL spectroscopy analysis reveals exciton fine-structure splitting on the order of several tens of meV in rough-shell NPLs at room temperature, which is attributed to exciton localization and substantiated with theoretical calculations taking into account the NPL shape and electron-hole exchange interaction.


title: Towards the Modular Specification and Validation of Cyber-Physical Systems

abstract: Cyber-Physical Systems (CPS) are systems controlled by one or more computer-based components tightly integrated with a set of physical components, typically described as sensors and actuators, that can either be directly attached to the computer components, or at a remote location, and accessible through a network connection. The modeling and verification of such systems is a hard task and error prone that require rigorous techniques. Hybrid automata is a formalism that extends finite-state automata with continuous behavior, described by ordinary differential equations. This paper uses a rewriting logic-based technique to model and validate CPS, thus exploring the use of a formal technique to develop such systems that combines expressive specification with efficient state-based analysis. Moreover, we aim at the modular specification of such systems such that each CPS component is independently specified and the final system emerges as the synchronous product of its constituent components. We model CPSs using Linear Hybrid Automaton and implement them in Real-Time Maude, a rewriting logic tool for real-time systems. With this method, we develop a specification for the $n$-reservoir problem, a CPS that controls a hose to fill a number of reservoirs according to the physical properties of the hose and the reservoirs.


title: Study of supersolidity in the two-dimensional Hubbard-Holstein model

abstract: We derive an effective Hamiltonian for the two-dimensional Hubbard-Holstein model in the regimes of strong electron-electron and strong electron-phonon interactions by using a nonperturbative approach. In the parameter region where the system manifests the existence of a correlated singlet phase, the effective Hamiltonian transforms to a $t_1-V_1-V_2-V_3$ Hamiltonian for hard-core-bosons on a checkerboard lattice. We employ quantum Monte Carlo simulations, involving stochastic-series-expansion technique, to obtain the ground state phase diagram. At filling $1/8$, as the strength of off-site repulsion increases, the system undergoes a first-order transition from a superfluid to a diagonal striped solid with ordering wavevector $\vec{Q}=(\pi/4,3\pi/4)$ or $(\pi/4,5\pi/4)$. Unlike the one-dimensional situation, our results in the two-dimensional case reveal a supersolid phase (corresponding to the diagonal striped solid) around filling $1/8$ and at large off-site repulsions. Furthermore, for small off-site repulsions, we witness a valence bond solid at one-fourth filling and tiny phase-separated regions at slightly higher fillings.


title: Automatic Detection of Public Development Projects in Large Open Source Ecosystems: An Exploratory Study on GitHub

abstract: Hosting over 10 million of software projects, GitHub is one of the most important data sources to study behavior of developers and software projects. However, with the increase of the size of open source datasets, the potential threats to mining these datasets have also grown. As the dataset grows, it becomes gradually unrealistic for human to confirm quality of all samples. Some studies have investigated this problem and provided solutions to avoid threats in sample selection, but some of these solutions (e.g., finding development projects) require human intervention. When the amount of data to be processed increases, these semi-automatic solutions become less useful since the effort in need for human intervention is far beyond affordable. To solve this problem, we investigated the GHTorrent dataset and proposed a method to detect public development projects. The results show that our method can effectively improve the sample selection process in two ways: (1) We provide a simple model to automatically select samples (with 0.827 precision and 0.947 recall); (2) We also offer a complex model to help researchers carefully screen samples (with 63.2% less effort than manually confirming all samples, and can achieve 0.926 precision and 0.959 recall).


title: Modeling Activation Processes in Human Memory to Improve Tag Recommendations

abstract: This thesis was submitted by Dr. Dominik Kowald to the Institute of Interactive Systems and Data Science of Graz University of Technology in Austria on the 5th of September 2017 for the attainment of the degree 'Dr.techn'. The supervisors of this thesis have been Prof. Stefanie Lindstaedt and Ass.Prof. Elisabeth Lex from Graz University of Technology, and the external assessor has been Prof. Tobias Ley from Tallinn University. In the current enthusiasm around Data Science and Big Data Analytics, it is important to mention that only theory-guided approaches will truly enable us to fully understand why an algorithm works and how specific results can be explained. It was the goal of this dissertation research to follow this path by demonstrating that a recommender system inspired by human memory theory can have a true impact in the field.


title: Kubo spins in nano-scale aluminum grains: A muon spin relaxation study

abstract: We report muon spin relaxation rate measurements on films composed of aluminum grains having a size of a few nm, with a large energy level splitting of the order of 100 K. The films range from weakly metallic to insulating. In the insulating case the low temperature relaxation rate is consistent with the presence of single electron spins in grains having an odd number of electrons. The relaxation rate temperature dependence follows an activation law having an energy scale in agreement with the average level splitting. In weakly metallic films the relaxation rate is smaller and decreases faster with temperature. Overall our observations are in line with the presence of a Kubo spin in Al nano-size grains due to quantum size effects.


title: Fact Checking in Community Forums

abstract: Community Question Answering (cQA) forums are very popular nowadays, as they represent effective means for communities around particular topics to share information. Unfortunately, this information is not always factual. Thus, here we explore a new dimension in the context of cQA, which has been ignored so far: checking the veracity of answers to particular questions in cQA forums. As this is a new problem, we create a specialized dataset for it. We further propose a novel multi-faceted model, which captures information from the answer content (what is said and how), from the author profile (who says it), from the rest of the community forum (where it is said), and from external authoritative sources of information (external support). Evaluation results show a MAP value of 86.54, which is 21 points absolute above the baseline.


title: ASASSN-16dt and ASASSN-16hg: Promising Candidates for a Period Bouncer

abstract: We present optical photometry of superoutbursts in 2016 of two WZ Sge-type dwarf novae (DNe), ASASSN-16dt and ASASSN-16hg. Their light curves showed a dip in brightness between the first plateau stage with no ordinary superhumps (or early superhumps) and the second plateau stage with ordinary superhumps. We find that the dip is produced by slow evolution of the 3:1 resonance tidal instability and that it would be likely observed in low mass-ratio objects. The estimated mass ratio ($q \equiv M_{2}/M_{1}$) from the period of developing (stage A) superhumps (0.06420(3) d) was 0.036(2) in ASASSN-16dt. Additionally, its superoutburst has many properties similar to those in other low-$q$ WZ Sge-type DNe: long-lasting stage A superhumps, small superhump amplitudes, long delay of ordinary superhump appearance, and slow decline rate in the plateau stage with superhumps. The very small mass ratio and observational characteristics suggest that this system is one of the best candidates for a period bouncer -- a binary accounting for the missing population of post-period minimum cataclysmic variables. Although it is not clearly verified due to the lack of detection of stage A superhumps, ASASSN-16hg might be a possible candidate for a period bouncer on the basis of the morphology of its light curves and the small superhump amplitudes. Many outburst properties of period-bouncer candidates would originate from the small tidal effects by their secondary stars.


title: Comment on "Hearing the signal of dark sectors with gravitational wave detectors" [Phys. Rev. D 94, no. 10, 103519 (2016)]

abstract: We revisit the calculation of the gravitational wave spectra generated in a classically scale-invariant $SU(2)$ gauge sector with a scalar field in the adjoint representation, as discussed by J.~Jaeckel, et al. The finite-temperature potential at 1-loop level can induce a strong first-order phase transition, during which gravitational waves can be generated. With the accurate numerical computation of the on-shell Euclidean actions of the nucleation bubbles, we find that the triangle approximation employed by J.~Jaeckel, et al. strongly distorts the actual potential near its maximum and thus greatly underestimates the action values. As a result, the gravitational wave spectra predicted by J.~Jaeckel, et al deviate significantly from the exact ones in peak frequencies and shapes.


title: Quantum Interactions of Topological Solitons from Electrodynamics

abstract: The Casimir energy for the classically stable configurations of the topological solitons in 2D quantum antiferromagnets is studied by performing the path-integral over quantum fluctuations. The magnon fluctuation around the solitons saturating the Bogomol'nyi inequality may be viewed as a charged scalar field coupled with an effective magnetic field induced by the solitons. The magnon-soliton couping is closely related to the Pauli Hamiltonian, with which the effective action is calculated by adapting the worldline formulation of the derivative expansion for the 2+1d quantum electrodynamics in an external field. The resulting framework is more flexible than the conventional scattering analysis based on the Dashen-Hasslacher-Neveu formula. We obtain a short-range attractive well and a universal long-range $1/r$-type repulsive potential between two solitons.


title: Quadratic principal indecomposable modules and strongly real elements of finite Groups

abstract: Let $P$ be a principal indecomposable module of a finite group $G$ in characteristic $2$ and let $\varphi$ be the Brauer character of the corresponding simple $G$-module. We show that $P$ affords a non-degenerate $G$-invariant quadratic form if and only if there are involutions $s,t\in G$ such that $st$ has odd order and $\varphi(st)/2$ is not an algebraic integer. We then show that the number of isomorphism classes of quadratic principal indecomposable $G$-modules is equal to the number of strongly real conjugacy classes of odd order elements of $G$.


title: Multiple Weyl and Double-Weyl Points in an Elastic Chiral Lattice

abstract: We show that Multiple Weyl and double Weyl points arise in a chiral elastic system through stacking many two-dimensional honeycomb mechanical structures. On the distinct kz plane, the band structures calculated from tight-binding model exhibit the presence of Weyl points at Brillouin vertices and double Weyl Points at Brillouin centre. Based on the tight-binding model, we design a practical chiral mechanical structure which can be fabricated by current 3D printing technology. The numerical calculation illustrates several Weyl and double-Weyl points as expected in our analysis of tight-binding model. To verify the topological feature, topological charges of every degeneracy are calculated. Within these Weyl points, we theoretically prove that the existence of topologically protected surface modes, and their robustness against defects are also demonstrated.


title: The two and three-loop matter bispectrum in perturbation theories

abstract: We evaluate for the first time the dark matter bispectrum of large-scale structure at two loops in the Standard Perturbation Theory and at three loops in the Renormalised Perturbation Theory (MPTbreeze formalism), removing in each case the leading divergences in the integrals in order to make them infrared-safe. We show that the Standard Perturbation Theory at two loops can be employed to model the matter bispectrum further into the quasi-nonlinear regime compared to one loop, up to $k_{\text{max}} \sim 0.1 \, h/{\text{Mpc}}$ at $z = 0$, but without reaching a high level of accuracy. In the case of the MPTbreeze method, we show that its bispectra decay at smaller and smaller scales with increasing loop order, but with smaller improvements. At three loops, this model predicts the bispectrum accurately up to scales $k_{\text{max}} \sim 0.17 \, h/{\text{Mpc}}$ at $z = 0$ and $k_{\text{max}} \sim 0.24 \, h/{\text{Mpc}}$ at $z = 1$.


title: Drug Recommendation toward Safe Polypharmacy

abstract: Adverse drug reactions (ADRs) induced from high-order drug-drug interactions (DDIs) due to polypharmacy represent a significant public health problem. In this paper, we formally formulate the to-avoid and safe (with respect to ADRs) drug recommendation problems when multiple drugs have been taken simultaneously. We develop a joint model with a recommendation component and an ADR label prediction component to recommend for a prescription a set of to-avoid drugs that will induce ADRs if taken together with the prescription. We also develop real drug-drug interaction datasets and corresponding evaluation protocols. Our experimental results on real datasets demonstrate the strong performance of the joint model compared to other baseline methods.


title: RAN Enablers for 5G Radio Resource Management

abstract: This paper presents the description of several key RAN enablers for the radio resource management (RRM) framework of the fifth generation (5G) radio access network (RAN), referred to as building blocks of the 5G RRM. In particular, the following key RAN enablers are discussed: i) interference management techniques for dense and dynamic deployments, focusing on cell-edge performance enhancement; ii) dynamic traffic steering mechanisms that aim to attain the optimum mapping of 5G services to any available resources when and where needed by considering the peculiarities of different air interface variants (AIVs); iii) resource management strategies that deal with network slices; and iv) tight interworking between novel 5G AIVs and evolved legacy AIVs such as Long-term Evolution (LTE). Evaluation results for each of these key RAN enablers are also presented.


title: Computing local sensitivity and tolerances for stellarator physics properties using shape gradients

abstract: Tight tolerances have been a leading driver of cost in recent stellarator experiments, so improved definition and control of tolerances can have significant impact on progress in the field. Here we relate tolerances to the shape gradient representation that has been useful for shape optimization in industry, used for example to determine which regions of a car or aerofoil most affect drag, and we demonstrate how the shape gradient can be computed for physics properties of toroidal plasmas. The shape gradient gives the local differential contribution to some scalar figure of merit (shape functional) caused by normal displacement of the shape. In contrast to derivatives with respect to quantities parameterizing a shape (e.g. Fourier amplitudes), which have been used previously for optimizing plasma and coil shapes, the shape gradient gives spatially local information and so is more easily related to engineering constraints. We present a method to determine the shape gradient for any figure of merit using the parameter derivatives that are already routinely computed for stellarator optimization. Examples of shape gradients for plasma and electromagnetic coil shapes are given. We also derive and present examples of an analogous representation of the local sensitivity to magnetic field errors; this magnetic sensitivity can be rapidly computed from the shape gradient. The shape gradient and magnetic sensitivity can both be converted into local tolerances, which inform how accurately the coils should be built and positioned, where trim coils and structural supports for coils should be placed, and where magnetic material and current leads can best be located. Both sensitivity measures provide insight into shape optimization, enable systematic calculation of tolerances, and connect physics optimization to engineering criteria that are more easily specified in real space than in Fourier space.


title: Reexamination of group velocities of structured light pulses

abstract: Recently, a series of theoretical and experimental papers on free-space propagation of pulsed Laguerre-Gaussian and Bessel beams was published, which reached contradictory and controversial results about group velocities of such pulses. Depending on themeasurement scheme, the group velocity can be defined differently.We analyze how different versions of group velocity are related to the measurable travel time (time of flight) of the pulse between input (source) and output (detecting) planes. The analysis is tested on a theoretical model---the Bessel-Gauss pulse whose propagation path exhibits both subluminal and superluminal regions. Our main conclusion from resolving the contradictions in the literature is that different versions of group velocity are appropriate, depending on whether or not the beam is hollow and how the pulse is recorded in the output plane---integrally or with spatial resolution.


title: Single nucleotide polymorphisms that modulate microRNA regulation of gene expression in tumors

abstract: Genome-wide association studies (GWAS) have identified single nucleotide polymorphisms (SNPs) associated with trait diversity and disease susceptibility, yet the functional properties of many genetic variants and their molecular interactions remains unclear. It has been hypothesized that SNPs in microRNA binding sites may disrupt gene regulation by microRNAs (miRNAs), short non-coding RNAs that bind to mRNA and downregulate the target gene. While a number of studies have been conducted to predict the location of SNPs in miRNA binding sites, to date there has been no comprehensive analysis of how SNP variants may impact miRNA regulation of genes. Here we investigate the functional properties of genetic variants and their effects on miRNA regulation of gene expression in cancer. Our analysis is motivated by the hypothesis that distinct alleles may cause differential binding (from miRNAs to mRNAs or from transcription factors to DNA) and change the expression of genes. We previously identified pathways--systems of genes conferring specific cell functions--that are dysregulated by miRNAs in cancer, by comparing miRNA-pathway associations between healthy and tumor tissue. We draw on these results as a starting point to assess whether SNPs in genes on dysregulated pathways are responsible for miRNA dysregulation of individual genes in tumors. Using an integrative analysis that incorporates miRNA expression, mRNA expression, and SNP genotype data, we identify SNPs that appear to influence the association between miRNAs and genes, which we term "regulatory QTLs (regQTLs)": loci whose alleles impact the regulation of genes by miRNAs. We describe the method, apply it to analyze four cancer types (breast, liver, lung, prostate) using data from The Cancer Genome Atlas (TCGA), and provide a tool to explore the findings.


title: Dynamic IoT Choreographies

abstract: The Internet of Things is growing at a dramatic rate and extending into various application domains. We have designed, implemented and evaluated a resilient and decentralized system using IoT concepts. We applied it to maintaining the functionality of building automation systems, so that new devices can appear and vanish on-the-fly.


title: A Bayesian and Machine Learning approach to estimating Influence Model parameters for IM-RO

abstract: The rise of Online Social Networks (OSNs) has caused an insurmountable amount of interest from advertisers and researchers seeking to monopolize on its features. Researchers aim to develop strategies for determining how information is propagated among users within an OSN that is captured by diffusion or influence models. We consider the influence models for the IM-RO problem, a novel formulation to the Influence Maximization (IM) problem based on implementing Stochastic Dynamic Programming (SDP). In contrast to existing approaches involving influence spread and the theory of submodular functions, the SDP method focuses on optimizing clicks and ultimately revenue to advertisers in OSNs. Existing approaches to influence maximization have been actively researched over the past decade, with applications to multiple fields, however, our approach is a more practical variant to the original IM problem. In this paper, we provide an analysis on the influence models of the IM-RO problem by conducting experiments on synthetic and real-world datasets. We propose a Bayesian and Machine Learning approach for estimating the parameters of the influence models for the (Influence Maximization- Revenue Optimization) IM-RO problem. We present a Bayesian hierarchical model and implement the well-known Naive Bayes classifier (NBC), Decision Trees classifier (DTC) and Random Forest classifier (RFC) on three real-world datasets. Compared to previous approaches to estimating influence model parameters, our strategy has the great advantage of being directly implementable in standard software packages such as WinBUGS/OpenBUGS/JAGS and Apache Spark. We demonstrate the efficiency and usability of our methods in terms of spreading information and generating revenue for advertisers in the context of OSNs.


title: On the Production of an Isotensor Dibaryon in the $pp \to pp\pi^+\pi^-$ Reaction

abstract: Exclusive measurements of the quasi-free $pp \to pp\pi^+\pi^-$ reaction have been performed by means of $pd$ collisions at $T_p$ = 1.2 GeV using the WASA detector setup at COSY. Total and differential cross sections have been obtained covering the energy region $T_p = 1.08 - 1.36$ GeV ($\sqrt s$ = 2.35 - 2.46 GeV), which includes the regions of $N^*(1440)$ and $\Delta(1232)\Delta(1232)$ resonance excitations. Calculations describing these excitations by $t$-channel meson exchange are at variance with experimental differential cross sections and underpredict substantially the measured total cross section. An isotensor $\Delta N$ dibaryon resonance with $I(J^P) = 2(1^+)$ produced associatedly with a pion is able to overcome these deficiencies. Such a dibaryon was predicted by Dyson and Xuong and more recently calculated by Gal and Garcilazo.


title: An Isotensor Dibaryon in the $pp \to pp\pi^+\pi^-$ Reaction?

abstract: Exclusive measurements of the quasi-free $pp \to pp\pi^+\pi^-$ reaction have been carried out at WASA@COSY by means of $pd$ collisions at $T_p$ = 1.2 GeV. Total and differential cross sections have been extracted covering the energy region $T_p = 1.08 - 1.36$ GeV, which is the region of $N^*(1440)$ and $\Delta(1232)\Delta(1232)$ resonance excitations. Calculations describing these excitations by $t$-channel meson exchange are at variance with the measured differential cross sections and underpredict substantially the experimental total cross section. An isotensor $\Delta N$ dibaryon resonance with $I(J^P) = 2(1^+)$ produced associatedly with a pion is able to overcome these deficiencies.


title: Universal dielectric response across a continuous metal-insulator transition

abstract: A wide range of disordered materials, including disordered correlated systems, show "Universal Dielectric Response" (UDR), followed by a superlinear power-law increase in their optical responses over exceptionally broad frequency regimes. While extensively used in various contexts over the years, the microscopics underpinning UDR remains controversial. Here, we investigate the optical response of the simplest model of correlated fermions, Falicov-Kimball model (FKM), across the continuous metal-insulator transition (MIT) and analyze the associated quantum criticality in detail using cluster extension of dynamical mean field theory (CDMFT). Surprisingly, we find that UDR naturally emerges in the quantum critical region associated with the continuous MIT. We tie the emergence of these novel features to a many-body orthogonality catastrophe accompanying the onset of strongly correlated electronic glassy dynamics close to the MIT, providing a microscopic realization of Jonscher's time-honored proposal as well as a rationale for similarities in optical responses between correlated electronic matter and canonical glass formers.


title: Synchronization crossover of polariton condensates in weakly disordered lattices

abstract: We demonstrate that the synchronization of a lattice of solid-state condensates when inter-site tunnelling is switched on, depends strongly on the weak local disorder. This finding is vital for implementation of condensate arrays as computation devices. The condensates here are nonlinear bosonic fluids of exciton-polaritons trapped in a weakly disordered Bose-Hubbard potential, where the nearest neighboring tunneling rate (Josephson coupling) can be dynamically tuned. The system can thus be tuned from a localized to a delocalized fluid as the number density, or the Josephson coupling between nearest neighbors increases. The localized fluid is observed as a lattice of unsynchronized condensates emitting at different energies set by the disorder potential. In the delocalized phase the condensates synchronize, and long-range order appears, evidenced by narrowing of momentum and energy distributions, new diffraction peaks in momentum space, and spatial coherence between condensates. Our work identifies similarities and differences of this nonequilibrium crossover to the traditional Bose-glass to superfluid transition in atomic condensates.


title: Modeling of gate controlled Kondo effect at carbon point-defects in graphene

abstract: We study the magnetic properties in the vicinity of a single carbon defect in a monolayer of graphene. We include the unbound $\sigma$ orbital and the vacancy induced bound $\pi$ state in an effective two-orbital single impurity model. The local magnetic moments are stabilized by the Coulomb interaction as well as a significant ferromagnetic Hund's rule coupling between the orbitals predicted by a density functional theory calculation. A hybridization between the orbitals and the Dirac fermions is generated by the curvature of the graphene sheet in the vicinity of the vacancy. We present results for the local spectral function calculated using Wilson's numerical renormalization group approach for a realistic graphene band structure and find three different regimes depending on the filling, the controlling chemical potential, and the hybridization strength. These different regions are characterized by different magnetic properties. The calculated spectral functions qualitatively agree with recent scanning tunneling spectra on graphene vacancies.


title: Not all phylogenetic networks are leaf-reconstructible

abstract: Unrooted phylogenetic networks are graphs used to represent evolutionary relationships. Accurately reconstructing such networks is of great relevance for evolutionary biology. It has recently been conjectured that all phylogenetic networks with at least five leaves can be uniquely reconstructed from their subnetworks obtained by deleting a single leaf and suppressing degree-2 vertices. Here, we show that this conjecture is false, by presenting a counter example for each possible number of leaves that is at least~4. Moreover, we show that the conjecture is still false when restricted to binary networks.


title: Knowledge Graphs in the Libraries and Digital Humanities Domain

abstract: Knowledge graphs represent concepts (e.g., people, places, events) and their semantic relationships. As a data structure, they underpin a digital information system, support users in resource discovery and retrieval, and are useful for navigation and visualization purposes. Within the libaries and humanities domain, knowledge graphs are typically rooted in knowledge organization systems, which have a century-old tradition and have undergone their digital transformation with the advent of the Web and Linked Data. Being exposed to the Web, metadata and concept definitions are now forming an interconnected and decentralized global knowledge network that can be curated and enriched by community-driven editorial processes. In the future, knowledge graphs could be vehicles for formalizing and connecting findings and insights derived from the analysis of possibly large-scale corpora in the libraries and digital humanities domain.


title: From coalescing random walks on a torus to Kingman's coalescent

abstract: Let $\mathbb{T}^d_N$, $d\ge 2$, be the discrete $d$-dimensional torus with $N^d$ points. Place a particle at each site of $\mathbb{T}^d_N$ and let them evolve as independent, nearest-neighbor, symmetric, continuous-time random walks. Each time two particles meet, they coalesce into one. Denote by $C_N$ the first time the set of particles is reduced to a singleton. Cox [6] proved the existence of a time-scale $\theta_N$ for which $C_N/\theta_N$ converges to the sum of independent exponential random variables. Denote by $Z^N_t$ the total number of particles at time $t$. We prove that the sequence of Markov chains $(Z^N_{t\theta_N})_{t\ge 0}$ converges to the total number of partitions in Kingman's coalescent.


title: Towards Knowledge Discovery from the Vatican Secret Archives. In Codice Ratio -- Episode 1: Machine Transcription of the Manuscripts

abstract: In Codice Ratio is a research project to study tools and techniques for analyzing the contents of historical documents conserved in the Vatican Secret Archives (VSA). In this paper, we present our efforts to develop a system to support the transcription of medieval manuscripts. The goal is to provide paleographers with a tool to reduce their efforts in transcribing large volumes, as those stored in the VSA, producing good transcriptions for significant portions of the manuscripts. We propose an original approach based on character segmentation. Our solution is able to deal with the dirty segmentation that inevitably occurs in handwritten documents. We use a convolutional neural network to recognize characters and language models to compose word transcriptions. Our approach requires minimal training efforts, making the transcription process more scalable as the production of training sets requires a few pages and can be easily crowdsourced. We have conducted experiments on manuscripts from the Vatican Registers, an unreleased corpus containing the correspondence of the popes. With training data produced by 120 high school students, our system has been able to produce good transcriptions that can be used by paleographers as a solid basis to speedup the transcription process at a large scale.


title: Quantifying the impact of a periodic presence of antimicrobial on resistance evolution in a homogeneous microbial population of fixed size

abstract: The evolution of antimicrobial resistance generally occurs in an environment where antimicrobial concentration is variable, which has dramatic consequences on the microorganisms' fitness landscape, and thus on the evolution of resistance. We investigate the effect of these time-varying patterns of selection within a stochastic model. We consider a homogeneous microbial population of fixed size subjected to periodic alternations of phases of absence and presence of an antimicrobial that stops growth. Combining analytical approaches and stochastic simulations, we quantify how the time necessary for fit resistant bacteria to take over the microbial population depends on the alternation period. We demonstrate that fast alternations strongly accelerate the evolution of resistance, reaching a plateau for sufficiently small periods. Furthermore, this acceleration is stronger in larger populations. For asymmetric alternations, featuring a different duration of the phases with and without antimicrobial, we shed light on the existence of a minimum for the time taken by the population to fully evolve resistance. The corresponding dramatic acceleration of the evolution of antimicrobial resistance likely occurs in realistic situations, and may have an important impact both in clinical and experimental situations.


title: Multi-terminal Conductance at the Surface of a Weyl Semimetal

abstract: Weyl semimetals are a new paradigmatic topological phase of matter featuring a gapless spectrum. One of its most distinctive features is the presence of Fermi arc surface states. Here, we report on atomistic simulations of the dc conductance and quantum Hall response of a minimal Weyl semimetal. By using scattering theory we show that a quantized Hall conductance with a non-vanishing longitudinal conductance emerges associated to the Fermi arc surface states with a remarkable robustness to high concentrations of defects in the system. Additionally, we predict that a slab of a Weyl semimetal with broken time-reversal symmetry bears persistent currents fully determined by the system size and the lattice parameters.


title: The Petrov type D isolated null surfaces

abstract: Generic black holes in vacuum-de Sitter / Anti-de Sitter spacetimes are studied in quasi-local framework, where the relevant properties are captured in the intrinsic geometry of the null surface (the horizon). Imposing the quasi-local notion of stationarity (null symmetry of the metric up to second order at the horizon only) we perform the complete classification of all the so called special Petrov types of these surfaces defined by the properties (structure of principal null direction) of the Weyl tensor at the surface. The only possible types are: II, D and O. In particular all the geometries of type O are identified. The condition distinguishing type D horizons, taking the form of a second order differential equation on certain complex invariant constructed from the Gaussian curvature and the rotation scalar, is shown to be an integrability condition for the so called near horizon geometry equation. The emergence of the near horizon geometry in this context is equivalent to the hyper-suface orthogonality of both double principal null directions. We further formulate a no-hair theorem for the Petrov type D axisymmetric null surfaces of topologically spherical sections, showing that the space of solutions is uniquely parametrized by the horizon area and angular momentum.


title: Strengthening Relationships between Neural Ideals and Receptive Fields

abstract: Neural codes are collections of binary vectors that represent the firing patterns of neurons. The information given by a neural code $C$ can be represented by its neural ideal $J_C$. In turn, the polynomials in $J_C$ can be used to determine the relationships among the receptive fields of the neurons. In a paper by Curto et al., three such relationships, known as the Type 1-3 relations, were linked to the neural ideal by three if-and-only-if statements. Later, Garcia et al. discovered the Type 4-6 relations. These new relations differed from the first three in that they were related to $J_C$ by one-way implications. In this paper, we first show that the converses of these new implications are false at the level of both the neural ideal $J_C$ and the larger ideal $I(C)$ of a code. We then present modified statements of these relations that, like the first three, can be related by if-and-only-if statements to both $J_C$ and $I(C)$. Using the modified relations, we uncover a new relationship involving $J_C$, $I(C)$, and the Type 1-6 relations.


title: The open dihypergraph dichotomy and the second level of the Borel hierarchy

abstract: We show that several dichotomy theorems concerning the second level of the Borel hierarchy are special cases of the $\aleph_0$-dimensional generalization of the open graph dichotomy, which itself follows from the usual proof(s) of the perfect set theorem. Under the axiom of determinacy, we obtain the generalizations of these results from analytic metric spaces to separable metric spaces. We also consider connections between cardinal invariants and the chromatic numbers of the corresponding dihypergraphs.


title: Matrix diagonalization and exact solution of the k-photon Jaynes-Cummings model

abstract: We study and exactly solve the two-photon and k-photon Jaynes-Cummings models by using a novelty algebraic method. This algebraic method is based on the Pauli matrices realization and the tilting transformation of the $SU(2)$ group and let us diagonalize the Hamiltonian of these models by properly choosing the coherent state parameters of the transformation. Finally, we explicitly obtain the energy spectrum and eigenfunctions for each model.


title: Long time $L^\infty(L^2)$ a posteriori error estimates for fully discrete parabolic problems

abstract: Computable estimates for the error of finite element discretisations of parabolic problems in the $L^\infty(0,T; L^2)$ norm are developed, which exhibit constant effectivities (the ratio of the estimated error to the true error) with respect to the simulation time. These estimates, which are of optimal order, represent a significant advantage for long-time simulations, and are derived using energy techniques based on elliptic reconstructions. The effectivities of previous optimal order error estimates in this norm derived using energy techniques are shown numerically to grow either in proportion to the simulation duration or its square root, a key disadvantage compared with earlier estimators derived using parabolic duality arguments. The new estimates form a continuous family, almost all of which are new, reproducing certain familiar energy-based estimates well suited for short-time simulations and not available through the parabolic duality framework. For clarity, we demonstrate the technique applied to a linear parabolic problem discretised using standard conforming finite element methods in space coupled with backward Euler and Crank-Nicolson time discretisations, although it can be applied much more widely.


title: Toward a probability theory for product logic: states, integral representation and reasoning

abstract: The aim of this paper is to extend probability theory from the classical to the product t-norm fuzzy logic setting. More precisely, we axiomatize a generalized notion of finitely additive probability for product logic formulas, called state, and show that every state is the Lebesgue integral with respect to a unique regular Borel probability measure. Furthermore, the relation between states and measures is shown to be one-one. In addition, we study geometrical properties of the convex set of states and show that extremal states, i.e., the extremal points of the state space, are the same as the truth-value assignments of the logic. Finally, we axiomatize a two-tiered modal logic for probabilistic reasoning on product logic events and prove soundness and completeness with respect to probabilistic spaces, where the algebra is a free product algebra and the measure is a state in the above sense.


title: Shear-density coupling for a compressible single-component yield-stress fluid

abstract: Flow behavior of a single-component yield stress fluid is addressed on the hydrodynamic level. A basic ingredient of the model is a coupling between fluctuations of density and velocity gradient via a Herschel-Bulkley-type constitutive model. Focusing on the limit of low shear rates and high densities, the model approximates well---but is not limited to---gently sheared hard sphere colloidal glasses, where solvent effects are negligible. A detailed analysis of the linearized hydrodynamic equations for fluctuations and the resulting cubic dispersion relation reveals the existence of a range of densities and shear rates with growing flow heterogeneity. In this regime, after an initial transient, the velocity and density fields monotonically reach a spatially inhomogeneous stationary profile, where regions of high shear rate and low density coexist with regions of low shear rate and high density. The steady state is thus maintained by a competition between shear-induced enhancement of density inhomogeneities and relaxation via overdamped sound waves. An analysis of the mechanical equilibrium condition provides a criterion for the existence of steady state solutions. The dynamical evolution of the system is discussed in detail for various boundary conditions, imposing either a constant velocity, shear rate, or stress at the walls.


title: Virtual Tribrackets

abstract: We introduce virtual tribrackets, an algebraic structure for coloring regions in the planar complement of an oriented virtual knot or link diagram. We use these structures to define counting invariants of virtual knots and links and provide examples of the computation of the invariant; in particular we show that the invariant can distinguish certain virtual knots.


title: PhaseNet: A Deep-Neural-Network-Based Seismic Arrival Time Picking Method

abstract: As the number of seismic sensors grows, it is becoming increasingly difficult for analysts to pick seismic phases manually and comprehensively, yet such efforts are fundamental to earthquake monitoring. Despite years of improvements in automatic phase picking, it is difficult to match the performance of experienced analysts. A more subtle issue is that different seismic analysts may pick phases differently, which can introduce bias into earthquake locations. We present a deep-neural-network-based arrival-time picking method called "PhaseNet" that picks the arrival times of both P and S waves. Deep neural networks have recently made rapid progress in feature learning, and with sufficient training, have achieved super-human performance in many applications. PhaseNet uses three-component seismic waveforms as input and generates probability distributions of P arrivals, S arrivals, and noise as output. We engineer PhaseNet such that peaks in probability provide accurate arrival times for both P and S waves, and have the potential to increase the number of S-wave observations dramatically over what is currently available. This will enable both improved locations and improved shear wave velocity models. PhaseNet is trained on the prodigious available data set provided by analyst-labeled P and S arrival times from the Northern California Earthquake Data Center. The dataset we use contains more than seven million waveform samples extracted from over thirty years of earthquake recordings. We demonstrate that PhaseNet achieves much higher picking accuracy and recall rate than existing methods.


title: Self-adaptive loop for external disturbance reduction in differential measurement set-up

abstract: We present a method developed to actively compensate common-mode magnetic disturbances on a multi-sensor device devoted to differential measurements. The system uses a field-programmable-gated-array card, and operates in conjunction with a high sensitivity magnetometer: compensating the common-mode of magnetic disturbances results in a relevant reduction of the difference-mode noise. The digital nature of the compensation system allows for using a numerical approach aimed at automatically adapting the feedback loop filter response. A common mode disturbance attenuation exceeding 50 dB is achieved, resulting in a final improvement of the differential noise floor by a factor of 10 over the whole spectral interval of interest.


title: One-sided Device-independent Self-testing of any Pure Two-qubit Entangled State

abstract: We consider the problem of $1$-sided device-independent self-testing of any pure entangled two-qubit state based on steering inequalities which certify the presence of quantum steering. In particular, we note that in the $2-2-2$ steering scenario (involving $2$ parties, $2$ measurement settings per party, $2$ outcomes per measurement setting), the maximal violation of a fine-grained steering inequality can be used to witness certain extremal steerable correlations, which certify all pure two-qubit entangled states. We demonstrate that the violation of analogous CHSH inequality of steering or nonvanishing value of a quantity constructed using a correlation function called mutual predictability together with the maximal violation of fine-grained steering inequality can be used to self-test any pure entangled two-qubit state in a $1$-sided device-independent way.


title: Grain-Boundary Kinetics: A Unified Approach

abstract: Grain boundaries (GBs) are central defects for describing polycrystalline materials, and playing major role in a wide-range of physical properties of polycrystals. Control over GB kinetics provides effective means to tailor polycrystal properties through material processing. While many approaches describe different GB kinetic phenomena, this review provides a unifying concept for a wide range of GB kinetic behavior. Our approach rests on a disconnection description of GB kinetics. Disconnections are topological line defects constrained to crystalline interfaces with both step and dislocation character. These characteristics can be completely specified by GB bicrystallography and the macroscopic degrees of freedom of GBs. GB thermal fluctuations, GB migration and the ability of GBs to absorb/emit other defects from/into the delimiting grains can be modeled via the nucleation, propagation and reaction of disconnections in the GB. We review the fundamentals of bicrystallography and its relationship to disconnections and ultimately to the kinetic behavior of GBs. We then relate disconnection dynamics and GB kinetics to microstructural evolution. While this review of the GB kinetics literature is not exhaustive, we review much of the foundational literature and draw comparisons from a wide swath of the extant experimental, simulation, and theoretical GB kinetics literature.


title: Deep Learning: A Tool for Computational Nuclear Physics

abstract: In recent years, several successful applications of the Artificial Neural Networks (ANNs) have emerged in nuclear physics and high-energy physics, as well as in biology, chemistry, meteorology, and other fields of science. A major goal of nuclear theory is to predict nuclear structure and nuclear reactions from the underlying theory of the strong interactions, Quantum Chromodynamics (QCD). With access to powerful High Performance Computing (HPC) systems, several ab initio approaches, such as the No-Core Shell Model (NCSM), have been developed to calculate the properties of atomic nuclei. However, to accurately solve for the properties of atomic nuclei, one faces immense theoretical and computational challenges. The present study proposes a feed-forward ANN method for predicting the properties of atomic nuclei like ground state energy and ground state point proton root-mean-square (rms) radius based on NCSM results in computationally accessible basis spaces. The designed ANNs are sufficient to produce results for these two very different observables in 6Li from the ab initio NCSM results in small basis spaces that satisfy the theoretical physics condition: independence of basis space parameters in the limit of extremely large matrices. We also provide comparisons of the results from ANNs with established methods of estimating the results in the infinite matrix limit.


title: Distributed Fault Detection and Accommodation in Dynamic Average Consensus

abstract: This paper presents the formulation of fault detection and accommodation schemes for a network of autonomous agents running internal model-based dynamic average consensus algorithms. We focus on two types of consensus algorithms, one that is internally stable but non-robust to initial conditions and one that is robust to initial conditions but not internally stable. For each consensus algorithm, a fault detection filter based on the unknown input observer scheme is developed for precisely estimating the communication faults that occur on the network edges. We then propose a fault remediation scheme so that the agents could reach average consensus even in the presence of communication faults.


title: Multilevel Illumination Coding for Fourier Transform Interferometry in Fluorescence Spectroscopy

abstract: Fourier Transform Interferometry (FTI) is an interferometric procedure for acquiring HyperSpectral (HS) data. Recently, it has been observed that the light source highlighting a (biologic) sample can be coded before the FTI acquisition in a procedure called Coded Illumination-FTI (CI-FTI). This turns HS data reconstruction into a Compressive Sensing (CS) problem regularized by the sparsity of the HS data. CI-FTI combines the high spectral resolution of FTI with the advantages of reduced-light-exposure imaging in biology. In this paper, we leverage multilevel sampling scheme recently developed in CS theory to adapt the coding strategy of CI-FTI to the spectral sparsity structure of HS data in Fluorescence Spectroscopy (FS). This structure is actually extracted from the spectral signatures of actual fluorescent dyes used in FS. Accordingly, the optimum illumination coding as well as the theoretical recovery guarantee are derived. We conduct numerous numerical experiments on synthetic and experimental data that show the faithfulness of the proposed theory to experimental observations.


title: The least prime number represented by a binary quadratic form

abstract: Let $D<0$ be a fundamental discriminant and $h(D)$ be the class number of $\mathbb{Q}(\sqrt{D})$. Let $R(X,D)$ be the number of classes of the binary quadratic forms of discriminant $D$ which represent a prime number in the interval $[X,2X]$. Moreover, assume that $\pi_{D}(X)$ is the number of primes, which split in $\mathbb{Q}(\sqrt{D})$ with norm in the interval $[X,2X].$ We prove that $$ \Big(\frac{\pi_D(X)}{\pi(X)}\Big)^2 \ll \frac{R(X,D)}{h(D)}\Big(1+\frac{h(D)}{\pi(X)}\Big), $$ where $\pi(X)$ is the number of primes in the interval $[X,2X]$ and the implicit constant in $\ll$ is independent of $D$ and $X$.


title: Integrable quad equations derived from the quantum Yang-Baxter equation

abstract: This paper presents an explicit correspondence between two different types of integrable equations; the quantum Yang-Baxter equation in its star-triangle relation form, and the classical 3D-consistent quad equations in the Adler-Bobenko-Suris (ABS) classification. Each of the 3D-consistent ABS quad equations of $H$-type, are respectively derived from the quasi-classical expansion of a counterpart star-triangle relation. Through these derivations it is seen that the star-triangle relation provides a natural path integral quantization of an ABS equation. The interpretation of the different star-triangle relations is also given in terms of (hyperbolic/rational/classical) hypergeometric integrals, revealing the hypergeometric structure that links the two different types of integrable systems. Many new limiting relations that exist between the star-triangle relations/hypergeometric integrals are proven for each case.


title: Predicting Software Defects through SVM: An Empirical Approach

abstract: Software defect prediction is an important aspect of preventive maintenance of a software. Many techniques have been employed to improve software quality through defect prediction. This paper introduces an approach of defect prediction through a machine learning algorithm, support vector machines (SVM), by using the code smells as the factor. Smell prediction model based on support vector machines was used to predict defects in the subsequent releases of the eclipse software. The results signify the role of smells in predicting the defects of a software. The results can further be used as a baseline to investigate further the role of smells in predicting defects.


title: Singularities of the projections of $n$-dimensional knots

abstract: Let n be aninteger>4. There is a smoothly knotted n-dimensional sphere in (n+2)-space such that the singular point set of its projection in (n+1)-space consists of double points and that the components of the singular point set are two. (The sphere is knotted in the sense that it does not bound any embedded (n+1)-ball in (n+2)-space.) Furthermore, the projection is not the projection of any unknotted sphere in the (n+2)-space. There are two inequivalent embeddings of an n-manifold in the (n+2)-space such that the projection of one of these in (n+1)-space has no double points and the projection of the other has a connected embedded double point set.


title: Large tunable intrinsic gap in rhombohedral-stacked tetralayer graphene

abstract: In rhombohedral-stacked few-layer graphene, the very flat energy bands near the charge neutrality point are unstable to electronic interactions, giving rise to states with spontaneous broken symmetries. Using transport measurements on suspended rhombohedral-stacked tetralayer graphene, we observe an insulating ground state with a large interaction-induced gap up to 80 meV. This gapped state can be enhanced by a perpendicular magnetic field, and suppressed by an interlayer potential, carrier density, or a critical temperature of ~ 40 K.


title: On the spectrum of differential operators under Riemannian coverings

abstract: For a Riemannian covering $p \colon M_{2} \to M_{1}$, we compare the spectrum of an essentially self-adjoint differential operator $D_{1}$ on a bundle $E_{1} \to M_{1}$ with the spectrum of its lift $D_{2}$ on $p^{*}E_{1} \to M_{2}$. We prove that if the covering is infinite sheeted and amenable, then the spectrum of $D_{1}$ is contained in the essential spectrum of any self-adjoint extension of $D_{2}$. We show that if the deck transformations group of the covering is infinite and $D_{2}$ is essentially self-adjoint (or symmetric and bounded from below), then $D_{2}$ (or the Friedrichs extension of $D_{2}$) does not have eigenvalues of finite multiplicity and in particular, its spectrum is essential. Moreover, we prove that if $M_{1}$ is closed, then $p$ is amenable if and only if it preserves the bottom of the spectrum of some/any Schr\"{o}dinger operator, extending a result due to Brooks.


title: Distributed Maximum Likelihood using Dynamic Average Consensus

abstract: This paper presents the formulation and analysis of a novel distributed maximum likelihood algorithm that utilizes a first-order optimization scheme. The proposed approach utilizes a static average consensus algorithm to reach agreement on the initial condition to the iterative optimization scheme and a dynamic average consensus algorithm to reach agreement on the gradient direction. The current distributed algorithm is guaranteed to exponentially recover the performance of the centralized algorithm. Though the current formulation focuses on maximum likelihood algorithm built on first-order methods, it can be easily extended to higher order methods. Numerical simulations validate the theoretical contributions of the paper.


title: Inclusive study of bottomonium production in association with an $\eta$ meson in $e^+e^-$ annihilations near $\Upsilon(5S)$

abstract: We study bottomonium production in association with an $\eta$ meson in $e^+e^-$ annihilations near the $\Upsilon(5S)$, at a center of mass energy of $\sqrt{s}=10.866\,$GeV. The results are based on the $121.4\,$fb$^{-1}$ data sample collected by the Belle experiment at the asymmetric energy KEKB collider. Only the $\eta$ meson is reconstructed and the missing-mass spectrum of $\eta$ candidates is investigated. We observe the $e^+e^-\to\eta\Upsilon_J(1D)$ process and find evidence for the $e^+e^-\to\eta\Upsilon(2S)$ process, while no significant signals of $\Upsilon(1S)$, $h_b(1P)$, nor $h_b(2P)$ are found. Cross sections for the studied processes are reported.


title: Physical qubit calibration on a directed acyclic graph

abstract: High-fidelity control of qubits requires precisely tuned control parameters. Typically, these parameters are found through a series of bootstrapped calibration experiments which successively acquire more accurate information about a physical qubit. However, optimal parameters are typically different between devices and can also drift in time, which begets the need for an efficient calibration strategy. Here, we introduce a framework to understand the relationship between calibrations as a directed graph. With this approach, calibration is reduced to a graph traversal problem that is automatable and extensible.


title: $K$-theory of AF-algebras from braided C*-tensor categories

abstract: Renault, Wassermann, Handelman and Rossmann (early 1980s) and Evans and Gould (1994) explicitly described the $K$-theory of certain unital AF-algebras $A$ as (quotients of) polynomial rings. In this paper, we show that in each case the multiplication in the polynomial ring (quotient) is induced by a $*$-homomorphism $A\otimes A\to A$ arising from a unitary braiding on a C*-tensor category and essentially defined by Erlijman and Wenzl (2007). We also present some new explicit calculations based on the work of Gepner, Fuchs and others. Specifically, we perform computations for the rank two compact Lie groups SU(3), Sp(4) and G$_2$ that are analogous to the Evans-Gould computation for the rank one compact Lie group SU(2). The Verlinde rings are the fusion rings of Wess-Zumino-Witten models in conformal field theory or, equivalently, of certain related C*-tensor categories. Freed, Hopkins and Teleman (early 2000s) realized these rings via twisted equivariant $K$-theory. Inspired by this, our long-term goal is to realize these rings in a simpler $K$-theoretical manner, avoiding the technicalities of loop group analysis. As a step in this direction, we note that the Verlinde rings can be recovered as above in certain special cases.


title: Normal form for single-qutrit Clifford+T operators and synthesis of single-qutrit gates

abstract: We study single-qutrit gates composed of Clifford and $T$ gates, using the qutrit version of the $T$ gate proposed by Howard and Vala. We propose a normal form for single-qutrit gates analogous to the Matsumoto-Amano normal form for qubits. We prove that the normal form is optimal with respect to the number of $T$ gates used and that any string of qutrit Clifford+$T$ operators can be put into this normal form in polynomial time. We also prove that this form is unique and provide an algorithm for exact synthesis of any single qutrit Clifford+$T$ operator.


title: Regular rings and perfect(oid) algebras

abstract: We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness of projective dimension of finitely generated modules over noetherian rings via maps to perfectoid rings. We also establish a version of the $p$-adic Kunz's theorem where the flatness hypothesis is relaxed to almost flatness.


title: The Impact of Primordial Magnetic Fields on Future CMB Bounds on Inflationary Gravitational Waves

abstract: We discuss whether an unaccounted contribution to the Cosmic Microwave Background polarization $B$-mode by primordial magnetic fields (PMFs) can bias future constraints on inflationary gravitational waves. As a case-study, we consider a scale-invariant PMF spectrum with amplitude of $\approx{1}\,{\mathrm{nG}}$ on $1\,\mathrm{Mpc}$ scales, compatible with current cosmological bounds. We find a degeneracy in the $B$-mode spectra between PMFs and inflationary gravitational waves. If PMFs of this amplitude are not accounted for, future CMB experiments could claim a false detection of a tensor-to-scalar ratio $r\approx 0.007$, close to the predictions of Starobinsky and $\alpha$-attractor models. The degeneracy can be broken if $B$-modes are measured also at multipoles $\ell\gtrsim 900$: more precisely experiments like CMB-S4 or CORE-M5 would be able to discriminate PMFs from primordial GWs at high statistical significance. Experiments like LiteBIRD or PIXIE will not be able to break the degeneracy and will need complementary bounds coming, for example, from measurements of anisotropies in the Faraday rotation angle of CMB polarization. This reinforces the importance of future experimental constraints on PMFs.


title: Principal eigenvalue and maximum principle for cooperative periodic-parabolic systems

abstract: This paper classifies the set of supersolutions of a general class of periodic-parabolic problems in the presence of a positive supersolution. From this result we characterize the positivity of the underlying resolvent operator through the positivity of the associated principal eigenvalue and the existence of a positive strict supersolution. Lastly, this (scalar) characterization is used to characterize the strong maximum principle for a class of periodic-parabolic systems of cooperative type under arbitrary boundary conditions of mixed type.


title: Feudal Reinforcement Learning for Dialogue Management in Large Domains

abstract: Reinforcement learning (RL) is a promising approach to solve dialogue policy optimisation. Traditional RL algorithms, however, fail to scale to large domains due to the curse of dimensionality. We propose a novel Dialogue Management architecture, based on Feudal RL, which decomposes the decision into two steps; a first step where a master policy selects a subset of primitive actions, and a second step where a primitive action is chosen from the selected subset. The structural information included in the domain ontology is used to abstract the dialogue state space, taking the decisions at each step using different parts of the abstracted state. This, combined with an information sharing mechanism between slots, increases the scalability to large domains. We show that an implementation of this approach, based on Deep-Q Networks, significantly outperforms previous state of the art in several dialogue domains and environments, without the need of any additional reward signal.


title: Defects at grain boundaries: A coarse-grained, three-dimensional description by the amplitude expansion of the phase-field crystal model

abstract: We address a three-dimensional, coarse-grained description of dislocation networks at grain boundaries between rotated crystals. The so-called amplitude expansion of the phase-field crystal model is exploited with the aid of finite element method calculations. This approach allows for the description of microscopic features, such as dislocations, while simultaneously being able to describe length scales that are orders of magnitude larger than the lattice spacing. Moreover, it allows for the direct description of extended defects by means of a scalar order parameter. The versatility of this framework is shown by considering both fcc and bcc lattice symmetries and different rotation axes. First, the specific case of planar, twist grain boundaries is illustrated. The details of the method are reported and the consistency of the results with literature is discussed. Then, the dislocation networks forming at the interface between a spherical, rotated crystal embedded in an unrotated crystalline structure, are shown. Although explicitly accounting for dislocations which lead to an anisotropic shrinkage of the rotated grain, the extension of the spherical grain boundary is found to decrease linearly over time in agreement with the classical theory of grain growth and recent atomistic investigations. It is shown that the results obtained for a system with bcc symmetry agree very well with existing results, validating the methodology. Furthermore, fully original results are shown for fcc lattice symmetry, revealing the generality of the reported observations.


title: Improving Optimization for Models With Continuous Symmetry Breaking

abstract: Many loss functions in representation learning are invariant under a continuous symmetry transformation. For example, the loss function of word embeddings (Mikolov et al., 2013) remains unchanged if we simultaneously rotate all word and context embedding vectors. We show that representation learning models for time series possess an approximate continuous symmetry that leads to slow convergence of gradient descent. We propose a new optimization algorithm that speeds up convergence using ideas from gauge theory in physics. Our algorithm leads to orders of magnitude faster convergence and to more interpretable representations, as we show for dynamic extensions of matrix factorization and word embedding models. We further present an example application of our proposed algorithm that translates modern words into their historic equivalents.


title: Meson properties and phase diagrams in a SU(3) nlPNJL model with lQCD-inspired form factors

abstract: We study the features of a nonlocal SU(3) Polyakov-Nambu-Jona-Lasinio model that includes wave function renormalization. Model parameters are determined from vacuum phenomenology considering lattice QCD-inspired nonlocal form factors. Within this framework we analyze the properties of light scalar and pseudoscalar mesons at finite temperature and chemical potential determining characteristics of deconfinement and chiral restoration transitions.


title: First predictions of the angular power spectrum of the astrophysical gravitational wave background

abstract: We present the first predictions for the angular power spectrum of the astrophysical gravitational wave background constituted of the radiation emitted by all resolved and unresolved astrophysical sources. Its shape and amplitude depend on both the astrophysical properties on galactic scales and on cosmological properties. We show that the angular power spectrum behaves as $C_{\ell}\propto 1/{\ell}$ on large scales and that relative fluctuations of the signal are of order 30% at 100 Hz. We also present the correlations of the astrophysical gravitational wave background with weak-lensing and galaxy distribution. These numerical results pave the way to the study of a new observable at the crossroad between general relativity, astrophysics and cosmology.


title: A Classification-based Approach for Approximate Reachability

abstract: Hamilton-Jacobi (HJ) reachability analysis has been developed over the past decades into a widely-applicable tool for determining goal satisfaction and safety verification in nonlinear systems. While HJ reachability can be formulated very generally, computational complexity can be a serious impediment for many systems of practical interest. Much prior work has been devoted to computing approximate solutions to large reachability problems, yet many of these methods may only apply to very restrictive problem classes, do not generate controllers, and/or can be extremely conservative. In this paper, we present a new method for approximating the optimal controller of the HJ reachability problem for control-affine systems. While also a specific problem class, many dynamical systems of interest are, or can be well approximated, by control-affine models. We explicitly avoid storing a representation of the reachability value function, and instead learn a controller as a sequence of simple binary classifiers. We compare our approach to existing grid-based methodologies in HJ reachability and demonstrate its utility on several examples, including a physical quadrotor navigation task.


title: Length of the longest common subsequence between overlapping words

abstract: Given two random finite sequences from $[k]^n$ such that a prefix of the first sequence is a suffix of the second, we examine the length of their longest common subsequence. If $\ell$ is the length of the overlap, we prove that the expected length of an LCS is approximately $\max(\ell, \mathbb{E}[L_n])$, where $L_n$ is the length of an LCS between two independent random sequences. We also obtain tail bounds on this quantity.


title: Fairness Through Computationally-Bounded Awareness

abstract: We study the problem of fair classification within the versatile framework of Dwork et al. [ITCS '12], which assumes the existence of a metric that measures similarity between pairs of individuals. Unlike earlier work, we do not assume that the entire metric is known to the learning algorithm; instead, the learner can query this arbitrary metric a bounded number of times. We propose a new notion of fairness called metric multifairness and show how to achieve this notion in our setting. Metric multifairness is parameterized by a similarity metric $d$ on pairs of individuals to classify and a rich collection ${\cal C}$ of (possibly overlapping) "comparison sets" over pairs of individuals. At a high level, metric multifairness guarantees that similar subpopulations are treated similarly, as long as these subpopulations are identified within the class ${\cal C}$.


title: The maximum number of $P_\ell$ copies in $P_k$-free graphs

abstract: Generalizing Tur\'an's classical extremal problem, Alon and Shikhelman investigated the problem of maximizing the number of $T$ copies in an $H$-free graph, for a pair of graphs $T$ and $H$. Whereas Alon and Shikhelman were primarily interested in determining the order of magnitude for large classes of graphs $H$, we focus on the case when $T$ and $H$ are paths, where we find asymptotic and in some cases exact results. We also consider other structures like stars and the set of cycles of length at least $k$, where we derive asymptotically sharp estimates. Our results generalize well-known extremal theorems of Erd\H{o}s and Gallai.


title: Efficient Algorithms for Outlier-Robust Regression

abstract: We give the first polynomial-time algorithm for performing linear or polynomial regression resilient to adversarial corruptions in both examples and labels. Given a sufficiently large (polynomial-size) training set drawn i.i.d. from distribution D and subsequently corrupted on some fraction of points, our algorithm outputs a linear function whose squared error is close to the squared error of the best-fitting linear function with respect to D, assuming that the marginal distribution of D over the input space is \emph{certifiably hypercontractive}. This natural property is satisfied by many well-studied distributions such as Gaussian, strongly log-concave distributions and, uniform distribution on the hypercube among others. We also give a simple statistical lower bound showing that some distributional assumption is necessary to succeed in this setting. These results are the first of their kind and were not known to be even information-theoretically possible prior to our work. Our approach is based on the sum-of-squares (SoS) method and is inspired by the recent applications of the method for parameter recovery problems in unsupervised learning. Our algorithm can be seen as a natural convex relaxation of the following conceptually simple non-convex optimization problem: find a linear function and a large subset of the input corrupted sample such that the least squares loss of the function over the subset is minimized over all possible large subsets.


title: Probably Approximately Metric-Fair Learning

abstract: The seminal work of Dwork {\em et al.} [ITCS 2012] introduced a metric-based notion of individual fairness. Given a task-specific similarity metric, their notion required that every pair of similar individuals should be treated similarly. In the context of machine learning, however, individual fairness does not generalize from a training set to the underlying population. We show that this can lead to computational intractability even for simple fair-learning tasks. With this motivation in mind, we introduce and study a relaxed notion of {\em approximate metric-fairness}: for a random pair of individuals sampled from the population, with all but a small probability of error, if they are similar then they should be treated similarly. We formalize the goal of achieving approximate metric-fairness simultaneously with best-possible accuracy as Probably Approximately Correct and Fair (PACF) Learning. We show that approximate metric-fairness {\em does} generalize, and leverage these generalization guarantees to construct polynomial-time PACF learning algorithms for the classes of linear and logistic predictors.


title: Domain Adaptive Faster R-CNN for Object Detection in the Wild

abstract: Object detection typically assumes that training and test data are drawn from an identical distribution, which, however, does not always hold in practice. Such a distribution mismatch will lead to a significant performance drop. In this work, we aim to improve the cross-domain robustness of object detection. We tackle the domain shift on two levels: 1) the image-level shift, such as image style, illumination, etc, and 2) the instance-level shift, such as object appearance, size, etc. We build our approach based on the recent state-of-the-art Faster R-CNN model, and design two domain adaptation components, on image level and instance level, to reduce the domain discrepancy. The two domain adaptation components are based on H-divergence theory, and are implemented by learning a domain classifier in adversarial training manner. The domain classifiers on different levels are further reinforced with a consistency regularization to learn a domain-invariant region proposal network (RPN) in the Faster R-CNN model. We evaluate our newly proposed approach using multiple datasets including Cityscapes, KITTI, SIM10K, etc. The results demonstrate the effectiveness of our proposed approach for robust object detection in various domain shift scenarios.


title: Time-dependent i-DFT exchange-correlation potentials with memory: Applications to the out-of-equilibrium Anderson model

abstract: We have recently put forward a steady-state density functional theory (i-DFT) to calculate the transport coefficients of quantum junctions. Within i-DFT it is possible to obtain the steady density on and the steady current through an interacting junction using a fictitious noninteracting junction subject to an effective gate and bias potential. In this work we extend i-DFT to the time domain for the single-impurity Anderson model. By a reverse engineering procedure we extract the exchange-correlation (xc) potential and xc bias at temperatures above the Kondo temperature $T_{\rm K}$. The derivation is based on a generalization of a recent paper by Dittmann et al. [arXiv:1706.04547]. Interestingly the time-dependent (TD) i-DFT potentials depend on the system's history only through the first time-derivative of the density. We perform numerical simulations of the early transient current and investigate the role of the history dependence. We also empirically extend the history-dependent TD i-DFT potentials to temperatures below $T_{\rm K}$. For this purpose we use a recently proposed parametrization of the i-DFT potentials which yields highly accurate results in the steady state.


title: The EDGES 21 cm Anomaly and Properties of Dark Matter

abstract: The recently claimed anomaly in the measurement of the 21 cm hydrogen absorption signal by EDGES at $z\sim 17$, if cosmological, requires the existence of new physics. The possible attempts to resolve the anomaly rely on either (i) cooling the hydrogen gas via new dark matter-hydrogen interactions or (ii) modifying the soft photon background beyond the standard CMB one, as possibly suggested also by the ARCADE~2 excess. We argue that solutions belonging to the first class are generally in tension with cosmological dark matter probes once simple dark sector models are considered. Therefore, we propose soft photon emission by light dark matter as a natural solution to the 21 cm anomaly, studying a few realizations of this scenario. We find that the signal singles out a photophilic dark matter candidate characterised by an enhanced collective decay mechanism, such as axion mini-clusters.


title: Dual loop quantizations of 3d gravity

abstract: The loop quantization of 3d gravity consists in defining the Hilbert space of states satisfying the Gau{\ss} constraint and the flatness constraint. The Gau{\ss} constraint is enforced at the kinematical level by introducing spin networks which form a basis for the Hilbert space of gauge invariant functionals. The flatness constraint is implemented at the dynamical level via the Ponzano-Regge state-sum model. We propose in this work a dual loop quantization scheme where the role of the constraints is exchanged. The flatness constraint is imposed first via the introduction of a new basis labeled by group variables, while the Gau{\ss} constraint is implemented dynamically using a projector which is related to the Dijkgraaf-Witten model. We discuss how this alternative quantization program is related to 3d teleparallel gravity.


title: Pair creation in electric fields, anomalies, and renormalization of the electric current

abstract: We investigate the Schwinger pair production phenomena in spatially homogeneous strong electric fields. We first consider scalar QED in four-dimensions and discuss the potential ambiguity in the adiabatic order assignment for the electromagnetic potential required to fix the renormalization subtractions. We argue that this ambiguity can be solved by invoking the conformal anomaly when both electric and gravitational backgrounds are present. We also extend the adiabatic regularization method for spinor QED in two-dimensions and find consistency with the chiral anomaly. We focus on the issue of the renormalization of the electric current $\langle j^\mu \rangle$ generated by the created pairs. We illustrate how to implement the renormalization of the electric current for the Sauter pulse.