title: An Optical-Fiber-Based Key for Remote Authentication of Users and Optical Fiber Lines

abstract: We have shown the opportunity to use the unique inhomogeneities of the internal structure of an optical fiber waveguide for remote authentication of users or an optic fiber line. Optical time domain reflectometry (OTDR) is demonstrated to be applicable to observing unclonable backscattered signal patterns at distances of tens of kilometers. The physical nature of the detected patterns was explained, and their characteristic spatial periods were investigated. The patterns are due to the refractive index fluctuations of a standard telecommunication fiber. We have experimentally verified that the patterns are an example of a physically unclonable function (PUF). The uniqueness and reproducibility of the patterns have been demonstrated and an outline of authentication protocol has been proposed.


title: Study of new physics effects in lepton flavour violating B decays into K2^star(1430)l1 l2

abstract: Lepton flavour violation (LFV) is one of the most trending topics to probe new physics (NP). The powerful accelerators have enhanced their intensities to observe the LFV decays very precisely. In this situation, the theorists are also interested to study these decays in various NP models and in model independent way to get precise results. Motivated by these results we have studied B decays into K2^star(1430)l1 l2 in non-universal Z^' model. Here, we have structured the two-fold angular distribution of the decays in terms of transversity amplitudes and the transversity amplitudes are formed with NP Wilson coefficients. The variation of the branching ratios and forward backward asymmetries show the sensitivity of NP. The observables calculated in this work are very interesting and might provide a new way towards NP.


title: New Property Averaging Scheme for Volume of Fluid Method for Two-Phase Flows with Large Viscosity Ratios

abstract: To predict liquid-gas two-phase flow phenomena, accurate tracking and prediction of the evolving liquid-gas interface is required. Volume-of-Fluid or VoF method has been used in the literature for computationally modeling of such flows. In the VoF method, a single set of governing equations are solved for both phases along with an advection equation for the volume fraction. The properties in each computational cell are determined by a linear weighted average of the properties of the two fluids based on the phase fraction. While the method predicts water-air flows well, the predictions tend to deviate significantly from experimental data for liquids with high viscosity. A new property averaging technique is proposed in this paper, which is shown to provide accurate results for high viscosity liquids. Computational predictions using the open source VoF solver interFoam (available as a part of the OpenFOAM computational tool), and those obtained using the proposed method are compared with experimental data for multiple two-phase applications. Four different problems, viz., suspended droplet in air, jet breakup, drop impact on thin films, and air entrapment during drop interaction with liquid pool, are considered to extensively validate the new method. Experimental data are used to cover a range of surface tension and viscosities. For all cases, the modified VoF solver is observed to perform significantly better than original VoF method.


title: On Lamperti transformation and characterisations of discrete random fields

abstract: In this article we characterise discrete time stationary fields by difference equations involving stationary increment fields and self-similar fields. This gives connections between stationary fields, stationary increment fields and, through Lamperti transformation, self-similar fields. Our contribution is a natural generalisation of recently proved results covering the case of stationary processes.


title: Grid-Based Decimation for Wavelet Transforms with Stably Invertible Implementation

abstract: The constant center frequency to bandwidth ratio (Q-factor) of wavelet transforms provides a very natural representation for audio data. However, invertible wavelet transforms have either required non-uniform decimation -- leading to irregular data structures that are cumbersome to work with -- or require excessively high oversampling with unacceptable computational overhead. Here, we present a novel decimation strategy for wavelet transforms that leads to stable representations with oversampling rates close to one and uniform decimation. Specifically, we show that finite implementations of the resulting representation are energy-preserving in the sense of frame theory. The obtained wavelet coefficients can be stored in a timefrequency matrix with a natural interpretation of columns as time frames and rows as frequency channels. This matrix structure immediately grants access to a large number of algorithms that are successfully used in time-frequency audio processing, but could not previously be used jointly with wavelet transforms. We demonstrate the application of our method in processing based on nonnegative matrix factorization, in onset detection, and in phaseless reconstruction.


title: WIMPs, FIMPs, and Inflaton phenomenology via reheating, CMB and $\Delta N_{eff}$

abstract: In this paper, we extensively analyzed the reheating dynamics after inflation and looked into its possible implication on dark matter (DM) and inflaton phenomenology. We studied the reheating through various possible channels of inflaton going into massless scalars (bosonic reheating) and fermions (fermionic reheating) via non-gravitational and gravity-mediated decay processes. We further include the finite temperature effect on the decay process. Along with their precise roles in governing the dynamics, we compared the relative importance of different temperature-corrected decay channels in the gradual process of reheating depending on the reheating equation of state (EoS), which is directly related to inflaton potential. Particularly, the universal gravitational decay of inflaton is observed to play a very crucial role in the reheating process for a large range of inflaton decay parameters. For our study, we consider typical $\alpha$-attractor inflationary models. We further establish the intriguing connection among those different inflaton decay channels and the CMB power spectrum that can have profound implications in building up a unified model of inflation, reheating, and DM. We analyze both fermion and scalar DM with different physical processes being involved, such as gravitational scattering, thermal bath scattering, and direct inflaton decay. Gravitational decay can again be observed to play a crucial role in setting the maximum limit on DM mass that has already been observed earlier in the literature [52]. Depending on the coupling strength, we have analyzed in detail the production of both FIMP and WIMP-like DM during reheating and their detailed phenomenological implications from the perspective of various cosmological and laboratory experiments.


title: CI-GNN: A Granger Causality-Inspired Graph Neural Network for Interpretable Brain Network-Based Psychiatric Diagnosis

abstract: There is a recent trend to leverage the power of graph neural networks (GNNs) for brain-network based psychiatric diagnosis, which,in turn, also motivates an urgent need for psychiatrists to fully understand the decision behavior of the used GNNs. However, most of the existing GNN explainers are either post-hoc in which another interpretive model needs to be created to explain a well-trained GNN, or do not consider the causal relationship between the extracted explanation and the decision, such that the explanation itself contains spurious correlations and suffers from weak faithfulness. In this work, we propose a granger causality-inspired graph neural network (CI-GNN), a built-in interpretable model that is able to identify the most influential subgraph (i.e., functional connectivity within brain regions) that is causally related to the decision (e.g., major depressive disorder patients or healthy controls), without the training of an auxillary interpretive network. CI-GNN learns disentangled subgraph-level representations {\alpha} and \b{eta} that encode, respectively, the causal and noncausal aspects of original graph under a graph variational autoencoder framework, regularized by a conditional mutual information (CMI) constraint. We theoretically justify the validity of the CMI regulation in capturing the causal relationship. We also empirically evaluate the performance of CI-GNN against three baseline GNNs and four state-of-the-art GNN explainers on synthetic data and three large-scale brain disease datasets. We observe that CI-GNN achieves the best performance in a wide range of metrics and provides more reliable and concise explanations which have clinical evidence.The source code and implementation details of CI-GNN are freely available at GitHub repository (https://github.com/ZKZ-Brain/CI-GNN/).


title: Idempotent set-theoretical solutions of the pentagon equation

abstract: A set-theoretical solution of the pentagon equation on a non-empty set $X$ is a function $s:X\times X\to X\times X$ satisfying the relation $s_{23}\, s_{13}\, s_{12}=s_{12}\, s_{23}$, with $s_{12}=s\times \,id_X$, $s_{23}=id_X \times \, s$ and $s_{13}=(id_X\times \, \tau)s_{12}(id_X\times \,\tau)$, where $\tau:X\times X\to X\times X$ is the flip map given by $\tau(x,y)=(y,x)$, for all $x,y\in X$. Writing a solution as $s(x,y)=(xy ,\theta_x(y))$, where $\theta_x: X \to X$ is a map, for every $x\in X$, one has that $X$ is a semigroup. In this paper, we study idempotent solutions, i.e., $s^2=s$, by showing that the idempotents of $X$ have a key role in such an investigation. In particular, we describe all such solutions on monoids having central idempotents. Moreover, we focus on idempotent solutions defined on monoids for which the map $\theta_1$ is a monoid homomorphism.


title: Dynamic gravitational excitation of structural resonances in the hertz regime using two rotating bars

abstract: With the planning of new ambitious gravitational wave (GW) observatories, fully controlled laboratory experiments on dynamic gravitation become more and more important. Such new experiments can provide new insights in potential dynamic effects such as gravitational shielding or energy flow and might contribute to bringing light into the mystery still surrounding gravity. Here we present a laboratory-based transmitter-detector experiment using two rotating bars as transmitter and a 42 Hz, high-Q bending beam resonator as detector. Using a highly precise phase control to synchronize the rotating bars, a dynamic gravitational field emerges that excites the bending motion with amplitudes up to 100 nm/s or 370 pm, which is a factor of 500 above the thermal noise. The two-transmitter design enables the investigation of different setup configurations. The detector movement is measured optically, using three commercial interferometers. Acoustical, mechanical, and electrical isolation, a temperature-stable environment, and lock-in detection are central elements of the setup. The moving load response of the detector is numerically calculated based on Newton's law of gravitation via discrete volume integration, showing excellent agreement between measurement and theory both in amplitude and phase. The near field gravitational energy transfer is 10$^{25}$ times higher than what is expected from GW analysis.


title: False Onsager relations

abstract: Recent research suggests that when a system has a "false time reversal violation" the Onsager reciprocity relations hold despite the presence of a magnetic field. The purpose of this work is to clarify that the Onsager relations may well be violated in presence of a "false time reversal violation": that rather guarantees the validity of distinct relations, which we dub "false Onsager relations". We also point out that for quantum systems "false time reversal violation" is omnipresent and comment that, per se, this has in general no consequence in regard to the validity of Onsager relations, or the more general non-equilibrium fluctuation relations, in presence of a magnetic field. Our arguments are illustrated with the Heisenberg model of a magnet in an external magnetic field.


title: An analogue of Mahler's transference theorem for multiplicative Diophantine approximation

abstract: Khintchine's and Dyson's transference theorems can be very easily deduced from Mahler's transference theorem. In the multiplicative setting an obstacle appears, which does not allow deducing the multiplicative transference theorem immediately from Mahler's theorem. Some extra considerations are required, for instance, induction by the dimension. In this paper we propose an analogue of Mahler's theorem which implies the multiplicative transference theorem immediately.


title: The intense production of silicates during the final AGB phases of intermediate mass stars

abstract: The formation of silicates in circumstellar envelopes of stars evolving through the AGB is still debated given the uncertainties affecting stellar evolution modelling, the description of the dust formation process, and the capability of silicate grains to accelerate stellar outflows via radiation pressure. We study the formation of dust in the winds of intermediate mass (M $\geq 4 M_{\odot}$) stars of solar metallicity while evolving through the AGB phase. We tested the different treatments of the mass-loss mechanism by this class of stars, with the aim of assessing their contribution to the general enrichment of silicates of the interstellar medium of galaxies. We consider a sub-sample of AGB stars, whose SED is characterised by deep absorption features at $10$ and $18\mu$m, which can be regarded as the class of stars providing the most relevant contribution to the silicates' production across the Universe. Results from stellar evolution and dust formation modelling were used to fit the observed SED and to reproduce, at the same time, the detected pulsation periods and the derived surface chemical composition. This analysis leads to the derivation of tight constraints on the silicates' production rates experienced by these sources during the final AGB stages. Two out of the four sources investigated are interpreted as stars currently undergoing HBB, evolving through phases close to the stage when the mass-loss rate is largest. The remaining two stars are likely evolving through the very final AGB phases, after HBB was turned off by the gradual consumption of the convective mantle. Mass-loss rates of the order of $1-2\times 10^{-4} M_{\odot}/$yr are required when looking for consistency with the observational evidence. These results indicate the need for a revision of the silicate yields by intermediate mass stars, which are found to be $\sim 3$ times higher than previously determined.


title: Formation Of The Lyman Continuum During Solar Flares

abstract: The Lyman Continuum (LyC; $<911.12$\AA) forms at the top of the chromosphere in the quiet-Sun, making LyC a powerful tool for probing the chromospheric plasma during solar flares. To understand the effects of non-thermal energy deposition in the chromosphere during flares, we analysed LyC profiles from a grid of field-aligned radiative hydrodynamic models generated using the RADYN code as part of the F-CHROMA project. The spectral response of LyC, the temporal evolution of the departure coefficient of hydrogen, $b_1$, and the color temperature, $T_c$, in response to a range of non-thermal electron distribution functions, were investigated. The LyC intensity was seen to increase by 4-5.5 orders of magnitude during solar flares, responding most strongly to the non-thermal electron flux of the beam. Generally, $b_1$ decreased from $10^2$-$10^3$ to closer to unity during solar flares, indicating a stronger coupling to local conditions, while $T_c$ increased from $8$-$9$kK to $10$-$16$kK. $T_c$ was found to be approximately equal to the electron temperature of the plasma when $b_1$ was at a minimum. Both optically thick and optically thin components of LyC were found in agreement with the interpretation of recent observations. The optically thick layer forms deeper in the chromosphere during a flare compared to quiescent periods, whereas the optically thin layers form at higher altitudes due to chromospheric evaporation, in low-temperature, high-density regions propagating upwards. We put these results in the context of current and future missions.


title: Attention-Based Recurrence for Multi-Agent Reinforcement Learning under Stochastic Partial Observability

abstract: Stochastic partial observability poses a major challenge for decentralized coordination in multi-agent reinforcement learning but is largely neglected in state-of-the-art research due to a strong focus on state-based centralized training for decentralized execution (CTDE) and benchmarks that lack sufficient stochasticity like StarCraft Multi-Agent Challenge (SMAC). In this paper, we propose Attention-based Embeddings of Recurrence In multi-Agent Learning (AERIAL) to approximate value functions under stochastic partial observability. AERIAL replaces the true state with a learned representation of multi-agent recurrence, considering more accurate information about decentralized agent decisions than state-based CTDE. We then introduce MessySMAC, a modified version of SMAC with stochastic observations and higher variance in initial states, to provide a more general and configurable benchmark regarding stochastic partial observability. We evaluate AERIAL in Dec-Tiger as well as in a variety of SMAC and MessySMAC maps, and compare the results with state-based CTDE. Furthermore, we evaluate the robustness of AERIAL and state-based CTDE against various stochasticity configurations in MessySMAC.


title: An elongated quantum dot as a distributed charge sensor

abstract: Increasing the separation between semiconductor quantum dots offers scaling advantages by fa- cilitating gate routing and the integration of sensors and charge reservoirs. Elongated quantum dots have been utilized for this purpose in GaAs heterostructures to extend the range of spin-spin interactions. Here, we study a metal-oxide-semiconductor (MOS) device where two quantum dot arrays are separated by an elongated quantum dot (340 nm long, 50 nm wide). We monitor charge transitions of the elongated quantum dot by measuring radiofrequency single-electron currents to a reservoir to which we connect a lumped-element resonator. We operate the dot as a single electron box to achieve charge sensing of remote quantum dots in each array, separated by a distance of 510 nm. Simultaneous charge detection on both ends of the elongated dot demonstrates that the charge is well distributed across its nominal length, supported by the simulated quantum-mechanical electron density. Our results illustrate how single-electron boxes can be realised with versatile foot- prints that may enable novel and compact quantum processor layouts, offering distributed charge sensing in addition to the possibility of mediated coupling.


title: On the Convergence of Stochastic Gradient Descent in Low-precision Number Formats

abstract: Deep learning models are dominating almost all artificial intelligence tasks such as vision, text, and speech processing. Stochastic Gradient Descent (SGD) is the main tool for training such models, where the computations are usually performed in single-precision floating-point number format. The convergence of single-precision SGD is normally aligned with the theoretical results of real numbers since they exhibit negligible error. However, the numerical error increases when the computations are performed in low-precision number formats. This provides compelling reasons to study the SGD convergence adapted for low-precision computations. We present both deterministic and stochastic analysis of the SGD algorithm, obtaining bounds that show the effect of number format. Such bounds can provide guidelines as to how SGD convergence is affected when constraints render the possibility of performing high-precision computations remote.


title: Role of ionic surfactant in magnetic dynamics of self-assembled dispersions of nanoplatelets

abstract: In complex colloidal systems, interparticle interactions strongly affect the dynamics of the constituting particles. A study of the dynamical response also provides invaluable information on the character of those interactions. Here we demonstrate how tuning the electrostatic interactions by an ionic surfactant in dispersions of magnetic nanoplatelets leads to developing new dynamic modes in magnetic response spectra. The collective modes can be induced or suppressed by either varying the concentration ratio of the magnetic nanoplatelets (MP) to the surfactant or increasing the MP concentration reflecting the nanoscale characteristics of this fluid magnet.


title: Simultaneous directional inference

abstract: We consider the problem of inference on the signs of $n>1$ parameters. We aim to provide $1-\alpha$ post-hoc confidence bounds on the number of positive and negative (or non-positive) parameters. The guarantee is simultaneous, for all subsets of parameters. Our suggestion is as follows: start by using the data to select the direction of the hypothesis test for each parameter; then, adjust the $p$-values of the one-sided hypotheses for the selection, and use the adjusted $p$-values for simultaneous inference on the selected $n$ one-sided hypotheses. The adjustment is straightforward assuming that the $p$-values of one-sided hypotheses have densities with monotone likelihood ratio, and are mutually independent. We show that the bounds we provide are tighter (often by a great margin) than existing alternatives, and that they can be obtained by at most a polynomial time. We demonstrate the usefulness of our simultaneous post-hoc bounds in the evaluation of treatment effects across studies or subgroups. Specifically, we provide a tight lower bound on the number of studies which are beneficial, as well as on the number of studies which are harmful (or non-beneficial), and in addition conclude on the effect direction of individual studies, while guaranteeing that the probability of at least one wrong inference is at most 0.05.


title: A Selberg Trace Formula for $\text{GL}_{3}(\mathbb{F}_p)\backslash \text{GL}_{3}(\mathbb{F}_q)/K$

abstract: In this paper, we prove a discrete analog of the Selberg Trace Formula for the group $\text{GL}_{3}(\mathbb{F}_q).$ By considering a cubic extension of the finite field $\mathbb{F}_q$, we define an analog of the upper half space and an action of $\text{GL}_{3}(\mathbb{F}_q)$ on it. To compute the orbital sums we explicitly identify the double coset spaces and fundamental domains in our upper half space. To understand the spectral side of the trace formula we decompose the induced representation $\rho = \text{Ind}_{\Gamma}^{G} 1$ for $G= \text{GL}_{3}(\mathbb{F}_q) $ and $ \Gamma = \text{GL}_{3}(\mathbb{F}_p).$


title: Fast Absolute 3D CGO-Based Electrical Impedance Tomography on Experimental Tank Data

abstract: Objective: To present the first 3D CGO-based absolute EIT reconstructions from experimental tank data. Approach: CGO-based methods for absolute EIT imaging are compared to traditional TV regularized non-linear least squares reconstruction methods. Additional robustness testing is performed by considering incorrect model\textbf{}ing of domain shape. Main Results: The CGO-based methods are fast, and show strong robustness to incorrect domain modeling comparable to classic difference EIT imaging and fewer boundary artefacts than the TV regularized non-linear least squares reference reconstructions. Significance: This work is the first to demonstrate fully 3D CGO-based absolute EIT reconstruction on experimental data and also compares to TV-regularized absolute reconstruction. The speed (1-5 seconds) and quality of the reconstructions is encouraging for future work in absolute EIT.


title: On the maximum number of edges in k-critical graphs

abstract: A graph is called $k$-critical if its chromatic number is $k$ but any proper subgraph has chromatic number less than $k$. An old and important problem in graph theory asks to determine the maximum number of edges in an $n$-vertex $k$-critical graph. This is widely open for any integer $k\geq 4$. Using a structural characterization of Greenwell and Lov\'asz and an extremal result of Simonovits, Stiebitz proved in 1987 that for $k\geq 4$ and sufficiently large $n$, this maximum number is less than the number of edges in the $n$-vertex balanced complete $(k-2)$-partite graph. In this paper we obtain the first improvement on the above result in the past 35 years. Our proofs combine arguments from extremal graph theory as well as some structural analysis. A key lemma we use indicates a partial structure in dense $k$-critical graphs, which may be of independent interest.


title: Cryptographic Group and Semigroup Actions

abstract: We consider actions of a group or a semigroup on a set, which generalize the setup of discrete logarithm based cryptosystems. Such cryptographic group actions have gained increasing attention recently in the context of isogeny-based cryptography. We introduce generic algorithms for the semigroup action problem and discuss lower and upper bounds. Also, we investigate Pohlig-Hellman type attacks in a general sense. In particular, we consider reductions provided by non-invertible elements in a semigroup, and we deal with subgroups in the case of group actions.


title: Diameter and Aggregation Controlled Preparation by Solvothermal Synthesis of Ultra-small Particles CuFe$_2$O$_4$

abstract: Copper ferrite nanoparticles have catalytic activity for hydrogen peroxide, which can be used in many fields. This characteristic comes from the physical properties of matters at nanometer scale. Thus, controlling the size and aggregation of nanoparticles during the synthesis is one of the ways to obtain target performance. In this article, a kind of ultra-small nano particle CuFe$_2$O$_4$ with uniform morphology was prepared by solvothermal synthesis. The effects of solvent, reactant molar ratio, reaction temperature, surfactant and reaction time on the yield of CuFe$_2$O$_4$, size and morphology of nano particles were investigated under different synthesis conditions. XRD, TEM, EDS were used to analysis the materials, and the physical properties of the products were analyzed. An optimized solvothermal synthesis scheme was proposed.


title: Non-Linear Singularity Formation for Circular Vortex Sheets

abstract: We study the evolution of vortex sheets according to the Birkhoff-Rott equation, which describe the motion of sharp shear interfaces governed by the incompressible Euler equation in two dimensions. In a recent work, the authors demonstrated within this context a marginal linear stability of circular vortex sheets, standing in sharp contrast with classical instability of the flat vortex sheet, which is known as the Kelvin-Helmholtz instability. This article continues that analysis by investigating how non-linear effects induce singularity formation near the circular vortex sheet. In high-frequency regimes, the singularity formation is primarily driven by a complex-valued, conjugated Burgers equation, which we study by modifying a classical argument from hyperbolic conservation laws. This provides a deeper understanding of the mechanisms driving the breakdown of circular vortex sheets, which are observed both numerically and experimentally.


title: Projection predictive variable selection for discrete response families with finite support

abstract: The projection predictive variable selection is a decision-theoretically justified Bayesian variable selection approach achieving an outstanding trade-off between predictive performance and sparsity. Its projection problem is not easy to solve in general because it is based on the Kullback-Leibler divergence from a restricted posterior predictive distribution of the so-called reference model to the parameter-conditional predictive distribution of a candidate model. Previous work showed how this projection problem can be solved for response families employed in generalized linear models and how an approximate latent-space approach can be used for many other response families. Here, we present an exact projection method for all response families with discrete and finite support, called the augmented-data projection. A simulation study for an ordinal response family shows that the proposed method performs better than or similarly to the previously proposed approximate latent-space projection. The cost of the slightly better performance of the augmented-data projection is a substantial increase in runtime. Thus, in such cases, we recommend the latent projection in the early phase of a model-building workflow and the augmented-data projection for final results. The ordinal response family from our simulation study is supported by both projection methods, but we also include a real-world cancer subtyping example with a nominal response family, a case that is not supported by the latent projection.


title: RecRecNet: Rectangling Rectified Wide-Angle Images by Thin-Plate Spline Model and DoF-based Curriculum Learning

abstract: The wide-angle lens shows appealing applications in VR technologies, but it introduces severe radial distortion into its captured image. To recover the realistic scene, previous works devote to rectifying the content of the wide-angle image. However, such a rectification solution inevitably distorts the image boundary, which changes related geometric distributions and misleads the current vision perception models. In this work, we explore constructing a win-win representation on both content and boundary by contributing a new learning model, i.e., Rectangling Rectification Network (RecRecNet). In particular, we propose a thin-plate spline (TPS) module to formulate the non-linear and non-rigid transformation for rectangling images. By learning the control points on the rectified image, our model can flexibly warp the source structure to the target domain and achieves an end-to-end unsupervised deformation. To relieve the complexity of structure approximation, we then inspire our RecRecNet to learn the gradual deformation rules with a DoF (Degree of Freedom)-based curriculum learning. By increasing the DoF in each curriculum stage, namely, from similarity transformation (4-DoF) to homography transformation (8-DoF), the network is capable of investigating more detailed deformations, offering fast convergence on the final rectangling task. Experiments show the superiority of our solution over the compared methods on both quantitative and qualitative evaluations. The code and dataset are available at https://github.com/KangLiao929/RecRecNet.


title: Unimodular approaches to the cosmological constant problem

abstract: We review selected aspects of unimodular gravity and we discuss its viability as a solution of the old cosmological constant problem. In unimodular gravity the cosmological constant is promoted to a global degree of freedom. We highlight the importance of correctly setting up its initial data in order to achieve a resolution of the cosmological constant problem on a semi-classical level. We review recent path integral analysis of quantum aspects of unimodular gravity to note that the semi-classical findings carry over to the quantum level as well. We point out that a resolution of the problem inherently relies on a global constraint on the space-time four-volume. This makes the theory closely related to the vacuum energy sequester, which operates in a similar way. We discuss possible avenues of extending unimodular gravity that preserve the resolution of the cosmological constant problem.


title: Rings of very strong finite type

abstract: The SFT (for strong finite type) condition was introduced by J. Arnold in the context of studying the condition for formal power series rings to have finite Krull dimension. In the context of commutative rings, the SFT property is a near-Noetherian property that is necessary for a ring of formal power series to have finite Krull dimension behavior. In this paper, we explore a specialization (and in some sense a more natural) variant of the SFT property that we dub the VSFT (for very strong finite type) property. We explore some of the fundamental properties of VSFT ideals and rings and compare and contrast with the known SFT condition.


title: Multi-Aspect Explainable Inductive Relation Prediction by Sentence Transformer

abstract: Recent studies on knowledge graphs (KGs) show that path-based methods empowered by pre-trained language models perform well in the provision of inductive and explainable relation predictions. In this paper, we introduce the concepts of relation path coverage and relation path confidence to filter out unreliable paths prior to model training to elevate the model performance. Moreover, we propose Knowledge Reasoning Sentence Transformer (KRST) to predict inductive relations in KGs. KRST is designed to encode the extracted reliable paths in KGs, allowing us to properly cluster paths and provide multi-aspect explanations. We conduct extensive experiments on three real-world datasets. The experimental results show that compared to SOTA models, KRST achieves the best performance in most transductive and inductive test cases (4 of 6), and in 11 of 12 few-shot test cases.


title: Numerical investigation of the sharp-interface limit of the Navier-Stokes-Cahn-Hilliard equations

abstract: In this article, we study the behavior of the Abels-Garcke-Gr\"un Navier-Stokes-Cahn-Hilliard diffuse-interface model for binary-fluid flows, as the diffuse-interface thickness passes to zero. We consider this so-called sharp-interface limit in the setting of the classical oscillating-droplet problem. To provide reference limit solutions, we derive new analytical expressions for small-amplitude oscillations of a viscous droplet in a viscous ambient fluid in two dimensions. We probe the sharp-interface limit of the Navier-Stokes-Cahn-Hilliard equations by means of an adaptive finite-element method, in which the refinements are guided by an a-posteriori error-estimation procedure. The adaptive-refinement procedure enables us to consider diffuse-interface thicknesses that are significantly smaller than other relevant length scales in the droplet-oscillation problem, allowing an exploration of the asymptotic regime. For two distinct modes of oscillation, we determine the optimal scaling relation between the diffuse-interface thickness parameter and the mobility parameter. Additionally, we examine the effect of deviations from the optimal scaling of the mobility parameter on the approach of the diffuse-interface solution to the sharp-interface solution.


title: A Barrier Method for Contact Avoiding Particles in Stokes Flow

abstract: Rigid particles in a Stokesian fluid can physically not overlap, as a thin layer of fluid always separates a particle pair, exerting increasingly strong repulsive forces on the bodies for decreasing separations. Numerically, resolving these lubrication forces comes at an intractably large cost even for moderate system sizes. Hence, it can typically not be guaranteed that particle collisions and overlaps do not occur in a dynamic simulation, independently of the choice of method to solve the Stokes equations. In this work, non-overlap constraints, in terms of the Euclidean distance between boundary points on the particles, are represented via a barrier energy. We solve for the minimum magnitudes of repelling contact forces between any particle pair in contact to correct for overlaps by enforcing a zero barrier energy at the next time level, given a contact-free configuration at a previous instance in time. The method is tested using a multiblob method to solve the mobility problem in Stokes flow applied to suspensions of spheres, rods and boomerang shaped particles. Collision free configurations are obtained at all instances in time. The effect of the contact forces on the collective order of a set of rods in a background flow that naturally promote particle interactions is also illustrated.


title: Learning-based MPC from Big Data Using Reinforcement Learning

abstract: This paper presents an approach for learning Model Predictive Control (MPC) schemes directly from data using Reinforcement Learning (RL) methods. The state-of-the-art learning methods use RL to improve the performance of parameterized MPC schemes. However, these learning algorithms are often gradient-based methods that require frequent evaluations of computationally expensive MPC schemes, thereby restricting their use on big datasets. We propose to tackle this issue by using tools from RL to learn a parameterized MPC scheme directly from data in an offline fashion. Our approach derives an MPC scheme without having to solve it over the collected dataset, thereby eliminating the computational complexity of existing techniques for big data. We evaluate the proposed method on three simulated experiments of varying complexity.


title: Construction of storage codes of rates approaching one on triangle-free graphs

abstract: Consider an assignment of bits to the vertices of a connected graph $\Gamma(V, E)$ with the property that the value of each vertex is a function of the values of its neighbors. A collection of such assignments is called a storage code of length $|V|$ on $\Gamma$. In this paper we construct an infinite family of binary linear storage codes on triangle-free graphs with rates arbitrarily close to one.


title: Ultra-thin Epitaxial MgB2 on SiC: Substrate Surface Polarity Dependent Properties

abstract: High quality, ultrathin, superconducting films are required for advanced devices such as hot-electron bolometers, superconducting nanowire single photon detectors, and quantum applications. Using Hybrid Physical-Chemical Vapor Deposition (HPCVD), we show that MgB2 films as thin as 4 nm can be fabricated on the carbon terminated 6H-SiC (0001) surface with a superconducting transition temperature above 33K and a rms roughness of 0.7 nm. Remarkably, the film quality is a function of the SiC surface termination, with the C-terminated surface preferred to the Si-terminated surface. To understand the MgB2 thin film/ SiC substrate interactions giving rise to this difference, we characterized the interfacial structures using Rutherford backscattering spectroscopy/channeling, electron energy loss spectroscopy, and x-ray photoemission spectroscopy. The MgB2/SiC interface structure is complex and different for the two terminations. Both terminations incorporate substantial unintentional oxide layers influencing MgB2 growth and morphology, but with different extent, intermixing and interface chemistry. In this paper, we report measurements of transport, resistivity, and critical superconducting temperature of MgB2/SiC that are different for the two terminations, and link interfacial structure variations to observed differences. The result shows that the C face of SiC is a preferred substrate for the deposition of ultrathin superconducting MgB2 films.


title: Symmetric fractional order reduction method with $L1$ scheme on graded mesh for time fractional nonlocal diffusion-wave equation of Kirchhoff type

abstract: In this article, we propose a linearized fully-discrete scheme for solving a time fractional nonlocal diffusion-wave equation of Kirchhoff type. The scheme is established by using the finite element method in space and the $L1$ scheme in time. We derive the $\alpha$-robust \textit{a priori} bound and \textit{a priori} error estimate for the fully-discrete solution in $L^{\infty}\big(H^1_0(\Omega)\big)$ norm, where $\alpha \in (1,2)$ is the order of time fractional derivative. Finally, we perform some numerical experiments to verify the theoretical results.


title: Sums of triples in Abelian groups

abstract: Motivated by a problem in additive Ramsey theory, we extend Todorcevic's partitions of three-dimensional combinatorial cubes to handle additional three-dimensional objects. As a corollary, we get that if the continuum hypothesis fails, then for every Abelian group $G$ of size $\aleph_2$, there exists a coloring $c:G\rightarrow\mathbb Z$ such that for every uncountable $X\subseteq G$ and every integer $k$, there are three distinct elements $x,y,z$ of $X$ such that $c(x+y+z)=k$.


title: On almost convergence on locally compact abelian groups

abstract: We study a summability method called almost convergence for bounded measurable functions defined on a locally compact abelian group. We define almost convergence using topologically invariant means and exhibit two different kinds of necessary and sufficient conditions, one is analytic and the other is functional analytic, for a given function to be almost convergent. As an application, we show complex Tauberian theorems for almost convergence on the integers and the real numbers. In particular, the latter one can be viewed as an analogue of the Wiener-Ikehara theorem.


title: Text sampling strategies for predicting missing bibliographic links

abstract: The paper proposes various strategies for sampling text data when performing automatic sentence classification for the purpose of detecting missing bibliographic links. We construct samples based on sentences as semantic units of the text and add their immediate context which consists of several neighboring sentences. We examine a number of sampling strategies that differ in context size and position. The experiment is carried out on the collection of STEM scientific papers. Including the context of sentences into samples improves the result of their classification. We automatically determine the optimal sampling strategy for a given text collection by implementing an ensemble voting when classifying the same data sampled in different ways. Sampling strategy taking into account the sentence context with hard voting procedure leads to the classification accuracy of 98% (F1-score). This method of detecting missing bibliographic links can be used in recommendation engines of applied intelligent information systems.


title: Top-down fabrication of atomic patterns in twisted bilayer graphene

abstract: Atomic-scale engineering typically involves bottom-up approaches, leveraging parameters such as temperature, partial pressures, and chemical affinity to promote spontaneous arrangement of atoms. These parameters are applied globally, resulting in atomic scale features scattered probabilistically throughout the material. In a top-down approach, different regions of the material are exposed to different parameters resulting in structural changes varying on the scale of the resolution. In this work, we combine the application of global and local parameters in an aberration corrected scanning transmission electron microscope (STEM) to demonstrate atomic scale precision patterning of atoms in twisted bilayer graphene. The focused electron beam is used to define attachment points for foreign atoms through the controlled ejection of carbon atoms from the graphene lattice. The sample environment is staged with nearby source materials, such that the sample temperature can induce migration of the source atoms across the sample surface. Under these conditions, the electron-beam (top-down) enables carbon atoms in the graphene to be replaced spontaneously by diffusing adatoms (bottom-up). Using image-based feedback-control, arbitrary patterns of atoms and atom clusters are attached to the twisted bilayer graphene with limited human interaction. The role of substrate temperature on adatom and vacancy diffusion is explored by first-principles simulations.


title: The influence of incompressible surfactant on drag in flow along an array of gas-filled grooves

abstract: Surfactants can have a detrimental effect on the drag reduction in shear flow over superhydrophobic surfaces in Cassie state. While surfactant-free gas-liquid interfaces are often well approximated as shear-free, surfactants can impede the flow by stacking up in front of obstacles. We study shear-flow along an array of narrow gas-filled grooves of finite length embedded in an otherwise planar surface, with the gas-liquid interface protruding slightly above or below the plane. Assuming immiscible surfactants forming an incompressible, inviscid surfactant phase at the gas-liquid interfaces we employ a recently proposed model [Baier and Hardt, J.Fluid Mech., 949 (2022)] for addressing this situation. Using a domain perturbation technique together with the Lorentz reciprocal theorem we obtain the slip length characterizing the flow over such surfaces to second order in the maximal interface deflection as a small parameter. We find that within the range of moderate interface deflections studied, the slip length for flow over such surfaces is negative (positive) for surfaces protruding above (below) the surface and is much smaller than for flow over a corresponding surfactant-free interface. Thus, contrary to expectations of reduced drag in flow over superhydrophobic surfaces in Cassie state, surfactant covered interfaces can even be detrimental for drag reduction in the limit where surfactants act as an effectively incompressible surface-fluid. This has important implications for the appropriate design of superhydrophobic surfaces for reducing flow resistance.


title: New Lower Bounds against Homogeneous Non-Commutative Circuits

abstract: We give several new lower bounds on size of homogeneous non-commutative circuits. We present an explicit homogeneous bivariate polynomial of degree $d$ which requires homogeneous non-commutative circuit of size $\Omega(d/\log d)$. For an $n$-variate polynomial with $n>1$, the result can be improved to $\Omega(nd)$, if $d\leq n$, or $\Omega(nd \frac{\log n}{\log d})$, if $d\geq n$. Under the same assumptions, we also give a quadratic lower bound for the ordered version of the central symmetric polynomial.


title: A Bayesian mixture model captures temporal and spatial structure of voting blocs within longitudinal referendum data

abstract: The estimation of voting blocs is an important statistical inquiry in political science. However, the scope of these analyses is usually restricted to roll call data where individual votes are directly observed. Here, we examine a Bayesian mixture model with Dirichlet-multinomial components to infer voting blocs within longitudinal referendum data aggregated at the municipal level. As a case study, we analyze vote totals from 423 municipalities in the US state Maine for 54 referendum questions balloted from 2008-2019. Using this model, we recover the posterior distribution on the number of voting blocs, the support for each question within each bloc, and the blocs' mixture within each municipality. We find that these voting blocs are structured by geography and are largely consistent across the study period. Further analysis of the posterior distribution provides three additional findings: voting blocs exhibit both gradients and discontinuities in their overall structure that are consistent with geography and culture; a small number of questions are inconsistent with the statewide bloc structure and these questions' content relate to specific regions; and that the blocs exhibit evidence of increased polarization across blocs during the study period. We conclude with an outline of statistical extensions of this model, connections to other statistical frameworks in political science (such as polling), and detail candidate locations for subsequent applications of the model.


title: High-order projection-based upwind method for implicit large eddy simulation

abstract: We assess the ability of three different approaches based on high-order discontinuous Galerkin methods to simulate under-resolved turbulent flows. The capabilities of the mass conserving mixed stress method as structure resolving large eddy simulation solver are examined. A comparison of a variational multiscale model to no-model or an implicit model approach is presented via numerical results. In addition, we present a novel approach for turbulent modeling in wall-bounded flows. This new technique provides a more accurate representation of the actual subgrid scales in the near wall region and gives promising results for highly under-resolved flow problems. In this paper, the turbulent channel flow and periodic hill flow problem are considered as benchmarks for our simulations.


title: COVID-Net USPro: An Open-Source Explainable Few-Shot Deep Prototypical Network to Monitor and Detect COVID-19 Infection from Point-of-Care Ultrasound Images

abstract: As the Coronavirus Disease 2019 (COVID-19) continues to impact many aspects of life and the global healthcare systems, the adoption of rapid and effective screening methods to prevent further spread of the virus and lessen the burden on healthcare providers is a necessity. As a cheap and widely accessible medical image modality, point-of-care ultrasound (POCUS) imaging allows radiologists to identify symptoms and assess severity through visual inspection of the chest ultrasound images. Combined with the recent advancements in computer science, applications of deep learning techniques in medical image analysis have shown promising results, demonstrating that artificial intelligence-based solutions can accelerate the diagnosis of COVID-19 and lower the burden on healthcare professionals. However, the lack of a huge amount of well-annotated data poses a challenge in building effective deep neural networks in the case of novel diseases and pandemics. Motivated by this, we present COVID-Net USPro, an explainable few-shot deep prototypical network, that monitors and detects COVID-19 positive cases with high precision and recall from minimal ultrasound images. COVID-Net USPro achieves 99.65% overall accuracy, 99.7% recall and 99.67% precision for COVID-19 positive cases when trained with only 5 shots. The analytic pipeline and results were verified by our contributing clinician with extensive experience in POCUS interpretation, ensuring that the network makes decisions based on actual patterns.


title: CM elliptic curves and vertically entangled 2-adic groups

abstract: Consider the elliptic curve $E$ given by the Weierstrass equation $y^2 = x^3 - 11x - 14$, which has complex multiplication by the order of conductor $2$ inside $\mathbb{Z}[i]$. It was recently observed in a paper of Daniels and Lozano-Robledo that, for each $n \geq 2$, $\mathbb{Q}(\mu_{2^{n+1}}) \subseteq \mathbb{Q}(E[2^n])$. In this note, we prove that this (a priori surprising) ``tower of vertical entanglements'' is actually more a feature than a bug: it holds for any elliptic curve $E$ over $\mathbb{Q}$ with complex multiplication by any order of even discriminant.


title: Tower of quantum scars in a partially many-body localized system

abstract: Isolated quantum many-body systems are often well-described by the eigenstate thermalization hypothesis. There are, however, mechanisms that cause different behavior: many-body localization and quantum many-body scars. Here, we show how one can find disordered Hamiltonians hosting a tower of scars by adapting a known method for finding parent Hamiltonians. Using this method, we construct a spin-1/2 model which is both partially localized and contains scars. We demonstrate that the model is partially localized by studying numerically the level spacing statistics and bipartite entanglement entropy. As disorder is introduced, the adjacent gap ratio transitions from the Gaussian orthogonal ensemble to the Poisson distribution and the entropy shifts from volume-law to area-law scaling. We investigate the properties of scars in a partially localized background and compare with a thermal background. At strong disorder, states initialized inside or outside the scar subspace display different dynamical behavior but have similar entanglement entropy and Schmidt gap. We demonstrate that localization stabilizes scar revivals of initial states with support both inside and outside the scar subspace. Finally, we show how strong disorder introduces additional approximate towers of eigenstates.


title: DOT: A flexible multi-objective optimization framework for transferring features across single-cell and spatial omics

abstract: Single-cell RNA sequencing (scRNA-seq) and spatially-resolved imaging/sequencing technologies have revolutionized biomedical research. On one hand, scRNA-seq provides information about a large portion of the transcriptome for individual cells, but lacks the spatial context. On the other hand, spatially-resolved measurements come with a trade-off between resolution and gene coverage. Combining scRNA-seq with different spatially-resolved technologies can thus provide a more complete map of tissues with enhanced cellular resolution and gene coverage. Here, we propose DOT, a novel multi-objective optimization framework for transferring cellular features across these data modalities. DOT is flexible and can be used to infer categorical (cell type or cell state) or continuous features (gene expression) in different types of spatial omics. Our optimization model combines practical aspects related to tissue composition, technical effects, and integration of prior knowledge, thereby providing flexibility to combine scRNA-seq and both low- and high-resolution spatial data. Our fast implementation based on the Frank-Wolfe algorithm achieves state-of-the-art or improved performance in localizing cell features in high- and low-resolution spatial data and estimating the expression of unmeasured genes in low-coverage spatial data across different tissues. DOT is freely available and can be deployed efficiently without large computational resources; typical cases-studies can be run on a laptop, facilitating its use.


title: Mid-Infrared spectroscopy of impactites from the Noerdlinger Ries impact crater

abstract: This study is part of an effort to build a mid-infrared database (7-14micron) of spectra for MERTIS (Mercury Radiometer and Thermal Infrared Spectrometer), an instrument onboard of the ESA/JAXA BepiColombo space probe to be launched to Mercury in 2017. Mercury was exposed to abundant impacts throughout its history. This study of terrestrial impactites can provide estimates of the effects of shock metamorphism on the mid-infrared spectral properties of planetary materials. In this study, we focus on the Noerdlinger Ries crater in Southern Germany, a well preserved and easily accessible impact crater with abundant suevite impactites. Suevite and melt glass bulk samples from Otting and Aumuehle, as well as red suevite from Polsingen were characterized and their reflectance spectra in mid-infrared range obtained. In addition, in-situ mid-infrared spectra were made from glasses and matrix areas in thin sections. The results show similar, but distinguishable spectra for both bulk suevite and melt glass samples, as well as in-situ measurements. Impact melt glass from Aumuehle and Otting have spectra dominated by a Reststrahlen band at 9.3-9.6 micron. Bulk melt rock from Polsingen and bulk suevite and fine-grained matrix have their strongest band between 9.4 to 9.6 micron. There are also features between 8.5 and 9 micron, and 12.5 - 12.8 micron associated with crystalline phases. There is evidence of weathering products in the fine-grained matrix, such as smectites. Mercury endured many impacts with impactors of all sizes over its history. So spectral characteristics observed for impactites formed only in a single impact like in the Ries impact event can be expected to be very common on planetary bodies exposed to many more impacts in their past. We conclude that in mid-infrared remote sensing data the surface of Mercury can be expected to be dominated by features of amorphous materials.


title: A kinematically detected planet candidate in a transition disk

abstract: Transition disks are protoplanetary disks with inner cavities possibly cleared by massive companions, which makes them prime targets to observe at high resolution to map their velocity structure. We present ALMA Band 6 dust and gas observations of the transition disk around RXJ1604.3-2130 A, known to feature nearly symmetric shadows in scattered light. We studied the $^{12}$CO line channel maps and moment maps of the line of sight velocity and peak intensity. We fitted a Keplerian model of the channel-by-channel emission to study line profile differences and produced deprojected radial profiles for all velocity components. The $^{12}$CO emission shows a cavity inwards of $\sim$56 au and within the dust continuum ring at 81 au. The azimuthal brightness variations in the $^{12}$CO line and dust continuum are broadly aligned with the shadows detected in scattered-light observations. We find a strong localized non-Keplerian feature toward the west within the continuum ring (at $R=41\pm 10$ au and $PA=280\pm 2 ^\circ$). A tightly wound spiral is also detected which extends over 300$^\circ$ in azimuth, possibly connected to the localized non-Keplerian feature. Finally, a bending of the iso-velocity contours within the gas cavity indicates a highly perturbed inner region, possibly related to the presence of a misaligned inner disk. While broadly aligned with the scattered-light shadows, the localized non-Keplerian feature cannot be solely due to changes in temperature. Instead, we interpret the kinematical feature as tracing a massive companion located at the edge of the dust continuum ring. We speculate that the spiral is caused by buoyancy resonances driven by planet-disk interactions. However, this potential planet at $\sim$41 au cannot explain the gas-depleted cavity, the low accretion rate, and the misaligned inner disk, which suggests the presence of another companion closer in.


title: Global existence and decay of small solutions for quasi-linear second-order uniformly dissipative hyperbolic-hyperbolic systems

abstract: This paper is concerned with quasilinear systems of partial differential equations consisting of two hyperbolic operators interacting dissipatively. Its main theorem establishes global-in-time existence and asymptotic stability of strong solutions to the Cauchy problem close to homogeneous reference states. Notably, the operators are not required to be symmetric hyperbolic, instead merely the existence of symbolic symmetrizers is assumed. The dissipation is characterized by conditions equivalent to the uniform decay of all Fourier modes at the reference state. On a technical level, the theory developed herein uses para-differential operators as its main tool. Apparently being the first to apply such operators in the context of global-in-time existence for quasi-linear hyperbolic systems, the present work contains new results in the field of para-differential calculus. In the context of theoretical physics, the theorem applies to recent formulations for the relativistic dynamics of viscous, heat-conductive fluids notably such as that of Bemfica, Disconzi and Noronha (Phys. Rev. D, 98:104064, 2018.)


title: String Field Theory -- A Modern Introduction

abstract: This book provides an introduction to string field theory (SFT). String theory is usually formulated in the worldsheet formalism, which describes a single string (first-quantization). While this approach is intuitive and could be pushed far due to the exceptional properties of two-dimensional theories, it becomes cumbersome for some questions or even fails at a more fundamental level. These motivations have led to the development of SFT, a description of string theory using the field theory formalism (second-quantization). As a field theory, SFT provides a rigorous and constructive formulation of string theory. The main objective is to construct the closed bosonic SFT and to explain how to assess the consistency of string theory with it. The accent is put on providing the reader with the foundations, conceptual understanding and intuition of what SFT is. After reading this book, they should be able to study the applications from the literature. The book is organized in two parts. The first part reviews the topics of the worldsheet theory that are necessary to build SFT (worldsheet path integral, CFT and BRST quantization). The second part starts by introducing general concepts of SFT from the BRST quantization. Then, it introduces off-shell string amplitudes before providing a Feynman diagrams interpretation from which the building blocks of SFT are extracted. After constructing the closed SFT, it is used to outline the proofs of several important consistency properties, such as background independence, unitarity and crossing symmetry. Finally, the generalization to the superstring is also discussed. This book grew up from lecture notes for a course given at the Ludwig-Maximilians-Universit\"at LMU (winter semesters 2017-2018 and 2018-2019). The current document is the draft of the manuscript published by Springer.


title: Tropical Mirror Symmetry: Correlation functions

abstract: We formulate the mirror symmetry for correlation functions of tropical observables. We prove the tropical mirror correspondence for correlation functions of evaluation observables on toric space. The key point of the proof is the localization of correlation functions for mirror states in type-B higher topological quantum mechanics on trees. The correlation functions localize to the correlation functions of holomorphic functions, defined recursively in Landau-Ginzburg-Saito theory with exponential mirror superpotential and tropical good section.


title: Feedback Stabilization of Tank-Liquid System with Robustness to Surface Tension

abstract: We construct a robust stabilizing feedback law for the viscous Saint-Venant system of Partial Differential Equations (PDEs) with surface tension and without wall friction. The Saint-Venant system describes the movement of a tank which contains a viscous liquid. We assume constant contact angles between the liquid and the walls of the tank and we achieve a spill-free exponential stabilization with robustness to surface tension by using a Control Lyapunov Functional (CLF). The proposed CLF provides a parameterized family of sets which approximate the state space from the interior. Based on the CLF, we construct a nonlinear stabilizing feedback law which ensures that the closed-loop system converges exponentially to the desired equilibrium point in the sense of an appropriate norm.

categories: math.OC cs.SY eess.SY math.AP physics.class-ph physics.flu-dyn


title: Process Variation-Aware Compact Model of Strip Waveguides for Photonic Circuit Simulation

abstract: We report a novel process variation-aware compact model of strip waveguides that is suitable for circuit-level simulation of waveguide-based process design kit (PDK) elements. The model is shown to describe both loss and -- using a novel expression for the thermo-optic effect in high index contrast materials -- the thermo-optic behavior of strip waveguides. A novel group extraction method enables modeling the effective index's ($n_{\mathrm{eff}}$) sensitivity to local process variations without the presumption of variation source. Use of Euler-bend Mach-Zehnder interferometers (MZIs) fabricated in a 300~mm wafer run allow model parameter extraction at widths up to 2.5~$\mu$m (highly multi-mode) with strong suppression of higher-order mode excitation. Experimental results prove the reported model can self-consistently describe waveguide phase, loss, and thermo-optic behavior across all measured devices over an unprecedented range of optical bandwidth, waveguide widths, and temperatures.


title: Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language

abstract: We introduce an extension of first-order logic that comes equipped with additional predicates for reasoning about an abstract state. Sequents in the logic comprise a main formula together with pre- and postconditions in the style of Hoare logic, and the axioms and rules of the logic ensure that the assertions about the state compose in the correct way. The main result of the paper is a realizability interpretation of our logic that extracts programs into a mixed functional/imperative language. All programs expressible in this language act on the state in a sequential manner, and we make this intuition precise by interpreting them in a semantic metatheory using the state monad. Our basic framework is very general, and our intention is that it can be instantiated and extended in a variety of different ways. We outline in detail one such extension: A monadic version of Heyting arithmetic with a wellfounded while rule, and conclude by outlining several other directions for future work.


title: Special behavior of alkali beam emission spectroscopy in low-ion-temperature plasma

abstract: Beam emission spectroscopy (BES) is a powerful plasma diagnostic method especially suited for the measurement of plasma density and its fluctuations. As such, synthetic BES codes are regularly used to aid the design or utilization of these diagnostic systems. However, synthetic diagnostics can also be used to study the method in previously not yet explored operational conditions. This paper presents such an analysis utilizing the RENATE-OD synthetic diagnostic code for a hypothetical alkali BES system on the HSX stellarator. HSX is a device featuring an unusual operating regime in the world of fusion devices due to the low ion temperature and low plasma density. It was found that BES shows unusual tendencies in these conditions. The relation between beam energy and plasma penetration in low-ion-temperature plasma, together with unique emission features facilitated by low-density plasma, and the underlying reasons behind these features are explored in this paper.


title: Phase transition near the Big Bang in the lattice theory of gravity and some cosmological considerations

abstract: Lattice regularization of the theory of gravity provides a new possibility for study of the Big Bang problem. Moreover, the very possibility of studying the state of the Universe at the highest temperatures appears. In the 2D and 4D lattice theories of gravity, the existence of a high-temperature phase is proved, which is characterized by the folding of space into a point and zeroing of the energy-momentum tensor. This fact leads to the hypothesis that there are at least two phases in the 4D lattice theory, and the main properties of the high-temperature phase are similar to those described above. The solution of the Einstein equation in the low temperature phase within the framework of the Friedmann paradigm with a finite bare cosmological constant is mathematically correct, since all local physical quantities (energy density including vacuum energy, etc.) on the lattice are finite. As a result, a solution is obtained that demonstrates an exponential growth of the cosmological scale factor $a(t)$ in the initial period of evolution (inflation phase of the Universe) and then passes into a power law ($a(t)\propto\sqrt{t}$).


title: Mortality modeling at old-age: a mixture model approach

abstract: This paper presents a novel approach for modeling mortality rates above age 70 by proposing a mixture-based model. This model is compared to four other widely used models: the Beard, Gompertz, Makeham, and Perks models. Our model can capture the complex behavior of mortality rates at all ages, providing a more accurate representation of the data. To evaluate the performance of our model, we applied it to two countries with different data quality: Japan and Brazil. Our results show that the proposed model outperforms the other models in both countries, particularly in Japan where it obtained an absolute mean percentage error of less than 7%, while the other models presented values greater than 30%. This highlights the ability of our model to adapt to different data quality and country-specific mortality patterns. In summary, this paper presents a mixture-based model that captures the behavior of mortality rates at all ages and outperforms other widely used models in both high- and low-quality data settings. This model can improve mortality prediction and inform public health policy.


title: Diagnosing limb asymmetries in hot and ultra-hot Jupiters with high-resolution transmission spectroscopy

abstract: Due to their likely tidally synchronized nature, (ultra)hot Jupiter atmospheres should experience strongly spatially heterogeneous instellation. The large irradiation contrast and resulting atmospheric circulation induce temperature and chemical gradients that can produce asymmetries across the eastern and western limbs of these atmospheres during transit. By observing an (ultra)hot Jupiter's transmission spectrum at high spectral resolution, these asymmetries can be recovered -- namely through net Doppler shifts originating from the exoplanet's atmosphere yielded by cross-correlation analysis. Given the range of mechanisms at play, identifying the underlying cause of observed asymmetry is nontrivial. In this work, we explore sources and diagnostics of asymmetries in high-resolution cross-correlation spectroscopy of hot and ultra-hot Jupiters using both parameterized and self-consistent atmospheric models. If an asymmetry is observed, we find that it can be difficult to attribute it to equilibrium chemistry gradients because many other processes can produce asymmetries. Identifying a molecule that is chemically stable over the temperature range of a planetary atmosphere can help establish a ``baseline'' to disentangle the various potential causes of limb asymmetries observed in other species. We identify CO as an ideal molecule, given its stability over nearly the entirety of the ultra-hot Jupiter temperature range. Furthermore, we find that if limb asymmetry is due to morning terminator clouds, blueshifts for a number of species should decrease during transit. Finally, by comparing our forward models to Kesseli et al. (2022), we demonstrate that binning high-resolution spectra into two phase bins provides a desirable trade-off between maintaining signal to noise and resolving asymmetries.


title: Non-free sections of Fano fibrations

abstract: Let $B$ be a smooth projective curve and let $\pi: \mathcal{X} \to B$ be a smooth integral model of a geometrically integral Fano variety over $K(B)$. Geometric Manin's Conjecture predicts the structure of the irreducible components $M \subset \textrm{Sec}(\mathcal{X}/B)$ which parametrize non-relatively free sections of sufficiently large anticanonical degree. Over the complex numbers, we prove that for any such component $M$ the sections come from morphisms $f: \mathcal{Y} \to \mathcal{X}$ such that the generic fiber of $\mathcal{Y}$ has Fujita invariant $\geq 1$. Furthermore, we prove that there is a bounded family of morphisms $f$ which together account for all such components $M$. These results verify the first part of Batyrev's heuristics for Geometric Manin's Conjecture over $\mathbb{C}$. Our result has ramifications for Manin's Conjecture over global function fields: if we start with a Fano fibration over a number field and reduce mod $p$, we obtain upper bounds of the desired form by first letting the prime go to infinity, then the height.


title: Parameterised and Fine-grained Subgraph Counting, modulo $2$

abstract: Given a class of graphs $\mathcal{H}$, the problem $\oplus\mathsf{Sub}(\mathcal{H})$ is defined as follows. The input is a graph $H\in \mathcal{H}$ together with an arbitrary graph $G$. The problem is to compute, modulo $2$, the number of subgraphs of $G$ that are isomorphic to $H$. The goal of this research is to determine for which classes $\mathcal{H}$ the problem $\oplus\mathsf{Sub}(\mathcal{H})$ is fixed-parameter tractable (FPT), i.e., solvable in time $f(|H|)\cdot |G|^{O(1)}$. Curticapean, Dell, and Husfeldt (ESA 2021) conjectured that $\oplus\mathsf{Sub}(\mathcal{H})$ is FPT if and only if the class of allowed patterns $\mathcal{H}$ is "matching splittable", which means that for some fixed $B$, every $H \in \mathcal{H}$ can be turned into a matching (a graph in which every vertex has degree at most $1$) by removing at most $B$ vertices. Assuming the randomised Exponential Time Hypothesis, we prove their conjecture for (I) all hereditary pattern classes $\mathcal{H}$, and (II) all tree pattern classes, i.e., all classes $\mathcal{H}$ such that every $H\in \mathcal{H}$ is a tree. We also establish almost tight fine-grained upper and lower bounds for the case of hereditary patterns (I).


title: Spectral analysis and $k$-spine decomposition of inhomogeneous branching Brownian motions. Genealogies in fully pushed fronts

abstract: We consider a system of particles performing a one-dimensional dyadic branching Brownian motion with space-dependent branching rate, negative drift $-\mu$ and killed upon reaching $0$. More precisely, the particles branch at rate $r(x)=(1+f(x))/2,$ where $f$ is a compactly supported and non-negative smooth function and the drift $\mu$ is chosen in such a way that the system is critical in some sense. This particle system can be seen as an analytically tractable model for fluctuating fronts, describing the internal mechanisms driving the invasion of a habitat by a cooperating population. Recent studies from Birzu, Hallatschek and Korolev suggest the existence of three classes of fluctuating fronts: pulled, semi pushed and fully pushed fronts. Here, we focus on the fully pushed regime. We establish a Yaglom law for this branching process and prove that the genealogy of the particles converges to a Brownian Coalescent Point Process using a method of moments. In practice, the genealogy of the BBM is seen as a random marked metric measure space and we use spinal decomposition to prove its convergence in the Gromov-weak topology. We also carry the spectral decomposition of a differential operator related to the BBM to determine the invariant measure of the spine as well as its mixing time.


title: Quantum Energy Inequalities along stationary worldlines

abstract: Quantum energy inequalities (QEIs) are lower bounds on the averaged energy density of a quantum field. They have been proved for various field theories in general curved spacetimes but the explicit lower bound is not easily calculated in closed form. In this paper we study QEIs for the massless minimally coupled scalar field in four-dimensional Minkowski spacetime along stationary worldlines - curves whose velocity evolves under a 1-parameter Lorentz subgroup -- and find closed expressions for the QEI bound, in terms of curvature invariants of the worldline. Our general results are illustrated by specific computations for the six protoypical stationary worldlines. When the averaging period is taken to infinity, the QEI bound is consistent with a constant energy density along the worldline. For inertial and uniformly linearly accelerated worldlines, this constant value is attained by the Minkowski and Rindler vacuums respectively. It is an open question as to whether the bounds for other stationary worldlines are attained by other states of interest.


title: Data-driven modelling of turbine wake interactions and flow resistance in large wind farms

abstract: Turbine wake and local blockage effects are known to alter wind farm power production in two different ways: (1) by changing the wind speed locally in front of each turbine; and (2) by changing the overall flow resistance in the farm and thus the so-called farm blockage effect. To better predict these effects with low computational costs, we develop data-driven emulators of the `local' or `internal' turbine thrust coefficient $C_T^*$ as a function of turbine layout. We train the model using a multi-fidelity Gaussian Process (GP) regression with a combination of low (engineering wake model) and high-fidelity (Large-Eddy Simulations) simulations of farms with different layouts and wind directions. A large set of low-fidelity data speeds up the learning process and the high-fidelity data ensures a high accuracy. The trained multi-fidelity GP model is shown to give more accurate predictions of $C_T^*$ compared to a standard (single-fidelity) GP regression applied only to a limited set of high-fidelity data. We also use the multi-fidelity GP model of $C_T^*$ with the two-scale momentum theory (Nishino \& Dunstan 2020, J. Fluid Mech. 894, A2) to demonstrate that the model can be used to give fast and accurate predictions of large wind farm performance under various mesoscale atmospheric conditions. This new approach could be beneficial for improving annual energy production (AEP) calculations and farm optimisation in the future.


title: Non-Adaptive Matroid Prophet Inequalities

abstract: We consider the matroid prophet inequality problem. This problem has been extensively studied in the case of adaptive mechanisms. In particular, there is a tight $2$-competitive mechanism for all matroids. However, it is not known what classes of matroids admit non-adaptive mechanisms with constant guarantee. Recently, it was shown that there are constant-competitive non-adaptive mechanisms for graphic matroids. In this work, we show that various known classes of matroids admit constant-competitive non-adaptive mechanisms.


title: Extending Source Code Pre-Trained Language Models to Summarise Decompiled Binaries

abstract: Reverse engineering binaries is required to understand and analyse programs for which the source code is unavailable. Decompilers can transform the largely unreadable binaries into a more readable source code-like representation. However, reverse engineering is time-consuming, much of which is taken up by labelling the functions with semantic information. While the automated summarisation of decompiled code can help Reverse Engineers understand and analyse binaries, current work mainly focuses on summarising source code, and no suitable dataset exists for this task. In this work, we extend large pre-trained language models of source code to summarise decompiled binary functions. Furthermore, we investigate the impact of input and data properties on the performance of such models. Our approach consists of two main components; the data and the model. We first build CAPYBARA, a dataset of 214K decompiled function-documentation pairs across various compiler optimisations. We extend CAPYBARA further by generating synthetic datasets and deduplicating the data. Next, we fine-tune the CodeT5 base model with CAPYBARA to create BinT5. BinT5 achieves the state-of-the-art BLEU-4 score of 60.83, 58.82, and 44.21 for summarising source, decompiled, and synthetically stripped decompiled code, respectively. This indicates that these models can be extended to decompiled binaries successfully. Finally, we found that the performance of BinT5 is not heavily dependent on the dataset size and compiler optimisation level. We recommend future research to further investigate transferring knowledge when working with less expressive input formats such as stripped binaries.


title: Automating Nearest Neighbor Search Configuration with Constrained Optimization

abstract: The approximate nearest neighbor (ANN) search problem is fundamental to efficiently serving many real-world machine learning applications. A number of techniques have been developed for ANN search that are efficient, accurate, and scalable. However, such techniques typically have a number of parameters that affect the speed-recall tradeoff, and exhibit poor performance when such parameters aren't properly set. Tuning these parameters has traditionally been a manual process, demanding in-depth knowledge of the underlying search algorithm. This is becoming an increasingly unrealistic demand as ANN search grows in popularity. To tackle this obstacle to ANN adoption, this work proposes a constrained optimization-based approach to tuning quantization-based ANN algorithms. Our technique takes just a desired search cost or recall as input, and then generates tunings that, empirically, are very close to the speed-recall Pareto frontier and give leading performance on standard benchmarks.


title: Technology Trends for Massive MIMO towards 6G

abstract: At the dawn of the next-generation wireless systems and networks, massive multiple-input multiple-output (MIMO) has been envisioned as one of the enabling technologies. With the continued success of being applied in the 5G and beyond, the massive MIMO technology has demonstrated its advantageousness, integrability, and extendibility. Moreover, several evolutionary features and revolutionizing trends for massive MIMO have gradually emerged in recent years, which are expected to reshape the future 6G wireless systems and networks. Specifically, the functions and performance of future massive MIMO systems will be enabled and enhanced via combining other innovative technologies, architectures, and strategies such as intelligent omni-surfaces (IOSs)/intelligent reflecting surfaces (IRSs), artificial intelligence (AI), THz communications, cell free architecture. Also, more diverse vertical applications based on massive MIMO will emerge and prosper, such as wireless localization and sensing, vehicular communications, non-terrestrial communications, remote sensing, inter-planetary communications.


title: TRASH: Tandem Rover and Aerial Scrap Harvester

abstract: Addressing the challenge of roadside litter in the United States, which has traditionally relied on costly and ineffective manual cleanup methods, this paper presents an autonomous multi-robot system for highway litter monitoring and collection. Our solution integrates an aerial vehicle to scan and gather data across highway stretches with a terrestrial robot equipped with a Convolutional Neural Network (CNN) for litter detection and mapping. Upon detecting litter, the ground robot navigates to each pinpointed location, re-assesses the vicinity, and employs a "greedy pickup" approach to address potential mapping inaccuracies or litter misplacements. Through simulation studies and real-world robotic trials, this work highlights the potential of our proposed system for highway cleanliness and management in the context of Robotics, Automation, and Artificial Intelligence


title: A Survey on Deep Industrial Transfer Learning in Fault Prognostics

abstract: Due to its probabilistic nature, fault prognostics is a prime example of a use case for deep learning utilizing big data. However, the low availability of such data sets combined with the high effort of fitting, parameterizing and evaluating complex learning algorithms to the heterogenous and dynamic settings typical for industrial applications oftentimes prevents the practical application of this approach. Automatic adaptation to new or dynamically changing fault prognostics scenarios can be achieved using transfer learning or continual learning methods. In this paper, a first survey of such approaches is carried out, aiming at establishing best practices for future research in this field. It is shown that the field is lacking common benchmarks to robustly compare results and facilitate scientific progress. Therefore, the data sets utilized in these publications are surveyed as well in order to identify suitable candidates for such benchmark scenarios.


title: On-chip Hong-Ou-Mandel interference from separate quantum dot emitters in an integrated circuit

abstract: Scalable quantum photonic technologies require low-loss integration of many identical single-photon sources with photonic circuitry on a chip. Relatively complex quantum photonic circuits have already been demonstrated; however, sources used so far relied on parametric-down-conversion. Hence, the efficiency and scalability are intrinsically limited by the probabilistic nature of the sources. Quantum emitter-based single-photon sources are free of this limitation, but frequency matching of multiple emitters within a single circuit remains a challenge. In this work, we demonstrate a key component in this regard in the form of a fully monolithic GaAs circuit combing two frequency-matched quantum dot single-photon sources interconnected with a low-loss on-chip beamsplitter connected via single-mode ridge waveguides. This device enabled us to perform a two-photon interference experiment on-chip with visibility reaching 66%, limited by the coherence of the emitters. Our device could be further scaled up, providing a clear path to increase the complexity of quantum circuits toward fully scalable integrated quantum technologies.


title: Implementation of hyperbolic complex numbers in Julia language

abstract: Background: Hyperbolic complex numbers are used in the description of hyperbolic spaces. One of the well-known examples of such spaces is the Minkowski space, which plays a leading role in the problems of the special theory of relativity and electrodynamics. However, such numbers are not very common in different programming languages. Purpose: Of interest is the implementation of hyperbolic complex in scientific programming languages, in particular, in the Julia language. Methods: The Julia language is based on the concept of multiple dispatch. This concept is an extension of the concept of polymorphism for object-oriented programming languages. To implement hyperbolic complex numbers, the multiple dispatching approach of the Julia language was used. Results: The result is a library that implements hyperbolic numbers. Conclusions: Based on the results of the study, we can conclude that the concept of multiple dispatching in scientific programming languages is convenient and natural.


title: Extremal problems for the eccentricity matrices of complements of trees

abstract: The eccentricity matrix of a connected graph $G$, denoted by $\mathcal{E}(G)$, is obtained from the distance matrix of $G$ by keeping the largest nonzero entries in each row and each column, and leaving zeros in the remaining ones. The $\mathcal{E}$-eigenvalues of $G$ are the eigenvalues of $\mathcal{E}(G)$, in which the largest one is the $\mathcal{E}$-spectral radius of $G$. The $\mathcal{E}$-energy of $G$ is the sum of the absolute values of all $\mathcal{E}$-eigenvalues of $G$. In this article, we study some of the extremal problems for eccentricity matrices of complements of trees and characterize the extremal graphs. First, we determine the unique tree whose complement has minimum (respectively, maximum) $\mathcal{E}$-spectral radius among the complements of trees. Then, we prove that the $\mathcal{E}$-eigenvalues of the complement of a tree are symmetric about the origin. As a consequence of these results, we characterize the trees whose complement has minimum (respectively, maximum) least $\mathcal{E}$-eigenvalues among the complements of trees. Finally, we discuss the extremal problems for the second largest $\mathcal{E}$-eigenvalue and the $\mathcal{E}$-energy of complements of trees and characterize the extremal graphs. As an application, we obtain a Nordhaus-Gaddum type lower bounds for the second largest $\mathcal{E}$-eigenvalue and $\mathcal{E}$-energy of a tree and its complement.


title: Novel topological black holes from thermodynamics and deforming horizons

abstract: Two novel topological black hole exact solutions with unusual shapes of horizons in the simplest holographic axions model, the four-dimensional Einstein-Maxwell-axions theory, are constructed. We draw embedding diagrams in various situations to display unusual shapes of novel black holes. To understand their thermodynamics from the quasi-local aspect, we re-derive the unified first law and the Misner-Sharp mass from the Einstein equations for the spacetime as a warped product $\M2 \times \Mco2$. The Ricci scalar $\Rhat$ of the sub-manifold $\Mco2$ can be a non-constant. We further improve the thermodynamics method based on the unified first law. Such a method simplifies constructing solutions and hints at generalization to higher dimensions. Moreover, we apply the unified first law to discuss black hole thermodynamics.


title: Optimization of the Analysis of Vital Events Using Threads

abstract: Objective: Optimize the time of data analysis of Vital Events (births, deaths and marriages) using Threads. Methodology: A code was created in python without threads and another with threads, after He performed 5 tests with a single attribute and with 1,2,3,4,5,6,7,8 and 9 attributes this was done in both codes with the same amount of data, to know if the python code with threads is optimal when parsing Vital Facts data. Results: The python code with Threads turned out to be the most optimal since it optimized the compilation time of the 5 tests with 1 attribute by 16attributes was obtained as a result that the more attributes you group, the more effective the use of threads. Conclusion: Python code with threads is more optimal than code without threads Therefore, it is concluded that the implementation of threads is recommended in the analysis of data in similar works.


title: General mapping of one-dimensional non-Hermitian mosaic models to non-mosaic counterparts: Mobility edges and Lyapunov exponents

abstract: We establish a general mapping from one-dimensional non-Hermitian mosaic models to their non-mosaic counterparts. This mapping can give rise to mobility edges and even Lyapunov exponents in the mosaic models if critical points of localization or Lyapunov exponents of localized states in the corresponding non-mosaic models have already been analytically solved. To demonstrate the validity of this mapping, we apply it to two non-Hermitian localization models: an Aubry-Andr\'e-like model with nonreciprocal hopping and complex quasiperiodic potentials, and the Ganeshan-Pixley-Das Sarma model with nonreciprocal hopping. We successfully obtain the mobility edges and Lyapunov exponents in their mosaic models. This general mapping may catalyze further studies on mobility edges, Lyapunov exponents, and other significant quantities pertaining to localization in non-Hermitian mosaic models.


title: Mesoscopic eigenvalue statistics for Wigner-type matrices

abstract: We prove a universal mesoscopic central limit theorem for linear eigenvalue statistics of a Wigner-type matrix inside the bulk of the spectrum with compactly supported twice continuously differentiable test functions. The main novel ingredient is an optimal local law for the two-point function $T(z,\zeta)$ and a general class of related quantities involving two resolvents at nearby spectral parameters.


title: Robust Surface Reconstruction from Orthogonal Slices

abstract: The surface reconstruction problem from sets of planar parallel slices representing cross sections through 3D objects is presented. The final result of surface reconstruction is always based on the correct estimation of the structure of the original object. This paper is a case study of the problem of the structure determination. We present a new approach, which is based on considering mutually orthogonal sets of slices. A new method for surface reconstruction from orthogonal slices is described and the benefit of orthogonal slices is discussed too.


title: Canonical steering ellipsoids of pure symmetric multiqubit states with two distinct spinors and volume monogamy of steering

abstract: Quantum steering ellipsoid formalism provides a faithful representation of all two-qubit states and helps in obtaining correlation properties of the state through the steering ellipsoid. The steering ellipsoids corresponding to the two-qubit subsystems of permutation symmetric $N$-qubit states is analysed here. The steering ellipsoids of two-qubit states that have undergone local operations on both the qubits so as to bring the state to its canonical form are the so-called canonical steering ellipsoids. We construct and analyze the geometric features of the canonical steering ellipsoids corresponding to pure permutation symmetric $N$-qubit states with two distinct spinors. Depending on the degeneracy of the two spinors in the pure symmetric $N$-qubit state, there arise several families which cannot be converted into one another through Stochastic Local Operations and Classical Communications (SLOCC). The canonical steering ellipsoids of the two-qubit states drawn from the pure symmetric $N$-qubit states with two distinct spinors allow for a geometric visualization of the SLOCC-inequivalent class of states. We show that the states belonging to the W-class correspond to oblate spheroid centered at $(0,0,1/(N-1))$ with fixed semiaxes lengths $1/\sqrt{N-1}$ and $1/(N-1)$. The states belonging to all other SLOCC inequivalent families correspond to ellipsoids centered at the origin of the Bloch sphere. We also explore volume monogamy relations of states belonging to these families, mainly the W-class of states.


title: A Comparison of Fundamental Methods for Iso-surface Extraction

abstract: In this paper four fundamental methods for an iso-surface extraction are compared, based on cell decomposition to tetrahedra. The methods are compared both on mathematically generated data sets as well as on real data sets. The comparison using mathematical data is made from different points of view such as area approximation, volume approximation. On the other hand, the Hausdorff distance and root mean square are used to compare methods on real data sets. The presented comparison can be helpful when deciding among tested methods which one to choose, as well as when we need to compare a newly developed method with other existing approaches.


title: First-order penalty methods for bilevel optimization

abstract: In this paper we study a class of unconstrained and constrained bilevel optimization problems in which the lower level is a possibly nonsmooth convex optimization problem, while the upper level is a possibly nonconvex optimization problem. We introduce a notion of $\varepsilon$-KKT solution for them and show that an $\varepsilon$-KKT solution leads to an $O(\sqrt{\varepsilon})$- or $O(\varepsilon)$-hypergradient based stionary point under suitable assumptions. We also propose first-order penalty methods for finding an $\varepsilon$-KKT solution of them, whose subproblems turn out to be a structured minimax problem and can be suitably solved by a first-order method recently developed by the authors. Under suitable assumptions, an \emph{operation complexity} of $O(\varepsilon^{-4}\log\varepsilon^{-1})$ and $O(\varepsilon^{-7}\log\varepsilon^{-1})$, measured by their fundamental operations, is established for the proposed penalty methods for finding an $\varepsilon$-KKT solution of the unconstrained and constrained bilevel optimization problems, respectively. Preliminary numerical results are presented to illustrate the performance of our proposed methods. To the best of our knowledge, this paper is the first work to demonstrate that bilevel optimization can be approximately solved as minimax optimization, and moreover, it provides the first implementable method with complexity guarantees for such sophisticated bilevel optimization.


title: Rapidity-only TMD factorization at one loop

abstract: Typically, a production of a particle with a small transverse momentum in hadron-hadron collisions is described by CSS-based TMD factorization at moderate Bjorken $x_B\sim 1$ and by $k_T$-factorization at small $x_B$. A uniform description valid for all $x_B$ is provided by rapidity-only TMD factorization developed in a series of recent papers at the tree level. In this paper the rapidity-only TMD factorization for particle production by gluon fusion is extended to the one-loop level.


title: An adaptive, training-free reduced-order model for convection-dominated problems based on hybrid snapshots

abstract: The vast majority of reduced-order models (ROMs) first obtain a low dimensional representation of the problem from high-dimensional model (HDM) training data which is afterwards used to obtain a system of reduced complexity. Unfortunately, convection-dominated problems generally have a slowly decaying Kolmogorov n-width, which makes obtaining an accurate ROM built solely from training data very challenging. The accuracy of a ROM can be improved through enrichment with HDM solutions; however, due to the large computational expense of HDM evaluations for complex problems, they can only be used parsimoniously to obtain relevant computational savings. In this work, we exploit the local spatial and temporal coherence often exhibited by these problems to derive an accurate, cost-efficient approach that repeatedly combines HDM and ROM evaluations without a separate training phase. Our approach obtains solutions at a given time step by either fully solving the HDM or by combining partial HDM and ROM solves. A dynamic sampling procedure identifies regions that require the HDM solution for global accuracy and the reminder of the flow is reconstructed using the ROM. Moreover, solutions combining both HDM and ROM solves use spatial filtering to eliminate potential spurious oscillations that may develop. We test the proposed method on inviscid compressible flow problems and demonstrate speedups up to an order of magnitude.


title: Radiance Textures for Rasterizing Ray-Traced Data

abstract: Presenting real-time rendering of 3D surfaces using radiance textures for fast synthesis of complex incidence-variable effects and environment interactions. This includes iridescence, parallax occlusion and interior mapping, (specular, regular, diffuse, total-internal) reflections with many bounces, refraction, subsurface scattering, transparency, and possibly more. This method divides textures into a matrix of radiance buckets, where each bucket represent some data at various incidence angles. Data can show final pixel color, or deferred rendering ambient occlusion, reflections, shadow map, etc. Resolution of the final synthesized output is the radiance bucket matrix size. Technique can be implemented with a simple fragment shader. The computational footprint of this technique is of simple diffuse-only graphics, but with visual fidelity of complex (off-line) ray-traced render at the cost of storage memory footprint. Balance between computational footprint and storage memory footprint can be easily achieved with variable compression ratio of repetitive radiance scene textures.