title: Fairness in Influence Maximization through Randomization

abstract: The influence maximization paradigm has been used by researchers in various fields in order to study how information spreads in social networks. While previously the attention was mostly on efficiency, more recently fairness issues have been taken into account in this scope. In this paper, we propose to use randomization as a mean for achieving fairness. Similar to previous works like Fish et al. (WWW '19) and Tsang et al. (IJCAI '19), we study the maximin criterion for (group) fairness. In contrast to their work however, we model the problem in such a way that, when choosing the seed sets, probabilistic strategies are possible rather than only deterministic ones. We introduce two different variants of this probabilistic problem, one that entails probabilistic strategies over nodes (node-based problem) and a second one that entails probabilistic strategies over sets of nodes (set-based problem). While the original deterministic problem involving the maximin criterion has been shown to be inapproximable, interestingly, we show that both probabilistic variants permit approximation algorithms that achieve a constant multiplicative factor of 1-1/e plus an additive arbitrarily small error that is due to the simulation of the information spread. For an experimental study, we provide implementations of multiplicative-weight routines for both problems and compare the achieved fairness values to existing methods. Maybe non-surprisingly, we show that the ex-ante values of the computed probabilistic strategies are significantly larger than the (ex-post) fairness values of previous methods. This indicates that studying fairness via randomization is a worthwhile path to follow. Interestingly and maybe more surprisingly, we observe that even the ex-post fairness values computed by our routines, dominate over the fairness achieved by previous methods on most of the instances tested.


title: Gravitational Wave Signatures from Domain Wall and Strong First-Order Phase Transitions in a Two Complex Scalar extension of the Standard Model

abstract: We consider a simple extension of Standard Model by adding two complex singlet scalars with a $\rm{U}\left(1\right)$ symmetry. A discrete $\mathcal{Z}_2 \times \mathcal{Z}^{\prime}_2$ symmetry is imposed in the model and the added scalars acquire a non zero vacuum expectation value (VEV) when the imposed symmetry is broken spontaneously. The real (CP even) parts of the complex scalars mix with the SM Higgs and give three physical mass eigenstates. One of these physical mass eigenstates is attributed to the SM like Higgs boson with mass 125.09 GeV. In the present scenario, domain walls are formed in the early Universe due to the breaking of discrete $\mathcal{Z}_2 \times \mathcal{Z}^{\prime}_2$ symmetry. In order to ensure the unstability of the domain wall this discrete symmetry is also explicitly broken by adding a bias potential to the Lagrangian. The unstable annihilating domain walls produce a significant amount of gravitational waves (GWs). In addition, we also explore the possibility of the production of GW emission from the strong first-order phase transition. We calculate the intensities and frequencies of each of such gravitational waves originating from two different phenomena of the early Universe namely annihilating domain walls and strong first-order phase transition. Finally, we investigate the observational signatures from these GWs at the future GW detectors such as ALIA, BBO, DECIGO, LISA, TianQin, Taiji, aLIGO, aLIGO+ and pulsar timing arrays such as SKA, IPTA, EPTA, PPTA, NANOGrav11 and NANOGrav12.5.


title: Denominators of coefficients of the Baker-Campbell-Hausdorff series

abstract: For the computation of terms of the Baker-Campbell-Hausdorff series $H = \log(e^Ae^B})$ some a priori knowledge about the denominators of the coefficients of the series can be beneficial. In this paper an explicit formula for the computation of common denominators for the rational coefficients of the homogeneous components of the series is derived. Explicit computations up to degree 30 show that the common denominators obtained by this formula are as small as possible, which suggests that the formula is in a sense optimal. The sequence of integers defined by the formula seems to be interesting also from a number-theoretic point of view. There is, e.g., a connection with the denominators of the Bernoulli numbers and the Bernoulli polynomials.


title: Lattice regularisation and entanglement structure of the Gross-Neveu model

abstract: We construct a Hamiltonian lattice regularisation of the $N$-flavour Gross-Neveu model that manifestly respects the full $\mathsf{O}(2N)$ symmetry, preventing the appearance of any unwanted marginal perturbations to the quantum field theory. In the context of this lattice model, the dynamical mass generation is intimately related to the Coleman-Mermin-Wagner and Lieb-Schultz-Mattis theorem. In particular, the model can be interpreted as lying at the first order phase transition line between a trivial and symmetry-protected topological (SPT) phase, which explains the degeneracy of the elementary kink excitations. We show that our Hamiltonian model can be solved analytically in the large $N$ limit, producing the correct expression for the mass gap. Furthermore, we perform extensive numerical matrix product state simulations for $N=2$, thereby recovering the emergent Lorentz symmetry and the proper non-perturbative mass gap scaling in the continuum limit. Finally, our simulations also reveal how the continuum limit manifests itself in the entanglement spectrum. As expected from conformal field theory we find two conformal towers, one tower spanned by the linear representations of $\mathsf{O}(4)$, corresponding to the trivial phase, and the other by the projective (i.e. spinor) representations, corresponding to the SPT phase.


title: Tagging idea in continuous variable quantum key distribution and its application

abstract: Despite tremendous theoretical and experimental progress in continuous variable (CV) quantum key distribution (QKD), its security has not been rigorously established for practical systems with multiple imperfections. The idea of tagging is widely used in security proofs of discrete variable quantum key distribution with imperfect devices. In this paper, we generalize the tagging idea from discrete variable to continuous variable. Based on untagged signals, we prove the security of the imperfect quantum key distribution system in the most conservative case. By introducing a generic imperfection model, we can evaluate and further incorporate multiple imperfections in the different stages such as modulation, channel and detection. Finally, with this generic model and tagging idea, we can prove the security of continuous variable key distribution system with multiple imperfections. Our case study shows our proofs are able to provide secure keys in the presence of both modulation and detection flaws.


title: Excited states of holographic superconductors from massive gravity

abstract: In this paper, we generalize the study of the model of holographic superconductor in the excited states to the framework of massive gravity. By taking into account the effect of massive graviton, we numerically present a family of solutions of the holographic superconductor in excited states, and find that the critical temperatures can be higher due to the effect of massive graviton comparing with the superconductor in Einstein gravity. We also investigate the condensates and conductivities in the ground state and the excited states with studying various parameters that determine the framework of gravity background.


title: Automated Termination Analysis of Polynomial Probabilistic Programs

abstract: The termination behavior of probabilistic programs depends on the outcomes of random assignments. Almost sure termination (AST) is concerned with the question whether a program terminates with probability one on all possible inputs. Positive almost sure termination (PAST) focuses on termination in a finite expected number of steps. This paper presents a fully automated approach to the termination analysis of probabilistic while-programs whose guards and expressions are polynomial expressions. As proving (positive) AST is undecidable in general, existing proof rules typically provide sufficient conditions. These conditions mostly involve constraints on supermartingales. We consider four proof rules from the literature and extend these with generalizations of existing proof rules for (P)AST. We automate the resulting set of proof rules by effectively computing asymptotic bounds on polynomials over the program variables. These bounds are used to decide the sufficient conditions - including the constraints on supermartingales - of a proof rule. Our software tool Amber can thus check AST, PAST, as well as their negations for a large class of polynomial probabilistic programs, while carrying out the termination reasoning fully with polynomial witnesses. Experimental results show the merits of our generalized proof rules and demonstrate that Amber can handle probabilistic programs that are out of reach for other state-of-the-art tools.


title: Limits of tangent spaces to definable sets

abstract: We study the set of tangent limits at a given point to a set definable in any o-minimal structure by characterizing the set of exceptional rays in the tangent cone to the set at that point and investigating the set of tangent limits along these rays. Several criteria for determining exceptional rays will be given. The main results of the paper generalize, to the o-minimal setting and to arbitrary dimension, the main results of O'Shea--Wilson which deals with algebraic surfaces in $\mathbb R^3$.


title: Analogies minus analogy test: measuring regularities in word embeddings

abstract: Vector space models of words have long been claimed to capture linguistic regularities as simple vector translations, but problems have been raised with this claim. We decompose and empirically analyze the classic arithmetic word analogy test, to motivate two new metrics that address the issues with the standard test, and which distinguish between class-wise offset concentration (similar directions between pairs of words drawn from different broad classes, such as France--London, China--Ottawa, ...) and pairing consistency (the existence of a regular transformation between correctly-matched pairs such as France:Paris::China:Beijing). We show that, while the standard analogy test is flawed, several popular word embeddings do nevertheless encode linguistic regularities.


title: Physical properties and electronic structure of single-crystal KCo$_2$As$_2$

abstract: We present a method for producing high quality KCo2As2 crystals, stable in air and suitable for a variety of measurements. X-ray diffraction, magnetic susceptibility, electrical transport and heat capacity measurements confirm the high quality and an absence of long range magnetic order down to at least 2 K. Residual resistivity values approaching 0.25 $\mu\Omega$~cm are representative of the high quality and low impurity content, and a Sommerfeld coefficient $\gamma$ = 7.3 mJ/mol K$^2$ signifies weaker correlations than the Fe-based counterparts. Together with Hall effect measurements, angle-resolved photoemission experiments reveal a Fermi surface consisting of electron pockets at the center and corner of the Brillouin zone, in line with theoretical predictions and in contrast to the mixed carrier types of other pnictides with the ThCr2Si2 structure. A large, linear magnetoresistance of 200\% at 14~T, together with an observed linear and hyperbolic, rather than parabolic, band dispersions are unusual characteristics of this metallic compound and may indicate more complex underlying behavior.


title: Maker-Breaker total domination game on cubic graphs

abstract: We study Maker--Breaker total domination game played by two players, Dominator and Staller, on the connected cubic graphs. Staller (playing the role of Maker) wins if she manages to claim an open neighbourhood of a vertex. Dominator wins otherwise (i.e.\ if he can claim a total dominating set of a graph). For certain graphs on $n\geq 6$ vertices, we give the characterization on those which are Dominator's win and those which are Staller's win.


title: Super-Human Performance in Online Low-latency Recognition of Conversational Speech

abstract: Achieving super-human performance in recognizing human speech has been a goal for several decades, as researchers have worked on increasingly challenging tasks. In the 1990's it was discovered, that conversational speech between two humans turns out to be considerably more difficult than read speech as hesitations, disfluencies, false starts and sloppy articulation complicate acoustic processing and require robust handling of acoustic, lexical and language context, jointly. Early attempts with statistical models could only reach error rates over 50% and far from human performance (WER of around 5.5%). Neural hybrid models and recent attention-based encoder-decoder models have considerably improved performance as such contexts can now be learned in an integral fashion. However, processing such contexts requires an entire utterance presentation and thus introduces unwanted delays before a recognition result can be output. In this paper, we address performance as well as latency. We present results for a system that can achieve super-human performance (at a WER of 5.0%, over the Switchboard conversational benchmark) at a word based latency of only 1 second behind a speaker's speech. The system uses multiple attention-based encoder-decoder networks integrated within a novel low latency incremental inference approach.


title: "I'd rather just go to bed": Understanding Indirect Answers

abstract: We revisit a pragmatic inference problem in dialog: understanding indirect responses to questions. Humans can interpret 'I'm starving.' in response to 'Hungry?', even without direct cue words such as 'yes' and 'no'. In dialog systems, allowing natural responses rather than closed vocabularies would be similarly beneficial. However, today's systems are only as sensitive to these pragmatic moves as their language model allows. We create and release the first large-scale English language corpus 'Circa' with 34,268 (polar question, indirect answer) pairs to enable progress on this task. The data was collected via elaborate crowdsourcing, and contains utterances with yes/no meaning, as well as uncertain, middle-ground, and conditional responses. We also present BERT-based neural models to predict such categories for a question-answer pair. We find that while transfer learning from entailment works reasonably, performance is not yet sufficient for robust dialog. Our models reach 82-88% accuracy for a 4-class distinction, and 74-85% for 6 classes.


title: Heteroscedasticity and angle resolution in high-energy particle tracking: revisiting "Beyond the $\sqrt{\mathrm{N}}$ limit of the least squares resolution and the lucky model", by G. Landi and G. E. Landi

abstract: I re-examine a recent work by G. Landi and G. E. Landi. [arXiv:1808.06708 [physics.ins-det]], in which the authors claim that the resolution of a tracker ca vary linearly with the number of detection layers, $N$, that is, faster than the commonly known $\sqrt{N}$ variation, for a tracker of fixed length, in case the precision of the position measurement is allowed to vary from layer to layer, i.e. heteroscedasticity, and an appropriate analysis method, a weighted least squares fit, is used.


title: Probing topological spin structures using light-polarization and magnetic microscopy

abstract: We present an imaging modality that enables detection of magnetic moments and their resulting stray magnetic fields. We use wide-field magnetic imaging that employs a diamond-based magnetometer and has combined magneto-optic detection (e.g. magneto-optic Kerr effect) capabilities. We employ such an instrument to image magnetic (stripe) domains in multilayered ferromagnetic structures.


title: The surface of (1) Ceres in visible light as seen by Dawn/VIR

abstract: We study the surface of Ceres at visible wavelengths, as observed by the Visible and InfraRed mapping spectrometer (VIR) onboard the Dawn spacecraft, and analyze the variations of various spectral parameters across the whole surface. We also focus on several noteworthy areas of the surface of this dwarf planet. We made use of the newly corrected VIR visible data to build global maps of a calibrated radiance factor at 550 nm, with two color composites and three spectral slopes between 400 and 950 nm. We have made these maps available for the community via the Aladin Desktop software. Ceres surface shows diverse spectral behaviors in the visible range. The color composite and the spectral slope between 480 and 800 nm highlight fresh impact craters and young geologic formations of endogenous origin, which appear bluer than the rest of the surface. The steep slope before 465 nm displays very distinct variations and may be a proxy for the absorptions caused by the $O_2^{-}$ -> $Fe^{3+}$ or the $2Fe^{3+}$ -> $Fe^{2+} + Fe^{4+}$ charge transfer, if the latter are found to be responsible for the drop in this spectral range. We notice several similarities between the spectral slopes and the abundance of phyllosilicates detected in the infrared by the VIR, whereas no correlation can be clearly established with carbonate species. The region of the Dantu impact crater presents a peculiar spectral behavior (especially through the color and the spectral slope before 465 nm) suggesting a change in composition or in the surface physical properties that is not observed elsewhere on Ceres.


title: Transport characterization of magnetic states in Superconductor/Ferromagnet Nb/Co multilayers

abstract: Employment of the non-trivial proximity effect in Superconductor/Ferromagnet (S/F) heterostructures for creation of novel superconducting devices requires an accurate control of magnetic states in complex thin-film multilayers composing such devices. In this work we study experimentally in-plane transport properties of micro-structured Nb/Co multilayers. We apply various experimental techniques for characterization of multilayers, including the anisotropic magnetoresistance, the Hall effect and the first-order-reversal-curves analysis. We demonstrate that a combination of those techniques can provide a detailed knowledge of the magnetic state of the multilayer. In particular, we identify the range of existence of the coherently rotating, monodomain scissor-like state. It is anticipated, that in this noncollinear magnetic state the unconventional odd-frequency spin-triplet order parameter should appear. The non-hystertic nature of this state allows reversible tuning of the magnetic orientation. Thus, we identify the range of parameters and the procedure for controllable operation of devices based on such S/F heterostructures.


title: No data? No problem! A Search-based Recommendation System with Cold Starts

abstract: Recommendation systems are essential ingredients in producing matches between products and buyers. Despite their ubiquity, they face two important challenges. First, they are data-intensive, a feature that precludes sophisticated recommendations by some types of sellers, including those selling durable goods. Second, they often focus on estimating fixed evaluations of products by consumers while ignoring state-dependent behaviors identified in the Marketing literature. We propose a recommendation system based on consumer browsing behaviors, which bypasses the "cold start" problem described above, and takes into account the fact that consumers act as "moving targets," behaving differently depending on the recommendations suggested to them along their search journey. First, we recover the consumers' search policy function via machine learning methods. Second, we include that policy into the recommendation system's dynamic problem via a Bellman equation framework. When compared with the seller's own recommendations, our system produces a profit increase of 33%. Our counterfactual analyses indicate that browsing history along with past recommendations feature strong complementary effects in value creation. Moreover, managing customer churn effectively is a big part of value creation, whereas recommending alternatives in a forward-looking way produces moderate effects.


title: Super-resolved shear shock focusing in the human head

abstract: Shear shocks, which exist in a completely different regime from compressional shocks, were recently observed in the brain. These low phase speed ($\approx$ 2 m/s) high Mach number ($\approx$ 1) waves could be the primary mechanism behind diffuse axonal injury due to a very high local acceleration at the shock front. The extreme nonlinearity of these waves results in unique behaviors that are different from more commonly studied nonlinear compressional waves. Here we show the first observation of super-resolved shear shock wave focusing. Shear shock wave imaging and numerical simulations in a human head phantom over a range of frequencies/amplitudes shows the super-resolution of shock waves in the low strain and high strain-rate regime. These results suggest that even for mild accelerations injuries as small as a grain of rice on the scale of mm$^2$ can be easily created deep inside the brain.


title: Measurements of D-D fusion neutrons generated in nanowire array laser plasma using Timepix3 detector

abstract: We present the results of neutron detection in a laser plasma experiment with a CD$_2$ nanowire target. A hybrid semiconductor pixel detector Timepix3 covered with neutron converters was used for the detection of neutrons. D-D fusion neutrons were detected in a polyethylene converter through recoiled protons. Both the energy of recoiled protons and the time-of-flight of neutrons (and thus their energy) were determined. We report $(2.4 \pm 1.8) \times 10^7$ neutrons generated for 1~J of incoming laser energy. Furthermore, we proved that Timepix3 is suitable for difficult operational conditions in laser experiments.


title: On the Mechanical Properties of Popgraphene-based Nanotubes: a Reactive Molecular Dynamics Study

abstract: Carbon-based tubular materials have sparked a great interest for future electronics and optoelectronics device applications. In this work, we computationally studied the mechanical properties of nanotubes generated from popgraphene (PopNTs). Popgraphene is a 2D carbon allotrope composed of $5-8-5$ rings. We carried out fully atomistic reactive (ReaxFF) molecular dynamics for PopNTs of different chiralities ($(n,0)$ and $(0,n)$) and/or diameters and at different temperatures (from 300 up to 1200K). Results showed that the tubes are thermally stable (at least up to 1200K). All tubes presented stress/strain curves with a quasi-linear behavior followed by an abrupt drop of stress values. Interestingly, armchair-like PopNTs ($(0,n)$) can stand a higher strain load before fracturing when contrasted to the zigzag-like ones ($(n,0)$). Moreover, it was obtained that the Young's modulus ($Y_{Mod}$) (750-900 GPa) and ultimate strength ($\sigma_{US}$) (120-150 GPa) values are similar to the ones reported for conventional armchair and zigzag carbon nanotubes. $Y_{Mod}$ values obtained for PopNTs are not significantly temperature dependent. While the $\sigma_{US}$ values for the $(0,n)$ showed a quasi-linear dependence with the temperature, the $(n,0)$ exhibited no clear trends.


title: Learning disentangled representations with the Wasserstein Autoencoder

abstract: Disentangled representation learning has undoubtedly benefited from objective function surgery. However, a delicate balancing act of tuning is still required in order to trade off reconstruction fidelity versus disentanglement. Building on previous successes of penalizing the total correlation in the latent variables, we propose TCWAE (Total Correlation Wasserstein Autoencoder). Working in the WAE paradigm naturally enables the separation of the total-correlation term, thus providing disentanglement control over the learned representation, while offering more flexibility in the choice of reconstruction cost. We propose two variants using different KL estimators and perform extensive quantitative comparisons on data sets with known generative factors, showing competitive results relative to state-of-the-art techniques. We further study the trade off between disentanglement and reconstruction on more-difficult data sets with unknown generative factors, where the flexibility of the WAE paradigm in the reconstruction term improves reconstructions.


title: Approximate Message Passing with Spectral Initialization for Generalized Linear Models

abstract: We consider the problem of estimating a signal from measurements obtained via a generalized linear model. We focus on estimators based on approximate message passing (AMP), a family of iterative algorithms with many appealing features: the performance of AMP in the high-dimensional limit can be succinctly characterized under suitable model assumptions; AMP can also be tailored to the empirical distribution of the signal entries, and for a wide class of estimation problems, AMP is conjectured to be optimal among all polynomial-time algorithms. However, a major issue of AMP is that in many models (such as phase retrieval), it requires an initialization correlated with the ground-truth signal and independent from the measurement matrix. Assuming that such an initialization is available is typically not realistic. In this paper, we solve this problem by proposing an AMP algorithm initialized with a spectral estimator. With such an initialization, the standard AMP analysis fails since the spectral estimator depends in a complicated way on the design matrix. Our main contribution is a rigorous characterization of the performance of AMP with spectral initialization in the high-dimensional limit. The key technical idea is to define and analyze a two-phase artificial AMP algorithm that first produces the spectral estimator, and then closely approximates the iterates of the true AMP. We also provide numerical results that demonstrate the validity of the proposed approach.

categories: stat.ML cs.IT cs.LG math.IT math.ST stat.TH


title: Verification of Group Non-membership by Shallow Quantum Circuits

abstract: Decision problems are the problems whose answer is either YES or NO. As the quantum analogue of $\mathsf{NP}$ (nondeterministic polynomial time), the class $\mathsf{QMA}$ (quantum Merlin-Arthur) contains the decision problems whose YES instance can be verified efficiently with a quantum computer. The problem of deciding the group non-membership (GNM) of a group element is known to be in $\mathsf{QMA}$. Previous works on the verification of GNM required a quantum circuit with $O(n^5)$ group oracle calls. Here we propose an efficient way to verify GNM problems, reducing the circuit depth to $O(1)$ and the number of qubits by half. We further experimentally demonstrate the scheme, in which two-element subgroups in a four-element group are employed for the verification task. A significant completeness-soundness gap is observed in the experiment.


title: Quantum Effects in Cosmology

abstract: Quantum effects play an essential role in modern cosmology. Perhaps the most striking example comes from large-scale structures, generally assumed to originate from vacuum quantum fluctuations and stretched by an expansion phase. Inflation is the leading paradigm in explaining this process. The various observational successes of inflationary models drive the scientific community into elaborating more and more stringent tests, which can simultaneously be used to probe beyond the simple slow-roll, single field inflation. However, inflation is not a theory, and going beyond inflation is a necessity. Various alternatives and/or complementary mechanisms to inflation have been invoked in the literature. The best-known cosmological models endowed with the capacity of explaining large-scale observations while avoiding the singularity form a class called non-singular bouncing models. The main features of these models are the presence of a contraction phase before expansion, and a never-vanishing scale factor. A non-singular bounce generally appears when quantum effects are part of the model, playing the role of a regulator leading to the avoidance of singularities. This thesis focuses on a Hamiltonian formulation of quantum effects in cosmology. We first explore stochastic perturbations in a collapsing universe. Then, we show that quantum cosmology with Bohmian mechanics resolves the initial singularity. Adding a non-minimal coupling of gravity with electromagnetism, we show that the generation of magnetic fields is possible. Finally, we apply the affine quantisation on the Brans-Dicke Theory, the prototype of modified gravity theories, and we discuss the quantum equivalence of the Jordan and Einstein frames within this framework. We show that in both frames a smooth bounce is expected, and that equivalence between frames holds at the quantum level.


title: An integral model of the perfectoid modular curve

abstract: We construct an integral model of the perfectoid modular curve. Studying this object, we prove some vanishing results for the coherent cohomology at perfectoid level. We use a local duality theorem at finite level to compute duals for the coherent cohomology of the integral perfectoid curve. Specializing to the structural sheaf, we can describe the dual of the completed cohomology as the inverse limit of the integral cusp forms of weight $2$ and trace maps.


title: To Act or not to Act? Political competition in the presence of a threat

abstract: We present a model of political competition in which an incumbent politician, may implement a costly policy to prevent a possible threat to, for example, national security or a natural disaster.


title: Hiding the Access Pattern is Not Enough: Exploiting Search Pattern Leakage in Searchable Encryption

abstract: Recent Searchable Symmetric Encryption (SSE) schemes enable secure searching over an encrypted database stored in a server while limiting the information leaked to the server. These schemes focus on hiding the access pattern, which refers to the set of documents that match the client's queries. This provides protection against current attacks that largely depend on this leakage to succeed. However, most SSE constructions also leak whether or not two queries aim for the same keyword, also called the search pattern. In this work, we show that search pattern leakage can severely undermine current SSE defenses. We propose an attack that leverages both access and search pattern leakage, as well as some background and query distribution information, to recover the keywords of the queries performed by the client. Our attack follows a maximum likelihood estimation approach, and is easy to adapt against SSE defenses that obfuscate the access pattern. We empirically show that our attack is efficient, it outperforms other proposed attacks, and it completely thwarts two out of the three defenses we evaluate it against, even when these defenses are set to high privacy regimes. These findings highlight that hiding the search pattern, a feature that most constructions are lacking, is key towards providing practical privacy guarantees in SSE.


title: Pkwrap: a PyTorch Package for LF-MMI Training of Acoustic Models

abstract: We present a simple wrapper that is useful to train acoustic models in PyTorch using Kaldi's LF-MMI training framework. The wrapper, called pkwrap (short form of PyTorch kaldi wrapper), enables the user to utilize the flexibility provided by PyTorch in designing model architectures. It exposes the LF-MMI cost function as an autograd function. Other capabilities of Kaldi have also been ported to PyTorch. This includes the parallel training ability when multi-GPU environments are unavailable and decode with graphs created in Kaldi. The package is available on Github at https://github.com/idiap/pkwrap.


title: Learning Deep-Latent Hierarchies by Stacking Wasserstein Autoencoders

abstract: Probabilistic models with hierarchical-latent-variable structures provide state-of-the-art results amongst non-autoregressive, unsupervised density-based models. However, the most common approach to training such models based on Variational Autoencoders (VAEs) often fails to leverage deep-latent hierarchies; successful approaches require complex inference and optimisation schemes. Optimal Transport is an alternative, non-likelihood-based framework for training generative models with appealing theoretical properties, in principle allowing easier training convergence between distributions. In this work we propose a novel approach to training models with deep-latent hierarchies based on Optimal Transport, without the need for highly bespoke models and inference networks. We show that our method enables the generative model to fully leverage its deep-latent hierarchy, avoiding the well known "latent variable collapse" issue of VAEs; therefore, providing qualitatively better sample generations as well as more interpretable latent representation than the original Wasserstein Autoencoder with Maximum Mean Discrepancy divergence.


title: Discriminative Cross-Modal Data Augmentation for Medical Imaging Applications

abstract: While deep learning methods have shown great success in medical image analysis, they require a number of medical images to train. Due to data privacy concerns and unavailability of medical annotators, it is oftentimes very difficult to obtain a lot of labeled medical images for model training. In this paper, we study cross-modality data augmentation to mitigate the data deficiency issue in the medical imaging domain. We propose a discriminative unpaired image-to-image translation model which translates images in source modality into images in target modality where the translation task is conducted jointly with the downstream prediction task and the translation is guided by the prediction. Experiments on two applications demonstrate the effectiveness of our method.


title: Injective tensor products in strict deformation quantization

abstract: The aim of this paper is two-fold. Firstly we provide necessary and sufficient criteria for the existence of a strict deformation quantization of algebraic tensor products of Poisson algebras, and secondly, we discuss the existence of products of KMS states. As an application, we discuss the correspondence between quantum and classical Hamiltonians in spin systems and we provide a relation between the resolvent of Sch\"odinger operators for non-interacting many-particle systems and quantization maps.


title: Matched filtering with non-Gaussian noise for planet transit detections

abstract: We develop a method for planet detection in transit data, which is based on the Matched Filter technique, combined with the Gaussianization of the noise outliers. The method is based on Fourier transforms and is as fast as the existing methods for planet searches. The Gaussinized Matched Filter (GMF) method significantly outperforms the standard baseline methods in terms of the false positive rate, enabling planet detections at up to 30 % lower transit amplitudes. Moreover, the method extracts all the main planet transit parameters, amplitude, period, phase, and duration. By comparison to the state of the art Gaussian Process methods on both simulations and real data we show that all the transit parameters are determined with an optimal accuracy (no bias and minimum variance), meaning that the GMF method can be used both for the initial planet detection and the follow-up planet parameter analysis.


title: Novel signatures of additional Higgs bosons at the LHC

abstract: We identify two types of well-motivated, so-far experimentally unexplored LHC signatures of extended Higgs sectors: First, Higgs-to-Higgs decay signatures that involve (at least) two Beyond-the-Standard Model (BSM) neutral scalar bosons, $\phi_i \to \phi_j \phi_k$. These signatures are discussed in the framework of the Two-Real-Singlet-Model (TRSM), which can furthermore exhibit cascades of Higgs-to-Higgs decays leading to multi-Higgs final states. Second, the charged Higgs boson decay to a W boson and a neutral BSM Higgs boson, which can easily become the dominant decay within the Two-Higgs-Doublet-Model (2HDM) parameter space. We provide benchmark scenarios for future experimental studies of these signatures.


title: A signal detection model for quantifying over-regularization in non-linear image reconstruction

abstract: Purpose: Many useful image quality metrics for evaluating linear image reconstruction techniques do not apply to or are difficult to interpret for non-linear image reconstruction. The vast majority of metrics employed for evaluating non-linear image reconstruction are based on some form of global image fidelity, such as image root mean square error (RMSE). Use of such metrics can lead to over-regularization in the sense that they can favor removal of subtle details in the image. To address this shortcoming, we develop an image quality metric based on signal detection that serves as a surrogate to the qualitative loss of fine image details. Methods: The metric is demonstrated in the context of a breast CT simulation, where different equal-dose configurations are considered. The configurations differ in the number of projections acquired. Image reconstruction is performed with a non-linear algorithm based on total variation constrained least-squares (TV-LSQ). The images are evaluated visually, with image RMSE, and with the proposed signal-detection based metric. The latter uses a small signal, and computes detectability in the sinogram and in the reconstructed image. Loss of signal detectability through the image reconstruction process is taken as a quantitative measure of loss of fine details in the image. Results: Loss of signal detectability is seen to correlate well with the blocky or patchy appearance due to over-regularization with TV-LSQ, and this trend runs counter to the image RMSE metric, which tends to favor the over-regularized images. Conclusions: The proposed signal detection based metric provides an image quality assessment that is complimentary to that of image RMSE. Using the two metrics in concert may yield a useful prescription for determining CT algorithm and configuration parameters when non-linear image reconstruction is used.


title: Justification of the Asymptotic Coupled Mode Approximation of Out-of-Plane Gap Solitons in Maxwell Equations

abstract: In periodic media gap solitons with frequencies inside a spectral gap but close to a spectral band can be formally approximated by a slowly varying envelope ansatz. The ansatz is based on the linear Bloch waves at the edge of the band and on effective coupled mode equations (CMEs) for the envelopes. We provide a rigorous justification of such CME asymptotics in two-dimensional photonic crystals described by the Kerr nonlinear Maxwell system. We use a Lyapunov-Schmidt reduction procedure and a nested fixed point argument in the Bloch variables. The theorem provides an error estimate in $H^2(\mathbb R^2)$ between the exact solution and the envelope approximation. The results justify the formal and numerical CME-approximation in [Dohnal and D\"orfler, Multiscale Model. Simul., p. 162-191, 11 (2013)].


title: Cycles for rational maps over global function fields with one prime of bad reduction

abstract: Let $K$ be a global function field of characteristic $p$ and degree $D$ over $\mathbb F_{p}(t)$. We consider dynamical systems over the projective line $\mathbb P^1(K)$ defined by rational maps with at most one prime of bad reduction. The main result is an optimal bound for cycle lengths that only depends on $p$ and $D$. A bound for the cardinality of finite orbits is given as well. Our method is based on a careful analysis (for every prime of good reduction) of the $\mathfrak p$-adic distances between points belonging to the same finite orbit, in part motivated by previous work by Canci and Paladino. Valuable insight is provided by a certain family of polynomials. In this case we also gain a good deal of information about the structure and size of the set of periodic points for polynomials of given degree.


title: An ADMM-based MIQP platform for the EV aggregation management

abstract: Electric vehicle (EV) aggregation can significantly influence the EVs charging/discharging behavior. In this paper, we use a distributed algorithm based on the alternating direction method of multipliers (ADMM) to coordinate EV charging and discharging procedures for EVs with vehicle-to-grid (V2G) capabilities. The optimization model is formulated as a mixed-integer quadratic programming (MIQP) problem to consider the efficiency of EV batteries and different energy prices in both charging and discharging processes. Numerical tests using real-world data confirms that the implemented method allows obtaining both the electric vehicle aggregator (EVA) and individual EV goals while considering the power grid and each EV constraints. Moreover, we show the significant impact of our model on the final demand profile and computation time.


title: Learning a Cost-Effective Annotation Policy for Question Answering

abstract: State-of-the-art question answering (QA) relies upon large amounts of training data for which labeling is time consuming and thus expensive. For this reason, customizing QA systems is challenging. As a remedy, we propose a novel framework for annotating QA datasets that entails learning a cost-effective annotation policy and a semi-supervised annotation scheme. The latter reduces the human effort: it leverages the underlying QA system to suggest potential candidate annotations. Human annotators then simply provide binary feedback on these candidates. Our system is designed such that past annotations continuously improve the future performance and thus overall annotation cost. To the best of our knowledge, this is the first paper to address the problem of annotating questions with minimal annotation cost. We compare our framework against traditional manual annotations in an extensive set of experiments. We find that our approach can reduce up to 21.1% of the annotation cost.


title: The eROSITA X-ray telescope on SRG

abstract: eROSITA (extended ROentgen Survey with an Imaging Telescope Array) is the primary instrument on the Spectrum-Roentgen-Gamma (SRG) mission, which was successfully launched on July 13, 2019, from the Baikonour cosmodrome. After the commissioning of the instrument and a subsequent calibration and performance verification phase, eROSITA started a survey of the entire sky on December 13, 2019. By the end of 2023, eight complete scans of the celestial sphere will have been performed, each lasting six months. At the end of this program, the eROSITA all-sky survey in the soft X-ray band (0.2--2.3\,keV) will be about 25 times more sensitive than the ROSAT All-Sky Survey, while in the hard band (2.3--8\,keV) it will provide the first ever true imaging survey of the sky. The eROSITA design driving science is the detection of large samples of galaxy clusters up to redshifts $z>1$ in order to study the large-scale structure of the universe and test cosmological models including Dark Energy. In addition, eROSITA is expected to yield a sample of a few million AGNs, including obscured objects, revolutionizing our view of the evolution of supermassive black holes. The survey will also provide new insights into a wide range of astrophysical phenomena, including X-ray binaries, active stars, and diffuse emission within the Galaxy. Results from early observations, some of which are presented here, confirm that the performance of the instrument is able to fulfil its scientific promise. With this paper, we aim to give a concise description of the instrument, its performance as measured on ground, its operation in space, and also the first results from in-orbit measurements.


title: The Gaussian Wave Packet Transform via Quadrature Rules

abstract: We analyse the Gaussian wave packet transform. Based on the Fourier inversion formula and a partition of unity, which is formed by a collection of Gaussian basis functions, a new representation of square-integrable functions is presented. Including a rigorous error analysis, the variants of the wave packet transform are then derived by a discretisation of the Fourier integral via different quadrature rules. Based on Gauss--Hermite quadrature, we introduce a new representation of Gaussian wave packets in which the number of basis functions is significantly reduced. Numerical experiments in 1D illustrate the theoretical results.


title: Lipschitz Continuous Hypersurfaces with Prescribed Curvature and Asymptotic Boundary in Hyperbolic Space

abstract: We prove the existence of a complete locally Lipschitz continuous hypersurface in weak sense with prescribed Weingarten curvature and asymptotic boundary at infinity in hyperbolic space under certain assumptions.


title: Integrability of the sub-Riemannian mean curvature at degenerate characteristic points in the Heisenberg group

abstract: We address the problem of integrability of the sub-Riemannian mean curvature of an embedded hypersurface around isolated characteristic points. The main contribution of this note is the introduction of a concept of mildly degenerate characteristic point for a smooth surface of the Heisenberg group, in a neighborhood of which the sub-Riemannian mean curvature is integrable (with respect to the perimeter measure induced by the Euclidean structure). As a consequence we partially answer to a question posed by Danielli-Garofalo-Nhieu in [Danielli D., Garofalo N., Nhieu D.M., Proc. Amer. Math. Soc., 2012], proving that the mean curvature of a real-analytic surface with discrete characteristic set is locally integrable.


title: ELMo and BERT in semantic change detection for Russian

abstract: We study the effectiveness of contextualized embeddings for the task of diachronic semantic change detection for Russian language data. Evaluation test sets consist of Russian nouns and adjectives annotated based on their occurrences in texts created in pre-Soviet, Soviet and post-Soviet time periods. ELMo and BERT architectures are compared on the task of ranking Russian words according to the degree of their semantic change over time. We use several methods for aggregation of contextualized embeddings from these architectures and evaluate their performance. Finally, we compare unsupervised and supervised techniques in this task.


title: Fuzzing Based on Function Importance by Interprocedural Control Flow Graph

abstract: Coverage-based graybox fuzzer (CGF), such as AFL has gained great success in vulnerability detection thanks to its ease-of-use and bug-finding power. Since some code fragments such as memory allocation are more vulnerable than others, various improving techniques have been proposed to explore the more vulnerable areas by collecting extra information from the program under test or its executions. However, these improvements only consider limited types of information sources and ignore the fact that the priority a seed input to be fuzzed may be influenced by all the code it covers. Based on the above observations, we propose a fuzzing method based on the importance of functions. First, a data structure called Attributed Interprocedural Control Flow Graph (AICFG) is devised to combine different features of code fragments. Second, the importance of each node in the AICFG is calculated based on an improved PageRank algorithm, which also models the influence between connected nodes. During the fuzzing process, the node importance is updated periodically by a propagation algorithm. Then the seed selection and energy scheduling of a seed input are determined by the importance of its execution trace. We implement this approach on top of AFL in a tool named FunAFL and conduct an evaluation on 14 real-world programs against AFL and two of its improvements. FunAFL, with 17% higher branch coverage than others on average, finds 13 bugs and 3 of them are confirmed by CVE after 72 hours.


title: Evaluating the impact of different types of crossover and selection methods on the convergence of 0/1 Knapsack using Genetic Algorithm

abstract: Genetic Algorithm is an evolutionary algorithm and a metaheuristic that was introduced to overcome the failure of gradient based method in solving the optimization and search problems. The purpose of this paper is to evaluate the impact on the convergence of Genetic Algorithm vis-a-vis 0/1 knapsack. By keeping the number of generations and the initial population fixed, different crossover methods like one point crossover and two-point crossover were evaluated and juxtaposed with each other. In addition to this, the impact of different selection methods like rank-selection, roulette wheel and tournament selection were evaluated and compared. Our results indicate that convergence rate of combination of one point crossover with tournament selection, with respect to 0/1 knapsack problem that we considered, is the highest and thereby most efficient in solving 0/1 knapsack.


title: CATBERT: Context-Aware Tiny BERT for Detecting Social Engineering Emails

abstract: Targeted phishing emails are on the rise and facilitate the theft of billions of dollars from organizations a year. While malicious signals from attached files or malicious URLs in emails can be detected by conventional malware signatures or machine learning technologies, it is challenging to identify hand-crafted social engineering emails which don't contain any malicious code and don't share word choices with known attacks. To tackle this problem, we fine-tune a pre-trained BERT model by replacing the half of Transformer blocks with simple adapters to efficiently learn sophisticated representations of the syntax and semantics of the natural language. Our Context-Aware network also learns the context representations between email's content and context features from email headers. Our CatBERT(Context-Aware Tiny Bert) achieves a 87% detection rate as compared to DistilBERT, LSTM, and logistic regression baselines which achieve 83%, 79%, and 54% detection rates at false positive rates of 1%, respectively. Our model is also faster than competing transformer approaches and is resilient to adversarial attacks which deliberately replace keywords with typos or synonyms.


title: SPPL: Probabilistic Programming with Fast Exact Symbolic Inference

abstract: We present the Sum-Product Probabilistic Language (SPPL), a new probabilistic programming language that automatically delivers exact solutions to a broad range of probabilistic inference queries. SPPL translates probabilistic programs into sum-product expressions, a new symbolic representation and associated semantic domain that extends standard sum-product networks to support mixed-type distributions, numeric transformations, logical formulas, and pointwise and set-valued constraints. We formalize SPPL via a novel translation strategy from probabilistic programs to sum-product expressions and give sound exact algorithms for conditioning on and computing probabilities of events. SPPL imposes a collection of restrictions on probabilistic programs to ensure they can be translated into sum-product expressions, which allow the system to leverage new techniques for improving the scalability of translation and inference by automatically exploiting probabilistic structure. We implement a prototype of SPPL with a modular architecture and evaluate it on benchmarks the system targets, showing that it obtains up to 3500x speedups over state-of-the-art symbolic systems on tasks such as verifying the fairness of decision tree classifiers, smoothing hidden Markov models, conditioning transformed random variables, and computing rare event probabilities.


title: Improving Sentiment Analysis over non-English Tweets using Multilingual Transformers and Automatic Translation for Data-Augmentation

abstract: Tweets are specific text data when compared to general text. Although sentiment analysis over tweets has become very popular in the last decade for English, it is still difficult to find huge annotated corpora for non-English languages. The recent rise of the transformer models in Natural Language Processing allows to achieve unparalleled performances in many tasks, but these models need a consequent quantity of text to adapt to the tweet domain. We propose the use of a multilingual transformer model, that we pre-train over English tweets and apply data-augmentation using automatic translation to adapt the model to non-English languages. Our experiments in French, Spanish, German and Italian suggest that the proposed technique is an efficient way to improve the results of the transformers over small corpora of tweets in a non-English language.


title: Revealing strong correlations in higher order transport statistics: a noncrossing approximation approach

abstract: We present a method for calculating the full counting statistics of a nonequilibrium quantum system based on the propagator noncrossing approximation (NCA). This numerically inexpensive method can provide higher order cumulants for extended parameter regimes, rendering it attractive for a wide variety of purposes. We compare NCA results to Born-Markov quantum master equations (QME) results to show that they can access different physics, and to numerically exact inchworm quantum Monte-Carlo data to assess their validity. As a demonstration of its power, the NCA method is employed to study the impact of correlations on higher order cumulants in the nonequilibrium Anderson impurity model. The four lowest order cumulants are examined, allowing us to establish that correlation effects have a profound influence on the underlying transport distributions. Higher order cumulants are therefore demonstrated to be a proxy for the presence of Kondo correlations in a way that cannot be captured by simple QME methods.


title: Population synthesis of ultraluminous X-ray sources with magnetised neutron stars

abstract: A model of population of ultraluminous X-ray sources with magnetised neutron stars (NULX) in a spiral galaxy with the star formation history similar to that in the thin disc of Milky Way is computed using a hybrid approach. First, applying analytical approximations (code BSE) we construct the ensemble of close binaries (CBS) which can be potential precursors of NULX. Next, evolution with accretion onto magnetised neutron stars (NS) is computed by the evolutionary code MESA. Accretion rate onto NS and X-ray luminosity are calculated for the models of sub- and supercritical discs and for the discs with advection. During accretion onto magnetised NS, super-Eddington luminosity $L_\mathrm{X}>10^{38}$ erg~s$^{-1}$ is attained already at the subcritical stage, when the energy release at the inner boundary of the disc defined by the NS magnetosphere is sub-Eddington. It is shown that standard evolution of CBS with an account of the peculiarities specific for accretion onto magnetised NS allows us to explain quantitatively observed characteristics of NULX (X-ray luminosities, NS spin periods, orbital periods and masses of visual components) without additional model assumptions on the collimation of X-ray emission from NS with high observed super-Eddington luminosity. In a model galaxy with star formation rate 3--5 $M_\odot {\rm yr^{-1}}$ there can exist several NULX. Discovery of a powerful wind from NULX with $L_{\mathrm X} \sim 10^{41}$ erg~s$^{-1}$ would be a signature of super-Eddington accretion onto magnetised NS.


title: Power maximization of two-stroke quantum thermal machines

abstract: We present a detailed study of quantum thermal machines employing quantum systems as working substances. In particular, we study two different types of two-stroke cycles where two collections of identical quantum systems with evenly spaced energy levels are initially prepared at thermal equilibrium by putting them in contact with a cold and a hot thermal bath, respectively. The two cycles differ in the absence or the presence of a mediator system, while, in both cases, non-resonant exchange Hamiltonians are exploited as particle interactions. We show that the efficiencies of these machines depend only on the energy gaps of the systems composing the collections and are equal to the efficiency of "equivalent" Otto cycles. Focusing on the cases of qubits or harmonic oscillators for both models, we maximize the engine power and analyze, in the model without the mediator, the role of the waiting time between subsequent interactions. It turns out that the case with the mediator can bring performance advantages when the interaction times are comparable with the waiting time of the correspondent cycle without the mediator. We find that in both cycles, the power peaks of qubit systems can surpass the Curzon-Ahlborn efficiency. Finally, we compare our cycle without the mediator with previous schemes of the quantum Otto cycle showing that high coupling is not required to achieve the same maximum power.


title: Quantum Correlations beyond Entanglement and Discord

abstract: Dissimilar notions of quantum correlations have been established, each being motivated through particular applications in quantum information science and each competing for being recognized as the most relevant measure of quantumness. In this contribution, we experimentally realize a form of quantum correlation that exists even in the absence of entanglement and discord. We certify the presence of such quantum correlations via negativities in the regularized two-mode Glauber-Sudarshan function. Our data show compatibility with an incoherent mixture of orthonormal photon-number states, ruling out quantum coherence and other kinds of quantum resources. By construction, the quantumness of our state is robust against dephasing, thus requiring fewer experimental resources to ensure stability. In addition, we theoretically show how multimode entanglement can be activated based on the generated, nonentangled state. Therefore, we implement a robust kind of nonclassical photon-photon correlated state with useful applications in quantum information processing.


title: Hints for possible low redshift oscillation around the best fit $\Lambda$CDM model in the expansion history of the Universe

abstract: We search for possible deviations from the expectations of the concordance $\Lambda$CDM model in the expansion history of the Universe by analysing the Pantheon Type Ia Supernovae (SnIa) compilation along with its Monte Carlo simulations using redshift binning. We demonstrate that the redshift binned best fit $\Lambda$CDM matter density parameter $\Omega_{0m}$ and the best fit effective absolute magnitude $\cal M$ oscillate about their full dataset best fit values with considerably large amplitudes. Using the full covariance matrix of the data taking into account systematic and statistical errors, we show that at the redshifts below $z\approx0.5$ such oscillations can only occur in 4 to 5$\%$ of the Monte Carlo simulations. While statistical fluctuations can be responsible for this apparent oscillation, we might have observed a hint for some behaviour beyond the expectations of the concordance model or a possible additional systematic in the data. If this apparent oscillation is not due to statistical or systematic effects, it could be due to either the presence of coherent inhomogeneities at low $z$ or due to oscillations of a quintessence scalar field.


title: A systematic approach to reduced GLT

abstract: This paper concerns the spectral analysis of matrix-sequences that are generated by the discretization and numerical approximation of partial differential equations (PDEs), in case the domain is a generic Peano-Jordan measurable set. It is observed that such matrix-sequences often present a spectral symbol, that is a measurable function describing the asymptotic behaviour of the eigenvalues. When the domain is a hypercube, the analysis can be conducted using the theory of generalized locally Toeplitz (GLT) sequences, but in case of generic domain, a new kind of matrix-sequences and theory has to be formalized. We thus introduce the Reduced GLT sequences and symbols, developing in full detail its theory, and presenting some application to finite differences and finite elements discretization for convection-diffusion-reaction differential equations.


title: Sentiment of tweets and socio-economic characteristics as the determinants of voting behavior at the regional level. Case study of 2019 Polish parliamentary election

abstract: This work is dedicated to finding the determinants of voting behavior in Poland at the poviat level. 2019 parliamentary election has been analyzed and an attempt to explain vote share for the winning party (Law and Justice) has been made. Sentiment analysis of tweets in Polish (original) and English (machine-translations), collected in the period around the election, has been applied. Amid multiple machine learning approaches tested, the best classification accuracy has been achieved by Huggingface BERT on machine-translated tweets. OLS regression, with sentiment of tweets and selected socio-economic features as independent variables, has been utilized to explain Law and Justice vote share in poviats. Sentiment of tweets has been found to be a significant predictor, as stipulated by the literature of the field.


title: TeaForN: Teacher-Forcing with N-grams

abstract: Sequence generation models trained with teacher-forcing suffer from issues related to exposure bias and lack of differentiability across timesteps. Our proposed method, Teacher-Forcing with N-grams (TeaForN), addresses both these problems directly, through the use of a stack of N decoders trained to decode along a secondary time axis that allows model parameter updates based on N prediction steps. TeaForN can be used with a wide class of decoder architectures and requires minimal modifications from a standard teacher-forcing setup. Empirically, we show that TeaForN boosts generation quality on one Machine Translation benchmark, WMT 2014 English-French, and two News Summarization benchmarks, CNN/Dailymail and Gigaword.


title: The Mellin moments $\langle x \rangle$ and $\langle x^2 \rangle$ for the pion and kaon from lattice QCD

abstract: We present a calculation of the pion quark momentum fraction, $\langle x \rangle$, and its third Mellin moment $\langle x^2 \rangle$. We also obtain directly, for the first time, $\langle x \rangle$ and $\langle x^2 \rangle$ for the kaon using local operators. We use an ensemble of two degenerate light, a strange and a charm quark ($N_f=2+1+1$) of maximally twisted mass fermions with clover improvement. The quark masses are chosen so that they reproduce a pion mass of about 260 MeV, and a kaon mass of 530 MeV. The lattice spacing of the ensemble is 0.093 fm and the lattice has a spatial extent of 3 fm. We analyze several values of the source-sink time separation within the range of $1.12-2.23$ fm to study and eliminate excited-states contributions. The necessary renormalization functions are calculated non-perturbatively in the RI$'$ scheme, and are converted to the $\overline{\rm MS}$ scheme at a scale of 2 GeV. The final values for the momentum fraction are $\langle x \rangle^\pi_{u^+}=0.261(3)_{\rm stat}(6)_{\rm syst}$, $\langle x \rangle^K_{u^+}=0.246(2)_{\rm stat}(2)_{\rm syst}$, and $\langle x \rangle^K_{s^+}=0.317(2)_{\rm stat}(1)_{\rm syst}$. For the third Mellin moments we find $\langle x^2 \rangle^\pi_{u^+}=0.082(21)_{\rm stat}(17)_{\rm syst}$, $\langle x^2 \rangle^K_{u^+}=0.093(5)_{\rm stat}(3)_{\rm syst}$, and $\langle x^2 \rangle^K_{s^+}=0.134(5)_{\rm stat}(2)_{\rm syst}$. The reported systematic uncertainties are due to excited-state contamination. We also give the ratio $\langle x^2 \rangle/\langle x \rangle$ which is an indication of how quickly the PDFs lose support at large $x$.


title: Inductive Entity Representations from Text via Link Prediction

abstract: Knowledge Graphs (KG) are of vital importance for multiple applications on the web, including information retrieval, recommender systems, and metadata annotation. Regardless of whether they are built manually by domain experts or with automatic pipelines, KGs are often incomplete. Recent work has begun to explore the use of textual descriptions available in knowledge graphs to learn vector representations of entities in order to preform link prediction. However, the extent to which these representations learned for link prediction generalize to other tasks is unclear. This is important given the cost of learning such representations. Ideally, we would prefer representations that do not need to be trained again when transferring to a different task, while retaining reasonable performance. In this work, we propose a holistic evaluation protocol for entity representations learned via a link prediction objective. We consider the inductive link prediction and entity classification tasks, which involve entities not seen during training. We also consider an information retrieval task for entity-oriented search. We evaluate an architecture based on a pretrained language model, that exhibits strong generalization to entities not observed during training, and outperforms related state-of-the-art methods (22% MRR improvement in link prediction on average). We further provide evidence that the learned representations transfer well to other tasks without fine-tuning. In the entity classification task we obtain an average improvement of 16% in accuracy compared with baselines that also employ pre-trained models. In the information retrieval task, we obtain significant improvements of up to 8.8% in NDCG@10 for natural language queries. We thus show that the learned representations are not limited KG-specific tasks, and have greater generalization properties than evaluated in previous work.


title: Reconfigurable Cyber-Physical System for Lifestyle Video-Monitoring via Deep Learning

abstract: Indoor monitoring of people at their homes has become a popular application in Smart Health. With the advances in Machine Learning and hardware for embedded devices, new distributed approaches for Cyber-Physical Systems (CPSs) are enabled. Also, changing environments and need for cost reduction motivate novel reconfigurable CPS architectures. In this work, we propose an indoor monitoring reconfigurable CPS that uses embedded local nodes (Nvidia Jetson TX2). We embed Deep Learning architectures to address Human Action Recognition. Local processing at these nodes let us tackle some common issues: reduction of data bandwidth usage and preservation of privacy (no raw images are transmitted). Also real-time processing is facilitated since optimized nodes compute only its local video feed. Regarding the reconfiguration, a remote platform monitors CPS qualities and a Quality and Resource Management (QRM) tool sends commands to the CPS core to trigger its reconfiguration. Our proposal is an energy-aware system that triggers reconfiguration based on energy consumption for battery-powered nodes. Reconfiguration reduces up to 22% the local nodes energy consumption extending the device operating time, preserving similar accuracy with respect to the alternative with no reconfiguration.


title: Signatures of Many-Body Localization in the Dynamics of Two-Level Systems in Glasses

abstract: We investigate the quantum dynamics of Two-Level Systems (TLS) in glasses at low temperatures (1 K and below). We study an ensemble of TLSs coupled to phonons. By integrating out the phonons within the framework of the Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) master equation, we derive analytically the explicit form of the interactions among TLSs, and of the dissipation terms. We find that the unitary dynamics of the system shows clear signatures of Many-Body Localization physics. We study numerically the time behavior of the concurrence, which measures pairwise entanglement also in non-isolated systems, and show that it presents a power-law decay both in the absence and in the presence of dissipation, if the latter is not too large. These features can be ascribed to the strong, long-tailed disorder characterizing the distributions of the model parameters. Our findings show that assuming ergodicity when discussing TLS physics might not be justified for all kinds of experiments on low-temperature glasses.


title: Length spectrum compactification of the $\mathrm{SO}_{0}(2,3)$-Hitchin component

abstract: We find a compactification of the $\mathrm{SO}_{0}(2,3)$-Hitchin component by studying the degeneration of the induced metric on the unique equivariant maximal surface in the 4-dimensional pseudo-hyperbolic space $\mathbb{H}^{2,2}$. In the process, we establish the closure in the space of projectivized geodesic currents of the space of flat metrics induced by holomorphic quartic differentials on a Riemann surface. As an application, we describe the behavior of the entropy of Hitchin representations along rays of quartic differentials.


title: Numerical Simulation of GUE Two-Point Correlation and Cluster Functions

abstract: Numerical simulations of the two-point eigenvalue correlation and cluster functions of the Gaussian unitary ensemble (GUE) are carried out directly from their definitions in terms of deltas functions. The simulations are compared with analytical results which follow from three analytical formulas for the two-point GUE cluster function: (i) Wigner's exact formula in terms of Hermite polynomials, (ii) Brezin and Zee's approximate formula which is valid for points with small enough separations and (iii) French, Mello and Pandey's approximate formula which is valid on average for points with large enough separations. It is found that the oscillations present in formulas (i) and (ii) are reproduced by the numerical simulations if the width of the function used to represent the delta function is small enough and that the non-oscillating behaviour of formula (iii) is approached as the width is increased.


title: Testing the Equality of Proportions for Combined Unilateral and Bilateral Data

abstract: Measurements are generally collected as unilateral or bilateral data in clinical trials or observational studies. For example, in ophthalmologic studies, statistical tests are often based on one or two eyes of an individual. For bilateral data, recent literatures have shown some testing procedures that take into account the intra-class correlation between two eyes of the same person. Ma et al. (2015) investigated three testing procedures under Rosner's model. In this paper, we extend Ma's work for bilateral data to combined bilateral and unilateral data. The proposed procedures are based on the likelihood estimate algorithm derived from the root of 4th order polynomial equations and fisher scoring iterations. Simulation studies are performed to compare the testing procedures under different parameter configurations. The result shows that score test has satisfactory type I error rates and powers. Therefore, we recommend score test for testing the equality of proportions. We illustrate the application of the proposed methods with a double-blind randomized clinical trial.


title: General Confidentiality and Utility Metrics for Privacy-Preserving Data Publishing Based on the Permutation Model

abstract: Anonymization for privacy-preserving data publishing, also known as statistical disclosure control (SDC), can be viewed under the lens of the permutation model. According to this model, any SDC method for individual data records is functionally equivalent to a permutation step plus a noise addition step, where the noise added is marginal, in the sense that it does not alter ranks. Here, we propose metrics to quantify the data confidentiality and utility achieved by SDC methods based on the permutation model. We distinguish two privacy notions: in our work, anonymity refers to subjects and hence mainly to protection against record re-identification, whereas confidentiality refers to the protection afforded to attribute values against attribute disclosure. Thus, our confidentiality metrics are useful even if using a privacy model ensuring an anonymity level ex ante. The utility metric is a general-purpose metric that can be conveniently traded off against the confidentiality metrics, because all of them are bounded between 0 and 1. As an application, we compare the utility-confidentiality trade-offs achieved by several anonymization approaches, including privacy models (k-anonymity and $\epsilon$-differential privacy) as well as SDC methods (additive noise, multiplicative noise and synthetic data) used without privacy models.


title: Antiferromagnetic correlations in strongly valence fluctuating CeIrSn

abstract: CeIrSn with a quasikagome Ce lattice in the hexagonal basal plane is a strongly valence fluctuating compound, as we confirm by hard x-ray photoelectron spectroscopy and inelastic neutron scattering, with a high Kondo temperature of $T_{\mathrm{K}}\sim 480$\,K. We report a negative in-plane thermal expansion $\alpha/T$ below 2\,K, which passes through a broad minimum near 0.75\,K. Volume and $a$-axis magnetostriction for $B \parallel a$ are markedly negative at low fields and change sign before a sharp metamagnetic anomaly at 6\,T. These behaviors are unexpected for Ce-based intermediate valence systems, which should feature positive expansivity. Rather they point towards antiferromagnetic correlations at very low temperatures. This is supported by muon spin relaxation measurements down to 0.1\,K, which provide microscopic evidence for a broad distribution of internal magnetic fields. Comparison with isostructural CeRhSn suggests that these antiferromagnetic correlations emerging at $T\ll T_{\mathrm{K}}$ result from geometrical frustration.


title: The large deviation principle for inhomogeneous Erd\H{o}s-R\'enyi random graphs

abstract: Consider the inhomogeneous Erd\H{o}s-R\'enyi random graph (ERRG) on $n$ vertices for which each pair $i,j\in\{1,\ldots,n\}$, $i\neq j$ is connected independently by an edge with probability $r_n(\frac{i-1}{n},\frac{j-1}{n})$, where $(r_n)_{n\in\mathbb{N}}$ is a sequence of graphons converging to a reference graphon $r$. As a generalization of the celebrated LDP for ERRGs by Chatterjee and Varadhan (2010), Dhara and Sen (2019) proved a large deviation principle (LDP) for a sequence of such graphs under the assumption that $r$ is bounded away from 0 and 1, and with a rate function in the form of a lower semi-continuous envelope. We further extend the results by Dhara and Sen. We relax the conditions on the reference graphon to $\log r,\log(1-r)\in L^1([0,1]^2)$. We also show that, under this condition, their rate function equals a different, more tractable rate function. We then apply these results to the large deviation principle for the largest eigenvalue of inhomogeneous ERRGs and weaken the conditions for part of the analysis of the rate function by Chakrabarty, Hazra, Den Hollander and Sfragara (2020).


title: Learning from demonstration using products of experts: applications to manipulation and task prioritization

abstract: Probability distributions are key components of many learning from demonstration (LfD) approaches. While the configuration of a manipulator is defined by its joint angles, poses are often best explained within several task spaces. In many approaches, distributions within relevant task spaces are learned independently and only combined at the control level. This simplification implies several problems that are addressed in this work. We show that the fusion of models in different task spaces can be expressed as a product of experts (PoE), where the probabilities of the models are multiplied and renormalized so that it becomes a proper distribution of joint angles. Multiple experiments are presented to show that learning the different models jointly in the PoE framework significantly improves the quality of the model. The proposed approach particularly stands out when the robot has to learn competitive or hierarchical objectives. Training the model jointly usually relies on contrastive divergence, which requires costly approximations that can affect performance. We propose an alternative strategy using variational inference and mixture model approximations. In particular, we show that the proposed approach can be extended to PoE with a nullspace structure (PoENS), where the model is able to recover tasks that are masked by the resolution of higher-level objectives.


title: Learning Monocular 3D Vehicle Detection without 3D Bounding Box Labels

abstract: The training of deep-learning-based 3D object detectors requires large datasets with 3D bounding box labels for supervision that have to be generated by hand-labeling. We propose a network architecture and training procedure for learning monocular 3D object detection without 3D bounding box labels. By representing the objects as triangular meshes and employing differentiable shape rendering, we define loss functions based on depth maps, segmentation masks, and ego- and object-motion, which are generated by pre-trained, off-the-shelf networks. We evaluate the proposed algorithm on the real-world KITTI dataset and achieve promising performance in comparison to state-of-the-art methods requiring 3D bounding box labels for training and superior performance to conventional baseline methods.


title: Most EL CVn systems are inner binaries of hierarchical triples

abstract: In spite of their importance for modern astronomy, we do not fully understand how close binary stars containing at least one white dwarf form from main sequence binary stars. The discovery of EL CVn binaries, close pre-white dwarfs with A/F main sequence star companions, offers now the unique possibility to test models of close compact binary star formation. Binary evolution theories predict that these EL CVn stars descend from very close main sequence binaries with orbital periods shorter than 3 days. If this is correct, nearly all EL CVn stars should be inner binaries of hierarchical triples because more than 95 per cent of very close main sequence binaries (the alleged progenitor systems) are found to be hierarchical triples. We here present SPHERE/IRDIS observations of five EL CVn binaries, finding in all of them tertiary objects, as predicted. We conclude that EL CVn systems are inner binaries of hierarchical triples and indeed descend from very close main sequence binaries that experience stable mass transfer.


title: Fast and accurate approximation of the angle-averaged redistribution function for polarized radiation

abstract: Modeling spectral line profiles taking frequency redistribution effects into account is a notoriously challenging problem from the computational point of view, especially when polarization phenomena (atomic polarization and polarized radiation) are taken into account. Frequency redistribution effects are conveniently described through the redistribution function formalism, and the angle-averaged approximation is often introduced to simplify the problem. Even in this case, the evaluation of the emission coefficient for polarized radiation remains computationally costly, especially when magnetic fields are present or complex atomic models are considered. We aim to develop an efficient algorithm to numerically evaluate the angle-averaged redistribution function for polarized radiation. Our proposed approach is based on a low-rank approximation via trivariate polynomials whose univariate components are represented in the Chebyshev basis. The resulting algorithm is significantly faster than standard quadrature-based schemes for any target accuracy in the range between 10^-6 and 10^-2.


title: Automatic Backward Filtering Forward Guiding for Markov processes and graphical models

abstract: We incorporate discrete and continuous time Markov processes as building blocks into probabilistic graphical models with latent and observed variables. We introduce the automatic Backward Filtering Forward Guiding (BFFG) paradigm (Mider et al., 2021) for programmable inference on latent states and model parameters. Our starting point is a generative model, a forward description of the probabilistic process dynamics. We backpropagate the information provided by observations through the model to transform the generative (forward) model into a pre-conditional model guided by the data. It approximates the actual conditional model with known likelihood-ratio between the two. The backward filter and the forward change of measure are suitable to be incorporated into a probabilistic programming context because they can be formulated as a set of transformation rules. The guided generative model can be incorporated in different approaches to efficiently sample latent states and parameters conditional on observations. We show applicability in a variety of settings, including Markov chains with discrete state space, interacting particle systems, state space models, branching diffusions and Gamma processes.


title: Steering Interchange of Polariton Branches via Coherent and Incoherent Dynamics

abstract: Controlling light-matter based quantum systems in the strong coupling regime allows for exploring quantum simulation of many-body physics in nowadays architectures. For instance, the atom-field interaction in a cavity QED network provides control and scalability for quantum information processing. Here, we propose the control of single- and two-body Jaynes-Cummings systems in a non-equilibrium scenario, which allows us to establish conditions for the coherent and incoherent interchange of polariton branches. Our findings provide a systematic approach to manipulate polaritons interchange, that we apply to reveal new insights in the transition between Mott Insulator- and Superfluid-like states. Furthermore, we study the asymmetry in the absorption spectrum by triggering the cavity and atomic losses as a function of the atom-cavity detuning and photon's hopping.


title: Partial C*-dynamics and Rokhlin dimension

abstract: We develop the notion of Rokhlin dimension for partial actions of finite groups, extending the well-established theory for global systems. The partial setting exhibits phenomena that cannot be expected for global actions, usually stemming from the fact that virtually all averaging arguments for finite group actions completely break down for partial systems. For example, fixed point algebra and crossed product are not in general Morita equivalent, and there is in general no local approximation of the crossed product $A\rtimes G$ by matrices over $A$. By using decomposition arguments for partial actions of finite groups, we show that a number of structural properties are preserved by formation of crossed products, including finite stable rank, finite nuclear dimension, and absorption of a strongly self-absorbing $C^*$-algebra. For partial actions with the Rokhlin property, being an AF-algebra is also preserved. Some of our results are new even in the global case. We also study the Rokhlin dimension of globalizable actions: while in general it differs from the Rokhlin dimension of its globalization, we show that they agree if the coefficient algebra is unital. For topological partial actions on spaces of finite covering dimension, we show that finiteness of the Rokhlin dimension is equivalent to freeness, thus providing a large class of examples to which our theory applies.


title: Higher Airy structures and topological recursion for singular spectral curves

abstract: We give elements towards the classification of quantum Airy structures based on the $W(\mathfrak{gl}_r)$-algebras at self-dual level based on twisted modules of the Heisenberg VOA of $\mathfrak{gl}_r$ for twists by arbitrary elements of the Weyl group $\mathfrak{S}_{r}$. In particular, we construct a large class of such quantum Airy structures. We show that the system of linear ODEs forming the quantum Airy structure and determining uniquely its partition function is equivalent to a topological recursion \`a la Chekhov-Eynard-Orantin on singular spectral curves. In particular, our work extends the definition of the Bouchard-Eynard topological recursion (valid for smooth curves) to a large class of singular curves, and indicates impossibilities to extend naively the definition to other types of singularities. We also discuss relations to intersection theory on moduli spaces of curves, giving a general ELSV-type representation for the topological recursion amplitudes on smooth curves, and formulate precise conjectures for application in open $r$-spin intersection theory.


title: Posterior contraction in group sparse logit models for categorical responses

abstract: This paper studies posterior contraction rates in multi-category logit models with priors incorporating group sparse structures. We consider a general class of logit models that includes the well-known multinomial logit models as a special case. Group sparsity is useful when predictor variables are naturally clustered and particularly useful for variable selection in the multinomial logit models. We provide a unified platform for posterior contraction rates of group-sparse logit models that include binary logistic regression under individual sparsity. No size restriction is directly imposed on the true signal in this study. In addition to establishing the first-ever contraction properties for multi-category logit models under group sparsity, this work also refines recent findings on the Bayesian theory of binary logistic regression.


title: Abductive Knowledge Induction From Raw Data

abstract: For many reasoning-heavy tasks involving raw inputs, it is challenging to design an appropriate end-to-end learning pipeline. Neuro-Symbolic Learning, divide the process into sub-symbolic perception and symbolic reasoning, trying to utilise data-driven machine learning and knowledge-driven reasoning simultaneously. However, they suffer from the exponential computational complexity within the interface between these two components, where the sub-symbolic learning model lacks direct supervision, and the symbolic model lacks accurate input facts. Hence, most of them assume the existence of a strong symbolic knowledge base and only learn the perception model while avoiding a crucial problem: where does the knowledge come from? In this paper, we present Abductive Meta-Interpretive Learning ($Meta_{Abd}$) that unites abduction and induction to learn neural networks and induce logic theories jointly from raw data. Experimental results demonstrate that $Meta_{Abd}$ not only outperforms the compared systems in predictive accuracy and data efficiency but also induces logic programs that can be re-used as background knowledge in subsequent learning tasks. To the best of our knowledge, $Meta_{Abd}$ is the first system that can jointly learn neural networks from scratch and induce recursive first-order logic theories with predicate invention.


title: Interplay of Pairing Correlation and Coulomb Correlation in Boson Exchange Superconductors

abstract: A theoretical methodology for exploring the conventional Bardeen-Cooper-Schrieffer (BCS) pairing instability for superconductivity from a correlated normal phase for all possible degrees of many-body correlation, has been developed. The Gutzwiller projection scheme with a correlation parameter was made use of in generating the BCS pairing state. A variational scheme was thereafter implemented, leading to a self-consistent equation for superconducting gap function. This equation shows explicit dependence of the gap function on the many body correlation parameter. This `pairing-gap' and the corresponding self-consistent gap equation in zero correlation limit, becomes identical in nature with those of the pure (1-well) BCS formalism, as expected and the Coulomb correlation affects the pairing significantly with the strength of correlation. The detailed consequences are being presented here.


title: Combination of digital signal processing and assembled predictive models facilitates the rational design of proteins

abstract: Predicting the effect of mutations in proteins is one of the most critical challenges in protein engineering; by knowing the effect a substitution of one (or several) residues in the protein's sequence has on its overall properties, could design a variant with a desirable function. New strategies and methodologies to create predictive models are continually being developed. However, those that claim to be general often do not reach adequate performance, and those that aim to a particular task improve their predictive performance at the cost of the method's generality. Moreover, these approaches typically require a particular decision to encode the amino acidic sequence, without an explicit methodological agreement in such endeavor. To address these issues, in this work, we applied clustering, embedding, and dimensionality reduction techniques to the AAIndex database to select meaningful combinations of physicochemical properties for the encoding stage. We then used the chosen set of properties to obtain several encodings of the same sequence, to subsequently apply the Fast Fourier Transform (FFT) on them. We perform an exploratory stage of Machine-Learning models in the frequency space, using different algorithms and hyperparameters. Finally, we select the best performing predictive models in each set of properties and create an assembled model. We extensively tested the proposed methodology on different datasets and demonstrated that the generated assembled model achieved notably better performance metrics than those models based on a single encoding and, in most cases, better than those previously reported. The proposed method is available as a Python library for non-commercial use under the GNU General Public License (GPLv3) license.


title: Query Minimization under Stochastic Uncertainty

abstract: We study problems with stochastic uncertainty information on intervals for which the precise value can be queried by paying a cost. The goal is to devise an adaptive decision tree to find a correct solution to the problem in consideration while minimizing the expected total query cost. We show that, for the sorting problem, such a decision tree can be found in polynomial time. For the problem of finding the data item with minimum value, we have some evidence for hardness. This contradicts intuition, since the minimum problem is easier both in the online setting with adversarial inputs and in the offline verification setting. However, the stochastic assumption can be leveraged to beat both deterministic and randomized approximation lower bounds for the online setting.


title: Quantum limit to subdiffraction incoherent optical imaging. II. A parametric-submodel approach

abstract: In a previous paper [M. Tsang, Phys. Rev. A 99, 012305 (2019)], I proposed a quantum limit to the estimation of object moments in subdiffraction incoherent optical imaging. In this sequel, I prove the quantum limit rigorously by infinite-dimensional analysis. A key to the proof is the choice of an unfavorable parametric submodel to give a bound for the semiparametric problem. By generalizing the quantum limit for a larger class of moments, I also prove that the measurement method of spatial-mode demultiplexing (SPADE) with just one or two modes is able to achieve the quantum limit. For comparison, I derive a classical bound for direct imaging using the parametric-submodel approach, which suggests that direct imaging is substantially inferior.


title: Compactifications of moduli of points and lines in the projective plane

abstract: Projective duality identifies the moduli spaces $\mathbf{B}_n$ and $\mathbf{X}(3,n)$ parametrizing linearly general configurations of $n$ points in $\mathbb{P}^2$ and $n$ lines in the dual $\mathbb{P}^2$, respectively. The space $\mathbf{X}(3,n)$ admits Kapranov's Chow quotient compactification $\overline{\mathbf{X}}(3,n)$, studied also by Lafforgue, Hacking, Keel, Tevelev, and Alexeev, which gives an example of a KSBA moduli space of stable surfaces: it carries a family of certain reducible degenerations of $\mathbb{P}^2$ with $n$ "broken lines". Gerritzen and Piwek proposed a dual perspective, a compact moduli space parametrizing certain reducible degenerations of $\mathbb{P}^2$ with $n$ smooth points. We investigate the relation between these approaches, answering a question of Kapranov from 2003.


title: Korteweg-de Vries and Fermi-Pasta-Ulam-Tsingou: asymptotic integrability of quasi unidirectional waves

abstract: In this paper we construct a higher order expansion of the manifold of quasi unidirectional waves in the Fermi-Pasta-Ulam (FPU) chain. We also approximate the dynamics on this manifold. As perturbation parameter we use $h^2=1/n^2$, where $n$ is the number of particles of the chain. It is well known that the dynamics of quasi unidirectional waves is described to first order by the Korteweg-de Vries (KdV) equation. Here we show that the dynamics to second order is governed by a combination of the first two nontrivial equations in the KdV hierarchy -- for any choice of parameters in the FPU potential. On the other hand, we find that only if the parameters of the FPU potential satisfy a condition, then a combination of the first three nontrivial equations in the KdV hierarchy determines the dynamics of quasi unidirectional waves to third order. The required condition is satisfied by the Toda chain. Our results suggest why the close-to-integrable behavior of the FPU chain (the FPU paradox) persists on a time scale longer than explained by the KdV approximation, and also how a breakdown of integrability (detachment from the KdV hierarchy) may responsible for the eventual thermalization of the system.


title: A few properties of the ratio of Davenport-Heilbronn Functions

abstract: Starting from the Davenport-Heilbronn function equation: $f(s) = X(s) f(1-s)$, we discover the four properties of the meromorphic function $X(s)$ defined as the ratio of the Davenport-Heilbronn functions: $\frac{f(s)}{f(1-s)} = X(s)$, and three corresponding lemmas. For the first time, we propose to study the distribution of the non-trivial zeros of the Davenport-Heilbronn function by exploring the monotonicity of the similarity ratio $\left| \frac{f(s)}{f(1-s)} \right|$. We point out that for the $f(s)$ which satisfies the Davenport-Heilbronn function equation, the existence of non-trivial zeros outside of the critical line $\{ s_n | \sigma \neq 1/2 \}$ presents two puzzles: 1) $f(s_n) \neq f(1 - s_n)$; 2) the existence of non-trivial zeros $\{ s_n | \sigma \neq 1/2 \}$ is in contradiction of the monotonicity of the similar ratio $\left| \frac{f(s)}{f(1-s)}\right|$.


title: A Survey of Deep Meta-Learning

abstract: Deep neural networks can achieve great successes when presented with large data sets and sufficient computational resources. However, their ability to learn new concepts quickly is limited. Meta-learning is one approach to address this issue, by enabling the network to learn how to learn. The field of Deep Meta-Learning advances at great speed, but lacks a unified, in-depth overview of current techniques. With this work, we aim to bridge this gap. After providing the reader with a theoretical foundation, we investigate and summarize key methods, which are categorized into i)~metric-, ii)~model-, and iii)~optimization-based techniques. In addition, we identify the main open challenges, such as performance evaluations on heterogeneous benchmarks, and reduction of the computational costs of meta-learning.


title: BoMuDANet: Unsupervised Adaptation for Visual Scene Understanding in Unstructured Driving Environments

abstract: We present an unsupervised adaptation approach for visual scene understanding in unstructured traffic environments. Our method is designed for unstructured real-world scenarios with dense and heterogeneous traffic consisting of cars, trucks, two-and three-wheelers, and pedestrians. We describe a new semantic segmentation technique based on unsupervised domain adaptation (DA), that can identify the class or category of each region in RGB images or videos. We also present a novel self-training algorithm (Alt-Inc) for multi-source DA that improves the accuracy. Our overall approach is a deep learning-based technique and consists of an unsupervised neural network that achieves 87.18% accuracy on the challenging India Driving Dataset. Our method works well on roads that may not be well-marked or may include dirt, unidentifiable debris, potholes, etc. A key aspect of our approach is that it can also identify objects that are encountered by the model for the fist time during the testing phase. We compare our method against the state-of-the-art methods and show an improvement of 5.17% - 42.9%. Furthermore, we also conduct user studies that qualitatively validate the improvements in visual scene understanding of unstructured driving environments.


title: Nanophotonic materials for space applications

abstract: Space exemplifies the ultimate test-bed environment for any materials technology. The harsh conditions of space, with extreme temperature changes, lack of gravity and atmosphere, intense solar and cosmic radiation, and mechanical stresses of launch and deployment, represent a multifaceted set of challenges. The materials we engineer must not only meet these challenges, but they need to do so while keeping overall mass to a minimum and guaranteeing performance over long periods of time with no opportunity for repair. Nanophotonic materials -- materials that embody structural variations on a scale comparable to the wavelength of light -- offer opportunities for addressing some of these difficulties. Here, we examine how advances in nanophotonics and nanofabrication are enabling ultrathin and lightweight structures with unparalleled ability to shape light-matter interactions over a broad electromagnetic spectrum. From solar panels that can be fabricated in space to applications of light for propulsion, the next generation of lightweight and multifunctional photonic materials stands to both impact existing technologies and pave the way for new space technologies.

categories: physics.pop-ph physics.app-ph physics.optics physics.space-ph


title: Empirical Standards for Software Engineering Research

abstract: Empirical Standards are natural-language models of a scientific community's expectations for a specific kind of study (e.g. a questionnaire survey). The ACM SIGSOFT Paper and Peer Review Quality Initiative generated empirical standards for research methods commonly used in software engineering. These living documents, which should be continuously revised to reflect evolving consensus around research best practices, will improve research quality and make peer review more effective, reliable, transparent and fair.