title: First Cosmological Results using Type Ia Supernovae from the Dark Energy Survey: Measurement of the Hubble Constant

abstract: We present an improved measurement of the Hubble constant (H_0) using the 'inverse distance ladder' method, which adds the information from 207 Type Ia supernovae (SNe Ia) from the Dark Energy Survey (DES) at redshift 0.018 < z < 0.85 to existing distance measurements of 122 low redshift (z < 0.07) SNe Ia (Low-z) and measurements of Baryon Acoustic Oscillations (BAOs). Whereas traditional measurements of H_0 with SNe Ia use a distance ladder of parallax and Cepheid variable stars, the inverse distance ladder relies on absolute distance measurements from the BAOs to calibrate the intrinsic magnitude of the SNe Ia. We find H_0 = 67.8 +/- 1.3 km s-1 Mpc-1 (statistical and systematic uncertainties, 68% confidence). Our measurement makes minimal assumptions about the underlying cosmological model, and our analysis was blinded to reduce confirmation bias. We examine possible systematic uncertainties and all are below the statistical uncertainties. Our H_0 value is consistent with estimates derived from the Cosmic Microwave Background assuming a LCDM universe (Planck Collaboration et al. 2018).


title: First Cosmology Results Using Type Ia Supernovae From the Dark Energy Survey: Analysis, Systematic Uncertainties, and Validation

abstract: We present the analysis underpinning the measurement of cosmological parameters from 207 spectroscopically classified type Ia supernovae (SNe Ia) from the first three years of the Dark Energy Survey Supernova Program (DES-SN), spanning a redshift range of 0.017<$z$<0.849. We combine the DES-SN sample with an external sample of 122 low-redshift ($z$<0.1) SNe Ia, resulting in a "DES-SN3YR" sample of 329 SNe Ia. Our cosmological analyses are blinded: after combining our DES-SN3YR distances with constraints from the Cosmic Microwave Background (CMB; Planck Collaboration 2016), our uncertainties in the measurement of the dark energy equation-of-state parameter, $w$, are .042 (stat) and .059 (stat+syst) at 68% confidence. We provide a detailed systematic uncertainty budget, which has nearly equal contributions from photometric calibration, astrophysical bias corrections, and instrumental bias corrections. We also include several new sources of systematic uncertainty. While our sample is <1/3 the size of the Pantheon sample, our constraints on $w$ are only larger by 1.4$\times$, showing the impact of the DES SN Ia light curve quality. We find that the traditional stretch and color standardization parameters of the DES SNe Ia are in agreement with earlier SN Ia samples such as Pan-STARRS1 and the Supernova Legacy Survey. However, we find smaller intrinsic scatter about the Hubble diagram (0.077 mag). Interestingly, we find no evidence for a Hubble residual step ( 0.007 $\pm$ 0.018 mag) as a function of host galaxy mass for the DES subset, in 2.4$\sigma$ tension with previous measurements. We also present novel validation methods of our sample using simulated SNe Ia inserted in DECam images and using large catalog-level simulations to test for biases in our analysis pipelines.


title: First Cosmology Results Using Type Ia Supernovae From the Dark Energy Survey: Photometric Pipeline and Light Curve Data Release

abstract: We present griz light curves of 251 Type Ia Supernovae (SNe Ia) from the first 3 years of the Dark Energy Survey Supernova Program's (DES-SN) spectroscopically classified sample. The photometric pipeline described in this paper produces the calibrated fluxes and associated uncertainties used in the cosmological parameter analysis (Brout et al. 2018-SYS, DES Collaboration et al. 2018) by employing a scene modeling approach that simultaneously forward models a variable transient flux and temporally constant host galaxy. We inject artificial point sources onto DECam images to test the accuracy of our photometric method. Upon comparison of input and measured artificial supernova fluxes, we find flux biases peak at 3 mmag. We require corrections to our photometric uncertainties as a function of host galaxy surface brightness at the transient location, similar to that seen by the DES Difference Imaging Pipeline used to discover transients. The public release of the light curves can be found at https://des.ncsa.illinois.edu/releases/sn.


title: First Cosmology Results using Type Ia Supernova from the Dark Energy Survey: Simulations to Correct Supernova Distance Biases

abstract: We describe catalog-level simulations of Type Ia supernova (SN~Ia) light curves in the Dark Energy Survey Supernova Program (DES-SN), and in low-redshift samples from the Center for Astrophysics (CfA) and the Carnegie Supernova Project (CSP). These simulations are used to model biases from selection effects and light curve analysis, and to determine bias corrections for SN~Ia distance moduli that are used to measure cosmological parameters. To generate realistic light curves, the simulation uses a detailed SN~Ia model, incorporates information from observations (PSF, sky noise, zero point), and uses summary information (e.g., detection efficiency vs. signal to noise ratio) based on 10,000 fake SN light curves whose fluxes were overlaid on images and processed with our analysis pipelines. The quality of the simulation is illustrated by predicting distributions observed in the data. Averaging within redshift bins, we find distance modulus biases up to 0.05~mag over the redshift ranges of the low-z and DES-SN samples. For individual events, particularly those with extreme red or blue color, distance biases can reach 0.4~mag. Therefore, accurately determining bias corrections is critical for precision measurements of cosmological parameters. Files used to make these corrections are available at https://des.ncsa.illinois.edu/releases/sn.


title: First Cosmology Results Using Type Ia Supernovae from the Dark Energy Survey: Effects of Chromatic Corrections to Supernova Photometry on Measurements of Cosmological Parameters

abstract: Calibration uncertainties have been the leading systematic uncertainty in recent analyses using type Ia Supernovae (SNe Ia) to measure cosmological parameters. To improve the calibration, we present the application of Spectral Energy Distribution (SED)-dependent "chromatic corrections" to the supernova light-curve photometry from the Dark Energy Survey (DES). These corrections depend on the combined atmospheric and instrumental transmission function for each exposure, and they affect photometry at the 0.01 mag (1%) level, comparable to systematic uncertainties in calibration and photometry. Fitting our combined DES and low-z SN Ia sample with Baryon Acoustic Oscillation (BAO) and Cosmic Microwave Background (CMB) priors for the cosmological parameters $\Omega_{\rm m}$ (the fraction of the critical density of the universe comprised of matter) and w (the dark energy equation of state parameter), we compare those parameters before and after applying the corrections. We find the change in w and $\Omega_{\rm m}$ due to not including chromatic corrections are -0.002 and 0.000, respectively, for the DES-SN3YR sample with BAO and CMB priors, consistent with a larger DES-SN3YR-like simulation, which has a w-change of 0.0005 with an uncertainty of 0.008 and an $\Omega_{\rm m}$ change of 0.000 with an uncertainty of 0.002 . However, when considering samples on individual CCDs we find large redshift-dependent biases (approximately 0.02 in distance modulus) for supernova distances.


title: Steve: A hierarchical Bayesian model for Supernova Cosmology

abstract: We present a new Bayesian hierarchical model (BHM) named Steve for performing type Ia supernova (SNIa) cosmology fits. This advances previous works by including an improved treatment of Malmquist bias, accounting for additional sources of systematic uncertainty, and increasing numerical efficiency. Given light curve fit parameters, redshifts, and host-galaxy masses, we fit Steve simultaneously for parameters describing cosmology, SNIa populations, and systematic uncertainties. Selection effects are characterised using Monte-Carlo simulations. We demonstrate its implementation by fitting realisations of SNIa datasets where the SNIa model closely follows that used in Steve. Next, we validate on more realistic SNANA simulations of SNIa samples from the Dark Energy Survey and low-redshift surveys. These simulated datasets contain more than $60\,000$ SNeIa, which we use to evaluate biases in the recovery of cosmological parameters, specifically the equation-of-state of dark energy, $w$. This is the most rigorous test of a BHM method applied to SNIa cosmology fitting, and reveals small $w$-biases that depend on the simulated SNIa properties, in particular the intrinsic SNIa scatter model. This $w$-bias is less than $0.03$ on average, less than half the statistical uncertainty on $w$.These simulation test results are a concern for BHM cosmology fitting applications on large upcoming surveys, and therefore future development will focus on minimising the sensitivity of Steve to the SNIa intrinsic scatter model.


title: Diversifying portfolios of U.S. stocks with crude oil and natural gas: A regime-dependent optimization with several risk measures

abstract: Energy markets are strategic to governments and economic development. Several commodities compete as substitutable energy sources and energy diversifiers. Such competition reduces the energy vulnerability of countries as well as portfolios' risk exposure. Vulnerability results mainly from price trends and fluctuations, following supply and demand shocks. Such energy price uncertainty attracts many market participants in the energy commodity markets. First, energy producers and consumers hedge adverse price changes with energy derivatives. Second, financial market participants use commodities and commodity derivatives to diversify their conventional portfolios. For that reason, we consider the joint dependence between the United States (U.S.) natural gas, crude oil and stock markets. We use Gatfaoui's (2015) time varying multivariate copula analysis and related variance regimes. Such approach handles structural changes in asset prices. In this light, we draw implications for portfolio optimization, when investors diversify their stock portfolios with natural gas and crude oil assets. We minimize the portfolio's variance, semi-variance and tail risk, in the presence and the absence of constraints on the portfolio's expected return and/or U.S. stock investment. The return constraint reduces the performance of the optimal portfolio. Moreover, the regime-specific portfolio optimization helps implement an enhanced active management strategy over the whole sample period. Under a return constraint, the semi-variance optimal portfolio offers the best risk-return tradeoff, whereas the tail-risk optimal portfolio offers the best tradeoff in the absence of a return constraint.


title: Evaluating Quasi-local Angular Momentum and Center-of-Mass at Null Infinity

abstract: We calculate the limits of the quasi-local angular momentum and center-of-mass defined by Chen-Wang-Yau \cite{CWY} for a family of spacelike two-spheres approaching future null infinity in an asymptotically flat spacetime admitting a Bondi-Sachs expansion. Our result complements earlier work of Chen-Wang-Yau \cite{CWY2}, where the authors calculate the limits of the quasi-local energy and linear momentum at null infinity. Finiteness of the center-of-mass limit requires that the spacetime be in the so-called center-of-mass frame, a mild assumption on the mass aspect function amounting to vanishing of linear momentum at null infinity. With this condition and the assumption that the Bondi mass is non-trivial, we obtain explicit expressions for the angular momentum and center-of-mass at future null infinity in terms of the observables appearing in the Bondi-Sachs expansion of the spacetime metric.


title: Robust Bhattacharyya bound linear discriminant analysis through adaptive algorithm

abstract: In this paper, we propose a novel linear discriminant analysis criterion via the Bhattacharyya error bound estimation based on a novel L1-norm (L1BLDA) and L2-norm (L2BLDA). Both L1BLDA and L2BLDA maximize the between-class scatters which are measured by the weighted pairwise distances of class means and meanwhile minimize the within-class scatters under the L1-norm and L2-norm, respectively. The proposed models can avoid the small sample size (SSS) problem and have no rank limit that may encounter in LDA. It is worth mentioning that, the employment of L1-norm gives a robust performance of L1BLDA, and L1BLDA is solved through an effective non-greedy alternating direction method of multipliers (ADMM), where all the projection vectors can be obtained once for all. In addition, the weighting constants of L1BLDA and L2BLDA between the between-class and within-class terms are determined by the involved data set, which makes our L1BLDA and L2BLDA adaptive. The experimental results on both benchmark data sets as well as the handwritten digit databases demonstrate the effectiveness of the proposed methods.


title: Fine-grained Apparel Classification and Retrieval without rich annotations

abstract: The ability to correctly classify and retrieve apparel images has a variety of applications important to e-commerce, online advertising and internet search. In this work, we propose a robust framework for fine-grained apparel classification, in-shop and cross-domain retrieval which eliminates the requirement of rich annotations like bounding boxes and human-joints or clothing landmarks, and training of bounding box/ key-landmark detector for the same. Factors such as subtle appearance differences, variations in human poses, different shooting angles, apparel deformations, and self-occlusion add to the challenges in classification and retrieval of apparel items. Cross-domain retrieval is even harder due to the presence of large variation between online shopping images, usually taken in ideal lighting, pose, positive angle and clean background as compared with street photos captured by users in complicated conditions with poor lighting and cluttered scenes. Our framework uses compact bilinear CNN with tensor sketch algorithm to generate embeddings that capture local pairwise feature interactions in a translationally invariant manner. For apparel classification, we pass the feature embeddings through a softmax classifier, while, the in-shop and cross-domain retrieval pipelines use a triplet-loss based optimization approach, such that squared Euclidean distance between embeddings measures the dissimilarity between the images. Unlike previous works that relied on bounding box, key clothing landmarks or human joint detectors to assist the final deep classifier, proposed framework can be trained directly on the provided category labels or generated triplets for triplet loss optimization. Lastly, Experimental results on the DeepFashion fine-grained categorization, and in-shop and consumer-to-shop retrieval datasets provide a comparative analysis with previous work performed in the domain.


title: A note on rank 2 diagonals

abstract: We solve two questions regarding spaces with a ($G_\delta$)-diagonal of rank 2. One is a question of Basile, Bella and Ridderbos regarding weakly Lindel\"of spaces with a $G_\delta$-diagonal of rank 2 and the other is a question of Arhangel'skii and Bella asking whether every space with a diagonal of rank 2 and cellularity continuum has cardinality at most continuum.


title: $L^2$-critical NLS on noncompact metric graphs with localized nonlinearity: topological and metric features

abstract: Carrying on the discussion initiated in (Dovetta-Tentarelli'18), we investigate the existence of ground states of prescribed mass for the $L^2$-critical NonLinear Schr\"odinger Equation (NLSE) on noncompact metric graphs with localized nonlinearity. Precisely, we show that the existence (or nonexistence) of ground states mainly depends on a parameter called reduced critical mass, and then we discuss how the topological and metric features of the graphs affect such a parameter, establishing some relevant differences with respect to the case of the extended nonlinearity studied by (Adami-Serra-Tilli'17). Our results rely on a thorough analysis of the optimal constant of a suitable variant of the $L^2$-critical Gagliardo-Nirenberg inequality.


title: Local-Encoding-Preserving Secure Network Coding---Part I: Fixed Security Level

abstract: Information-theoretic security is considered in the paradigm of network coding in the presence of wiretappers, who can access one arbitrary edge subset up to a certain size, also referred to as the security level. Secure network coding is applied to prevent the leakage of the source information to the wiretappers. In this two-part paper, we consider the problem of secure network coding when the information rate and the security level can change over time. In the current paper (i.e., Part I of the two-part paper), we focus on the problem for a fixed security level and a flexible rate. To efficiently solve this problem, we put forward local-encoding-preserving secure network coding, where a family of secure linear network codes (SLNCs) is called local-encoding-preserving if all the SLNCs in this family share a common local encoding kernel at each intermediate node in the network. We present an efficient approach for constructing upon an SLNC that exists a local-encoding-preserving SLNC with the same security level and the rate reduced by one. By applying this approach repeatedly, we can obtain a family of local-encoding-preserving SLNCs with a fixed security level and multiple rates. We also develop a polynomial-time algorithm for efficient implementation of this approach. Furthermore, it is proved that the proposed approach incurs no penalty on the required field size for the existence of SLNCs in terms of the best known lower bound by Guang and Yeung. The result in this paper will be used as a building block for efficiently constructing a family of local-encoding-preserving SLNCs for all possible pairs of rate and security level, which will be discussed in the companion paper (i.e., Part II of the two-part paper).


title: Invariant ideals of local analytic and formal vector fields

abstract: The objective of this paper is to analyse analytic invariant sets of analytic ordinary differential equations (ODEs). For this purpose we introduce semi-invariants and invariant ideals as well as the notion of vector fields in Poincare- Dulac normal form (PDNF). We prove that all invariant ideals of a vector field in PDNF are already invariant for its semi-simple linear part. Additionally, this paper provides a natural characterization of invariant ideals via semi-invariants.


title: Local-Encoding-Preserving Secure Network Coding---Part II: Flexible Rate and Security Level

abstract: In the two-part paper, we consider the problem of secure network coding when the information rate and the security level can change over time. To efficiently solve this problem, we put forward local-encoding-preserving secure network coding, where a family of secure linear network codes (SLNCs) is called local-encoding-preserving (LEP) if all the SLNCs in this family share a common local encoding kernel at each intermediate node in the network. In this paper (Part II), we first consider the design of a family of LEP SLNCs for a fixed rate and a flexible security level. We present a novel and efficient approach for constructing upon an SLNC that exists an LEP SLNC with the same rate and the security level increased by one. Next, we consider the design of a family of LEP SLNCs for a fixed dimension (equal to the sum of rate and security level) and a flexible pair of rate and security level. We propose another novel approach for designing an SLNC such that the same SLNC can be applied for all the rate and security-level pairs with the fixed dimension. Also, two polynomial-time algorithms are developed for efficient implementations of our two approaches, respectively. Furthermore, we prove that both approaches do not incur any penalty on the required field size for the existence of SLNCs in terms of the best known lower bound by Guang and Yeung. Finally, we consider the ultimate problem of designing a family of LEP SLNCs that can be applied to all possible pairs of rate and security level. By combining the construction of a family of LEP SLNCs for a fixed security level and a flexible rate (obtained in Part I) with the constructions of the two families of LEP SLNCs in the current paper in suitable ways, we can obtain a family of LEP SLNCs that can be applied for all possible pairs of rate and security level. Three possible such constructions are presented.


title: Towards digitalisation of summative and formative assessments in academic teaching of statistics

abstract: Web-based systems for assessment or homework are commonly used in many different domains. Several studies show that these systems can have positive effects on learning outcomes. Many research efforts also have made these systems quite flexible with respect to different item formats and exercise styles. However, there is still a lack of support for complex exercises in several domains at university level. Although there are systems that allow for quite sophisticated operations for generating exercise contents, there is less support for using similar operations for evaluating students' input and for feedback generation. This paper elaborates on filling this gap in the specific case of statistics. We present both the conceptional requirements for this specific domain as well as a fully implemented solution. Furthermore, we report on using this solution for formative and summative assessments in lectures with large numbers of participants at a big university.


title: Particle-in-cell and weak turbulence simulations of plasma emission

abstract: The plasma emission process, which is the mechanism for solar type II and type III radio bursts phenomena, is studied by means of particle-in-cell and weak turbulence simulation methods. By plasma emission, it is meant as a loose description of a series of processes, starting from the solar flare associated electron beam exciting Langmuir and ion-acoustic turbulence, and subsequent partial conversion of beam energy into the radiation energy by nonlinear processes. Particle-in-cell (PIC) simulation is rigorous but the method is computationally intense, and it is difficult to diagnose the results. Numerical solution of equations of weak turbulence (WT) theory, termed WT simulation, on the other hand, is efficient and naturally lends itself to diagnostics since various terms in the equation can be turned on or off. Nevertheless, WT theory is based upon a number of assumptions. It is, therefore, desirable to compare the two methods, which is carried out for the first time in the present paper with numerical solutions of the complete set of equations of the WT theory and with two-dimensional electromagnetic PIC simulation. Upon making quantitative comparisons it is found that WT theory is largely valid, although some discrepancies are also found. The present study also indicates that it requires large computational resources in order to accurately simulate the radiation emission processes, especially for low electron beam speeds. Findings from the present paper thus imply that both methods may be useful for the study of solar radio emissions as they are complementary.


title: Left ideals of Banach algebras and dual Banach algebras

abstract: We investigate topologically left Noetherian Banach algebras. We show that if $G$ is a compact group, then $L^{\, 1}(G)$ is topologically left Noetherian if and only if $G$ is metrisable. We prove that, given a Banach space $E$ such that $E'$ has BAP, the algebra of compact operators $\mathcal{K}(E)$ is topologically left Noetherian if and only if $E'$ is separable; it is topologically right Noetherian if and only if $E$ is separable. We then give some examples of dual Banach algebras which are topologically left Noetherian in the weak*-topology. Finally we give a unified approach to classifying the weak*-closed left ideals of certain dual Banach algebras that are also multiplier algebras, with applications to $M(G)$ for $G$ a compact group, and $\mathcal{B}(E)$ for $E$ a reflexive Banach space with AP.


title: DeepChannel: Salience Estimation by Contrastive Learning for Extractive Document Summarization

abstract: We propose DeepChannel, a robust, data-efficient, and interpretable neural model for extractive document summarization. Given any document-summary pair, we estimate a salience score, which is modeled using an attention-based deep neural network, to represent the salience degree of the summary for yielding the document. We devise a contrastive training strategy to learn the salience estimation network, and then use the learned salience score as a guide and iteratively extract the most salient sentences from the document as our generated summary. In experiments, our model not only achieves state-of-the-art ROUGE scores on CNN/Daily Mail dataset, but also shows strong robustness in the out-of-domain test on DUC2007 test set. Moreover, our model reaches a ROUGE-1 F-1 score of 39.41 on CNN/Daily Mail test set with merely $1 / 100$ training set, demonstrating a tremendous data efficiency.


title: Parameter estimation of wormholes beyond the Heisenberg limit

abstract: We propose to exploit the quantum properties of nonlinear media to estimate the parameters of massless wormholes. The spacetime curvature produces a change in length with respect to Minkowski spacetime that can be estimated in principle with an interferometer. We use quantum metrology techniques to show that the sensitivity is improved with nonlinear media and propose a nonlinear Mach-Zehnder interferometer to estimate the parameters of massless wormholes that scales beyond the Heisenberg limit.


title: A Bit Too Much? High Speed Imaging from Sparse Photon Counts

abstract: Recent advances in photographic sensing technologies have made it possible to achieve light detection in terms of a single photon. Photon counting sensors are being increasingly used in many diverse applications. We address the problem of jointly recovering spatial and temporal scene radiance from very few photon counts. Our ConvNet-based scheme effectively combines spatial and temporal information present in measurements to reduce noise. We demonstrate that using our method one can acquire videos at a high frame rate and still achieve good quality signal-to-noise ratio. Experiments show that the proposed scheme performs quite well in different challenging scenarios while the existing approaches are unable to handle them.


title: The dark side of fuzzball geometries

abstract: Black holes absorb any particle impinging with an impact parameter below a critical value. We show that 2- and 3-charge fuzzball geometries exhibit a similar trapping behaviour for a selected choice of the impact parameter of incoming massless particles. This suggests that the blackness property of black holes arises as a collective effect whereby each micro-state absorbs a specific channel.


title: First Order Alternation

abstract: We introduce first order alternating automata, a generalization of boolean alternating automata, in which transition rules are described by multisorted first order formulae, with states and internal variables given by uninterpreted predicate terms. The model is closed under union, intersection and complement, and its emptiness problem is undecidable, even for the simplest data theory of equality. To cope with this limitation, we develop an abstraction refinement semi-algorithm based on lazy annotation of the symbolic execution paths with interpolants, obtained by applying (i) quantifier elimination with witness term generation and (ii) Lyndon interpolation in the quantifier-free data theory with uninterpreted predicate symbols. This provides a method for checking inclusion of timed and finite-memory register automata, and emptiness of quantified predicate automata, previously used in the verification of parameterized concurrent programs, composed of replicated threads, with a shared-memory communication model.


title: Subspaces that can and cannot be the kernel of a bounded operator on a Banach space

abstract: Given a Banach space $E$, we ask which closed subspaces may be realised as the kernel of a bounded operator $E \rightarrow E$. We prove some positive results which imply in particular that when $E$ is separable every closed subspace is a kernel. Moreover, we show that there exists a Banach space $E$ which contains a closed subspace that cannot be realized as the kernel of any bounded operator on $E$. This implies that the Banach algebra $\mathcal{B}(E)$ of bounded operators on $E$ fails to be weak*-topologically left Noetherian. The Banach space $E$ that we use is the dual of Wark's non-separable, reflexive Banach space with few operators.


title: Quantum coherence thermal transistors

abstract: Coherent control of self-contained quantum systems offers the possibility to fabricate smallest thermal transistors. The steady coherence created by the delocalization of electronic excited states arouses nonlinear heat transports in non-equilibrium environment. Applying this result to a three-level quantum system, we show that quantum coherence gives rise to negative differential thermal resistances, making the thermal transistor suitable for thermal amplification. The results show that quantum coherence facilitates efficient thermal signal processing and can open a new field in the application of quantum thermal management devices.


title: Toward low-latency coincident precessing and coherent aligned-spin gravitational-wave searches of compact binary coalescences with particle swarm optimization

abstract: We investigate the use of particle swarm optimization (PSO) algorithm for detection of gravitational-wave signals from compact binary coalescences. We show that the PSO is fast and effective in searching for gravitational wave signals. The PSO-based aligned-spin coincident multi-detector search recovers appreciably more gravitational-wave signals, for a signal-to-noise ratio (SNR) of 10, the PSO based aligned-spin search recovers approximately 26 $\%$ more events as compared to the template bank searches. The PSO-based aligned-spin coincident search uses 48k matched-filtering operations, and provides a better parameter estimation accuracy at the detection stage, as compared to the PyCBC template-bank search in LIGO's second observation run (O2) with 400k template points. We demonstrate an effective PSO-based precessing coincident search with 320k match-filtering operations per detector. We present results of an all-sky aligned-spin coherent search with 576k match-filtering operations per detector, for some examples of two-, three-, and four-detector networks constituting of the LIGO detectors in Hanford and Livingston, Virgo and KAGRA. Techniques for background estimation that are applicable to real data for PSO-based coincident and coherent searches are also presented.


title: Realisation of Highly Precise and Low Power Tunable Voltage Amplifier Based on the Translinear Circuit Scheme of CCCII+

abstract: In the past few years, advancements in the field of nano circuit design has become tougher than the demand. Low power devices have emerged tremendously.Both voltage mode aswell as current mode devices have proven alternative to each other for satisfying the demand of the growing market. As such, current conveyors have equitably established their uniqueness as an important circuit design element. The literature available to us during the few years in the field of analog VLSI design, quotes a huge number of application elements based on current conveyors. Likely, in this paper, a new tunable low power voltage amplifier based on the translinear circuit scheme of second generation current controlled current conveyor has been proposed. The modeling of the circuit presented in this paper employs the minimum number of passive elements. The magnitude of the tuning or the amplitude of the voltage presented here, is being controlled by means of two variable resistors. Current conveyor second generation translinear circuit scheme is taken into consideration to implement the proposed tunable voltage amplifier. CCCII works on the outlines of low power and low voltage design. Tunable voltage amplifiers find use in analog as well as in digital signal processing applications.


title: Architecture of Distributed Data Storage for Astroparticle Physics

abstract: For the successful development of the astrophysics and, accordingly, for obtaining more complete knowledge of the Universe, it is extremely important to combine and comprehensively analyze information of various types (e.g., about charged cosmic particles, gamma rays, neutrinos, etc.) obtained by using divers large-scale experimental setups located throughout the world. It is obvious that all kinds of activities must be performed continually across all stages of the data life cycle to help support effective data management, in particular, the collection and storage of data, its processing and analysis, refining the physical model, making preparations for publication, and data reprocessing taking refinement into account. In this paper we present a general approach to construction and the architecture of a system to be able to collect, store, and provide users' access to astrophysical data. We also suggest a new approach to the construction of a metadata registry based on the blockchain technology.


title: The CDE property for skew vexillary permutations

abstract: We prove a conjecture of Reiner, Tenner, and Yong which says that the initial weak order intervals corresponding to certain vexillary permutations have the coincidental down-degree expectations (CDE) property. Actually our theorem applies more generally to certain "skew vexillary" permutations (a notion we introduce), and shows that these posets are in fact "toggle CDE." As a corollary we obtain a homomesy result for rowmotion acting on semidistributive lattices in the sense of Barnard and of Thomas and Williams.


title: Canonical orientations for moduli spaces of $G_2$-instantons with gauge group SU(m) or U(m)

abstract: Suppose $(X, g)$ is a compact, spin Riemannian 7-manifold, with Dirac operator $D$. Let $G$ be SU$(m)$ or U$(m)$, and $E\to X$ be a rank $m$ complex bundle with $G$-structure. Write ${\mathcal B}_E$ for the infinite-dimensional moduli space of connections on $E$, modulo gauge. There is a natural principal ${\mathbb Z}_2$-bundle $O^D_E\to{\mathcal B}_E$ parametrizing orientations of det$\,D_{{\rm Ad }A}$ for twisted elliptic operators $D_{{\rm Ad }A}$ at each $[A]$ in ${\mathcal B}_E$. A theorem of Walpuski shows $O^D_E$ is trivializable. We prove that if we choose an orientation for det$\,D$, and a flag structure on X in the sense of Joyce arXiv:1610.09836, then we can define canonical trivializations of $O^D_E$ for all such bundles $E\to X$, satisfying natural compatibilities. Now let $(X,\varphi,g)$ be a compact $G_2$-manifold, with d$(*\varphi)=0$. Then we can consider moduli spaces ${\mathcal M}_E^{G_2}$ of $G_2$-instantons on $E\to X$, which are smooth manifolds under suitable transversality conditions, and derived manifolds in general, with ${\mathcal M}_E^{G_2}\subset{\mathcal B}_E$. The restriction of $O^D_E$ to ${\mathcal M}_E^{G_2}$ is the ${\mathbb Z}_2$-bundle of orientations on ${\mathcal M}_E^{G_2}$. Thus, our theorem induces canonical orientations on all such $G_2$-instanton moduli spaces ${\mathcal M}_E^{G_2}$. This contributes to the Donaldson-Segal programme arXiv:0902.3239, which proposes defining enumerative invariants of $G_2$-manifolds $(X,\varphi,g)$ by counting moduli spaces ${\mathcal M}_E^{G_2}$, with signs depending on a choice of orientation. This paper is a sequel to Joyce-Tanaka-Upmeier arXiv:1811.01096, which develops the general theory of orientations on gauge-theoretic moduli spaces, and gives applications in dimensions 3,4,5 and 6. A third paper Cao-Gross-Joyce arXiv:1811.09658 studies orientations on moduli spaces in dimension 8.


title: User Specific Adaptation in Automatic Transcription of Vocalised Percussion

abstract: The goal of this work is to develop an application that enables music producers to use their voice to create drum patterns when composing in Digital Audio Workstations (DAWs). An easy-to-use and user-oriented system capable of automatically transcribing vocalisations of percussion sounds, called LVT - Live Vocalised Transcription, is presented. LVT is developed as a Max for Live device which follows the `segment-and-classify' methodology for drum transcription, and includes three modules: i) an onset detector to segment events in time; ii) a module that extracts relevant features from the audio content; and iii) a machine-learning component that implements the k-Nearest Neighbours (kNN) algorithm for the classification of vocalised drum timbres. Due to the wide differences in vocalisations from distinct users for the same drum sound, a user-specific approach to vocalised transcription is proposed. In this perspective, a given end-user trains the algorithm with their own vocalisations for each drum sound before inputting their desired pattern into the DAW. The user adaption is achieved via a new Max external which implements Sequential Forward Selection (SFS) for choosing the most relevant features for a given set of input drum sounds.


title: A Non-Perturbative Loop Quantum Gravity

abstract: This article is an extended version of the peer-reviewed publication; Moffat and Wang, J Phys Math 2018, 9:4 DOI: 10.4172/2090-0902.1000289 The article sets out to address a number of issues concerning Loop Quantum Gravity raised by Ashtekar, such as in a recent post to Arxiv.org (A Ashtekar Arxiv:gr-qc /0702030 v 2.0 May 2007). These include, for example, conditions for the existence of Poincare invariant quantum states. In doing so, this article provides a coherent mathematical framework for both the evolution of space-time and the supersymmetric graviton in the early universe. In this extended form, it is mnhopefully more accessible to research students at the advanced undergraduate level and beginning doctoral level. The key extensions are: a. An explicit cohomology based link between movement across a computational spin network and a dimensioned embedding of the network to produce equivalent movement along a discrete path in space-time; b). A discussion of the implications for quantum ergodic theory and black hole dynamics.


title: First-Order Phase Transition by XY Model of Particle Dynamics

abstract: A gas-liquid type of phase transition is found based on the particle dynamics on radius-$R$ circle in which the coordinate appears as the angle-variable of 1D XY-model. Due to the specific appearance of compact-space radius (volume) in the present interpretation of XY-model, the ground-state develops a minimum at some critical radius, leading to the multi-valued Gibbs energy similar to systems with first-order phase transition.


title: Boundary value problems of elliptic operators and reduction to the boundary techniques

abstract: We study properties of pseudodifferential operators which arise in their use in boundary value problems. Smooth domains as well as intersections of smooth domains are considered.


title: Macroscopic Virtual Particles Exist

abstract: Virtual particles expected to occur in microscopic processes as they are introduced, for instance by Feynman in the Quantum Electro Dynamics, as photons performing in an anonymous way in the interaction between two electrons. This note describes macroscopic virtual particles as they appear in classical evanescent modes and in quantum mechanical tunneling particles. Remarkably, these large virtual particles are present in wave mechanics of elastic, electromagnetic, and Schr\"odinger fields.


title: An audio-only method for advertisement detection in broadcast television content

abstract: We address the task of advertisement detection in broadcast television content. While typically approached from a video-only or audio-visual perspective, we present an audio-only method. Our approach centres on the detection of short silences which exist at the boundaries between programming and advertising, as well as between the advertisements themselves. To identify advertising regions we first locate all points within the broadcast content with very low signal energy. Next, we use a multiple linear regression model to reject non-boundary silences based on features extracted from the local context immediately surrounding the silence. Finally, we determine the advertising regions based on the long-term grouping of detected boundary silences. When evaluated over a 26 hour annotated database covering national and commercial Portuguese television channels we obtain a Matthews correlation coefficient in excess of 0.87 and outperform a freely available audio-visual approach.


title: Phase sensitivity of a Mach-Zehnder interferometer with single-intensity and difference-intensity detection

abstract: Interferometry is a widely-used technique for precision measurements in both classical and quantum contexts. One way to increase the precision of phase measurements, for example in a Mach-Zehnder interferometer (MZI), is to use high-intensity lasers. In this paper we study the phase sensitivity of a MZI in two detection setups (difference intensity detection and single-mode intensity detection) and for three input scenarios (coherent, double coherent and coherent plus squeezed vacuum). For the coherent and double coherent input, both detection setups can reach the quantum Cramer-Rao bound, although at different values of the optimal phase shift. The double coherent input scenario has the unique advantage of changing the optimal phase shift by varying the input power ratio.


title: Low-Rank Tensor Modeling for Hyperspectral Unmixing Accounting for Spectral Variability

abstract: Traditional hyperspectral unmixing methods neglect the underlying variability of spectral signatures often observed in typical hyperspectral images (HI), propagating these missmodeling errors throughout the whole unmixing process. Attempts to model material spectra as members of sets or as random variables tend to lead to severely ill-posed unmixing problems. Although parametric models have been proposed to overcome this drawback by handling endmember variability through generalizations of the mixing model, the success of these techniques depend on employing appropriate regularization strategies. Moreover, the existing approaches fail to adequately explore the natural multidimensinal representation of HIs. Recently, tensor-based strategies considered low-rank decompositions of hyperspectral images as an alternative to impose low-dimensional structures on the solutions of standard and multitemporal unmixing problems. These strategies, however, present two main drawbacks: 1) they confine the solutions to low-rank tensors, which often cannot represent the complexity of real-world scenarios; and 2) they lack guarantees that endmembers and abundances will be correctly factorized in their respective tensors. In this work, we propose a more flexible approach, called ULTRA-V, that imposes low-rank structures through regularizations whose strictness is controlled by scalar parameters. Simulations attest the superior accuracy of the method when compared with state-of-the-art unmixing algorithms that account for spectral variability.


title: Copula-based robust optimal block designs

abstract: Blocking is often used to reduce known variability in designed experiments by collecting together homogeneous experimental units. A common modelling assumption for such experiments is that responses from units within a block are dependent. Accounting for such dependencies in both the design of the experiment and the modelling of the resulting data when the response is not normally distributed can be challenging, particularly in terms of the computation required to find an optimal design. The application of copulas and marginal modelling provides a computationally efficient approach for estimating population-average treatment effects. Motivated by an experiment from materials testing, we develop and demonstrate designs with blocks of size two using copula models. Such designs are also important in applications ranging from microarray experiments to experiments on human eyes or limbs with naturally occurring blocks of size two. We present methodology for design selection, make comparisons to existing approaches in the literature and assess the robustness of the designs to modelling assumptions.


title: Definitive General Proof of Goldbach's conjecture

abstract: The Goldbach conjecture states that every even integer is the sum of two primes. This conjecture was proposed in 1742 and, despite being obviously true, has remained unproven. To prove this conjecture, I have identified a subset of the even numbers that have relatively few prime pairs compared to the other even numbers. This subset is the set of all n such that n=2p where p is prime. An equation was derived that determines the number of prime pairs for n=2p. It is then proven that the equation never goes to zero for any n, and as n increases, the number of prime pairs also increases, thus validating Goldbach's conjecture.


title: Bivariate polynomial injections and elliptic curves

abstract: For every number field $k$, we construct an affine algebraic surface $X$ over $k$ with a Zariski dense set of $k$-rational points, and a regular function $f$ on $X$ inducing an injective map $X(k)\to k$ on $k$-rational points. In fact, given any elliptic curve $E$ of positive rank over $k$, we can take $X=V\times V$ with $V$ a suitable affine open set of $E$. The method of proof combines value distribution theory for complex holomorphic maps with results of Faltings on rational points in sub-varieties of abelian varieties.


title: Universality for persistence exponents of local times of self-similar processes with stationary increments

abstract: We show that $\mathbb{P} ( \ell_X(0,T] \leq 1)=(c_X+o(1))T^{-(1-H)}$, where $\ell_X$ is the local time measure at $0$ of any recurrent $H$-self-similar real-valued process $X$ with stationary increments that admits a sufficiently regular local time and $c_X$ is some constant depending only on $X$. A special case is the Gaussian setting, i.e. when the underlying process is fractional Brownian motion, in which our result settles a conjecture by Molchan [Commun. Math. Phys. 205, 97-111 (1999)] who obtained the upper bound $1-H$ on the decay exponent of $\mathbb{P} ( \ell_X(0,T] \leq 1)$. Our approach establishes a new connection between persistence probabilities and Palm theory for self-similar random measures, thereby providing a general framework which extends far beyond the Gaussian case.


title: On the Riemann-Hardy hypothesis for the Ramanujan zeta function

abstract: The Ramanujan zeta function was in $1916$ proposed by an Indian mathematician Srinivasa Ramanujan. As an analogue of the Riemann hypothesis, an English mathematician Godfrey Harold Hardy proposed in $1940$ that the real part of all complex zeros of the Ramanujan zeta function is $6$. This is the well-known Riemann-Hardy hypothesis for the Ramanujan zeta function. This article is devoted to the proof of this hypothesis derived from the Ramanujan-Rankin function. Owing to the integral representation of the Ramanujan-De Bruijn function, we establish its series. We also reduce its product using the Hadamard's factorization theorem. By a class with its series and product representations, we conclude that the real part of all zeros for Ramanujan-De Bruijn function is zero. we also obtain its products of Conrey and Ghosh and Hadamard-type for the Ramanujan-Rankin function. Based on the obtained result, we prove that the Riemann-Hardy hypothesis is true.


title: Anisotropic diffusion and the cosmic ray anisotropy

abstract: We argue that the diffusion of cosmic rays in the Galactic magnetic field has to be strongly anisotropic. As a result, the number of CR sources contributing to the local CR flux is reduced by a factor $\sim 200$. The CR density is therefore less smooth, and the contribution of individual sources to the CR dipole anisotropy becomes more prominent. In the case of anisotropic diffusion, the observed plateau in the CR dipole anisotropy around 2-20 TeV can be explained by a 2-3 Myr old CR source which dominates the local CR flux in this energy range.


title: List Coloring a Cartesian Product with a Complete Bipartite Factor

abstract: We study the list chromatic number of the Cartesian product of any graph $G$ and a complete bipartite graph with partite sets of size $a$ and $b$, denoted $\chi_\ell(G \square K_{a,b})$. We have two motivations. A classic result on the gap between list chromatic number and the chromatic number tells us $\chi_\ell(K_{a,b}) = 1 + a$ if and only if $b \geq a^a$. Since $\chi_\ell(K_{a,b}) \leq 1 + a$ for any $b \in \mathbb{N}$, this result tells us the values of $b$ for which $\chi_\ell(K_{a,b})$ is as large as possible and far from $\chi(K_{a,b})=2$. In this paper we seek to understand when $\chi_\ell(G \square K_{a,b})$ is far from $\chi(G \square K_{a,b}) = \max \{\chi(G), 2 \}$. It is easy to show $\chi_\ell(G \square K_{a,b}) \leq \chi_\ell (G) + a$. In 2006, Borowiecki, Jendrol, Kr\'al, and Miskuf showed that this bound is attainable if $b$ is sufficiently large; specifically, $\chi_\ell(G \square K_{a,b}) = \chi_\ell (G) + a$ whenever $b \geq (\chi_\ell(G) + a - 1)^{a|V(G)|}$. Given any graph $G$ and $a \in \mathbb{N}$, we wish to determine the smallest $b$ such that $\chi_\ell(G \square K_{a,b}) = \chi_\ell (G) + a$. In this paper we show that the list color function, a list analogue of the chromatic polynomial, provides the right concept and tool for making progress on this problem. Using the list color function, we prove a general improvement on Borowiecki et al.'s 2006 result, and we compute the smallest such $b$ exactly for some large families of chromatic-choosable graphs.


title: On the Turnpike Property and the Receding-Horizon Method for Linear-Quadratic Optimal Control Problems

abstract: Optimal control problems with a very large time horizon can be tackled with the Receding Horizon Control (RHC) method, which consists in solving a sequence of optimal control problems with small prediction horizon. The main result of this article is the proof of the exponential convergence (with respect to the prediction horizon) of the control generated by the RHC method towards the exact solution of the problem. The result is established for a class of infinite-dimensional linear-quadratic optimal control problems with time-independent dynamics and integral cost. Such problems satisfy the turnpike property: the optimal trajectory remains most of the time very close to the solution to the associated static optimization problem. Specific terminal cost functions, derived from the Lagrange multiplier associated with the static optimization problem, are employed in the implementation of the RHC method.


title: Dirichlet to Neumann operators and the $\overline{\partial}$-Neumann problem

abstract: We study the Dirichlet to Neumann operator of the $\overline{\partial}$-Neumann problem, and the relation between the $\overline{\partial}$-Neumann boundary conditions and the Dirichlet to Neumann operator.


title: New Fundamental Formulas of Image Restoration in Spatial and Frequency Domains

abstract: Circular convolutions and the corresponding frequency domain formula are fundamentally important in image restoration; however, in this paper, we'll prove that the usual computing method of circular convolutions violates the physical meaning of blur producing. Especially for the image restoration algorithms in frequency domain, this violation will affect the restoration result. Relevant problems are proved rigorously and modified formulas are given in both spatial and frequency domains. Experiments are done to show the effects of new formulas. For clarity of proving, the one-dimensional case is dealt with first, which may be useful in one-dimensional signal processing.


title: Far-field radiation of electric and toroidal dipoles in loss-less non-magnetic dielectric medium with refractive index n

abstract: Using simple classical treatment it is shown that the power emitted by the electric and toroidal dipoles scales differently with the refractive index of the surrounding environment.


title: FPT-algorithms for computing Gromov-Hausdorff and interleaving distances between trees

abstract: Gromov-Hausdorff (GH) distance is a natural way to measure the distortion between two metric spaces. However, there has been only limited algorithmic development to compute or approximate this distance. We focus on computing the Gromov-Hausdorff distance between two metric trees. Roughly speaking, a metric tree is a metric space that can be realized by the shortest path metric on a tree. Previously, Agarwal et al. showed that even for trees with unit edge length, it is NP hard to approximate the GH distance between them within a factor of 3. In this paper, we present a fixed-parameter tractable (FPT) algorithm that can approximate the GH distance between two general metric trees within a factor of 14. Interestingly, the development of our algorithm is made possible by a connection between the GH distance for metric trees and the interleaving distance for the so-called merge trees. The merge trees arise in practice naturally as a simple yet meaningful topological summary, and are of independent interest. It turns out that an exact or approximation algorithm for the interleaving distance leads to an approximation algorithm for the Gromov-Hausdorff distance. One of the key contributions of our work is that we re-define the interleaving distance in a way that makes it easier to develop dynamic programming approaches to compute it. We then present a FPT algorithm to compute the interleaving distance between two merge trees exactly, which ultimately leads to an FPT-algorithm to approximate the GH distance between two metric trees. This exact FPT-algorithm to compute the interleaving distance between merge trees is of interest itself, as it is known that it is NP-hard to approximate it within a factor of 3, and previously the best known algorithm has an approximation factor of $O(\sqrt{n})$ even for trees with unit edge length.


title: The Effect of the Terminal Penalty in Receding Horizon Control for a Class of Stabilization Problems

abstract: The Receding Horizon Control (RHC) strategy consists in replacing an infinite-horizon stabilization problem by a sequence of finite-horizon optimal control problems, which are numerically more tractable. The dynamic programming principle ensures that if the finite-horizon problems are formulated with the exact value function as a terminal penalty function, then the RHC method generates an optimal control. This article deals with the case where the terminal cost function is chosen as a cut-off Taylor approximation of the value function. The main result is an error rate estimate for the control generated by such a method, when compared with the optimal control. The obtained estimate is of the same order as the employed Taylor approximation and decreases at an exponential rate with respect to the prediction horizon. To illustrate the methodology, the article focuses on a class of bilinear optimal control problems in infinite-dimensional Hilbert spaces.


title: A Unified Adaptive Tensor Approximation Scheme to Accelerate Composite Convex Optimization

abstract: In this paper, we propose a unified two-phase scheme to accelerate any high-order regularized tensor approximation approach on the smooth part of a composite convex optimization model. The proposed scheme has the advantage of not needing to assume any prior knowledge of the Lipschitz constants for the gradient, the Hessian and/or high-order derivatives. This is achieved by tuning the parameters used in the algorithm \textit{adaptively} in its process of progression, which has been successfully incorporated in high-order nonconvex optimization (CartisGouldToint2018, Birgin-Gardenghi-Martinez-Santos-Toint-2017). In general, we show that the adaptive high-order method has an iteration bound of $O\left( 1 / \epsilon^{1/(p+1)} \right)$ if the first $p$-th order derivative information is used in the approximation, which has the same iteration complexity as in that of the nonadaptive version in (Baes-2009, Nesterov-2018) where the Lipschitz constants are assumed to be known and the subproblems are assumed to be solved exactly. Thus, our results partially address the problem of incorporating adaptive strategies into the high-order {\it accelerated} methods raised by Nesterov in (Nesterov-2018), although our strategies cannot assure the convexity of the auxiliary problem and such adaptive strategies are already popular in high-order nonconvex optimization (CartisGouldToint2018, Birgin-Gardenghi-Martinez-Santos-Toint-2017). Our numerical experiment results show a clear effect of real acceleration displayed in the adaptive Newton's method with cubic regularization on a set of regularized logistic regression instances.


title: Rigid potentials for cluster algebras from double Bruhat cells

abstract: Buan, Iyama, Reiten and Smith proved that the superpotential of a quiver corresponding to an element of Coxeter group is rigid. In this paper, we extend this result to the Berenstein-Fomin-Zelevinsky quivers corresponding to double Bruhat cells of symmetric Kac-Moody algebras. We also realize these quivers as dimers models on cylinder over corresponding graphs.


title: Automatic Repair of Real Bugs in Java: A Large-Scale Experiment on the Defects4J Dataset

abstract: Defects4J is a large, peer-reviewed, structured dataset of real-world Java bugs. Each bug in Defects4J comes with a test suite and at least one failing test case that triggers the bug. In this paper, we report on an experiment to explore the effectiveness of automatic test-suite based repair on Defects4J. The result of our experiment shows that the considered state-of-the-art repair methods can generate patches for 47 out of 224 bugs. However, those patches are only test-suite adequate, which means that they pass the test suite and may potentially be incorrect beyond the test-suite satisfaction correctness criterion. We have manually analyzed 84 different patches to assess their real correctness. In total, 9 real Java bugs can be correctly repaired with test-suite based repair. This analysis shows that test-suite based repair suffers from under-specified bugs, for which trivial or incorrect patches still pass the test suite. With respect to practical applicability, it takes on average 14.8 minutes to find a patch. The experiment was done on a scientific grid, totaling 17.6 days of computation time. All the repair systems and experimental results are publicly available on Github in order to facilitate future research on automatic repair.


title: Energy scale of nematic ordering in the parent iron-based superconductor:BaFe2As2

abstract: Nematicity plays an important role in the physics of iron-based superconductors (IBS). Its microscopic origin and in particular its importance for the mechanism of high-temperature superconductivity itself are highly debated. A crucial knowledge in this regard is the degree to which the nematic order influences the electronic structure of these materials. Earlier angle-resolved photoemission spectroscopy (ARPES) studies found that the effect is dramatic in three families of IBS including 11, 111 and 122 compounds: energy splitting reaches 70 meV and Fermi surface becomes noticeably distorted. More recent experiments, however, reported significantly lower energy scale in 11 and 111 families, thus questioning the degree and universality of the impact of nematicity on the electronic structure of IBS. Here we revisit the electronic structure of undoped parent BaFe2As2 (122 family). Our systematic ARPES study including the detailed temperature and photon energy dependencies points to the significantly smaller energy scale also in this family of materials, thus establishing the universal scale of this phenomenon in IBS. Our results form a necessary quantitative basis for theories of high-temperature superconductivity focused on the nematicity.


title: Cohomology and deformations of module homorphisms

abstract: In this paper, we mainly focus on formal deformation theory of module homomorphisms. We first introduce the cohomology of module homomorphisms and study formal one-parameter deformation. We obtain some properties about obstructions. Then we give some examples of deformations of modules and module homomorphisms.


title: Skew scattering dominated anomalous Nernst effect in monovalent cation doped bulk La1-xNaxMnO3

abstract: We report the anomalous Nernst effect (ANE), i.e. creation of electrical voltage transverse to the direction of applied temperature gradient and magnetic field in bulk samples of La1-xNaxMnO3 (x = 0.02, 0.05, 0.1 and 0.3) whose ferromagnetic Cure temperature(TC) varies from 251 K for x = 0.02 to 310 K for x = 0.3. We measured both the magnetic field and temperature dependences of ANE. While ANE is negligible much above TC, it increases rapidly at TC and exhibits a peak just below it. The field dependence of ANE closely follows magnetization. The maximum value of ANE at TC increases from x = 0.02 to 0.1, but decreases significantly for x = 0.3. Besides ANE, we also measured dc resistivity and longitudinal Seebeck coefficient as a function of temperature and used these data to analyze our results. Our data analysis indicates that skew scattering is the main source of the ANE in these oxides.


title: Some exceptional extensions of Virasoro vertex operator algebras

abstract: In this paper, extensions of nonunitary rational Virasoro vertex operator algebras corresponding to some exceptional modular invariants are constructed. The uniqueness of these extensions is also established.


title: Tensor Berry connections and their topological invariants

abstract: The Berry connection plays a central role in our description of the geometric phase and topological phenomena. In condensed matter, it describes the parallel transport of Bloch states and acts as an effective "electromagnetic" vector potential defined in momentum space. Inspired by developments in mathematical physics, where higher-form (Kalb-Ramond) gauge fields were introduced, we hereby explore the existence of "tensor Berry connections" in quantum matter. Our approach consists in a general construction of effective gauge fields, which we ultimately relate to the components of Bloch states. We apply this formalism to various models of topological matter, and we investigate the topological invariants that result from generalized Berry connections. For instance, we introduce the 2D Zak phase of a tensor Berry connection, which we then relate to the more conventional first Chern number; we also reinterpret the winding number characterizing 3D topological insulators to a Dixmier-Douady invariant, which is associated with the curvature of a tensor connection. Besides, our approach identifies the Berry connection of tensor monopoles, which are found in 4D Weyl-type systems [Palumbo and Goldman, Phys. Rev. Lett. 121, 170401 (2018)]. Our work sheds light on the emergence of gauge fields in condensed-matter physics, with direct consequences on the search for novel topological states in solid-state and quantum-engineered systems.

categories: cond-mat.mes-hall cond-mat.quant-gas hep-th quant-ph


title: WordNet-feelings: A linguistic categorisation of human feelings

abstract: In this article, we present the first in depth linguistic study of human feelings. While there has been substantial research on incorporating some affective categories into linguistic analysis (e.g. sentiment, and to a lesser extent, emotion), the more diverse category of human feelings has thus far not been investigated. We surveyed the extensive interdisciplinary literature around feelings to construct a working definition of what constitutes a feeling and propose 9 broad categories of feeling. We identified potential feeling words based on their pointwise mutual information with morphological variants of the word `feel' in the Google n-gram corpus, and present a manual annotation exercise where 317 WordNet senses of one hundred of these words were categorised as `not a feeling' or as one of the 9 proposed categories of feeling. We then proceeded to annotate 11386 WordNet senses of all these words to create WordNet-feelings, a new affective dataset that identifies 3664 word senses as feelings, and associates each of these with one of the 9 categories of feeling. WordNet-feelings can be used in conjunction with other datasets such as SentiWordNet that annotate word senses with complementary affective properties such as valence and intensity.


title: A Proof of Simon's Conjecture

abstract: We prove Simon's conjecture for 3-manifolds.


title: Diagrammatic morphisms between indecomposable modules of $\bar{U}_{q}(\mathfrak{sl}_{2})$

abstract: We give diagrammatic formulae for morphisms between indecomposable representations of $\bar{U}_{q}(\mathfrak{sl}_{2})$ appearing in the decomposition of $\mathbb{C}^{\otimes 2n}$, including projections and second endomorphisms on projective indecomposable representations.


title: Trainable Adaptive Window Switching for Speech Enhancement

abstract: This study proposes a trainable adaptive window switching (AWS) method and apply it to a deep-neural-network (DNN) for speech enhancement in the modified discrete cosine transform domain. Time-frequency (T-F) mask processing in the short-time Fourier transform (STFT)-domain is a typical speech enhancement method. To recover the target signal precisely, DNN-based short-time frequency transforms have recently been investigated and used instead of the STFT. However, since such a fixed-resolution short-time frequency transform method has a T-F resolution problem based on the uncertainty principle, not only the short-time frequency transform but also the length of the windowing function should be optimized. To overcome this problem, we incorporate AWS into the speech enhancement procedure, and the windowing function of each time-frame is manipulated using a DNN depending on the input signal. We confirmed that the proposed method achieved a higher signal-to-distortion ratio than conventional speech enhancement methods in fixed-resolution frequency domains.


title: Derivations of Group Algebras and Hochschild cohomology

abstract: The Hochschild homology and cohomology group can be described in terms of the homology and cohomology of the classifying space of the groupoid of the adjoint action of the group under the suitable assumption of the finiteness of the supports of cohomology groups. The difference between homology and cohomology leads to a correction of the results in the book by D. J. Benson (1995),(1991).


title: Gradual Type Theory (Extended Version)

abstract: Gradually typed languages are designed to support both dynamically typed and statically typed programming styles while preserving the benefits of each. While existing gradual type soundness theorems for these languages aim to show that type-based reasoning is preserved when moving from the fully static setting to a gradual one, these theorems do not imply that correctness of type-based refactorings and optimizations is preserved. Establishing correctness of program transformations is technically difficult, and is often neglected in the metatheory of gradual languages. In this paper, we propose an axiomatic account of program equivalence in a gradual cast calculus, which we formalize in a logic we call gradual type theory (GTT). Based on Levy's call-by-push-value, GTT gives an axiomatic account of both call-by-value and call-by-name gradual languages. We then prove theorems that justify optimizations and refactorings in gradually typed languages. For example, uniqueness principles for gradual type connectives show that if the $\beta\eta$ laws hold for a connective, then casts between that connective must be equivalent to the lazy cast semantics. Contrapositively, this shows that eager cast semantics violates the extensionality of function types. As another example, we show that gradual upcasts are pure and dually, gradual downcasts are strict. We show the consistency and applicability of our theory by proving that an implementation using the lazy cast semantics gives a logical relations model of our type theory, where equivalence in GTT implies contextual equivalence of the programs. Since GTT also axiomatizes the dynamic gradual guarantee, our model also establishes this central theorem of gradual typing. The model is parametrized by the implementation of the dynamic types, and so gives a family of implementations that validate type-based optimization and the gradual guarantee.


title: The Dirac equation in a Yang-Mills field as an equation for just one real function

abstract: Previously (A. Akhmeteli, J. Math. Phys., v. 52, p. 082303 (2011)), the Dirac equation in an arbitrary electromagnetic field was shown to be generally equivalent to a fourth-order equation for just one component of the four-component Dirac spinor function, and the remaining component can be made real by a gauge transformation. This work extends the result to the case of the Dirac equation in the Yang-Mills field.


title: When Greenberger, Horne and Zeilinger meet Wigner's Friend

abstract: A general argument is presented against relativistic, unitary, single-outcome quantum mechanics. This is achieved by combining the Wigner's Friend thought experiment with measurements on a Greenberger-Horne-Zeilinger (GHZ) state, and describing the evolution of the quantum state in various inertial frames. Assuming unitary quantum mechanics and single outcomes, the result is that the Born rule must be violated in some inertial frame: in that frame, outcomes are obtained for which no corresponding term exists in the pre-measurement wavefunction.


title: Meta Distribution of Downlink Non-Orthogonal Multiple Access (NOMA) in Poisson Networks

abstract: We study the meta distribution (MD) of the coverage probability (CP) in downlink non-orthogonal-multiple-access (NOMA) networks. Two schemes are assessed based on the location of the NOMA users: 1) anywhere in the network, 2) cell-center users only. The moments of the MD for both schemes are derived and the MD is approximated via the beta distribution. Closed-form moments are derived for the first scheme; for the second scheme exact and approximate moments, to simplify the integral calculation, are derived. We show that restricting NOMA to cell-center users provides significantly higher mean, lower variance and better percentile performance for the CP.


title: Length scales and eddy viscosities in turbulent free shear flows

abstract: In the present paper, we address the important point of the proportionality between the longitudinal integral lengthscale ($L$) and the characteristic mean flow width ($\delta$) using experimental data of an axisymmetric wake and a turbulent planar jet. This is a fundamental hypothesis when deriving the self-similar scaling laws in free shear flows, irrespective of turbulence dissipation scaling. We show that $L/\delta$ is indeed constant, at least in a range of streamwise distances between 15 and 50 times the characteristic inlet dimension ($L_{ref}$, nozzle width or wake generator size). Furthermore, we revisit turbulence closure models such as the Prandtl mixing length \cite{prandtl1925} and the constant eddy viscosity in the light of the non-equilibrium dissipation scalings. We show that the mixing length model, with $l_m\sim \delta$, does not comply with the scalings stemming from the non-equilibrium version of the theory; we instead obtain $l_m\sim \delta \sqrt{Re_G/Re_{0\delta}}$, where $Re_G$ and $Re_{0\delta}$ are a global and local Reynolds number, respectively. Similarly, the eddy viscosity model holds in the case of the non-equilibrium version of the theory provided that the eddy viscosity is constant everywhere, not only across sections orthogonal to the streamwise direction as in the equilibrium case. We conclude comparing the results of the different models with each other and with experimental data and with an improved model (following Townsend) that accounts for the intermittency of the flow and corrects for the eddy viscosity variation across the flow boundaries.


title: Jet collisions and vortex reversal in the human left ventricle

abstract: Unnatural dynamics of the notorious vortex in the left ventricle is often associated with cardiac disease. Understanding how different cardiac diseases alter the flow physics in the left ventricle may therefore provide a powerful tool for disease detection. In this work, the fluid dynamics in the left ventricle subject to different severities of aortic regurgitation is experimentally investigated by performing time-resolved particle image velocimetry in a left heart duplicator. Diastolic vortex reversal was observed in the left ventricle accompanied by an increase in viscous energy dissipation. Vortex dynamics and energy dissipation may provide useful insights on sub-optimal flow patterns in the left ventricle.


title: Knowledge and Blameworthiness

abstract: Blameworthiness of an agent or a coalition of agents is often defined in terms of the principle of alternative possibilities: for the coalition to be responsible for an outcome, the outcome must take place and the coalition should have had a strategy to prevent it. In this article we argue that in the settings with imperfect information, not only should the coalition have had a strategy, but it also should have known that it had a strategy, and it should have known what the strategy was. The main technical result of the article is a sound and complete bimodal logic that describes the interplay between knowledge and blameworthiness in strategic games with imperfect information.


title: Multi-Level Sensor Fusion with Deep Learning

abstract: In the context of deep learning, this article presents an original deep network, namely CentralNet, for the fusion of information coming from different sensors. This approach is designed to efficiently and automatically balance the trade-off between early and late fusion (i.e. between the fusion of low-level vs high-level information). More specifically, at each level of abstraction-the different levels of deep networks-uni-modal representations of the data are fed to a central neural network which combines them into a common embedding. In addition, a multi-objective regularization is also introduced, helping to both optimize the central network and the unimodal networks. Experiments on four multimodal datasets not only show state-of-the-art performance, but also demonstrate that CentralNet can actually choose the best possible fusion strategy for a given problem.


title: On an example of quiver DT/relative GW correspondence

abstract: We explain and generalize a recent result of Reineke-Weist by showing how to reduce it to the Gromov-Witten/Kronecker correspondence by a degeneration and blow-up. We also refine the result by working with all genera on the Gromov-Witten side and with refined Donaldson-Thomas invariants on the quiver side.


title: Predictability problem in dynamical systems and in chaotic climate dynamics

abstract: Predictability horizon properties of chaotic dynamical systems can be related to their spectral properties. It is shown, using this relationship, that the spectral properties of the leading large-scale climate daily indices indicate a smooth predictability: i.e. their intrinsic predictability horizons can be indefinitely extended by reducing the initial error. Special properties of the Madden-Julian Oscillation and some models (including ensemble weather forecasting) have been also discussed in this context.


title: Tensor norms on ordered normed spaces, polarization constants, and exchangeable distributions

abstract: We define new norms for symmetric tensors over ordered normed spaces; these norms are defined by considering linear combinations of tensor products or powers of positive elements only. Relations between the different norms are studied. The results are applied to the problem of representing a finitely exchangeable distribution as a mixture of powers, i.e, mixture of distributions of i.i.d. sequences, using a signed mixing measure.


title: Numerical study of flow patterns and heat transfer in mini twisted oval tubes

abstract: Flow patterns and heat transfer inside mini twisted oval tubes (TOTs) heated by constant-temperature walls are numerically investigated. Different configurations of tubes are simulated using water as the working fluid with temperature-dependent thermo-physical properties at Reynolds numbers ranging between 500 and 1100. After validating the numerical method with the published correlations and available experimental results, the performance of TOTs is compared to a smooth circular tube. The overall performance of TOTs is evaluated by investigating the thermal-hydraulic performance and the results are analyzed in terms of the field synergy principle and entropy generation. Enhanced heat transfer performance for TOTs is observed at the expense of a higher pressure drop. Additionally, the secondary flow generated by the tube-wall twist is concluded to play a critical role in the augmentation of convective heat transfer, and consequently, better heat transfer performance. It is also observed that the improvement of synergy between velocity and temperature gradient and lower irreversibility cause heat transfer enhancement for TOTs.


title: The Weyl bound for Dirichlet $L$-functions of cube-free conductor

abstract: We prove a Weyl-exponent subconvex bound for any Dirichlet $L$-function of cube-free conductor. We also show a bound of the same strength for certain $L$-functions of self-dual $\mathrm{GL}_2$ automorphic forms that arise as twists of forms of smaller conductor.


title: Non-equilibrium System as a Demon

abstract: Maxwell demons are creatures that are imagined to be able to reduce the entropy of a system without performing any work on it. Conventionally, such a Maxwell demon's intricate action consists of measuring individual particles and subsequently performing feedback. Here we show that much simpler setups can still act as demons: we demonstrate that it is sufficient to exploit a non-equilibrium distribution to seemingly break the second law of thermodynamics. We propose both an electronic and an optical implementation of this phenomenon, realizable with current technology.

categories: cond-mat.mes-hall cond-mat.stat-mech physics.optics quant-ph


title: Synaptic Strength For Convolutional Neural Network

abstract: Convolutional Neural Networks(CNNs) are both computation and memory intensive which hindered their deployment in mobile devices. Inspired by the relevant concept in neural science literature, we propose Synaptic Pruning: a data-driven method to prune connections between input and output feature maps with a newly proposed class of parameters called Synaptic Strength. Synaptic Strength is designed to capture the importance of a connection based on the amount of information it transports. Experiment results show the effectiveness of our approach. On CIFAR-10, we prune connections for various CNN models with up to 96% , which results in significant size reduction and computation saving. Further evaluation on ImageNet demonstrates that synaptic pruning is able to discover efficient models which is competitive to state-of-the-art compact CNNs such as MobileNet-V2 and NasNet-Mobile. Our contribution is summarized as following: (1) We introduce Synaptic Strength, a new class of parameters for CNNs to indicate the importance of each connections. (2) Our approach can prune various CNNs with high compression without compromising accuracy. (3) Further investigation shows, the proposed Synaptic Strength is a better indicator for kernel pruning compared with the previous approach in both empirical result and theoretical analysis.


title: On the Number of Order Types in Integer Grids of Small Size

abstract: Let $\{p_1,\dots,p_n\}$ and $\{q_1,\dots,q_n\}$ be two sets of $n$ labeled points in general position in the plane. We say that these two point sets have the same order type if for every triple of indices $(i,j,k)$, $p_k$ is above the directed line from $p_i$ to $p_j$ if and only if $q_k$ is above the directed line from $q_i$ to $q_j$. In this paper we give the first non-trivial lower bounds on the number of different order types of $n$ points that can be realized in integer grids of polynomial


title: Semantic Term "Blurring" and Stochastic "Barcoding" for Improved Unsupervised Text Classification

abstract: The abundance of text data being produced in the modern age makes it increasingly important to intuitively group, categorize, or classify text data by theme for efficient retrieval and search. Yet, the high dimensionality and imprecision of text data, or more generally language as a whole, prove to be challenging when attempting to perform unsupervised document clustering. In this thesis, we present two novel methods for improving unsupervised document clustering/classification by theme. The first is to improve document representations. We look to exploit "term neighborhoods" and "blur" semantic weight across neighboring terms. These neighborhoods are located in the semantic space afforded by "word embeddings." The second method is for cluster revision, based on what we deem as "stochastic barcoding", or "S- Barcode" patterns. Text data is inherently high dimensional, yet clustering typically takes place in a low dimensional representation space. Our method utilizes lower dimension clustering results as initial cluster configurations, and iteratively revises the configuration in the high dimensional space. We show with experimental results how both of the two methods improve the quality of document clustering. While this thesis elaborates on the two new conceptual contributions, a joint thesis by David Yan details the feature transformation and software architecture we developed for unsupervised document classification.


title: Tunneling on Wheeler Graphs

abstract: The Burrows-Wheeler Transform (BWT) is an important technique both in data compression and in the design of compact indexing data structures. It has been generalized from single strings to collections of strings and some classes of labeled directed graphs, such as tries and de Bruijn graphs. The BWTs of repetitive datasets are often compressible using run-length compression, but recently Baier (CPM 2018) described how they could be even further compressed using an idea he called tunneling. In this paper we show that tunneled BWTs can still be used for indexing and extend tunneling to the BWTs of Wheeler graphs, a framework that includes all the generalizations mentioned above.


title: On local scale invariance and the questionable theoretical basis of the conformal transformations' issue

abstract: Here we follow the mainstream of thinking about physical equivalence of different representations of a theory, regarded as the consequence of invariance of the laws of physics -- represented by an action principle and the derived motion equations -- under given transformations; be it coordinate, gauge or conformal transformations. Accordingly the conformal transformations' issue is discussed by invoking the assumed invariance of the laws of physics -- in particular the laws of gravity -- under conformal transformations of the metric. It is shown that Brans-Dicke and scalar-tensor theories are not well-suited to address physical equivalence of the conformal frames since the corresponding laws of gravity are not invariant under the conformal transformations or Weyl rescalings. The search for conformal symmetry leads us to explore the physical consequences of Weyl-invariant theories of gravity, that represent a natural arena where to discuss on physical equivalence of the conformally related representations. We show that conformal invariance of the action of a (supposedly conformal invariant) theory and of the derived motion equations is not enough to ensure actual Weyl invariance. It is required, also, that the underlying geometrical structure of the background spacetime be, at least, Weyl-integrable. Otherwise, if assume (as usual) spacetimes of (pseudo)Riemannian geometrical structure, the resulting -- apparently conformal invariant -- theory is anomalous in that, only massless matter fields can be consistently coupled. Gauge freedom, a distinctive feature of actually Weyl-invariant theories of gravity, leads to very unusual consequences.


title: Nonlinear Evolution via Spatially-Dependent Linear Dynamics for Electrophysiology and Calcium Data

abstract: Latent variable models have been widely applied for the analysis of time series resulting from experimental neuroscience techniques. In these datasets, observations are relatively smooth and possibly nonlinear. We present Variational Inference for Nonlinear Dynamics (VIND), a variational inference framework that is able to uncover nonlinear, smooth latent dynamics from sequential data. The framework is a direct extension of PfLDS; including a structured approximate posterior describing spatially-dependent linear dynamics, as well as an algorithm that relies on the fixed-point iteration method to achieve convergence. We apply VIND to electrophysiology, single-cell voltage and widefield imaging datasets with state-of-the-art results in reconstruction error. In single-cell voltage data, VIND finds a 5D latent space, with variables akin to those of Hodgkin-Huxley-like models. VIND's learned dynamics are further quantified by predicting future neural activity. VIND excels in this task, in some cases substantially outperforming current methods.


title: Nonlocal gap solitons in PT-symmetric periodic potentials with defocusing nonlinearity

abstract: Existence and stability of PT-symmetric gap solitons in a periodic structure with defocusing nonlocal nonlinearity are studied both theoretically and numerically. We find that, for any degree of nonlocality, gap solitons are always unstable in the presence of an imaginary potential. The instability manifests itself as a lateral drift of solitons due to an unbalanced particle flux. We also demonstrate that the perturbation growth rate is proportional to the amount of gain (loss), thus predicting the observability of stable gap solitons for small imaginary potentials.


title: Simplicial structures in higher Auslander-Reiten theory

abstract: We develop a novel combinatorial perspective on the higher Auslander algebras of type $\mathbb{A}$, a family of algebras arising in the context of Iyama's higher Auslander-Reiten theory. This approach reveals interesting simplicial structures hidden within the representation theory of these algebras and establishes direct connections to Eilenberg-MacLane spaces and higher-dimensional versions of Waldhausen's $\operatorname{S}_\bullet$-construction in algebraic $K$-theory. As an application of our techniques we provide a generalisation of the higher reflection functors of Iyama and Oppermann to representations with values in stable $\infty$-categories. The resulting combinatorial framework of slice mutation can be regarded as a higher-dimensional variant of the abstract representation theory of type $\mathbb{A}$ quivers developed by Groth and \v{S}\v{t}ov\'{\i}\v{c}ek. Our simplicial point of view then naturally leads to an interplay between slice mutation, horn filling conditions, and the higher Segal conditions of Dyckerhoff and Kapranov. In this context, we provide a classification of higher Segal objects with values in any abelian category or stable $\infty$-category.


title: Ga$_{x}$Cu$_{4-x}$(OD)$_{6}$Cl$_{2}$: Insulating ground state in an electron doped kagome system

abstract: We present a successful synthesis method of the series Ga$_{x}$Cu$_{4-x}$(OD)$_{6}$Cl$_{2}$ with substitutions up to $x=0.8$. The compound remains a frustrated kagome system with an insulating ground state similar to herbertsmithite for these substitutions, as the additional charge of Ga$^{3+}$ is most likely bound to additional OH$^{-}$ and Cl$^{-}$. Besides infrared measurements, we present magnetic and specific-heat data down to 2 K for selected samples with $0\leq x\leq0.8$. With increasing $x$ the long-range magnetic order is suppressed, similar to what was observed in the series Zn$_{x}$Cu$_{4-x}$(OH)$_{6}$Cl$_{2}$, indicating that Ga goes predominantly to the inter-plane position of the layered crystal structure. The reduction of the frozen magnetic fraction with increasing substitution was followed by $\mu$SR measurements. $^{69,71}$Ga nuclear magnetic resonance (NMR) was applied as a local probe for Ga induced disorder. One well resolved Ga NMR line of moderate width is found for each isotope across the phase diagram which indicates a rather homogeneous distribution of the Ga isotopes on a single site in the lattice.


title: Logarithmic estimates for continuity equations

abstract: The aim of this short note is twofold. First, we give a sketch of the proof of a recent result proved by the authors in the paper [Colombo, Crippa, and Spirito, Calc. Var. Partial Differential Equations 2015] concerning existence and uniqueness of renormalized solutions of continuity equations with unbounded damping coefficient. Second, we show how the ideas in [Colombo, Crippa, and Spirito, Calc. Var. Partial Differential Equations 2015] can be used to provide an alternative proof of the result in [Clop, Jiang, Mateu, and Orobitg, Calc. Var. Partial Differential Equations 2016], [Desjardins, Comm. Partial Diff. Eq. 1996], and [Mucha, J. Differential Equations 2010] where the usual requirement of boundedness of the divergence of the vector field has been relaxed to various settings of exponentially integrable functions.


title: Breakdown of Scaling and Friction Weakening in the Critical Granular Flow

abstract: The way granular materials response to an applied shear stress is of the utmost relevance to both human activities and natural environment. One of the their most intriguing and less understood behavior, is the stick-instability, whose most dramatic manifestation are earthquakes, ultimately governed by the dynamics of rocks and debris jammed within the fault gauge. Many of the features of earthquakes, i.e. intermittency, broad times and energy scale involved, are mimicked by a very simple experimental set-up, where small beads of glass under load are slowly sheared by an elastic medium. Analyzing data from long lasting experiments, we identify a critical dynamical regime, that can be related to known theoretical models used for "crackling-noise" phenomena. In particular, we focus on the average shape of the slip velocity, observing a "breakdown of scaling": while small slips show a self-similar shape, large does not, in a way that suggests the presence of subtle inertial effects within the granular system. In order to characterise the crossover between the two regimes, we investigate the frictional response of the system, which we trat as a stochastic quantity. Computing different averages, we evidence a weakening effect, whose Stribeck threshold velocity can be related to the aforementioned breaking of scaling.


title: Constraint-Driven Coordinated Control of Multi-Robot Systems

abstract: In this paper we present a reformulation--framed as a constrained optimization problem--of multi-robot tasks which are encoded through a cost function that is to be minimized. The advantages of this approach are multiple. The constraint-based formulation provides a natural way of enabling long-term robot autonomy applications, where resilience and adaptability to changing environmental conditions are essential. Moreover, under certain assumptions on the cost function, the resulting controller is guaranteed to be decentralized. Furthermore, finite-time convergence can be achieved, while using local information only, and therefore preserving the decentralized nature of the algorithm. The developed control framework has been tested on a team of ground mobile robots implementing long-term environmental monitoring.


title: Weak approximation for Fano complete intersections in positive characteristic

abstract: For a smooth curve $B$ over an algebraically closed field $k$, for every $B$-flat complete intersection $X_B$ in $B\times_{\text{Spec}\ k} \mathbb{P}^n_k$ of type $(d_1,\dots,d_c)$, if the Fano index is $\geq 2$ and if $\text{char}(k)>\max(d_1,\dots,d_c)$, we prove weak approximation of $\widehat{\mathcal{O}}_{B,b}$-points of $X_B$ by $k(B)$-points at all places of (strong) potentially good reduction, including all places of good reduction. The key step is the proof that such complete intersections are \emph{separably uniruled by lines}, and even \emph{separably rationally connected}, whenever smooth. We prove that the inequality is close to sharp. We prove a similar theorem for Fano manifolds of Picard number $1$ and Fano index $1$.


title: The Self-consistent Matter Coupling of a Class of Minimally Modified Gravity Theories

abstract: The self-consistent matter coupling is found in a broad class of minimally modified gravity theories which was discovered recently. All constraints in the theories remain first class and thus a graviton has only 2 local degrees of freedom. The cosmological solution of one of the examples in this class, the so-called square root gravity, exhibits a singularity freeness at high energy limit. At low energy limit, the theory smoothly connects to GR. A general feature of the theories in this class, with the self-consistent matter coupling discovered in our current work, is the non-trivial interaction among different components of matter sector. We have also checked the Hamiltonian structure of a scalar QED coupling to the square root gravity in the same manner. All constraints in the theory are first class too and thus the local U(1) gauge symmetry in scalar QED is preserved.


title: The local and global versions of the Whittaker category

abstract: Given a category C acted on by the loop group G((t)), we define its Whittaker model Whit(C) as C^{N((t)),\chi}, where \chi is a non-degenerate character. We study the properties of this construction. When C is the category of sheaves on the quotient of G((t)) by a congruence subgroup, we find a "finite-dimensional" model for Whit(C); the corresponding geometric object is Drinfeld's compactification, denoted \overline{Bun}_N (with poles and level structure).


title: Unraveling the effective fluid approach for $f(R)$ models in the subhorizon approximation

abstract: We provide explicit formulas for the effective fluid approach of $f(R)$ theories, such as the Hu & Sawicki and the designer models. Using the latter and simple modifications to the CLASS code, which we call EFCLASS, in conjunction with very accurate analytic approximations for the background evolution, we obtain competitive results in a much simpler and less error-prone approach. We also derive the initial conditions in matter domination and we find they differ from those already found in the literature for a constant $w$ model. A clear example is the designer model that behaves as $\Lambda$CDM in the background, but has nonetheless dark energy perturbations. We then use the aforementioned models to derive constraints from the latest cosmological data, including supernovae, BAO, CMB, $H(z)$ and growth-rate data, and find they are statistically consistent to the $\Lambda$CDM model. Finally, we show that the viscosity parameter $c_{vis}^2$ in realistic models is not constant as commonly assumed, but rather evolves significantly over several orders of magnitude, something which could affect forecasts of upcoming surveys.


title: Statistical properties of polarized CMB foreground maps

abstract: Foreground removal techniques for CMB analyses make specific assumptions about the properties of foregrounds in temperature and in polarization. By investigating the statistics of foreground components more understanding about the degree to which these assumptions are valid can be obtained. In this work we investigate $E$- and $B$-mode maps of the two strongest polarized foregrounds, synchrotron and thermal dust emission, with regards to their similarity with Gaussian processes, their spectral variations and cross-correlations. We perform tests in patches of $\sim3.7^\circ$ size collectively covering the full sky and find most of them to conform with their Gaussian expectation according to the statistics in use. Correlations exhibit distinct differences in $E$- and $B$-mode signals which point towards necessities in foreground removal methods. We discuss potential consequences and possible further directions.


title: Convolutional LSTMs for Cloud-Robust Segmentation of Remote Sensing Imagery

abstract: Clouds frequently cover the Earth's surface and pose an omnipresent challenge to optical Earth observation methods. The vast majority of remote sensing approaches either selectively choose single cloud-free observations or employ a pre-classification strategy to identify and mask cloudy pixels. We follow a different strategy and treat cloud coverage as noise that is inherent to the observed satellite data. In prior work, we directly employed a straightforward \emph{convolutional long short-term memory} network for vegetation classification without explicit cloud filtering and achieved state-of-the-art classification accuracies. In this work, we investigate this cloud-robustness further by visualizing internal cell activations and performing an ablation experiment on datasets of different cloud coverage. In the visualizations of network states, we identified some cells in which modulation and input gates closed on cloudy pixels. This indicates that the network has internalized a cloud-filtering mechanism without being specifically trained on cloud labels. Overall, our results question the necessity of sophisticated pre-processing pipelines for multi-temporal deep learning approaches.