title: Multiple Hypothesis Testing Framework for Spatial Signals

abstract: The problem of identifying regions of spatially interesting, different or adversarial behavior is inherent to many practical applications involving distributed multisensor systems. In this work, we develop a general framework stemming from multiple hypothesis testing to identify such regions. A discrete spatial grid is assumed for the monitored environment. The spatial grid points associated with different hypotheses are identified while controlling the false discovery rate at a pre-specified level. Measurements are acquired using a large-scale sensor network. We propose a novel, data-driven method to estimate local false discovery rates based on the spectral method of moments. Our method is agnostic to specific spatial propagation models of the underlying physical phenomenon. It relies on a broadly applicable density model for local summary statistics. In between sensors, locations are assigned to regions associated with different hypotheses based on interpolated local false discovery rates. The benefits of our method are illustrated by applications to spatially propagating radio waves.


title: Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments

abstract: Social virtual reality learning environments (VRLEs) provide immersive experience to users with increased accessibility to remote learning. Lack of maintaining high-performance and secured data delivery in critical VRLE application domains (e.g., military training, manufacturing) can disrupt application functionality and induce cybersickness. In this paper, we present a novel rule-based 3QS-adaptation framework that performs risk and cost aware trade-off analysis to control cybersickness due to performance/security anomaly events during a VRLE session. Our framework implementation in a social VRLE viz., vSocial monitors performance/security anomaly events in network/session data. In the event of an anomaly, the framework features rule-based adaptations that are triggered by using various decision metrics. Based on our experimental results, we demonstrate the effectiveness of our rule-based 3QS-adaptation framework in reducing cybersickness levels, while maintaining application functionality. Using our key findings, we enlist suitable practices for addressing performance and security issues towards a more high-performing and robust social VRLE.


title: Backward Monge Potential and Monge-Ampere Equation

abstract: In this paper, Monge-Kantorovich problem is considered in the infinite dimension on an abstract Wiener space $(W, H,\mu)$, where $H$ is Cameron-Martin space and $\mu$ is the Gaussian measure. We study the regularity of optimal transport maps with a quadratic cost function assuming that both initial and target measures have a strictly positive Radon-Nikodym density with respect to $\mu$. Under conditions on the density functions, the forward and backward transport maps can be written in terms of Sobolev derivative of so-called Monge-Brenier maps, or Monge potentials. We show Sobolev regularity of the backward potential under the assumption that the density of the initial measure is log-concave and prove that it solves Monge-Ampere equation.


title: Towards adaptive simulations of turbulent wings at high Reynolds numbers

abstract: Adaptive mesh refinement (AMR) in the high-order spectral-element method code Nek5000 is demonstrated and validated with well-resolved large-eddy simulations (LES) of the flow past a wing profile. In the present work, the flow around a NACA 4412 profile at a chord-based Reynolds number $Re_c=200,000$ is studied at two different angles of attack: 5 and 11 degrees. The mesh is evolved from a very coarse initial mesh by means of volume-weighted spectral error indicators, until a sufficient level of resolution is achieved at the boundary and wake regions. The non-conformal implementation of AMR allows the use of a large domain avoiding the need of a precursor RANS simulation to obtain the boundary conditions (BCs). This eliminates the effect of the steady Dirichlet BCs on the flow, which becomes a relevant source of error at higher angles of attack (specially near the trailing edge and wake regions). Furthermore, over-refinement in the far field and the associated high-aspect ratio elements are avoided, meaning less pressure-iterations of the solver and a reduced number of elements, which leads to a considerable computational cost reduction. Mean flow statistics are validated using experimental data obtained for the same profile in the Minimum Turbulence Level (MTL) wind tunnel at KTH, as well as with a previous DNS simulation, showing excellent agreement. This work constitutes an important step in the direction of studying stronger pressure gradients and higher Reynolds complex flows with the high fidelity that high-order simulations allow to achieve. Eventually, this database can be used for the development and improvement of turbulence models, in particular wall models.


title: CAPE: Context-Aware Private Embeddings for Private Language Learning

abstract: Deep learning-based language models have achieved state-of-the-art results in a number of applications including sentiment analysis, topic labelling, intent classification and others. Obtaining text representations or embeddings using these models presents the possibility of encoding personally identifiable information learned from language and context cues that may present a risk to reputation or privacy. To ameliorate these issues, we propose Context-Aware Private Embeddings (CAPE), a novel approach which preserves privacy during training of embeddings. To maintain the privacy of text representations, CAPE applies calibrated noise through differential privacy, preserving the encoded semantic links while obscuring sensitive information. In addition, CAPE employs an adversarial training regime that obscures identified private variables. Experimental results demonstrate that the proposed approach reduces private information leakage better than either single intervention.


title: QCD Factorization and Quantum Mechanics

abstract: It is unusual to find QCD factorization explained in the language of quantum information science. However, we will discuss how the issue of factorization and its breaking in high-energy QCD processes relates to phenomena like decoherence and entanglement. We will elaborate with several examples and explain them in terms familiar from basic quantum mechanics and quantum information science.


title: Artificial Neural Networks Based Analysis of BLDC Motor Speed Control

abstract: Artificial Neural Network (ANN) is a simple network that has an input, an output, and numerous hidden layers with a set of nodes. Implementation of ANN algorithms in electrical, and electronics engineering always satisfies with the expected results as ANN handles binary data more accurately. Brushless Direct Current motor (BLDC motor) uses electronic closed-loop controllers to switch DC current to the motor windings and produces the magnetic fields. The BLDC motor finds various applications owing to its high speed, low maintenance and adequate torque capability. They are highly preferred than the other motors because of their better performance and it is easy to control their speed by Power Converters. This article presents a method of speed control of BLDC motors where speed is controlled by changing the DC input voltage of the bridge converter that feeds the motor winding. The control is done by using a PI based speed controller. The motor is modeled in the MATLAB/Simulink and the speed control is obtained with a PI controller. EMF signals, rotor speed, electromagnetic torque, Hall Effect signals, PWM and EMF signals simulations are then obtained. This acquired data is then fed into binary artificial neural networks and as a result, the ANN model predicts the corresponding parameters close to the simulation results. Both the mathematical based simulation and data based prediction gives satisfactory results


title: One-Bend Drawings of Outerplanar Graphs Inside Simple Polygons

abstract: We consider the problem of drawing an outerplanar graph with $n$ vertices with at most one bend per edge if the outer face is already drawn as a simple polygon. We prove that it can be decided in $O(nm)$ time if such a drawing exists, where $m\le n-3$ is the number of interior edges. In the positive case, we can also compute such a drawing.


title: Ince-Gauss Photons in Turbulent Atmosphere: Effect of quantum numbers on beam resilience

abstract: In this work, we present an extensive analysis on the nature and performance of Ince-Gauss beams, elliptical solutions of the paraxial wave equation that have orbital angular momentum, as information carriers in turbulent atmosphere. We perform numerical simulations of the propagation of these beams, and focus on the effects that the order, degree and ellipticity parameters have on the robustness of the beams. We find that the choice of basis in which a mode is constructed does not greatly influence the mode performance and it is instead strongly affected by the combination of order and degree values.


title: Coherent Modulation of Quasiparticle Scattering Rates in a Photoexcited Charge-Density-Wave System

abstract: We present a complementary experimental and theoretical investigation of relaxation dynamics in the charge-density-wave (CDW) system TbTe$_3$ after ultrafast optical excitation. Using time- and angle-resolved photoemission spectroscopy, we observe an unusual transient modulation of the relaxation rates of excited photocarriers. A detailed analysis of the electron self-energy based on a nonequilibrium Green's function formalism reveals that the phase space of electron-electron scattering is critically modulated by the photoinduced collective CDW excitation, providing an intuitive microscopic understanding of the observed dynamics and revealing the impact of the electronic band structure on the self-energy.


title: Non-existence of integral Hopf orders for twists of several simple groups of Lie type

abstract: Let $p$ be a prime number and $q=p^m$, with $m \geq 1$ if $p \neq 2,3$ and $m>1$ otherwise. Let $\Omega$ be any non-trivial twist for the complex group algebra of $\mathbf{PSL}_2(q)$ arising from a $2$-cocycle on an abelian subgroup of $\mathbf{PSL}_2(q)$. We show that the twisted Hopf algebra $(\mathbb{C} \mathbf{PSL}_2(q))_{\Omega}$ does not admit a Hopf order over any number ring. The same conclusion is proved for the Suzuki groups, and for $\mathbf{SL}_3(p)$ when the twist stems from an abelian $p$-subgroup. This supplies new families of complex semisimple (and simple) Hopf algebras that do not admit a Hopf order over any number ring. The strategy of the proof is formulated in a general framework that includes the finite simple groups of Lie type. As an application, we combine our results with two theorems of Thompson and Barry and Ward on minimal simple groups to establish that for any finite non-abelian simple group $G$ there is a twist $\Omega$ for $\mathbb{C} G$, arising from a $2$-cocycle on an abelian subgroup of $G$, such that $(\mathbb{C} G)_{\Omega}$ does not admit a Hopf order over any number ring. This partially answers in the negative a question posed by Meir and the second author.


title: Quantum fluctuation in an inhomogeneous background and its influence on the phase transition in a finite volume system

abstract: We have studied the grand potential and phase transitions of an inhomogeneous finite volume spherical quark system. First the finite volume effects are considered by applying the multiple reflection expansion method which is an approximation for the density of states of the momentum in the grand potential of the finite size system. Then, the density of states of momentum is further modified by the thermal fluctuations in the thermal system with the inhomogeneous field background. The modification of the density of states is calculated by the scattering phase shift from the Dirac equation of quarks in the inhomogeneous field background. By the numerical calculation we show how the phase transition is changed by varying the configuration of the inhomogeneous field background and find that the strong first order phase transition could be weakened or even changed to a crossover as a result.


title: CeMux: Maximizing the Accuracy of Stochastic Mux Adders and an Application to Filter Design

abstract: Stochastic computing (SC) is a low-cost computational paradigm that has promising applications in digital filter design, image processing and neural networks. Fundamental to these applications is the weighted addition operation which is most often implemented by a multiplexer (mux) tree. Mux-based adders have very low area but typically require long bit-streams to reach practical accuracy thresholds when the number of summands is large. In this work, we first identify the main contributors to mux adder error. We then demonstrate with analysis and experiment that two new techniques, precise sampling and full correlation, can target and mitigate these error sources. Implementing these techniques in hardware leads to the design of CeMux (Correlation-enhanced Multiplexer), a stochastic mux adder that is significantly more accurate and uses much less area than traditional weighted adders. We compare CeMux to other SC and hybrid designs for an electrocardiogram filtering case study that employs a large digital filter. One major result is that CeMux is shown to be accurate even for large input sizes. CeMux's higher accuracy leads to a latency reduction of 4x to 16x over other designs. Further, CeMux uses about 35% less area than existing designs, and we demonstrate that a small amount of accuracy can be traded for a further 50% reduction in area. Finally, we compare CeMux to a conventional binary design and we show that CeMux can achieve a 50 to 73% area reduction for similar power and latency as the conventional design, but at a slightly higher level of error.


title: On the Upward Book Thickness Problem: Combinatorial and Complexity Results

abstract: A long-standing conjecture by Heath, Pemmaraju, and Trenk states that the upward book thickness of outerplanar DAGs is bounded above by a constant. In this paper, we show that the conjecture holds for subfamilies of upward outerplanar graphs, namely those whose underlying graph is an internally-triangulated outerpath or a cactus, and those whose biconnected components are $at$-outerplanar graphs. On the complexity side, it is known that deciding whether a graph has upward book thickness $k$ is NP-hard for any fixed $k \ge 3$. We show that the problem, for any $k \ge 5$, remains NP-hard for graphs whose domination number is $O(k)$, but it is FPT in the vertex cover number.


title: Turbulence and its connection to episodic accretion in binary YSOs

abstract: We report signatures of episodic accretion in young stellar objects (YSOs) that emerge in protobinary configurations in a gravoturbulent gas collapse. We find in most of these protobinary systems strong accretion bursts between the two companions with a recurrence time-scale of about 1 kyr. The accretion rate onto the secondary star typically exceeds that onto the primary with a peak value of 2 $\times 10^{-2}$ M$_{\odot}$ yr$^{-1}$ for the former and 6 $\times 10^{-3}$ M$_{\odot}$ yr$^{-1}$ for the latter. We propose that the secondary companion which remains more active in its episodes of accretion bursts, especially for the gas cores with subsonic velocity dispersion, may provide observational opportunities to find traces of episodic accretion in the surrounding gas of the embedded YSOs that are in a binary configuration. Also, protostars evolving as single objects in the same environment show fewer accretion bursts and all together a more steady mass growth history. The prestellar cores with subsonic velocity dispersion exhibit an order of magnitude more intense accretion bursts than in the case of cores with supersonic velocity dispersions. The latter shows the formation of some of the protobinaries in which the primary acts as a more actively accreting companion. This can support these binaries to become systems of extreme mass ratio. Moreover, the YSOs in binary configurations with small semi-major axis $a$ $\approx$ 50 au and high mass ratio $q$ > 0.7 support phases of intense episodic accretion. The eccentricity, however, seems to play no significant role in the occurrence of accretion bursts.


title: Statistical Inference for Linear Mediation Models with High-dimensional Mediators and Application to Studying Stock Reaction to COVID-19 Pandemic

abstract: Mediation analysis draws increasing attention in many scientific areas such as genomics, epidemiology and finance. In this paper, we propose new statistical inference procedures for high dimensional mediation models, in which both the outcome model and the mediator model are linear with high dimensional mediators. Traditional procedures for mediation analysis cannot be used to make statistical inference for high dimensional linear mediation models due to high-dimensionality of the mediators. We propose an estimation procedure for the indirect effects of the models via a partial penalized least squares method, and further establish its theoretical properties. We further develop a partial penalized Wald test on the indirect effects, and prove that the proposed test has a $\chi^2$ limiting null distribution. We also propose an $F$-type test for direct effects and show that the proposed test asymptotically follows a $\chi^2$-distribution under null hypothesis and a noncentral $\chi^2$-distribution under local alternatives. Monte Carlo simulations are conducted to examine the finite sample performance of the proposed tests and compare their performance with existing ones. We further apply the newly proposed statistical inference procedures to study stock reaction to COVID-19 pandemic via an empirical analysis of studying the mediation effects of financial metrics that bridge company's sector and stock return.


title: SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)

abstract: In the context of verification of data-aware processes (DAPs), a formal approach based on satisfiability modulo theories (SMT) has been considered to verify parameterised safety properties of so-called artifact-centric systems. This approach requires a combination of model-theoretic notions and algorithmic techniques based on backward reachability. We introduce here a variant of one of the most investigated models in this spectrum, namely simple artifact systems (SASs), where, instead of managing a database, we operate over a description logic (DL) ontology expressed in (a slight extension of) RDFS. This DL, enjoying suitable model-theoretic properties, allows us to define DL-based SASs to which backward reachability can still be applied, leading to decidability in PSPACE of the corresponding safety problems.


title: Revising Ontologies via Models: The ALC-formula Case

abstract: Most approaches for repairing description logic (DL) ontologies aim at changing the axioms as little as possible while solving inconsistencies, incoherences and other types of undesired behaviours. As in Belief Change, these issues are often specified using logical formulae. Instead, in the new setting for updating DL ontologies that we propose here, the input for the change is given by a model which we want to add or remove. The main goal is to minimise the loss of information, without concerning with the syntactic structure. This new setting is motivated by scenarios where an ontology is built automatically and needs to be refined or updated. In such situations, the syntactical form is often irrelevant and the incoming information is not necessarily given as a formula. We define general operations and conditions on which they are applicable, and instantiate our approach to the case of ALC-formulae.


title: MRI-active inner regions of protoplanetary discs. II. Dependence on dust, disc and stellar parameters

abstract: Close-in super-Earths are the most abundant exoplanets known. It has been hypothesized that they form in the inner regions of protoplanetary discs, out of the dust that may accumulate at the boundary between the inner region susceptible to the magneto-rotational instability (MRI) and an MRI-dead zone further out. In Paper I we presented a model for the viscous inner disc which includes heating due to both irradiation and MRI-driven accretion; thermal and non-thermal ionization; dust opacities; and dust effects on ionization. Here we examine how the inner disc structure varies with stellar, disc and dust parameters. For high accretion rates and small dust grains, we find that: (1) the main sources of ionization are thermal ionization and thermionic and ion emission; (2) the disc features a hot, high-viscosity inner region, and a local gas pressure maximum at the outer edge of this region (in line with previous studies); and (3) an increase in the dust-to-gas ratio pushes the pressure maximum outwards. Consequently, dust can accumulate in such inner discs without suppressing the MRI, with the amount of accumulation depending on the viscosity in the MRI-dead regions. Conversely, for low accretion rates and large dust grains, there appears to be an additional steady-state solution in which: (1) stellar X-rays become the main source of ionization; (2) MRI-viscosity is high throughout the disc; and (3) the pressure maximum ceases to exist. Hence, if planets form in the inner disc, larger accretion rates (and thus younger disks) are favoured.


title: Integrating Heuristics and Learning in a Computational Architecture for Cognitive Trading

abstract: The successes of Artificial Intelligence in recent years in areas such as image analysis, natural language understanding and strategy games have sparked interest from the world of finance. Specifically, there are high expectations, and ongoing engineering projects, regarding the creation of artificial agents, known as robotic traders, capable of juggling the financial markets with the skill of experienced human traders. Obvious economic implications aside, this is certainly an area of great scientific interest, due to the challenges that such a real context poses to the use of AI techniques. Precisely for this reason, we must be aware that artificial agents capable of operating at such levels are not just round the corner, and that there will be no simple answers, but rather a concurrence of various technologies and methods to the success of the effort. In the course of this article, we review the issues inherent in the design of effective robotic traders as well as the consequently applicable solutions, having in view the general objective of bringing the current state of the art of robo-trading up to the next level of intelligence, which we refer to as Cognitive Trading. Key to our approach is the joining of two methodological and technological directions which, although both deeply rooted in the disciplinary field of artificial intelligence, have so far gone their separate ways: heuristics and learning.


title: Explicit Good Subspace-metric Codes and Subset-metric Codes

abstract: In this paper motivated from subspace coding we introduce subspace-metric codes and subset-metric codes. These are coordinate-position independent pseudometrics and suitable for the folded codes. The half-Singleton upper bounds for linear subspace-metric codes and linear subset-metric codes are proved. Subspace distances and subset distances of codes are natural lower bounds for insdel distances of codes, and then can be used to lower bound the insertion-deletion error-correcting capabilities of codes. Our subspace-metric codes or subset-metric codes can be used to construct explicit well-structured insertion-deletion codes directly. $k$-deletion correcting codes with rate approaching $1$ can be constructed from subspace codes. By analysing the subset distances of folded codes from evaluation codes of linear mappings, we prove that they have high subset distances and then are explicit good insertion-deletion codes.


title: Analytical simulations of the effect of satellite constellations on optical and near-infrared observations

abstract: The number of satellites in low-Earth orbit is increasing rapidly, and many tens of thousands of them are expected to be launched in the coming years. There is a strong concern among the astronomical community about the contamination of optical and near-infrared observations by satellite trails. We analyze the impact analysis of such constellations on optical and near-infrared astronomical observations in a rigorous and quantitative way, using updated constellation information, and considering imagers and spectrographs and their very different characteristics. We introduce an analytical method that allows us to rapidly and accurately evaluate the effect of a very large number of satellites, accounting for their magnitudes and the effect of trailing of the satellite image during the exposure. We use this to evaluate the impact on a series of representative instruments, including imagers (traditional narrow field instruments, wide-field survey cameras, and astro-photographic cameras) and spectrographs (long-slit and fibre-fed), taking into account their limiting magnitude. As already known (Walker et al. 2020), the effect of satellite trails is more damaging for high-altitude satellites, on wide-field instruments, or essentially during the first and last hours of the night. Thanks to their brighter limiting magnitudes, low- and mid-resolution spectrographs will be less affected, but the contamination will be at about the same level as that of the science signal, introducing additional challenges. High-resolution spectrographs will essentially be immune. We propose a series of mitigating measures, including one that uses the described simulation method to optimize the scheduling of the observations. We conclude that no single mitigation measure will solve the problem of satellite trails for all instruments and all science cases.


title: Superstring-Based Sequence Obfuscation to Thwart Pattern Matching Attacks

abstract: User privacy can be compromised by matching user data traces to records of their previous behavior. The matching of the statistical characteristics of traces to prior user behavior has been widely studied. However, an adversary can also identify a user deterministically by searching data traces for a pattern that is unique to that user. Our goal is to thwart such an adversary by applying small artificial distortions to data traces such that each potentially identifying pattern is shared by a large number of users. Importantly, in contrast to statistical approaches, we develop data-independent algorithms that require no assumptions on the model by which the traces are generated. By relating the problem to a set of combinatorial questions on sequence construction, we are able to provide provable guarantees for our proposed constructions. We also introduce data-dependent approaches for the same problem. The algorithms are evaluated on synthetic data traces and on the Reality Mining Dataset to demonstrate their utility.


title: Role of Topology and Symmetry for the Edge Currents of a 2D Superconductor

abstract: The bulk-boundary correspondence guarantees topologically protected edge states in a two-dimensional topological superconductor. Unlike in topological insulators, these edge states are, however, not connected to a quantized (spin) current as the electron number is not conserved in a Bogolyubov-de Gennes Hamiltonian. Still, edge currents are in general present. Here, we use the two-dimensional Rashba system as an example to systematically analyze the effect symmetry reductions have on the order-parameter mixing and the edge properties in a superconductor of Altland-Zirnbauer class DIII (time-reversal-symmetry preserving) and D (time-reversal-symmetry breaking). In particular, we employ both Ginzburg-Landau and microscopic modeling to analyze the bulk superconducting properties and edge currents appearing in a strip geometry. We find edge (spin) currents independent of bulk topology and associated topological edge states which evolve continuously even when going through a phase transition into a topological state. Our findings emphasize the importance of symmetry over topology for the understanding of the non-quantized edge currents.


title: On the optical measurement of microparticle charge using quantum dots

abstract: We investigated the possibility of using a layer of quantum dots (QDs) deposited on the microparticle surface for the measurement of the charge the microparticle acquires when immersed into a plasma. To that end, we performed the calculations of the Stark shift of the photoluminescence spectrum of QDs caused by the fluctuating local electric field. In our calculations, we assumed the plasma-delivered surplus electrons to be distributed on the surface of a microparticle. According to our calculations, the Stark shift will acquire measurable values when the lifetime of the quasi-stationary configuration of the surplus electrons will be determined by their diffusion along the surface. Experiments with flat QD-covered floating plasma-facing surfaces suggest that measurable Stark shift of the photoluminescence spectrum can be achieved. Based on our model, modern microscopic plasma-surface interaction theories and analysis of the experiments, we suggest the possible design of the charge microsensor, which will allow to measure the charge accumulated on its surface by means of visible-light optics.


title: Optimal regularity for supercritical parabolic obstacle problems

abstract: We study the obstacle problem for parabolic operators of the type $\partial_t + L$, where $L$ is an elliptic integro-differential operator of order $2s$, such as $(-\Delta)^s$, in the supercritical regime $s \in (0,{1/2})$. The best result in this context was due to Caffarelli and Figalli, who established the $C^{1,s}_x$ regularity of solutions for the case $L = (-\Delta)^s$, the same regularity as in the elliptic setting. Here we prove for the first time that solutions are actually \textit{more} regular than in the elliptic case. More precisely, we show that they are $C^{1,1}$ in space and time, and that this is optimal. We also deduce the $C^{1,\alpha}$ regularity of the free boundary. Moreover, at all free boundary points $(x_0,t_0)$, we establish the following expansion: $$(u - \varphi)(x_0+x,t_0+t) = c_0(t - a\cdot x)_+^2 + O(t^{2+\alpha}+|x|^{2+\alpha}),$$ with $c_0 > 0$, $\alpha > 0$ and $a \in \mathbb R^n$.


title: Hausdorff dimension of caloric measure

abstract: We examine caloric measures $\omega$ on general domains in $\mathbb{R}^{n+1} = \mathbb{R}^n\times\mathbb{R}$ (space $\times$ time) from the perspective of geometric measure theory. On one hand, we give a direct proof of a consequence of a theorem of Taylor and Watson (1985) that the lower parabolic Hausdorff dimension of $\omega$ is at least $n$ and $\omega \ll \mathcal{H}^n$. On the other hand, we prove that the upper parabolic Hausdorff dimension of $\omega$ is at most $n+2-\beta_n$, where $\beta_n > 0$ depends only on $n$. Analogous bounds for harmonic measures were first shown by Nevanlinna (1934) and Bourgain (1987). Heuristically, we show that the density of obstacles in a cube needed to make it unlikely that a Brownian motion started outside of the cube exits a domain near the center of the cube must be chosen according to the ambient dimension. In the course of the proof, we give a caloric measure analogue of Bourgain's alternative: for any constants $0 < \epsilon \ll_n \delta < 1/2$ and closed set $E \subset \mathbb{R}^{n+1}$, either (i) $E \cap Q$ has relatively large caloric measure in $Q \setminus E$ for every pole in $F$ or (ii) $E \cap Q_*$ has relatively small $\rho$-dimensional parabolic Hausdorff content for every $n < \rho \leq n+2$, where $Q$ is a cube, $F$ is a subcube of $Q$ aligned at the center of the top time-face, and $Q_*$ is a subcube of $Q$ that is close to, but separated backwards-in-time from $F$: $$Q = (-1/2,1/2)^n \times (-1,0), \quad F = [-1/2+\delta,1/2-\delta]^n\times[-\epsilon^2,0),$$ $$\text{and}\quad Q_* = [-1/2+\delta,1/2-\delta]^n\times[-3\epsilon^2,-2\epsilon^2].$$ Further, we supply a version of the strong Markov property for caloric measures.


title: Distributed Control and Optimization of DC Microgrids: A Port-Hamiltonian Approach

abstract: This article proposes a distributed secondary control scheme that drives a dc microgrid to an equilibrium point where the generators share optimal currents, and their voltages have a weighted average of nominal value. The scheme does not rely on the electric system topology nor its specifications; it guarantees plug-and-play design and functionality of the generators. First, the incremental model of the microgrid system with constant impedance, current, and power devices is shown to admit a port-Hamiltonian (pH) representation, and its passive output is determined. The economic dispatch problem is then solved by the Lagrange multipliers method; the Karush-Kuhn-Tucker conditions and weighted average formation of voltages are then formulated as the control objectives. We propose a control scheme that is based on the Control by Interconnection design philosophy, where the consensus-based controller is viewed as a virtual pH system to be interconnected with the physical one. We prove the regional asymptotic stability of the closed-loop system using Lyapunov and LaSalle theorems. Equilibrium analysis is also conducted based on the concepts of graph theory and economic dispatch. Finally, the effectiveness of the presented scheme for different case studies is validated with a test microgrid system, simulated in both MATLAB/Simulink and OPAL-RT environments.


title: A moving black hole in TEGR as a moving matter ball

abstract: Possibilities of the covariant with respect to both coordinate and local Lorentz transformations formalism developed earlier in the framework of Teleparallel Equivalent of General Relativity (TEGR) are studied. The formalism is applied to a solution for a moving with constant velocity (with respect to distant static observers) Schwarzschild black hole. Coordinate and Lorentz invariant global conserved mass and momentum are constructed. The acceptable results are obtained in spite of the solution under consideration has no, at least, Killing vectors of space displacements. Calculations are quite analogous to calculating the mass and momentum of a moving matter ball in Minkowski space, and this analogy is used essentially.


title: Kinetic Exchange Income Distribution Models with Saving Propensities: Inequality Indices and Self-Organised Poverty Level

abstract: We report the numerical results for the steady state income or wealth distribution $P(m)$ and the resulting inequality measures (Gini $g$ and Kolkata $k$ indices) in the kinetic exchange models of market dynamics. We study the variations of $P(m)$ and of the indices $g$ and $k$ with the saving propensity $\lambda$ of the agents, with two different kinds of trade (kinetic exchange) dynamics. In the first case, the exchange occurs between randomly chosen pairs of agents and in the next, one of the agents in the chosen pair is the poorest of all and the other agent is randomly picked up from the rest of the population (where, in the steady state, a self-organized poverty level or SOPL appears). These studies have also been made for two different kinds of saving behaviors. One, where each agent has the same value of $\lambda$ (constant over time) and the other where $\lambda$ for each agent can take two values (0 and 1), changing randomly over a fraction of time $\rho(<1)$ of choosing $\lambda = 1$. We find that the inequality decreases with increasing savings ($\lambda$); inequality indices ($g$ and $k$) decrease and SOPL increases with increasing $\lambda$, indicating possible applications in economic policy making.


title: Investigation of Nonlinear Model Order Reduction of the Quasigeostrophic Equations through a Physics-Informed Convolutional Autoencoder

abstract: Reduced order modeling (ROM) is a field of techniques that approximates complex physics-based models of real-world processes by inexpensive surrogates that capture important dynamical characteristics with a smaller number of degrees of freedom. Traditional ROM techniques such as proper orthogonal decomposition (POD) focus on linear projections of the dynamics onto a set of spectral features. In this paper we explore the construction of ROM using autoencoders (AE) that perform nonlinear projections of the system dynamics onto a low dimensional manifold learned from data. The approach uses convolutional neural networks (CNN) to learn spatial features as opposed to spectral, and utilize a physics informed (PI) cost function in order to capture temporal features as well. Our investigation using the quasi-geostrophic equations reveals that while the PI cost function helps with spatial reconstruction, spatial features are less powerful than spectral features, and that construction of ROMs through machine learning-based methods requires significant investigation into novel non-standard methodologies.


title: Hadronic light-by-light contribution to the muon $g-2$ from holographic QCD with massive pions

abstract: We extend our previous calculations of the hadronic light-by-light scattering contribution to the muon anomalous magnetic moment in holographic QCD to models with finite quark masses and a tower of massive pions. Analysing the role of the latter in the Wess-Zumino-Witten action, we show that the Melnikov-Vainshtein short-distance constraint is satisfied solely by the summation of contributions from the infinite tower of axial vector meson contributions. There is also an enhancement of the asymptotic behavior of pseudoscalar contributions when their infinite tower of excitations is summed, but this leads only to subleading contributions for the short-distance constraints on light-by-light scattering. We also refine our numerical evaluations, particularly in the pion and $a_1$ sector, which corroborates our previous findings of contributions from axial vector mesons that are significantly larger than those adopted for the effects of axials and short-distance constraints in the recent White Paper on the Standard Model prediction for $(g-2)_\mu$.


title: A Perceptually-Validated Metric for Crowd Trajectory Quality Evaluation

abstract: Simulating crowds requires controlling a very large number of trajectories and is usually performed using crowd motion algorithms for which appropriate parameter values need to be found. The study of the relation between parametric values for simulation techniques and the quality of the resulting trajectories has been studied either through perceptual experiments or by comparison with real crowd trajectories. In this paper, we integrate both strategies. A quality metric, QF, is proposed to abstract from reference data while capturing the most salient features that affect the perception of trajectory realism. QF weights and combines cost functions that are based on several individual, local and global properties of trajectories. These trajectory features are selected from the literature and from interviews with experts. To validate the capacity of QF to capture perceived trajectory quality, we conduct an online experiment that demonstrates the high agreement between the automatic quality score and non-expert users. To further demonstrate the usefulness of QF, we use it in a data-free parameter tuning application able to tune any parametric microscopic crowd simulation model that outputs independent trajectories for characters. The learnt parameters for the tuned crowd motion model maintain the influence of the reference data which was used to weight the terms of QF.


title: An economic decision-making model of anticipated surprise with dynamic expectation

abstract: When making decisions under risk, people often exhibit behaviors that classical economic theories cannot explain. Newer models that attempt to account for these irrational behaviors often lack neuroscience bases and require the introduction of subjective and problem-specific constructs. Here, we present a decision-making model inspired by the prediction error signals and introspective neuronal replay reported in the brain. In the model, decisions are chosen based on anticipated surprise, defined by a nonlinear average of the differences between individual outcomes and a reference point. The reference point is determined by the expected value of the possible outcomes, which can dynamically change during the mental simulation of decision-making problems involving sequential stages. Our model elucidates the contribution of each stage to the appeal of available options in a decision-making problem. This allows us to explain several economic paradoxes and gambling behaviors. Our work could help bridge the gap between decision-making theories in economics and neurosciences.


title: A denotational semantics for PROMELA addressing arbitrary jumps

abstract: PROMELA (Process Meta Language) is a high-level specification language designed for modeling interactions in distributed systems. PROMELA is used as the input language for the model checker SPIN (Simple Promela INterpreter). The main characteristics of PROMELA are non-determinism, process communication through synchronous as well as asynchronous channels, and the possibility to dynamically create instances of processes. In this paper, we introduce a bottom-up, fixpoint semantics that aims to model the behavior of PROMELA programs. This work is the first step towards a more ambitious goal where analysis and verification techniques based on abstract interpretation would be defined on top of such semantics.


title: Local-global principles for constant reductive groups over semi-global fields

abstract: We study local-global principles for torsors under reductive linear algebraic groups over semi-global fields; i.e., over one variable function fields over complete discretely valued fields. We provide conditions on the group and the semiglobal field under which the local-global principle holds, and we compute the obstruction to the local-global principle in certain classes of examples. Using our description of the obstruction, we give the first example of a semisimple simply connected group over a semi-global field where the local-global principle fails. Our methods include patching and R-equivalence.


title: Trends in atomistic simulation software usage

abstract: Driven by the unprecedented computational power available to scientific research, the use of computers in solid-state physics, chemistry and materials science has been on a continuous rise. This review focuses on the software used for the simulation of matter at the atomic scale. We provide a comprehensive overview of major codes in the field, and analyze how citations to these codes in the academic literature have evolved since 2010. An interactive version of the underlying data set is available at https://atomistic.software .


title: Additive functions in short intervals, gaps and a conjecture of Erd\H{o}s

abstract: With the aim of treating the local behaviour of additive functions, we develop analogues of the Matom\"{a}ki-Radziwill theorem that allow us to approximate the average of a general additive function over a typical short interval in terms of its long average. As part of this treatment, we use a variant of the Matom\"{a}ki-Radziwill theorem for divisor-bounded multiplicative functions recently proven by the author. We consider two sets of applications of these methods. Our first application shows that for an additive function $g: \mathbb{N} \rightarrow \mathbb{C}$ any non-trivial savings in the size of the average gap $|g(n)-g(n-1)|$ implies that $g$ must have a small first moment, i.e., the discrepancy of $g(n)$ from its mean is small on average. We also obtain a variant of such a result for the second moment of the gaps. This complements results of Elliott and of Hildebrand. As a second application, we make partial progress on an old question of Erd\H{o}s relating to characterizing $\log n$ as the only "almost everywhere" increasing additive function (up to constant factors). We show that if an additive function is almost everywhere non-decreasing then it is almost everywhere well-approximated by a constant times a logarithm. We also show that if $g$ is a completely additive function such that the density of the set of exceptions $\frac{1}{X}|\{n \leq X : g(n) < g(n-1)\}|$ decays like $O((\log X)^{-2-\epsilon})$ and such that $g$ is not extremely large too often on the primes (in a precise sense), then $g$ is identically equal to a constant times a logarithm.


title: Deep Information Fusion for Electric Vehicle Charging Station Occupancy Forecasting

abstract: With an increasing number of electric vehicles, the accurate forecasting of charging station occupation is crucial to enable reliable vehicle charging. This paper introduces a novel Deep Fusion of Dynamic and Static Information model (DFDS) to effectively forecast the charging station occupation. We exploit static information, such as the mean occupation concerning the time of day, to learn the specific charging station patterns. We supplement such static data with dynamic information reflecting the preceding charging station occupation and temporal information such as daytime and weekday. Our model efficiently fuses dynamic and static information to facilitate accurate forecasting. We evaluate the proposed model on a real-world dataset containing 593 charging stations in Germany, covering August 2020 to December 2020. Our experiments demonstrate that DFDS outperforms the baselines by 3.45 percent points in F1-score on average.


title: Superimposed Electric/Magnetic "Dipole Moment Comparator" Lattice Design

abstract: In contrast to a "single particle table-top trap", an essential feature of a storage ring "trap" is that $10^{10}$ or more particles can have their spins aligned in a polarized beam. This is a nunber of polarized particles large enough for the beam polarization to be detected externally, and fed back to permit external control of the beam polarization. The level of achievable spin control, though classical, not quantum mechanical, can be comparable to the control of one or a small number of polarized particles in a low energy trap. Motivated to investigate time reversal invariance, especially the detection of non-zero electric dipole moments (EDMs) this paper describes the design of a low energy storage ring having the superimposed electric and magnetic bending needed to "freeze" the spins of polarized beams. For electrons (of either sign) and protons the spins can be frozen with all-electric bending but, in general, superimposed electric/magnetic bending is required. Since constructive bending superposition in one direction implies destructive superposition in the other direction, counter-circulating beams must differ, either in particle type or momentum, in order for their orbits to be identical. For globally frozen spin operation the bunch polarizations remain constant relative to the momenta, for example remaining parallel to the circuating beam momentum vectors. With superimposed electric and magnetic bending, the globally frozen spin condition can be met over a continua (specific to particle type) of E/B ratios. When this condition is met, the out-of-plane, EDM-induced precession accumulates monitonically, which is obligatory for producing a measurably large EDM signal. As Koop has explained, the EDM signal will still accumulate if the polarization is allowed to "roll like a wheel" around a radial axis.


title: Correcting spatial Gaussian process parameter and prediction variance estimation under informative sampling

abstract: Informative sampling designs can impact spatial prediction, or kriging, in two important ways. First, the sampling design can bias spatial covariance parameter estimation, which in turn can bias spatial kriging estimates. Second, even with unbiased estimates of the spatial covariance parameters, since the kriging variance is a function of the observation locations, these estimates will vary based on the sample and overestimate the population-based estimates. In this work, we develop a weighted composite likelihood approach to improve spatial covariance parameter estimation under informative sampling designs. Then, given these parameter estimates, we propose three approaches to quantify the effects of the sampling design on the variance estimates in spatial prediction. These results can be used to make informed decisions for population-based inference. We illustrate our approaches using a comprehensive simulation study. Then, we apply our methods to perform spatial prediction on nitrate concentration in wells located throughout central California.


title: Mutually embeddable models of ZFC

abstract: We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.


title: Cost & Capability Compromises in STEM Instrumentation for Low-Voltage Imaging

abstract: Low voltage transmission electron microscopy (<=80 kV) has many applications in imaging beam-sensitive samples, such as metallic nanoparticles, which may become damaged at higher voltages. To improve resolution, spherical aberration can be corrected for in a Scanning Transmission Electron Microscope (STEM), however chromatic aberration may then dominate, limiting the ultimate resolution of the microscope. Using image simulations, we examine how a chromatic aberration corrector, different objective lenses, and different beam energy-spreads each affect the image quality of a gold nanoparticle imaged at low voltages in a spherical aberration-corrected STEM. Quantitative analysis of the simulated examples can inform the choice of instrumentation for low-voltage imaging. We here demonstrate a methodology whereby the optimum energy spread to operate a specific STEM can be deduced. This methodology can then be adapted to the specific sample and instrument of the reader, enabling them to make an informed economical choice as to what would be most beneficial for their STEM in the cost-conscious landscape of scientific infrastructure.


title: A Parameter Estimation Method for Multivariate Aggregated Hawkes Processes

abstract: It is often assumed that events cannot occur simultaneously when modelling data with point processes. This raises a problem as real-world data often contains synchronous observations due to aggregation or rounding, resulting from limitations on recording capabilities and the expense of storing high volumes of precise data. In order to gain a better understanding of the relationships between processes, we consider modelling the aggregated event data using multivariate Hawkes processes, which offer a description of mutually-exciting behaviour and have found wide applications in areas including seismology and finance. Here we generalise existing methodology on parameter estimation of univariate aggregated Hawkes processes to the multivariate case using a Monte Carlo Expectation Maximization (MC-EM) algorithm and through a simulation study illustrate that alternative approaches to this problem can be severely biased, with the multivariate MC-EM method outperforming them in terms of MSE in all considered cases.


title: Modelling and Estimation of Human Walking Gait for Physical Human-Robot Interaction

abstract: An approach to model and estimate human walking kinematics in real-time for Physical Human-Robot Interaction is presented. The human gait velocity along the forward and vertical direction of motion is modelled according to the Yoyo-model. We designed an Extended Kalman Filter (EKF) algorithm to estimate the frequency, bias and trigonometric state of a biased sinusoidal signal, from which the kinematic parameters of the Yoyo-model can be extracted. Quality and robustness of the estimation are improved by opportune filtering based on heuristics. The approach is successfully evaluated on a real dataset of walking humans, including complex trajectories and changing step frequency over time.


title: Dynamical phase transition to localized states in the two-dimensional random walk conditioned on partial currents

abstract: The study of dynamical large deviations allows for a characterization of stationary states of lattice gas models out of equilibrium conditioned on averages of dynamical observables. The application of this framework to the two-dimensional random walk conditioned on partial currents reveals the existence of a dynamical phase transition between delocalized band dynamics and localized vortex dynamics. We present a numerical microscopic characterization of the phases involved, and provide analytical insight based on the macroscopic fluctuation theory. A spectral analysis of the microscopic generator shows that the continuous phase transition is accompanied by spontaneous $\mathbb{Z}_2$-symmetry breaking whereby the stationary solution loses the reflection symmetry of the generator. Dynamical phase transitions similar to this one, which do not rely on exclusion effects or interactions, are likely to be observed in more complex non-equilibrium physics models.


title: Towards a mirror theorem for GLSMs

abstract: We propose a method for computing generating functions of genus-zero invariants of a gauged linear sigma model $(V, G, \theta, w)$. We show that certain derivatives of $I$-functions of quasimap invariants of $[V //_\theta G]$ produce $I$-functions (appropriately defined) of the GLSM. When $G$ is an algebraic torus we obtain an explicit formula for an $I$-function, and check that it agrees with previously computed $I$-functions in known special cases. Our approach is based on a new construction of GLSM invariants which applies whenever the evaluation maps from the moduli space are proper, and includes insertions from light marked points.


title: Convex Relaxations of Maximal Load Delivery for Multi-contingency Analysis of Joint Electric Power and Natural Gas Transmission Networks

abstract: Recent increases in gas-fired power generation have engendered increased interdependencies between natural gas and power transmission systems. These interdependencies have amplified existing vulnerabilities to gas and power grids, where disruptions can require the curtailment of load in one or both systems. Although typically operated independently, coordination of these systems during severe disruptions can allow for targeted delivery to lifeline services, including gas delivery for residential heating and power delivery for critical facilities. To address the challenge of estimating maximum joint network capacities under such disruptions, we consider the task of determining feasible steady-state operating points for severely damaged systems while ensuring the maximal delivery of gas and power loads simultaneously, represented mathematically as the nonconvex joint Maximal Load Delivery (MLD) problem. To increase its tractability, we present a mixed-integer convex relaxation of the MLD problem. Then, to demonstrate the relaxation's effectiveness in determining bounds on network capacities, exact and relaxed MLD formulations are compared across various multi-contingency scenarios on nine joint networks ranging in size from 25 to 1,191 nodes. The relaxation-based methodology is observed to accurately and efficiently estimate the impacts of severe joint network disruptions, often converging to the relaxed MLD problem's globally optimal solution within ten seconds.


title: Glimmers of a post-geometric perspective

abstract: Quantum gravitational effects can become important at low energy if the wavefunction of the metric field fails to be peaked around a classical configuration. We try to understand such deviations from classicality within canonical quantum gravity by introducing a "fluid of observers" in the low energy theory and defining a distance operator "at equal time" among them. We find that, even in the presence of relevant fluctuations in the metric field, a locally flat limit is recovered in the neighbourhood of each observer. Deviations from classicality have no particular consequence, locally. However, at larger separations the expectation value of the distance operator behaves differently than a standard Riemannian distance. In particular, it is non-additive and thus cannot be obtained by the integral of a differential line element. This emerging "beyond Riemannian" geometry is a metric space similar to embedded Riemannian manifolds equipped with chord distances that cut through the ambient space. We study deviations from flat space by looking at triangles in the limit where their sizes go to zero. Beyond-Riemannian deviations with respect to flat space are of the same order as standard Riemannian ones, but qualitatively different. Possible connections with holography and with the black hole information paradox are briefly discussed.


title: Application of Classification and Feature Selection in Building Energy Simulations

abstract: Building energy performance is one of the key features in performance-based building design decision making. Building envelope materials can play a key role in improving building energy performance. The thermal properties of building materials determine the level of heat transfer through building envelope, thus the annual thermal energy performance of the building. This research applies the Linear Discriminant Analysis (LDA) method to study the effects of materials' thermal properties on building thermal loads. Two approaches are adopted for feature selection including the Principal Component Analysis (PCA) and the Exhaustive Feature Selection (EFS). A hypothetical design scenario is developed with six material alternatives for an office building in Los Angeles, California. The best design alternative is selected based on the LDA results and the key input parameters are determined based on the PCA and EFS methods. The PCA results confirm that among all thermal properties of the materials, the four parameters including thermal conductivity, density, specific heat capacity, and thickness are the most critical features, in terms of building thermal behavior and thermal energy consumption. This result matches quite well with the assumptions of most of the building energy simulation tools.


title: A Comprehensive Multipolar Theory for Periodic Metasurfaces

abstract: Optical metasurfaces consist of a 2D arrangement of scatterers, and they control the amplitude, phase, and polarization of an incidence field on demand. Optical metasurfaces are the cornerstone for a future generation of flat optical devices in a wide range of applications. The rapidly growing advances in nanofabrication have made the versatile design and analysis of these ultra-thin surfaces an ever-growing necessity. However, despite their importance, a comprehensive theory to describe the optical response of periodic metasurfaces in closed-form and analytical expressions has not been formulated, and prior attempts were frequently approximate. Here, we develop a theory that analytically links the properties of the scatterer, from which a periodic metasurface is made, to its optical response via the lattice coupling matrix. The scatterers are represented by their polarizability or T matrix, and our theory works for normal and oblique incidence. We provide explicit expressions for the optical response up to octupolar order in both spherical and Cartesian coordinates. Several examples demonstrate that our analytical tool constitutes a paradigm shift in designing and understanding optical metasurfaces. Novel fully-diffracting metagratings and particle-independent polarization filters are proposed, and novel insights into the response of Huygens' metasurfaces under oblique incidence are provided. Our analytical expressions are a powerful tool for exploring the physics of metasurfaces and designing novel flat optics devices.


title: Proteome remodelling during development from blood to insect-form Trypanosoma brucei quantified by SILAC and mass spectrometry

abstract: Background: Trypanosoma brucei is the causative agent of human African sleeping sickness and Nagana in cattle. In addition to being an important pathogen T. brucei has developed into a model system in cell biology. Results: Using Stable Isotope Labelling of Amino acids in Cell culture (SILAC) in combination with mass spectrometry we determined the abundance of >1600 proteins in the long slender (LS), short stumpy (SS) mammalian bloodstream form stages relative to the procyclic (PC) insect-form stage. In total we identified 2645 proteins, corresponding to ~30% of the total proteome and for the first time present a comprehensive overview of relative protein levels in three life stages of the parasite. Conclusions: We can show the extent of pre-adaptation in the SS cells, especially at the level of the mitochondrial proteome. The comparison to a previously published report on monomorphic in vitro grown bloodstream and procyclic T. brucei indicates a loss of stringent regulation particularly of mitochondrial proteins in these cells when compared to the pleomorphic in vivo situation. In order to better understand the different levels of gene expression regulation in this organism we compared mRNA steady state abundance with the relative protein abundance-changes and detected moderate but significant correlation indicating that trypanosomes possess a significant repertoire of translational and posttranslational mechanisms to regulate protein abundance.


title: Modified cosmology through Kaniadakis horizon entropy

abstract: We apply the gravity-thermodynamics conjecture, namely the first law of thermodynamics on the Universe horizon, but using the generalized Kaniadakis entropy instead of the standard Bekenstein-Hawking one. The former is a one-parameter generalization of the classical Boltzmann-Gibbs-Shannon entropy, arising from a coherent and self-consistent relativistic statistical theory. We obtain new modified cosmological scenarios, namely modified Friedmann equations, which contain new extra terms that constitute an effective dark energy sector depending on the single model Kaniadakis parameter $K$. We investigate the cosmological evolution, by extracting analytical expressions for the dark energy density and equation-of-state parameters and we show that the Universe exhibits the usual thermal history, with a transition redshift from deceleration to acceleration at around 0.6. Furthermore, depending on the value of $K$, the dark energy equation-of-state parameter deviates from $\Lambda$CDM cosmology at small redshifts, while lying always in the phantom regime, and at asymptotically large times the Universe always results in a dark-energy dominated, de Sitter phase. Finally, even in the case where we do not consider an explicit cosmological constant the resulting cosmology is very interesting and in agreement with the observed behavior.


title: Melting phase diagram of bubble phases in high Landau levels

abstract: A low-disorder, two-dimensional electron system (2DES) subjected to a large perpendicular magnetic field and cooled to very low temperatures provides a rich platform for studies of many-body quantum phases. The magnetic field quenches the electrons' kinetic energy and quantizes the energy into a set of Landau levels, allowing the Coulomb interaction to dominate. In excited Landau levels, the fine interplay between short- and long-range interactions stabilizes bubble phases, Wigner crystals with more than one electron per unit cell. Here we present the screening properties of bubble phases, probed via a simple capacitance technique where the 2DES is placed between a top and a bottom gate and the electric field penetrating through the 2DES is measured. The bubbles formed at very low temperatures screen the electric field poorly as they are pinned by the residual disorder potential, allowing a large electric field to reach the top gate. As the temperature is increased, the penetrating electric field decreases and, surprisingly, exhibits a pronounced minimum at a temperature that appears to coincide with the melting temperature of the bubble phase. We deduce a quantitative phase diagram for the transition from bubble to liquid phases for Landau level filling factors $4\leq\nu\leq5$.


title: Uncertainty limits on neutron star radius measurements with gravitational waves

abstract: Upcoming observing campaigns with improved detectors will yield numerous detections of gravitational waves from neutron star binary inspirals. Rare loud signals together with numerous signals of moderate strength promise stringent constraints on the properties of neutron star matter, with a projected radius statistical uncertainty of $50-200$m with ${\cal{O}}(2000)$ sources. Given this precision we revisit all analysis assumptions and identify sources of systematic errors, quantify their impact on radius extraction, and discuss their relative importance and ways to mitigate them.


title: A proton simulator for testing implementations of proton CT reconstruction algorithms on GPGPU clusters

abstract: Proton computed tomography (pCT) is an image modality that will improve treatment planning for patients receiving proton radiation therapy compared with the current treatment techniques, which are based on X-ray CT. Reconstruction of a pCT image requires solving a large and sparse system of linear equations, which should be accomplished within a few minutes in order to be clinically practical. Analyzing the efficiency of potentially clinical reconstruction implementations requires multiple quality pCT data sets. The purpose of this paper is to describe the simulator that was developed to generate realistic pCT data sets to be used in testing the efficiency of reconstruction algorithms, in particular string-averaging and block-iterative projection algorithms using sparse matrix formats on General Purpose Graphics Processing Units (GPGPU)s.


title: DomiKnowS: A Library for Integration of Symbolic Domain Knowledge in Deep Learning

abstract: We demonstrate a library for the integration of domain knowledge in deep learning architectures. Using this library, the structure of the data is expressed symbolically via graph declarations and the logical constraints over outputs or latent variables can be seamlessly added to the deep models. The domain knowledge can be defined explicitly, which improves the models' explainability in addition to the performance and generalizability in the low-data regime. Several approaches for such an integration of symbolic and sub-symbolic models have been introduced; however, there is no library to facilitate the programming for such an integration in a generic way while various underlying algorithms can be used. Our library aims to simplify programming for such an integration in both training and inference phases while separating the knowledge representation from learning algorithms. We showcase various NLP benchmark tasks and beyond. The framework is publicly available at Github(https://github.com/HLR/DomiKnowS).


title: The Impact of Hardware Specifications on Reaching Quantum Advantage in the Fault Tolerant Regime

abstract: We investigate how hardware specifications can impact the final run time and the required number of physical qubits to achieve a quantum advantage in the fault tolerant regime. Within a particular time frame, both the code cycle time and the number of achievable physical qubits may vary by orders of magnitude between different quantum hardware designs. We start with logical resource requirements corresponding to a quantum advantage for a particular chemistry application, simulating the FeMoco molecule, and explore to what extent slower code cycle times can be mitigated by using additional qubits. We show that in certain situations architectures with considerably slower code cycle times will still be able to reach desirable run times, provided enough physical qubits are available. We utilize various space and time optimization strategies that have been previously considered within the field of error-correcting surface codes. In particular, we compare two distinct methods of parallelization, Game of Surface Code's Units, and AutoCCZ factories, both of which enable one to incrementally speed up the computation until the reaction limited rate is reached. Finally we calculate the number of physical qubits which would be required to break the 256 bit elliptic curve encryption of keys in the Bitcoin network, within the small available time frame in which it would actually pose a threat to do so. It would require approximately 317 million physical qubits to break the encryption within one hour using the surface code, a code cycle time of 1 $ \mu s$, a reaction time of 10 $ \mu s$, and physical gate error of $10^{-3}$. To break the encryption instead within one day it would require 13 million physical qubits.


title: Illuminating the bulk-boundary correspondence of a non-Hermitian stub lattice with Majorana stars

abstract: Topological characterization of non-Hermitian band structures demands more than a straightforward generalization of the Hermitian cases. Even for one-dimensional tight-binding models with nonreciprocal hopping, the appearance of point gaps and the skin effect leads to the breakdown of the usual bulk-boundary correspondence. Luckily, the correspondence can be resurrected by introducing a winding number for the generalized Brillouin zone for systems with even number of bands and chiral symmetry. Here, we analyze the topological phases of a nonreciprocal hopping model on the stub lattice, where one of the three bands remains flat. Due to the lack of chiral symmetry, the biorthogonal Zak phase is no longer quantized, invalidating the winding number as a topological index. Instead, we show that a $Z_2$ invariant can be defined from Majorana's stellar representation of the eigenstates on the Bloch sphere. The parity of the total azimuthal winding of the entire Majorana constellation correctly predicts the appearance of edge states between the bulk gaps. We further show that the system is not a square-root topological insulator, despite the fact that its parent Hamiltonian can be block diagonalized and related to a sawtooth lattice model. The analysis presented here may be generalized to understand other non-Hermitian systems with multiple bands.


title: FAST-PCA: A Fast and Exact Algorithm for Distributed Principal Component Analysis

abstract: Principal Component Analysis (PCA) is a fundamental data preprocessing tool in the world of machine learning. While PCA is often thought of as a dimensionality reduction method, the purpose of PCA is actually two-fold: dimension reduction and uncorrelated feature learning. Furthermore, the enormity of the dimensions and sample size in the modern day datasets have rendered the centralized PCA solutions unusable. In that vein, this paper reconsiders the problem of PCA when data samples are distributed across nodes in an arbitrarily connected network. While a few solutions for distributed PCA exist, those either overlook the uncorrelated feature learning aspect of the PCA, tend to have high communication overhead that makes them inefficient and/or lack `exact' or `global' convergence guarantees. To overcome these aforementioned issues, this paper proposes a distributed PCA algorithm termed FAST-PCA (Fast and exAct diSTributed PCA). The proposed algorithm is efficient in terms of communication and is proven to converge linearly and exactly to the principal components, leading to dimension reduction as well as uncorrelated features. The claims are further supported by experimental results.


title: Vector calculus for tamed Dirichlet spaces

abstract: In the language of $L^\infty$-modules proposed by Gigli, we introduce a first order calculus on a topological Lusin measure space $(M,\mathfrak{m})$ carrying a quasi-regular, strongly local Dirichlet form $\mathscr{E}$. Furthermore, we develop a second order calculus if $(M,\mathscr{E},\mathfrak{m})$ is tamed by a signed measure in the extended Kato class in the sense of Erbar, Rigoni, Sturm and Tamanini. This allows us to define e.g. Hessians, covariant and exterior derivatives, Ricci curvature, and second fundamental form.


title: A Pedestrian Detection and Tracking Framework for Autonomous Cars: Efficient Fusion of Camera and LiDAR Data

abstract: This paper presents a novel method for pedestrian detection and tracking by fusing camera and LiDAR sensor data. To deal with the challenges associated with the autonomous driving scenarios, an integrated tracking and detection framework is proposed. The detection phase is performed by converting LiDAR streams to computationally tractable depth images, and then, a deep neural network is developed to identify pedestrian candidates both in RGB and depth images. To provide accurate information, the detection phase is further enhanced by fusing multi-modal sensor information using the Kalman filter. The tracking phase is a combination of the Kalman filter prediction and an optical flow algorithm to track multiple pedestrians in a scene. We evaluate our framework on a real public driving dataset. Experimental results demonstrate that the proposed method achieves significant performance improvement over a baseline method that solely uses image-based pedestrian detection.


title: Measurement of lepton-jet correlation in deep-inelastic scattering with the H1 detector using machine learning for unfolding

abstract: The first measurement of lepton-jet momentum imbalance and azimuthal correlation in lepton-proton scattering at high momentum transfer is presented. These data, taken with the H1 detector at HERA, are corrected for detector effects using an unbinned machine learning algorithm OmniFold, which considers eight observables simultaneously in this first application. The unfolded cross sections are compared to calculations performed within the context of collinear or transverse-momentum-dependent (TMD) factorization in Quantum Chromodynamics (QCD) as well as Monte Carlo event generators. The measurement probes a wide range of QCD phenomena, including TMD parton distribution functions and their evolution with energy in so far unexplored kinematic regions.


title: CharmFL: A Fault Localization Tool for Python

abstract: Fault localization is one of the most time-consuming and error-prone parts of software debugging. There are several tools for helping developers in the fault localization process, however, they mostly target programs written in Java and C/C++ programming languages. While these tools are splendid on their own, we must not look over the fact that Python is a popular programming language, and still there are a lack of easy-to-use and handy fault localization tools for Python developers. In this paper, we present a tool called "CharmFL" for software fault localization as a plug-in for PyCharm IDE. The tool employs Spectrum-based fault localization (SBFL) to help Python developers automatically analyze their programs and generate useful data at run-time to be used, then to produce a ranked list of potentially faulty program elements (i.e., statements, functions, and classes). Thus, our proposed tool supports different code coverage types with the possibility to investigate these types in a hierarchical approach. The applicability of our tool has been presented by using a set of experimental use cases. The results show that our tool could help developers to efficiently find the locations of different types of faults in their programs.


title: Probing infinite many-body quantum systems with finite-size quantum simulators

abstract: Experimental studies of synthetic quantum matter are necessarily restricted to approximate ground states prepared on finite-size quantum simulators. In general, this limits their reliability for strongly correlated systems, for instance, in the vicinity of a quantum phase transition (QPT). Here, we propose a protocol that makes optimal use of a given finite-size simulator by directly preparing, on its bulk region, a mixed state representing the reduced density operator of the translation-invariant infinite-sized system of interest. This protocol is based on coherent evolution with a local deformation of the system Hamiltonian. For systems of free fermions in one and two spatial dimensions, we illustrate and explain the underlying physics, which consists of quasi-particle transport towards the system's boundaries while retaining the bulk "vacuum". For the example of a non-integrable extended Su-Schrieffer-Heeger model, we demonstrate that our protocol enables a more accurate study of QPTs. In addition, we demonstrate the protocol for an interacting spinful Fermi-Hubbard model with doping for 1D chains and a small two-leg ladder, where the initial state is a random superposition of energetically low-lying states.


title: Abstract Factorization Theorems with Applications to Idempotent Factorizations

abstract: Let $\preceq$ be a preorder on a monoid $H$ and $s$ be an integer $\ge 2$. The $\preceq$-height of an $x \in H$ is the sup of the integers $k \ge 1$ for which there is a (strictly) $\preceq$-decreasing sequence $x_1,\ldots,x_k$ of $\preceq$-non-units of $H$ with $x_1 = x$ (with $\sup\emptyset:=0$), where $u\in H$ is a $\preceq$-unit if $u\preceq 1_H\preceq u$ and a $\preceq$-non-unit otherwise. We say $H$ is $\preceq$-artinian if there exists no $\preceq$-decreasing sequence $x_1,x_2,\ldots$ of elements of $H$; and strongly $\preceq$-artinian if the $\preceq$-height of each element is finite. We establish that, if $H$ is $\preceq$-artinian, then each $\preceq$-non-unit $x\in H$ factors through the $\preceq$-irreducibles of degree $s$, where a $\preceq$-irreducible of degree $s$ is a $\preceq$-non-unit $a\in H$ that cannot be written as a product of $s$ or fewer $\preceq$-non-units each of which is (strictly) smaller than $a$ with respect to $\preceq$. In addition, we show that, if $H$ is strongly $\preceq$-artinian, then $x$ factors through the $\preceq$-quarks of $H$, where a $\preceq$-quark is a $\preceq$-min $\preceq$-non-unit. In the process, we also obtain upper bounds for the length of a shortest factorization of $x$ (into either $\preceq$-irreducible of degree $s$ or $\preceq$-quarks) in terms of its $\preceq$-height. Next, we specialize these abstract results to the case in which $H$ is the multiplicative submonoid of a ring $R$ formed by the zero divisors and the identity $1_R$, and $\preceq$ is the preorder on $H$ defined by $a\preceq b$ iff $r_R(1_R-b)\subseteq r_R(1_R-a)$, where $r_R(\cdot)$ denotes a right annihilator. We can thus recover and improve on classical theorems of J.A. Erdos (1967), R.J.H. Dawlings (1981), and J. Fountain (1991) on idempotent factorizations in the endomorphism ring of a free module of finite rank over a skew field or a commutative DVD.


title: Jets in Magnetically Arrested Hot Accretion Flows: Geometry, Power and Black Hole Spindown

abstract: We present the results of nine simulations of radiatively-inefficient magnetically arrested disks (MADs) across different values of the black hole spin parameter $a_*$: $-0.9$, $-0.7$, $-0.5$, $-0.3$, 0, 0.3, 0.5, 0.7, and 0.9. Each simulation was run up to $t \gtrsim 100,000\,GM/c^3$ to ensure disk inflow equilibrium out to large radii. We find that the saturated magnetic flux level, and consequently also jet power, of MAD disks depends strongly on the black hole spin, confirming previous results. Prograde disks saturate at a much higher relative magnetic flux and have more powerful jets than their retrograde counterparts. MADs with spinning black holes naturally launch jets with generalized parabolic profiles whose widths vary as a power of distance from the black hole. For distances up to $100\;GM/c^2$, the power-law index is $k \approx 0.27-0.42$. There is a strong correlation between the disk-jet geometry and the dimensionless magnetic flux, resulting in prograde systems displaying thinner equatorial accretion flows near the black hole and wider jets, compared to retrograde systems. Prograde and retrograde MADs also exhibit different trends in disk variability: accretion rate variability increases with increasing spin for $a_*>0$ and remains almost constant for $a_*\lesssim 0$, while magnetic flux variability shows the opposite trend. Jets in the MAD state remove more angular momentum from black holes than is accreted, effectively spinning down the black hole. If powerful jets from MAD systems in Nature are persistent, this loss of angular momentum will notably reduce the black hole spin over cosmic time.


title: Annihilators and associated varieties of Harish-Chandra modules for $SO^*(2n)$

abstract: Given a simple Harish-Chandra module for this group of trivial infinitesimal character, parametrized by a signed involution, we produce combinatorial recipes for attaching to it a pair of tableaux from which its annihilator and associated variety can be read off.


title: ISNet: Integrate Image-Level and Semantic-Level Context for Semantic Segmentation

abstract: Co-occurrent visual pattern makes aggregating contextual information a common paradigm to enhance the pixel representation for semantic image segmentation. The existing approaches focus on modeling the context from the perspective of the whole image, i.e., aggregating the image-level contextual information. Despite impressive, these methods weaken the significance of the pixel representations of the same category, i.e., the semantic-level contextual information. To address this, this paper proposes to augment the pixel representations by aggregating the image-level and semantic-level contextual information, respectively. First, an image-level context module is designed to capture the contextual information for each pixel in the whole image. Second, we aggregate the representations of the same category for each pixel where the category regions are learned under the supervision of the ground-truth segmentation. Third, we compute the similarities between each pixel representation and the image-level contextual information, the semantic-level contextual information, respectively. At last, a pixel representation is augmented by weighted aggregating both the image-level contextual information and the semantic-level contextual information with the similarities as the weights. Integrating the image-level and semantic-level context allows this paper to report state-of-the-art accuracy on four benchmarks, i.e., ADE20K, LIP, COCOStuff and Cityscapes.


title: A Guide to Computational Reproducibility in Signal Processing and Machine Learning

abstract: Computational reproducibility is a growing problem that has been extensively studied among computational researchers and within the signal processing and machine learning research community. However, with the changing landscape of signal processing and machine learning research come new obstacles and unseen challenges in creating reproducible experiments. Due to these new challenges most computational experiments have become difficult, if not impossible, to be reproduced by an independent researcher. In 2016 a survey conducted by the journal Nature found that 50% of researchers were unable to reproduce their own experiments. While the issue of computational reproducibility has been discussed in the literature and specifically within the signal processing community, it is still unclear to most researchers what are the best practices to ensure reproducibility without impinging on their primary responsibility of conducting research. We feel that although researchers understand the importance of making experiments reproducible, the lack of a clear set of standards and tools makes it difficult to incorporate good reproducibility practices in most labs. It is in this regard that we aim to present signal processing researchers with a set of practical tools and strategies that can help mitigate many of the obstacles to producing reproducible computational experiments.


title: DC-GNet: Deep Mesh Relation Capturing Graph Convolution Network for 3D Human Shape Reconstruction

abstract: In this paper, we aim to reconstruct a full 3D human shape from a single image. Previous vertex-level and parameter regression approaches reconstruct 3D human shape based on a pre-defined adjacency matrix to encode positive relations between nodes. The deep topological relations for the surface of the 3D human body are not carefully exploited. Moreover, the performance of most existing approaches often suffer from domain gap when handling more occlusion cases in real-world scenes. In this work, we propose a Deep Mesh Relation Capturing Graph Convolution Network, DC-GNet, with a shape completion task for 3D human shape reconstruction. Firstly, we propose to capture deep relations within mesh vertices, where an adaptive matrix encoding both positive and negative relations is introduced. Secondly, we propose a shape completion task to learn prior about various kinds of occlusion cases. Our approach encodes mesh structure from more subtle relations between nodes in a more distant region. Furthermore, our shape completion module alleviates the performance degradation issue in the outdoor scene. Extensive experiments on several benchmarks show that our approach outperforms the previous 3D human pose and shape estimation approaches.


title: Effect of Ionic Disorder on the Principal Shock Hugoniot

abstract: The effect of ionic disorder on the principal Hugoniot is investigated using Multiple Scattering Theory to very high pressure (Gbar). Calculations using molecular dynamics to simulate ionic disorder, are compared to those with a fixed crystal lattice, for both carbon and aluminum. For the range of conditions considered here, we find that ionic disorder is most important at the onset of shell ionization and that at higher pressures, the subtle effect of the ionic environment is overwhelmed by the larger number of ionized electrons with higher thermal energies.


title: Spliced Leader Trapping Reveals Widespread Alternative Splicing Patterns in the Highly Dynamic Transcriptome of Trypanosoma brucei

abstract: Trans-splicing of leader sequences onto the 59ends of mRNAs is a widespread phenomenon in protozoa, nematodes and some chordates. Using parallel sequencing we have developed a method to simultaneously map 59splice sites and analyze the corresponding gene expression profile, that we term spliced leader trapping (SLT). The method can be applied to any organism with a sequenced genome and trans-splicing of a conserved leader sequence. We analyzed the expression profiles and splicing patterns of bloodstream and insect forms of the parasite Trypanosoma brucei. We detected the 59splice sites of 85% of the annotated protein-coding genes and, contrary to previous reports, found up to 40% of transcripts to be differentially expressed. Furthermore, we discovered more than 2500 alternative splicing events, many of which appear to be stage-regulated. Based on our findings we hypothesize that alternatively spliced transcripts present a new means of regulating gene expression and could potentially contribute to protein diversity in the parasite. The entire dataset can be accessed online at TriTrypDB or through: http://splicer.unibe.ch/.


title: NimbleChain: Speeding up cryptocurrencies in general-purpose permissionless blockchains

abstract: Nakamoto's seminal work gave rise to permissionless blockchains -- as well as a wide range of proposals to mitigate their performance shortcomings. Despite substantial throughput and energy efficiency achievements, most proposals only bring modest (or marginal) gains in transaction commit latency. Consequently, commit latencies in today's permissionless blockchain landscape remain prohibitively high. This paper proposes NimbleChain, a novel algorithm that extends permissionless blockchains based on Nakamoto consensus with a fast path that delivers causal promises of commitment, or simply promises. Since promises only partially order transactions, their latency is only a small fraction of the totally-ordered commitment latency of Nakamoto consensus. Still, the weak consistency guarantees of promises are strong enough to correctly implement cryptocurrencies. To the best of our knowledge, NimbleChain is the first system to bring together fast, partially-ordered transactions with consensus-based, totally-ordered transactions in a permissionless setting. This hybrid consistency model is able to speed up cryptocurrency transactions while still supporting smart contracts, which typically have (strong) sequential consistency needs. We implement NimbleChain as an extension of Ethereum and evaluate it in a 500-node geo-distributed deployment. The results show NimbleChain can promise a cryptocurrency transactions up to an order of magnitude faster than a vanilla Ethereum implementation, with marginal overheads.


title: The Effect of Noise on the Performance of Variational Algorithms for Quantum Chemistry

abstract: Variational quantum algorithms are suitable for use on noisy quantum systems. One of the most important use-cases is the quantum simulation of materials, using the variational quantum eigensolver (VQE). To optimize VQE performance, a suitable parameterized quantum circuit (ansatz) must be selected. We investigate a class of ansatze that incorporates knowledge of the quantum hardware, namely the hardware efficient ansatze. The performance of hardware efficient ansatze is affected differently by noise, and our goal is to study the effect of noise on evaluating which ansatz gives more accurate results in practice. First, we study the effect of noise on the different hardware efficient ansatze by benchmarking and ranking the performance of each ansatz family (i) on a chemistry application using VQE and (ii) by the recently established metric of "expressibility". The results demonstrate the ranking of optimal circuits does not remain constant in the presence of noise. Second, we evaluate the suitability of the expressibility measure in this context by performing a correlation study between expressibility and the performance of the same circuits on a chemistry application using VQE. Our simulations reveal a weak correlation and therefore demonstrate that expressibility is not an adequate measure to quantify the effectiveness of parameterized quantum circuits for quantum chemistry. Third, we evaluate the effect of different quantum device noise models on the ordering of which ansatz family is best. Interestingly, we see that to decide which ansatz is optimal for use, one needs to consider the specific hardware used even within the same family of quantum hardware.


title: Real forms of some Gizatullin surfaces and Koras-Russell threefolds

abstract: We describe the real forms of Gizatullin surfaces of the form $xy=p(z)$ and of Koras-Russell threefolds of the first kind. The former admit zero, two, three, four or six isomorphism classes of real forms, depending on the degree and the symmetries of the polynomial~$p$. The latter, which are threefolds given by an equation of the form $x^dy+z^k+x+t^\ell=0$, all admit exactly one real form up to isomorphism.


title: Two-In-One: A Design Space for Mapping Unimanual Input into Bimanual Interactions in VR for Users with Limited Movement

abstract: Virtual Reality (VR) applications often require users to perform actions with two hands when performing tasks and interacting with objects in virtual environments. Although bimanual interactions in VR can resemble real-world interactions -- thus increasing realism and improving immersion -- they can also pose significant accessibility challenges to people with limited mobility, such as for people who have full use of only one hand. An opportunity exists to create accessible techniques that take advantage of users' abilities, but designers currently lack structured tools to consider alternative approaches. To begin filling this gap, we propose Two-in-One, a design space that facilitates the creation of accessible methods for bimanual interactions in VR from unimanual input. Our design space comprises two dimensions, bimanual interactions and computer assistance, and we provide a detailed examination of issues to consider when creating new unimanual input techniques that map to bimanual interactions in VR. We used our design space to create three interaction techniques that we subsequently implemented for a subset of bimanual interactions and received user feedback through a video elicitation study with 17 people with limited mobility. Our findings explore complex tradeoffs associated with autonomy and agency and highlight the need for additional settings and methods to make VR accessible to people with limited mobility.


title: Jones diameter and crossing number of knots

abstract: It has long been known that the quadratic term in the degree of the colored Jones polynomial of a knot is bounded above in terms of the crossing number of the knot. We show that this bound is sharp if and only if the knot is adequate. As an application of our result we determine the crossing numbers of broad families of non-adequate prime satellite knots. More specifically, we exhibit minimal crossing number diagrams for untwisted Whitehead doubles of zero-writhe adequate knots. This allows us to determine the crossing number of untwisted Whitehead doubles of any amphicheiral adequate knot, including, for instance, the Whitehead doubles of the connected sum of any alternating knot with its mirror image. We also determine the crossing number of the connected sum of any adequate knot with an untwisted Whitehead double of a zero-writhe adequate knot.


title: Pairing for Greenhorn: Survey and Future Perspective

abstract: Pairing is the most powerful tool in cryptography that maps two points on the elliptic curve to the group over the finite field. Mostly cryptographers consider pairing as a black box and use it for implementing pairing-based cryptographic protocols. This paper aims to give the overview of pairing as simple as possible for greenhorn and those who are working and wish to work in the pairing. The paper gives the concrete background of pairing and recommends an appropriate pairing among different choices for constructing pairing-based cryptographic protocols. We also analyze the bandwidth and computational efficiency of pairing and submitting those pairing suitable for implementing a cryptographic protocol for lightweight devices. Additionally, we discuss the extension of bilinear pairing to tri-linear and multilinear pairing and discuss a few assumptions to check their feasibility to implement multilinear pairing.


title: Foiling zero-error attacks against coherent-one-way quantum key distribution

abstract: To protect practical quantum key distribution (QKD) against photon-number-splitting attacks, one could measure the coherence of the received signals. One prominent example that follows this approach is coherent-one-way (COW) QKD, which is commercially available. Surprisingly, however, it has been shown very recently that its secret key rate scales quadratically with the channel transmittance, and, thus, this scheme is unsuitable for long-distance transmission. This result was derived by using a zero-error attack, which prevents the distribution of a secure key without introducing any error. Here, we study various countermeasures to foil zero-error attacks against COW-QKD. They require to either monitor some additional available detection statistics, or to increase the number of quantum states emitted. We obtain asymptotic upper security bounds on the secret key rate that scale close to linear with the channel transmittance, thus suggesting the effectiveness of the countermeasures to boost the performance of this protocol.


title: Lensing by primordial black holes: constraints from gravitational wave observations

abstract: Primordial black holes (PBHs) have been proposed to explain at least a portion of dark matter. Observations have put strong constraints on PBHs in terms of the fraction of dark matter which they can represent, $f_{\rm PBH}$, across a wide mass range -- apart from the stellar-mass range of $20M_\odot\lesssim M_{\rm PBH}\lesssim 100M_\odot$. In this paper, we explore the possibility that such PBHs could serve as point-mass lenses capable of altering the gravitational-wave (GW) signals observed from binary black hole (BBH) mergers along their line-of-sight. We find that careful GW data analysis could verify the existence of such PBHs based on the $fitting~factor$ and odds ratio analyses. When such a lensed GW signal is detected, we expect to be able to measure the redshifted mass of the lens with a relative error $\Delta M_{\rm PBH}/M_{\rm PBH}\lesssim0.3$. If no such lensed GW events were detected despite the operation of sensitive GW detectors accumulating large numbers of BBH mergers, it would translate into a stringent constraint of $f_{\rm PBH}\lesssim 10^{-2}-10^{-5}$ for PBHs with a mass larger than $\sim10M_\odot$ by the Einstein Telescope after one year of running, and $f_{\rm PBH}\lesssim 0.2$ for PBHs with mass greater than $\sim 50M_\odot$ for advanced LIGO after ten years of running.