title: Single-Channel Signal Separation and Deconvolution with Generative Adversarial Networks

abstract: Single-channel signal separation and deconvolution aims to separate and deconvolve individual sources from a single-channel mixture and is a challenging problem in which no prior knowledge of the mixing filters is available. Both individual sources and mixing filters need to be estimated. In addition, a mixture may contain non-stationary noise which is unseen in the training set. We propose a synthesizing-decomposition (S-D) approach to solve the single-channel separation and deconvolution problem. In synthesizing, a generative model for sources is built using a generative adversarial network (GAN). In decomposition, both mixing filters and sources are optimized to minimize the reconstruction error of the mixture. The proposed S-D approach achieves a peak-to-noise-ratio (PSNR) of 18.9 dB and 15.4 dB in image inpainting and completion, outperforming a baseline convolutional neural network PSNR of 15.3 dB and 12.2 dB, respectively and achieves a PSNR of 13.2 dB in source separation together with deconvolution, outperforming a convolutive non-negative matrix factorization (NMF) baseline of 10.1 dB.


title: Type-zero ternary corners

abstract: In this paper we discuss the relationship between a TRO $\mathcal{T}$ and a sub-TRO $\mathcal{S}$ that is the range of a TRO-conditional expectation on $\mathcal{T}$, a \textit{ternary corner}, by investigating a special class $\mathcal{D}$ of bounded linear maps on~$\mathcal{T}$. We pay particular attention to the case when the TROs contain partial isometries.


title: The volume operator in loop quantum cosmology

abstract: We show that for basically all states, the evolution of the expectation value of the volume operator in Wheeler-DeWitt and various homogenous isotropic loop quantum comology (LQC) models ($k=0$, coupled to massless scalar field and without cosmological constant) is ill-defined. The expectation value of the volume operator become instantonously infinite during the evolution. The effect is produced by a very long tail in the volume spectrum, that is however semiclassically small and beyond reach of numerical simulations (that is why it went unnoticed so far). This is not necessarily problem of theory but rather it suggests that one should be extremely careful with unbounded observables.


title: Automatic learner summary assessment for reading comprehension

abstract: Automating the assessment of learner summaries provides a useful tool for assessing learner reading comprehension. We present a summarization task for evaluating non-native reading comprehension and propose three novel approaches to automatically assess the learner summaries. We evaluate our models on two datasets we created and show that our models outperform traditional approaches that rely on exact word match on this task. Our best model produces quality assessments close to professional examiners.


title: Determination of Metamaterial Parameters by Means of a Homogenization Approach Based on Asymptotic Analysis

abstract: Owing to additive manufacturing techniques, a structure at millimeter length scale (macroscale) can be produced by using a lattice substructure at micrometer length scale (microscale). Such a system is called a metamaterial at the macroscale as the mechanical characteristics deviate from the characteristics at the microscale. As a remedy, metamaterial is modeled by using additional parameters; we intend to determine them. A homogenization approach based on the asymptotic analysis establishes a connection between these different characteristics at micro- and macroscales. A linear elastic first order theory at the microscale is related to a linear elastic second order theory at the macroscale. Relation for parameters at the macroscale is derived by using the equivalence of energy at macro- and microscales within a so-called Representative Volume Element (RVE). Determination of parameters are succeeded by solving a boundary value problem with the Finite Element Method (FEM). The proposed approach guarantees that the additional parameters vanish if the material is purely homogeneous, in other words, it is fully compatible with conventional homogenization schemes based on spatial averaging techniques. Moreover, the proposed approach is reliable as it ensures that such resolved additional parameters are not sensitive to choices of RVE consisting in the repetition of smaller RVEs but depend upon the intrinsic size of the structure.


title: Beyond the Isotropic Lifshitz Endpoint

abstract: The puzzle of the disappearance of isotropic Lifshitz points in condensed matter physics is explained from the point of view of the Wilsonian renormalization group. In analogy to the commensurate ideas of metamagnetic phase transitions, we describe the physics of thermodynamic states beyond an isotropic Lifshitz endpoint. Such phenomenon may be understood in terms of a statistically isotropic environment of coexisting multi-incommensurate helicoidal states. In addition to the magnetic and condensed matter discussions, we consider also an interesting example in the context of dynamical evolution.


title: Typical properties of interval maps preserving the Lebesgue measure

abstract: Let us denote $\lambda$ the Lebesgue measure on $[0,1]$, put$$ C(\lambda)=\{f\in C([0,1]);\ \forall~A\subset [0,1], A~\text{Borel}:\ \lambda(A)=\lambda(f^{-1}(A))\}.$$ We endow the set $C(\lambda)$ by the uniform metric $\rho$ and investigate dynamical properties of typical maps in the complete metric space $(C(\lambda),\rho)$.


title: Effects of Charge on Gravitational Decoupled Anisotropic Solutions in f(R) Gravity

abstract: This paper is devoted to studying charged anisotropic static spherically symmetric solutions through gravitationally decoupled minimal geometric deformation technique in $f(R)$ gravity. For this purpose, we first consider the known isotropic Krori-Barua solution for $f(R)$ Starobinsky model in the interior of a charged stellar system and then include the effects of two types of anisotropic solutions. The corresponding field equations are constructed and the unknown constants are obtained from junction conditions. We analyze the physical viability and stability of the resulting solutions through effective energy density, effective radial/tangential pressure, energy conditions, and causality condition. It is found that both solutions satisfy the stability range as well as other physical conditions for specific values of charge as well as model parameter and anisotropic constant. We conclude that the modified theory under the influence of charge yields more stable behavior of the self-gravitating system.


title: Cosmological Solutions of a Nonlocal Square Root Gravity

abstract: In this paper we consider modification of general relativity extending $R - 2 \Lambda$ by nonlocal term of the form $\sqrt{R-2\Lambda}\, \mathcal{F}(\Box)\, \sqrt{R-2\Lambda} ,$ where $\mathcal{F}(\Box)$ is an analytic function of the d'Alembert operator $\Box$. We have found some exact cosmological solutions of the corresponding equations of motion without matter and with $\Lambda \neq 0$. One of these solutions is $ a (t) = A \, t^{\frac{2}{3}} \, e^{\frac{\Lambda}{14} t^2} ,$ which imitates properties similar to an interplay of the dark matter and the dark energy. For this solution we calculated some cosmological parameters which are in a good agreement with observations. This nonlocal gravity model has not the Minkowski space solution. We also found several conditions which function $\mathcal{F}(\Box)$ has to satisfy.


title: Comparative terrestrial atmospheric circulation regimes in simplified global circulation models: I. from cyclostrophic super-rotation to geostrophic turbulence

abstract: The regimes of possible global atmospheric circulation patterns in an Earth-like atmosphere are explored using a simplified GCM based on the University of Hamburg's Portable University Model for the Atmosphere with simplified (linear) boundary layer friction, a Newtonian cooling scheme and dry convective adjustment. A series of controlled experiments are conducted by varying planetary rotation rate and imposed equator-to-pole temperature difference. These defining parameters are cast into dimensionless forms to establish a parameter space, in which different circulation regimes are mapped and classified. Clear trends are found when varying planetary rotation rate and frictional and thermal relaxation timescales. The sequence of circulation regimes as a function of planetary rotation rate strongly resembles that obtained in laboratory experiments on rotating, stratified flows, especially if a topographic $\beta$-effect is included in those experiments to emulate the planetary vorticity gradients induced by the spherical curvature of the planet. A regular baroclinic wave regime is also obtained at intermediate values of thermal Rossby number and its characteristics and dominant zonal wavenumber depend strongly on the strength of radiative and frictional damping. These regular waves exhibit some strong similarities to baroclinic storms observed on Mars under some conditions. Multiple jets are found at the highest rotation rates, when the Rossby deformation radius and other eddy-related length scales are much smaller than the radius of the planet. These exhibit some similarity to the multiple zonal jets observed on gas giant planets. Jets form on a scale comparable to the most energetic eddies and the Rhines scale poleward of the supercritical latitude. The balance of heat transport varies strongly with {\Omega}* between eddies and zonally symmetric flows, becoming weak with fast rotation.


title: Hyperintensional Reasoning based on Natural Language Knowledge Base

abstract: The success of automated reasoning techniques over large natural-language texts heavily relies on a fine-grained analysis of natural language assumptions. While there is a common agreement that the analysis should be hyperintensional, most of the automatic reasoning systems are still based on an intensional logic, at the best. In this paper, we introduce the system of reasoning based on a fine-grained, hyperintensional analysis. To this end we apply Tichy's Transparent Intensional Logic (TIL) with its procedural semantics. TIL is a higher-order, hyperintensional logic of partial functions, in particular apt for a fine-grained natural-language analysis. Within TIL we recognise three kinds of context, namely extensional, intensional and hyperintensional, in which a particular natural-language term, or rather its meaning, can occur. Having defined the three kinds of context and implemented an algorithm of context recognition, we are in a position to develop and implement an extensional logic of hyperintensions with the inference machine that should neither over-infer nor under-infer.


title: Study on the spectral reconstruction of typical surface types based on spectral library and principal component analysis

abstract: To meet the demanding of spectral reconstruction in the visible and near-infrared wavelength, the spectral reconstruction method for typical surface types is discussed based on the USGS /ASTER spectral library and principal component analysis (PCA). A new spectral reconstructed model is proposed by the information of several typical bands instead of all of the wavelength bands, and a linear combination spectral reconstruction model is also discussed. By selecting 4 typical spectral datasets including green vegetation, bare soil, rangeland and concrete in the spectral range of 400-900 nm, the PCA results show that 6 principal components could characterized the spectral dataset, and the relative reconstructed errors are smaller than 2%. If only 6-7 selected typical bands are employed to spectral reconstruction for all the surface reflectance in 400-900 nm, except that the reconstructed error of green vegetation is about 3.3%, the relative errors of other 3 datasets are all smaller than 1.6%. The correlation coefficients of those 4 datasets are all larger than 0.99, which can effectively satisfy the needs of spectral reconstruction. In addition, based on the spectral library and the linear combination model of 4 common used bands of satellite remote sensing such as 490, 555, 670 and 865 nm, the reconstructed errors are smaller than 8.5% in high reflectance region and smaller than 1.5% in low reflectance region respectively, which basically meet the needs of spectral reconstruction. This study can provide a reference value for the surface reflectance processing and spectral reconstruction in satellite remote sensing research.


title: Measuring Time with Minimal Clocks

abstract: Being able to measure time, whether directly or indirectly, is a significant advantage for an organism. It allows for the timely reaction to regular or predicted events, reducing the pressure for fast processing of sensory input. Thus, clocks are ubiquitous in biology. In the present paper, we consider minimal abstract pure clocks in different configurations and investigate their characteristic dynamics. We are especially interested in optimally time-resolving clocks. Among these, we find fundamentally diametral clock characteristics, such as oscillatory behavior for purely local time measurement or decay-based clocks measuring time periods of a scale global to the problem. We include also sets of independent clocks ("clock bags"), sequential cascades of clocks and composite clocks with controlled dependency. Clock cascades show a "condensation effect" and the composite clock shows various regimes of markedly different dynamics.


title: Conformally invariant boundary conditions in the antiferromagnetic Potts model and the $SL(2,\mathbb{R})/U(1)$ sigma model

abstract: We initiate a study of the boundary version of the square-lattice $Q$-state Potts antiferromagnet, with $Q \in [0,4]$ real, motivated by the fact that the continuum limit of the corresponding bulk model is a non-compact CFT, closely related with the $SL(2,\mathbb{R})_k/U(1)$ Euclidian black-hole coset model. While various types of conformal boundary conditions (discrete and continuous branes) have been formally identified for the the $SL(2,\mathbb{R})_k/U(1)$ coset CFT, we are only able in this work to identify conformal boundary conditions (CBC) leading to a discrete boundary spectrum. The conformal boundary conditions (CBC) we find are of two types. The first is free boundary Potts spins, for which we confirm an old conjecture for the generating functions of conformal levels, and show them to be related to characters in a non-linear deformation of the $W_\infty$ algebra. The second type of CBC - which corresponds to restricting the values of the Potts spins to a subset of size $Q_1$, or its complement of size $Q-Q_1$, at alternating sites along the boundary - is new, and turns out to be conformal in the antiferromagnetic case only. Using algebraic and numerical techniques, we show that the corresponding spectrum generating functions produce all the characters of discrete representations for the coset CFT. The normalizability bounds of the associated discrete states in the coset CFT are found to have a simple interpretation in terms of boundary phase transitions in the lattice model. For $\sqrt{Q} = 2 \cos \frac{\pi}{k}$, with $k \ge 3$ integer, we show also how our boundary conditions can be reformulated in terms of a RSOS height model. The spectrum generating functions are then identified with string functions of the compact $SU(2)_{k-2} / U(1)$ parafermion theory (with symmetry $Z_{k-2}$). The new alt conditions are needed to cover all the string functions.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Increased perpendicular magnetocrystalline anisotropy governed by magnetic boundary in an asymmetrically terminated FeRh(001) thin film

abstract: Rh-terminated FeRh(001) film is known to be stable in a ferromagnetic (FM) state different from a G-type antiferromagnetic (G-AFM) bulk ground state, while an Fe-terminated FeRh(001) film has the same ground state as the bulk. In this paper, we investigate the magnetic properties of asymmetrically terminated FeRh(001) films: one surface is Fe-terminated and the other is Rh-terminated. Rh surface only ] (RhSO) FM state in asymmetrically terminated FeRh(001) film is identified to exhibit 40% increased perpendicular MCA energy as compare to that of the whole-layer (WL) FM state. This increased MCA energy is governed by Rh atom which is placed at the magnetic boundary. Since FM and G-AFM states are mixed up at the magnetic boundary, spin-orbit couplings which give positive contribution to perpendicular MCA are revealed.


title: On the needs for MaaS platforms to handle competition in ridesharing mobility

abstract: Ridesharing has been emerging as a new type of mobility. However, the early promises of ridesharing for alleviating congestion in cities may be undermined by a number of challenges, including the growing number of proposed services and the subsequent increasing number of vehicles, as a natural consequence of competition. In this work, we present optimization-based approaches to model cooperation and competition between multiple ridesharing companies, in a real-time on-demand setting. A recent trend relies on solving the integrated combination of Dial-A-Ride Problems (DARP), which compute the cost of assigning incoming requests to vehicle routes, plus Linear Assignment Problems (LAP), which assign vehicles to requests. While the DARPs, are solved at the level of the vehicles of each company, we introduce cooperative and competitive approaches to solve the LAP. The cooperative model, which could make use of Mobility as a Service platforms, is shown to solve the LAP to optimality following closely results from the literature, and limiting the amount of information the companies are required to share. We investigate how a realistic model of competition deviates from this optimality and provide worst case bounds. We evaluate these models with respect to a centralized model on one-week instances of the New York City taxi dataset. Model variants coping with noise in the travel time estimations, bias in the assignment costs, and preferences in the competitive case are also presented and validated. The computational results suggest that cooperation among ridesharing companies can be conducted in such a way to limit the degradation of the level of service with respect to a centralized model. Finally, we argue that the competition can lower the quality of the ridesharing service, especially in the case customer preferences are accommodated.


title: Catching Gravitational Waves With A Galaxy-sized Net Of Pulsars

abstract: Until recently, the only way to observe the Universe was from light received by telescopes. But we are now able to measure gravitational waves, which are ripples in the fabric of the Universe predicted by Albert Einstein. If two very dense objects (like black holes) orbit each other closely, they warp space and send out gravitational waves. For black holes that are similar in mass to the Sun, scientists use the LIGO detector on Earth. But for the biggest black holes in the Universe (billions of times more massive than the Sun), scientists monitor a net of rapidly-spinning neutron stars (called pulsars) across the Milky Way. Any gravitational wave passing by will change how long radio signals from these pulsars take to get to Earth. The NANOGrav Collaboration monitored 34 of these pulsars over 11 years, in an attempt to detect gravitational waves from giant black holes.

categories: physics.pop-ph astro-ph.GA astro-ph.HE gr-qc


title: Train-borne Localization Exploiting Track-Geometry Constraints -- A Practical Evaluation

abstract: Today's railway signalling system heavily relies on trackside infrastructure such as axle counters and track balises. This system has proven itself to be reliable, however, it is not very efficient and, moreover, very costly. Thus, it is not suited to overcome the future challenges in railway transportation. For this reason, signalling systems based on train-borne sensors have gained interest recently. In this context, train-borne localization is one of the main research challenges. So far there is no sensor set-up which meets the demanding requirements for a localization system, both in the sense of accuracy as well as safety. To help overcome these issues in the near future we present our latest research results here. Earlier we published a localization algorithm which is characterized by an increased accuracy in cross-track direction compared to a standard Kalman filter (KF) approach, as has been shown in simulations [1]. To verify these results practically, we recorded data from a Global Navigation Satellite System (GNSS) and an inertial measurement unit (IMU) on a test drive. The localization accuracy is evaluated with the help of OpenStreetMap (OSM) data and site plans. Furthermore, we evaluate the quality of the estimated geometric track-map, which is additionally provided in the process of the localization algorithm [2]. We conclude with some remarks on the research challenges towards train-borne localization and suggest further steps to overcome them.


title: Quantized Three-Ion-Channel Neuron Model for Neural Action Potentials

abstract: The Hodgkin-Huxley model describes the conduction of the nervous impulse through the axon, whose membrane's electric response can be described employing multiple connected electric circuits containing capacitors, voltage sources, and conductances. These conductances depend on previous depolarizing membrane voltages, which can be identified with a memory resistive element called memristor. Inspired by the recent quantization of the memristor, a simplified Hodgkin-Huxley model including a single ion channel has been studied in the quantum regime. Here, we study the quantization of the complete Hodgkin-Huxley model, accounting for all three ion channels, and introduce a quantum source, together with an output waveguide as the connection to a subsequent neuron. Our system consists of two memristors and one resistor, describing potassium, sodium, and chloride ion channel conductances, respectively, and a capacitor to account for the axon's membrane capacitance. We study the behavior of both ion channel conductivities and the circuit voltage, and we compare the results with those of the single channel, for a given quantum state of the source. It is remarkable that, in opposition to the single-channel model, we are able to reproduce the voltage spike in an adiabatic regime. Arguing that the circuit voltage is a quantum variable, we find a purely quantum-mechanical contribution in the system voltage's second moment. This work represents a complete study of the Hodgkin-Huxley model in the quantum regime, establishing a recipe for constructing quantum neuron networks with quantum state inputs. This paves the way for advances in hardware-based neuromorphic quantum computing, as well as quantum machine learning, which might be more efficient resource-wise.


title: A Communication-less Protection Strategy to Ensure Protection Coordination of Distribution Networks with Embedded DG

abstract: Distributed Generation (DG) has emerged as best alternative to conventional energy sources in recent times. Decentralization of power generation, improvement in voltage profile and reduction of system losses are some of key benefits of DG integration into the grid. However, introduction of DG changes the radial nature of a distribution network (DN) and may affect both magnitude and direction of fault currents. This phenomenon may have severe repercussions for the reliability and safety of a DN including protection coordination failure. This paper investigates the impact of DG on protection coordination of a typical DN and proposes a scheme to restore the protection coordination in presence of DG. Moreover, impact of different DG sizes and locations on DN's voltage profile and losses has also been analyzed. The sample DN with embedded DG is modelled in ETAP environment and the simulation results presented show the effectiveness of the proposed protection strategy in restoring relay coordination of the network in both isolated and DG connected modes of operation.


title: Non uniform superconductivity in wires with strong spin-orbit coupling

abstract: We study theoretically the onset of nonuniform superconductivity in a one-dimensional single wire in presence of Zeeman (or exchange field) and spin-orbit coupling. Using the Green's function formalism, we show that the spin-orbit coupling stabilizes modulated superconductivity in a broad range of temperatures and Zeeman fields. We investigate the anisotropy of the temperature-Zeeman field phase diagram, which is related to the orientation of the Zeeman field. In particular, the inhomogeneous superconducting state disappears if this latter field is aligned or perpendicular to the wire direction. We identify two regimes corresponding to weak and strong spin-orbit coupling respectively. The wave-vector of the modulated phase is evaluated in both regimes. The results also pertain for quasi-1D superconductors made of weakly coupled 1D chains.


title: Agriculture Commodity Arrival Prediction using Remote Sensing Data: Insights and Beyond

abstract: In developing countries like India agriculture plays an extremely important role in the lives of the population. In India, around 80\% of the population depend on agriculture or its by-products as the primary means for employment. Given large population dependency on agriculture, it becomes extremely important for the government to estimate market factors in advance and prepare for any deviation from those estimates. Commodity arrivals to market is an extremely important factor which is captured at district level throughout the country. Historical data and short-term prediction of important variables such as arrivals, prices, crop quality etc. for commodities are used by the government to take proactive steps and decide various policy measures. In this paper, we present a framework to work with short timeseries in conjunction with remote sensing data to predict future commodity arrivals. We deal with extremely high dimensional data which exceed the observation sizes by multiple orders of magnitude. We use cascaded layers of dimensionality reduction techniques combined with regularized regression models for prediction. We present results to predict arrivals to major markets and state wide prices for `Tur' (red gram) crop in Karnataka, India. Our model consistently beats popular ML techniques on many instances. Our model is scalable, time efficient and can be generalized to many other crops and regions. We draw multiple insights from the regression parameters, some of which are important aspects to consider when predicting more complex quantities such as prices in the future. We also combine the insights to generate important recommendations for different government organizations.


title: Bspline solids manipulation with Mathematica

abstract: Bspline solids are used for solid objects modeling in R3. Mathematica incorporates a several commands to manipulate symbolic and graphically Bspline basis functions and to graphically manipulate Bsplines curves and surfaces; however, it does not incorporate any command to the graphical manipulation of Bspline solids. In this paper, we describe a new Mathematica program to compute and plotting the Bspline solids. The output obtained is consistent with Mathematica's notation. The performance of the commands are discussed by using some illustrative examples.


title: Trans-Sense: Real Time Transportation Schedule Estimation Using Smart Phones

abstract: Developing countries suffer from traffic congestion, poorly planned road/rail networks, and lack of access to public transportation facilities. This context results in an increase in fuel consumption, pollution level, monetary losses, massive delays, and less productivity. On the other hand, it has a negative impact on the commuters feelings and moods. Availability of real-time transit information - by providing public transportation vehicles locations using GPS devices - helps in estimating a passenger's waiting time and addressing the above issues. However, such solution is expensive for developing countries. This paper aims at designing and implementing a crowd-sourced mobile phones-based solution to estimate the expected waiting time of a passenger in public transit systems, the prediction of the remaining time to get on/off a vehicle, and to construct a real time public transit schedule. Trans-Sense has been evaluated using real data collected for over 800 hours, on a daily basis, by different Android phones, and using different light rail transit lines at different time spans. The results show that Trans-Sense can achieve an average recall and precision of 95.35% and 90.1%, respectively, in discriminating lightrail stations. Moreover, the empirical distributions governing the different time delays affecting a passenger's total trip time enable predicting the right time of arrival of a passenger to her destination with an accuracy of 91.81%.In addition, the system estimates the stations dimensions with an accuracy of 95.71%.


title: The Dynamics of Handwriting Improves the Automated Diagnosis of Dysgraphia

abstract: Handwriting disorder (termed dysgraphia) is a far from a singular problem as nearly 8.6% of the population in France is considered dysgraphic. Moreover, research highlights the fundamental importance to detect and remediate these handwriting difficulties as soon as possible as they may affect a child's entire life, undermining performance and self-confidence in a wide variety of school activities. At the moment, the detection of handwriting difficulties is performed through a standard test called BHK. This detection, performed by therapists, is laborious because of its high cost and subjectivity. We present a digital approach to identify and characterize handwriting difficulties via a Recurrent Neural Network model (RNN). The child under investigation is asked to write on a graphics tablet all the letters of the alphabet as well as the ten digits. Once complete, the RNN delivers a diagnosis in a few milliseconds and demonstrates remarkable efficiency as it correctly identifies more than 90% of children diagnosed as dysgraphic using the BHK test. The main advantage of our tablet-based system is that it captures the dynamic features of writing -- something a human expert, such as a teacher, is unable to do. We show that incorporating the dynamic information available by the use of tablet is highly beneficial to our digital test to discriminate between typically-developing and dysgraphic children.


title: Field Emission Characterization of MoS2 Nanoflowers

abstract: Nanostructured materials have wide potential applicability as field emitters due to their high aspect ratio. We hydrothermally synthesized MoS2 nanoflowers on copper foil and characterized their field emission properties, by applying a tip-anode configuration in which a tungsten tip with curvature radius down to 30-100nm has been used as the anode to measure local properties from small areas down to 1-100um2. We demonstrate that MoS2 nanoflowers can be competitive with other well-established field emitters. Indeed, we show that a stable field emission current can be measured with a turn-on field as low as 12 V um-1 and a field enhancement factor up to 880 at 600nm cathode-anode separation distance.


title: EcoMobiFog -- Design and Dynamic Optimization of a 5G Mobile-Fog-Cloud Multi-Tier Ecosystem for the Real-Time Distributed Execution of Stream Applications

abstract: The emerging 5G paradigm will enable multi-radio smartphones to run high-rate stream applications. However, since current smartphones remain resource and battery-limited, the 5G era opens new challenges on how to actually support these applications. In principle, the service orchestration capability of the Fog and Cloud Computing paradigms could be an effective means of dynamically providing resource-augmentation to smartphones. Motivated by these considerations, the peculiar focus of this paper is on the joint and adaptive optimization of the resource and task allocations of mobile stream applications in 5G-supported multi-tier Mobile-Fog-Cloud virtualized ecosystems. The objective is the minimization of the computing-plus-network energy of the overall ecosystem under hard constraints on the minimum streaming rate and the maximum computing-plus-networking resources. To this end: 1) we model the target ecosystem energy by explicitly accounting for the virtualized and multi-core nature of the Fog/Cloud servers; 2) since the resulting problem is non-convex and involves both continuous and discrete variables, we develop an optimality-preserving decomposition into the cascade of a (continuous) resource allocation sub-problem and a (discrete) task-allocation sub-problem; and 3) we numerically solve the first sub-problem through a suitably designed set of gradient-based adaptive iterations, while we approach the solution of the second sub-problem by resorting to an ad-hoc-developed elitary Genetic algorithm. Finally, we design the main blocks of EcoMobiFog, a technological virtualized platform for supporting the developed solver. The extensive numerical tests confirm that the energy-delay performance of the proposed solving framework is typically within a few per-cent the benchmark one of the exhaustive search-based solution.


title: Dynamical and thermal magnetic properties of the Kitaev spin liquid candidate $\alpha$-RuCl$_3$

abstract: What is the correct low-energy spin Hamiltonian description of $\alpha$-RuCl$_3$? The material is a promising Kitaev spin liquid candidate, but is also known to order magnetically, the description of which necessitates additional interaction terms. The nature of these interactions, their magnitudes and even signs, remain an open question. In this work we systematically investigate dynamical and thermodynamic magnetic properties of proposed effective Hamiltonians. We calculate zero-temperature inelastic neutron scattering (INS) intensities using exact diagonalization, and magnetic specific heat using a thermal pure quantum states method. We find that no single current model satisfactorily explains all observed phenomena of $\alpha$-RuCl$_3$. In particular, we find that Hamiltonians derived from first principles can capture the experimentally observed high-temperature peak in the magnetic specific heat, while overestimating the magnon energy at the zone center. In contrast, other models reproduce important features of the INS data, but do not adequately describe the magnetic specific heat. To address this discrepancy we propose a modified ab initio model that is consistent with both magnetic specific heat and low-energy features of INS data.


title: Text Readability Assessment for Second Language Learners

abstract: This paper addresses the task of readability assessment for the texts aimed at second language (L2) learners. One of the major challenges in this task is the lack of significantly sized level-annotated data. For the present work, we collected a dataset of CEFR-graded texts tailored for learners of English as an L2 and investigated text readability assessment for both native and L2 learners. We applied a generalization method to adapt models trained on larger native corpora to estimate text readability for learners, and explored domain adaptation and self-learning techniques to make use of the native data to improve system performance on the limited L2 data. In our experiments, the best performing model for readability on learner texts achieves an accuracy of 0.797 and PCC of $0.938$.


title: Groups Obtained from $2-(n,4,3)$ Supersimple Designs

abstract: We contribute towards the classification programme for Conway groupoids associated to a $2-(n,4,\lambda)$ design. Our main results improve the known bounds for a hole stabilizer to be primitive, or to contain the alternating group, ${\rm Alt}(n-1)$. We exploit these improved bounds to give a partial classification for Conway groupoids when $\lambda=3$.


title: Differentiable probabilistic models of scientific imaging with the Fourier slice theorem

abstract: Scientific imaging techniques such as optical and electron microscopy and computed tomography (CT) scanning are used to study the 3D structure of an object through 2D observations. These observations are related to the original 3D object through orthogonal integral projections. For common 3D reconstruction algorithms, computational efficiency requires the modeling of the 3D structures to take place in Fourier space by applying the Fourier slice theorem. At present, it is unclear how to differentiate through the projection operator, and hence current learning algorithms can not rely on gradient based methods to optimize 3D structure models. In this paper we show how back-propagation through the projection operator in Fourier space can be achieved. We demonstrate the validity of the approach with experiments on 3D reconstruction of proteins. We further extend our approach to learning probabilistic models of 3D objects. This allows us to predict regions of low sampling rates or estimate noise. A higher sample efficiency can be reached by utilizing the learned uncertainties of the 3D structure as an unsupervised estimate of the model fit. Finally, we demonstrate how the reconstruction algorithm can be extended with an amortized inference scheme on unknown attributes such as object pose. Through empirical studies we show that joint inference of the 3D structure and the object pose becomes more difficult when the ground truth object contains more symmetries. Due to the presence of for instance (approximate) rotational symmetries, the pose estimation can easily get stuck in local optima, inhibiting a fine-grained high-quality estimate of the 3D structure.


title: Schr{\"o}dinger operators with Leray-Hardy potential singular on the boundary

abstract: We study the kernel function of the operator u $\rightarrow$ L $\mu$ u = --$\Delta$u + $\mu$ |x| 2 u in a bounded smooth domain $\Omega$ $\subset$ R N + such that 0 $\in$ $\partial$$\Omega$, where $\mu$ $\ge$ -- N 2 4 is a constant. We show the existence of a Poisson kernel vanishing at 0 and a singular kernel with a singularity at 0. We prove the existence and uniqueness of weak solutions of L $\mu$ u = 0 in $\Omega$ with boundary data $\nu$ + k$\delta$ 0 , where $\nu$ is a Radon measure on $\partial$$\Omega$ \ {0}, k $\in$ R and show that this boundary data corresponds in a unique way to the boundary trace of positive solution of L $\mu$ u = 0 in $\Omega$.


title: A radio ridge connecting two galaxy clusters in a filament of the cosmic web

abstract: Galaxy clusters are the most massive gravitationally bound structures in the Universe. They grow by accreting smaller structures in a merging process that produces shocks and turbulence in the intra-cluster gas. We observed a ridge of radio emission connecting the merging galaxy clusters Abell 0399 and Abell 0401 with the Low Frequency Array (LOFAR) at 140 MHz. This emission requires a population of relativistic electrons and a magnetic field located in a filament between the two galaxy clusters. We performed simulations to show that a volume-filling distribution of weak shocks may re-accelerate a pre-existing population of relativistic particles, producing emission at radio wavelengths that illuminates the magnetic ridge.


title: Optimal sensor placement for artificial swimmers

abstract: Natural swimmers rely for their survival on sensors that gather information from the environment and guide their actions. The spatial organization of these sensors, such as the visual fish system and lateral line, suggests evolutionary selection, but their optimality remains an open question. Here, we identify sensor configurations that enable swimmers to maximize the information gathered from their surrounding flow field. We examine two-dimensional, self-propelled and stationary swimmers that are exposed to disturbances generated by oscillating, rotating and D-shaped cylinders. We combine simulations of the Navier-Stokes equations with Bayesian experimental design to determine the optimal arrangements of shear and pressure sensors that best identify the locations of the disturbance-generating sources. We find a marked tendency for shear stress sensors to be located in the head and the tail of the swimmer, while they are absent from the midsection. In turn, we find a high density of pressure sensors in the head along with a uniform distribution along the entire body. The resulting optimal sensor arrangements resemble neuromast distributions observed in fish and provide evidence for optimality in sensor distribution for natural swimmers.


title: Gap-Increasing Policy Evaluation for Efficient and Noise-Tolerant Reinforcement Learning

abstract: In real-world applications of reinforcement learning (RL), noise from inherent stochasticity of environments is inevitable. However, current policy evaluation algorithms, which plays a key role in many RL algorithms, are either prone to noise or inefficient. To solve this issue, we introduce a novel policy evaluation algorithm, which we call Gap-increasing RetrAce Policy Evaluation (GRAPE). It leverages two recent ideas: (1) gap-increasing value update operators in advantage learning for noise-tolerance and (2) off-policy eligibility trace in Retrace algorithm for efficient learning. We provide detailed theoretical analysis of the new algorithm that shows its efficiency and noise-tolerance inherited from Retrace and advantage learning. Furthermore, our analysis shows that GRAPE's learning is significantly efficient than that of a simple learning-rate-based approach while keeping the same level of noise-tolerance. We applied GRAPE to control problems and obtained experimental results supporting our theoretical analysis.


title: Origins Vs. fingerprints of the Jahn-Teller effect in d-electron ABX$_3$ perovskites

abstract: The Jahn-Teller (JT) distortion that can remove electronic degeneracies in partially occupied states and results in systematic atomic displacements is a common underlying feature to many of the intriguing phenomena observed in 3d perovskites, encompassing magnetism, superconductivity, orbital ordering and colossal magnetoresistance. Although the seminal Jahn and Teller theorem has been postulated almost a century ago, the origins of this effect in perovskite materials are still debated, including propositions such as super exchange, spin-phonon coupling, sterically induced lattice distortions, and strong dynamical correlation effects. Here we analyze the driving forces behind the Jahn-Teller motions and associated electronic fingerprints in a full range of ABX3 compounds. We identify (i) compounds that are prone to an electronically-driven instabilities (i.e. a pure JT effect) such as KCrF3, KCuF3 or LaVO3 and proceed to relax the structures, finding quantitatively the JTD in excellent agreement with experiment; (ii) compounds such as LaMnO3 or LaTiO3 that do not show electronically driven JTD despite orbital degeneracies, because their strongly hybridized B, d-X, p states supply but too weak JT forces to overcome the needed atomic distortions; (iii) although LaVO3 exhibits similar B, d-X, p hybridizations as LaTiO3, the former compound exhibits a robust electronic instability while LaTiO3 has zero stabilization energy, the reason being that LaVO3 has two electrons t2g2 relative to LaTiO3 with just one t2g1. (iv) We explain the trends in "orbital ordering" whereby electrons occupy orbitals that point to orthogonal directions between all nearest-neighbor 3d atoms. We thereby provide a unified vision to explain octahedra deformations in perovskites that, at odds with common wisdom, does not require the celebrated Mott-Hubbard mechanism.


title: Shared Autonomous Vehicle Simulation and Service Design

abstract: Today, driverless cars, as a new technology that allows a more accessible, dynamic and intelligent form of Shared Mobility, are expected to revolutionize urban transportation. One of the conceivable mobility services based on driverless cars is shared autonomous vehicles (SAVs). This service could merge cabs, carsharing, and ridesharing systems into a singular transportation mode. However, the success and competitiveness of future SAV services depend on their operational models, which are linked intrinsically to the service configuration and fleet specification. In addition, any change in operational models will result in a different demand. Using a comprehensive framework of SAV simulation in a multi-modal dynamic demand system with integrated SAV user taste variation, this study evaluates the performance of various SAV fleets and vehicle capacities serving travelers across the Rouen Normandie metropolitan area in France. Also, the impact of ridesharing and rebalancing strategies on service performance is investigated.Research results suggest that the performance of SAV is strongly correlated with the fleet size and the strategy of individual or shared rides. Further analysis indicates that for the pricing scheme proposed in this study (i.e., 20% lower for ridesharing scenario), the standard 4-seats car with shared ride remains the best option among all scenarios. The results also underline that enabling vehicle-rebalancing strategies may have an important effect on both user and service-related metrics. The estimated SAV average and maximum driven distance prove the importance of vehicle range and charging station deployment.


title: Learning with Average Precision: Training Image Retrieval with a Listwise Loss

abstract: Image retrieval can be formulated as a ranking problem where the goal is to order database images by decreasing similarity to the query. Recent deep models for image retrieval have outperformed traditional methods by leveraging ranking-tailored loss functions, but important theoretical and practical problems remain. First, rather than directly optimizing the global ranking, they minimize an upper-bound on the essential loss, which does not necessarily result in an optimal mean average precision (mAP). Second, these methods require significant engineering efforts to work well, e.g. special pre-training and hard-negative mining. In this paper we propose instead to directly optimize the global mAP by leveraging recent advances in listwise loss formulations. Using a histogram binning approximation, the AP can be differentiated and thus employed to end-to-end learning. Compared to existing losses, the proposed method considers thousands of images simultaneously at each iteration and eliminates the need for ad hoc tricks. It also establishes a new state of the art on many standard retrieval benchmarks. Models and evaluation scripts have been made available at https://europe.naverlabs.com/Deep-Image-Retrieval/


title: A Study of the Learning Progress in Neural Architecture Search Techniques

abstract: In neural architecture search, the structure of the neural network to best model a given dataset is determined by an automated search process. Efficient Neural Architecture Search (ENAS), proposed by Pham et al. (2018), has recently received considerable attention due to its ability to find excellent architectures within a comparably short search time. In this work, which is motivated by the quest to further improve the learning speed of architecture search, we evaluate the learning progress of the controller which generates the architectures in ENAS. We measure the progress by comparing the architectures generated by it at different controller training epochs, where architectures are evaluated after having re-trained them from scratch. As a surprising result, we find that the learning curves are completely flat, i.e., there is no observable progress of the controller in terms of the performance of its generated architectures. This observation is consistent across the CIFAR-10 and CIFAR-100 datasets and two different search spaces. We conclude that the high quality of the models generated by ENAS is a result of the search space design rather than the controller training, and our results indicate that one-shot architecture design is an efficient alternative to architecture search by ENAS.


title: Query Generation for Patent Retrieval with Keyword Extraction based on Syntactic Features

abstract: This paper describes a new method to extract relevant keywords from patent claims, as part of the task of retrieving other patents with similar claims (search for prior art). The method combines a qualitative analysis of the writing style of the claims with NLP methods to parse text, in order to represent a legal text as a specialization arborescence of terms. In this setting, the set of extracted keywords are yielding better search results than keywords extracted with traditional methods such as tf-idf. The performance is measured on the search results of a query consisting of the extracted keywords.


title: Towards Robust Named Entity Recognition for Historic German

abstract: Recent advances in language modeling using deep neural networks have shown that these models learn representations, that vary with the network depth from morphology to semantic relationships like co-reference. We apply pre-trained language models to low-resource named entity recognition for Historic German. We show on a series of experiments that character-based pre-trained language models do not run into trouble when faced with low-resource datasets. Our pre-trained character-based language models improve upon classical CRF-based methods and previous work on Bi-LSTMs by boosting F1 score performance by up to 6%. Our pre-trained language and NER models are publicly available under https://github.com/stefan-it/historic-ner .


title: An eigenvalue problem for the anisotropic $\Phi$-Laplacian

abstract: We study an eigenvalue problem involving a fully anisotropic elliptic differential operator in arbitrary Orlicz-Sobolev spaces. The relevant equations are associated with constrained minimization problems for integral functionals depending on the gradient of competing functions through general anisotropic $N$-functions. In particular, the latter need neither be radial, nor have a polynomial growth, and are not even assumed to satisfy the so called $\Delta_2$-condition. The resulting analysis requires the development of some new aspects of the theory of anisotropic Orlicz-Sobolev spaces.


title: Boolean properties and Bell-like inequalities of numerical events

abstract: Let S be a set of states of a physical system and p(s) be the probability of the occurrence of an event when the system is in state s. A function p from S to [0,1] is called a numerical event or alternatively an S-probability. If a set P:={p(s)|s in S} is ordered by the order of real functions such that certain plausible requirements are fulfilled, P becomes an orthomodular poset in which properties can be described by the addition and comparison of functions. P is then called an algebra of S-probabilities or algebra of numerical events. We first answer the question under which circumstances it is possible to consider sets of empirically found numerical events as members of an algebra of S-probabilities. Then we discuss the problem to decide whether a given small set Pn of S-probabilities can be embedded into a Boolean subalgebra of an algebra P of S-probabilities, in which case we will call Pn Boolean embeddable. If Pn is not Boolean embeddable, then the physical system at hand will most likely be non-classical. In the case of a concrete logic P, that is a quantum logic which can be represented by sets, we derive criteria for the subset Pn of P to be Boolean embeddable which can be checked by very simple procedures, for arbitrary S-probabilities we provide sets of Bell-like inequalities which characterize the Boolean embeddability of Pn. Finally we will show how these Bell-like inequalities fit into a general framework of Bell inequalities by providing a method for generating Bell inequalities for S-probabilities from elementary Bell valuations.


title: Comparative terrestrial atmospheric circulation regimes in simplified global circulation models: II. energy budgets and spectral transfers

abstract: The energetics of possible global atmospheric circulation patterns in an Earth-like atmosphere are explored using a simplified GCM based on the University of Hamburg's Portable University Model for the Atmosphere. Results from a series of simulations, obtained by varying planetary rotation rate {\Omega} with an imposed equator-to-pole temperature difference, were analysed to determine the heat transport and other contributions to the energy budget for the time-averaged, equilibrated flow. These show clear trends with {\Omega}, with the most intense Lorenz energy cycle for an Earth-sized planet occurring with a rotation rate around half that of the present day Earth. KE and APE spectra, E_K(n) and E_A(n) (where n is total spherical wavenumber), also show clear trends with \Omega, with n^{-3} enstrophy-dominated spectra around \Omega* = \Omega/\Omega_E = 1, where \Omega_E is the rotation rate of the Earth) and steeper (\sim n^{-5}) slopes in the zonal mean flow with little evidence for the n^{-5/3} spectrum anticipated for an inverse KE cascade. Instead, both KE and APE spectra become almost flat at scales larger than the internal Rossby radius, L_d, and exhibit near-equipartition at high wavenumbers. At \Omega* << 1, the spectrum becomes dominated by KE with E_K(n) \sim 2-3 E_A(n) at most wavenumbers and a slope \sim n^{-5/3} across most of the spectrum. Spectral flux calculations show that enstrophy and APE are almost always cascaded downscale, regardless of {\Omega}. KE cascades are more complicated, however, with downscale transfers across almost all wavenumbers, dominated by horizontally divergent modes, for \Omega* \lesssim 1/4. At higher rotation rates, transfers of KE become increasingly dominated by rotational components with strong upscale transfers (dominated by eddy-zonal flow interactions) for scales larger than L_d and weaker downscale transfers for scales smaller than L_d.


title: M-accretive Laplacian on a non symmetric graph

abstract: We consider a non self-adjoint Laplacian on a directed graph with non symmetric weights on edges. We give a criterion for the m-accretiveness and the m-sectoriality of this Laplacian. Our results are based on a comparison of this operator with its symmetric part for which we can apply dierent results concerning essential self-adjointness of a symmetric Laplace operator on an innite graph. This gives results on the heat operator related to our non-symmetric Laplacian.


title: High sensitivity heat capacity measurements on Sr2RuO4 under uniaxial pressure

abstract: A key question regarding the unconventional superconductivity of Sr$_2$RuO$_4$ remains whether the order parameter is single- or two-component. Under a hypothesis of two-component superconductivity, uniaxial pressure is expected to lift their degeneracy, resulting in a split transition. The most direct and fundamental probe of a split transition is heat capacity. Here, we report development of new high-frequency methodology for measurement of heat capacity of samples subject to large and highly homogeneous uniaxial pressure. We place an upper limit on the heat capacity signature of any second transition of a few per cent of the primary superconducting transition. The normalized jump in heat capacity, $\Delta C/C$, grows smoothly as a function of uniaxial pressure, but we find no qualitative evidence of a pressure-induced order parameter transition. Thanks to the high precision of our measurements, these findings place stringent constraints on theories of the superconductivity of Sr$_2$RuO$_4$.


title: Zeros of holomorphic one-forms and topology of K\"ahler manifolds

abstract: A conjecture of Kotschick predicts that a compact K\"ahler manifold $X$ fibres smoothly over the circle if and only if it admits a holomorphic one-form without zeros. In this paper we develop an approach to this conjecture and verify it in dimension two. In a joint paper with Hao, we use our approach to prove Kotschick's conjecture for smooth projective threefolds.


title: LTG-Oslo Hierarchical Multi-task Network: The importance of negation for document-level sentiment in Spanish

abstract: This paper details LTG-Oslo team's participation in the sentiment track of the NEGES 2019 evaluation campaign. We participated in the task with a hierarchical multi-task network, which used shared lower-layers in a deep BiLSTM to predict negation, while the higher layers were dedicated to predicting document-level sentiment. The multi-task component shows promise as a way to incorporate information on negation into deep neural sentiment classifiers, despite the fact that the absolute results on the test set were relatively low for a binary classification task.


title: Three topological reducibilities for discontinuous functions

abstract: We define a family of three related reducibilities, $\leq_T$, $\leq_{tt}$ and $\leq_m$, for arbitrary functions $f,g:X\rightarrow\mathbb R$, where $X$ is a compact separable metric space. The $\equiv_T$-equivalence classes mostly coincide with the proper Baire classes. We show that certain $\alpha$-jump functions $j_\alpha:2^\omega\rightarrow \mathbb R$ are $\leq_m$-minimal in their Baire class. Within the Baire 1 functions, we completely characterize the degree structure associated to $\leq_{tt}$ and $\leq_m$, finding an exact match to the $\alpha$ hierarchy introduced by Bourgain and analyzed by Kechris and Louveau.


title: Curriculum-based transfer learning for an effective end-to-end spoken language understanding and domain portability

abstract: We present an end-to-end approach to extract semantic concepts directly from the speech audio signal. To overcome the lack of data available for this spoken language understanding approach, we investigate the use of a transfer learning strategy based on the principles of curriculum learning. This approach allows us to exploit out-of-domain data that can help to prepare a fully neural architecture. Experiments are carried out on the French MEDIA and PORTMEDIA corpora and show that this end-to-end SLU approach reaches the best results ever published on this task. We compare our approach to a classical pipeline approach that uses ASR, POS tagging, lemmatizer, chunker... and other NLP tools that aim to enrich ASR outputs that feed an SLU text to concepts system. Last, we explore the promising capacity of our end-to-end SLU approach to address the problem of domain portability.


title: Weighted Maxmin Fair Share Allocation of Indivisible Chores

abstract: We initiate the study of indivisible chore allocation for agents with asymmetric shares. The fairness concept we focus on is the weighted natural generalization of maxmin share: WMMS fairness and OWMMS fairness. We first highlight the fact that commonly used algorithms that work well for the allocation of goods to asymmetric agents, and even for chores to symmetric agents do not provide good approximations for allocation of chores to asymmetric agents under WMMS. As a consequence, we present a novel polynomial-time constant-approximation algorithm, via linear program, for OWMMS. For two special cases: the binary valuation case and the 2-agent case, we provide exact or better constant-approximation algorithms.


title: Phase synchronization in coupled bistable oscillators

abstract: We introduce a simple model system to study synchronization theoretically in quantum oscillators that are not just in limit-cycle states, but rather display a more complex bistable dynamics. Our oscillator model is purely dissipative, with a two-photon gain balanced by single- and three-photon loss processes. When the gain rate is low, loss processes dominate and the oscillator has a very low photon occupation number. In contrast, for large gain rates, the oscillator is driven into a limit-cycle state where photon numbers can become large. The bistability emerges between these limiting cases with a region of coexistence of limit-cycle and low-occupation states. Although an individual oscillator has no preferred phase, when two of them are coupled together a relative phase preference is generated which can indicate synchronization of the dynamics. We find that the form and strength of the relative phase preference varies widely depending on the dynamical states of the oscillators. In the limit-cycle regime, the phase distribution is $\pi$-periodic with peaks at $0$ and $\pi$, whilst in the low-occupation regime $\pi$-periodic phase distributions can be produced with peaks at $\pi/2$ and $3\pi/2$. Tuning the coupled system between these two regimes reveals a region where the relative phase distribution has $\pi/2$-periodicity.


title: On the fundamental solution of heat and stochastic heat equations

abstract: We consider the generic divergence form second order parabolic equation with coefficients that are regular in the spatial variables and just measurable in time. We show that the spatial derivatives of its fundamental solution admit upper bounds that agree with the Aronson type estimate and only depend on the ellipticity constants of the equation and the L $\infty$ norm of the spatial derivatives of its coefficients. We also study the corresponding stochastic partial differential equations and prove that under natural assumptions on the noise the equation admits a mild solution, given by anticipating stochastic integration.


title: Hypothesis of collective state in biomolecules and discussion on the possibility of its experimental verification

abstract: The analogy between the phenomenon of live and collective states in Condensed Matter was supposed by several well-known physicists. The possibility of experimental verification of this hypothesis is discussed.


title: Holomorphic one-forms without zeros on threefolds

abstract: We show that a smooth complex projective threefold admits a holomorphic one-form without zeros if and only if the underlying real 6-manifold fibres smoothly over the circle, and we give a complete classification of all threefolds with that property. Our results prove a conjecture of Kotschick in dimension three.


title: Varying the Horndeski Lagrangian within the Palatini approach

abstract: We analyse what happens when the Horndeski Lagrangian is varied within the Palatini approach by considering the metric and connection as independent variables. Assuming the connection to be torsionless, there can be infinitely many metric-affine versions $L_{\rm P}$ of the original Lagrangian which differ from each other by terms proportional to the non-metricity tensor. After integrating out the connection, each $L_{\rm P}$ defines a metric theory, which can either belong to the original Horndeski family, or it can be of a more general DHOST type, or it shows the Ostrogradsky ghost. We analyse in detail the subclass of the theory for which the equations are linear in the connection and find that its metric-affine version is ghost-free. We present a detailed classifications of homogeneous and isotropic cosmologies in these theories. Taking into consideration other pieces of the Horndeski Lagrangian which are non-linear in the connection leads to more complex metric-affine theories which generically show the ghost. In some special cases the ghost can be removed by carefully adjusting the non-metricity contribution, but it is unclear if this is always possible. Therefore, the metric-affine generalisations of the Horndeski theory can be ghost-free, but not all of them are ghost-free, neither are they the only metric-affine theories for a gravity-coupled scalar field which can be ghost-free.


title: Testing goodness of fit for point processes via topological data analysis

abstract: We introduce tests for the goodness of fit of point patterns via methods from topological data analysis. More precisely, the persistent Betti numbers give rise to a bivariate functional summary statistic for observed point patterns that is asymptotically Gaussian in large observation windows. We analyze the power of tests derived from this statistic on simulated point patterns and compare its performance with global envelope tests. Finally, we apply the tests to a point pattern from an application context in neuroscience. As the main methodological contribution, we derive sufficient conditions for a functional central limit theorem on bounded persistent Betti numbers of point processes with exponential decay of correlations.


title: Entropy and codimension bounds for generic singularities

abstract: We show that all closed $2$-dimensional singularities for higher codimension mean curvature flow that cannot be perturbed away have uniform entropy bounds and lie in a linear subspace of small dimension. The entropy and dimension of the subspace are both $\leq C\,(1+\gamma)$ for some universal constant $C$ and genus $\gamma$. These are the first general bounds on generic singularities in arbitrary codimension.


title: Improving Sentiment Analysis with Multi-task Learning of Negation

abstract: Sentiment analysis is directly affected by compositional phenomena in language that act on the prior polarity of the words and phrases found in the text. Negation is the most prevalent of these phenomena and in order to correctly predict sentiment, a classifier must be able to identify negation and disentangle the effect that its scope has on the final polarity of a text. This paper proposes a multi-task approach to explicitly incorporate information about negation in sentiment analysis, which we show outperforms learning negation implicitly in a data-driven manner. We describe our approach, a cascading neural architecture with selective sharing of LSTM layers, and show that explicitly training the model with negation as an auxiliary task helps improve the main task of sentiment analysis. The effect is demonstrated across several different standard English-language data sets for both tasks and we analyze several aspects of our system related to its performance, varying types and amounts of input data and different multi-task setups.


title: Simple Algorithms for Dueling Bandits

abstract: In this paper, we present simple algorithms for Dueling Bandits. We prove that the algorithms have regret bounds for time horizon T of order O(T^rho ) with 1/2 <= rho <= 3/4, which importantly do not depend on any preference gap between actions, Delta. Dueling Bandits is an important extension of the Multi-Armed Bandit problem, in which the algorithm must select two actions at a time and only receives binary feedback for the duel outcome. This is analogous to comparisons in which the rater can only provide yes/no or better/worse type responses. We compare our simple algorithms to the current state-of-the-art for Dueling Bandits, ISS and DTS, discussing complexity and regret upper bounds, and conducting experiments on synthetic data that demonstrate their regret performance, which in some cases exceeds state-of-the-art.


title: Robust optimization for the pooling problem

abstract: The pooling problem has applications, e.g., in petrochemical refining, water networks, and supply chains and is widely studied in global optimization. To date, it has largely been treated deterministically, neglecting the influence of parametric uncertainty. This paper applies two robust optimization approaches, reformulation and cutting planes, to the non-linear, non-convex pooling problem. Most applications of robust optimization have been either convex or mixed-integer linear problems. We explore the suitability of robust optimization in the context of global optimization problems which are concave in the uncertain parameters by considering the pooling problem with uncertain inlet concentrations. We compare the computational efficiency of reformulation and cutting plane approaches for three commonly-used uncertainty set geometries on 14 pooling problem instances and demonstrate how accounting for uncertainty changes the optimal solution.


title: State transitions in the Morris-Lecar model under stable L\'evy noise

abstract: This paper considers the state transition of the stochastic Morris-Lecar neuronal model driven by symmetric $\alpha$-stable L\'evy noise. The considered system is bistable: a stable fixed point (resting state) and a stable limit cycle (oscillating state), and there is an unstable limit cycle (borderline state) between them. Small disturbances may cause a transition between the two stable states, thus a deterministic quantity, namely the maximal likely trajectory, is used to analyze the transition phenomena in non-Gaussian stochastic environment. According to the numerical experiment, we find that smaller jumps of the L\'evy motion and smaller noise intensity can promote such transition from the sustained oscillating state to the resting state. It also can be seen that larger jumps of the L\'evy motion and higher noise intensity are conducive for the transition from the borderline state to the sustained oscillating state. As a comparison, Brownian motion is also taken into account. The results show that whether it is the oscillating state or the borderline state, the system disturbed by Brownian motion will be transferred to the resting state under the selected noise intensity.


title: Discrimination emerging through spontaneous symmetry breaking in a spatial prisoner's dilemma model with multiple labels

abstract: Social discrimination seems to be a persistent phenomenon in many cultures. It is important to understand the mechanisms that lead people to judge others by the group to which they belong, rather than individual qualities. It was recently shown that evolutionary (imitation) dynamics can lead to a hierarchical discrimination between agents marked with observable, but otherwise meaningless, labels. These findings suggest that it can give useful insight, to describe the phenomenon of social discrimination in terms of spontaneous symmetry breaking. The investigations so far have, however, only considered binary labels. In this contribution we extend the investigations to models with up to seven different labels. We find the features known from the binary label model remain remarkably robust when the number of labels is increased. We also discover a new feature, namely that it is more likely for neighbours to have strategies which are similar, in the sense that they agree on how to act towards a subset of the labels.

categories: nlin.AO cond-mat.stat-mech physics.soc-ph q-bio.PE


title: Signatures of Obliquity in Thermal Phase Curves of Hot Jupiters

abstract: Recent work suggests that many short-period extrasolar planets may have spin obliquities that are significantly tilted with respect to their orbital planes. These large obliquities are a natural outcome of ``secular spin-orbit resonance'', a configuration in which the planetary spin precession frequency matches the frequency of orbit nodal regression, or a Fourier component thereof. While exoplanet spin obliquities have not yet been measured directly, they may be detectable indirectly through their signatures in various observations, such as photometric measurements across the full phase of a planet's orbit. In this work, we employ a thermal radiative model to explore how large polar tilts affect full-phase light curves, and we discuss the range of unique signatures that are expected to result. We show that the well-studied short-period planets HD 149026 b, WASP-12 b, and CoRoT-2 b all exhibit phase curve features that may arise from being in high-obliquity states. We also constrain the parameters and assess the detectability of hypothetical perturbing planets that could maintain the planets in these states. Among the three planets considered, CoRoT-2 b has the tightest constraints on its proposed obliquity ($45.8^{\circ} \pm 1.4^{\circ}$) and axial orientation. For HD 149026 b, we find no significant evidence for a non-zero obliquity, and the phase curve of WASP-12 b is too complicated by strong tidal distortions for a conclusive assessment.


title: Feynman-Kac formulas for Dirichlet-Pauli-Fierz operators with singular coefficients

abstract: We derive Feynman-Kac formulas for Dirichlet realizations of Pauli-Fierz operators generating the dynamics of nonrelativistic quantum mechanical matter particles, which are minimally coupled to both classical and quantized radiation fields and confined to an arbitrary open subset of the Euclidean space. Thanks to a suitable interpretation of the involved Stratonovich integrals, we are able to retain familiar formulas for the Feynman-Kac integrands merely assuming local square-integrability of the classical vector potential and the coupling function in the quantized vector potential. Allowing for fairly general coupling functions becomes relevant when the matter-radiation system is confined to cavities with inward pointing boundary singularities.


title: Visual Analysis of High-Dimensional Event Sequence Data via Dynamic Hierarchical Aggregation

abstract: Temporal event data are collected across a broad range of domains, and a variety of visual analytics techniques have been developed to empower analysts working with this form of data. These techniques generally display aggregate statistics computed over sets of event sequences that share common patterns. Such techniques are often hindered, however, by the high-dimensionality of many real-world event sequence datasets because the large number of distinct event types within such data prevents effective aggregation. A common coping strategy for this challenge is to group event types together as a pre-process, prior to visualization, so that each group can be represented within an analysis as a single event type. However, computing these event groupings as a pre-process also places significant constraints on the analysis. This paper presents a dynamic hierarchical aggregation technique that leverages a predefined hierarchy of dimensions to computationally quantify the informativeness of alternative levels of grouping within the hierarchy at runtime. This allows users to dynamically explore the hierarchy to select the most appropriate level of grouping to use at any individual step within an analysis. Key contributions include an algorithm for interactively determining the most informative set of event groupings from within a large-scale hierarchy of event types, and a scatter-plus-focus visualization that supports interactive hierarchical exploration. While these contributions are generalizable to other types of problems, we apply them to high-dimensional event sequence analysis using large-scale event type hierarchies from the medical domain. We describe their use within a medical cohort analysis tool called Cadence, demonstrate an example in which the proposed technique supports better views of event sequence data, and report findings from domain expert interviews.


title: The Strong Maximal Rank Conjecture and higher rank Brill--Noether theory

abstract: In this paper, we compute the cohomology class of certain "special maximal-rank loci" originally defined by Aprodu and Farkas. By showing that such classes are nonzero, we are able to verify the non-emptiness portion of the Strong Maximal Rank Conjecture in a wide range of cases. As an application, we obtain new evidence for the existence portion of a well-known conjecture due to Bertram, Feinberg and independently Mukai in higher-rank Brill--Noether theory.


title: Inequalities of Independence Number, Clique Number and Connectivity of Maximal Connected Domination Critical Graphs

abstract: A $k$-$\gamma_{c}$-edge critical graph is a graph $G$ with the connected domination number $\gamma_{c}(G) = k$ and $\gamma_{c}(G + uv) < k$ for every $uv \in E(\overline{G})$. Further, a $2$-connected graph $G$ is said to be $k$-$\gamma_{c}$-vertex critical if $\gamma_{c}(G) = k$ and $\gamma_{c}(G - v) < k$ for all $v \in V(G)$. A maximal $k$-$\gamma_{c}$-vertex critical graph is a graph which are both $k$-$\gamma_{c}$-edge critical and $k$-$\gamma_{c}$-vertex critical. Let $\kappa, \delta, \omega$ and $\alpha$ be respectively connectivity minimum degree, clique number and independence number. In this paper, we prove that every maximal $3$-$\gamma_{c}$-vertex critical graph $G$ satisfies $\alpha \leq \delta$ and this bound is best possible. We prove further that $G$ satisfies $\alpha + \omega \leq n - 1$ and we also characterize all such graphs achieving the upper bounds. We finally show that if $G$ satisfies $\kappa < \delta$, then every two vertices of $G$ are joined by hamiltonian path.


title: New Uniform Bounds for Almost Lossless Analog Compression

abstract: Wu and Verd\'u developed a theory of almost lossless analog compression, where one imposes various regularity conditions on the compressor and the decompressor with the input signal being modelled by a (typically infinite-entropy) stationary stochastic process. In this work we consider all stationary stochastic processes with trajectories in a prescribed set $\mathcal{S} \subset [0,1]^\mathbb{Z}$ of (bi)infinite sequences and find uniform lower and upper bounds for certain compression rates in terms of metric mean dimension and mean box dimension. An essential tool is the recent Lindenstrauss-Tsukamoto variational principle expressing metric mean dimension in terms of rate-distortion functions.


title: Two Microspheres in an External Flow: a Dance of Cause and Effect

abstract: In low Reynolds number swimming and pumping, differently to everyday experience, a net motion (or flow) can be achieved only if the constructing parts of the swimmer (or pump) follow a non-trivial pattern of motion, in order to break time reciprocity. The case of a driven fan, which spins to create a flow of air, but conversely rotates when turned off and subjected to a strong external flow, is a familiar example of reciprocal connection between physical cause and effect. We explore here in a well controlled low Reynolds number system whether such an exchange of the cause and effect also holds in the low Reynolds number regime. As a case study we investigate the motion of two microspheres which interact hydrodynamically through their surrounding fluid. Each sphere is constrained in a fixed optical trap potential, allowing local fluctuations around an equilibrium position. An external flow is shown to induce non-trivial coupled motion. We find a signature of reciprocity: the nonequilibrium sphere fluctuations mimic the symmetry of the motions that one would impose in order for them to produce a constant flow.


title: Model Explanations under Calibration

abstract: Explaining and interpreting the decisions of recommender systems are becoming extremely relevant both, for improving predictive performance, and providing valid explanations to users. While most of the recent interest has focused on providing local explanations, there has been a much lower emphasis on studying the effects of model dynamics and its impact on explanation. In this paper, we perform a focused study on the impact of model interpretability in the context of calibration. Specifically, we address the challenges of both over-confident and under-confident predictions with interpretability using attention distribution. Our results indicate that the means of using attention distributions for interpretability are highly unstable for un-calibrated models. Our empirical analysis on the stability of attention distribution raises questions on the utility of attention for explainability.


title: Deformed shell effects in $^{48}$Ca+$^{249}$Bk quasifission fragments

abstract: Background: Quasifission is the main reaction channel hindering the formation of superheavy nuclei (SHN). Its understanding will help to optimize entrance channels for SHN studies. Quasifission also provides a probe to understand the influence of shell effects in the formation of the fragments. Purpose: Investigate the role of shell effects in quasifission and their interplay with the orientation of the deformed target in the entrance channel. Methods: $^{48}$Ca$+^{249}$Bk collisions are studied with the time-dependent Hartree-Fock approach for a range of angular momenta and orientations. Results: Unlike similar reactions with a $^{238}$U target, no significant shell effects which could be attributed to $^{208}$Pb "doubly-magic" nucleus are found. However, the octupole deformed shell gap at $N=56$ seems to strongly influence quasifission in the most central collisions. Conclusions: Shell effects similar to those observed in fission affect the formation of quasifission fragments. Mass-angle correlations could be used to experimentally isolate the fragments influenced by $N=56$ octupole shell gaps.


title: Acceleration in Friedmann cosmology with torsion

abstract: A Friedmann like cosmological model in Einstein-Cartan framework is studied when the torsion function is assumed to be proportional to a single $\phi(t)$ function coming just from the spin vector contribution of ordinary matter. By analysing four different types of torsion function written in terms of one, two and three free parameters, we found that a model with $\phi(t)=- \alpha H(t) \big({\rho_{m}(t)}/{\rho_{0c}}\big)^n$ is totally compatible with recent cosmological data, where $\alpha$ and $n$ are free parameters to be constrained from observations, $\rho_m$ is the matter energy density and $\rho_{0c}$ the critical density. The recent accelerated phase of expansion of the universe is correctly reproduced by the contribution coming from torsion function, with a deceleration parameter indicating a transition redshift of about $0.65$.


title: Selection Bias Tracking and Detailed Subset Comparison for High-Dimensional Data

abstract: The collection of large, complex datasets has become common across a wide variety of domains. Visual analytics tools increasingly play a key role in exploring and answering complex questions about these large datasets. However, many visualizations are not designed to concurrently visualize the large number of dimensions present in complex datasets (e.g. tens of thousands of distinct codes in an electronic health record system). This fact, combined with the ability of many visual analytics systems to enable rapid, ad-hoc specification of groups, or cohorts, of individuals based on a small subset of visualized dimensions, leads to the possibility of introducing selection bias--when the user creates a cohort based on a specified set of dimensions, differences across many other unseen dimensions may also be introduced. These unintended side effects may result in the cohort no longer being representative of the larger population intended to be studied, which can negatively affect the validity of subsequent analyses. We present techniques for selection bias tracking and visualization that can be incorporated into high-dimensional exploratory visual analytics systems, with a focus on medical data with existing data hierarchies. These techniques include: (1) tree-based cohort provenance and visualization, with a user-specified baseline cohort that all other cohorts are compared against, and visual encoding of the drift for each cohort, which indicates where selection bias may have occurred, and (2) a set of visualizations, including a novel icicle-plot based visualization, to compare in detail the per-dimension differences between the baseline and a user-specified focus cohort. These techniques are integrated into a medical temporal event sequence visual analytics tool. We present example use cases and report findings from domain expert user interviews.


title: Random \v{C}ech Complexes on Manifolds with Boundary

abstract: Let $M$ be a compact, unit volume, Riemannian manifold with boundary. In this paper we study the homology of a random \v{C}ech-complex generated by a homogeneous Poisson process in $M$. Our main results are two asymptotic threshold formulas, an upper threshold above which the \v{C}ech complex recovers the $k$-th homology of $M$ with high probability, and a lower threshold below which it almost certainly does not. These thresholds are close together in the sense that they have the same leading term. Here $k$ is positive and strictly less than the dimension $d$ of the manifold. This extends work of Bobrowski and Weinberger in [BW17] and Bobrowski and Oliveira [BO19] who establish similar formulas when $M$ is a torus and, more generally, is closed and has no boundary. We note that the cases with and without boundary lead to different answers: The corresponding common leading terms for the upper and lower thresholds differ being $\log (n) $ when $M$ is closed and $(2-2/d)\log (n)$ when $M$ has boundary; here $n$ is the expected number of sample points. Our analysis identifies a special type of homological cycle, which we call a $\Theta$-like-cycle, which occur close to the boundary and establish that the first order term of the lower threshold is $(2-2/d)\log (n)$.


title: Directional shift current in mirror-symmetric BC$_2$N

abstract: We present a theoretical study of the shift current in a noncentrosymmetric polytype of graphitic BC$_2$N. We find that the photoconductivity near the fundamental gap is strongly anisotropic due to the vanishing of particular tensor components not foretold by point-group symmetry arguments; this is a consequence of dipole selection rules imposed by mirror symmetry, which imply that the relative parities between valence and conduction bands are key for determining the directionality of the band-edge response. In addition, the band-edge photoconductivity turns out to be rather large, with the peak value occurring in an energy range suitable for optical manipulation


title: On the Uniform Distribution (mod 1) of the Farey Sequence, quadratic Farey and Riemann sums with a remark on local integrals of $\zeta(s)$

abstract: For $1$-periodic functions $f$ satisfying only a weak local regularity assumption of Dini's type at rational points of $]0,1[$, we study the Farey sums $$F_n(f)= \sum_{\frac{\k}{\l}\in \F_n} f\big(\frac{\k}{\l}\big),\qq F_{n,\s}(f)= \sum_{\frac{\k}{\l}\in \F_n} \frac{1}{\k^\s\l^\s}f\big(\frac{\k}{\l}\big),\qq 1/2\le \s<1 , $$ where $\F_n$ is the Farey series of order $n\ge 1$. We obtain sharp estimates of $F_{n,\s}(f)$, for all $0< \s\le1$. We prove similar results for the corresponding Riemann quadratic sums $$ S_{n,\s}(f) \ =\ \sum_{1\le k\le \ell \le n}\frac{1}{(k\ell)^{\s }}\, f\big( \frac{k}{\ell}\big). $$ These sums are related to local integrals of the Riemann zeta-function over bounded intervals $I$, which are considered in the last part of the paper.


title: The Mathematical Specification of the Statebox Language

abstract: This document defines the mathematical backbone of the Statebox programming language. In the simplest way possible, Statebox can be seen as a clever way to tie together different theoretical structures to maximize their benefits and limit their downsides. Since consistency and correctness are central requisites for our language, it became clear from the beginning that such tying could not be achieved by just hacking together different pieces of code representing implementations of the structures we wanted to leverage: Rigorous mathematics is employed to ensure both conceptual consistency of the language and reliability of the code itself. The mathematics presented here is what guided the implementation process, and we deemed very useful to release it to the public to help people wanting to audit our work to better understand the code itself.


title: Aggregate Play and Welfare in Strategic Interactions on Networks

abstract: In recent work by Bramoull\'{e} and Kranton, a model for the provision of public goods on a network was presented and relations between equilibria of such a game and properties of the network were established. This model was further extended to include games with imperfect substitutability in Bramoull\'{e} et al. The vast multiplicity of equilibria in such games along with the drastic changes in equilibria with small changes in network structure, makes it challenging for a system planner to estimate the maximum social welfare of such a game or to devise interventions that enhance this welfare. Our main results address this challenge by providing close approximations to the maximum social welfare and the maximum aggregate play in terms of only network characteristics such as the maximum degree and independence number. For the special case when the underlying network is a tree, we derive formulae which use only the number of nodes and their degrees. These results allow a system planner to assess aggregate outcomes and design interventions for the game, directly from the underlying graph structure, without enumerating all equilibria of the game, thereby significantly simplifying the planner's problem. A part of our results can be viewed as a logical extension of [7] where the maximum weighted aggregate effort of the model in [2] was characterized as the weighted independence number of the graph.


title: Topologically robust CAD model generation for structural optimisation

abstract: Computer-aided design (CAD) models play a crucial role in the design, manufacturing and maintenance of products. Therefore, the mesh-based finite element descriptions common in structural optimisation must be first translated into CAD models. Currently, this can at best be performed semi-manually. We propose a fully automated and topologically accurate approach to synthesise a structurally-sound parametric CAD model from topology optimised finite element models. Our solution is to first convert the topology optimised structure into a spatial frame structure and then to regenerate it in a CAD system using standard constructive solid geometry (CSG) operations. The obtained parametric CAD models are compact, that is, have as few as possible geometric parameters, which makes them ideal for editing and further processing within a CAD system. The critical task of converting the topology optimised structure into an optimal spatial frame structure is accomplished in several steps. We first generate from the topology optimised voxel model a one-voxel-wide voxel chain model using a topology-preserving skeletonisation algorithm from digital topology. The weighted undirected graph defined by the voxel chain model yields a spatial frame structure after processing it with standard graph algorithms. Subsequently, we optimise the cross-sections and layout of the frame members to recover its optimality, which may have been compromised during the conversion process. At last, we generate the obtained frame structure in a CAD system by repeatedly combining primitive solids, like cylinders and spheres, using boolean operations. The resulting solid model is a boundary representation (B-Rep) consisting of trimmed non-uniform rational B-spline (NURBS) curves and surfaces.


title: On Extension of Effective Resistance with Application to Graph Laplacian Definiteness and Power Network Stability

abstract: This paper extends the definitions of effective resistance and effective conductance to characterize the overall relation (positive coupling or antagonism) between any two disjoint sets of nodes in a signed graph. It generalizes the traditional definitions that only apply to a pair of nodes. The monotonicity and convexity properties are preserved by the extended definitions. The extended definitions provide new insights into graph Laplacian definiteness and power network stability. It is proved that the Laplacian matrix of a signed graph is positive semi-definite with only one zero eigenvalue if and only if the effective conductances between some specific pairs of node sets are positive. Also the number of Laplacian negative eigenvalues is upper bounded by the number of negative weighted edges. In addition, new conditions for the small-disturbance angle stability, hyperbolicity and type of power system equilibria are established, which intuitively interpret angle instability as the electrical antagonism between certain two sets of nodes in the defined active power flow graph. Moreover, a novel optimal power flow (OPF) model with effective conductance constraints is formulated, which significantly enhances power system transient stability. By the properties of extended effective conductance, the proposed OPF model admits a convex relaxation representation that achieves global optimality.


title: From Clustering to Cluster Explanations via Neural Networks

abstract: A recent trend in machine learning has been to enrich learned models with the ability to explain their own predictions. The emerging field of Explainable AI (XAI) has so far mainly focused on supervised learning, in particular, deep neural network classifiers. In many practical problems however, label information is not given and the goal is instead to discover the underlying structure of the data, for example, its clusters. While powerful methods exist for extracting the cluster structure in data, they typically do not answer the question why a certain data point has been assigned to a given cluster. We propose a new framework that can, for the first time, explain cluster assignments in terms of input features in an efficient and reliable manner. It is based on the novel insight that clustering models can be rewritten as neural networks - or 'neuralized'. Cluster predictions of the obtained networks can then be quickly and accurately attributed to the input features. Several showcases demonstrate the ability of our method to assess the quality of learned clusters and to extract novel insights from the analyzed data and representations.


title: Higher-Order Finite Element Approximation of the Dynamic Laplacian

abstract: The dynamic Laplace operator arises from extending problems of isoperimetry from fixed manifolds to manifolds evolved by general nonlinear dynamics. Eigenfunctions of this operator are used to identify and track finite-time coherent sets, which physically manifest in fluid flows as jets, vortices, and more complicated structures. Two robust and efficient finite-element discretisation schemes for numerically computing the dynamic Laplacian were proposed in Froyland & Junge (2018). In this work we consider higher-order versions of these two numerical schemes and analyse them experimentally. We also prove the numerically computed eigenvalues and eigenvectors converge to the true objects for both schemes under certain assumptions. We provide an efficient implementation of the higher-order element schemes in an accompanying Julia package.


title: Digital-analog quantum algorithm for the quantum Fourier transform

abstract: Quantum computers will allow calculations beyond existing classical computers. However, current technology is still too noisy and imperfect to construct a universal digital quantum computer with quantum error correction. Inspired by the evolution of classical computation, an alternative paradigm merging the flexibility of digital quantum computation with the robustness of analog quantum simulation has emerged. This universal paradigm is known as digital-analog quantum computing. Here, we introduce an efficient digital-analog quantum algorithm to compute the quantum Fourier transform, a subroutine widely employed in several relevant quantum algorithms. We show that, under reasonable assumptions about noise models, the fidelity of the quantum Fourier transformation improves considerably using this approach when the number of qubits involved grows. This suggests that, in the Noisy Intermediate-Scale Quantum (NISQ) era, hybrid protocols combining digital and analog quantum computing could be a sensible approach to reach useful quantum supremacy.


title: Integral formulas and antisymmetrization relations for the six-vertex model

abstract: We study the relationship between various integral formulas for nonlocal correlation functions of the six-vertex model with domain wall boundary conditions. Specifically, we show how the known representation for the emptiness formation probability can be derived from that for the so-called row configuration probability. A crucial ingredient in the proof is a relation expressing the result of antisymmetrization of some given function with respect to permutations in two sets of its variables in terms of the Izergin-Korepin partition function. This relation generalizes another one obtained by Tracy and Widom in the context of the asymmetric simple exclusion process.


title: Periphery Plots for Contextualizing Heterogeneous Time-Based Charts

abstract: Patterns in temporal data can often be found across different scales, such as days, weeks, and months, making effective visualization of time-based data challenging. Here we propose a new approach for providing focus and context in time-based charts to enable interpretation of patterns across time scales. Our approach employs a focus zone with a time and a second axis, that can either represent quantities or categories, as well as a set of adjacent periphery plots that can aggregate data along the time, value, or both dimensions. We present a framework for periphery plots and describe two use cases that demonstrate the utility of our approach.


title: Simple physical models for the partially transparent radiative windows, comparison to the radiative coolers

abstract: In this work we solve approximately the radiative heat transfer problem in one dimension to perform a comparative analysis of the time averaged performance of the partially transparent radiative windows and radiative coolers. Our physical model includes the atmosphere, the window, and the backwall that are all in the thermal equilibrium with each other, and that can exchange energy via radiative heat transfer or convection. Moreover, we use a simplified two-state model for the optical properties of an atmosphere and a window material which assumes two distinct sets of the optical reflection/absorption/transmission parameters in the visible/near-IR versus mid-IR spectral ranges. Furthermore, we have distinguished the design goals for the partially transparent windows and radiative coolers and provided optimal choice for the material parameters to realize these goals. Thus, radiative coolers are normally non-transparent in the visible, and the main goal is to design a cooler with the temperature of its dark side as low as possible compared to that of the atmosphere. For the radiative windows, however, their surfaces are necessarily partially transparent in the visible. In the cooling mode, therefore, the main question is about the maximal visible light transmission through the window at which the temperature on the window somber side does not exceed that of the atmosphere. We believe that our simple, yet in-depth comparative analysis of the radiative windows and coolers can be useful for a large number of scientists and engineers pursuing research in these disciplines.