title: Hamiltonian $S^1$-actions on complete intersections

abstract: We study the problem of determining which diffeomorphism classes of K\"{a}hler manifolds admit a Hamiltonian circle action. Our main result is the following: Let $M$ be a closed symplectic manifold, diffeomorphic to a complete intersection with complex dimension $4k$, having a Hamiltonian circle action such that each component of the fixed point set is an isolated fixed point or has dimension $2 \mod 4$. Then $M$ is diffeomorphic to $\mathbb{CP}^{4k}$, a quadric $Q \subset \mathbb{CP}^{4k+1}$ or an intersection of two quadrics $Q_1 \cap Q_2 \subset \mathbb{CP}^{4k+2}$.


title: GPP, the Generic Preprocessor

abstract: In computer science, a preprocessor (or macro processor) is a tool that programatically alters its input, typically on the basis of inline annotations, to produce data that serves as input for another program. Preprocessors are used in software development and document processing workflows to translate or extend programming or markup languages, as well as for conditional or pattern-based generation of source code and text. Early preprocessors were relatively simple string replacement tools that were tied to specific programming languages and application domains, and while these have since given rise to more powerful, general-purpose tools, these often require the user to learn and use complex macro languages with their own syntactic conventions. In this paper, we present GPP, an extensible, general-purpose preprocessor whose principal advantage is that its syntax and behaviour can be customized to suit any given preprocessing task. This makes GPP of particular benefit to research applications, where it can be easily adapted for use with novel markup, programming, and control languages.


title: Exchange-Free Computation on an Unknown Qubit at a Distance

abstract: We present a way of directly manipulating an arbitrary qubit, without the exchange of any particles. This includes as an application the exchange-free preparation of an arbitrary quantum state at Alice by a remote classical Bob. As a result, we are able to propose a protocol that allows one party to directly enact, by means of a suitable program, any computation exchange-free on a remote second party's unknown qubit. Further, we show how to use this for the exchange-free control of a universal two-qubit gate, thus opening the possibility of directly enacting any desired algorithm remotely on a programmable quantum circuit.


title: A Survey on the Evolution of Stream Processing Systems

abstract: Stream processing has been an active research field for more than 20 years, but it is now witnessing its prime time due to recent successful efforts by the research community and numerous worldwide open-source communities. This survey provides a comprehensive overview of fundamental aspects of stream processing systems and their evolution in the functional areas of out-of-order data management, state management, fault tolerance, high availability, load management, elasticity, and reconfiguration. We review noteworthy past research findings, outline the similarities and differences between early ('00-'10) and modern ('11-'22) streaming systems, and discuss recent trends and open problems.


title: Profiles of dynamical systems and their algebra

abstract: The commutative semiring $\mathbf{D}$ of finite, discrete-time dynamical systems was introduced in order to study their (de)composition from an algebraic point of view. However, many decision problems related to solving polynomial equations over $\mathbf{D}$ are intractable (or conjectured to be so), and sometimes even undecidable. In order to take a more abstract look at those problems, we introduce the notion of "topographic" profile of a dynamical system $(A,f)$ with state transition function $f \colon A \to A$ as the sequence $\mathop{\mathrm{prof}} A = (|A|_i)_{i \in \mathbb{N}}$, where $|A|_i$ is the number of states having distance $i$, in terms of number of applications of $f$, from a limit cycle of $(A,f)$. We prove that the set of profiles is also a commutative semiring $(\mathbf{P},+,\times)$ with respect to operations compatible with those of $\mathbf{D}$ (namely, disjoint union and tensor product), and investigate its algebraic properties, such as its irreducible elements and factorisations, as well as the computability and complexity of solving polynomial equations over $\mathbf{P}$.


title: Integers representable as differences of linear recurrence sequences

abstract: Let $\{U_n\}_{n \geq 0}$ and $\{V_m\}_{m \geq 0}$ be two linear recurrence sequences. We establish an asymptotic formula for the number of integers $c$ in the range $[-x, x]$ which can be represented as differences $ U_n - V_m$. In particular, the density of such integers is $0$.


title: Modulus support functionals, Rajchman measures and peak functions

abstract: In 2000 V. Lomonosov suggested a counterexample to the complex version of the Bishop-Phelps theorem on modulus support functionals. We discuss the $c_0$-analog of that example and demonstrate that the set of sup-attaining functionals is non-trivial, thus answering an open question, asked in \cite{KLMW}.


title: Gelfand problem on a large spherical cap

abstract: We study the behaviour of the minimal solution to the Gelfand problem on a spherical cap under the Dirichlet boundary conditions. The asymptotic behaviour of the solution is discussed as the cap approaches the whole sphere. The results are based on the sharp estimate of the torsion function of the spherical cap in terms of the principle eigenvalue which we derive in this work.


title: On Dantzig and Lasso estimators of the drift in a high dimensional Ornstein-Uhlenbeck model

abstract: In this paper we present new theoretical results for the Dantzig and Lasso estimators of the drift in a high dimensional Ornstein-Uhlenbeck model under sparsity constraints. Our focus is on oracle inequalities for both estimators and error bounds with respect to several norms. In the context of the Lasso estimator our paper is strongly related to [11], who investigated the same problem under row sparsity. We improve their rates and also prove the restricted eigenvalue property solely under ergodicity assumption on the model. Finally, we demonstrate a numerical analysis to uncover the finite sample performance of the Dantzig and Lasso estimators.


title: A monotonicity property of weighted log-rank tests

abstract: The logrank test is a well-known nonparametric test which is often used to compare the survival distributions of two samples including right censored observations, it is also known as the Mantel-Haenszel test. The $G^{\rho}$ family of tests, introduced by Harrington and Fleming (1982), generalizes the logrank test by using weights assigned to observations. In this paper, we present a monotonicity property for the $G^{\rho}$ family of tests, which was motivated by the need to derive bounds for the test statistic in case of imprecise data observations.


title: Thermoelectric detection of Andreev states in unconventional superconductors

abstract: We theoretically describe a thermoelectric effect that is entirely due to Andreev processes involving the formation of Cooper pairs through the coupling of electrons and holes. The Andreev thermoelectric effect can occur in ballistic ferromagnet-superconductor junctions with a dominant superconducting proximity effect on the ferromagnet, and it is very sensitive to surface states emerging in unconventional superconductors. We consider hybrid junctions in two and three dimensions to demonstrate that the thermoelectric current is always reversed in the presence of low-energy Andreev bound states at the superconductor surface. A microscopic analysis of the proximity-induced pairing reveals that the thermoelectric effect only arises if even and odd-frequency Cooper pairs coexist in mixed singlet and triplet states. Our results are an example of the richness of emergent phenomena in systems that combine magnetism and superconductivity, and they open a pathway for exploring exotic surface states in unconventional superconductors.


title: Explicit Result on Equivalence of Rational Quadratic Forms Avoiding Primes

abstract: Given a pair of regular quadratic forms over $\mathbb{Q}$ which are in the same genus and a finite set of primes $P$, we show that there is an effective way to determine a rational equivalence between these two quadratic forms which are integral over every prime in $P$. This answers one of the principal questions posed by Conway and Sloane in their book {\em Sphere packings, lattices and groups}, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Vol 290, Springer-Verlag, New York, 1999; page 402.


title: Planning to Score a Goal in Robotic Football with Heuristic Search

abstract: This paper considers a problem of planning an attack in robotic football (RoboCup). The problem is reduced to finding a trajectory of the ball from its current position to the opponents goals. Heuristic search algorithm, i.e. A*, is used to find such a trajectory. For this algorithm to be applicable we introduce a discretized model of the environment, i.e. a graph, as well as the core search components: cost function and heuristic function. Both are designed to take into account all the available information of the game state. We extensively evaluate the suggested approach in simulation comparing it to a range of baselines. The result of the conducted evaluation clearly shows the benefit of utilizing heuristic search within the RoboCup context.


title: Supercell-core software: a useful tool to generate an optimal supercell for vertically stacked nanomaterials

abstract: Vertically oriented materials, such as van der Waals heterostructures, that have novel hybrid properties are crucial for fundamental scientific research and the design of new nano-devices. Currently, most available theoretical methods require applying a supercell approach with periodic boundary conditions to explore the electronic properties of such nanomaterials. Herein, we present supercell-core software, which provides a way to determine the supercell of non-commensurate lattices, in particular, van der Waals heterostructures. Although this approach is very common, most of the reported work still uses supercells that are constructed 'by hand' and on a temporary basis. The developed software is designed to facilitate finding and constructing optimised supercells (i.e., with small size and minimal strain accumulation in adjacent layers) of vertically stacked lattices.


title: Predicting the Humorousness of Tweets Using Gaussian Process Preference Learning

abstract: Most humour processing systems to date make at best discrete, coarse-grained distinctions between the comical and the conventional, yet such notions are better conceptualized as a broad spectrum. In this paper, we present a probabilistic approach, a variant of Gaussian process preference learning (GPPL), that learns to rank and rate the humorousness of short texts by exploiting human preference judgments and automatically sourced linguistic annotations. We apply our system, which is similar to one that had previously shown good performance on English-language one-liners annotated with pairwise humorousness annotations, to the Spanish-language data set of the HAHA@IberLEF2019 evaluation campaign. We report system performance for the campaign's two subtasks, humour detection and funniness score prediction, and discuss some issues arising from the conversion between the numeric scores used in the HAHA@IberLEF2019 data and the pairwise judgment annotations required for our method.


title: Public risk perception and emotion on Twitter during the Covid-19 pandemic

abstract: Successful navigation of the Covid-19 pandemic is predicated on public cooperation with safety measures and appropriate perception of risk, in which emotion and attention play important roles. Signatures of public emotion and attention are present in social media data, thus natural language analysis of this text enables near-to-real-time monitoring of indicators of public risk perception. We compare key epidemiological indicators of the progression of the pandemic with indicators of the public perception of the pandemic constructed from ~20 million unique Covid-19-related tweets from 12 countries posted between 10th March -- 14th June 2020. We find evidence of psychophysical numbing: Twitter users increasingly fixate on mortality, but in a decreasingly emotional and increasingly analytic tone. Semantic network analysis based on word co-occurrences reveals changes in the emotional framing of Covid-19 casualties that are consistent with this hypothesis. We also find that the average attention afforded to national Covid-19 mortality rates is modelled accurately with the Weber-Fechner and power law functions of sensory perception. Our parameter estimates for these models are consistent with estimates from psychological experiments, and indicate that users in this dataset exhibit differential sensitivity by country to the national Covid-19 death rates. Our work illustrates the potential utility of social media for monitoring public risk perception and guiding public communication during crisis scenarios.


title: On generalized stuffle relations between cell-zeta values

abstract: We introduce a family of linear relations between cell-zeta values that have a form similar to product map relations and jointly with them imply stuffle relations between multiple zeta values.


title: Multiport based teleportation -- transmission of a large amount of quantum information

abstract: We analyse the problem of transmitting a number of unknown quantum states or one composite system in one go. We derive a lower bound on the performance of such process, measured in the entanglement fidelity. The obtained bound is effectively computable and outperforms the explicit values of the entanglement fidelity calculated for the pre-existing variants of the port-based protocols, allowing for teleportation of a much larger amount of quantum information. The comparison with the exact formulas and similar analysis for the probabilistic scheme is also discussed. In particular, we present the closed-form expressions for the entanglement fidelity and for the probability of success in the probabilistic scheme in the qubit case in the picture of the spin angular momentum.


title: Pointwise ergodic theorems for non-conventional bilinear polynomial averages

abstract: We establish convergence in norm and pointwise almost everywhere for the non-conventional (in the sense of Furstenberg) bilinear polynomial ergodic averages \[ A_N(f,g)(x) := \frac{1}{N} \sum_{n =1}^N f(T^nx) g(T^{P(n)}x)\] as $N \to \infty$, where $T \colon X \to X$ is a measure-preserving transformation of a $\sigma$-finite measure space $(X,\mu)$, $P(\mathrm{n}) \in \mathbb Z[\mathrm{n}]$ is a polynomial of degree $d \geq 2$, and $f \in L^{p_1}(X), \ g \in L^{p_2}(X)$ for some $p_1,p_2 > 1$ with $\frac{1}{p_1} + \frac{1}{p_2} \leq 1$. We also establish an $r$-variational inequality for these averages (at lacunary scales) in the optimal range $r > 2$. We are also able to "break duality" by handling some ranges of exponents $p_1,p_2$ with $\frac{1}{p_1}+\frac{1}{p_2} > 1$, at the cost of increasing $r$ slightly. This gives an affirmative answer to Problem 11 from Frantzikinakis' open problems survey for the Furstenberg--Weiss averages (with $P(\mathrm{n})=\mathrm{n}^2$), which is a bilinear variant of Question 9 considered by Bergelson in his survey on Ergodic Ramsey Theory from 1996. This also gives a contribution to the Furstenberg-Bergelson-Leibman conjecture. Our methods combine techniques from harmonic analysis with the recent inverse theorems of Peluse and Prendiville in additive combinatorics. At large scales, the harmonic analysis of the adelic integers $\mathbb A_{\mathbb Z}$ also plays a role.


title: Sound velocities of Lennard-Jones systems near the liquid-solid phase transition

abstract: Longitudinal and transverse sound velocities of Lennard-Jones systems are calculated at the liquid-solid coexistence using the additivity principle. The results are shown to agree well with the ``exact'' values obtained from their relations to excess energy and pressure. Some consequences, in particular, in the context of the Lindemann's melting rule and Stokes-Einstein relation between the self-diffusion and viscosity coefficients are discussed. Comparison with available experimental data on the sound velocities of solid argon at melting conditions is provided.


title: Adversarial Graph Representation Adaptation for Cross-Domain Facial Expression Recognition

abstract: Data inconsistency and bias are inevitable among different facial expression recognition (FER) datasets due to subjective annotating process and different collecting conditions. Recent works resort to adversarial mechanisms that learn domain-invariant features to mitigate domain shift. However, most of these works focus on holistic feature adaptation, and they ignore local features that are more transferable across different datasets. Moreover, local features carry more detailed and discriminative content for expression recognition, and thus integrating local features may enable fine-grained adaptation. In this work, we propose a novel Adversarial Graph Representation Adaptation (AGRA) framework that unifies graph representation propagation with adversarial learning for cross-domain holistic-local feature co-adaptation. To achieve this, we first build a graph to correlate holistic and local regions within each domain and another graph to correlate these regions across different domains. Then, we learn the per-class statistical distribution of each domain and extract holistic-local features from the input image to initialize the corresponding graph nodes. Finally, we introduce two stacked graph convolution networks to propagate holistic-local feature within each domain to explore their interaction and across different domains for holistic-local feature co-adaptation. In this way, the AGRA framework can adaptively learn fine-grained domain-invariant features and thus facilitate cross-domain expression recognition. We conduct extensive and fair experiments on several popular benchmarks and show that the proposed AGRA framework achieves superior performance over previous state-of-the-art methods.


title: Evaluating the Financial Market Function in Prewar Japan using a Time-Varying Parameter Model

abstract: This paper explores when the financial market lost the price formation function in prewar Japan in the sense of Fama's (1970) semi-strong form market efficiency using a new dataset. We particularly focus on the relationship between the prewar Japanese financial market and several government policy interventions to explore whether the semi-strong form market efficiency evolves over time. To capture the long-run impact of government policy interventions against the markets, we measure the time-varying joint degree of market efficiency and the time-varying impulse responses based on Ito et al.'s (2014; 2017) generalized least squares-based time-varying vector autoregressive model. The empirical results reveal that (1) the joint degree of market efficiency in the prewar Japanese financial market fluctuated over time because of external events such as policy changes and wars, (2) the semi-strong form EMH is almost supported in the prewar Japanese financial market, (3) Lo's (2004) adaptive market hypothesis is supported in the prewar Japanese financial market even if we consider that the public information affects the financial markets, and (4) the prewar Japanese financial markets lost the price formation function in 1932 and that was a turning point in the market.


title: Processing of Crowdsourced Observations of Aircraft in a High Performance Computing Environment

abstract: As unmanned aircraft systems (UASs) continue to integrate into the U.S. National Airspace System (NAS), there is a need to quantify the risk of airborne collisions between unmanned and manned aircraft to support regulation and standards development. Both regulators and standards developing organizations have made extensive use of Monte Carlo collision risk analysis simulations using probabilistic models of aircraft flight. We've previously determined that the observations of manned aircraft by the OpenSky Network, a community network of ground-based sensors, are appropriate to develop models of the low altitude environment. This works overviews the high performance computing workflow designed and deployed on the Lincoln Laboratory Supercomputing Center to process 3.9 billion observations of aircraft. We then trained the aircraft models using more than 250,000 flight hours at 5,000 feet above ground level or below. A key feature of the workflow is that all the aircraft observations and supporting datasets are available as open source technologies or been released to the public domain.


title: Icosahedral Tiling with Dodecahedral Structures

abstract: Icosahedron and dodecahedron can be dissected into tetrahedral tiles projected from 3D-facets of the Delone polytopes representing the deep and shallow holes of the root lattice D_6. The six fundamental tiles of tetrahedra of edge lengths 1 and \tau are assembled into four composite tiles whose faces are normal to the 5-fold axes of the icosahedral group. The 3D Euclidean space is tiled face-to-face by the composite tiles with an inflation factor \tau generated by an inflation matrix. The aperiodic tiling is a generalization of the Tubingen triangular tiling in 2-dimensions for the faces of the tiles are made of Robinson triangles. Certain combinations of the tiles constitute dodecahedra with edge lengths of 1 and the golden ratio \tau=(1+\sqrt(5))/2.


title: Solving High-Order Portfolios via Successive Convex Approximation Algorithms

abstract: The first moment and second central moments of the portfolio return, a.k.a. mean and variance, have been widely employed to assess the expected profit and risk of the portfolio. Investors pursue higher mean and lower variance when designing the portfolios. The two moments can well describe the distribution of the portfolio return when it follows the Gaussian distribution. However, the real world distribution of assets return is usually asymmetric and heavy-tailed, which is far from being a Gaussian distribution. The asymmetry and the heavy-tailedness are characterized by the third and fourth central moments, i.e., skewness and kurtosis, respectively. Higher skewness and lower kurtosis are preferred to reduce the probability of extreme losses. However, incorporating high-order moments in the portfolio design is very difficult due to their non-convexity and rapidly increasing computational cost with the dimension. In this paper, we propose a very efficient and convergence-provable algorithm framework based on the successive convex approximation (SCA) algorithm to solve high-order portfolios. The efficiency of the proposed algorithm framework is demonstrated by the numerical experiments.


title: Intensity-only Mode Decomposition on Multimode Fibers using a Densely Connected Convolutional Network

abstract: The use of multimode fibers offers advantages in the field of communication technology in terms of transferable information density and information security. For applications using physical layer security or mode division multiplexing, the complex transmission matrix must be known. To measure the transmission matrix, the individual modes of the multimode fiber are excited sequentially at the input and a mode decomposition is performed at the output. Mode decomposition is usually performed using digital holography, which requires the provision of a reference wave and leads to high efforts. To overcome these drawbacks, a neural network is proposed, which performs mode decomposition with intensity-only camera recordings of the multimode fiber facet. Due to the high computational complexity of the problem, this approach was usually limited to a number of 6 modes. In this work, it could be shown for the first time that by using a DenseNet with 121 layers it is possible to break through the hurdle of 6 modes. The advancement is demonstrated by a mode decomposition with 10 modes experimentally. The training process is based on synthetic data. The proposed method is quantitatively compared to the conventional approach with digital holography. In addition, it is shown that the network can perform mode decomposition on a 55-mode fiber, which also supports modes unknown to the neural network. The smart detection using a DenseNet opens new ways for the application of multimode fibers in optical communication networks for physical layer security.


title: Why can we observe a plateau even in an out of control epidemic outbreak? A SEIR model with the interaction of $n$ distinct populations for Covid-19 in Brazil

abstract: This manuscript proposes a model of $n$ distinct populations interaction structured SEIR to describe the spread of COVID-19 pandemic diseases. The proposed model has the flexibility to include geographically separated communities as well as taking into account aging population groups and their interactions. We show that distinct assumptions on the dynamics of the proposed model lead to a plateau-like curve of the infected population, reflecting collected data from large countries like Brazil. Such observations aim to the following conjecture: " Covid-19 diseased diffusion from the capitals to the Brazil interior, as reflected by the proposed model, is responsible for plateau-like reported cases in the country". We present numerical simulations of some scenarios and comparison with reported data from Brazil that corroborate with the aforementioned conclusions.


title: He-shell flashes on the surface of oxygen-neon white dwarfs

abstract: Accretion induced collapse (AIC) may be responsible for the formation of some interesting neutron star binaries, e.g., millisecond pulsars, intermediate-mass binary pulsars, etc. It has been suggested that oxygen-neon white dwarfs (ONe WDs) can increase their mass to the Chandrasekhar limit by multiple He-shell flashes, leading to AIC events. However, the properties of He-shell flashes on the surface of ONe WDs are still not well understood. In this article, we aim to study He-shell flashes on the surface of ONe WDs in a systematic approach. We investigated the long-term evolution of ONe WDs accreting He-rich material with various constant mass-accretion rates by time-dependent calculations with the stellar evolution code Modules for Experiments in Stellar Astrophysics (MESA), in which the initial ONe WD masses range from 1.1 to 1.35 M . We found that the mass-retention efficiency increases with the ONe WD mass and the mass-accretion rate, whereas both the nova cycle duration and the ignition mass decrease with the ONe WD mass and the mass-accretion rate. We also present the nuclear products in different accretion scenarios. The results presented in this article can be used in the future binary population synthesis studies of AIC events.


title: Highly tunable ferroelectricity in hybrid improper ferroelectric Sr3Sn2O7

abstract: The successful theoretical prediction and experimental demonstration of hybrid improper ferroelectricity (HIF) provides a new pathway to couple octahedral rotations, ferroelectricity, and magnetism in complex materials. To enable technological applications, a HIF with a small coercive field is desirable. We successfully grow Sr3Sn2O7 single crystals, and discover that they exhibit the smallest electric coercive field at room temperature among all known HIFs. Furthermore, we demonstate that a small external stress can repeatedly erase and re-generate ferroelastic domains. In addition, using in-plane piezo-response force microscopy, we characterize abundant charged and neutral domain walls. The observed small electrical and mechanical coercive field values are in accordance with the results of our first-principles calculations on Sr3Sn2O7, which show low energy barriers for both 90{\deg} and 180{\deg} polarization switching compared to those in other experimentally demonstrated HIFs. Our findings represent an advance towards the possible technological implemetation of functional HIFs.


title: Super Yang-Mills Theories with Inhomogeneous Mass Deformations

abstract: We construct the 4-dimensional ${\cal N}=\frac12$ and ${\cal N}=1$ inhomogeneously mass-deformed super Yang-Mills theories from the ${\cal N} =1^*$ and ${\cal N} =2^*$ theories, respectively, and analyse their supersymmetric vacua. The inhomogeneity is attributed to the dependence of background fluxes in the type IIB supergravity on a single spatial coordinate. This gives rise to inhomogeneous mass functions in the ${\cal N} =4$ super Yang-Mills theory which describes the dynamics of D3-branes. The Killing spinor equations for those inhomogeneous theories lead to the supersymmetric vacuum equation and a boundary condition. We investigate two types of solutions in the $ {\cal N}=\frac12$ theory, corresponding to the cases of asymptotically constant mass functions and periodic mass functions. For the former case, the boundary condition gives a relation between the parameters of two possibly distinct vacua at the asymptotic boundaries. Brane interpretations for corresponding vacuum solutions in type IIB supergravity are also discussed. For the latter case, we obtain explicit forms of the periodic vacuum solutions.


title: Standard candles and sirens rescue $H_0$

abstract: We show that future observations of binary neutron star systems with electromagnetic counterparts together with the traditional probes of low- and high-redshift Type Ia supernovae (SNe Ia) can help resolve the Hubble tension. The luminosity distance inferred from these probes and its scatter depend on the underlying cosmology. By using the gravitational lensing of light or gravitational waves emitted by, and peculiar motion of, these systems we derive constraints on the sum of neutrino masses, the equation of state of dark energy parametrized in the form $w_0 + w_a (1-a)$, along with the Hubble constant and cold dark matter density in the universe. We show that even after marginalizing over poorly constrained physical quantities, such as the sum of neutrino masses and the nature of dark energy, low-redshift gravitational-wave observations, in combination with SNe Ia, have the potential to rule out new physics as the underlying cause of the Hubble tension at $\gtrsim 5.5\sigma$.


title: Staggered superfluid phases of dipolar bosons in two-dimensional square lattices

abstract: We study the quantum ground state of ultracold bosons in a two-dimensional square lattice. The bosons interact via the repulsive dipolar interactions and s-wave scattering. The dynamics is described by the extended Bose-Hubbard model including correlated hopping due to the dipolar interactions, the coefficients are found from the second quantized Hamiltonian using the Wannier expansion with realistic parameters. We determine the phase diagram using the Gutzwiller ansatz in the regime where the coefficients of the correlated hopping terms are negative and can interfere with the tunneling due to single-particle effects. We show that this interference gives rise to staggered superfluid and supersolid phases at vanishing kinetic energy, while we identify parameter regions at finite kinetic energy where the phases are incompressible. We compare the results with the phase diagram obtained with the cluster Gutzwiller approach and with the results found in one dimension using DMRG.


title: On the chromatic number of the preferential attachment graph

abstract: We prove that for every $m\in \mathbb N$ and every $\delta\in (-m,0)$, the chromatic number of the preferential attachment graph $PA_t(m, \delta)$ is asymptotically almost surely equal to $m+1$. The proof relies on a combinatorial construction of a family of digraphs of chromatic number $m+1$ followed by a proof that asymptotically almost surely there is a digraph in this family, which is realised as a subgraph of the preferential attachment graph.


title: Intrinsic mechanism for anisotropic magnetoresistance and experimental confirmation in Co$_x$Fe$_{1-x}$ single-crystal films

abstract: Using first-principles transport calculations, we predict that the anisotropic magnetoresistance (AMR) of single-crystal Co$_x$Fe$_{1-x}$ alloys is strongly dependent on the current orientation and alloy concentration. An intrinsic mechanism for AMR is found to arise from the band crossing due to magnetization-dependent symmetry protection. These special $k$-points can be shifted towards or away from the Fermi energy by varying the alloy composition and hence the exchange splitting, thus allowing AMR tunability. The prediction is confirmed by delicate transport measurements, which further reveal a reciprocal relationship of the longitudinal and transverse resistivities along different crystal axes.


title: Influence of atmospheric conditions on the power production of utility-scale wind turbines in yaw misalignment

abstract: The intentional yaw misalignment of leading, upwind turbines in a wind farm, termed wake steering, has demonstrated potential as a collective control approach for wind farm power maximization. The optimal control strategy, and resulting effect of wake steering on wind farm power production, are in part dictated by the power degradation of the upwind yaw misaligned wind turbines. In the atmospheric boundary layer, the wind speed and direction may vary significantly over the wind turbine rotor area, depending on atmospheric conditions and stability, resulting in freestream turbine power production which is asymmetric as a function of the direction of yaw misalignment and which varies during the diurnal cycle. In this study, we propose a model for the power production of a wind turbine in yaw misalignment based on aerodynamic blade elements which incorporates the effects of wind speed and direction changes over the turbine rotor area in yaw misalignment. A field experiment is performed using multiple utility-scale wind turbines to characterize the power production of yawed freestream operating turbines depending on the wind conditions, and the model is validated using the experimental data. The resulting power production of a yaw misaligned variable speed wind turbine depends on a nonlinear interaction between the yaw misalignment, the atmospheric conditions, and the wind turbine control system.


title: High Contrast Probe Cleavage Detection

abstract: Photonic biosensors that use optical resonances to amplify signals from refractive index changes offer high-sensitivity, real-time readout, and scalable, low-cost fabrication. However, when used with classic affinity assays they struggle with noise from non-specific binding and are limited by the low refractive index and small size of target biological molecules. In this letter, we introduce the High Contrast Cleavage Detection (HCCD) mechanism, which makes use of dramatic optical signal amplification caused by the cleavage of large numbers of high-contrast nanoparticle reporters instead of the adsorption of labeled or unlabeled low-index biological molecules. We evaluate the advantages of the HCCD detection mechanism over conventional target-capture detection techniques when using the same label and the same photonic biosensor platform and illustrate numerically the possibility for attomolar sensitivity for HCCD using an example of a silicon ring resonator as an optical transducer decorated with silicon nanoparticles as high-contrast reporters. In the practical realization of this detection scheme, detection specificity and signal amplification can be achieved via collateral nucleic acid cleavage caused by enzymes such as CRISPR Cas12a and Cas13 after binding to a target DNA/RNA sequence in solution.

categories: physics.app-ph physics.bio-ph physics.chem-ph physics.optics


title: Twisted Alexander polynomials of tunnel number one Montesinos knots

abstract: We calculate the twisted Alexander polynomials of all tunnel number one Montesinos knots associated to their $SL_2(\mathbb{C})$-representations and obtain their leading coefficients and degrees. As a corollary, we get some interesting examples, that is, nonfibered knots with monic Alexander polynomials which have non-monic twisted Alexander polynomials.


title: A spectral sequence for tangent cohomology of algebraic operads

abstract: Operadic tangent cohomology generalizes the existing theories of Harrison cohomology, Chevalley--Eilenberg cohomology and Hochschild cohomology. These are usually non-trivial to compute. We complement the existing computational techniques by producing a spectral sequence that converges to the operadic tangent cohomology of a fixed algebra. Our main technical tool is that of filtrations arising from towers of cofibrations of algebras, which play the same role cell attaching maps and skeletal filtrations do for topological spaces. As an application, we consider the rational Adams--Hilton construction on topological spaces, where our spectral sequence gives rise to a seemingly new and completely algebraic description of the Serre spectral sequence, which we also show is multiplicative and converges to the Chas--Sullivan loop product. Finally, we consider relative Sullivan--de Rham models of a fibration $p$, where our spectral sequence converges to the rational homotopy groups of the identity component of the space of self-fiber homotopy equivalences of $p$.


title: Towards a Semantic Model of the GDPR Register of Processing Activities

abstract: A core requirement for GDPR compliance is the maintenance of a register of processing activities (ROPA). Our analysis of six ROPA templates from EU data protection regulators shows the scope and granularity of a ROPA is subject to widely varying guidance in different jurisdictions. We present a consolidated data model based on common concepts and relationships across analysed templates. We then analyse the extent of using the Data Privacy Vocabulary - a vocabulary specification for GDPR. We show that the DPV currently does not provide sufficient concepts to represent the ROPA data model and propose an extension to fill this gap. This will enable creation of a pan-EU information management framework for interoperability between organisations and regulators for GDPR compliance.


title: Fusion of Deep and Non-Deep Methods for Fast Super-Resolution of Satellite Images

abstract: In the emerging commercial space industry there is a drastic increase in access to low cost satellite imagery. The price for satellite images depends on the sensor quality and revisit rate. This work proposes to bridge the gap between image quality and the price by improving the image quality via super-resolution (SR). Recently, a number of deep SR techniques have been proposed to enhance satellite images. However, none of these methods utilize the region-level context information, giving equal importance to each region in the image. This, along with the fact that most state-of-the-art SR methods are complex and cumbersome deep models, the time taken to process very large satellite images can be impractically high. We, propose to handle this challenge by designing an SR framework that analyzes the regional information content on each patch of the low-resolution image and judiciously chooses to use more computationally complex deep models to super-resolve more structure-rich regions on the image, while using less resource-intensive non-deep methods on non-salient regions. Through extensive experiments on a large satellite image, we show substantial decrease in inference time while achieving similar performance to that of existing deep SR methods over several evaluation measures like PSNR, MSE and SSIM.


title: Failure Probability Analysis for Partial Extraction from Invertible Bloom Filters

abstract: Invertible Bloom Filter (IBF) is a data structure, which employs a small set of hash functions. An IBF allows for an efficient insertion and, with high probability, for an efficient extraction of the data. However, the success probability of the extraction depends on the storage overhead of an IBF and the amount of the data stored. In an application, such as set reconciliation, where there is a need to extract data stored in the IBF, the extraction might succeed only partially, by recovering only part of the stored data. In this work, the probability of success for a partial extraction of data from an IBF is analyzed. It is shown that partial extraction could be useful in applications, such as set reconciliation. In particular, it allows for set reconciliation by using the IBF, where the storage overhead is too small to allow full extraction. An upper bound on the number of rounds in an iterative set reconciliation protocol is presented. The numerical results are derived analytically, and confirmed by the computer simulations.


title: SALT HRS capabilities for time resolved pulsation analysis: a test with the roAp star $\alpha$ Circini

abstract: Spectroscopy is a powerful tool for detecting variability in the rapidly oscillating Ap (roAp) stars. The technique requires short integrations times and high resolution, and so is limited to only a few telescopes and instruments. To test the capabilities of the High Resolution Spectrograph (HRS) at the Southern African Large Telescope (SALT) for the study of pulsations in roAp stars, we collected 2.45 hr of high-resolution data of the well studied roAp star $\alpha$ Cir in a previously unused instrument configuration. We extracted radial velocity measurements using different rare earth elements, and the core of H$_\alpha$, via the cross correlation method. We performed the same analysis with a set of $\alpha$ Cir data collected with the High Accuracy Radial velocity Planet Searcher (HARPS) spectrograph to provide a benchmark for our SALT HRS test. We measured significant radial velocity variations in the HRS data and show that our results are in excellent agreement between the two data sets, with similar signal-to-noise ratio detections of the principal pulsation mode. With the HRS data, we report the detection of a second mode, showing the instrument is capable of detecting multiple and low-amplitude signals in a short observing window. We concluded that SALT HRS is well-suited for characterising pulsations in Ap stars, opening a new science window for the telescope. Although our analysis focused on roAp stars, the fundamental results are applicable to other areas of astrophysics where high temporal and spectral resolution observations are required.


title: Demystifying the Role of zk-SNARKs in Zcash

abstract: Zero-knowledge proofs have always provided a clear solution when it comes to conveying information from a prover to a verifier or vice versa without revealing essential information about the process. Advancements in zero-knowledge have helped develop proofs which are succinct and provide non-interactive arguments of knowledge along with maintaining the zero-knowledge criteria. zk-SNARKs (Zero knowledge Succinct Non-Interactive Argument of Knowledge) are one such method that outshines itself when it comes to advancement of zero-knowledge proofs. The underlying principle of the Zcash algorithm is such that it delivers a full-fledged ledger-based digital currency with strong privacy guarantees and the root of ensuring privacy lies fully on the construction of a proper zk-SNARK. In this paper we elaborate and construct a concrete zk-SNARK proof from scratch and explain its role in the Zcash algorithm.


title: Variational Monte Carlo simulation with tensor networks of a pure $\mathbb{Z}_3$ gauge theory in (2+1)d

abstract: Variational minimization of tensor network states enables the exploration of low energy states of lattice gauge theories. However, the exact numerical evaluation of high-dimensional tensor network states remains challenging in general. In [E. Zohar, J. I. Cirac, Phys. Rev. D 97, 034510 (2018)] it was shown how, by combining gauged Gaussian projected entangled pair states with a variational Monte Carlo procedure, it is possible to efficiently compute physical observables. In this paper we demonstrate how this approach can be used to investigate numerically the ground state of a lattice gauge theory. More concretely, we explicitly carry out the variational Monte Carlo procedure based on such contraction methods for a pure gauge Kogut-Susskind Hamiltonian with a $\mathbb{Z}_3$ gauge field in two spatial dimensions. This is a first proof of principle to the method, which provides an inherent way to increase the number of variational parameters and can be readily extended to systems with physical fermions.


title: Resolutivity and invariance for the Perron method for degenerate equations of divergence type

abstract: We consider Perron solutions to the Dirichlet problem for the quasilinear elliptic equation $\mathop{\rm div}\mathcal{A}(x,\nabla u) = 0$ in a bounded open set $\Omega\subset\mathbf{R}^n$. The vector-valued function $\mathcal{A}$ satisfies the standard ellipticity assumptions with a parameter $1<p<\infty$ and a $p$-admissible weight $w$. We show that arbitrary perturbations on sets of $(p,w)$-capacity zero of continuous (and certain quasicontinuous) boundary data $f$ are resolutive and that the Perron solutions for $f$ and such perturbations coincide. As a consequence, we prove that the Perron solution with continuous boundary data is the unique bounded solution that takes the required boundary data outside a set of $(p,w)$-capacity zero.


title: Fast and wide-band tuning single-mode microlaser based on fiber Fabry-P\'erot microcavities

abstract: A narrow linewidth laser operating at the telecommunications band combined with both fast and wide-band tuning features will have promising applications. Here, we demonstrate a single-mode (both transverse and longitude mode) continuous microlaser around 1535 nm based on a fiber Fabry-P\'erot microcavity, which achieves wide-band tuning without mode hopping to 1.3 THz range and fast tuning rate to 60 kHz, yields a frequency scan rate of $1.6\times10^{17}$ Hz/s. Moreover, the linewidth of the laser is measured as narrow as 3.1 MHz. As the microlaser combines all these features into one fiber component, it can serve as the seed laser for versatile applications in optical communication, sensing, frequency-modulated continuous-wave radar and high resolution imaging.


title: Experimentally verifying anti-Kibble-Zurek behavior in a quantum system under noisy control field

abstract: Kibble-Zurek mechanism (KZM) is a universal framework which could in principle describe phase transition phenomenon in any system with required symmetry properties. However, a conflicting observation termed anti-KZ behavior has been reported in the study of ferroelectric phase transition, in which slower driving results in more topological defects [S. M. Griffin, et al. Phys. Rev. X. 2, 041022 (2012)]. Although this research is significant, its experimental simulations have been scarce until now. In this work, we experimentally demonstrate anti-KZ behavior under noisy control field in three kinds of quantum phase transition protocols using a single trapped Yb ion. The density of defects is studied as a function of the quench time and the noise intensity. We experimentally verify that the optimal quench time to minimize excitation scales as a universal power law of the noise intensity. Our research sets a stage for quantum simulation of such anti-KZ behavior in two-level systems and reveals the limitations of the adiabatic protocols such as quantum annealing.


title: Atomic scale visualization of topological spin textures in the chiral magnet MnGe

abstract: Spin polarized scanning tunneling microscopy is used to directly image topological magnetic textures in thin films of MnGe, and to correlate the magnetism with structure probed at the atomic-scale. Our images indicate helical stripe domains, each characterized by a single wavevector Q, and their associated helimagnetic domain walls, in contrast to the 3Q magnetic state seen in the bulk. Combining our surface measurements with micromagnetic modeling, we deduce the three-dimensional orientation of the helical wavevectors and gain detailed understanding of the structure of individual domain walls and their intersections. We find that three helical domains meet in two distinct ways to produce either a "target-like" or a "pi-like" topological spin texture, and correlate these with local strain on the surface. We further show that the target-like texture can be reversibly manipulated through either current/voltage pulsing or applied magnetic field, a promising step toward future applications.


title: Stability of shear flows near a boundary

abstract: This book is devoted to the study of the linear and nonlinear stability of shear flows and boundary layers for Navier Stokes equations for incompressible fluids with Dirichlet boundary conditions in the case of small viscosity. The aim of this book is to provide a comprehensive presentation to recent advances on boundary layers stability. It targets graduate students and researchers in mathematical fluid dynamics and only assumes that the readers have a basic knowledge on ordinary differential equations and complex analysis. No prerequisites are required in fluid mechanics, excepted a basic knowledge on Navier Stokes and Euler equations, including Leray's theorem. This book consists of three parts. Part I is devoted to the presentation of classical results and methods: Green functions techniques, resolvent techniques, analytic functions. Part II focuses on the linear analysis, first of Rayleigh equations, then of Orr Sommerfeld equations. This enables the construction of Green functions for Orr Sommerfeld, and then the construction of the resolvent of linearized Navier Stokes equations. Part III details the construction of approximate solutions for the complete nonlinear problem and nonlinear instability results.


title: Bounds on transport from univalence and pole-skipping

abstract: Bounds on transport represent a way of understanding allowable regimes of quantum and classical dynamics. Numerous such bounds have been proposed, either for classes of theories or (by using general arguments) universally for all theories. Few are exact and inviolable. I present a new set of methods and sufficient conditions for deriving exact, rigorous, and sharp bounds on all coefficients of hydrodynamic dispersion relations, including diffusivity and the speed of sound. These general techniques combine analytic properties of hydrodynamics and the theory of univalent (complex holomorphic and injective) functions. Particular attention is devoted to bounds relating transport to quantum chaos, which can be established through pole-skipping in theories with holographic duals. Examples of such bounds are shown along with holographic theories that can demonstrate the validity of the conditions involved. I also discuss potential applications of univalence methods to bounds without relation to chaos, such as for example the conformal bound on the speed of sound.

categories: hep-th cond-mat.str-el math-ph math.MP nlin.CD nucl-th


title: Speaker dependent articulatory-to-acoustic mapping using real-time MRI of the vocal tract

abstract: Articulatory-to-acoustic (forward) mapping is a technique to predict speech using various articulatory acquisition techniques (e.g. ultrasound tongue imaging, lip video). Real-time MRI (rtMRI) of the vocal tract has not been used before for this purpose. The advantage of MRI is that it has a high `relative' spatial resolution: it can capture not only lingual, labial and jaw motion, but also the velum and the pharyngeal region, which is typically not possible with other techniques. In the current paper, we train various DNNs (fully connected, convolutional and recurrent neural networks) for articulatory-to-speech conversion, using rtMRI as input, in a speaker-specific way. We use two male and two female speakers of the USC-TIMIT articulatory database, each of them uttering 460 sentences. We evaluate the results with objective (Normalized MSE and MCD) and subjective measures (perceptual test) and show that CNN-LSTM networks are preferred which take multiple images as input, and achieve MCD scores between 2.8-4.5 dB. In the experiments, we find that the predictions of speaker `m1' are significantly weaker than other speakers. We show that this is caused by the fact that 74% of the recordings of speaker `m1' are out of sync.


title: Analysis of a quasi-variational contact problem arising in thermoelasticity

abstract: We formulate and study two mathematical models of a thermoforming process involving a membrane and a mould as implicit obstacle problems. In particular, the membrane-mould coupling is determined by the thermal displacement of the mould that depends in turn on the membrane through the contact region. The two models considered are a stationary (or elliptic) model and an evolutionary (or quasistatic) one. For the first model, we prove the existence of weak solutions by solving an elliptic quasi-variational inequality coupled to elliptic equations. By exploring the fine properties of the variation of the contact set under non-degenerate data, we give sufficient conditions for the existence of regular solutions, and under certain contraction conditions, also a uniqueness result. We apply these results to a series of semi-discretised problems that arise as approximations of regular solutions for the evolutionary or quasistatic problem. Here, under certain conditions, we are able to prove existence for the evolutionary problem and for a special case, also the uniqueness of time-dependent solutions.


title: On BPS Strings in ${\mathcal N}=4$ Yang-Mills Theory

abstract: We study singular time-dependent $\frac{1}{8}$-BPS configurations in the abelian sector of ${{\mathcal N}= 4}$ supersymmetric Yang-Mills theory that represent BPS string-like defects in ${{\mathbb R}\times S^3}$ spacetime. Such BPS strings can be described as intersections of the zeros of holomorphic functions in two complex variables with a 3-sphere. We argue that these BPS strings map to $\frac{1}{8}$-BPS surface operators under the state-operator correspondence of the CFT. We show that the string defects are holographically dual to noncompact probe D3-branes in global $AdS_5\times S^5$ that share supersymmetries with a class of dual-giant gravitons. For simple configurations, we demonstrate how to define a good variational problem and propose a regularization scheme that leads to finite energy and global charges on both sides of the holographic correspondence.


title: Shape Adaptor: A Learnable Resizing Module

abstract: We present a novel resizing module for neural networks: shape adaptor, a drop-in enhancement built on top of traditional resizing layers, such as pooling, bilinear sampling, and strided convolution. Whilst traditional resizing layers have fixed and deterministic reshaping factors, our module allows for a learnable reshaping factor. Our implementation enables shape adaptors to be trained end-to-end without any additional supervision, through which network architectures can be optimised for each individual task, in a fully automated way. We performed experiments across seven image classification datasets, and results show that by simply using a set of our shape adaptors instead of the original resizing layers, performance increases consistently over human-designed networks, across all datasets. Additionally, we show the effectiveness of shape adaptors on two other applications: network compression and transfer learning. The source code is available at: https://github.com/lorenmt/shape-adaptor.


title: Tracing carbon dioxide emissions in the European electricity markets

abstract: Consumption-based carbon emission measures aim to account for emissions associated with power transmission from distant regions, as opposed to measures which only consider local power generation. Outlining key differences between two different methodological variants of this approach, we report results on consumption-based emission intensities of power generation for European countries from 2016 to 2019. We find that in particular for well connected smaller countries, the consideration of imports has a significant impact on the attributed emissions. For these countries, implicit methodological choices in the input-output model are reflected in both hourly and average yearly emission measures.


title: Irreversibility, heat and information flows induced by non-reciprocal interactions

abstract: We study the thermodynamic properties induced by non-reciprocal interactions between stochastic degrees of freedom in time- and space-continuous systems. We show that, under fairly general conditions, non-reciprocal coupling alone implies a steady energy flow through the system, i.e., non-equilibrium. Projecting out the non-reciprocally coupled degrees of freedom renders non-Markovian, one-variable Langevin descriptions with complex types of memory, for which we find a generalized second law involving information flow. We demonstrate that non-reciprocal linear interactions can be used to engineer non-monotonic memory, which is typical for, e.g., time-delayed feedback control, and is automatically accompanied with a nonzero information flow through the system. Furthermore, already a single non-reciprocally coupled degree of freedom can extract energy from a single heat bath (at isothermal conditions), and can thus be viewed as a minimal version of a time-continuous, autonomous "Maxwell demon". At the same time, the non-reciprocal system has characteristic features of active matter, such as a positive energy input on the level of the flucuating trajectories, without global particle transport.


title: On second-order and fourth-order elliptic systems consisting of bulk and surface PDEs: Well-posedness, regularity theory and eigenvalue problems

abstract: In this paper, we study second-order and fourth-order elliptic problems which include not only a Poisson equation in the bulk but also an inhomogeneous Laplace--Beltrami equation on the boundary of the domain. The bulk and the surface PDE are coupled by a boundary condition that is either of Dirichlet or Robin type. We point out that both the Dirichlet and the Robin type boundary condition can be handled simultaneously through our formalism without having to change the framework. Moreover, we investigate the eigenvalue problems associated with these second-order and fourth-order elliptic systems. We further discuss the relation between these elliptic problems and certain parabolic problems, especially the Allen--Cahn equation and the Cahn--Hilliard equation with dynamic boundary conditions.


title: A Dichotomy for the Generalized Model Counting Problem for Unions of Conjunctive Queries

abstract: We study the $generalized~model~counting~problem$, defined as follows: given a database, and a set of deterministic tuples, count the number of subsets of the database that include all deterministic tuples and satisfy the query. This problem is computationally equivalent to the evaluation of the query over a tuple-independent probabilistic database where all tuples have probabilities in $\{0,\frac{1}{2},1\}$. Previous work has established a dichotomy for Unions of Conjunctive Queries (UCQ) when the probabilities are arbitrary rational numbers, showing that, for each query, its complexity is either in polynomial time or #P-hard. The query is called $safe$ in the first case, and $unsafe$ in the second case. Here, we strengthen the hardness proof, by proving that an unsafe UCQ query remains #P-hard even if the probabilities are restricted to $\{0,\frac{1}{2},1\}$. This requires a complete redesign of the hardness proof, using new techniques. A related problem is the $model~counting~problem$, which asks for the probability of the query when the input probabilities are restricted to $\{0,\frac{1}{2}\}$. While our result does not extend to model counting for all unsafe UCQs, we prove that model counting is #P-hard for a class of unsafe queries called Type-I forbidden queries.


title: Beurling-Ahlfors extension by heat kernel, ${\rm A}_\infty$-weights for VMO, and vanishing Carleson measures

abstract: We investigate a variant of the Beurling-Ahlfors extension of quasisymmetric homeomorphisms of the real line that is given by the convolution of the heat kernel, and prove that the complex dilatation of such a quasiconformal extension of a strongly symmetric homeomorphism (i.e. its derivative is an ${\rm A}_\infty$-weight whose logarithm is in VMO) induces a vanishing Carleson measure on the upper half-plane.


title: Gorenstein rings generated by strongly stable sets of quadratic monomials

abstract: We characterize all Gorenstein rings generated by strongly stable sets of monomials of degree two. We compute their Hilbert series in several cases, which also provides an answer to a question by Migliore and Nagel.


title: Tikhonov regularization for polynomial approximation problems in Gauss quadrature points

abstract: This paper is concerned with the introduction of Tikhonov regularization into least squares approximation scheme on $[-1,1]$ by orthonormal polynomials, in order to handle noisy data. This scheme includes interpolation and hyperinterpolation as special cases. With Gauss quadrature points employed as nodes, coefficients of the approximation polynomial with respect to given basis are derived in an entry-wise closed form. Under interpolatory conditions, the solution to the regularized approximation problem is rewritten in forms of two kinds of barycentric interpolation formulae, by introducing only a multiplicative correction factor into both classical barycentric formulae. An $L_2$ error bound and a uniform error bound are derived, providing similar information that Tikhonov regularization is able to reduce the operator norm (Lebesgue constant) and the error term related to the level of noise, both by multiplying a correction factor which is less than one. Numerical examples show the benefits of Tikhonov regularization when data is noisy or data size is relatively small.


title: A new technique to solve linear integro-differential equations (IDEs) with modified Bernoulli polynomials

abstract: In this work, a new technique has been presented to find approximate solution of linear integro-differential equations. The method is based on modified orthonormal Bernoulli polynomials and an operational matrix thereof. The method converts a given integro-differential equation into a set of algebraic equations with unknown coefficients, which is easily obtained with help of the known functions appearing in the equation, modified Bernoulli polynomials and operational matrix. Approximate solution is obtained in form of a polynomial of required degree. The method is also applied to three well known integro-differential equations to demonstrated the accuracy and efficacy of the method. Numerical results of approximate solution are plotted to compared with available exact solutions. Considerably small error of approximation is observed through numerical comparison, which is further reducible to a required level of significance. Method is comparatively simpler and shorter than many existing methods.


title: Automated Segmentation of Brain Gray Matter Nuclei on Quantitative Susceptibility Mapping Using Deep Convolutional Neural Network

abstract: Abnormal iron accumulation in the brain subcortical nuclei has been reported to be correlated to various neurodegenerative diseases, which can be measured through the magnetic susceptibility from the quantitative susceptibility mapping (QSM). To quantitively measure the magnetic susceptibility, the nuclei should be accurately segmented, which is a tedious task for clinicians. In this paper, we proposed a double-branch residual-structured U-Net (DB-ResUNet) based on 3D convolutional neural network (CNN) to automatically segment such brain gray matter nuclei. To better tradeoff between segmentation accuracy and the memory efficiency, the proposed DB-ResUNet fed image patches with high resolution and the patches with low resolution but larger field of view into the local and global branches, respectively. Experimental results revealed that by jointly using QSM and T$_\text{1}$ weighted imaging (T$_\text{1}$WI) as inputs, the proposed method was able to achieve better segmentation accuracy over its single-branch counterpart, as well as the conventional atlas-based method and the classical 3D-UNet structure. The susceptibility values and the volumes were also measured, which indicated that the measurements from the proposed DB-ResUNet are able to present high correlation with values from the manually annotated regions of interest.


title: Efficient Orchestration of Host and Remote Shared Memory for Memory Intensive Workloads

abstract: Since very few contributions to the development of an unified memory orchestration framework for efficient management of both host and remote idle memory have been made, we present Valet, an efficient approach to orchestration of host and remote shared memory for improving performance of memory intensive workloads. The paper makes three original contributions. First, we redesign the data flow in the critical path by introducing a host-coordinated memory pool that works as a local cache to reduce the latency in the critical path of the host and remote memory orchestration. Second, Valet utilizes unused local memory across containers by managing local memory via Valet host-coordinated memory pool, which allows containers to dynamically expand and shrink their memory allocations according to the workload demands. Third, Valet provides an efficient remote memory reclaiming technique on remote peers, based on two optimizations: (1) an activity-based victim selection scheme to allow the least-active-chunk of data to be selected for serving the eviction requests and (2) a migration protocol to move the least-active-chunk of data to less-memory-pressured remote node. As a result, Valet can effectively reduce the performance impact and migration overhead on local nodes. Our extensive experiments on both NoSQL systems and Machine Learning (ML) workloads show that Valet outperforms existing representative remote paging systems with up to 226X throughput improvement and up to 98% latency decrease over conventional OS swap facility for big data and ML workloads, and by up to 5.5X throughput improvement and up to 78.4% latency decrease over the state-of-the-art remote paging systems. Valet is open sourced at https://github.com/git-disl/Valet.


title: Bias in Zipf's Law Estimators

abstract: The prevailing maximum likelihood estimators for inferring power law models from rank-frequency data are biased. The source of this bias is an inappropriate likelihood function. The correct likelihood function is derived and shown to be computationally intractable. A more computationally efficient method of approximate Bayesian computation (ABC) is explored. This method is shown to have less bias for data generated from idealised rank-frequency Zipfian distributions. However, the existing estimators and the ABC estimator described here assume that words are drawn from a simple probability distribution, while language is a much more complex process. We show that this false assumption leads to continued biases when applying any of these methods to natural language to estimate Zipf exponents. We recommend that researchers be aware of these biases when investigating power laws in rank-frequency data.


title: Mechanism for Negative Differential Conductivity in Holographic Conductors

abstract: We clarify the mechanism for negative differential conductivity in holographic conductors. Negative differential conductivity is a phenomenon in which the electric field decreses with the increase of the current. This phenomenon is widely observed in strongly correlated insulators, and it has been known that some models of AdS/CFT correspondence (holographic conductors) reproduces this behaviour. We study the mechanism for negative differential conductivity in holographic conductors by analyzing the lifetime of the bound states of the charge carriers. We find that when the system exhibits negative differential conductivity, the lifetime of the bound states grows as the electric field increases. This suggests that the negative differential conductivity in this system is realized by the supression of the ionization of the bound states that supplies the free carriers.


title: Learning Based Methods for Traffic Matrix Estimation from Link Measurements

abstract: Network traffic demand matrix is a critical input for capacity planning, anomaly detection and many other network management related tasks. The demand matrix is often computed from link load measurements. The traffic matrix (TM) estimation problem is the determination of the traffic demand matrix from link load measurements. The relationship between the link loads and the traffic matrix that generated the link load can be modeled as an under-determined linear system and has multiple feasible solutions. Therefore, prior knowledge of the traffic demand pattern has to be used in order to find a potentially feasible demand matrix. In this paper, we consider the TM estimation problem where we have information about the distribution of the demand sizes. This information can be obtained from the analysis of a few traffic matrices measured in the past or from operator experience. We develop an iterative projection based algorithm for the solution of this problem. If large number of past traffic matrices are accessible, we propose a Generative Adversarial Network (GAN) based approach for solving the problem. We compare the strengths of the two approaches and evaluate their performance for several networks using varying amounts of past data.


title: Wind-MRI interactions in local models of protoplanetary discs: I. Ohmic resistivity

abstract: A magnetic disc wind is an important mechanism that may be responsible for driving accretion and structure formation in protoplanetary discs. Recent numerical simulations have shown that these winds can take either the traditional `hourglass' symmetry about the mid-plane, or a `slanted' symmetry dominated by a mid-plane toroidal field of a single sign. The formation of this slanted symmetry state has not previously been explained. We use radially local 1D vertical shearing box simulations to assess the importance of large-scale MRI channel modes in influencing the formation and morphologies of these wind solutions. We consider only Ohmic resistivity and explore the effect of different magnetisations, with the mid-plane $\beta$ parameter ranging from $10^5$ to $10^2$. We find that our magnetic winds go through three stages of development: cyclic, transitive and steady, with the steady wind taking a slanted symmetry profile similar to those observed in local and global simulations. We show that the cycles are driven by periodic excitation of the $n=2$ or $3$ MRI channel mode coupled with advective eviction, and that the transition to the steady wind is caused by a much more slowly growing $n=1$ mode altering the wind structure. Saturation is achieved through a combination of advective damping from the strong wind, and suppression of the instability due to a strong toroidal field. A higher disc magnetisation leads to a greater tendency towards, and more rapid settling into the slanted symmetry steady wind, which may have important implications for mass and flux transport processes in protoplanetary discs.


title: Reduction games, provability, and compactness

abstract: Hirschfeldt and Jockusch (2016) introduced a two-player game in which winning strategies for one or the other player precisely correspond to implications and non-implications between $\Pi^1_2$ principles over $\omega$-models of $\mathsf{RCA}_0$. They also introduced a version of this game that similarly captures provability over $\mathsf{RCA}_0$. We generalize and extend this game-theoretic framework to other formal systems, and establish a certain compactness result that shows that if an implication $\mathsf{Q} \to \mathsf{P}$ between two principles holds, then there exists a winning strategy that achieves victory in a number of moves bounded by a number independent of the specific run of the game. This compactness result generalizes an old proof-theoretic fact noted by H.~Wang (1981), and has applications to the reverse mathematics of combinatorial principles. We also demonstrate how this framework leads to a new kind of analysis of the logical strength of mathematical problems that refines both that of reverse mathematics and that of computability-theoretic notions such as Weihrauch reducibility, allowing for a kind of fine-structural comparison between $\Pi^1_2$ principles that has both computability-theoretic and proof-theoretic aspects, and can help us distinguish between these, for example by showing that a certain use of a principle in a proof is "purely proof-theoretic", as opposed to relying on its computability-theoretic strength. We give examples of this analysis to a number of principles at the level of $\mathsf{B}\Sigma^0_2$, uncovering new differences between their logical strengths.


title: Equilibrium under TWAP trading with quadratic transaction costs

abstract: We study how transaction cost affects to the equilibrium return and optimal stock holdings in equilibrium. To this end, we develop a continuous-time risk-sharing model where heterogenous agents trade toward terminal target holdings subject to a quadratic transaction cost. The equilibrium stock holdings and trading rate under transaction cost are characterized by a unique solution to a forward-backward stochastic differential equation (FBSDE). The equilibrium return is also characterized as the unique solution of a system of coupled but linear FBSDEs.


title: Generating highly entangled states via discrete-time quantum walks with Parrondo sequences

abstract: Quantum entanglement has multiple applications in quantum information processing. Developing methods to generate highly entangled states independent of initial conditions is an essential task. Herein we aim to generate highly entangled states via discrete-time quantum walks. We propose deterministic Parrondo sequences that generate states that are generally much more entangled than states produced by sequences using only one of the two coins. We show that some Parrondo sequences generate highly entangled states, which are independent of the phase of the initial state used and further lead to maximally entangled states in some cases. We study Parrondo sequences for a small number of time steps and the asymptotic limit of a large number of time steps.

categories: quant-ph cond-mat.dis-nn math.QA physics.app-ph


title: Color Texture Image Retrieval Based on Copula Multivariate Modeling in the Shearlet Domain

abstract: In this paper, a color texture image retrieval framework is proposed based on Shearlet domain modeling using Copula multivariate model. In the proposed framework, Gaussian Copula is used to model the dependencies between different sub-bands of the Non Subsample Shearlet Transform (NSST) and non-Gaussian models are used for marginal modeling of the coefficients. Six different schemes are proposed for modeling NSST coefficients based on the four types of neighboring defined; moreover, Kullback Leibler Divergence(KLD) close form is calculated in different situations for the two Gaussian Copula and non Gaussian functions in order to investigate the similarities in the proposed retrieval framework. The Jeffery divergence (JD) criterion, which is a symmetrical version of KLD, is used for investigating similarities in the proposed framework. We have implemented our experiments on four texture image retrieval benchmark datasets, the results of which show the superiority of the proposed framework over the existing state-of-the-art methods. In addition, the retrieval time of the proposed framework is also analyzed in the two steps of feature extraction and similarity matching, which also shows that the proposed framework enjoys an appropriate retrieval time.


title: A persistently singular map of $\mathbb{T}^n$ that is $C^1$ robustly transitive

abstract: Consider the set $E$ of endomorphisms of the n-torus endowed with the $C^1$ topology. A point in $E$ that is persistently singular and robustly transitive is exhibited.


title: Patching Hele-Shaw cells to investigate the flow at low Reynolds number in fracture networks

abstract: This research has found a novel computational efficient method of modelling flow at low Reynolds number through fracture networks. The numerical analysis was performed by connecting Hele-Shaw cells to investigate the effect of the intersection to the pressure field and hydraulic resistance for given inlet and outlet pressure values. In this analysis, the impact of intersecting length, intersecting angle and fracture aperture on the fluid flow was studied. For this purpose, two models with different topologies were established. The Hele-Shaw simulation results for hydraulic resistance, pressure and velocity agreed well with results obtained by solving the full Navier-Stokes equations (NSE). The results indicated an approximately linear relationship between intersection length and hydraulic resistance. Specifically, an increase in the intersection length increases the flow rate and as a result, the pressure along the intersection length decreases. The error associated with employing the Hele-Shaw approximation in comparison with NSE is less than 2%. All Investigations were performed in the Reynolds Number range of 1-10.


title: Two-point functions of random-length random walk on high-dimensional boxes

abstract: We study the two-point functions of a general class of random-length random walks on finite boxes in $\ZZ^d$ with $d\ge3$, and provide precise asymptotics for their behaviour. We show that the finite-box two-point function is asymptotic to the infinite-lattice two-point function when the typical walk length is $o(L^2)$, but develops a plateau when the typical walk length is $\Omega(L^2)$. We also numerically study walk length moments and limiting distributions of the self-avoiding walk and Ising model on five-dimensional tori, and find that they agree asymptotically with the known results for self-avoiding walk on the complete graph, both at the critical point and also for a broad class of scaling windows/pseudocritical points. Furthermore, we show that the two-point function of the finite-box random-length random walk, with walk length chosen via the complete graph self-avoiding walk, agrees numerically with the two-point functions of the self-avoiding walk and Ising model on five-dimensional tori. We conjecture that these observations in five dimensions should also hold in all higher dimensions.


title: On the Efficiency of Test Suite based Program Repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs

abstract: Test-based automated program repair has been a prolific field of research in software engineering in the last decade. Many approaches have indeed been proposed, which leverage test suites as a weak, but affordable, approximation to program specifications. Although the literature regularly sets new records on the number of benchmark bugs that can be fixed, several studies increasingly raise concerns about the limitations and biases of state-of-the-art approaches. For example, the correctness of generated patches has been questioned in a number of studies, while other researchers pointed out that evaluation schemes may be misleading with respect to the processing of fault localization results. Nevertheless, there is little work addressing the efficiency of patch generation, with regard to the practicality of program repair. In this paper, we fill this gap in the literature, by providing an extensive review on the efficiency of test suite based program repair. Our objective is to assess the number of generated patch candidates, since this information is correlated to (1) the strategy to traverse the search space efficiently in order to select sensical repair attempts, (2) the strategy to minimize the test effort for identifying a plausible patch, (3) as well as the strategy to prioritize the generation of a correct patch. To that end, we perform a large-scale empirical study on the efficiency, in terms of quantity of generated patch candidates of the 16 open-source repair tools for Java programs. The experiments are carefully conducted under the same fault localization configurations to limit biases.


title: Barycentric Corrections for Precise Radial Velocity Measurements of Sunlight

abstract: We provide formulae for the calculation of precise Doppler velocities of sunlight, in both the case of direct observations of the Sun and in reflection from the surfaces of solar system objects such as the Moon or asteroids. We discuss the meaning of a "barycentric correction" of measurements of these Doppler velocities, which is a different procedure from the analogous correction for starlight, and provide a formula for reducing such measurements to the component of the Sun's motion in the direction of the Earth or other Solar System object. We have implemented this procedure in the public barycorrpy Python package, and use it to explore the properties of the barycentric-corrected Doppler velocity of sunlight over 30 years. When measured directly, we show it is dominated by the non-periodic motion due to Jupiter, and that the signals of the other planets, including Venus, are not discernible in Fourier space. We show that "detecting" Venus in the Doppler velocities of sunlight will require either observing sunlight in reflection from an asteroid, or modeling the their individual contributions to the motion of the Sun in counterfactual kinematic or dynamical simulations of the Solar System with and without them.


title: Explainable Face Recognition

abstract: Explainable face recognition is the problem of explaining why a facial matcher matches faces. In this paper, we provide the first comprehensive benchmark and baseline evaluation for explainable face recognition. We define a new evaluation protocol called the ``inpainting game'', which is a curated set of 3648 triplets (probe, mate, nonmate) of 95 subjects, which differ by synthetically inpainting a chosen facial characteristic like the nose, eyebrows or mouth creating an inpainted nonmate. An explainable face matcher is tasked with generating a network attention map which best explains which regions in a probe image match with a mated image, and not with an inpainted nonmate for each triplet. This provides ground truth for quantifying what image regions contribute to face matching. Furthermore, we provide a comprehensive benchmark on this dataset comparing five state of the art methods for network attention in face recognition on three facial matchers. This benchmark includes two new algorithms for network attention called subtree EBP and Density-based Input Sampling for Explanation (DISE) which outperform the state of the art by a wide margin. Finally, we show qualitative visualization of these network attention techniques on novel images, and explore how these explainable face recognition models can improve transparency and trust for facial matchers.


title: Assessment of the Ab Initio Bethe-Salpeter Equation Approach for the Low-Lying Excitation Energies of Bacteriochlorophylls and Chlorophylls

abstract: Bacteriochlorophyll and Chlorophyll molecules are crucial building blocks of the photosynthetic apparatus in bacteria, algae and plants. Embedded in transmembrane protein complexes, they are responsible for the primary processes of photosynthesis: excitation energy and charge transfer. Here, we use ab initio many body perturbation theory within the $GW$ approximation and Bethe-Salpeter equation (BSE) approach to calculate the electronic structure and optical excitations of Bacteriochlorophylls $a$, $b$, $c$, $d$ and $e$ and Chlorophylls $a$ and $b$. We systematically study the effects of structure, basis set size, partial self-consistency in $GW$, and the underlying exchange-correlation approximation, and compare our calculations with results from time-dependent density functional theory, multireference RASPT2 and experimental literature results. We find that optical excitations calculated with $GW$+BSE are in excellent agreement with experimental data, with an average deviation of less than 100\,meV for the first three bright excitations of the entire family of (Bacterio)chlorophylls. Contrary to state-of-the-art TDDFT with an optimally-tuned range-separated hybrid functional, this accuracy is achieved in a parameter-free approach. Moreover, $GW$+BSE predicts the energy differences between the low-energy excitations correctly, and eliminates spurious charge transfer states that TDDFT with (semi)local approximations is known to produce. Our study provides accurate reference results and highlights the potential of the $GW$+BSE approach for the simulation of larger pigment complexes.


title: Full NLO QCD corrections to off-shell ttbb production

abstract: In this article, we report on the computation of the NLO QCD corrections to ${\rm p}{\rm p} \to \mu^-\bar\nu_{\mu}{\rm e}^+\nu_{\rm e}\bar{\rm b}{\rm b}\bar{\rm b}{\rm b}$ at the LHC, which is an irreducible background to ${\rm p}{\rm p}\to{\rm t}\bar{\rm t}{\rm H}\bigl(\to{\rm b}\bar{\rm b}\bigr)$. This is the first time that a full NLO computation for a $2\to8$ process with 6 external strongly-interacting partons is made public. No approximations are used, and all off-shell and interference effects are taken into account. Cross sections and differential distributions from the full computation are compared to results obtained by using a double-pole approximation for the top quarks. The difference between the full calculation and the one using the double-pole approximation is in general below 5\% but can reach 10\% in some regions of phase space.


title: Factorial multiparameter Hecke von Neumann algebras and representations of groups acting on right-angled buildings

abstract: We obtain a complete characterisation of factorial multiparameter Hecke von Neumann algebras associated with right-angled Coxeter groups. Considering their $\ell^p$-convolution algebra analogues, we exhibit an interesting parameter dependence, contrasting phenomena observed earlier for group Banach algebras. Translated to Iwahori-Hecke von Neumann algebras, these results allow us to draw conclusions on spherical representation theory of groups acting on right-angled buildings, which are in strong contrast to behaviour of spherical representations in the affine case. We also investigate certain graph product representations of right-angled Coxeter groups and note that our von Neumann algebraic structure results show that these are finite factor representations. Further classifying a suitable family of them up to unitary equivalence allows us to reveal high-dimensional Euclidean subspaces of the space of extremal characters of right-angled Coxeter groups.


title: On The Plurality of Graphs

abstract: We conduct a series of experiments designed to empirically demonstrate the effects of varying the structural features of a multi-agent emergent communication game framework. Specifically, we model the interactions (edges) between individual agents (nodes)as the structure of a graph generated according to a series of known random graph generating algorithms. Confirming the hypothesis proposed in [10], we show that the two factors of variation induced in this work, namely 1) the graph-generating process and 2) the centrality measure according to which edges are sampled, in fact play a significant role in determining the dynamics of language emergence within the population at hand.


title: Variability in Proto-Planetary Nebulae: VII. Light Curve Studies of Five Medium-bright, Oxygen-rich or Mixed-chemistry Post-AGB/Post-RGB Objects

abstract: We have monitored over a ten-year interval the light variations of five evolved stars with very large mid-infrared excesses. All five objects appear to have oxygen-rich or mixed oxygen-rich and carbon-rich chemistries. They all vary in light: four over a small range of $\sim$0.2 mag and the fifth over a larger range of $\sim$0.7 mag. Spectral types range from G2 to B0. Periodic pulsations are found for the first time in the three cooler ones, IRAS 18075$-$0924 (123 days), 19207$+$2023 (96 days), and 20136$+$1309 (142 days). No significant periodicity is found in the hotter ones, but they appear to vary on a shorter time scale of a few days or less. Two also show some evidence of longer-term periodic variations ($\sim$4 yrs). Three appear to be proto-planetary nebulae, in the post-asymptotic giant branch (post-AGB) phase of stellar evolution. Their light variations are in general agreement with the relationships between temperature, pulsation period, and pulsation amplitude found in previously studied PPNe. The other two, however, appear to have too low a luminosity (1000$-$1500 L$_{sun}$), based on Gaia distances, to be in the post-AGB phase. Instead, they appear to be Milky Way analogues of the recently identified class of dusty post-red giant branch stars found in the Magellanic Clouds, which likely had their evolution interrupted by interaction with a binary companion. If this is the case, then these would be among the first dusty post-RGB objects identified in the Milky Way Galaxy.


title: Morikawa's Unsolved Problem

abstract: By combining theoretical and computational techniques from geometry, calculus, group theory, and Galois theory, we prove the nonexistence of a closed-form algebraic solution to a Japanese geometry problem first stated in the early nineteenth century. This resolves an outstanding problem from the sangaku tablets which were at one time displayed in temples and shrines throughout Japan.


title: Cross-Domain Facial Expression Recognition: A Unified Evaluation Benchmark and Adversarial Graph Learning

abstract: To address the problem of data inconsistencies among different facial expression recognition (FER) datasets, many cross-domain FER methods (CD-FERs) have been extensively devised in recent years. Although each declares to achieve superior performance, fair comparisons are lacking due to the inconsistent choices of the source/target datasets and feature extractors. In this work, we first analyze the performance effect caused by these inconsistent choices, and then re-implement some well-performing CD-FER and recently published domain adaptation algorithms. We ensure that all these algorithms adopt the same source datasets and feature extractors for fair CD-FER evaluations. We find that most of the current leading algorithms use adversarial learning to learn holistic domain-invariant features to mitigate domain shifts. However, these algorithms ignore local features, which are more transferable across different datasets and carry more detailed content for fine-grained adaptation. To address these issues, we integrate graph representation propagation with adversarial learning for cross-domain holistic-local feature co-adaptation by developing a novel adversarial graph representation adaptation (AGRA) framework. Specifically, it first builds two graphs to correlate holistic and local regions within each domain and across different domains, respectively. Then, it extracts holistic-local features from the input image and uses learnable per-class statistical distributions to initialize the corresponding graph nodes. Finally, two stacked graph convolution networks (GCNs) are adopted to propagate holistic-local features within each domain to explore their interaction and across different domains for holistic-local feature co-adaptation. We conduct extensive and fair evaluations on several popular benchmarks and show that the proposed AGRA framework outperforms previous state-of-the-art methods.


title: $C^0$-limits of Legendrian Submanifolds

abstract: Laudenbach and Sikorav proved that closed, half-dimensional non-Lagrangian submanifolds of symplectic manifolds are immediately displaceable as long as there is no topological obstruction. From this they deduced that the $C^0$-limit of a sequence of Lagrangian submanifolds of certain manifolds is again Lagrangian, provided that the limit is smooth. In this note we extend Laudenbach and Sikorav's ideas to contact manifolds. We prove correspondingly that certain non-Legendrian submanifolds of contact manifolds can be displaced immediately without creating short Reeb chords as long as there is no topological obstruction. From this it will follow that under certain assumptions the $C^0$-limit of a sequence of Legendrian submanifolds with uniformly bounded Reeb chords is again Legendrian, provided that the limit is smooth.


title: Multigrid Iterative Algorithm based on Compact Finite Difference Schemes and Hermite interpolation for Solving Regime Switching American Options

abstract: We present a multigrid iterative algorithm for solving a system of coupled free boundary problems for pricing American put options with regime-switching. The algorithm is based on our recently developed compact finite difference scheme coupled with Hermite interpolation for solving the coupled partial differential equations consisting of the asset option and the delta, gamma, and speed sensitivities. In the algorithm, we first use the Gauss-Seidel method as a smoother and then implement a multigrid strategy based on modified cycle (M-cycle) for solving our discretized equations. Hermite interpolation with Newton interpolatory divided difference (as the basis) is used in estimating the coupled asset, delta, gamma, and speed options in the set of equations. A numerical experiment is performed with the two- and four- regime examples and compared with other existing methods to validate the optimal strategy. Results show that this algorithm provides a fast and efficient tool for pricing American put options with regime-switching.


title: Extremal aspects of graph and hypergraph decomposition problems

abstract: We survey recent advances in the theory of graph and hypergraph decompositions, with a focus on extremal results involving minimum degree conditions. We also collect a number of intriguing open problems, and formulate new ones.


title: A parameter-dependent smoother for the multigrid method

abstract: The solution of parameter-dependent linear systems, by classical methods, leads to an arithmetic effort that grows exponentially in the number of parameters. This renders the multigrid method, which has a well understood convergence theory, infeasible. A parameter-dependent representation, e.g., a low-rank tensor format, can avoid this exponential dependence, but in these it is unknown how to calculate the inverse directly within the representation. The combination of these representations with the multigrid method requires a parameter-dependent version of the classical multigrid theory and a parameter-dependent representation of the linear system, the smoother, the prolongation and the restriction. A derived parameter-dependent version of the smoothing property, fulfilled by parameter-dependent versions of the Richardson and Jacobi methods, together with the approximation property prove the convergence of the multigrid method for arbitrary parameter-dependent representations. For a model problem low-rank tensor formats represent the parameter-dependent linear system, prolongation and restriction. The smoother, a damped Jacobi method, is directly approximated in the low-rank tensor format by using exponential sums. Proving the smoothing property for this approximation guarantees the convergence of the parameter-dependent method. Numerical experiments for the parameter-dependent model problem, with bounded parameter value range, indicate a grid size independent convergence rate.


title: Traffic Prediction Framework for OpenStreetMap using Deep Learning based Complex Event Processing and Open Traffic Cameras

abstract: Displaying near-real-time traffic information is a useful feature of digital navigation maps. However, most commercial providers rely on privacy-compromising measures such as deriving location information from cellphones to estimate traffic. The lack of an open-source traffic estimation method using open data platforms is a bottleneck for building sophisticated navigation services on top of OpenStreetMap (OSM). We propose a deep learning-based Complex Event Processing (CEP) method that relies on publicly available video camera streams for traffic estimation. The proposed framework performs near-real-time object detection and objects property extraction across camera clusters in parallel to derive multiple measures related to traffic with the results visualized on OpenStreetMap. The estimation of object properties (e.g. vehicle speed, count, direction) provides multidimensional data that can be leveraged to create metrics and visualization for congestion beyond commonly used density-based measures. Our approach couples both flow and count measures during interpolation by considering each vehicle as a sample point and their speed as weight. We demonstrate multidimensional traffic metrics (e.g. flow rate, congestion estimation) over OSM by processing 22 traffic cameras from London streets. The system achieves a near-real-time performance of 1.42 seconds median latency and an average F-score of 0.80.


title: Topological liquid crystal superstructures as structured light lasers

abstract: Liquid crystals (LCs) form an extremely rich range of self-assembled topological structures with artificially or naturally created topological defects. Some of the main applications of LCs are various optical and photonic devices, where compared to their solid state counterparts soft photonic systems are fundamentally different in terms of unique properties such as self-assembly, self-healing, large tunability, sensitivity to external stimuli and biocompatibility. Here we show that complex tunable microlasers emitting structured light can be generated from self-assembled topological LC superstructures containing topological defects inserted into a thin Fabry-P\'erot microcavity. The topology and geometry of the LC superstructure determine the structuring of the emitted light by providing complex three dimensionally varying optical axis and order parameter singularities, also affecting the topology of the light polarization. The microlaser can be switched between modes by an electric field and its wavelength can be tuned with temperature. The proposed soft matter microlaser approach opens new direction in soft matter photonics research, where structured light with specifically tailored intensity and polarization fields could be designed and implemented.