title: Modified uncertainty relations from classical and quantum gravity

abstract: A good hundred years after the necessity for a quantum theory of gravity was acknowledged by Albert Einstein, the search for it continues to be an ongoing endeavour. Nevertheless, the field still evolves rapidly as manifested by the recent rise of quantum gravity phenomenology supported by an enormous surge in experimental precision. In particular, the minimum length paradigm ingrained in the program of generalized uncertainty principles (GUPs) is steadily growing in importance. The present thesis is aimed at establishing a link between modified uncertainty relations, derived from deformed canonical commutators, and curved spaces - specifically, GUPs and nontrivial momentum space as well as the related extended uncertainty principles (EUPs) and curved position space. In that vein, we derive a new kind of EUP relating the radius of geodesic balls, assumed to constrain the wave functions in the underlying Hilbert space, with the standard deviation of the momentum operator. This result is gradually generalized to relativistic particles in curved spacetime in accordance with the 3+1 decomposition. In a sense pursuing the inverse route, we find an explicit correspondence between theories yielding a GUP and quantum dynamics set on non-Euclidean momentum space. Quantitatively, the coordinate noncommutativity translates to momentum space curvature in the dual description, allowing for an analogous transfer of constraints from the literature. Finally, we find a formulation of quantum mechanics which proves consistent on the arbitrarily curved cotangent bundle. Along these lines, we show that the harmonic oscillator can not be used as a means to distinguish between curvature in position and momentum space, thereby providing an explicit instantiation of Born reciprocity in the context of curved spaces.


title: Computer Vision based inspection on post-earthquake with UAV synthetic dataset

abstract: The area affected by the earthquake is vast and often difficult to entirely cover, and the earthquake itself is a sudden event that causes multiple defects simultaneously, that cannot be effectively traced using traditional, manual methods. This article presents an innovative approach to the problem of detecting damage after sudden events by using an interconnected set of deep machine learning models organized in a single pipeline and allowing for easy modification and swapping models seamlessly. Models in the pipeline were trained with a synthetic dataset and were adapted to be further evaluated and used with unmanned aerial vehicles (UAVs) in real-world conditions. Thanks to the methods presented in the article, it is possible to obtain high accuracy in detecting buildings defects, segmenting constructions into their components and estimating their technical condition based on a single drone flight.


title: Global Accretion Properties of Black Hole X-Ray Binaries: A Phenomenological Perspective

abstract: Black hole X-ray binaries (BHXBs) show rich phenomenology in the spectral and timing properties. We collected the spectral data of 20 BHXBs from the literature across different spectral states. The spectral properties are studied in the forms of the inner disc temperature ($T_{\rm in}$), photon index ($\Gamma$), hot electron temperature ($kT_{\rm e}$), X-ray flux ($F_{\rm X}$) and luminosity ($L_{\rm X}$). We studied various correlations among different spectral parameters to understand the accretion process on a global scale. In the thermal soft states (TSS), we find most of the sources followed $F_{\rm disc} \propto T_{\rm in}^4$ relation. A `V'-shaped correlation is found between $\Gamma$ and total luminosity ($L_{\rm tot}$) in the hard Comptonized state (HCS). The Comptonized luminosity is observed to be correlated with the disc luminosity in the HCS and TSS. No notable correlation is observed in the intermediate state (IMS). The evolution of the inner disc radius ($R_{\rm in}$) is unclear in the HCS and IMS. We also discuss how the hot electron temperature changes with other spectral parameters. We observe that the iron line flux correlates with disc and Comptonized fluxes. The strength of the reprocessed emission is found to vary across spectral states.


title: On conformal collineation and almost Ricci solitons

abstract: We provide conditions for a Riemannian manifold with a nontrivial closed affine conformal Killing vector field to be isometric to a Euclidean sphere or to the Euclidean space. Also, we formulate some triviality results for almost Ricci solitons with affine conformal Killing potential vector field.


title: Star formation history and transition epoch of cluster galaxies based on the Horizon-AGN simulation

abstract: Cluster galaxies exhibit substantially lower star formation rates than field galaxies today, but it is conceivable that clusters were sites of more active star formation in the early universe. Herein, we present an interpretation of the star formation history (SFH) of group/cluster galaxies based on the large-scale cosmological hydrodynamic simulation, Horizon-AGN. We find that massive galaxies in general have small values of e-folding timescales of star formation decay (i.e., ``mass quenching'') regardless of their environment, whilst low-mass galaxies exhibit prominent environmental dependence. In massive host halos (i.e., clusters), the e-folding timescales of low-mass galaxies are further decreased if they reside in such halos for a longer period of time. This ``environmental quenching'' trend is consistent with the theoretical expectation from ram pressure stripping. Furthermore, we define a ``transition epoch'' as where cluster galaxies become less star-forming than field galaxies. The transition epoch of group/cluster galaxies varies according to their stellar and host cluster halo masses. Low-mass galaxies in massive clusters show the earliest transition epoch of $\sim 7.6$ Gyr ago in lookback time. However, it decreases to $\sim 5.2$ Gyr for massive galaxies in low-mass clusters. Based on our findings, we can describe cluster galaxy's SFH with regard to the cluster halo-to-stellar mass ratio.


title: Isoperimetric planar clusters with infinitely many regions

abstract: An infinite cluster $\mathbf E$ in $\mathbb R^d$ is a sequence of disjoint measurable sets $E_k\subset \mathbb R^d$, $k\in \mathbb N$, called regions of the cluster. Given the volumes $a_k\ge 0$ of the regions $E_k$, a natural question is the existence of a cluster $\mathbf E$ which has finite and minimal perimeter $P(\mathbf E)$ among all clusters with regions having such volumes. We prove that such a cluster exists in the planar case $d=2$, for any choice of the areas $a_k$ with $\sum \sqrt a_k < \infty$. We also show the existence of a bounded minimizer with the property $P(\mathbf E)=\mathcal H^1(\partial \mathbf E)$, where $\partial mathbf E$ denotes the measure theoretic boundary of the cluster. We also provide several examples of infinite isoperimetric clusters for anisotropic and fractional perimeters.


title: Revisiting and Advancing Chinese Natural Language Understanding with Accelerated Heterogeneous Knowledge Pre-training

abstract: Recently, knowledge-enhanced pre-trained language models (KEPLMs) improve context-aware representations via learning from structured relations in knowledge graphs, and/or linguistic knowledge from syntactic or dependency analysis. Unlike English, there is a lack of high-performing open-source Chinese KEPLMs in the natural language processing (NLP) community to support various language understanding applications. In this paper, we revisit and advance the development of Chinese natural language understanding with a series of novel Chinese KEPLMs released in various parameter sizes, namely CKBERT (Chinese knowledge-enhanced BERT).Specifically, both relational and linguistic knowledge is effectively injected into CKBERT based on two novel pre-training tasks, i.e., linguistic-aware masked language modeling and contrastive multi-hop relation modeling. Based on the above two pre-training paradigms and our in-house implemented TorchAccelerator, we have pre-trained base (110M), large (345M) and huge (1.3B) versions of CKBERT efficiently on GPU clusters. Experiments demonstrate that CKBERT outperforms strong baselines for Chinese over various benchmark NLP tasks and in terms of different model sizes.


title: Quantum chaos in supersymmetric Yang-Mills-like model: equation of state, entanglement, and spectral form-factors

abstract: We analyze in detail a sharp transition between the low-energy, low-dimensional eigenstates and the high-energy chaotic bulk of the spectrum for a simple supersymmetric quantum-mechanical model with Hamiltonian $\hat{H}_S = \left(\hat{p}_1^2 + \hat{p}_2^2 + \hat{x}_1^2 \, \hat{x}_2^2 \right) \otimes I + \hat{x}_1 \otimes \sigma_1 + \hat{x}_2 \otimes \sigma_3$, which mimics the structure of the Banks-Fischler-Susskind-Stanford (BFSS) matrix model, the spatially compactified $\mathcal{N} = 1$ super-Yang-Mills theory. We conjecture that this transition might be similar to the transition between the $D0$-brane and $M$-theory regimes in the BFSS model, and find that it does not lead to irregularities in the thermodynamic equation of state. We demonstrate that real-time spectral form-factor for our supersymmetric model exhibits the ``ramp'' behavior typical for quantum chaos. We also analyze the entanglement entropy and the spectrum of the reduced density matrix of the eigenstates of $\hat{H}_S$, considering one of the bosonic degrees of freedom as a subsystem. The entanglement entropy of low-energy eigenstates appears to be practically energy-independent. Exactly at the onset of random-matrix-type level spacing fluctuations, this behavior rapidly changes into a steady growth of entanglement with energy. We demonstrate that the spectrum of the reduced density matrix also exhibits universal level-spacing fluctuations towards its higher end, even for the ground state of the supersymmetric model. Thus even the regularly spaced, non-chaotic eigenstates contain some information about semi-classical chaotic dynamics at high energies.


title: A numerical study of the spectral properties of Isogeometric collocation matrices for acoustic wave problems

abstract: This paper focuses on the spectral properties of the mass and stiffness matrices for acoustic wave problems discretized with Isogeometric analysis (IGA) collocation methods in space and Newmark methods in time. Extensive numerical results are reported for the eigenvalues and condition numbers of the acoustic mass and stiffness matrices in the reference square domain with Dirichlet, Neumann and absorbing boundary conditions, varying the polynomial degree $p$, mesh size $h$, regularity $k$, of the IGA discretization and the time step $\Delta t$ and parameter $\beta$ of the Newmark method. Results on the sparsity of the matrices and the eigenvalue distribution with respect to the degrees of freedom d.o.f. and the number of nonzero entries nz are also reported. The results are comparable with the available spectral estimates for IGA Galerkin matrices associated to the Poisson problem with Dirichlet boundary conditions, and in some cases the IGA collocation results are better than the corresponding IGA Galerkin estimates.


title: On the divisibility of the class numbers of quaternion orders

abstract: Let $F$ be a number field, and $D$ be a quaternion $F$-algebra. We show that the class number of any residually unramified $O_F$-order (e.g. an Eichler order) in $D$ is divisible by the class number of $F$.


title: On the Use of Semantically-Aligned Speech Representations for Spoken Language Understanding

abstract: In this paper we examine the use of semantically-aligned speech representations for end-to-end spoken language understanding (SLU). We employ the recently-introduced SAMU-XLSR model, which is designed to generate a single embedding that captures the semantics at the utterance level, semantically aligned across different languages. This model combines the acoustic frame-level speech representation learning model (XLS-R) with the Language Agnostic BERT Sentence Embedding (LaBSE) model. We show that the use of the SAMU-XLSR model instead of the initial XLS-R model improves significantly the performance in the framework of end-to-end SLU. Finally, we present the benefits of using this model towards language portability in SLU.


title: Thurston's asymmetric metrics for Anosov representations

abstract: We provide a good dynamical framework allowing to generalize Thurston's asymmetric metric and the associated Finsler norm from Teichm\"uller space to large classes of Anosov representations. In many cases, including the space of Hitchin representations, this gives a (possibly asymmetric) Finsler distance. In some cases we explicitly compute the associated Finsler norm.


title: A Probabilistic Imaginary Time Evolution Algorithm Based on Non-unitary Quantum Circuit

abstract: Imaginary time evolution is a powerful tool applied in quantum physics, while existing classical algorithms for simulating imaginary time evolution suffer high computational complexity as the quantum systems become larger and more complex. In this work, we propose a probabilistic algorithm for implementing imaginary time evolution based on non-unitary quantum circuit. We demonstrate the feasibility of this method by solving the ground state energy of several quantum many-body systems, including H2, LiH molecules and the quantum Ising chain. Moreover, we perform experiments on superconducting and trapped ion cloud platforms respectively to find the ground state energy of H2 and its most stable molecular structure. We also analyze the successful probability of the algorithm, which is a polynomial of the output error and introduce an approach to increase the success probability by rearranging the terms of Hamiltonian.


title: Identifying Difficult exercises in an eTextbook Using Item Response Theory and Logged Data Analysis

abstract: The growing dependence on eTextbooks and Massive Open Online Courses (MOOCs) has led to an increase in the amount of students' learning data. By carefully analyzing this data, educators can identify difficult exercises, and evaluate the quality of the exercises when teaching a particular topic. In this study, an analysis of log data from the semester usage of the OpenDSA eTextbook was offered to identify the most difficult data structure course exercises and to evaluate the quality of the course exercises. Our study is based on analyzing students' responses to the course exercises. We applied item response theory (IRT) analysis and a latent trait mode (LTM) to identify the most difficult exercises .To evaluate the quality of the course exercises we applied IRT theory. Our findings showed that the exercises that related to algorithm analysis topics represented the most difficult exercises, and there existing six exercises were classified as poor exercises which could be improved or need some attention.


title: Internal Conversion Rates from the Extended Thawed Gaussian Approximation: Theory and Validation

abstract: The theoretical prediction of the rates of nonradiative processes in molecules is fundamental to assess their emissive properties. In this context, global harmonic models have been widely used to simulate vibronic spectra as well as internal conversion rates and to predict photoluminescence quantum yields. However, these simplified models suffer from the limitations that are inherent to the harmonic approximation and can have a severe effect on the calculated internal conversion rates. Therefore, the development of more accurate semiclassical methods is highly desirable. Here, we introduce a procedure for the calculation of nonradiative rates in the framework of the time-dependent semi-classical Extended Thawed Gaussian Approximation (ETGA). We systematically investigate the performance of the ETGA method by comparing it to the the adiabatic and vertical harmonic method, which belong to the class of widely used global harmonic models. Its performance is tested in potentials that cannot be treated adequately by global harmonic models, beginning with Morse potentials of varying anharmonicity followed by a double well potential. The calculated radiative and nonradiative internal conversion rates are compared to reference values based on exact quantum dynamics. We find that the ETGA has the capability to predict internal conversion rates in anharmonic systems with an appreciable energy gap, whereas the global harmonic models prove to be insufficient.


title: Natural Language Processing for Cognitive Analysis of Emotions

abstract: Emotion analysis in texts suffers from two major limitations: annotated gold-standard corpora are mostly small and homogeneous, and emotion identification is often simplified as a sentence-level classification problem. To address these issues, we introduce a new annotation scheme for exploring emotions and their causes, along with a new French dataset composed of autobiographical accounts of an emotional scene. The texts were collected by applying the Cognitive Analysis of Emotions developed by A. Finkel to help people improve on their emotion management. The method requires the manual analysis of an emotional event by a coach trained in Cognitive Analysis. We present a rule-based approach to automatically annotate emotions and their semantic roles (e.g. emotion causes) to facilitate the identification of relevant aspects by the coach. We investigate future directions for emotion analysis using graph structures.


title: QKD in the NISQ era: enhancing secure key rates via quantum error correction

abstract: Error mitigation is one of the key challenges in realising the full potential of quantum cryptographic protocols. Consequently, there is a lot of interest in adapting techniques from quantum error correction (QEC) to improve the robustness of quantum cryptographic protocols. In this work, we benchmark the performance of different QKD protocols on noisy quantum devices, with and without error correction. We obtain the secure key rates of BB84, B92 and BBM92 QKD protocols over a quantum channel that is subject to amplitude-damping noise. We demonstrate, theoretically and via implementations on the IBM quantum processors, that B92 is the optimal protocol under amplitude-damping and generalized amplitude-damping noise. We then show that the security of the noisy BBM92 protocol crucially depends on the type and the mode of distribution of an entangled pair. Finally, we implement an error-corrected BB84 protocol using dual-rail encoding on a noisy quantum processor, and show that the dual-rail BB84 implementation outperforms the conventional BB84 in the presence of noise. Our secure key rate calculation also takes into account the effects of CNOT imperfections on the error rates of the protocols.


title: Weakly-Supervised Optical Flow Estimation for Time-of-Flight

abstract: Indirect Time-of-Flight (iToF) cameras are a widespread type of 3D sensor, which perform multiple captures to obtain depth values of the captured scene. While recent approaches to correct iToF depths achieve high performance when removing multi-path-interference and sensor noise, little research has been done to tackle motion artifacts. In this work we propose a training algorithm, which allows to supervise Optical Flow (OF) networks directly on the reconstructed depth, without the need of having ground truth flows. We demonstrate that this approach enables the training of OF networks to align raw iToF measurements and compensate motion artifacts in the iToF depth images. The approach is evaluated for both single- and multi-frequency sensors as well as multi-tap sensors, and is able to outperform other motion compensation techniques.


title: Stochastic circular persistent currents of exciton polaritons

abstract: We keep track of the orbital degree of freedom of an exciton polariton condensate, confined in an optical trap, and reveal the stochastic switching of persistent annular polariton currents in the pulse-periodic excitation regime.In an elliptic trap, the low-lying in energy polariton current states are inherent in a two-petalled density distribution and swirling phase. In the stochastic regime, the averaged over multiple excitation pulses density distribution gets homogenised in the azimuthal direction, while the weighted phase extracted from interference experiments experiences two compensating each other jumps, when varying around the center of the trap. Breaking the reciprocity of the system with a supplemental control optical pulse makes it possible to switch the system from the stochastic regime to the deterministic regime of an arbitrary polariton circulation.


title: Double ring polariton condensates with polariton vortices

abstract: We study formation of superfluid currents of exciton polaritons in annular polariton condensates in a cylindrical micropillar cavity under the spatially localised nonresonant optical pumping. Since polariton condensates are strongly nonequilibrium systems, the trapping potential for polaritons, formed by the pillar edge and the reservoir of optically induced incoherent excitons, is complex in general case. Its imaginary part includes the spatially distributed gain from the pump and losses of polaritons in the condensate. We show that engineering the gain-loss balance in the micropillar plane gives access to the excited states of the polariton condensate. We demonstrate both theoretically and experimentally formation of vortices in double concentric ring polariton condensates in the complex annular trap potential.


title: Intrinsic Dimension for Large-Scale Geometric Learning

abstract: The concept of dimension is essential to grasp the complexity of data. A naive approach to determine the dimension of a dataset is based on the number of attributes. More sophisticated methods derive a notion of intrinsic dimension (ID) that employs more complex feature functions, e.g., distances between data points. Yet, many of these approaches are based on empirical observations, cannot cope with the geometric character of contemporary datasets, and do lack an axiomatic foundation. A different approach was proposed by V. Pestov, who links the intrinsic dimension axiomatically to the mathematical concentration of measure phenomenon. First methods to compute this and related notions for ID were computationally intractable for large-scale real-world datasets. In the present work, we derive a computationally feasible method for determining said axiomatic ID functions. Moreover, we demonstrate how the geometric properties of complex data are accounted for in our modeling. In particular, we propose a principle way to incorporate neighborhood information, as in graph data, into the ID. This allows for new insights into common graph learning procedures, which we illustrate by experiments on the Open Graph Benchmark.


title: Towards Structure-aware Paraphrase Identification with Phrase Alignment Using Sentence Encoders

abstract: Previous works have demonstrated the effectiveness of utilising pre-trained sentence encoders based on their sentence representations for meaning comparison tasks. Though such representations are shown to capture hidden syntax structures, the direct similarity comparison between them exhibits weak sensitivity to word order and structural differences in given sentences. A single similarity score further makes the comparison process hard to interpret. Therefore, we here propose to combine sentence encoders with an alignment component by representing each sentence as a list of predicate-argument spans (where their span representations are derived from sentence encoders), and decomposing the sentence-level meaning comparison into the alignment between their spans for paraphrase identification tasks. Empirical results show that the alignment component brings in both improved performance and interpretability for various sentence encoders. After closer investigation, the proposed approach indicates increased sensitivity to structural difference and enhanced ability to distinguish non-paraphrases with high lexical overlap.


title: Versatile strain relief pathways in epitaxial films of (001)-oriented PbSe on III-V substrates

abstract: PbSe and related IV-VI rocksalt-structure semiconductors have important electronic properties that may be controlled by epitaxial strain and interfaces, thus harnessed in an emerging class of IV-VI/III-V heterostructures. The synthesis of such heterostructures and understanding mechanisms for strain-relief is central to achieving this goal. We show that a range of interfacial defects mediate lattice mismatch in (001)-oriented epitaxial thin films of PbSe with III-V templates of GaAs, InAs, and GaSb. While the primary slip system {100}<110> for dislocation glide in PbSe is well-studied for its facile glide properties, it is inactive in (001)-oriented films used in our work. Yet, we obtain nearly relaxed PbSe films in the three heteroepitaxial systems studied with interfaces ranging from incoherent without localized misfit dislocations on 8.3% mismatched GaAs, a mixture of semi-coherent and incoherent patches on 1.5% mismatched InAs, to nearly coherent on 0.8% mismatched GaSb. The semi-coherent portions of the interfaces to InAs form by 60{\deg} misfit dislocations gliding on higher order {111}<110> slip systems. On the more closely lattice-matched GaSb, arrays of 90{\deg} (edge) misfit dislocations form via a climb process. The diversity of strain-relaxation mechanisms accessible to PbSe makes it a rich system for heteroepitaxial integration with III-V substrates.


title: Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems

abstract: We consider the problem of learning control policies in discrete-time stochastic systems which guarantee that the system stabilizes within some specified stabilization region with probability~$1$. Our approach is based on the novel notion of stabilizing ranking supermartingales (sRSMs) that we introduce in this work. Our sRSMs overcome the limitation of methods proposed in previous works whose applicability is restricted to systems in which the stabilizing region cannot be left once entered under any control policy. We present a learning procedure that learns a control policy together with an sRSM that formally certifies probability~$1$ stability, both learned as neural networks. We show that this procedure can also be adapted to formally verifying that, under a given Lipschitz continuous control policy, the stochastic system stabilizes within some stabilizing region with probability~$1$. Our experimental evaluation shows that our learning procedure can successfully learn provably stabilizing policies in practice.


title: On the Efficiency of Energy Markets with Non-Merchant Storage

abstract: Energy market designs with non-merchant storage have been proposed in recent years, with the aim of achieving optimal market integration of storage. In order to handle the time-linking constraints that are introduced in such markets, existing works commonly make simplifying assumptions about the end-of-horizon storage level, e.g., by imposing an exogenous level for the amount of energy to be left for the next time horizon. This work analyzes market properties under such assumptions, as well as in their absence. We find that, although they ensure cost recovery for all market participants, these assumptions generally lead to market inefficiencies. Therefore we consider the design of markets with non-merchant storage without such simplifying assumptions. Using illustrative examples, as well as detailed proofs, we provide conditions under which market prices in subsequent market horizons fail to reflect the value of stored energy. We show that this problem is essential to address in order to preserve market efficiency and cost recovery. Finally, we propose a method for restoring these market properties in a perfect-foresight setting.


title: Steady state oscillations of circular currents in concentric polariton condensates

abstract: Concentric ring exciton polariton condensates emerging under non-resonant laser pump in an annular trapping potential support persistent circular currents of polaritons. The trapping potential is formed by a cylindrical micropillar etched in a semiconductor microcavity with embedded quantum wells and a repulsive cloud of optically excited excitons under the pump spot. The symmetry of the potential is subject to external control via manipulation by its pump-induced component. In the manuscript, we demonstrate excitation of concentric ring polariton current states with predetermined vorticity which we trace using interferometry measurements with a spherical reference wave. We also observe the polariton condensate dynamically changing its vorticity during observation, which results in pairs of fork-like dislocations on the time-averaged interferogram coexisting with azimuthally homogeneous photoluminescence distribution in the micropillar.


title: Undemocratic Dirac seesaw

abstract: The standard model left-handed neutrinos and several right-handed neutrinos can obtain a tiny Dirac mass matrix through their mixings with relatively heavy Dirac fermions. In this Dirac seesaw scenario, the mixings involving the left-handed neutrinos can be allowed much larger than those involving the right-handed neutrinos. This undemocratic parameter choice is attractive to phenomenology. We show that the small mixings between the heavy Dirac fermions and the right-handed neutrinos can have a common origin with the observed baryon asymmetry in the universe. We also connect the introduction of right-handed neutrinos to the existence and stability of dark matter by a new $U(1)$ gauge symmetry for dark photon or baryon-minus-lepton number. We then specify how to embed our scenario into a left-right symmetric theory or a grand unification theory.


title: Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees

abstract: We study the problem of learning controllers for discrete-time non-linear stochastic dynamical systems with formal reach-avoid guarantees. This work presents the first method for providing formal reach-avoid guarantees, which combine and generalize stability and safety guarantees, with a tolerable probability threshold $p\in[0,1]$ over the infinite time horizon. Our method leverages advances in machine learning literature and it represents formal certificates as neural networks. In particular, we learn a certificate in the form of a reach-avoid supermartingale (RASM), a novel notion that we introduce in this work. Our RASMs provide reachability and avoidance guarantees by imposing constraints on what can be viewed as a stochastic extension of level sets of Lyapunov functions for deterministic systems. Our approach solves several important problems -- it can be used to learn a control policy from scratch, to verify a reach-avoid specification for a fixed control policy, or to fine-tune a pre-trained policy if it does not satisfy the reach-avoid specification. We validate our approach on $3$ stochastic non-linear reinforcement learning tasks.


title: Optimization of laser stabilization via self-injection locking to a whispering-gallery-mode microresonator: experimental study

abstract: Self-injection locking of a diode laser to a high-quality-factor microresonator is widely used for frequency stabilization and linewidth narrowing. We constructed several microresonator-based laser sources with measured instantaneous linewidths of 1 Hz and used them for investigation and implementation of the self-injection locking effect. We studied analytically and experimentally the dependence of the stabilization coefficient on tunable parameters such as locking phase and coupling rate. It was shown that precise control of the locking phase allows fine tuning of the generated frequency from the stabilized laser diode. We also showed that it is possible for such laser sources to realize fast continuous and linear frequency modulation by injection current tuning inside the self-injection locking regime. We conceptually demonstrate coherent frequency-modulated continuous wave LIDAR over a distance of 10 km using such a microresonator-stabilized laser diode in the frequency-chirping regime and measure velocities as low as sub-micrometer per second in the unmodulated case. These results could be of interest for cutting-edge technology applications such as space debris monitoring and long-range object classification, high resolution spectroscopy and others.


title: Quantum walks on random lattices: Diffusion, localization and the absence of parametric quantum speed-up

abstract: Discrete-time quantum walks, quantum generalizations of classical random walks, provide a framework for quantum information processing, quantum algorithms and quantum simulation of condensed matter systems. The key property of quantum walks, which lies at the heart of their quantum information applications, is the possibility for a parametric quantum speed-up in propagation compared to classical random walks. In this work we study propagation of quantum walks on percolation-generated two-dimensional random lattices. In large-scale simulations of topological and trivial split-step walks, we identify distinct pre-diffusive and diffusive behaviors at different time scales. Importantly, we show that even arbitrarily weak concentrations of randomly removed lattice sites give rise to a complete breakdown of the superdiffusive quantum speed-up, reducing the motion to ordinary diffusion. By increasing the randomness, quantum walks eventually stop spreading due to Anderson localization. Near the localization threshold, we find that the quantum walks become subdiffusive. The fragility of quantum speed-up implies dramatic limitations for quantum information applications of quantum walks on random geometries and graphs.


title: CD-FSOD: A Benchmark for Cross-domain Few-shot Object Detection

abstract: In this paper, we propose a study of the cross-domain few-shot object detection (CD-FSOD) benchmark, consisting of image data from a diverse data domain. On the proposed benchmark, we evaluate state-of-art FSOD approaches, including meta-learning FSOD approaches and fine-tuning FSOD approaches. The results show that these methods tend to fall, and even underperform the naive fine-tuning model. We analyze the reasons for their failure and introduce a strong baseline that uses a mutually-beneficial manner to alleviate the overfitting problem. Our approach is remarkably superior to existing approaches by significant margins (2.0\% on average) on the proposed benchmark. Our code is available at \url{https://github.com/FSOD/CD-FSOD}.


title: KIC 7955301: a hierarchical triple system with eclipse timing variations and an oscillating red giant

abstract: KIC 7955301 is a hierarchical triple system with eclipse timing and depth variations discovered by the Kepler mission. It is composed of a non-eclipsing primary star at the bottom of the red giant branch on a 209-day orbit with a K/G-type main-sequence inner eclipsing binary, orbiting in 15.3 days. This system was noted for the large amplitude of its eclipse timing variations (4 hours), and the clear solar-like oscillations of the red-giant component, including p-modes of degree up to l=3 and mixed l=1 modes. The system is a single-lined spectroscopic triple. We perform a dynamical model by combining the Kepler photometric data, eclipse timing variations, and radial-velocity data obtained at Apache Point (ARCES) and Haute Provence (SOPHIE) observatories. The dynamical mass of the red-giant is determined with a 2% precision at 1.30 (+0.03,-0.02) solar mass. We perform asteroseismic modeling based on the global seismic parameters and on the individual frequencies. Both methods lead to a mass of the red giant that matches the dynamical mass within the uncertainties. Asteroseismology also reveals the rotation rate of the core (15 days), the envelope (150 days), and the inclination (75 deg) of the red giant. Three different approaches lead to an age between 3.3 and 5.8 Gyr, which highlights the difficulty of determining stellar ages despite the exceptional wealth of available information. On short timescales, the inner binary exhibits eclipses with varying depths during a 7.3-year long interval, and no eclipses during the consecutive 11.9 years. This is why Kepler could detect its eclipses, TESS will not, and the future ESA PLATO mission should. Over the long term, the system owes its evolution to the evolution of its individual components. It could end its current smooth evolution by merging by the end of the red giant or the asymptotic giant branch of the primary star.


title: Memory transformers for full context and high-resolution 3D Medical Segmentation

abstract: Transformer models achieve state-of-the-art results for image segmentation. However, achieving long-range attention, necessary to capture global context, with high-resolution 3D images is a fundamental challenge. This paper introduces the Full resolutIoN mEmory (FINE) transformer to overcome this issue. The core idea behind FINE is to learn memory tokens to indirectly model full range interactions while scaling well in both memory and computational costs. FINE introduces memory tokens at two levels: the first one allows full interaction between voxels within local image regions (patches), the second one allows full interactions between all regions of the 3D volume. Combined, they allow full attention over high resolution images, e.g. 512 x 512 x 256 voxels and above. Experiments on the BCV image segmentation dataset shows better performances than state-of-the-art CNN and transformer baselines, highlighting the superiority of our full attention mechanism compared to recent transformer baselines, e.g. CoTr, and nnFormer.


title: Client Error Clustering Approaches in Content Delivery Networks (CDN)

abstract: Content delivery networks (CDNs) are the backbone of the Internet and are key in delivering high quality video on demand (VoD), web content and file services to billions of users. CDNs usually consist of hierarchically organized content servers positioned as close to the customers as possible. CDN operators face a significant challenge when analyzing billions of web server and proxy logs generated by their systems. The main objective of this study was to analyze the applicability of various clustering methods in CDN error log analysis. We worked with real-life CDN proxy logs, identified key features included in the logs (e.g., content type, HTTP status code, time-of-day, host) and clustered the log lines corresponding to different host types offering live TV, video on demand, file caching and web content. Our experiments were run on a dataset consisting of proxy logs collected over a 7-day period from a single, physical CDN server running multiple types of services (VoD, live TV, file). The dataset consisted of 2.2 billion log lines. Our analysis showed that CDN error clustering is a viable approach towards identifying recurring errors and improving overall quality of service.


title: Using debris disk observations to infer substellar companions orbiting within or outside a parent planetesimal belt

abstract: Aims. We analyze whether the effects of secular perturbations, originating from a substellar companion, on the dust dynamics in a debris disk can be investigated with spatially resolved observations. Methods. We numerically simulated the collisional evolution of narrow and eccentric cold planetesimal belts around a star of spectral type A3V that are secularly perturbed by a companion that orbits either closer to or farther from the star than the belt. Based on the resulting spatial dust distributions, we simulated spatially resolved maps of their surface brightness in the $K$, $N$, and $Q$ bands and at wavelengths of 70$\mu$m and 1300$\mu$m. Results. Assuming a nearby debris disk seen face-on, we find that the brightness distribution varies significantly with observing wavelength, for example between the $N$ and $Q$ band. This can be explained by the varying relative contribution of the emission of the smallest grains near the blowout limit. The orbits of both the small grains that form the halo and the large grains close to the parent belt precess due to the secular perturbations induced by a companion orbiting inward of the belt. The halo, being composed of older grains, trails the belt. The magnitude of the trailing decreases with increasing perturber mass and hence with increasing strength of the perturbation, a trend we recovered in synthetic maps of surface brightness by fitting ellipses to lines of constant brightness. Systems with an outer perturber do not show a uniform halo precession since the orbits of small grains are strongly altered. We identified features of the brightness distributions suitable for distinguishing between systems with a potentially detectable inner or outer perturber, especially with a combined observation with JWST/MIRI in the $Q$ band tracing small grain emission and with ALMA at mm wavelengths tracing the position of the parent planetesimal belt.


title: Sizing up the Batteries: Modelling of Energy-Harvesting Sensor Nodes in a Delay Tolerant Network

abstract: For energy-harvesting sensor nodes, rechargeable batteries play a critical role in sensing and transmissions. By coupling two simple Markovian queue models in a delay-tolerant networking setting, we consider the problem of battery sizing for these sensor nodes to operate effectively: given the intended energy depletion and overflow probabilities, how to decide the minimal battery capacity that is required to ensure opportunistic data exchange despite the inherent intermittency of renewable energy generation.


title: Finite rigid sets of the non-separating curve complex

abstract: We prove that the non-separating curve complex of every surface of finite type and genus at least three admits an exhaustion by finite rigid sets.


title: CASAPose: Class-Adaptive and Semantic-Aware Multi-Object Pose Estimation

abstract: Applications in the field of augmented reality or robotics often require joint localisation and 6D pose estimation of multiple objects. However, most algorithms need one network per object class to be trained in order to provide the best results. Analysing all visible objects demands multiple inferences, which is memory and time-consuming. We present a new single-stage architecture called CASAPose that determines 2D-3D correspondences for pose estimation of multiple different objects in RGB images in one pass. It is fast and memory efficient, and achieves high accuracy for multiple objects by exploiting the output of a semantic segmentation decoder as control input to a keypoint recognition decoder via local class-adaptive normalisation. Our new differentiable regression of keypoint locations significantly contributes to a faster closing of the domain gap between real test and synthetic training data. We apply segmentation-aware convolutions and upsampling operations to increase the focus inside the object mask and to reduce mutual interference of occluding objects. For each inserted object, the network grows by only one output segmentation map and a negligible number of parameters. We outperform state-of-the-art approaches in challenging multi-object scenes with inter-object occlusion and synthetic training.


title: A fuzzy $q$-closest alignment model

abstract: The paper examines the problems related to the well-posedness of the Cucker-Smale model with communication restricted to the $q$-closest neighbors, known also as the Cucker-Dong model. With agents oscillating on the boundary of different clusters, the system becomes difficult to precisely define, which leads to further problems with kinetic limits as the number of agents tends to infinity. We introduce the fuzzy $q$-closest system, which circumvents the issues with well-posedness. For such a system we prove a stability estimate for measure-valued solutions and perform the kinetic mean-field limit.


title: Synthetic Model Combination: An Instance-wise Approach to Unsupervised Ensemble Learning

abstract: Consider making a prediction over new test data without any opportunity to learn from a training set of labelled data - instead given access to a set of expert models and their predictions alongside some limited information about the dataset used to train them. In scenarios from finance to the medical sciences, and even consumer practice, stakeholders have developed models on private data they either cannot, or do not want to, share. Given the value and legislation surrounding personal information, it is not surprising that only the models, and not the data, will be released - the pertinent question becoming: how best to use these models? Previous work has focused on global model selection or ensembling, with the result of a single final model across the feature space. Machine learning models perform notoriously poorly on data outside their training domain however, and so we argue that when ensembling models the weightings for individual instances must reflect their respective domains - in other words models that are more likely to have seen information on that instance should have more attention paid to them. We introduce a method for such an instance-wise ensembling of models, including a novel representation learning step for handling sparse high-dimensional domains. Finally, we demonstrate the need and generalisability of our method on classical machine learning tasks as well as highlighting a real world use case in the pharmacological setting of vancomycin precision dosing.


title: Image Segmentation Semantic Communication over Internet of Vehicles

abstract: In this paper, the problem of semantic-based efficient image transmission is studied over the Internet of Vehicles (IoV). In the considered model, a vehicle shares massive amount of visual data perceived by its visual sensors to assist other vehicles in making driving decisions. However, it is hard to maintain a high reliable visual data transmission due to the limited spectrum resources. To tackle this problem, a semantic communication approach is introduced to reduce the transmission data amount while ensuring the semantic-level accuracy. Particularly, an image segmentation semantic communication (ISSC) system is proposed, which can extract the semantic features from the perceived images and transmit the features to the receiving vehicle that reconstructs the image segmentations. The ISSC system consists of an encoder and a decoder at the transmitter and the receiver, respectively. To accurately extract the image semantic features, the ISSC system encoder employs a Swin Transformer based multi-scale semantic feature extractor. Then, to resist the wireless noise and reconstruct the image segmentation, a semantic feature decoder and a reconstructor are designed at the receiver. Simulation results show that the proposed ISSC system can reconstruct the image segmentation accurately with a high compression ratio, and can achieve robust transmission performance against channel noise, especially at the low signal-to-noise ratio (SNR). In terms of mean Intersection over Union (mIoU), the ISSC system can achieve an increase by 75%, compared to the baselines using traditional coding method


title: Testing Gravity with Black Hole X-Ray Data

abstract: The analysis of the properties of the X-ray radiation emitted from geometrically thin accretion disks around black holes can be a powerful tool to test General Relativity in the strong field regime. This chapter reviews the state-of-the-art of gravity tests with black hole X-ray data. So far, most efforts have been devoted to test the Kerr hypothesis - namely that the spacetime around astrophysical black holes is described by the Kerr solution - and X-ray data can currently provide among the most stringent constraints on possible deviations from the Kerr geometry. As of now, all X-ray analyses are consistent with the predictions of General Relativity.


title: Anomalous energy exchanges and Wigner function negativities in a single qubit gate

abstract: Anomalous weak values and Wigner function's negativity are well known witnesses of quantum contextuality. We show that these effects occur when analyzing the energetics of a single qubit gate generated by a resonant coherent field traveling in a waveguide. The buildup of correlations between the qubit and the field is responsible for bounds on the gate fidelity, but also for a nontrivial energy balance recently observed in a superconducting setup. In the experimental scheme, the field is continuously monitored through heterodyne detection and then post-selected over the outcomes of a final qubit's measurement. The post-selected data can be interpreted as field's weak values and can show anomalous values in the variation of the field's energy. We model the joint system dynamics with a collision model, gaining access to the qubit-field entangled state at any time. We find an analytical expression of the quasi-probability distribution of the post-selected heterodyne signal, i.e. the conditional Husimi-Q function. The latter grants access to all the field's weak values: we use it to obtain that of the field's energy change and display its anomalous behaviour. Finally, we derive the field's conditional Wigner function and show that anomalous weak values and Wigner function's negativities arise for the same values of the gate's angle.


title: Screening and antiscreening in fullerene-like cages:dipole-field amplification with ionic nanocages

abstract: We investigate from first principles screening effects in endohedral complexes when small molecules, characterized by a finite electronic dipole moment, such as HF, LiF, NaCl, and H$_2$O, are encapsulated into different nanoscale cages. We find that screening effects crucially depend on the nature of the intramolecular bonds of the cage: screening is maximum in covalent-bond carbon nanocages, while it is reduced in partially-ionic ones. Interestingly, in the case of the ionic-bond nanocages, an antiscreening effect is observed: due to the relative displacement of positive and negative ions, induced by the dipole moment of the encapsulated molecule, these cages act as dipole-field amplifiers. Our results open the way to the possibility of tuning the dipole moment of nanocages and of generating electrostatic fields at the nanoscale without the aid of external potentials. Moreover, we can expect some transferability of the observed screening effects also to nanotubes and 2D materials.


title: Modeling and Performance Analysis for Movable Antenna Enabled Wireless Communications

abstract: In this paper, we propose a novel antenna architecture called movable antenna (MA) to improve the performance of wireless communication systems. Different from conventional fixed-position antennas (FPAs) that undergo random wireless channel variation, the MAs with the capability of flexible movement can be deployed at positions with more favorable channel conditions to achieve higher spatial diversity gains. To characterize the general multi-path channel in a given region or field where the MAs are deployed, a field-response model is developed by leveraging the amplitude, phase, and angle of arrival/angle of departure (AoA/AoD) information on each of the multiple channel paths under the far-field condition. Based on this model, we then analyze the maximum channel gain achieved by a single receive MA as compared to its FPA counterpart in both deterministic and stochastic channels. First, in the deterministic channel case, we show the periodic behavior of the multi-path channel gain in a given spatial field, which can be exploited for analyzing the maximum channel gain of the MA. Next, in the case of stochastic channels, the expected value of an upper bound on the maximum channel gain of the MA in an infinitely large receive region is derived for different numbers of channel paths. The approximate cumulative distribution function (CDF) for the maximum channel gain is also obtained in closed form, which is useful to evaluate the outage probability of the MA system. Moreover, our results reveal that higher performance gains by the MA over the FPA can be acquired when the number of channel paths increases due to more pronounced small-scale fading effects in the spatial domain. Numerical examples are presented which validate our analytical results and demonstrate that the MA system can reap considerable performance gains over the conventional FPA systems with/without antenna selection (AS).


title: Detection of a cyclic period change in the contact binary TU UMi

abstract: This study aims at timing the eclipses of the binary star TU UMi. The times of minima are taken from the literature, from our observations in April 2004 and from TESS observations between 2019 and 2022. The orbital period analysis of the system indicates that there is a cyclic oscillation with an amplitude of 0.0081d and a period of 9.03 yr, accompanied by a continuous decrease at a rate of $dP/dt =-1.12 \times 10^{-7}\,\mathrm{d}\, \mathrm{yr}^{-1}$. We study the secular evolution of the orbital period of the system and the possibility of the existence of a third companion or the magnetic activity cycle of the primary component in the system.


title: A Causal Analysis of Harm

abstract: As autonomous systems rapidly become ubiquitous, there is a growing need for a legal and regulatory framework to address when and how such a system harms someone. There have been several attempts within the philosophy literature to define harm, but none of them has proven capable of dealing with with the many examples that have been presented, leading some to suggest that the notion of harm should be abandoned and "replaced by more well-behaved notions". As harm is generally something that is caused, most of these definitions have involved causality at some level. Yet surprisingly, none of them makes use of causal models and the definitions of actual causality that they can express. In this paper we formally define a qualitative notion of harm that uses causal models and is based on a well-known definition of actual causality (Halpern, 2016). The key novelty of our definition is that it is based on contrastive causation and uses a default utility to which the utility of actual outcomes is compared. We show that our definition is able to handle the examples from the literature, and illustrate its importance for reasoning about situations involving autonomous systems.


title: Reciprocity in Directed Hypergraphs: Measures, Findings, and Generators

abstract: Group interactions are prevalent in a variety of areas. Many of them, including email exchanges, chemical reactions, and bitcoin transactions, are directional, and thus they are naturally modeled as directed hypergraphs, where each hyperarc consists of the set of source nodes and the set of destination nodes. For directed graphs, which are a special case of directed hypergraphs, reciprocity has played a key role as a fundamental graph statistic in revealing organizing principles of graphs and in solving graph learning tasks. For general directed hypergraphs, however, even no systematic measure of reciprocity has been developed. In this work, we investigate the reciprocity of 11 real-world hypergraphs. To this end, we first introduce eight axioms that any reasonable measure of reciprocity should satisfy. Second, we propose HyperRec, a family of principled measures of hypergraph reciprocity that satisfies all the axioms. Third, we develop Ferret, a fast and exact algorithm for computing the measure, whose search space is up to 10^{147}x smaller than that of naive computation. Fourth, using them, we examine 11 real-world hypergraphs and discover patterns that distinguish them from random hypergraphs. Lastly, we propose ReDi, an intuitive generative model for directed hypergraphs exhibiting the patterns.


title: Model Reduction for the Chemical Master Equation: an Information-Theoretic Approach

abstract: The complexity of mathematical models in biology has rendered model reduction an essential tool in the quantitative biologist's toolkit. For stochastic reaction networks described using the Chemical Master Equation, commonly used methods include time-scale separation, the Linear Mapping Approximation and state-space lumping. Despite the success of these techniques, they appear to be rather disparate and at present no general-purpose approach to model reduction for stochastic reaction networks is known. In this paper we show that most common model reduction approaches for the Chemical Master Equation can be seen as minimising a well-known information-theoretic quantity between the full model and its reduction, the Kullback-Leibler divergence defined on the space of trajectories. This allows us to recast the task of model reduction as a variational problem that can be tackled using standard numerical optimisation approaches. In addition we derive general expressions for the propensities of a reduced system that generalise those found using classical methods. We show that the Kullback-Leibler divergence is a useful metric to assess model discrepancy and to compare different model reduction techniques using three examples from the literature: an autoregulatory feedback loop, the Michaelis-Menten enzyme system and a genetic oscillator.


title: Label Noise-Robust Learning using a Confidence-Based Sieving Strategy

abstract: In learning tasks with label noise, improving model robustness against overfitting is a pivotal challenge because the model eventually memorizes labels, including the noisy ones. Identifying the samples with noisy labels and preventing the model from learning them is a promising approach to address this challenge. When training with noisy labels, the per-class confidence scores of the model, represented by the class probabilities, can be reliable criteria for assessing whether the input label is the true label or the corrupted one. In this work, we exploit this observation and propose a novel discriminator metric called confidence error and a sieving strategy called CONFES to differentiate between the clean and noisy samples effectively. We provide theoretical guarantees on the probability of error for our proposed metric. Then, we experimentally illustrate the superior performance of our proposed approach compared to recent studies on various settings, such as synthetic and real-world label noise. Moreover, we show CONFES can be combined with other state-of-the-art approaches, such as Co-teaching and DivideMix to further improve model performance.


title: Generalization Analysis on Learning with a Concurrent Verifier

abstract: Machine learning technologies have been used in a wide range of practical systems. In practical situations, it is natural to expect the input-output pairs of a machine learning model to satisfy some requirements. However, it is difficult to obtain a model that satisfies requirements by just learning from examples. A simple solution is to add a module that checks whether the input-output pairs meet the requirements and then modifies the model's outputs. Such a module, which we call a {\em concurrent verifier} (CV), can give a certification, although how the generalizability of the machine learning model changes using a CV is unclear. This paper gives a generalization analysis of learning with a CV. We analyze how the learnability of a machine learning model changes with a CV and show a condition where we can obtain a guaranteed hypothesis using a verifier only in the inference time. We also show that typical error bounds based on Rademacher complexity will be no larger than that of the original model when using a CV in multi-class classification and structured prediction settings.


title: Gender Stereotyping Impact in Facial Expression Recognition

abstract: Facial Expression Recognition (FER) uses images of faces to identify the emotional state of users, allowing for a closer interaction between humans and autonomous systems. Unfortunately, as the images naturally integrate some demographic information, such as apparent age, gender, and race of the subject, these systems are prone to demographic bias issues. In recent years, machine learning-based models have become the most popular approach to FER. These models require training on large datasets of facial expression images, and their generalization capabilities are strongly related to the characteristics of the dataset. In publicly available FER datasets, apparent gender representation is usually mostly balanced, but their representation in the individual label is not, embedding social stereotypes into the datasets and generating a potential for harm. Although this type of bias has been overlooked so far, it is important to understand the impact it may have in the context of FER. To do so, we use a popular FER dataset, FER+, to generate derivative datasets with different amounts of stereotypical bias by altering the gender proportions of certain labels. We then proceed to measure the discrepancy between the performance of the models trained on these datasets for the apparent gender groups. We observe a discrepancy in the recognition of certain emotions between genders of up to $29 \%$ under the worst bias conditions. Our results also suggest a safety range for stereotypical bias in a dataset that does not appear to produce stereotypical bias in the resulting model. Our findings support the need for a thorough bias analysis of public datasets in problems like FER, where a global balance of demographic representation can still hide other types of bias that harm certain demographic groups.


title: Routing Schemes for Hybrid Communication Networks

abstract: We consider the problem of computing routing schemes in the $\mathsf{HYBRID}$ model of distributed computing where nodes have access to two fundamentally different communication modes. In this problem nodes have to compute small labels and routing tables that allow for efficient routing of messages in the local network, which typically offers the majority of the throughput. Recent work has shown that using the $\mathsf{HYBRID}$ model admits a significant speed-up compared to what would be possible if either communication mode were used in isolation. Nonetheless, if general graphs are used as the input graph the computation of routing schemes still takes polynomial rounds in the $\mathsf{HYBRID}$ model. We bypass this lower bound by restricting the local graph to unit-disc-graphs and solve the problem deterministically with running time $O(|\mathcal H|^2 \!+\! \log n)$, label size $O(\log n)$, and size of routing tables $O(|\mathcal H|^2 \!\cdot\! \log n)$ where $|\mathcal H|$ is the number of ``radio holes'' in the network. Our work builds on recent work by Coy et al., who obtain this result in the much simpler setting where the input graph has no radio holes. We develop new techniques to achieve this, including a decomposition of the local graph into path-convex regions, where each region contains a shortest path for any pair of nodes in it.


title: Orthomodular and generalized orthomodular posets

abstract: We prove that the 18-element non-lattice orthomodular poset depicted in the paper is the smallest one and unique up to isomorphism. Since not every Boolean poset is orthomodular, we consider the class of the so-called generalized orthomodular posets introduced by the first and third author in a previous paper. We show that this class contains all Boolean posets and we study its subclass consisting of horizontal sums of Boolean posets. For this purpose we introduce the concept of a compatibility relation and the so-called commutator of two elements. We show the relationship between these concepts and we introduce the notion of a ternary discriminator for these posets. Numerous examples illuminating these concepts and results are included in the paper.


title: MAP: Multimodal Uncertainty-Aware Vision-Language Pre-training Model

abstract: Multimodal semantic understanding often has to deal with uncertainty, which means the obtained messages tend to refer to multiple targets. Such uncertainty is problematic for our interpretation, including inter- and intra-modal uncertainty. Little effort has studied the modeling of this uncertainty, particularly in pre-training on unlabeled datasets and fine-tuning in task-specific downstream datasets. In this paper, we project the representations of all modalities as probabilistic distributions via a Probability Distribution Encoder (PDE) by utilizing sequence-level interactions. Compared to the existing deterministic methods, such uncertainty modeling can convey richer multimodal semantic information and more complex relationships. Furthermore, we integrate uncertainty modeling with popular pre-training frameworks and propose suitable pre-training tasks: Distribution-based Vision-Language Contrastive learning (D-VLC), Distribution-based Masked Language Modeling (D-MLM), and Distribution-based Image-Text Matching (D-ITM). The fine-tuned models are applied to challenging downstream tasks, including image-text retrieval, visual question answering, visual reasoning, and visual entailment, and achieve state-of-the-art results.


title: Definite Formulae, Negation-as-Failure, and the Base-extension Semantics of Intuitionistic Propositional Logic

abstract: Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use the operational view of the latter as provided by uniform proof-search -- the proof-theoretic foundation of logic programming (LP) -- to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS.


title: SGD with Large Step Sizes Learns Sparse Features

abstract: We showcase important features of the dynamics of the Stochastic Gradient Descent (SGD) in the training of neural networks. We present empirical observations that commonly used large step sizes (i) lead the iterates to jump from one side of a valley to the other causing loss stabilization, and (ii) this stabilization induces a hidden stochastic dynamics orthogonal to the bouncing directions that biases it implicitly toward sparse predictors. Furthermore, we show empirically that the longer large step sizes keep SGD high in the loss landscape valleys, the better the implicit regularization can operate and find sparse representations. Notably, no explicit regularization is used so that the regularization effect comes solely from the SGD training dynamics influenced by the step size schedule. Therefore, these observations unveil how, through the step size schedules, both gradient and noise drive together the SGD dynamics through the loss landscape of neural networks. We justify these findings theoretically through the study of simple neural network models as well as qualitative arguments inspired from stochastic processes. Finally, this analysis allows us to shed a new light on some common practice and observed phenomena when training neural networks. The code of our experiments is available at https://github.com/tml-epfl/sgd-sparse-features.


title: FusionDeepMF: A Dual Embedding based Deep Fusion Model for Recommendation

abstract: Traditional Collaborative Filtering (CF) based methods are applied to understand the personal preferences of users/customers for items or products from the rating matrix. Usually, the rating matrix is sparse in nature. So there are some improved variants of the CF method that apply the increasing amount of side information to handle the sparsity problem. Only linear kernel or only non-linear kernel is applied in most of the available recommendation-related work to understand user-item latent feature embeddings from data. Only linear kernel or only non-linear kernel is not sufficient to learn complex user-item features from side information of users. Recently, some researchers have focused on hybrid models that learn some features with non-linear kernels and some other features with linear kernels. But it is very difficult to understand which features can be learned accurately with linear kernels or with non-linear kernels. To overcome this problem, we propose a novel deep fusion model named FusionDeepMF and the novel attempts of this model are i) learning user-item rating matrix and side information through linear and non-linear kernel simultaneously, ii) application of a tuning parameter determining the trade-off between the dual embeddings that are generated from linear and non-linear kernels. Extensive experiments on online review datasets establish that FusionDeepMF can be remarkably futuristic compared to other baseline approaches. Empirical evidence also shows that FusionDeepMF achieves better performances compared to the linear kernels of Matrix Factorization (MF) and the non-linear kernels of Multi-layer Perceptron (MLP).


title: Unlocking the out-of-plane dimension for photonic bound states in the continuum to achieve maximum optical chirality

abstract: The realization of lossless metasurfaces with true chirality crucially requires the fabrication of three-dimensional structures, constraining their feasibility for experiments and hampering practical implementations. Even though the three-dimensional assembly of metallic nanostructures has been demonstrated previously, the resulting plasmonic resonances suffer from high intrinsic and radiative losses. The concept of photonic bound states in the continuum (BICs) is instrumental for tailoring radiative losses in diverse geometries, especially when implemented using lossless dielectrics, but applications have so far been limited to planar and intrinsically achiral structures. Here, we introduce a novel nanofabrication approach to unlock the height of generally flat all-dielectric metasurfaces as an accessible parameter for efficient resonance and functionality control. In particular, we realize out-of-plane symmetry breaking in quasi-BIC metasurfaces and leverage this design degree of freedom to demonstrate, for the first time, an optical all-dielectric quasi-BIC metasurface with maximum intrinsic chirality that responds selectively to light of a particular circular polarization depending on the structural handedness. Our experimental results not only open a new paradigm for all-dielectric BICs and chiral nanophotonics but also promise advances in the realization of efficient generation of optical angular momentum, holographic metasurfaces, and parity-time symmetry-broken optical systems.


title: Data-driven Enhancement of the Time-domain First-order Regular Perturbation Model

abstract: A normalized batch gradient descent optimizer is proposed to improve the first-order regular perturbation coefficients of the Manakov equation, often referred to as kernels. The optimization is based on the linear parameterization offered by the first-order regular perturbation and targets enhanced low-complexity models for the fiber channel. We demonstrate that the optimized model outperforms the analytical counterpart where the kernels are numerically evaluated via their integral form. The enhanced model provides the same accuracy with a reduced number of kernels while operating over an extended power range covering both the nonlinear and highly nonlinear regimes. A $6-7$~dB gain, depending on the metric used, is obtained with respect to the conventional first-order regular perturbation.


title: Synchronized Bell protocol for detecting non-locality between modes of light

abstract: In the following paper, we discuss a possible detection of non-locality in two-mode light states in the Bell protocol, where the local observables are constructed using displacement operators, implemented by Mach-Zender Interferometers fed by strong coherent states. We report numerical results showing that maximizing the Braunstein-Caves Chained Bell (BCCB) inequalities requires equal phases of displacements. On the other hand, we prove that non-locality cannot be detected if the phases of displacements are unknown. Hence, the Bell experiment has to be equipped with a synchronization mechanism. We discuss such a mechanism and its consequences.


title: Formalizing May's Theorem

abstract: This report presents a formalization of May's theorem in the proof assistant Coq. It describes how the theorem statement is first translated into Coq definitions, and how it is subsequently proved. Various aspects of the proof and related work are discussed. To the best of the author's knowledge, this project is the first documented attempt in mechanizing May's Theorem.


title: Printing variability of copy detection patterns

abstract: Copy detection pattern (CDP) is a novel solution for products' protection against counterfeiting, which gains its popularity in recent years. CDP attracts the anti-counterfeiting industry due to its numerous benefits in comparison to alternative protection techniques. Besides its attractiveness, there is an essential gap in the fundamental analysis of CDP authentication performance in large-scale industrial applications. It concerns variability of CDP parameters under different production conditions that include a type of printer, substrate, printing resolution, etc. Since digital off-set printing represents great flexibility in terms of product personalized in comparison with traditional off-set printing, it looks very interesting to address the above concerns for digital off-set printers that are used by several companies for the CDP protection of physical objects. In this paper, we thoroughly investigate certain factors impacting CDP. The experimental results obtained during our study reveal some previously unknown results and raise new and even more challenging questions. The results prove that it is a matter of great importance to choose carefully the substrate or printer for CDP production. This paper presents a new dataset produced by two industrial HP Indigo printers. The similarity between printed CDP and the digital templates, from which they have been produced, is chosen as a simple measure in our study. We found several particularities that might be of interest for large-scale industrial applications.


title: From Basic Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic

abstract: Proof-theoretic semantics (P-tS) is the approach to meaning in logic based on proof (as opposed to truth). There are two major approaches to P-tS: proof-theor\-etic validity (P-tV) and base-extension semantics (B-eS). The former is a semantics of arguments, and the latter is a semantics of logical constants. This paper demonstrates that the B-eS for intuitionistic propositional logic (IPL) encapsulates the declarative content of a basic version of P-tV. Such relationships have been considered before yielding incompleteness results. This paper diverges from these approaches by accounting for the constructive, hypothetical setup of P-tV. It explicates how the B-eS for IPL works.


title: Sympletic tracking methods for insertion devices: a Robinson wiggler example

abstract: Modern synchrotron light sources are often characterized with high-brightness synchrotron radiation from insertion devices. Inevitably, insertion devices introduce nonlinear distortion to the beam motion. Symplectic tracking is crucial to study the impact, especially for the low- and medium-energy storage rings. This paper uses a Robinson wiggler as an example to illustrate an universally applicable analytical representation of the magnetic field and to summarizes four different symplectic tracking methods.


title: Stateful Realizers for Nonstandard Analysis

abstract: In this paper we propose a new approach to realizability interpretations for nonstandard arithmetic. We deal with nonstandard analysis in the context of (semi)intuitionistic realizability, focusing on the Lightstone-Robinson construction of a model for nonstandard analysis through an ultrapower. In particular, we consider an extension of the $\lambda$-calculus with a memory cell, that contains an integer (the state), in order to indicate in which slice of the ultrapower $\cal{M}^{\mathbb{N}}$ the computation is being done. We pay attention to the nonstandard principles (and their computational content) obtainable in this setting. In particular, we give non-trivial realizers to Idealization and a non-standard version of the LLPO principle. We then discuss how to quotient this product to mimic the Lightstone-Robinson construction.


title: Feynman integral reduction using Gr\"obner bases

abstract: We investigate the reduction of Feynman integrals to master integrals using Gr\"obner bases in a rational double-shift algebra Y in which the integration-by-parts (IBP) relations form a left ideal. The problem of reducing a given family of integrals to master integrals can then be solved once and for all by computing the Gr\"obner basis of the left ideal formed by the IBP relations. We demonstrate this explicitly for several examples. We introduce so-called first-order normal-form IBP relations which we obtain by reducing the shift operators in Y modulo the Gr\"obner basis of the left ideal of IBP relations. For more complicated cases, where the Gr\"obner basis is computationally expensive, we develop an ansatz based on linear algebra over a function field to obtain the normal-form IBP relations.


title: Semantical Analysis of the Logic of Bunched Implications

abstract: We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenworlds (i.e., generic representatives of worlds) in an arbitrary model. This reasoning is captured by a sequent calculus for a meta-logic (in this case, first-order classical logic) expressive enough to capture the semantics of the object-logic. Essentially, one has a calculus of validity for the object-logic. The method proceeds through the perspective of reductive logic (as opposed to the more traditional paradigm of deductive logic), using the space of reductions as a medium for showing the behavioural equivalence of reduction in the sequent calculus for the object-logic and in the validity calculus. Rather than study the technique in general, we illustrate it for the logic of Bunched Implications (BI), thus IPL and MILL (without negation) are also treated. Intuitively, BI is the free combination of intuitionistic propositional logic and multiplicative intuitionistic linear logic, which renders its meta-theory is quite complex. The literature on BI contains many similar, but ultimately different, algebraic structures and satisfaction relations that either capture only fragments of the logic (albeit large ones) or have complex clauses for certain connectives (e.g., Beth's clause for disjunction instead of Kripke's). It is this complexity that motivates us to use BI as a case-study for this approach to semantics.


title: Extrinsic Manipulation on a Support Plane by Learning Regrasping

abstract: Extrinsic manipulation, a technique that enables robots to leverage extrinsic resources for object manipulation, presents practical yet challenging scenarios. Particularly in the context of extrinsic manipulation on a supporting plane, regrasping becomes essential for achieving the desired final object poses. This process involves sequential operation steps and stable placements of objects, which provide grasp space for the robot. To address this challenge, we focus on predicting diverse placements of objects on the plane using deep neural networks. A framework that comprises orientation generation, placement refinement, and placement discrimination stages is proposed, leveraging point clouds to obtain precise and diverse stable placements. To facilitate training, a large-scale dataset is constructed, encompassing stable object placements and contact information between objects. Through extensive experiments, our approach is demonstrated to outperform the start-of-the-art, achieving an accuracy rate of 90.4\% and a diversity rate of 81.3\% in predicted placements. Furthermore, we validate the effectiveness of our approach through real-robot experiments, demonstrating its capability to compute sequential pick-and-place steps based on the predicted placements for regrasping objects to goal poses that are not readily attainable within a single step. Videos and dataset are available at https://sites.google.com/view/pmvlr2022/.


title: A new perspective on Digital Twins: Imparting intelligence and agency to entities

abstract: Despite the Digital Twin (DT) concept being in the industry for a long time, it remains ambiguous, unable to differentiate itself from information models, general computing, and simulation technologies. Part of this confusion stems from previous studies overlooking the DT's bidirectional nature, that enables the shift of agency (delegating control) from humans to physical elements, something that was not possible with earlier technologies. Thus, we present DTs in a new light by viewing them as a means of imparting intelligence and agency to entities, emphasizing that DTs are not just expert-centric tools but are active systems that extend the capabilities of the entities being twinned. This new perspective on DTs can help reduce confusion and humanize the concept by starting discussions about how intelligent a DT should be, and its roles and responsibilities, as well as setting a long-term direction for DTs.


title: Iterative Learning Control -- Gone Wild

abstract: Before AI and neural nets, the excitement was about iterative learning control (ILC): the idea to train robots to perform repetitive tasks or train a system to reject quasi-periodic disturbances. The excitement waned after the discovery of "learning transients" in systems which satisfy the ILC asymptotic convergence (AC) stability criteria. The transients may be of long duration, persisting long after eigenvalues imply they should have decayed, and span orders of magnitude. They occur both for causal and noncausal learning. The field recovered with the introduction of tests for "monotonic convergence of the vector norm"; but no deep and truly satisfying explanation was offered. Here we explore solutions of the ILC equations that couple the iteration index to the within-trial sample index. This sheds light on the causal learning - for which the AC test gives a repeated eigenvalue. Moreover, since 2016, this author has demonstrated that a new class of solutions, which are soliton-like, satisfy the recurrence equations of ILC and offer additional insight to long-term behaviour. A soliton is a wave-like object that emerges in a dis-persive medium that travels with little or no change of shape at an identifiable speed. This paper is the first public presentation of the soliton solutions, which may occur for both causal (i.e. look back) and noncausal (i.e. look ahead) learning func-tions that have diagonal band structure for their matrix representation.


title: The Neumann boundary condition for the two-dimensional Lax-Wendroff scheme

abstract: We study the stability of the two-dimensional Lax-Wendroff scheme with a stabilizer that approximates solutions to the transport equation. The problem is first analyzed in the whole space in order to show that the so-called energy method yields an optimal stability criterion for this finite difference scheme. We then deal with the case of a half-space when the transport operator is outgoing. At the numerical level, we enforce the Neumann extrapolation boundary condition and show that the corresponding scheme is stable. Eventually we analyze the case of a quarter-space when the transport operator is outgoing with respect to both sides. We then enforce the Neumann extrapolation boundary condition on each side of the boundary and propose an extrapolation boundary condition at the numerical corner in order to maintain stability for the whole numerical scheme.


title: Nonequilibrium diffusion processes via non-Hermitian electromagnetic quantum mechanics with application to the statistics of entropy production in the Brownian gyrator

abstract: The non-equilibrium Fokker-Planck dynamics in an arbitrary force field $\vec f(\vec r)$ in dimension $N$ is revisited via the correspondence with the non-hermitian quantum mechanics in a scalar potential $V(\vec r)$ and a vector potential $\vec A(\vec r)$. The relevant parameters of irreversibility are then the $\frac{N(N-1)}{2}$ magnetic matrix elements $B_{nm}(\vec x ) =-B_{mn} (\vec x ) = \partial_n A_m (\vec x ) - \partial_m A_n (\vec x )$, while it is enlightening to explore the corresponding gauge transformations of the vector potential $\vec A(\vec r) $. This quantum interpretation is even more fruitful to study the statistics of all the time-additive observables of the stochastic trajectories, since their generating functions correspond to the same quantum problem with additional scalar and/or vector potentials. Our main conclusion is that the analysis of their large deviations properties and the construction of the corresponding Doob conditioned processes can be drastically simplified via the choice of an appropriate gauge for each purpose. This general framework is then applied to the special time-additive observables of Ornstein-Uhlenbeck trajectories in dimension $N$, whose generating functions correspond to quantum propagators involving quadratic scalar potentials and linear vector potentials, i.e. to quantum harmonic oscillators in constant magnetic matrices. As simple illustrative example, we finally focus on the Brownian gyrator in dimension $N=2$ in order to compute the large deviations properties of the entropy production of its stochastic trajectories and to construct the corresponding conditioned processes having a given value of the entropy production per unit time.


title: Constructing Prediction Intervals with Neural Networks: An Empirical Evaluation of Bootstrapping and Conformal Inference Methods

abstract: Artificial neural networks (ANNs) are popular tools for accomplishing many machine learning tasks, including predicting continuous outcomes. However, the general lack of confidence measures provided with ANN predictions limit their applicability. Supplementing point predictions with prediction intervals (PIs) is common for other learning algorithms, but the complex structure and training of ANNs renders constructing PIs difficult. This work provides the network design choices and inferential methods for creating better performing PIs with ANNs. A two-step experiment is executed across 11 data sets, including an imaged-based data set. Two distribution-free methods for constructing PIs, bootstrapping and conformal inference, are considered. The results of the first experimental step reveal that the choices inherent to building an ANN affect PI performance. Guidance is provided for optimizing PI performance with respect to each network feature and PI method. In the second step, 20 algorithms for constructing PIs, each using the principles of bootstrapping or conformal inference, are implemented to determine which provides the best performance while maintaining reasonable computational burden. In general, this trade-off is optimized when implementing the cross-conformal method, which maintained interval coverage and efficiency with decreased computational burden.


title: Multi-User Reinforcement Learning with Low Rank Rewards

abstract: In this work, we consider the problem of collaborative multi-user reinforcement learning. In this setting there are multiple users with the same state-action space and transition probabilities but with different rewards. Under the assumption that the reward matrix of the $N$ users has a low-rank structure -- a standard and practically successful assumption in the offline collaborative filtering setting -- the question is can we design algorithms with significantly lower sample complexity compared to the ones that learn the MDP individually for each user. Our main contribution is an algorithm which explores rewards collaboratively with $N$ user-specific MDPs and can learn rewards efficiently in two key settings: tabular MDPs and linear MDPs. When $N$ is large and the rank is constant, the sample complexity per MDP depends logarithmically over the size of the state-space, which represents an exponential reduction (in the state-space size) when compared to the standard ``non-collaborative'' algorithms.


title: Multi-User Redirected Walking in Separate Physical Spaces for Online VR Scenarios

abstract: With the recent rise of Metaverse, online multiplayer VR applications are becoming increasingly prevalent worldwide. Allowing users to move easily in virtual environments is crucial for high-quality experiences in such collaborative VR applications. This paper focuses on redirected walking technology (RDW) to allow users to move beyond the confines of the limited physical environments (PE). The existing RDW methods lack the scheme to coordinate multiple users in different PEs, and thus have the issue of triggering too many resets for all the users. We propose a novel multi-user RDW method that is able to significantly reduce the overall reset number and give users a better immersive experience by providing a more continuous exploration. Our key idea is to first find out the "bottleneck" user that may cause all users to be reset and estimate the time to reset, and then redirect all the users to favorable poses during that maximized bottleneck time to ensure the subsequent resets can be postponed as much as possible. More particularly, we develop methods to estimate the time of possibly encountering obstacles and the reachable area for a specific pose to enable the prediction of the next reset caused by any user. Our experiments and user study found that our method outperforms existing RDW methods in online VR applications.


title: Neighbourhood Representative Sampling for Efficient End-to-end Video Quality Assessment

abstract: The increased resolution of real-world videos presents a dilemma between efficiency and accuracy for deep Video Quality Assessment (VQA). On the one hand, keeping the original resolution will lead to unacceptable computational costs. On the other hand, existing practices, such as resizing and cropping, will change the quality of original videos due to the loss of details and contents, and are therefore harmful to quality assessment. With the obtained insight from the study of spatial-temporal redundancy in the human visual system and visual coding theory, we observe that quality information around a neighbourhood is typically similar, motivating us to investigate an effective quality-sensitive neighbourhood representatives scheme for VQA. In this work, we propose a unified scheme, spatial-temporal grid mini-cube sampling (St-GMS) to get a novel type of sample, named fragments. Full-resolution videos are first divided into mini-cubes with preset spatial-temporal grids, then the temporal-aligned quality representatives are sampled to compose the fragments that serve as inputs for VQA. In addition, we design the Fragment Attention Network (FANet), a network architecture tailored specifically for fragments. With fragments and FANet, the proposed efficient end-to-end FAST-VQA and FasterVQA achieve significantly better performance than existing approaches on all VQA benchmarks while requiring only 1/1612 FLOPs compared to the current state-of-the-art. Codes, models and demos are available at https://github.com/timothyhtimothy/FAST-VQA-and-FasterVQA.


title: On estimating Armington elasticities for Japan's meat imports

abstract: By fully accounting for the distinct tariff regimes levied on imported meat, we estimate substitution elasticities of Japan's two-stage import aggregation functions for beef, chicken and pork. While the regression analysis crucially depends on the price that consumers face, the post-tariff price of imported meat depends not only on ad valorem duties but also on tariff rate quotas and gate price system regimes. The effective tariff rate is consequently evaluated by utilizing monthly transaction data. To address potential endogeneity problems, we apply exchange rates that we believe to be independent of the demand shocks for imported meat. The panel nature of the data allows us to retrieve the first-stage aggregates via time dummy variables, free of demand shocks, to be used as part of the explanatory variable and as an instrument in the second-stage regression.


title: Mind's Eye: Grounded Language Model Reasoning through Simulation

abstract: Successful and effective communication between humans and AI relies on a shared experience of the world. By training solely on written text, current language models (LMs) miss the grounded experience of humans in the real-world -- their failure to relate language to the physical world causes knowledge to be misrepresented and obvious mistakes in their reasoning. We present Mind's Eye, a paradigm to ground language model reasoning in the physical world. Given a physical reasoning question, we use a computational physics engine (DeepMind's MuJoCo) to simulate the possible outcomes, and then use the simulation results as part of the input, which enables language models to perform reasoning. Experiments on 39 tasks in a physics alignment benchmark demonstrate that Mind's Eye can improve reasoning ability by a large margin (27.9% zero-shot, and 46.0% few-shot absolute accuracy improvement on average). Smaller language models armed with Mind's Eye can obtain similar performance to models that are 100x larger. Finally, we confirm the robustness of Mind's Eye through ablation studies.


title: The Development of a Multi-Physics Approach for Modelling the Response of Aerospace Fastener Assemblies to Lightning Attachment

abstract: This work is concerned with the development of a numerical modelling approach for studying the time-accurate response of aerospace fasteners subjected to high electrical current loading from a simulated lightning strike. The electromagnetic, thermal and elastoplastic response of individual fastener components is captured by this method allowing a critical analysis of fastener design and material layering. Under high electrical current loading, ionisation of gas filled cavities in the fastener assembly can lead to viable current paths across internal voids. This ionisation can lead to localised pockets of high pressure plasma through the Joule heating effect. The multi-physics approach developed in this paper extends an existing methodology that allows a two-way dynamic non-linear coupling of the plasma arc, the titanium aerospace fastener components, the surrounding aircraft panels, the internal supporting structure and internal plasma-filled cavities. Results from this model are compared with experimental measurements of a titanium fastener holding together carbon composite panels separated by thin dielectric layers. The current distribution measurements are shown to be accurately reproduced. A parameter study is used to assess the internal cavity modelling strategy and to quantify the relation between the internal cavity plasma pressure, the electrical current distribution and changes in the internal cavity geometry.

categories: physics.comp-ph cs.CE physics.app-ph physics.plasm-ph physics.space-ph


title: Uncertainty-Aware Unsupervised Image Deblurring with Deep Residual Prior

abstract: Non-blind deblurring methods achieve decent performance under the accurate blur kernel assumption. Since the kernel uncertainty (i.e. kernel error) is inevitable in practice, semi-blind deblurring is suggested to handle it by introducing the prior of the kernel (or induced) error. However, how to design a suitable prior for the kernel (or induced) error remains challenging. Hand-crafted prior, incorporating domain knowledge, generally performs well but may lead to poor performance when kernel (or induced) error is complex. Data-driven prior, which excessively depends on the diversity and abundance of training data, is vulnerable to out-of-distribution blurs and images. To address this challenge, we suggest a dataset-free deep residual prior for the kernel induced error (termed as residual) expressed by a customized untrained deep neural network, which allows us to flexibly adapt to different blurs and images in real scenarios. By organically integrating the respective strengths of deep priors and hand-crafted priors, we propose an unsupervised semi-blind deblurring model which recovers the latent image from the blurry image and inaccurate blur kernel. To tackle the formulated model, an efficient alternating minimization algorithm is developed. Extensive experiments demonstrate the favorable performance of the proposed method as compared to data-driven and model-driven methods in terms of image quality and the robustness to the kernel error.


title: Path-dependent shrinking targets in generic affine iterated function systems

abstract: We calculate the Hausdorff dimension of path-dependent shrinking target sets in generic affine iterated function systems. Here, by a path-dependent shrinking target set, we mean a set of points whose orbits infinitely often hit small balls with a fixed generic centre and with radius decreasing and dependent on the point itself. It turns out that the Hausdorff dimension of such a set is given by the zero point of a certain limsup pressure function. The result generalizes the work of Koivusalo and Ramirez, and Barany and Troscheit, as well as that of Hill and Velani.